specs(basics): the 27 t27-basics course lessons, upstreamed from trinity's vendored copy (Closes #7793) by gHashTag · Pull Request #7799 · gHashTag/t27

gHashTag · 2026-10-08T12:00:15Z

What

Adds specs/basics/01..27_*.t27, the 27 lesson specs of the t27.ai course "t27 basics" (course 0). Until now they existed only in gHashTag/trinity's vendored mirror of this repository (apps/website/public/t27/files/, trinity commit 127ac93fa). The catalog refresh re-vendors that mirror from this master, so on 2026-10-08 (trinity#1535) it deleted all 27 and the apex publish stopped (gHashTag/trinity#1540).

Evidence

Byte for byte: every blob SHA equals the one at trinity 7af714759 (the commit before the refresh).
t27c parse-complete (t27c 0.5.0) over the 27 files: 27 parse and consume every token, 0 truncated, 0 discarded, 0 unparsed.
t27c spec-status: 8 IMPLEMENTED, 19 NOFN (teaching specs made of constants and test blocks).
ASCII only (L3); every file has test blocks (L4).
In the site's wasm compiler (t27_compiler.wasm) each compiles clean on all seven backends, which trinity's course-from-spec.mjs requires of a lesson spec.
t27c suite --corpus-only over the 27 files: parse, parse completeness, invariant lowering, Verilog test bodies, backend omissions, keyword decls, format strings and typecheck all 27/27; gen, gen-c, gen-rust, gen-verilog, gen-verilog-hir succeed on every file.
tools/dupe_scan.py and tools/check_assertionless_spec_tests.py on master + these files: no new duplicate body, no new assertionless test.

One ledger move

The lesson's pub struct Point { x: i32, y: i32 } (17_structs.t27:7) shares its name with TriBezier's pub const Point = struct { x : "f64", y : "f64" } (tri/math/bezier.t27:13), which tri types ratchet reports as a NEW conflict. The second commit blesses it (docs/reports/type_conflicts.json, 101 -> 102) and records the reading as DISTINCT in docs/reports/type_conflicts_classified.json and the DISTINCT table of docs/TYPE_CONFLICTS.md (40 -> 41). The lesson keeps its name because the course page quotes Point { x: i32, y: i32 } verbatim. tri types ratchet: RATCHET CLEAN; tri types classified: OK.

After merge

Trinity's next catalog refresh vendors the same bytes from master, so trinity's restored copy (gHashTag/trinity#1540) becomes a plain mirror again. The other 13 course lesson specs trinity carries have their own upstream PRs: #7496, #7659, #7579, #7586, #7626.

🤖 Generated with Claude Code

…ity's vendored copy (Closes #7793) The t27.ai course "t27 basics" opens one spec per lesson, specs/basics/01..27. They were committed only to gHashTag/trinity's vendored mirror of this repository (apps/website/public/t27/files, trinity 127ac93fa), so the site's catalog refresh, which re-vendors that mirror from this master, deleted all 27 on 2026-10-08 and the apex publish stopped (gHashTag/trinity#1540). The files are added byte for byte as trinity carries them (blob SHAs equal to trinity 7af714759). t27c parse-complete: 27 scanned, 27 parse and consume every token, 0 discarded. Every file is ASCII and carries test blocks. In the site's wasm compiler each compiles clean on all seven backends, which is what trinity's course generator requires of a lesson spec. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-08T12:15:35Z

PR Dashboard

Generated at: 2026-10-08 12:15:25 UTC

fpga: the bench board is an ALINX AX7203, and a t27 Ethernet beacon for it (Closes #7788) #7802 fpga: the bench board is an ALINX AX7203, and a t27 Ethernet beacon for it (Closes #7788) | Created: 2026-10-08 | Updated: 2026-10-08 | 28 failing / 31 total
t27b: undefined as an argument the callee never reads is passed, as in the reference, and refused by name where it is read (Closes #7796) #7801 t27b: undefined as an argument the callee never reads is passed, as in the reference, and refused by name where it is read (Closes #7796) | Created: 2026-10-08 | Updated: 2026-10-08 | 28 failing / 31 total
spec(queen): the event log as a bus, a cursor that loses nothing (Closes #7789) #7800 spec(queen): the event log as a bus, a cursor that loses nothing (Closes #7789) | Created: 2026-10-08 | Updated: 2026-10-08 | 25 failing / 29 total
specs(basics): the 27 t27-basics course lessons, upstreamed from trinity's vendored copy (Closes #7793) #7799 specs(basics): the 27 t27-basics course lessons, upstreamed from trinity's vendored copy (Closes #7793) | Created: 2026-10-08 | Updated: 2026-10-08 | 21 failing / 29 total
Port bootstrap/src/compiler.rs lines 23970-24090 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/return_unsized #7797 Port bootstrap/src/compiler.rs lines 23970-24090 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/return_unsized | Created: 2026-10-08 | Updated: 2026-10-08 | 12 failing / 28 total
Port gHashTag/trios:crates/trios-cli/src/cmd/issue.rs (Rust, 2 functions) to specs/port/trios/crates/trios-cli/src/cmd/i #7795 Port gHashTag/trios:crates/trios-cli/src/cmd/issue.rs (Rust, 2 functions) to specs/port/trios/crates/trios-cli/src/cmd/i | Created: 2026-10-08 | Updated: 2026-10-08 | 10 failing / 29 total
policy: owner-approved exception for the AX7203 Ethernet beacon wrapper and XDC (Closes #7792) #7794 policy: owner-approved exception for the AX7203 Ethernet beacon wrapper and XDC (Closes #7792) | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 26 total
t27b: a write through an array literal printed @constCast(&[_]E{ ... }) is refused by name, not encoded, from a t27 plan (Closes #7765) #7786 t27b: a write through an array literal printed @constCast(&[_]E{ ... }) is refused by name, not encoded, from a t27 plan (Closes #7765) | Created: 2026-10-08 | Updated: 2026-10-08 | 9 failing / 41 total
Port gHashTag/trios:crates/trinity_loss/src/lib.rs (Rust, 5 functions) to specs/port/trios/crates/trinity_loss/src/lib.t #7760 Port gHashTag/trios:crates/trinity_loss/src/lib.rs (Rust, 5 functions) to specs/port/trios/crates/trinity_loss/src/lib.t | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 31 total
t27b: ?*anyopaque and @ptrFromInt to an optional pointer lower from a t27 plan (Closes #7737) #7744 t27b: ?*anyopaque and @ptrFromInt to an optional pointer lower from a t27 plan (Closes #7737) | Created: 2026-10-08 | Updated: 2026-10-08 | 6 failing / 38 total
t27b: .{} takes its result type, and a store of the fn's own frame address is refused, from t27 plans (Closes #7735) #7743 t27b: .{} takes its result type, and a store of the fn's own frame address is refused, from t27 plans (Closes #7735) | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 39 total
Port gHashTag/trinity:fpga/gf16-pipelined/gf16_dot4_p.v (Verilog, 1 module) to specs/port/trinity/fpga/gf16-pipelined/gf #7734 Port gHashTag/trinity:fpga/gf16-pipelined/gf16_dot4_p.v (Verilog, 1 module) to specs/port/trinity/fpga/gf16-pipelined/gf | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
fpga: systolic wavefront array spec -- matrix multiply as a schedule (for the ai-accelerator course) #7719 fpga: systolic wavefront array spec -- matrix multiply as a schedule (for the ai-accelerator course) | Created: 2026-10-08 | Updated: 2026-10-08 | 5 failing / 37 total
Port scripts/gen_w328.py (Python, 1 function) to specs/port/scripts/gen_w328.t27 #7709 Port scripts/gen_w328.py (Python, 1 function) to specs/port/scripts/gen_w328.t27 | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port fpga/verilog/gft_sadd_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_sadd_jtag.t27 #7708 Port fpga/verilog/gft_sadd_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_sadd_jtag.t27 | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/quantum_bridge_zero.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-sy #7707 Port gHashTag/trinity:fpga/openxc7-synth/quantum_bridge_zero.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-sy | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port gHashTag/trinity:src/tri/author_attribution_guard.zig (Zig, 2 functions) to specs/port/trinity/src/tri/author_attri #7689 Port gHashTag/trinity:src/tri/author_attribution_guard.zig (Zig, 2 functions) to specs/port/trinity/src/tri/author_attri | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
fpga: four specs parse to the end -- gherkin constructs the parser discards, rewritten in-file (Refs #2474, Refs gHashTag/trinity#1484) #7659 fpga: four specs parse to the end -- gherkin constructs the parser discards, rewritten in-file (Refs #2474, Refs gHashTag/trinity#1484) | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 37 total
Port gHashTag/trinity:src/vibeec/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/bogatyrs #7644 Port gHashTag/trinity:src/vibeec/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/bogatyrs | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-mcp/rings/SR-01/src/audits_new.rs (Rust, 4 functions) to specs/port/trios/crates/trios- #7643 Port gHashTag/trios:crates/trios-mcp/rings/SR-01/src/audits_new.rs (Rust, 4 functions) to specs/port/trios/crates/trios- | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
fpga: RGMII timing arithmetic and Ethernet FCS specs (for the buses course) #7626 fpga: RGMII timing arithmetic and Ethernet FCS specs (for the buses course) | Created: 2026-10-07 | Updated: 2026-10-08 | 0 failing / 2 total
Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity #7624 Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/envelope_size_distribution_uniformity.rs (Rust, 1 function) t #7623 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/envelope_size_distribution_uniformity.rs (Rust, 1 function) t | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 31 total
Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 #7613 Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port fpga/verilog/gft_dup_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup_jtag.t27 #7612 Port fpga/verilog/gft_dup_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
fpga(cdc): mmcm, reset_sync and mtbf as t27 specs (Closes #7585) #7586 fpga(cdc): mmcm, reset_sync and mtbf as t27 specs (Closes #7585) | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 39 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-04/src/padding_metadata_leak_guard.rs (Rust, 1 function) to specs/po #7582 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-04/src/padding_metadata_leak_guard.rs (Rust, 1 function) to specs/po | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
fpga(coverage): line, toggle and FSM coverage as a t27 spec (Closes #7578) #7579 fpga(coverage): line, toggle and FSM coverage as a t27 spec (Closes #7578) | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 37 total
Port scripts/gen_w376.py (Python, 1 function) to specs/port/scripts/gen_w376.t27 #7568 Port scripts/gen_w376.py (Python, 1 function) to specs/port/scripts/gen_w376.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/queen-pool.ts (TypeScript, 3 functions) to specs/port/ #7567 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/queen-pool.ts (TypeScript, 3 functions) to specs/port/ | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
ci: test only the specs a change can affect -- t27c use-edges feeds specs/ci/affected.t27 (Closes #7565) #7566 ci: test only the specs a change can affect -- t27c use-edges feeds specs/ci/affected.t27 (Closes #7565) | Created: 2026-10-07 | Updated: 2026-10-08 | 4 failing / 40 total
Port scripts/gen_w369.py (Python, 1 function) to specs/port/scripts/gen_w369.t27 #7555 Port scripts/gen_w369.py (Python, 1 function) to specs/port/scripts/gen_w369.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port scripts/gen_w372.py (Python, 1 function) to specs/port/scripts/gen_w372.t27 #7554 Port scripts/gen_w372.py (Python, 1 function) to specs/port/scripts/gen_w372.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:src/depin/swarm_watch.zig (Zig, 2 functions) to specs/port/trinity/src/depin/swarm_watch.t27 #7553 Port gHashTag/trinity:src/depin/swarm_watch.zig (Zig, 2 functions) to specs/port/trinity/src/depin/swarm_watch.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:tools/acm_ae_check/src/main.rs (Rust, 1 function) to specs/port/trios/tools/acm_ae_check/src/main.t2 #7552 Port gHashTag/trios:tools/acm_ae_check/src/main.rs (Rust, 1 function) to specs/port/trios/tools/acm_ae_check/src/main.t2 | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port fpga/verilog/gft_kat_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_kat_jtag.t27 #7540 Port fpga/verilog/gft_kat_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_kat_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port gHashTag/trios:crates/trios-trainer/src/data.rs (Rust, 7 functions) to specs/port/trios/crates/trios-trainer/src/da #7539 Port gHashTag/trios:crates/trios-trainer/src/data.rs (Rust, 7 functions) to specs/port/trios/crates/trios-trainer/src/da | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
t27b: which calls lower as the .len field, decided by lencall.t27 (Closes #7524) #7530 t27b: which calls lower as the .len field, decided by lencall.t27 (Closes #7524) | Created: 2026-10-07 | Updated: 2026-10-08 | 2 failing / 40 total
spec(numeric,math): the GoldenFloat lesson specs compile clean and say only true things #7496 spec(numeric,math): the GoldenFloat lesson specs compile clean and say only true things | Created: 2026-10-07 | Updated: 2026-10-08 | 10 failing / 32 total
fix(gen-c): a local nested array is declared as a C matrix (Closes #7441) #7495 fix(gen-c): a local nested array is declared as a C matrix (Closes #7441) | Created: 2026-10-07 | Updated: 2026-10-08 | 6 failing / 41 total
specs(port trios, browseros): unify LockGuard; rename 11 port-only types (Closes #7486) #7491 specs(port trios, browseros): unify LockGuard; rename 11 port-only types (Closes #7486) | Created: 2026-10-07 | Updated: 2026-10-08 | 3 failing / 30 total
specs(port compiler): unify AssembledInstr, LinkSection, LinkedSymbol, HirBoardResources; rename AsmSection, HwType (Closes #7485) #7490 specs(port compiler): unify AssembledInstr, LinkSection, LinkedSymbol, HirBoardResources; rename AsmSection, HwType (Closes #7485) | Created: 2026-10-07 | Updated: 2026-10-08 | 3 failing / 30 total
t27b: module vars that hold a string or start undefined (Closes #7448) #7470 t27b: module vars that hold a string or start undefined (Closes #7448) | Created: 2026-10-07 | Updated: 2026-10-08 | 14 failing / 40 total
t27b: a test local named for a module var (Closes #7668) #7447 t27b: a test local named for a module var (Closes #7668) | Created: 2026-10-07 | Updated: 2026-10-08 | 0 failing / 4 total
t27core: for over one range and switch as a value, byte-identical to gen-c (Closes #7429) #7436 t27core: for over one range and switch as a value, byte-identical to gen-c (Closes #7429) | Created: 2026-10-07 | Updated: 2026-10-07 | 10 failing / 47 total
t27c: refuse a malformed number literal by name, read 0o as octal (Closes #7319, Closes #2645) #7421 t27c: refuse a malformed number literal by name, read 0o as octal (Closes #7319, Closes #2645) | Created: 2026-10-07 | Updated: 2026-10-07 | 14 failing / 43 total
gen-c: run defer at every exit of its block (Closes #7352) #7406 gen-c: run defer at every exit of its block (Closes #7352) | Created: 2026-10-07 | Updated: 2026-10-07 | 36 failing / 42 total
tri: test runs the tests; mutate plant names what a one-line mutant turns red #7400 tri: test runs the tests; mutate plant names what a one-line mutant turns red | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 37 total
t27b: an array length written as a constant expression (Closes #7347) #7382 t27b: an array length written as a constant expression (Closes #7347) | Created: 2026-10-07 | Updated: 2026-10-07 | 12 failing / 42 total
Port scripts/gen_w370.py (Python, 1 function) to specs/port/scripts/gen_w370.t27 #7335 Port scripts/gen_w370.py (Python, 1 function) to specs/port/scripts/gen_w370.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 7 failing / 29 total

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	43
PRs with All Checks Green	7
READY	2
FAILING	43
PENDING	0
NO CHECKS YET	0

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

Seal Status

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

…st TriBezier's control point (Refs #7793) Adding specs/basics makes `Point` a conflicted type name: the lesson's `pub struct Point { x: i32, y: i32 }` (17_structs.t27:7) and TriBezier's `pub const Point = struct { x : "f64", y : "f64" }` (tri/math/bezier.t27:13). `tri types ratchet` reads that as a NEW conflict, so the set is blessed (type_conflicts.json, 101 -> 102 names) and the name is read and judged DISTINCT in type_conflicts_classified.json and the DISTINCT table of docs/TYPE_CONFLICTS.md (40 -> 41). The lesson keeps its name: the course page quotes `Point { x: i32, y: i32 }` verbatim. tri types ratchet: RATCHET CLEAN. tri types classified: OK. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-08T12:37:52Z

PR Dashboard

Generated at: 2026-10-08 12:37:43 UTC

t27b: @bitCast between an integer and a float of one size, @intFromBool, and std.math.nan / isNan / isPositiveInf / isNegativeInf, from t27 plans (Closes #7791) #7818 t27b: @bitCast between an integer and a float of one size, @intFromBool, and std.math.nan / isNan / isPositiveInf / isNegativeInf, from t27 plans (Closes #7791) | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 3 total
verified: R3-3 receipt from die A under t27c 0.5.1 (Closes #7815) #7816 verified: R3-3 receipt from die A under t27c 0.5.1 (Closes #7815) | Created: 2026-10-08 | Updated: 2026-10-08 | 22 failing / 23 total
t27b: @divTrunc and a @panic statement as the reference runs them, from builtin_plan.t27 (Closes #7790) #7808 t27b: @divTrunc and a @panic statement as the reference runs them, from builtin_plan.t27 (Closes #7790) | Created: 2026-10-08 | Updated: 2026-10-08 | 20 failing / 38 total
fpga: the bench board is an ALINX AX7203, and a t27 Ethernet beacon for it (Closes #7788) #7802 fpga: the bench board is an ALINX AX7203, and a t27 Ethernet beacon for it (Closes #7788) | Created: 2026-10-08 | Updated: 2026-10-08 | 25 failing / 28 total
t27b: undefined as an argument the callee never reads is passed, as in the reference, and refused by name where it is read (Closes #7796) #7801 t27b: undefined as an argument the callee never reads is passed, as in the reference, and refused by name where it is read (Closes #7796) | Created: 2026-10-08 | Updated: 2026-10-08 | 11 failing / 37 total
spec(queen): the event log as a bus, a cursor that loses nothing (Closes #7789) #7800 spec(queen): the event log as a bus, a cursor that loses nothing (Closes #7789) | Created: 2026-10-08 | Updated: 2026-10-08 | 25 failing / 28 total
specs(basics): the 27 t27-basics course lessons, upstreamed from trinity's vendored copy (Closes #7793) #7799 specs(basics): the 27 t27-basics course lessons, upstreamed from trinity's vendored copy (Closes #7793) | Created: 2026-10-08 | Updated: 2026-10-08 | 26 failing / 31 total
Port bootstrap/src/compiler.rs lines 23970-24090 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/return_unsized #7797 Port bootstrap/src/compiler.rs lines 23970-24090 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/return_unsized | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trios:crates/trios-cli/src/cmd/issue.rs (Rust, 2 functions) to specs/port/trios/crates/trios-cli/src/cmd/i #7795 Port gHashTag/trios:crates/trios-cli/src/cmd/issue.rs (Rust, 2 functions) to specs/port/trios/crates/trios-cli/src/cmd/i | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
t27b: a write through an array literal printed @constCast(&[_]E{ ... }) is refused by name, not encoded, from a t27 plan (Closes #7765) #7786 t27b: a write through an array literal printed @constCast(&[_]E{ ... }) is refused by name, not encoded, from a t27 plan (Closes #7765) | Created: 2026-10-08 | Updated: 2026-10-08 | 4 failing / 41 total
Port gHashTag/trios:crates/trinity_loss/src/lib.rs (Rust, 5 functions) to specs/port/trios/crates/trinity_loss/src/lib.t #7760 Port gHashTag/trios:crates/trinity_loss/src/lib.rs (Rust, 5 functions) to specs/port/trios/crates/trinity_loss/src/lib.t | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 31 total
t27b: ?*anyopaque and @ptrFromInt to an optional pointer lower from a t27 plan (Closes #7737) #7744 t27b: ?*anyopaque and @ptrFromInt to an optional pointer lower from a t27 plan (Closes #7737) | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 39 total
t27b: .{} takes its result type, and a store of the fn's own frame address is refused, from t27 plans (Closes #7735) #7743 t27b: .{} takes its result type, and a store of the fn's own frame address is refused, from t27 plans (Closes #7735) | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 39 total
Port gHashTag/trinity:fpga/gf16-pipelined/gf16_dot4_p.v (Verilog, 1 module) to specs/port/trinity/fpga/gf16-pipelined/gf #7734 Port gHashTag/trinity:fpga/gf16-pipelined/gf16_dot4_p.v (Verilog, 1 module) to specs/port/trinity/fpga/gf16-pipelined/gf | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
fpga: systolic wavefront array spec -- matrix multiply as a schedule (for the ai-accelerator course) #7719 fpga: systolic wavefront array spec -- matrix multiply as a schedule (for the ai-accelerator course) | Created: 2026-10-08 | Updated: 2026-10-08 | 5 failing / 37 total
Port scripts/gen_w328.py (Python, 1 function) to specs/port/scripts/gen_w328.t27 #7709 Port scripts/gen_w328.py (Python, 1 function) to specs/port/scripts/gen_w328.t27 | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port fpga/verilog/gft_sadd_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_sadd_jtag.t27 #7708 Port fpga/verilog/gft_sadd_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_sadd_jtag.t27 | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/quantum_bridge_zero.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-sy #7707 Port gHashTag/trinity:fpga/openxc7-synth/quantum_bridge_zero.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-sy | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port gHashTag/trinity:src/tri/author_attribution_guard.zig (Zig, 2 functions) to specs/port/trinity/src/tri/author_attri #7689 Port gHashTag/trinity:src/tri/author_attribution_guard.zig (Zig, 2 functions) to specs/port/trinity/src/tri/author_attri | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
fpga: four specs parse to the end -- gherkin constructs the parser discards, rewritten in-file (Refs #2474, Refs gHashTag/trinity#1484) #7659 fpga: four specs parse to the end -- gherkin constructs the parser discards, rewritten in-file (Refs #2474, Refs gHashTag/trinity#1484) | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 37 total
Port gHashTag/trinity:src/vibeec/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/bogatyrs #7644 Port gHashTag/trinity:src/vibeec/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/bogatyrs | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-mcp/rings/SR-01/src/audits_new.rs (Rust, 4 functions) to specs/port/trios/crates/trios- #7643 Port gHashTag/trios:crates/trios-mcp/rings/SR-01/src/audits_new.rs (Rust, 4 functions) to specs/port/trios/crates/trios- | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
fpga: RGMII timing arithmetic and Ethernet FCS specs (for the buses course) #7626 fpga: RGMII timing arithmetic and Ethernet FCS specs (for the buses course) | Created: 2026-10-07 | Updated: 2026-10-08 | 0 failing / 2 total
Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity #7624 Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/envelope_size_distribution_uniformity.rs (Rust, 1 function) t #7623 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/envelope_size_distribution_uniformity.rs (Rust, 1 function) t | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 31 total
Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 #7613 Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port fpga/verilog/gft_dup_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup_jtag.t27 #7612 Port fpga/verilog/gft_dup_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
fpga(cdc): mmcm, reset_sync and mtbf as t27 specs (Closes #7585) #7586 fpga(cdc): mmcm, reset_sync and mtbf as t27 specs (Closes #7585) | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 39 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-04/src/padding_metadata_leak_guard.rs (Rust, 1 function) to specs/po #7582 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-04/src/padding_metadata_leak_guard.rs (Rust, 1 function) to specs/po | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
fpga(coverage): line, toggle and FSM coverage as a t27 spec (Closes #7578) #7579 fpga(coverage): line, toggle and FSM coverage as a t27 spec (Closes #7578) | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 37 total
Port scripts/gen_w376.py (Python, 1 function) to specs/port/scripts/gen_w376.t27 #7568 Port scripts/gen_w376.py (Python, 1 function) to specs/port/scripts/gen_w376.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/queen-pool.ts (TypeScript, 3 functions) to specs/port/ #7567 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/queen-pool.ts (TypeScript, 3 functions) to specs/port/ | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
ci: test only the specs a change can affect -- t27c use-edges feeds specs/ci/affected.t27 (Closes #7565) #7566 ci: test only the specs a change can affect -- t27c use-edges feeds specs/ci/affected.t27 (Closes #7565) | Created: 2026-10-07 | Updated: 2026-10-08 | 4 failing / 40 total
Port scripts/gen_w369.py (Python, 1 function) to specs/port/scripts/gen_w369.t27 #7555 Port scripts/gen_w369.py (Python, 1 function) to specs/port/scripts/gen_w369.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port scripts/gen_w372.py (Python, 1 function) to specs/port/scripts/gen_w372.t27 #7554 Port scripts/gen_w372.py (Python, 1 function) to specs/port/scripts/gen_w372.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:src/depin/swarm_watch.zig (Zig, 2 functions) to specs/port/trinity/src/depin/swarm_watch.t27 #7553 Port gHashTag/trinity:src/depin/swarm_watch.zig (Zig, 2 functions) to specs/port/trinity/src/depin/swarm_watch.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:tools/acm_ae_check/src/main.rs (Rust, 1 function) to specs/port/trios/tools/acm_ae_check/src/main.t2 #7552 Port gHashTag/trios:tools/acm_ae_check/src/main.rs (Rust, 1 function) to specs/port/trios/tools/acm_ae_check/src/main.t2 | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port fpga/verilog/gft_kat_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_kat_jtag.t27 #7540 Port fpga/verilog/gft_kat_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_kat_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port gHashTag/trios:crates/trios-trainer/src/data.rs (Rust, 7 functions) to specs/port/trios/crates/trios-trainer/src/da #7539 Port gHashTag/trios:crates/trios-trainer/src/data.rs (Rust, 7 functions) to specs/port/trios/crates/trios-trainer/src/da | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
t27b: which calls lower as the .len field, decided by lencall.t27 (Closes #7524) #7530 t27b: which calls lower as the .len field, decided by lencall.t27 (Closes #7524) | Created: 2026-10-07 | Updated: 2026-10-08 | 2 failing / 40 total
spec(numeric,math): the GoldenFloat lesson specs compile clean and say only true things #7496 spec(numeric,math): the GoldenFloat lesson specs compile clean and say only true things | Created: 2026-10-07 | Updated: 2026-10-08 | 10 failing / 32 total
fix(gen-c): a local nested array is declared as a C matrix (Closes #7441) #7495 fix(gen-c): a local nested array is declared as a C matrix (Closes #7441) | Created: 2026-10-07 | Updated: 2026-10-08 | 6 failing / 41 total
specs(port trios, browseros): unify LockGuard; rename 11 port-only types (Closes #7486) #7491 specs(port trios, browseros): unify LockGuard; rename 11 port-only types (Closes #7486) | Created: 2026-10-07 | Updated: 2026-10-08 | 3 failing / 30 total
specs(port compiler): unify AssembledInstr, LinkSection, LinkedSymbol, HirBoardResources; rename AsmSection, HwType (Closes #7485) #7490 specs(port compiler): unify AssembledInstr, LinkSection, LinkedSymbol, HirBoardResources; rename AsmSection, HwType (Closes #7485) | Created: 2026-10-07 | Updated: 2026-10-08 | 3 failing / 30 total
t27b: a test local named for a module var (Closes #7668) #7447 t27b: a test local named for a module var (Closes #7668) | Created: 2026-10-07 | Updated: 2026-10-08 | 0 failing / 4 total
t27core: for over one range and switch as a value, byte-identical to gen-c (Closes #7429) #7436 t27core: for over one range and switch as a value, byte-identical to gen-c (Closes #7429) | Created: 2026-10-07 | Updated: 2026-10-07 | 10 failing / 47 total
t27c: refuse a malformed number literal by name, read 0o as octal (Closes #7319, Closes #2645) #7421 t27c: refuse a malformed number literal by name, read 0o as octal (Closes #7319, Closes #2645) | Created: 2026-10-07 | Updated: 2026-10-07 | 14 failing / 43 total
gen-c: run defer at every exit of its block (Closes #7352) #7406 gen-c: run defer at every exit of its block (Closes #7352) | Created: 2026-10-07 | Updated: 2026-10-07 | 36 failing / 42 total
tri: test runs the tests; mutate plant names what a one-line mutant turns red #7400 tri: test runs the tests; mutate plant names what a one-line mutant turns red | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 37 total
t27b: an array length written as a constant expression (Closes #7347) #7382 t27b: an array length written as a constant expression (Closes #7347) | Created: 2026-10-07 | Updated: 2026-10-07 | 12 failing / 42 total

Summary

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

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

Seal Status

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

Master moved (#7799 and #7802, neither touching t27b); the merge is clean. It is made on e6e8257 because the t27b lab is receipting that master, so the lane receipt can compare this head against it. The ledger keeps only this PR's two rows (zig_test_shadowing blocked -> pass, shadow_module_var new pass) on master's. Closes #7668 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

Brings master e6e8257 (t27-basics lessons #7799, AX7203 Ethernet beacon #7802) in. No conflict. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01ScHVrGSr6zZUdwkdC8DR9k

…) into the buses-course specs (Refs #7625) Brings master e6e8257 in. No conflict. Master adds specs/fpga/eth_beacon.t27 and rgmii_sniff.t27 beside this branch's eth_crc.t27 and rgmii.t27; the duplicate-body scan, the elaboration ratchet and the seal gates are re-run on the merged tree. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01ScHVrGSr6zZUdwkdC8DR9k

This was referenced Oct 8, 2026

policy: owner-approved exception for the AX7203 Ethernet beacon wrapper and XDC (Closes #7792) #7794

Merged

Port bootstrap/src/compiler.rs lines 23970-24090 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/return_unsized #7797

Open

github-actions Bot mentioned this pull request Oct 8, 2026

spec(queen): the event log as a bus, a cursor that loses nothing (Closes #7789) #7800

Merged

github-actions Bot mentioned this pull request Oct 8, 2026

verified: R3-3 receipt from die A under t27c 0.5.1 (Closes #7815) #7816

Merged

gHashTag enabled auto-merge (squash) October 8, 2026 12:49

gHashTag merged commit 3e89e83 into master Oct 8, 2026
30 of 31 checks passed

Navigation Menu

Repository navigation

specs(basics): the 27 t27-basics course lessons, upstreamed from trinity's vendored copy (Closes #7793) - #7799

specs(basics): the 27 t27-basics course lessons, upstreamed from trinity's vendored copy (Closes #7793)#7799
gHashTag merged 2 commits into
masterfrom
spec/basics-course-lessons-7793

gHashTag commented Oct 8, 2026 •

edited

Loading

Uh oh!

github-actions Bot commented Oct 8, 2026

Uh oh!

github-actions Bot commented Oct 8, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

gHashTag commented Oct 8, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

What

Evidence

One ledger move

After merge

Uh oh!

github-actions Bot commented Oct 8, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Oct 8, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

gHashTag commented Oct 8, 2026 •

edited

Loading