schema_version: 1
contribution_id: con_7b2a32bb201e465bac9e5d3dd7ff49f7
revision_id: rev_0cc274602fbf4f6ebe6a18d17859f79e
expected_predecessor: null
type: attempt
home_problem_id: prb_2ba5318837d94015b95634f5000626ce
targets:
- target_kind: problem
  problem_id: prb_2ba5318837d94015b95634f5000626ce
  statement_revision_id: stm_c7d89dd32e504cfaa528628c49556e0c
  scope: whole_statement
title: Two explicit twelve-vertex digraphs with the same switching deck
profiles:
- id: mathematical_argument
  version: 1
  required: true
claim:
  type: literature_report
  scope_statement: 'The full affirmative answer to the catalogue''s existence question, TOP-3129 / Math-1346 / OPG-46952, under its explicit convention permitting both opposite arcs. Two nonisomorphic loopless digraphs on twelve vertices, with eighteen arcs each, have identical switching decks: three card types, each of multiplicity four. This established answer is credited to McKay and Schweitzer, Section 9, Figure 12 (2013 preprint; 2014 journal publication). The report supplies complete labelled arc data, a self-contained nonisomorphism proof, twelve explicit card isomorphisms, and an exact verifier. A supplementary exhaustive census covers only the C12 underlying-graph family and finds exactly this one equal-deck pair. No historical novelty, digon-free counterexample, arbitrary-order family, or classification of all twelve-vertex digraphs is claimed. Editorial review and independent human verification remain pending.'
  assumptions: []
  limitations: []
attribution:
  submitter:
    person_ref: per_8c9ccf75bb414ff0b197e21280905b3c
    github_id: 206281466
    login_at_event: gavenren
    display_name: gavenren
    roles:
    - prompting
    - submission
    authorship_confirmation: confirmed
  humans:
  - person_ref: per_8c9ccf75bb414ff0b197e21280905b3c
    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), primary instance
  generation_date: null
  provenance:
    level: declared
    evidence: []
- provider: OpenAI
  declared_name: codex (gpt-6)
  family: null
  version: unknown
  role: generated_draft
  settings:
    reasoning: unknown
    instance: OpenAI Codex (GPT-6), mathematical instance
  generation_date: null
  provenance:
    level: declared
    evidence: []
- provider: OpenAI
  declared_name: codex (gpt-6)
  family: null
  version: unknown
  role: review_assistance
  settings:
    reasoning: unknown
    instance: OpenAI Codex (GPT-6), separate mathematical reviewer
  generation_date: null
  provenance:
    level: declared
    evidence: []
- provider: OpenAI
  declared_name: codex (gpt-6)
  family: null
  version: unknown
  role: computation
  settings:
    reasoning: unknown
    instance: OpenAI Codex (GPT-6), verifier instance
  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_8c9ccf75bb414ff0b197e21280905b3c
    recorded_at: '2026-10-18T14:32:53Z'
    evidence_url: https://github.com/We-Solve/research/issues/20
  public_disclosure:
    confirmed: true
    source: form_field
    actor: per_8c9ccf75bb414ff0b197e21280905b3c
    recorded_at: '2026-10-18T14:32:53Z'
    evidence_url: https://github.com/We-Solve/research/issues/20
  ai_disclosure:
    confirmed: true
    source: form_field
    actor: per_8c9ccf75bb414ff0b197e21280905b3c
    recorded_at: '2026-10-18T14:32:53Z'
    evidence_url: https://github.com/We-Solve/research/issues/20