Typed deuterium rim and breakup
Typed ports checked; current binding branch excluded
This page summarizes the linked research at its stated verification level. It is not a new proof certificate or experimental confirmation.
Tensor-lifted rim maps retain both spin components and solve a scalar/spinor mismatch without deriving neutron spin. Opposite phase weights forbid a naive neutral linear attachment; a compatible link or pair interaction needs its own source. In the current graph, pair-minus-breakup energy is positive for independent reservoirs and zero for the same total exterior reservoir. No attractive nuclear binding is supplied. A bounded, number- and charge-preserving cross-carrier interaction must use identical comparison boundaries. Test.
Checker: research/voevodsky/checkers/check_deuterium_typed_rim_binding.py
Result artifact: research/voevodsky/results/deuterium_typed_rim_binding.json