{
  "prepared_at_utc": "2026-09-13T09:00:55.201402+00:00",
  "status": "Research checkpoint; not submitted to arXiv.",
  "pages": 128,
  "figures": 7,
  "lean_modules": 83,
  "lean_check_seconds": 350.6088654170744,
  "files": {
    "princess-searches.pdf": {
      "sha256": "695d5df27fa5f17b9bc7b5c0e7c80a548d6451927c2fa961c08ead8843732a43",
      "bytes": 1082875
    },
    "manuscript-source.zip": {
      "sha256": "ac3db8a054881c1f4aaaa88b16254bf23d45ea0f30311dc86cfb42a49503143f",
      "bytes": 330874
    },
    "lean-proofs.zip": {
      "sha256": "f63758b7ed88a38681c387c431866e432ce06ca8365682dd2a575c14ca0c4632",
      "bytes": 221232
    },
    "research-sources.zip": {
      "sha256": "e716fea9a73334ee970bea5dfb22ac1b330f9c81da822aee423495c00fcdaa96",
      "bytes": 1922745
    }
  }
}