{
  "prepared_at_utc": "2026-09-18T10:49:05.876484+00:00",
  "status": "Prepared manuscript; not submitted to arXiv; full Lean classification pending",
  "publication_date": "2026-09-18",
  "chapters": 8,
  "source_parts": 49,
  "pages": 125,
  "figures": 9,
  "math_formulas": 4080,
  "pdf_overfull_warnings": [],
  "companions": {
    "delivery_time": {
      "source": "paper/delivery-time-companion.md",
      "pdf": "delivery-time-companion.pdf",
      "source_zip": "delivery-time-source.zip",
      "pages": 8,
      "math_formulas": 174,
      "pdf_sha256": "586db0fa785844b1350cb2227d4d117fffbd2a31af33a700d2191379a0fd775a",
      "standalone_source_recompiled": true,
      "text_matches_published_pdf": true,
      "no_overfull_boxes": true,
      "status": "Parked research companion; partial results explicitly identified"
    }
  },
  "classification_coverage": {
    "representatives": 0,
    "small_budget": 0,
    "main": 0,
    "dense": 0
  },
  "explicit_construction_coverage": {
    "known_value_gaps": 0,
    "scope": "Separate source audit of direct recipes and certified finite exceptions"
  },
  "files": {
    "guaranteed-indirect-delivery.pdf": {
      "bytes": 871147,
      "sha256": "bc0c46cb2587c19ef0d079f2f5b021355b6c16fe9dba272abddb816dc9323a5a"
    },
    "manuscript-source.zip": {
      "bytes": 272059,
      "sha256": "446ceffdff16afc8523358cc05884a62d672a9e3fd473cbc8959f9556b23c01a"
    },
    "lean-proofs.zip": {
      "bytes": 50590,
      "sha256": "1dc6a39cb4d2ed5bfdbc7f432c52260c7689ba30af3bcdc364a30d7022023a3c"
    },
    "lean-verification.json": {
      "bytes": 17472,
      "sha256": "c54fbbca0c716762c57ced74e487129110bcd2355a2d43dd192be9c0a2b6e764"
    },
    "research-sources.zip": {
      "bytes": 104673548,
      "sha256": "0feba728ccad9a61c607c590238a298ac792f9a7bfd9266a91e28cb04705b6dd"
    },
    "finite-strategy-certificates.zip": {
      "bytes": 104747675,
      "sha256": "8fdb5b76916c096df3e943396704de68aca8ceea4dcd7ac41452657304720903"
    },
    "references.bib": {
      "bytes": 2317,
      "sha256": "20247da1ec8d23e0849670adac957d9377308c1334d08a6a8845d541356280d5"
    },
    "explorer-graphs.json": {
      "bytes": 497,
      "sha256": "df00843208ab735a2bd2b034f186d95e2f5015cf2d312d76314d4c770614bdf6"
    },
    "delivery-time-companion.pdf": {
      "bytes": 287307,
      "sha256": "586db0fa785844b1350cb2227d4d117fffbd2a31af33a700d2191379a0fd775a"
    },
    "delivery-time-source.zip": {
      "bytes": 11260,
      "sha256": "1f29de97bfb120e4a71e673dfbc51609acde733fb38007fff92c7cc40eee770c"
    }
  },
  "assets": {
    "delivery-time-companion.pdf": {
      "bytes": 287307,
      "sha256": "586db0fa785844b1350cb2227d4d117fffbd2a31af33a700d2191379a0fd775a"
    },
    "delivery-time-source.zip": {
      "bytes": 11260,
      "sha256": "1f29de97bfb120e4a71e673dfbc51609acde733fb38007fff92c7cc40eee770c"
    },
    "explorer-graphs.json": {
      "bytes": 497,
      "sha256": "df00843208ab735a2bd2b034f186d95e2f5015cf2d312d76314d4c770614bdf6"
    },
    "figures/antichain-routing.svg": {
      "bytes": 15121,
      "sha256": "98b177d7174433c1032571247ccc276af5a2378cc11de695b75d6a8ab5b22476"
    },
    "figures/dense-boundary.svg": {
      "bytes": 11772,
      "sha256": "5d2b26731556bc6267ce0514b8549e4938f0fe9cae82e1d9ab379f1c4c90f408"
    },
    "figures/dense-staircase.svg": {
      "bytes": 19950,
      "sha256": "3e8c2ec9b41080a72e53349905df5c126cbe0b0a2dcddbb0b5914c71fbbd3aeb"
    },
    "figures/diamond.svg": {
      "bytes": 12727,
      "sha256": "e79f2091b52afb2a125f8d376b500cd995dcdb885a8e968296a8413649829226"
    },
    "figures/five-type-strip.svg": {
      "bytes": 34188,
      "sha256": "cba52bed95f3020da65f8b54c1dbe5bcba0b0c2d9fc99121284bd6dc97d0475b"
    },
    "figures/joint-regimes.svg": {
      "bytes": 32798,
      "sha256": "904518c21aeeec3d041a04bc4756e224d96e6cb798f24f545d40b558c0bcfb46"
    },
    "figures/main-interval-progress.svg": {
      "bytes": 8985,
      "sha256": "eb0e85de8bc3d2c58244576cfa34bae7e961f831682bc735eaa77a97f6e70d6b"
    },
    "figures/quartet.svg": {
      "bytes": 11847,
      "sha256": "c1ac348d354868e1497f2139d8bd14a2a819a60eeb5e9156f778c1aaf5891503"
    },
    "figures/six-type-removal.svg": {
      "bytes": 14624,
      "sha256": "0eac6fe2da21ba946daf09b28e43344713af2990d2f92dbccb4f8650ace46811"
    },
    "finite-strategy-certificates.zip": {
      "bytes": 104747675,
      "sha256": "8fdb5b76916c096df3e943396704de68aca8ceea4dcd7ac41452657304720903"
    },
    "guaranteed-indirect-delivery.pdf": {
      "bytes": 871147,
      "sha256": "bc0c46cb2587c19ef0d079f2f5b021355b6c16fe9dba272abddb816dc9323a5a"
    },
    "lean-proofs.zip": {
      "bytes": 50590,
      "sha256": "1dc6a39cb4d2ed5bfdbc7f432c52260c7689ba30af3bcdc364a30d7022023a3c"
    },
    "lean-verification.json": {
      "bytes": 17472,
      "sha256": "c54fbbca0c716762c57ced74e487129110bcd2355a2d43dd192be9c0a2b6e764"
    },
    "lean/Audit.lean": {
      "bytes": 3832,
      "sha256": "00182ee78512cd67195146cf1298260e39eec4083223424e9770cf5a6e58a776"
    },
    "lean/CampingObstruction.lean": {
      "bytes": 1699,
      "sha256": "230998b06688b2ba4e742fee61c37b36243b346b2b573d3057def78f7910781c"
    },
    "lean/DeliveryGame.lean": {
      "bytes": 7407,
      "sha256": "e9024fcc8b0ece17f925ab6f8c8909adbb87b711dcf453f90fb27ce058cbc7e2"
    },
    "lean/DenseCounting.lean": {
      "bytes": 6874,
      "sha256": "afe0b3eddb6d9dd40b580afb5a3db82d0e100b279e591976b449f1253e6e9733"
    },
    "lean/DenseZero.lean": {
      "bytes": 9588,
      "sha256": "80ec0e9c7790bcc8d8e6960d4a0df4905947fcc8eea1f20a5fb8ac92bc3051a8"
    },
    "lean/ElevenVertexDense.lean": {
      "bytes": 2122,
      "sha256": "88d54e0d578a32e18f07bec24259c6c8c60fb7620b1e2de561cd6b420c802b56"
    },
    "lean/ExactScoreCertificates.lean": {
      "bytes": 9087,
      "sha256": "bdfe444b10485ed8342fc68cf13966bd70182791be3cfa0f2bdb3184a2fac8a7"
    },
    "lean/ExclusionCertificates.lean": {
      "bytes": 4276,
      "sha256": "a4125681521bc9099ee25b6db86be94f4139925a26d2021bbd78f269ebb936ce"
    },
    "lean/Extremal.lean": {
      "bytes": 3712,
      "sha256": "ef50058ad1ba3c9bcdb87f4332e1e030881a880c5a057eeeccc93682e3f5c1f5"
    },
    "lean/ExtremalExamples.lean": {
      "bytes": 2065,
      "sha256": "b985c63a313da9c1611e8951c8de320842165c75580d33cf2f04b14b4053a113"
    },
    "lean/FiniteGame.lean": {
      "bytes": 3966,
      "sha256": "2fa4f564c701cf87e0e4b96b4862e0d84875e7ab01e61fa53ca3ff33dc1bae44"
    },
    "lean/GuideAttachment.lean": {
      "bytes": 4148,
      "sha256": "f4be947fd16f0225769f1521464c4c2cc7d8b0523ed86051eac8b8f3c9384c86"
    },
    "lean/ProtectedRouting.lean": {
      "bytes": 3379,
      "sha256": "af7717615600f7d042f2e4f4b515c11cc67c72d272d0e8f9db35c42db8af0cb7"
    },
    "lean/README.md": {
      "bytes": 10931,
      "sha256": "19fa2c925c1f7849e1a15900dc525fb5996d9be490ceb7a1609a0450e0a16c4c"
    },
    "lean/RobustLayers.lean": {
      "bytes": 3277,
      "sha256": "b878a6372018a5ff4aa59764d80f33a81b1b2c11f8841e43a563d375954e3d62"
    },
    "lean/RobustTwoMove.lean": {
      "bytes": 1881,
      "sha256": "fb662a539af1d65808a7436a0608408a016b01a3416c68972a565525e611eea9"
    },
    "lean/SafeBranching.lean": {
      "bytes": 3549,
      "sha256": "4ef3781026919c462682c9320a49c3e99709562946bfa15d108dd30c46dc7363"
    },
    "lean/SemanticCompleteness.lean": {
      "bytes": 11226,
      "sha256": "b58354aa9ed82fe608ee17552ce0d2358c41564cc85bf418aa73ba47947f125e"
    },
    "lean/SmallDenseEnvelopes.lean": {
      "bytes": 10745,
      "sha256": "1271ed32095e7eca909a9484530d9411d726333c187a8224ab2e04ee42462fb5"
    },
    "lean/StagedEnvelopes.lean": {
      "bytes": 2633,
      "sha256": "0e751c0ff104cbde1faa99cced07a5e3c0b05ad644ca539a54d519c343c8370e"
    },
    "lean/TwelveVertexCertificate.lean": {
      "bytes": 67777,
      "sha256": "24e7ac5448b04e5572f03a00c3440458fc923fba12342ca637a73abe099b7750"
    },
    "lean/VertexBound.lean": {
      "bytes": 5131,
      "sha256": "1ec5f62555b41c2baea60d3557b5cb07010157655d8774963804acf4064fa731"
    },
    "lean/check.py": {
      "bytes": 2521,
      "sha256": "61e0cbc2d4a0b7c87274a1070bcfff90fb2d4e0243bf97cc5ede1ccfc5d6b61a"
    },
    "lean/generate_finite_certificate.py": {
      "bytes": 3781,
      "sha256": "b2b479cf61643336b3c461684499c2f89672bc184d678064c16d1574a0b4613e"
    },
    "lean/lean-toolchain": {
      "bytes": 25,
      "sha256": "3aac669c7a910ec2389f4e4f921b605adf6ebf2d1e0c9b9cd0be4d33f3f5db71"
    },
    "lean/verification.json": {
      "bytes": 17472,
      "sha256": "c54fbbca0c716762c57ced74e487129110bcd2355a2d43dd192be9c0a2b6e764"
    },
    "manuscript-source.zip": {
      "bytes": 272059,
      "sha256": "446ceffdff16afc8523358cc05884a62d672a9e3fd473cbc8959f9556b23c01a"
    },
    "references.bib": {
      "bytes": 2317,
      "sha256": "20247da1ec8d23e0849670adac957d9377308c1334d08a6a8845d541356280d5"
    },
    "research-sources.zip": {
      "bytes": 104673548,
      "sha256": "0feba728ccad9a61c607c590238a298ac792f9a7bfd9266a91e28cb04705b6dd"
    }
  }
}