lattice-system

Formalization status summary

This page is a generated compact projection of the version 1 structured catalogue. It groups exact canonical-record links by derived human status and does not duplicate full record details. The complete interim legacy catalogue remains authoritative until Issue #5228.

Generated formalization-status view. Do not edit this section by hand.

The interim legacy catalogue remains authoritative until Issue #5228.

• Catalogue state: prototype
• Schema version: 1
• Input SHA-256: 2947141f80d09350b8e19dca92bd87005cb314b6bdb949e0ed185684e2377f45
• Deploy revision: 55b265b15cd60bbc25d2cd1b54546f33642da290
• Machine data: version 1 catalogue
• Schema: version 1 schema
• Build metadata: publication sidecar
• Current authority: complete interim legacy catalogue

Generated status projections

• documented axiom: 2
• The static staggered susceptibility of normalized ground states on even one-dimensional antiferromagnetic Heisenberg rings is bounded by a size-uniform constant times the ring length.
• The staggered order parameter of the one-dimensional antiferromagnetic Heisenberg ring vanishes in the thermodynamic-then-zero-field limit.
• proved: 2
• The Pauli X matrix squares to the identity.
• A normalized low-Rayleigh-energy trial state orthogonal to a ground eigenvector yields a low-lying energy eigenstate; the long-range-order estimate remains an application input.

The three machine status dimensions are visible only on each canonical record page.