Save Selector Predecessor Tail Reset

Predecessor 1:0 root 0x00478364; next root 12:0 0x0048458c.

Tail range 0x004844dc..0x0048458c; tail opcode 0x10 rows: 0; tail valid secondary fills: 0; local tail reset found: False; tail current-root-range pointers: 0; tail direct current-route bridge found: False; promotion status: blocked

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.

Tail opcode counts: 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

Tail Current-Route Bridge Scan

Current selector/root: 2:0 0x00540714..0x00543578. Pointer dwords: 13 (data 13, text 0); current root range pointers: 0; exact current/frontier/current-reader/source-record/target-record refs: 0/0/0/0/0; branch targets into current route: 0; classification: no-tail-current-route-bridge.

vavaluelow opcodepointer sectioncurrent route classhandler
0x004844dc0x000000c00xc0--0x00440c5c .data
0x004844f00x004845d40xd4.data-0x00080365 -
0x004845080x004845340x34.data-0x0040db36 .text
0x004845100x0048463c0x3c.data-0x0040e150 .text
0x004845180x004845d40xd4.data-0x00080365 -
0x004845300x004845340x34.data-0x0040db36 .text
0x004845380x0048499c0x9c.data-0x70616d00 -
0x004845440x0048472c0x2c.data-0x0040d080 .text
0x0048454c0x004847c00xc0.data-0x00440c5c .data
0x004845540x004846080x08.data-0x0040adc9 .text
0x004845640x004846bc0xbc.data-0x00440de8 .data
0x004845700x004846bc0xbc.data-0x00440de8 .data
0x0048457c0x004846bc0xbc.data-0x00440de8 .data
0x004845840x004845bc0xbc.data-0x00440de8 .data
vavaluelow opcodeop10 tableop10 helpervalid secondary fill
0x004844e00x000002400x40---
0x004844e80x2a0001240x24---
0x004844f00x004845d40xd4---
0x004844f80x000000000x00---
0x004845080x004845340x34---
0x004845100x0048463c0x3c---
0x004845180x004845d40xd4---
0x004845300x004845340x34---
0x004845380x0048499c0x9c---
0x004845440x0048472c0x2c---
0x0048454c0x004847c00xc0---
0x004845540x004846080x08---
0x004845640x004846bc0xbc---
0x004845700x004846bc0xbc---
0x0048457c0x004846bc0xbc---
0x004845840x004845bc0xbc---

Remaining Proofs