- Reproduce on current
mainwith--format json --quiet. Save one command that shows the wrong result. Change no code before this command exists. After a restart or an update, clear the.fallow/cache first. - Reduce to a minimal fixture without losing the behavior.
- Write 3 to 5 ranked hypotheses. Each one predicts a result that one probe can disprove. Test one hypothesis per probe.
- Trace the finding through extract, resolve, graph, reachability, analysis, suppression, filters, and report assembly.
- Fix the earliest incorrect layer. Fix the pattern, not the instance (see
test evidence in
docs/development/quality-gates.md). After 3 failed fixes, stop and write down the premise that they share. Question that premise before a fourth fix. - Add a regression test that fails without the fix.
- Run the fixed binary on a real consumer project with a cleared
.fallow/cache and compare old versus new output. - Run
reviewwith the affected surface reviewers.
Do not tune expected output around one fixture when the semantic model requires a broader correction.