shared | Domain types, config, canonical JSON types | [AVAILABLE] | 6 | packages/shared/src/domain/*.ts |
crypto | Signing, hashing, key providers, canonical serialization | [AVAILABLE] | 29 | AuthorizationSigner, Ed25519SignatureProvider, Dilithium3SignatureProvider |
policy | Deterministic, first-match-semantics rule evaluation | [AVAILABLE] | 61 | PolicyRouter, PolicyValidator, CLAIMS.md 2.2/2.3 |
runtime | Orchestrates policy → decision → execution → trust record; the 3-check VerificationService | [AVAILABLE] | 31 | packages/runtime/src/services/verification-service.ts |
api | The Express HTTP server — the only long-running process | [AVAILABLE] | 30 + 1 skipped | packages/api/src/app.ts |
receipt | Cryptographic receipts over a verified Trust Record | [AVAILABLE] | — (covered via runtime/api) | ReceiptCrypto, ReceiptHasher |
replay | Deterministic execution reconstruction | [PARTIAL] | 9 | Package + engine real; semantic verification of every trust artifact is an explicit Future Claim in CLAIMS.md, not yet true |
storage | Append-only ledger abstraction; memory / Postgres / Supabase providers | [AVAILABLE] | 8 | memory provider verified live this session; Supabase/Postgres providers exist in source, not independently verified in this audit |
envelope-verifier | Verifies a SignedExecutionAuthorization: signature, expiry, TTL, nonce | [AVAILABLE] | 15 | EnvelopeVerifier, CLAIMS.md 2.9/2.10 |
execution-gateway | Recomputes content hash, compares to businessTransactionHash, releases to a Connector | [AVAILABLE] as a library; not wired into the running server | 25 | ExecutionGateway.ts:150-165; see the Warning on Architecture Overview |
execution-control | Gateway-authenticated, session-scoped credential isolation for connectors | [PARTIAL] | 11 | ExecutionControlService, InMemoryCredentialVault — real scaffold, not the finished “AI never holds credentials” claim (see Roadmap) |
execution-system | ExecutionSystem interface + the default (non-gateway) implementation the server actually uses | [AVAILABLE] | 1 | packages/execution-system/src |