Module read 

Reading a stage back as a landing’s answers: the receipt’s parameters, never its bytes.

A production verb named --stage <root> reads stage.json, refuses a receipt another binary wrote or one taken for another target, takes every answer the stage resolved as its own, and renders again from scratch. Once the answers resolve, they must equal the stage’s, so the landing cannot differ from the stage a comparison reads against.

SATISFIES staging:a-landing-reads-the-stage-parameters

Functions

answered_twice

The refusal for an answer given beside --stage, which carries every answer itself.

confirm

Refuse where the answers a landing resolved differ from the stage’s: an answer no flag carries, such as the security contact, moved in the configuration after the stage was written.

inputs

Every answer the stage resolved, as invocation answers.

load

Read the receipt at root and hold it to this binary and this target.