Intent and authority
Declare what should happen, who may act and what must remain true.
Platform overview
NiGeNje is an intent- and invariant-governed control platform for autonomous and distributed systems. NiGeNje separates what a system intends to do, what it is authorised to do, what it actually executes and what can subsequently be verified.
Kernel capabilities implemented. End-to-end platform integration and qualification are progressing.
NiGeNje is not production-qualified. No production deployment, certification, benchmark, customer outcome or integration count is claimed on this site.
Positioning
Execution is the floor, not the guarantee. A governed system must also establish what was intended, who was authorised, which invariants applied, what actually happened and whether the outcome conformed.
A system can choose an action without establishing that the action was permitted.
Objectives, obligations and scope made explicit and versioned — not inferred from a prompt.
Admission decided independently of the component that executes.
Policy, constraint feasibility and uncertainty coordinated before dispatch.
Observation and reconciliation recorded separately from the executor's claim.
Outcomes evaluated against the original obligations, with unknown kept explicit.
A design position, not a claim that every dimension is implemented end to end. Maturity is stated per capability and per component.
Often embedded in application logic, prompts or tickets.
Explicit, versioned intent with obligations and scope.
Commonly handled at individual service boundaries.
Governed admission and scoped authority independent of the executor.
A tool or service invokes execution directly.
Registered runtime mediation binds a permit to the exact action.
May be distributed across implementation and documentation.
Explicit, supported invariant formalization with refusal of the undecidable.
Frequently inferred from the executor's response.
Independent observation where integrated; unknown stays unknown.
Often post-hoc and application-specific.
Evidence-driven conformance model with explicit verdicts.
Requires application-specific monitoring.
Defined drift classification and resolution, partially integrated.
Governance lifecycle
Ten canonical stages. Selecting a stage shows the components with a responsibility there, the verified maturity of each, and the limitation that still applies.
Stage 01 of 10: Intent selected.
Stage 01 of 10
Declare the objective, obligations and scope.
A governed operation begins with an explicit, reviewable intent: what should be achieved, which obligations and invariants apply, who is acting and what scope is claimed. Intent is versioned and approved rather than inferred from a prompt.
Intent governance: versioned intent, obligations, actor authority, evidence sufficiency and conformance/drift assessment.
Limitation: No intent listing API; intents are read by id/version.
Product pageCapabilities
Each capability states what it does, why it matters, which components provide it and the maturity verified to date.
Declared objectives, obligations and scope are made explicit, versioned and approved before action.
Without an inspectable intent there is nothing to authorise against and nothing to be conformant with.
Intent publication and read-back verified in the local demonstration stack.
Supported decidable invariants are compiled, and decisions are evaluated against constraint feasibility.
Safety obligations expressed only in prose cannot be enforced at a boundary.
Compiler and candidate solver verified for supported paths; unsupported obligations refused.
An independent authority evaluates requirement gates and issues a scoped permit bound to the action.
The component that executes must not also be the component that authorises.
13-gate admission with eight invalid-permit refusals and zero effects written.
Registered actions are verified against the permit at dispatch time, including arguments and digest.
A decision made earlier is not permission for a changed payload later.
Proposal/dispatch separation and payload-mismatch refusal verified.
External state is observed and compared with the required postcondition after an action.
A successful response is not independent proof that the intended outcome occurred.
DIVERGED and UNKNOWN outcomes verified; observation independence remains partial.
Decision, execution and outcome records are ordered, linked and reconstructible for review.
Governance that cannot be reviewed after the fact is not accountability.
Both component chains verified and lifecycle reconstruction produced.
Actor identity, tenant scope, permit validity, replay protection and containment behaviour at the boundary.
Authority without scope and replay protection is not a security boundary.
Permit and replay paths verified; external identity and autonomous containment in progress.
Lifecycle coordination across services, change assurance and network governance with explicit outcomes.
Distributed action needs coordination that can represent partial failure and unknown states honestly.
Coordination verified locally; network and temporal capabilities are partially integrated.
Product family
The portfolio is organised into six families. Each product owns a specific responsibility in the lifecycle and states its maturity, evidence and limitations.
Declare what should happen, who may act and what must remain true.
Compile obligations and decide whether a specific action may proceed.
Evaluate policy, constraints and uncertainty before anything is dispatched.
Mediate registered actions and execute through controlled adapters.
Observe outcomes, reconcile state, contain harm and preserve evidence.
Read-only operational understanding, temporal coordination and advisory analysis.
Security and trust
The security model is narrow on purpose: authority is explicit, permits are scoped, and the boundary of enforcement is stated rather than implied.
Deployment and integration
Implemented environments are distinguished from intended ones. Nothing in this table is a production deployment claim.
| Environment | Status | What exists | What remains |
|---|---|---|---|
| Local development | Implemented | Kernel capabilities are exercised in the local demonstration stack, including admitted, denied, diverged and unknown paths. | This is not a production topology. A local development identity is used; production key management is not configured. |
| Single-host controlled qualification | In progress | A bounded qualification target for defined fixtures, with conformance evidence inspected after each run. | Qualification has not been completed, so no Qualified maturity is claimed for any component. |
| Containerised deployment | Partial | Container packaging is partial in the reviewed environment. | Containerised operation is not verified as a supported deployment path. |
| Kubernetes integration | Partial | One permit-gated Kubernetes Deployment scale operation with a receipt is implemented in Integrations, supported by connector and adapter libraries. | Never validated against a live cluster; one mutation type, a static token and no provider validation. Kubernetes integration is not production-qualified. |
| External adapters | Partial | An implemented Kubernetes mutation boundary plus connector and adapter libraries behind the control boundary. | Standalone and not running in the reviewed stack. No certified integration estate is claimed and no supported-integration count is published. |
| Future distributed deployment | Intended | Cross-region coordination, distributed key management and network governance are design directions under investigation. | Not implemented. Network enforcement currently operates at file and HTTP plan boundaries, not on packets or devices. |
A single-host controlled qualification path is the intended next step; it has not been completed. See platform status for the honest engineering state, and security boundaries for what is not enforced.
Get started
Adoption is deliberately staged. Each step produces evidence that can be inspected before the next step is considered, and no stage implies production qualification.
Agree the system boundary, the action class and the invariant or obligation that must not be broken. No product commitment is implied.
Review where the control boundary would sit, which components would be involved and which invariants are expressible with current λ-Safe support.
Run a non-production evaluation against defined fixtures: admitted, denied, diverged and unavailable paths, with evidence inspected.
Integrate through registered mediation and execution adapters in a bounded environment, with explicit failure and rollback behaviour.
Define qualification tests, inspect conformance evidence and record what passed, what failed and what remains out of scope.
Plan production topology, identity, key management, observability and support boundaries. Production qualification is not implied by earlier stages.
The programme is bounded evaluation, not a promise of production deployment. Production qualification is a separate step that has not been achieved.