{"source":"map1_01a","target":"map2_02d","predecessorSelector":"1:0","predecessorRootHex":"0x00478364","currentSelector":"2:0","currentRootHex":"0x00540714","currentReaderHex":"0x00542b0c","opcodeHex":"0x10","opcodeHandlerHex":"0x0040b49e","opcodeHandlerExpectedHex":"0x0040b49e","opcodeHandlerMatchesExpected":true,"opcodeHandlerCodeSize":72,"opcodeHandlerStreamEffect":{"scanBytes":72,"fixedAdvances":[{"handlerOffsetHex":"0x3f","vaHex":"0x0040b4dd","bytes":4}],"streamReads":[{"handlerOffsetHex":"0x0c","vaHex":"0x0040b4aa","streamOffset":2,"streamOffsetHex":"0x02"}],"streamStores":[],"canJumpToDwordAtPlus4":false},"opcodeHandlerStreamEffectText":"advance +4; read 0x02","scriptHandlerTableReferenceCount":33,"helperVaHex":"0x00410c90","helperDirectCallCount":1,"helperDirectCalls":[{"callVaHex":"0x0040b4d2","targetVaHex":"0x00410c90","insideOpcode10Handler":true}],"helperOnlyDirectCallInsideOpcode10Handler":true,"secondaryResetScopeHelperOnlyDirectCallInsideOpcode10Handler":true,"fillSites":["0x004844d0","0x004844d8"],"fillFragmentRangeHex":"0x004844d0..0x004844e0","fillFragmentRows":[{"vaHex":"0x004844d0","valueHex":"0x00000210","opcodeHex":"0x10","handlerVaHex":"0x0040b49e","handlerSection":".text","fixedAdvances":[4],"canJumpToDwordAtPlus4":false},{"vaHex":"0x004844d4","valueHex":"0x00000100","opcodeHex":"0x00","handlerVaHex":"0x0040239f","handlerSection":".text","fixedAdvances":[4],"canJumpToDwordAtPlus4":false},{"vaHex":"0x004844d8","valueHex":"0x00000210","opcodeHex":"0x10","handlerVaHex":"0x0040b49e","handlerSection":".text","fixedAdvances":[4],"canJumpToDwordAtPlus4":false},{"vaHex":"0x004844dc","valueHex":"0x000000c0","opcodeHex":"0xc0","handlerVaHex":"0x00440c5c","handlerSection":".data","fixedAdvances":[],"canJumpToDwordAtPlus4":false}],"fillFragmentOpcodes":["0x10","0x00","0x10","0xc0"],"fillFragmentExpectedOpcodes":["0x10","0x00","0x10","0xc0"],"fillFragmentHasOnlyExpectedRows":true,"decodedOpcode10Rows":[{"vaHex":"0x004844d0","valueHex":"0x00000210","opcodeByteHex":"0x10","tableSelectorByteHex":"0x02","helperCaseByteHex":"0x00","spareByteHex":"0x00","targetTable":"secondaryBranchState","targetBaseHex":"0x0059e360","helperKind":"constant-prefix-fill","helperFillCount":2,"expectedStatePrefix":[1,1,0,0,0,0,0,0,0,0,0,0],"fillsSecondaryBranchState":true},{"vaHex":"0x004844d8","valueHex":"0x00000210","opcodeByteHex":"0x10","tableSelectorByteHex":"0x02","helperCaseByteHex":"0x00","spareByteHex":"0x00","targetTable":"secondaryBranchState","targetBaseHex":"0x0059e360","helperKind":"constant-prefix-fill","helperFillCount":2,"expectedStatePrefix":[1,1,0,0,0,0,0,0,0,0,0,0],"fillsSecondaryBranchState":true}],"decodedOpcode10FillTargetTables":["secondaryBranchState"],"decodedOpcode10HelperFillCounts":[2,2],"decodedOpcode10ExpectedStatePrefix":[1,1,0,0,0,0,0,0,0,0,0,0],"decodedOpcode10ExpectedFillHexes":["0x01","0x01","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00"],"decodedOpcode10AllSecondaryBranchState":true,"fillOpcode10RowCount":2,"fillDefaultAdvanceRowCount":1,"fillDescriptorStopRowCount":1,"localFillTraceReachesCurrentReader":false,"rootEntryFixedTraversalFillSitesReachable":false,"rootTailDescriptorIsolated":true,"rootTailBranchToFillFragmentCount":0,"rootTailBranchToCurrentReaderCount":0,"rootTailFixedFallthroughToFillCount":0,"directRefs":{"opcode10Handler":{"targetVaHex":"0x0040b49e","count":1,"textCount":0,"sections":{".data":1},"refs":[{"siteVaHex":"0x00440760","section":".data","targetVaHex":"0x0040b49e"}]},"helper":{"targetVaHex":"0x00410c90","count":0,"textCount":0,"sections":{},"refs":[]},"predecessorFillSite0":{"targetVaHex":"0x004844d0","count":0,"textCount":0,"sections":{},"refs":[]},"predecessorFillSite1":{"targetVaHex":"0x004844d8","count":0,"textCount":0,"sections":{},"refs":[]},"predecessorFillStop":{"targetVaHex":"0x004844dc","count":0,"textCount":0,"sections":{},"refs":[]},"predecessorRoot":{"targetVaHex":"0x00478364","count":1,"textCount":0,"sections":{".data":1},"refs":[{"siteVaHex":"0x00476ab4","section":".data","targetVaHex":"0x00478364"}]},"currentRoot":{"targetVaHex":"0x00540714","count":1,"textCount":0,"sections":{".data":1},"refs":[{"siteVaHex":"0x0053f328","section":".data","targetVaHex":"0x00540714"}]},"currentReader":{"targetVaHex":"0x00542b0c","count":0,"textCount":0,"sections":{},"refs":[]}},"directFillSiteTextRefCount":0,"directCurrentReaderTextRefCount":0,"opcode10HandlerRouteImmediateCount":0,"opcode10HandlerImmediateHits":{"predecessorFillSite0":[],"predecessorFillSite1":[],"predecessorFillStop":[],"currentRoot":[],"currentReader":[]},"publicPredecessorReached":true,"runtimeObservedAllZero":true,"runtimeMatchesExpectedFill":false,"runtimeExpectedFillHexes":["0x01","0x01","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00"],"branchStatePollSampleCount":46919,"branchStatePollPublicPredecessorHitCount":6,"branchStatePollCurrentRootHitCount":0,"branchStatePollRouteSelectorHitCount":0,"branchStatePollAllZeroCount":8,"branchStatePollFillMatchCount":0,"requiredProofGates":[{"gate":"root-entry-to-fill","passed":false,"status":"blocked","detail":"visited=23; targets=0x004844d0,0x004844d8; reached=-; stop=0x004783e0:no-fixed-advance"},{"gate":"descriptor-boundary-bridge","passed":false,"status":"blocked","detail":"rootNodes=949; rootFillEdges=0; rootReaderEdges=0; fillNodes=2; fillReaderEdges=0; edgeReject=descriptor-only-no-route-execution-edge; descriptorEdges=9/1; routeEdges=0/0; encodedRouteTargets=1/0; encodedClass=descriptor-encoded-route-target-scalars-nonpromoting; bridgeProof=False; bridgeFailedGates=root-stop-to-fill-bridge,fill-stop-to-current-bridge,route-execution-target-edge,descriptor-encoded-route-target-control-flow,runtime-or-decoded-nonlinear-vm-path; bridgeMissingEvidenceCount=5; bridgeEvidenceRefs=3"},{"gate":"dispatch-slice-runtime-proof","passed":false,"status":"blocked","detail":"sliceRuntimeProof=False; dispatchTableProof=False; dispatchFailedGates=save-selector-slice-runtime-dispatch,descriptor-boundary-runtime-bridge,dynamic-save-selector-table-base-candidate,route-relevant-slice-table-base-switch; dispatchMissingEvidenceCount=4; dispatchEvidenceRefs=3; descriptorDependsOnSlice=True; rawDiffers=2; byteReachable=0; requiresTableBase=2; dynamicDispatches=3/3/0; dynamicTableBaseCandidate=False; tableBaseArithmetic=116/0; tableBaseReject=table-base-switch-required-no-dynamic-save-selector-candidate"},{"gate":"runtime-fill-observed","passed":false,"status":"blocked","detail":"polls=8; seq=30; samples=46919; publicHits=6; fillMatches=0; allZero=8"},{"gate":"route-order","passed":false,"status":"blocked","detail":"routeOrderProven=False"},{"gate":"selector-merge-closed","passed":false,"status":"blocked","detail":"selectorMergeGapOpen=True"}],"requiredProofGateCount":6,"requiredProofGatePassCount":0,"requiredProofGateFailCount":6,"requiredProofGateFailIds":["root-entry-to-fill","descriptor-boundary-bridge","dispatch-slice-runtime-proof","runtime-fill-observed","route-order","selector-merge-closed"],"requiredProofGateAllBlocked":true,"fillExecutionOrderProofFound":false,"fillSiteExecutionContextProven":false,"proofFound":false,"failedPredecessorFillOpcode10GateIds":["root-entry-to-fill","descriptor-boundary-bridge","dispatch-slice-runtime-proof","runtime-fill-observed","route-order","selector-merge-closed"],"missingEvidence":["root-entry execution path from 0x00478364 to 0x004844d0/0x004844d8","descriptor-boundary bridge from predecessor root stop through fill to current reader","runtime proof that predecessor fill stream executes through the save-selector dispatch slice","runtime branch-state observation matching the predecessor fill hypothesis","predecessor-to-current route order proof before the 0x00542b0c reader","closed selector-merge proof connecting predecessor 1:0 and source 0:0 into current 2:0"],"evidenceRefs":[{"path":"Hwanse2.exe","fields":["0x0040b49e opcode 0x10 handler","0x00410c90 helper call","0x004844d0/0x004844d8 fill rows","0x00542b0c current reader"]},{"path":"out/script_handler_table.json","fields":["0x10","handlerVaHex","streamEffect","referenceCount"]},{"path":"out/save_selector_predecessor_fill_execution_order_gap.json","fields":["fillSites","rootTailIsolationScan","directFillSiteRefCounts","proofFound"]},{"path":"out/save_selector_predecessor_branch_state_execution_gap.json","fields":["runtimeBranchStateSplit","runtimePredecessorFillObserved","branchStateExecutionProofFound"]},{"path":"out/save_selector_predecessor_fill_site_execution_context.json","fields":["requiredProofGates","requiredProofGateFailIds","branchStatePollFillMatchCount","fillSiteExecutionContextProven"]},{"path":"out/save_selector_secondary_reset_scope.json","fields":["helper","closedStaticResetScope","promotionStatus"]}],"evidenceRefCount":6,"evidence":[{"kind":"opcode10-handler","status":"handler-resolved","detail":"opcode=0x10 handler=0x0040b49e effect=advance +4; read 0x02 bytes=72"},{"kind":"helper-call-scope","status":"helper-only-called-from-opcode10","detail":"helper=0x00410c90 calls=1 secondaryResetScopeOnly=True"},{"kind":"fill-fragment-shape","status":"opcode10-fill-then-descriptor-boundary","detail":"rows=0x004844d0,0x004844d4,0x004844d8,0x004844dc opcodes=0x10,0x00,0x10,0xc0"},{"kind":"opcode10-decoded-fill","status":"secondary-branch-state-prefix-fill","detail":"rows=0x004844d0:secondaryBranchState:case=0x00:count=2;0x004844d8:secondaryBranchState:case=0x00:count=2 expectedPrefix=0x01,0x01,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00"},{"kind":"direct-fill-entry-refs","status":"no-fill-site-text-refs","detail":"fillTextRefs=0 directFillCounts={'0x004844d0': 0, '0x004844d8': 0}"},{"kind":"root-tail-control","status":"no-branch-or-fallthrough-to-fill","detail":"branchToFill=0 branchToReader=0 fixedToFill=0"},{"kind":"runtime-branch-state","status":"public-predecessor-all-zero-fill-not-observed","detail":"publicPredecessor=True matchesFill=False allZero=True fillMatches=0"},{"kind":"required-proof-gates","status":"no-proof-gates-passed","detail":"pass=0 fail=6 allBlocked=True failedIds=root-entry-to-fill,descriptor-boundary-bridge,dispatch-slice-runtime-proof,runtime-fill-observed,route-order,selector-merge-closed"}],"promotionStatus":"blocked","conclusion":"Opcode 0x10 and helper 0x00410c90 explain the two predecessor fill rows, but this does not prove the predecessor fill fragment executes before reader 0x00542b0c. There are no direct .text refs to the fill sites, the predecessor root tail has no branch/fallthrough to the fragment, and bounded runtime polls reach public predecessor selector 1:0 with secondaryBranchState still all zero."}