Scene/Event VM branch/flag 검토

selected text root 경로의 branch-state, active flag, event/object writer 후보를 확정/blocked로 분리한다.

요약

branch-flag-grounded-route-proof-blocked
active flag0x00457744 default 0x01
same slotTrue / 0x20
state preservedTrue
runtime dependentTrue
event route links0
proofFalse

Decisions

확정과 blocked 분리
itempromotionevidenceremaining gap
opcode 0x12 active-selection flaggrounded0x00457744 default=0x01, startup init=0x00411300, save offset=0x006cloaded save can override the default; route runtime value is not proven
opcode 0x12 writer -> opcode 0x11 reader slotpartialwriter/reader use secondaryBranchState offset 0x20; known opcodes preserve the same slot=Trueselected slot value and control path to the frontier reader remain unproven
predecessor-fill narrowingpartialpredecessor 1:0 fill 0x00000210 makes all starts pass=Truenormal route has not proven that predecessor executes before selector 2:0 and persists
primaryBranchState writer handlersgrounded-blocked4 writer clusters are known direct writerswriter clusters are dispatched by event/object VM and are not linked to current selector 2:0 route
event/object branch-state byte candidatesblockedmedium=10, current-route links=0, range hits=0raw byte-pair candidates do not prove command starts or current route execution
opcode24 runtime flag route proofblockedreal route hit=False, constructed route hit=Trueruntime flag samples do not produce selected-root execution proof for the route

Primary Branch-State Writer Clusters

4 clusters
clusterrangerefsvaluesnote
object/stat comparison group0x0041dccc..0x0041df2d6{"0x00": 1, "0x02": 2, "0x01": 3}Evaluates indexed runtime objects and writes state 0/1/2 according to object presence and stat/level comparisons.
party/object condition group0x0041e0f2..0x0041e1f64{"0x00": 1, "0x01": 2, "0x02": 1}Uses party/object candidate tables and writes state 0/1/2 from the current runtime party/object condition.
six-slot object condition group0x0041e390..0x0041e4312{"0x00": 1, "0x01": 1}Loops over a short candidate table and writes state 0/1 for available object slots.
list selection initialization group0x0041fb36..0x0041fb572{"0x01": 1, "0x00": 1}Seeds one selected slot with state 1 and clears following slots to 0 for a runtime list selection.

Writer → Reader Gate Rows

0x00542b0c
VAvalueopcodeoperationtableoffsethelper valid
0x005428bc0x002082120x12selectActiveStateSlotsecondaryBranchState0x20
0x005428c40x00e881110x11readSelectedStateAndBranchsecondaryBranchState0xe8
0x005428cc0x00ea82110x11readSelectedStateAndBranchsecondaryBranchState0xea
0x005428d40x01e682100x10fillBranchStateTablesecondaryBranchState0xe6
0x005428d80x01e781100x10fillBranchStateTablesecondaryBranchState0xe7
0x005429340x096880130x13selectMatchingRuntimeSlotsecondaryBranchState0x68
0x00542ac40x00542e100x10fillBranchStateTablesecondaryBranchState0x54
0x00542ae80x000a30120x12selectActiveStateSlotsecondaryBranchState0x0a
0x00542af00x001000100x10fillBranchStateTableprimaryBranchState0x10
0x00542afc0x001000100x10fillBranchStateTableprimaryBranchState0x10
0x00542b000x000d90120x12selectActiveStateSlotsecondaryBranchState0x0d
Event/Object writer candidates - current route proof blocked
candidateindexgroupselector containerroute relevancenext step
0x004e82060x25object/stat comparison group0x004e785c..0x004ede18outside current route ranges; selector container has no field-map linksexclude as current-route proof unless a runtime trace reaches this container
0x004e82300x25object/stat comparison group0x004e785c..0x004ede18outside current route ranges; selector container has no field-map linksexclude as current-route proof unless a runtime trace reaches this container
0x004e825a0x25object/stat comparison group0x004e785c..0x004ede18outside current route ranges; selector container has no field-map linksexclude as current-route proof unless a runtime trace reaches this container
0x004e82840x25object/stat comparison group0x004e785c..0x004ede18outside current route ranges; selector container has no field-map linksexclude as current-route proof unless a runtime trace reaches this container
0x004e82b40x26party/object condition group0x004e785c..0x004ede18outside current route ranges; selector container has no field-map linksexclude as current-route proof unless a runtime trace reaches this container
0x004e82f80x27six-slot object condition group0x004e785c..0x004ede18outside current route ranges; selector container has no field-map linksexclude as current-route proof unless a runtime trace reaches this container
0x004e83180x26party/object condition group0x004e785c..0x004ede18outside current route ranges; selector container has no field-map linksexclude as current-route proof unless a runtime trace reaches this container
0x004e8d0a0x31list selection initialization group0x004e785c..0x004ede18outside current route ranges; selector container has no field-map linksexclude as current-route proof unless a runtime trace reaches this container
0x00544a350x31list selection initialization group0x00543578..0x005455b8outside current route ranges; selector container has no field-map linksexclude as current-route proof unless a runtime trace reaches this container
0x00544e0d0x31list selection initialization group0x00543578..0x005455b8outside current route ranges; selector container has no field-map linksexclude as current-route proof unless a runtime trace reaches this container

Remaining Proofs

goal continuation
  • 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
Source Artifacts