State Audit

Code written fast, by many hands, grows its state in pieces: a status here, a flag there, a copy in the UI, an ordering rule in a prompt. Each piece is fine alone; together they allow combinations nobody chose. This skill finds those pieces, proves which combinations are wrong with a counter-example, and hands a target with one owner per fact to state-machine.

Contract

• Read-only until the human approves the target. No symptom fix during the audit: a fix now hides the evidence the model needs.
• Every fact cites the file and the symbol it was read in. Anything else is written "not measured".
• The model mirrors the code as it is, not as it should be. Each model action names the symbol it mirrors.
• A counter-example that does not replay the reported bug means the model is wrong. Fix the model, never the code, until it does.