v0.2.35 conditional exponent-gap audit

This release formalizes the analytic conversion from the six-phase conditional ledger to the recurrence exponent gap.

• FusedCentreExponentGapAudit.lean defines the inherited multiplier as m * (1 - epsilon) and the gap as -log(1-epsilon)/log(m).
• It proves log(13824) < 11 from a finite exponential-series bound and uses log(1-epsilon) <= -epsilon to establish the strict conditional inequality 1/10^9 < -log(1-epsilon)/log(13824).

The theorem is conditional on the six-phase event ledger and the inherited recurrence formula. It does not prove the missing selective complex gate, the global all-prefix schedule, or an all-length exact DFT theorem. The preceding v0.2.34 release is archived on Zenodo at DOI 10.5281/zenodo.23242451.