Repository navigation
Conversation
… superseded by mint-on-acceptance (Closes #5412) contrib/solana (ea15cd5, 2026-07-05) pays a fixed block_reward per submitted proof, and specs/depin/prove.t27 carries reward_lamports / block_reward from the same PoUC prototype. Neither is the TRI emission rule. The design of record is mint-on-acceptance in gHashTag/trinity-fpga @ d7e9718e9 (contracts/solana/tri_mint.rs, specs/trinet/mint_on_acceptance.t27): accepted work only, M-of-N attestor quorum, genesis 0, cap 3^21 TRI, nothing deployed. Comments only. No program logic changes. The t27 note sits after `module`, so the declaration is untouched; t27c parse and typecheck output equal master's apart from line numbers. Resealed with t27c built from this master: all four gen hashes unchanged, only spec_hash and sealed_at move (both seal files that name the spec). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Closes #5412) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Contributor
|
📓 NotebookLM Notebook linked to this PR
This notebook contains session context, decisions, and artifacts for this work. |
Contributor
This was referenced Oct 1, 2026
Merged
Merged
Merged
This was referenced Oct 6, 2026
Merged
Merged
Merged
Merged
This branch has not been deployed
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Closes #5412.
Why
The $TRI design of record is gHashTag/trinity-fpga @ d7e9718e9:
contracts/solana/tri_mint.rsspecs/trinet/mint_on_acceptance.t27Under that design, TRI is minted only for accepted work under an M-of-N attestor quorum. Genesis supply is 0, the cap is 3^21, and nothing is deployed.
Two artefacts here predate it and read as the emission rule:
contrib/solana, an Anchor program from ea15cd5 (2026-07-05) that pays a fixedblock_rewardper proof;specs/depin/prove.t27, which carriesreward_lamports/block_reward.What changes (comments only)
contrib/solana/README.mdcontrib/solana/programs/tri-mining/src/lib.rsspecs/depin/prove.t27//comment placed aftermodule depin.prove;, so the module declaration is untouched..trinity/seals/{depin_depin.prove,prove}.jsondocs/now/2026-10-01-…Evidence
t27c parseof the new spec gives the same AST as master onceline:fields are removed.t27c typecheckoutput is identical to master's apart from line numbers. The type-mismatch warnings at lines ~281-286 are already on master.t27cbuilt from this master.sealed_by, so I discarded that seal.seal --verifyon master's spec gives all hashes MATCH.spec_hashandsealed_atmove, and the fourgen_hash_*are unchanged.tri hooks pre-commitPASSED, L1 traceability PASSED, and the NOW gate PASSED.Companion PRs
gHashTag/trinity#1200 and gHashTag/tri-net#390 make the same cleanup.
🤖 Generated with Claude Code