Registry · Remark VI.R19 tau-effective not_applicable

VI.R19 — 1st Ed Correction: Mixer (α,π) to (γ,η)

Formal record: 2nd Ed corrects unique mixed sector from base-base pairing to fiber-fiber pairing; separates sector (consumer) from regime (Eukarya).

Book VI Part 6 Ch. 34

Lean Formalization

Module:

Symbol: