Additive combinatorics: Sidon sets and N(h,k) bounds: review

Proposal standing and signed decisions at this exact published snapshot.

Authority boundary

Evidence is not acceptance

Verification can support a proposal. It cannot supply the scientific decision.

EvidenceA bounded artifact is recorded.
VerifierA named check reproduces the result.
ProposalA claim enters review without changing accepted state.
DecisionA registered human or exact policy supplies authority.
StandingOnly the signed decision changes accepted state.

99
all proposals: 23
pending: 67
applied: 9
rejected / withdrawn

Latest terminal decision

Jul 19, 2026, 2:12 PM

appliedvpr_fc11a76e1f726ba9

Permit only the exact frozen Sidon 7,193-point witness workflow bound to the registered packet, producer profile, verifier capsule, positive result contract, and exact replay; all other work defers.

Signed by reviewer:will-blair; provenance: signed event.

Exact decision provenanceDecision event, plan, proposal, and Receipt roots

Decision event: vev_2e7d91a72deff1dd
Decision plan: not recorded
Proposal: not recorded
Receipt: not recorded

Proposal ledger

standing, not verdict quality

99 proposals

vpr_491cc97cfdfe98ff
finding.add · Jul 20, 2026, 10:05 PM
pending review
Produced the exact reconstructed 7,194-point Sidon witness for {0,1}^24.
Inspect exact provenance
Proposal
sha256:6958d904e13fd905df77f6bd3b188d57dfa03cce6590c96b897438f9a42d874c
Receipt
sha256:91b9f0c72e2934d3f98a34de93b61a168c8a9ff560a18a63ff4a1ee6ae2f897c
Decision plan
not recorded
Decision event
not recorded
vpr_42e07539b01d81b0
finding.add · Jul 19, 2026, 2:27 PM
pending review
There exists a Sidon subset of {0,1}^24 with at least 7,193 elements.
Inspect exact provenance
Proposal
sha256:ef4c4923b695f198db37ac01bb12a177b09037a4f7c78ffc44ceda0b2c4d4974
Receipt
sha256:dc4fc6351fea032f55c0b3b3b9f159fe434bfbbcb3099d1cc59fe68cdd6b8a5c
Decision plan
not recorded
Decision event
not recorded
vpr_fc11a76e1f726ba9
governance.policy_head · Jul 19, 2026, 2:12 PM
applied
Permit only the exact frozen Sidon 7,193-point witness workflow bound to the registered packet, producer profile, verifier capsule, positive result contract, and exact replay; all other work defers.
Permit only the exact frozen Sidon 7,193-point witness workflow bound to the registered packet, producer profile, verifier capsule, positive result contract, and exact replay; all other work defers.
Inspect exact provenance
Proposal
not recorded
Receipt
not recorded
Decision plan
not recorded
Decision event
vev_2e7d91a72deff1dd
vpr_11b234d1da57f451
finding.add · Jul 19, 2026, 5:36 AM
pending review
There exists a Sidon subset of {0,1}^24 with at least 7,193 elements.
Inspect exact provenance
Proposal
sha256:6ae04d0588d4a0271c80c17c40d7da79b960f530d726a73df92dc6db7d6d8474
Receipt
sha256:709e12d8fab6fa572430b65256caaa98153399715deab76e096101c83de7d6b3
Decision plan
not recorded
Decision event
not recorded
vpr_fc07b71b5d2e6da1
finding.add · Jul 6, 2026, 2:17 PM
pending review
OEIS A309370 a(5) >= 6: a Sidon set of 6 distinct binary 5-vectors with all pairwise sums distinct.
Inspect exact provenance
Proposal
sha256:3abbd54c2fa5fc385a904924883a05adbc2fbc7538a856444b2ed533ac2c0ece
Receipt
not recorded
Decision plan
not recorded
Decision event
not recorded
vpr_c0905e57492c5354
verifier.attach · Jul 6, 2026, 11:56 AM
pending review
backfill frozen verifier re-check
Inspect exact provenance
Proposal
sha256:d68441d8aad36dca32c50aa8b46b1e46dc7ea38031d5770f055479d0bc1fc83e
Receipt
not recorded
Decision plan
not recorded
Decision event
not recorded
vpr_71b4bd8b901833cb
verifier.attach · Jul 6, 2026, 11:56 AM
pending review
backfill frozen verifier re-check
Inspect exact provenance
Proposal
sha256:0fbe51312b417814d8c4d73656ffd7a562d9b3a4f6695dc94cbfb86e78f21104
Receipt
not recorded
Decision plan
not recorded
Decision event
not recorded
vpr_2fbf223be8e66659
verifier.attach · Jul 6, 2026, 11:56 AM
pending review
backfill frozen verifier re-check
Inspect exact provenance
Proposal
sha256:e5452f457e68cab5ee7c9949a810420b3045a06e180a2906363a43fb08470efa
Receipt
not recorded
Decision plan
not recorded
Decision event
not recorded
vpr_d91399474150de37
verifier.attach · Jul 6, 2026, 11:56 AM
pending review
backfill frozen verifier re-check
Inspect exact provenance
Proposal
sha256:6c4d4dfe68d3bd160de012208742991c470100d6d9d20ae68fced9688759123f
Receipt
not recorded
Decision plan
not recorded
Decision event
not recorded
vpr_bb94b859e247d232
verifier.attach · Jul 6, 2026, 11:56 AM
pending review
backfill frozen verifier re-check
Inspect exact provenance
Proposal
sha256:0265039c0d26643e8d4f1392ba24e64e6c5c619bb2abf51bfe7c3559ab618ec0
Receipt
not recorded
Decision plan
not recorded
Decision event
not recorded
vpr_56845cadf66bb7d5
verifier.attach · Jul 6, 2026, 11:56 AM
pending review
backfill frozen verifier re-check
Inspect exact provenance
Proposal
sha256:726fece312c31fdb27ef82549552c064a6b1c313de6fc606f649e99888fefcc0
Receipt
not recorded
Decision plan
not recorded
Decision event
not recorded
vpr_73b621c26a0b17ee
verifier.attach · Jul 6, 2026, 11:56 AM
pending review
backfill frozen verifier re-check
Inspect exact provenance
Proposal
sha256:0c4c4494c6f30af5e6dec5c9dbd42a8de2432e76ba1747ecbb0e5ff923d25710
Receipt
not recorded
Decision plan
not recorded
Decision event
not recorded
vpr_2539a67367a04bca
verifier.attach · Jul 6, 2026, 11:56 AM
pending review
backfill frozen verifier re-check
Inspect exact provenance
Proposal
sha256:66c0ec27a806776bc8e3a15e4f79bc664ccffe3c989dc2fedb94be5d43325fa6
Receipt
not recorded
Decision plan
not recorded
Decision event
not recorded
vpr_1f223d5378d131b5
verifier.attach · Jul 6, 2026, 11:56 AM
pending review
backfill frozen verifier re-check
Inspect exact provenance
Proposal
sha256:e7ed2f82be4c6ddb0db471c2423bfb737ad4c3788b7742970a116ad6d389b653
Receipt
not recorded
Decision plan
not recorded
Decision event
not recorded
vpr_3a8cf18b2b29681f
verifier.attach · Jul 6, 2026, 11:55 AM
pending review
backfill frozen verifier re-check
Inspect exact provenance
Proposal
sha256:03ed84ef153d1070d4787e3c4059e28ccf922d5cfce154a294289fa4504e3ae6
Receipt
not recorded
Decision plan
not recorded
Decision event
not recorded
vpr_57186a56c0aa36dc
verifier.attach · Jul 6, 2026, 11:55 AM
pending review
backfill frozen verifier re-check
Inspect exact provenance
Proposal
sha256:15ff726b4be151b11456a770dbf649ec67609f1ccf9610c839d29e106306bf7d
Receipt
not recorded
Decision plan
not recorded
Decision event
not recorded
vpr_25aa1efa2adf2798
verifier.attach · Jul 6, 2026, 11:55 AM
pending review
backfill frozen verifier re-check
Inspect exact provenance
Proposal
sha256:d379b67a5441755dad12364027098f1b49d7665aa7a7d82df91dc32896ac5a53
Receipt
not recorded
Decision plan
not recorded
Decision event
not recorded
vpr_b559778ac12d1e6b
verifier.attach · Jul 6, 2026, 11:55 AM
pending review
backfill frozen verifier re-check
Inspect exact provenance
Proposal
sha256:d71e835585f46de6ab045a7452dd98d13fe2c09f235e9abc26e54e7fb69f8d60
Receipt
not recorded
Decision plan
not recorded
Decision event
not recorded
vpr_5f5f49f2a25c4c4b
verifier.attach · Jul 6, 2026, 11:55 AM
pending review
backfill frozen verifier re-check
Inspect exact provenance
Proposal
sha256:c7000fac3a6eef57dbab3a9a331e7d21f78d68f491a5958132638a88d053132c
Receipt
not recorded
Decision plan
not recorded
Decision event
not recorded
vpr_6acc644d3753a673
verifier.attach · Jul 6, 2026, 11:55 AM
pending review
backfill frozen verifier re-check
Inspect exact provenance
Proposal
sha256:8fb67f89e9f210972685cb53b00d85a8bf89497bdca5faf3b4ac6802cf61df84
Receipt
not recorded
Decision plan
not recorded
Decision event
not recorded
vpr_13447cab966a86db
verifier.attach · Jul 6, 2026, 11:55 AM
pending review
backfill frozen verifier re-check
Inspect exact provenance
Proposal
sha256:cc8aade0a62efa2fc8325ba3fabb56906d55cbe25de482811928c061e79a046f
Receipt
not recorded
Decision plan
not recorded
Decision event
not recorded
vpr_aabca887046e6def
verifier.attach · Jul 6, 2026, 11:55 AM
pending review
backfill frozen verifier re-check
Inspect exact provenance
Proposal
sha256:3c3776b800bd5ea138997a6592a6eb4d7e05a01a2849a23c908a02e83146a806
Receipt
not recorded
Decision plan
not recorded
Decision event
not recorded
vpr_056375193278a4fc
verifier.attach · Jul 6, 2026, 11:55 AM
pending review
backfill frozen verifier re-check
Inspect exact provenance
Proposal
sha256:cbc3a96f1ac5d828cab1f902dee1de8888bf49765ace46ba11af3ce4a5bb41ff
Receipt
not recorded
Decision plan
not recorded
Decision event
not recorded
vpr_c36efbec6a96c668
finding.add · Jul 6, 2026, 11:55 AM
pending review
OEIS A309370 a(6) >= 15: a Sidon set of 15 distinct binary vectors in {0,1}^6 under componentwise integer addition, all pairwise sums distinct. Frozen-verified by vela-verify (sidon kind).
Inspect exact provenance
Proposal
sha256:ed3b8981287d4afa1c1238743f0ffbd653569371f1bfc802eadf1c791e7c35d1
Receipt
not recorded
Decision plan
not recorded
Decision event
not recorded
vpr_85301ad179e821b3
finding.retract · Jun 17, 2026, 2:43 PM
applied
Duplicate of canonical vf_bf7707a82c7bb252 (same claim OEIS A309370 a(10)>=66); its only backing artifact was the retired legacy remote-mode record va_86d1eafa7a5efdd5. The canonical finding is frozen-verifier-backed by sidon-a10.witness.json.
dedup: duplicate of canonical vf_bf7707a82c7bb252
Inspect exact provenance
Proposal
not recorded
Receipt
not recorded
Decision plan
not recorded
Decision event
not recorded

Proposal	Claim and exact roots	Standing	Recorded
vpr_491cc97cfdfe98ff finding.add	Produced the exact reconstructed 7,194-point Sidon witness for {0,1}^24.Show roots Proposal sha256:6958d904e13fd905df77f6bd3b188d57dfa03cce6590c96b897438f9a42d874c Receipt sha256:91b9f0c72e2934d3f98a34de93b61a168c8a9ff560a18a63ff4a1ee6ae2f897c Decision plan not recorded Decision event not recorded	pending review	Jul 20, 2026, 10:05 PM
vpr_42e07539b01d81b0 finding.add	There exists a Sidon subset of {0,1}^24 with at least 7,193 elements.Show roots Proposal sha256:ef4c4923b695f198db37ac01bb12a177b09037a4f7c78ffc44ceda0b2c4d4974 Receipt sha256:dc4fc6351fea032f55c0b3b3b9f159fe434bfbbcb3099d1cc59fe68cdd6b8a5c Decision plan not recorded Decision event not recorded	pending review	Jul 19, 2026, 2:27 PM
vpr_fc11a76e1f726ba9 governance.policy_head	Permit only the exact frozen Sidon 7,193-point witness workflow bound to the registered packet, producer profile, verifier capsule, positive result contract, and exact replay; all other work defers.Show roots Proposal not recorded Receipt not recorded Decision plan not recorded Decision event vev_2e7d91a72deff1dd Permit only the exact frozen Sidon 7,193-point witness workflow bound to the registered packet, producer profile, verifier capsule, positive result contract, and exact replay; all other work defers.	applied	Jul 19, 2026, 2:12 PM
vpr_11b234d1da57f451 finding.add	There exists a Sidon subset of {0,1}^24 with at least 7,193 elements.Show roots Proposal sha256:6ae04d0588d4a0271c80c17c40d7da79b960f530d726a73df92dc6db7d6d8474 Receipt sha256:709e12d8fab6fa572430b65256caaa98153399715deab76e096101c83de7d6b3 Decision plan not recorded Decision event not recorded	pending review	Jul 19, 2026, 5:36 AM
vpr_fc07b71b5d2e6da1 finding.add	OEIS A309370 a(5) >= 6: a Sidon set of 6 distinct binary 5-vectors with all pairwise sums distinct.Show roots Proposal sha256:3abbd54c2fa5fc385a904924883a05adbc2fbc7538a856444b2ed533ac2c0ece Receipt not recorded Decision plan not recorded Decision event not recorded	pending review	Jul 6, 2026, 2:17 PM
vpr_c0905e57492c5354 verifier.attach	backfill frozen verifier re-checkShow roots Proposal sha256:d68441d8aad36dca32c50aa8b46b1e46dc7ea38031d5770f055479d0bc1fc83e Receipt not recorded Decision plan not recorded Decision event not recorded	pending review	Jul 6, 2026, 11:56 AM
vpr_71b4bd8b901833cb verifier.attach	backfill frozen verifier re-checkShow roots Proposal sha256:0fbe51312b417814d8c4d73656ffd7a562d9b3a4f6695dc94cbfb86e78f21104 Receipt not recorded Decision plan not recorded Decision event not recorded	pending review	Jul 6, 2026, 11:56 AM
vpr_2fbf223be8e66659 verifier.attach	backfill frozen verifier re-checkShow roots Proposal sha256:e5452f457e68cab5ee7c9949a810420b3045a06e180a2906363a43fb08470efa Receipt not recorded Decision plan not recorded Decision event not recorded	pending review	Jul 6, 2026, 11:56 AM
vpr_d91399474150de37 verifier.attach	backfill frozen verifier re-checkShow roots Proposal sha256:6c4d4dfe68d3bd160de012208742991c470100d6d9d20ae68fced9688759123f Receipt not recorded Decision plan not recorded Decision event not recorded	pending review	Jul 6, 2026, 11:56 AM
vpr_bb94b859e247d232 verifier.attach	backfill frozen verifier re-checkShow roots Proposal sha256:0265039c0d26643e8d4f1392ba24e64e6c5c619bb2abf51bfe7c3559ab618ec0 Receipt not recorded Decision plan not recorded Decision event not recorded	pending review	Jul 6, 2026, 11:56 AM
vpr_56845cadf66bb7d5 verifier.attach	backfill frozen verifier re-checkShow roots Proposal sha256:726fece312c31fdb27ef82549552c064a6b1c313de6fc606f649e99888fefcc0 Receipt not recorded Decision plan not recorded Decision event not recorded	pending review	Jul 6, 2026, 11:56 AM
vpr_73b621c26a0b17ee verifier.attach	backfill frozen verifier re-checkShow roots Proposal sha256:0c4c4494c6f30af5e6dec5c9dbd42a8de2432e76ba1747ecbb0e5ff923d25710 Receipt not recorded Decision plan not recorded Decision event not recorded	pending review	Jul 6, 2026, 11:56 AM
vpr_2539a67367a04bca verifier.attach	backfill frozen verifier re-checkShow roots Proposal sha256:66c0ec27a806776bc8e3a15e4f79bc664ccffe3c989dc2fedb94be5d43325fa6 Receipt not recorded Decision plan not recorded Decision event not recorded	pending review	Jul 6, 2026, 11:56 AM
vpr_1f223d5378d131b5 verifier.attach	backfill frozen verifier re-checkShow roots Proposal sha256:e7ed2f82be4c6ddb0db471c2423bfb737ad4c3788b7742970a116ad6d389b653 Receipt not recorded Decision plan not recorded Decision event not recorded	pending review	Jul 6, 2026, 11:56 AM
vpr_3a8cf18b2b29681f verifier.attach	backfill frozen verifier re-checkShow roots Proposal sha256:03ed84ef153d1070d4787e3c4059e28ccf922d5cfce154a294289fa4504e3ae6 Receipt not recorded Decision plan not recorded Decision event not recorded	pending review	Jul 6, 2026, 11:55 AM
vpr_57186a56c0aa36dc verifier.attach	backfill frozen verifier re-checkShow roots Proposal sha256:15ff726b4be151b11456a770dbf649ec67609f1ccf9610c839d29e106306bf7d Receipt not recorded Decision plan not recorded Decision event not recorded	pending review	Jul 6, 2026, 11:55 AM
vpr_25aa1efa2adf2798 verifier.attach	backfill frozen verifier re-checkShow roots Proposal sha256:d379b67a5441755dad12364027098f1b49d7665aa7a7d82df91dc32896ac5a53 Receipt not recorded Decision plan not recorded Decision event not recorded	pending review	Jul 6, 2026, 11:55 AM
vpr_b559778ac12d1e6b verifier.attach	backfill frozen verifier re-checkShow roots Proposal sha256:d71e835585f46de6ab045a7452dd98d13fe2c09f235e9abc26e54e7fb69f8d60 Receipt not recorded Decision plan not recorded Decision event not recorded	pending review	Jul 6, 2026, 11:55 AM
vpr_5f5f49f2a25c4c4b verifier.attach	backfill frozen verifier re-checkShow roots Proposal sha256:c7000fac3a6eef57dbab3a9a331e7d21f78d68f491a5958132638a88d053132c Receipt not recorded Decision plan not recorded Decision event not recorded	pending review	Jul 6, 2026, 11:55 AM
vpr_6acc644d3753a673 verifier.attach	backfill frozen verifier re-checkShow roots Proposal sha256:8fb67f89e9f210972685cb53b00d85a8bf89497bdca5faf3b4ac6802cf61df84 Receipt not recorded Decision plan not recorded Decision event not recorded	pending review	Jul 6, 2026, 11:55 AM
vpr_13447cab966a86db verifier.attach	backfill frozen verifier re-checkShow roots Proposal sha256:cc8aade0a62efa2fc8325ba3fabb56906d55cbe25de482811928c061e79a046f Receipt not recorded Decision plan not recorded Decision event not recorded	pending review	Jul 6, 2026, 11:55 AM
vpr_aabca887046e6def verifier.attach	backfill frozen verifier re-checkShow roots Proposal sha256:3c3776b800bd5ea138997a6592a6eb4d7e05a01a2849a23c908a02e83146a806 Receipt not recorded Decision plan not recorded Decision event not recorded	pending review	Jul 6, 2026, 11:55 AM
vpr_056375193278a4fc verifier.attach	backfill frozen verifier re-checkShow roots Proposal sha256:cbc3a96f1ac5d828cab1f902dee1de8888bf49765ace46ba11af3ce4a5bb41ff Receipt not recorded Decision plan not recorded Decision event not recorded	pending review	Jul 6, 2026, 11:55 AM
vpr_c36efbec6a96c668 finding.add	OEIS A309370 a(6) >= 15: a Sidon set of 15 distinct binary vectors in {0,1}^6 under componentwise integer addition, all pairwise sums distinct. Frozen-verified by vela-verify (sidon kind).Show roots Proposal sha256:ed3b8981287d4afa1c1238743f0ffbd653569371f1bfc802eadf1c791e7c35d1 Receipt not recorded Decision plan not recorded Decision event not recorded	pending review	Jul 6, 2026, 11:55 AM
vpr_85301ad179e821b3 finding.retract	Duplicate of canonical vf_bf7707a82c7bb252 (same claim OEIS A309370 a(10)>=66); its only backing artifact was the retired legacy remote-mode record va_86d1eafa7a5efdd5. The canonical finding is frozen-verifier-backed by sidon-a10.witness.json.Show roots Proposal not recorded Receipt not recorded Decision plan not recorded Decision event not recorded dedup: duplicate of canonical vf_bf7707a82c7bb252	applied	Jun 17, 2026, 2:43 PM

Page 1 of 4