Registry · Remark V.R202 tau-effective formalized

V.R202 — Minimal Alphabet and Sector Count

The Minimal Alphabet Theorem (I.T09) asserts that exactly five generators are needed: fewer are insufficient and more are redundant. A six-generator model always has the sixth expressible as a combination of the original five, fixing the sector count at exactly four plus crossing.

Book V Part 5 Ch. 44

Lean Formalization

Module: TauLib.BookV.Astrophysics.SectorExhaustion

Symbol: Tau.BookV.Astrophysics.MinimalAlphabetAndSectorCount