Registry · Definition II.D18a established formalized

II.D18a — Two-Readout Principle

Two-Readout Principle: topology (fine-grain) and geometry (coarse-grain) are parallel readouts of the coherence kernel

Book II Part 3 Ch. 18

Dependency Graph

Depends on (8)

I.D17 I.T04 I.T05 II.D10 II.D13 II.D14 II.T04 II.T06

Depended on by (2)

II.D18b II.R06b

Lean Formalization

Module: TauLib.BookII.Topology.CoherenceConnectivity

Symbol: two_readout_check