Registry · Definition IV.D244 tau-effective formalized

IV.D244 — Book VI import list

Book VI Import List: Book IV exports the four-component defect tuple and universal defect functional as substrate for biological defect dynamics, the eight fluid regime classification (crystal through plasma), the particle spectrum for biochemical atoms, and the E2 computational layer preview for biological computation.

Book IV Part 8 Ch. 56

Lean Formalization

Module: TauLib.BookIV.Coda.CompleteLedger

Symbol: Tau.BookIV.Coda.BookViImportList