Architecture overview
Components, dependency boundaries and the control points between intent, admission, mediation, execution, observation and evidence.
Documentation
Documentation for the public boundary.
Architecture, platform concepts, security boundaries, evaluation guidance and integration scope. This hub documents what is actually public; operator documentation and interface contracts are provided under engagement rather than invented for the website.
Documentation map
Start with the question you need answered.
Each entry points to material that exists. Where a document is not public, the page says so instead of publishing a placeholder.
Platform concepts
Intent governance, invariant compilation, independent admission, scoped permits, registered mediation, observation and conformance.
Security boundaries
What is enforced, what is partial and what is outside the NARG mediation boundary. Includes the buyer evaluation checklist.
Evaluation and deployment
How a bounded evaluation is scoped, what deployment planning involves and why production qualification is a separate stage.
Integration information
What is publicly stated about registered mediation, permit verification and execution adapters — and what is not published.
Status and readiness
Public integration state, maturity labels from the engineering registers and an honest account of what is unconfigured.
Publication boundary
What is public, what is under engagement, what is not published.
Buyers need to know which documentation exists before they ask for it. This table is the publication boundary for NiGeNje material.
| Surface | Access | What that means |
|---|---|---|
| λ-Safe research record | Public | Published on Zenodo with a stable DOI. Maintained by the publisher, not by this site. |
| λ-Safe Core source | Public · Apache-2.0 | Open-source Rust compiler repository. Licences and terms are governed by the repository. |
| Architecture and concepts | Public summary | Responsibilities, lifecycle and boundaries are described publicly. This is not an interface contract. |
| Platform source code | Private | Platform repositories are private and are deliberately not linked from this website. |
| Public HTTP API contract | Not published | No endpoint list, request schema, authentication flow or rate-limit policy is published. The site does not invent one. |
| Operator documentation | Under engagement | Runbooks, configuration and operational procedures are provided within a defined engagement, not on the public site. |
| Evaluation and qualification evidence | Under engagement | Detailed engineering evidence is reviewed with an evaluator. It is not a published certification. |
Operator documentation
Operator documentation is provided under engagement. It is not published here because it depends on the agreed deployment topology, identity configuration and support boundaries. Requesting it does not create a support or service-level commitment.
Integration information
What is publicly stated about integration.
Public material describes the integration model and its boundaries. It does not publish endpoint names, request schemas or authentication flows, because no public API contract exists yet.
Registered mediation
NARG mediates actions at registered points, verifies a permit against the exact action and arguments, keeps proposal separate from dispatch, and reads the effect back. Actions outside registration are not mediated.
Admission and permits
Gatekeeper evaluates requirement gates independently of the executor and issues scoped, expiring, single-use permits bound to the action digest — or refuses with a specific reason.
Execution adapters
Substrate applies effects through bounded adapters under a verified permit and supports read-back. Connector coverage is limited and no connector certification is claimed.
API contract status
No public HTTP API contract is published. There is no endpoint catalogue, schema, token exchange or rate-limit promise on this site. Integration work is scoped against a confirmed contract under engagement.
Do not guess an endpoint
This site intentionally publishes no API URLs. Anything that presents itself as a NiGeNje API endpoint without a confirmed contract should be treated as unverified.
Evaluation guidance
Deployment and evaluation, staged deliberately.
The sequence below keeps a bounded evaluation separate from deployment planning. Each stage is agreed on its own; completing one does not imply the next.
Define one system boundary
Choose one workflow, one class of action and the invariant or obligation that must not be broken. A broad scope makes an evaluation unreadable.
Map registered mediation points
Identify which actions would pass through a registered mediation path and which bypass paths remain. Bypass paths are part of the evaluation, not an afterthought.
Establish identity and evidence readiness
Confirm which identity provider, policy context and evidence sources are available. Where they are absent, admission should fail closed and say why.
Run a bounded, non-production evaluation
Exercise the admitted, denied, diverged and unavailable paths against defined fixtures. Do not use production systems or production personal data.
Review evidence and gaps
Inspect what was recorded, what was observed independently and what remained unknown. Record what the evaluation did not cover.
Plan deployment separately
Production topology, identity, key management, observability and support boundaries are a separate stage. Earlier stages do not imply production qualification.
Documentation questions
What people ask before evaluating.
Where is the public API reference?
There is no public API reference. No endpoint list, request schema, authentication flow or rate-limit policy for the NiGeNje platform is published today. This page deliberately does not invent one. Integration scopes are defined under engagement and against a confirmed contract.
Is operator documentation available?
Operator documentation — runbooks, configuration, deployment procedures and operational limits — is provided under engagement. It is not published on this website because it depends on the deployment topology and the agreed scope.
How current is this documentation?
Public pages are maintained with the site source and the engineering registers behind it. Maturity labels describe verified engineering state at the time of writing; they are not a service-level statement. Re-verify the specific claims that matter to you during an evaluation.
Can NiGeNje generate a compliance or security pack?
No certification, compliance attestation or audit pack is claimed or offered. Evaluation evidence can be reviewed with you under an engagement, and the security page states plainly what is not claimed.
Do these docs cover a supported integration list?
No supported-integration count is published, because connector coverage is still being built and certified connectors are not claimed. Integration work is scoped per engagement rather than sold as a catalogue.
Looking for the published research record? It is available at doi.org/10.5281/zenodo.17067644.
Next step
Request the material that matters to your evaluation.
If a document you need is not public, ask whether it is covered under engagement. Nothing on this page is a substitute for a confirmed contract.