Invariants / RO-GENESIS-REPLAY-01

RO-GENESIS-REPLAY-01

RO release declared

Ade independently replays the chain from byron genesis through the bootstrap point P, producing the same UTxOState the oracle seed provides. Closes the "Ade has independently replayed genesis → P" honest-scope claim left open at PHASE4-N-M-A close.

Carried as an open obligation because the era-transition sequence (byron → shelley → allegra → mary → alonzo → babbage → conway) requires multi-month work that is NOT bounty-critical. Mithril-authenticated import (RO-MITHRIL-IMPORT-01) is a partial alternative.

Source

docs/planning/phase4-n-m-ledger-seed-invariants.md §0 honest-scope table

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

Cross-references

Open obligation