{
  "recorded_date": "2026-10-21",
  "author": "GPT-6",
  "sample": {
    "steam_build": "23966345",
    "executable_sha256": "af2f5a1227911d8aa06b3908d6bd0211838211cae14ea91099cb57d0df990781",
    "image_base": "0x140000000",
    "internal_version_marker": "1076226|^/game38/branches/ea_update_08|2026-06-29T10:27:39.052394Z"
  },
  "tools": {
    "rea_npm": "6.7.0",
    "rea_source_commit": "d0067ba34a39ea47dd7e11bb2e6169bc0938cc3f",
    "ghidra": "12.1.4",
    "node": "24.14.1",
    "java": "21.0.9"
  },
  "claims": [
    {
      "id": "cell-vertex",
      "address": "0x1401a8540",
      "evidence_id": "ev_d1ab5d2fc77ed55765ea66f4313da297fad5ad24b07e8a6e1f750626352dac51",
      "local_evidence_file": "function-voxel-index-generation.json",
      "basis": "Static decompilation cross-checked with selected assembly",
      "observation": "Eight float corners, 12 sign-changing edge intersections, mean vertex position, gradient, 16-slot streaming material weights, 52-byte CPU record and reserved u16 sentinel."
    },
    {
      "id": "normal-helper",
      "address": "0x1400b8200",
      "evidence_id": "ev_35990da4856f1cc7252b8ee69c306dbd5077c584d088522bbd7be9c8f66809b9",
      "local_evidence_file": "r2-normal-helper.json",
      "basis": "Static decompilation cross-checked with selected assembly",
      "observation": "Finite vector normalization; squared length <= approximately 1e-20 returns zero."
    },
    {
      "id": "local-connectivity",
      "address": "0x1401af120",
      "evidence_id": "ev_dc7c22e85daff78295dfd98d330cff62311d8de423fde43e2dc5e07d099dd557",
      "local_evidence_file": "r2-topology-driver.json",
      "basis": "Static decompilation cross-checked with selected assembly",
      "observation": "Cross-sign grid edges connect four adjacent cell vertices, with dimension guards, selected 16-way scan partitions and independent material-field offset."
    },
    {
      "id": "quad-order",
      "address": "0x1401a8480",
      "evidence_id": "ev_2510bc1df396e8a5ba9757b0d7797e61f6a423db39b7a64cf08d0670dd51f163",
      "local_evidence_file": "r2-face-emitter.json",
      "basis": "Static decompilation cross-checked with selected assembly",
      "observation": "Append four u16 indices; negative edge start gives [0,1,3,2], nonnegative gives [2,3,1,0]. No triangulation in this function."
    },
    {
      "id": "voxel-raycast",
      "address": "0x14001e280",
      "evidence_id": "ev_26c31c0353081b769d4e25e3289bd2049e17828db741de934f84c73340d445f3",
      "local_evidence_file": "r2-voxel-raycast.json",
      "basis": "Static decompilation cross-checked with selected assembly",
      "observation": "Queries local AABBs in ray segments <=4 shape units, consumes 92-byte triangle records and submits collector hits. Candidate generation recovered separately below."
    },
    {
      "id": "merged-rects",
      "address": "0x140989460",
      "evidence_id": "ev_088eb466619bbabf2617359a6f70f9ec5a71b8760fd0dc031aa7d870d47b06d3",
      "local_evidence_file": "r2-merged-rects.json",
      "basis": "Static decompilation cross-checked with selected assembly",
      "observation": "Byte-grid classification, X contiguous runs, Y merging with identical X extents, then Z merging with identical XY extents; six floats are axis-aligned box extents. Consumer 0x1409882f0 remains unresolved."
    },
    {
      "id": "mesh-allocation-wrapper",
      "address": "0x140083d40",
      "evidence_id": "ev_2ef8ab1e1b9de838f332e01e7340f5730731e711785f932661859dea45adb57c",
      "local_evidence_file": "r2-render-mesh-allocation.json",
      "basis": "Static decompilation cross-checked with selected assembly",
      "observation": "Allocator wrapper with mesh-allocation diagnostic. Does not establish CPU-to-GPU packing."
    },
    {
      "id": "column-loading",
      "address": "0x140e7aab0",
      "evidence_id": "ev_d7d8e95a52ee7cf18d93b59fdf6ad6b29aa3c190791575738cf08cd28315d05f",
      "local_evidence_file": "r3-column-loading.json",
      "basis": "Static consumer code; selected assembly and original reference checks where noted",
      "observation": "Column header: u16 vertical brick count and u16 control-byte length; front control and body sections."
    },
    {
      "id": "column-control",
      "address": "0x140e8eac0",
      "evidence_id": "ev_f2560b2b469039d3cf9a6451c35593487594fd5f3ab6070ed02da873e218eec2",
      "local_evidence_file": "r3-column-control-decoder.json",
      "basis": "Static consumer code; selected assembly and original reference checks where noted",
      "observation": "Variable binary run, compressed/uniform branch, uniform constant reuse, optional high byte."
    },
    {
      "id": "column-brick-selection",
      "address": "0x140e933b0",
      "evidence_id": "ev_de4d68fb8dcb916924e4debf22695abccc075a2fc896ba645dbb26891237246e",
      "local_evidence_file": "r3-column-brick-selection.json",
      "basis": "Static consumer code; selected assembly and original reference checks where noted",
      "observation": "Compressed bricks use 10-bit payload lengths; selects vertical brick and cumulative body range."
    },
    {
      "id": "two-plane-codec",
      "address": "0x140e99830",
      "evidence_id": "ev_eb14549fbd847a4925723b4f3a33d09cca37ea2b882a83a569885278258cdaac",
      "local_evidence_file": "r3-terraform-decoder.json",
      "basis": "Static consumer code; selected assembly and original reference checks where noted",
      "observation": "Custom two-byte-plane payload decoding: forward LSB controls, reverse literals, low-plane historical reuse, conditional high-plane defaults/runs; independently decoded actual disk brick payloads."
    },
    {
      "id": "region-read",
      "address": "0x140e819d0",
      "evidence_id": "ev_74b8a58ee668ea1e1c7fd4b8b39e7196ac086cb495ddaae3e5a49d77c89c1410",
      "local_evidence_file": "r3-u16-region-reader.json",
      "basis": "Static consumer code; selected assembly and original reference checks where noted",
      "observation": "Reads 8^3 u16 bricks, queries edit overlays, fills Y<0 with 0xff01 and absent upper bricks with zero, copies x-fastest output."
    },
    {
      "id": "field-preparation-a",
      "address": "0x1401a9470",
      "evidence_id": "ev_1d2f0eb2b4d1c3f9d177c2b742628157be5adec6f24d13b031795cd2358d4c3a",
      "local_evidence_file": "r3-scalar-field-a.json",
      "basis": "Static consumer code; selected assembly and original reference checks where noted",
      "observation": "Observed category preprocessing, complete halo, multiple level requests; not a universal preprocessing claim."
    },
    {
      "id": "scalar-conversion",
      "address": "0x140e88d80",
      "evidence_id": "ev_8f452f477c0038ce8be6bb09779b23b0b216ed2556d341baa80917750be91792",
      "local_evidence_file": "r3-scalar-conversion.json",
      "basis": "Static consumer code; selected assembly and original reference checks where noted",
      "observation": "Complete 27-high-byte stencil, six-axis extrema, center low-byte threshold, nonlinear shaping. Clipped fallback differs and is excluded from reference implementation.",
      "corroborating_evidence_ids": [
        "ev_5a106976a0e7913a0870086a3f49d386501aa9f2f840a3c86c6bc5513a7bd32f"
      ]
    },
    {
      "id": "collision-cache",
      "address": "0x140e82b30",
      "evidence_id": "ev_01323986a2b35b025c72ce0b2254c80cdb527db40aa5ea47f5168d484443a2a7",
      "local_evidence_file": "r3-collision-cell-builder.json",
      "basis": "Static consumer code; selected assembly and original reference checks where noted",
      "observation": "Cache hit copies local quad/vertex arrays; miss samples 12^3 u16 and constructs 10^3 float field and local collision mesh."
    },
    {
      "id": "collision-triangle-provider",
      "address": "0x140e85ef0",
      "evidence_id": "ev_6607b8f7ba56dc8c5f8c119b1c24060e19a41d932c5922c3a0115afe8b843437",
      "local_evidence_file": "r3-raycast-triangle-provider.json",
      "basis": "Static consumer code; selected assembly and original reference checks where noted",
      "observation": "Queries coarse cells overlapping AABB and converts quad (a,b,c,d) to (a,b,c),(a,c,d), producing 92-byte triangle records."
    },
    {
      "id": "collision-displacement",
      "address": "0x140e87e50",
      "evidence_id": "ev_8b660d288080efb435e60261b3cb13b636c2d961ebe35b10cbaca9baa45cf30c",
      "local_evidence_file": "r3-collision-vertex-builder.json",
      "basis": "Static consumer code; selected assembly and original reference checks where noted",
      "observation": "28-byte position/normal/displacement record; local mean crossings and normalized gradient; slot 2*ID+side, repeat nearest byte sample and normal displacement."
    },
    {
      "id": "nearest-raycast",
      "address": "0x14001e870",
      "evidence_id": "ev_5835a6a95c9136f2651ebd65adec6bbc47bb03c46de39a80821806b3288c4939",
      "local_evidence_file": "r3-voxel-raycast-second.json",
      "basis": "Static consumer code; selected assembly and original reference checks where noted",
      "observation": "Nearest-hit fraction/subshape updates and boolean return; collector is the other recovered entry."
    },
    {
      "id": "chunklet-aggregation",
      "address": "0x1400ca780",
      "evidence_id": "ev_3fb234e770645e54b2bc22a6409f2a30084c3bd43a47745c2a330b2f80d3965b",
      "local_evidence_file": "r3-mesh-consumer-a.json",
      "basis": "Static consumer code; selected assembly and original reference checks where noted",
      "observation": "At most 32 triangles / 16 quads per group; mean point center using 4096-bit masked-index deduplication, radius and aggregate normals."
    },
    {
      "id": "render-mode0-packing",
      "address": "0x1401b4de0",
      "evidence_id": "ev_4ab7c327a72f71d792c0cb5c341c00ac6aa0c3aaff0707ed8eff4ce0a7b12a88",
      "local_evidence_file": "r3-mesh-consumer-b.json",
      "basis": "Static consumer code; selected assembly and original reference checks where noted",
      "observation": "52-byte CPU record to 12-byte mode0 vertex: 14-bit positions, folded 6+6-bit normal, flags, three 7-bit material IDs, two 3-bit weights and low 3-bit attribute. Fixed quad diagonal a-c; retains original quad stream.",
      "corroborating_evidence_ids": [
        "ev_9919a1069178255745700ceba2341fd92f88242799628cd6d1b8c71c8fb9bc3c"
      ]
    },
    {
      "id": "water-path-exclusion",
      "address": "0x1401d19f0",
      "evidence_id": "ev_c1747c54c8ff713e7d1592682b0b78656115e4c48cde534e325644634ddcb2d3",
      "local_evidence_file": "r3-brick-upload.json",
      "basis": "Static consumer code; selected assembly and original reference checks where noted",
      "observation": "Identified water-brick update path and WaterBrickInstanceUploadData; excluded from solid-terrain brick layout claims."
    }
  ],
  "resources": {
    "summary": "data-summary.json",
    "descriptors": 135,
    "sampled_tiles": 1035,
    "sampled_columns": 764841,
    "scope": "Index validation and container statistics; not a decoded voxel field",
    "contracts": "resource-contracts.json",
    "contract_types": 16,
    "contract_fields": 79,
    "codec_validation": "voxel-codec-validation.json",
    "codec_validation_totals": {
      "tiles": 149,
      "columns": 6853,
      "logicalBricks": 575330,
      "uniformBricks": 551522,
      "compressedBrickReferences": 23808,
      "compressedBytes": 1181683,
      "uniqueCompressedPayloadsDecoded": 7734,
      "distinctDecodeVoxelSamples": 3959808,
      "logicalVoxelSamples": 294568960,
      "logicalDecodedBytes": 589137920,
      "report": "voxel-codec-validation.json",
      "failures": 0
    }
  },
  "rendering": {
    "summary": "gpu-contracts.json",
    "types": 33,
    "fields": 133,
    "scope": "Reflection declarations including GPU flags/attributes; not CPU runtime ABI or frame captures"
  },
  "verification": {
    "vertex": {
      "scope": "Synthetic checks of original semantic reconstruction; not game runtime observations or bitwise equivalence",
      "normal_helper": "Verified finite-vector SSE scalar arithmetic reconstructed with Math.fround; FTZ/DAZ runtime state unknown",
      "checks": 548,
      "cases": [
        {
          "name": "verified normalization helper, tiny vector and valid surface with zero gradient",
          "status": "passed"
        },
        {
          "name": "analytic x-plane and complement",
          "status": "passed"
        },
        {
          "name": "all 254 nonhomogeneous binary masks and homogeneous precondition",
          "status": "passed"
        },
        {
          "name": "material projection, high-byte presence, tie order and full denominator",
          "status": "passed"
        },
        {
          "name": "special low-byte counting independent of high byte",
          "status": "passed"
        },
        {
          "name": "boundary flag and unshifted material coordinates",
          "status": "passed"
        },
        {
          "name": "u16 sentinel, reuse, last legal index and distinct failures",
          "status": "passed"
        }
      ]
    },
    "topology": {
      "scope": "Synthetic local connectivity checks; no game runtime or full engine equivalence",
      "checks": 72,
      "cases": [
        {
          "name": "axis 0: plane counts, sign complement, 4096 partitions",
          "status": "passed"
        },
        {
          "name": "axis 1: plane counts, sign complement, 4096 partitions",
          "status": "passed"
        },
        {
          "name": "axis 2: plane counts, sign complement, 4096 partitions",
          "status": "passed"
        },
        {
          "name": "closed sphere: closed edge incidence and Euler characteristic",
          "status": "passed",
          "vertices": 368,
          "quads": 366
        },
        {
          "name": "shell with internal cavity: closed edge incidence and Euler characteristic",
          "status": "passed",
          "vertices": 664,
          "quads": 660
        }
      ]
    },
    "resource_container_synthetic_checks": 8,
    "scalar": {
      "scope": "Synthetic mathematics and array contracts, not observed game execution or recovered source",
      "assertions": 838,
      "cases": [
        {
          "name": "caller-a preprocessing: category boundaries and four-bit expansion",
          "passed": true
        },
        {
          "name": "caller-a positive-Y mixing uses strict thresholds and floors odd differences",
          "passed": true
        },
        {
          "name": "homogeneous endpoints are symmetric +1.5 and -1.5",
          "passed": true
        },
        {
          "name": "all 256 uniform high-byte values preserve complement symmetry",
          "passed": true
        },
        {
          "name": "only the center low-byte threshold matters",
          "passed": true
        },
        {
          "name": "six axis neighbors differ from diagonal neighbors",
          "passed": true
        },
        {
          "name": "all axis permutations leave complete stencils unchanged",
          "passed": true
        },
        {
          "name": "both measured caller padding arrangements supply complete neighborhoods",
          "passed": true
        },
        {
          "name": "packed density step flows through scalar conversion into a flat cached quad mesh",
          "passed": true
        }
      ],
      "limitation": "Complete-halo fast path only; no clipped boundary fallback; no FTZ/DAZ runtime claim"
    },
    "codec": {
      "syntheticGoldenFixtures": 7,
      "deterministicRoundTrips": 100,
      "malformedFixtures": 4,
      "columnGoldenFixtures": 6,
      "tileDirectoryAssertions": 3,
      "passed": true
    },
    "renderPacking": {
      "tests": 4,
      "passed": 4,
      "scope": "Independent synthetic packing/unpacking; not shader or runtime output equivalence"
    },
    "collisionDisplacement": {
      "checks": 8,
      "passed": true
    }
  },
  "unknowns": [
    "Complete local material ID to global GUID mapping and all source preprocessing modes",
    "Cross-chunk ownership, cross-LOD seams and actual selection distances",
    "Runtime fidelity, float boundary cases and game FTZ/DAZ state",
    "Actual shader decode, material baking and GPU culling/dispatch order",
    "Edit invalidation and synchronization across collision, rendering, persistence and lighting"
  ],
  "limitations": [
    "No runtime observation or game modification",
    "Addresses are VAs for the exact recorded executable hash",
    "Reference models are original semantic reconstructions, not recovered source",
    "Synthetic assertions do not establish engine-wide or bitwise equivalence",
    "Complete local Evidence may contain proprietary disassembly and is not published here"
  ],
  "attachments": [
    "cell-vertex-reference.mjs",
    "collision-displacement-reference.mjs",
    "data-summary.json",
    "gpu-contracts.json",
    "README.md",
    "render-consumers.md",
    "render-mode0-packing-reference.mjs",
    "render-mode0-packing-reference.test.mjs",
    "resource-contracts.json",
    "resource-readers.mjs",
    "scalar-field-checks.json",
    "scalar-field-reference.mjs",
    "scalar-field-spec.md",
    "terraform-codec-reference.mjs",
    "topology-checks.json",
    "topology-reference.mjs",
    "vertex-checks.json",
    "voxel-codec-validation.json"
  ]
}