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

Review

reviewable changes 39 · open 32 · resolved 7 · accept events 0

lifecycle

  1. 01source / target

    A source or target enters

    A paper, dataset, protocol, result, note, gap, or benchmark target enters the engine as material for review.

    inspect
  2. 02attempt

    An attempt packet is produced

    A human or agent run records input material, declared output material, environment, disclosures, logs, cost, and declared target.

    inspect
  3. 03reviewable change

    A record change is drafted

    The attempt can produce a reviewable frontier change with affected findings, evidence, rationale, and proof impact.

    inspect
  4. 04check

    Checks inspect the change

    Schema, evidence, contradiction, benchmark, and proof checks decide whether the edit is ready.

    inspect
  5. 05review

    A review event decides

    A human or authorized reviewer accepts, rejects, caveats, or revises the reviewable change under authority.

    inspect
  6. 06proof

    Proof and maps update

    The accepted event can now update proof freshness, citations, atlases, and constellations.

    inspect

Review chain

  1. 01request

    Change request

    Additive combinatorics: Sidon sets and N(h,k) bounds receives a reviewable source, finding, caveat, replication, evaluation, or proof-affecting edit.

    open review →
  2. 02packet

    Diff packet

    The packet names affected record objects, evidence, rationale, reviewer-facing fields, and expected proof impact.

    open the campaign →
  3. 03checks

    Check output

    Schema, provenance, benchmark, contradiction, and proof checks decide whether the request is ready to read.

    inspect checks →
  4. 04review

    Reviewer decision

    A steward accepts, rejects, caveats, revises, or retracts the request under an inspectable identity.

    read queue →
  5. 05accepted

    Accepted event

    Only the accepted event mutates frontier state. Atlases, constellations, and search update from that record state.

    inspect events →
verified — A frozen deterministic verifier re-checked the claim and passed.verifiedreplayed — The event chain re-folds end to end and matches the recorded head.replayedsuperseded — A newer accepted record replaced this one; it stays under its seam.supersededbanked — A closed route or proven obstruction, kept at full ink as a result.bankedleased — A key-holder holds a live lease on the obligation (claimed_at + ttl).leasedcontested — An unresolved contradiction or adversarial probe names this claim.contesteddeprecated — Signed withdrawal — retraction or owner deprecation; retained, not erased.deprecated

Open · 32

  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:research-bot-2026-05-092026-05-09
    id
    vpr_0278b354889109bb
    →
    vf_63f4bcd4f4904a08

    Manual finding added to frontier state

    contribution class

    extraction

    applied

    source and evidence

    vf_63f4bcd4f4904a08

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:research-bot-2026-05-09

    reviewable change id vpr_0278b354889109bb

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:research-bot-2026-05-092026-05-09
    id
    vpr_05864abc06a6a424
    →
    vf_5a1d047a8c85953a

    Manual finding added to frontier state

    contribution class

    extraction

    applied

    source and evidence

    vf_5a1d047a8c85953a

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:research-bot-2026-05-09

    reviewable change id vpr_05864abc06a6a424

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.span_repairclaimed — no verifier run, no signed judgmentunreviewedreviewer:solo-maintainerreviewer:solo-maintainer2026-05-21
    id
    vpr_11afa6e155380c7f
    →
    vf_eee5b19763f3c625

    Attach source-backed abstract span for the Ellenberg-Gijswijt cap-set result; leaves the numeric constant as methodology context rather than new accepted evidence.

    contribution class

    frontier change

    applied

    source and evidence

    vf_eee5b19763f3c625

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by reviewer:solo-maintainer

    reviewable change id vpr_11afa6e155380c7f

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:canopus-lean-2026-06-032026-06-03
    id
    vpr_1879d8894dd07e64
    →
    vf_c9ab5970cdbcb6af

    Candidate claim vc_5aab0a22f7cdebf1 imported from artifact packet cap_087198a92d1e30a2

    contribution class

    extraction

    applied

    source and evidence

    vf_c9ab5970cdbcb6af

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:canopus-lean-2026-06-03

    reviewable change id vpr_1879d8894dd07e64

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.span_repairclaimed — no verifier run, no signed judgmentunreviewedreviewer:solo-maintainerreviewer:solo-maintainer2026-05-21
    id
    vpr_206f9fda54ef0d0f
    →
    vf_f16e736879b4b42c

    Attach source-backed abstract span for the Bloom-Sisask Roth log-barrier result; does not change the assertion.

    contribution class

    frontier change

    applied

    source and evidence

    vf_f16e736879b4b42c

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by reviewer:solo-maintainer

    reviewable change id vpr_206f9fda54ef0d0f

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:research-bot-2026-05-092026-05-09
    id
    vpr_2436bdba91b28491
    →
    vf_f16e736879b4b42c

    Manual finding added to frontier state

    contribution class

    extraction

    applied

    source and evidence

    vf_f16e736879b4b42c

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:research-bot-2026-05-09

    reviewable change id vpr_2436bdba91b28491

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:research-bot-2026-05-092026-05-09
    id
    vpr_3ff7da5280e3bb36
    →
    vf_e2252a5f8d8a5049

    Manual finding added to frontier state

    contribution class

    extraction

    applied

    source and evidence

    vf_e2252a5f8d8a5049

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:research-bot-2026-05-09

    reviewable change id vpr_3ff7da5280e3bb36

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:research-bot-2026-05-092026-05-09
    id
    vpr_432a47d996c5ae1d
    →
    vf_69c0db505746c28e

    Manual finding added to frontier state

    contribution class

    extraction

    applied

    source and evidence

    vf_69c0db505746c28e

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:research-bot-2026-05-09

    reviewable change id vpr_432a47d996c5ae1d

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • evidence_atom.locator_repairclaimed — no verifier run, no signed judgmentunreviewedreviewer:solo-maintainerreviewer:solo-maintainer2026-05-21
    id
    vpr_432fe23d5889f731
    →
    vea_94fe872efeb6e477

    Exact arXiv locator for Ellenberg-Gijswijt cap-set result; records a reviewable source locator without changing the finding assertion.

    contribution class

    frontier change

    applied

    source and evidence

    vea_94fe872efeb6e477

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by reviewer:solo-maintainer

    reviewable change id vpr_432fe23d5889f731

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:research-bot-2026-05-092026-05-09
    id
    vpr_44f9914c5b11193d
    →
    vf_203f4969695ff256

    Manual finding added to frontier state

    contribution class

    extraction

    applied

    source and evidence

    vf_203f4969695ff256

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:research-bot-2026-05-09

    reviewable change id vpr_44f9914c5b11193d

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:research-bot-2026-05-092026-05-09
    id
    vpr_48072f346e09665f
    →
    vf_3bde881fed68d7dd

    Manual finding added to frontier state

    contribution class

    extraction

    applied

    source and evidence

    vf_3bde881fed68d7dd

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:research-bot-2026-05-09

    reviewable change id vpr_48072f346e09665f

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • artifact.assertverified — A frozen deterministic verifier re-checked the claim and passed.verifiedagent — machine actor, no signing keyagent:canopus-lean-2026-06-032026-06-03
    id
    vpr_4c04d16e317faf62
    →
    va_86d1eafa7a5efdd5

    Import artifact va_6a358e229f98b723 from artifact packet cap_087198a92d1e30a2

    contribution class

    source artifact

    applied

    source and evidence

    va_86d1eafa7a5efdd5

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:canopus-lean-2026-06-03

    reviewable change id vpr_4c04d16e317faf62

    review contract

    artifact gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • evidence_atom.locator_repairclaimed — no verifier run, no signed judgmentunreviewedreviewer:solo-maintainerreviewer:solo-maintainer2026-05-21
    id
    vpr_5184bd816ed820d8
    →
    vea_73acfebcd3de1dc6

    Exact arXiv locator for Bloom-Sisask Roth log-barrier result; records a reviewable source locator without changing the finding assertion.

    contribution class

    frontier change

    applied

    source and evidence

    vea_73acfebcd3de1dc6

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by reviewer:solo-maintainer

    reviewable change id vpr_5184bd816ed820d8

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:research-bot-2026-05-092026-05-09
    id
    vpr_582912e658bdcd87
    →
    vf_e6443b35810cc321

    Manual finding added to frontier state

    contribution class

    extraction

    applied

    source and evidence

    vf_e6443b35810cc321

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:research-bot-2026-05-09

    reviewable change id vpr_582912e658bdcd87

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.reviewclaimed — no verifier run, no signed judgmentunder reviewreviewer:will-blairreviewer:will-blair2026-05-09
    id
    vpr_6908c4cf64f0f4ba
    →
    vf_3bde881fed68d7dd

    Bound 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.

    contribution class

    review

    applied

    source and evidence

    vf_3bde881fed68d7dd

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by reviewer:will-blair

    reviewable change id vpr_6908c4cf64f0f4ba

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:research-bot-2026-05-092026-05-09
    id
    vpr_7092498559ec0e3f
    →
    vf_d7781ce5f2c7330a

    Manual finding added to frontier state

    contribution class

    extraction

    applied

    source and evidence

    vf_d7781ce5f2c7330a

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:research-bot-2026-05-09

    reviewable change id vpr_7092498559ec0e3f

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:research-bot-2026-05-092026-05-09
    id
    vpr_74482e3213627d43
    →
    vf_44e0fc831ac3e089

    Manual finding added to frontier state

    contribution class

    extraction

    applied

    source and evidence

    vf_44e0fc831ac3e089

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:research-bot-2026-05-09

    reviewable change id vpr_74482e3213627d43

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:research-bot-2026-05-092026-05-09
    id
    vpr_7b2fa965aa1014d3
    →
    vf_26b3e76e95e01f3e

    Manual finding added to frontier state

    contribution class

    extraction

    applied

    source and evidence

    vf_26b3e76e95e01f3e

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:research-bot-2026-05-09

    reviewable change id vpr_7b2fa965aa1014d3

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • artifact.assertverified — A frozen deterministic verifier re-checked the claim and passed.verifiedagent — machine actor, no signing keyagent:b3-verifier2026-06-02
    id
    vpr_7cb85ed4bc6dfffe
    →
    va_39d89c40cc68ad9b

    Import artifact repro_output_vtask_6db2a995822dfb91 from artifact packet cap_repro_vtask_6db2a995822dfb91

    contribution class

    source artifact

    pending_review

    source and evidence

    va_39d89c40cc68ad9b

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:b3-verifier

    reviewable change id vpr_7cb85ed4bc6dfffe

    review contract

    artifact gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:research-bot-2026-05-092026-05-09
    id
    vpr_7ff6228e76041a1d
    →
    vf_d018b0dfe8574a33

    Manual finding added to frontier state

    contribution class

    extraction

    applied

    source and evidence

    vf_d018b0dfe8574a33

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:research-bot-2026-05-09

    reviewable change id vpr_7ff6228e76041a1d

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:research-bot-2026-05-092026-05-09
    id
    vpr_a3f3e64fc4888fc0
    →
    vf_7273c1823848f6e3

    Manual finding added to frontier state

    contribution class

    extraction

    applied

    source and evidence

    vf_7273c1823848f6e3

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:research-bot-2026-05-09

    reviewable change id vpr_a3f3e64fc4888fc0

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:research-bot-2026-05-092026-05-09
    id
    vpr_a7deb3a116a9a51c
    →
    vf_37afa7032e4b3d06

    Manual finding added to frontier state

    contribution class

    extraction

    applied

    source and evidence

    vf_37afa7032e4b3d06

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:research-bot-2026-05-09

    reviewable change id vpr_a7deb3a116a9a51c

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:research-bot-2026-05-092026-05-09
    id
    vpr_aa438fc28809dfb1
    →
    vf_a4c54b1f9ff55bba

    Manual finding added to frontier state

    contribution class

    extraction

    applied

    source and evidence

    vf_a4c54b1f9ff55bba

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:research-bot-2026-05-09

    reviewable change id vpr_aa438fc28809dfb1

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:research-bot-2026-05-092026-05-09
    id
    vpr_d19f48e14e67429d
    →
    vf_9c462305947cb237

    Manual finding added to frontier state

    contribution class

    extraction

    applied

    source and evidence

    vf_9c462305947cb237

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:research-bot-2026-05-09

    reviewable change id vpr_d19f48e14e67429d

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:b3-verifier2026-06-02
    id
    vpr_d341190bd42e2b22
    →
    vf_9f7df545ebd6e8df

    Candidate claim claim_repro_vtask_6db2a995822dfb91 imported from artifact packet cap_repro_vtask_6db2a995822dfb91

    contribution class

    extraction

    pending_review

    source and evidence

    vf_9f7df545ebd6e8df

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:b3-verifier

    reviewable change id vpr_d341190bd42e2b22

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:research-bot-2026-05-092026-05-09
    id
    vpr_d4460bfc4377511d
    →
    vf_0baa77910460c953

    Manual finding added to frontier state

    contribution class

    extraction

    applied

    source and evidence

    vf_0baa77910460c953

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:research-bot-2026-05-09

    reviewable change id vpr_d4460bfc4377511d

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:research-bot-2026-05-092026-05-09
    id
    vpr_d56eb9bd0cb6b9fb
    →
    vf_eee5b19763f3c625

    Manual finding added to frontier state

    contribution class

    extraction

    applied

    source and evidence

    vf_eee5b19763f3c625

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:research-bot-2026-05-09

    reviewable change id vpr_d56eb9bd0cb6b9fb

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:research-bot-2026-05-092026-05-09
    id
    vpr_db8d9ad870195994
    →
    vf_8aa6c35eb4287a8f

    Manual finding added to frontier state

    contribution class

    extraction

    applied

    source and evidence

    vf_8aa6c35eb4287a8f

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:research-bot-2026-05-09

    reviewable change id vpr_db8d9ad870195994

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:research-bot-2026-05-092026-05-09
    id
    vpr_e39490231271928a
    →
    vf_f58c1d68daec29c3

    Manual finding added to frontier state

    contribution class

    extraction

    applied

    source and evidence

    vf_f58c1d68daec29c3

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:research-bot-2026-05-09

    reviewable change id vpr_e39490231271928a

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.span_repairclaimed — no verifier run, no signed judgmentunreviewedreviewer:solo-maintainerreviewer:solo-maintainer2026-05-21
    id
    vpr_e3d8c0aa1f6869e5
    →
    vf_7273c1823848f6e3

    Attach source-backed abstract span for the Croot-Lev-Pach Z_4^n bound; does not change the assertion.

    contribution class

    frontier change

    applied

    source and evidence

    vf_7273c1823848f6e3

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by reviewer:solo-maintainer

    reviewable change id vpr_e3d8c0aa1f6869e5

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:research-bot-2026-05-092026-05-09
    id
    vpr_e8f2d600cbebd03d
    →
    vf_11e2e2a19e75887d

    Manual finding added to frontier state

    contribution class

    extraction

    applied

    source and evidence

    vf_11e2e2a19e75887d

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:research-bot-2026-05-09

    reviewable change id vpr_e8f2d600cbebd03d

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • evidence_atom.locator_repairclaimed — no verifier run, no signed judgmentunreviewedreviewer:solo-maintainerreviewer:solo-maintainer2026-05-21
    id
    vpr_fb457b1d570b79b6
    →
    vea_a92afe2675590334

    Exact arXiv locator for Croot-Lev-Pach progression-free Z_4^n result; records a reviewable source locator without changing the finding assertion.

    contribution class

    frontier change

    applied

    source and evidence

    vea_a92afe2675590334

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by reviewer:solo-maintainer

    reviewable change id vpr_fb457b1d570b79b6

    review contract

    reviewer gate

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →

Resolved · 7

  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:vela-curation-bot2026-05-10
    id
    vpr_08e1cc9af5a2d43b
    →
    vf_2f88cb8636b54834

    Manual finding added to frontier state

    contribution class

    extraction

    rejected

    source and evidence

    vf_2f88cb8636b54834

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:vela-curation-bot

    reviewable change id vpr_08e1cc9af5a2d43b

    review contract

    rejected event

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:vela-curation-bot2026-05-10
    id
    vpr_2c472e28d0c49f36
    →
    vf_3af13d937db0a00b

    Manual finding added to frontier state

    contribution class

    extraction

    rejected

    source and evidence

    vf_3af13d937db0a00b

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:vela-curation-bot

    reviewable change id vpr_2c472e28d0c49f36

    review contract

    rejected event

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:vela-curation-bot2026-05-10
    id
    vpr_2d6cbeca13b7a1c4
    →
    vf_bfafae73e6095459

    Manual finding added to frontier state

    contribution class

    extraction

    rejected

    source and evidence

    vf_bfafae73e6095459

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:vela-curation-bot

    reviewable change id vpr_2d6cbeca13b7a1c4

    review contract

    rejected event

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:vela-curation-bot2026-05-10
    id
    vpr_51f69f5123255164
    →
    vf_eef55d01b7df0fa9

    Manual finding added to frontier state

    contribution class

    extraction

    rejected

    source and evidence

    vf_eef55d01b7df0fa9

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:vela-curation-bot

    reviewable change id vpr_51f69f5123255164

    review contract

    rejected event

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:vela-curation-bot2026-05-10
    id
    vpr_68ccf87c8c2cb987
    →
    vf_8679fce6b4231a88

    Manual finding added to frontier state

    contribution class

    extraction

    rejected

    source and evidence

    vf_8679fce6b4231a88

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:vela-curation-bot

    reviewable change id vpr_68ccf87c8c2cb987

    review contract

    rejected event

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:vela-curation-bot2026-05-10
    id
    vpr_d619346a962a29ff
    →
    vf_5a188a48b5253ffe

    Manual finding added to frontier state

    contribution class

    extraction

    rejected

    source and evidence

    vf_5a188a48b5253ffe

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:vela-curation-bot

    reviewable change id vpr_d619346a962a29ff

    review contract

    rejected event

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →
  • finding.addclaimed — no verifier run, no signed judgmentproposedagent — machine actor, no signing keyagent:vela-curation-bot2026-05-10
    id
    vpr_f51ae4c8da75740a
    →
    vf_013da185b81df2b4

    Manual finding added to frontier state

    contribution class

    extraction

    rejected

    source and evidence

    vf_013da185b81df2b4

    The source handle stays candidate material until review accepts it.

    engine context

    drafted by agent:vela-curation-bot

    reviewable change id vpr_f51ae4c8da75740a

    review contract

    rejected event

    Preview the state effect before accepting the event.

    proof effect

    preview pending

    Open the preview to see affected state.

    inspect this change →

Reviewers

Each reviewer holds their own Ed25519 key, so an accept is attributable to a named human, not the steward's server. Registering a key grants authority to accept a proposed write — never to bypass the verifier gate.

  • reviewer:will-blairkey 4892…455e
    active
Add a reviewer
  1. The reviewer generates their own key (the private seed never leaves their machine). Generate one here for them, or have them run vela sign generate-keypair.
  2. You register their public key on this frontier with the command below.
  3. They sign accepts with their key (VELA_REVIEWER_KEY + VELA_REVIEWER_ACTOR_ID).
Register (run as the frontier owner):
vela actor add sidon-sets reviewer:<name> --pubkey <64-hex-pubkey>

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.