Skip to content
@vela-science

Vela Science

Open scientific-state substrate: version control for claims, evidence, verification, decisions, corrections, and next work.

Vela Science

Vela is an open scientific-state substrate: version control for what is claimed, submitted, verified, decided, corrected, and ready to do next.

The core loop is deliberately small:

inspect → attempt → submit → verify → decide → continue

Producers produce. Verifiers report. Authorized reviewers decide. Events record. Replay derives standing. Readers explain.

Product

  • vela — the public product monorepo: Rust CLI and protocol implementation, TypeScript protocol SDK, Canopus bounded producer, schemas, conformance fixtures, and release automation.
  • Vela Observatory — a read-only projection of exact public Frontier state. It cannot sign, approve, or mutate scientific records.
  • vela.space — the product thesis and public editorial surface.

Canopus is optional and removable. It can run bounded agent work and submit evidence through released Vela interfaces, but it is never a scientific authority.

Public Frontiers

Each Frontier is a standalone Git custody source with its own clonable history, exact replay surface, and authorized Decision boundary.

Verifier success is evidence, not acceptance. No model belongs in the repository-authority or human Decision path.

Pinned Loading

  1. vela-research-harness vela-research-harness Public archive

    ARCHIVED: Canopus now lives in vela-science/vela under packages/canopus.

    TypeScript

  2. vela vela Public

    Version control for scientific state: Claims, Submissions, scoped Verification Records, authorized Decisions, and exact replay.

    Rust

  3. formal-conjectures-frontier formal-conjectures-frontier Public archive

    Standalone Vela custody source for formal-conjectures Lean proof state.

    Python

  4. erdos-frontier erdos-frontier Public archive

    Canonical Git frontier for the Erdős-problem audit, exact evidence, and bounded research state.

    Python

  5. quantum-codes-frontier quantum-codes-frontier Public archive

    Standalone Vela custody source for quantum stabilizer-code scientific state.

    Python

  6. sidon-frontier sidon-frontier Public archive

    Standalone Vela custody source for verified Sidon-set lower-bound records.

    C++ 1

Repositories

Showing 10 of 10 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…