Registry · Lemma VII.L34 tau-effective formalized

VII.L34 — Archetypal Basis Completeness

Three archetypes (boundary, mitigation, meta-framing) form complete minimal basis at E₃; every j-closed pattern decomposes into their combinations.

Book VII Part 1 Ch. 13

Dependency Graph

Depends on (3)

VII.D18 VII.D19 VII.D20

Lean Formalization

Module: TauLib.BookVII.Meta.Archetypes

Symbol: Tau.BookVII.Meta.Archetypes.archetypal_basis_complete