Resolve leaf map node-stack relocation alias

Lane D refresh packet 5: config only, +1,424 padded bytes strict exact
(5 functions), no source change, zero stable-verdict regressions.

January addresses leaf_map_globals.node_stack[node_stack_count - 1] as
`_leaf_map_globals - 4`; csplit attributed that one-before displacement to
the preceding image symbol (_faked_xbox_command_line + 4). Retarget the five
relocations (node_stack_read, find_like_crossing,
build_portals_from_leaf, build_leaf_face_for_leaf_on_node,
build_leaf_faces_for_leaf) to _leaf_map_globals with addend -4, following
the existing relocs.json precedents (libcmt ___lookuptable -32,
g_LODBias2x -8). Line surgery only.

The semantic scorer already accepted these rows as ordinary relocation
aliases, so objdiff progress is unchanged; the gain is in strict
section_infos_equal verdicts. parked.json: unpark the five rows.

Gate: ninja PASS, parks 129 active / 0 stale / 0 invalid, admission 0
contradicted / 0 revoked.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
Jonas VolmanandClaude Opus 5.5 committed 2026-09-23 01:11:49 -07:00
1 parent dc58693c9f
commit 1b439d04fb
2 files changed
+5 -60

No files matched your search

-55
View File
@@ -1774,61 +1774,6 @@
"objdiff_percent": 99.05674
}
},
{
"unit": "source/structures/leaf_map",
"function": "_node_stack_read",
"class": "csplit-relocation-alias",
"evidence": "Natural typed stack accessor. Target and canonical have identical 64-byte code sections, seven relocations, and normalized SHA-256. The sole symbolic mismatch is target _faked_xbox_command_line+4 versus canonical _leaf_map_globals-4 at relocation offset 0x3A; both resolve to January image address 4982956. The split boundary lands four bytes before the authenticated leaf_map_globals owner. Zero strict-exact credit; accept only through the canonical resolved-address validator. See docs/object_matching_logs/leaf_map_obj_private_graph_reconciliation_20260909.md.",
"measurements": {
"target": { "size": 64, "relocation_count": 7, "normalized_sha256": "6173baeea5403235db6ff471e0e0f140e6c1e31a32019a34825979294eb363f9" },
"base": { "size": 64, "relocation_count": 7, "normalized_sha256": "6173baeea5403235db6ff471e0e0f140e6c1e31a32019a34825979294eb363f9" },
"objdiff_percent": 100.0
}
},
{
"unit": "source/structures/leaf_map",
"function": "_find_like_crossing",
"class": "csplit-relocation-alias",
"evidence": "Same-build symbols authenticate the private name and the complete typed stack-plane search. Target and canonical have identical 160-byte code sections, nine relocations, and normalized SHA-256. The sole symbolic mismatch is target _faked_xbox_command_line+4 versus canonical _leaf_map_globals-4 at relocation offset 0x50; both resolve to January image address 4982956. Zero strict-exact credit; accept only through the canonical resolved-address validator. See docs/object_matching_logs/leaf_map_obj_private_graph_reconciliation_20260909.md.",
"measurements": {
"target": { "size": 160, "relocation_count": 9, "normalized_sha256": "663e3657f92949f904f1b44dacbe89442c7a655d7325f245e9d13ba59b54b74b" },
"base": { "size": 160, "relocation_count": 9, "normalized_sha256": "663e3657f92949f904f1b44dacbe89442c7a655d7325f245e9d13ba59b54b74b" },
"objdiff_percent": 100.0
}
},
{
"unit": "source/structures/leaf_map",
"function": "_leaf_map_build_leaf_face_for_leaf_on_node",
"class": "csplit-relocation-alias",
"evidence": "Same-build symbols authenticate this private caller and the complete typed BSP-plane clipping body. Target and canonical have identical 608-byte code sections, 30 relocations, and normalized SHA-256. The sole symbolic mismatch is target _faked_xbox_command_line+4 versus canonical _leaf_map_globals-4 at relocation offset 0xA4; both resolve to January image address 4982956. Zero strict-exact credit; accept only through the canonical resolved-address validator. See docs/object_matching_logs/leaf_map_obj_private_graph_reconciliation_20260909.md.",
"measurements": {
"target": { "size": 608, "relocation_count": 30, "normalized_sha256": "52640cd38559b34cede1057294be7ca6099a445067f11eb96d699b065e063bb1" },
"base": { "size": 608, "relocation_count": 30, "normalized_sha256": "52640cd38559b34cede1057294be7ca6099a445067f11eb96d699b065e063bb1" },
"objdiff_percent": 100.0
}
},
{
"unit": "source/structures/leaf_map",
"function": "_leaf_map_build_leaf_faces_for_leaf",
"class": "csplit-relocation-alias",
"evidence": "Same-build symbols authenticate this private stack-walk caller. Target and canonical have identical 112-byte code sections, nine relocations, and normalized SHA-256. The sole symbolic mismatch is target _faked_xbox_command_line+4 versus canonical _leaf_map_globals-4 at relocation offset 0x48; both resolve to January image address 4982956. Zero strict-exact credit; accept only through the canonical resolved-address validator. See docs/object_matching_logs/leaf_map_obj_private_graph_reconciliation_20260909.md.",
"measurements": {
"target": { "size": 112, "relocation_count": 9, "normalized_sha256": "10e5a7b3ba4c61f4128829f463ba33e0b441098b9011e68497c2c64fc0b9a31c" },
"base": { "size": 112, "relocation_count": 9, "normalized_sha256": "10e5a7b3ba4c61f4128829f463ba33e0b441098b9011e68497c2c64fc0b9a31c" },
"objdiff_percent": 100.0
}
},
{
"unit": "source/structures/leaf_map",
"function": "_leaf_map_build_portals_from_leaf",
"class": "csplit-relocation-alias",
"evidence": "Best complete ordinary-C recursive portal traversal retained from the interrupted Opus Leaf Map graph. Same-build symbols authenticate the private name; January's branch, relocation and assertion topology plus the independent HCEA lift support the behavior. Natural signed designator comparisons are retained without source-pressure rewrites. Target is 480 padded bytes and canonical is 432, both with 17 relocations; objdiff reports 63.948864 percent. No precise natural source-level mechanism is proved. Zero exact credit. See docs/object_matching_logs/leaf_map_obj_private_graph_reconciliation_20260909.md. On September 14 (lane opus/150k-house-clean-20260914, wave w1 Batch B, adversarially verified) the body became resolved-address identical to January (480/17): the inline frequency law explains the 48-byte inlined map_leaf_find_face_on_node, the HCEA-corroborated flattened gate topology and the jns-proven LONG_MIN designator tests are reproduced. The single remaining difference is a csplit relocation alias at +0x6a (_faked_xbox_command_line+4 in the split vs _leaf_map_globals-4 in the candidate, both image address 4982956), so the class is csplit-relocation-alias. See docs/object_matching_logs/leaf_map_obj_opus5_150k_w1_20260914.md.",
"measurements": {
"target": { "size": 480, "relocation_count": 17, "normalized_sha256": "d50628a74d0b5faa208698ae864a472891a40d442d219bd01dd148adb640fe81" },
"base": { "size": 480, "relocation_count": 17, "normalized_sha256": "d50628a74d0b5faa208698ae864a472891a40d442d219bd01dd148adb640fe81" },
"objdiff_percent": 100.0
}
},
{
"unit": "source/items/projectiles",
"function": "_projectile_new",
+5 -5
View File
@@ -80147,7 +80147,7 @@
{ "source_file_offset": 1577933, "target_file_offset": 508000, "target_addend": -5, "is_relative" : true },
{ "source_file_offset": 1577940, "target_file_offset": 510304, "target_addend": -5, "is_relative" : true },
{ "source_file_offset": 1577950, "target_file_offset": 4983984, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 1577962, "target_file_offset": 4982956, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 1577962, "target_file_offset": 4982960, "target_addend": -4, "is_relative" : false },
{ "source_file_offset": 1577982, "target_file_offset": 1741936, "target_addend": -5, "is_relative" : true },
{ "source_file_offset": 1577993, "target_file_offset": 1741936, "target_addend": -5, "is_relative" : true },
{ "source_file_offset": 1578021, "target_file_offset": 4983984, "target_addend": 0, "is_relative" : false },
@@ -80156,7 +80156,7 @@
{ "source_file_offset": 1578065, "target_file_offset": 508000, "target_addend": -5, "is_relative" : true },
{ "source_file_offset": 1578072, "target_file_offset": 510304, "target_addend": -5, "is_relative" : true },
{ "source_file_offset": 1578078, "target_file_offset": 4983984, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 1578096, "target_file_offset": 4982956, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 1578096, "target_file_offset": 4982960, "target_addend": -4, "is_relative" : false },
{ "source_file_offset": 1578118, "target_file_offset": 1616480, "target_addend": -5, "is_relative" : true },
{ "source_file_offset": 1578133, "target_file_offset": 4983984, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 1578197, "target_file_offset": 1616480, "target_addend": -5, "is_relative" : true },
@@ -80311,7 +80311,7 @@
{ "source_file_offset": 1582650, "target_file_offset": 508000, "target_addend": -5, "is_relative" : true },
{ "source_file_offset": 1582657, "target_file_offset": 510304, "target_addend": -5, "is_relative" : true },
{ "source_file_offset": 1582670, "target_file_offset": 4983984, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 1582682, "target_file_offset": 4982956, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 1582682, "target_file_offset": 4982960, "target_addend": -4, "is_relative" : false },
{ "source_file_offset": 1582706, "target_file_offset": 1578016, "target_addend": -5, "is_relative" : true },
{ "source_file_offset": 1582744, "target_file_offset": 2756068, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 1582749, "target_file_offset": 2756456, "target_addend": 0, "is_relative" : false },
@@ -80330,7 +80330,7 @@
{ "source_file_offset": 1583191, "target_file_offset": 508000, "target_addend": -5, "is_relative" : true },
{ "source_file_offset": 1583198, "target_file_offset": 510304, "target_addend": -5, "is_relative" : true },
{ "source_file_offset": 1583208, "target_file_offset": 4983984, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 1583220, "target_file_offset": 4982956, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 1583220, "target_file_offset": 4982960, "target_addend": -4, "is_relative" : false },
{ "source_file_offset": 1583248, "target_file_offset": 1616480, "target_addend": -5, "is_relative" : true },
{ "source_file_offset": 1583264, "target_file_offset": 1616480, "target_addend": -5, "is_relative" : true },
{ "source_file_offset": 1583342, "target_file_offset": 1582208, "target_addend": -5, "is_relative" : true },
@@ -80375,7 +80375,7 @@
{ "source_file_offset": 1583945, "target_file_offset": 508000, "target_addend": -5, "is_relative" : true },
{ "source_file_offset": 1583952, "target_file_offset": 510304, "target_addend": -5, "is_relative" : true },
{ "source_file_offset": 1583958, "target_file_offset": 4983984, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 1583976, "target_file_offset": 4982956, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 1583976, "target_file_offset": 4982960, "target_addend": -4, "is_relative" : false },
{ "source_file_offset": 1583985, "target_file_offset": 1583056, "target_addend": -5, "is_relative" : true },
{ "source_file_offset": 1583991, "target_file_offset": 4983984, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 1584036, "target_file_offset": 1616480, "target_addend": -5, "is_relative" : true },