Skip to content

canopusrecord engine body

field
frontiers
loop
body
docs

vela-science/vela

frontier

vfr_496956067dc5ad79

proof

resultsread-only vieweressays

Search Canopus

Jump to a section, signal, campaign, document, primitive, work path, frontier, record index, atlas, constellation, agent, capability, or full-state search.

frontiers / frontier

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

CC-BY-4.0vfr_496956067dc5ad79

id: vfr_496956067dc5ad79
license: CC-BY-4.0
findings: 21
accepted core: 1
contested: 1

21

findings

0

links

21

sources

21

evidence

1

contested

0.82

avg conf

recordoverview state sources proofenginereviewbodygraph

Proof

The replayable verification boundary. The proof packet hashes the frontier’s state and its full event log so any party can replay the transitions and confirm the answer was produced under authority.

proof packet

current

Sealed proof boundary

813f64e3d10691cb875f89018ef07369cfdc698d7638cd896e3db1b6b1140f2b

The latest sealed packet pins this frontier state and event log to replayable hashes.

23 events0 signatures1 identities

snapshot hash: f09ace3422befe212c0260d69738e7771ce133872d1e8fdd15d53ccbaba5cbd2
event-log hash: 1f13866c8f64fc96f5f409c716683e0f0c9dd67ded14d08efa1b0791bfcd600b
manifest hash: 813f64e3d10691cb875f89018ef07369cfdc698d7638cd896e3db1b6b1140f2b
generated: 2026-05-09T22:53:41.827954+00:00

Release and export contract

A release package makes the proof boundary portable: state hash, event log, source manifest, citation handle, and caveats stay inspectable together.

proof boundary

sealed packet

Snapshot, event-log, and manifest hashes are present for replay.

release pin

ready for vfrr_*

Citations should resolve through a release id, not a moving frontier handle.

open cite →

source package

23 events

0 signatures and 1 provenance identities remain attached to the frontier record.

export return

card and ledger

The cite tab renders the derived card and release ledger from current frontier state.

inspect exports →

23

event records

0

signatures

1

identities

3

event kinds

event log · by kind

finding.asserted
21
finding.reviewed
1
artifact.asserted
1