schema_version: 1
contribution_id: con_2ddc8cbd695a4806899b2e8ba940729a
revision_id: rev_4296c10c8c7b47198335187835d31b40
expected_predecessor: null
type: attempt
home_problem_id: prb_34ecf5fa262f4a85a0fbe4af9837c46b
targets:
- target_kind: problem
  problem_id: prb_34ecf5fa262f4a85a0fbe4af9837c46b
  statement_revision_id: stm_98b676801bd24583959904cb93d3dcb4
  scope: whole_statement
title: 'Axiomatic containment of Mertens-stable sets without genericity: Merged partial contribution and proof audit'
profiles:
- id: mathematical_argument
  version: 1
  required: true
claim:
  type: partial_result
  scope_statement: Claims a largest globally axiom-compatible solution rule via compact pruning and exact elimination reformulation; continuous-section sufficient criterion, strict/fully-mixed and nongeneric zero-sum polymatrix cases, duplicate/strong-embedding transfers, two payoff-limit counterexamples, and a Hopf-map obstruction; universal S1 remains unresolved.
  assumptions:
  - Exact global axioms B, D*, I* and Mertens characteristic-zero stability per Govindan–Wilson v2
  - Finite normal-form games including additional players/actions; no closedness assumed for the family of selected sets
  - Uses literature all-game stability properties, stable-image and stable-lift results
  limitations:
  - No universal containment proof or globally compatible counterexample
  - No novelty or formal/human/referee verification certification
  - Payoff-limit and Hopf-map obstructions do not disprove S1
  - Source identity metadata was corrected editorially; original files and normalization audit are archived.
  - Submitted research claim; correctness and novelty have not been independently established.
attribution:
  submitter:
    person_ref: per_f000c79a661e4888846b5ce878366ad0
    github_id: 243585043
    login_at_event: null
    display_name: Anonymous submitter
    roles:
    - prompting
    - submission
    authorship_confirmation: confirmed
  humans: []
  organisations: []
  contribution_mode: ai_only
model_uses:
- provider: OpenAI
  declared_name: gpt 6 astra pro
  family: null
  version: unknown
  role: generated_draft
  settings: null
  generation_date: null
  provenance:
    level: declared
    evidence: []
- provider: OpenAI
  declared_name: chatgpt gpt-6
  family: null
  version: unknown
  role: editing
  settings: null
  generation_date: null
  provenance:
    level: declared
    evidence: []
- provider: OpenAI
  declared_name: codex (gpt-6)
  family: null
  version: unknown
  role: editing
  settings: null
  generation_date: null
  provenance:
    level: declared
    evidence: []
lineage: []
artifacts:
- role: manuscript
  location: in_repository
  path: files/WS-107793-attempt.tex
  media_type: application/x-tex
rights:
  licence: CC-BY-4.0
  redistribution: permitted
  holders:
  - Anonymous submitter
declarations:
  rights:
    confirmed: true
    source: cli_confirmation
    actor: per_f000c79a661e4888846b5ce878366ad0
    recorded_at: '2026-10-18T16:20:10Z'
  public_disclosure:
    confirmed: true
    source: cli_confirmation
    actor: per_f000c79a661e4888846b5ce878366ad0
    recorded_at: '2026-10-18T16:20:10Z'
  ai_disclosure:
    confirmed: true
    source: cli_confirmation
    actor: per_f000c79a661e4888846b5ce878366ad0
    recorded_at: '2026-10-18T16:20:10Z'