{
  "record_type": "AI provenance and reproducibility statement",
  "manuscript_title": "Degree Transport and a Smaller Cubic Coefficient for Reset Thresholds",
  "manuscript_date": "2026-11-05",
  "human_submitting_contributor": {
    "name": "HONG SUNGBIN",
    "affiliation": "Department of Electrical and Electronic Engineering, Faculty of Engineering, The University of Tokyo",
    "orcid": "https://orcid.org/0009-0005-6165-714X",
    "email": "hongsungbin2@g.ecc.u-tokyo.ac.jp",
    "role": "Directed the research request, supplied a Gemini-generated review, and requested preparation of this submission."
  },
  "text_origin": "primarily AI-generated",
  "authorshipMode": "no-human-author-claimed",
  "humanUnderstanding": "none",
  "human_understanding_statement": "The submitting contributor does not claim to have personally checked and understood any part of the proof.",
  "tools": [
    {
      "tool": "OpenAI Codex",
      "period": "October 2026",
      "roles": [
        "literature searches",
        "exploratory calculations",
        "proof development",
        "programming",
        "primary drafting"
      ],
      "model": "6.1 sol",
      "model_label_basis": "Reported by the human submitting contributor; not independently verified as a provider snapshot identifier"
    },
    {
      "tool": "OpenAI Codex",
      "period": "November 2026",
      "model": "6 astra",
      "roles": [
        "manuscript revision",
        "explicit quadratic remainder derivation",
        "AI review passes",
        "bibliographic checks",
        "computation reruns",
        "PDF preparation"
      ],
      "model_label_basis": "Reported by the human submitting contributor; not independently verified as a provider snapshot identifier"
    },
    {
      "tool": "Google Gemini",
      "input_to_revision": "A review supplied by the human contributor",
      "role": "Editorial input; not treated as a proof certificate",
      "model": "Gemini 3.1 Pro",
      "settings": "Not supplied",
      "model_label_basis": "Reported by the human submitting contributor; not independently verified as a provider snapshot identifier"
    }
  ],
  "ai_review_scope": [
    "degree transport",
    "vertex cover and plateau inequalities",
    "scalar dual and boundary cases",
    "explicit quadratic remainder",
    "bibliography"
  ],
  "verification_limits": {
    "external_human_peer_review": false,
    "proof_assistant_verification": false,
    "exhaustive_priority_certification": false,
    "quadratic_Cerny_conjecture_proved": false,
    "statement": "AI review passes can share systematic errors. Finite computational diagnostics do not prove the universal theorem; the written mathematical argument is the claimed proof."
  },
  "reproduction": {
    "working_directory": "Root of the extracted source ZIP",
    "python_version_used": "3.14.7",
    "python_dependencies": "Standard library only",
    "commands": [
      "python3 anc/verify.py",
      "python3 anc/verify_degree_transport.py --max-n 4 --output anc/degree-transport-check.json",
      "python3 anc/verify_explicit_constant.py > anc/explicit-constant-check.json",
      "pdflatex -interaction=nonstopmode -halt-on-error main.tex",
      "pdflatex -interaction=nonstopmode -halt-on-error main.tex"
    ],
    "check_scope": {
      "finite_dual_and_cheap_prefix_profiles": 216,
      "strongly_connected_synchronizing_labelled_binary_automata": 18894,
      "state_sizes_exhaustively_enumerated": [
        2,
        3,
        4
      ],
      "integer_transport_horizons_checked": 76476,
      "explicit_remainder_exact_rational_guards": 16,
      "reported_counterexamples_in_finite_checks": 0
    }
  }
}