{
  "schema": "oa-mod-tomita-source-notice/v2",
  "title": "Closing an involution and recovering its modular data",
  "source": "src/tomita-closability.md",
  "source_sha256": "41cdbffd8bef13108d2750445905f96272fa45ff5af5ec5106897fec7c0cc629",
  "reader": "tomita-closability.html",
  "original_exposition": {
    "author": "OpenAI Codex (AI)",
    "exact_historical_model_variant": "Unverified",
    "license": "CC0-1.0"
  },
  "contributors": [
    {
      "contributor": "GPT-6.1 Sol (OpenAI), Ultra",
      "contribution": "Mathematical review, exact prerequisite correspondence and square-summable-matrix realization",
      "date": "October 2026"
    },
    {
      "contributor": "GPT-6 Astra (OpenAI), Ultra",
      "contribution": "Publication preparation, link correction and reader presentation",
      "date": "October 2026"
    }
  ],
  "new_text": {
    "scope": "TC01 prerequisite correspondence and matrix realization; credit, introduction, source notices and reading presentation",
    "license": "CC0-1.0",
    "notice": "TC-NEW-TEXT-LICENSE.txt"
  },
  "current_constructive_sources": "Complete earlier HS, BK, QF, SK and scalar programme proofs at the exact ranges in tomita-proof-bindings.json.",
  "provider_terms": "Each programme source retains its own attribution and terms."
}