queen: key_credit.t27 -- a leased contributor key earns credit only for .t27 that landed (Closes #10589) by gHashTag · Pull Request #10591 · gHashTag/t27

gHashTag · 2026-10-18T18:18:06Z

Owner, 2026-10-19 (translated): pay the TRI token as Proof of Compute -- for $TRI in exchange for .t27.

Stacked on #10567 (key_vault.t27): this branch carries its commits. Draft until #10567 lands, then the diff is the three files below.

What MiningPool verifies

Read-only, gHashTag/trinity-contracts src/MiningPool.sol and src/ChipRegistry.sol: claim checks the era, isRegistered(chipId), a nullifier, the era reward, a per-chip cap and an ECDSA signature over keccak(proof_data, era). It never inspects proof_data, and registerChip is gate-free on testnet (audit W-INTL-34). An API-key turn could be "expressed" as a proof it accepts, but only because it accepts any signed bytes from any self-registered key -- so it would prove nothing. FACTS.md section 6 also records that contract as a retired testnet experiment, not $TRI. Decision: the receipt ledger only, no pool and no claim path.

The card

specs/queen/key_credit.t27 adds only the link lease -> key id -> owner -> account -> dispatch -> state -> PR -> head -> merge -> .t27 files -> review -> outcome, and reuses verified/payout.t27, verified/signed_receipt.t27, trinet/node-work-credit.t27 and queen/dispatch.t27 for the rest:

only a contributor key with an account earns; a Queen pool key never does;
credited only when the whole chain holds, the dispatch was ACCEPTed, at least one .t27 file changed, the PR merged and closed its task, and the verdict is verified and named;
a key the lease does not name is an identity mismatch; a broken chain is unverifiable and charges nothing; nothing is ever slashed;
once per contributor per PR, one rate (REWARD_PER_JOB_MTRI) however many files;
paid only through payout() as PROVIDER_FEE; CREDIT_TRANSFERABLE stays false and the attestation (CI-reproduced, no device) allows testnet credit and no value flow.

The hosting cards (specs/hosting/*) were not extended: they credit deterministic k-of-n shards that hosts recompute, while a key turn is non-deterministic and its proof is review plus merge.

A credit is a reward for verified work, never a payment and never a sale (FINANCE_AND_COMPLIANCE.md section 3). The rate, the FACTS.md row and settlement are the founder's decisions; nothing here settles.

Checks (Railway lab)

t27c test-report: 12 of 12 pass, 0 vacuous, 3 invariants proved; the exhaustive test runs 8192 asserts (512 fact sets x 4 states).
t27b (aarch64 under qemu): 12 passed, 0 failed, 3 invariants held; named in docs/reports/t27b_expectations.json.
gen, gen-c, gen-rust, gen-verilog, gen-js, gen-ts, gen-python: all exit 0.
tri mutate spec: 35 of 36 killed, 0 survived, 1 unviable (forcing key_attestation to 0 fails the comptime invariant). The first run's one survivor was a runtime guard the invariant already proved; it is removed.
t27c seal --save then --verify: all hashes MATCH.

🤖 Generated with Claude Code

…lanes first (Closes #10564) The rule card for the owner's demand of 2026-10-18: every API key lives in the Queen's store, every consumer leases from it, and lanes are shared by demand with reviews served first (never below one key's two lanes). - specs/queen/key_vault.t27: may_serve, consumer_start, review_share, worker_share, holder_cap, lease_answer, retry_after_seconds, lease_step. 8 tests (0 vacuous), 3 invariants, negative controls in every table. - .trinity/seals/queen_QueenKeyVault.json: sealed and verified on the lab. - tools/bees/reviewer.py: BEE_QUEEN_LEASE_URL + BEE_QUEEN_LEASE_TOKEN route the z.ai agent through the Queen's lease; a private ZAI_KEY_* beside a lease refuses to start; private keys without a lease warn. The lease token is stripped from the agent env. One self-test row. - contrib/portable-claude-setup: delete the three private key rotation scripts (a second key pool on one machine, unused on the bench); the README points at the card instead. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-18T19:29:39Z

PR Dashboard

Generated at: 2026-10-18 19:29:30 UTC

ledger: t27b rows for sar_cdac and spice_convert, UNLISTED 12 -> 0 (Closes #10615) #10616 ledger: t27b rows for sar_cdac and spice_convert, UNLISTED 12 -> 0 (Closes #10615) | Created: 2026-10-18 | Updated: 2026-10-18 | 26 failing / 34 total
claw: carry the TRI CLAW social-visual skill cards to master (#10574 merged into a dead branch) (Closes #10570) #10613 claw: carry the TRI CLAW social-visual skill cards to master (#10574 merged into a dead branch) (Closes #10570) | Created: 2026-10-18 | Updated: 2026-10-18 | 28 failing / 36 total
t27o: integer ! is a bitwise ~, the oracle spec uses type_text, the harness drops no_std (Closes #10534) #10611 t27o: integer ! is a bitwise ~, the oracle spec uses type_text, the harness drops no_std (Closes #10534) | Created: 2026-10-18 | Updated: 2026-10-18 | 26 failing / 34 total
t27f: lay the reel's captions, cards and address over the beat video, LR_MODE=5 (Closes #10609) #10610 t27f: lay the reel's captions, cards and address over the beat video, LR_MODE=5 (Closes #10609) | Created: 2026-10-18 | Updated: 2026-10-18 | 26 failing / 34 total
t27f R4b.1: beat graph -- three scenes crossfaded at the beat clock's cuts, on whole frames (Closes #10603) #10605 t27f R4b.1: beat graph -- three scenes crossfaded at the beat clock's cuts, on whole frames (Closes #10603) | Created: 2026-10-18 | Updated: 2026-10-18 | 24 failing / 32 total
analog: sar_comparator.t27 -- the SAR ADC dynamic comparator, multi-node Newton, square law against ngspice LEVEL=1 (Closes #10583) #10604 analog: sar_comparator.t27 -- the SAR ADC dynamic comparator, multi-node Newton, square law against ngspice LEVEL=1 (Closes #10583) | Created: 2026-10-18 | Updated: 2026-10-18 | 26 failing / 34 total
docs: t27o front-end census of the roadmap repos -- Zig first, then deeper Rust, Python, TypeScript, shell (Closes #10599) #10601 docs: t27o front-end census of the roadmap repos -- Zig first, then deeper Rust, Python, TypeScript, shell (Closes #10599) | Created: 2026-10-18 | Updated: 2026-10-18 | 23 failing / 29 total
t27f: beat clock -- reel beats cut where the voice changes, crossfaded (Closes #10596) #10598 t27f: beat clock -- reel beats cut where the voice changes, crossfaded (Closes #10596) | Created: 2026-10-18 | Updated: 2026-10-18 | 24 failing / 32 total
ledger: re-derive from master 90f62487604b, as its lab verdict APPLY says (Closes #10594) #10595 ledger: re-derive from master 90f62487604b, as its lab verdict APPLY says (Closes #10594) | Created: 2026-10-18 | Updated: 2026-10-18 | 25 failing / 34 total
t27o: five refusal classes from the roadmap dogfood convert (Closes #10526) #10593 t27o: five refusal classes from the roadmap dogfood convert (Closes #10526) | Created: 2026-10-18 | Updated: 2026-10-18 | 25 failing / 36 total
t27f: scene renderers for the 12 archetypes and the still anomaly gate (R3) #10592 t27f: scene renderers for the 12 archetypes and the still anomaly gate (R3) | Created: 2026-10-18 | Updated: 2026-10-18 | 27 failing / 35 total
queen: key_credit.t27 -- a leased contributor key earns credit only for .t27 that landed (Closes #10589) #10591 queen: key_credit.t27 -- a leased contributor key earns credit only for .t27 that landed (Closes #10589) | Created: 2026-10-18 | Updated: 2026-10-18 | 19 failing / 38 total
tri t27o-sweep: t27o over a whole tree, rows reused while the file and the two seals hold (Closes #10543) #10587 tri t27o-sweep: t27o over a whole tree, rows reused while the file and the two seals hold (Closes #10543) | Created: 2026-10-18 | Updated: 2026-10-18 | 25 failing / 33 total
t27f: reel_beats.t27 -- every reel as open, main and close, no two the same sequence (Closes #10584) #10586 t27f: reel_beats.t27 -- every reel as open, main and close, no two the same sequence (Closes #10584) | Created: 2026-10-18 | Updated: 2026-10-18 | 28 failing / 36 total
claw: claw-t27f/suggest/refresh pass with a note when the App token cannot be minted; claw-refresh can read the queue (#10576) #10585 claw: claw-t27f/suggest/refresh pass with a note when the App token cannot be minted; claw-refresh can read the queue (#10576) | Created: 2026-10-18 | Updated: 2026-10-18 | 21 failing / 27 total
t27f: reel_factory_plan.t27 -- print the factory's course-0 plan, and tri factory (Closes #10573) #10580 t27f: reel_factory_plan.t27 -- print the factory's course-0 plan, and tri factory (Closes #10573) | Created: 2026-10-18 | Updated: 2026-10-18 | 28 failing / 36 total
fpga(ax7203): RLC and 5-node ladder through the linear cell -- one board top for both circuits, PASS on the board, negative controls FAIL on their own circuit (Closes #10565) #10578 fpga(ax7203): RLC and 5-node ladder through the linear cell -- one board top for both circuits, bitstreams built, board run pending (Closes #10565) | Created: 2026-10-18 | Updated: 2026-10-18 | 11 failing / 43 total
claw: token_shape.t27 -- every App-token job passes with a note when the token cannot be minted (#10576) #10577 claw: token_shape.t27 -- every App-token job passes with a note when the token cannot be minted (#10576) | Created: 2026-10-18 | Updated: 2026-10-18 | 7 failing / 33 total
claw: criteria.t27 + claw/criteria check -- commands settle the criteria they can (Closes #10549) #10572 claw: criteria.t27 + claw/criteria check -- commands settle the criteria they can (Closes #10549) | Created: 2026-10-18 | Updated: 2026-10-18 | 29 failing / 38 total
queen: key_vault.t27 -- one key store, every consumer leases, review lanes first (Closes #10564) #10567 queen: key_vault.t27 -- one key store, every consumer leases, review lanes first (Closes #10564) | Created: 2026-10-18 | Updated: 2026-10-18 | 7 failing / 34 total
spec(t27mcp): visual_output.t27 -- when answer_channel picks UI_RESOURCE #10563 spec(t27mcp): visual_output.t27 -- when answer_channel picks UI_RESOURCE | Created: 2026-10-18 | Updated: 2026-10-18 | 6 failing / 36 total
ci: per-PR cancel groups on 9 uncancelled workflows, one provable paths filter (Closes #10552) #10557 ci: per-PR cancel groups on 9 uncancelled workflows, one provable paths filter (Closes #10552) | Created: 2026-10-18 | Updated: 2026-10-18 | 5 failing / 55 total
t27f: frontend.t27 -- T27F is t27's frontend, every visual surface in one law, served by TRI CLAW (Closes #10537) #10551 t27f: frontend.t27 -- T27F is t27's frontend, every visual surface in one law, served by TRI CLAW (Closes #10537) | Created: 2026-10-18 | Updated: 2026-10-18 | 26 failing / 35 total
claw: reel_still.t27 -- the TRI CLAW /mcp tool that renders one particle still #10548 claw: reel_still.t27 -- the TRI CLAW /mcp tool that renders one particle still | Created: 2026-10-18 | Updated: 2026-10-18 | 26 failing / 35 total
claw: visual_output.t27 -- a T27F visual in every output that did work (Closes #10508) #10510 claw: visual_output.t27 -- a T27F visual in every output that did work (Closes #10508) | Created: 2026-10-18 | Updated: 2026-10-18 | 11 failing / 35 total
fix(t27c): seal --verify reads the committed gen file; compile refuses a hand-written output (draft, needs owner-approved-foreign) #10481 fix(t27c): seal --verify reads the committed gen file; compile refuses a hand-written output (draft, needs owner-approved-foreign) | Created: 2026-10-18 | Updated: 2026-10-18 | 2 failing / 46 total
fpga(ax7203): ternary mat-vec over real tern-tc-9m weights in DDR3, UART receipt (Closes #10461) #10475 fpga(ax7203): ternary mat-vec over real tern-tc-9m weights in DDR3, UART receipt (Closes #10461) | Created: 2026-10-18 | Updated: 2026-10-18 | 9 failing / 49 total
spec(ml): eval_hslm and ngram_hslm -- HSLM held-out loss at step 8000 against unigram, bigram and trigram baselines (Refs #10372) #10467 spec(ml): eval_hslm -- held-out loss of an HSLM checkpoint, last position and full sequence (Refs #10372) | Created: 2026-10-18 | Updated: 2026-10-18 | 5 failing / 36 total
fix(seal): refuse a seal file another spec owns, re-check the hash after the write, land it by rename #10464 fix(seal): refuse a seal file another spec owns, re-check the hash after the write, land it by rename | Created: 2026-10-18 | Updated: 2026-10-18 | 7 failing / 48 total
igla ptx v2: cp.async ring, 128x128xBK64 tile, prmt-decoded W; within 1.33x of CUTLASS s8 (Refs #10404) #10456 igla ptx v2: cp.async ring, 128x128xBK64 tile, prmt-decoded W; within 1.33x of CUTLASS s8 (Refs #10404) | Created: 2026-10-18 | Updated: 2026-10-18 | 6 failing / 46 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 | 5 failing / 44 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 | 5 failing / 40 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 | 2 failing / 36 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 | 4 failing / 32 total
spec(port): land the remaining CR-CHAT ring batch -- 18 targets (Closes #10579; Refs #8883, #8884) #10175 spec(port): land the remaining CR-CHAT ring batch -- 18 targets (Closes #10579; Refs #8883, #8884) | Created: 2026-10-18 | Updated: 2026-10-18 | 4 failing / 38 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-18 | 2 failing / 35 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-18 | 2 failing / 35 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-18 | 9 failing / 43 total

Summary

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

These columns do not partition: 0 + 45 + 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)=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).

Navigation Menu

Repository navigation

queen: key_credit.t27 -- a leased contributor key earns credit only for .t27 that landed (Closes #10589) - #10591

queen: key_credit.t27 -- a leased contributor key earns credit only for .t27 that landed (Closes #10589)#10591
gHashTag wants to merge 5 commits into
masterfrom
queen-key-credit

gHashTag commented Oct 18, 2026

Uh oh!

github-actions Bot commented Oct 18, 2026

Uh oh!

This branch has not been deployed

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

gHashTag commented Oct 18, 2026

What MiningPool verifies

The card

Checks (Railway lab)

Uh oh!

github-actions Bot commented Oct 18, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

This branch has not been deployed

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant