{"source":"map1_01a","target":"map2_02d","nearestWriterVaHex":"0x005428bc","frontierReaderVaHex":"0x00542b0c","postGateTraceStartHex":"0x005428d4","opcode24BoundaryVaHex":"0x005428e4","dispatchStopVaHex":"0x005428f4","dispatchStopOpcodeHex":"0xe8","dispatchStopHandlerSection":".data","helperValidCaseRangeHex":"0x00..0x0b","postGateOpcode10RowCount":2,"validPostGateSecondaryResetCount":0,"invalidPostGateOpcode10RowCount":2,"postGateOpcode10Rows":[{"vaHex":"0x005428d4","valueHex":"0x01e68210","handlerVaHex":"0x0040b49e","streamPlus1Hex":"0x82","helperArgumentHex":"0xe6","stateTable":"secondaryBranchState","helperDispatchValid":false,"beforeFrontierReader":true,"routeRelevance":"candidate before frontier but helper arg is outside 0x00..0x0b","canResetSecondaryBranchState":false},{"vaHex":"0x005428d8","valueHex":"0x01e78110","handlerVaHex":"0x0040b49e","streamPlus1Hex":"0x81","helperArgumentHex":"0xe7","stateTable":"secondaryBranchState","helperDispatchValid":false,"beforeFrontierReader":true,"routeRelevance":"candidate before frontier but helper arg is outside 0x00..0x0b","canResetSecondaryBranchState":false}],"currentRootValidBeforeFrontierCount":0,"currentRootValidAfterFrontierCount":1,"validAfterFrontierRows":[{"vaHex":"0x00542fc4","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","stateTable":"secondaryBranchState","helperDispatchValid":true,"beforeFrontierReader":false,"operandRole":null,"routeRelevance":"valid helper fill after frontier; cannot initialize the earlier blocker"}],"postGateRowsPromoteRoute":false,"controlPathProofStatus":"blocked","promotionStatus":"blocked","conclusion":"The two opcode 0x10 rows immediately after the current gates are secondary-table shaped, but their helper arguments are 0xe6 and 0xe7, outside the valid helper jump-table range 0x00..0x0b. They therefore do not prove a post-gate secondaryBranchState reset or fill. The path still stops at the opcode 0x24/0xe8 data-descriptor boundary before any proven route to the 0x00542b0c frontier reader."}