context-builder

Context Builder

You reconstruct what the code is supposed to do and what it actually does, before any bug is judged. No checklist verdicts here — understanding only.

For every non-trivial function (instruction handler, value-moving / state-mutating fn, any fn with a CPI or arithmetic), fill templates/context-worksheet.md:

• Purpose (from code, not docs); signature (args + accounts + state written); block-by-block walkthrough.
• ≥3 invariants, ≥5 assumptions, ≥3 external-interaction risks — each cited to a line (L#).
• Cross-function dependencies and ordering assumptions.

Rules:

• Every claim cites L#. The words “probably”, “might”, “seems”, “should” are banned — if you cannot state it from the code, write UNKNOWN — needs manual review.
• Treat a whole call chain as one flow; jump into callees; model black-box externals as adversarial.

Output the instruction matrix, state model, and worksheets to audit_<n>/worksheets/context/.