The arm's own comment named the case it was missing

[gHashTag]

Two sections from #2871.

312 — the match arm's own comment named the case it was missing.

NodeKind::StmtForRange | NodeKind::StmtWhile | NodeKind::StmtFor => {
    // Control flow in a test block: a `for`/`while`/`if` was dropped
    // as `// (stmt: StmtForRange)`, silently voiding loop bodies that
    // accumulate assertions (t27#1948).

if is named in the sentence and is not in the arm. The cost: a top-level if in a test block became // (stmt: StmtIf), so the accumulator flag was set true and never set false — the test could not fail and reported PASSED. When a comment enumerates cases, that list is checkable against the pattern above it in one glance.

313 — two probes disagreed and the first one was mine. My first check of that finding read lucas_accumulator.t27, found the if fully emitted, and I nearly recorded the report as not reproducing. It was reproducing — in posit_ladder_control.t27, where the if sits at the top level of the test body; in lucas_accumulator it is nested inside a while, which routes through a path that handles it.

The claim said top-level if. I tested an if. When a report names a position, the position is part of the claim — and getting it wrong costs more than a missed defect: it produces a confident refutation of a true finding.

Refs #2871

[github-actions]

📓 NotebookLM Notebook linked to this PR

• Notebook ID: b83263109fb055dc
• URL: https://notebooklm.google.com/notebook/b83263109fb055dc

This notebook contains session context, decisions, and artifacts for this work.

[github-actions]

PR Dashboard

Generated at: 2026-08-29 19:26:34 UTC

• The arm's own comment named the case it was missing #2872 The arm's own comment named the case it was missing | Created: 2026-08-29 | Updated: 2026-08-29 | 10 failing / 22 total
• 213 seals record no generation, and every check reads them as healthy #2865 213 seals record no generation, and every check reads them as healthy | Created: 2026-08-29 | Updated: 2026-08-29 | 3 failing / 33 total
• Land the formal verification harness on master (it has never run) #2727 Land the formal verification harness on master (it has never run) | Created: 2026-08-27 | Updated: 2026-08-27 | 5 failing / 24 total
• chore(deps)(deps): bump thiserror from 2.0.18 to 2.0.20 #2693 chore(deps)(deps): bump thiserror from 2.0.18 to 2.0.20 | Created: 2026-08-24 | Updated: 2026-08-28 | 3 failing / 34 total
• chore(deps)(deps): bump hyper from 1.10.1 to 1.11.0 #2692 chore(deps)(deps): bump hyper from 1.10.1 to 1.11.0 | Created: 2026-08-24 | Updated: 2026-08-28 | 3 failing / 33 total
• chore(deps)(deps): bump base64 from 0.22.1 to 0.23.1 #2691 chore(deps)(deps): bump base64 from 0.22.1 to 0.23.1 | Created: 2026-08-24 | Updated: 2026-08-28 | 3 failing / 34 total
• chore(deps)(deps): bump serde from 1.0.228 to 1.0.229 #2690 chore(deps)(deps): bump serde from 1.0.228 to 1.0.229 | Created: 2026-08-24 | Updated: 2026-08-28 | 3 failing / 34 total
• chore(deps)(deps): bump uuid from 1.23.2 to 1.25.0 #2689 chore(deps)(deps): bump uuid from 1.23.2 to 1.25.0 | Created: 2026-08-24 | Updated: 2026-08-28 | 3 failing / 34 total
• Unbreak FPGA CI and correct two unbacked hardware claims #2081 Unbreak FPGA CI and correct two unbacked hardware claims | Created: 2026-08-11 | Updated: 2026-08-20 | 5 failing / 27 total

Summary

Status	Count
Total Open PRs	9
PRs with Failing Checks	8
PRs with All Checks Green	1
READY	0
FAILING	8
PENDING	0

Seal Status

• ⚠️ STALE -- sha256(compiler.rs)=6e3be54a2bd0 != manifest seal=87e5cbd3ad94.
  The committed NMSE numbers were certified against an older compiler.rs.
  Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).