Read and apply to the current task, citing rule IDs with one line of evidence as they fire:
- docs/guardrails/REASONING.md — RE1–RE4 (trace before code, counterexample after, invariant comment, explain-then-code)
- docs/guardrails/PLAN.md — P10 (OPTIONS artifact for any decision with 2+ plausible shapes)
- docs/guardrails/TRAPS.md — the computed loop/slice/range bounds trace row