CPSC

Problem

Constrain a periodic transverse-field Ising schedule before emission.

Approach

Symmetry admission, translation-orbit checks, Trotter factors, a schedule digest, Q# emission, and a Lean commutation development.

Verification and limits

A lattice-model compiler study, not a continuum φ⁴ scattering amplitude. A schedule digest binds content; it is not hardware certification.

This project summary reviews public documentation. It does not substitute for the project's build, tests, proof audit, or independent evaluation.

License

CPSC ESCL / AGPL — see terms. The actual project terms govern use.