# Current EcoKure stack

This build contains a bounded portable audit adapter inspired by the inspected Guardian v0.6/v0.7 dependency and approval contracts. Its new code is in tools/partner_audit. It does not embed the full Guardian host, model runner or mathematical research engine. The inspector and receipts name the component that actually made each decision.

| Name | Role / input | Output | Trust boundary and limitation |
|---|---|---|---|
| E-DTL — EcoKure Deterministic Taxonomy Lanes | Exact frozen change family | Known route or ABSTAIN | No probabilistic confidence grants authority; only the declared families are supported. |
| E-DCLA — EcoKure Change / Dependency Impact Analysis | Declared graph and changed versions | Direct, indirect, affected and unaffected nodes | Precision depends on the supplied graph being complete; cycles and unknown references fail closed. |
| E-DELA — EcoKure Evidence Dependency / Lineage Analysis | Evidence hashes, validity intervals and transitive dependency bindings | Current evidence, stale records and dependent conclusions | Hashes prove consistency, not truth of a regulatory claim. |
| E-DEGA — EcoKure Deterministic Verification / Gate Assurance | Exact family, graph and required evidence | PASS, REJECT or ABSTAIN with reasons | This policy is a synthetic fixture, not a regulatory interpretation. |
| E-ACC — EcoKure Action Capability Compiler | Passed checks, authorized synthetic actor, exact review digest | Signed single-use capability | API identity alone does not authorize promotion. Capability binds state, candidate, policy, evidence, graph, versions, scope, expiry, blast radius and rollback. |
| E-RA — EcoKure Runtime Assurance | Signed capability and current transaction snapshot | Commit, reject or abstain; receipt; rollback | Local synthetic state, SQLite transaction, no external actuation. No kernel isolation claim. |
| E-OSA — EcoKure Ordered State Algebra | Ordered machine-state research | Bounded mathematical transformations | Documented research substrate; no operator control required and no universal CPU theorem asserted. |
| E-VSC — EcoKure Verified Semantic Compiler | Behaviour-derived candidate structure and proof | Promoted reusable structures in bounded research | Research only in this build. No rule discovery or silent promotion is enabled. |
| E-SR — EcoKure Semantic Reserve | Verified retained capability | Optional continuity | NOT AVAILABLE IN THIS BUILD. No offline signed credential architecture is shipped. |
| EcoKure Terminal | Operator input | Review, layer decisions, evidence and exports | Commands are allowlisted; unsupported input never reaches a shell. |

Historical terminology remains in original research: SuperMath relates to the E-OSA/E-VSC research lineage; DTL/dTL maps to E-DTL; DCLA/dCLA to E-DCLA; DELA/dELA to E-DELA; DEGA/dEGA and retired DAX/E-DAX to E-DEGA; Agency-ISA relates to E-ACC and ERA to E-RA. This mapping is explanatory and does not rename or modify signed originals.