Registry · Definition VII.D17 tau-effective formalized

VII.D17 — Archetype Extractor Protocol

Systematic 5-step procedure for identifying archetypes: identify invariant, enumerate j-closed candidates, intersect to minimality, verify, read out.

Book VII Part 1 Ch. 10

Dependency Graph

Depended on by (1)

VII.L08

Lean Formalization

Module: TauLib.BookVII.Meta.Archetypes

Symbol: Tau.BookVII.Meta.Archetypes.ArchetypeExtractor