File size: 760 Bytes
eef9104 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 | cff-version: 1.2.0
message: "If you use this scaffold, cite it as software, not as a discharged formalization."
title: "CPSC: Conservation-Preserving Scattering Compiler"
abstract: >
Research scaffold for compilation-time enforcement of lattice momentum and
charge in 1+1D qubit-lattice scattering, with a Lean 4 certificate interface
and an executable symmetry analyzer. Proof obligations are open.
authors:
- family-names: Parr
given-names: Ahmad Ali
version: 0.1.0
date-released: 2026-10-07
license: AGPL-3.0-only
repository-code: "https://github.com/AHMADALIPARR/cpsc-qft"
keywords:
- quantum-field-theory
- formal-verification
- lean4
- scattering
- symmetry
license-url: "https://github.com/AHMADALIPARR/cpsc-qft/blob/main/LICENSE"
|