Registry · Definition VII.D38 tau-effective formalized

VII.D38 — Problem Map Classification Scheme

Four categories: Resolved(Kernel), Resolved(Pattern), Reframed(VM/Scope), Open/Interpretive for classifying metaphysical problems.

Book VII Part 2 Ch. 30

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.ProblemMapClassificationScheme