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

id: vfr_496956067dc5ad79
license: CC-BY-4.0
findings: 22
accepted core: 1
contested: 1
links: 0
sources: 22
evidence: 22
avg conf: 0.83

used by 1 · replayed by 1 producer · second seat open

e33/33 · finding.asserted · reviewer:will · 2026-06-03 · null→e123

Artifacts

deposited artifacts

Sidon theorem locator manifest v0.358va_49c6b11cca269230source_file · application/json · CC-BY-4.0

sha256 6a4b15192dbaf61c514b0fefef80b971… · .vela/artifact-blobs/sha256/6a4b15192dbaf61c514b0fefef80b97127b65249311f37e54bb23334eac7fb1a

introduced byreviewer:solo-maintainer· 2026-05-21e30/33vev_4b72f36cba6fe4c0

Sidon Lean theorem slots v0.358va_825b900b32e74b6asource_file · text/x-lean · Apache-2.0

sha256 9988da3bc38f86237f876719cc49a45a… · .vela/artifact-blobs/sha256/9988da3bc38f86237f876719cc49a45a7ca5f3e2ca9016d9b008b4484a1040e3

introduced byreviewer:solo-maintainer· 2026-05-21e31/33vev_a7d239f89f068d64

Verified Sidon set of size 66 in {0,1}^10 (A309370 a(10) >= 66)va_86d1eafa7a5efdd5dataset · application/json · public source locator; no restricted bytes deposited

sha256 6a358e229f98b72361c606ef8a18bc97… · examples/sidon-sets/discoveries/oeis-A309370-submission/sidon_n10_size66_CANDIDATE.txt

introduced byreviewer:will· 2026-06-03e32/33vev_d39480845b337497

Lean 4 stub: h-squared-dissociated polynomial-diameter sketchva_e3df5bb17c7eead9source_file · text/x-lean · Apache-2.0

sha256 290bfbff96297718b2972c86aadb338e… · .vela/artifact-blobs/sha256/290bfbff96297718b2972c86aadb338e3618fa2e37bc0301933f7dff07f265f8

introduced byreviewer:manual· 2026-05-09e5/33vev_37fde12745314ba6

Search Vela