schema_version: 1
contribution_id: con_f870020635044e35b483db46fcb02811
revision_id: rev_221a61b19fb54e54828730535d69b4be
expected_predecessor: rev_7285f9b5db534c81acdbe78b0751cb0a
type: attempt
home_problem_id: prb_662e3371b0d4477688674dc19f5c2afd
targets:
- target_kind: problem
  problem_id: prb_662e3371b0d4477688674dc19f5c2afd
  statement_revision_id: stm_7092fb1ffdab4690b73160866c0d53ae
  scope: whole_statement
title: A six-vertex counterexample to four-total-edit pressing connectivity
profiles:
- id: mathematical_argument
  version: 1
  required: true
claim:
  type: full_disproof
  scope_statement: For the recorded four-total-insertion/deletion assertion, the six-vertex five-cycle with a pendant vertex and initial black vertices 4 and 5 has exactly two successful pressing words, 432651 and 512643, at distance eight; its four-edit word graph is disconnected.
  assumptions: []
  limitations:
  - This PR revises presentation and contributor wording; the mathematical theorem, proof, corollary and repository verifier are unchanged.
  - No resolution of the distinct eight-total-edit or four-deletions-from-each-word formulation is claimed.
  - Historical novelty is unestablished; no independent human review or theorem-prover formalization is reported.
  - Earlier drafts and full process/audit records remain local without a public process archive.
  - Repository structural validation, the existing exhaustive verifier, and an additional AI-assisted literal-rule replay passed; these are not independent human/formal certification or community acceptance.
  completion_estimate:
    percent: 100
    justification: Solved (LLM claim), 100% of the exact recorded four-total-edit target.
attribution:
  submitter:
    person_ref: per_eab0ce64a0394c39a5e2d46e9d43b96b
    github_id: 59171403
    login_at_event: VictorLiwentao
    display_name: Wentao Li
    roles:
    - submission
    - prompting
    authorship_confirmation: confirmed
  humans:
  - person_ref: per_eab0ce64a0394c39a5e2d46e9d43b96b
    github_id: 59171403
    login_at_event: VictorLiwentao
    display_name: Wentao Li
    roles:
    - submission
    - prompting
    authorship_confirmation: confirmed
  organisations: []
  contribution_mode: ai_only
model_uses:
- provider: OpenAI
  declared_name: GPT 6.1 Sol
  family: null
  version: unknown
  role: generated_draft
  settings:
    reasoning: max
  generation_date:
    value: '2026-10-11'
    precision: day
  provenance:
    level: declared
    evidence: []
- provider: OpenAI
  declared_name: codex (gpt-6)
  family: null
  version: unknown
  role: other
  settings:
    reasoning: unknown
  generation_date: null
  provenance:
    level: declared
    evidence: []
lineage: []
artifacts:
- role: manuscript
  location: in_repository
  path: files/3100089_v3.tex
  media_type: application/x-tex
- role: supplementary
  location: in_repository
  path: files/sources.md
  media_type: text/markdown
rights:
  licence: CC-BY-4.0
  redistribution: permitted
  holders:
  - Wentao Li
declarations:
  rights:
    confirmed: true
    source: catalogue_import
    actor: per_eab0ce64a0394c39a5e2d46e9d43b96b
    recorded_at: '2026-10-18T00:10:25Z'
    evidence_url: https://github.com/mehmetmars7/Erdosproblems-llm-hunter/pull/175
  public_disclosure:
    confirmed: true
    source: catalogue_import
    actor: per_eab0ce64a0394c39a5e2d46e9d43b96b
    recorded_at: '2026-10-18T00:10:25Z'
    evidence_url: https://github.com/mehmetmars7/Erdosproblems-llm-hunter/pull/175
  ai_disclosure:
    confirmed: true
    source: catalogue_import
    actor: per_eab0ce64a0394c39a5e2d46e9d43b96b
    recorded_at: '2026-10-18T00:10:25Z'
    evidence_url: https://github.com/mehmetmars7/Erdosproblems-llm-hunter/pull/175