Current migration status

The inherited intensional, extensional, observational, and two cubical sources already contribute partial rule and theorem data. A newly allocated chapter without its own ledger block remains a non-load-bearing scaffold. Final blocks are added only during the chapter’s vertical acceptance pass; this appendix must never be used to make an unfinished scaffold appear proved.