{"source":"map1_01a","target":"map2_02d","currentSelector":"2:0","currentWriterVaHex":"0x005428bc","currentReaderVaHex":"0x00542b0c","targetAliasSelectors":["1:0","10:0","17:0"],"targetAliasCount":3,"modeledPassFillValueHex":"0x00000210","modeledPassTable":[1,1,0,0,0,0,0,0,0,0,0,0],"zeroTableControlOutcomes":[{"startSlot":0,"selectedSlot":0,"selectedValue":0,"frontierReaderFallsThrough":false},{"startSlot":1,"selectedSlot":1,"selectedValue":0,"frontierReaderFallsThrough":false},{"startSlot":2,"selectedSlot":2,"selectedValue":0,"frontierReaderFallsThrough":false},{"startSlot":3,"selectedSlot":3,"selectedValue":0,"frontierReaderFallsThrough":false},{"startSlot":4,"selectedSlot":4,"selectedValue":0,"frontierReaderFallsThrough":false},{"startSlot":5,"selectedSlot":5,"selectedValue":0,"frontierReaderFallsThrough":false},{"startSlot":6,"selectedSlot":6,"selectedValue":0,"frontierReaderFallsThrough":false},{"startSlot":7,"selectedSlot":7,"selectedValue":0,"frontierReaderFallsThrough":false},{"startSlot":8,"selectedSlot":8,"selectedValue":0,"frontierReaderFallsThrough":false},{"startSlot":9,"selectedSlot":9,"selectedValue":0,"frontierReaderFallsThrough":false},{"startSlot":10,"selectedSlot":10,"selectedValue":0,"frontierReaderFallsThrough":false},{"startSlot":11,"selectedSlot":11,"selectedValue":0,"frontierReaderFallsThrough":false}],"aliasRows":[{"selector":"1:0","role":"logical target-side predecessor","rootHex":"0x00478364","rootAddressOrderIndex":9,"publicSampleIds":[],"fillCount":2,"firstFillHex":"0x004844d0","lastFillHex":"0x004844d8","uniqueFillValuesHex":["0x00000210"],"stateEffectStatus":"all-fills-produce-pass-prefix","secondaryBranchStateAfterLastModeledFill":[1,1,0,0,0,0,0,0,0,0,0,0],"allStartSlotsPassCurrentReader":true,"passingStartSlotCount":12,"outcomes":[{"startSlot":0,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":1,"selectedSlot":1,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":2,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":3,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":4,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":5,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":6,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":7,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":8,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":9,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":10,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":11,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true}]},{"selector":"10:0","role":"address-adjacent target-side predecessor","rootHex":"0x0053c4a4","rootAddressOrderIndex":25,"publicSampleIds":[],"fillCount":25,"firstFillHex":"0x0053f5b4","lastFillHex":"0x005400c4","uniqueFillValuesHex":["0x00000210"],"stateEffectStatus":"all-fills-produce-pass-prefix","secondaryBranchStateAfterLastModeledFill":[1,1,0,0,0,0,0,0,0,0,0,0],"allStartSlotsPassCurrentReader":true,"passingStartSlotCount":12,"outcomes":[{"startSlot":0,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":1,"selectedSlot":1,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":2,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":3,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":4,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":5,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":6,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":7,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":8,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":9,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":10,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":11,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true}]},{"selector":"17:0","role":"additional map-set alias","rootHex":"0x004f28a4","rootAddressOrderIndex":20,"publicSampleIds":[],"fillCount":0,"firstFillHex":null,"lastFillHex":null,"uniqueFillValuesHex":[],"stateEffectStatus":"no-fill-proof","secondaryBranchStateAfterLastModeledFill":null,"allStartSlotsPassCurrentReader":false,"passingStartSlotCount":0,"outcomes":[]}],"aliasesThatWouldPassIfExecutedAndPersisted":["1:0","10:0"],"aliasPassCount":2,"aliasesWithoutFillProof":["17:0"],"aliasNoFillProofCount":1,"allTargetAliasesHaveFillProof":false,"promotionStatus":"blocked","remainingProofs":["prove which target-side alias actually executes before current selector 2:0","prove secondaryBranchState persists into the 0x00542b0c reader","prove the gated control path reaches 0x00542b0c","find a strict map1_01a source hotspot or equivalent original transition trigger"],"conclusion":"Target-side aliases 1:0 and 10:0 both contain only modeled 0x00000210 secondaryBranchState fills, so if either alias actually executes and its state persists into current selector 2:0, the current 0x005428bc writer would select a passing slot for every possible start value before reader 0x00542b0c. Alias 17:0 has no modeled fill rows. This narrows the value side of the branch-state equation across target aliases, but it still does not prove which alias executes, that the state persists across roots, that the gated path reaches the reader, or that map1_01a has a strict source hotspot."}