{"mode1SourceHex":"0x0059e348","storage":{"sectionName":".data","sectionVaHex":"0x0043c000","sectionRawSizeHex":"0x0011de00","sectionVirtualSizeHex":"0x001634c0","sectionRawEndVaHex":"0x00559e00","sectionVirtualEndVaHex":"0x0059f4c0","mode1SourceInKnownSection":true,"mode1SourceRawOffsetHex":null,"mode1SourceHasRawByte":false,"mode1SourceAfterRawEndBytes":279880,"staticInitialValue":0,"staticInitialValueHex":"0x00","staticInitialValueKind":"pe-zero-filled-section-tail","zeroInitializedByPeLoader":true},"saveReadBlocks":[{"callVaHex":"0x00423404","targetVaHex":"0x004576d8","endVaHex":"0x0045774a","saveOffsetHex":"0x0000","sizeHex":"0x0072","description":"first save block, includes scene selector bytes and tile/camera candidates","containsMode1Source":false,"distanceAfterEnd":1338366,"distanceAfterEndHex":"0x00146bfe"},{"callVaHex":"0x00423430","targetVaHex":"0x00457750","endVaHex":"0x004579d8","saveOffsetHex":"0x0072","sizeHex":"0x0288","description":"second save block","containsMode1Source":false,"distanceAfterEnd":1337712,"distanceAfterEndHex":"0x00146970"},{"callVaHex":"0x0042345c","targetVaHex":"0x0059db60","endVaHex":"0x0059dd60","saveOffsetHex":"0x02fa","sizeHex":"0x0200","description":"third save block","containsMode1Source":false,"distanceAfterEnd":1512,"distanceAfterEndHex":"0x000005e8"}],"saveReadBlockContainsMode1Source":false,"directProducerSummary":{"exactMode1RefCount":1,"coveringWriteCount":0,"indexedWriteCandidateCount":0,"addressProducerCandidateCount":0,"staticProducerCandidateCount":0},"notSavedataBacked":true,"noStaticProducer":true,"staticInitialZero":true,"diagnosticRuntimeWatch":{"available":true,"sourcePoll":"runtime_selected_pointer_patched_public_selector_2_0_active_order_poll.json","diagnosticOnly":true,"totalSampleCount":374,"totalSequenceCount":2,"routeSampleCount":210,"routeSequenceCount":1,"routeSequenceNames":["input-path-slot1-down-enter-enter"],"observedSelectors":["50:0","2:0","10:0"],"reachedCurrentRoot":true,"reachedRouteSelector":true,"mode1SourceValueHex":"0x00","runtimeFlagValueHex":"0x00","currentObjectIndexValueHex":"0x00","allWatchedValuesStable":true,"runtimeFlagStaysDisabledInDiagnostic":true,"mode1SourceStaysZeroInDiagnostic":true,"currentObjectIndexStaysZeroInDiagnostic":true,"normalRouteProof":false,"notRoutePromotionProof":true,"promotionStatus":"diagnostic-only"},"proofFound":false,"opcode24RuntimeProducerProofFound":false,"opcode24RouteStreamSelectionProofFound":false,"strictHotspotFound":false,"failedOpcode24RuntimeProducerGateIds":["indirect-runtime-producer","opcode24-route-stream-selection","strict-hotspot"],"missingEvidence":["indirect runtime producer of 0x0059e348 on a normal route path","opcode 0x24 mode 1 object+0x61 writes select a current-route stream","strict map1_01a source coordinate or non-coordinate trigger"],"promotionStatus":"blocked","remainingProofs":["find an indirect runtime producer of 0x0059e348, if one exists","prove opcode 0x24 mode 1 object+0x61 writes select a current-route stream, not only object state","find a strict map1_01a source coordinate or non-coordinate trigger"],"evidenceRefs":[{"path":"out/save_loader_trace.json","fields":["saveReadBlocks"]},{"path":"out/save_selector_opcode24_mode1_source_writes.json","fields":["rows","exactMode1RefCount","coveringWriteCount","indexedWriteCandidateCount","addressProducerCandidateCount","staticProducerCandidateCount","promotionStatus"]},{"path":"out/runtime_selected_pointer_patched_public_selector_2_0_active_order_poll.json","fields":["rows","sampleCount","sequenceCount","observedSelectors","anyReachedCurrentRoot","anyReachedRouteSelectorContext","promotionStatus"]},{"path":"out/save_selector_opcode24_mode1_indirect_context.json","fields":["mode1DirectRefs","globalBaseDirectRefs","basePlusMode1OffsetCandidateCount","baseWindowMode1WriteCandidateCount","nearbyBaseWindowMode1WriteCandidateCount","noStaticBaseIndirectCandidate","promotionStatus"]},{"path":"out/save_selector_opcode24_mode1_file_read_context.json","fields":["globalDestinationReadFileRows","mode1FileReadCandidates","readFileCallCount","mode1FileReadCandidateCount","mode1FileReadProducerFound"]},{"path":"out/save_selector_opcode24_mode1_block_writes.json","fields":["rows","addressLikeCoveringBases","directCoveringWrites","blockWriteCandidates","blockWriteCandidateCount"]},{"path":"out/save_selector_opcode24_mode1_default_effect.json","fields":["object61ConsumerGroups","branchOperand","remainingProofs","routeOperandRowCount","staticDefaultPromotesRoute","runtimeProducerRequired","promotionStatus"]},{"path":"out/save_selector_opcode24_runtime_enabled_context.json","fields":["runtimeEnabledFlagHex","modeDispatchRequiresRuntimeFlagOne","directWriteCount","staticEvidenceProvesModeDispatch","remainingProofs","promotionStatus"]},{"path":"out/runtime_opcode24_flag_context.json","fields":["classification","pollCount","runtimeFlagOneCount","mode1SourceNonzeroObserved","selectedRootExecutionProofFound","routePromotionEvidenceFound"]},{"path":"out/runtime_trace_execution_probe.json","fields":["canCaptureTraceNow","blockers","probes","qemuI386Binfmt","relocationContext","promotionStatus"]}],"evidenceRefCount":10,"conclusion":"Opcode 0x24 mode 1 source byte 0x0059e348 lives in the zero-filled tail of the .data section: there is no raw file byte for it, so its static process-start value is 0. It is also outside all three save-loader read blocks, and the direct/static producer scan found no writer. This rules out treating 0x0059e348 as a savedata-backed selector or static leaf chooser for map1_01a->map2_02d; in the current static evidence it is not a savedata-backed selector. The patched selector 2:0 diagnostic route row also keeps 0x0059e348 at 0x00, so that constructed run does not reveal an indirect producer. It may still be mutated indirectly on a normal route path, so promotion remains blocked without a runtime producer trace or equivalent proof."}