frontiers / frontier
Current answer
No synthesized decision answer has been authored yet. The current reading is assembled from the frontier’s strongest accepted findings, shown below.
Frontier operating path
A frontier is the bounded record object. The record holds accepted state, the engine routes reviewed work back into it, the body renders derived maps, and proof fixes the release boundary.
record
Finding bundles, source records, evidence atoms, typed links, review events, and trails are the canonical frontier record.
open state →
engine
Sources, gaps, attempts, checks, benchmark runs, and reviewable changes return through Workbench and Review before state changes.
inspect review →
body
Graphs, briefs, atlases, and constellations materialize accepted records into navigable bodies. They guide work; they do not become the record.
open brief →
proof
Proof packets, citation packages, source manifests, and release pins make the current state portable and replayable.
open proof →
next action
Open reviewable changes are waiting for checks and reviewer authority before they can change accepted state.
inspect review →
Signals show what can change this record next: review queues, campaign work, benchmark gaps, proof boundaries, contested findings, and event history.
review signal
review waitingOpen reviewable changes need checks and reviewer authority before the record changes.
inspect review →
gap signal
needs reviewContested findings should route to evidence inspection, caveats, revisions, or retractions.
A frontier is the record. Work enters as gaps, attempts, reviewable changes, checks, and reviews before accepted events update proof, atlases, and constellations.
gapframing
A missing experiment, unresolved contradiction, extraction defect, or stale proof cell worth reviewing.
reviewable changework
A reviewable frontier-state change with affected findings, evidence, rationale, checks, and expected proof impact.
attemptwork
An agent, capability, procedure, system, or human run with input material, declared output material, environment, disclosures, failure state, and cited artifacts.
checkgate
A schema, provenance, contradiction, benchmark, proof, or evaluation result over a reviewable change or release.
Finding types
21 findingsReview state
21 findingsTop findings
all stateThe h-squared-dissociated set construction needed for the polynomial bound has diameter polynomial in k, replacing geometric components in the original construction.
0.40vf_3bde881fed68d7ddA Sidon set in {1,...,N} of size O(sqrt(N)) exists, attaining the elementary upper bound for h=2 sumsets up to a multiplicative constant.
0.95vf_63f4bcd4f4904a08Behrend's construction yields subsets of {1,...,N} of size N * exp(-c * sqrt(log N)) containing no nontrivial 3-term arithmetic progression, the densest such known until 2020.
0.85vf_11e2e2a19e75887dSinger's perfect-difference-set construction in projective planes yields Sidon sets in {1,...,N} of size sqrt(N) + O(N^{1/4}), matching the elementary upper bound up to lower-order terms.
inspect review →
reviewgate
A human or authorized reviewer decision over a reviewable change, check, candidate gap, or contested finding.
eventaccepted
A signed, reviewable state transition that changes the Vela-backed frontier record.
releaseaccepted
A citation-ready bundle of source state, proof artifacts, mirrors, and known caveats.
vf_203f4969695ff256Showing 12 of 21. Clone the full state with vela registry pull vfr_496956067dc5ad79.