This is the operational anatomy of the flagship proof.
Twin
Governance Twin Construction
Builds a deterministic shadow model of the capability network before production release.
- Input signal
- domain state, skills, policies, capacity, risk register
- Output artifact
- governance twin state
- Verifier
- Twin Fidelity Court
Policy
Policy-as-Code Compilation
Converts governance boundaries into machine-checkable policy constraints.
- Input signal
- policy text, compliance boundary, public claim boundary
- Output artifact
- policy constraint set
- Verifier
- Policy Coverage Court
Access Control
Permission Boundary Mapping
Maps each route to allowed skills, agents, tools, and data scopes.
- Input signal
- route, role, data, tool permissions
- Output artifact
- permission boundary map
- Verifier
- Permission Hygiene Court
Twin
Shadow Route Simulation
Runs candidate capability routes in the twin before production promotion.
- Input signal
- candidate route, simulated domain state
- Output artifact
- shadow outcome prediction
- Verifier
- Shadow/Production Gap Court
Verification
Verifier Coverage Allocation
Allocates verifier courts to high-risk and high-value routes.
- Input signal
- risk, value, novelty, incident history
- Output artifact
- coverage plan
- Verifier
- Verifier Capacity Court
Safety
Policy Violation Detection
Rejects candidate routes that violate policy, access, or disclosure constraints.
- Input signal
- policy constraints, permission boundary, route plan
- Output artifact
- allow / reject verdict
- Verifier
- Policy Violation Court
Safety
Rollback Path Planning
Ensures a safe containment or reversal path exists before release.
- Input signal
- route, incident history, rollback option
- Output artifact
- rollback path
- Verifier
- Rollback Court
Reliability
Incident Counterfactual Replay
Replays past incidents and near misses against candidate protocol updates.
- Input signal
- incident traces, proposed update, drift state
- Output artifact
- counterfactual incident verdict
- Verifier
- Incident Replay Court
Reliability
SLA Stress Testing
Tests latency, capacity, quality, and verifier timing under load.
- Input signal
- SLA pressure, capacity fit, latency sensitivity
- Output artifact
- stress-test score
- Verifier
- SLA Court
Continual Learning
Drift Monitor
Detects divergence between the governance twin and observed production-like traces.
- Input signal
- shadow outcome, observed outcome, telemetry
- Output artifact
- drift signal
- Verifier
- Shadow/Production Gap Court
Adversarial
Red-Team Scenario Synthesis
Generates adversarial policy, permission, and reliability scenarios.
- Input signal
- weak controls, red-team pressure, threat model
- Output artifact
- challenge scenario
- Verifier
- Red-Team Court
RSI
Control Plane Release Gating
Promotes only updates that improve validation metrics without policy or risk regression.
- Input signal
- validation score, policy violation rate, risk breach rate
- Output artifact
- released / rejected update
- Verifier
- Release Court
Trust
Provenance Binding
Binds skills, routes, policies, verifier decisions, and receipts into a replayable chain.
- Input signal
- route trace, skill IDs, verifier receipts
- Output artifact
- provenance binding
- Verifier
- Provenance Court
Operations
Observability Plan
Defines the telemetry required to detect failure, drift, and policy gaps.
- Input signal
- route plan, SLA, control objectives
- Output artifact
- observability checklist
- Verifier
- Operations Court
Economics
Capacity / Cost Control
Balances verifier coverage and routing capacity against cost pressure.
- Input signal
- capacity, verifier load, cost pressure
- Output artifact
- cost-aware control allocation
- Verifier
- Treasury Discipline
Transfer
Cross-Domain Policy Transfer
Transfers proven policy and verifier patterns across adjacent domains.
- Input signal
- domain similarity, prior policy receipts
- Output artifact
- transfer candidate
- Verifier
- Transfer Court
Compounding
Control Gap Mining
Turns failed gates and incidents into new verifier, policy, or skill backlog items.
- Input signal
- failed gates, incidents, red-team outcomes
- Output artifact
- control-gap backlog
- Verifier
- Reinvestment Planner
Communication
Executive Twin Receipt Rendering
Renders twin results, skills used, gates, controls, and public receipts for review.
- Input signal
- JSON receipt, metrics, skills catalog
- Output artifact
- public proof webpage
- Verifier
- Site Integration Verifier