ci(corpus-ratchet): run t27c's 1221 tests, which had never run on master

[gHashTag]

Closes #2289
Closes #2288

The defect

Eight workflows on origin/master run cargo build --release -p t27c. cargo build does not compile #[cfg(test)] modules. So all 1221 tests in the compiler crate were unbuilt and unrun on the branch that gates merges.

.github/workflows/formal-yosys.yml:899 does run cargo test -p t27c --release — but that file has never landed on master:

$ git cat-file -e origin/master:.github/workflows/formal-yosys.yml
fatal: path '.github/workflows/formal-yosys.yml' exists on disk, but not in 'origin/master'

A gate that exists only on a feature branch gates nothing. On origin/master the only cargo test invocations are cargo test -p tri (cli-tri.yml) and rings-rust.yml's ring-*-rust matrix, which never matches t27c.

Measured before landing

cargo test -p t27c --no-run    exit 0   0 errors   51.15s   22 test executables
cargo test -p t27c             exit 0   1221 passed; 0 failed; 0 ignored
cargo test -p t27c --release   exit 0   1221 passed; 0 failed; 0 ignored

All pass, so this lands as a plain gate, not a ratchet. A ratchet over an all-green baseline is strictly worse: it adds a file to maintain while ceasing to detect the first regression it exists for.

The change (2 files, +144 / -1)

1. One step in corpus-ratchet.yml, placed directly after the existing Build t27c so the crate is already compiled and the marginal cost is only the test targets. That workflow was chosen over the other seven because it already runs on pull_request and push to master, already caches cargo with target/ in the key, and has a 45-minute ceiling against a ~314s job.

2. Scopes the pre-existing Explain a failure step to steps.ratchet.outcome == 'failure'. It was a bare failure(); with a test step above it, a failing Rust unit test would print "add an entry to docs/reports/suite_expectations.json" — sending the reader to bless a corpus expectation for a defect that is not in the corpus. A new Explain a unit-test failure step covers the other case and says explicitly that it is not the ratchet.

Verification

• The step body was run verbatim, extracted from the parsed YAML: exit 0, 1221 passed, 0 failed, 0 ignored across 22 test binaries.
• The gate bites. A shape-identical harness confirms non-zero exit when the test command fails (101), zero when it passes, and no false-fail when grep -c matches nothing. This is a shell-level proxy — no test was edited to force a real red run.
• YAML parses under PyYAML (8 steps, ordering and if: conditions asserted); both new run: bodies pass bash -n.
• git diff --numstat origin/master -- docs/NOW.md → 77 0 (zero removed lines); ^# NOW count 133 → 134; no conflict markers.

Coverage this does NOT provide

913 #[test] attributes live in bootstrap/src; 895 compile into this run. The missing 18 are named in the workflow comment and printed to the step summary, so a green tick is not misread as "every test in bootstrap/src ran":

• bootstrap/src/math_compare.rs — 10 tests, compiled by nothing. No mod math_compare; exists in the crate, so rustc never opens the file (one of 8 orphan .rs files in bootstrap/src, and the only one with tests). Built standalone it is 9 pass / 1 fail: test_hybrid_v2_plateau asserts |n152 - n20| < 1e-9 while the file's own GOLDEN_V2 records values 2.100e-9 apart. Independent recomputation reproduces the goldens exactly, so the test is wrong, not the implementation. It was not adjusted and not wired in — wiring it in today would land this gate red. Filed as bootstrap/src/math_compare.rs is compiled by nothing; its plateau test contradicts its own goldens #2290.
• bootstrap/src/proxy.rs:326 — 8 tests behind #[cfg(all(test, feature = "server"))]. No workflow passes --features server, so they are stripped before type-checking.

Not fixed here

bootstrap/Cargo.toml's [profile.release] (opt-level=3, lto=true, codegen-units=1, strip=true) is silently discarded — the workspace root Cargo.toml has no [profile] section, so cargo prints warning: profiles for the non root package will be ignored on every invocation. Every cargo build --release -p t27c across 8+ workflows ships a non-LTO, non-stripped binary. Real and unfixed: changing it changes the binary every workflow produces, which is not a change to smuggle into a CI-gate PR. Recorded in #2289.

[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-20 03:56:58 UTC

• ci(corpus-ratchet): run t27c's 1221 tests, which had never run on master #2291 ci(corpus-ratchet): run t27c's 1221 tests, which had never run on master | Created: 2026-08-20 | Updated: 2026-08-20 | 13 failing / 18 total
• ci: eleven merge-critical gates were silent on stacked PRs #2169 ci: eleven merge-critical gates were silent on stacked PRs | Created: 2026-08-14 | Updated: 2026-08-14 | 5 failing / 30 total
• corpus: freeze the damage, patch one class at a time, and say where one rule stops #2161 corpus: freeze the damage, patch one class at a time, and say where one rule stops | Created: 2026-08-14 | Updated: 2026-08-20 | 0 failing / 9 total
• tri triage: five ordered classes, and blocked is tested before actionable (#2156) #2157 tri triage: five ordered classes, and blocked is tested before actionable (#2156) | Created: 2026-08-14 | Updated: 2026-08-14 | 0 failing / 17 total
• parser: nesting decides the separator, never the terminator (#2127) #2151 parser: nesting decides the separator, never the terminator (#2127) | Created: 2026-08-14 | Updated: 2026-08-14 | 2 failing / 26 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
• feat(igla): Wave Loop 898 — module-scope [615][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1900 feat(igla): Wave Loop 898 — module-scope [615][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
• chore: civilian mesh positioning — drop drone wording (bpsk.t27) #1874 chore: civilian mesh positioning — drop drone wording (bpsk.t27) | Created: 2026-08-07 | Updated: 2026-08-07 | 2 failing / 25 total
• feat(igla): Wave Loop 897 — module-scope [613][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1858 feat(igla): Wave Loop 897 — module-scope [613][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
• feat(igla): Wave Loop 896 — module-scope [611][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1856 feat(igla): Wave Loop 896 — module-scope [611][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
• feat(igla): Wave Loop 895 — module-scope [609][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1854 feat(igla): Wave Loop 895 — module-scope [609][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
• feat(igla): Wave Loop 894 — module-scope [607][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1852 feat(igla): Wave Loop 894 — module-scope [607][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
• feat(igla): Wave Loop 893 — module-scope [605][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1850 feat(igla): Wave Loop 893 — module-scope [605][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
• feat(igla): Wave Loop 892 — module-scope [603][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1847 feat(igla): Wave Loop 892 — module-scope [603][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
• feat(igla): Wave Loop 891 — module-scope [601][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1844 feat(igla): Wave Loop 891 — module-scope [601][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 0 failing / 4 total
• feat(igla): Wave Loop 890 — module-scope [599][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1842 feat(igla): Wave Loop 890 — module-scope [599][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 0 failing / 4 total
• feat(igla): Wave Loop 883 — module-scope [585][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1815 feat(igla): Wave Loop 883 — module-scope [585][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 1 total
• feat(igla): Wave Loop 882 — module-scope [583][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1813 feat(igla): Wave Loop 882 — module-scope [583][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 12 total
• feat(igla): Wave Loop 881 — module-scope [581][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1810 feat(igla): Wave Loop 881 — module-scope [581][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 12 total

Summary

Status	Count
Total Open PRs	19
PRs with Failing Checks	4
PRs with All Checks Green	15
READY	7
FAILING	4
PENDING	0

Seal Status

• ⚠️ STALE -- sha256(compiler.rs)=cbbfac87dff3 != 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).

[gHashTag]

This went red on its first run on master and is being removed in #2293.

The "1221 passed, 0 failed" measurement was real but was taken in a working tree checked out at feat/wave-547/host-heapsort, not master. That branch's bootstrap/src/compiler.rs is 22,142 lines against master's 36,970. On master the same command is 1602 passed, 13 failed, 2 ignored: https://github.com/gHashTag/t27/actions/runs/32330080992

The 13 failing test names and the plan to re-land this as a ratchet are in #2292. #2288 and #2289 are reopened.