Measurement boundary: Orange dots are empirical success rates for the declared forward, non-backtracking A0 process; the orange logistic is a visual smoothing guide, not the estimator used to establish every reported result. The teal curve is modeled: the literature threshold reference α_c ≈ 4.267 for n ≥ 400 and a finite-size DPLL midpoint at n = 50. The shaded separation is therefore between a measured process curve and a modeled existence reference. The exact result belongs to a separate bridge test: 194/194 tested jammed prefixes at n = 1,000 and α ∈ {1.53, 1.55} were residual UNSAT under their realized commitments; that bounded oracle result does not make the whole orange curve exact.