Stable homotopy invariance from the exact affine-pullback collar

This module is the focused Step 6 adapter. The exact relative collar certificate constructed from Step 4 and Route B identifies the stable zero counts of any two endpoint approximations joined by a zero-free equivariant homotopy. The pointwise equality is then packaged into the project-level StableHomotopyInvarianceTheorem interface.

theorem NRR.FoxNeuwirthOrderComplex.EquivariantPrismStableRelativeBoundary.StableHomotopyInvarianceAffinePullback.zeroCount_eq {p : ℕ} (hp : Nat.Prime p) (F₀ F₁ : EquivariantCoordinateHomotopy.ZeroFreeMap hp) (H : EquivariantCoordinateHomotopy.ZeroFreeHomotopy hp F₀ F₁) (A₀ : RefinedAffineMap.StableRegularApproximation hp F₀.map) (A₁ : RefinedAffineMap.StableRegularApproximation hp F₁.map) : A₀.zeroCount = A₁.zeroCount

The exact affine-pullback collar identifies the stable endpoint zero counts.

theorem NRR.FoxNeuwirthOrderComplex.EquivariantPrismStableRelativeBoundary.StableHomotopyInvarianceAffinePullback.stableHomotopyInvariance_affinePullback : RefinedAffineMap.StableHomotopyInvarianceTheorem

Stable zero count is invariant under zero-free equivariant homotopy.