Registry · Definition VII.D87 tau-effective formalized

VII.D87 — D→C Bridge Functor

Functor translating diagrammatic-validated content to commitment-eligible content via kernel lift and C-register re-reading.

Book VII Part 10 Ch. 120

Dependency Graph

Depended on by (2)

VII.L16 VII.T46

Lean Formalization

Module: TauLib.BookVII.Final.Boundary

Symbol: Tau.BookVII.Final.Boundary.BridgeFunctor