| `FLM861CreationDataRefuted.lean` | the CREATION-FREE spelling of the TWO pieces of the registered residual `MM.FLM8.Y861CarrierResidual` (batch 407-A: `MM.FLM8.PoleStatement` = FLM (8.6.25)--(8.6.27) at the landed carrier `MM.FLM8.carrierLists`, and `MM.FLM8.Thm842Statement` = FLM (8.4.35)/(8.6.24) WITH the (8.5.22) window hypothesis), both quantified over EVERY (8.6.5) label list: (1) `MM.FLM8.not_poleStatement_creation_free` at `l = [(0,0)]`, `l' = []`, `s = 0` --- the coefficient state at the component index `0` is `0` (`MM.FLM8.aState_cons_zero`, the coefficient of a NEGATIVE power of `w`), while the box collapses to the vacuum pair and the carrier is the IDENTITY operator (`MM.FLM8.carrierLists_zero_index_nil_409`, `MM.FLM8.prodExpansion_vac_vac_p`), so the statement gives `0 = 1` (`MM.FLM8.one_ne_zero_VL_409`); (2) `MM.FLM8.not_thm842Statement_creation_free` at `l = [(a,-1),(0,0)]` (non-creation), `l' = [(c,-2),(-c,-1)]`, `s = 0`, `K = 1`, `(m,n) = (0,-1)` --- the commutator of the vanishing state is `0` while the residue is `-<a,c> . Y(iotaVL a)` (`MM.FLM8.carrierLists_creation_datum`, `MM.FLM8.distBox_creation_datum`, `MM.FLM8.yBase_fam_zero`), whose value on the vacuum is `-<a,c> . iotaVL a != 0`.  Both are the SAME defect: the `Int.toNat` clamp `(-nu-1).toNat` of the landed carrier reads a vanishing (non-creation) coefficient state as a nonvanishing one.<br>**Lean witness:** `MM.FLM8.not_poleStatement_creation_free`, `MM.FLM8.not_thm842Statement_creation_free` | the `pole` and `thm842` fields of `MM.FLM8.Y861CarrierResidual.holds` (batch 407-A, commit 999afd5) | both pieces are RESTATED on the source's own domain with the hypothesis `MM.FLM8.IsCreationData l` (and `l'`) in `Definitions/FLM861CarrierObj.lean`; the complement is handled by the PROVED off-creation vanishing (`MM.FLM8.aStates_commutator_of_window_of_state_eq_zero_left/_right`) in the compiled reassembly, so the chain's hole `MM.FLM8.aStates_commutator_of_window` still follows; the repaired statements are gated in `Definitions/FLM861CarrierObjGate.lean` (`not_isCreationData_zero_index_409`, `isCreationData_k1_409`, `poleStatement_instantiate_vacuum`/_k1`, `thm842Statement_instantiate_vacuum`/_k1`); the creation-free spellings may not be re-registered | 409-A |
