the proof
A run you can verify
A run you can verify, a graph you can read. The proof layer is how Nika shows its work: the run graph, the hash-chained trace, the conformance suite that re-proves every claim.
The run graph
Before anything runs, the engine emits the workflow AS a graph: a versioned envelope over nodes and edges, the edge kinds a closed six, unknown kinds reader-tolerated by law · the document describes the file as WRITTEN, never run state. The kinds themselves live on the flow hub; this page owns the envelope and its additive law.
record player, not a sandbox — recorded runs of nika …, replayed verbatim · re-captured at every release
pick a recorded run below, or type it
The receipt
ratified · fills with the trace wave: the NDJSON trace, the hash chain,nika trace verify, resume — this section projects the canon the resync brings, never prose written ahead of it.
The conformance levels
Conformance nests: core parses and validates, runtime executes, stdlib proves the library. A higher level includes every lower one · the fixtures are the contract, not the prose.
Machine surfaces
The same truth, machine-shaped: nika check --json speaks typed findings with stable exit codes · the read-only MCP oracle serves the register below to any agent · this site serves its own twin, /ontology/language.json — the page you are reading, as data.
- nika_checkread-only · the oracle's check surface
- nika_explainread-only · the oracle's explain surface
- nika_schemaread-only · the oracle's schema surface
- nika_examplesread-only · the oracle's examples surface
- nika_templateread-only · the oracle's template surface
- nika_canonread-only · the oracle's canon surface
- nika_catalogread-only · the oracle's catalog surface
- nika_toolsread-only · the oracle's tools surface
- nika_inspectread-only · the oracle's inspect surface