IndisputableMonolith.Ablation
The Ablation module removes the +4 offset for quarks when computing Z in the Recognition Science mass formula. It supplies targeted definitions and lemmas for the adjusted Z values along with checks for equalities and contradictions. Researchers examining parameter sensitivity on the phi-ladder would cite these results. The module organizes its content as a collection of sibling declarations without a single overarching proof.
claim$Z_{ m drop+4}$ denotes the Z quantity with the quark +4 offset removed from the gap function; related objects include $Z_{ m dropQ4}$ and $Z_{ m break6Q}$.
background
The module operates inside the Recognition Science framework that derives all physics from one functional equation via the forcing chain T0-T8. It targets the Z term appearing in the mass formula yardstick * phi^(rung - 8 + gap(Z)). The module documentation states the intent to drop the +4 offset for quarks in Z. Sibling declarations handle the resulting variants and their algebraic consequences.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module feeds the core mass formula and UnifiedForcingChain results by supplying ablation tests on the Z offset. It connects to the T5 J-uniqueness step and the phi-ladder structure through the adjusted gap(Z) values. No downstream theorems are listed among the used_by edges.
scope and limits
- Does not prove that the +4 offset is required.
- Does not treat offsets other than the quark +4 case.
- Does not derive numerical mass predictions from the ablated Z.