{"source":"map1_01a","target":"map2_02d","selector":"2:0","rootHex":"0x00540714","rootRangeHex":"0x00540714..0x00543578","gateCount":2,"gateOffsetsHex":["0xe8","0xea"],"anyScriptLocalSelectionWriter":false,"anyGlobalScriptSelectionWriter":false,"controlPathGateStatus":"inherited-runtime-state","controlPathProofStatus":"blocked","proofFound":false,"gateOffsetSourceProofFound":false,"failedGateOffsetSourceGateIds":["script-local-gate-byte-writer","global-script-gate-byte-writer","runtime-inherited-selection-buffer-state","control-path-fallthrough-proof"],"missingEvidence":["opcode 0x12/0x13 writer to selectionBuffer[0xe8] or [0xea] before the current gate","runtime sample showing inherited gate bytes on the current selector path","control-flow proof that the gate fallthrough reaches the frontier reader","strict hotspot or selected-root context tying the fallthrough to map1_01a -> map2_02d"],"evidenceRefs":[{"path":"Hwanse2.exe","description":"dword-aligned save-selector script scan for gate-offset readers/writers"},{"path":"out/save_scene_selectors.json","description":"selector root ranges used to isolate the current 2:0 script root"},{"path":"out/save_selector_branch_gate_consistency.json","description":"nearest current writer/frontier reader gate rows that define offsets 0xe8 and 0xea"}],"evidenceRefCount":3,"promotionStatus":"blocked","gates":[{"gateVaHex":"0x005428c4","selectionBufferOffset":232,"selectionBufferOffsetHex":"0xe8","globalRowCount":453,"globalReaderCount":453,"globalWriterCount":0,"globalFillLikeCount":0,"currentRootRowCount":1,"currentRootReaderCount":1,"currentRootWriterCount":0,"currentRootRowsBeforeGateCount":0,"currentRootWriterBeforeGateCount":0,"currentRootRows":[{"va":5515460,"vaHex":"0x005428c4","value":15237393,"valueHex":"0x00e88111","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x81","selectionBufferOffset":232,"selectionBufferOffsetHex":"0xe8","writesSelectionBuffer":false,"readsSelectionBuffer":true}],"currentRootRowsBeforeGate":[],"globalSamples":[{"va":4485528,"vaHex":"0x00447198","value":15237137,"valueHex":"0x00e88011","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x80","selectionBufferOffset":232,"selectionBufferOffsetHex":"0xe8","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":4486072,"vaHex":"0x004473b8","value":15237137,"valueHex":"0x00e88011","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x80","selectionBufferOffset":232,"selectionBufferOffsetHex":"0xe8","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":4491276,"vaHex":"0x0044880c","value":15237649,"valueHex":"0x00e88211","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x82","selectionBufferOffset":232,"selectionBufferOffsetHex":"0xe8","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":4491396,"vaHex":"0x00448884","value":15237393,"valueHex":"0x00e88111","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x81","selectionBufferOffset":232,"selectionBufferOffsetHex":"0xe8","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":4492000,"vaHex":"0x00448ae0","value":15237649,"valueHex":"0x00e88211","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x82","selectionBufferOffset":232,"selectionBufferOffsetHex":"0xe8","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":4492048,"vaHex":"0x00448b10","value":15237393,"valueHex":"0x00e88111","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x81","selectionBufferOffset":232,"selectionBufferOffsetHex":"0xe8","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":4503320,"vaHex":"0x0044b718","value":15237137,"valueHex":"0x00e88011","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x80","selectionBufferOffset":232,"selectionBufferOffsetHex":"0xe8","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":4503400,"vaHex":"0x0044b768","value":15237137,"valueHex":"0x00e88011","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x80","selectionBufferOffset":232,"selectionBufferOffsetHex":"0xe8","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":4503492,"vaHex":"0x0044b7c4","value":15237137,"valueHex":"0x00e88011","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x80","selectionBufferOffset":232,"selectionBufferOffsetHex":"0xe8","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":4503584,"vaHex":"0x0044b820","value":15237137,"valueHex":"0x00e88011","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x80","selectionBufferOffset":232,"selectionBufferOffsetHex":"0xe8","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":4503676,"vaHex":"0x0044b87c","value":15237137,"valueHex":"0x00e88011","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x80","selectionBufferOffset":232,"selectionBufferOffsetHex":"0xe8","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":4503768,"vaHex":"0x0044b8d8","value":15237137,"valueHex":"0x00e88011","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x80","selectionBufferOffset":232,"selectionBufferOffsetHex":"0xe8","writesSelectionBuffer":false,"readsSelectionBuffer":true}],"scriptLocalSelectionWriterFound":false,"globalScriptSelectionWriterFound":false,"sourceClassification":"no opcode 0x12/0x13 script writer; inherited/runtime selection-buffer byte"},{"gateVaHex":"0x005428cc","selectionBufferOffset":234,"selectionBufferOffsetHex":"0xea","globalRowCount":528,"globalReaderCount":528,"globalWriterCount":0,"globalFillLikeCount":0,"currentRootRowCount":5,"currentRootReaderCount":5,"currentRootWriterCount":0,"currentRootRowsBeforeGateCount":4,"currentRootWriterBeforeGateCount":0,"currentRootRows":[{"va":5513760,"vaHex":"0x00542220","value":15368209,"valueHex":"0x00ea8011","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x80","selectionBufferOffset":234,"selectionBufferOffsetHex":"0xea","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":5513792,"vaHex":"0x00542240","value":15368209,"valueHex":"0x00ea8011","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x80","selectionBufferOffset":234,"selectionBufferOffsetHex":"0xea","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":5513984,"vaHex":"0x00542300","value":15368209,"valueHex":"0x00ea8011","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x80","selectionBufferOffset":234,"selectionBufferOffsetHex":"0xea","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":5514016,"vaHex":"0x00542320","value":15368209,"valueHex":"0x00ea8011","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x80","selectionBufferOffset":234,"selectionBufferOffsetHex":"0xea","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":5515468,"vaHex":"0x005428cc","value":15368721,"valueHex":"0x00ea8211","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x82","selectionBufferOffset":234,"selectionBufferOffsetHex":"0xea","writesSelectionBuffer":false,"readsSelectionBuffer":true}],"currentRootRowsBeforeGate":[{"va":5513760,"vaHex":"0x00542220","value":15368209,"valueHex":"0x00ea8011","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x80","selectionBufferOffset":234,"selectionBufferOffsetHex":"0xea","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":5513792,"vaHex":"0x00542240","value":15368209,"valueHex":"0x00ea8011","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x80","selectionBufferOffset":234,"selectionBufferOffsetHex":"0xea","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":5513984,"vaHex":"0x00542300","value":15368209,"valueHex":"0x00ea8011","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x80","selectionBufferOffset":234,"selectionBufferOffsetHex":"0xea","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":5514016,"vaHex":"0x00542320","value":15368209,"valueHex":"0x00ea8011","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x80","selectionBufferOffset":234,"selectionBufferOffsetHex":"0xea","writesSelectionBuffer":false,"readsSelectionBuffer":true}],"globalSamples":[{"va":4454500,"vaHex":"0x0043f864","value":15368465,"valueHex":"0x00ea8111","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x81","selectionBufferOffset":234,"selectionBufferOffsetHex":"0xea","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":4460044,"vaHex":"0x00440e0c","value":15368209,"valueHex":"0x00ea8011","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x80","selectionBufferOffset":234,"selectionBufferOffsetHex":"0xea","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":4460076,"vaHex":"0x00440e2c","value":15368209,"valueHex":"0x00ea8011","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x80","selectionBufferOffset":234,"selectionBufferOffsetHex":"0xea","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":4460096,"vaHex":"0x00440e40","value":15368209,"valueHex":"0x00ea8011","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x80","selectionBufferOffset":234,"selectionBufferOffsetHex":"0xea","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":4460184,"vaHex":"0x00440e98","value":15368209,"valueHex":"0x00ea8011","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x80","selectionBufferOffset":234,"selectionBufferOffsetHex":"0xea","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":4460216,"vaHex":"0x00440eb8","value":15368209,"valueHex":"0x00ea8011","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x80","selectionBufferOffset":234,"selectionBufferOffsetHex":"0xea","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":4460236,"vaHex":"0x00440ecc","value":15368209,"valueHex":"0x00ea8011","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x80","selectionBufferOffset":234,"selectionBufferOffsetHex":"0xea","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":4485536,"vaHex":"0x004471a0","value":15368209,"valueHex":"0x00ea8011","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x80","selectionBufferOffset":234,"selectionBufferOffsetHex":"0xea","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":4486080,"vaHex":"0x004473c0","value":15368209,"valueHex":"0x00ea8011","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x80","selectionBufferOffset":234,"selectionBufferOffsetHex":"0xea","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":4489656,"vaHex":"0x004481b8","value":15368465,"valueHex":"0x00ea8111","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x81","selectionBufferOffset":234,"selectionBufferOffsetHex":"0xea","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":4489696,"vaHex":"0x004481e0","value":15368721,"valueHex":"0x00ea8211","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x82","selectionBufferOffset":234,"selectionBufferOffsetHex":"0xea","writesSelectionBuffer":false,"readsSelectionBuffer":true},{"va":4490924,"vaHex":"0x004486ac","value":15368465,"valueHex":"0x00ea8111","opcode":17,"opcodeHex":"0x11","operation":"readSelectedStateAndBranch","stateTable":"secondaryBranchState","streamPlus1Hex":"0x81","selectionBufferOffset":234,"selectionBufferOffsetHex":"0xea","writesSelectionBuffer":false,"readsSelectionBuffer":true}],"scriptLocalSelectionWriterFound":false,"globalScriptSelectionWriterFound":false,"sourceClassification":"no opcode 0x12/0x13 script writer; inherited/runtime selection-buffer byte"}],"conclusion":"The control gates before the current frontier reader use selectionBuffer offsets 0xe8 and 0xea, but the dword-aligned save-selector script scan finds no opcode 0x12/0x13 writer for either offset globally or inside the current 2:0 root. In the current root these offsets appear only as reader gates. That means the fallthrough path depends on inherited/runtime selection-buffer bytes rather than a script-local setup in this root, so control-flow proof remains open."}