Proposed change
reason
Manual finding added to frontier state
finding type
theoretical
proposed confidence
0.85
confidence basis
operator-supplied frontier prior; review required
frontiers / frontier
Reviewable change
back to reviewLindstrom's upper bound for Sidon-set size in {1,...,N} is sqrt(N) + N^{1/4} + 1, tightening the Erdos-Turan bound by a factor of sqrt(2).
This is a proposal, not yet accepted frontier state. It names what it would change and who proposed it. Only an accepted review event, signed under reviewer authority, writes it into the frontier. Until then it carries no authority over the record.
Proposed change
reason
Manual finding added to frontier state
finding type
theoretical
proposed confidence
0.85
confidence basis
operator-supplied frontier prior; review required
Provenance
proposed by
agent:research-bot-2026-05-09
actor type
human
created at
2026-05-09
target type
finding
Affected finding
inspect finding →Lindstrom's upper bound for Sidon-set size in {1,...,N} is sqrt(N) + N^{1/4} + 1, tightening the Erdos-Turan bound by a factor of sqrt(2).
vf_f58c1d68daec29c3The diff is computed against current frontier state, the same diff a reviewer reads before deciding.
The live diff is computed from a writable workspace. This frontier is read-only here, so the change is shown as recorded without a recomputed before / after.
Canopus treats material changes like reviewable requests: one bounded packet, check output, reviewer decision, and accepted frontier effect.
Additive combinatorics: Sidon sets and N(h,k) bounds receives a reviewable source, finding, caveat, replication, evaluation, or proof-affecting edit.
The packet names affected record objects, evidence, rationale, reviewer-facing fields, and expected proof impact.
Schema, provenance, benchmark, contradiction, and proof checks decide whether the request is ready to read.
A steward accepts, rejects, caveats, revises, or retracts the request under an inspectable identity.
Only the accepted event mutates frontier state. Atlases, constellations, and search update from that record state.