supply-spec.json and supply-spec.md under docs/plans/igneum-2.0-master/token-value/phase0/tv-01/; the generator
(tools/token-value/tv-01/gen-spec.py, anchored to every cited line at release-2.0.2-node a284380b and
release-2.0.3-node-k6 bf60948a, and equal on every field to the consensus code's own dump run on build-9);
the checker (tools/token-value/tv-01/check-spec.py: four known-failed cases first, then total + shortfall = cap
exactly); the registry batch tools/ci/batches/tv-01-20261009-01.json (TV-01 NOT RUN, for the CI steward).
Mainnet as compiled issues 3,963,038,999.610200467816224 IGN in all, 36,961,000.39 IGN under the cap, zero from
DAA 39,131,424,000. The litepaper's year-five tail-vote sentence is named superseded by D01. Documents and tests
only; nothing activates.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>