Pith. sign in

REVIEW 1 major objections 5 minor 39 references

Uniform estimates: from Yau to Kolodziej

T0 review · 1 major / 5 minor · reviewed 2026-08-09 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read This paper proves that a single $L^p$ oscillation bound for the complex Monge-Ampere equation implies the sharp Orlicz-space bound, and the same reduction controls many nonlinear geometric PDEs.

desk verdict A genuinely new reduction of Kolodziej's estimate to Yau's L^p theorem, plus a useful extension to fully nonlinear equations, but Theorem B as written rests on a false Hölder-Young inequality that is repairable. read the letter →

arxiv 2502.02313 v2 pith:FB7TXEW2 submitted 2025-02-04 math.DG math.APmath.CV

Vincent Guedj , Chinh H. Lu This is my paper · ORCID
classification math.DGmath.APmath.CV MSC 32W2032U0532Q1535A23
keywords complexMonge-AmpereequationsaprioriestimatesOrliczspacesLuxembourgnormplurisubharmonicenvelopesdeterminantalmajorizationfullynonlinearellipticKählermanifolds
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper proves that a uniform oscillation bound for smooth solutions of the complex Monge-Ampere equation, of the type known for densities in $L^p$ with $p>n$, automatically holds when the $L^p$ norm is replaced by the Luxembourg norm of any Orlicz weight satisfying Condition (K) — the (quasi-)optimal integrability condition. The proof is a reduction: it shows the Orlicz estimate follows from the $L^p$ estimate by building an auxiliary solution with density $e^{-\gamma\varphi}f$ and applying a comparison lemma. The same reduction is then applied to nonlinear elliptic equations whose operator $g$ is symmetric, elliptic, and satisfies the determinantal majorization $g(\lambda)\ge\delta(\prod_j\lambda_j)^{1/n}$; any smooth solution of such an equation has oscillation bounded by a constant depending only on the Luxembourg norm of the right-hand side. A sympathetic reader cares because the $C^0$ estimate is the main obstacle in degenerate Monge-Ampere and complex Hessian equations, and this route gives uniform bounds that are independent of the complex structure.

What carries the argument

The load-bearing object is the $\omega$-plurisubharmonic envelope $P_\omega(h)=\sup\{u\in PSH(X,\omega): u\le h\}^*$, which for smooth $h$ is $C^{1,1}$ and has Monge-Ampere measure concentrated on the contact set $\{P_\omega(h)=h\}$, with $MA(P_\omega(h))=\mathbf{1}_{\{P_\omega=h\}}MA(h)$. This concentration property is what allows the equation on $\varphi$ to be passed to the envelope. The proof of Theorem A rests on an auxiliary function $\rho$ solving a Monge-Ampere equation with density proportional to $e^{-\gamma\varphi}f$ (which lies in $L^{\tilde p}$ for some $\tilde p>n$), and on a comparison lemma (Lemma 2.2) asserting that a pointwise domination $MA(\varphi)\le a MA(v)+b f\,dV$ with $v$ uniformly bounded forces $\varphi$ to be uniformly bounded. The sup of the envelope is controlled through the Legendre transform of the weight and the compactness of normalized $\omega$-subharmonic functions.

What would settle it

Find a smooth solution $\varphi$ of an equation of type $(NL)$ with $g$ satisfying the determinantal majorization and a weight $w$ satisfying Condition (K) for which $\|f\|_w$ is bounded but $\mathrm{Osc}_X(\varphi)$ is unbounded; a more local test is to verify in a radial example that $(\omega+dd^c P_\omega(\varphi))^n = \mathbf{1}_{\{P_\omega=\varphi\}}(\omega+dd^c\varphi)^n$, since a failure there would invalidate the proof of Theorem B.

Watch

Extended reading notes

Core claim

The central claim of the paper is two-fold. First (Theorem A), if every smooth solution of the normalized complex Monge-Ampere equation $(\omega+dd^c\varphi)^n = f\,dV$ satisfies $\mathrm{Osc}_X(\varphi)\le C(\|f\|_p)$ for some $p>n$, then the same bound holds with the Luxembourg norm $\|f\|_w$ for every convex increasing weight $w$ satisfying Condition (K); this recovers the sharp Orlicz criterion from the classical $L^p$ method. Second (Theorem B), any smooth solution $\varphi\in\Gamma(X,\omega)$ of the fully nonlinear equation $g(\lambda(\varphi))=c f^{1/n}$, where $g$ is symmetric, elliptic, and $g(\lambda)\ge\delta(\prod_j\lambda_j)^{1/n}$, satisfies $\mathrm{Osc}_X(\varphi)\le M_0$ with $M_0$ depending only on an upper bound of $\|f\|_w$. The proof of Theorem B works by forming the $\omega$-psh envelope $\psi=P_\omega(\varphi)$; the determinantal majorization turns the equation into a Monge-Ampere inequality $\delta^n MA(\psi)\le c^n f\,\omega^n$ on the contact set, after which Theorem A applies.

Load-bearing premise

The proof of Theorem B transfers the equation to the $\omega$-psh envelope $\psi=P_\omega(\varphi)$ and needs $\psi$ to be $C^{1,1}$ with its Monge-Ampere measure concentrated on the contact set; if this regularity or concentration fails, the comparison inequality $\delta^n MA(\psi)\le c^n f\,\omega^n$ does not follow.

Editorial extensions

If this is right

  • The classical $L^p$ method already contains the sharp Orlicz criterion: no separate pluripotential machinery is needed to obtain Condition (K).
  • Any equation satisfying the determinantal majorization inherits a uniform $C^0$ bound, so the result covers complex Hessian equations and other geometric PDEs comparable to Monge-Ampere.
  • The estimates are independent of the complex structure, both in the Kähler and the hermitian setting.
  • The alternative proof via an auxiliary Monge-Ampere equation yields a fully smooth route, extending the bound to the Dirichlet problem in strongly pseudoconvex domains.
  • The constants depend explicitly on an upper bound for $\|f\|_w$ and on geometric constants, making the dependence easy to track.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The reduction suggests a meta-principle: any uniform estimate that is stable under the comparison lemma can be pushed from $L^p$ to Orlicz weights, so similar transfers should hold for other complex Hessian operators or degenerate cohomology classes.
  • If Condition (K) is indeed optimal, as Question 2.5 asks, then Theorem A cannot be improved; the radial examples in Section 2.2 give a concrete place to test the gap.
  • The envelope-based transfer may be useful beyond the compact setting, for instance in the Dirichlet problem where envelope regularity is subtler, as the authors note in Remark 3.6.
  • The independence from the complex structure suggests the estimates could control families of solutions, such as Kähler-Einstein metrics under degenerations, without tracking the underlying metric.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 5 minor

Summary. The paper gives a short reduction argument for uniform a priori estimates in complex Monge-Ampere theory. Theorem A states that if a uniform oscillation bound is known for smooth solutions when the right-hand side has L^p norm controlled for some p>n (Yau's setting), then the same type of bound holds when the L^p norm is replaced by the Luxembourg norm ||f||_w for any weight satisfying Kolodziej's Condition (K). The proof constructs an auxiliary Monge-Ampere solution with density e^{-\gamma\phi}f, applies Yau's estimate to it, and uses a comparison lemma to transfer the bound to the original solution. Theorem B extends this to nonlinear equations g(\lambda(\phi))=c f^{1/n} under symmetry, ellipticity, and determinantal majorization, proving a uniform oscillation bound depending on ||f||_w. The proof uses the \omega-psh envelope \psi=P_\omega(\phi), whose Monge-Ampere measure is concentrated on the contact set, and reduces the nonlinear equation to a Monge-Ampere inequality; an alternative smooth proof via an auxiliary Monge-Ampere equation and a domination principle is also provided. The paper closes with radial examples and a question on the optimality of Condition (K).

Significance. If the proof is completed as written, the paper offers a genuinely efficient route from Yau's classical L^p estimate to Kolodziej's optimal Orlicz-space criterion, and it extends the Guo-Phong-Tong type a priori estimates to Orlicz-normalized right-hand sides for equations satisfying a determinantal majorization. The envelope argument is conceptually clean and the geometric dependence of the constants is tracked more explicitly than in some earlier approaches. The paper also honestly attributes Theorem A to Kolodziej and clearly identifies the new proof as the contribution. However, the proof of Theorem B currently contains a false Hölder-Young type inequality that is load-bearing in both the envelope proof and the alternative smooth proof; the claim is likely repairable with a small modification, but the manuscript as submitted does not establish the advertised estimate.

major comments (1)
  1. [§3.2] The displayed chain in §3.2, namely h(-sup ψ) ≤ ∫ h(-ψ) MA(ψ) ≤ (c^n/δ^n)∫ h(-φ) f ω^n ≤ (c^n/δ^n) ||f||_w ∫(-φ)ω^n, and the analogous assertion at the start of §3.3, use the inequality ∫ h(-φ) f ω^n ≤ ||f||_w ∫(-φ)ω^n as a consequence of Hölder-Young. This inequality is false for weights satisfying Condition (K). For example, take w(t)=t^2/2, which satisfies Condition (K); then w*(s)=s^2/2 and h(s)=√(2s). With f≡1 and φ=-εχ for a normalized smooth ω-psh function χ≤0 with ∫(-χ)=1 and ε>0 small, the left side behaves like C√ε while the right side equals ε, so the asserted inequality fails. The correct Young inequality gives ∫ f h(-φ) ≤ ||f||_w (w(1)+∫(-φ)), and the extra term is uniformly bounded on the normalized class by L^1 compactness of Γ_0(X,ω). Thus the theorem is repairable, but as written the uniform bound on B is not proved in either proof, and B is used in §3.2 to control h(-sup ψ) and in §3.3 to choose M and to bound the normalization constant b_M.
minor comments (5)
  1. [§2.1] In Step 3 the line MA(φ) ≤ (3/4) MA(χ∘v) + e^B e^{-v} dV_X should read e^{-αv} (or the exponent should be absorbed by redefining α), since the preceding inequality on the set {log f < -αv+B} gives e^{-αv}; the L^p integrability needed for Lemma 2.2 is clearer with this correction.
  2. [§2.1] The definition of b(x) appears to have a sign error: it should be b(x) = -χ((B - e^x)/α) rather than -χ(-(e^x+B)/α). Also the displayed formula for χ'(0) omits the constant c' and uses h(B) where h(log B) seems intended; these are minor notational slips but should be corrected.
  3. [§3.2] The proof invokes Theorem A for the C^{1,1} envelope ψ with only a parenthetical promise that one can reduce to the smooth case by approximation. Since Theorem A is stated and proved for smooth functions, either the approximation argument should be supplied or the text should explicitly state that the alternative proof in §3.3 is the justification for this step.
  4. [§3.2] The notation is inconsistent about whether f is a density with respect to dV_X or a density with respect to ω^n; the proof writes integrals of both f dV_X and f ω^n. Please clarify the normalization (for instance, whether V_ω=1 and dV_X=ω^n are imposed) so that the constants in the final estimate are unambiguous.
  5. [§2.2] There are several typographical issues, including 'asympototic' for 'asymptotic' and the recurring 'Ko/suppress lodziej' rendering of Kolodziej's name; these should be cleaned up in revision.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: Theorem A is an explicit reduction to Yau's independent Lp estimate, and Theorem B relies on external envelope regularity and in-text comparison principles; self-citations are not load-bearing.

full rationale

The derivation chain is self-contained against external benchmarks. Theorem A's proof (Section 2) first proves Yau's Lp oscillation estimate in-text (Theorem 2.1, via Moser iteration) and then reduces Kolodziej's Condition-(K) bound to it by constructing auxiliary functions v and chi(v) using Skoda-Zeriahi uniform integrability and the integrability of 1/h; the target Orlicz conclusion is not among the assumptions. Lemma 2.2 is proved in-text even though it is credited to [DDL21]. Theorem B's proof (Section 3.2) uses the envelope regularity theorem of Berman/Tosatti/Chu-Zhou (Theorem 1.4) to transfer the determinantal majorization to a Monge-Ampere inequality, then invokes Theorem A; the alternative proof in Section 3.3 constructs a smooth psi via Yau's existence theorem and uses the in-text domination principle. Self-citations [GL23, GL25, GL25b] supply methods, not unproved load-bearing results. Two non-circular proof gaps should be flagged explicitly: (i) the application of Theorem A to C^{1,1} envelopes is acknowledged in Section 3.3 and only repaired by the alternative smooth construction; (ii) the Holder-Young chain in Sections 3.2 and 3.3, reading 'integral h(-phi) f <= ||f||_w integral (-phi)', is not valid for all Condition-K weights (e.g., w(t)=t^2), so the uniform bound on B is unjustified as written. These are correctness/repair issues, not reductions of the conclusion to the paper's own inputs, and they do not raise the circularity score.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No free parameters are fitted. The paper relies on standard external theorems and on regularity results for envelopes; no new entities are postulated.

assumptions (4)
  • domain assumption Yau's L^p a priori estimate (Theorem 2.1) for complex Monge-Ampere equations with p > n.
    Used as the baseline estimate in the reduction of Theorem A. Cited from Yau [Yau78] and Blocki [Blo12].
  • domain assumption Skoda-Zeriahi uniform integrability (Theorem 1.2) for ω-psh functions.
    Provides exponential integrability used to construct the auxiliary density and to ensure e^{-α v} belongs to L^p. Cited from Guedj-Zeriahi [GZ17].
  • domain assumption Regularity and contact-set concentration for ω-psh envelopes (Theorem 1.4).
    C^{1,1} regularity of P_ω(h) and equality (ω+dd^c P_ω(h))^n = 1_{P=h} (ω+dd^c h)^n, used to compare the nonlinear equation to a Monge-Ampere one in the first proof of Theorem B. Cited from Berman [Ber19], Tosatti [Tos18], Chu-Zhou [CZ19].
  • standard math Compactness of normalized ω-psh and ω-subharmonic sets in L^1.
    Used to bound initial L^1 norms and conclude uniform boundedness from oscillation estimates.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Uniform estimates: from Yau to Kolodziej." pith.science (2026). https://pith.science/paper/FB7TXEW2

@misc{pith2026250202313,
  author       = {Pith},
  title        = {Pith review of: Uniform estimates: from Yau to Kolodziej},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FB7TXEW2}},
  note         = {Machine review of arXiv:2502.02313}
}
read the original abstract

In this note we provide a new and efficient approach to uniform estimates for solutions to complex Monge-Ampere equations, as well as for solutions to geometric PDE's that satisfy a determinantal majorization.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

39 extracted references · 36 canonical work pages

  1. [1]

    Potential Anal

    S.Abja, S.Dinew, G.Olive, Uniform estimates for concave homogeneous complex degenerate elliptic equations comparable to the Monge-Amp\`ere equation. Potential Anal. (2022)

    work page 2022

  2. [2]

    Bedford, B.A

    E. Bedford, B.A. Taylor, The Dirichlet problem for the complex Monge-Amp\`ere operator. Invent. Math., 37 (1976), 1--44

    work page 1976

  3. [3]

    Bedford, B.A

    E. Bedford, B.A. Taylor, A new capacity for plurisubharmonic functions. Acta Math. 149 (1982), no. 1-2, 1--40

    work page 1982

  4. [4]

    R. J. Berman, From M onge- A mp\`ere equations to envelopes and geodesic rays in the zero temperature limit . Math. Z. 291 (2019), no. 1-2, 365--394

    work page 2019

  5. [5]

    Blocki, On the uniform estimate in the Calabi-Yau theorem, II

    Z. Blocki, On the uniform estimate in the Calabi-Yau theorem, II. Sci. China Math. 54 no. 7 (2011), 1375--1377

    work page 2011

  6. [6]

    Blocki, The Calabi-Yau theorem

    Z. Blocki, The Calabi-Yau theorem. Complex Monge-Amp\`ere equations and geodesics in the space of K\"ahler metrics, 201--227, Lecture Notes in Math., 2038, Springer, 2012

    work page 2012

  7. [7]

    Boucksom, P

    S. Boucksom, P. Eyssidieux, V. Guedj, A. Zeriahi, Monge- A mp\`ere equations in big cohomology classes . Acta Math. 205 (2010), no. 2, 199--262

    work page 2010

  8. [8]

    X.X. Chen, J. Cheng, On the constant scalar curvature K\"ahler metrics (I)-A priori estimates. J. Amer. Math. Soc. 34 (2021), no. 4, 909--936

    work page 2021

Show all 39 references
  1. [9]

    Cheng, Y.Xu, Viscosity solution to complex Hessian equations on compact Hermitian manifolds

    J. Cheng, Y.Xu, Viscosity solution to complex Hessian equations on compact Hermitian manifolds. Preprint arXiv:2406.0095

  2. [10]

    J.Chu, B.Zhou, Optimal regularity of plurisubharmonic envelopes on compact Hermitian manifolds. Sci. China Math. 62 (2019), no. 2, 371--380

    2019

  3. [11]

    Demailly, N

    J.P. Demailly, N. Pali, Degenerate complex Monge-Amp\`ere equations over compact K\"ahler manifolds. Internat. J. Math. 21 (2010), no. 3, 357--405

    2010

  4. [12]

    Darvas, E

    T. Darvas, E. Di Nezza, C.H. Lu, Log-concavity of volume and complex Monge-Amp\`ere equations with prescribed singularity. Math. Ann. 379, No. 1-2, 95--132 (2021)

    2021

  5. [13]

    Di Nezza, V

    E. Di Nezza, V. Guedj, H. Guenancia, Families of singular K\"ahler-Einstein metrics. J. Eur. Math. Soc. 25 (2023), no. 7, 2697--2762

    2023

  6. [14]

    Dinew, S.Ko odziej, Pluripotential estimates on compact Hermitian manifolds

    S. Dinew, S.Ko odziej, Pluripotential estimates on compact Hermitian manifolds. Advances in geometric analysis, 69--86, Adv. Lect. Math. (ALM), 21, Int. Press, 2012

    2012

  7. [15]

    Eyssidieux, V

    P. Eyssidieux, V. Guedj, A. Zeriahi, A priori L^ -estimates for degenerate complex Monge-Amp \`e re equations , I.M.R.N., Vol. 2008 , Article ID rnn070, 8 pages

    2008

  8. [16]

    Eyssidieux, V

    P. Eyssidieux, V. Guedj, A. Zeriahi, Singular K \" a hler- E instein metrics . J. Amer. Math. Soc. 22 (2009), no. 3, 607--639

    2009

  9. [17]

    Guedj, C

    V. Guedj, C. H. Lu, Quasi-plurisubharmonic envelopes 1: bounds on Monge-Amp\`ere volumes. Journal of the E.M.S, to appear (2025)

    2025

  10. [18]

    Guedj, C

    V. Guedj, C. H. Lu, Quasi-plurisubharmonic envelopes 3: Solving Monge-Ampère equations on hermitian manifolds. J. Reine Angew. Math. 800 (2023), 259--298

    2023

  11. [19]

    Guedj, C

    V. Guedj, C. H. Lu, Degenerate complex Hessian equations on compact Hermitian manifolds. Pure Appl. Math. Q. 21 (2025), no. 3, 1171--1194

    2025

  12. [20]

    Guedj, A

    V. Guedj, A. Zeriahi, Degenerate complex M onge- A mp\`ere equations . EMS Tracts in Mathematics, vol. 26, European Mathematical Society (EMS), Z\" u rich, 2017

    2017

  13. [21]

    Guedj, T.D.T\^o, K\"ahler families of Green's functions, Preprint arXiv:2405.17232

    V. Guedj, T.D.T\^o, K\"ahler families of Green's functions, Preprint arXiv:2405.17232. To appear in Journal de l'\'Ecole polytechnique - Math\'ematiques

    arXiv

  14. [22]

    Guo, D.H

    B. Guo, D.H. Phong, F. Tong, On L^ -estimates for complex Monge-Amp\`ere equations. Ann. of Math. (2) 198 (2023), no. 1, 393--418

    2023

  15. [23]

    Guo, D.H

    B. Guo, D.H. Phong, On L^ estimates for fully nonlinear partial differential equations . Annals of Mathematics 200 (2024), 365--398

    2024

  16. [24]

    Guo, D.H

    B. Guo, D.H. Phong, J.Sturm, J.Song, Diameter estimates in K\"ahler geometry. Comm. Pure Appl. Math. 77 (2024), no. 8, 3520--3556

    2024

  17. [25]

    Guo, D.H

    B. Guo, D.H. Phong, J.Sturm, J.Song, Sobolev inequalities on K\"ahler spaces, Preprint arXiv:2311.00221

    arXiv

  18. [26]

    Harvey, B

    R. Harvey, B. Lawson, Determinant majorization and the work of Guo-Phong-Tong and Abja-Olive. Calc. Var. (2023) 62:153

    2023

  19. [27]

    Ko odziej, The complex M onge- A mp\`ere equation

    S. Ko odziej, The complex M onge- A mp\`ere equation . Acta Math. 180 (1998), 69--117

    1998

  20. [28]

    Ko odziej, N.C.Nguyen, Weak solutions to the complex Monge-Amp\`ere equation on compact Hermitian manifolds

    S. Ko odziej, N.C.Nguyen, Weak solutions to the complex Monge-Amp\`ere equation on compact Hermitian manifolds. Contemp. Math. 644 (2015), 141--158

    2015

  21. [29]

    Ko odziej, N.C.Nguyen, Stability and regularity of solutions of the Monge-Ampère equation on Hermitian manifolds

    S. Ko odziej, N.C.Nguyen, Stability and regularity of solutions of the Monge-Ampère equation on Hermitian manifolds. Adv. Math. 346 (2019), 264--304

    2019

  22. [30]

    Ko odziej, N.C.Nguyen, Continuous solutions to Monge-Amp\`ere equations on Hermitian manifolds for measures dominated by capacity

    S. Ko odziej, N.C.Nguyen, Continuous solutions to Monge-Amp\`ere equations on Hermitian manifolds for measures dominated by capacity. Calc. Var. Partial Differential Equations 60 (2021), no. 3, Paper No. 93, 18 pp

    2021

  23. [31]

    C.-M.Pan, Families of singular Chern-Ricci flat metrics. J. Geom. Anal. 33 (2023), no. 2, Paper No. 66, 32 pp

    2023

  24. [32]

    Preprint arXiv:2409.05157

    Y.Qiao, Sharp L^ -estimates for fully non-linear elliptic equations on compact complex manifolds. Preprint arXiv:2409.05157

    arXiv

  25. [33]

    Sz\'ekelyhidi, Fully non-linear elliptic equations on compact Hermitian manifolds

    G. Sz\'ekelyhidi, Fully non-linear elliptic equations on compact Hermitian manifolds. J. Differential Geom. 109 (2018), no. 2, 337--378

    2018

  26. [34]

    Sz\'ekelyhidi, Singular K\"ahler-Einstein metrics and RCD spaces, Preprint arXiv:2408.10747

    G. Sz\'ekelyhidi, Singular K\"ahler-Einstein metrics and RCD spaces, Preprint arXiv:2408.10747

    arXiv

  27. [35]

    V.Tosatti, Regularity of envelopes in K\"ahler classes. M.R.L. 25 (2018), no1, 281--289

    2018

  28. [36]

    Weinkove, The complex Monge-Ampère equation on compact Hermitian manifolds

    V.Tosatti, B. Weinkove, The complex Monge-Ampère equation on compact Hermitian manifolds. J. Amer. Math. Soc. 23 (2010), no. 4, 1187--1195

    2010

  29. [37]

    V.Vu, Uniform diameter estimates for K\"ahler metrics, Preprint arXiv:2405.14680

    arXiv

  30. [38]

    Peking Math

    J.Wang, X.-J.Wang, B.Zhou, A priori estimate for the complex Monge-Amp\`ere equation. Peking Math. J. 4 (2021), no. 1, 143--157

    2021

  31. [39]

    S. T. Yau, On the Ricci curvature of a compact K \"a hler manifold and the complex Monge-Amp \`e re equation. I . Comm. Pure Appl. Math. 31 (1978), no. 3, 339--411

    1978

Pith tools

Reviewed August 9, 2026 · model on record in the stance chip above.