Resolve HS and decal one-before relocation aliases

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

Each function indexes a table with a base offset, so January encodes an
address before the table; csplit attributed it to the preceding image
symbol. Retarget to the owning table with the negative addend (line
surgery on relocs.json, same class as the leaf_map fix):

- _hs_inspect_enum, _hs_parse_enum: _hs_fast_setup_network_server_definition+16
  -> _hs_enum_table-256
- _hs_parse_tag_reference: action_index string+60
  -> _hs_tag_reference_type_group_tags-96
- _hs_parse_object_name: action_index string+58 -> _hs_object_type_masks-86
- _render_debug_decals: _decal_points2d_temp+176 -> _decal_geometry-24

The semantic scorer already accepted all five as ordinary relocation
aliases, so objdiff progress is unchanged. parked.json: unpark the four
parked HS rows.

Gate: ninja PASS, parks 125 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:13:33 -07:00
1 parent 1b439d04fb
commit 790960276d
2 files changed
+5 -81

No files matched your search

-76
View File
@@ -1112,25 +1112,6 @@
"objdiff_percent": 97.948715
}
},
{
"unit": "source/hs/hs_runtime",
"function": "_hs_inspect_enum",
"class": "csplit-relocation-alias",
"evidence": "January and the retained ordinary typed inspector have the same 144-byte padded extent, 11 relocations, normalized instruction hash, and 100.0 percent objdiff score. The sole ordinary-comparison difference is csplit attribution of the same data address: January names the relocation as __hs_type_scenery_default+12912, while the rebuild names hs_enum_table-256. Whole-image address resolution proves those destinations identical, and the enum table access, range checks, assertions, and string formatting are otherwise byte-identical. The function and its exact 49-entry hs_type_inspectors owner table are source-static as supported by HCEX PDB evidence. No raw address, pointer pun, compiler steering, fake dependency, or nonsensical logic is retained.",
"measurements": {
"target": {
"size": 144,
"relocation_count": 11,
"normalized_sha256": "a941037b633bbe666daf47a9644bdb3da452a7227109aa86c013312570f01454"
},
"base": {
"size": 144,
"relocation_count": 11,
"normalized_sha256": "a941037b633bbe666daf47a9644bdb3da452a7227109aa86c013312570f01454"
},
"objdiff_percent": 100.0
}
},
{
"unit": "source/hs/hs_runtime",
"function": "_hs_evaluate_begin_random",
@@ -1511,63 +1492,6 @@
"objdiff_percent": 99.25616
}
},
{
"unit": "source/hs/hs_compile",
"function": "_hs_parse_enum",
"class": "csplit-relocation-alias",
"evidence": "Code bytes, padded size (464), relocation count (43), relocation offsets/types, and normalized SHA-256 are identical. The sole symbolic identity difference is target __hs_type_scenery_default+12912 versus candidate _hs_enum_table-256; both resolve to image file offset 2493140. Zero strict-exact credit; accept only through the canonical relocation-address validator.",
"measurements": {
"target": {
"size": 464,
"relocation_count": 43,
"normalized_sha256": "6d5a6ec9dfca19aeabff7f7b48941ab226301531966c86beb8165eb4cbf70db1"
},
"base": {
"size": 464,
"relocation_count": 43,
"normalized_sha256": "6d5a6ec9dfca19aeabff7f7b48941ab226301531966c86beb8165eb4cbf70db1"
},
"objdiff_percent": 100
}
},
{
"unit": "source/hs/hs_compile",
"function": "_hs_parse_object_name",
"class": "csplit-relocation-alias",
"evidence": "Code bytes, padded size (320), relocation count (26), relocation offsets/types, and normalized SHA-256 are identical. The sole symbolic identity difference resolves to image file offset 2479850: target csplit string+58 equals candidate _hs_object_type_masks-86. Zero strict-exact credit; accept only through the canonical relocation-address validator.",
"measurements": {
"target": {
"size": 320,
"relocation_count": 26,
"normalized_sha256": "8328bb587dd8eecd7fcfefb54794728f56fd653e10bf3a8f4d2fea86605b6710"
},
"base": {
"size": 320,
"relocation_count": 26,
"normalized_sha256": "8328bb587dd8eecd7fcfefb54794728f56fd653e10bf3a8f4d2fea86605b6710"
},
"objdiff_percent": 100
}
},
{
"unit": "source/hs/hs_compile",
"function": "_hs_parse_tag_reference",
"class": "csplit-relocation-alias",
"evidence": "Code bytes, padded size (208), relocation count (11), relocation offsets/types, and normalized SHA-256 are identical. The sole symbolic identity difference resolves to image file offset 2479852: target csplit string+60 equals candidate _hs_tag_reference_type_group_tags-96. Zero strict-exact credit; accept only through the canonical relocation-address validator.",
"measurements": {
"target": {
"size": 208,
"relocation_count": 11,
"normalized_sha256": "2d1c09cc00e5c911dd12e1a555e5c702767613e2f4a030b13b9cdd5c25d28df1"
},
"base": {
"size": 208,
"relocation_count": 11,
"normalized_sha256": "2d1c09cc00e5c911dd12e1a555e5c702767613e2f4a030b13b9cdd5c25d28df1"
},
"objdiff_percent": 100
}
},
{
"unit": "source/bink/bink_playback",
"function": "_bink_query_analog_controller_buttons",
+5 -5
View File
@@ -25586,7 +25586,7 @@
{ "source_file_offset": 554727, "target_file_offset": 5842644, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 554742, "target_file_offset": 4441466, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 554779, "target_file_offset": 4439418, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 554803, "target_file_offset": 4414816, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 554803, "target_file_offset": 4414840, "target_addend": -24, "is_relative" : false },
{ "source_file_offset": 554825, "target_file_offset": 3001504, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 554833, "target_file_offset": 4414840, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 554842, "target_file_offset": 1542848, "target_addend": -5, "is_relative" : true },
@@ -35222,13 +35222,13 @@
{ "source_file_offset": 742002, "target_file_offset": 2532368, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 742007, "target_file_offset": 508000, "target_addend": -5, "is_relative" : true },
{ "source_file_offset": 742014, "target_file_offset": 510304, "target_addend": -5, "is_relative" : true },
{ "source_file_offset": 742028, "target_file_offset": 2479852, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 742028, "target_file_offset": 2479948, "target_addend": -96, "is_relative" : false },
{ "source_file_offset": 742061, "target_file_offset": 1616480, "target_addend": -5, "is_relative" : true },
{ "source_file_offset": 742071, "target_file_offset": 4535432, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 742083, "target_file_offset": 508704, "target_addend": -5, "is_relative" : true },
{ "source_file_offset": 742153, "target_file_offset": 5842152, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 742163, "target_file_offset": 1084224, "target_addend": -5, "is_relative" : true },
{ "source_file_offset": 742189, "target_file_offset": 2493140, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 742189, "target_file_offset": 2493396, "target_addend": -256, "is_relative" : false },
{ "source_file_offset": 742209, "target_file_offset": 2531628, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 742214, "target_file_offset": 2532464, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 742219, "target_file_offset": 508000, "target_addend": -5, "is_relative" : true },
@@ -35394,7 +35394,7 @@
{ "source_file_offset": 744209, "target_file_offset": 2533356, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 744214, "target_file_offset": 508000, "target_addend": -5, "is_relative" : true },
{ "source_file_offset": 744221, "target_file_offset": 510304, "target_addend": -5, "is_relative" : true },
{ "source_file_offset": 744236, "target_file_offset": 2479850, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 744236, "target_file_offset": 2479936, "target_addend": -86, "is_relative" : false },
{ "source_file_offset": 744276, "target_file_offset": 3013152, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 744282, "target_file_offset": 2533320, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 744287, "target_file_offset": 4535460, "target_addend": 0, "is_relative" : false },
@@ -36494,7 +36494,7 @@
{ "source_file_offset": 760291, "target_file_offset": 510304, "target_addend": -5, "is_relative" : true },
{ "source_file_offset": 760306, "target_file_offset": 2389284, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 760312, "target_file_offset": 1870816, "target_addend": -5, "is_relative" : true },
{ "source_file_offset": 760355, "target_file_offset": 2493140, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 760355, "target_file_offset": 2493396, "target_addend": -256, "is_relative" : false },
{ "source_file_offset": 760375, "target_file_offset": 2549912, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 760380, "target_file_offset": 2550124, "target_addend": 0, "is_relative" : false },
{ "source_file_offset": 760385, "target_file_offset": 508000, "target_addend": -5, "is_relative" : true },