{"selector":"2:0","rootHex":"0x00540714","rootTablePointerHex":"0x005429dc","tableWindowHex":"0x005429a8..0x00542a10","evidenceRefs":[{"path":"out/save_scene_selector_references.json","fields":["label","kind","resource","pathHex"]},{"path":"out/save_selector_leaf_streams.json","fields":["leafPointerHex","fieldRecords"]},{"path":"out/save_selector_stream_traces.json","fields":["streamVaHex","trace"]},{"path":"out/script_handler_table.json","fields":["handlerTableVaHex","entries","codeHandlerCount","defaultHandlerCount"]}],"evidenceRefCount":4,"wrapperLeafHex":"0x00542a04","frontierLeafHex":"0x00542ae8","frontierReaderHex":"0x00542b0c","tableRows":[{"vaHex":"0x005429a8","valueHex":"0x005429a0","insideRootTableWindow":false,"lowByteHex":"0xa0","lowByteHandlerVaHex":"0x315f3270","lowByteHandlerSection":null,"lowByteIsCodeHandler":false,"kind":"pointer","targetVaHex":"0x005429a0","targetSection":".data"},{"vaHex":"0x005429ac","valueHex":"0x00542a04","insideRootTableWindow":false,"lowByteHex":"0x04","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"wrapperLeafPointer"},{"vaHex":"0x005429b0","valueHex":"0x00542e80","insideRootTableWindow":false,"lowByteHex":"0x80","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pointer","targetVaHex":"0x00542e80","targetSection":".data"},{"vaHex":"0x005429b4","valueHex":"0x00542a20","insideRootTableWindow":false,"lowByteHex":"0x20","lowByteHandlerVaHex":"0x0040c3f4","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pointer","targetVaHex":"0x00542a20","targetSection":".data"},{"vaHex":"0x005429b8","valueHex":"0x00542e80","insideRootTableWindow":false,"lowByteHex":"0x80","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pointer","targetVaHex":"0x00542e80","targetSection":".data"},{"vaHex":"0x005429bc","valueHex":"0x00542a34","insideRootTableWindow":false,"lowByteHex":"0x34","lowByteHandlerVaHex":"0x0040db36","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pointer","targetVaHex":"0x00542a34","targetSection":".data"},{"vaHex":"0x005429c0","valueHex":"0x00542e80","insideRootTableWindow":false,"lowByteHex":"0x80","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pointer","targetVaHex":"0x00542e80","targetSection":".data"},{"vaHex":"0x005429c4","valueHex":"0x00542a48","insideRootTableWindow":false,"lowByteHex":"0x48","lowByteHandlerVaHex":"0x0040eedf","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pointer","targetVaHex":"0x00542a48","targetSection":".data"},{"vaHex":"0x005429c8","valueHex":"0x00542e80","insideRootTableWindow":false,"lowByteHex":"0x80","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pointer","targetVaHex":"0x00542e80","targetSection":".data"},{"vaHex":"0x005429cc","valueHex":"0x00542a5c","insideRootTableWindow":false,"lowByteHex":"0x5c","lowByteHandlerVaHex":"0x0040fa6d","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pointer","targetVaHex":"0x00542a5c","targetSection":".data"},{"vaHex":"0x005429d0","valueHex":"0x00542e80","insideRootTableWindow":false,"lowByteHex":"0x80","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pointer","targetVaHex":"0x00542e80","targetSection":".data"},{"vaHex":"0x005429d4","valueHex":"0x00542a70","insideRootTableWindow":false,"lowByteHex":"0x70","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pointer","targetVaHex":"0x00542a70","targetSection":".data"},{"vaHex":"0x005429d8","valueHex":"0x00542e80","insideRootTableWindow":false,"lowByteHex":"0x80","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pointer","targetVaHex":"0x00542e80","targetSection":".data"},{"vaHex":"0x005429dc","valueHex":"0x00542a84","insideRootTableWindow":true,"lowByteHex":"0x84","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pointer","targetVaHex":"0x00542a84","targetSection":".data"},{"vaHex":"0x005429e0","valueHex":"0x00542e80","insideRootTableWindow":true,"lowByteHex":"0x80","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pointer","targetVaHex":"0x00542e80","targetSection":".data"},{"vaHex":"0x005429e4","valueHex":"0x00542a98","insideRootTableWindow":true,"lowByteHex":"0x98","lowByteHandlerVaHex":"0x00736e63","lowByteHandlerSection":null,"lowByteIsCodeHandler":false,"kind":"pointer","targetVaHex":"0x00542a98","targetSection":".data"},{"vaHex":"0x005429e8","valueHex":"0x00542e80","insideRootTableWindow":true,"lowByteHex":"0x80","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pointer","targetVaHex":"0x00542e80","targetSection":".data"},{"vaHex":"0x005429ec","valueHex":"0x00542aac","insideRootTableWindow":true,"lowByteHex":"0xac","lowByteHandlerVaHex":"0x00000003","lowByteHandlerSection":null,"lowByteIsCodeHandler":false,"kind":"pointer","targetVaHex":"0x00542aac","targetSection":".data"},{"vaHex":"0x005429f0","valueHex":"0x00542e80","insideRootTableWindow":true,"lowByteHex":"0x80","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pointer","targetVaHex":"0x00542e80","targetSection":".data"},{"vaHex":"0x005429f4","valueHex":"0x00542ac0","insideRootTableWindow":true,"lowByteHex":"0xc0","lowByteHandlerVaHex":"0x00440c5c","lowByteHandlerSection":".data","lowByteIsCodeHandler":false,"kind":"leafPointer","leafPointerHex":"0x00542ac0","leafFieldMaps":["map1_01a","map2_02d"],"traceContainsFrontierReader":false},{"vaHex":"0x005429f8","valueHex":"0x00542e80","insideRootTableWindow":true,"lowByteHex":"0x80","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pointer","targetVaHex":"0x00542e80","targetSection":".data"},{"vaHex":"0x005429fc","valueHex":"0x00542ad4","insideRootTableWindow":true,"lowByteHex":"0xd4","lowByteHandlerVaHex":"0x00080365","lowByteHandlerSection":null,"lowByteIsCodeHandler":false,"kind":"leafPointer","leafPointerHex":"0x00542ad4","leafFieldMaps":["map1_01a","map2_02d"],"traceContainsFrontierReader":false},{"vaHex":"0x00542a00","valueHex":"0x00542e80","insideRootTableWindow":true,"lowByteHex":"0x80","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pointer","targetVaHex":"0x00542e80","targetSection":".data"},{"vaHex":"0x00542a04","valueHex":"0x0000003f","insideRootTableWindow":false,"lowByteHex":"0x3f","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"scalar"},{"vaHex":"0x00542a08","valueHex":"0x00542ae8","insideRootTableWindow":false,"lowByteHex":"0xe8","lowByteHandlerVaHex":"0x00440c28","lowByteHandlerSection":".data","lowByteIsCodeHandler":false,"kind":"frontierLeafPointer","leafPointerHex":"0x00542ae8","leafFieldMaps":["map1_01a","map2_02d","map2_18d"],"traceContainsFrontierReader":true},{"vaHex":"0x00542a0c","valueHex":"0x0000015d","insideRootTableWindow":false,"lowByteHex":"0x5d","lowByteHandlerVaHex":"0x0040fb32","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"scalar"},{"vaHex":"0x00542a10","valueHex":"0x00442b01","insideRootTableWindow":false,"lowByteHex":"0x01","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pointer","targetVaHex":"0x00442b01","targetSection":".data"}],"leafRefCount":4,"leafRefs":[{"vaHex":"0x005429ac","valueHex":"0x00542a04","insideRootTableWindow":false,"lowByteHex":"0x04","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"wrapperLeafPointer"},{"vaHex":"0x005429f4","valueHex":"0x00542ac0","insideRootTableWindow":true,"lowByteHex":"0xc0","lowByteHandlerVaHex":"0x00440c5c","lowByteHandlerSection":".data","lowByteIsCodeHandler":false,"kind":"leafPointer","leafPointerHex":"0x00542ac0","leafFieldMaps":["map1_01a","map2_02d"],"traceContainsFrontierReader":false},{"vaHex":"0x005429fc","valueHex":"0x00542ad4","insideRootTableWindow":true,"lowByteHex":"0xd4","lowByteHandlerVaHex":"0x00080365","lowByteHandlerSection":null,"lowByteIsCodeHandler":false,"kind":"leafPointer","leafPointerHex":"0x00542ad4","leafFieldMaps":["map1_01a","map2_02d"],"traceContainsFrontierReader":false},{"vaHex":"0x00542a08","valueHex":"0x00542ae8","insideRootTableWindow":false,"lowByteHex":"0xe8","lowByteHandlerVaHex":"0x00440c28","lowByteHandlerSection":".data","lowByteIsCodeHandler":false,"kind":"frontierLeafPointer","leafPointerHex":"0x00542ae8","leafFieldMaps":["map1_01a","map2_02d","map2_18d"],"traceContainsFrontierReader":true}],"frontierLeafRefVaHex":"0x00542a08","frontierLeafRefIsDirectRootTableEntry":false,"wrapperTrace":[{"step":0,"vaHex":"0x00542a04","valueHex":"0x0000003f","opcodeHex":"0x3f","handlerVaHex":"0x0040239f","stopReason":null,"branchTargetHex":null,"fallthroughVaHex":null},{"step":1,"vaHex":"0x00542a08","valueHex":"0x00542ae8","opcodeHex":"0xe8","handlerVaHex":"0x00440c28","stopReason":"no-fixed-advance","branchTargetHex":null,"fallthroughVaHex":null}],"frontierTrace":[{"step":0,"vaHex":"0x00542ae8","valueHex":"0x000a3012","opcodeHex":"0x12","handlerVaHex":"0x0040b55f","stopReason":null,"branchTargetHex":null,"fallthroughVaHex":null},{"step":1,"vaHex":"0x00542aec","valueHex":"0x0053f338","opcodeHex":"0x38","handlerVaHex":"0x0040de77","stopReason":null,"branchTargetHex":null,"fallthroughVaHex":null},{"step":2,"vaHex":"0x00542af4","valueHex":"0x000b3016","opcodeHex":"0x16","handlerVaHex":"0x0040ba3f","stopReason":null,"branchTargetHex":null,"fallthroughVaHex":null},{"step":3,"vaHex":"0x00542afc","valueHex":"0x00100010","opcodeHex":"0x10","handlerVaHex":"0x0040b49e","stopReason":null,"branchTargetHex":null,"fallthroughVaHex":null},{"step":4,"vaHex":"0x00542b00","valueHex":"0x000d9012","opcodeHex":"0x12","handlerVaHex":"0x0040b55f","stopReason":null,"branchTargetHex":null,"fallthroughVaHex":null},{"step":5,"vaHex":"0x00542b04","valueHex":"0x0053f463","opcodeHex":"0x63","handlerVaHex":"0x0041004f","stopReason":null,"branchTargetHex":null,"fallthroughVaHex":null},{"step":6,"vaHex":"0x00542b08","valueHex":"0x00500050","opcodeHex":"0x50","handlerVaHex":"0x0040239f","stopReason":null,"branchTargetHex":null,"fallthroughVaHex":null},{"step":7,"vaHex":"0x00542b0c","valueHex":"0x00209011","opcodeHex":"0x11","handlerVaHex":"0x0040b4e6","stopReason":"branch-or-fallthrough","branchTargetHex":"0x0053f46f","fallthroughVaHex":"0x00542b14"}],"selectorPathCount":10,"selectorPaths":[{"group":2,"slot":0,"label":"2:0","selectedPointer":5506836,"selectedPointerHex":"0x00540714","path":[5506836,5515740,5515908],"pathHex":["0x00540714","0x005429dc","0x00542a84"],"depth":2,"refVa":5516100,"refVaHex":"0x00542b44","resourcePointer":5501895,"resourcePointerHex":"0x0053f3c7","filename":"map1_01a.cns","resource":"map1_01a","kind":"fieldMap","sceneMatched":true,"sceneIdHex":"0x0518","sceneId":1304,"tilesets":["map_a1","map_a2"]},{"group":2,"slot":0,"label":"2:0","selectedPointer":5506836,"selectedPointerHex":"0x00540714","path":[5506836,5515740,5515928],"pathHex":["0x00540714","0x005429dc","0x00542a98"],"depth":2,"refVa":5516100,"refVaHex":"0x00542b44","resourcePointer":5501895,"resourcePointerHex":"0x0053f3c7","filename":"map1_01a.cns","resource":"map1_01a","kind":"fieldMap","sceneMatched":true,"sceneIdHex":"0x0518","sceneId":1304,"tilesets":["map_a1","map_a2"]},{"group":2,"slot":0,"label":"2:0","selectedPointer":5506836,"selectedPointerHex":"0x00540714","path":[5506836,5515740,5515948],"pathHex":["0x00540714","0x005429dc","0x00542aac"],"depth":2,"refVa":5516100,"refVaHex":"0x00542b44","resourcePointer":5501895,"resourcePointerHex":"0x0053f3c7","filename":"map1_01a.cns","resource":"map1_01a","kind":"fieldMap","sceneMatched":true,"sceneIdHex":"0x0518","sceneId":1304,"tilesets":["map_a1","map_a2"]},{"group":2,"slot":0,"label":"2:0","selectedPointer":5506836,"selectedPointerHex":"0x00540714","path":[5506836,5515740,5515968],"pathHex":["0x00540714","0x005429dc","0x00542ac0"],"depth":2,"refVa":5516100,"refVaHex":"0x00542b44","resourcePointer":5501895,"resourcePointerHex":"0x0053f3c7","filename":"map1_01a.cns","resource":"map1_01a","kind":"fieldMap","sceneMatched":true,"sceneIdHex":"0x0518","sceneId":1304,"tilesets":["map_a1","map_a2"]},{"group":2,"slot":0,"label":"2:0","selectedPointer":5506836,"selectedPointerHex":"0x00540714","path":[5506836,5515740,5515968],"pathHex":["0x00540714","0x005429dc","0x00542ac0"],"depth":2,"refVa":5516204,"refVaHex":"0x00542bac","resourcePointer":5501908,"resourcePointerHex":"0x0053f3d4","filename":"map2_02d.cns","resource":"map2_02d","kind":"fieldMap","sceneMatched":true,"sceneIdHex":"0x0818","sceneId":2072,"tilesets":["map_d1","map_d2","map_d3"]},{"group":2,"slot":0,"label":"2:0","selectedPointer":5506836,"selectedPointerHex":"0x00540714","path":[5506836,5515740,5515988],"pathHex":["0x00540714","0x005429dc","0x00542ad4"],"depth":2,"refVa":5516100,"refVaHex":"0x00542b44","resourcePointer":5501895,"resourcePointerHex":"0x0053f3c7","filename":"map1_01a.cns","resource":"map1_01a","kind":"fieldMap","sceneMatched":true,"sceneIdHex":"0x0518","sceneId":1304,"tilesets":["map_a1","map_a2"]},{"group":2,"slot":0,"label":"2:0","selectedPointer":5506836,"selectedPointerHex":"0x00540714","path":[5506836,5515740,5515988],"pathHex":["0x00540714","0x005429dc","0x00542ad4"],"depth":2,"refVa":5516204,"refVaHex":"0x00542bac","resourcePointer":5501908,"resourcePointerHex":"0x0053f3d4","filename":"map2_02d.cns","resource":"map2_02d","kind":"fieldMap","sceneMatched":true,"sceneIdHex":"0x0818","sceneId":2072,"tilesets":["map_d1","map_d2","map_d3"]},{"group":2,"slot":0,"label":"2:0","selectedPointer":5506836,"selectedPointerHex":"0x00540714","path":[5506836,5515740,5516008],"pathHex":["0x00540714","0x005429dc","0x00542ae8"],"depth":2,"refVa":5516100,"refVaHex":"0x00542b44","resourcePointer":5501895,"resourcePointerHex":"0x0053f3c7","filename":"map1_01a.cns","resource":"map1_01a","kind":"fieldMap","sceneMatched":true,"sceneIdHex":"0x0518","sceneId":1304,"tilesets":["map_a1","map_a2"]},{"group":2,"slot":0,"label":"2:0","selectedPointer":5506836,"selectedPointerHex":"0x00540714","path":[5506836,5515740,5516008],"pathHex":["0x00540714","0x005429dc","0x00542ae8"],"depth":2,"refVa":5516204,"refVaHex":"0x00542bac","resourcePointer":5501908,"resourcePointerHex":"0x0053f3d4","filename":"map2_02d.cns","resource":"map2_02d","kind":"fieldMap","sceneMatched":true,"sceneIdHex":"0x0818","sceneId":2072,"tilesets":["map_d1","map_d2","map_d3"]},{"group":2,"slot":0,"label":"2:0","selectedPointer":5506836,"selectedPointerHex":"0x00540714","path":[5506836,5515740,5516112],"pathHex":["0x00540714","0x005429dc","0x00542b50"],"depth":2,"refVa":5516204,"refVaHex":"0x00542bac","resourcePointer":5501908,"resourcePointerHex":"0x0053f3d4","filename":"map2_02d.cns","resource":"map2_02d","kind":"fieldMap","sceneMatched":true,"sceneIdHex":"0x0818","sceneId":2072,"tilesets":["map_d1","map_d2","map_d3"]}],"directLeafRefs":{"0x00542ac0":[{"section":".data","refVaHex":"0x005429f4"}],"0x00542ad4":[{"section":".data","refVaHex":"0x005429fc"}],"0x00542ae8":[{"section":".data","refVaHex":"0x00542a08"}],"0x00542a04":[{"section":".data","refVaHex":"0x005429ac"}]},"runtimeSelectionProven":false,"proofFound":false,"failedLeafTableGateIds":["runtime-selector-index","wrapper-frontier-execution","strict-hotspot"],"missingEvidence":["runtime selector/index that chooses 0x00542a04 or 0x00542ae8 from the table window","wrapper 0x00542a04 execution into 0x00542ae8 on the normal route","strict map1_01a source coordinate or hotspot"],"strictHotspotFound":false,"promotionStatus":"blocked","remainingProofs":["decode the runtime selector/index that chooses 0x00542a04 or 0x00542ae8 from the table window","prove the wrapper at 0x00542a04 executes into 0x00542ae8 in the normal route","find strict map1_01a source coordinate or hotspot"],"conclusion":"The current selector root points at the 0x005429dc leaf table window. That window directly references 0x00542ac0 and 0x00542ad4, and it reaches the reader-bearing frontier leaf 0x00542ae8 through a small wrapper at 0x00542a04 whose second dword points at 0x00542ae8. This strengthens the evidence that the frontier leaf belongs to the current selector table, but the wrapper trace still stops on a data-backed low byte and does not prove runtime selection of 0x00542ae8. Strict source hotspot evidence is still missing."}