Registry · Remark V.R12 tau-effective formalized

V.R12 — The Book~V--Book~VI boundary

The boundary between Book V and Book VI is the enrichment layer transition E_1 to E_2: Book V completes all E_1 physics, and Book VI opens E_2 where physical configurations become self-replicating, self-referencing, and alive. The export contract specifies exactly which E_1 results are needed.

Book V Part 0 Ch. 3

Lean Formalization

Module: TauLib.BookV.Prologue.ExportContract

Symbol: Tau.BookV.Prologue.TheBookvbookviBoundary