ledger: re-derive from master 380a81f24923, as its lab verdict APPLY says (Closes #10447)

[gHashTag]

Closes #10447

From https://t27b-lab-production.up.railway.app/ledger/380a81f249234a0b2cdf2668d8e35e606371e87e.patch, applied unchanged; verdict https://t27b-lab-production.up.railway.app/ledger/380a81f249234a0b2cdf2668d8e35e606371e87e.json (see #9092).

finding	file	t27b or spec	verdict	refusal or saved
UNLISTED	specs/ar/asp_solver.t27	pass	ADD	0
UNLISTED	specs/ar/coa_planning.t27	pass	ADD	0
UNLISTED	specs/ar/datalog_engine.t27	pass	ADD	0
UNLISTED	specs/ar/proof_trace.t27	pass	ADD	0
UNLISTED	specs/ar/ternary_logic.t27	pass	ADD	0
UNLISTED	specs/automation/owner_voice_reel.t27	pass	ADD	0
UNLISTED	specs/base/ternary_memory.t27	blocked	ADD	0
UNLISTED	specs/bus/schema.t27	blocked	ADD	0
UNLISTED	specs/claw/github_surface.t27	pass	ADD	0
UNLISTED	specs/claw/preview.t27	pass	ADD	0
UNLISTED	specs/claw/sarif.t27	pass	ADD	0
UNLISTED	specs/claw/sarif_feed.t27	pass	ADD	0
UNLISTED	specs/claw/sarif_pins.t27	pass	ADD	0
UNLISTED	specs/claw/suggest.t27	pass	ADD	0
UNLISTED	specs/claw/suggest_feed.t27	pass	ADD	0
UNLISTED	specs/claw/t27f_gate.t27	pass	ADD	0
UNLISTED	specs/claw/t27f_gate_pins.t27	pass	ADD	0
UNLISTED	specs/claw/text.t27	pass	ADD	0
UNLISTED	specs/compiler/linker.t27	pass	ADD	0
UNLISTED	specs/compiler/parser.t27	blocked	ADD	0
UNLISTED	specs/config/migrate.t27	blocked	ADD	0
UNLISTED	specs/config/paths.t27	blocked	ADD	0
UNLISTED	specs/config/schema.t27	blocked	ADD	0
UNLISTED	specs/crons/t27-own-model-board.t27	pass	ADD	0
UNLISTED	specs/file/schema.t27	pass	ADD	0
UNLISTED	specs/fpga/testbench/bootrom_tb.t27	pass	ADD	0
UNLISTED	specs/fpga/vcd_conformance_compare.t27	blocked	ADD	0
UNLISTED	specs/igla/coder/ternary_gemm_gpu.t27	pass	ADD	0
UNLISTED	specs/igla/evaluation/multi_lang_harness.t27	pass	ADD	0
UNLISTED	specs/igla/race/ternary_gemm.t27	pass	ADD	0
UNLISTED	specs/igla/race/ternary_mac.t27	pass	ADD	0
UNLISTED	specs/igla/training/low_bit_ternary.t27	pass	ADD	0
UNLISTED	specs/isa/registers.t27	blocked	ADD	0
UNLISTED	specs/isa/ternary_arithmetic.t27	pass	ADD	0
UNLISTED	specs/isa/ternary_bitwise.t27	pass	ADD	0
UNLISTED	specs/isa/ternary_control_flow.t27	blocked	ADD	0
UNLISTED	specs/isa/ternary_deque.t27	blocked	ADD	0
UNLISTED	specs/isa/ternary_hash.t27	blocked	ADD	0
UNLISTED	specs/isa/ternary_memory.t27	blocked	ADD	0
UNLISTED	specs/isa/ternary_pattern_matching.t27	pass	ADD	0
UNLISTED	specs/isa/ternary_search.t27	pass	ADD	0
UNLISTED	specs/isa/ternary_set.t27	blocked	ADD	0
UNLISTED	specs/isa/ternary_shift.t27	blocked	ADD	0
UNLISTED	specs/isa/ternary_sorting.t27	blocked	ADD	0
UNLISTED	specs/isa/ternary_tree.t27	pass	ADD	0
UNLISTED	specs/lsp/protocol.t27	pass	ADD	0
UNLISTED	specs/lsp/schema.t27	blocked	ADD	0
UNLISTED	specs/math/property_test_template.t27	pass	ADD	0
UNLISTED	specs/memory/memory_primitives.t27	pass	ADD	0
UNLISTED	specs/memory/notebooklm.t27	blocked	ADD	0
UNLISTED	specs/memory/tmem/bridge.t27	pass	ADD	0
UNLISTED	specs/memory/tmem/conformance.t27	pass	ADD	0
UNLISTED	specs/memory/tmem/edge_demo.t27	pass	ADD	0
UNLISTED	specs/memory/tmem/stream_compute.t27	pass	ADD	0
UNLISTED	specs/memory/tmem/tensorpack.t27	pass	ADD	0
UNLISTED	specs/ml/optimizer/sgd_momentum.t27	blocked	ADD	0
UNLISTED	specs/ml/recurrent/seq2seq.t27	pass	ADD	0
UNLISTED	specs/ml/rl/ppo_actor.t27	blocked	ADD	0
UNLISTED	specs/ml/rl/sac_actor.t27	blocked	ADD	0
UNLISTED	specs/ml/transformer/norm.t27	pass	ADD	0
UNLISTED	specs/ml/transformer/positional_enc.t27	blocked	ADD	0
UNLISTED	specs/nn/gla.t27	blocked	ADD	0
UNLISTED	specs/numeric/lucas_accumulator.t27	blocked	ADD	0
UNLISTED	specs/numeric/paper_claims.t27	pass	ADD	0
UNLISTED	specs/numeric/posit_ladder_control.t27	blocked	ADD	0
UNLISTED	specs/numeric/tf3.t27	blocked	ADD	0
UNLISTED	specs/physics/formula_discovery.t27	blocked	ADD	0
UNLISTED	specs/physics/physical_limits.t27	pass	ADD	0
UNLISTED	specs/physics/sacred_lattice.t27	blocked	ADD	0
UNLISTED	specs/pipeline/benchmarks.t27	pass	ADD	0
UNLISTED	specs/pipeline/e2e_test.t27	blocked	ADD	0
UNLISTED	specs/pipeline/experience_save.t27	pass	ADD	0
UNLISTED	specs/port/browseros/trios/agent-server/apps/server/src/api/routes/queen-public-leaderboard.t27	pass	ADD	0
UNLISTED	specs/port/browseros/trios/agent-server/apps/server/src/api/utils/security.t27	pass	ADD	0
UNLISTED	specs/port/tools/builtin_parity_table.t27	blocked	ADD	0
UNLISTED	specs/port/tools/dedupe_identical_tests.t27	pass	ADD	0
UNLISTED	specs/port/tools/gft_deep_demo.t27	pass	ADD	0
UNLISTED	specs/port/tools/gft_generalize_demo.t27	pass	ADD	0
UNLISTED	specs/port/tools/published_figures.t27	pass	ADD	0
UNLISTED	specs/port/tools/queen/feed_untested.t27	pass	ADD	0
UNLISTED	specs/port/tools/trinity_fpga_adapter.t27	pass	ADD	0
UNLISTED	specs/port/tools/verify_trainer_c.t27	pass	ADD	0
UNLISTED	specs/portable/relay_observer.t27	pass	ADD	0
UNLISTED	specs/provider/schema.t27	pass	ADD	0
UNLISTED	specs/runtime/execute.t27	blocked	ADD	0
UNLISTED	specs/runtime/process.t27	blocked	ADD	0
UNLISTED	specs/server/http.t27	blocked	ADD	0
UNLISTED	specs/server/mdns.t27	blocked	ADD	0
UNLISTED	specs/server/project.t27	blocked	ADD	0
UNLISTED	specs/server/provider.t27	pass	ADD	0
UNLISTED	specs/server/router.t27	blocked	ADD	0
UNLISTED	specs/server/session.t27	pass	ADD	0
UNLISTED	specs/server/sse.t27	blocked	ADD	0
UNLISTED	specs/sync/schema.t27	blocked	ADD	0
UNLISTED	specs/t27f/frame_cache.t27	pass	ADD	0
UNLISTED	specs/t27f/outfit_atlas.t27	pass	ADD	0
UNLISTED	specs/t27f/particle_engine.t27	blocked	ADD	0
UNLISTED	specs/t27f/particle_field.t27	blocked	ADD	0
UNLISTED	specs/t27f/reel_particles.t27	blocked	ADD	0
UNLISTED	specs/t27f/reel_particles_mux.t27	blocked	ADD	0
UNLISTED	specs/t27f/token_floor.t27	blocked	ADD	0
UNLISTED	specs/t27f/token_floor_mux.t27	blocked	ADD	0
UNLISTED	specs/t27mcp/seal_verdict.t27	pass	ADD	0
UNLISTED	specs/test_framework/core.t27	blocked	ADD	0
UNLISTED	specs/tri/collections/array.t27	pass	ADD	0
UNLISTED	specs/tri/collections/bitmap.t27	pass	ADD	0
UNLISTED	specs/tri/collections/bitvector.t27	pass	ADD	0
UNLISTED	specs/tri/collections/circular_buffer.t27	pass	ADD	0
UNLISTED	specs/tri/collections/deque.t27	pass	ADD	0
UNLISTED	specs/tri/collections/linked_list.t27	pass	ADD	0
UNLISTED	specs/tri/collections/lockfree_stack.t27	pass	ADD	0
UNLISTED	specs/tri/collections/lru.t27	pass	ADD	0
UNLISTED	specs/tri/collections/lru_cache.t27	pass	ADD	0
UNLISTED	specs/tri/collections/priority_queue.t27	pass	ADD	0
UNLISTED	specs/tri/collections/skip_list.t27	pass	ADD	0
UNLISTED	specs/tri/collections/stack.t27	pass	ADD	0
UNLISTED	specs/tri/collections/variant.t27	pass	ADD	0
UNLISTED	specs/tri/crypto/base32.t27	pass	ADD	0
UNLISTED	specs/tri/crypto/base64.t27	pass	ADD	0
UNLISTED	specs/tri/encoding/bson.t27	blocked	ADD	0
UNLISTED	specs/tri/encoding/csv.t27	blocked	ADD	0
UNLISTED	specs/tri/encoding/html.t27	pass	ADD	0
UNLISTED	specs/tri/encoding/markup.t27	blocked	ADD	0
UNLISTED	specs/tri/encoding/msgpack.t27	blocked	ADD	0
UNLISTED	specs/tri/encoding/xml.t27	pass	ADD	0
UNLISTED	specs/tri/fmt_source.t27	pass	ADD	0
UNLISTED	specs/tri/graph/dijkstra.t27	pass	ADD	0
UNLISTED	specs/tri/graph/disjoint_set.t27	pass	ADD	0
UNLISTED	specs/tri/graph/graph_bfs.t27	blocked	ADD	0
UNLISTED	specs/tri/graph/prims_mst.t27	pass	ADD	0
UNLISTED	specs/tri/io/filesystem.t27	pass	ADD	0
UNLISTED	specs/tri/io/fs.t27	pass	ADD	0
UNLISTED	specs/tri/math/matrix.t27	pass	ADD	0
UNLISTED	specs/tri/math/statistics.t27	blocked	ADD	0
UNLISTED	specs/tri/net/async_stream.t27	pass	ADD	0
UNLISTED	specs/tri/net/http.t27	pass	ADD	0
UNLISTED	specs/tri/net/net.t27	pass	ADD	0
UNLISTED	specs/tri/net/url.t27	pass	ADD	0
UNLISTED	specs/tri/pipeline/builder.t27	blocked	ADD	0
UNLISTED	specs/tri/search/aho_corasick.t27	pass	ADD	0
UNLISTED	specs/tri/search/bloom_filter.t27	pass	ADD	0
UNLISTED	specs/tri/search/boyer_moore.t27	pass	ADD	0
UNLISTED	specs/tri/search/knuth_morris_pratt.t27	pass	ADD	0
UNLISTED	specs/tri/search/match.t27	pass	ADD	0
UNLISTED	specs/tri/search/rabin_karp.t27	pass	ADD	0
UNLISTED	specs/tri/search/regex_advanced.t27	pass	ADD	0
UNLISTED	specs/tri/search/search.t27	pass	ADD	0
UNLISTED	specs/tri/sort/heap_sort.t27	pass	ADD	0
UNLISTED	specs/tri/sort/quick_sort.t27	pass	ADD	0
UNLISTED	specs/tri/sort/radix_sort.t27	pass	ADD	0
UNLISTED	specs/tri/sort/shell_sort.t27	pass	ADD	0
UNLISTED	specs/tri/sort/sort.t27	pass	ADD	0
UNLISTED	specs/tri/trees/avl_tree.t27	pass	ADD	0
UNLISTED	specs/tri/trees/b_tree.t27	blocked	ADD	0
UNLISTED	specs/tri/trees/fenwick_tree.t27	pass	ADD	0
UNLISTED	specs/tri/trees/kd_tree.t27	blocked	ADD	0
UNLISTED	specs/tri/trees/quadtree.t27	blocked	ADD	0
UNLISTED	specs/tri/trees/red_black_tree.t27	pass	ADD	0
UNLISTED	specs/tri/trees/rtree.t27	blocked	ADD	0
UNLISTED	specs/tri/trees/segment_tree.t27	pass	ADD	0
UNLISTED	specs/tri/trees/trie.t27	blocked	ADD	0
UNLISTED	specs/tri/utils/config.t27	blocked	ADD	0
UNLISTED	specs/tri/utils/logger.t27	pass	ADD	0
UNLISTED	specs/tri/utils/random.t27	pass	ADD	0
UNLISTED	specs/tri/utils/terminal.t27	blocked	ADD	0
UNLISTED	specs/tri/utils/text.t27	pass	ADD	0
UNLISTED	specs/tri/utils/time.t27	blocked	ADD	0
UNLISTED	specs/tri/utils/utf8.t27	blocked	ADD	0
UNLISTED	specs/tri/utils/version.t27	pass	ADD	0
UNLISTED	specs/vsa/ops.t27	pass	ADD	0
UNLISTED	specs/vsa/vsa_core.t27	blocked	ADD	0

[github-actions]

PR Dashboard

Generated at: 2026-10-18 12:03:21 UTC

• ledger: re-derive from master 380a81f24923, as its lab verdict APPLY says (Closes #10447) #10448 ledger: re-derive from master 380a81f24923, as its lab verdict APPLY says (Closes #10447) | Created: 2026-10-18 | Updated: 2026-10-18 | 17 failing / 32 total
• t27mcp: tool_schema.t27 -- one row per tool and per field, so the MCP JSON schemas are generated, not written by hand (Closes #10444) #10446 t27mcp: tool_schema.t27 -- one row per tool and per field, so the MCP JSON schemas are generated, not written by hand (Closes #10444) | Created: 2026-10-18 | Updated: 2026-10-18 | 23 failing / 31 total
• ratchet ledgers: refresh corpus and t27b expectations against master (Closes #10416) #10445 ratchet ledgers: refresh corpus and t27b expectations against master (Closes #10416) | Created: 2026-10-18 | Updated: 2026-10-18 | 29 failing / 32 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-18 | 15 failing / 44 total
• policy: json_int53.t27 -- a 64-bit integer does not travel as a bare JSON number (Closes #10437) #10438 policy: json_int53.t27 -- a 64-bit integer does not travel as a bare JSON number (Closes #10437) | Created: 2026-10-18 | Updated: 2026-10-18 | 8 failing / 33 total
• t27b: a narrow signed @mod widens to the i64 routine -- arena_heap and file_io_contract pass (Closes #10423) #10431 t27b: a narrow signed @mod widens to the i64 routine -- arena_heap and file_io_contract pass (Closes #10423) | Created: 2026-10-18 | Updated: 2026-10-18 | 14 failing / 40 total
• igla cell 9: tern-tc-500m grounded, then reviewed (Closes #10420) #10428 igla cell 9: tern-tc-500m grounded, then reviewed (Closes #10420) | Created: 2026-10-18 | Updated: 2026-10-18 | 26 failing / 31 total
• t27c PTX backend: ternary x int8 GEMM kernel emitted by a .t27 spec (int8 mma.sync), ptx-run glue #10425 t27c PTX backend: ternary x int8 GEMM kernel emitted by a .t27 spec (int8 mma.sync), ptx-run glue | Created: 2026-10-18 | Updated: 2026-10-18 | 21 failing / 33 total
• t27f: frame_shard.t27 -- a generic frame partition for reel renders; token_floor uses it (Closes #10385) #10388 t27f: frame shards as a generic spec, frame_shard.t27 (Closes #10385) | Created: 2026-10-18 | Updated: 2026-10-18 | 4 failing / 34 total
• spec(ml): train_hslm -- main() trains the whole 3-block HSLM with STE and LAMB, writes MSLH checkpoints (Refs #10372) #10387 spec(ml): train_hslm -- main() trains the whole 3-block HSLM with STE and LAMB, writes MSLH checkpoints (Refs #10372) | Created: 2026-10-18 | Updated: 2026-10-18 | 3 failing / 32 total
• demo: claw/sarif alert on a spec that does not parse (DO NOT MERGE, Refs #10356) #10381 demo: claw/sarif alert on a spec that does not parse (DO NOT MERGE, Refs #10356) | Created: 2026-10-18 | Updated: 2026-10-18 | 6 failing / 33 total
• spec(hslm): nn/hslm_tokenizer and ml/hslm_corpus -- the 729-token BPE and a pinned TinyStories token file (Refs #10372) #10380 spec(hslm): nn/hslm_tokenizer and ml/hslm_corpus -- the 729-token BPE and a pinned TinyStories token file (Refs #10372) | Created: 2026-10-18 | Updated: 2026-10-18 | 3 failing / 33 total
• igla coder: pre-flight and kill rule as .t27 specs (Closes #10363) #10364 igla coder: pre-flight and kill rule as .t27 specs (Closes #10363) | Created: 2026-10-18 | Updated: 2026-10-18 | 5 failing / 37 total
• spec(seal_identity): frontier --reseal reseals a MISSING spec that already has a legacy seal #10267 spec(seal_identity): frontier --reseal reseals a MISSING spec that already has a legacy seal | Created: 2026-10-18 | Updated: 2026-10-18 | 8 failing / 41 total
• spec(port): land the remaining CR-CHAT ring batch -- 18 targets (Refs #8883, #8884) #10175 spec(port): land the remaining CR-CHAT ring batch -- 18 targets (Refs #8883, #8884) | Created: 2026-10-18 | Updated: 2026-10-18 | 6 failing / 34 total
• spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/reset_queue.t27 (Closes #9743) #10056 spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/reset_queue.t27 (Closes #9743) | Created: 2026-10-17 | Updated: 2026-10-17 | 30 failing / 55 total
• spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/smoke_agent.t27 (Closes #9714) #10022 spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/smoke_agent.t27 (Closes #9714) | Created: 2026-10-17 | Updated: 2026-10-17 | 4 failing / 29 total
• spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/debug_queue.t27 (Closes #9704) #10015 spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/debug_queue.t27 (Closes #9704) | Created: 2026-10-17 | Updated: 2026-10-17 | 4 failing / 29 total
• t27b: repair crypto and rust_convert; distinguish PR ledger lag #9637 t27b: repair crypto and rust_convert; distinguish PR ledger lag | Created: 2026-10-15 | Updated: 2026-10-15 | 3 failing / 33 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-17 | 3 failing / 33 total
• Port fpga/verilog/gft_xorpercep_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_xorpercep_jtag.t27 #9549 Port fpga/verilog/gft_xorpercep_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_xorpercep_jtag.t27 | Created: 2026-10-14 | Updated: 2026-10-14 | 4 failing / 29 total
• Port gHashTag/trios:crates/trios-git/src/stage.rs (Rust, 2 functions) to specs/port/trios/crates/trios-git/src/stage.t27 #9548 Port gHashTag/trios:crates/trios-git/src/stage.rs (Rust, 2 functions) to specs/port/trios/crates/trios-git/src/stage.t27 | Created: 2026-10-14 | Updated: 2026-10-14 | 4 failing / 29 total
• Port gHashTag/trios:crates/trios-rainbow-bridge/src/bridge.rs (Rust, 5 functions) to specs/port/trios/crates/trios-rainb #9485 Port gHashTag/trios:crates/trios-rainbow-bridge/src/bridge.rs (Rust, 5 functions) to specs/port/trios/crates/trios-rainb | Created: 2026-10-14 | Updated: 2026-10-14 | 4 failing / 29 total
• Port scripts/gen_w734.py (Python, 3 functions) to specs/port/scripts/gen_w734.t27 #9484 Port scripts/gen_w734.py (Python, 3 functions) to specs/port/scripts/gen_w734.t27 | Created: 2026-10-14 | Updated: 2026-10-14 | 4 failing / 29 total
• Port scripts/gen_w726.py (Python, 3 functions) to specs/port/scripts/gen_w726.t27 #9463 Port scripts/gen_w726.py (Python, 3 functions) to specs/port/scripts/gen_w726.t27 | Created: 2026-10-14 | Updated: 2026-10-14 | 3 failing / 29 total
• Port gHashTag/trinity:src/tri/sacred_alu.zig (Zig, 4 functions) to specs/port/trinity/src/tri/sacred_alu.t27 #9427 Port gHashTag/trinity:src/tri/sacred_alu.zig (Zig, 4 functions) to specs/port/trinity/src/tri/sacred_alu.t27 | Created: 2026-10-13 | Updated: 2026-10-13 | 5 failing / 29 total
• Port gHashTag/trios:crates/trios-phd/src/bin/rag_search.rs (Rust, 3 functions) to specs/port/trios/crates/trios-phd/src/ #9426 Port gHashTag/trios:crates/trios-phd/src/bin/rag_search.rs (Rust, 3 functions) to specs/port/trios/crates/trios-phd/src/ | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 29 total
• Port gHashTag/trinity:src/vibeec/spec_loader.zig (Zig, 2 functions) to specs/port/trinity/src/vibeec/spec_loader.t27 #9407 Port gHashTag/trinity:src/vibeec/spec_loader.zig (Zig, 2 functions) to specs/port/trinity/src/vibeec/spec_loader.t27 | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 29 total
• Port gHashTag/trinity:src/background_agent/config.zig (Zig, 5 functions) to specs/port/trinity/src/background_agent/conf #9345 Port gHashTag/trinity:src/background_agent/config.zig (Zig, 5 functions) to specs/port/trinity/src/background_agent/conf | Created: 2026-10-13 | Updated: 2026-10-13 | 5 failing / 29 total
• chore(deps)(deps): Bump tower-http from 0.6.8 to 0.7.1 #9340 chore(deps)(deps): Bump tower-http from 0.6.8 to 0.7.1 | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 39 total
• chore(deps)(deps): Bump futures-util from 0.3.32 to 0.3.34 #9339 chore(deps)(deps): Bump futures-util from 0.3.32 to 0.3.34 | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 36 total
• chore(deps)(deps): Bump hyper from 1.11.1 to 1.12.0 #9338 chore(deps)(deps): Bump hyper from 1.11.1 to 1.12.0 | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 36 total
• chore(deps)(deps): Bump uuid from 1.26.1 to 1.28.0 #9337 chore(deps)(deps): Bump uuid from 1.26.1 to 1.28.0 | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 36 total
• chore(deps)(deps): Bump tokio from 1.53.1 to 1.53.2 #9336 chore(deps)(deps): Bump tokio from 1.53.1 to 1.53.2 | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 36 total
• Port gHashTag/trios:crates/trios-cli/src/cmd/train.rs (Rust, 6 functions) to specs/port/trios/crates/trios-cli/src/cmd/t #9321 Port gHashTag/trios:crates/trios-cli/src/cmd/train.rs (Rust, 6 functions) to specs/port/trios/crates/trios-cli/src/cmd/t | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 29 total
• Port gHashTag/trinity:fpga/openxc7-synth/spi_flash_master.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth #9263 Port gHashTag/trinity:fpga/openxc7-synth/spi_flash_master.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth | Created: 2026-10-12 | Updated: 2026-10-12 | 7 failing / 29 total
• policy: list check_documented_commands_exist.py for the MAX_DEAD_TRI 141->140 follow-up #9231 policy: list check_documented_commands_exist.py for the MAX_DEAD_TRI 141->140 follow-up | Created: 2026-10-12 | Updated: 2026-10-12 | 3 failing / 26 total
• spec fix: 4 specs in specs/tri/net the reference blocks -- rewrite them in t27 (1 of 1) #9214 spec fix: 4 specs in specs/tri/net the reference blocks -- rewrite them in t27 (1 of 1) | Created: 2026-10-12 | Updated: 2026-10-12 | 5 failing / 29 total
• Port gHashTag/trios:crates/trios-agent-harness/rings/AH-00/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/tri #9200 Port gHashTag/trios:crates/trios-agent-harness/rings/AH-00/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/tri | Created: 2026-10-12 | Updated: 2026-10-12 | 6 failing / 29 total
• Port bootstrap/src/compiler.rs lines 30977-31050 (Rust, 6 functions) to specs/port/bootstrap/src/compiler/LinkSegment_te #9178 Port bootstrap/src/compiler.rs lines 30977-31050 (Rust, 6 functions) to specs/port/bootstrap/src/compiler/LinkSegment_te | Created: 2026-10-11 | Updated: 2026-10-12 | 6 failing / 29 total
• Port gHashTag/trinity:src/storm/links/vibee.zig (Zig, 1 function) to specs/port/trinity/src/storm/links/vibee.t27 #9177 Port gHashTag/trinity:src/storm/links/vibee.zig (Zig, 1 function) to specs/port/trinity/src/storm/links/vibee.t27 | Created: 2026-10-11 | Updated: 2026-10-12 | 5 failing / 32 total
• Port scripts/gen_w706.py (Python, 3 functions) to specs/port/scripts/gen_w706.t27 #9150 Port scripts/gen_w706.py (Python, 3 functions) to specs/port/scripts/gen_w706.t27 | Created: 2026-10-11 | Updated: 2026-10-12 | 7 failing / 30 total
• feat(wasm): MVP - AI-generated FPGA interpreter executing WASM #9148 feat(wasm): MVP - AI-generated FPGA interpreter executing WASM | Created: 2026-10-11 | Updated: 2026-10-11 | 9 failing / 37 total
• gen-rust: eight constructs that passed test-report now compile under rustc (Closes #8891) #9135 gen-rust: eight constructs that passed test-report now compile under rustc (Closes #8891) | Created: 2026-10-11 | Updated: 2026-10-12 | 3 failing / 40 total
• docs(agents): new functionality is written in .t27 only #8936 docs(agents): new functionality is written in .t27 only | Created: 2026-10-11 | Updated: 2026-10-11 | 4 failing / 24 total
• t27b verilog: pin declarations, and the TRI-NET board top in .t27 with no hand Verilog or XDC (Closes #8889) #8890 t27b verilog: pin declarations, and the TRI-NET board top in .t27 with no hand Verilog or XDC (Closes #8889) | Created: 2026-10-11 | Updated: 2026-10-18 | 3 failing / 31 total
• spec fix: 1 specs in specs/queen the reference blocks -- rewrite them in t27 (1 of 1) #8879 spec fix: 1 specs in specs/queen the reference blocks -- rewrite them in t27 (1 of 1) | Created: 2026-10-11 | Updated: 2026-10-18 | 4 failing / 30 total
• Port gHashTag/trinity:src/vibeec/updated_codex.zig (Zig, 5 functions) to specs/port/trinity/src/vibeec/updated_codex.t27 #8874 Port gHashTag/trinity:src/vibeec/updated_codex.zig (Zig, 5 functions) to specs/port/trinity/src/vibeec/updated_codex.t27 | Created: 2026-10-11 | Updated: 2026-10-12 | 6 failing / 30 total
• Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/ratchet_replay_window_guard.rs (Rust, 2 functions) to specs/p #8873 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/ratchet_replay_window_guard.rs (Rust, 2 functions) to specs/p | Created: 2026-10-11 | Updated: 2026-10-12 | 9 failing / 31 total
• Port scripts/tri-doc-sync.py (Python, 1 function) to specs/port/scripts/tri-doc-sync.t27 #8850 Port scripts/tri-doc-sync.py (Python, 1 function) to specs/port/scripts/tri-doc-sync.t27 | Created: 2026-10-10 | Updated: 2026-10-12 | 7 failing / 33 total

Summary

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

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

Seal Status

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