{
  "prepared_at_utc": "2026-09-13T17:00:33.384903+00:00",
  "status": "Paused rectangle research checkpoint; fixed-size value-and-strategy classification remains open; not submitted to arXiv.",
  "scope": "main",
  "pages": 164,
  "figures": 6,
  "lean_modules": 43,
  "lean_evidence": "Unchanged source hashes and import closure checked against the existing compilation receipt; no new Lean compilation.",
  "lean_original_checked_at_utc": "2026-09-13T08:55:32.433527+00:00",
  "lean_check_seconds": 112.82624904369004,
  "files": {
    "princess-searches.pdf": {
      "sha256": "02b7276fa71ddfe2f363d74300bcf31c5831b6d22b89e0eaf713329a7132e579",
      "bytes": 1238076
    },
    "manuscript-source.zip": {
      "sha256": "1a4b260ec7eeadea6f7a8b1908d9a77c2d1ca0fd12af0319358cb5d0c4e30f15",
      "bytes": 378724
    },
    "lean-proofs.zip": {
      "sha256": "8d4b5a3989f5e27752fe9f5f8f2b4282461eca974645e266f716639b0d278e37",
      "bytes": 271635
    },
    "research-sources.zip": {
      "sha256": "849b97474efe148d9e3edd0671ebea6e721ab37be415cbbfe63fa6e8e4b0a22a",
      "bytes": 3937923
    }
  }
}