Skip to content

feat(tri27): token system specs — types, staking, rewards, CLI, FFI (Closes #440-#447) - #547

Merged
gHashTag merged 1 commit into
mainfrom
feat/tri27-token-specs
Aug 14, 2026
Merged

gHashTag merged 1 commit into
mainfrom
feat/tri27-token-specs

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

Summary

7 new .tri specification files for the TRI-27 token system:

Spec Issue Contents
token_types.tri Closes #441 TokenAccount, TokenStake, Coptic registers t18-t20, 6 functions, 5 tests, 4 invariants
token_ffi.tri Closes #442 5 FFI bridge functions for external runtime integration
staking.tri Closes #443 StakePosition, StakePool, phi-aligned emission, 5 functions, 5 tests, 3 invariants
reward_distribution.tri Closes #444 60/30/10 epoch distribution, 3 functions, 3 tests, 2 invariants
token_cli.tri Closes #445 balance/transfer/approve/allowance/supply commands
staking_cli.tri Closes #446 stake/unstake/positions/rewards/pool commands
claim_cli.tri Closes #447 claim/history/estimate commands

Parent epic: Closes #440

Test plan

  • Specs follow canonical .tri YAML format
  • tri gen produces valid Zig output from specs

…loses #441, Closes #442, Closes #443, Closes #444, Closes #445, Closes #446, Closes #447)

- token_types.tri: TokenAccount, TokenStake, Coptic register mapping t18-t20
- token_ffi.tri: FFI bridge for external runtime integration
- staking.tri: StakePosition, StakePool, phi-aligned emission rate
- reward_distribution.tri: 60/30/10 split, epoch-based distribution
- token_cli.tri: balance/transfer/approve/allowance/supply commands
- staking_cli.tri: stake/unstake/positions/rewards/pool commands
- claim_cli.tri: claim/history/estimate commands
@gHashTag
gHashTag merged commit d3d6bc7 into main Aug 14, 2026
19 of 33 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

1 participant