Economy Testnet Readiness Matrix

This matrix compares current implementation against:

• docs/DESIGN_CONCEPTS.md
• docs/GENESIS_TRANSPARENCY.md
• docs/RELEASE_CHECKLIST.md
• shekyl-dev/docs/TESTNET_MINER.md
• shekyl-dev/docs/TESTNET_REHEARSAL_CHECKLIST.md

Status labels:

• implemented
• partial
• missing

Drift labels:

• doc_correction
• code_fix_required
• needs_decision

Core Economy Model

1. Constants source of truth (money_supply, coin, decimal point, burn/release/staking params)

   • Docs intent: canonical economics constants define testnet economics behavior.
   • Code: generated from config/economics_params.json into build-time headers (src/cryptonote_config.h includes generated params).
   • Status: implemented
   • Drift: doc_correction (some docs still imply direct literals in cryptonote_config.h)

2. Component 1: release multiplier

   • Code paths: rust/shekyl-economics/src/release.rs, FFI exports in rust/shekyl-ffi/src/lib.rs, applied in src/cryptonote_basic/cryptonote_basic_impl.cpp.
   • Status: implemented
   • Drift: none

3. Component 2: adaptive burn + split

   • Code paths: rust/shekyl-economics/src/burn.rs, src/shekyl/economics.h, use in src/cryptonote_core/blockchain.cpp and src/cryptonote_core/cryptonote_tx_utils.cpp.
   • Status: implemented
   • Drift: none

4. Component 3: stake-ratio governance signal

   • Code paths: stake ratio read and fed into burn computations in blockchain.cpp.
   • Status: implemented
   • Drift: none

5. Component 4: staker emission share + decay

   • Code paths: rust/shekyl-economics/src/emission_share.rs, split used in miner tx construction.
   • Status: implemented
   • Drift: none

RPC/Test Visibility

1. Economy observability fields in daemon RPC (get_info/staking info)

   • Present: release multiplier, burn pct, stake ratio, pool totals, emission share fields.
   • Status: implemented
   • Drift: partial docs mention annualized yield field; daemon does not currently expose staker_yield_annualized directly.
   • Drift label: needs_decision (add field to code vs adjust docs wording)

2. Operator testnet runbook and rehearsal gates

   • Present in shekyl-dev/docs/TESTNET_MINER.md and shekyl-dev/docs/TESTNET_REHEARSAL_CHECKLIST.md.
   • Status: implemented (ops docs exist)
   • Drift: none

Automation/Test Coverage

1. Rust unit tests for economics formulas

   • Present in shekyl-economics crate modules.
   • Status: implemented
   • Drift: none

2. C++ core_tests aligned with Shekyl economics

   • gen_block_reward test re-enabled and rewritten to verify miner outputs against the four-component formula (release multiplier + emission split + fee burn). chaingen.cpp test generator now passes explicit circulating_supply, tx_volume_avg, stake_ratio, and genesis_ng_height to construct_miner_tx for parameter parity with the validator.
   • Status: implemented (80/80 core_tests pass)
   • Drift: none

3. Rust sim parity with canonical config

   • Current sim defaults are hardcoded in rust/shekyl-economics-sim/src/engine.rs.
   • Status: partial
   • Drift label: code_fix_required (add config parity tests to prevent drift)

4. Rehearsal automation checks in Shekyl core

   • TESTNET_REHEARSAL_CHECKLIST.md references scripts/check_testnet_genesis_consensus.py; not present in this repo.
   • Status: missing
   • Drift label: needs_decision (import/add script here vs keep only in shekyl-dev)

5. Automated end-to-end economy assertions (live chain + RPC)

   • Existing tests are mostly formula/unit-level or specific parity checks.
   • Status: partial
   • Drift label: code_fix_required (add economy-focused functional assertions)

High-Impact Mismatch Notes

• Block-time assumptions in docs vs current HF behavior

  • Design/genesis references use 2-minute assumptions for day-count examples.
  • Runtime now aligns with that design target by consistently using DIFFICULTY_TARGET_V2 (120s) in active HF1 difficulty target, block reward scaling, unlock-time leeway, RPC block target reporting, and sync ETA output.
  • Drift label: resolved (code_fix_required completed)

• HF naming in rehearsal checklist

  • TESTNET_REHEARSAL_CHECKLIST.md said "post-HF17 rules" for v3 tx checks.
  • Shekyl reboot policy is HF1-only.
  • Drift label: resolved (docs updated to HF1 across V3_ROLLOUT, PQC, PQC_MULTISIG, and STAKER_REWARD_DISBURSEMENT)

Immediate Pre-Testnet Blockers

1. Missing automated parity guard between economics_params.json and simulation defaults.
2. Missing scripted rehearsal verifier in this repo for checklist hard gates (genesis consistency RPC checks).
3. No single automated economy smoke test that validates key RPC economics fields over chain progression.

Next Actions

1. Add Rust parity and boundary tests (code_fix_required).
2. Add/port testnet rehearsal check script (needs_decision if it should live in shekyl-dev only).
3. Correct stale wording in docs where facts are wrong (doc_correction only; no design changes).