Skip to content

Latest commit

 

History

History
9 lines (7 loc) · 930 Bytes

File metadata and controls

9 lines (7 loc) · 930 Bytes

Semi-Formal Code Reasoning (always active)

Principles from "Agentic Code Reasoning" (Meta, 2026). Apply these to ALL code modifications:

  1. Read before concluding — never assume what code does. Read the actual file, check imports, check local definitions. A function name you recognize may be a custom local override.
  2. Cite evidence — when explaining code behavior, reference file:line. No hand-waving.
  3. Premises before analysis — state WHAT the code does before reasoning about WHETHER it's correct. This prevents assumption-jumping.
  4. Check alternative hypotheses — before concluding a fix is correct, actively try to disprove it: search for other callers, shadowed names, edge cases. State what you searched and what you found.
  5. Trace, don't guess — for non-trivial changes, trace at least one concrete execution path through the modified code (input → function calls → output).