Start here

EVE — Product Architecture (16C)

Product hierarchy (one name per capability)

Product Scope
EVE CoreGuard Deterministic pre-execution governance and enforcement (ALLOW / BLOCK / MODIFY).
EVE Proof Signed evidence, decision certificates, offline & replay verification, verifier tooling, JCS-1.
EVE Agent Governance Behavioral monitoring, sequence controls, budgets, approvals, framework adapters, agent runtime governance.
EVE MCP Governance Authenticated MCP gateway, capability binding, approved-vs-executed request binding, replay protection, signed execution evidence.
EVE Artifact Governance File ingestion, bounded parsing, deterministic scanning, quarantine/approval, substitution protection, signed scan evidence.
EVE Shadow Candidate-policy simulation, historical replay, divergence analysis, signed reports, dry-run promotion readiness.
EVE Red Team Customer-runnable adversarial regression testing, multi-step chains, zero-side-effect assertions, signed reports.
EVE Trusted Services External witnessing, evidence custody, verifier services, assurance infrastructure where available.

Architecture diagram (planes)

Boundaries, plainly

  1. CoreGuard decision boundary — a deterministic verdict is computed before execution.
  2. MCP boundary — the approved request is bound to the executed request; mutation ⇒ block.
  3. Artifact boundary — files are scanned before ingestion/use; substitution is rejected.
  4. Evidence plane — every decision/execution emits signed evidence.
  5. Independent verification — anyone can verify evidence offline, without trusting EVE.

Readiness

Pilot-validated architecture; SDK core is a RELEASE CANDIDATE WITH EXCLUSIONS. See readiness.md.

Limitations

MCP binding provides at-most-once authorization consumption, not remote exactly-once execution. jcs-1 is a constrained profile. Framework adapters (except generic) are experimental. The pip client governs via hosted mode.

Part of the EVE AI Core control plane Deterministic AI Governance Control Plane → Policy decisions that return the same result for the same input every time, before execution.