Predecessor 1:0 root 0x00478364 index 1; current 2:0 root 0x00540714 index 2.
selector adjacent: True; intermediate selectors: 0; persistence proven: False; promotion status: blocked
proof found: False; predecessor persistence proof found: False; failed predecessor persistence gates: source-target-selector-merge-order,global-vm-helper-reset-exclusion,strict-source-hotspot; missing evidence count: 3; evidence refs: 6.
source-side previous selector: 0:0; overlap: map1_01a, map1_02b; predecessor target-side only: True; selector merge gap open: True
current root has no known before-frontier overwrite: True; direct secondaryBranchState writers: 0
Selector table order now supports a narrow persistence candidate: 1:0 is immediately before 2:0, there are no intermediate field-map selectors, the current 2:0 root has no known valid secondaryBranchState fill before 0x00542b0c, and the predecessor fill would satisfy the current reader. The blocker is now narrower but sharper: 1:0 is target-side only while the confirmed source-side route overlaps 0:0, so 2:0 looks like a selector-merge state. This still does not promote map1_01a->map2_02d because selector-index adjacency is not runtime execution proof, the source-side/target-side merge order is unproven, and no strict map1_01a source hotspot has been found.
| path | fields |
|---|---|
out/save_scene_selectors.json | selectors, fieldMaps, selectedPointerHex |
out/save_selector_predecessor_state_effect.json | predecessorFillVas, fillValueHex, allStartsPassReader |
out/save_selector_predecessor_route_order.json | routeOrderProven, proofFound, predecessorRouteOrderProofFound, failedPredecessorRouteOrderGateIds, missingEvidence, evidenceRefs, evidenceRefCount, selectorMergeGapOpen, sourceRoutePreviousSelector, predecessorIsTargetSideOnly |
out/save_selector_secondary_state_sources.json | validBeforeFrontierCount, validBeforeFrontierNonOperandCount, secondaryDirectWrites |
out/save_selector_current_state_sources.json | validActivationCandidateCount, validBeforeFirstFrontierReaderWithExecutionEvidenceCount |
out/map1_01a_hotspot_gap.json | strictHotspotFound, eventTransitionCount, manifestPointPromotableSourceCount |
| kind | status | detail |
|---|---|---|
| selector-index-adjacency | supports-persistence-candidate | 1:0 index 1 is immediately before 2:0 index 2; intermediate selectors=0. |
| predecessor-fill-effect | would-pass-current-reader | 0x004844d0, 0x004844d8 0x00000210 -> all starts pass reader=True. |
| current-root-overwrite | no-known-local-overwrite | valid before-frontier secondary fills=0; valid activation fills=0; direct secondaryBranchState writers=0. |
| confirmed-route-order | does-not-prove-runtime-order | confirmed overlap with 1:0=none; routeOrderProven=False. |
| selector-merge-shape | merge-gap-open | source-side previous=0:0; source confirmed overlap=map1_01a, map1_02b; predecessor target-side only=True; same previous contains route pair=False. |
| strict-hotspot | missing | strictHotspotFound=False; event transitions=0; manifest source point tables=0. |