Registry · Definition VII.D19 tau-effective formalized

VII.D19 — Mitigation Archetype

Minimal j-closed subobject activated post-boundary-crossing; provides covering morphism factoring exposure and reducing coherence deficit.

Book VII Part 1 Ch. 12

Dependency Graph

Depended on by (1)

VII.L34

Lean Formalization

Module: TauLib.BookVII.Meta.Archetypes

Symbol: Tau.BookVII.Meta.Archetypes.MitigationArchetype