1  # T002-dx_token.component.cspec
  2  
  3  metadata:
  4    id: T002
  5    name: dx_token
  6    version: 1.0.0
  7    domain: tokens
  8    stability: high_change
  9    updated: 2026-01-07
 10    cascade_priority: 10
 11    roles:
 12      primary: [Arch, Dev]
 13      review: []
 14    expertise:
 15      required: [tokenomics, governance]
 16      helpful: [economics]
 17    context_tags: [dx, governance, dividends, genesis]
 18  
 19  dependencies:
 20    upstream: []
 21    downstream: []
 22  
 23  interface:
 24    types_ref: _registry/types.cspec
 25    types:
 26      DX_RECORD:
 27        type: shielded_record
 28        fields:
 29          owner: address
 30          amount: u64
 31          is_governor: bool          # If true, dividends routed to recipient
 32          dividend_recipient: address # Alpha address for receiving sAX
 33          cashout_ax_address: address # PRIVATE Alpha address for dividend cash-out (Must be same seed)
 34          restricted_amount: u64     # Gifted/Earned-in balance
 35          vested_amount: u64         # Portion of restricted that is vested
 36          node_link:                 # Optional linkage to Validator/Prover
 37            target: address
 38            mutual_signature: signature # Proof target accepted this link
 39      FOUNDERS: 300M_DX, 30%, vesting:4yr, sale:treasury_only
 40      INVESTORS: 100M_DX, 10%, vesting:2yr, sale:treasury_only
 41      NETWORK: 250M_DX, 25%, grants:[GOV,VAL,PRV], closes_at:150_GOV
 42      REWARD: 350M_DX, 35%, long_term_incentives
 43  
 44    functions:
 45      sell_to_treasury: {inputs: [amount], outputs: [sax_received]}
 46      unstake_to_public: {inputs: [amount], outputs: [public_record]}
 47      stake_to_private: {inputs: [public_record], outputs: [private_record]}
 48      set_dividend_recipient: {inputs: [alpha_address], outputs: [status]}
 49      set_cashout_address: {inputs: [alpha_address, ownership_proof], outputs: [status]}
 50    events: []
 51  
 52  spec:
 53    dx:
 54      chain: DELTA
 55      purpose: governance_dividend_token
 56  
 57      properties:
 58        decimals: 0 (whole_tokens)
 59        supply: 1B_fixed_at_genesis
 60        minting: none_after_genesis
 61        privacy: zk_shielded_holdings
 62        multisig_inheritance: true
 63  
 64      infrastructure:
 65        private_wallet:
 66          nature: default_state
 67          status: staked
 68          dividends: eligible (routed if governor)
 69          governance: mandatory (if >10k)
 70          transfers: disabled (no P2P)
 71          exits:
 72            - unstake_to_public (if unrestricted)
 73            - sell_to_treasury (if restricted & vested)
 74            - cashout_dividends_to_alpha (private, no DEX)
 75  
 76        public_address:
 77          nature: dex_address
 78          status: unstaked
 79          dividends: none
 80          governance: none
 81          transfers: tradeable_on_dex
 82  
 83      constraints:
 84        - p2p_transfers_disabled: "User A cannot send to User B directly"
 85        - whale_prevention: "Accumulation difficult due to transfer restrictions"
 86        - unique_staking: "1 User : 1 Node (Mutual signature required)"
 87        - governor_restriction: "Governor wallets must route dividends to external Alpha address"
 88        - restricted_sales: "Restricted DX can ONLY be sold to Treasury"
 89        - cashout_address_ownership: "Dividend cash-out address MUST belong to same seed (ZK proven)"
 90  
 91      genesis_allocation:
 92        founders: 300M (30%), vesting:4yr, sale:treasury_only
 93        investors: 100M (10%), vesting:2yr, sale:treasury_only
 94        network: 250M (25%), grants:[GOV,VAL,PRV]
 95        reward: 350M (35%), long_term_incentives
 96  
 97      network_pool_grants:
 98        governor: 1M_DX, immediate, treasury_only_sale
 99        validator: 100k_DX, locked_until_paid, treasury_only_sale
100        prover_lottery: 10k_DX, treasury_only_sale
101  
102      network_pool_closure:
103        trigger: governors >= 150
104        effect: remaining -> reward_pool
105  
106  changelog:
107    - version: 1.0.0
108      date: 2026-01-07
109      type: initial
110      description: "Migrated from tokenomics.cspec"
111      breaking: false