Registry · Remark V.R432 conjectural not_applicable

V.R432 — Packing Threshold at A = 7

Nuclei with A≤4 fit 2×2×2 voxel block within 3×3×3 macrocell. A=7 cannot tile → EM capture spans full τ³ → dimensional restriction S=1/3.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (2)

Lean Formalization

Module: