spec(t27os): an identical t27b leg on redispatch is a success, not a red (Closes #12293) by gHashTag · Pull Request #12294 · Trinity-S-AI-DNA/t27

gHashTag · 2026-10-25T06:15:08Z

Closes #12293. Refs Trinity-S-AI-DNA/t27os#3.

The t27b leg file is named by the sha alone (runs/<sha>.t27b.txt), so a lab redispatch of a sha writes the same bytes t27os master already holds. git add stages nothing, and the bare git commit exits 1 under bash -e. Lab run 40166771453 (68899a6, second dispatch) went red that way after both its tests and the t27b leg had passed. Night tick 157 hit the same red.

SAME_LEG = git diff --cached --quiet && exit 0 now stands before the staging commit and again before the commit on fresh master (a racing publisher can land the same bytes between the two).
T27B_PUBLISH_40166771453 keeps the measured step as the negative control.
New test an_identical_t27b_leg_is_a_success_not_a_red; publish_ok still holds.

Verification

t27c per-test report: 6/6 pass, 0 vacuous (new test: 6 runtime asserts).
t27b: the t27os lab leg is queued after the run in flight. This PR stays a draft until the receipt runs/74dc739e78*.json shows it green.

After merge, TRI CLAW (or a night tick) copies the new step text into t27os lab.yml.

🤖 Generated with Claude Code

…red (Closes #12293; Refs Trinity-S-AI-DNA/t27os#3) The t27b leg file is named by the sha alone, so a redispatch writes the bytes t27os master already holds; `git add` stages nothing and the bare `git commit` exits 1 under bash -e. Lab run 40166771453 (68899a6, second dispatch) went red that way after its tests passed. SAME_LEG (`git diff --cached --quiet && exit 0`) now stands before the staging commit and before the commit on fresh master. The step of run 40166771453 is kept as the negative control. t27c: 6/6, 0 vacuous. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-25T06:19:37Z

PR Dashboard

Generated at: 2026-10-25 06:19:18 UTC

spec(t27f): petal A ISA interactive visualization (Closes #12295, Refs #12173) #12299 spec(t27f): petal A ISA interactive visualization (Closes #12295, Refs #12173) | Created: 2026-10-25 | Updated: 2026-10-25 | 31 failing / 35 total
spec(t27os): an identical t27b leg on redispatch is a success, not a red (Closes #12293) #12294 spec(t27os): an identical t27b leg on redispatch is a success, not a red (Closes #12293) | Created: 2026-10-25 | Updated: 2026-10-25 | 30 failing / 36 total
spec(t27f): petal W WIDGETS interactive visualization (Closes #12291, Refs #12173) #12292 spec(t27f): petal W WIDGETS interactive visualization (Closes #12291, Refs #12173) | Created: 2026-10-25 | Updated: 2026-10-25 | 24 failing / 35 total
spec(t27f): petal V VERDICTS interactive visualization (Closes #12289, Refs #12173) #12290 spec(t27f): petal V VERDICTS interactive visualization (Closes #12289, Refs #12173) | Created: 2026-10-25 | Updated: 2026-10-25 | 16 failing / 37 total
test(analog): raw_writer mutation test gaps A-D closed, gate passed (Closes #12273) #12288 test(analog): raw_writer mutation test gaps A-D closed, gate passed (Closes #12273) | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 37 total
spec(t27os): t27b leg prints why a count is missing (Refs #12219) #12285 spec(t27os): t27b leg prints why a count is missing (Refs #12219) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 40 total
spec(t27os): petal S SPECS page in the glass window (Closes #12199) #12284 spec(t27os): petal S SPECS page in the glass window (Closes #12199) | Created: 2026-10-25 | Updated: 2026-10-25 | 19 failing / 34 total
docs(t27f): VIZ-PETAL-GUIDE -- how to add the visualization for one more petal (Refs #12173) #12282 docs(t27f): VIZ-PETAL-GUIDE -- how to add the visualization for one more petal (Refs #12173) | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 30 total
fpga(wasm_module): load a whole .wasm image: LEB128 pairs, section walk, function table, exports, data segments (Closes #12201) #12278 fpga(wasm_module): load a whole .wasm image: LEB128 pairs, section walk, function table, exports, data segments (Closes #12201) | Created: 2026-10-25 | Updated: 2026-10-25 | 1 failing / 46 total
fpga(wasm_fb): a 320x200 palette framebuffer in the video raster, and frame_main that writes each run's frame to a PPM (Closes #12203) #12270 fpga(wasm_fb): a 320x200 palette framebuffer in the video raster, and frame_main that writes each run's frame to a PPM (Closes #12203) | Created: 2026-10-25 | Updated: 2026-10-25 | 1 failing / 46 total
feat(t27os): DOCTOR watches agent litter, in-use folders and low disk; CLAUDE.md where t27 work lives #12188 feat(t27os): DOCTOR watches agent litter, in-use folders and low disk; CLAUDE.md where t27 work lives | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 36 total
spec(fpga): wasm board P5 -- float arithmetic on the words (0x92/0x93/0x94, the truncation floor) #12181 spec(fpga): wasm board P5 -- float arithmetic on the words (0x92/0x93/0x94, the truncation floor) | Created: 2026-10-25 | Updated: 2026-10-25 | 5 failing / 45 total
bees README: the 2026-10-25 key and model probe matrix #12177 bees README: the 2026-10-25 key and model probe matrix | Created: 2026-10-25 | Updated: 2026-10-25 | 1 failing / 33 total
spec(tri): preflight -- the nine local gates as one command before a push (#11783) #12175 spec(tri): preflight -- the nine local gates as one command before a push (#11783) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 46 total
t27b(wasm): M-D -- and/or/xor/shl/shr lower; the law's floor 13 (Refs #11983 #11840 Trinity-S-AI-DNA/t27os#3) #12172 t27b(wasm): M-D -- and/or/xor/shl/shr lower; the law's floor 13 (Refs #11983 #11840 Trinity-S-AI-DNA/t27os#3) | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 2 total
crons: the trinity auto-merge card -- ten-minute sweep, dispatch half live, merge half waiting for the bee #12169 crons: the trinity auto-merge card -- ten-minute sweep, dispatch half live, merge half waiting for the bee | Created: 2026-10-25 | Updated: 2026-10-25 | 6 failing / 45 total
spec(fpga): wasm board P6 -- the 64-bit datapath design floor (STACK_2x32, OP_RUN_USER64) #12167 spec(fpga): wasm board P6 -- the 64-bit datapath design floor (STACK_2x32, OP_RUN_USER64) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 46 total
fpga(wasm): block/loop/br/br_if/br_table and the label stack in the board cell -- scan submachine, fuel guard, five baked control-flow programs (Closes #12010) #12061 fpga(wasm): block/loop/br/br_if/br_table and the label stack in the board cell -- scan submachine, fuel guard, five baked control-flow programs (Closes #12010) | Created: 2026-10-24 | Updated: 2026-10-25 | 1 failing / 44 total
fpga(wasm): the 24 single-clock i32 ALU opcodes have one home -- alu_arity/alu_eval in the cell, the table oracle calls them (Closes #12011) #12060 fpga(wasm): the 24 single-clock i32 ALU opcodes have one home -- alu_arity/alu_eval in the cell, the table oracle calls them (Closes #12011) | Created: 2026-10-24 | Updated: 2026-10-25 | 1 failing / 45 total
t27b(wasm): the emitter deletes -- build --target wasm32 runs on the law alone (rebased on floors 12-16, 98/98) #12044 t27b(wasm): the emitter deletes -- build --target wasm32 runs on the law alone (floors 1-11, 67/67) | Created: 2026-10-24 | Updated: 2026-10-25 | 7 failing / 50 total
T27 OS: calls, chat, cabinet, LAN self-update, H.264 30 fps video, IPv6 calls and reach U1-U2 (Closes #12034) #12035 T27 OS: calls, chat, cabinet, LAN self-update, H.264 30 fps video, IPv6 calls and reach U1-U2 (Closes #12034) | Created: 2026-10-24 | Updated: 2026-10-24 | 7 failing / 37 total
spec(widgets): analog-v01-acceptance, the SAR ADC acceptance scoreboard of t27 analog v0.1 as a spec-generated widget (Refs #11972) #12025 spec(widgets): analog-v01-acceptance, the SAR ADC acceptance scoreboard of t27 analog v0.1 as a spec-generated widget (Refs #11972) | Created: 2026-10-24 | Updated: 2026-10-24 | 5 failing / 40 total
t27f: live_chat -- talk to the Queen on the live screen, tokens over the one wire (Closes #12006) #12013 t27f: live_chat -- talk to the Queen on the live screen, tokens over the one wire (Closes #12006) | Created: 2026-10-24 | Updated: 2026-10-24 | 4 failing / 39 total
gen-rust: E0381 undefined-array zero-init -- one emission copy (Refs #5980) #12004 gen-rust: E0381 undefined-array zero-init -- one emission copy (Refs #5980) | Created: 2026-10-24 | Updated: 2026-10-24 | 8 failing / 51 total
spec(t27os): hive canvas render-path tests (t27os#19 criterion 1) #11948 spec(t27os): hive canvas render-path tests (t27os#19 criterion 1) | Created: 2026-10-24 | Updated: 2026-10-24 | 2 failing / 37 total
test(t27f): frame_render clears the raster before it blends (Refs #3) #11922 test(t27f): frame_render clears the raster before it blends (Refs #3) | Created: 2026-10-23 | Updated: 2026-10-24 | 4 failing / 28 total
spec(crons): the lab.yml verdict step as t27 law (t27os#9) #11894 spec(crons): the lab.yml verdict step as t27 law (t27os#9) | Created: 2026-10-23 | Updated: 2026-10-23 | 8 failing / 33 total
spec(crons): the lab.yml encoder step as t27 law -- M6 only, distro ffmpeg first, never fatal (Refs #11873) #11891 spec(crons): the lab.yml encoder step as t27 law -- M6 only, distro ffmpeg first, never fatal (Refs #11873) | Created: 2026-10-23 | Updated: 2026-10-23 | 4 failing / 29 total
fix(specs): lt_s, sar32, digit_byte import their originals -- master duplicate-bodies green (Closes #11885) #11886 fix(specs): lt_s, sar32, digit_byte import their originals -- master duplicate-bodies green (Closes #11885) | Created: 2026-10-23 | Updated: 2026-10-25 | 13 failing / 42 total
queen: local dispatch pure-logic starter (t27#11811) #11812 queen: local dispatch pure-logic starter (t27#11811) | Created: 2026-10-23 | Updated: 2026-10-24 | 7 failing / 45 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-24 | 7 failing / 57 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-24 | 7 failing / 45 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-24 | 7 failing / 45 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-24 | 4 failing / 41 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-24 | 3 failing / 47 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-24 | 6 failing / 40 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

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	39
PRs with All Checks Green	11
READY	5
FAILING	39
PENDING	0
NO CHECKS YET	0

These columns do not partition: 5 + 39 + 0 + 0 = 44, and there are 50 open PRs. A PR is being counted twice or not at all.

Seal Status

⚠️ STALE -- sha256(compiler.rs)=55c0f1b1b32d != 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 · 2026-10-25T07:44:16Z

Night tick 172: lab dispatched on 74dc739 (run 40173880388, challenge d07dd24b2baee034, specs/t27os/lab_publish.t27). Receipt lands at Trinity-S-AI-DNA/t27os runs/74dc739e7825c21529d1650ce7d4ab3fd2cd8888.*.json.

gHashTag · 2026-10-25T08:16:21Z

Lab receipt (night tick 175): Trinity-S-AI-DNA/t27os runs/74dc739e7825c21529d1650ce7d4ab3fd2cd8888.79ce3da9.json, run 40173880388.
t27c leg: specs/t27os/lab_publish.t27 tests=6 pass=6 FAIL=0 vacuous=0 blocked=0 (ok=true, asked 1, reported 1).
t27b leg: job still running at 08:16Z; undraft waits for it.

gHashTag · 2026-10-25T08:27:37Z

Lab t27b leg (night tick 176): Trinity-S-AI-DNA/t27os runs/74dc739e7825c21529d1650ce7d4ab3fd2cd8888.t27b.txt (commit f1f5f80), run 40173880388.
t27b leg: specs/t27os/lab_publish.t27 tests=6 pass=6 FAIL=0 vacuous=0 asserts=29
t27c leg (receipt 79ce3da9): tests=6 pass=6 FAIL=0 vacuous=0 blocked=0
Both compilers green on this head; undrafting.

tri-claw · 2026-10-25T09:03:14Z

Summary by t27-bees

Checked by the t27 compiler

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

specs/t27os/lab_publish.t27: parses and typechecks.

Read by the model

The change adds a git diff --cached --quiet && exit 0 guard in two places in the t27b publish step so that a redispatch writing an identical leg file (named by SHA alone) succeeds instead of failing on "nothing added to commit" under bash -e. The guard appears before the staging commit and again in the retry loop on fresh master to handle a racing publisher landing the same bytes between the two commits.

Worth a look

specs/t27os/lab_publish.t27:58 — The first SAME_LEG guard exits the entire step with success when git add stages nothing. If the runner's HEAD already has the leg file (e.g., from a prior partial run), the step succeeds without ever verifying the file is actually on origin/master. The second guard in the retry loop covers the race, but the first guard may declare success against a stale local HEAD.
specs/t27os/lab_publish.t27:67 — The second SAME_LEG guard runs after git checkout "$rcpt" -- runs/<sha>.t27b.txt on a fresh origin/master. If the checkout stages the file (because it differs from master) but the content is byte-identical to what master already has, git diff --cached --quiet correctly returns 0 and exits success. However, if the checkout stages nothing because the file is already present in the working tree from a previous loop iteration, the guard would also exit success — but the loop re-creates the branch each iteration (-B receipt), so the working tree is clean at that point.
specs/t27os/lab_publish.t27:123–135 — The new test asserts exact string containment including newlines and indentation. If the YAML template is reformatted (e.g., different indentation in the heredoc), the test will fail even if the semantics are unchanged.

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

gHashTag marked this pull request as ready for review October 25, 2026 08:27

gHashTag merged commit 730a9f3 into master Oct 25, 2026
38 checks passed

gHashTag mentioned this pull request Oct 25, 2026

t27os lab: an identical t27b leg on redispatch turns the publish step red #12293

Closed

gHashTag deleted the night/165-t27b-publish-idem branch October 26, 2026 03:42

Navigation Menu

Repository navigation

spec(t27os): an identical t27b leg on redispatch is a success, not a red (Closes #12293) - #12294

spec(t27os): an identical t27b leg on redispatch is a success, not a red (Closes #12293)#12294
gHashTag merged 1 commit into
masterfrom
night/165-t27b-publish-idem

gHashTag commented Oct 25, 2026

Uh oh!

github-actions Bot commented Oct 25, 2026

Uh oh!

gHashTag commented Oct 25, 2026

Uh oh!

gHashTag commented Oct 25, 2026

Uh oh!

gHashTag commented Oct 25, 2026

Uh oh!

tri-claw Bot commented Oct 25, 2026

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

gHashTag commented Oct 25, 2026

Uh oh!

github-actions Bot commented Oct 25, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

gHashTag commented Oct 25, 2026

Uh oh!

gHashTag commented Oct 25, 2026

Uh oh!

gHashTag commented Oct 25, 2026

Uh oh!

tri-claw Bot commented Oct 25, 2026

Summary by t27-bees

Checked by the t27 compiler

Read by the model

Worth a look

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant