Registry · Lemma VI.L14 tau-effective not_formalized

VI.L14 — Propagation Uniqueness

Polarity propagation path is unique: weak-sector uniqueness (VI.L01) implies no other sector can contribute a competing chirality signal.

Book VI Part 2 Ch. 16

Dependency Graph

Depends on (1)

VI.L01

Depended on by (2)

VI.T42 VI.T43

Lean Formalization

Module:

Symbol: