{
  "schemaVersion": 1,
  "id": "purple-square-atlas",
  "version": "v1",
  "author": "Christopher Yamba",
  "coAuthor": "GPT-6.1 Sol Extra High",
  "date": "2026-10-10",
  "files": [
    {
      "name": "PurpleSquareAtlas.lean",
      "bytes": 7288,
      "sha256": "ad80c8dcc7b33b1e1740eb85f336e496d74d3708893061fab4cb993d4cbfea3f"
    },
    {
      "name": "article.md",
      "bytes": 16375,
      "sha256": "138b9851c14ecae9a0a923183f7cb52faf177d71f0e5a746e1192347bdffbe70"
    },
    {
      "name": "blog-entry.md",
      "bytes": 2001,
      "sha256": "b701100f9e4cdc934f4e7a038149423b0a49c97c1892292974662cc310e03eb7"
    },
    {
      "name": "citation.bib",
      "bytes": 327,
      "sha256": "ae917f34eb8efafed1bb2ada91b4595506ad4428cb050f94e4309e9fe4ba1e8a"
    },
    {
      "name": "explorer.html",
      "bytes": 17504,
      "sha256": "762c97224cc8dcd2e75d6cac8ffee3e32b51df619e8040f6289e9d3cff0d2f2f"
    },
    {
      "name": "figures/01-six-tiles.png",
      "bytes": 20976,
      "sha256": "8e6b39ae3c5ffaf3afda64a9592ea1174c0759023a955ba7a2e240730d42d729"
    },
    {
      "name": "figures/02-whole-pattern-rotation.png",
      "bytes": 33589,
      "sha256": "8ead831408c5ad0f3334a1fcb5e5f156f19d1522cea178da7656a6c8b51cf1b6"
    },
    {
      "name": "figures/03-position-cycles.png",
      "bytes": 62325,
      "sha256": "d7d7d2a198dcd21b9f3977828b319de05451128863eec92623aff84d232005b3"
    },
    {
      "name": "figures/04-propagation-and-center.png",
      "bytes": 38478,
      "sha256": "e67bc7c87abcc220b160cab5837fdde9c7f3baddc132c2cafb0ae016633d1c3c"
    },
    {
      "name": "figures/05-six-fixed-patterns.png",
      "bytes": 26743,
      "sha256": "fbdd5525c69fdea1182fe784ec09efd698737ac086886059b7ef1922db992f60"
    },
    {
      "name": "figures/06-orbit-sizes.png",
      "bytes": 42812,
      "sha256": "2643daefae7080c52a7dd830937b72b33852e7febc5672655046e70e57bb1a9d"
    },
    {
      "name": "figures/07-mirror-constraints.png",
      "bytes": 26568,
      "sha256": "ab34b92797eba910d391d668cbc8681266dc9009650e6540f5c0172e9abd6f6f"
    },
    {
      "name": "figures/all-1296-patterns.png",
      "bytes": 646446,
      "sha256": "c6178e490fc7eb822ce685d2c00c53495d5f7e98cfd6f53029b098fbc7f24ec1"
    },
    {
      "name": "figures/all-336-rotation-classes.png",
      "bytes": 207087,
      "sha256": "f22733b697b8c12c768751768054a96e44b41da07932a16076b7aa8a59405f85"
    },
    {
      "name": "formal-proof-status.md",
      "bytes": 2091,
      "sha256": "67ba684d7815948f5381e7c2eba87315d8c664e25cfa1c79c09af304e86529e6"
    },
    {
      "name": "purple-square-latex-source.zip",
      "bytes": 868245,
      "sha256": "e38f848c6818bc4220984ce4dd4084e50c8196b3022d566fdbebdd31823f1d9e"
    },
    {
      "name": "purple-square-treatise.pdf",
      "bytes": 88482,
      "sha256": "29e2087e5d9fdb05f94bfbcbef2ed4dbc76af0b6d4379f411b86680ec7c34d4e"
    }
  ]
}