Skip to published state

frontier / sidon-sets

published snapshot

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

Published Jul 20, 2026, 11:17 PM UTC from commit 825657d7e876.

Snapshot consequence

Reproducible and strict-clean

The event log replays with no strict verification blockers.

Integritywhat the bytes prove
  1. Sourceclean
  2. Replayreproduced
  3. Strictpass
Authoritywhat people decided
  1. Available work0
  2. Leased work1
  3. Pending review23
  4. Applied decisions67

Next bounded action

no producer offer
leasedsidon:a24-improve
Producer work is already in progress
No target is currently claimable. The configured target remains visible and returns to the available queue when its exact lease ends.
Inspect active lease

Strict blocker ledger

0 total
strict pass

No strict blockers are present in this snapshot.

Retained research runs

1 recorded

Proposal ledger

standing, not verdict quality
applied67
pending23
rejected / withdrawn9

Authority boundary

Evidence is not acceptance
Verification can support a proposal. It cannot supply the scientific decision.
  1. EvidenceA bounded artifact is recorded.
  2. VerifierA named check reproduces the result.
  3. ProposalA claim enters review without changing accepted state.
  4. DecisionA registered human or exact policy supplies authority.
  5. StandingOnly the signed decision changes accepted state.
Reproduce this snapshot
Successful replay verifies these bytes and checks. It does not itself accept a scientific claim.
Open reproduction
Exact source and rootsGit 825657d7e876 and content-addressed ledgers

Source identity

Commit
825657d7e87618c0aa6fc9af7e3182e05f324750
Tree
091277487f92918f3a2016b5463b1a78579a4c9a
Committed
2026-07-20T19:17:24-04:00
Repository
Open source

Content roots

Event log
sha256:11a668d1cdd9caa18f6c3c78ac8c03431bd2ab9beb71f3c62c747d8a7b6571cd
Snapshot
sha256:0441baf3d3c0f7f58e51d8d0b54d2e20ee94c57cfe3fd52ec0ea6dde2ee0c92d
Proposals
sha256:c0908b306b5b6bc022ce4355f630215ea203a8c8b47072e62bc325e3de57ef22
Actor registry
sha256:56255ef713f476f7b5dbce3a52003d1a6e7d6eef92f4895c4e9edb545c173cfa
Artifacts
sha256:65318a8e8ff7dca020c07c5633855d14d24b92fcaed903e483134140cc32d632