Interactive demo · Local simulation

Run one governed action, end to end.

Propose an action, watch admission gates and a single-use permit decide, then compare the executor's success report with independent observation. Every gate, digest, permit and conformance result is computed in your browser by a deterministic demonstration model.

No backend calls
Deterministic replay
Fixed simulated clock
14 inspectable steps

Lifecycle demonstrated on this page

Intent
Contract formalization
Admission
Decision
Runtime mediation
Execution
Independent observation
Reconciliation
Evidence and audit
Conformance

Governed action console

Proposal → admission → permit → mediation → observation

A fourteen-step guided lifecycle. Configure an intent, actor and action, run the deterministic governance evaluation, then inspect every gate, permit, dispatch, observation and evidence record.

LOCAL SIMULATION

Interactive product simulation. Results are generated by a local demonstration model and do not represent live production enforcement.

Data source: Local simulationLocal simulation only. Every decision, permit, observation and conformance result on this page is computed in your browser by a deterministic demonstration model. No backend is contacted.Backend: not connected in this build · no network calls are made

No evaluation has been run.

Demonstration scenario

Three different lifecycle outcomes. Changing the scenario resets all selections and the recorded run.

Valid pathValid path — settle an approved supplier invoiceAuthorised actor · in-scope action · sufficient evidence · observed postcondition matches4 obligations · 4 actors · 2 resourcesDenied pathDenied path — tampered retention purgeAltered arguments · action digest mismatch · out-of-scope prefix · no permit, no dispatch4 obligations · 3 actors · 2 resourcesDivergent pathDivergent path — signing-key rotation claims successPermit issued · dispatch acknowledged · executor reports success · observed state violates postcondition4 obligations · 2 actors · 2 resources

Step 1 of 14

Select intent

ACTIVEintent_invoice_settlement

Settle approved supplier invoice

Settle an approved supplier invoice from the supplier ledger within delegated procurement authority, preserving amount, recipient and dual-control limits.

Declared by: Finance Operations · delegated authority policy v4
Obligations: 4
Action kinds in scope: pay_invoice
Resources in scope: res_supplier_ledger

The intent is bound to the selected scenario. Its formalized scope and obligations are enforced by the admission gates in step 7 — the wording of the intent alone is not enforcement.

Interactive product simulation. Results are generated by a local demonstration model and do not represent live production enforcement. Local deterministic model · no network requests · no secrets in the browser bundle · NARG protects only registered mediation paths, not direct sockets, shell commands or unwrapped filesystem writes.