finding record / sidon-sets
contestedvf_3bde881fed68d7dd
vf_3bde881fed68d7dd
Canonical assertion
The h-squared-dissociated set construction needed for the polynomial bound has diameter polynomial in k, replacing geometric components in the original construction.
Notation is rendered from the stored source. The pinned checkout remains the exact record.
- model_output
- theoretical
- 0 spans
- contested
Scope and conditions
theoretical
Manually added finding; requires evidence review before scientific use.
Provenance summary
- ChatGPT-5.5-Pro session, 2026-05-08, ~2 hours guided
- model_output
- May 9, 2026, 7:20 PM
- not recorded
- 0
Exact record identityFinding ID, frontier identity, and pinned Git source
- vf_3bde881fed68d7dd
- 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