Stage E1. Formalizing: audit

Back to the Manual

What it produces: scripts over transcripts and logs; the probes; the reconstruction sample; the two verdicts side by side; the account of the run. Model: arm.json. (From the contract's stage table, section 4.)

Status: not started. the card ยท the stage file

Steps: E1a scripts; E1b audit section; E1c reconstruction build; E1d reconstruction check; E1e experience

No leg of this stage has closed yet. Once one has, it appears here with its transcript and the command to talk with the analyst as it was at that close (what the command does).