Vela
✦ 5 frontiers

frontiers / frontier

Formal-conjectures Lean proofs (kernel-verified)

constellation seal · derived from vfr_97d7d25957384f80
id
vfr_97d7d25957384f80
license
CC-BY-4.0
findings
2
accepted core
0
contested
0
links
0
sources
2
evidence
2
avg conf
0.99

used by 0 · replayed by 0 · first seat open

e4/4 · finding.asserted · reviewer:will · 2026-06-03 · null→5d1d

Proof

proof packet

never_exported

Unsealed proof boundary

4 events0 signatures2 identities

No packet sealed; no citable boundary frozen.

seals

0 cut

No seal cut. The release verb is vela frontier release projects/formal-conjectures-lean --name v1.0.

event records 4 · signatures 0 · identities 2 · event kinds 2

events · by kind

  • artifact.asserted
    2
  • finding.asserted
    2

statement.registered · agent:claude-proxy · 4 days

renders the record as of vev_e73c9b6c · 1,355 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.