Open protocol for scientific state

Version control for scientific state.

Keep every result attached to the evidence, verifier, and decision that made it usable.

Inspect a verified result Reproduce it locally GitHub ↗
The Vela evidence sailNine stored witnesses converge through a frozen verifier and an authority decision into one replayable accepted root.
LIVE PROOF / 2026-06-05

OEIS A309370

OEIS accepted ↗
ClaimA309370

A bounded Sidon-set improvement in a published frontier.

A result is only as useful as the route behind it.

A paper can tell you what happened. Vela keeps the coordinates needed to continue: evidence, exact checks, authority, and the event history that rebuilds accepted state.

Detached output42Where did it come from?

One result, end to end

Follow the receipt across the frontier.

The same scientific state remains in view while inspection becomes reproduction, contribution, and review.

SIDON SETS / A309370FRONTIER 825657d7e876
The Vela frontier voyageFour views of the same record show inspection, reproduction, contribution, and authority review.CLAIMVERIFIERAUTHORITYROOTSOURCERUN CHECKSAME RESULTNEXTWORKLANDRECEIPTPROPOSALSIGNED POLICYACCEPTNEW ROOT
InspectInspect the whole result

See claims, evidence, authority, and roots together.

02
reproduce

Re-run the check

Reproduction does not require trust in the model or producer.

examples/sidon-a309370
git clone https://github.com/vela-science/sidon-frontier.gitcd sidon-frontiergit checkout 825657d7e87618c0aa6fc9af7e3182e05f324750vela reproduce .
verifiedsame witnesses · same check · same result
Use the reproduction guide →
03
contribute

Land bounded work

Negative and failed work can remain useful without changing accepted state.

nextworklandreceipt
Use the producer guide →
04
review

Keep authority explicit

Agents may prepare evidence; a human key or exact signed policy controls acceptance.

Verifier pass ≠ authority. An agent may prepare a proposal; a human key or signed narrow policy controls acceptance.

Read the review guide →

Enter the same frontier from where you stand.

Vela is useful before a team adopts the whole architecture. Begin with one inspectable action.

Researcher

Start with one result

Inspect evidence and rerun its verifier before adopting a broader workflow.

Browse frontiers →
shared frontierone accepted root

Public evidence

Proof before promise.

Working claims link to public evidence. The open tests remain visible on the same chart.

OEIS A309370
Improved Sidon-set lower boundsSeventeen terms accepted by OEIS; stored witnesses can be checked with the frozen verifier.oeis.org · re-checkable
approved in OEIS ↗OEIS A321531
Exact new terms, rook-placement directionsa(11) = 28, a(12) = 33, a(13) = 38, proven optimal by exhaustive verification.oeis.org · re-checkable
approved in OEIS ↗Vela frontiers
Exact public frontier snapshotsFour clean pinned checkouts expose canonical roots, review standing, and reproduction instructions.app.vela.space · re-checkable
reproducible ↗

Run the standalone combinatorics checker ↗.

demonstrated: An open protocol and dual Apache-2.0 OR MIT license

release 0.912.0

demonstrated: A Rust reducer with deterministic canonical-event replay

2,336 published events

demonstrated: Frozen verifiers and exact reproduction instructions

4 pinned frontiers

demonstrated: OEIS-adopted Sidon-set bounds with stored witnesses

accepted 2026-06-05

demonstrated: A read-only exact-root public projection

2,829 findings

unproven: Outside recurrence across independent producers and readers

not yet established

unproven: A second long-term steward operating the record

unstarted

unproven: Broader empirical writeback beyond exact-checkable domains

exact domains only today

unproven: Institutional propagation into later scientific decisions

unproven
Anchor copied