fix(typecheck): `?T` is an optional and accepts its payload by gHashTag · Pull Request #6187 · gHashTag/t27

gHashTag · 2026-10-04T16:35:59Z

What

resolve_type_str resolves Zig's prefix optional ?T (it only knew the suffix T?; ?u32 became Custom("?u32")).
types_compatible: an Optional(T) target accepts T and ?T under the payload's own rules. Cross-sign and narrowing stay rejected.
Unit test optional_accepts_its_payload_6186; FROZEN_HASH resealed (sha256 of compiler.rs).

Evidence

Against a t27c built from exact origin/master, over the 31 specs using ?T: 3 verdicts changed, all removals of false diagnostics -- specs/pins/parser.t27 FAILED -> OK, specs/port/scripts/gen_w378.t27 FAILED -> OK, queen-public-leaderboard.t27 8 -> 7 warnings.
Local t27c suite --ratchet --corpus-only: UNEXPECTED PASS for exactly those two specs, 0 unexpected failures. Both ledger entries removed, max_entries 113 -> 111.
t27b: gen_w378 was the lab's one LAB-FRONTEND-DISAGREES spec; it now reaches a real codegen blocker (string literal).

🤖 Generated with Claude Code

resolve_type_str only knew the suffix spelling `T?`, so Zig's prefix `?T` resolved to Custom("?u32") and `opt = value` with `value: u32` was a false type mismatch. types_compatible now lets Optional(T) accept T (and ?T) under the payload's own rules; cross-sign and narrowing stay rejected. Corpus ratchet: specs/pins/parser.t27 and specs/port/scripts/gen_w378.t27 are UNEXPECTED PASS and nothing else moved, so both ledger entries go and max_entries follows, 113 -> 111. FROZEN_HASH resealed because compiler.rs changed (sha256 of the file). Closes #6186 Refs #6063 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-04T16:39:13Z

PR Dashboard

Generated at: 2026-10-04 16:39:05 UTC

fix(typecheck): ?T is an optional and accepts its payload #6187 fix(typecheck): ?T is an optional and accepts its payload | Created: 2026-10-04 | Updated: 2026-10-04 | 24 failing / 32 total
feat(tri): tri t27b -- honest in-reference ratio, compile-only passes, per-spec delta #6185 feat(tri): tri t27b -- honest in-reference ratio, compile-only passes, per-spec delta | Created: 2026-10-04 | Updated: 2026-10-04 | 5 failing / 25 total
spec(split-reel): v10 -- a client's call is drawn in the client's colour #6182 spec(split-reel): v10 -- a client's call is drawn in the client's colour | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 25 total
fix(t27c): gen-c arithmetic traps where t27 traps, with no C undefined behaviour #6181 fix(t27c): gen-c arithmetic traps where t27 traps, with no C undefined behaviour | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 3 total
Profile for the Providers rung: skill card t27/providers-steward and its SKILL.md, held by T and Y #6104 Profile for the Providers rung: skill card t27/providers-steward and its SKILL.md, held by T and Y | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 25 total
fix(t27c): read a dotted module name and use path whole #6102 fix(t27c): read a dotted module name and use path whole | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 2 total
t27c serve: Railway GraphQL host backpack.railway.com/graphql does not answer; the API is backboard.railway.com/graphql/ #6091 t27c serve: Railway GraphQL host backpack.railway.com/graphql does not answer; the API is backboard.railway.com/graphql/ | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 34 total
Port gHashTag/trinity:fpga/openxc7-synth/led_diagnostic.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/l #6090 Port gHashTag/trinity:fpga/openxc7-synth/led_diagnostic.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/l | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 25 total
agents: review-warden, a profile agent for the review-speed watch (Closes #6088) #6089 agents: review-warden, a profile agent for the review-speed watch (Closes #6088) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 23 total
fix(xilinx7): bitwalk prints usage and clean errors instead of panicking (Closes #6039) #6073 fix(xilinx7): bitwalk prints usage and clean errors instead of panicking (Closes #6039) | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 25 total
specs/crons: re-measured NOTEs for 999 ci/security; formal-mutation disabled until on master #6066 specs/crons: re-measured NOTEs for 999 ci/security; formal-mutation disabled until on master | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 25 total
fix(catalog-gate): private scratch dir per regeneration, so concurrent runs stop failing each other (Closes #6058) #6059 fix(catalog-gate): private scratch dir per regeneration, so concurrent runs stop failing each other (Closes #6058) | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 34 total
self-host: give Gamma (agent C) a /self-host skill for epic #5980 #6057 self-host: give Gamma (agent C) a /self-host skill for epic #5980 | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 25 total
Port gHashTag/trinity:fpga/fly-vivado/verilog/trinity_qmtech.v (Verilog, 1 module) to specs/port/trinity/fpga/fly-vivado #6045 Port gHashTag/trinity:fpga/fly-vivado/verilog/trinity_qmtech.v (Verilog, 1 module) to specs/port/trinity/fpga/fly-vivado | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 25 total
Implement the 1 empty function body in specs/runtime/process.t27 #6037 Implement the 1 empty function body in specs/runtime/process.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 25 total
specs/crons: HOST launchd and cards for the Mac jobs #6036 specs/crons: HOST launchd and cards for the Mac jobs | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 25 total
docs(agents): crons and skills are specs; say what each reader can tell #6015 docs(agents): crons and skills are specs; say what each reader can tell | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 23 total
gen-python: land t27c's Python backend, measured over every spec (Closes #5983) #6012 gen-python: land t27c's Python backend, measured over every spec (Closes #5983) | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 34 total
hooks: pre-commit trusts a PATH tri only if it has hooks pre-commit (#6009) #6011 hooks: pre-commit trusts a PATH tri only if it has hooks pre-commit (#6009) | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 25 total
Port scripts/verify_smoking_guns.py (Python, 1 function) to specs/port/scripts/verify_smoking_guns.t27 #6008 Port scripts/verify_smoking_guns.py (Python, 1 function) to specs/port/scripts/verify_smoking_guns.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 25 total
fix(tri): per-pid temp scratch cannot outlive its run -- Drop guard plus dead-pid sweep #5990 fix(tri): per-pid temp scratch cannot outlive its run -- Drop guard plus dead-pid sweep | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 39 total
ci: every check is a .t27 card -- schema, generator, three pilots (P1 of #5933) #5970 ci: every check is a .t27 card -- schema, generator, three pilots (P1 of #5933) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 30 total
ci(fpga): fpga-bitstream is an Arty A7-100T smoke build -- never offer it for the Wukong #5960 ci(fpga): fpga-bitstream is an Arty A7-100T smoke build -- never offer it for the Wukong | Created: 2026-10-04 | Updated: 2026-10-04 | 4 failing / 40 total
Port gHashTag/trinity:fpga/openxc7-synth/blink_minimal.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/bl #5956 Port gHashTag/trinity:fpga/openxc7-synth/blink_minimal.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/bl | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 31 total
fpga: elaboration ratchet back to 176 -- ternary_isa (W459), uart (spec), adapter (NEW-clean) (Closes #5908) #5948 fpga: elaboration ratchet back to 176 -- ternary_isa (W459), uart (spec), adapter (NEW-clean) (Closes #5908) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 46 total
Port gHashTag/trinity:src/background_agent/main.zig (Zig, 1 function) to specs/port/trinity/src/background_agent/main.t2 #5946 Port gHashTag/trinity:src/background_agent/main.zig (Zig, 1 function) to specs/port/trinity/src/background_agent/main.t2 | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 35 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/provider-error-classifier.ts (TypeScript, 1 function) to #5926 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/provider-error-classifier.ts (TypeScript, 1 function) to | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 31 total
CI: spec-guards and emit-bitexact restore master cargo caches; cancel superseded emit-bitexact runs (B25) #5924 CI: spec-guards and emit-bitexact restore master cargo caches; cancel superseded emit-bitexact runs (B25) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 32 total
ring-096 and formats.t27 agree on f32 (Closes #5746) #5921 ring-096 and formats.t27 agree on f32 (Closes #5746) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 56 total
spec(crm-client-workspace): v6 -- client work carries the client's marks #5893 spec(crm-client-workspace): v6 -- client work carries the client's marks | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 33 total
Port gHashTag/trios:crates/trios-openclaw/rings/OC-01/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/trios-op #5888 Port gHashTag/trios:crates/trios-openclaw/rings/OC-01/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/trios-op | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 35 total
Port gHashTag/trinity:fpga/openxc7-synth/d_oscillator.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_o #5887 Port gHashTag/trinity:fpga/openxc7-synth/d_oscillator.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_o | Created: 2026-10-04 | Updated: 2026-10-04 | 5 failing / 35 total
Port scripts/test-agent-bridge.sh (Shell, 1 function) to specs/port/scripts/test-agent-bridge.t27 #5883 Port scripts/test-agent-bridge.sh (Shell, 1 function) to specs/port/scripts/test-agent-bridge.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 35 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/a2a/a2a-liveness.ts (TypeScript, 2 functions) to #5879 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/a2a/a2a-liveness.ts (TypeScript, 2 functions) to | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 35 total
Port gHashTag/trinity:fpga/openxc7-synth/led_both_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/le #5866 Port gHashTag/trinity:fpga/openxc7-synth/led_both_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/le | Created: 2026-10-04 | Updated: 2026-10-04 | 4 failing / 35 total
Port gHashTag/trios:crates/trios-scarab-types/rings/SR-01/src/lib.rs (Rust, 6 functions) to specs/port/trios/crates/trio #5855 Port gHashTag/trios:crates/trios-scarab-types/rings/SR-01/src/lib.rs (Rust, 6 functions) to specs/port/trios/crates/trio | Created: 2026-10-04 | Updated: 2026-10-04 | 4 failing / 35 total
Port gHashTag/trinity:src/vibeec/validation_engine.zig (Zig, 3 functions) to specs/port/trinity/src/vibeec/validation_en #5836 Port gHashTag/trinity:src/vibeec/validation_engine.zig (Zig, 3 functions) to specs/port/trinity/src/vibeec/validation_en | Created: 2026-10-03 | Updated: 2026-10-04 | 5 failing / 35 total
Port gHashTag/trinity:fpga/openxc7-synth/blink_simple.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/bli #5822 Port gHashTag/trinity:fpga/openxc7-synth/blink_simple.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/bli | Created: 2026-10-03 | Updated: 2026-10-04 | 4 failing / 35 total
Port gHashTag/trinity:fpga/openxc7-synth/uart_echo.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/uart_e #5820 Port gHashTag/trinity:fpga/openxc7-synth/uart_echo.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/uart_e | Created: 2026-10-03 | Updated: 2026-10-04 | 4 failing / 35 total
Port gHashTag/trinity:fpga/openxc7-synth/d_srl_blink.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_sr #5783 Port gHashTag/trinity:fpga/openxc7-synth/d_srl_blink.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_sr | Created: 2026-10-03 | Updated: 2026-10-04 | 2 failing / 36 total
Port gHashTag/trinity:fpga/openxc7-synth/d_bufg_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_bu #5781 Port gHashTag/trinity:fpga/openxc7-synth/d_bufg_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_bu | Created: 2026-10-03 | Updated: 2026-10-04 | 3 failing / 36 total
Port gHashTag/trinity:fpga/openxc7-synth/led_on_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/led_ #5780 Port gHashTag/trinity:fpga/openxc7-synth/led_on_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/led_ | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 36 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-lane-credits.ts (TypeScript, 4 functions) #5778 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-lane-credits.ts (TypeScript, 4 functions) | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 32 total
bees/merger/publisher: reviewer bee as a service, merger reads discounted checks, publisher heading passes check (Closes #5776) #5777 bees/merger/publisher: reviewer bee as a service, merger reads discounted checks, publisher heading passes check (Closes #5776) | Created: 2026-10-03 | Updated: 2026-10-04 | 0 failing / 3 total
Port gHashTag/trinity:fpga/openxc7-synth/d_g22_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_g22 #5757 Port gHashTag/trinity:fpga/openxc7-synth/d_g22_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_g22 | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 35 total
Port gHashTag/trinity:fpga/openxc7-synth/d_y0_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_y0_t #5756 Port gHashTag/trinity:fpga/openxc7-synth/d_y0_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_y0_t | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 37 total
Port scripts/tri-issue-create.py (Python, 1 function) to specs/port/scripts/tri-issue-create.t27 #5755 Port scripts/tri-issue-create.py (Python, 1 function) to specs/port/scripts/tri-issue-create.t27 | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 37 total
fix(tri): gates preview reads the PR body the way the issue gate does (Closes #5744) #5745 fix(tri): gates preview reads the PR body the way the issue gate does (Closes #5744) | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 42 total
fix(tri): gates preview asks the contexts the ruleset requires, parse-ratchet among them (Closes #5725) #5732 fix(tri): gates preview asks the contexts the ruleset requires, parse-ratchet among them (Closes #5725) | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 43 total
Port gHashTag/trinity:fpga/openxc7-synth/d_e21_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_e21 #5689 Port gHashTag/trinity:fpga/openxc7-synth/d_e21_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_e21 | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 32 total

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	45
PRs with All Checks Green	5
READY	4
FAILING	45
PENDING	0
NO CHECKS YET	0

These columns do not partition: 4 + 45 + 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)=8597b6ded596 != 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).

…l-coerce

github-actions · 2026-10-04T16:48:06Z

PR Dashboard

Generated at: 2026-10-04 16:47:58 UTC

fix(typecheck): ?T is an optional and accepts its payload #6187 fix(typecheck): ?T is an optional and accepts its payload | Created: 2026-10-04 | Updated: 2026-10-04 | 21 failing / 27 total
feat(tri): tri t27b -- honest in-reference ratio, compile-only passes, per-spec delta #6185 feat(tri): tri t27b -- honest in-reference ratio, compile-only passes, per-spec delta | Created: 2026-10-04 | Updated: 2026-10-04 | 12 failing / 24 total
spec(split-reel): v10 -- a client's call is drawn in the client's colour #6182 spec(split-reel): v10 -- a client's call is drawn in the client's colour | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 25 total
fix(t27c): gen-c arithmetic traps where t27 traps, with no C undefined behaviour #6181 fix(t27c): gen-c arithmetic traps where t27 traps, with no C undefined behaviour | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 3 total
Profile for the Providers rung: skill card t27/providers-steward and its SKILL.md, held by T and Y #6104 Profile for the Providers rung: skill card t27/providers-steward and its SKILL.md, held by T and Y | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 25 total
fix(t27c): read a dotted module name and use path whole #6102 fix(t27c): read a dotted module name and use path whole | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 2 total
t27c serve: Railway GraphQL host backpack.railway.com/graphql does not answer; the API is backboard.railway.com/graphql/ #6091 t27c serve: Railway GraphQL host backpack.railway.com/graphql does not answer; the API is backboard.railway.com/graphql/ | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 34 total
Port gHashTag/trinity:fpga/openxc7-synth/led_diagnostic.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/l #6090 Port gHashTag/trinity:fpga/openxc7-synth/led_diagnostic.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/l | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 25 total
agents: review-warden, a profile agent for the review-speed watch (Closes #6088) #6089 agents: review-warden, a profile agent for the review-speed watch (Closes #6088) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 23 total
fix(xilinx7): bitwalk prints usage and clean errors instead of panicking (Closes #6039) #6073 fix(xilinx7): bitwalk prints usage and clean errors instead of panicking (Closes #6039) | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 25 total
specs/crons: re-measured NOTEs for 999 ci/security; formal-mutation disabled until on master #6066 specs/crons: re-measured NOTEs for 999 ci/security; formal-mutation disabled until on master | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 25 total
fix(catalog-gate): private scratch dir per regeneration, so concurrent runs stop failing each other (Closes #6058) #6059 fix(catalog-gate): private scratch dir per regeneration, so concurrent runs stop failing each other (Closes #6058) | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 34 total
self-host: give Gamma (agent C) a /self-host skill for epic #5980 #6057 self-host: give Gamma (agent C) a /self-host skill for epic #5980 | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 25 total
Port gHashTag/trinity:fpga/fly-vivado/verilog/trinity_qmtech.v (Verilog, 1 module) to specs/port/trinity/fpga/fly-vivado #6045 Port gHashTag/trinity:fpga/fly-vivado/verilog/trinity_qmtech.v (Verilog, 1 module) to specs/port/trinity/fpga/fly-vivado | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 25 total
Implement the 1 empty function body in specs/runtime/process.t27 #6037 Implement the 1 empty function body in specs/runtime/process.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 25 total
specs/crons: HOST launchd and cards for the Mac jobs #6036 specs/crons: HOST launchd and cards for the Mac jobs | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 25 total
docs(agents): crons and skills are specs; say what each reader can tell #6015 docs(agents): crons and skills are specs; say what each reader can tell | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 23 total
gen-python: land t27c's Python backend, measured over every spec (Closes #5983) #6012 gen-python: land t27c's Python backend, measured over every spec (Closes #5983) | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 34 total
hooks: pre-commit trusts a PATH tri only if it has hooks pre-commit (#6009) #6011 hooks: pre-commit trusts a PATH tri only if it has hooks pre-commit (#6009) | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 25 total
Port scripts/verify_smoking_guns.py (Python, 1 function) to specs/port/scripts/verify_smoking_guns.t27 #6008 Port scripts/verify_smoking_guns.py (Python, 1 function) to specs/port/scripts/verify_smoking_guns.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 25 total
fix(tri): per-pid temp scratch cannot outlive its run -- Drop guard plus dead-pid sweep #5990 fix(tri): per-pid temp scratch cannot outlive its run -- Drop guard plus dead-pid sweep | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 39 total
ci: every check is a .t27 card -- schema, generator, three pilots (P1 of #5933) #5970 ci: every check is a .t27 card -- schema, generator, three pilots (P1 of #5933) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 30 total
ci(fpga): fpga-bitstream is an Arty A7-100T smoke build -- never offer it for the Wukong #5960 ci(fpga): fpga-bitstream is an Arty A7-100T smoke build -- never offer it for the Wukong | Created: 2026-10-04 | Updated: 2026-10-04 | 4 failing / 40 total
Port gHashTag/trinity:fpga/openxc7-synth/blink_minimal.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/bl #5956 Port gHashTag/trinity:fpga/openxc7-synth/blink_minimal.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/bl | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 31 total
fpga: elaboration ratchet back to 176 -- ternary_isa (W459), uart (spec), adapter (NEW-clean) (Closes #5908) #5948 fpga: elaboration ratchet back to 176 -- ternary_isa (W459), uart (spec), adapter (NEW-clean) (Closes #5908) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 46 total
Port gHashTag/trinity:src/background_agent/main.zig (Zig, 1 function) to specs/port/trinity/src/background_agent/main.t2 #5946 Port gHashTag/trinity:src/background_agent/main.zig (Zig, 1 function) to specs/port/trinity/src/background_agent/main.t2 | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 35 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/provider-error-classifier.ts (TypeScript, 1 function) to #5926 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/provider-error-classifier.ts (TypeScript, 1 function) to | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 31 total
CI: spec-guards and emit-bitexact restore master cargo caches; cancel superseded emit-bitexact runs (B25) #5924 CI: spec-guards and emit-bitexact restore master cargo caches; cancel superseded emit-bitexact runs (B25) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 32 total
ring-096 and formats.t27 agree on f32 (Closes #5746) #5921 ring-096 and formats.t27 agree on f32 (Closes #5746) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 56 total
spec(crm-client-workspace): v6 -- client work carries the client's marks #5893 spec(crm-client-workspace): v6 -- client work carries the client's marks | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 33 total
Port gHashTag/trios:crates/trios-openclaw/rings/OC-01/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/trios-op #5888 Port gHashTag/trios:crates/trios-openclaw/rings/OC-01/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/trios-op | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 35 total
Port gHashTag/trinity:fpga/openxc7-synth/d_oscillator.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_o #5887 Port gHashTag/trinity:fpga/openxc7-synth/d_oscillator.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_o | Created: 2026-10-04 | Updated: 2026-10-04 | 5 failing / 35 total
Port scripts/test-agent-bridge.sh (Shell, 1 function) to specs/port/scripts/test-agent-bridge.t27 #5883 Port scripts/test-agent-bridge.sh (Shell, 1 function) to specs/port/scripts/test-agent-bridge.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 35 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/a2a/a2a-liveness.ts (TypeScript, 2 functions) to #5879 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/a2a/a2a-liveness.ts (TypeScript, 2 functions) to | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 35 total
Port gHashTag/trinity:fpga/openxc7-synth/led_both_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/le #5866 Port gHashTag/trinity:fpga/openxc7-synth/led_both_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/le | Created: 2026-10-04 | Updated: 2026-10-04 | 4 failing / 35 total
Port gHashTag/trios:crates/trios-scarab-types/rings/SR-01/src/lib.rs (Rust, 6 functions) to specs/port/trios/crates/trio #5855 Port gHashTag/trios:crates/trios-scarab-types/rings/SR-01/src/lib.rs (Rust, 6 functions) to specs/port/trios/crates/trio | Created: 2026-10-04 | Updated: 2026-10-04 | 4 failing / 35 total
Port gHashTag/trinity:src/vibeec/validation_engine.zig (Zig, 3 functions) to specs/port/trinity/src/vibeec/validation_en #5836 Port gHashTag/trinity:src/vibeec/validation_engine.zig (Zig, 3 functions) to specs/port/trinity/src/vibeec/validation_en | Created: 2026-10-03 | Updated: 2026-10-04 | 5 failing / 35 total
Port gHashTag/trinity:fpga/openxc7-synth/blink_simple.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/bli #5822 Port gHashTag/trinity:fpga/openxc7-synth/blink_simple.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/bli | Created: 2026-10-03 | Updated: 2026-10-04 | 4 failing / 35 total
Port gHashTag/trinity:fpga/openxc7-synth/uart_echo.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/uart_e #5820 Port gHashTag/trinity:fpga/openxc7-synth/uart_echo.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/uart_e | Created: 2026-10-03 | Updated: 2026-10-04 | 4 failing / 35 total
Port gHashTag/trinity:fpga/openxc7-synth/d_srl_blink.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_sr #5783 Port gHashTag/trinity:fpga/openxc7-synth/d_srl_blink.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_sr | Created: 2026-10-03 | Updated: 2026-10-04 | 2 failing / 36 total
Port gHashTag/trinity:fpga/openxc7-synth/d_bufg_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_bu #5781 Port gHashTag/trinity:fpga/openxc7-synth/d_bufg_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_bu | Created: 2026-10-03 | Updated: 2026-10-04 | 3 failing / 36 total
Port gHashTag/trinity:fpga/openxc7-synth/led_on_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/led_ #5780 Port gHashTag/trinity:fpga/openxc7-synth/led_on_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/led_ | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 36 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-lane-credits.ts (TypeScript, 4 functions) #5778 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-lane-credits.ts (TypeScript, 4 functions) | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 32 total
bees/merger/publisher: reviewer bee as a service, merger reads discounted checks, publisher heading passes check (Closes #5776) #5777 bees/merger/publisher: reviewer bee as a service, merger reads discounted checks, publisher heading passes check (Closes #5776) | Created: 2026-10-03 | Updated: 2026-10-04 | 0 failing / 3 total
Port gHashTag/trinity:fpga/openxc7-synth/d_g22_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_g22 #5757 Port gHashTag/trinity:fpga/openxc7-synth/d_g22_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_g22 | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 35 total
Port gHashTag/trinity:fpga/openxc7-synth/d_y0_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_y0_t #5756 Port gHashTag/trinity:fpga/openxc7-synth/d_y0_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_y0_t | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 37 total
Port scripts/tri-issue-create.py (Python, 1 function) to specs/port/scripts/tri-issue-create.t27 #5755 Port scripts/tri-issue-create.py (Python, 1 function) to specs/port/scripts/tri-issue-create.t27 | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 37 total
fix(tri): gates preview reads the PR body the way the issue gate does (Closes #5744) #5745 fix(tri): gates preview reads the PR body the way the issue gate does (Closes #5744) | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 42 total
fix(tri): gates preview asks the contexts the ruleset requires, parse-ratchet among them (Closes #5725) #5732 fix(tri): gates preview asks the contexts the ruleset requires, parse-ratchet among them (Closes #5725) | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 43 total
Port gHashTag/trinity:fpga/openxc7-synth/d_e21_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_e21 #5689 Port gHashTag/trinity:fpga/openxc7-synth/d_e21_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_e21 | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 32 total

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	44
PRs with All Checks Green	6
READY	4
FAILING	44
PENDING	0
NO CHECKS YET	0

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

Seal Status

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

Merge remote-tracking branch 'origin/master' into claude/t27b-optiona…

6448e85

…l-coerce

gHashTag merged commit f033b20 into master Oct 4, 2026
33 of 35 checks passed

gHashTag mentioned this pull request Oct 4, 2026

EPIC: t27b runs the whole corpus -- 100% of reference-passing specs, 0 mismatches, experiments on Railway #6063

Open

6 tasks

Navigation Menu

fix(typecheck): `?T` is an optional and accepts its payload - #6187

fix(typecheck): `?T` is an optional and accepts its payload#6187
gHashTag merged 2 commits into
masterfrom
claude/t27b-optional-coerce

gHashTag commented Oct 4, 2026

Uh oh!

github-actions Bot commented Oct 4, 2026

Uh oh!

github-actions Bot commented Oct 4, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

gHashTag commented Oct 4, 2026

What

Evidence

Uh oh!

github-actions Bot commented Oct 4, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Oct 4, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant