# Local Clifford audit

Run `python background_lift_checks.py --check`. The preserved action_source.txt is read as text and never executed. The audit records its SHA-256 and verifies 3290 integer identities, including an independent Jordan–Wigner action and a negative control omitting the phase −i.

The degree-18 Clifford element ta has square −1; Ua=−i ta has square +1. This does not by itself define an ordinary Z2→Spin(20) lift. A twisted or combined action must be fixed for all fields and interactions. No inconsistency of the model is inferred from this local observation. There is no Lean formalization of this audit.