01 Atlas
Map the frontier.
02 Replay
A frontier you can replay.
Frontieralzheimers.neurovascular.bbb
- vf_a1 BBB efflux transporter replicated
- vf_b2 APOE4 risk allele replicated
- vf_c3 Tau seeding rate contradiction
- vf_d4 Microglial clearance inferred
8reviewer resolves · APOE4
03 Proof
Verified, not proposed.
- Improved Sidon-set lower bounds OEIS A309370, n=16–22 (e.g. 503 at n=16 vs 472 recorded) in OEIS editorial review
- New sequence: binary B_3 sets OEIS A396704 — a(6)=11 proven optimal, a(7) ≥ 16 verified submitted to OEIS
- Single-cell denoiser beats MAGIC openproblems.bio denoising, mse 0.1777 < MAGIC 0.2001 (frozen metric) reproducible under the frozen verifier
public frontier snapshot 820 findings 2,960 evidence atoms 420 accepted transitions as of May 26, 2026
04 Run
Start a frontier.
cargo install --git https://github.com/vela-science/vela vela-cli vela replay vfr_06cfcbe7c449d86a vela init alzheimers.neurovascular.bbb vela ingest ./papers ./notes ./traces && vela serve Vela · open source · v0.48.0