feat: Ledger Invariant Test Suite — Property-based proofs for ledger correctness (#764)

[dayi1000]

Ledger Invariant Test Suite — Bounty #764

Property-based test suite that mathematically proves RustChain ledger correctness using Hypothesis (Python) and deterministic simulation.

What's Included

testing/ledger_invariants.py — 450+ line test suite

.github/workflows/ci_ledger_invariants.yml — CI workflow that runs on every PR

Invariants Tested

ID	Invariant	Method
INV-1	Conservation: no RTC created or destroyed	Hypothesis + Simulation
INV-2	Non-negative balances: no wallet < 0 uRTC	Hypothesis + Simulation
INV-3	Epoch rewards sum to exactly 1,500,000 uRTC (1.5 RTC)	Hypothesis + Simulation
INV-4	Transfer atomicity: failed transfers change zero state	Hypothesis + Simulation
INV-5	Antiquity weighting: higher multiplier → proportionally more reward	Hypothesis + Simulation
INV-6	Pending lifecycle: transfers past 24h TTL not in pending state	Hypothesis

Test Coverage

• Hypothesis property-based: 10,000+ random transfer sequences, epoch settlements, edge cases
• Simulation: 10,000+ deterministic random scenarios (wallets, transfers, epochs)
• Live API validation: 6 live checks against https://50.28.86.131

Live Results (epoch=94, 16 miners)

[1/3] Property-based invariant tests (Hypothesis)...
  ✅ INV-1/2/4 transfer sequences (10,000 examples)
  ✅ INV-3/5 epoch rewards (10,000 examples)
  ✅ INV-6 pending lifecycle (10,000 examples)

[2/3] Simulation scenarios (10,000 target)...
  ✅ Simulation: 10,000 scenarios, 10,000 passed, 0 failed

[3/3] Live node API invariant checks...
  ✅ LIVE node_health
  ✅ LIVE epoch_consistency (epoch=94)
  ✅ LIVE epoch_pot=1.5 RTC
  ✅ LIVE miner_multipliers (16 miners, all >= 0)
  ✅ LIVE antiquity_ordering
  ✅ LIVE total_balance >= 0 (220259.7702 RTC)

RESULTS: all passed, 0 failed
✅ ALL INVARIANTS HOLD

Usage

pip install hypothesis
python testing/ledger_invariants.py --verbose --live --scenarios 10000

CI mode:

python testing/ledger_invariants.py --ci --scenarios 10000

Milestones Claimed

Milestone	RTC
Conservation invariant (INV-1)	25 RTC
Non-negative balances (INV-2)	+10 RTC
Epoch reward invariant (INV-3)	+15 RTC
Transfer atomicity (INV-4)	+10 RTC
10,000+ scenarios	+15 RTC
CI integration	+10 RTC

Claiming: 85 RTC

RTC Wallet: noxventures_rtc