{"source":"map1_01a","target":"map2_02d","writerVaHex":"0x005428bc","readerVaHex":"0x00542b0c","activeFlagVaHex":"0x00457744","activeFlagStaticInitialByteHex":"0x01","activeFlagSaveOffsetHex":"0x006c","activeFlagResolvedStaticDefault":true,"activeFlagStartupInitVaHex":"0x00411300","activeFlagStartupInitCallCount":1,"predecessorSelector":"1:0","predecessorRootHex":"0x00478364","predecessorFillValueHex":"0x00000210","secondaryBranchStateAfterPredecessorFill":[1,1,0,0,0,0,0,0,0,0,0,0],"outcomes":[{"activeFlag":1,"startSource":"prior selectionBuffer[0x20]","startSlot":0,"selectedSlot":0,"selectedValue":1,"readerFallsThrough":true},{"activeFlag":1,"startSource":"prior selectionBuffer[0x20]","startSlot":1,"selectedSlot":1,"selectedValue":1,"readerFallsThrough":true},{"activeFlag":1,"startSource":"prior selectionBuffer[0x20]","startSlot":2,"selectedSlot":0,"selectedValue":1,"readerFallsThrough":true},{"activeFlag":1,"startSource":"prior selectionBuffer[0x20]","startSlot":3,"selectedSlot":0,"selectedValue":1,"readerFallsThrough":true},{"activeFlag":1,"startSource":"prior selectionBuffer[0x20]","startSlot":4,"selectedSlot":0,"selectedValue":1,"readerFallsThrough":true},{"activeFlag":1,"startSource":"prior selectionBuffer[0x20]","startSlot":5,"selectedSlot":0,"selectedValue":1,"readerFallsThrough":true},{"activeFlag":1,"startSource":"prior selectionBuffer[0x20]","startSlot":6,"selectedSlot":0,"selectedValue":1,"readerFallsThrough":true},{"activeFlag":1,"startSource":"prior selectionBuffer[0x20]","startSlot":7,"selectedSlot":0,"selectedValue":1,"readerFallsThrough":true},{"activeFlag":1,"startSource":"prior selectionBuffer[0x20]","startSlot":8,"selectedSlot":0,"selectedValue":1,"readerFallsThrough":true},{"activeFlag":1,"startSource":"prior selectionBuffer[0x20]","startSlot":9,"selectedSlot":0,"selectedValue":1,"readerFallsThrough":true},{"activeFlag":1,"startSource":"prior selectionBuffer[0x20]","startSlot":10,"selectedSlot":0,"selectedValue":1,"readerFallsThrough":true},{"activeFlag":1,"startSource":"prior selectionBuffer[0x20]","startSlot":11,"selectedSlot":0,"selectedValue":1,"readerFallsThrough":true},{"activeFlag":0,"startSource":"forced zero","startSlot":0,"selectedSlot":0,"selectedValue":1,"readerFallsThrough":true}],"allPredecessorStartsPass":true,"arbitraryStateCounterexamples":[{"stateTable":[2,0,0,0,0,0,0,0,0,0,0,0],"startSlot":0,"selectedSlot":0,"selectedValue":2,"readerFallsThrough":false,"meaning":"opcode 0x12 can select a nonzero state value that is not the reader's required value 1"},{"stateTable":[0,2,0,0,0,0,0,0,0,0,0,0],"startSlot":1,"selectedSlot":1,"selectedValue":2,"readerFallsThrough":false,"meaning":"the active flag can change the search start, but it cannot convert state value 2 into pass value 1"}],"priorSelectionBufferStillPrimaryBlockerUnderPredecessorHypothesis":false,"promotionStatus":"blocked","remainingBlockers":["prove predecessor 1:0 executes before current selector 2:0 in the normal route","prove secondaryBranchState persists to 0x005428bc/0x00542b0c","prove the gated control path reaches the 0x00542b0c frontier reader","find strict map1_01a source coordinate or hotspot"],"conclusion":"The active-selection flag evidence removes one static unknown from the 0x005428bc writer: the EXE/startup default for 0x00457744 is 1, so opcode 0x12 normally starts from the prior selectionBuffer[0x20] value. However, 0x00457744 is also save offset 0x006c and can be overwritten by a loaded save. More importantly, the prior start slot is not the decisive blocker under the strongest predecessor-fill hypothesis: if 1:0 leaves secondaryBranchState as [1,1,0..], both activeFlag=1 for every possible prior slot and activeFlag=0 from zero select a passing slot. Without that predecessor/runtime table proof, opcode 0x12 still only selects a nonzero state, and state value 2 would fail the 0x00542b0c reader. Promotion therefore remains blocked on predecessor execution/state persistence, the gated control path, and a strict map1_01a hotspot."}