Keyboard shortcuts

Press ← or → to navigate between chapters

Press ? to show this help

Press Esc to hide this help

RadiusThreeData

Abstract

Geometric hard-core branching, exact certificates and their precise scope.

Definition 1.1 (Exact masks, weights and controller).

Lean statement: D5/S3/StatisticalMechanics/HardCore/RadiusThreeData.radiusThreeRows

Formalization. D5/S3/StatisticalMechanics/HardCore/RadiusThreeData.radiusThreeRows (✓ std3).

Source. Repository-derived.

Commentary.

The complete data expand losslessly from packed masks and a shared table of integer weight triples. The mathematical states are blocked vertex sets. Packing is only a storage representation; it is not state minimization. No verdict from an external solver is stored as a hypothesis.

The sources were logically reviewed and the concrete certificates independently replayed using exact integers. Lean elaboration, axiom-print execution and Scribe emission were not performed in the authoring runtime. These candidate sources do not assert an improved global zero-free threshold.

References

  • Truth anchor: D5/S3/StatisticalMechanics/HardCore/RadiusThreeData.radiusThreeRows