G UIDANCE B REAKS THE F ITTED O PERATOR : A T ERMINAL -F ITTED R EPAIR FOR C LASSIFIER -F REE G UIDANCE Shiheng Zhang University of Washington [email protected]
arXiv:2607.07665v1 [cs.LG] 8 Jul 2026
A BSTRACT Classifier-free guidance (CFG) is the standard way to strengthen classconditioning in diffusion and flow-matching samplers, yet at large guidance it oversaturates and destabilizes—symptoms practitioners suppress with more steps or limited-interval schedules. We analyze CFG through an asymptotic-preserving, numerical-analysis lens. Building on a recent result [12] that the deterministic DDIM step is the unique fitted operator for the unguided terminal layer—exact on the final, small-σ stretch of sampling—we show that guidance re-stiffens exactly the discriminative subspace to an anomalous exponent 1 + w (guided coordinates contract like σ 1+w rather than σ). DDIM is therefore no longer fitted there, and on coarse meshes its guided residual diverges as σmin → 0. We prove a guided clock barrier with three ordered step-size thresholds, and read one-step oversaturation as its endpoint—a solver artifact on the calibration model rather than the continuous guided law. The same analysis yields a one-coefficient, zero-extra-NFE repair: replace CFG’s w(r − 1) by r1+w − r on the guidance direction. This coefficient is the unique spectrum-free terminal-exact one, and it preserves the sign of every analyzed coordinate. On the calibration model’s discriminative crossover it removes CFG’s σmin -divergent blow-up and is first-order accurate against the exact guided flow as σmin → 0—asymptotic-preserving in σmin , though not uniform in w. On learned CIFAR-10 checkpoints—and, as a cross-domain smoke test, on Stable Diffusion 1.5 DDIM—it acts as a high-guidance stabilizer at no extra cost rather than a universal quality knob: it cuts residual amplification and saturation and gives 9/9 point-FID wins over CFG on the tested grid, while in the hard-cell blocks its classifier-proxy target accuracy stays close to CFG and terminal guidance shutdown loses much more. We report the limits alongside: it is not a universal image-quality win (KID can favor CFG; an interval can win FID in some cells), and against a dense vanilla-CFG reference it is not a uniformly better integrator of that field.
1
I NTRODUCTION
Diffusion and flow-matching samplers integrate a probability-flow ODE whose velocity field stiffens as the noise scale σ → σmin : on a coordinate normal to the data manifold the exact flow contracts at exponent one, by σn+1 /σn per step. A recent fitted-operator analysis of unguided samplers [12] shows that this terminal layer admits a unique fitted (layer-exact) one-step operator: a frozen-field Euler step—Euler with the velocity held at its start-of-step value—reproduces that exact contraction if and only if its integration variable is affine in σ. This singles out the σ-clock step, algebraically identical to deterministic DDIM [11], and makes it asymptotic-preserving (AP) on the exactly solvable calibration models studied there [12]—uniformly accurate as σmin → 0. This paper asks one question of that lens: what survives of DDIM’s fitted-operator protection once we turn on guidance? Guidance re-stiffens the discriminative subspace. Classifier-free guidance (CFG) [7] runs the sampler on an extrapolated denoiser Dw = (1 + w)Dc − wDu , that is, on a second velocity field ηw = ηc + w(ηc − ηu ) (the η’s are noise-prediction fields; Section 2) with guidance scale g = 1
µw (σ) 1+w discriminative (a=0<b) shared normal (a=b=0) 1 σ2 = b tangential (0<a≤b) λ = − log σ (terminal →)
Figure 1: The guided terminal exponent µw (σ) by layer type on the commuting model (schematic; noise decreases to the right). Guidance leaves the shared-normal exponent at one and freezes tangential directions, but re-stiffens the discriminative directions to 1 + w—the subspace on which DDIM+CFG exits the class of fitted operators. Here a, b are the class and marginal variances along the direction (Section 2). 1 + w. This is not a uniform stiffening. On the commuting Gaussian model of Section 2, the guided terminal exponent µw (σ) splits by layer (a layer here is a regime of state-space directions, not a network layer; Figure 1): it stays exactly one on directions shared by the class and the marginal, freezes to zero on tangential directions, and rises to 1 + w on the discriminative directions—the subspace that separates the class from the marginal (Proposition 1). Guidance re-stiffens precisely this discriminative subspace, and it does so with a second singular parameter: w enters the terminal structure on the same footing as σmin . Because Dw is not any distribution’s posterior mean, DDIM’s fitted-operator protection lapses there: on coarse meshes, vanilla DDIM+CFG leaves the class of fitted operators and its terminal residual diverges as σmin → 0. Two orthogonal bills. This is a statement about the solver. A parallel line studies how the continuous guided law itself departs from the tilted conditional it is meant to sample [1, 2]: that charges the model; we charge the discretization—our reference solution is always the exact guided flow’s own pushforward. The two bills are orthogonal, and conflating them has obscured how much of guidance’s terminal pathology—the oversaturation and norm inflation seen at large w [10]—has a solver-induced component that appears even when the exact guided flow is the reference, from stepping guidance with an operator it has quietly un-fitted. The repair is one coefficient. Rectifying the anomalous exponent 1 + w by a gauge change and pushing the σ-clock step through it yields a one-coefficient modification of CFG that touches nothing else in the sampler—only the coefficient on the guidance direction Du − Dc changes: xn+1 = Dc + r (xn − Dc ) + w(r − 1) (Du − Dc ), fitted: xn+1 = Dc + r (xn − Dc ) + r1+w − r (Du − Dc ), CFG:
with r = σn+1 /σn . It uses the same two denoiser evaluations per step—the implementation delta is a single line, at zero additional NFE (network function evaluations)—agrees with CFG to first order, and reduces to DDIM at w = 0. We call it the guided fitted step, or fitted CFG. It is the unique scalar coefficient that is exact on the discriminative terminal layer using no spectral information (Lemma 2); it never reflects a coordinate across the class manifold (Proposition 3); and its one-step r → 0 limit lands on the conditional denoiser Dc (the terminal-limit class projection), where vanilla CFG lands on the overshot Dw , the discrete mechanism of oversaturation. Contributions. • Structure and a barrier. A layer classification of the guided terminal exponent (Proposition 1) and a guided clock barrier (Theorem 1) with three ordered step-size thresholds—reflection, residual-amplification failure (Section 3), absolute stability—and the resulting two-tier guidance tax on step count (Corollary 1). • Oversaturation as an endpoint, and the guidance interval. A model-free identity reading one-step DDIM+CFG’s overshoot to Dw as the barrier’s r → 0 endpoint (Remark 2), and a parameter-free prediction of the terminal edge of limited-interval guidance [9] (Remark 3). 2
• A spectrum-free fitted repair. The guided fitted step (Definition 1): first-order consistent, signpreserving and terminal-exact on the model, unique (Lemma 2), and—on the discriminative crossover—free of the σmin -divergent blow-up and first-order accurate as σmin → 0 (Proposition 4, Theorem 2): asymptotic-preserving in σmin , though not uniform in w. • A scoped empirical program. On learned CIFAR-10 EDM [8] checkpoints, fitted CFG is a zero-extra-NFE high-guidance stabilizer: the residual and clipping certificates improve in both w ∈ {6.5, 8} cells; the hard-cell image evaluations (two 5k blocks, a 50k replication) give it the best FID with target accuracy preserved, and a DINOv2 backbone-swap keeps the same fitted-favoring ordering; a nine-cell grid gives 9/9 FID wins over CFG. We report the limits alongside—the CFG-favoring KID split and threshold-derived interval baselines that win FID/KID at lower conditionality (Section 4). Section 6 collects the claim boundaries.
2
T HE GUIDED FLOW AND ITS TERMINAL LAYERS
The unguided flow. We work throughout in the variance-exploding family: pσ = pdata ∗ N (0, σ 2 I) for σ ∈ [σmin , σmax ], with denoiser D(x, σ) = E[x0 | xσ = x] and normalized residual η = (x−D)/σ—the noise prediction ε̂ of practice (−σ∇x log pσ ); not DDIM’s stochasticity parameter, which is 0 throughout. The probability flow ODE is dX/dσ = η(X, σ), and the decomposition x = D + ση splits the state into a slow manifold component and a stiff normal component— normal to the data manifold, contracting fastest—whose exponent is 1: on a normal coordinate the exact flow contracts by (σn+1 /σn )1 per step. A fitted-operator analysis of the unguided terminal layer [12] shows that a frozen-field Euler step is layer-exact if and only if its clock is affine in σ, making the σ-clock step—algebraically the deterministic DDIM update [11]—the unique fitted operator up to affine reparameterization, with rectified flow its flow-matching counterpart; this fitted-operator property is what makes it asymptotic-preserving as σmin → 0. The present paper asks what survives of that protection under guidance. Guidance as a second velocity field. Dc (x, σ) by the extrapolation
Classifier-free guidance [7] replaces the conditional denoiser
Dw = (1 + w) Dc − w Du ,
w ≥ 0,
(1)
where Du is the unconditional (marginal) denoiser and g = 1 + w is the guidance scale of practice, so w = 6.5 is CFG scale g = 7.5. Writing ηc = (x − Dc )/σ and ηu = (x − Du )/σ, the sampled dynamics is the guided flow dX Du − Dc = ηw = (1 + w) ηc − w ηu = ηc + w γ, γ := ηc − ηu = , (2) dσ σ with γ the normalized guidance direction. Equation (2) is the dynamical statement of guidance: the sampler follows the conditional velocity plus w times the discriminative correction. Two facts follow. First, Dw is in general not a VE posterior mean with a positive-semidefinite Tweedie covariance, so ηw is not the residual of such a denoiser; the rigidity theorem that singles out DDIM as layer-exact inside the unguided denoiser class [12] no longer applies directly. The exit is quantitative, not merely definitional: for any true denoiser, JD = ∇x D = Cov(X0 | x)/σ 2 ⪰ 0 [4] caps the exponent of the residual field at 1 (on the model, the residual exponent is A ≤ 1 in (3)), while on discriminative directions the guided exponent exceeds 1 at every σ (Proposition 1)—no repackaging of any denoiser, affine or otherwise, reproduces the guided field. Second, the guided flow carries a second parameter: any AP statement must state its w-dependence, and the fitted step below removes the σmin -divergent terminal barrier for bounded w, though not uniformly in w. The model problem. Our analysis is carried out on the guided analog of the unguided model problem [12]. Hypothesis 1 (commuting class–marginal pair). pc = N (0, Cc ) and pu = N (0, Cu ) with [Cc , Cu ] = 0, and on the shared eigenbasis the spectra satisfy ai ≤ bi . The ordering ai ≤ bi is the class-subset hypothesis: the class is narrower than the marginal in every probed direction (as when the marginal is a mixture whose components share the class covariance). 3
Real learned checkpoints need not obey it; the reverse case is a genuine model boundary, discussed in Remark 4. On an eigen-coordinate ξ with class variance a and marginal variance b, the two denoisers are linear and the residuals are ξ σ2 ξ σ2 ηc = A , , B := , 0 ≤ B ≤ A ≤ 1. (3) ηu = B , A := σ σ a + σ2 b + σ2 The guided flow (2) therefore closes coordinate-wise, d log ξ = µw (σ) := (1 + w)A − wB = A + w (A − B), (4) d log σ and every question about clocks, stability, and fitted operators reduces to the behavior of the exponent function µw . Proposition 1 (layer classification under guidance). Under Hypothesis 1, as σ → 0 the exponent function (4) satisfies: (i) on shared normal directions (a = b = 0), µw ≡ 1: the guidance weight cancels and the layer is the unguided exponent-1 layer; (ii) on tangential directions (0 < a ≤ b), µw → 0: the coordinate freezes; (iii) on discriminative normal directions (a = 0 < b), b µw (σ) = 1 + w −→ 1 + w, (5) b + σ2 monotonically as σ decreases, with crossover midpoint at σ 2 = b. (Proofs for Sections 2 and 3 are deferred to Appendix A.) Proposition 1 is the structural fact of the paper. Guidance does not stiffen the flow uniformly; it restiffens exactly the discriminative subspace—the directions collapsed within the class but present in the marginal (a = 0 < b)—and (5) locates where the re-stiffening √ begins: the anomalous exponent switches on as σ descends through the class-separation scale b. Above that scale the guided flow is, to leading order, the unguided flow; below it, the terminal layer runs at exponent 1 + w, and w enters the singular structure of the problem on the same footing as σmin . Lemma 1 (exact guided factor). Under Hypothesis 1, the exact solution of (2) on an eigencoordinate over one step σn → σn+1 is ξn+1 = Φw ξn with 1+w w2 2 2 a + σn+1 b + σn2 Φw = . (6) 2 a + σn2 b + σn+1 In particular, on a discriminative coordinate (a = 0), writing r = σn+1 /σn , w2 b + σn2 1+w Φw = r , 2 b + σn+1
(7)
which tends to r1+w once σn2 ≪ b. The singular limit now has two knobs. As σmin → 0 the discriminative layer contracts by the anomalous power σ 1+w ; as w grows at fixed σmin the same layer stiffens without bound. We ask two questions: which part of DDIM+CFG’s failure is the pure terminal-layer solver barrier, and can that barrier be removed by a one-coefficient fitted repair? Uniform accuracy through the finite-σ crossover is separate, needing either mesh resolution of the crossover or the spectrum-aware Gaussian factor.
3
T HE GUIDED BARRIER AND THE FITTED OPERATOR
This section establishes one claim: classifier-free guidance introduces a second singular parameter w, and on discriminative terminal directions the σ-clock frozen-field step—DDIM applied to the guided denoiser—is no longer fitted. The program has three parts. First, a barrier: the guided analog of the unguided clock dichotomy [12], with sharp thresholds in the log-step h and weight w (Theorem 1). Second, an operator: a fitted step that removes the pure discriminative terminallayer reflection and σmin -divergent residual blow-up at zero additional cost (Definition 1). Third, accuracy: a first-order certificate on the discriminative crossover (Theorem 2); the whole-model theory remains future work. Throughout, the reference solution is the exact guided flow’s own pushforward: we charge the discretization of (2), not the distortion of the continuous guided law away from the tilted conditional (Section 1). 4
The frozen step. DDIM applied to Dw —equivalently, σ-clock Euler with the guided field frozen at the left endpoint—is xn+1 = xn + (σn+1 − σn ) ηw (xn , σn ), (8) which on an eigen-coordinate of the model contracts by σn+1 GCFG = 1 − (1 − r) (1 + w)A − wB , r= = e−h . (9) σn On the pure discriminative layer (A, B) = (1, 0) this is Gw (h) = 1 − (1 + w) (1 − e−h ) = (1 + w) e−h − w,
(10)
−(1+w)h
to be compared with the exact factor e of Lemma 1. Here h = log(σn /σn+1 ) is the step in λ = − log σ (half the VE log-SNR), so a uniform λ-mesh has constant h. Along a trajectory, call maxn ∥ηw (xn , σn )∥/∥ηw (x0 , σ0 )∥ the residual-amplification certificate, written amp; the sampler already forms every quantity in it, and a scheme is residual-stable if the certificate stays bounded as σmin → 0. Everything in Theorem 1 is a statement about the elementary function (10). Theorem 1 (guided clock barrier). Consider the frozen step (8) on the pure discriminative layer, ηw = (1 + w) ξ/σ with w > 0, on a uniform λ-mesh of step h. Let 1+w h♭ = log 1 + w1 , h♯ = log 1 + w2 , h∞ = log w−1 (w > 1). (11) Then h♭ < h♯ < h∞ , and: (a) Sign. Gw (h) > 0 iff h < h♭ ; equivalently, at fixed h, sign preservation fails once w > 1/(eh − 1). For h > h♭ every step reflects the coordinate across the class manifold. (b) Residual amplification. The per-step residual amplification is |Gw (h)| eh , which is ≤ 1 iff h ≤ h♯ ; equivalently, raw amplification begins once w > 2/(eh − 1). For h > h♯ the amplification factor is weh − (1 + w) > 1 per step. On a terminal subwindow σ ∈ √ 2 [σmin , ε b ], where B ≤ ε2 /(1 √ + ε ) makes the exact per-step factor pure-layer up to 2 O(ε ), of λ-length Λε = log(ε b/σmin ) the guided residual grows by ε√b ρ Λε /h log weh − (1 + w) h , ρ= > 0, (12) we − (1 + w) = σmin h so for fixed ε > 0 and h > h♯ the scheme fails the amplification certificate as σmin → 0. (c) Absolute stability. |Gw (h)| ≤ 1 for all h when w ≤ 1; for w > 1, iff h ≤ h∞ . All three thresholds decay like c/w as w → ∞, with c = 1, 2, 2 respectively. In words: sign preservation fails first (a, above h♭ : every step reflects across the class manifold), the certificate second (b, above h♯ : the residual compounds, diverging as σmin → 0), absolute stability last (c, only for w > 1). Corollary 1 (two-tier √ guidance tax). On a uniform λ-mesh covering the discriminative window (of λ-length Λb = log( b/σmin )), avoiding reflection requires N ≥
Λb ∼ w Λb , log(1 + 1/w)
(13)
while merely keeping the residual nonexpansive requires N ≥ Λb / log(1 + 2/w) ∼ w2 Λb . A uniform global mesh must meet this bound throughout the window, so Λb is replaced by the full horizon Λ = log(σmax /σmin ): at working scale g = 7.5 (Λ = log(80/0.002) ≈ 10.6), reflection-free sampling already demands N ≳ 74 steps—an order of magnitude above unguided-DDIM-accurate budgets [8]. Remark 1 (the reflecting window). In the window h ∈ (h♭ , h♯ ] the scheme is reflecting but nonexpansive: the flip does not grow the residual. The flip is the mechanism of visible artifacts—the iterate lands on the wrong side of the class manifold each step—while the amplification crossing at h♯ is where the certificate, and any uniform accuracy claim, actually fails. Practitioners tune w down at low σ well before the certificate diverges: part (a), not part (b), is the threshold their tuning discovers. 5
Remark 2 (the one-jump limit is oversaturation). The following identity is model-free. A single frozen step (8) from σn to σn+1 = rσn with r → 0 gives xn+1 → xn − σn ηw (xn , σn ) = (1 + w) Dc − w Du = Dw (xn , σn ) :
(14)
one-step DDIM+CFG lands on the extrapolated denoiser, displaced from the class manifold by −w(Du −Dc ). On the model this is the reflection ξ 7→ −w ξ of Theorem 1(a) pushed to its endpoint. We read this as the discrete mechanism of the oversaturation and norm-inflation phenomenology reported for large guidance scales [10]: it is a property of the solver at coarse steps, not of the continuous guided flow—on the calibration model the exact flow contracts to Dc as r1+w while the frozen step overshoots to Dw . The guided fitted step. The repair is dictated by the same logic that produced DDIM in the unguided setting [12]: integrate the stiff layer exactly and freeze what is slow. The gauge ξ˜ = σ −w ξ rectifies the anomalous exponent 1 + w to exponent 1; transporting the σ-clock Euler step through the gauge and back yields, on the whole state, Definition 1 (guided fitted step). With r = σn+1 /σn and all fields evaluated at (xn , σn ), xn+1 = Dc + r xn − Dc + r 1+w − r Du − Dc . (15) equivalently, in residual form, xn+1 = xn + (σn+1 − σn ) ηc + σn r 1+w − r γ.
(16)
The scheme touches exactly one coefficient of classifier-free guidance: vanilla DDIM+CFG is (15) with the coefficient w(r − 1) in place of r1+w − r on the guidance direction Du − Dc . It uses the same two denoiser evaluations per step, so the cost—and the implementation delta—is one line. Proposition 3 verifies the factor coordinate-wise; Lemma 2 pins the coefficient from terminal exactness alone. Proposition 2 (consistency). r1+w − r = w(r − 1) + 21 w(w + 1) h2 + O(h3 ) as h → 0, so (15) is a first-order-consistent discretization of the guided flow (2), agreeing with DDIM+CFG through O(h); and at w = 0 both coefficients vanish identically, collapsing the scheme to DDIM. Proposition 3 (the fitted step is sign-preserving and terminal-exact). Under Hypothesis 1, the step (15) contracts an eigen-coordinate by Gfit = 1 − (1 − r)A + r1+w − r (A − B) = (1 − A) + r B + r 1+w (A − B), (17) a sum of nonnegative terms; hence Gfit > 0 on every coordinate, for every mesh, and every w ≥ 0: the fitted step preserves the sign of every analyzed coordinate. It is exact in the three terminal regimes—Gfit = r on shared normals (A = B = 1), Gfit = r1+w on pure discriminative normals (A = 1, B = 0), and Gfit = 1 on frozen tangential directions (A = B = 0)—and its one-jump limit is xn+1 → Dc , the conditional denoiser (the terminal-limit class projection), in contrast with (14). Lemma 2 (uniqueness of the scalar terminal coefficient). Consider scalar coefficient updates of the form xn+1 = Dc + r(xn − Dc ) + α(r, w)(Du − Dc ), where α depends only on (r, w). The unique such coefficient that is exact on the pure discriminative terminal regime (A, B) = (1, 0) is α(r, w) = r1+w − r. Consequently, terminal exactness, DDIM recovery at w = 0, and exactness on the shared-normal and tangent terminal regimes determine the fitted coefficient without any spectrum information. Proposition 4 (finite crossover tax for the fitted step). On a single discriminative Gaussian coordinate with a = 0 < b, define b , µ(σ) = µw (σ) = 1 + wq(σ). q(σ) = 1 − B(σ) = b + σ2 Let σ0 > σ1 > · · · > σK be any decreasing mesh, rn = σn+1 /σn , qn = q(σn ), and µn = µ(σn ). For the fitted step (15), the guided residual ratio over one step is |ηw (ξn+1 , σn+1 )| µn+1 = (1 − qn ) + rnw qn . (18) |ηw (ξn , σn )| µn 6
residual amplification
NN = = 16 8
108
CFG
105 102
N = 32
1 + w fitted CFG 10 1
10 2
min (terminal
)
10 3
Figure 2: Synthetic crossover at w = 8: residual amplification as σmin → 0. CFG develops the σmin -divergent branch of Theorem 1(b) on coarse meshes (N ∈ {8, 16, 32}), stabilizing only once h < h♯ —the flat gray curve (N =64) coincides with the exact flow. The fitted step (dashed) stays below the 1 + w tax on every mesh. Hence for every prefix k, |ηw (ξk , σk )| µk ≤ ≤ 1 + w. (19) |ηw (ξ0 , σ0 )| µ0 Thus the fitted step removes the σmin -divergent terminal blow-up of Theorem 1 on the discriminative crossover, but it may still pay a finite O(1 + w) crossover tax on a coarse mesh. Bounded amplification in fact upgrades to accuracy: on this crossover the accumulated log-defect (uniform mesh, h ≤ 1) obeys 0 ≤ log ΘK ≤ 1+h 4 w(w + 2) h, so the fitted step is first-order uniformly accurate against the exact guided flow’s own pushforward, with a W2 bound whose constant is independent of b, K, and σmin (the O(w2 ) factor is not uniform in w). We defer the formal statement and proof to Theorem 2 in Appendix A. Extending this crossover accuracy to the tangential layers and learned geometry needs the spectrumaware Gaussian factor (6) and is future work. Remark 3 (the terminal side of the guidance interval). Limited-interval guidance [9] disables guidance outside a tuned band (σlo , σhi ) and leaves open whether the band can be derived rather than tuned. Theorem 1 supplies the terminal side without free parameters: on schedules whose local step hn grows toward low σ (e.g. Karras power meshes; on a uniform λ-mesh hn is constant and there is no distinct crossing), the level at which hn crosses h♭ (w) = log(1 + 1/w) predicts σlo : below it, frozen-field guidance at weight w is unaffordable and the interval or the fitted step must take over. The high-noise cutoff σhi is not explained by the barrier: there ∥Du − Dc ∥ is small against the model’s own error, a signal-level criterion outside this paper’s ledger. Remark 4 (the reverse ordering). If a direction has b = 0 < a, the exponent (4) tends to −w: the continuous guided flow expands as σ → 0, an instability of the guidance target that no solver can repair; the class-subset hypothesis excludes it by assumption (Appendix B). Certificates. The certificate is removal of the σmin -divergent pure-layer mechanism (Proposition 4) plus first-order accuracy on the discriminative crossover (Theorem 2), not global residual nonexpansion through every finite-σ crossover.
4
E MPIRICAL DIAGNOSTICS ON LEARNED CHECKPOINTS
Synthetic crossover. Our primary residual and image-quality comparisons fix their schemes, cells, and metrics before each run; the feature-space, latent-diffusion, and dense-reference results are exploratory diagnostics. The single-coordinate Gaussian diagnostic isolates the theorem’s singular mechanism: on uniform log-σ meshes with a = 0 < b, CFG develops the coarse-mesh branch of Theorem 1 while the fitted coefficient stays below Proposition 4’s finite-tax bound (Figure 2). In the default w–N sweep, worst-case amplification reaches 103 –109 for CFG but stays ≤ 4.66 for the fitted step, below each 1 + w bound—a theorem figure, not a learned-checkpoint quality metric. Real-checkpoint residual diagnostics. We then test the coefficient as a drop-in replacement on NVIDIA EDM CIFAR-10 VP checkpoints [8] (the ‘VP’ label is network preconditioning only; sam7
Table 1: Real-checkpoint residual diagnostics. amp med and amp p95 (median and 95th-percentile residual amplification) are fitted-CFG/CFG ratios (< 1 means the repair shrinks it); clip ∆ is fitted CFG minus CFG for the median fraction of final-denoised pixels outside [-1,1]. w 4.0 4.0 4.0 6.5 6.5 6.5 8.0 8.0 8.0
N amp med ↓
class0 amp p95 ↓
clip ∆ ↓
amp med ↓
class1 amp p95 ↓
clip ∆ ↓
0.993 1.001 1.013 0.695 0.821 0.836 0.309 0.668 0.544
0.867 0.878 0.871 0.149 0.534 0.512 0.128 0.132 0.216
-0.0236 -0.0225 -0.0231 -0.2889 -0.2926 -0.3120 -0.3786 -0.3937 -0.4271
0.997 1.001 1.002 0.666 0.933 0.971 0.203 0.593 0.704
0.985 1.012 1.012 0.132 0.659 0.668 0.116 0.129 0.288
-0.0177 -0.0360 -0.0529 -0.1421 -0.1978 -0.2231 -0.2306 -0.2876 -0.3853
8 16 32 8 16 32 8 16 32
Table 2: Image-quality evaluation at the hard cell w=8, N =8: two 5k seed blocks (A, B) and a 50k replication, for CFG, the fitted repair, and the terminal-interval baseline. FID/KID are feature-space quality metrics; amp p95 and clip p95 are the 95th-percentile residual amplification and final-denoise clipping fraction (per scheme, not a ratio); target acc is classifier target-label accuracy (%). Bold marks the per-block best of the two feature metrics: fitted CFG wins FID everywhere, CFG wins KID everywhere. scheme
FID ↓
KID ↓
amp p95 ↓
clip p95 ↓
target acc ↑
5k (A)
CFG fitted interval
32.44 25.22 26.46
0.0110 0.0181 0.0224
13.32 1.66 1.63
0.570 0 0
94.96 94.66 89.24
5k (B)
CFG fitted interval
31.98 24.89 26.04
0.0107 0.0173 0.0211
13.20 1.64 1.62
0.572 0 0
94.88 94.34 90.00
50k
CFG fitted interval
27.86 20.88 22.08
0.0108 0.0177 0.0221
13.34 1.65 1.63
0.569 0 0
95.14 94.83 88.95
pling uses the σ-parameterization): Dc is the class-conditional checkpoint, Du the separately trained unconditional one, and both schemes use the same Karras mesh, seeds, labels, and NFE. The grid is w ∈ {4, 6.5, 8} and N ∈ {8, 16, 32}, with two 64-seed blocks (class 0, seeds from 1000; class 1, from 2000). Table 1 reports paired fitted/CFG ratios for the amplification median and tail, and paired clipping differences; lower is better. In both blocks, for every tested N ∈ {8, 16, 32} at w = 6.5 and w = 8, fitted CFG improves the amp median, amp p95, and clipping median. The hardest cell is the clearest: at w = 8, N = 8, the class-0 amp median/p95 falls from 4.57/13.35 under CFG to 1.41/1.71 under fitted CFG, while the clipping median drops from 0.379 to 0; the class-1 replicate matches (amp p95 ratio 0.116, clipping delta −0.23). At w = 4, where the theory predicts a much weaker tax, the median amplification is mixed, but the amp tail and saturation proxy still improve in most cells. We use this as evidence for high-guidance stabilization, not uniform superiority at weak guidance. Image-quality evaluation. We next ran two 5000-image balanced-class evaluations on the hard cell w = 8, N = 8, plus a 50k replication, each including a terminal-interval baseline (vanilla CFG correction off when h > h♭ , after Kynkäänniemi et al. [9]; on this coarse mesh every step crosses h♭ , so it reduces to unguided conditional DDIM). We score with FID and KID (feature-space quality metrics; lower is better). Table 2 collects the results. Fitted CFG has the best FID in all three blocks at zero extra NFE, and the certificates replicate (amp p95 falls from 13+ to ≈1.6, clipping p95 from ≈0.57 to 0). The metrics disagree, however: KID is lowest for CFG in every block. We therefore read this as support for high-guidance stabilization and FID improvement, not an unqualified imagequality win; feature-manifold and sharpness diagnostics are consistent with CFG’s oversaturation contributing to the split (Figure 3), and a DINOv2 backbone-swapped audit gives the same fittedfavoring ordering, so the split is not Inception-specific (Appendices C and D). 8
Figure 3: Uncurated hard-cell samples (w=8, N =8; first ten CIFAR-10 classes, matched seeds). Rows: CFG, fitted CFG, terminal-interval. CFG’s row is visibly more saturated and higher-contrast; the repair and interval are lower-contrast at zero extra NFE. Qualitative only—KID still favors CFG. Finally, the target-accuracy column of Table 2 is a classifier-conditionality diagnostic (classifier at 94.37% on the CIFAR-10 test set): in every block fitted CFG stays within 0.6pp of CFG yet ∼5pp above interval, keeping CFG’s conditional pull without its clipping pathology. Robustness grid. The 50k replication (Table 2) reduces the 5k-sampling-artifact concern for the FID ordering, and the KID split persists at scale. A nine-cell grid (w ∈ {4, 6.5, 8}, N ∈ {8, 16, 32}, 5k images each) shows it is not cell-specific: fitted CFG improves FID in 9/9 cells, clipping p95 in 9/9, and amp p95 in 8/9 (exception w=4, N =32, both near 1). The terminal-interval baseline wins FID at N ∈ {16, 32} and KID at N = 32 but loses conditionality everywhere (3.24–5.72pp). Interval-baseline separation. Is the fitted step just guidance shutdown? We compared it against a tuned conditionality-preserving limited interval (selected per cell) and the parameter-free terminal interval (Appendix E). In the tested cells, the tuned interval preserves target accuracy but does not beat the fitted step on FID; the terminal interval can win FID (e.g. 12.63 vs 17.12 at w=8, N =16) but drops target accuracy by 5–6pp. So the fitted step gives interval-like residual stabilization while keeping the guided update active—it is not explained away by turning guidance off. All-class audit. Extending the residual diagnostic from two classes to all ten CIFAR-10 classes on the high-guidance cells (60 class–cell pairs), clipping/saturation is non-increased in 60/60 pairs and amp p95 improves in 54/60: global saturation robustness and near-global residual-tail improvement (Appendix G). Latent-diffusion smoke. The mechanism is not specific to pixel-space CIFAR. On Stable Diffusion 1.5 DDIM at high guidance, the same coefficient sharply reduces pixel saturation (p95 0.134 → 0.009 at guidance 12, over 256 images) while preserving CLIP image–text alignment (0.320 → 0.314); terminal guidance shutdown reaches lower saturation but collapses CLIP to 0.271 (Appendix F). This is a cross-domain smoke test, not a Stable Diffusion benchmark.
5
R ELATED WORK
The CFG-repair family is crowded, and methods differ mainly in their mathematical object: a manifold projection, a guidance-vector rescaling, an interval schedule, a dynamic weight, or—ours—a terminal fitted-operator coefficient. In brief: CFG++ [3] constrains the update to the data manifold; limited-interval guidance [9] switches guidance off outside a σ band (Remark 3 derives its terminal edge parameter-free); APG [10] down-weights the update’s parallel component; CFG-Zero⋆ [5] optimizes the scale and zero-inits early steps; and C2 FG [6] decays the weight in time. None derives the terminal-fitted coefficient r1+w − r from the guided exponent—where the barrier lives. An orthogonal line analyses what the continuous guided law samples—CFG is a predictor–corrector, not a sampler of its tilted target [1, 2]—the “model” bill complementary to ours.
6
D ISCUSSION AND LIMITATIONS
What is proved. On the commuting class-subset Gaussian model, the barrier (Theorem 1) is sharp; the fitted step is consistent, sign-preserving, terminal-exact, pays only a finite O(1 + w) crossover tax (Prop. 4), and is first-order accurate on the crossover (Theorem 2)—all about the discretization against the guided flow’s own pushforward, AP in σmin but not uniform in w. 9
What is evidence. On learned CIFAR-10 EDM checkpoints, fitted CFG is a drop-in, zero-extraNFE high-guidance stabilizer: the certificates improve residual amplification and clipping across every w ∈ {6.5, 8} cell; the hard-cell evaluations (5k twice, 50k once) give it the best FID with target accuracy preserved, and a DINOv2 backbone-swap the same ordering; the nine-cell grid gives 9/9 FID wins over CFG. It separates from tuned and terminal interval baselines (which either lose target accuracy or fail to beat it on FID), holds across all ten classes (60/60 saturation non-increase, 54/60 amp-tail), and transfers to Stable Diffusion 1.5 DDIM as a saturation-reducing coefficient that keeps CLIP alignment far better than guidance shutdown (Section 4, Appendices E–G). What is neither. We do not claim (i) an unqualified image-quality win—KID stays lowest for CFG at 5k and 50k, a split tied to CFG’s oversaturation without proven causation; (ii) that CIFAR verifies the sharp threshold law—the learned diagnostics are only consistent with the model ordering; or (iii) a 50k KID win or many-cell large-sample result—the 50k run is one hard cell. Nor is the fitted step a uniformly better integrator of the vanilla CFG field on learned checkpoints: against a 512-step CFG reference its residual tails shrink but its final-image L2 does not (Appendix H), an interval can win FID in some cells by weakening guidance, and the Stable Diffusion result is a smoke test, not a benchmark. The class-subset hypothesis is itself a boundary: where the class is wider than the marginal, the continuous guided flow is unstable (exponent −w), which no solver can repair (Remark 4). Scope and outlook. Every certificate uses only sampler-computed quantities from two separate checkpoints, so shared-head correlations cannot inflate them. ‘Asymptotic-preserving’ is used in the calibration-model sense: on learned checkpoints we audit AP-relevant residuals rather than certify AP. Next: shared-dropout CFG, broader latent-diffusion benchmarks, and a whole-model accuracy theory.
R EPRODUCIBILITY S TATEMENT All theoretical results are stated with explicit constants on the model of Hypothesis 1, and complete proofs appear in Appendix A. Every empirical diagnostic in Section 4 is produced by a selfcontained script operating on the public NVIDIA EDM CIFAR-10 VP checkpoints with stated seeds, meshes, sample counts, schemes, and metrics; the synthetic-crossover and checkpoint-certificate scripts additionally ship CPU --self-test modes, and the synthetic crossover figure requires no checkpoints. The supplementary package contains the scripts, the exact commands, the run manifests, and all summary artifacts (CSV/JSON) behind every number reported in the paper, including the 50k and nine-cell grid diagnostics.
R EFERENCES [1] Arwen Bradley and Preetum Nakkiran. Classifier-free guidance is a predictor-corrector. Transactions on Machine Learning Research (TMLR), 2025. arXiv:2408.09000. [2] Muthu Chidambaram, Khashayar Gatmiry, Sitan Chen, Holden Lee, and Jianfeng Lu. What does guidance do? a fine-grained analysis in a simple setting. In Advances in Neural Information Processing Systems (NeurIPS), 2024. arXiv:2409.13074. [3] Hyungjin Chung, Jeongsol Kim, Geon Yeong Park, Hyelin Nam, and Jong Chul Ye. CFG++: Manifold-constrained classifier free guidance for diffusion models. In International Conference on Learning Representations (ICLR), 2025. arXiv:2406.08070. [4] Bradley Efron. Tweedie’s formula and selection bias. Journal of the American Statistical Association, 106(496):1602–1614, 2011. [5] Weichen Fan, Amber Yijia Zheng, Raymond A. Yeh, and Ziwei Liu. CFG-Zero*: Improved classifier-free guidance for flow matching models. arXiv preprint arXiv:2503.18886, 2025. [6] Jiayang Gao, Tianyi Zheng, Jiayang Zou, Fengxiang Yang, Shice Liu, Luyao Fan, Zheyu Zhang, Hao Zhang, Jinwei Chen, Peng-Tao Jiang, Bo Li, and Jia Wang. C2 FG: Control classifier-free guidance via score discrepancy analysis. In Proceedings of the IEEE/CVF 10
Conference on Computer Vision and Pattern Recognition (CVPR), pp. 34398–34407, 2026. arXiv:2603.08155. [7] Jonathan Ho and Tim Salimans. arXiv:2207.12598, 2022.
Classifier-free diffusion guidance.
arXiv preprint
[8] Tero Karras, Miika Aittala, Timo Aila, and Samuli Laine. Elucidating the design space of diffusion-based generative models. In Advances in Neural Information Processing Systems (NeurIPS), 2022. [9] Tuomas Kynkäänniemi, Miika Aittala, Tero Karras, Samuli Laine, Timo Aila, and Jaakko Lehtinen. Applying guidance in a limited interval improves sample and distribution quality in diffusion models. In Advances in Neural Information Processing Systems (NeurIPS), 2024. arXiv:2404.07724. [10] Seyedmorteza Sadat, Otmar Hilliges, and Romann M. Weber. Eliminating oversaturation and artifacts of high guidance scales in diffusion models. In International Conference on Learning Representations (ICLR), 2025. arXiv:2410.02416. [11] Jiaming Song, Chenlin Meng, and Stefano Ermon. Denoising diffusion implicit models. In International Conference on Learning Representations (ICLR), 2021. [12] Shiheng Zhang. Asymptotic-preserving a posteriori analysis of diffusion and flow-matching samplers. arXiv preprint arXiv:2607.04113, 2026.
A
D EFERRED PROOFS
Proof of Proposition 1. For a = 0 one has A ≡ 1, so µw = (1 + w) − wB = 1 + w(1 − B) = 1+wb/(b+σ 2 ); the limits and monotonicity are immediate. Cases (i) and (ii) follow from A, B → 1 and A, B → 0 respectively. R w 2 2 Proof of Lemma 1. Integrate (4): µw d log σ = 1+w 2 log(a + σ ) − 2 log(b + σ ) up to a constant, 2 2 2 since d log(c + σ ) = 2Ac d log σ with Ac = σ /(c + σ ). Exponentiate the increment. Proof of Theorem 1. From (10): Gw > 0 ⇐⇒ e−h > w/(1 + w) ⇐⇒ h < log(1 + 1/w), which is (a). For (b), on the pure layer ηw ∝ ξ/σ, so the residual ratio per step is |ξn+1 /ξn | · σn /σn+1 = |Gw |eh . On the branch Gw ≤ 0 this is (w − (1 + w)e−h )eh = weh − (1 + w), which exceeds 1 iff eh > 1 + 2/w; on the branch Gw ≥ 0 it equals (1 + w) − weh ≤ 1 always. Compounding over Λε /h steps gives (12). For (c), Gw ≤ 1 always, and Gw ≥ −1 ⇐⇒ (1 + w)e−h ≥ w − 1, vacuous for w ≤ 1 and equivalent to h ≤ h∞ otherwise. The ordering h♯ < h∞ follows from 1+w 2 2 w−1 − 1 + w = w(w−1) > 0. Proof of Proposition 2. r1+w − r = e−(1+w)h − e−h and w(r − 1) = w(e−h − 1); both are −wh+O(h2 ), and expanding to second order, r1+w −r−w(r−1) = e−(1+w)h −(1+w)e−h +w = 1 2 3 2 w(w + 1)h + O(h ). Proof of Proposition 3. On an eigen-coordinate, Dc = (1 − A)ξ, x − Dc = Aξ, and Du − Dc = (A − B)ξ; substituting into (15) gives the first expression in (17), and regrouping 1 − A + rA − r(A − B) + r1+w (A − B) gives the second. Nonnegativity of each term is 0 ≤ B ≤ A ≤ 1 and 0 < r < 1. The regime values and the r → 0 limit are read off termwise. Proof of Lemma 2. On shared normals (A, B) = (1, 1) one has Du − Dc = 0, so every scalar coefficient gives the DDIM factor r. On tangent directions (A, B) = (0, 0), both denoisers equal the state and every coefficient gives factor 1. On a pure discriminative normal (A, B) = (1, 0), the factor of the scalar update is r + α(r, w). Exactness requires r + α(r, w) = r1+w , hence the displayed coefficient, uniquely. 11
Proof of Proposition 4. For a = 0, A ≡ 1 and q = 1 − B. The decomposition (17) gives the coordinate factor Gfit = rn Bn + rn1+w (1 − Bn ) = rn (1 − qn ) + rnw qn . Since ηw = µ(σ)ξ/σ, the residual ratio is (µn+1 /µn )(Gfit /rn ), which is (18). The bracket is at most 1 because 0 ≤ qn ≤ 1 and 0 < rnw ≤ 1, so products telescope: k−1 Y
k−1 Y µn+1 |ηw (ξn+1 , σn+1 )| µk ≤ = ≤ 1 + w. |η (ξ , σ )| µ µ0 w n n n n=0 n=0
Theorem 2 (first-order guided AP on the discriminative crossover). On a discriminative Gaussian coordinate (a = 0 < b), for w ≥ 0 and a uniform λ-mesh of step 0 < h ≤ 1, the fitted step fit ex (15) and the exact guided flow satisfy ξK = ΘK ξK with 0 ≤ log ΘK ≤ 1+h 4 w(w + 2) h, hence fit ex w(w+2)h/2 W2 Law(ξK ), Law(ξK ) ≤ e − 1 (E|ξ0 |2 )1/2 . The multiplier bound and its prefactor are independent of b, K, and σmin (the W2 scale carries the initial second moment (E|ξ0 |2 )1/2 ): on this crossover the fitted step is first-order uniformly accurate against the exact flow’s own pushforward, though the O(w2 ) prefactor is not uniform in w. w/2 Proof. On a = 0 the exact one-step factor (Lemma 1) is Φn = r1+w (1+un )/(1+r2 un ) , with un = σn2 /b, r = e−h ; the fitted factor (Proposition 3, A = 1) is Gn = e−h (un + e−wh )/(1 + un ). Writing yn = log un , δ(h, y) := log(Gn /Φn ) = wh + log(ey + e−wh ) − 1 + w2 log(1 + ey ) + w y−2h ). Then δ(0, y) = ∂h δ(0, y) = 0 (first-order consistency, Proposition 2), and with 2 log(1 + e y F (y) = e /(1 + ey )2 one has ∂h2 δ = w2 F (y + wh) + 2wF (y − 2h) ≥ 0; hence δ ≥ 0, so Rh Q n) ΘK = n eδ(h,y ≥ 1, and Taylor’s formula gives δ(h, yn ) = 0 (h − s) w2 F (yn + ws) + R 2wF (yn − 2s) ds. On the uniform mesh yn+1 = yn − 2h; since F = 1 and TV(F ) = 12 , the Rh P 2 rectangle bound gives 2h n F (yn +c) ≤ 1+h for every shift c, so log ΘK ≤ 0 (h−s) 1+h 2h (w + ex 2w) ds = 1+h 4 w(w + 2)h. Synchronous coupling with |ξK | ≤ |ξ0 | (the exact discriminative factor contracts) gives the W2 bound.
B
T HE REVERSE ORDERING
This appendix expands Remark 4. If a reversed singular direction has b = 0 < a—the marginal collapsed where the class has not— then the exponent (4) tends to −w, negative for every w > 0: the guided flow itself expands the coordinate as σ → 0, so no discretization can be uniformly stable because the continuous target is not. More generally, reverse ordering with 0 < b < a can create finite-σ expansion windows, but only the reversed singular case creates this terminal instability. This is a property of the guidance target, not of the solver; the class-subset hypothesis excludes it by assumption, and autoguidancestyle constructions aim to enforce the same directionality.
C
M ETRIC - SPLIT DIAGNOSTICS
To interpret the FID/KID split at the hard cell, we computed post-hoc feature-manifold and sharpness diagnostics on the same images. Fitted CFG improves Inception precision/recall over CFG in both 5k blocks (e.g. 0.799/0.474 versus 0.704/0.360); interval has higher recall but lower precision. The pixel-saturation median is 0.16 for CFG and 0 for fitted CFG and interval, and the median Laplacian energy drops by an order of magnitude—consistent with the fitted step removing oversaturated high-frequency artifacts (we use the Laplacian only as an oversaturation proxy, not as evidence of sharpness). The DINOv2 audit below is a backbone-swapped control on the same split. 12
Table 3: Tuned vs. terminal limited-interval baselines (5k images per cell). “tuned int.” is the conditionality-selected interval; “terminal int.” is the parameter-free terminal cutoff of Section 4. amp p95 is the 95th-percentile residual amplification, clip p95 the final-denoise clipping fraction, target acc the classifier-proxy target-label accuracy (%).
D
cell
scheme
FID ↓
KID ↓
amp p95 ↓
clip p95 ↓
target acc ↑
w=8, N =8
CFG fitted tuned int. terminal int.
32.21 25.70 34.25 26.68
0.0105 0.0180 0.0205 0.0225
13.31 1.66 1.71 1.63
0.575 0 0.018 0
95.5 94.9 95.3 89.1
w=8, N =16
CFG fitted tuned int. terminal int.
30.83 17.12 30.18 12.63
0.0117 0.0070 0.0120 0.0072
7.30 1.66 1.75 1.66
0.664 0.006 0.257 0.000
93.8 99.3 98.8 94.8
w=6.5, N =8
CFG fitted tuned int. terminal int.
25.36 25.36 32.60 26.57
0.0057 0.0175 0.0208 0.0216
8.08 1.40 1.43 1.38
0.394 0 0.002 0
98.4 94.8 94.7 89.8
DINOV 2 FEATURE AUDIT
To test whether the FID/KID split is Inception-specific, we recompute feature-space distances with a DINOv2 backbone (dinov2 vits14, CLS-token features; images bilinearly resized to 224) against 50k CIFAR-10 training images. We report the Fréchet distance FD-DINOv2 and an unbiased RBF-kernel MMD (median-heuristic bandwidth, 100 subsets of size 1000). On the two 5k hard-cell blocks, FD-DINOv2 for CFG/fitted/interval is 469.73/230.00/257.88 and 469.10/227.86/254.25, and the DINO-MMD is 0.0258/0.0126/0.0168 and 0.0257/0.0125/0.0164; both favor fitted CFG in both blocks. FD-DINOv2 is the clean backbone-only control; the MMD changes both backbone and kernel relative to Inception KID, so it is corroborating, not a direct KID analogue.
E
T UNED LIMITED - INTERVAL BASELINES
The Section 4 interval baseline is the parameter-free terminal cutoff, which on the hard mesh reduces to unguided conditional DDIM. To test whether a tuned interval that preserves conditionality can match the fitted step, we selected per cell the conditionality-viable guidance interval [σlo , σhi ] from a nine-candidate grid (the one whose target accuracy stays closest to CFG), then scored it on a fresh 5k block. Table 3 reports CFG, the fitted step, the tuned interval, and the terminal interval. In the tested cells, a conditionality-preserving tuned interval does not beat the fitted step on FID; the terminal interval can win FID in a cell (w=8, N =16: 12.63 vs 17.12) but pays a clear targetaccuracy cost. The fitted step gives interval-like residual stabilization while keeping the guided update active. (Target accuracy is a classifier proxy; the high fitted value at N =16 should not be read as fuller conditional fidelity, as it may partly reflect reduced diversity.)
F
L ATENT- DIFFUSION TRANSFER SMOKE (S TABLE D IFFUSION 1.5)
As a cross-domain check that the coefficient is not specific to pixel-space CIFAR EDM, we ran a small Stable Diffusion 1.5 DDIM smoke test at high guidance, swapping only the terminal guidance coefficient. We report pixel saturation (95th percentile of the clipped-pixel fraction) and CLIP image–text alignment; the interval baseline is terminal guidance shutdown. Table 4 shows the fitted step sharply reduces saturation while preserving CLIP alignment far better than shutdown—the same saturation-repair pattern as on CIFAR. This is a smoke/deepen test, not a Stable Diffusion benchmark. Setup. We use runwayml/stable-diffusion-v1-5 at 512 × 512 with deterministic DDIM (η = 0, ϵ-prediction) and float16, over a fixed list of everyday-scene captions (repeated to 256 and 128 prompts) with no negative prompt and seeds matched across schemes. The fitted step 13
swaps only the terminal guidance coefficient; the interval baseline disables the guidance correction on the terminal steps below the same h♭ -derived cutoff. Saturation p95 is the 95th percentile over images of the fraction of final RGB pixels at the valid-range extremes; CLIP alignment uses openai/clip-vit-base-patch32. Table 4: Stable Diffusion 1.5 DDIM smoke test. Saturation p95 (lower is less oversaturated); CLIP mean (higher is better text alignment). “interval” is terminal guidance shutdown.
G
setting
scheme
saturation p95 ↓
CLIP mean ↑
g=12, N =12 (256 img)
CFG fitted interval
0.134 0.009 0.001
0.320 0.314 0.271
g=7.5, N =20 (128 img)
CFG fitted interval
0.098 0.028 0.005
0.321 0.319 0.278
A LL - CLASS RESIDUAL AUDIT
The real-checkpoint residual diagnostic (Table 1) uses class 0 and class 1 blocks. To rule out class cherry-picking, we extended it to all ten CIFAR-10 classes on the high-guidance cells (w ∈ {6.5, 8}, N ∈ {8, 16, 32}; 60 class–cell pairs, all fixed before the run). Clipping/saturation is non-increased in 60/60 pairs, and amp p95 improves in 54/60; the other six are modestly worse on the amp tail (ratios 1.02–1.25, largest class 4 at w=6.5, N =8), with clipping still non-increased there. We describe this as global saturation robustness and near-global residual-tail improvement, and leave the raw counts for the reader to weigh.
H
D ENSE GUIDED - FLOW REFERENCE
Theorem 2 is an accuracy statement against the exact guided flow’s own pushforward on the calibration model. On learned checkpoints this does not extend to final-image accuracy: measured against a 512-step vanilla-CFG reference trajectory, the fitted step is not uniformly closer in final denoisedimage L2 (Table 5, ratios > 1), even though its residual and amp tails are far smaller (ratios ≪ 1). So the learned-checkpoint evidence supports terminal residual/saturation repair, not a claim that the fitted step is a uniformly better coarse integrator of the vanilla CFG field. Table 5: Dense-reference diagnostic: fitted-CFG/CFG ratios against a 512-step vanilla-CFG reference (512 samples per cell). Final-image rel-L2 ratios exceed 1 (not closer to the dense CFG endpoint); residual rel-L2 and amp p95 ratios are far below 1. cell w=8, N =8 w=8, N =16
image rel-L2 med
image rel-L2 p95
residual rel-L2 p95
amp p95
1.143 1.332
1.109 1.170
0.329 0.884
0.124 0.233
14