the language
because
The non-empty justification · recorded in the run receipt with the taint path and the value digest. One of 59 words the served contract declares, projected from workflow.schema.json, the same file your editor validates against.
- 1surfacelift
- 1required inlift
- stringtypethe declared shape
- schemathe sourcenever prose
the contract
1 declarationDescriptions are the schema's own; the deeper invariants (value languages and regexes) ride the same projection. A miss is a nika check finding before anything runs.
- lift*
stringThe non-empty justification · recorded in the run receipt with the taint path and the value digest.inside a lift entry
in a real file
No gated source on this site speaks because yet. The contract above is the reference, and the register never invents evidence. Try it in the playground: nika check teaches the shape.
cross-references
no skeleton carries it and no registered code names it; the schema row is the whole story today.
defined by
The whole grammar in one place: the four verbs · the standard library · the spec. Try it in the playground. Read the reference →