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"