[gHashTag]

The SETTLE step's run-state law on top of #11861's wiring: settle_run_state(BridgeAnswer) -> u8 — RUN_OK iff PAY_NORMAL and verified; everything else RUN_FAILED (refusals, coordinator slashes, credited-but-unverified jobs — the ledger's OUT_* alone never decides). The actor reads only the BridgeAnswer.

Plus the honest hardening: the sequence pin covers all ten names in order, STEP_FETCH < STEP_PUBLISH < STEP_SETTLE, STEP_SETTLE + 1 == STEP_COUNT, STEP_NAMES.len == 84; step_name() rewritten from a stub (it named no step) to the per-step pattern.

The self-caught defect: the first STEP_NAMES.len pin asserted 82 (miscounted build-t27c/build-t27b as 9 bytes; they are 10) — the test failed and caught it, fixed to 84. The pin working as designed.

10/10 tests, 0 FAIL, 0 vacuous; sealed (spec_hash sha256:859ec30c…, all hashes MATCH). Imports: SB_REFUSE_VERIFICATIONS, V_WRONG_RESULT, PAY_SLASH_ONLY. NOT CLAIMED: no mTRI moved, the amounts are the payout law's, the receipt signing is t27c corpus-receipt's.

phi^2 + 1/phi^2 = 3 | TRINITY

[github-actions]

PR Dashboard

Generated at: 2026-10-23 23:10:34 UTC

• spec(t27os): labs.t27 -- the SETTLE run-state law, the sequence pin, step_name() (Closes #11858) #11918 spec(t27os): labs.t27 -- the SETTLE run-state law, the sequence pin, step_name() (Closes #11858) | Created: 2026-10-23 | Updated: 2026-10-23 | 27 failing / 28 total
• fix(t27f): measure_live sorts with live_mode's sort_u32 -- last master duplicate-bodies group (Refs #11885) #11916 fix(t27f): measure_live sorts with live_mode's sort_u32 -- last master duplicate-bodies group (Refs #11885) | Created: 2026-10-23 | Updated: 2026-10-23 | 5 failing / 29 total
• spec(t27o): install workflow quotes expression literals with apostrophes (Refs #11873) #11904 spec(t27o): install workflow quotes expression literals with apostrophes (Refs #11873) | Created: 2026-10-23 | Updated: 2026-10-23 | 4 failing / 28 total
• spec(t27os): the lab's reseal leg -- tri seals drift --fix on the lab's own t27c (Refs #11840) #11903 spec(t27os): the lab's reseal leg -- tri seals drift --fix on the lab's own t27c (Refs #11840) | Created: 2026-10-23 | Updated: 2026-10-23 | 4 failing / 29 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(t27os): night take rule -- stale retake, leg-only remainders, credential-blocked to requests (Refs #11892) #11893 spec(t27os): night take rule -- stale retake, leg-only remainders, credential-blocked to requests (Refs #11892) | Created: 2026-10-23 | Updated: 2026-10-23 | 4 failing / 29 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
• spec(t27os): lab_legs -- a receipt line is green only with both compilers (Refs #11889) #11890 spec(t27os): lab_legs -- a receipt line is green only with both compilers (Refs #11889) | Created: 2026-10-23 | Updated: 2026-10-23 | 4 failing / 28 total
• spec(crons): night loop UI health reads publish.txt, not a closed page's Z row (Refs #11887) #11888 spec(crons): night loop UI health reads publish.txt, not a closed page's Z row (Refs #11887) | Created: 2026-10-23 | Updated: 2026-10-23 | 4 failing / 28 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-23 | 7 failing / 40 total
• spec(t27os): labs surface survival -- encoder fetch M6-only, receipt survives a surface failure, full sha skips the API (Refs #11873) #11884 spec(t27os): labs surface survival -- encoder fetch M6-only, receipt survives a surface failure, full sha skips the API (Refs #11873) | Created: 2026-10-23 | Updated: 2026-10-23 | 4 failing / 29 total
• spec(t27os): labs receipt_verdict -- an omitted, BLOCKED, failed or vacuous spec makes the receipt red (Refs t27os#9) #11875 spec(t27os): labs receipt_verdict -- an omitted, BLOCKED, failed or vacuous spec makes the receipt red (Refs t27os#9) | Created: 2026-10-23 | Updated: 2026-10-23 | 6 failing / 32 total
• spec(queen): the night loop's lane sweep -- claim-aware release, commit only on the own branch (Refs t27os#8) #11874 spec(queen): the night loop's lane sweep -- claim-aware release, commit only on the own branch (Refs t27os#8) | Created: 2026-10-23 | Updated: 2026-10-23 | 6 failing / 32 total
• sim: statement-position calls to non-void fns lower to discard assignments (fixes #11855) #11872 sim: statement-position calls to non-void fns lower to discard assignments (fixes #11855) | Created: 2026-10-23 | Updated: 2026-10-23 | 14 failing / 39 total
• spec(t27os): receipt_name -- a lab receipt is named only from a full resolved sha (Refs #11840) #11870 spec(t27os): receipt_name -- a lab receipt is named only from a full resolved sha (Refs #11840) | Created: 2026-10-23 | Updated: 2026-10-23 | 4 failing / 28 total
• spec(t27os): labs gate commands — the repair cycle as executable data (Refs #11783 #11038) #11868 spec(t27os): labs gate commands — the repair cycle as executable data (Refs #11783 #11038) | Created: 2026-10-23 | Updated: 2026-10-23 | 0 failing / 2 total
• fix(gates): re-seal 3 seals after the port wave (Refs #11038) #11856 fix(gates): re-seal 3 seals after the port wave (Refs #11038) | Created: 2026-10-23 | Updated: 2026-10-23 | 4 failing / 24 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-23 | 15 failing / 37 total
• t27c coverage: normalise qualified calls (Closes #11808) #11809 t27c coverage: normalise qualified calls (Closes #11808) | Created: 2026-10-23 | Updated: 2026-10-23 | 0 failing / 7 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 | 0 failing / 7 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 | 14 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-23 | 14 failing / 37 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 | 10 failing / 33 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
• 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	43
PRs with Failing Checks	38
PRs with All Checks Green	5
READY	4
FAILING	38
PENDING	0
NO CHECKS YET	0

These columns do not partition: 4 + 38 + 0 + 0 = 42, and there are 43 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 e9c0192. Nothing was generated, built or run. A pass means the file is well formed, not that it is right.}

• specs/t27os/labs.t27: parses and typechecks.

Read by the model

The PR implements the SETTLE step's run-state law (settle_run_state) mapping BridgeAnswer to RUN_OK only on PAY_NORMAL + verified, else RUN_FAILED. It also hardens the step sequence pin: step_name() is rewritten to return per-step names (fixing a stub that returned the joined list for every step), and the test now asserts all ten names in order, ordering constraints (STEP_FETCH < STEP_PUBLISH < STEP_SETTLE, STEP_SETTLE + 1 == STEP_COUNT), and STEP_NAMES.len == 84 (the prior pin asserted 82 and the test caught the miscount).

Worth a look

• specs/t27os/labs.t27:75–92 — step_name() now returns individual step names instead of the joined STEP_NAMES string. Any downstream code that relied on the old behavior (receiving the full comma-separated list for any valid step) will break. The change is intentional but not backward-compatible.
• specs/t27os/labs.t27:158–166 — settle_run_state() decides RUN_OK solely on a.pay == PAY_NORMAL and a.verified. If BridgeAnswer gains additional fields that should affect run state (e.g., a distinct refusal code that warrants a different actor response), this function will not see them.
• specs/t27os/labs.t27:168–210 — settle_run_state_law_holds() constructs a Ledger via register_node(ledger_init(default_policy()), 1505, 6774813, true, 5000). If the ledger initialization parameters or the policy change, the invariant's assumptions about PAY_NORMAL/PAY_SLASH_ONLY/OUT_CREDITED outcomes could shift without the test detecting it (the test uses the same constants, so it would still pass, but the mapping might no longer reflect the real payout law).
• specs/t27os/labs.t27:220–236 — step_names_are_ten asserts STEP_NAMES.len == 84 based on a manual byte count (75 name bytes + 9 commas). If STEP_NAMES is defined elsewhere and edited without updating this test, the pin will catch it — but the test and the constant must be edited together, which is a maintenance coupling.
• specs/t27os/labs.t27:252–284 — settle_run_state_maps_the_bridge_answer duplicates the four cases from the invariant as a runtime test. This is a deliberate defense against vacuous compile-time proofs (T730), but it means the same logic lives in two places; a change to the mapping law requires updating both the invariant and this test.

---

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