Registry · Definition VII.D18 tau-effective formalized

VII.D18 — Boundary Archetype

Structural invariant threshold-crossing: two domains meeting at unique crossing point with monodromy exchange and required transition morphism.

Book VII Part 1 Ch. 11

Dependency Graph

Depended on by (2)

VII.L34 VII.L44

Lean Formalization

Module: TauLib.BookVII.Meta.Archetypes

Symbol: Tau.BookVII.Meta.Archetypes.BoundaryArchetype