Pith. sign in

REVIEW 3 major objections 5 minor 31 references

The Defocusing Energy-critical Klein-Gordon-Hartree Equation

T0 review · 3 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read This paper proves that in dimensions d≥5 every finite-energy solution of the defocusing energy-critical Klein-Gordon-Hartree equation is global and scatters to a free Klein-Gordon wave in both time directions.

desk verdict Plausible and important theorem, but the public proof leans on three imported results, one of which is exactly where the energy-critical adaptation bites. read the letter →

arxiv 1908.06904 v1 pith:3ULFEWEE submitted 2019-08-16 math.AP

Qianyun Miao , Jiqiang Zheng This is my paper · ORCID
classification math.AP MSC 35P2535B4035Q4081U99
keywords Klein-Gordon-Hartreeequationenergy-criticalscatteringtheoryconcentrationcompactnessvirialidentityglobalwell-posednesssoliton-likesolution
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

The paper aims to establish global well-posedness and scattering for the defocusing energy-critical Klein-Gordon-Hartree equation in spatial dimensions $d\ge 5$: every solution with finite energy exists for all time and converges, in $H^1(\mathbb{R}^d)\times L^2(\mathbb{R}^d)$, to a free Klein-Gordon solution as $t\to\pm\infty$. This matters because the nonlinearity $(|x|^{-4}*|u|^2)u$ is nonlocal and lacks the Lorentz invariance usually used to control momentum, so the standard energy-critical scattering machinery needs a new way to rule out a trapped soliton-like solution. The paper reduces the problem to showing that no such critical element exists, then eliminates it with a virial-type identity in the direction orthogonal to the conserved momentum. If correct, the result completes the energy-critical scattering theory for this nonlocal equation.

What carries the argument

The load-bearing object is the localized virial action $A(t)=I(t)+\frac12 J(t)$, built from $I(t)=\int z_2\varphi_R(z)\,\partial_2 u\,u_t\,dx$ with $z=x-c(t)$ and the equirepartition action $J(t)=\int \varphi_R(z)\,u\,u_t\,dx$. Its time derivative, after symmetrization, is essentially the negative of the weighted interaction integral $\iint \frac{|x_2-y_2|^2}{|x-y|^6}|u(t,x)|^2|u(t,y)|^2\,dx\,dy$ plus errors that become small when the trajectory is precompact and $R$ is large. Integrating this identity and applying the fixed-time lower bound of Corollary 4.3 forces $A(t)$ to grow linearly in $t$, while compactness and bounded energy give the uniform bound $|A(t)|\lesssim R\,E(u,\dot u)$; this contradiction extinguishes the critical element. The earlier part of the argument uses the profile decomposition strategy of [10] to extract that critical element and the small-data scattering theory to initialize the induction on energy.

What would settle it

Exhibit, numerically or analytically, a nonzero global solution of (1.1) in $d\ge 5$ whose trajectory is precompact up to translation and for which the quantity $\int_t^{t+1}\iint |x_2-y_2|^2|u(s,x)|^2|u(s,y)|^2/|x-y|^6\,dx\,dy\,ds$ can be made smaller than any prescribed $\beta>0$ on some unit-length interval; such an example would disprove Corollary 4.3 and remove the linear-growth contradiction that forces $E_{\max}=+\infty$.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.3: for $d\ge 5$ and any $(u_0,u_1)\in H^1(\mathbb{R}^d)\times L^2(\mathbb{R}^d)$, the equation $u_{tt}-\Delta u+u+(|x|^{-4}*|u|^2)u=0$ has a unique global strong solution $u$, and there exist free Klein-Gordon solutions $v_\pm$ such that $(u(t),u_t(t))$ converges to $(v_\pm(t),\partial_t v_\pm(t))$ in $H^1\times L^2$ as $t\to\pm\infty$. The proof argues by contradiction on the maximal scattering-energy threshold $E_{\max}$. If $E_{\max}$ were finite, concentration-compactness methods produce a single nonzero critical element $u_c$ of energy $E_{\max}$ whose orbit is precompact up to translations and whose scattering size is infinite. A localized virial action in a direction perpendicular to the conserved momentum then has time derivative bounded below by the positive integral of $|x_2-y_2|^2/|x-y|^6$ times the two-particle density, up to arbitrarily small energy errors; the imported fixed-time lower bound of Corollary 4.3 makes that integral grow linearly in time, contradicting the uniform bound on the virial action. Hence $E_{\max}=+\infty$, which closes the induction and yields global well-posedness and scattering.

Load-bearing premise

The load-bearing imported lemma (Corollary 4.3, whose proof is not included here) says that a nonzero solution whose trajectory, after shifting the moving center to the origin, stays in a compact set must radiate at least a fixed positive amount $\beta$ of the weighted quantity $\iint |x_2-y_2|^2|u|^2|u|^2/|x-y|^6\,dx\,dy$ in every time box of fixed length; if that lower bound fails to carry over from the subcritical case, the extinction argument collapses.

Editorial extensions

If this is right

  • Every finite-energy solution in $d\ge 5$ is global; there is no finite-time blow-up for the defocusing energy-critical Klein-Gordon-Hartree equation.
  • Every finite-energy solution scatters to a free Klein-Gordon wave in both time directions, so the nonlinear dynamics is asymptotically linear.
  • No nonzero, compact-up-to-translation threshold solution can exist at the critical energy; the scattering threshold $E_{\max}$ is infinite.
  • The result covers arbitrary, not only radial, initial data in the energy space.
  • Finiteness of energy alone controls the global scattering size, turning the small-data scattering threshold into a global statement.

Reading between the lines

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

  • The same orthogonal-virial mechanism is likely exportable to other nonlocal, non-Lorentz-invariant critical dispersive equations; the handling of the momentum direction is the part to test in those settings.
  • A direct, self-contained proof of Corollary 4.3 at criticality would remove the only cited gap in the argument; a quantitative version would also yield an explicit divergence rate for the virial action.
  • Because the argument is stated for $d\ge 5$, the borderline case $d=4$ is not covered, and extending the extinction step there would require new endpoint estimates for the kernel $|x|^{-4}$.
  • The virial identity may provide a useful local smoothing or Morawetz estimate for later low-regularity or focusing problems, but that direction is not pursued in the paper.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper proves global well-posedness and scattering for the defocusing energy-critical Klein-Gordon-Hartree equation u_tt - Δu + u + (|x|^{-4} * |u|^2)u = 0 in dimensions d ≥ 5, for initial data in the energy space H^1(R^d) × L^2(R^d). The proof follows the Kenig-Merle concentration-compactness route: it defines a scattering threshold E_max, proves small-data scattering, then assumes E_max < ∞ and extracts a critical element with a precompact trajectory. This critical element is then ruled out by a virial-type identity in a direction orthogonal to the momentum, following the method of Pausader. The main body of the paper consists of the local well-posedness theory (Section 2), the linear and nonlinear profile decomposition (Section 3), the extraction of the critical element (Section 4), and the extinction argument (Section 5).

Significance. If the proof is correct, the result is a significant advance: it establishes scattering for all finite-energy solutions of the defocusing energy-critical Klein-Gordon-Hartree equation in d ≥ 5, removing the radial symmetry assumption in earlier work of Miao-Xu-Zhao on the Hartree equation and treating the massive Klein-Gordon case. The paper's local theory in Section 2, particularly Lemma 2.3, gives a careful treatment of the borderline Hardy-Littlewood-Sobolev estimates for the critical convolution, and the perturbation lemma is stated in a usable form. The profile decomposition in Section 3 is adapted explicitly to the nonlocal nonlinearity, and the virial computation in Section 5 is explicit and the main identity is essentially correct. The central weakness is that the compactness-to-contradiction step rests on Corollary 4.3, whose proof is entirely deferred to the authors' subcritical paper [23], and on Proposition 4.1, which is delegated to '[10] adapted verbatim' plus the authors' previous work [22]. These dependencies make the present manuscript not independently verifiable at its load-bearing points.

major comments (3)
  1. [Section 4, Corollary 4.3] Corollary 4.3 is stated with the proof deferred to [23] ('One can refer to [23] for the detail proof'), but [23] treats the subcritical convolution |x|^{-γ} with 2 < γ < min(d,4). At γ = 4 the nonlinearity is energy-critical: the Hardy-Littlewood-Sobolev and Sobolev exponents in the deferred proof become borderline, and the step deriving a uniform β > 0 from the precompactness of K requires controlling instants where u is close to 0 in H^1 while the energy is carried by u_t. This lower bound (4.9)-(4.10) is the key input in Proposition 5.1: without it, integrating (5.5) gives only -∂_t A ≥ -ηE, so the contradiction with the uniform bound |A(t)| ≲ R E collapses. Please provide a complete proof of Corollary 4.3 for the critical case, or state explicitly which theorem in the literature covers γ = 4 and verify that all its hypotheses are satisfied.
  2. [Section 4, Proposition 4.1] The proof of Proposition 4.1 is delegated to '[10] adapted verbatim' and to the authors' previous papers [22] and [23]. Specifically, the h_n → 0 alternative in the profile decomposition is ruled out by citing [22], and the construction of the C^1 translation c(t) with |c'(t)| ≲ 1 is referred to [23]. Both steps are load-bearing: if the h_n → 0 case were not excluded, the limit profile would solve the wave-Hartree equation rather than the Klein-Gordon equation, and the virial argument in Section 5 would not apply. Please state the precise results from [22] and [23] that cover these steps, and show that the objects constructed here satisfy their hypotheses, in particular the energy-critical condition and d ≥ 5 for [22].
  3. [Section 5, identity (5.4)] The displayed formula for -∂_t A in (5.4) has the error term ∫_{|z|≥R}(O1(u)+O2(u))dx, but from A = I + (1/2)J and the preceding computations one obtains the error ∫_{|z|≥R}(O1(u) + (1/2)O2(u))dx. The missing factor 1/2 is of no consequence for the bound |∫(O1 + (1/2)O2)| ≲ tail energy, but the identity as printed is incorrect and should be corrected.
minor comments (5)
  1. [Title and abstract] The title on the first page reads 'KLEIN-GORDON-HARTREE EQUA TION' with a stray space, and the abstract contains 'defocus ing'; these typos should be fixed.
  2. [Corollary 4.2] The second integral in the definition of E_{R,c} is written as '∫∫_{|x−c|≥R y∈Rd}', which is ambiguous; it should display two separate integration signs, one over x with |x−c| ≥ R and one over y ∈ R^d.
  3. [Section 4, display (4.10)] The notation '∫_t^0' in (4.10) should read '∫_0^t', and the symbol '/greaterorsimilar' should be replaced by the standard '≳'.
  4. [Section 3.2, display after (3.26)] The displayed equation for the case h_∞^j = 0 is confusing: the right-hand side appears to combine the commutator (⟨∇⟩−|∇|)⃗u and the nonlinearity in a way that is not derived in the text. Please clarify the equality and the meaning of the term f(|∇|^{-1}⟨∇⟩u).
  5. [Proposition 5.1, I2 estimate] In the estimate of I2, the sentence 'since otherwise I2 vanish' should read 'since otherwise I2 vanishes'; also, the application of the Hardy-Littlewood-Sobolev inequality in the region |x−c| ∼ |y−c| uses the kernel |x−y|^{-4}, which is admissible for d ≥ 5, but this end-point condition should be stated explicitly for the reader.

Circularity Check

1 steps flagged · score 4.0 of 10

Not equation-level circular, but the extinction proof rests on Corollary 4.3, whose proof is deferred to the authors' prior subcritical paper [23] and whose energy-critical adaptation is not shown.

  1. self citation load bearing [Corollary 4.3, used in Proposition 5.1 (Eq. (4.9)–(4.10), (5.5))]
    "Corollary 4.3. Let u be a nonlinear strong solution of (1.1) such that the set K defined in Proposition 4.1 is precompact in H1 × L2, and E(u,u˙) ≠ 0. Then there exists a constant β = β(τ) > 0 such that, for all time t > 0, there holds that ∫_{t}^{t+τ} ∫∫ |x2−y2|^2/|x−y|^6 |u(s,x)|^2|u(s,y)|^2 dx dy ds ≥ β. ... Proof. One can refer to [23] for the detail proof."

    The lower bound (4.9)–(4.10) is the pivotal quantitative input in Proposition 5.1. Equation (5.5) alone gives only −∂t A ≥ −ηE; the contradiction with |A(t)| ≲ R E comes from integrating (5.5) and using Corollary 4.3 to assert ∫0^T ... ≥ αT. But Corollary 4.3 is not proved in this paper: its only proof is the sentence 'One can refer to [23] for the detail proof,' and [23] is the authors' own prior work on the subcritical range 2 < γ < min(d,4). The energy-critical case γ=4 has borderline Sobolev/Hardy-Littlewood-Sobolev exponents, so the uniform β > 0 lower bound for compact critical elements is exactly the nontrivial fact that would need verification here.

full rationale

The main theorem is not defined in terms of its own conclusion: the Kenig–Merle machinery, the critical element construction, and the virial identity are standard and independent. I found no fitted parameter called a prediction, no equation chosen so that Theorem 1.3 holds by definition, and no renaming of a known result. The profile-decomposition and perturbation steps are adapted from [10] and are not circular. The exclusion of the h→0 wave-Hartree profile by [22] is a prior theorem about a different equation with stated assumptions that do not include the present KG-Hartree scattering claim, so under the independence rule it does not by itself raise the circularity score. The serious issue is Corollary 4.3. Its proof is explicitly deferred to the same authors' [23], and the statement is used as the engine that turns the differential inequality (5.5) into a linearly growing lower bound and hence a contradiction. Because the cited work treats the subcritical convolution and the energy-critical γ=4 adaptation is not supplied or verified in this preprint, the paper's extinction proof leans on a load-bearing self-citation. This is not a full collapse of the claim into its assumptions, but it is enough to rate the derivation chain as substantially self-citation-dependent rather than fully self-contained.

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

No free parameters are fitted. The proof rests on imported analytic machinery: Strichartz estimates, a linear profile decomposition, a no-soliton theorem for wave-Hartree, and a compactness lower bound deferred to the authors' previous paper. The self-citations [22,23] carry a substantial part of the load.

assumptions (5)
  • standard math Strichartz estimates from Lemma 2.2, taken from [5,7,20].
    The local theory, perturbation estimates, and profile arguments all use these linear dispersive estimates as black boxes.
  • domain assumption Linear profile decomposition for free Klein-Gordon solutions, Lemma 3.1, taken from [10].
    This deep decomposition is the foundation of the nonlinear profile analysis and is not reproved in the paper.
  • domain assumption Momentum conservation (1.2) and existence of a C^1 center c(t) with |c'(t)|≲1 for the critical element.
    Proposition 4.1 assumes these properties, referring to [10] and [23]; they justify the momentum-orthogonal virial computation in Section 5.
  • domain assumption No nontrivial H-dot^1-critical soliton solution of the defocusing wave-Hartree equation, from [22].
    Used in Proposition 4.1 to rule out the h_n→0 case and force h_n=1 for the critical element.
  • domain assumption Compactness lower bound of Corollary 4.3, proof deferred to [23].
    The linear growth of the weighted interaction integral (4.10) is the engine of the contradiction in Proposition 5.1; the preprint does not prove it for the critical equation.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Defocusing Energy-critical Klein-Gordon-Hartree Equation." pith.science (2026). https://pith.science/paper/3ULFEWEE

@misc{pith2026190806904,
  author       = {Pith},
  title        = {Pith review of: The Defocusing Energy-critical Klein-Gordon-Hartree Equation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3ULFEWEE}},
  note         = {Machine review of arXiv:1908.06904}
}
abstract

In this paper, we study the scattering theory for the defocusing energy-critical Klein-Gordon equation with a cubic convolution $u_{tt}-\Delta u+u+(|x|^{-4}\ast|u|^2)u=0$ in the spatial dimension $d \geq 5$. We utilize the strategy in [S. Ibrahim, N. Masmoudi and K. Nakanishi, Scattering threshold for the focusing nonlinear Klein-Gordon equation. Analysis and PDE., 4 (2011), 405-460.] derived from concentration compactness ideas to show that the proof of the global well-posedness and scattering is reduced to disprove the existence of the soliton-like solution. Employing technique from [B. Pausader, Scattering for the Beam Equation in Low Dimensions. Indiana Univ. Math. J., 59 (2010), 791-822.], we consider a virial-type identity in the direction orthogonal to the momentum vector so as to exclude such solution.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages

  1. [10]

    Ibrahim, N

    S. Ibrahim, N. Masmoudi and K. Nakanishi, Scattering th reshold for the focusing nonlinear Klein-Gordon equation. Analysis and PDE., 4 (2011), 405-46 0

    work page 2011

  2. [23]

    C. Miao, J. Zheng, Energy Scattering for a Klein-Gordon Equation with a Cubic Convolution. J. Diff. Equt., 257(2014), 2178-2224

    work page 2014

  3. [22]

    C. Miao, J. Zhang and J. Zheng, The Defocusing Energy-cr itical W ave Equation with a Cubic Convolution. Indiana Univ. Math. J., 63(2014), 993-1015. KLEIN-GORDON-HARTREE EQUATION 23

    work page 2014

  4. [1]

    Bahouri, J

    H. Bahouri, J. Chemin and R. Danchin, Fourier analysis an d nonlinear partial differential equations. Springer-Verlag, Berlin Heidelberg, 2011

    work page 2011

  5. [2]

    Bergh and J

    J. Bergh and J. L¨ ofstr¨ om, Interpolation spaces, An introduction. Grundlehren der Mathema- tischen Wissenschaften, Springer-Verlag, Berlin-New Yor k, 1976

    work page 1976

  6. [3]

    M. S. Birman and S. Z. Solomjak, On estimates on singular n umber of integral operators III. Vest. LSU Math. 2 (1975), 9-27

    work page 1975

  7. [4]

    Brenner, On space-time means and everywhere defined sc attering operators for nonlinear Klein-Gordon equations

    P. Brenner, On space-time means and everywhere defined sc attering operators for nonlinear Klein-Gordon equations. Math. Z. 186 (1984), 383-391

    work page 1984

  8. [5]

    Brenner, On scattering and everywhere defined scatter ing operators for nonlinear Klein- Gordon equtaons

    P. Brenner, On scattering and everywhere defined scatter ing operators for nonlinear Klein- Gordon equtaons. J. Diff. Equ., 56 (1985), 310-344

    work page 1985

Show all 31 references
  1. [6]

    Colliander, M

    J. Colliander, M. Keel, G. Staffilani, H. Takaoka, and T. Ta o, Global well-posedness and scattering for the energy-cirtical nonlinear Schr¨ odinger equation in R3. Annals of Math., 167 (2008), 767-865

    2008

  2. [7]

    Ginibre and G

    J. Ginibre and G. Velo, Time decay of finite energy solutio ns of the nonlinear Klein-Gordon and Schr¨ odinger equations. Ann. Inst. H. Poincar´ e Phys. Th´ eor. 43 (1985), 399-442

    1985

  3. [8]

    Ginibre and G

    J. Ginibre and G. Velo, Generalized Strichartz inequali ties for the wave equation. J. Funct. Anal., 133 (1995), 50-68

    1995

  4. [9]

    Ginibre and G

    J. Ginibre and G. Velo, Scattering theory in the energy sp ace for a class of Hartree equations, Nonlinear wave equations (Providence, RI, 1998), 29-60, Co ntemp. Math., 263, Amer. Math. Soc., Providence, RI, 2000

    1998

  5. [11]

    Ibrahim, N

    S. Ibrahim, N. Masmoudi and K. Nakanishi, Threshold sol utions in the case of mass-shift for the critical Klein-Gordon equation. arXiv:1110.1709v 1, To appear in Trans. Amer. Math. Soc

    arXiv

  6. [12]

    Keel and T

    M. Keel and T. Tao, Endpoint Strichartz estimates. Amer . J. Math., 120:5 (1998), 955-980

    1998

  7. [13]

    Kenig and F

    C. Kenig and F. Merle, Global well-posedness, scatteri ng, and blow-up for the energy-critical focusing nonlinear Schr¨ odinger equation in the radial case. Invent. Math., 166 (2006), 645-675

    2006

  8. [14]

    Killip and M

    R. Killip and M. Visan, Nonlinear Schr¨ odinger equatio ns at critical regularity. In Evolution equations, volume 17 of Clay Math. Proc., pages 325-437. Ame r. Math. Soc., Providence, RI, 2013

    2013

  9. [15]

    D. Li, C. Miao and X. Zhang, The focusing energy-critica l Hartree equation. J. Diff. Equt., 246 (2009), 1139-1163

    2009

  10. [16]

    C. Miao, G. Xu and L. Zhao, Global well-posedness and sca ttering for the energy-critical, defousing Hartree equation for radial data. J. Funct. Anal. , 253 (2007), 605-627

    2007

  11. [17]

    C. Miao, G. Xu and L. Zhao, Global well-posedness and sca ttering for the defocusing H 1 2 - subcritical Hartree equation in Rd. Ann. I. H. Poincar - AN., 26(2009), 1831-1852

    2009

  12. [18]

    C. Miao, G. Xu and L. Zhao, Global well-posedness and sca ttering for the mass-critical Hartree equation with radial data. Journal de Math´ematiques Pures et Appliqu´ees, 91 (2009), 49-79

    2009

  13. [19]

    C. Miao, G. Xu and L. Zhao, Global well-posedness and sca ttering for the energy-critical, defocusing Hartree equation in R1+n. Communications in Partial Differential Equations, 36 (2011), 729-776

    2011

  14. [20]

    C. Miao, B. Zhang and D. Fang, Global well-posedness for the Klein-Gordon equations below the energy norm. Journal of Partial Differential Equations, 17 (2004), 97-121

    2004

  15. [21]

    Miao and J

    C. Miao and J. Zhang, On global solution to the Klein-Gor don-Hartree equation below energy space. J. Diff. Equt., 250(2011), 3418-3447

    2011

  16. [24]

    Mochizuki, On small data scattering with cubic convo lution nonlinearity

    K. Mochizuki, On small data scattering with cubic convo lution nonlinearity. J. Math. Soc. Japan, 41 (1989), 143-160

    1989

  17. [25]

    Nakanishi, Scattering theory for nonlinear Klein-G ordon equation with Sobolev critical power

    K. Nakanishi, Scattering theory for nonlinear Klein-G ordon equation with Sobolev critical power. Internat. Math. Res. Notices, 1 (1999), 31-60

    1999

  18. [26]

    Nakanishi, Energy scattering for Hartree equations

    K. Nakanishi, Energy scattering for Hartree equations . Math. Res. Lett., 6 (1999), 107-118

    1999

  19. [27]

    Nakanishi, Remarks on the energy scattering for nonl inear Klein-Gordon and Schr¨ oinger equations

    K. Nakanishi, Remarks on the energy scattering for nonl inear Klein-Gordon and Schr¨ oinger equations. Tohoku Math. J., II. 53:2(2001), 285-303

    2001

  20. [28]

    Pausader, Scattering for the Beam Equation in Low Dim ensions

    B. Pausader, Scattering for the Beam Equation in Low Dim ensions. Indiana Univ. Math. J., 59 (2010), 791-822

    2010

  21. [29]

    Pecher, Low energy scattering for nonlinear Klein-G ordon equations

    H. Pecher, Low energy scattering for nonlinear Klein-G ordon equations. J. Funct. Anal., 63 (1985), 101-122

    1985

  22. [30]

    W. A. Strauss, Nonlinear scattering theory at low energ y. J. Funct. Anal., 41 (1981), 110-133

    1981

  23. [31]

    W. A. Strauss, Nonlinear scattering theory at low energ y sequel. J. Funct. Anal., 43 (1981), 281-293. School of Mathematics and System Sciences, Beihang Universi ty, Beijing, China, 100191 E-mail address : mqy8955@sina.com Laboratoire de Math ´ematiques J.A. Dieudonn ´e, Univ...

    1981

Pith tools

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