Vela
✦ 5 frontiers

frontiers / frontier

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

constellation seal · derived from vfr_496956067dc5ad79
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

Trails

identities

agent — machine actor, no signing keyagent:research-bot-2026-05-0921reviewer:solo-maintainerreviewer:solo-maintainer8reviewer:willreviewer:will2reviewer:will-blairreviewer:will-blair1reviewer:manualreviewer:manual1

events

  1. verified — A frozen deterministic verifier re-checked the claim and passed.finding.assertedreviewer:willreviewer:willCandidate claim vc_5aab0a22f7cdebf1 imported from artifact packet cap_087198a92d1e30a22026-06-03
  2. verified — A frozen deterministic verifier re-checked the claim and passed.artifact.assertedreviewer:willreviewer:willImport artifact va_6a358e229f98b723 from artifact packet cap_087198a92d1e30a22026-06-03
  3. verified — A frozen deterministic verifier re-checked the claim and passed.artifact.assertedreviewer:solo-maintainerreviewer:solo-maintainerRegister Lean proof-assistant slots for theorem-level Sidon follow-up; no proof completion is claimed.2026-05-21
  4. verified — A frozen deterministic verifier re-checked the claim and passed.artifact.assertedreviewer:solo-maintainerreviewer:solo-maintainerRegister theorem-level locators for the Sidon v0.358 slice without claiming formal proof.2026-05-21
  5. finding.span_repairedreviewer:solo-maintainerreviewer:solo-maintainerAttach source-backed abstract span for the Ellenberg-Gijswijt cap-set result; leaves the numeric constant as methodology context rather than new accepted evidence.2026-05-21
  6. evidence_atom.locator_repairedreviewer:solo-maintainerreviewer:solo-maintainerExact arXiv locator for Ellenberg-Gijswijt cap-set result; records a reviewable source locator without changing the finding assertion.2026-05-21
  7. finding.span_repairedreviewer:solo-maintainerreviewer:solo-maintainerAttach source-backed abstract span for the Bloom-Sisask Roth log-barrier result; does not change the assertion.2026-05-21
  8. evidence_atom.locator_repairedreviewer:solo-maintainerreviewer:solo-maintainerExact arXiv locator for Bloom-Sisask Roth log-barrier result; records a reviewable source locator without changing the finding assertion.2026-05-21
  9. finding.span_repairedreviewer:solo-maintainerreviewer:solo-maintainerAttach source-backed abstract span for the Croot-Lev-Pach Z_4^n bound; does not change the assertion.2026-05-21
  10. evidence_atom.locator_repairedreviewer:solo-maintainerreviewer:solo-maintainerExact arXiv locator for Croot-Lev-Pach progression-free Z_4^n result; records a reviewable source locator without changing the finding assertion.2026-05-21
  11. verified — A frozen deterministic verifier re-checked the claim and passed.finding.assertedagent — machine actor, no signing keyagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09
  12. verified — A frozen deterministic verifier re-checked the claim and passed.finding.assertedagent — machine actor, no signing keyagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09
  13. verified — A frozen deterministic verifier re-checked the claim and passed.finding.assertedagent — machine actor, no signing keyagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09
  14. verified — A frozen deterministic verifier re-checked the claim and passed.finding.assertedagent — machine actor, no signing keyagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09
  15. verified — A frozen deterministic verifier re-checked the claim and passed.finding.assertedagent — machine actor, no signing keyagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09
  16. verified — A frozen deterministic verifier re-checked the claim and passed.finding.assertedagent — machine actor, no signing keyagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09
  17. verified — A frozen deterministic verifier re-checked the claim and passed.finding.assertedagent — machine actor, no signing keyagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09
  18. verified — A frozen deterministic verifier re-checked the claim and passed.finding.assertedagent — machine actor, no signing keyagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09
  19. verified — A frozen deterministic verifier re-checked the claim and passed.finding.assertedagent — machine actor, no signing keyagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09
  20. verified — A frozen deterministic verifier re-checked the claim and passed.finding.assertedagent — machine actor, no signing keyagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09
  21. verified — A frozen deterministic verifier re-checked the claim and passed.finding.assertedagent — machine actor, no signing keyagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09
  22. verified — A frozen deterministic verifier re-checked the claim and passed.finding.assertedagent — machine actor, no signing keyagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09
  23. verified — A frozen deterministic verifier re-checked the claim and passed.finding.assertedagent — machine actor, no signing keyagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09
  24. verified — A frozen deterministic verifier re-checked the claim and passed.finding.assertedagent — machine actor, no signing keyagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09
  25. verified — A frozen deterministic verifier re-checked the claim and passed.finding.assertedagent — machine actor, no signing keyagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09
  26. verified — A frozen deterministic verifier re-checked the claim and passed.finding.assertedagent — machine actor, no signing keyagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09
  27. verified — A frozen deterministic verifier re-checked the claim and passed.finding.assertedagent — machine actor, no signing keyagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09
  28. verified — A frozen deterministic verifier re-checked the claim and passed.finding.assertedagent — machine actor, no signing keyagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09
  29. verified — A frozen deterministic verifier re-checked the claim and passed.artifact.assertedreviewer:manualreviewer:manualartifact deposit2026-05-09
  30. finding.reviewedreviewer:will-blairreviewer:will-blairBound and construction look correct under the Nathanson hypothesis but I want a Lean stub before promoting to accepted-core. The proof step that reduces geometric to polynomial diameter needs an explicit witness.2026-05-09
  31. verified — A frozen deterministic verifier re-checked the claim and passed.finding.assertedagent — machine actor, no signing keyagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09
  32. verified — A frozen deterministic verifier re-checked the claim and passed.finding.assertedagent — machine actor, no signing keyagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09
  33. verified — A frozen deterministic verifier re-checked the claim and passed.finding.assertedagent — machine actor, no signing keyagent:research-bot-2026-05-09Manual finding added to frontier state2026-05-09

finding.noted · reviewer:will-blair · 1 day

renders the record as of vev_d199cb2e · 1,338 events · hub

Search Vela

Jump to a section, signal, campaign, document, primitive, work path, frontier, record index, atlas, constellation, agent, capability, or full-state search.