CPSC-QFT

Conservation-preserving scattering compiler for a 1+1D lattice shadow of φ⁴. Version 0.3.0. Dual strict copyleft.

Mercury console

Ruby 3.2 in the browser. Build a circuit, run the statevector, and see the compile-time symmetry verdict.

Open the console

Paper

What is proved, what is measured, and which operator is actually conserved.

paper/PAPER.md

Certificate

Boolean lemmas are proved. Operator commutation is an explicit axiom set. lake build passes on Lean 4.22.0.

Lemmas.lean

Source

Python compiler, Q# emission, Mercury library. Tests live next to the code.

AHMADALIPARR/cpsc-qft

Release check

Ising mode (λ = 0) rejects a single X. Spin-flip mode (λ ≠ 0) rejects a lone Z. The console analyzer still mirrors the Z-parity bridge in frontend/lib/mercury/cpsc.rb; the Python compiler is the mode-accurate path. WASM is loaded from jsDelivr, so the console needs network.