t27b checked: test blocks for 7 specs in specs/tools/mcp (1 of 2) by gHashTag · Pull Request #6816 · gHashTag/t27

gHashTag · 2026-10-06T12:50:56Z

Written by a bee on queen-6500 and published by tools/queen/publish.py. The branch itself is the bee's; the second commit is the coordination entry every pull request must add, which a bee has no way to know about.

7 files changed, 49 insertions(+)

🤖 Generated with Claude Code

Each spec now has a test block with 4 assertions that verify basic constants. This moves these specs from pass_vacuous to checked passes in t27b coverage. Closes #6500

A pull request must add exactly one docs/now entry and a bee has no way to know that: its brief names a boundary file and acceptance criteria, and docs/now/ is neither. The publisher adds it rather than failing the gate. Closes #6500 Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

github-actions · 2026-10-06T12:55:33Z

PR Dashboard

Generated at: 2026-10-06 12:55:26 UTC

feat(sieve): DDC of t27core through t27c and t27b (Closes #6508) #6825 feat(sieve): DDC of t27core through t27c and t27b (Closes #6508) | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 2 total
t27b checked: test blocks for 7 specs in specs/tools/tri (7 of 8) #6824 t27b checked: test blocks for 7 specs in specs/tools/tri (7 of 8) | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-app-identity.ts (TypeScript, 5 functions) #6823 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-app-identity.ts (TypeScript, 5 functions) | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
Port gHashTag/trios:crates/trios-server/xtask/src/verify_trios_server.rs (Rust, 4 functions) to specs/port/trios/crates/ #6822 Port gHashTag/trios:crates/trios-server/xtask/src/verify_trios_server.rs (Rust, 4 functions) to specs/port/trios/crates/ | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
gen-c: a function returning a fixed array returns the address of a stack local #6821 gen-c: a function returning a fixed array returns the address of a stack local | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
28 modules are imported by 30 specs and do not exist (found by the oracle) #6820 28 modules are imported by 30 specs and do not exist (found by the oracle) | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
openXC7: a DSP48E1 fed from the fabric produces a wrong bitstream (40-line reproducer) #6819 openXC7: a DSP48E1 fed from the fabric produces a wrong bitstream (40-line reproducer) | Created: 2026-10-06 | Updated: 2026-10-06 | 25 failing / 26 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/process-lock.ts (TypeScript, 6 functions) to specs/port/b #6818 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/process-lock.ts (TypeScript, 6 functions) to specs/port/b | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
A 'no competitor has' claim, a four-row table, and a survey that stopped in June #6817 A 'no competitor has' claim, a four-row table, and a survey that stopped in June | Created: 2026-10-06 | Updated: 2026-10-06 | 17 failing / 23 total
t27b checked: test blocks for 7 specs in specs/tools/mcp (1 of 2) #6816 t27b checked: test blocks for 7 specs in specs/tools/mcp (1 of 2) | Created: 2026-10-06 | Updated: 2026-10-06 | 20 failing / 26 total
Port part 1 of 2 of tools/check_vector_data.py to specs/port/tools/check_vector_data.t27 (8 functions) #6815 Port part 1 of 2 of tools/check_vector_data.py to specs/port/tools/check_vector_data.t27 (8 functions) | Created: 2026-10-06 | Updated: 2026-10-06 | 18 failing / 26 total
t27b checked: test blocks for 7 specs in specs/functions (4 of 5) #6814 t27b checked: test blocks for 7 specs in specs/functions (4 of 5) | Created: 2026-10-06 | Updated: 2026-10-06 | 10 failing / 26 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/memory/read-core.ts (TypeScript, 1 function) to specs/p #6813 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/memory/read-core.ts (TypeScript, 1 function) to specs/p | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 26 total
union(enum) lands the last of the 31; and the converter is not losing files silently #6812 union(enum) lands the last of the 31; and the converter is not losing files silently | Created: 2026-10-06 | Updated: 2026-10-06 | 9 failing / 26 total
Port tools/toolbelt.py (Python, 5 functions) to specs/port/tools/toolbelt.t27 #6811 Port tools/toolbelt.py (Python, 5 functions) to specs/port/tools/toolbelt.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 9 failing / 26 total
Port bootstrap/src/compiler.rs lines 10634-10836 (Rust, 2 functions) to specs/port/bootstrap/src/compiler/LoopGuard_loop #6810 Port bootstrap/src/compiler.rs lines 10634-10836 (Rust, 2 functions) to specs/port/bootstrap/src/compiler/LoopGuard_loop | Created: 2026-10-06 | Updated: 2026-10-06 | 8 failing / 26 total
Port gHashTag/trios:crates/trios-server/src/rainbow_routes.rs (Rust, 6 functions) to specs/port/trios/crates/trios-serve #6809 Port gHashTag/trios:crates/trios-server/src/rainbow_routes.rs (Rust, 6 functions) to specs/port/trios/crates/trios-serve | Created: 2026-10-06 | Updated: 2026-10-06 | 8 failing / 26 total
_magsub: the sticky tie arm is the addition rule, kept harmless only by never firing #6808 _magsub: the sticky tie arm is the addition rule, kept harmless only by never firing | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 26 total
Port gHashTag/trinity:src/tri/gen_assertion.zig (Zig, 3 functions) to specs/port/trinity/src/tri/gen_assertion.t27 #6807 Port gHashTag/trinity:src/tri/gen_assertion.zig (Zig, 3 functions) to specs/port/trinity/src/tri/gen_assertion.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 26 total
Port gHashTag/trios:crates/trios-hdc/rings/HD-01/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/trios-hdc/rin #6806 Port gHashTag/trios:crates/trios-hdc/rings/HD-01/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/trios-hdc/rin | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 26 total
Port gHashTag/trios:crates/trios-cli/src/gh.rs (Rust, 6 functions) to specs/port/trios/crates/trios-cli/src/gh.t27 #6805 Port gHashTag/trios:crates/trios-cli/src/gh.rs (Rust, 6 functions) to specs/port/trios/crates/trios-cli/src/gh.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 26 total
feat(tri): tri night -- the whole overnight operation in one command #6804 feat(tri): tri night -- the whole overnight operation in one command | Created: 2026-10-06 | Updated: 2026-10-06 | 13 failing / 31 total
Update S05 TRI-27 conformance to the emulator fixed in gHashTag/trinity#1250 #6801 Update S05 TRI-27 conformance to the emulator fixed in gHashTag/trinity#1250 | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
spec fix: 2 specs in specs/tri/pipeline the reference blocks -- rewrite them in t27 (1 of 1) #6800 spec fix: 2 specs in specs/tri/pipeline the reference blocks -- rewrite them in t27 (1 of 1) | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
Port gHashTag/trinity:fpga/gft/tb32.v (Verilog, 1 module) to specs/port/trinity/fpga/gft/tb32.t27 #6799 Port gHashTag/trinity:fpga/gft/tb32.v (Verilog, 1 module) to specs/port/trinity/fpga/gft/tb32.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 5 failing / 26 total
The gate I added could never have run, and enum was not the only key the converter drops #6798 The gate I added could never have run, and enum was not the only key the converter drops | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
check_catalog_count: the paper-divergence WARN fires on every run, so it carries no information #6797 check_catalog_count: the paper-divergence WARN fires on every run, so it carries no information | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 27 total
Port gHashTag/trios:crates/trios-server/src/tools/gitbutler.rs (Rust, 4 functions) to specs/port/trios/crates/trios-serv #6796 Port gHashTag/trios:crates/trios-server/src/tools/gitbutler.rs (Rust, 4 functions) to specs/port/trios/crates/trios-serv | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 26 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/clients/gateway.ts (TypeScript, 3 functions) to specs/por #6795 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/clients/gateway.ts (TypeScript, 3 functions) to specs/por | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 26 total
Port scripts/tri_loop/corpus_parse.py (Python, 3 functions) to specs/port/scripts/tri_loop/corpus_parse.t27 #6794 Port scripts/tri_loop/corpus_parse.py (Python, 3 functions) to specs/port/scripts/tri_loop/corpus_parse.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 26 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/monitoring/session-registry.ts (TypeScript, 3 functions) to s #6793 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/monitoring/session-registry.ts (TypeScript, 3 functions) to s | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 26 total
t27b checked: test blocks for 7 specs in specs/tools/tri (1 of 8) #6792 t27b checked: test blocks for 7 specs in specs/tools/tri (1 of 8) | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 26 total
fix(t27c): gen refuses what typecheck refuses, 35 misread specs fixed (Closes #6446) #6787 fix(t27c): gen refuses what typecheck refuses, 35 misread specs fixed (Closes #6446) | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 3 total
Port gHashTag/trinity:src/tri/zenodo_v17_environmental.zig (Zig, 4 functions) to specs/port/trinity/src/tri/zenodo_v17_e #6764 Port gHashTag/trinity:src/tri/zenodo_v17_environmental.zig (Zig, 4 functions) to specs/port/trinity/src/tri/zenodo_v17_e | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port scripts/tri_loop/now_numbers.py (Python, 4 functions) to specs/port/scripts/tri_loop/now_numbers.t27 #6763 Port scripts/tri_loop/now_numbers.py (Python, 4 functions) to specs/port/scripts/tri_loop/now_numbers.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port gHashTag/trinity:fpga/openxc7-synth/blink_internal.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/b #6762 Port gHashTag/trinity:fpga/openxc7-synth/blink_internal.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/b | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 26 total
tri epic-ci: which checks of an epic's pull requests turned red since the last snapshot (scripts/tri_loop/epic_ci.py) #6761 tri epic-ci: which checks of an epic's pull requests turned red since the last snapshot (scripts/tri_loop/epic_ci.py) | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port bootstrap/src/impl_status.rs (Rust, 6 functions) to specs/port/bootstrap/src/impl_status.t27 #6760 Port bootstrap/src/impl_status.rs (Rust, 6 functions) to specs/port/bootstrap/src/impl_status.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
Port fpga/verilog/phi_weights_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/phi_weights_jtag.t27 #6759 Port fpga/verilog/phi_weights_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/phi_weights_jtag.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
Port gHashTag/trios:apps/trios-macos/rings/RUST-04/clade-improve/src/oversight.rs (Rust, 4 functions) to specs/port/trio #6758 Port gHashTag/trios:apps/trios-macos/rings/RUST-04/clade-improve/src/oversight.rs (Rust, 4 functions) to specs/port/trio | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
Wave reports name deliverables that exist in no source file: ExprAddressOf and has_cycle_dfs each live only in the repor #6757 Wave reports name deliverables that exist in no source file: ExprAddressOf and has_cycle_dfs each live only in the repor | Created: 2026-10-06 | Updated: 2026-10-06 | 0 failing / 24 total
Port scripts/wrapup/extract-context.py (Python, 1 function) to specs/port/scripts/wrapup/extract-context.t27 #6756 Port scripts/wrapup/extract-context.py (Python, 1 function) to specs/port/scripts/wrapup/extract-context.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port gHashTag/trinity:src/tri/gen_index.zig (Zig, 4 functions) to specs/port/trinity/src/tri/gen_index.t27 #6753 Port gHashTag/trinity:src/tri/gen_index.zig (Zig, 4 functions) to specs/port/trinity/src/tri/gen_index.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Implement the 6 empty function bodies in specs/numeric/formats.t27 #6752 Implement the 6 empty function bodies in specs/numeric/formats.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 27 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/browseros-fetch.ts (TypeScript, 4 functions) to specs/por #6751 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/browseros-fetch.ts (TypeScript, 4 functions) to specs/por | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port gHashTag/trinity:src/tri/gen_rtree.zig (Zig, 5 functions) to specs/port/trinity/src/tri/gen_rtree.t27 #6750 Port gHashTag/trinity:src/tri/gen_rtree.zig (Zig, 5 functions) to specs/port/trinity/src/tri/gen_rtree.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
tri gates preview asks four contexts; the ruleset requires validate, check-linked-issue and parse-ratchet #6749 tri gates preview asks four contexts; the ruleset requires validate, check-linked-issue and parse-ratchet | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port scripts/ultra_engine_v70_ultimate.py (Python, 2 functions) to specs/port/scripts/ultra_engine_v70_ultimate.t27 #6748 Port scripts/ultra_engine_v70_ultimate.py (Python, 2 functions) to specs/port/scripts/ultra_engine_v70_ultimate.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Spec: the review jam -- which case a stuck pull request is in, and the Queen's action (specs/automation/review-jam.t27) #6747 Spec: the review jam -- which case a stuck pull request is in, and the Queen's action (specs/automation/review-jam.t27) | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
Port gHashTag/trinity:fpga/openxc7-synth/ternary_activation.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-syn #6746 Port gHashTag/trinity:fpga/openxc7-synth/ternary_activation.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-syn | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total

Summary

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

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

Seal Status

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

Trinity Bee and others added 2 commits October 6, 2026 00:30

Add test blocks to MCP specs for t27b coverage

d22bdff

Each spec now has a test block with 4 assertions that verify basic constants. This moves these specs from pass_vacuous to checked passes in t27b coverage. Closes #6500

This was referenced Oct 6, 2026

feat(t27b): --check interpreter fuel per file, policy in check_budget.t27 (Closes #6664) #6695

Merged

Port part 1 of 2 of tools/check_vector_data.py to specs/port/tools/check_vector_data.t27 (8 functions) #6815

Merged

Navigation Menu

Repository navigation

t27b checked: test blocks for 7 specs in specs/tools/mcp (1 of 2) - #6816

t27b checked: test blocks for 7 specs in specs/tools/mcp (1 of 2)#6816
gHashTag wants to merge 2 commits into
masterfrom
queen-6500

gHashTag commented Oct 6, 2026

Uh oh!

github-actions Bot commented Oct 6, 2026

Uh oh!

This branch has not been deployed

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

gHashTag commented Oct 6, 2026

Uh oh!

github-actions Bot commented Oct 6, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

This branch has not been deployed

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants