Subtracted Chaos: A Linear Variance Collapse Framework

Subtracted Chaos introduces a linear variance‑collapse framework for forced recurrences of the form Vn+1=cVn+K. The work isolates the homogeneous decay term cnV0 and subtracts it to reveal the pure forcing contribution, producing a clean closed‑form collapse chain. The paper provides formal definitions, assumptions, the main theorem, and a complete proof. Numerical verification is included through a minimal Python implementation, and a Lean 4 file supplies machine‑checked validation of the core recurrence identity. This preprint is intended as a compact mathematical artifact: structurally minimal, self‑contained, and reproducible.