Skip to published state

frontier / erdos

published snapshot

Erdős formalization fidelity

Published Jul 20, 2026, 11:20 PM UTC from commit ce8ba7d934c8.

Snapshot consequence

Reproducible, with strict blockers

1,592 retained signals remain. Replay does not waive them.

Integritywhat the bytes prove
  1. Sourceclean
  2. Replayreproduced
  3. Strict1,592 blockers
Authoritywhat people decided
  1. Available work650
  2. Leased work0
  3. Pending review13
  4. Applied decisions94

Next bounded action

rank 1
availableerdos:1056
Erdős 1056
Advance Erdős problem 1056 from its pinned statement, theorem and proof records, attempts, residual obligations, dependency context, and source locks; produce one decision-relevant artifact or an informative negative result without repeating banked routes.
Verifier
erdos-frontier.problem-work.v1
Packet root
sha256:e18e092477db2bb3216954ccd20b5c0c69601a6b79dceea3f652eec7c3282d1b
Inspect ranked work vela work erdos:1056

Strict blocker ledger

1,592 total

  • missing_conditions

    Retained strict signal; no exemption is inferred.

    1,511

  • unsigned_registered_actor

    Retained strict signal; no exemption is inferred.

    81

Retained research runs

1 recorded

Proposal ledger

standing, not verdict quality
applied94
pending13
rejected / withdrawn1

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 ce8ba7d934c8 and content-addressed ledgers

Source identity

Commit
ce8ba7d934c848408e0d91caca39e938698e3fc7
Tree
03f7371b496485f761f91961027fd48198dc7e93
Committed
2026-07-20T19:20:20-04:00
Repository
Open source

Content roots

Event log
sha256:a06797bc0d1b0e3c88a2f97507fe0832661e3992d8df41187a0aa6d3ceee9bde
Snapshot
sha256:1faedc24f040a60a22177b456c74b969a61ce8836082297b1835797a57b4fa56
Proposals
sha256:e69b38037814f2e8ca826942cfc50ab370993889be2913cac1c0b3e77711160f
Actor registry
sha256:665f3e1c48f0a50fac949681c0af01bdd28de2991f2cdc5cc4cddbe69df6311b
Artifacts
sha256:3d58619c5cfb7e28de2f344476e35c9f0b80709c996b2a1bfdb2e11496f7e1da