Skip to content

Repository-local scientific state

Vela Mathematics Program

Git sourcegithub.com2415f78e850a

Inspect current Standing
Standing
3
accepted Repository-local Claims
Integrity
replay verifiedstrict pass
Activity
6 published contributions
6 Checks
6 proposed changes
Human authority
6
authorized Decisions retained

Latest change

The latest Git commit changed no scientific Standing.

Add known-result and duplicate search as a scoped CheckWBWill Blair

What currently Stands

3accepted Repository-local Claims

Segments are the retained source_type of each accepted Claim.

Contribution path

Submit bounded evidence directly.

How contribution works

vela submit --repo . --help

Decisions

  1. 1 of 6. Proposal accepted Aug 18, 2026, 6:46 PM by agent:submission-v3-cleanup-decision. 2 Verification Records retained, every recorded outcome pass.

    Accept the byte-identical Erdős 94 assertion as the current Submission v3 revision after two scoped actor-separated fidelity reviews. This removes only the obsolete recovery caveat, preserves the exact occurrence mapping and every scientific limit, and adds no new validation.

    verifier:codex-v3-revision-fidelity

    verifier:codex-v3-scientific-state-fidelity

  2. 2 of 6. Proposal accepted Aug 17, 2026, 6:48 PM by agent:submission-v3-migration. 2 Verification Records retained, every recorded outcome pass.

    Accept the exact current Erdős 94 assertion in the compact v3 lineage after independent scoped checks of occurrence mapping and correction scope. Preserve the correction and all nonclaims without changing the scientific assertion.

    verifier:independent-submission-v3-review

    verifier:independent-submission-v3-review

  3. 3 of 6. Proposal accepted Aug 17, 2026, 6:35 PM by agent:submission-v3-migration. No Verification Record is retained.

    Re-admit the exact intended Erdős 94 predecessor assertion only to preserve current correction truth in the compact v3 lineage. Its pre-v3 distance-multiplicity Verification remains recoverable at the signed rollback ref and is not re-attested over new bytes.

  4. 4 of 6. Proposal accepted Aug 17, 2026, 6:34 PM by agent:submission-v3-migration. 1 Verification Record retained, every recorded outcome pass.

    Accept the exact current bounded Erdős 887 replay assertion in the compact v3 lineage after a scoped fidelity check; this does not claim a proof or independent reproduction.

    verifier:codex-submission-v3-migration-review

  5. 5 of 6. Proposal accepted Aug 17, 2026, 6:33 PM by agent:submission-v3-migration. 1 Verification Record retained, every recorded outcome pass.

    Accept the exact current Erdős 321 assertion in the compact v3 lineage after a scoped fidelity check; preserve the correction relation and limitations without changing the scientific content.

    verifier:codex-submission-v3-migration-review

  6. 6 of 6. Proposal accepted Aug 17, 2026, 6:32 PM by agent:submission-v3-migration. No Verification Record is retained.

    Re-admit the exact intended Erdős 321 predecessor assertion into the compact prelaunch v3 lineage so its current correction remains explicit; this migration Decision does not change the scientific assertion.

6 Verification Records under 6 Proposals, Aug 17, 2026 to Aug 18, 2026. Position is the recorded decision time; the ring is Proposal status and the core is the Verification outcome. It is not rank and confers nothing.

Sources

15
source:formal-conjectures

Google DeepMind; Formal Conjectures authors

4bindings

Declared for this Repository with no retained binding:

source:alphaproof-nexus-results unobservedsource:codetables-stabilizer unobservedsource:erdos-ai-contributions-wikisource:erdos-problemssource:formal-conjectures-pr-audit unobservedsource:gpt-erdossource:jayyhk-erdos-leansource:oeis-a309370source:openai-ten-proofssource:palomar-registrysource:physlibsource:plby-lean-proofssource:vibemathedsource:williamjblair-lean-proofs

Search problems.science

Find a Problem, Result, source, or page