[gHashTag]

Nightly sieve gate + nightly differential oracle for the 28 blocked ml specs. Both are .t27 cron cards per specs/crons/README.md, 1 test each, 0 vacuous. Variant 1 (lab rebuild automation) needs a CI secret and is requested separately. Refs #6488, #9065.

[github-actions]

PR Dashboard

Generated at: 2026-10-23 12:48:54 UTC

• t27c coverage: normalise qualified calls (Closes #11808) #11809 t27c coverage: normalise qualified calls (Closes #11808) | Created: 2026-10-23 | Updated: 2026-10-23 | 4 failing / 6 total
• spec(crons): two Pareto acceleration cards (Refs #6488, #9065) #11807 spec(crons): two Pareto acceleration cards (Refs #6488, #9065) | Created: 2026-10-23 | Updated: 2026-10-23 | 27 failing / 31 total
• t27c test: execute assertions via zig test (Closes #11805) #11806 t27c test: execute assertions via zig test (Closes #11805) | Created: 2026-10-23 | Updated: 2026-10-23 | 2 failing / 6 total
• spec(sieve): C9 cell TRUE now that both labs agree (Closes #8178) #11804 spec(sieve): C9 cell TRUE now that both labs agree (Closes #8178) | Created: 2026-10-23 | Updated: 2026-10-23 | 16 failing / 33 total
• fpga: petal framebuffer rasteriser starter (M5, Closes #11802) #11803 fpga: petal framebuffer rasteriser starter (M5, Closes #11802) | Created: 2026-10-23 | Updated: 2026-10-23 | 17 failing / 35 total
• lab: T27OS replaces Railway as lab host (Closes #11800) #11801 lab: T27OS replaces Railway as lab host (Closes #11800) | Created: 2026-10-23 | Updated: 2026-10-23 | 16 failing / 36 total
• tri git: make compiler/cli/git.t27 a compilable, sealed .t27 spec (Closes #11798) #11799 tri git: make compiler/cli/git.t27 a compilable, sealed .t27 spec (Closes #11798) | Created: 2026-10-23 | Updated: 2026-10-23 | 11 failing / 33 total
• spec(t27os): labs -- the master repair cycle as law (follows #11784, Refs #11783 #11038) #11797 spec(t27os): labs -- the master repair cycle as law (follows #11784, Refs #11783 #11038) | Created: 2026-10-23 | Updated: 2026-10-23 | 0 failing / 2 total
• gen: three-case emitter regression probe (Closes #11795) #11796 gen: three-case emitter regression probe (Closes #11795) | Created: 2026-10-23 | Updated: 2026-10-23 | 12 failing / 40 total
• tri git: surface commit/push/status verbs (Closes #11793) #11794 tri git: surface commit/push/status verbs (Closes #11793) | Created: 2026-10-23 | Updated: 2026-10-23 | 9 failing / 32 total
• spec(automation): service_ledger v3 -- one door settle_service for the money path #11791 spec(automation): service_ledger v3 -- one door settle_service for the money path | Created: 2026-10-23 | Updated: 2026-10-23 | 9 failing / 29 total
• fix(gates): master reds after the port-train wave -- types ratchet, seals (Refs #11038) #11786 fix(gates): master reds after the port-train wave -- types ratchet, seals (Refs #11038) | Created: 2026-10-23 | Updated: 2026-10-23 | 17 failing / 27 total
• t27f: hud + a11y_mirror -- agent-state HUD and its text mirror (Closes #10262) #11782 t27f: hud + a11y_mirror -- agent-state HUD and its text mirror (Closes #10262) | Created: 2026-10-23 | Updated: 2026-10-23 | 0 failing / 2 total
• ledger: face.t27 is t27b pass, as the lab measured #11699 ledger: face.t27 is t27b pass, as the lab measured | Created: 2026-10-22 | Updated: 2026-10-23 | 6 failing / 27 total
• dupe ledger: bless bytes_eq group (master Duplicate Body Ratchet green) #11426 dupe ledger: bless bytes_eq group (master Duplicate Body Ratchet green) | Created: 2026-10-20 | Updated: 2026-10-23 | 4 failing / 22 total
• tri queen tick: the local Queen -- P0/P1 picked, claimed on origin, run as lanes on any Mac (Closes #11415) #11420 tri queen tick: the local Queen -- P0/P1 picked, claimed on origin, run as lanes on any Mac (Closes #11415) | Created: 2026-10-20 | Updated: 2026-10-23 | 14 failing / 36 total
• gen-rust: refuse a []T struct field filled from borrowed storage (D2 of #11182, needs the ledger decision of #11218) #11231 gen-rust: refuse a []T struct field filled from borrowed storage (D2 of #11182, needs the ledger decision of #11218) | Created: 2026-10-20 | Updated: 2026-10-23 | 11 failing / 38 total
• check: refuse a module that declares a top-level name twice (Closes #10421) #10442 check: refuse a module that declares a top-level name twice (Closes #10421) | Created: 2026-10-18 | Updated: 2026-10-23 | 10 failing / 38 total
• spec(port): share tree helpers across eight gen_w ports (Closes #9633) #9636 spec(port): share tree helpers across eight gen_w ports (Closes #9633) | Created: 2026-10-15 | Updated: 2026-10-23 | 6 failing / 23 total
• gen-zig: a one-element array constant ([1]u32 = [48]) makes test-report BLOCK trinity specs/reproduce/contracts.t27 #6958 gen-zig: a one-element array constant ([1]u32 = [48]) makes test-report BLOCK trinity specs/reproduce/contracts.t27 | Created: 2026-10-06 | Updated: 2026-10-23 | 15 failing / 38 total
• A test or bench body that assigns a module-level var gets a shadowing local, so the spec does not compile #6833 A test or bench body that assigns a module-level var gets a shadowing local, so the spec does not compile | Created: 2026-10-06 | Updated: 2026-10-23 | 12 failing / 38 total
• bitwalk: --help and a missing file panic instead of printing usage or an error #6551 bitwalk: --help and a missing file panic instead of printing usage or an error | Created: 2026-10-05 | Updated: 2026-10-23 | 9 failing / 29 total
• Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-brief-shape.ts (TypeScript, 2 functions) t #4911 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-brief-shape.ts (TypeScript, 2 functions) t | Created: 2026-09-27 | Updated: 2026-10-23 | 10 failing / 29 total
• Implement the 8 empty function bodies in specs/vsa/packed_vsa.t27 #4729 Implement the 8 empty function bodies in specs/vsa/packed_vsa.t27 | Created: 2026-09-24 | Updated: 2026-10-23 | 8 failing / 29 total
• Wave 684: occlusion four deep, and the two files no list ever reached #4660 Wave 684: occlusion four deep, and the two files no list ever reached | Created: 2026-09-23 | Updated: 2026-10-23 | 17 failing / 69 total
• Capture given/when/then and render them: 6540 clauses, and 169 specs share one unfilled placeholder #4642 Capture given/when/then and render them: 6540 clauses, and 169 specs share one unfilled placeholder | Created: 2026-09-23 | Updated: 2026-10-23 | 18 failing / 81 total
• Implement part 2 of 2 of the empty bodies in specs/git/diff.t27 (7 functions) #4634 Implement part 2 of 2 of the empty bodies in specs/git/diff.t27 (7 functions) | Created: 2026-09-23 | Updated: 2026-10-23 | 18 failing / 81 total
• Port part 1 of 2 of tools/check_withdrawn_live.py to specs/port/tools/check_withdrawn_live.t27 (8 functions) #4581 Port part 1 of 2 of tools/check_withdrawn_live.py to specs/port/tools/check_withdrawn_live.t27 (8 functions) | Created: 2026-09-22 | Updated: 2026-10-23 | 17 failing / 69 total
• Implement part 2 of 2 of the empty bodies in specs/vm/jit_semantics.t27 (4 functions) #4563 Implement part 2 of 2 of the empty bodies in specs/vm/jit_semantics.t27 (4 functions) | Created: 2026-09-21 | Updated: 2026-10-23 | 17 failing / 69 total

Summary

Status	Count
Total Open PRs	29
PRs with Failing Checks	25
PRs with All Checks Green	4
READY	2
FAILING	25
PENDING	0
NO CHECKS YET	0

These columns do not partition: 2 + 25 + 0 + 0 = 27, and there are 29 open PRs. A PR is being counted twice or not at all.

Seal Status

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

[tri-claw]

Summary by t27-bees

Checked by the t27 compiler

_{t27c parse, parse-complete and typecheck on each changed .t27 file at 7766f88. Nothing was generated, built or run. A pass means the file is well formed, not that it is right.}

• specs/compiler/theory/reproducible.t27: parses and typechecks.
• specs/compiler/theory/sieve.t27: parses and typechecks.
• specs/crons/t27-differential-oracle.t27: parses and typechecks.
• specs/crons/t27-sieve-gate.t27: parses and typechecks.

Read by the model

The PR adds two nightly cron cards (sieve gate and differential oracle for 28 blocked ML specs) and updates the compiler theory specs/seals to reflect C9 (bit-identical builds) now passing after #8178 fixes. The build.rs change pins git abbreviation length to 9 chars to ensure reproducible commit IDs across clone depths.

Worth a look

• bootstrap/build.rs:114 — The git -c core.abbrev=9 rev-parse --short HEAD command assumes git supports -c flag and core.abbrev config. Older git versions (pre-2.0?) or minimal builds might not honor this, causing the bootstrap to bake a different-length abbrev than expected, breaking seal reproducibility.

• specs/compiler/theory/sieve.t27:280 — cell_t27c now returns TRUE3 for C9, but the sieve's external candidate logic (tests like t737_no_external_candidate_is_removed) assumes t27c is removed by C1, C4, C5 only. If an external candidate somehow satisfies C9 but fails others, the filter counts in t739_which_filters_fire (assert firing == 3) could become stale if new candidates are added.

• specs/compiler/theory/sieve.t27:608 — fix_issue returns 0 for C9 (issue closed), but t741_the_c9_measurement_moved_two_unknown_cells_and_nothing_else asserts fix_issue(T27C, C9) == 0. If t27c build is not reproducible: git short-sha length and CARGO_HOME path are baked into the binary (sieve C9) #8178 is reopened or a regression occurs, this test would need updating but the spec doesn't encode a reversion path.

• specs/crons/t27-differential-oracle.t27:14 — SERVICE points to .github/workflows/differential-oracle.yml which must exist in the repo. If that workflow file is missing or renamed, the cron card becomes unactionable (no runtime validation in the spec itself).

• specs/crons/t27-sieve-gate.t27:14 — Same risk: SERVICE references .github/workflows/sieve-gate.yml. If the workflow doesn't implement the sieve gate (running sieve tests + reproducible tests, failing on FALSE/vacuous), the cron card provides false confidence.

---

_{Read: 7 files, +150 -52, the whole diff. Head 7766f88. Model: openai-compatible/nvidia/nemotron-3-ultra-550b-a55b. Commands: @t27-bees review | summary | help | pause | resume. Free for every repository.}