# Stage E1. Formalizing: audit

[Back to the Manual](../README.md)

**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](../../aggregator/runs/claude-v43-1/STAGE%20CARDS/Stage%20E1.%20Formalizing%20-%20audit.md) · [the stage file](../../aggregator/runs/claude-v43-1/DROPS/E1/stages/STAGE-E1-formalizing-audit.md)

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](../9-resuming.md)).