Finding · sidon-sets
recordedvf_745184f1556eee4b
OEIS A309370 a(20) >= 1989
Canonical assertion
a Sidon set of 1989 distinct binary vectors in {0,1}^20 under componentwise integer addition, with all pairwise sums distinct. Frozen-verified by vela-verify (sidon kind).
Rendered from stored source; the pinned checkout remains the exact record.- model_output
- computational
- 0 spans
- not recorded
- recorded
Scope and conditions
computationalManually added finding; requires evidence review before scientific use.
Source record
0 evidence spans- Source
- verified-combinatorics (canonical Vela witness sidon-a20.witness.json)
- Type
- model_output
- Recorded
- Jun 16, 2026, 11:28 PM
- Updated
- not recorded
Reproduce the source snapshot
Replay establishes the exact record and checks. It does not add scientific authority.
Exact record identityFinding ID, frontier identity, and pinned Git source
- vf_745184f1556eee4b
- vfr_496956067dc5ad79
- 825657d7e87618c0aa6fc9af7e3182e05f324750
- 091277487f92918f3a2016b5463b1a78579a4c9a
Exact source and rootsGit 825657d7e876 and content-addressed ledgers
Source identity
- Commit
- 825657d7e87618c0aa6fc9af7e3182e05f324750
- Tree
- 091277487f92918f3a2016b5463b1a78579a4c9a
- Committed
- 2026-07-20T19:17:24-04:00
- Repository
- Open source
Content roots
- Event log
- sha256:11a668d1cdd9caa18f6c3c78ac8c03431bd2ab9beb71f3c62c747d8a7b6571cd
- Snapshot
- sha256:0441baf3d3c0f7f58e51d8d0b54d2e20ee94c57cfe3fd52ec0ea6dde2ee0c92d
- Proposals
- sha256:c0908b306b5b6bc022ce4355f630215ea203a8c8b47072e62bc325e3de57ef22
- Actor registry
- sha256:56255ef713f476f7b5dbce3a52003d1a6e7d6eef92f4895c4e9edb545c173cfa
- Artifacts
- sha256:65318a8e8ff7dca020c07c5633855d14d24b92fcaed903e483134140cc32d632