[{"source":"map1_01a","target":"map2_02d","leafPointerHex":"0x00542ae8","branchVaHex":"0x00542b0c","condition":"secondaryBranchState[selectionBuffer[0x20]] == 1","branchSelectionBufferOffset":32,"branchSelectionBufferOffsetHex":"0x20","branchStateTable":"secondaryBranchState","setupSteps":[{"vaHex":"0x00542ae8","opcodeHex":"0x12","handlerVaHex":"0x0040b55f","valueHex":"0x000a3012","selectionBufferOffsetHex":"0x0a","selectionBufferOffset":10,"stateTable":null,"meaning":"select/store active state slot into selectionBuffer[stream+2]"},{"vaHex":"0x00542afc","opcodeHex":"0x10","handlerVaHex":"0x0040b49e","valueHex":"0x00100010","selectionBufferOffsetHex":"0x10","selectionBufferOffset":16,"stateTable":"primaryBranchState","meaning":"fill branch-state table from helper argument stream+2"},{"vaHex":"0x00542b00","opcodeHex":"0x12","handlerVaHex":"0x0040b55f","valueHex":"0x000d9012","selectionBufferOffsetHex":"0x0d","selectionBufferOffset":13,"stateTable":null,"meaning":"select/store active state slot into selectionBuffer[stream+2]"}],"localWriterCount":0,"hasLocalWriterForBranchOffset":false,"conclusion":"The branch reads selectionBuffer[0x20], but this frontier stream does not write that offset before the branch. The value is inherited from wider runtime state; the next reverse-engineering step is tracing writers to context+0xa8+0x20."}]