1  # A005-policy_accounts.component.cspec
 2  
 3  metadata:
 4    id: A005
 5    name: policy_accounts
 6    version: 1.0.0
 7    domain: alpha
 8    stability: high_change
 9    updated: 2026-01-07
10    cascade_priority: 20
11    roles:
12      primary: [Dev, Arch]
13      review: []
14    expertise:
15      required: [smart_contracts]
16      helpful: [tokenomics]
17    context_tags: [policy, locked_pool, fee_collector, system_accounts]
18  
19  dependencies:
20    upstream: []
21    downstream: []
22  
23  interface:
24    types_ref: _registry/types.cspec
25    types:
26      sAX: synthetic_ax, decimals:4, backing:1:1_locked_AX, lifetime:ephemeral, chain:DELTA
27      FEE_SPLIT: validators:70%, provers:30%
28    functions:
29      lock: lock_ax_to_pool
30      unlock: unlock_ax_from_pool
31      distribute_fees: epoch_fee_distribution
32    events:
33      - ax_locked
34      - ax_unlocked
35      - fees_distributed
36  
37  spec:
38    system_accounts:
39      locked_ax_pool:
40        purpose: sax_backing
41        operations: [lock, unlock]
42        invariant: balance == total_sax_supply
43  
44      fee_collector:
45        purpose: aggregate_fees_before_distribution
46        distribution: epoch_end -> [validators:70%, provers:30%]
47  
48  changelog:
49    - version: 1.0.0
50      date: 2026-01-07
51      type: initial
52      description: "Migrated from alpha_chain.cspec"
53      breaking: false