Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

On post-Lie structures for free Lie algebras

T0 review · 3 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash

Pith's one-line read This paper shows that every graded post-Lie structure on a free Lie algebra determines an explicit dual coproduct for its Grossman-Larson product, and that the Ihara, ari, and uri brackets fit this pattern, yielding a conditional post-Lie…

desk verdict Solid unconditional core (general dual-coproduct formula plus Ihara/ari constructions) with a clearly flagged conjectural uri-bracket half; deserves peer review, not desk rejection. read the letter →

arxiv 2504.19661 v1 pith:5LDDQTZO submitted 2025-04-28 math.NT math-phmath.COmath.MPmath.RA

classification math.NTmath-phmath.COmath.MPmath.RA MSC 17B0117B7016T0511M3211B68
keywords post-LiealgebrasfreeLieGrossman-Larsonproductdualcoproductmultiplezetavaluesq-zetaBernoullinumbersbimoulds
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 works out the Hopf-algebra consequences of putting a post-Lie structure on a free Lie algebra. It gives what the authors describe as the first general description of the coproduct dual to the Grossman-Larson product, expressed through word decompositions and a reduced triangle map. Applying this machinery to three brackets, it recovers the Goncharov coproduct for multiple zeta values and constructs a candidate post-Lie algebra whose associated Lie bracket should control formal multiple q-zeta values. The q-zeta part is conditional on an unproved family of Bernoulli-number identities, the threshold shuffle identities; the depth-graded version, the ari bracket, is unconditional.

What carries the argument

The load-bearing object is a post-Lie algebra $(\mathrm{Lie}(A), [\cdot,\cdot], \triangleright)$: a free Lie algebra with its usual bracket and a bilinear product $\triangleright$ that acts as a derivation in the second argument and satisfies the post-Lie identity that makes $x\triangleright y - y\triangleright x + [x,y]$ a second Lie bracket. The central computational tool is the reduced triangle map $\Phi^{\mathrm{irr}}$, which records only the part of the dual of $\triangleright$ whose right factor is a single generator; the universal formula for the dual coproduct inserts $\Phi^{\mathrm{irr}}$ at every split of a word. For the uri bracket, the additional combinatorial ingredient is the family of threshold shuffle identities, conditions on Bernoulli numbers that are needed to verify the post-Lie axiom for the uri triangle map.

What would settle it

Compute the Bernoulli numbers $B_1(m,n)$ and test the threshold shuffle identities of Definition A.5 for parameter tuples $(d_1,d_2,\sigma,\tau,\vartheta)$ beyond those checked numerically; a single failure would disprove Conjecture A.7 and remove the post-Lie axiom from $(\mathrm{Lie}(V),\triangleright_u)$, while a proof for all tuples would complete Theorem 5.11. Alternatively, search for a word $w$ whose $\Delta_a(w)$ right tensor factor violates the conjectural k-level filtration of Conjecture 4.29.

Watch

Extended reading notes

Core claim

For any graded post-Lie algebra on a free Lie algebra $(\mathrm{Lie}(A), [\cdot,\cdot], \triangleright)$, the coproduct $\Delta_f$ dual to the Grossman-Larson product $f$ is given on a word $A$ by summing over all decompositions $A=A_1\cdots A_n$ of $(A_1\otimes 1) \;\bar{\shuffle}\; \Phi^{\mathrm{irr}}(A_2) \;\bar{\shuffle}\; \cdots \;\bar{\shuffle}\; \Phi^{\mathrm{irr}}(A_n)$, where $\Phi^{\mathrm{irr}}$ is the reduced triangle map dual to $\triangleright$ on single-letter right factors and $\bar{\shuffle}$ is shuffle on the left tensor factor times concatenation on the right. The paper shows that for the Ihara bracket on $\mathrm{Lie}(x_0,x_1)$ this formula reproduces the Goncharov coproduct, and for the ari bracket it yields explicit and effective formulas for the Grossman-Larson product and its dual coproduct. For the uri bracket, assuming the Bernoulli numbers satisfy the threshold shuffle identities, the triple $(\mathrm{Lie}(V),[\cdot,\cdot],\triangleright_u)$ is a post-Lie algebra whose induced Lie bracket is expected to restrict to the dual of indecomposables of formal multiple q-zeta values.

Load-bearing premise

The entire uri-bracket construction rests on Conjecture A.7: the Bernoulli numbers must satisfy the threshold shuffle identities, a family of identities checked numerically in many cases but not proved; if they fail, the uri post-Lie algebra and its dual Hopf pair collapse, leaving only the unconditional depth-graded ari results.

Editorial extensions

If this is right

  • Every graded post-Lie structure on a free Lie algebra yields a dual pair of graded Hopf algebras $(\mathbb{Q}\langle A\rangle, \shuffle, \Delta_f) \leftrightarrow (\mathbb{Q}\langle A\rangle, f, \Delta_{\shuffle})$, giving a uniform framework for Goncharov-type coproducts.
  • For the Ihara bracket, the dual coproduct equals the Goncharov coproduct, so that construction is recovered without formal iterated integrals.
  • The ari-bracket Hopf pair is unconditional: explicit formulas for $f_a$ and $\Delta_a$ give a concrete depth-graded model for formal multiple q-zeta values modulo formal quasi-modular forms.
  • If the threshold shuffle identities hold, the uri bracket produces a dual Hopf pair whose depth-graded version is exactly the ari-bracket Hopf pair, connecting the two models by a natural isomorphism.
  • The right tensor factor of $\Delta_a$ preserves the subspace generated by $v_1,v_2,v_3$, a property that the paper views as a step toward a q-analogue of the theorem that multiple zeta values are spanned by indices in $\{2,3\}$.

Reading between the lines

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

  • If the conjectured one-parameter family of threshold shuffle identities holds, the uri construction deforms as a parameter $t$ varies, suggesting a whole family of post-Lie structures interpolating between the depth-graded ari model and the full uri model; the paper does not explore this deformation.
  • The reduced-triangle coproduct formula is likely to be a general template for computing dual coproducts in other post-Lie settings, such as Lie-Butcher theory or regularity structures, where explicit dual coproducts are often hard to obtain.
  • The conjectural k-level filtration on $\Delta_a$ can be tested computationally on words of increasing length; a proof would sharpen the analogy with the filtration arguments used for classical multiple zeta values and might point toward an explicit generating set for formal multiple q-zeta values.
  • If the expected isomorphism between $\mathfrak{bm}_0$ with the uri bracket and alternil bimoulds with the uri bracket is established, it would independently show that $\mathfrak{bm}_0$ is a Lie algebra, since the bimould operation is known to preserve the relevant space in low depths.
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 / 4 minor

Summary. The paper develops a general framework for post-Lie structures on free Lie algebras and for the Hopf algebra structures induced on their enveloping algebras via the Grossman-Larson product. Its central result, Theorem 2.4, gives an explicit formula for the coproduct dual to the Grossman-Larson product on the free algebra Q⟨A⟩ in terms of a reduced cotriangle map. This is applied to three families: the Ihara bracket, the ari bracket, and the uri bracket. For Ihara, the authors recover the Goncharov coproduct; for ari, they give explicit formulas for the Grossman-Larson product and its dual coproduct; for uri, they construct a post-Lie structure conditional on Conjecture A.7, a family of Bernoulli-number identities. Section 6 relates these structures to Ecalle's bimoulds, giving an identification for the ari bracket and a conjectural correspondence for the uri bracket. The paper is careful to mark many of the q-zeta statements as conjectural.

Significance. If the main results hold, Theorem 2.4 is a genuinely useful and clean contribution to the theory of dual Hopf algebras attached to post-Lie algebras; the explicit Ihara and ari formulas, together with the recovery of the Goncharov coproduct, are concrete and valuable. The identification of the ari bracket with a post-Lie structure on a free Lie algebra is an instructive bridge between post-Lie theory and Ecalle's bimoulds. The paper is honest about its conditional parts: the uri construction is explicitly contingent on Conjecture A.7, and the relation to formal multiple q-zeta values is described as expected rather than established. However, since the uri section and the advertised q-zeta application depend on unproved identities for which no reproducible numerical evidence is supplied, that part of the paper remains conditional in a strong sense.

major comments (3)
  1. [§5, Theorems 5.11 and 5.14] Both theorems are conditional on Conjecture A.7, which asserts an infinite family of identities for Bernoulli numbers. The conjecture is not proved, and the numerical checks mentioned in the introduction and Appendix A.2 are not accompanied by code or data specifying the range or the computational method. Since Theorem 5.11 is the only route to the post-Lie structure for the uri bracket, this is load-bearing for the q-zeta application: if Conjecture A.7 fails, Theorem 5.14 and the uri part of Section 6 lose their foundation. Please either prove the conjecture, or include reproducible verification with a precise range, and state clearly in the abstract and introduction which results are unconditional.
  2. [§6, Remark 6.12] Even assuming Conjecture A.7, the statement that the induced uri bracket restricts to bm0 and that bm0 is isomorphic to BARIil,swap is formulated as an expectation, not as a theorem. The abstract and introduction should not imply that the dual of indecomposables of formal multiple q-zeta values is known to carry this Lie structure; currently the q-zeta conclusion is doubly conjectural, depending both on Conjecture A.7 and on the unproved closure of bm0 under the uri bracket.
  3. [§6, Theorem 6.5] The key identification of the ari post-Lie structure with Ecalle's arit bracket is delegated to [Bur23, Proposition 5.70] without reproducing the computation. Since this identification is central to the paper's claim that the ari bracket 'aligns with Ecalle's theory of bimoulds', the authors should either include the proof of that proposition or provide a detailed enough summary that the reader can verify the step without consulting the thesis.
minor comments (4)
  1. [§4, Theorem 4.25] The formula for ∆a is very hard to parse as typeset, especially the conditions 'ls=H or |ls|≤kjs−1' and the notation 'mpkj1,...,jn+l, pkj1,...,jn'. Please add a short explanation of the indexing conventions or spell out a small example beyond the one already given.
  2. [Appendix A.2, Conjecture A.7] The conjecture is stated abstractly, but the numerical evidence is only described as 'checked in a lot of cases'. Please specify the weight/depth ranges that were checked and include the PARI/GP code so the checks are reproducible.
  3. [Throughout] There are several typos and minor errors: 'Ecallé' in the first paragraph of Section 6, 'Propositon' in Proposition 4.27, 'unqiue' in the proof of Theorem 1.26, and 'f' missing in the sentence 'we focus on the algebra of formal multiple zeta values' in the introduction. These should be corrected.
  4. [§5, Remark 5.9] The generalization of Lemma 5.8 to n factors is stated as checked only up to degree 15 and not proved. If this formula is used in any of the paper's conclusions, its conjectural status should be flagged; otherwise it would be helpful to note explicitly that it is not needed for the main theorems.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the core dual-coproduct derivation is self-contained; self-citations appear only for context and supporting identifications.

full rationale

The central derivation chain is not circular. Theorem 2.4 is obtained by dualizing the Grossman–Larson product using the reduced triangle map; it is an explicit expansion of the defining duality pairing, not an input renamed as an output. The Ihara and ari applications (Theorems 3.15, 4.25, 4.30) are proven from the definitions of the relevant triangle maps, with the ari bracket further identified with Ecalle's ari bracket by direct computation. The uri section is explicitly conditional: Theorem 5.11 says the post-Lie axioms hold 'under the assumption that the Bernoulli numbers satisfy the threshold shuffle identities from Definition A.5', and the proof reduces exactly to Conjecture A.7. This is a genuine unproved combinatorial hypothesis about Bernoulli numbers, not a quantity fitted to the desired q-zeta conclusion, and the paper does not claim an unconditional uri result. The same holds for Remark 6.12, where the restriction to bm0 is labeled as an expectation. Self-citations to [BCK24], [Bur23], [Küh19] and [Bur25] are used for motivation, background, or the pre-existing uri/algebraic setup, but the present post-Lie theorems do not rely on those citations as their proof. Thus the paper's main dual-coproduct contribution and the unconditional ari results are self-contained; the only serious weakness is the unproved Conjecture A.7, which is a correctness risk, not a circular step.

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

The general dual-coproduct machinery is self-contained from definitions and standard Hopf algebra facts; no parameters are fitted to data. The uri results add an unproved Bernoulli-number conjecture as an external assumption, and the bimould identification adds a delegated calculation from the first author's thesis.

assumptions (5)
  • standard math U(Lie(A)) is isomorphic to the free noncommutative algebra Q<A> with the shuffle coproduct
    Used to transfer enveloping-algebra results to Q<A> throughout Section 2.
  • domain assumption The weight and depth gradings have finite-dimensional homogeneous components, so graded duals exist as Hopf algebras
    Required for the graded duality pairings in Definition 1.17 and for Theorems 2.5, 3.20, 4.30, and 5.14.
  • ad hoc to paper Conjecture A.7: the Bernoulli numbers satisfy the threshold shuffle identities
    Unproved assumption on which the uri post-Lie structure (Theorem 5.11) and the dual Hopf algebra (Theorem 5.14) depend.
  • standard math Lazard elimination gives Lie(V) is isomorphic to Lie(C_bi) plus Q v0
    Used in Section 6.1 to translate free-Lie structures into bimoulds.
  • ad hoc to paper [Bur23, Proposition 5.70] supplies the decisive computation for the ari and bimould identification
    Theorem 6.5 relies on this quoted result from the first author's thesis; the calculation is not reproduced in this preprint.
invented entities (1)
  • Conjectural post-Lie product Źu on Lie(V) for the uri bracket
    purpose: To make bm0 a Lie subalgebra under the induced bracket and to produce a dual Hopf algebra for formal multiple q-zeta values.
    Defined in Definition 5.5; the post-Lie property is conditional on Conjecture A.7 and the connection to q-MZV is only expected, with no independent falsifiable prediction.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On post-Lie structures for free Lie algebras." pith.science (2026). https://pith.science/paper/5LDDQTZO

@misc{pith2026250419661,
  author       = {Pith},
  title        = {Pith review of: On post-Lie structures for free Lie algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5LDDQTZO}},
  note         = {Machine review of arXiv:2504.19661}
}
abstract

We study post-Lie structures on free Lie algebras, the Grossman-Larson product on their enveloping algebras, and provide an abstract formula for its dual coproduct. This might be of interest for the general theory of post-Hopf algebras. Using a magmatic approach, we explore post-Lie algebras connected to multiple zeta values and their $q$-analogues. For multiple zeta values, this framework yields an algebraic interpretation of the Goncharov coproduct. Assuming that the Bernoulli numbers satisfy the so called threshold shuffle identities, we present a post-Lie structure, whose induced Lie bracket we expect to restrict to the dual of indecomposables of multiple $q$-zeta values. Our post-Lie algebras align with Ecalle's theory of bimoulds: we explicitly identify the ari bracket with a post-Lie structure on a free Lie algebra, and conjecture a correspondence for the uri bracket.

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. Post-Lie deformations of pre-Lie algebras and their applications in Regularity Structures

    math.RA 2025-05 conditional novelty 6.0 of 10

    The paper constructs a differential graded Lie algebra and cohomology that govern post-Lie deformations of pre-Lie algebras, and exhibits the decorated-tree post-Lie algebra of Regularity Structures as a formal post-L...

Reference graph

Works this paper leans on

35 extracted references · 30 canonical work pages · cited by 1 Pith paper

  1. [1]

    M. J. H. Al-Kaabi, K. Ebrahimi-Fard, and D. Manchon, Post- L ie M agnus expansion and BCH -recursion , SIGMA Symmetry Integrability Geom. Methods Appl. 18 (2022), Paper No. 023, 16

  2. [2]

    G. E. Andrews, Compositions and Chebyshev polynomials , From operator theory to orthogonal polynomials, combinatorics, and number theory. A volume in honor of Lance Littlejohn's 70th birthday, Cham: Birkh \"a user, 2021, pp. 1--14 (English)

  3. [3]

    Henrik Bachmann and Annika Burmester, Combinatorial multiple Eisenstein series , Res. Math. Sci. 10 (2023), no. 3, 32 (English), Id/No 35

  4. [4]

    Burmester, N

    A. Burmester, N. Confurius, and U. K\"uhn, AGZT -lectures on formal multiple zeta values , 2024, arxiv:2406.13630 https://arxiv.org/abs/2406.13630

  5. [5]

    J. I. Burgos-Gil and J. Fr es \'a n, Multiple zeta values: from numbers to motives, (version September 2022), http://javier.fresan.perso.math.cnrs.fr/mzv.pdf

  6. [6]

    C. Bai, L. Guo, Y. Sheng, and R. Tang, Post-groups, ( L ie-) B utcher groups and the Y ang- B axter equation , Math. Ann. 388 (2024), no. 3, 3127--3167. 4705761

  7. [7]

    Henrik Bachmann and Ulf K \"u hn, A dimension conjecture for \(q\) -analogues of multiple zeta values , Periods in quantum field theory and arithmetic. Based on the presentations at the research trimester on multiple zeta values, multiple polylogarithms, and quantum field theory, ICMAT 2014, Madrid, Spain, September 15--19, 2014, Cham: Springer, 2020, pp....

  8. [8]

    Brown, Mixed T ate motives over Z , Annals of Mathematics 175 (2012), 949--976

    F. Brown, Mixed T ate motives over Z , Annals of Mathematics 175 (2012), 949--976

Show all 35 references
  1. [9]

    , Depth-graded motivic multiple zeta values, Compos. Math. 157 (2021), 529--572

  2. [10]

    Henrik Bachmann and Koji Tasaka, The double shuffle relations for multiple Eisenstein series , Nagoya Math. J. 230 (2018), 180--212 (English)

  3. [11]

    Burde, Crystallographic actions on L ie groups and post- L ie algebra structures , Communications in Mathematics 29 (2021), no

    D. Burde, Crystallographic actions on L ie groups and post- L ie algebra structures , Communications in Mathematics 29 (2021), no. 1, 67--89

  4. [12]

    Burmester, An algebraic approach to multiple q-zeta values, PhD Thesis, Universit \"a t Hamburg (2023)

    A. Burmester, An algebraic approach to multiple q-zeta values, PhD Thesis, Universit \"a t Hamburg (2023)

  5. [13]

    , Balanced multiple q -zeta values, Advances in Mathematics 349 (2024)

  6. [14]

    , An extended bigraded L ie algebra arising from multiple zeta values , In preparation (2025)

  7. [15]

    Henrik Bachmann, Jan-Willem van Ittersum, and Nils Matthes, F ormal multiple E isenstein series and their derivations , 2024, arxiv:2312.04124 https://arxiv.org/abs/2312.04124

  8. [16]

    Pierre Catoire, The C artier- Q uillen- M ilnor- M oore theorem in the P ost- H opf case , 2024, arxiv:2401.09116 https://arxiv.org/abs/2401.09116

  9. [17]

    Confurius, in preparation, PhD Thesis, Universit \"a t Hamburg

    N. Confurius, in preparation, PhD Thesis, Universit \"a t Hamburg

  10. [18]

    J. Ecalle, A tale of three structures: the arithmetics of multizetas, the analysis of singularities, the L ie algebra ARI , Differential equations and the S tokes phenomenon, World Sci. Publ., River Edge, NJ, 2002, pp. 89--146

  11. [19]

    , The flexion structure and dimorphy: flexion units, singulators, generators and the enumeration of multizeta irreducibles, Asymptotics in Dynamics, Geometry and PDEs; Generalized Borel Summation Volume II, Publications of the Scuola Normale Superiore Volume 12, 2011, pp. 27--211

  12. [20]

    Ebrahimi-Fard, A

    K. Ebrahimi-Fard, A. Lundervold, and H. Munthe-Kaas, On the L ie enveloping algebra of a P ost- L ie A lgebra , Journal of Lie Theory 25 (2015), no. 4, 1139--1165

  13. [21]

    Ebrahimi-Fard and I

    K. Ebrahimi-Fard and I. Mencattini, Post- L ie algebras, factorization theorems and isospectral flows , Discrete mechanics, geometric integration and L ie- B utcher series, Springer Proc. Math. Stat., vol. 267, Springer, Cham, 2018, pp. 231--285

  14. [22]

    Foissy, Extension of the product of a post- L ie algebra and application to the SISO feedback transformation group , 2017, arxiv:1705.08132 https://arxiv.org/abs/1705.08132v1

    L. Foissy, Extension of the product of a post- L ie algebra and application to the SISO feedback transformation group , 2017, arxiv:1705.08132 https://arxiv.org/abs/1705.08132v1

  15. [23]

    A. B. Goncharov, Galois symmetries of fundamental groupoids and noncommutative geometry, Duke Math. J. 128 (2005), no. 2, 209--284

  16. [24]

    M. E. Hoffman and K. Ihara, Quasi-shuffle products revisited, J. Algebra 481 (2017), 293--326

  17. [25]

    Jacques and L

    J.-D. Jacques and L. Zambotti, Post- L ie algebras of derivations and regularity structures , 2024, arxiv:2306.02484 https://arxiv.org/abs/2306.02484v2

  18. [26]

    K \"u hn, Lie-algebras associated to multiple q-zeta values, Expansions, Lie Algebras, and Invariants

    U. K \"u hn, Lie-algebras associated to multiple q-zeta values, Expansions, Lie Algebras, and Invariants. Workshop at CRM, Montreal, 2019, www.math.utoronto.ca/ drorbn/Talks/CRM-1907/Kuehn\_montreal\_2019.pdf https://www.math.utoronto.ca/ drorbn/Talks/CRM-1907/Kuehn_montreal_2019.pdf

  19. [27]

    Li, On the sub-adjacent H opf algebra of the universal enveloping algebra of a post- L ie algebra , 2024, arxiv:2408.01345 https://arxiv.org/abs/2408.01345v1

    Y. Li, On the sub-adjacent H opf algebra of the universal enveloping algebra of a post- L ie algebra , 2024, arxiv:2408.01345 https://arxiv.org/abs/2408.01345v1

  20. [28]

    Luque, J.-C

    J.-G. Luque, J.-C. Novelli, and J.-Y. Thibon, Period polynomials and I hara brackets , J. Lie Theory 17 (2007), 229–--239

  21. [29]

    Yunnan Li, Yunhe Sheng, and Rong Tang, P ost- H opf algebras, relative R ota- B axter operators and solutions of the Y ang- B axter equation , 2022, arxiv:2203.12174 https://arxiv.org/abs/2203.12174

  22. [30]

    H. Z. Munthe-Kaas and A. Lundervold, On post- L ie algebras, L ie- B utcher series and moving frames , Found. Comput. Math. 13 (2013), no. 4, 583--613

  23. [31]

    Racinet, Séries génératrices non-commutatives de polyzêtas et associateurs de D rinfeld , Thesis, Laboratoire Amiénois de Mathématique Fondamentale et Appliquée (2000)

    G. Racinet, Séries génératrices non-commutatives de polyzêtas et associateurs de D rinfeld , Thesis, Laboratoire Amiénois de Mathématique Fondamentale et Appliquée (2000)

  24. [32]

    Reutenauer, Free L ie algebras , Oxford University Press (1993)

    C. Reutenauer, Free L ie algebras , Oxford University Press (1993)

  25. [33]

    Schneps, ARI , GARI , Z ig and Z ag: A n introduction to E calle's theory of multiple zeta values , 2015/25, arxiv:1507.01534v3 https://arxiv.org/abs/1507.01534

    L. Schneps, ARI , GARI , Z ig and Z ag: A n introduction to E calle's theory of multiple zeta values , 2015/25, arxiv:1507.01534v3 https://arxiv.org/abs/1507.01534

  26. [34]

    M. E. Sweedler, Hopf algebras, Mathematics Lecture Note Series, W. A. Benjamin, Inc., New York, 1969

  27. [35]

    Vallette, Homology of generalized partition posets, J

    B. Vallette, Homology of generalized partition posets, J. Pure Appl. Algebra 208 (2007), no. 2, 699--725

Pith tools

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