Komorebi global arithmetic RR8
Start with the current checkpoint, then its program, claim ledger and continuation handoff.
This checkpoint constructs stronger global source recovery over Q and Q(i), integrates classical fixed-support finiteness and an effective radical-height budget, completely classifies the {2,3} sector, and proves finite-observer and fixed-radical supported-precision obstructions. The new scoped written proofs passed isolated mathematical review. An initially missing positivity hypothesis was corrected and its history preserved.
ABC remains open. The classical external height bound is imported, not a new pointwise exponent. No new Lean compilation or load-bearing mathematical computation was performed. The external effective constant was not evaluated.
The exact RR7 parent archive is under ancestry, with its SHA-256 in ANCESTRY.json. Earlier phase files are preserved. SHA256SUMS.txt inventories every other file in this package.