ARCH-02: M7's evidence was filtered out by its own finding kind
checks / unit (pull_request) Successful in 6m56s
checks / unit (pull_request) Successful in 6m56s
The mutation battery prints the distinct findings each mutation caused, matched on the finding's KIND. The pattern's character class was `[A-Z -]`, which has no underscore - so `UNIQUE_ID DRIFT:` did not match, and M7, the mutation that renames `mqtt.BASE`, printed its verdict with no evidence under it at all. A filter that silently drops the very finding a mutation exists to produce is the same defect as the rest of this card, at display scale. No behaviour change: M7 was red before and is red now, and it now shows why. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01BwRLw7eKYj2byVdwB6kbjU
This commit is contained in:
@@ -493,7 +493,13 @@ for mid, control, what, edits, must_say in MUTATIONS:
|
|||||||
seen = []
|
seen = []
|
||||||
for line in out.splitlines():
|
for line in out.splitlines():
|
||||||
text = line.strip()
|
text = line.strip()
|
||||||
if text.startswith("⚠️ ") and re.match(r"⚠️ [A-Z][A-Z -]+[A-Z()]:", text):
|
# ⚠️ `_` IS IN THE CLASS. Without it `UNIQUE_ID DRIFT:` does not match
|
||||||
|
# its own finding kind, and M7 - the mutation that renames `mqtt.BASE`
|
||||||
|
# - printed its verdict with NO evidence under it. A filter that
|
||||||
|
# silently drops the very finding the mutation exists to produce is a
|
||||||
|
# small version of the same defect this file is about.
|
||||||
|
if text.startswith("⚠️ ") and re.match(r"⚠️ [A-Z][A-Z _-]+[A-Z()]:",
|
||||||
|
text):
|
||||||
if text not in seen:
|
if text not in seen:
|
||||||
seen.append(text)
|
seen.append(text)
|
||||||
for text in seen:
|
for text in seen:
|
||||||
|
|||||||
Reference in New Issue
Block a user