Corpus ratchet: warmup.t27 gave the type name Verdict a fifth definition (#8182) #8230

Problem

"Corpus ratchet (expected-failure ledger)" fails with ledger 85 name(s), observed 86 and + Verdict NEW conflict. It fails on every PR since #8182 (31b6106), which made specs/compiler/theory/warmup.t27:65 define pub const Verdict = struct.

Verdict was already defined in three other specs:

• specs/port/bootstrap/src/parse_conform.t27
• specs/port/scripts/tri_loop/t27b_rules.t27
• specs/test_framework/core.t27

A type name with two definitions has no computable domain size (#2774).

Fix

Rename the type in warmup.t27 to WarmupVerdict. Its nine uses are all inside that file. Do not add Verdict to docs/reports/type_conflicts_classified.json: that would accept the conflict.

Acceptance criteria

• t27c test-report specs/compiler/theory/warmup.t27 prints FAIL 0 with 0 vacuous passes after the rename
• the Corpus ratchet step reports the ledger and observed counts equal

Boundary

specs/compiler/theory/warmup.t27

User Scenarios

• Given the corpus ratchet runs on the codebase, When the type Verdict is defined in four specs including specs/compiler/theory/warmup.t27, Then the ratchet fails with "ledger 85 name(s), observed 86" and reports a new conflict for Verdict.

Requirements

• FR-001: The type Verdict in specs/compiler/theory/warmup.t27 MUST be renamed to WarmupVerdict.
• FR-002: All nine uses of Verdict within specs/compiler/theory/warmup.t27 MUST be updated to WarmupVerdict.
• FR-003: The file docs/reports/type_conflicts_classified.json MUST NOT be modified to accept the Verdict conflict.

Success Criteria

• t27c test-report specs/compiler/theory/warmup.t27 prints FAIL 0 with 0 vacuous passes and exits 0.
• The Corpus ratchet step reports ledger and observed counts equal (both 85) and exits 0.