Pith. sign in

REVIEW 3 major objections 2 minor 56 references

An infinity-categorical TQFT from instantons

T0 review · 3 major / 2 minor · reviewed 2026-06-30 · grok-4.3

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

Pith's one-line read The instanton TQFT extends to a functor CI from an infinity-cobordism category BI to an infinity-derived category D of 2-periodic chain complexes.

desk verdict The paper gives an ∞-categorical repackaging of Kronheimer-Mrowka instanton data with explicit chain-level homotopies for the μ-operators. read the letter →

arxiv 2606.29902 v1 pith:WM677FZF submitted 2026-06-29 math.GT math.ATmath.DG

Fan Ye This is my paper · ORCID
classification math.GTmath.ATmath.DG
keywords instantonTQFTinfinity-categoriescobordismcategories2-periodicchaincomplexesFloerhomologymu-operatorslinkspectralsequencecompleteSegalspaces
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 upgrades the instanton TQFT, previously defined on ordinary categories, to a functor CI between two infinity-categories. The source category BI is obtained by modifying the standard infinity-cobordism category Bord_4 using complete Segal spaces so that it carries instanton data from families of metrics on cobordisms. The target category D is constructed via the dg-nerve of a dg-category whose objects are 2-periodic chain complexes over finitely generated projective Z-modules, with morphisms that are sums of homogeneous chain maps. This infinity-categorical lift simplifies the construction of the hypercube of chain complexes needed for the link spectral sequence and lifts the generalized cap product mu-operators to the chain level together with explicit homotopies and higher homotopies that witness commutativity in even degrees.

What carries the argument

The functor CI from the infinity-cobordism category BI (a Segal-space modification of Bord_4 carrying instanton data) to the infinity-derived category D (the dg-nerve of 2-periodic chain complexes over projective Z-modules).

What would settle it

An explicit computation on a simple cobordism showing that the proposed functor CI fails to preserve composition of 1-morphisms or that the supplied higher homotopies for multiple mu-operators fail to satisfy the expected relations in the dg-category D.

Watch

Extended reading notes

Core claim

The central construction is the functor CI from the infinity-cobordism category BI, built as a modification of Bord_4 via complete Segal spaces, to the infinity-derived category D obtained from the dg-nerve of 2-periodic chain complexes over projective Z-modules. The functor encodes the instanton TQFT at the infinity level, reinterpreting the data previously assembled by Kronheimer-Mrowka from families of metrics, and supplies chain-level lifts of the mu-operators with the required higher homotopies.

Load-bearing premise

The modification of Bord_4 into BI via complete Segal spaces produces a well-defined infinity-category that supports the instanton data, and the dg-nerve construction produces a target category D compatible with the required chain-level operations.

Editorial extensions

If this is right

  • The hypercube of chain complexes for the link spectral sequence admits a simpler construction from the infinity-categorical data.
  • Generalized cap product mu-operators lift to explicit chain maps together with homotopies and higher homotopies witnessing commutativity in even degrees.
  • The information carried by families of metrics on cobordisms is reorganized as morphisms in an infinity-category.
  • The ordinary-category instanton TQFT is recovered by taking homotopy categories of BI and D.

Reading between the lines

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

  • The same pattern of Segal-space modification and dg-nerve target could be applied to other gauge-theoretic invariants to obtain infinity-categorical versions.
  • The chain-level homotopies for mu-operators may allow direct comparison of instanton and other Floer theories at the level of A-infinity structures.
  • Higher morphisms in BI could encode additional geometric data such as families of metrics parametrized by higher simplices.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 2 minor

Summary. The manuscript constructs an ∞-categorical instanton TQFT as a functor CI: BI → D. BI is obtained by modifying Lurie's Bord_4 ∞-cobordism category via complete Segal spaces to incorporate instanton data; D is the ∞-category arising from the dg-nerve of the dg-category of 2-periodic chain complexes over finitely generated projective Z-modules. The functor CI reinterprets Kronheimer-Mrowka's instanton Floer data, supplies explicit chain-level homotopies and higher homotopies for the generalized cap-product μ-operators, and simplifies the hypercube construction used in the link spectral sequence.

Significance. If the functoriality and homotopy constructions hold, the work supplies a higher-categorical language that makes the higher homotopies for μ-operators explicit and may streamline spectral-sequence arguments in instanton Floer theory. The approach reuses standard tools (complete Segal spaces, dg-nerve) rather than inventing new axioms, which is a methodological strength.

major comments (3)
  1. [§3] §3 (Construction of BI): the claim that the modification of Bord_4 via complete Segal spaces yields a well-defined ∞-category supporting instanton metric families requires an explicit check that the Segal maps preserve the families of metrics used by Kronheimer-Mrowka; without this, the source category may not carry the required data for the functor CI.
  2. [§4] §4 (Definition of D and CI): the assertion that CI is an ∞-functor is load-bearing for the central claim, yet the manuscript provides no verification that the simplicial maps induced by cobordism composition in BI are sent to chain-homotopy coherent maps in D; low-dimensional cases (objects, 1-morphisms, 2-simplices) should be checked explicitly.
  3. [§5] §5 (μ-operators and homotopies): the upgrade of the μ-operators to chain level with explicit higher homotopies is presented as a simplification, but compatibility with the 2-periodicity and the sum-of-homogeneous-maps structure in D is not shown to be free of sign or grading obstructions; this directly affects the claimed simplification of the link spectral sequence hypercube.
minor comments (2)
  1. [§2] Notation for the ∞-category D is introduced without a clear comparison table to the ordinary derived category used by Kronheimer-Mrowka.
  2. Several references to Lurie and Calaque-Scheimbauer are cited for the Segal-space construction but lack page or theorem numbers for the specific statements invoked.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the thorough review and constructive suggestions. The comments identify places where the manuscript would benefit from additional explicit verifications. We address each major comment below and indicate planned revisions.

read point-by-point responses

  1. Referee: [§3] §3 (Construction of BI): the claim that the modification of Bord_4 via complete Segal spaces yields a well-defined ∞-category supporting instanton metric families requires an explicit check that the Segal maps preserve the families of metrics used by Kronheimer-Mrowka; without this, the source category may not carry the required data for the functor CI.

    Authors: We agree that an explicit verification strengthens the argument. The construction of BI follows the standard complete Segal space axioms applied to the instanton data, but the manuscript does not spell out the preservation of metric families. In the revised version we will insert a dedicated paragraph in §3 verifying that the Segal maps send families of metrics on cobordisms to families of metrics on the composed cobordisms, using the same gluing and stretching arguments as Kronheimer-Mrowka. revision: yes

  2. Referee: [§4] §4 (Definition of D and CI): the assertion that CI is an ∞-functor is load-bearing for the central claim, yet the manuscript provides no verification that the simplicial maps induced by cobordism composition in BI are sent to chain-homotopy coherent maps in D; low-dimensional cases (objects, 1-morphisms, 2-simplices) should be checked explicitly.

    Authors: The definition of CI assigns to each simplex in BI the corresponding instanton chain map or homotopy, which is designed to be coherent by construction. Nevertheless, the referee is correct that low-dimensional coherence is not written out. We will add, in the revised §4, explicit checks for 0-, 1-, and 2-simplices: objects map to 2-periodic complexes, 1-morphisms to chain maps, and 2-simplices to chain homotopies satisfying the required coherence relations in the dg-nerve of D. revision: yes

  3. Referee: [§5] §5 (μ-operators and homotopies): the upgrade of the μ-operators to chain level with explicit higher homotopies is presented as a simplification, but compatibility with the 2-periodicity and the sum-of-homogeneous-maps structure in D is not shown to be free of sign or grading obstructions; this directly affects the claimed simplification of the link spectral sequence hypercube.

    Authors: The μ-operators are defined in even degrees and the target category D is built precisely to accommodate 2-periodic complexes together with sums of homogeneous maps; the even-degree condition eliminates the usual sign issues that appear in odd-degree settings. We therefore maintain that no grading obstructions arise. To make this transparent we will add a short subsection in the revision that records the degree parities and confirms that the higher homotopies remain within the allowed sum-of-homogeneous-maps structure, thereby justifying the simplification of the hypercube. revision: partial

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; construction assembles external tools

full rationale

The paper reinterprets Kronheimer-Mrowka instanton data as the ∞-functor CI: BI → D by modifying Bord_4 via complete Segal spaces (Lurie, Calaque-Scheimbauer) and applying the dg-nerve to 2-periodic chain complexes. All load-bearing steps invoke external, independently developed machinery whose compatibility is asserted by direct construction rather than by fitting parameters or reducing outputs to self-referential inputs. No self-citation chain, ansatz smuggling, or renaming of known results occurs; the central claim is a change of language that encodes the same information with explicit higher homotopies.

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

The central claim rests on the existence and well-definedness of the modified cobordism category BI and the compatibility of the dg-nerve target D with instanton data; these are domain assumptions drawn from prior ∞-category literature rather than new postulates.

assumptions (2)
  • domain assumption The ∞-cobordism category BI can be obtained as a modification of Bord_4 constructed via complete Segal spaces.
    Abstract states this is the construction method used.
  • standard math The dg-nerve of the dg-category of 2-periodic chain complexes over finitely generated projective Z-modules yields the target ∞-derived category D.
    Abstract presents this as following from standard dg-category theory.
invented entities (1)
  • Functor CI
    purpose: Encodes the instanton TQFT as an ∞-categorical functor
    Newly constructed object in the paper; no independent evidence supplied in abstract.

how reviews work

0 comments
Cite this review

Pith. "Pith review of An infinity-categorical TQFT from instantons." pith.science (2026). https://pith.science/paper/WM677FZF

@misc{pith2026260629902,
  author       = {Pith},
  title        = {Pith review of: An infinity-categorical TQFT from instantons},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WM677FZF}},
  note         = {Machine review of arXiv:2606.29902}
}
abstract

In this paper, we upgrade the instanton TQFT from ordinary categories to a functor $CI$ from an $\infty$-cobordism category $\mathrm{BI}$ for instantons to an $\infty$-derived category $\mathsf{D}$ of $2$-periodic chain complexes and sums of homogeneous chain maps. The construction of $\mathrm{BI}$ is a modification of the $\infty$-cobordism category $\mathrm{Bord}_4$ constructed by Lurie and Calaque--Scheimbauer via complete Segal spaces. The construction of $\mathsf{D}$ follows from the dg-nerve of a dg-category of $2$-periodic chain complexes over finitely generated projective modules over $\mathbb{Z}$. The information encoded in the functor $CI$ was already developed by Kronheimer--Mrowka using families of metrics on cobordisms, but our reinterpretation through $\infty$-categories simplifies the construction of the hypercube of chain complexes for the link spectral sequence. In addition, we upgrade the generalized cap product $\mu$-operators in instanton Floer homology to the chain level and construct explicit homotopies and higher homotopies for commutativity of multiple $\mu$-operators in even degrees.

Figures

Figures reproduced from arXiv: 2606.29902 by the authors.

Figure 1
Figure 1. A systematic picture for n = 3 and some τ ∈ R 3 . We use small squares with Wi to denote the handles in Wi . Moving the small squares corresponds to modifying the metrics. • We need to apply Remark 7.12 to lift the result of a hypercube to a cube complex, in particular the sign changes mentioned in Remark 7.7. Then we consider the most general case. See [PITH_FULL_IMAGE:figures/full_fig_p071_1.png] view at source ↗
Figure 2
Figure 2. A systematic picture for n = 3 and some τ ∈ R 3 × R 3 . We use small squares with Wi to denote the handles and use vertical lines to denote submanifolds. Moving the small squares corresponds to modifying the metrics and moving the vertical lines corresponds to modifying the sections. (1) We need to apply Remark 8.18 and consider larger but still disjoint regions {R′ i }i∈n containing suitable neighborhoods, so that … view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

56 extracted references · 7 canonical work pages

  1. [1]

    The Tangle Hypothesis: Dimension 1

    David Ayala and John Francis. The Tangle Hypothesis: Dimension 1 . arXiv:2410.23965, v2, 2024

    work page arXiv 2024

  2. [2]

    Topological quantum field theories

    Michael Atiyah. Topological quantum field theories. Inst. Hautes \' E tudes Sci. Publ. Math. , 68:175--186, 1988

    1988

  3. [3]

    Baez and James Dolan

    John C. Baez and James Dolan. Higher-dimensional algebra and topological quantum field theory. J. Math. Phys. , 36(11):6073--6105, 1995

    1995

  4. [4]

    P. J. Braam and S. K. Donaldson. Fukaya- F loer homology and gluing formulae for polynomial invariants. In The F loer memorial volume , volume 133 of Progr. Math. , pages 257--281. Birkh\" a user, Basel, 1995

    1995

  5. [5]

    Julia E. Bergner. A survey of ( ,1) -categories. In Towards higher categories , volume 152 of IMA Vol. Math. Appl. , pages 69--83. Springer, New York, 2010

    2010

  6. [6]

    Julia E. Bergner. A survey of models for ( , n) -categories. In Handbook of homotopy theory , CRC Press/Chapman Hall Handb. Math. Ser., pages 263--295. CRC Press, Boca Raton, FL, 2020

    2020

  7. [7]

    Baldwin, Matthew Hedden, and Andrew Lobb

    John A. Baldwin, Matthew Hedden, and Andrew Lobb. On the functoriality of K hovanov- F loer theories. Adv. Math. , 345:1162--1205, 2019

    2019

  8. [8]

    ocker and Klaus J\

    Theodor Br\"ocker and Klaus J\"anich. Introduction to differential topology . Cambridge University Press, Cambridge-New York, 1982. Translated from the German by C. B. Thomas and M. J. Thomas

    1982

Show all 56 references
  1. [9]

    Jonathan M. Bloom. A link surgery spectral sequence in monopole F loer homology. Adv. Math. , 226(4):3216--3281, 2011

    2011

  2. [10]

    Jonathan M. Bloom. The combinatorics of M orse theory with boundary. In Proceedings of the G \"okova G eometry- T opology C onference 2012 , pages 43--88. Int. Press, Somerville, MA, 2013

    2012

  3. [11]

    A note on the ( ,n) -category of cobordisms

    Damien Calaque and Claudia Scheimbauer. A note on the ( ,n) -category of cobordisms . Algebr. Geom. Topol. , 19(2):533--655, 2019

    2019

  4. [12]

    Daniel Christensen and Enxin Wu

    J. Daniel Christensen and Enxin Wu. The homotopy theory of diffeological spaces. New York J. Math. , 20:1269--1303, 2014

    2014

  5. [13]

    S. K. Donaldson and P. B. Kronheimer. The geometry of four-manifolds . Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York, 1990. Oxford Science Publications

    1990

  6. [14]

    S. K. Donaldson. Connections, cohomology and the intersection forms of 4 -manifolds. J. Differential Geom. , 24(3):275--341, 1986

    1986

  7. [15]

    S. K. Donaldson. Polynomial invariants for smooth four-manifolds. Topology , 29(3):257--315, 1990

    1990

  8. [16]

    S. K. Donaldson. Floer homology and algebraic geometry. In Vector bundles in algebraic geometry ( D urham, 1993) , volume 208 of London Math. Soc. Lecture Note Ser. , pages 119--138. Cambridge Univ. Press, Cambridge, 1995

    1993

  9. [17]

    S. K. Donaldson. Floer homology groups in Y ang- M ills theory , volume 147 of Cambridge Tracts in Mathematics . Cambridge University Press, Cambridge, 2002. With the assistance of M. Furuta and D. Kotschick

    2002

  10. [18]

    Eliashberg

    Y. Eliashberg. Classification of overtwisted contact structures on 3 -manifolds. Invent. Math. , 98(3):623--637, 1989

    1989

  11. [19]

    An instanton-invariant for 3 -manifolds

    Andreas Floer. An instanton-invariant for 3 -manifolds. Comm. Math. Phys. , 118(2):215--240, 1988

    1988

  12. [20]

    Goodwillie

    Thomas G. Goodwillie. Calculus. II . A nalytic functors. K -Theory , 5(4):295--332, 1991/92

    1991

  13. [21]

    The geometric cobordism hypothesis

    Daniel Grady and Dmitri Pavlov. The geometric cobordism hypothesis. arXiv:2111.01095, v3, 2022

    2022

  14. [22]

    Extended field theories are local and have classifying spaces

    Daniel Grady and Dmitri Pavlov. Extended field theories are local and have classifying spaces. arXiv:2011.01208, v4, 2023

    2011

  15. [23]

    Monoids of moduli spaces of manifolds

    S ren Galatius and Oscar Randal-Williams. Monoids of moduli spaces of manifolds. Geom. Topol. , 14(3):1243--1302, 2010

    2010

  16. [24]

    The homotopy type of the cobordism category

    S ren Galatius, Ulrike Tillmann, Ib Madsen, and Michael Weiss. The homotopy type of the cobordism category. Acta Math. , 202(2):195--239, 2009

    2009

  17. [25]

    Connected sums and directed systems in knot F loer homologies

    Sudipta Ghosh and Ian Zemke. Connected sums and directed systems in knot F loer homologies. arXiv:2303.06491, v2, 2024

    2024

  18. [26]

    Quasi-categories vs S egal spaces

    Andr\'e Joyal and Myles Tierney. Quasi-categories vs S egal spaces. In Categories in algebra, geometry and mathematical physics , volume 431 of Contemp. Math. , pages 277--326. Amer. Math. Soc., Providence, RI, 2007

    2007

  19. [27]

    Thurston, and Ian Zemke

    Andr \' a s Juh \' a sz, Dylan P. Thurston, and Ian Zemke. Naturality and mapping class groups in Heegaard Floer homology . Mem. Amer. Math. Soc. , 273(1338):v+174 pp., 2021

    2021

  20. [28]

    Smooth singular complexes and diffeological principal bundles

    Hiroshi Kihara. Smooth singular complexes and diffeological principal bundles. Algebr. Geom. Topol. , 24(4):1913--1951, 2024

    1913

  21. [29]

    P. B. Kronheimer and T. S. Mrowka. Embedded surfaces and the structure of D onaldson's polynomial invariants. J. Differential Geom. , 41(3):573--734, 1995

    1995

  22. [30]

    Kronheimer and Tomasz S

    Peter B. Kronheimer and Tomasz S. Mrowka. Monopoles and three-manifolds , volume 10 of New Mathematical Monographs . Cambridge University Press, Cambridge, 2007

    2007

  23. [31]

    Kronheimer and Tomasz S

    Peter B. Kronheimer and Tomasz S. Mrowka. Instanton F loer homology and the A lexander polynomial. Algebr. Geom. Topol. , 10(3):1715--1738, 2010

    2010

  24. [32]

    Kronheimer and Tomasz S

    Peter B. Kronheimer and Tomasz S. Mrowka. Knots, sutures, and excision. J. Differ. Geom. , 84(2):301--364, 2010

    2010

  25. [33]

    Kronheimer and Tomasz S

    Peter B. Kronheimer and Tomasz S. Mrowka. Khovanov homology is an unknot-detector. Publ. Math. Inst. Hautes \' E tudes Sci. , 113:97--208, 2011

    2011

  26. [34]

    Kronheimer and Tomasz S

    Peter B. Kronheimer and Tomasz S. Mrowka. Knot homology groups from instantons. J. Topol. , 4(4):835--918, 2011

    2011

  27. [35]

    P. B. Kronheimer and T. S. Mrowka. Tait colorings, and an instanton homology for webs and foams. J. Eur. Math. Soc. (JEMS) , 21(1):55--119, 2019

    2019

  28. [36]

    On cobordism of manifolds with corners

    Gerd Laures. On cobordism of manifolds with corners. Trans. Amer. Math. Soc. , 352(12):5667--5688, 2000

    2000

  29. [37]

    John M. Lee. Introduction to smooth manifolds , volume 218 of Graduate Texts in Mathematics . Springer-Verlag, New York, 2003

    2003

  30. [38]

    Pin (2) -monopole F loer homology, higher compositions and connected sums

    Francesco Lin. Pin (2) -monopole F loer homology, higher compositions and connected sums. J. Topol. , 10(4):921--969, 2017

    2017

  31. [39]

    Higher topos theory , volume 170 of Annals of Mathematics Studies

    Jacob Lurie. Higher topos theory , volume 170 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 2009

    2009

  32. [40]

    On the classification of topological field theories

    Jacob Lurie. On the classification of topological field theories. In Current developments in mathematics, 2008 , pages 129--280. Int. Press, Somerville, MA, 2009

    2008

  33. [41]

    Higher algebra

    Jacob Lurie. Higher algebra . https://www.math.ias.edu/ lurie/papers/HA.pdf, 2017

    2017

  34. [42]

    Jacob Lurie. Kerodon. https://kerodon.net, 2024

    2024

  35. [43]

    Instanton F loer homology, sutures, and E uler characteristics

    Zhenkun Li and Fan Ye. Instanton F loer homology, sutures, and E uler characteristics. Quantum Topol. , 14(2):201--284, 2023

    2023

  36. [44]

    Instanton dimensions of knot surgeries over arbitrary fields

    Zhenkun Li and Fan Ye. Instanton dimensions of knot surgeries over arbitrary fields . arXiv:2511.17877, v1, 2025

    2025

  37. [45]

    Perturbed gradient flow trees and A_ -algebra structures in M orse cohomology , volume 6 of Atlantis Studies in Dynamical Systems

    Stephan Mescher. Perturbed gradient flow trees and A_ -algebra structures in M orse cohomology , volume 6 of Atlantis Studies in Dynamical Systems . Atlantis Press, [Paris]; Springer, Cham, 2018

    2018

  38. [46]

    Ring structure of the F loer cohomology of S ^1

    Vicente Mu\ n oz. Ring structure of the F loer cohomology of S ^1 . Topology , 38(3):517--528, 1999

    1999

  39. [47]

    Heegaard floer homology and integer surgeries on links

    Ciprian Manolescu and Peter Ozsv\' a th. Heegaard floer homology and integer surgeries on links. arXiv:1011.1317, v5, 2022

    2022

  40. [48]

    Stipsicz

    Burak Ozbagci and Andr\'as I. Stipsicz. Surgery on contact 3-manifolds and S tein surfaces , volume 13 of Bolyai Society Mathematical Studies . Springer-Verlag, Berlin; J\'anos Bolyai Mathematical Society, Budapest, 2004

    2004

  41. [49]

    Ozsv\' a th and Zolt\' a n Szab\' o

    Peter S. Ozsv\' a th and Zolt\' a n Szab\' o . On the H eegaard F loer homology of branched double-covers. Adv. Math. , 194(1):1--33, 2005

    2005

  42. [50]

    A model for the homotopy theory of homotopy theory

    Charles Rezk. A model for the homotopy theory of homotopy theory. Trans. Amer. Math. Soc. , 353(3):973--1007, 2001

    2001

  43. [51]

    Tilting theory for periodic triangulated categories

    Shunya Saito. Tilting theory for periodic triangulated categories. Math. Z. , 304(3):Paper No. 47, 34, 2023

    2023

  44. [52]

    Instantons and odd K hovanov homology

    Christopher Scaduto. Instantons and odd K hovanov homology. J. Topol. , 8(3):744--810, 2015

    2015

  45. [53]

    Categories and cohomology theories

    Graeme Segal. Categories and cohomology theories. Topology , 13:293--312, 1974

    1974

  46. [54]

    Mayer- V ietoris property for relative symplectic cohomology

    Umut Varolgunes. Mayer- V ietoris property for relative symplectic cohomology. Geom. Topol. , 25(2):547--642, 2021

    2021

  47. [55]

    Instantons and annular K hovanov homology

    Yi Xie. Instantons and annular K hovanov homology. Adv. Math. , 388:Paper No. 107864, 51, 2021

    2021

  48. [56]

    Bordered manifolds with torus boundary and the link surgery formula

    Ian Zemke. Bordered manifolds with torus boundary and the link surgery formula. arXiv:2109.11520, v5, 2023

    2023

Pith tools

Reviewed June 30, 2026 · model on record in the stance chip above.