Proposal
Proposal acceptedverification not attemptedClaim correctedAt lean-proofs commit 423344341fbfdf4f8f684a302c5d05379125e7dc, Erdos94.variants.sum_multiplicity proves that for every finite planar point set P, the sum over its distinct determined distances of the unordered-pair distance multiplicities equals P.card.choose 2, matching Formal Conjectures commit 94a278e06a8bcbc2e4f2935e491c0c115ec832e0.
vsb_f43df4adcf653c88proposesclaim.addonvcl_9ba852a45d8bc6f9dd024d85ff19e0b81317945f45e9eb073a89e44760a6b009into Vela Mathematics Program at2415f78e850a
Evidence
No Verification Record is retained for this Proposal.
Agent Decision
Re-admit the exact intended Erdős 94 predecessor assertion only to preserve current correction truth in the compact v3 lineage. Its pre-v3 distance-multiplicity Verification remains recoverable at the signed rollback ref and is not re-attested over new bytes.
Authority effect · noneHistorical proposed state
This is the exact preview retained from immediately before the terminal Proposal transition.
- Preview root
- sha256:ef137228e3c87cab8487cf5f2acb93ad427054cade40dfe5fc011cbb7356eb30
- Base revision
- sha256:f300a10997dcdea16d09f2a3319d8e16db072cf6ce4b2135188174ccb6ca6865
- Base Git commit
- 20d3c2d949675654e50c20329d915a1c0777faa7
- Base Repository root
- sha256:d8ff654b13215de6ee62c1d090c27ec62f7da286204f379881a5261e74e0cdb8
- Decision Inbox entry
- sha256:807043d5656406ab4e13e62ae18784470086f7e7d457e3c67f1d24d184f303ef
- If accepted
- sha256:ec317d24a37314e71be6e74f9adf4ea34edb1ecb61aeb4578344a11132f91230
- If rejected
- sha256:b01a225322a4d17d2c9b5697c089030046e7740e73edf79f80def54c2e4b7370
- Terminal Git commit
- 749634087597021af6f3e13eeddf4faa584b36df
- Terminal Repository root
- sha256:ec317d24a37314e71be6e74f9adf4ea34edb1ecb61aeb4578344a11132f91230
Applied exactly as reviewed: the predicted and actual Repository roots are identical.
Exact records
Authenticated producer input. It does not check or accept the Assertion.
vsb_f43df4adcf653c88sha256:f43df4adcf653c88afb0f770236c509d19e828c2ce47cdfe5c9b8eda3e719965Requested scientific-state change. Proposed change status is accepted.
vpr_76b66eb81ceb198dsha256:76b66eb81ceb198da2db05bddd75e246cf8ebca0567c7a758bdb979041e7fa4bsha256:8e762a3a7dff021b90d15618d8197ed2454d457416a494ae57e90d2b00688fb4Recorded through signed record.
vev_12a7c721cb506211