Registry · Theorem VII.T48 tau-effective formalized

VII.T48 — Layer-Conflation as Category Error

Applying functor to type outside its domain produces syntactically well-formed but semantically vacuous output; error propagates.

Book VII Part 11 Ch. 128

Dependency Graph

Depends on (1)

VII.T01

Depended on by (1)

VII.R58

Lean Formalization

Module: TauLib.BookVII.Logos.Sector

Symbol: Tau.BookVII.Logos.Sector.layer_conflation_category_error