{"predecessorSelector":"1:0","predecessorRootHex":"0x00478364","predecessorRootRangeHex":"0x00478364..0x0048458c","predecessorFieldMaps":["map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"nextRootHex":"0x0048458c","nextRootSelector":"12:0","tailRangeHex":"0x004844dc..0x0048458c","predecessorFillVas":["0x004844d0","0x004844d8"],"lastFillVaHex":"0x004844d8","lastFillValueHex":"0x00000210","tailDwordCount":44,"tailOpcode10RowCount":0,"tailValidSecondaryFillCount":0,"tailLowOpcodeCounts":{"0x00":2,"0x03":3,"0x04":3,"0x05":1,"0x07":3,"0x08":1,"0x0d":3,"0x1b":1,"0x24":1,"0x28":1,"0x2c":1,"0x32":1,"0x34":2,"0x3c":1,"0x40":1,"0x4b":1,"0x52":2,"0x5a":1,"0x64":2,"0x65":3,"0x83":1,"0x9c":1,"0xbc":4,"0xc0":2,"0xd4":2},"tailRows":[{"vaHex":"0x004844e0","valueHex":"0x00000240","lowOpcodeHex":"0x40","op10":null},{"vaHex":"0x004844e8","valueHex":"0x2a000124","lowOpcodeHex":"0x24","op10":null},{"vaHex":"0x004844f0","valueHex":"0x004845d4","lowOpcodeHex":"0xd4","op10":null},{"vaHex":"0x004844f8","valueHex":"0x00000000","lowOpcodeHex":"0x00","op10":null},{"vaHex":"0x00484508","valueHex":"0x00484534","lowOpcodeHex":"0x34","op10":null},{"vaHex":"0x00484510","valueHex":"0x0048463c","lowOpcodeHex":"0x3c","op10":null},{"vaHex":"0x00484518","valueHex":"0x004845d4","lowOpcodeHex":"0xd4","op10":null},{"vaHex":"0x00484530","valueHex":"0x00484534","lowOpcodeHex":"0x34","op10":null},{"vaHex":"0x00484538","valueHex":"0x0048499c","lowOpcodeHex":"0x9c","op10":null},{"vaHex":"0x00484544","valueHex":"0x0048472c","lowOpcodeHex":"0x2c","op10":null},{"vaHex":"0x0048454c","valueHex":"0x004847c0","lowOpcodeHex":"0xc0","op10":null},{"vaHex":"0x00484554","valueHex":"0x00484608","lowOpcodeHex":"0x08","op10":null},{"vaHex":"0x00484564","valueHex":"0x004846bc","lowOpcodeHex":"0xbc","op10":null},{"vaHex":"0x00484570","valueHex":"0x004846bc","lowOpcodeHex":"0xbc","op10":null},{"vaHex":"0x0048457c","valueHex":"0x004846bc","lowOpcodeHex":"0xbc","op10":null},{"vaHex":"0x00484584","valueHex":"0x004845bc","lowOpcodeHex":"0xbc","op10":null}],"tailCurrentRouteBridge":{"currentSelector":"2:0","currentRootHex":"0x00540714","currentRootRangeHex":"0x00540714..0x00543578","sourceRecordHex":"0x00542b44","targetRecordHex":"0x00542bac","frontierLeafHex":"0x00542ae8","currentReaderHex":"0x00542b0c","pointerDwordCount":13,"dataPointerDwordCount":13,"textPointerDwordCount":0,"currentRootRangePointerCount":0,"currentRootExactRefCount":0,"frontierLeafRefCount":0,"currentReaderRefCount":0,"sourceRecordRefCount":0,"targetRecordRefCount":0,"leafTableWindowPointerCount":0,"dataHandlerLowByteCount":6,"branchCapableRowCount":5,"branchToCurrentRouteCount":0,"currentRoutePointerClasses":{},"branchTargetRows":[],"sampleRows":[{"vaHex":"0x004844dc","valueHex":"0x000000c0","lowOpcodeHex":"0xc0","pointerSection":null,"currentRoutePointerClass":null,"handlerVaHex":"0x00440c5c","handlerSection":".data"},{"vaHex":"0x004844f0","valueHex":"0x004845d4","lowOpcodeHex":"0xd4","pointerSection":".data","currentRoutePointerClass":null,"handlerVaHex":"0x00080365","handlerSection":null},{"vaHex":"0x00484508","valueHex":"0x00484534","lowOpcodeHex":"0x34","pointerSection":".data","currentRoutePointerClass":null,"handlerVaHex":"0x0040db36","handlerSection":".text"},{"vaHex":"0x00484510","valueHex":"0x0048463c","lowOpcodeHex":"0x3c","pointerSection":".data","currentRoutePointerClass":null,"handlerVaHex":"0x0040e150","handlerSection":".text"},{"vaHex":"0x00484518","valueHex":"0x004845d4","lowOpcodeHex":"0xd4","pointerSection":".data","currentRoutePointerClass":null,"handlerVaHex":"0x00080365","handlerSection":null},{"vaHex":"0x00484530","valueHex":"0x00484534","lowOpcodeHex":"0x34","pointerSection":".data","currentRoutePointerClass":null,"handlerVaHex":"0x0040db36","handlerSection":".text"},{"vaHex":"0x00484538","valueHex":"0x0048499c","lowOpcodeHex":"0x9c","pointerSection":".data","currentRoutePointerClass":null,"handlerVaHex":"0x70616d00","handlerSection":null},{"vaHex":"0x00484544","valueHex":"0x0048472c","lowOpcodeHex":"0x2c","pointerSection":".data","currentRoutePointerClass":null,"handlerVaHex":"0x0040d080","handlerSection":".text"},{"vaHex":"0x0048454c","valueHex":"0x004847c0","lowOpcodeHex":"0xc0","pointerSection":".data","currentRoutePointerClass":null,"handlerVaHex":"0x00440c5c","handlerSection":".data"},{"vaHex":"0x00484554","valueHex":"0x00484608","lowOpcodeHex":"0x08","pointerSection":".data","currentRoutePointerClass":null,"handlerVaHex":"0x0040adc9","handlerSection":".text"},{"vaHex":"0x00484564","valueHex":"0x004846bc","lowOpcodeHex":"0xbc","pointerSection":".data","currentRoutePointerClass":null,"handlerVaHex":"0x00440de8","handlerSection":".data"},{"vaHex":"0x00484570","valueHex":"0x004846bc","lowOpcodeHex":"0xbc","pointerSection":".data","currentRoutePointerClass":null,"handlerVaHex":"0x00440de8","handlerSection":".data"},{"vaHex":"0x0048457c","valueHex":"0x004846bc","lowOpcodeHex":"0xbc","pointerSection":".data","currentRoutePointerClass":null,"handlerVaHex":"0x00440de8","handlerSection":".data"},{"vaHex":"0x00484584","valueHex":"0x004845bc","lowOpcodeHex":"0xbc","pointerSection":".data","currentRoutePointerClass":null,"handlerVaHex":"0x00440de8","handlerSection":".data"}],"directCurrentRouteBridgeFound":false,"classification":"no-tail-current-route-bridge"},"tailCurrentRootRangePointerCount":0,"tailCurrentRootExactRefCount":0,"tailFrontierLeafRefCount":0,"tailCurrentReaderRefCount":0,"tailSourceRecordRefCount":0,"tailTargetRecordRefCount":0,"tailBranchToCurrentRouteCount":0,"tailDirectCurrentRouteBridgeFound":false,"localTailResetFound":false,"promotionStatus":"blocked","remainingProofs":["prove selector 1:0 executes before selector 2:0 in the normal runtime path","prove no global VM/helper reset outside the 1:0 root clears secondaryBranchState before the current reader","find strict map1_01a source coordinate or hotspot"],"conclusion":"Within selector root 1:0, the strongest secondaryBranchState fill sites are at 0x004844d0 and 0x004844d8. The tail from 0x004844dc to the next root boundary has no opcode 0x10 rows and no valid secondaryBranchState helper fill, so this root does not locally reset the predecessor fill after it is written. The same tail has 0 pointer(s) into the current 2:0 root range, but exact current-root/frontier-leaf/current-reader/source-record/target-record refs are 0/0/0/0/0, and branch-capable rows targeting current-route data are 0. This narrows the persistence gap, but it still does not prove runtime execution order or rule out resets in untraced VM/helper paths outside this root."}