lattice-system

Project-original and source-neutral foundations

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 project-original foundation projection

• 0 record(s)

Prototype navigation only. The version 1 structured catalogue is not yet complete or authoritative. These pages provide the agreed source/topic layout without copying declaration status. For complete status and capstone decisions, use the interim legacy catalogue until #5228.

These source-neutral links are grouped only where the former heading explicitly names project infrastructure or a generic mathematical area. They are navigation over the interim authority, not copied status records.

Reusable foundations

• Multi-body operator space (abstract lattice)
• Generic matrix-analysis helpers (Math/MatrixAnalysis/)
• One-dimensional open-chain quantum Ising
• Testing infrastructure
• Perron-Frobenius theorem (Math/PerronFrobenius.lean, Math/PerronFrobeniusPrimitive.lean, Math/CollatzWielandt.lean, Math/PerronFrobeniusMain.lean)
• Single-mode fermion (P2 skeleton)
• Multi-mode fermion via Jordan–Wigner (P2 backbone) — part 1 of 4