Port scripts/gen_w381_lean.py (Python, 8 functions) to specs/port/scripts/gen_w381_lean.t27 by gHashTag · Pull Request #6910 · gHashTag/t27

gHashTag · 2026-10-06T14:58:04Z

Written by a bee on queen-6075 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.

1 file changed, 74 insertions(+)

🤖 Generated with Claude Code

- Ported 8 functions from Python to .t27: var_names, nest_mac, plus_chain, minus_chain, cancellation_chain, zero_weight_closure, theorem_block, main - main() has undefined body as it touches filesystem (per requirements) - Added 8 test blocks covering all functions - All acceptance criteria met: 1. File exists and contains all 8 required functions 2. Generated code has no 'not yet implemented' and has 95 lines (>12) 3. File parses (status: IMPLEMENTED) 4. Has 8 test blocks 5. All tests pass with 0 BLOCKED Closes #6075

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 #6075 Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

github-actions · 2026-10-06T15:28:03Z

PR Dashboard

Generated at: 2026-10-06 15:27:56 UTC

fix(t27c): seal records spec_path relative to the store, refuses a spec outside it (Closes #6913) #6925 fix(t27c): seal records spec_path relative to the store, refuses a spec outside it (Closes #6913) | Created: 2026-10-06 | Updated: 2026-10-06 | 28 failing / 29 total
fix(ci): bless the quiet census after #6847; seal t27a_mnemonics #6924 fix(ci): bless the quiet census after #6847; seal t27a_mnemonics | Created: 2026-10-06 | Updated: 2026-10-06 | 23 failing / 24 total
Port gHashTag/trios:crates/trios-vsa/rings/VS-01/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/trios-vsa/rin #6923 Port gHashTag/trios:crates/trios-vsa/rings/VS-01/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/trios-vsa/rin | Created: 2026-10-06 | Updated: 2026-10-06 | 11 failing / 26 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-runners.ts (TypeScript, 4 functions) to spec #6922 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-runners.ts (TypeScript, 4 functions) to spec | Created: 2026-10-06 | Updated: 2026-10-06 | 20 failing / 25 total
Port bootstrap/src/weight_bram.rs (Rust, 4 functions) to specs/port/bootstrap/src/weight_bram.t27 #6921 Port bootstrap/src/weight_bram.rs (Rust, 4 functions) to specs/port/bootstrap/src/weight_bram.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 10 failing / 25 total
Port gHashTag/trios:crates/trios-trainer/src/train_loop.rs (Rust, 3 functions) to specs/port/trios/crates/trios-trainer/ #6920 Port gHashTag/trios:crates/trios-trainer/src/train_loop.rs (Rust, 3 functions) to specs/port/trios/crates/trios-trainer/ | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
Port bootstrap/src/source_kind.rs (Rust, 4 functions) to specs/port/bootstrap/src/source_kind.t27 #6919 Port bootstrap/src/source_kind.rs (Rust, 4 functions) to specs/port/bootstrap/src/source_kind.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
Port fpga/vivado/gf16_matmul4x4_top.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_matmul4x4_top.t27 #6918 Port fpga/vivado/gf16_matmul4x4_top.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_matmul4x4_top.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
Port gHashTag/trios:crates/trios-mesh/src/identity.rs (Rust, 2 functions) to specs/port/trios/crates/trios-mesh/src/iden #6917 Port gHashTag/trios:crates/trios-mesh/src/identity.rs (Rust, 2 functions) to specs/port/trios/crates/trios-mesh/src/iden | Created: 2026-10-06 | Updated: 2026-10-06 | 12 failing / 26 total
Port gHashTag/trios:crates/trios-server/src/tools/git.rs (Rust, 7 functions) to specs/port/trios/crates/trios-server/src #6916 Port gHashTag/trios:crates/trios-server/src/tools/git.rs (Rust, 7 functions) to specs/port/trios/crates/trios-server/src | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
Port gHashTag/trios:crates/trios-crypto/build.rs (Rust, 1 function) to specs/port/trios/crates/trios-crypto/build.t27 #6915 Port gHashTag/trios:crates/trios-crypto/build.rs (Rust, 1 function) to specs/port/trios/crates/trios-crypto/build.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
Port bootstrap/src/bridge.rs (Rust, 4 functions) to specs/port/bootstrap/src/bridge.t27 #6914 Port bootstrap/src/bridge.rs (Rust, 4 functions) to specs/port/bootstrap/src/bridge.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 9 failing / 26 total
Port scripts/gen_w381_lean.py (Python, 8 functions) to specs/port/scripts/gen_w381_lean.t27 #6910 Port scripts/gen_w381_lean.py (Python, 8 functions) to specs/port/scripts/gen_w381_lean.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
Port gHashTag/trinity:src/tri/gen_path_utils.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_path_utils.t27 #6909 Port gHashTag/trinity:src/tri/gen_path_utils.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_path_utils.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 26 total
Port scripts/tri_loop/loop_rules.py (Python, 4 functions) to specs/port/scripts/tri_loop/loop_rules.t27 #6908 Port scripts/tri_loop/loop_rules.py (Python, 4 functions) to specs/port/scripts/tri_loop/loop_rules.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 5 failing / 26 total
Port bootstrap/src/compiler.rs lines 23769-23969 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/collect_type_d #6907 Port bootstrap/src/compiler.rs lines 23769-23969 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/collect_type_d | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/acl/acl-guard.ts (TypeScript, 2 functions) to specs/por #6906 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/acl/acl-guard.ts (TypeScript, 2 functions) to specs/por | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
Implement the 1 empty function body in specs/tri/graph/dijkstra.t27 #6905 Implement the 1 empty function body in specs/tri/graph/dijkstra.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 5 failing / 26 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/skills/loader.ts (TypeScript, 6 functions) to specs/port/brow #6904 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/skills/loader.ts (TypeScript, 6 functions) to specs/port/brow | Created: 2026-10-06 | Updated: 2026-10-06 | 5 failing / 26 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/clients/llm/test-provider.ts (TypeScript, 2 functions) to #6903 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/clients/llm/test-provider.ts (TypeScript, 2 functions) to | Created: 2026-10-06 | Updated: 2026-10-06 | 5 failing / 26 total
Port gHashTag/trinity:src/cli/railway_create_full.zig (Zig, 1 function) to specs/port/trinity/src/cli/railway_create_ful #6902 Port gHashTag/trinity:src/cli/railway_create_full.zig (Zig, 1 function) to specs/port/trinity/src/cli/railway_create_ful | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
t27b checked: test blocks for 7 specs in specs/crons (1 of 8) #6901 t27b checked: test blocks for 7 specs in specs/crons (1 of 8) | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
feat(automation): crm-duet v4 -- a dry run is free (Closes #6896) #6897 feat(automation): crm-duet v4 -- a dry run is free (Closes #6896) | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
fix(spec-guards): ring-096 and specs/numeric/formats.t27 agree on f32, as the gf16 SSOT says #6894 fix(spec-guards): ring-096 and specs/numeric/formats.t27 agree on f32, as the gf16 SSOT says | Created: 2026-10-06 | Updated: 2026-10-06 | 28 failing / 29 total
t27b checked: test blocks for 7 specs in specs/functions (2 of 5) #6891 t27b checked: test blocks for 7 specs in specs/functions (2 of 5) | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
t27b checked: test blocks for 7 specs in specs/functions (3 of 5) #6890 t27b checked: test blocks for 7 specs in specs/functions (3 of 5) | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
spec fix: 1 specs in specs/tri/agent the reference blocks -- rewrite them in t27 (1 of 1) #6889 spec fix: 1 specs in specs/tri/agent the reference blocks -- rewrite them in t27 (1 of 1) | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
t27b checked: test blocks for 7 specs in specs/agents (3 of 4) #6888 t27b checked: test blocks for 7 specs in specs/agents (3 of 4) | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
spec fix: 3 specs in specs/tri/graph the reference blocks -- rewrite them in t27 (1 of 1) #6886 spec fix: 3 specs in specs/tri/graph 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:src/brain/fusiform_gyrus.zig (Zig, 4 functions) to specs/port/trinity/src/brain/fusiform_gyrus.t27 #6885 Port gHashTag/trinity:src/brain/fusiform_gyrus.zig (Zig, 4 functions) to specs/port/trinity/src/brain/fusiform_gyrus.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
t27b checked: test blocks for 7 specs in specs/agents (1 of 4) #6884 t27b checked: test blocks for 7 specs in specs/agents (1 of 4) | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
t27b checked: test blocks for 7 specs in specs/agents (2 of 4) #6883 t27b checked: test blocks for 7 specs in specs/agents (2 of 4) | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
Port fpga/verilog/mvp_ternary_classifier_top.v (Verilog, 1 module) to specs/port/fpga/verilog/mvp_ternary_classifier_top #6882 Port fpga/verilog/mvp_ternary_classifier_top.v (Verilog, 1 module) to specs/port/fpga/verilog/mvp_ternary_classifier_top | Created: 2026-10-06 | Updated: 2026-10-06 | 5 failing / 26 total
t27b checked: test blocks for 3 specs in specs/tools/tri (8 of 8) #6881 t27b checked: test blocks for 3 specs in specs/tools/tri (8 of 8) | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/terminal.ts (TypeScript, 6 functions) to specs/por #6877 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/terminal.ts (TypeScript, 6 functions) to specs/por | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 26 total
Implement the 1 empty function body in specs/tri/graph/prims_mst.t27 #6876 Implement the 1 empty function body in specs/tri/graph/prims_mst.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 26 total
Port tools/check_catalog_integrity.py (Python, 4 functions) to specs/port/tools/check_catalog_integrity.t27 #6875 Port tools/check_catalog_integrity.py (Python, 4 functions) to specs/port/tools/check_catalog_integrity.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 8 failing / 26 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/runtime/container-agent-runtime.ts (TypeScript, 4 #6874 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/runtime/container-agent-runtime.ts (TypeScript, 4 | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 26 total
Port gHashTag/trinity:src/tri/gen_xor_cipher.zig (Zig, 1 function) to specs/port/trinity/src/tri/gen_xor_cipher.t27 #6873 Port gHashTag/trinity:src/tri/gen_xor_cipher.zig (Zig, 1 function) to specs/port/trinity/src/tri/gen_xor_cipher.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 26 total
Implement part 2 of 2 of the empty bodies in specs/graph/knowledge_graph.t27 (7 functions) #6872 Implement part 2 of 2 of the empty bodies in specs/graph/knowledge_graph.t27 (7 functions) | Created: 2026-10-06 | Updated: 2026-10-06 | 8 failing / 26 total
t27b checked: test blocks for 7 specs in specs/crons (2 of 8) #6871 t27b checked: test blocks for 7 specs in specs/crons (2 of 8) | Created: 2026-10-06 | Updated: 2026-10-06 | 8 failing / 26 total
t27b checked: test blocks for 7 specs in specs/skills (3 of 4) #6870 t27b checked: test blocks for 7 specs in specs/skills (3 of 4) | Created: 2026-10-06 | Updated: 2026-10-06 | 9 failing / 26 total
t27b checked: test blocks for 6 specs in specs/skills (4 of 4) #6869 t27b checked: test blocks for 6 specs in specs/skills (4 of 4) | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 26 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/openclaw/acp-command.ts (TypeScript, 1 function) t #6868 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/openclaw/acp-command.ts (TypeScript, 1 function) t | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 26 total
Spec: the card-chat night watch (specs/automation/card-chat-night-watch.t27) #6863 Spec: the card-chat night watch (specs/automation/card-chat-night-watch.t27) | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 27 total
Oracle cluster: the following test command terminated with signal ABRT: (24 specs) #6860 Oracle cluster: the following test command terminated with signal ABRT: (24 specs) | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 34 total
The Rust backend emits no tests at all: 532 specs declare them, #[test] appears zero times #6859 The Rust backend emits no tests at all: 532 specs declare them, #[test] appears zero times | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
t27b checked: test blocks for 7 specs in specs/crons (3 of 8) #6858 t27b checked: test blocks for 7 specs in specs/crons (3 of 8) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
t27b checked: test blocks for 7 specs in specs/skills (1 of 4) #6857 t27b checked: test blocks for 7 specs in specs/skills (1 of 4) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
Port scripts/install-git-hooks.sh (Shell, 1 function) to specs/port/scripts/install-git-hooks.t27 #6856 Port scripts/install-git-hooks.sh (Shell, 1 function) to specs/port/scripts/install-git-hooks.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	42
PRs with All Checks Green	8
READY	0
FAILING	42
PENDING	0
NO CHECKS YET	0

These columns do not partition: 0 + 42 + 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)=0ec05a8c1a46 != 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 5, 2026 09:33

Navigation Menu

Repository navigation

Port scripts/gen_w381_lean.py (Python, 8 functions) to specs/port/scripts/gen_w381_lean.t27 - #6910

Port scripts/gen_w381_lean.py (Python, 8 functions) to specs/port/scripts/gen_w381_lean.t27#6910
gHashTag wants to merge 2 commits into
masterfrom
queen-6075

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