warmup_t27b.t27 still names Verdict after #8231: master spec-guards red #8237

Problem

#8231 renamed Verdict to WarmupVerdict in specs/compiler/theory/warmup.t27. But specs/compiler/theory/warmup_t27b.t27 imports that module (use compiler::theory::warmup) and still uses Verdict at lines 1623, 1645 and 1676. It no longer compiles: spec.zig:32:14: error: use of undeclared identifier 'Verdict'.

As a result, master spec-guards is red (run 37950996119): warmup_t27b.t27: head 1000000, base 0. #8231's message said all uses were in one file. That was wrong: the importer was missed.

Acceptance criteria

• t27c test-report specs/compiler/theory/warmup_t27b.t27 prints FAIL 0 with 0 vacuous passes
• master spec-guards no longer reports warmup_t27b.t27 as 1000000 failing

Boundary

specs/compiler/theory/warmup_t27b.t27

User Scenarios

• Given the spec specs/compiler/theory/warmup_t27b.t27 imports compiler::theory::warmup and references Verdict at lines 1623, 1645, and 1676, and the upstream module renamed Verdict to WarmupVerdict, when running t27c test-report specs/compiler/theory/warmup_t27b.t27, then the compilation fails with use of undeclared identifier 'Verdict'.

Requirements

• FR-001: The identifiers Verdict at lines 1623, 1645, and 1676 in specs/compiler/theory/warmup_t27b.t27 MUST be replaced with WarmupVerdict to match the exported name from compiler::theory::warmup.

Success Criteria

• t27c test-report specs/compiler/theory/warmup_t27b.t27 prints FAIL 0 with 0 vacuous passes and exits 0
• master spec-guards no longer reports warmup_t27b.t27 as 1000000 failing