{"source":"map1_01a","target":"map2_02d","gateRows":[{"gateVaHex":"0x005428c4","valueHex":"0x00e88111","selectionBufferOffset":232,"selectionBufferOffsetHex":"0xe8","streamPlus1Hex":"0x81","stateTable":"secondaryBranchState","branchTargetHex":"0x00000001","fallthroughVaHex":"0x005428cc"},{"gateVaHex":"0x005428cc","valueHex":"0x00ea8211","selectionBufferOffset":234,"selectionBufferOffsetHex":"0xea","streamPlus1Hex":"0x82","stateTable":"secondaryBranchState","branchTargetHex":"0x00000002","fallthroughVaHex":"0x005428d4"}],"currentFrontierSelector":"2:0","currentFrontierSampleCovered":false,"saveRuntimeGateDistinctValuesHex":[],"tableHypotheses":[{"id":"predecessor_1_0_case0","label":"predecessor 1:0 opcode 0x10 case 0","stateTable":[1,1,0,0,0,0,0,0,0,0,0,0],"sourceEvidence":"save_selector_predecessor_state_effect"},{"id":"zero_table","label":"all-zero secondaryBranchState","stateTable":[0,0,0,0,0,0,0,0,0,0,0,0],"sourceEvidence":"negative control"}],"saveRuntimePassMatrix":[],"saveRuntimePredecessorAllGatePassSampleCount":0,"saveRuntimePredecessorSampleCount":0,"saveRuntimeZeroTableAllGatePassSampleCount":0,"saveRuntimeZeroTableSampleCount":0,"partySlotStatSummary":{"sampleValueCount":0,"inRangeSampleValueCount":0,"outOfRangeSampleValueCount":0,"distinctValuesHex":[],"usableAsGateIndexEvidence":false},"runtimeBaseProofRequired":true,"predecessorPersistenceProofRequired":true,"strictHotspotProofRequired":true,"proofFound":false,"gatePassMatrixProofFound":false,"failedGatePassMatrixGateIds":["current-selector-2-0-sample","runtime-base-at-gate","predecessor-state-persistence","strict-source-hotspot"],"missingEvidence":["current selector 2:0 sample proving gate indices for this route","runtime context+0xa8 base at 0x005428c4 and 0x005428cc","predecessor 1:0 state persistence into the current 2:0 gate path","strict map1_01a source hotspot"],"evidenceRefs":[{"path":"out/save_selector_gate_sample_values.json","description":"corrected public savedat gate-byte sample rows"},{"path":"out/save_selector_predecessor_state_effect.json","description":"predecessor branch-state table hypothesis used for pass/fail evaluation"},{"path":"out/save_selector_gate_paths.json","description":"current gate trace rows and branch/fallthrough addresses"}],"evidenceRefCount":3,"promotionStatus":"blocked","conclusion":"With the corrected save/runtime mapping, public samples put both gate indices at 0. Under the strongest predecessor 1:0 hypothesis, secondaryBranchState[0] is 1, so both current control gates 0x005428c4 and 0x005428cc would fall through for every public sample. Under an all-zero table they would not. This narrows the gate problem but does not promote map1_01a -> map2_02d: the public samples do not cover selector 2:0, the runtime context+0xa8 base at the gates is still unproven, and there is still no strict map1_01a source hotspot."}