Central Theorem route

The Central Theorem assembles the preceding machinery into the bulk – boundary correspondence:

𝒪(τ^3) ≅ A_spec(𝕃).

The holomorphic interior, the boundary character ring, and the spectral algebra are not three independent objects; under the theorem they determine one another through a calibrated split-complex isomorphism. Its iota_tau-calibration property transports the already-earned H3/II.T25 master-constant calibration from boundary data into the interior; it does not rederive the closed form. The finite rank-(3,15) Lean check and the exact registry dependencies live in the internal source ledger; the main point here is structural: boundary spectral data and holomorphic interior data become one rigid object.