Pith. sign in

REVIEW 3 major objections 3 minor 1 cited by

15-nodal quartic surfaces. Part II: The automorphism group

T0 review · 3 major / 3 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 the birational automorphism group of a general 15-nodal quartic surface has an explicit finite presentation, with 264 generators and a complete relation table.

desk verdict A genuinely new, explicit finite presentation for Aut(Y15) built on Borcherds' method; the result is likely correct, but an unproved injectivity claim and the unaudited GAP enumeration need to be documented before I would call it fully verified. read the letter →

arxiv 1908.05390 v3 pith:D32KU32O submitted 2019-08-15 math.AG math.GR

Igor Dolgachev , Ichiro Shimada This is my paper · ORCID
classification math.AGmath.GR MSC 14J2814J5014E07
keywords 15-nodalquarticsurfaceK3birationalautomorphismgroupgeneratorsanddefiningrelationsBorcherdsmethodlattice-polarizeddiscriminantformPoincaré
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 completes the description of the birational automorphism group of a general 15-nodal quartic surface in complex projective 3-space, working with its minimal resolution, a K3 surface. The authors prove that the automorphism group is generated by 264 explicitly named automorphisms: six involutions from congruences of lines, 45 involutions from projections of a degree-6 model, six Reye involutions, 15 node-projection involutions, 120 automorphisms of infinite order indexed by tripod-graph labelings, and 72 pentagon-labeling involutions. They then give defining relations: the involutions square to the identity, the infinite-order generators pair off with their inverses, and a list of 5235 Poincaré relations attached to codimension-2 faces of a fundamental chamber, arranged in 19 symmetry orbits, forces every relation among generators to follow from the listed ones. If correct, this is a complete finite presentation of the automorphism group, the first such presentation for a 15-nodal quartic surface. It matters because these surfaces sit just below the classical 16-nodal Kummer quartic, and a finite presentation makes the group computationally accessible.

What carries the argument

The central machinery is Borcherds' method for K3 automorphism groups: the Picard lattice S15 is embedded primitively into the even unimodular Lorentzian lattice II_{1,25}, whose positive cone is tessellated by Conway chambers, and intersecting this tessellation with the nef-and-big cone of Y15 gives a chamber decomposition whose walls correspond to smooth rational curves and to nontrivial automorphisms. Because the chamber stabilizer is trivial, the group acts simply transitively on induced chambers, so walking around a codimension-2 face produces a relation called a Poincaré relation, and a theorem of Vinberg-Shvartsman says these relations together with the involution and inversion relations generate the kernel of the presentation. The paper then enumerates all codimension-2 inner faces of D15 with the help of GAP, obtaining exactly 5235 faces in 19 S6-orbits, and converts each orbit representative into an explicit relation.

What would settle it

Re-implement the face-enumeration algorithm of Section 3.4 on the companion numerical data and count the codimension-2 inner faces of D15 together with their orbits under O(S15,D15) ≅ S6. If the count is not exactly 5235 or the orbit decomposition is not the 19 orbits F1,...,F19 listed, the relation table in Theorem 5.10 is incomplete; equivalently, any stored Poincaré relation whose product fails to act as the identity on S15 would refute the presentation.

Watch

Extended reading notes

Core claim

The central claim is that Aut(Y15), the automorphism group of the minimal resolution of a general 15-nodal quartic surface, is generated by the six involutions γ5(ν), the 45 involutions γ6({θ1,θ2}), the six Reye involutions γ7(ν), the 15 involutions γ8(δ), the 120 automorphisms γ9(t) of infinite order, and the 72 involutions γ10(p). Theorem 5.10 gives the defining relations: each of the named involutions squares to 1; γ9(t)γ9(t') = 1 for the pairs of distinct tripod indexings t,t' with the same associated set of three double trios; and there are 5235 Poincaré relations R_f coming from simple chamber loops around codimension-2 inner faces, decomposed into 19 orbits F1,...,F19 under the action of O(S15,D15) ≅ S6. Together these relations generate the kernel of the presentation, so the group is finitely presented with an explicit complete relation table. The proof specializes Kondo's computation for the 16-nodal Kummer surface: the Picard lattice S15 embeds into S16, and the fundamental chamber D15 is an outer wall of D16, making the chamber stabilizer trivial and the action on chambers simply transitive.

Load-bearing premise

The result rests on the completeness and correctness of the machine-aided enumeration of the 5235 codimension-2 inner faces and their associated relations; a missed face or an erroneous stored relation would change the presentation, since the paper supplies the numerical output but not the verifying GAP code.

Editorial extensions

If this is right

  • Because Aut(Y15) is finitely presented with explicit generators and relations, questions about the group become algorithmic: one can reduce words, test equality, and compute homomorphisms out of the group.
  • The paper's algorithm in Section 5.6 lets any automorphism be written explicitly as a product of the 264 generators by tracing a chamber path in the nef cone.
  • The relation table has a high symmetry: all 5235 Poincaré relations are organized into 19 orbits under S6, reflecting the six equivalent focal-surface realizations of X15.
  • The same Borcherds-method framework now covers both the 16-nodal Kummer case and the 15-nodal case; the authors state the intention to generalize further to Xn with n ≤ 14 via embeddings Sn ⊂ S15.
  • Classical identities among the involutions, such as γ7(ν) = γ5(μ)γ8({ν,μ})γ5(μ), follow directly from the computed relations and connect Reye, projection, and del Pezzo involutions.

Reading between the lines

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

  • Editorial inference: the finite presentation should make it possible to compute group invariants such as the abelianization, the finite subgroups, and the growth rate; the paper does not compute these.
  • Editorial inference: the generators are indexed by combinatorial objects such as duads, synthemes, double trios, and graph labelings, so the presentation may admit a diagrammatic or Coxeter-type reformulation that would make the 5235 relations more conceptual.
  • Editorial inference: the completeness of the enumeration is the one step not independently verifiable from the printed text; re-running the published algorithms on the companion numerical data would confirm or refute the 5235-face and 19-orbit counts.
  • Editorial inference: the specialization argument from Y16 to Y15 could plausibly be iterated to produce presentations of Aut(Yn) for n ≤ 14, but each step would require a fresh chamber enumeration and a recheck of the trivial-stabilizer condition.
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 / 3 minor

Summary. The paper computes the birational automorphism group of a general 15-nodal quartic surface, i.e. the automorphism group of its minimal resolution Y15. The method follows Borcherds' approach as developed in earlier work of the second author: the Picard lattice S15 is embedded primitively into the Lorentzian lattice II1,25 via the specialization to a Kummer quartic, and a particular induced chamber D15 is identified as a face of Kondo's chamber for Y16. The paper lists the walls of D15 in ten orbits (Table 5.1), identifies the extra automorphisms associated with the five inner wall orbits, and states in Theorem 5.9 that Aut(Y15) is generated by 264 explicitly given automorphisms. Theorem 5.10 then describes defining relations: the involutions square to 1, the two types of infinite-order automorphisms are mutually inverse when indexed appropriately, and a list of Poincaré relations is associated with 5235 inner codimension-2 faces in 19 orbits under O(S15,D15)≅S6. The argument relies on Conditions 1–4 of Section 3, especially Condition 4, which is asserted via an injectivity statement in equation (5.2). The computations are carried out in GAP and numerical data are deposited on the second author's website [23].

Significance. If the assertions are correct, this is a substantial result: it gives the first complete finite presentation of Aut(Y15) for the general 15-nodal quartic, a natural companion to Kondo's and Ohashi's results for the Kummer quartic. The method is a genuine application of Borcherds' algorithm rather than a fit: no quantity is tuned, and the output is a concrete, falsifiable list of generators and relations with geometric meaning. The paper also contains useful byproducts, such as the explicit expressions for the admissible-pentad involutions in Table 5.2. The main limitation is that the central outputs, especially the injectivity in equation (5.2) and the exhaustive list of 5235 faces, are computational or 'immediate' assertions that are not independently verifiable from the printed text; the deposited data [23] helps but is not accompanied by code or a machine-checkable certificate. With those points documented, the paper would be a valuable contribution.

major comments (3)
  1. [Section 5, Eq. (5.2)] The sentence before (5.2), 'The natural homomorphism from O(S15) to the automorphism group of the discriminant form of S15 restricted to O(S15,D15) is injective', is stated without proof. This injectivity is not automatic for hyperbolic lattices, and it is exactly Condition 4 needed for Theorem 3.9. If the restriction of ρ to O(S15,D15) had a nontrivial kernel, that kernel would lie in O(S15,D15)∩O(S15)ω, and by Proposition 3.5 it would correspond to a nontrivial automorphism of Y15 fixing D15, so Condition 4 would fail and the Poincaré-relation theorem would not yield the asserted presentation. Please replace the one-line assertion with a proof or with a precise GAP computation exhibiting the matrix action of the six generators of O(S15,D15) on S15∨/S15 and verifying that only the identity acts trivially.
  2. [Theorem 5.10 and Sections 3.4–3.5] The statements that there are exactly 5235 inner interior faces of D15 of codimension 2 and that they split into 19 orbits, together with the Poincaré relations in Theorem 5.10, are outputs of a GAP computation. The paper describes algorithms and refers to numerical data [23], but it does not supply the actual code, a verification script, or a machine-checkable certificate that the enumeration is complete and that the stored relations are correct. Since Theorem 3.9 makes the validity of the finite presentation depend on this list, a missed face or an incorrect stored relation would change the kernel of ψ and invalidate the presentation. I ask the authors to make the computation reproducible: deposit the GAP code and data as ancillary files or in a stable repository, state the GAP version, and ideally provide a script that checks (a) the total number 5235, (b) the 19 orbits, and (c) that each listed word lies in Ker ψ.
  3. [Theorem 5.10, table of R2] The table in Theorem 5.10 gives a relation only for one representative f of each orbit Fi, while the theorem requires a Poincaré relation for every inner codimension-2 face. The paper should state explicitly how the relation for an arbitrary face in an orbit is obtained from the representative. This point is delicate because O(S15,D15)≅S6 is not contained in Aut(Y15): Condition 4 asserts that the intersection with O(S15)ω is trivial, so the relation for fg is not obtained by conjugating the relation for f by an automorphism of Y15. Instead, both f and the generator labels are moved by the lattice isometry g, and one must justify that the relabelled word is indeed the Poincaré relation for the new simple chamber loop. Without this clarification, the printed theorem does not by itself determine the full relation set.
minor comments (3)
  1. [Introduction and Section 5.1] There are a few typographical errors, e.g. 'discribed' in the Introduction and 'fixed hypersurface' where 'Castelnuovo-Richmond-Igusa quartic hypersurface' is meant; these should be corrected in the final version.
  2. [Section 3.1 and Table 5.1] The word 'up' in the column header of Table 5.1 is defined only in the surrounding paragraph; consider renaming the column (e.g. 'lifts from D16') for readability.
  3. [Section 5.4] The subsection numbering 5.4.5 through 5.4.10 skips 5.4.1–5.4.4; renumbering these subsections sequentially would make the structure of Section 5 clearer.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the presentation of Aut(Y15) is a genuinely new computation from Borcherds' method and explicit geometric involutions; cited prior work supplies tools and geometric facts, not the target result.

full rationale

The paper's derivation chain is not circular. The claimed generators and defining relations for Aut(Y15) are outputs of a Borcherds-method tessellation computation: the group is obtained from the stabilizer of a chamber and the extra-automorphisms across inner walls, and the relations are generated by chamber loops around codimension-2 faces, not imposed to match a precomputed group. The key structural inputs are Conway's characterization of Conway chambers, Nikulin's discriminant-form theory, Torelli for K3 surfaces, and Vinberg–Shvartsman's Poincare-relations theorem, all external. The authors' own prior work ([7], [21], [23]) supplies geometric facts about 15-nodal quartics and algorithms for lattice computations, but it does not contain the finite presentation being derived; in particular, Theorem 5.9 and Theorem 5.10 are new outputs, not restatements of these citations. The assertion at (5.2) that Aut(Y15,D15) is trivial is a checkable injectivity claim, and the enumeration of 5235 inner faces is delegated to GAP with external data; if either were wrong the presentation would fail, but neither is a fitted parameter or a renamed input of the claimed result. These are reproducibility and proof-detail concerns, not circularity.

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

No parameters are fitted to data; the paper is a pure mathematical computation with exact lattice data. The proof relies on standard lattice and K3 theory, on the stated generality conditions for the surface, and on an unshipped computer-assisted enumeration of chamber faces.

assumptions (8)
  • standard math Nikulin's theory of discriminant forms and primitive embeddings into unimodular lattices.
    Used throughout Section 2 and in Lemma 3.4 to lift isometries of S to II_{1,25}; standard background for lattice-polarized K3 surfaces.
  • standard math Global Torelli theorem for algebraic K3 surfaces.
    Used in Proposition 3.5 to identify Aut(Y) with isometries of the Picard lattice preserving the nef cone; standard result of Pjateckiui-Šapiro and Šafarevič [18].
  • standard math Conway's bijection between Weyl vectors and Conway chambers in II_{1,25}.
    Theorem 3.1 is the foundation of Borcherds' method used to compute induced chambers.
  • standard math Vinberg and Shvartsman theorem on Poincaré relations for reflection groups in hyperbolic space.
    Theorem 3.9 turns chamber loops into defining relations; cited from [27].
  • standard math Saint-Donat criterion for base-point-freeness of nef classes of square 2 on K3 surfaces.
    Used in Section 2.3.3 to realize double-plane involutions from nef classes h2.
  • domain assumption Generality conditions (i)-(iii) hold for a general 15-nodal quartic surface.
    The main theorems are stated for a general member; Conditions (ii) and (iii) are asserted to hold on an open subset of the moduli space, citing [7] and [22].
  • domain assumption Conditions 1-4 of Borcherds' method hold for the chosen S15.
    The computation requires R15 to contain 7A1+A3 (Condition 1), Condition 2 from discriminant group plus Condition (iii), Condition 3 via explicit gw, and Condition 4 via triviality of Aut(Y15,D15); these are verified in Section 5.
  • ad hoc to paper Correctness and completeness of the GAP-assisted enumeration of walls, inner faces, and simple chamber loops.
    The 5235 inner faces and 19 orbits in Theorem 5.10, and the asserted injectivity behind equation (5.2), are computational outputs; scripts are not shipped, only numerical data [23].

how reviews work

0 comments
Cite this review

Pith. "Pith review of 15-nodal quartic surfaces. Part II: The automorphism group." pith.science (2026). https://pith.science/paper/D32KU32O

@misc{pith2026190805390,
  author       = {Pith},
  title        = {Pith review of: 15-nodal quartic surfaces. Part II: The automorphism group},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/D32KU32O}},
  note         = {Machine review of arXiv:1908.05390}
}
read the original abstract

We describe a set of generators and defining relations for the group of birational automorphisms of a general 15-nodal quartic surface in the complex projective 3-dimensional space.

Figures

Figures reproduced from arXiv: 1908.05390 by the authors.

Figure 3.1
Figure 3.1. f is not an inner face Let f be an inner face of D ∈ CNY with codimension 2. A simple chamber loop around (f, D) is a chamber loop (D(0), . . . , D(m) ) in CNY with D(0) = D(m) = D such that each D(i) contains f as a face and that D(i) 6= D(j) unless i = j or {i, j} = {0, m}. Note that, for a fixed (f, D), there exist exactly two simple chamber loops around (f, D), which have opposite orientations. From each inner f… view at source ↗
Figure 5.1
Figure 5.1. Graphs for duads, synthemes, and double trios 5.3. Involutions of Y15. In order to exhibit a generating set of Aut(Y15) in The￾orem 5.9, we present some involutions in Aut(Y15), and calculate their actions on S15. These involutions are obtained as double-plane involutions (see Section 2.3.3). Recall that we have an interior point α15 of D15 defined by (5.3). The α15-degree of an involution ι ∈ Aut(Y15) is defined to… view at source ↗
Figure 5.2
Figure 5.2. Graph Γ7 t t t t t t ✁ ✁ ✁ ❆ ❆ ❆ ✟✟✟ ❍❍ ❍ c d b e a f [PITH_FULL_IMAGE:figures/full_fig_p019_5_2.png] view at source ↗
Figures from the paper (2 more)
Figure 5.3
Figure 5.3. Figure 5.3: Pentagon by the exceptional curves N1, . . . , N7 has the additional base point x0 (because three quadrics intersect at 8 points). For a general point x ∈ X15 the quadrics from the net that vanish at x form a pencil with the base locus a quartic elliptic curve passin…
Figure 5.4
Figure 5.4. Figure 5.4: Tripod 5.4.7. The orbit O7. Each inner wall w7 = D15∩(v) ⊥ in O7 is indexed by a number ν ∈ {1, . . . , 6} in such a way that the primitive defining vector v of w7 is character￾ized by hr1, vi = 0, hr2, vi = ( 0 if ν ∈ δ(r2), 1 otherwise. The extra-automorphism for w…

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. On the geometry of K3 surfaces with finite automorphism group and no elliptic fibrations

    math.AG 2019-09 conditional novelty 6.0 of 10

    K3 surfaces with finite automorphism group and no elliptic fibrations are classified geometrically, with five of eight moduli spaces shown unirational.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages · cited by 1 Pith paper

  1. [23]

    15-nodal quartic surfaces

    Ichiro Shimada. 15-nodal quartic surfaces. Part II: Th e automorphism group: Computational data, 2019. http://www.math.sci.hiroshima-u.ac.jp/~ shimada/K3andEnriques.html

    work page 2019

  2. [1]

    H. F. Baker. Principles of geometry. Volume 4. Higher geometry . Cambridge Library Collec- tion. Cambridge University Press, Cambridge, 2010. Reprin t of the 1925 original

    work page 2010

  3. [2]

    Automorphism groups of Lorentzian l attices

    Richard Borcherds. Automorphism groups of Lorentzian l attices. J. Algebra, 111(1):133–153, 1987

    work page 1987

  4. [3]

    Borcherds

    Richard E. Borcherds. Coxeter groups, Lorentzian latti ces, and K3 surfaces. Internat. Math. Res. Notices, 1998(19):1011–1031, 1998

    work page 1998

  5. [4]

    The ten nodes of the rational sextic and of t he Cayley symmetroid

    Arthur Coble. The ten nodes of the rational sextic and of t he Cayley symmetroid. Amer. J. Math., 41(4):243–265, 1919

    work page 1919

  6. [5]

    J. H. Conway. The automorphism group of the 26-dimension al even unimodular Lorentzian lattice. J. Algebra , 80(1):159–163, 1983

    work page 1983

  7. [6]

    J. H. Conway and N. J. A. Sloane. Sphere packings, lattices and groups , volume 290 of Grundlehren der Mathematischen Wissenschaften . Springer-Verlag, New York, third edition, 1999

    work page 1999

  8. [7]

    15-nodal quartic surfaces.I: quintic del Pezzo surfaces and congruences of lines in $\bbP^3$

    Igor Dolgachev. 15-nodal quartic surfaces. Part I: Quin tic del Pezzo surfaces and congruences of lines in P3, 2019. Preprint, arXiv:1906.12295. 15-NODAL QUARTIC SURF ACES. PART II 27

    work page Pith review arXiv 2019

Show all 27 references
  1. [8]

    Dolgachev

    Igor V. Dolgachev. Classical algebraic geometry. A modern view . Cambridge University Press, Cambridge, 2012

    2012

  2. [9]

    R. W. H. T. Hudson. Kummer’s quartic surface . Cambridge Mathematical Library. Cam- bridge University Press, Cambridge, 1990. With a foreword b y W. Barth, Revised reprint of the 1905 original

    1990

  3. [10]

    J. I. Hutchinson. The Hessian of the cubic surface. Bull. Amer. Math. Soc. , 5(6):282–292, 1899

  4. [11]

    J. I. Hutchinson. The Hessian of the cubic surface. II. Bull. Amer. Math. Soc. , 6(8):328–337, 1900

    1900

  5. [12]

    J. I. Hutchinson. On some birational transformations o f the Kummer surface into itself. Bull. Amer. Math. Soc. , 7(5):211–217, 1901

    1901

  6. [13]

    Automorphisms of Jacobian Kummer surfac es

    Jong Hae Keum. Automorphisms of Jacobian Kummer surfac es. Compositio Math. , 107(3):269–288, 1997

    1997

  7. [14]

    The automorphism group of a generic Ja cobian Kummer surface

    Shigeyuki Kondo. The automorphism group of a generic Ja cobian Kummer surface. J. Alge- braic Geom., 7(3):589–609, 1998

    1998

  8. [15]

    V. V. Nikulin. Integer symmetric bilinear forms and som e of their geometric applications. Izv. Akad. Nauk SSSR Ser. Mat. , 43(1):111–177, 238, 1979. English translation: Math USSR -Izv. 14 (1979), no. 1, 103–167 (1980)

    1979

  9. [16]

    Viacheslav V. Nikulin. W eil linear systems on singular K3 surfaces. In Algebraic geometry and analytic geometry (Tokyo, 1990) , ICM-90 Satell. Conf. Proc., pages 138–164. Springer, Tokyo, 1991

    1990

  10. [17]

    Enriques surfaces covered by Jacobia n Kummer surfaces

    Hisanori Ohashi. Enriques surfaces covered by Jacobia n Kummer surfaces. Nagoya Math. J. , 195:165–186, 2009

    2009

  11. [18]

    I. I. Pjatecki ˘ ı-ˇSapiro and I. R. ˇSafareviˇ c. Torelli’s theorem for algebraic surfaces of ty pe K3. Izv. Akad. Nauk SSSR Ser. Mat. , 35:530–572, 1971. Reprinted in I. R. Shafarevich, Collect ed Mathematical Papers, Springer-Verlag, Berlin, 1989, pp. 5 16–557

    1971

  12. [19]

    Saint-Donat

    B. Saint-Donat. Projective models of K − 3 surfaces. Amer. J. Math. , 96:602–639, 1974

    1974

  13. [20]

    Projective models of the supersingula r K3 surface with Artin invariant 1 in characteristic 5

    Ichiro Shimada. Projective models of the supersingula r K3 surface with Artin invariant 1 in characteristic 5. J. Algebra , 403:273–299, 2014

    2014

  14. [21]

    An algorithm to compute automorphism g roups of K3 surfaces and an ap- plication to singular K3 surfaces

    Ichiro Shimada. An algorithm to compute automorphism g roups of K3 surfaces and an ap- plication to singular K3 surfaces. Int. Math. Res. Not. IMRN , (22):11961–12014, 2015

    2015

  15. [22]

    The elliptic modular surface of level 4 and its reduction modulo 3, 2018

    Ichiro Shimada. The elliptic modular surface of level 4 and its reduction modulo 3, 2018. Preprint. arXiv:1806.05787

    2018 arXiv

  16. [24]

    Enriques inv olutions on singular K3 surfaces of small discriminants

    Ichiro Shimada and Davide Cesare Veniani. Enriques inv olutions on singular K3 surfaces of small discriminants. Preprint, arXiv:1902.00229, 2019. T o appear in Ann. Sc. Norm. Super. Pisa Cl. Sci

    1902 arXiv

  17. [25]

    Some results on unirationality of alge braic surfaces

    Tetsuji Shioda. Some results on unirationality of alge braic surfaces. Math. Ann. , 230(2):153– 168, 1977

    1977

  18. [26]

    GAP - Groups, Algorithms, and Programming

    The GAP Group. GAP - Groups, Algorithms, and Programming . Version 4.8.6; 2016 (http://www.gap-system.org)

    2016

  19. [27]

    `E. B. Vinberg and O. V. Shvartsman. Discrete groups of motion s of spaces of constant cur- vature. In Geometry, II , volume 29 of Encyclopaedia Math. Sci. , pages 139–248. Springer, Berlin, 1993. Department of Mathematics, University of Michigan, 2072 Eas t Hall, 525 East Uni...

    1993

Pith tools

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