{
  "id": "catagi-db-gt",
  "title": "Diagrammatic Backpropagation and Geometric Transformers",
  "bookId": "categories-for-agi",
  "chapters": [
    6,
    7,
    8
  ],
  "status": "executable demonstration plus archived illustrative plots",
  "summary": "A small executable pullback/pushout energy demonstration and two archived commutator-proxy trajectories for Geometric Transformer variants.",
  "studies": [
    "Diagrammatic pullback and pushout energy demonstration",
    "Two-moons commutator-proxy trajectory",
    "WikiText-103 early commutator-proxy trajectory",
    "Geometric Transformer architecture comparison"
  ],
  "boundary": "The Chapter 6 notebook is an executable numerical illustration, not a proof that optimization computes categorical limits in general. The Chapter 8 PNGs have exact code and byte provenance but no surviving per-step raw logs, so they are archived plot-only evidence. Their residuals are task-relative order-sensitivity diagnostics, not categorical limit certificates, causal demonstrations, or general proofs of improved learning.",
  "packageIds": [
    "categories-gt-archive",
    "catagi-lean"
  ],
  "entryPoints": [
    "scripts/gt/",
    "scripts/resmlp_gt_commutator_demo.py",
    "scripts/seq2seq_wiki103_prefix_suffix.py",
    "Category-Theory-for-AGI-UMass-CMPSCI-692CT/notebooks/week03_db_colimit_energy.ipynb"
  ],
  "resultArtifacts": [
    "week03_db_colimit_energy.ipynb",
    "two_moons_commutator_energy.png",
    "wiki103_prefix_suffix_cech_obs.png",
    "CHAPTERS_6_8_PROVENANCE.md"
  ],
  "documentationStatus": "bounded-demo-and-plot-provenance",
  "runs": [],
  "runCount": 0,
  "codeRecords": [
    {
      "packageId": "categories-gt-archive",
      "role": "dependency",
      "path": "scripts/datasets_linked_wt2.py",
      "publicUrl": null
    },
    {
      "packageId": "categories-gt-archive",
      "role": "dependency",
      "path": "scripts/datasets_ptb_wt.py",
      "publicUrl": null
    },
    {
      "packageId": "categories-gt-archive",
      "role": "implementation",
      "path": "scripts/gt/__init__.py",
      "publicUrl": null
    },
    {
      "packageId": "categories-gt-archive",
      "role": "implementation",
      "path": "scripts/gt/geometric_transformer.py",
      "publicUrl": null
    },
    {
      "packageId": "categories-gt-archive",
      "role": "implementation",
      "path": "scripts/gt/simplicial_mp.py",
      "publicUrl": null
    },
    {
      "packageId": "categories-gt-archive",
      "role": "implementation",
      "path": "scripts/resmlp_gt_commutator_demo.py",
      "publicUrl": null
    },
    {
      "packageId": "categories-gt-archive",
      "role": "implementation",
      "path": "scripts/seq2seq_gt_compare.py",
      "publicUrl": null
    },
    {
      "packageId": "categories-gt-archive",
      "role": "implementation",
      "path": "scripts/seq2seq_wiki103_prefix_suffix.py",
      "publicUrl": null
    }
  ],
  "codeRecordCount": 8,
  "startHere": [
    {
      "packageId": "categories-gt-archive",
      "path": "scripts/gt/geometric_transformer.py",
      "role": "implementation",
      "publicUrl": null,
      "availability": "staged-not-public",
      "readerAction": "Locate this file in the curated companion packet; no public download is currently offered.",
      "packageStatus": "local-not-public"
    },
    {
      "packageId": "categories-gt-archive",
      "path": "scripts/resmlp_gt_commutator_demo.py",
      "role": "implementation",
      "publicUrl": null,
      "availability": "staged-not-public",
      "readerAction": "Locate this file in the curated companion packet; no public download is currently offered.",
      "packageStatus": "local-not-public"
    },
    {
      "packageId": "categories-gt-archive",
      "path": "scripts/seq2seq_wiki103_prefix_suffix.py",
      "role": "implementation",
      "publicUrl": null,
      "availability": "staged-not-public",
      "readerAction": "Locate this file in the curated companion packet; no public download is currently offered.",
      "packageStatus": "local-not-public"
    },
    {
      "packageId": "categories-gt-archive",
      "path": "scripts/gt/simplicial_mp.py",
      "role": "implementation",
      "publicUrl": null,
      "availability": "staged-not-public",
      "readerAction": "Locate this file in the curated companion packet; no public download is currently offered.",
      "packageStatus": "local-not-public"
    }
  ],
  "startHereCount": 4
}