Registry · Proposition VII.P05 tau-effective formalized

VII.P05 — Boundary Archetype Minimality

Lemniscate L = S¹ ∨ S¹ is minimal j-closed fixed point exhibiting threshold-crossing; no proper j-closed subobject suffices.

Book VII Part 1 Ch. 11

Dependency Graph

Depends on (1)

VII.D16

Lean Formalization

Module: TauLib.BookVII.Meta.Archetypes

Symbol: Tau.BookVII.Meta.Archetypes.boundary_archetype_minimality