Edition README
ABC: global RR8 branch
README.md
1 # Komorebi global arithmetic RR8
2
3 Start with [the current checkpoint](abc_work/komorebi_global_rr8/LATEST.md),
4 then its program, claim ledger and continuation handoff.
5
6 This checkpoint constructs stronger global source recovery over Q and Q(i),
7 integrates classical fixed-support finiteness and an effective radical-height
8 budget, completely classifies the {2,3} sector, and proves finite-observer
9 and fixed-radical supported-precision obstructions. The new scoped written
10 proofs passed isolated mathematical review. An initially missing positivity
11 hypothesis was corrected and its history preserved.
12
13 ABC remains open. The classical external height bound is imported, not a
14 new pointwise exponent. No new Lean compilation or load-bearing mathematical
15 computation was performed. The external effective constant was not evaluated.
16
17 The exact RR7 parent archive is under ancestry, with its SHA-256 in
18 ANCESTRY.json. Earlier phase files are preserved. SHA256SUMS.txt inventories
19 every other file in this package.