{
  "human_contributor": "Hangang Wang",
  "historical_work": {
    "period": "January 2026",
    "contribution": "Original MATLAB computations with AI-assisted programming.",
    "guidance": "Preliminary discussions concerning the research direction with Rushu Zhuang, as reported by the human contributor."
  },
  "current_work": {
    "period": "October 2026",
    "ai_systems": [
      "OpenAI ChatGPT",
      "OpenAI Codex"
    ],
    "roles": [
      "Mathematical exploration",
      "Proof derivation",
      "Exact computation",
      "Literature comparison",
      "Manuscript preparation",
      "Code audit"
    ]
  },
  "understanding": "The contributor understands the original computational work but does not claim full understanding or independent verification of the complete general-rank proof.",
  "verification": "Multiple AI-assisted audits and separately implemented diagnostics; no human-specialist verification or formal proof-assistant verification is claimed.",
  "priority": "The explicit integrable multiparameter family is prior art. Bibliographic priority for full tangent-space exhaustion is unresolved.",
  "dating": "January source dates do not date the October theorem or its proof. This public snapshot has an October 2026 release date.",
  "omitted_material": [
    "Private correspondence",
    "Third-party textbooks",
    "Private handoff archives",
    "Unselected historical drafts"
  ],
  "license": null,
  "license_note": "No repository license has yet been selected. The platform manuscript license is a separate contributor choice."
}