{"source":"map1_01a","target":"map2_02d","currentOpcode20VaHex":"0x005428a8","currentOpcode20ValueHex":"0x00200020","currentMode":"mode 0","currentModeHex":"0x00","countRuntimeVaHex":"0x004576e8","countSaveSource":{"callVaHex":"0x00423404","targetVaHex":"0x004576d8","sizeHex":"0x0072","description":"first save block, includes scene selector bytes and tile/camera candidates","saveOffsetHex":"0x0010","offsetWithinBlockHex":"0x0010"},"countStaticInitialByte":0,"countStaticInitialByteHex":"0x00","countDirectRefSummary":{"targetVaHex":"0x004576e8","count":86,"sampleRefs":["0x00406b91","0x00406cce","0x00407d24","0x004081de","0x00408372","0x0040849d","0x00408782","0x00408a1d","0x00408a3b","0x00408c30","0x00408d2b","0x00408ec7","0x0040a3b9","0x0040a5ae","0x0040a798","0x0040a98e","0x0040ab84","0x0040acf2","0x0040bce8","0x0040bcf7","0x0040bd37","0x0040bd6b","0x0040be53","0x0040c2e2"]},"slotBaseHex":"0x00457750","slotStrideHex":"0x00d8","slotSaveSource":{"callVaHex":"0x00423430","targetVaHex":"0x00457750","sizeHex":"0x0288","description":"second save block","saveOffsetHex":"0x0072","offsetWithinBlockHex":"0x0000"},"loadedSecondBlockSizeHex":"0x0288","loadedCompleteSlotCapacity":3,"loadedSlotRemainderHex":"0x0000","slotBaseDirectRefSummary":{"targetVaHex":"0x00457750","count":39,"sampleRefs":["0x00406436","0x0040ad79","0x0040b6b8","0x0040be8c","0x0040c3d5","0x0040c43b","0x0040c499","0x0040dec6","0x0040f25a","0x0040f373","0x0040f48c","0x0040f730","0x0040fac6","0x0040ff57","0x0041015b","0x00410162","0x004101a6","0x004101ad","0x004103e7","0x0041d8f8","0x0042007d","0x004217ae","0x00422562","0x00422a5c"]},"slotRows":[{"slot":0,"slotBaseHex":"0x00457750","saveOffsetHex":"0x0072","insideLoadedSecondBlock":true,"staticFirstDwordHex":"0x00000000","staticPlus4DwordHex":"0x00010001","staticFirstDwordLooksPointer":false,"runtimeSlotDescriptorPointerRequired":true},{"slot":1,"slotBaseHex":"0x00457828","saveOffsetHex":"0x014a","insideLoadedSecondBlock":true,"staticFirstDwordHex":"0x00000000","staticPlus4DwordHex":"0x00010101","staticFirstDwordLooksPointer":false,"runtimeSlotDescriptorPointerRequired":true},{"slot":2,"slotBaseHex":"0x00457900","saveOffsetHex":"0x0222","insideLoadedSecondBlock":true,"staticFirstDwordHex":"0x00000000","staticPlus4DwordHex":"0x00010201","staticFirstDwordLooksPointer":false,"runtimeSlotDescriptorPointerRequired":true},{"slot":3,"slotBaseHex":"0x004579d8","saveOffsetHex":null,"insideLoadedSecondBlock":false,"staticFirstDwordHex":"0x00000000","staticPlus4DwordHex":"0x00000000","staticFirstDwordLooksPointer":false,"runtimeSlotDescriptorPointerRequired":true},{"slot":4,"slotBaseHex":"0x00457ab0","saveOffsetHex":null,"insideLoadedSecondBlock":false,"staticFirstDwordHex":"0x00000000","staticPlus4DwordHex":"0x00000000","staticFirstDwordLooksPointer":false,"runtimeSlotDescriptorPointerRequired":true},{"slot":5,"slotBaseHex":"0x00457b88","saveOffsetHex":null,"insideLoadedSecondBlock":false,"staticFirstDwordHex":"0x00000000","staticPlus4DwordHex":"0x00000000","staticFirstDwordLooksPointer":false,"runtimeSlotDescriptorPointerRequired":true}],"scannedSlotCount":6,"staticFirstDwordNonzeroCount":0,"runtimeSlotCountRequired":true,"runtimeSlotDescriptorPointersRequired":true,"controlPathProofStatus":"blocked","proofFound":false,"opcode20SlotSourceProofFound":false,"failedOpcode20SlotSourceGateIds":["runtime-slot-count","runtime-slot-descriptor-pointers","active-order-runtime-state","selected-root-execution-or-trace"],"missingEvidence":["runtime slot count byte at 0x004576e8 on the current route path","runtime descriptor pointers materialized at 0x00457750 + slot*0xd8","active order/count values for current selector 2:0","selected-root execution or equivalent runtime trace reaching opcode 0x20"],"evidenceRefs":[{"path":"Hwanse2.exe","description":"static slot/count byte locations and direct-reference scans"},{"path":"out/save_loader_trace.json","description":"save block mapping for count byte and slot base runtime addresses"},{"path":"out/save_selector_opcode20_nested_base_modes.json","description":"current opcode 0x20 mode and nested script path classification"}],"evidenceRefCount":3,"promotionStatus":"blocked","conclusion":"Opcode 0x20 mode 0 is controlled by runtime state, not by a static leaf table. The loop count byte 0x004576e8 sits inside the first save-read block at save offset 0x0010, while the 0x00457750 slot area is the second save-read block and contains only three complete 0xd8-byte slots. The static first dwords of the scanned slots are zero, so slot descriptor pointers must be materialized at runtime before descriptor+4 nested scripts can run. This keeps the current map1_01a -> map2_02d gate proof blocked until runtime slot count and descriptor pointer values are proven."}