# Komorebi global arithmetic RR8

Start with [the current checkpoint](abc_work/komorebi_global_rr8/LATEST.md),
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.