Research candidate 1.0.0

Research candidate, version 1.0.0-candidate. See the manuscript, STATUS and ASSURANCE records for theorem hypotheses and unresolved boundaries. Exact finite checks support the written arguments; external human peer review and proof-assistant formalisation are not claimed. Assets are bound by SHA256SUMS; no private review metrics are included.