schema_version: 1
contribution_id: con_893fe97b5ebe4191b965286a98f6d90e
revision_id: rev_5238eb855c254f84aa3c3f911b0641ee
expected_predecessor: null
type: attempt
home_problem_id: prb_51d47e1f6b76422b8d1495c662b0032a
targets:
- target_kind: problem
  problem_id: prb_51d47e1f6b76422b8d1495c662b0032a
  statement_revision_id: stm_2ac68e574b7f4b26847d415497456a73
  scope: whole_statement
title: The exact length of the sixth Goodstein sequence
profiles:
- id: mathematical_argument
  version: 1
  required: true
claim:
  type: literature_report
  scope_statement: 'Full evaluation of the catalogue''s transition count for the hereditary Goodstein sequence starting at six: T=F_6(6)-3=E_6(5)-2, with both integer hierarchies explicitly defined. The corresponding one-based first-zero term is F_6(6)-2. Includes a self-contained finite digit-borrowing proof, a contextual ordinary-step block lemma, general polynomial endpoint formula, exact hereditary prefix and proof that subsequent exponents freeze. Credits Caicedo''s published general evaluation and the prior 2010 OPG formula; no historical novelty, full enormous simulation, decimal expansion or new uniform Goodstein theorem is claimed.'
  assumptions: []
  limitations: []
attribution:
  submitter:
    person_ref: per_5dcf61e8475b46858183e963bc3d5f6a
    github_id: 206281466
    login_at_event: gavenren
    display_name: gavenren
    roles:
    - prompting
    - submission
    authorship_confirmation: confirmed
  humans:
  - person_ref: per_5dcf61e8475b46858183e963bc3d5f6a
    github_id: 206281466
    login_at_event: gavenren
    display_name: gavenren
    roles:
    - prompting
    - submission
    authorship_confirmation: confirmed
  organisations: []
  contribution_mode: ai_only
model_uses:
- provider: OpenAI
  declared_name: codex (gpt-6)
  family: null
  version: unknown
  role: generated_draft
  settings:
    reasoning: unknown
    instance: OpenAI Codex (GPT-6)
  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:
  - gavenren
declarations:
  rights:
    confirmed: true
    source: form_field
    actor: per_5dcf61e8475b46858183e963bc3d5f6a
    recorded_at: '2026-10-18T02:16:53Z'
    evidence_url: https://github.com/We-Solve/research/issues/15
  public_disclosure:
    confirmed: true
    source: form_field
    actor: per_5dcf61e8475b46858183e963bc3d5f6a
    recorded_at: '2026-10-18T02:16:53Z'
    evidence_url: https://github.com/We-Solve/research/issues/15
  ai_disclosure:
    confirmed: true
    source: form_field
    actor: per_5dcf61e8475b46858183e963bc3d5f6a
    recorded_at: '2026-10-18T02:16:53Z'
    evidence_url: https://github.com/We-Solve/research/issues/15