feat(course-access): any three courses free, then the club (rules VERSION 2) by gHashTag · Pull Request #9357 · gHashTag/t27

gHashTag · 2026-10-13T08:28:26Z

Why

The owner asked for any three courses to be free, with payment after that and no detour through the Telegram bot. Production data showed the bot rung lost everyone:

Zero course keys have been minted since the ladder went live on 2026-10-11.
Over 30 days, 50 people pressed /start, 20 saw the menu and 1 saw the club card.

What

step_of(opened) returns STEP_FREE while opened < 3 and STEP_PAID from then on. It no longer returns STEP_BOT.
VERSION = 2. The header, the ladder comment and a VERSION 2 note record the decision.
STEP_BOT itself is kept: a bot key a reader already holds still opens a bot step (new test). may_open, stays_open and SITE_CHECKOUT are unchanged.
Tests: "the second and the third are free too, no bot asked", "no rung is the bot any more", "a bot key a reader already holds still opens a bot step".
Re-sealed with t27c-bootstrap 0.5.2: 16/16 passed, 0 vacuous.

Consumers

Only the t27.ai site calls step_of. Its vendored copy and regenerated logic follow in a gHashTag/trinity PR.
vibee-render (999) does not call step_of, so it needs no change. Re-vendoring it is optional.

🤖 Generated with Claude Code

…SION 2) The bot rung lost every reader: zero course keys minted in production since the ladder went live on 2026-10-11, 50 people at /start in 30 days and one club card seen. step_of now returns FREE for the first three courses and PAID from the fourth on; no rung is BOT any more. STEP_BOT keys a reader already holds still open their course (may_open / stays_open unchanged). Tests 16/16, sealed with t27c-bootstrap 0.5.2. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-13T08:28:52Z

PR Dashboard

Generated at: 2026-10-13 08:28:40 UTC

feat(course-access): any three courses free, then the club (rules VERSION 2) #9357 feat(course-access): any three courses free, then the club (rules VERSION 2) | Created: 2026-10-13 | Updated: 2026-10-13 | 27 failing / 28 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
Port trios-chat CR-CHAT-00: lib.rs data and decisions as lib.t27 (Refs #8880) #9131 Port trios-chat CR-CHAT-00: lib.rs data and decisions as lib.t27 (Refs #8880) | Created: 2026-10-11 | Updated: 2026-10-11 | 5 failing / 33 total
Spec: the review jam -- which case a stuck pull request is in, and the Queen's action (specs/automation/review-jam.t27) #9060 Spec: the review jam -- which case a stuck pull request is in, and the Queen's action (specs/automation/review-jam.t27) | Created: 2026-10-11 | Updated: 2026-10-12 | 7 failing / 32 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
Port gHashTag/trinity:src/tri/tri_battle.zig (Zig, 2 functions) to specs/port/trinity/src/tri/tri_battle.t27 #8892 Port gHashTag/trinity:src/tri/tri_battle.zig (Zig, 2 functions) to specs/port/trinity/src/tri/tri_battle.t27 | Created: 2026-10-11 | Updated: 2026-10-11 | 1 failing / 31 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-12 | 10 failing / 33 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-12 | 4 failing / 30 total
isa: S05 TRI-27 specs state the emulator fixed in gHashTag/trinity#1250 (Closes #5614) #8876 isa: S05 TRI-27 specs state the emulator fixed in gHashTag/trinity#1250 (Closes #5614) | Created: 2026-10-11 | Updated: 2026-10-11 | 1 failing / 29 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
gen-verilog: an entry parameter named clk/rst_n/en is declared once; a void body's last call stays a statement (Closes #5649, Closes #5650, Closes #5651) #8844 gen-verilog: an entry parameter named clk/rst_n/en is declared once; a void body's last call stays a statement (Closes #5649, Closes #5650, Closes #5651) | Created: 2026-10-10 | Updated: 2026-10-12 | 3 failing / 42 total
specs/policy: linked_issue_prose states what check-linked-issue reads (Closes #5744) #8843 specs/policy: linked_issue_prose states what check-linked-issue reads (Closes #5744) | Created: 2026-10-10 | Updated: 2026-10-11 | 5 failing / 33 total
tools/jtag: libftdi from $T27_LIBFTDI or the platform default, so B2 reads on Linux (Closes #7927) #8842 tools/jtag: libftdi from $T27_LIBFTDI or the platform default, so B2 reads on Linux (Closes #7927) | Created: 2026-10-10 | Updated: 2026-10-11 | 3 failing / 24 total
Port gHashTag/trios:crates/trios-mesh-node/src/persist.rs (Rust, 5 functions) to specs/port/trios/crates/trios-mesh-node #8834 Port gHashTag/trios:crates/trios-mesh-node/src/persist.rs (Rust, 5 functions) to specs/port/trios/crates/trios-mesh-node | Created: 2026-10-10 | Updated: 2026-10-12 | 5 failing / 32 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-06/src/agent_context_window_budget_guard.rs (Rust, 1 function) to sp #8822 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-06/src/agent_context_window_budget_guard.rs (Rust, 1 function) to sp | Created: 2026-10-10 | Updated: 2026-10-12 | 6 failing / 32 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/dh_output_validation.rs (Rust, 1 function) to specs/port/trio #8806 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/dh_output_validation.rs (Rust, 1 function) to specs/port/trio | Created: 2026-10-10 | Updated: 2026-10-12 | 6 failing / 33 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/snapshot_atomicity_guard.rs (Rust, 1 function) to specs/port/ #8787 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/snapshot_atomicity_guard.rs (Rust, 1 function) to specs/port/ | Created: 2026-10-10 | Updated: 2026-10-11 | 5 failing / 30 total
spec fix: 6 specs in specs/tri/collections the reference blocks -- rewrite them in t27 (2 of 4) #8773 spec fix: 6 specs in specs/tri/collections the reference blocks -- rewrite them in t27 (2 of 4) | Created: 2026-10-10 | Updated: 2026-10-12 | 5 failing / 29 total
fpga: the TRI-NET node's 100 Mb/s board logic in t27 (MDIO, RGMII nibbles, JTAG status) (Closes #8770) #8772 fpga: the TRI-NET node's 100 Mb/s board logic in t27 (MDIO, RGMII nibbles, JTAG status) (Closes #8770) | Created: 2026-10-10 | Updated: 2026-10-12 | 11 failing / 39 total
fix(specs): restore native JTAG verdict literals #8771 fix(specs): restore native JTAG verdict literals | Created: 2026-10-10 | Updated: 2026-10-12 | 2 failing / 31 total
spec(queen): claim.t27 - the round's stateOfDispatch as a card, the review valve imported (Closes #8765) #8768 spec(queen): claim.t27 - the round's stateOfDispatch as a card, the review valve imported (Closes #8765) | Created: 2026-10-10 | Updated: 2026-10-12 | 2 failing / 31 total
fix(memory): restore executable graph ingest policy #8755 fix(memory): restore executable graph ingest policy | Created: 2026-10-10 | Updated: 2026-10-10 | 3 failing / 31 total
fix(specs): restore executable policies and corpus checks #8749 fix(specs): restore executable policies and corpus checks | Created: 2026-10-10 | Updated: 2026-10-12 | 2 failing / 31 total
Port scripts/gen_w692.py (Python, 3 functions) to specs/port/scripts/gen_w692.t27 #8718 Port scripts/gen_w692.py (Python, 3 functions) to specs/port/scripts/gen_w692.t27 | Created: 2026-10-10 | Updated: 2026-10-12 | 7 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_revision_monotonicity_guard.rs (Rust, 1 function) to sp #8674 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_revision_monotonicity_guard.rs (Rust, 1 function) to sp | Created: 2026-10-10 | Updated: 2026-10-12 | 5 failing / 32 total
docs(fpga): HARDWARE_SSOT records the TRI-NET node answering jobs over UDP #8538 docs(fpga): HARDWARE_SSOT records the TRI-NET node answering jobs over UDP | Created: 2026-10-10 | Updated: 2026-10-11 | 2 failing / 24 total
fix(fpga): eth_reply.t27 sends one frame per receipt, to the sender, with a real checksum #8532 fix(fpga): eth_reply.t27 sends one frame per receipt, to the sender, with a real checksum | Created: 2026-10-10 | Updated: 2026-10-12 | 7 failing / 39 total
Wave 683: one mistake in two copies, and a withdrawn explanation #8509 Wave 683: one mistake in two copies, and a withdrawn explanation | Created: 2026-10-10 | Updated: 2026-10-12 | 3 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/uart_bridge_fixed.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synt #8506 Port gHashTag/trinity:fpga/openxc7-synth/uart_bridge_fixed.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synt | Created: 2026-10-10 | Updated: 2026-10-12 | 7 failing / 30 total
Port scripts/gen_w680.py (Python, 3 functions) to specs/port/scripts/gen_w680.t27 #8458 Port scripts/gen_w680.py (Python, 3 functions) to specs/port/scripts/gen_w680.t27 | Created: 2026-10-10 | Updated: 2026-10-11 | 5 failing / 32 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-04/src/padding_class_downgrade_guard.rs (Rust, 2 functions) to specs #8455 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-04/src/padding_class_downgrade_guard.rs (Rust, 2 functions) to specs | Created: 2026-10-10 | Updated: 2026-10-10 | 8 failing / 29 total
spec(automation): blog-share v6 -- autopost: new articles at once, the backlog on a schedule, Telegram a network (Closes #8318) #8319 spec(automation): blog-share v6 -- autopost: new articles at once, the backlog on a schedule, Telegram a network (Closes #8318) | Created: 2026-10-09 | Updated: 2026-10-09 | 5 failing / 31 total
course-outreach v3: daily and weekly send cap per network #8308 course-outreach v3: daily and weekly send cap per network | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 29 total

Summary

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

Seal Status

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

gHashTag mentioned this pull request Oct 13, 2026

feat(courses): any three courses free, a course catalog, and paying on the site gHashTag/trinity#1632

Merged

gHashTag enabled auto-merge (squash) October 13, 2026 08:42

gHashTag merged commit 43ab400 into master Oct 13, 2026
26 of 31 checks passed

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

Blog from merged PR #1632 gHashTag/trinity#1633

Open

Navigation Menu

Repository navigation

feat(course-access): any three courses free, then the club (rules VERSION 2) - #9357

feat(course-access): any three courses free, then the club (rules VERSION 2)#9357
gHashTag merged 1 commit into
masterfrom
feat/course-ladder-three-free

gHashTag commented Oct 13, 2026 •

edited

Loading

Uh oh!

github-actions Bot commented Oct 13, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

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

Uh oh!

Why

What

Consumers

Uh oh!

github-actions Bot commented Oct 13, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

gHashTag commented Oct 13, 2026 •

edited

Loading