{"scope":"scene/event VM branch and flag review","promotionStatus":"branch-flag-grounded-route-proof-blocked","summary":{"source":"map1_01a","target":"map2_02d","promotionStatus":"branch-flag-grounded-route-proof-blocked","branchFlagProofFound":false,"activeFlagVaHex":"0x00457744","activeFlagDefaultGrounded":true,"activeFlagStaticInitialByteHex":"0x01","activeFlagSaveOffsetHex":"0x006c","activeFlagStartupInitVaHex":"0x00411300","sameTableAndOffset":true,"sameSelectionBufferOffsetHex":"0x20","statePreservedByKnownOpcodes":true,"branchStateValueStillRuntimeDependent":true,"controlPathStillUnproven":true,"strictHotspotStillMissing":true,"frontierReaderVaHex":"0x00542b0c","frontierReaderCondition":"secondaryBranchState[selectionBuffer[0x20]] == 1","frontierReaderTraceReachesCount":2,"predecessorHypothesisSelector":"1:0","predecessorHypothesisFillHex":"0x00000210","equationNarrowedByPredecessorHypothesis":true,"allPredecessorStartsPass":true,"primaryBranchStateWriterClusterCount":4,"primaryBranchStateWriterDirectRefCount":14,"branchDispatchTableEntryCount":64,"eventObjectRawCandidateCount":44,"eventObjectMediumCandidateCount":10,"eventObjectCurrentRouteLinkedCount":0,"eventObjectCurrentRouteRangeHitCount":0,"eventObjectNearbyCnsCandidateCount":0,"runtimeOpcode24FlagProofFound":false,"runtimeOpcode24RealRouteHitObserved":false,"runtimeOpcode24ConstructedRouteHitObserved":true},"decisions":[{"item":"opcode 0x12 active-selection flag","promotion":"grounded","evidence":"0x00457744 default=0x01, startup init=0x00411300, save offset=0x006c","remainingGap":"loaded save can override the default; route runtime value is not proven"},{"item":"opcode 0x12 writer -> opcode 0x11 reader slot","promotion":"partial","evidence":"writer/reader use secondaryBranchState offset 0x20; known opcodes preserve the same slot=True","remainingGap":"selected slot value and control path to the frontier reader remain unproven"},{"item":"predecessor-fill narrowing","promotion":"partial","evidence":"predecessor 1:0 fill 0x00000210 makes all starts pass=True","remainingGap":"normal route has not proven that predecessor executes before selector 2:0 and persists"},{"item":"primaryBranchState writer handlers","promotion":"grounded-blocked","evidence":"4 writer clusters are known direct writers","remainingGap":"writer clusters are dispatched by event/object VM and are not linked to current selector 2:0 route"},{"item":"event/object branch-state byte candidates","promotion":"blocked","evidence":"medium=10, current-route links=0, range hits=0","remainingGap":"raw byte-pair candidates do not prove command starts or current route execution"},{"item":"opcode24 runtime flag route proof","promotion":"blocked","evidence":"real route hit=False, constructed route hit=True","remainingGap":"runtime flag samples do not produce selected-root execution proof for the route"}],"writerClusters":[{"name":"object/stat comparison group","rangeHex":"0x0041dccc..0x0041df2d","refCount":6,"valueCounts":{"0x00":1,"0x02":2,"0x01":3},"sourceGlobals":[{"fileOffsetHex":"0x01d079","valueHex":"0x0059e33e","name":"runtimeFlag59e33e"},{"fileOffsetHex":"0x01d0aa","valueHex":"0x004577a6","name":"objectCandidateTable4577a6"},{"fileOffsetHex":"0x01d170","valueHex":"0x0059db30","name":"runtimeObjectBase59db30"},{"fileOffsetHex":"0x01d1e0","valueHex":"0x0059e34d","name":"runtimeFlag59e34d"}],"note":"Evaluates indexed runtime objects and writes state 0/1/2 according to object presence and stat/level comparisons."},{"name":"party/object condition group","rangeHex":"0x0041e0f2..0x0041e1f6","refCount":4,"valueCounts":{"0x00":1,"0x01":2,"0x02":1},"sourceGlobals":[{"fileOffsetHex":"0x01d48d","valueHex":"0x004576ec","name":"partyCandidateLow4576ec"},{"fileOffsetHex":"0x01d49c","valueHex":"0x0059e345","name":"runtimeFlag59e345"},{"fileOffsetHex":"0x01d4ad","valueHex":"0x004576f8","name":"partyCandidateTable4576f8"},{"fileOffsetHex":"0x01d5aa","valueHex":"0x004576ed","name":"partyCandidateHigh4576ed"}],"note":"Uses party/object candidate tables and writes state 0/1/2 from the current runtime party/object condition."},{"name":"six-slot object condition group","rangeHex":"0x0041e390..0x0041e431","refCount":2,"valueCounts":{"0x00":1,"0x01":1},"sourceGlobals":[{"fileOffsetHex":"0x01d743","valueHex":"0x0059e33e","name":"runtimeFlag59e33e"},{"fileOffsetHex":"0x01d75c","valueHex":"0x0059e344","name":"runtimeFlag59e344"},{"fileOffsetHex":"0x01d76e","valueHex":"0x0045779a","name":"objectCandidateTable45779a"}],"note":"Loops over a short candidate table and writes state 0/1 for available object slots."},{"name":"list selection initialization group","rangeHex":"0x0041fb36..0x0041fb57","refCount":2,"valueCounts":{"0x01":1,"0x00":1},"sourceGlobals":[{"fileOffsetHex":"0x01eec0","valueHex":"0x0059e2a8","name":"runtimeListState59e2a8"}],"note":"Seeds one selected slot with state 1 and clears following slots to 0 for a runtime list selection."}],"branchGateRows":[{"vaHex":"0x005428bc","valueHex":"0x00208212","opcodeHex":"0x12","operation":"selectActiveStateSlot","tableName":"secondaryBranchState","selectionBufferOffsetHex":"0x20","helperValid":null},{"vaHex":"0x005428c4","valueHex":"0x00e88111","opcodeHex":"0x11","operation":"readSelectedStateAndBranch","tableName":"secondaryBranchState","selectionBufferOffsetHex":"0xe8","helperValid":null},{"vaHex":"0x005428cc","valueHex":"0x00ea8211","opcodeHex":"0x11","operation":"readSelectedStateAndBranch","tableName":"secondaryBranchState","selectionBufferOffsetHex":"0xea","helperValid":null},{"vaHex":"0x005428d4","valueHex":"0x01e68210","opcodeHex":"0x10","operation":"fillBranchStateTable","tableName":"secondaryBranchState","selectionBufferOffsetHex":"0xe6","helperValid":null},{"vaHex":"0x005428d8","valueHex":"0x01e78110","opcodeHex":"0x10","operation":"fillBranchStateTable","tableName":"secondaryBranchState","selectionBufferOffsetHex":"0xe7","helperValid":null},{"vaHex":"0x00542934","valueHex":"0x09688013","opcodeHex":"0x13","operation":"selectMatchingRuntimeSlot","tableName":"secondaryBranchState","selectionBufferOffsetHex":"0x68","helperValid":null},{"vaHex":"0x00542ac4","valueHex":"0x00542e10","opcodeHex":"0x10","operation":"fillBranchStateTable","tableName":"secondaryBranchState","selectionBufferOffsetHex":"0x54","helperValid":null},{"vaHex":"0x00542ae8","valueHex":"0x000a3012","opcodeHex":"0x12","operation":"selectActiveStateSlot","tableName":"secondaryBranchState","selectionBufferOffsetHex":"0x0a","helperValid":null},{"vaHex":"0x00542af0","valueHex":"0x00100010","opcodeHex":"0x10","operation":"fillBranchStateTable","tableName":"primaryBranchState","selectionBufferOffsetHex":"0x10","helperValid":null},{"vaHex":"0x00542afc","valueHex":"0x00100010","opcodeHex":"0x10","operation":"fillBranchStateTable","tableName":"primaryBranchState","selectionBufferOffsetHex":"0x10","helperValid":null},{"vaHex":"0x00542b00","valueHex":"0x000d9012","opcodeHex":"0x12","operation":"selectActiveStateSlot","tableName":"secondaryBranchState","selectionBufferOffsetHex":"0x0d","helperValid":null}],"eventObjectCandidates":[{"candidateVaHex":"0x004e8206","indexHex":"0x25","group":"object/stat comparison group","selectorContainer":"0x004e785c..0x004ede18","routeRelevance":"outside current route ranges; selector container has no field-map links","nextStep":"exclude as current-route proof unless a runtime trace reaches this container"},{"candidateVaHex":"0x004e8230","indexHex":"0x25","group":"object/stat comparison group","selectorContainer":"0x004e785c..0x004ede18","routeRelevance":"outside current route ranges; selector container has no field-map links","nextStep":"exclude as current-route proof unless a runtime trace reaches this container"},{"candidateVaHex":"0x004e825a","indexHex":"0x25","group":"object/stat comparison group","selectorContainer":"0x004e785c..0x004ede18","routeRelevance":"outside current route ranges; selector container has no field-map links","nextStep":"exclude as current-route proof unless a runtime trace reaches this container"},{"candidateVaHex":"0x004e8284","indexHex":"0x25","group":"object/stat comparison group","selectorContainer":"0x004e785c..0x004ede18","routeRelevance":"outside current route ranges; selector container has no field-map links","nextStep":"exclude as current-route proof unless a runtime trace reaches this container"},{"candidateVaHex":"0x004e82b4","indexHex":"0x26","group":"party/object condition group","selectorContainer":"0x004e785c..0x004ede18","routeRelevance":"outside current route ranges; selector container has no field-map links","nextStep":"exclude as current-route proof unless a runtime trace reaches this container"},{"candidateVaHex":"0x004e82f8","indexHex":"0x27","group":"six-slot object condition group","selectorContainer":"0x004e785c..0x004ede18","routeRelevance":"outside current route ranges; selector container has no field-map links","nextStep":"exclude as current-route proof unless a runtime trace reaches this container"},{"candidateVaHex":"0x004e8318","indexHex":"0x26","group":"party/object condition group","selectorContainer":"0x004e785c..0x004ede18","routeRelevance":"outside current route ranges; selector container has no field-map links","nextStep":"exclude as current-route proof unless a runtime trace reaches this container"},{"candidateVaHex":"0x004e8d0a","indexHex":"0x31","group":"list selection initialization group","selectorContainer":"0x004e785c..0x004ede18","routeRelevance":"outside current route ranges; selector container has no field-map links","nextStep":"exclude as current-route proof unless a runtime trace reaches this container"},{"candidateVaHex":"0x00544a35","indexHex":"0x31","group":"list selection initialization group","selectorContainer":"0x00543578..0x005455b8","routeRelevance":"outside current route ranges; selector container has no field-map links","nextStep":"exclude as current-route proof unless a runtime trace reaches this container"},{"candidateVaHex":"0x00544e0d","indexHex":"0x31","group":"list selection initialization group","selectorContainer":"0x00543578..0x005455b8","routeRelevance":"outside current route ranges; selector container has no field-map links","nextStep":"exclude as current-route proof unless a runtime trace reaches this container"}],"remainingProofs":["prove predecessor 1:0 executes before current selector 2:0 in normal route","prove secondaryBranchState persists to opcode 0x12 writer and opcode 0x11 frontier reader","prove control-flow reaches 0x00542b0c on the route","find a strict source hotspot/event row for map1_01a","capture real selector 2:0 runtime/save state or equivalent trace"],"sourceArtifacts":{"branchWriters":"out/save_selector_branch_state_writers.json","branchDispatch":"out/save_selector_branch_state_dispatch.json","branchGate":"out/save_selector_branch_gate_consistency.json","frontierReader":"out/save_selector_frontier_reader_branch_context.json","branchEquation":"out/save_selector_branch_selector_equation.json","activeFlagSources":"out/save_selector_active_flag_sources.json","activeFlagEffect":"out/save_selector_active_flag_effect.json","opcode24RuntimeFlag":"out/runtime_opcode24_flag_context.json","eventObjectCandidates":"out/event_object_branch_state_stream_candidates.json","eventObjectLinks":"out/event_object_branch_state_candidate_links.json","eventObjectContext":"out/event_object_branch_state_block_context.json"}}