[{"source":"map1_01a","target":"map2_02d","selectionBufferOffsetHex":"0x20","frontierReaderVaHex":"0x00542b0c","frontierReaderValueHex":"0x00209011","frontierCondition":"secondaryBranchState[selectionBuffer[0x20]] == 1","writerChain":[{"writerVaHex":"0x00542474","writerValueHex":"0x00200012","streamPlus1Hex":"0x00","tableChoice":"primaryBranchState","operation":"select active branch-state slot","distanceToReaderBytes":1688,"overwrittenBy":["0x0054247c","0x00542484","0x005428bc"],"isNearestLinearWriter":false,"followingGatesBeforeReader":[{"vaHex":"0x0054248c","valueHex":"0x00200009","opcodeHex":"0x09","meaning":"store runtime stream pointer mode 0x00 into 0x0059de30","stopReason":"multiple-advances"}]},{"writerVaHex":"0x0054247c","writerValueHex":"0x00200013","streamPlus1Hex":"0x00","tableChoice":"runtime/party matcher","operation":"match party/runtime slot","distanceToReaderBytes":1680,"overwrittenBy":["0x00542484","0x005428bc"],"isNearestLinearWriter":false,"followingGatesBeforeReader":[{"vaHex":"0x0054248c","valueHex":"0x00200009","opcodeHex":"0x09","meaning":"store runtime stream pointer mode 0x00 into 0x0059de30","stopReason":"multiple-advances"}]},{"writerVaHex":"0x00542484","writerValueHex":"0x00200012","streamPlus1Hex":"0x00","tableChoice":"primaryBranchState","operation":"select active branch-state slot","distanceToReaderBytes":1672,"overwrittenBy":["0x005428bc"],"isNearestLinearWriter":false,"followingGatesBeforeReader":[{"vaHex":"0x0054248c","valueHex":"0x00200009","opcodeHex":"0x09","meaning":"store runtime stream pointer mode 0x00 into 0x0059de30","stopReason":"multiple-advances"}]},{"writerVaHex":"0x005428bc","writerValueHex":"0x00208212","streamPlus1Hex":"0x82","tableChoice":"secondaryBranchState","operation":"select active branch-state slot","distanceToReaderBytes":592,"overwrittenBy":[],"isNearestLinearWriter":true,"followingGatesBeforeReader":[{"vaHex":"0x005428c4","valueHex":"0x00e88111","opcodeHex":"0x11","meaning":"read secondaryBranchState[selectionBuffer[0xe8]] and gate next stream value","stopReason":"branch-or-fallthrough"}]}],"nearestLinearWriter":{"writerVaHex":"0x005428bc","writerValueHex":"0x00208212","streamPlus1Hex":"0x82","tableChoice":"secondaryBranchState","operation":"select active branch-state slot","distanceToReaderBytes":592,"overwrittenBy":[],"isNearestLinearWriter":true,"followingGatesBeforeReader":[{"vaHex":"0x005428c4","valueHex":"0x00e88111","opcodeHex":"0x11","meaning":"read secondaryBranchState[selectionBuffer[0xe8]] and gate next stream value","stopReason":"branch-or-fallthrough"}]},"conclusion":"On the current selector root's linear address order, 0x005428bc is the nearest writer to selectionBuffer[0x20] before the 0x00542b0c frontier reader. Earlier 0x00542474, 0x0054247c, and 0x00542484 writes are overwritten if execution reaches 0x005428bc. Promotion still needs control-flow proof that the path from 0x005428bc reaches 0x00542b0c and a strict tile hotspot."}]