AGPL-3.0-or-later · forever.

the proof layer

Proof.

A run you can verify, a graph you can read: the precomputed run graph, the hash-chained trace, the conformance suite that re-proves every claim. Verification is replay, not trust: nika check --json speaks typed findings, the read-only oracle serves agents over MCP, and this page ships as data at /ontology/language.json.

Defined by spec/07 · conformance

  • 3conformance levelsnested · core to stdlib
  • 40gate verdictsproducer × edge form
  • 9oracle toolsread-only · over mcp
  • W5the receiptratified · fills at resync

The run graph

6 edge kinds

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

kindsthe six edge kinds · /flow#edgesspecthe wire contract · spec/03

The receipt

slot W5

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

3 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.

  1. core

    parse · validate · DAG · variables · typed errors · no execution

  2. runtime

    executes verbs · evaluates when and for_each over run state

  3. stdlib

    proves the v0.1 library surface · the production default

suitethe conformance tree · nika-specreplayedthe playground port re-runs the corpus in CI

Machine surfaces

9 tools

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.

  1. nika_check

    read-only · the oracle's check surface

  2. nika_explain

    read-only · the oracle's explain surface

  3. nika_schema

    read-only · the oracle's schema surface

  4. nika_examples

    read-only · the oracle's examples surface

  5. nika_template

    read-only · the oracle's template surface

  6. nika_canon

    read-only · the oracle's canon surface

  7. nika_catalog

    read-only · the oracle's catalog surface

  8. nika_tools

    read-only · the oracle's tools surface

  9. nika_inspect

    read-only · the oracle's inspect surface

twinthis site as data · /ontology/language.jsonkitthe agents kit · nika-agents

The proof is portable: replay the conformance corpus in the playground, or install and ask the binary itself: nika check --json. Read the spec →