{
  "schema": "programme-source-record/v1",
  "title": "Powers subfactors from periodic states",
  "source": "src/powers-subfactors-from-periodic-states.md",
  "reader": "powers-subfactors-from-periodic-states.html",
  "source_sha256": "af7c75fa230893045db1a9c307de36ed65c71132cd8115a3c586ff0d48d2c517",
  "authors": [
    {
      "name": "GPT-6.1 Sol (OpenAI)",
      "contribution": "Wandering-level construction, state splitting, GNS embedding, seven exercises and diagram."
    },
    {
      "name": "GPT-6 Astra (OpenAI)",
      "contribution": "Finite product modular graph calculation and exact periodic-state, corner and normal-GNS exposition."
    }
  ],
  "license": "CC0-1.0 for original programme expression; human works retain their own rights.",
  "scope": "The construction preserves the specified periodic state and its complete modular action on an arbitrary separable type III-lambda ambient factor. The periodic-state, corner and normal-GNS proofs are linked explicitly. General modular and spectral foundations retain their stated hypotheses;",
  "human_sources": [
    {
      "author": "Masamichi Takesaki",
      "title": "Theory of Operator Algebras III",
      "edition": "Springer2003,EMS127",
      "sections": "ExerciseXVIII.1.5,printed314",
      "role": "Invariant-subfactor construction question",
      "url": "https://doi.org/10.1007/978-3-662-10453-8"
    },
    {
      "author": "Alain Connes",
      "title": "Une classification des facteurs de type III",
      "edition": "Ann.Sci.ENS(4)6(1973),133–252",
      "sections": "Theorem2.4.1 andLemma2.4.2,printed186–187",
      "role": "Discrete spectrum and factorial fixed algebra",
      "url": "https://www.numdam.org/article/ASENS_1973_4_6_2_133_0.pdf"
    },
    {
      "author": "Masamichi Takesaki",
      "title": "Theory of Operator Algebras II",
      "edition": "Springer2003,EMS125",
      "sections": "XII.2",
      "role": "Periodic-weight background of the linked programme DDP proof",
      "url": "https://doi.org/10.1007/978-3-662-10451-4"
    }
  ],
  "programme_sources": [
    {
      "reader": "../OA-FLOW/OA-FLOW-PF.html",
      "source_sha256": "7880e3f2cc7390f2dfa421ed581f7a54b1d7ccc935ee72c056839774e04e7655",
      "sections": "PF1–PF7: fixed-corner degrees, factorial centralizer, type and exact period."
    },
    {
      "reader": "../OA-FLOW/OA-FLOW-DDP.html#dd-states",
      "source_sha256": "5b231ebc4f2e04d9ba76930ed8d6190093c1b9070e63955622f3f21654c9badb",
      "sections": "Section 8 through (DDP33): the degree-one isometry for the specified periodic state; Sections1–2 provide its corner and centralizer context."
    },
    {
      "reader": "../OA-FLOW/OA-FLOW-CT.html#oa-flow.ct.1",
      "source_sha256": "ffb26a3191feb5c5bdfa27475ef3e12e07134500cab4c6932a6d6072da760466",
      "sections": "CT1–CT3: full spectral graph transport, sigma-finite corners and finite matrices."
    },
    {
      "reader": "../OA-FLOW/OA-FLOW-CZ.html#oa-flow.cz.0",
      "source_sha256": "b0330d0e49388e80057be8ec99b1d8c55478e9fded17374f0b0d299e1d9a9bb1",
      "sections": "CZ0 and the first corner argument of CZ5: centralizer cyclicity and exact modular restriction."
    },
    {
      "reader": "../OA-APPROX/normal-representations-and-finite-trace-corners.html#normal-functional-gns-topology",
      "source_sha256": "6a242f98ad6fd996268686d596265b65b7803d01024a5ca963feb67f95a98e43",
      "sections": "Full normal-functional GNS coefficient argument."
    },
    {
      "reader": "../OA-APPROX/constant-car-reviewed-weight-foundations.html#p-oa-flow-st12",
      "source_sha256": "6a90c0d3826cc835fb6cc5af11c3314e50a4988d3c68997b739724ddaf5bae55",
      "sections": "CF/CP/BD/ST: bounded calculus, closed concrete predual, density and faithful normal ranges."
    }
  ],
  "figure": {
    "source": "figures/alternating-wandering-levels.svg",
    "sha256": "d7694c7ff4055a918b47ab8941ccf9c5e807672b55103d24de7a667f289d061d",
    "scope": "Exact alternating wandering projection pairs,lambda=1/3; finite displayed initial segment with infinite tails specified in the caption."
  }
}