the language
policy
Named workflow law · hard families (require/forbid/allow/limits) are judged at check (NIKA-POLICY-001) · soft families (prefer/optimize) are recorded, never judged in v1 (spec/10-authority.md). One of 59 words the served contract declares, projected from workflow.schema.json, the same file your editor validates against.
- 1surfaceenvelope
- optionaleverywherea choice, never a miss
- objecttypethe 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.
- envelope
objectNamed workflow law · hard families (require/forbid/allow/limits) are judged at check (NIKA-POLICY-001) · soft families (prefer/optimize) are recorded, never judged in v1 (spec/10-authority.md).the file itself
in a real file
No gated source on this site speaks policy 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
the check gates that name it
defined by
the block it lives in
The whole grammar in one place: the four verbs · the standard library · the spec. Try it in the playground. Read the reference →