{"source":"map1_01a","target":"map2_02d","readerVaHex":"0x00542b0c","readerValueHex":"0x00209011","readerHandlerVaHex":"0x0040b4e6","condition":"secondaryBranchState[selectionBuffer[0x20]] == 1","selectionBufferOffsetHex":"0x20","stateTable":"secondaryBranchState","routePairCorrectedTraceReachesReaderCount":2,"routePairDescriptorCount":2,"predecessorHypothesisSelector":"1:0","predecessorHypothesisFillHex":"0x00000210","predecessorAllStartsPassReader":true,"priorSelectionBufferStillPrimaryBlocker":false,"predecessorHypothesisOutcome":"fallthrough","passOutcome":{"conditionValue":1,"outcome":"fallthrough","nextStreamVaHex":"0x00542b14","valueHex":"0x0053f4fc","valueKind":{"kind":"pointer","targetVaHex":"0x0053f4fc"},"handlerSection":".data","looksExecutable":false,"payloadClassification":"sprite-or-rect-payload-like","payloadPromotionEvidence":false,"payloadInBoundsPointCount":0,"payloadRangeTextRefCount":0},"failOutcome":{"conditionValue":"not-1","outcome":"jump","targetVaHex":"0x0053f46f","valueKind":{"kind":"cns","cns":"cara_01.cns","isFieldMap":false,"isResource":true},"targetIsResource":true,"targetIsFieldMap":false},"siblingGateCountBeforeSourceRecord":3,"siblingResourceGateCount":3,"siblingFieldMapTargetCount":0,"siblingExecutableFallthroughCount":2,"siblingGates":[{"branchVaHex":"0x00542b0c","valueHex":"0x00209011","stateTable":"secondaryBranchState","selectionBufferOffsetHex":"0x20","falseTargetVaHex":"0x0053f46f","falseTargetKind":{"kind":"cns","cns":"cara_01.cns","isFieldMap":false,"isResource":true},"falseTargetIsFieldMap":false,"falseTargetIsResource":true,"trueFallthroughVaHex":"0x00542b14","trueFallthroughValueHex":"0x0053f4fc","trueFallthroughKind":{"kind":"pointer","targetVaHex":"0x0053f4fc"},"trueFallthroughHandlerSection":".data","trueFallthroughLooksExecutable":false},{"branchVaHex":"0x00542b18","valueHex":"0x00219011","stateTable":"secondaryBranchState","selectionBufferOffsetHex":"0x21","falseTargetVaHex":"0x0053f47b","falseTargetKind":{"kind":"cns","cns":"cara_05.cns","isFieldMap":false,"isResource":true},"falseTargetIsFieldMap":false,"falseTargetIsResource":true,"trueFallthroughVaHex":"0x00542b20","trueFallthroughValueHex":"0x0053f71c","trueFallthroughKind":{"kind":"pointer","targetVaHex":"0x0053f71c"},"trueFallthroughHandlerSection":".text","trueFallthroughLooksExecutable":true},{"branchVaHex":"0x00542b24","valueHex":"0x00249011","stateTable":"secondaryBranchState","selectionBufferOffsetHex":"0x24","falseTargetVaHex":"0x0053f49f","falseTargetKind":{"kind":"cns","cns":"cara_etc.cns","isFieldMap":false,"isResource":true},"falseTargetIsFieldMap":false,"falseTargetIsResource":true,"trueFallthroughVaHex":"0x00542b2c","trueFallthroughValueHex":"0x0054005c","trueFallthroughKind":{"kind":"pointer","targetVaHex":"0x0054005c"},"trueFallthroughHandlerSection":".text","trueFallthroughLooksExecutable":true}],"nearestSourceRecordAfterReader":{"recordVa":5516100,"recordVaHex":"0x00542b44","map":"map1_01a","sceneIdHex":"0x0518","tilesets":["map_a1","map_a2"],"resourceSource":"preceding","distanceHex":"0x38"},"nearestTargetRecordAfterReader":{"recordVa":5516204,"recordVaHex":"0x00542bac","map":"map2_02d","sceneIdHex":"0x0818","tilesets":["map_d1","map_d2","map_d3"],"resourceSource":"preceding","distanceHex":"0xa0"},"classification":"resource-gate-before-scene-record","proofFound":false,"frontierReaderRuntimeProofFound":false,"frontierReaderStrictHotspotProofFound":false,"failedFrontierReaderGateIds":["normal-runtime-reader-execution","resource-payload-strict-hotspot","independent-strict-transition-evidence"],"missingEvidence":["normal runtime selector/root execution reaches reader 0x00542b0c with real route state","selected resource payload decodes to a strict map1_01a source hotspot","independent strict event/coordinate evidence for map1_01a -> map2_02d"],"evidenceRefs":[{"path":"out/save_selector_scene_list_context.json","fields":["currentFrontier","branchSteps","evidenceRefs","evidenceRefCount"]},{"path":"out/save_selector_branch_selector_equation.json","fields":["predecessorFillHypothesis","activeFlagEffect","readerHandlerVaHex"]},{"path":"out/map1_01a_scene_payload_context.json","fields":["payloads","classification","promotionEvidence"]},{"path":"out/save_selector_opcode2c_route_pair_context.json","fields":["correctedTraceReachesReaderCount","routePairDescriptorCount","proofFound"]}],"evidenceRefCount":4,"strictHotspotFound":false,"runtimeSelectionProven":false,"promotionStatus":"blocked","conclusion":"The corrected route-pair descriptor trace reaches the 0x00542b0c reader, but the reader does not directly select map2_02d. If the inherited predecessor-fill hypothesis is true, opcode 0x11 falls through to 0x00542b14, whose value points at a sprite/rect-like payload with no in-bounds source hotspot evidence. If the condition is false, it jumps to the character resource cara_01.cns. The nearby sibling 0x11 gates likewise select character resources or payload descriptors before the source/target scene records. This keeps the frontier as resource/scene-list evidence, not a confirmed normal map transition.","remainingProofs":["prove normal runtime selector/root execution reaches this reader with real route state","decode the selected resource payload into a strict map1_01a source hotspot, if one exists","or find independent strict event/coordinate evidence for map1_01a -> map2_02d"]}