{"source":"map1_01a","target":"map2_02d","nearestWriterVaHex":"0x005428bc","frontierReaderVaHex":"0x00542b0c","writer":{"va":5515452,"vaHex":"0x005428bc","value":2130450,"valueHex":"0x00208212","opcode":18,"opcodeHex":"0x12","streamPlus1Hex":"0x82","selectionBufferOffset":32,"selectionBufferOffsetHex":"0x20","stateTable":"secondaryBranchState","operation":"selectActiveStateSlot"},"reader":{"va":5516044,"vaHex":"0x00542b0c","value":2134033,"valueHex":"0x00209011","opcode":17,"opcodeHex":"0x11","streamPlus1Hex":"0x90","selectionBufferOffset":32,"selectionBufferOffsetHex":"0x20","stateTable":"secondaryBranchState","operation":"readSelectedStateAndBranch"},"sameTableAndOffset":true,"sameTableName":"secondaryBranchState","sameSelectionBufferOffsetHex":"0x20","scanRangeHex":"0x005428bc..0x00542b0c","selectionOpcodeRowsBetweenCount":11,"postWriterSameOffsetWriteCount":0,"postWriterSameOffsetReadCount":0,"postWriterOtherOffsetWriteCount":3,"postWriterOtherOffsetWriteOffsetsHex":["0x0a","0x0d","0x68"],"validSecondaryFillBetweenCount":0,"invalidSecondaryFillBetweenCount":3,"invalidSecondaryFillOffsetsHex":["0x54","0xe6","0xe7"],"sameOffsetWritesAfterWriter":[],"sameOffsetReadsAfterWriter":[],"otherOffsetWritesAfterWriter":[{"va":5515572,"vaHex":"0x00542934","value":157843475,"valueHex":"0x09688013","opcode":19,"opcodeHex":"0x13","streamPlus1Hex":"0x80","selectionBufferOffset":104,"selectionBufferOffsetHex":"0x68","stateTable":"secondaryBranchState","operation":"selectMatchingRuntimeSlot"},{"va":5516008,"vaHex":"0x00542ae8","value":667666,"valueHex":"0x000a3012","opcode":18,"opcodeHex":"0x12","streamPlus1Hex":"0x30","selectionBufferOffset":10,"selectionBufferOffsetHex":"0x0a","stateTable":"secondaryBranchState","operation":"selectActiveStateSlot"},{"va":5516032,"vaHex":"0x00542b00","value":888850,"valueHex":"0x000d9012","opcode":18,"opcodeHex":"0x12","streamPlus1Hex":"0x90","selectionBufferOffset":13,"selectionBufferOffsetHex":"0x0d","stateTable":"secondaryBranchState","operation":"selectActiveStateSlot"}],"validSecondaryFillsBetween":[],"invalidSecondaryFillsBetween":[{"va":5515476,"vaHex":"0x005428d4","value":31883792,"valueHex":"0x01e68210","opcode":16,"opcodeHex":"0x10","streamPlus1Hex":"0x82","selectionBufferOffset":230,"selectionBufferOffsetHex":"0xe6","stateTable":"secondaryBranchState","operation":"fillBranchStateTable","helperArgument":230,"helperArgumentHex":"0xe6","validHelperDispatch":false},{"va":5515480,"vaHex":"0x005428d8","value":31949072,"valueHex":"0x01e78110","opcode":16,"opcodeHex":"0x10","streamPlus1Hex":"0x81","selectionBufferOffset":231,"selectionBufferOffsetHex":"0xe7","stateTable":"secondaryBranchState","operation":"fillBranchStateTable","helperArgument":231,"helperArgumentHex":"0xe7","validHelperDispatch":false},{"va":5515972,"vaHex":"0x00542ac4","value":5516816,"valueHex":"0x00542e10","opcode":16,"opcodeHex":"0x10","streamPlus1Hex":"0x2e","selectionBufferOffset":84,"selectionBufferOffsetHex":"0x54","stateTable":"secondaryBranchState","operation":"fillBranchStateTable","helperArgument":84,"helperArgumentHex":"0x54","validHelperDispatch":false}],"selectionOpcodeRowsBetween":[{"va":5515452,"vaHex":"0x005428bc","value":2130450,"valueHex":"0x00208212","opcode":18,"opcodeHex":"0x12","streamPlus1Hex":"0x82","selectionBufferOffset":32,"selectionBufferOffsetHex":"0x20","stateTable":"secondaryBranchState","operation":"selectActiveStateSlot"},{"va":5515460,"vaHex":"0x005428c4","value":15237393,"valueHex":"0x00e88111","opcode":17,"opcodeHex":"0x11","streamPlus1Hex":"0x81","selectionBufferOffset":232,"selectionBufferOffsetHex":"0xe8","stateTable":"secondaryBranchState","operation":"readSelectedStateAndBranch"},{"va":5515468,"vaHex":"0x005428cc","value":15368721,"valueHex":"0x00ea8211","opcode":17,"opcodeHex":"0x11","streamPlus1Hex":"0x82","selectionBufferOffset":234,"selectionBufferOffsetHex":"0xea","stateTable":"secondaryBranchState","operation":"readSelectedStateAndBranch"},{"va":5515476,"vaHex":"0x005428d4","value":31883792,"valueHex":"0x01e68210","opcode":16,"opcodeHex":"0x10","streamPlus1Hex":"0x82","selectionBufferOffset":230,"selectionBufferOffsetHex":"0xe6","stateTable":"secondaryBranchState","operation":"fillBranchStateTable","helperArgument":230,"helperArgumentHex":"0xe6","validHelperDispatch":false},{"va":5515480,"vaHex":"0x005428d8","value":31949072,"valueHex":"0x01e78110","opcode":16,"opcodeHex":"0x10","streamPlus1Hex":"0x81","selectionBufferOffset":231,"selectionBufferOffsetHex":"0xe7","stateTable":"secondaryBranchState","operation":"fillBranchStateTable","helperArgument":231,"helperArgumentHex":"0xe7","validHelperDispatch":false},{"va":5515572,"vaHex":"0x00542934","value":157843475,"valueHex":"0x09688013","opcode":19,"opcodeHex":"0x13","streamPlus1Hex":"0x80","selectionBufferOffset":104,"selectionBufferOffsetHex":"0x68","stateTable":"secondaryBranchState","operation":"selectMatchingRuntimeSlot"},{"va":5515972,"vaHex":"0x00542ac4","value":5516816,"valueHex":"0x00542e10","opcode":16,"opcodeHex":"0x10","streamPlus1Hex":"0x2e","selectionBufferOffset":84,"selectionBufferOffsetHex":"0x54","stateTable":"secondaryBranchState","operation":"fillBranchStateTable","helperArgument":84,"helperArgumentHex":"0x54","validHelperDispatch":false},{"va":5516008,"vaHex":"0x00542ae8","value":667666,"valueHex":"0x000a3012","opcode":18,"opcodeHex":"0x12","streamPlus1Hex":"0x30","selectionBufferOffset":10,"selectionBufferOffsetHex":"0x0a","stateTable":"secondaryBranchState","operation":"selectActiveStateSlot"},{"va":5516016,"vaHex":"0x00542af0","value":1048592,"valueHex":"0x00100010","opcode":16,"opcodeHex":"0x10","streamPlus1Hex":"0x00","selectionBufferOffset":16,"selectionBufferOffsetHex":"0x10","stateTable":"primaryBranchState","operation":"fillBranchStateTable","helperArgument":16,"helperArgumentHex":"0x10","validHelperDispatch":false},{"va":5516028,"vaHex":"0x00542afc","value":1048592,"valueHex":"0x00100010","opcode":16,"opcodeHex":"0x10","streamPlus1Hex":"0x00","selectionBufferOffset":16,"selectionBufferOffsetHex":"0x10","stateTable":"primaryBranchState","operation":"fillBranchStateTable","helperArgument":16,"helperArgumentHex":"0x10","validHelperDispatch":false},{"va":5516032,"vaHex":"0x00542b00","value":888850,"valueHex":"0x000d9012","opcode":18,"opcodeHex":"0x12","streamPlus1Hex":"0x90","selectionBufferOffset":13,"selectionBufferOffsetHex":"0x0d","stateTable":"secondaryBranchState","operation":"selectActiveStateSlot"}],"secondaryResetScope":{"secondaryRangeHex":"0x0059e360..0x0059e36b","noDirectGlobalSecondaryWriter":true,"helperOnlyCalledInsideOpcode10Handler":true,"globalResetRuledOut":false},"gateBoundary":{"dispatchStopVaHex":"0x005428f4","dispatchStopOpcodeHex":"0xe8","dispatchStopHandlerVaHex":"0x00440c28","dispatchStopHandlerSection":".data","dispatchStopIsCodeHandler":false},"knownOpcodeStatePreservationStatus":"same-selection-slot-preserved-known-opcodes","statePreservedByKnownOpcodes":true,"branchStateValueStillRuntimeDependent":true,"controlPathStillUnproven":true,"strictHotspotStillMissing":true,"promotionStatus":"blocked","conclusion":"The nearest writer and frontier reader use the same secondaryBranchState table and selectionBuffer[0x20]. Between 0x005428bc and 0x00542b0c, the scan finds no later selectionBuffer[0x20] writer/read and no valid secondaryBranchState opcode 0x10 fill. The later selection writes use other offsets and the intervening secondary fills use out-of-range helper arguments, so the known-opcode model preserves the selected slot. This still does not prove the selected state value is 1, does not prove the control path reaches the frontier reader, and does not provide a strict map1_01a source hotspot."}