Registry · Remark II.R38 established not_applicable

II.R38 — Protection Architecture

The 16 Mode C refusals form a coherent protection architecture: three interlocking barriers (K6 object closure, K5 diagonal discipline, j^2=+1 forced sign) that protect categoricity, decidability, and finite witnesses.

Book II Part 11 Ch. 63

Dependency Graph

Depends on (7)

Lean Formalization

Module:

Symbol: