Registry · Remark III.R21 tau-effective not_applicable

III.R21 — Part V Coherence Summary

Coherence check: all Part V results use the same spectral algebra (Part III), same primorial ladder (III.T09), same CRT decomposition (III.T10). Common mechanism: boundary data ↔ spectral structure ↔ interior consequence.

Book III Part 5 Ch. 43

Dependency Graph

Depends on (1)

Lean Formalization

Module:

Symbol: