Registry · Theorem VII.T49 tau-effective not_applicable

VII.T49 — Mitigation Archetype j-Closure

The mitigation archetype M is j-closed: j(M) = M for any Lawvere-Tierney topology j; no refinement of covering structure eliminates the need for mitigation after boundary-crossing.

Book VII Part 1 Ch. 12

Dependency Graph

Depends on (2)

Lean Formalization

Module:

Symbol: