{"predecessorSelector":"1:0","predecessorRootHex":"0x00478364","predecessorFillVas":["0x004844d0","0x004844d8"],"fillValueHex":"0x00000210","fillMeaning":"opcode 0x10 uses secondaryBranchState and helper case 0; helper 0x00410de5 writes first 2 slots to 1 and remaining 10 slots to 0.","currentSelector":"2:0","currentWriterVaHex":"0x005428bc","currentReaderVaHex":"0x00542b0c","secondaryBranchStateAfterFill":[1,1,0,0,0,0,0,0,0,0,0,0],"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}],"allStartsPassReader":true,"promotionStatus":"blocked","remainingBlockers":["prove predecessor 1:0 actually executes before current selector 2:0 in the route","prove secondaryBranchState is not overwritten before 0x005428bc/0x00542b0c","find strict map1_01a source coordinate or hotspot"],"conclusion":"If predecessor 1:0 leaves the secondaryBranchState table as produced by opcode 0x10 value 0x00000210, then the current 2:0 opcode 0x12 writer selects slot 0 or 1 and the 0x00542b0c reader condition secondaryBranchState[selectionBuffer[0x20]] == 1 would pass for every possible 12-slot start value. This is still not enough to promote map1_01a->map2_02d: execution order/state persistence from 1:0 to 2:0 and a strict map1_01a source hotspot remain unproven."}