Bug report blamed wrong tool and gave false error code, hiding real anchoring flaw

A code verification tool flagged three of eight rows as mismatched and blamed a neighbouring tool, citing a BAD_SHAPE error — but both accusations were wrong. Investigation confirmed the accused tool never accessed the relevant file, ruling it out immediately. The real cause was that the verifier's own row-anchoring keys secretly embedded line numbers, despite its specification explicitly forbidding line-number anchoring. When an unrelated edit shifted a code block from line 2490 to 2515, the keys broke and rows went unmatched — yet the error code pointed developers toward rewriting perfectly valid rows. Two fixes were applied: stripping line numbers from keys and enforcing a strict one-block-per-row match, while deliberately reusing an existing error code to preserve the integrity of historical diagnostic comparisons.