Lean-Verified Chronos Unification Certificate: Integrated Common-Temporal-Root Physics Bridges (CU1-CU8)

This release provides the final CU7-CU8 verification and audit package for the Chronos unification chain. It includes an integrated Lean master certificate combining a common temporal root with verified gravity, electromagnetic causal-speed, shell/action, Yang-Mills mass-gap, and weak-sector results. The package also includes a dependency and non-circularity audit that found no proof placeholders, no project-defined axioms, and no directed import cycles in the audited CU closure; the selected master theorems depend only on the standard Lean axioms propext, Classical.choice, and Quot.sound. The release preserves explicit boundaries rather than hiding them: gravity and electromagnetic results retain their identification or calibration hypotheses, the Planck relation is structural unless separately calibrated, the strong-sector theorem retains model-dependent continuum spectral realization data, and the weak-sector formalization does not introduce a Fermi-constant or decay-spectrum calibration. The alpha branch records a source-specification discrepancy: the literal printed Route-A equations do not reproduce the numerical fine-structure value reported in the source. CU8 therefore functions as an assumption-transparent, machine-checked integration certificate for the Chronos framework.