{
  "date": "2026-10-17",
  "author_authorized": "eggtea",
  "license": "CC-BY-4.0",
  "source_sha256": {
    "1_paper.pdf": "efcac47add715c1cf605d6827d6484f514405b7cfe67ecdcbb386ccbd67cf88e",
    "2.1_AI_paper.md": "f47a54be64fb6c5dcc15c39e35332ed8c8c113d68e35e77499737d14a2df49ed",
    "2_AI_paper.pdf": "42b40643026aedc6952e455f56aeb3623530c732814a564c372b8c08e716c753",
    "3_guide_en.pdf": "c71786090c2e43ff4c6122f70c0e51eb6a510956ef052d98dd3edcb2265ad950",
    "4_guide_zh.pdf": "ad4e70d91b9a6988861bad706d376951a037c997ea6584c8c520b31715b12a52",
    "5_review_en.pdf": "529dad90a7dca5fadb8ba639e144fa38b1fa3bd052b03c28eb024e0eec55075c",
    "6_review_zh.pdf": "f25720fac6810ce0a8ddb34445c71cf8c5010a767a9b67e6e9315daa980502f6",
    "7_theorem_graph.pdf": "43d1e7d059185a088bd21d292aaf64de042f29da15d0803eddb49511acd22e38",
    "latex/AI_paper.tex": "8c28701f4373e6be9bce317d0e8b78c60ad9658df71a69eaaaff35b190874b9c",
    "latex/guide_en.tex": "0a326cfa13a521ba5ce5faf6f12e624b4f2d2aff5996ce730d17bfcdd3ae0058",
    "latex/guide_zh.tex": "7dc08d88b2d9f3da939848b49f5d2a608a6a7db5e321b8f53d01479ff92fc86a",
    "latex/paper.tex": "1a978f9be2992c6c82088ac819dbdbd258148dcf5f2f567c445cf1d3d5cd5483",
    "latex/takeaways.tex": "83bed1bc03e6aa529d0a40956b577c9d6991c415f29fbdff97fc15b6d71367ac",
    "theorem_graph/render_graph.py": "066f5c3b55d32ce31f32dc58b7ee5ab88e4e7d7473b8ff6cad234dbed21e24af",
    "theorem_graph/theorems.json": "a9f2fdb3f83c9e853ae9696d20433a99f79d19beea435cecbff49e7361fa23bf"
  },
  "changes": [],
  "excluded": [
    "virtual environments",
    "caches",
    "logs",
    "executables",
    "raw binary experiment arrays"
  ],
  "original_manuscript_unchanged": true
}