lab: T27OS replaces Railway as lab host (Closes #11800) by gHashTag · Pull Request #11801 · Trinity-S-AI-DNA/t27

gHashTag · 2026-10-23T12:39:18Z

Owner decision 2026-10-23 (t27os#3): the t27b lab runs inside T27OS instead of Railway. labs.t27 names T27OS as primary host (Railway read-only fallback); receipt.t27 adds T27OS_LAB_URL (primary once served) while keeping LAB_URL (Railway fallback). Refs #11800 (the spec law lands here; the tri-git host glue lands via #5980 -- owner-approved-foreign patch series, 2026-10-26).

github-actions · 2026-10-23T12:40:03Z

PR Dashboard

Generated at: 2026-10-23 12:39:58 UTC

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 | 25 failing / 29 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 | 13 failing / 32 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 | 5 failing / 28 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	24
PRs with Failing Checks	22
PRs with All Checks Green	2
READY	2
FAILING	22
PENDING	0
NO CHECKS YET	0

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 · 2026-10-23T12:45:34Z

Summary by t27-bees

Checked by the t27 compiler

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

compiler/cli/git.t27: parses and typechecks.
specs/t27os/labs.t27: parses and typechecks.
specs/tri/lab/receipt.t27: parses and typechecks.

Read by the model

This PR migrates the t27b lab from Railway to T27OS as primary host (with Railway as read-only fallback). It introduces a new tri git command with skill-gated commit/push/status, backed by a new git_commands spec and generated tri_workflow gate logic. The spec implementation is largely stubbed out, delegating to host externs implemented in cli/tri/src/git.rs.

Worth a look

cli/tri/src/git.rs:12-18 — active cell count uses matches("\"state\":") minus matches("\"sealed\"") on raw JSON text, not parsed structure. This will miscount if those strings appear in other fields (e.g., last_state, sealed_at), causing incorrect push-gate decisions.
cli/tri/src/git.rs:10-11 — Reads .trinity/state/active-skill.json with unwrap_or_default(); missing file yields empty string, making present=false and issue="". Commit gate then fails with EXIT_NO_SKILL silently (no error message), which may confuse users.
cli/tri/src/git.rs:27 — git rev-parse --abbrev-ref HEAD output is converted with String::from_utf8_lossy but no check for command failure; on failure o is None, yielding empty branch name and likely a confusing git push error.
compiler/cli/git.t27:86-87 — find_active_or_sealed_skill and find_last_sealed_skill now unconditionally return null. Any spec logic depending on these (e.g., push gate's sealed check) will receive null skill, potentially bypassing skill-based guards.
compiler/cli/git.t27:133-138 — intToStr stub only returns correct strings for 0, 7, 42; all other integers become "0". If this function is ever called from generated code paths (e.g., status summary counts), it will produce wrong output.

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

gHashTag · 2026-10-23T15:43:19Z

🔬 The T27 OS lab (workflow_dispatch, t27os repo — no Railway) was dispatched on this PR's head with its touched specs. The receipt lands in Trinity-S-AI-DNA/t27os runs/<sha>.*.json — read it before merging; a red line there is a real finding, not noise (the lab's wasm32 step caught a sha256 defect on master tonight — epic #11840).

gHashTag · 2026-10-23T16:02:51Z

gHashTag · 2026-10-23T16:07:31Z

🔬 T27 OS lab receipt for this head: runs/b271325141935b38a061c89f9950ec3e9cb0d94b.1be143e5.json (challenge sha256 1be143e5) — per-spec results from the receipt summary:

specs/t27os/labs.t27|tests=4|pass=4|FAIL=0|vacuous=0|blocked=0

All green: 4/4 tests pass, 0 failures, 0 vacuous, 0 blocked.

gHashTag · 2026-10-26T02:20:06Z

Queue-drain triage (owner merge campaign, 2026-10-26): the rebase onto today's master completes cleanly, but committing it now trips the foreign-budget gate -- this PR adds more than the 40-per-file / 80-per-PR cap of hand-written foreign glue (cli/tri/src/*), and no label lifts that cap (owner rule 2026-10-07, #7371). Left open: the glue needs to start as a .t27 spec with t27c gen output before this can land. Not merged, not closed -- the work itself is wanted, the form is not legal yet.

…orkflow.t27 (Closes #11793)

…loses #11798) census bless: tools/census/fetches.txt files-read 49 -> 50 (the new gh fetch use in compiler/cli/git.t27)

…patch series); the spec law travels here

…; the queen dispatch spec travels here

github-actions · 2026-10-26T03:40:11Z

PR Dashboard

Generated at: 2026-10-26 03:40:00 UTC

tri: the git host glue -- commit/push/status verbs over the git.t27 law, label landing (Refs #11800 #11798 #5980) #12616 tri: the git host glue -- commit/push/status verbs over the git.t27 law, label landing (Refs #11800 #11798 #5980) | Created: 2026-10-26 | Updated: 2026-10-26 | 30 failing / 34 total
crons: the queue health report -- hourly one-screen truth (Closes #12613) #12615 crons: the queue health report -- hourly one-screen truth (Closes #12613) | Created: 2026-10-26 | Updated: 2026-10-26 | 34 failing / 38 total
gen-rust: refuse a []T struct field filled from borrowed storage -- D2 glue, label landing (Refs #11182 #11218 #5980) #12614 gen-rust: refuse a []T struct field filled from borrowed storage -- D2 glue, label landing (Refs #11182 #11218 #5980) | Created: 2026-10-26 | Updated: 2026-10-26 | 38 failing / 42 total
ci: auto-merge-ready-prs sweep cancels in progress (Refs #12606) #12611 ci: auto-merge-ready-prs sweep cancels in progress (Refs #12606) | Created: 2026-10-26 | Updated: 2026-10-26 | 26 failing / 29 total
spec(t27b): wasm floor 18 -- the LOCALS MOUNT, statement bodies lower beside floor 17 (Refs #12148 #12378) #12610 spec(t27b): wasm floor 18 -- the LOCALS MOUNT, statement bodies lower beside floor 17 (Refs #12148 #12378) | Created: 2026-10-26 | Updated: 2026-10-26 | 29 failing / 38 total
docs(analog): the external team's company name leaves the skill and the competitor note (Closes #12608) #12609 docs(analog): the external team's company name leaves the skill and the competitor note (Closes #12608) | Created: 2026-10-26 | Updated: 2026-10-26 | 24 failing / 30 total
spec(queen): lab leg (build, test, seal) as supervised actor messages, tags 22..24 (Refs #12602) #12607 spec(queen): lab leg (build, test, seal) as supervised actor messages, tags 22..24 (Refs #12602) | Created: 2026-10-26 | Updated: 2026-10-26 | 27 failing / 36 total
spec(crons): SELF-CRITICAL close records where content lives (Refs #12396) #12605 spec(crons): SELF-CRITICAL close records where content lives (Refs #12396) | Created: 2026-10-26 | Updated: 2026-10-26 | 27 failing / 36 total
crons: the PR queue drain -- update-branch + arm auto-merge every ten minutes (Closes #12603) #12604 crons: the PR queue drain -- update-branch + arm auto-merge every ten minutes (Closes #12603) | Created: 2026-10-26 | Updated: 2026-10-26 | 20 failing / 40 total
seal: reseal crons_t27os-night-loop after #12414 (Refs #12412) #12599 seal: reseal crons_t27os-night-loop after #12414 (Refs #12412) | Created: 2026-10-26 | Updated: 2026-10-26 | 23 failing / 29 total
spec(t27os): lab_legs names the scheduled run's specs through one fallback (Closes #12469) #12472 spec(t27os): lab_legs names the scheduled run's specs through one fallback (Closes #12469) | Created: 2026-10-25 | Updated: 2026-10-26 | 7 failing / 38 total
t27b(wasm): floor 17 -- the LOCALS MOUNT (statement bodies lower, fact word 11 feeds the walk) #12378 t27b(wasm): floor 17 -- the LOCALS MOUNT (statement bodies lower, fact word 11 feeds the walk) | Created: 2026-10-25 | Updated: 2026-10-26 | 3 failing / 46 total
fix(gen-verilog): a cast to a wider integer widens the Verilog expression (Closes #12296) #12338 fix(gen-verilog): a cast to a wider integer widens the Verilog expression (Closes #12296) | Created: 2026-10-25 | Updated: 2026-10-26 | 14 failing / 38 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-26 | 5 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-26 | 9 failing / 43 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
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-26 | 0 failing / 0 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-26 | 5 failing / 38 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-26 | 4 failing / 37 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-26 | 26 failing / 36 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-26 | 5 failing / 37 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-26 | 25 failing / 39 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-26 | 6 failing / 31 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-26 | 10 failing / 37 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-26 | 4 failing / 29 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-26 | 12 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

Summary

Status	Count
Total Open PRs	27
PRs with Failing Checks	18
PRs with All Checks Green	9
READY	0
FAILING	18
PENDING	0
NO CHECKS YET	1

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

Seal Status

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

* feat(tri): wire tri git commit/push/status verbs over specs/git/tri_workflow.t27 (Closes #11793) * refactor(specs): make compiler/cli/git.t27 compilable + sealed .t27 (Closes #11798) census bless: tools/census/fetches.txt files-read 49 -> 50 (the new gh fetch use in compiler/cli/git.t27) * feat(lab): T27OS replaces Railway as lab host (Closes #11800) * feat(queen): local dispatch pure-logic starter (t27#11811) * carve: the shared lab/git law lands via #11801, the host glue via #5980; the queen dispatch spec travels here --------- Co-authored-by: Claude <claude@anthropic.com>

This was referenced Oct 23, 2026

spec(t27f): feed_event is pub -- the wasm surface calls the pure feed (refs #11778, #11781) #11842

Merged

fix(t27o): NUM_REFUSED is u64 -- wasm32's usize cannot hold 2^62 (Refs #11840) #11843

Merged

github-actions Bot mentioned this pull request Oct 23, 2026

spec(t27b): the wasm32 module format floor -- LEB128, section framing, preamble (Refs #11840) #11844

Merged

github-actions Bot mentioned this pull request Oct 26, 2026

t27os: version 0.2.0 (Refs #12479) #12595

Merged

claude and others added 4 commits October 26, 2026 09:54

feat(tri): wire tri git commit/push/status verbs over specs/git/tri_w…

1080b4d

…orkflow.t27 (Closes #11793)

refactor(specs): make compiler/cli/git.t27 compilable + sealed .t27 (C…

bc42738

…loses #11798) census bless: tools/census/fetches.txt files-read 49 -> 50 (the new gh fetch use in compiler/cli/git.t27)

feat(lab): T27OS replaces Railway as lab host (Closes #11800)

6b28dac

carve: the tri git host glue lands via #5980 (owner-approved-foreign …

c3579e8

…patch series); the spec law travels here

gHashTag force-pushed the feat/lab-t27os-host-11800 branch from 6c6ce7d to c3579e8 Compare October 26, 2026 02:56

gHashTag mentioned this pull request Oct 26, 2026

epic: self-host t27c -- rewrite the compiler from Rust into t27 #5980

Closed

4 of 6 tasks

gHashTag added a commit that referenced this pull request Oct 26, 2026

carve: the shared lab/git law lands via #11801, the host glue via #5980…

f612473

…; the queen dispatch spec travels here

gHashTag mentioned this pull request Oct 26, 2026

tri: the git host glue -- commit/push/status verbs over the git.t27 law, label landing (Refs #11800 #11798 #5980) #12616

Merged

github-actions Bot mentioned this pull request Oct 26, 2026

t27f: hud + a11y_mirror -- agent-state HUD and its text mirror (Closes #10262) #11782

Merged

gHashTag merged commit d8e4094 into master Oct 26, 2026
34 of 40 checks passed

gHashTag mentioned this pull request Oct 26, 2026

Spec-first port plan: land #11812 (queen local dispatch) and #11801 (T27OS lab host) under the foreign-budget cap #12622

Closed

gHashTag mentioned this pull request Oct 26, 2026

epic: merge-train and repo hygiene -- the queue, the branches, the CI queue ceiling #12660

Closed

Navigation Menu

Repository navigation

lab: T27OS replaces Railway as lab host (Closes #11800) - #11801

lab: T27OS replaces Railway as lab host (Closes #11800)#11801
gHashTag merged 4 commits into
masterfrom
feat/lab-t27os-host-11800

gHashTag commented Oct 23, 2026 •

edited

Loading

Uh oh!

github-actions Bot commented Oct 23, 2026

Uh oh!

tri-claw Bot commented Oct 23, 2026 •

edited

Loading

Uh oh!

gHashTag commented Oct 23, 2026

Uh oh!

gHashTag commented Oct 23, 2026

Uh oh!

gHashTag commented Oct 23, 2026

Uh oh!

gHashTag commented Oct 26, 2026

Uh oh!

github-actions Bot commented Oct 26, 2026

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

gHashTag commented Oct 23, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

github-actions Bot commented Oct 23, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

tri-claw Bot commented Oct 23, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Summary by t27-bees

Checked by the t27 compiler

Read by the model

Worth a look

Uh oh!

gHashTag commented Oct 23, 2026

Uh oh!

gHashTag commented Oct 23, 2026

Uh oh!

gHashTag commented Oct 23, 2026

Uh oh!

gHashTag commented Oct 26, 2026

Uh oh!

github-actions Bot commented Oct 26, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

gHashTag commented Oct 23, 2026 •

edited

Loading

tri-claw Bot commented Oct 23, 2026 •

edited

Loading