Keyboard shortcuts

Press ← or → to navigate between chapters

Press ? to show this help

Press Esc to hide this help

Radius-Four Certificate Data

Abstract

Geometric hard-core memory, exact path semantics and integer certificates.

Definition 1.1 (Lossless geometric data).

Lean statement: D5/S3/StatisticalMechanics/HardCore/RadiusFourData.radiusFourRows

Formalization. D5/S3/StatisticalMechanics/HardCore/RadiusFourData.radiusFourRows (✓ std3).

Source. Repository-derived.

Commentary.

The low forty-one bits encode a blocked set; the remaining quotient indexes an integer weight. Repeated weights do not identify distinct geometric states. The companion source checks the actual decoded geometry and every row.

References

  • Truth anchor: D5/S3/StatisticalMechanics/HardCore/RadiusFourData.radiusFourRows