feat(config): -O0 whale carve step 1 — split 0x80144B9C..0x801458E0 out of ov_MAIN_012_jr_8013F350

o0_subsplit: 2 unmatched stubs (func_80144B9C 770 ins + func_801457A4 79 ins), 0
already-matched islands interleaved, so K=0 and one -O0 region is correct. carve
repoints (none); config/overlays.mk UNCHANGED (the whale object owns no .rodata
carve anywhere in the fleet: 0 of 213 splat yamls carve .rodata to an _o0b).

BYTE-NEUTRAL, which is the whole claim of a carve:
  build d6b3e8b971cdd6c53aea8c4f265afb82b363283c == config/check.ov_MAIN_012.sha
interleave_check ALIGNED. Derived AND carved under .run/auto/gate.ov_MAIN_012.lock
(the commit:2791 rule: a plan derived outside the lock can describe a tree state that
never existed).
This commit is contained in:
Drew T
2026-08-31 16:20:38 -06:00
parent dd608ce5fd
commit ff524cd07e
4 changed files with 6097 additions and 3890 deletions
+2
View File
@@ -101,6 +101,8 @@ segments:
- [0x13410, c, ov_MAIN_012_o0c]
- [0x14834, c, ov_MAIN_012_jr_8013C98C]
- [0x171f8, c, ov_MAIN_012_jr_8013F350]
- [0x1ca44, c, ov_MAIN_012_o0d]
- [0x1d788, c, ov_MAIN_012_jr_801458E0]
- [0x2c2f4, c, ov_MAIN_012_jr_8015444C]
- [0x2c8a0, c, ov_MAIN_012_jr_801549F8]
- [0x2d49c, c, ov_MAIN_012_jr_801555F4]
File diff suppressed because it is too large Load Diff
File diff suppressed because it is too large Load Diff
File diff suppressed because it is too large Load Diff