Interactive demo · Local simulation

Run one governed action, end to end.

Propose an action, watch λ-Safe verify or refuse it, then follow admission gates and a single-use permit, and compare the executor's success report with independent observation. Scenarios also demonstrate an invariant-violating transition that λ-Safe blocks before execution, and a local model of safe degradation under dependency deterioration. Every result is computed in your browser by a deterministic demonstration model.

No backend calls
λ-Safe verification layer
Safe degradation model
Deterministic replay
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

Five lifecycle outcomes, including λ-Safe verification refusal and a local safe-degradation model. 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 resourcesInvariant refusalInvariant refusal — λ-Safe blocks an inadmissible scale transitionNumeric integral bound violated · λ-Safe result REJECTED / transition BLOCKED · no permit, no dispatch4 obligations · 2 actors · 2 resourcesSafe degradationSafe degradation — preserve invariants as a dependency deterioratesDependency deterioration · operating assumption violated · non-essential capability restricted · mandatory invariants preserved · recovery only after fresh verification5 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.

See NiGeNje in Action

Placeholder

NiGeNje / governed actionplaceholder

Intent

Reconcile inventory allocation

INT-2026-114 · v3 · approved by second principal

Δ ≥ 0tenant: acme-eu≤ 1 write

01Intentdeclared

02Admissionadmitted

03Mediationverified

04Observationobserved

05Conformanceconformant

Admission gates

✓Actor identitypass
✓Intent authoritypass
✓Invariant setpass
✓Replay protectionpass

Evidence chain

01decisionrecorded
02mediationrecorded
03observationrecorded
04conformancerecorded

Platform demonstration coming soon.

Explore how NiGeNje connects intent, formal constraints, authorization, runtime enforcement, independent observation and conformance.

No video URL is configured in this build. No third-party player, script or frame is requested on this page.

The interactive console is a local, deterministic simulation. A video is a recording of the platform, not live production enforcement. Third-party media is requested only after you choose to load it, and the placeholder state makes no external requests.