Registry · Proposition VI.P01 tau-effective planned

VI.P01 — Low-Noise Carrier Condition

Carrier X must admit refinement-coherent distinction, detectable polarity seed at boundary, and SNR above basin threshold for E₁→E₂ transition.

Book VI Part 1 Ch. 3

Dependency Graph

Depends on (2)

VI.D01 VI.T01

Lean Formalization

Module: TauLib.BookVI.LifeCore.ParityBridge

Symbol: Tau.BookVI.ParityBridge.LownoiseCarrierCondition