AGPL-3.0-or-later · forever.

the language

law

WHICH law this entry lifts · 'taint' raises ONE binding from untrusted to trusted (NEP-0004 · LAW-AUTH-0325) · 'data-as-code' declares this task's fetch a code-bearing artifact it will never load or run (NEP-0006 · LAW-AUTH-0327). Neither ever lifts the net boundary or the SSRF floor. 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 declaration

Descriptions 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*
stringWHICH law this entry lifts · 'taint' raises ONE binding from untrusted to trusted (NEP-0004 · LAW-AUTH-0325) · 'data-as-code' declares this task's fetch a code-bearing artifact it will never load or run (NEP-0006 · LAW-AUTH-0327). Neither ever lifts the net boundary or the SSRF floor.inside a lift entrytaintdata-as-code

in a real file

No gated source on this site speaks law 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 block it lives in

lift: inside a lift entry

The whole grammar in one place: the four verbs · the standard library · the spec. Try it in the playground. Read the reference →