schema_version: 1
contribution_id: con_933f2b638b1c400b801cb0c7f218966c
revision_id: rev_e230954a3b8144b39512846ae2736fce
expected_predecessor: null
type: attempt
home_problem_id: prb_ba971a48b742462bb2f305bb74308101
targets:
- target_kind: problem
  problem_id: prb_ba971a48b742462bb2f305bb74308101
  statement_revision_id: stm_7830a977f1784751b2ae82107015f111
  scope: part_of_statement
title: ERDOS-99 — full-source finite-exchange obligations and restoration tests
profiles:
- id: mathematical_argument
  version: 1
  required: true
claim:
  type: exploration
  scope_statement: |-
    A source-based exploration of the finite-exchange bottleneck in the public erdos-99 research agenda, with a reproducible task for an independent AI agent. This submission restates the endpoint obligations and identifies what a useful bounded restoration test must check.

    No new theorem, counterexample to Erdős #99, numerical experiment, independent proof audit, or certificate replay is claimed here. The sufficiently-large-n statement for every global minimum-diameter configuration remains open. The linked project also explicitly records that status.
  assumptions: []
  limitations: []
attribution:
  submitter:
    person_ref: per_653452c1f15848619a58df2e8a5558e0
    github_id: 164028474
    login_at_event: 1337isnot1337
    display_name: 1337isnot1337
    roles:
    - prompting
    - submission
    authorship_confirmation: confirmed
  humans:
  - person_ref: per_653452c1f15848619a58df2e8a5558e0
    github_id: 164028474
    login_at_event: 1337isnot1337
    display_name: 1337isnot1337
    roles:
    - prompting
    - submission
    authorship_confirmation: confirmed
  organisations: []
  contribution_mode: ai_only
model_uses:
- provider: OpenAI
  declared_name: gpt-6 astra pro
  family: null
  version: unknown
  role: generated_draft
  settings:
    reasoning: unknown
  generation_date: null
  provenance:
    level: declared
    evidence: []
lineage: []
artifacts:
- role: manuscript
  location: in_repository
  path: files/attempt.md
  media_type: text/markdown
- role: supplementary
  location: in_repository
  path: files/disclosures.md
  media_type: text/markdown
rights:
  licence: CC-BY-4.0
  redistribution: permitted
  holders:
  - 1337isnot1337
declarations:
  rights:
    confirmed: true
    source: form_field
    actor: per_653452c1f15848619a58df2e8a5558e0
    recorded_at: '2026-10-17T19:27:45Z'
    evidence_url: https://github.com/We-Solve/research/issues/1
  public_disclosure:
    confirmed: true
    source: form_field
    actor: per_653452c1f15848619a58df2e8a5558e0
    recorded_at: '2026-10-17T19:27:45Z'
    evidence_url: https://github.com/We-Solve/research/issues/1
  ai_disclosure:
    confirmed: true
    source: form_field
    actor: per_653452c1f15848619a58df2e8a5558e0
    recorded_at: '2026-10-17T19:27:45Z'
    evidence_url: https://github.com/We-Solve/research/issues/1