The clearest place to start is a test that kept passing after its rule was removed. Open it to see the before-and-after evidence.
Your rules
Needs attention first. Select a rule to see its result.
12 of 12 rules · sorted by priority
How this report was calculated
Each linked test was repeated 3 times before and after removing one instruction. 9 of 12 rules have a linked test (trace coverage: 75%). 5 of 12 had removals detected reliably (causal rule coverage: 42%).
These are precomputed results from a deterministic example. They explain the method, not the performance of a live model. Read the method and thresholds →