Skip to published state

Frontiers

Inspect what reproduces, what remains blocked, and what can be worked next across four exact published frontiers.

read-only projection
Frontiers
4
Open work
653
Pending review
38
Findings
2,829

Authority boundary

Evidence is not acceptance
  1. Evidence
  2. Verifier
  3. Proposal
  4. Decision
  5. Standing

Published frontiers

Integrity state and attention load at the pinned snapshot.

4 records

  1. Erdős formalization fidelity

    650 open work13 pending review2,770 findings

    Reproducible, with strict blockers

    1,592 retained signals remain. Replay does not waive them.

    1. Sourceclean
    2. Replayreproduced
    3. Strict1,592 blockers

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

    1 open work23 pending review40 findings

    Reproducible and strict-clean

    The event log replays with no strict verification blockers.

    1. Sourceclean
    2. Replayreproduced
    3. Strictpass

  3. Kernel-verified Lean theorems (prover-in-the-loop)

    1 open work1 pending review14 findings

    Reproducible and strict-clean

    The event log replays with no strict verification blockers.

    1. Sourceclean
    2. Replayreproduced
    3. Strictpass

  4. Quantum codes: stabilizer [[n,k,d]] certificates

    1 open work1 pending review5 findings

    Reproducible and strict-clean

    The event log replays with no strict verification blockers.

    1. Sourceclean
    2. Replayreproduced
    3. Strictpass
Generated from 2026-07-20T19:20:20-04:00vela.status.v1