Implementation Manifest

Double-entry invariant is enforced in code and property-tested. No external database is attached, so it cannot claim PRODUCTION.

src/runtime/ledger-core.ts · src/routes/app.journal.tsx

Depends on: event-store · audit

Missing evidence: api, authorization, observability, recovery

In-process immutable log with ordering and replay. Durable broker not provisioned.

src/runtime/event-store.ts

Missing evidence: api, authorization, audit, recovery

Hash-chained records with integrity verification. Append-only within the runtime.

src/finance/audit.ts · src/routes/app.audit.tsx

Depends on: event-store

Missing evidence: api, authorization, events, observability

Deny-by-default evaluation with recorded decision facts and priority ordering.

src/runtime/governance.ts · src/fabric/governance.ts

Depends on: audit

Missing evidence: api, events, observability, recovery

Approvals bind to an action hash; payload changes invalidate them. Multi-approver escalation is modelled, not load-tested.

src/finance/approvals.ts · src/routes/app.approvals.tsx

Depends on: policy · audit

Missing evidence: api, events, tests, observability, recovery

Deterministic precheck, autonomy envelopes and kill switch. No external provider is wired, so nothing can actually move money.

src/spine/gateway.ts · src/routes/app.gateway.tsx

Depends on: policy · approvals · connectors · audit

Missing evidence: api, tests, observability, recovery

Adapter surface, health model, idempotency registry and circuit breakers exist. No provider credentials are provisioned.

src/runtime/connectors.ts

Missing evidence: api, authorization, events, audit, tests, recovery

Scored candidate matching with explicit exception queue. Cannot exceed CONNECTED while the connector layer is MOCKED.

src/runtime/reconciliation.ts

Depends on: ledger · connectors

Missing evidence: api, authorization, audit, observability, recovery

Bitemporal snapshots with explicit watermarks and freshness.

src/spine/state-engine.ts · src/routes/app.state.tsx

Depends on: ledger

Missing evidence: api, authorization, audit, observability, recovery

Waterfall terms are traceable and stress tests are deterministic. Balances are modelled, never presented as verified bank state.

src/spine/liquidity.ts · src/routes/app.liquidity.tsx

Depends on: state-engine · connectors

Missing evidence: api, authorization, events, audit, observability, recovery

Driver-based planning plus Monte Carlo. Output is FORECAST and is never allowed to render as cash.

src/spine/planning.ts · src/finance/forecast.ts

Depends on: state-engine

Missing evidence: api, authorization, events, audit, recovery

Scenario branching over an immutable snapshot. Branches never merge into live state.

src/finance/forecast.ts · src/routes/app.simulation.tsx

Depends on: planning · state-engine

Missing evidence: api, authorization, events, audit, tests, observability, recovery

Scored proposals with opportunity cost and reserved-capital effects on deployable liquidity.

src/finance/allocation.ts · src/routes/app.allocation.tsx

Depends on: treasury · digital-twin

Missing evidence: api, authorization, events, audit, observability, recovery

Constraint solving, Pareto frontier and sensitivity. A recommendation is never an authorization.

src/fabric/decisions.ts · src/routes/app.decisions.tsx

Depends on: capital · policy

Missing evidence: api, authorization, events, audit, tests, observability, recovery

Plain text compiles to a typed AST with static, permission and exposure analysis before activation.

src/fabric/workflow-dsl.ts · src/routes/app.workflows.tsx

Depends on: policy · event-store

Missing evidence: api, authorization, audit, observability, recovery

Deterministic router: retrieval and arithmetic never reach a model. Agents cannot invoke consequential writes.

src/runtime/orchestrator.ts · src/lib/sol-engine.ts

Depends on: policy · evidence

Missing evidence: api, events, audit, tests, observability, recovery

Claims are typed FACT / CALCULATION / FORECAST / ASSUMPTION and unsupported claims are marked, never promoted.

src/fabric/ontology.ts · src/finance/audit.ts

Depends on: audit

Missing evidence: api, authorization, events, tests, observability, recovery

Public handshake and snapshot route with capability scoping. Xavania receives no raw data access.

src/routes/api/public/xavania.ts · src/lib/xavania-link.ts

Depends on: policy

Missing evidence: events, audit, tests, observability, recovery

Deliberately off. Autonomous money movement stays disabled until a real provider, real approvals and real reconciliation exist.

not implemented

Depends on: execution-gateway · connectors

Missing evidence: api, authorization, domain-logic, events, audit, tests, observability, recovery, frontend

No PostgreSQL-compatible transactional store is attached. Until it is, every financial figure in this app is MODELED.

not provisioned

Missing evidence: schema, api, authorization, domain-logic, events, audit, tests, observability, recovery, frontend