the language
command
argv — the program and its arguments, execve, NO shell. Each element substituted independently (the injection-safe form). Shell features (pipes · redirects · globs) live in `shell:`. One of 59 words the served contract declares, projected from workflow.schema.json, the same file your editor validates against.
- 1surfaceexec
- optionaleverywherea choice, never a miss
- arraytypethe declared shape
- 2skeletonscarry this key
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.
- exec
arrayargv — the program and its arguments, execve, NO shell. Each element substituted independently (the injection-safe form). Shell features (pipes · redirects · globs) live in `shell:`.inside exec:
in a real file
from the human-gated-ship skeleton # ── the verification wave · all checks run in parallel ── check_a: exec: command: ["echo", "ok"] # SLOT: gate 1 (argv form · injection-safe) capture: structureda verbatim slice, real line numbers from human-gated-ship.nika.yaml, conformance-gated upstream on every spec push. open the full skeleton →
cross-references
skeletons that carry it
the check gates that name it
accepted by
defined by
The whole grammar in one place: the four verbs · the standard library · the spec. Try it in the playground. Read the reference →