{
  "checked_utc": "2026-09-27T05:32:45.804Z",
  "commit": "54d9b1b7afd96328229ea318142b66235c54f5ba",
  "release_tag": "v0.7.0-incompleteness",
  "release": "https://github.com/KokunoYumeto/openlogic-ps-Arab-PK/releases/tag/v0.7.0-incompleteness",
  "zenodo": "https://zenodo.org/records/22971283",
  "files": [
    {
      "mirror": "github",
      "name": "01-openlogic-ps-Arab-PK-cumulative-through-incompleteness-v0.7.0.pdf",
      "url": "https://github.com/KokunoYumeto/openlogic-ps-Arab-PK/releases/download/v0.7.0-incompleteness/01-openlogic-ps-Arab-PK-cumulative-through-incompleteness-v0.7.0.pdf",
      "bytes": 2094160,
      "sha256": "cdf30b9304f6e7a43c05cbc08be7d33bba6974cdd037740d02ef47aecdc05b53",
      "matches": true
    },
    {
      "mirror": "github",
      "name": "02-openlogic-ps-Arab-PK-cumulative-through-incompleteness-v0.7.0.tex",
      "url": "https://github.com/KokunoYumeto/openlogic-ps-Arab-PK/releases/download/v0.7.0-incompleteness/02-openlogic-ps-Arab-PK-cumulative-through-incompleteness-v0.7.0.tex",
      "bytes": 2130685,
      "sha256": "35acaf3c6f9ca03feea6c455fb808f290998556f5c7267bc2a91cbc7bea5a7b7",
      "matches": true
    },
    {
      "mirror": "github",
      "name": "03-openlogic-ps-Arab-PK-v0.7.0-incompleteness-sources.zip",
      "url": "https://github.com/KokunoYumeto/openlogic-ps-Arab-PK/releases/download/v0.7.0-incompleteness/03-openlogic-ps-Arab-PK-v0.7.0-incompleteness-sources.zip",
      "bytes": 29596014,
      "sha256": "530f8e3082aa1feb0dee312dbf1d4c14ddbe15e38473582984d7609a68984f3c",
      "matches": true
    },
    {
      "mirror": "github",
      "name": "04-openlogic-ps-Arab-PK-cumulative-through-incompleteness-v0.7.0.epub",
      "url": "https://github.com/KokunoYumeto/openlogic-ps-Arab-PK/releases/download/v0.7.0-incompleteness/04-openlogic-ps-Arab-PK-cumulative-through-incompleteness-v0.7.0.epub",
      "bytes": 949392,
      "sha256": "fc6291fac902df4e5598ac071990f202d778fadf08d9ebf9888bda8e27e6ace6",
      "matches": true
    },
    {
      "mirror": "github",
      "name": "05-CUMULATIVE-EDITION-VALIDATION-v0.7.0.json",
      "url": "https://github.com/KokunoYumeto/openlogic-ps-Arab-PK/releases/download/v0.7.0-incompleteness/05-CUMULATIVE-EDITION-VALIDATION-v0.7.0.json",
      "bytes": 2280,
      "sha256": "20150b785996371df3b1ff863b0c89270a575773b34968dd582b5784914ecfc5",
      "matches": true
    },
    {
      "mirror": "github",
      "name": "99-SHA256SUMS-v0.7.0.txt",
      "url": "https://github.com/KokunoYumeto/openlogic-ps-Arab-PK/releases/download/v0.7.0-incompleteness/99-SHA256SUMS-v0.7.0.txt",
      "bytes": 641,
      "sha256": "54a2318d8ac128b301f6c680dd5ec4860dab8814d484eea358ab87e90625da58",
      "matches": true
    },
    {
      "mirror": "zenodo",
      "name": "01-openlogic-ps-Arab-PK-cumulative-through-incompleteness-v0.7.0.pdf",
      "url": "https://zenodo.org/api/records/22971283/files/01-openlogic-ps-Arab-PK-cumulative-through-incompleteness-v0.7.0.pdf/content",
      "bytes": 2094160,
      "sha256": "cdf30b9304f6e7a43c05cbc08be7d33bba6974cdd037740d02ef47aecdc05b53",
      "matches": true
    },
    {
      "mirror": "zenodo",
      "name": "02-openlogic-ps-Arab-PK-cumulative-through-incompleteness-v0.7.0.tex",
      "url": "https://zenodo.org/api/records/22971283/files/02-openlogic-ps-Arab-PK-cumulative-through-incompleteness-v0.7.0.tex/content",
      "bytes": 2130685,
      "sha256": "35acaf3c6f9ca03feea6c455fb808f290998556f5c7267bc2a91cbc7bea5a7b7",
      "matches": true
    },
    {
      "mirror": "zenodo",
      "name": "03-openlogic-ps-Arab-PK-v0.7.0-incompleteness-sources.zip",
      "url": "https://zenodo.org/api/records/22971283/files/03-openlogic-ps-Arab-PK-v0.7.0-incompleteness-sources.zip/content",
      "bytes": 29596014,
      "sha256": "530f8e3082aa1feb0dee312dbf1d4c14ddbe15e38473582984d7609a68984f3c",
      "matches": true
    },
    {
      "mirror": "zenodo",
      "name": "04-openlogic-ps-Arab-PK-cumulative-through-incompleteness-v0.7.0.epub",
      "url": "https://zenodo.org/api/records/22971283/files/04-openlogic-ps-Arab-PK-cumulative-through-incompleteness-v0.7.0.epub/content",
      "bytes": 949392,
      "sha256": "fc6291fac902df4e5598ac071990f202d778fadf08d9ebf9888bda8e27e6ace6",
      "matches": true
    },
    {
      "mirror": "zenodo",
      "name": "05-CUMULATIVE-EDITION-VALIDATION-v0.7.0.json",
      "url": "https://zenodo.org/api/records/22971283/files/05-CUMULATIVE-EDITION-VALIDATION-v0.7.0.json/content",
      "bytes": 2280,
      "sha256": "20150b785996371df3b1ff863b0c89270a575773b34968dd582b5784914ecfc5",
      "matches": true
    },
    {
      "mirror": "zenodo",
      "name": "99-SHA256SUMS-v0.7.0.txt",
      "url": "https://zenodo.org/api/records/22971283/files/99-SHA256SUMS-v0.7.0.txt/content",
      "bytes": 641,
      "sha256": "54a2318d8ac128b301f6c680dd5ec4860dab8814d484eea358ab87e90625da58",
      "matches": true
    }
  ],
  "source_checkpoint": {
    "commit": "6e55d2979bf3af1b830f4c7ef3bf4cbc652990e9",
    "url": "https://github.com/KokunoYumeto/openlogic-ps-Arab-PK/tree/6e55d2979bf3af1b830f4c7ef3bf4cbc652990e9",
    "archive_url": "https://codeload.github.com/KokunoYumeto/openlogic-ps-Arab-PK/zip/6e55d2979bf3af1b830f4c7ef3bf4cbc652990e9",
    "archive_bytes": 30832714,
    "archive_sha256": "e704ef925f5efe790f8e9f3a97a5a093cb4719c9c1a2ed94787f54923bddd981",
    "targets_verified": 393,
    "frozen_sources_verified": 722,
    "aligned_blocks": 5999,
    "canon_records": 3783,
    "failures": [],
    "evidence": "evidence/PASHTO_V070_MANAGER_AUDIT_20260927.json",
    "reader_units": 321,
    "full_semantic_reaudit": false
  },
  "package_checks": {
    "scope": "Independent archive/source/segment/canon-reference and EPUB structure replay; not whole-corpus semantic certification",
    "failures": [],
    "snapshots": {
      "release": {
        "archive_sha256": "530f8e3082aa1feb0dee312dbf1d4c14ddbe15e38473582984d7609a68984f3c",
        "files": 1498,
        "source_files_verified": 722,
        "target_units_verified": 362,
        "aligned_blocks_verified": 5589,
        "changed_blocks_with_canon_reference": 3536,
        "semantic_certification": false
      },
      "source393": {
        "archive_sha256": "e704ef925f5efe790f8e9f3a97a5a093cb4719c9c1a2ed94787f54923bddd981",
        "files": 1709,
        "source_files_verified": 722,
        "target_units_verified": 393,
        "aligned_blocks_verified": 5999,
        "changed_blocks_with_canon_reference": 3783,
        "semantic_certification": false
      }
    },
    "reader_owner_acceptance": {
      "reader_units": 321,
      "source_snapshot_drafts": 362,
      "total_units": 722,
      "chapters": 31,
      "pdf_pages": 420,
      "semantic_segments": 3414
    },
    "direct_tex": {
      "input_commands": [
        "../upstream/sty/bussproofs-extra.sty",
        "../upstream/sty/open-logic-formulas.sty",
        "../upstream/sty/open-logic-selective.sty",
        "../upstream/open-logic-config.sty",
        "#2"
      ],
      "segment_ids": 3414,
      "unit_ids": 321
    },
    "source_sample": {
      "unit": "OLP-0391",
      "source_sha256": "1180052e6f39c499a3d55b43200ce6af0e92b3f2c5b55d416eaac29e96bb66a7",
      "target_sha256": "403af7b1ae8cd4f681410f90ca5f3819d32ec1ae35590b34c24c90e6e36053b4",
      "segments": 10
    },
    "canon_sample": [
      {
        "passage_id": "PK-IQRAM-P2-SEMANTICS",
        "original_sha256": "5d856e56e72819fa7c8d4746fed1dcc1fcf81c129e08bbb9846e81f77f8d02bb",
        "page_sha256": "4bf4703777dcc07248973705785454761cf5846b830205d3a9305ad2929cebc6",
        "hashes_match": true
      },
      {
        "passage_id": "GRAMMAR-P166-SOV",
        "original_sha256": "812aee8792267416f981d93cc986a346e5c981b00e31dce56d5fc6b37cf551d0",
        "page_sha256": "4ea5f09844b03ad466989401970a2ca49e9f94fd02375968d3285a0709a3592c",
        "hashes_match": true
      }
    ],
    "epub": {
      "mathml": 19671,
      "unit_ids": 321,
      "xml_documents": 35,
      "broken_internal_links": [],
      "mimetype": "application/epub+zip"
    }
  },
  "formula_defect": {
    "id": "PS-V070-LITERAL-FORMULA-PREFIX-20260927",
    "status": "confirmed rendered PDF defect; EPUB presentation-MathML also affected",
    "pdf_sha256": "cdf30b9304f6e7a43c05cbc08be7d33bba6974cdd037740d02ef47aecdc05b53",
    "epub_sha256": "fc6291fac902df4e5598ac071990f202d778fadf08d9ebf9888bda8e27e6ace6",
    "authority_hashes": {
      "upstream/sty/open-logic-formulas.sty": "e423085b198e355af8bbffea36afd511528eca67089cafb88f97b224a9242011",
      "upstream/open-logic-config.sty": "76af3674c68139572b71de9908d690700cd7e324d221d649930ecda020935724"
    },
    "visually_inspected_pdf_pages": [
      413,
      414
    ],
    "pdf_text_extraction_prefix_candidates": [
      {
        "pdf_page": 82,
        "prefix_matches": 10
      },
      {
        "pdf_page": 83,
        "prefix_matches": 22
      },
      {
        "pdf_page": 84,
        "prefix_matches": 38
      },
      {
        "pdf_page": 85,
        "prefix_matches": 51
      },
      {
        "pdf_page": 86,
        "prefix_matches": 81
      },
      {
        "pdf_page": 87,
        "prefix_matches": 58
      },
      {
        "pdf_page": 88,
        "prefix_matches": 39
      },
      {
        "pdf_page": 89,
        "prefix_matches": 52
      },
      {
        "pdf_page": 90,
        "prefix_matches": 10
      },
      {
        "pdf_page": 91,
        "prefix_matches": 8
      },
      {
        "pdf_page": 92,
        "prefix_matches": 34
      },
      {
        "pdf_page": 93,
        "prefix_matches": 24
      },
      {
        "pdf_page": 94,
        "prefix_matches": 24
      },
      {
        "pdf_page": 95,
        "prefix_matches": 65
      },
      {
        "pdf_page": 96,
        "prefix_matches": 19
      },
      {
        "pdf_page": 97,
        "prefix_matches": 38
      },
      {
        "pdf_page": 98,
        "prefix_matches": 28
      },
      {
        "pdf_page": 99,
        "prefix_matches": 29
      },
      {
        "pdf_page": 100,
        "prefix_matches": 85
      },
      {
        "pdf_page": 101,
        "prefix_matches": 104
      },
      {
        "pdf_page": 102,
        "prefix_matches": 106
      },
      {
        "pdf_page": 103,
        "prefix_matches": 105
      },
      {
        "pdf_page": 104,
        "prefix_matches": 72
      },
      {
        "pdf_page": 105,
        "prefix_matches": 53
      },
      {
        "pdf_page": 106,
        "prefix_matches": 50
      },
      {
        "pdf_page": 107,
        "prefix_matches": 35
      },
      {
        "pdf_page": 108,
        "prefix_matches": 39
      },
      {
        "pdf_page": 109,
        "prefix_matches": 113
      },
      {
        "pdf_page": 110,
        "prefix_matches": 57
      },
      {
        "pdf_page": 111,
        "prefix_matches": 31
      },
      {
        "pdf_page": 112,
        "prefix_matches": 86
      },
      {
        "pdf_page": 113,
        "prefix_matches": 64
      },
      {
        "pdf_page": 114,
        "prefix_matches": 38
      },
      {
        "pdf_page": 115,
        "prefix_matches": 33
      },
      {
        "pdf_page": 116,
        "prefix_matches": 1
      },
      {
        "pdf_page": 117,
        "prefix_matches": 40
      },
      {
        "pdf_page": 118,
        "prefix_matches": 24
      },
      {
        "pdf_page": 119,
        "prefix_matches": 39
      },
      {
        "pdf_page": 120,
        "prefix_matches": 58
      },
      {
        "pdf_page": 121,
        "prefix_matches": 84
      },
      {
        "pdf_page": 122,
        "prefix_matches": 63
      },
      {
        "pdf_page": 123,
        "prefix_matches": 115
      },
      {
        "pdf_page": 124,
        "prefix_matches": 34
      },
      {
        "pdf_page": 125,
        "prefix_matches": 52
      },
      {
        "pdf_page": 126,
        "prefix_matches": 49
      },
      {
        "pdf_page": 127,
        "prefix_matches": 57
      },
      {
        "pdf_page": 128,
        "prefix_matches": 24
      },
      {
        "pdf_page": 129,
        "prefix_matches": 27
      },
      {
        "pdf_page": 130,
        "prefix_matches": 67
      },
      {
        "pdf_page": 131,
        "prefix_matches": 27
      },
      {
        "pdf_page": 132,
        "prefix_matches": 42
      },
      {
        "pdf_page": 133,
        "prefix_matches": 56
      },
      {
        "pdf_page": 134,
        "prefix_matches": 45
      },
      {
        "pdf_page": 135,
        "prefix_matches": 30
      },
      {
        "pdf_page": 136,
        "prefix_matches": 22
      },
      {
        "pdf_page": 137,
        "prefix_matches": 16
      },
      {
        "pdf_page": 138,
        "prefix_matches": 36
      },
      {
        "pdf_page": 139,
        "prefix_matches": 16
      },
      {
        "pdf_page": 140,
        "prefix_matches": 14
      },
      {
        "pdf_page": 141,
        "prefix_matches": 11
      },
      {
        "pdf_page": 142,
        "prefix_matches": 9
      },
      {
        "pdf_page": 143,
        "prefix_matches": 4
      },
      {
        "pdf_page": 144,
        "prefix_matches": 71
      },
      {
        "pdf_page": 145,
        "prefix_matches": 32
      },
      {
        "pdf_page": 146,
        "prefix_matches": 5
      },
      {
        "pdf_page": 147,
        "prefix_matches": 4
      },
      {
        "pdf_page": 148,
        "prefix_matches": 33
      },
      {
        "pdf_page": 149,
        "prefix_matches": 54
      },
      {
        "pdf_page": 150,
        "prefix_matches": 39
      },
      {
        "pdf_page": 151,
        "prefix_matches": 60
      },
      {
        "pdf_page": 152,
        "prefix_matches": 34
      },
      {
        "pdf_page": 153,
        "prefix_matches": 23
      },
      {
        "pdf_page": 154,
        "prefix_matches": 23
      },
      {
        "pdf_page": 155,
        "prefix_matches": 16
      },
      {
        "pdf_page": 156,
        "prefix_matches": 64
      },
      {
        "pdf_page": 157,
        "prefix_matches": 27
      },
      {
        "pdf_page": 158,
        "prefix_matches": 18
      },
      {
        "pdf_page": 159,
        "prefix_matches": 14
      },
      {
        "pdf_page": 160,
        "prefix_matches": 80
      },
      {
        "pdf_page": 161,
        "prefix_matches": 107
      },
      {
        "pdf_page": 162,
        "prefix_matches": 105
      },
      {
        "pdf_page": 163,
        "prefix_matches": 37
      },
      {
        "pdf_page": 164,
        "prefix_matches": 63
      },
      {
        "pdf_page": 165,
        "prefix_matches": 92
      },
      {
        "pdf_page": 166,
        "prefix_matches": 48
      },
      {
        "pdf_page": 167,
        "prefix_matches": 54
      },
      {
        "pdf_page": 168,
        "prefix_matches": 50
      },
      {
        "pdf_page": 169,
        "prefix_matches": 62
      },
      {
        "pdf_page": 170,
        "prefix_matches": 8
      },
      {
        "pdf_page": 171,
        "prefix_matches": 4
      },
      {
        "pdf_page": 172,
        "prefix_matches": 35
      },
      {
        "pdf_page": 173,
        "prefix_matches": 36
      },
      {
        "pdf_page": 174,
        "prefix_matches": 69
      },
      {
        "pdf_page": 175,
        "prefix_matches": 40
      },
      {
        "pdf_page": 176,
        "prefix_matches": 39
      },
      {
        "pdf_page": 177,
        "prefix_matches": 5
      },
      {
        "pdf_page": 178,
        "prefix_matches": 59
      },
      {
        "pdf_page": 179,
        "prefix_matches": 24
      },
      {
        "pdf_page": 181,
        "prefix_matches": 20
      },
      {
        "pdf_page": 182,
        "prefix_matches": 10
      },
      {
        "pdf_page": 183,
        "prefix_matches": 3
      },
      {
        "pdf_page": 184,
        "prefix_matches": 21
      },
      {
        "pdf_page": 188,
        "prefix_matches": 23
      },
      {
        "pdf_page": 189,
        "prefix_matches": 17
      },
      {
        "pdf_page": 190,
        "prefix_matches": 16
      },
      {
        "pdf_page": 191,
        "prefix_matches": 15
      },
      {
        "pdf_page": 192,
        "prefix_matches": 34
      },
      {
        "pdf_page": 193,
        "prefix_matches": 15
      },
      {
        "pdf_page": 194,
        "prefix_matches": 16
      },
      {
        "pdf_page": 197,
        "prefix_matches": 31
      },
      {
        "pdf_page": 198,
        "prefix_matches": 37
      },
      {
        "pdf_page": 199,
        "prefix_matches": 95
      },
      {
        "pdf_page": 200,
        "prefix_matches": 65
      },
      {
        "pdf_page": 201,
        "prefix_matches": 61
      },
      {
        "pdf_page": 202,
        "prefix_matches": 65
      },
      {
        "pdf_page": 203,
        "prefix_matches": 24
      },
      {
        "pdf_page": 204,
        "prefix_matches": 82
      },
      {
        "pdf_page": 205,
        "prefix_matches": 45
      },
      {
        "pdf_page": 206,
        "prefix_matches": 48
      },
      {
        "pdf_page": 207,
        "prefix_matches": 63
      },
      {
        "pdf_page": 208,
        "prefix_matches": 14
      },
      {
        "pdf_page": 209,
        "prefix_matches": 11
      },
      {
        "pdf_page": 210,
        "prefix_matches": 6
      },
      {
        "pdf_page": 212,
        "prefix_matches": 22
      },
      {
        "pdf_page": 213,
        "prefix_matches": 37
      },
      {
        "pdf_page": 214,
        "prefix_matches": 5
      },
      {
        "pdf_page": 215,
        "prefix_matches": 2
      },
      {
        "pdf_page": 216,
        "prefix_matches": 17
      },
      {
        "pdf_page": 217,
        "prefix_matches": 84
      },
      {
        "pdf_page": 218,
        "prefix_matches": 52
      },
      {
        "pdf_page": 219,
        "prefix_matches": 40
      },
      {
        "pdf_page": 220,
        "prefix_matches": 4
      },
      {
        "pdf_page": 221,
        "prefix_matches": 47
      },
      {
        "pdf_page": 222,
        "prefix_matches": 35
      },
      {
        "pdf_page": 223,
        "prefix_matches": 6
      },
      {
        "pdf_page": 224,
        "prefix_matches": 7
      },
      {
        "pdf_page": 225,
        "prefix_matches": 4
      },
      {
        "pdf_page": 226,
        "prefix_matches": 4
      },
      {
        "pdf_page": 227,
        "prefix_matches": 4
      },
      {
        "pdf_page": 228,
        "prefix_matches": 1
      },
      {
        "pdf_page": 229,
        "prefix_matches": 4
      },
      {
        "pdf_page": 230,
        "prefix_matches": 7
      },
      {
        "pdf_page": 233,
        "prefix_matches": 2
      },
      {
        "pdf_page": 234,
        "prefix_matches": 15
      },
      {
        "pdf_page": 236,
        "prefix_matches": 6
      },
      {
        "pdf_page": 239,
        "prefix_matches": 47
      },
      {
        "pdf_page": 240,
        "prefix_matches": 25
      },
      {
        "pdf_page": 241,
        "prefix_matches": 32
      },
      {
        "pdf_page": 245,
        "prefix_matches": 3
      },
      {
        "pdf_page": 246,
        "prefix_matches": 3
      },
      {
        "pdf_page": 247,
        "prefix_matches": 4
      },
      {
        "pdf_page": 248,
        "prefix_matches": 18
      },
      {
        "pdf_page": 250,
        "prefix_matches": 16
      },
      {
        "pdf_page": 251,
        "prefix_matches": 5
      },
      {
        "pdf_page": 256,
        "prefix_matches": 14
      },
      {
        "pdf_page": 257,
        "prefix_matches": 3
      },
      {
        "pdf_page": 258,
        "prefix_matches": 8
      },
      {
        "pdf_page": 259,
        "prefix_matches": 8
      },
      {
        "pdf_page": 264,
        "prefix_matches": 34
      },
      {
        "pdf_page": 265,
        "prefix_matches": 68
      },
      {
        "pdf_page": 266,
        "prefix_matches": 48
      },
      {
        "pdf_page": 267,
        "prefix_matches": 32
      },
      {
        "pdf_page": 268,
        "prefix_matches": 11
      },
      {
        "pdf_page": 269,
        "prefix_matches": 22
      },
      {
        "pdf_page": 270,
        "prefix_matches": 11
      },
      {
        "pdf_page": 271,
        "prefix_matches": 33
      },
      {
        "pdf_page": 272,
        "prefix_matches": 12
      },
      {
        "pdf_page": 273,
        "prefix_matches": 33
      },
      {
        "pdf_page": 274,
        "prefix_matches": 6
      },
      {
        "pdf_page": 340,
        "prefix_matches": 3
      },
      {
        "pdf_page": 345,
        "prefix_matches": 8
      },
      {
        "pdf_page": 346,
        "prefix_matches": 1
      },
      {
        "pdf_page": 347,
        "prefix_matches": 7
      },
      {
        "pdf_page": 348,
        "prefix_matches": 39
      },
      {
        "pdf_page": 349,
        "prefix_matches": 18
      },
      {
        "pdf_page": 350,
        "prefix_matches": 15
      },
      {
        "pdf_page": 351,
        "prefix_matches": 24
      },
      {
        "pdf_page": 352,
        "prefix_matches": 22
      },
      {
        "pdf_page": 353,
        "prefix_matches": 24
      },
      {
        "pdf_page": 354,
        "prefix_matches": 18
      },
      {
        "pdf_page": 355,
        "prefix_matches": 28
      },
      {
        "pdf_page": 356,
        "prefix_matches": 2
      },
      {
        "pdf_page": 360,
        "prefix_matches": 2
      },
      {
        "pdf_page": 361,
        "prefix_matches": 8
      },
      {
        "pdf_page": 362,
        "prefix_matches": 22
      },
      {
        "pdf_page": 363,
        "prefix_matches": 40
      },
      {
        "pdf_page": 364,
        "prefix_matches": 17
      },
      {
        "pdf_page": 365,
        "prefix_matches": 12
      },
      {
        "pdf_page": 366,
        "prefix_matches": 17
      },
      {
        "pdf_page": 367,
        "prefix_matches": 10
      },
      {
        "pdf_page": 368,
        "prefix_matches": 7
      },
      {
        "pdf_page": 369,
        "prefix_matches": 2
      },
      {
        "pdf_page": 373,
        "prefix_matches": 8
      },
      {
        "pdf_page": 374,
        "prefix_matches": 30
      },
      {
        "pdf_page": 375,
        "prefix_matches": 19
      },
      {
        "pdf_page": 376,
        "prefix_matches": 5
      },
      {
        "pdf_page": 377,
        "prefix_matches": 26
      },
      {
        "pdf_page": 378,
        "prefix_matches": 13
      },
      {
        "pdf_page": 379,
        "prefix_matches": 7
      },
      {
        "pdf_page": 380,
        "prefix_matches": 9
      },
      {
        "pdf_page": 381,
        "prefix_matches": 57
      },
      {
        "pdf_page": 382,
        "prefix_matches": 28
      },
      {
        "pdf_page": 383,
        "prefix_matches": 15
      },
      {
        "pdf_page": 384,
        "prefix_matches": 14
      },
      {
        "pdf_page": 385,
        "prefix_matches": 13
      },
      {
        "pdf_page": 386,
        "prefix_matches": 10
      },
      {
        "pdf_page": 390,
        "prefix_matches": 5
      },
      {
        "pdf_page": 391,
        "prefix_matches": 12
      },
      {
        "pdf_page": 392,
        "prefix_matches": 20
      },
      {
        "pdf_page": 393,
        "prefix_matches": 18
      },
      {
        "pdf_page": 394,
        "prefix_matches": 10
      },
      {
        "pdf_page": 395,
        "prefix_matches": 19
      },
      {
        "pdf_page": 396,
        "prefix_matches": 16
      },
      {
        "pdf_page": 397,
        "prefix_matches": 27
      },
      {
        "pdf_page": 398,
        "prefix_matches": 22
      },
      {
        "pdf_page": 399,
        "prefix_matches": 21
      },
      {
        "pdf_page": 400,
        "prefix_matches": 58
      },
      {
        "pdf_page": 401,
        "prefix_matches": 8
      },
      {
        "pdf_page": 402,
        "prefix_matches": 5
      },
      {
        "pdf_page": 403,
        "prefix_matches": 24
      },
      {
        "pdf_page": 404,
        "prefix_matches": 13
      },
      {
        "pdf_page": 405,
        "prefix_matches": 20
      },
      {
        "pdf_page": 406,
        "prefix_matches": 33
      },
      {
        "pdf_page": 407,
        "prefix_matches": 2
      },
      {
        "pdf_page": 408,
        "prefix_matches": 16
      },
      {
        "pdf_page": 409,
        "prefix_matches": 37
      },
      {
        "pdf_page": 410,
        "prefix_matches": 68
      },
      {
        "pdf_page": 411,
        "prefix_matches": 38
      },
      {
        "pdf_page": 412,
        "prefix_matches": 29
      },
      {
        "pdf_page": 413,
        "prefix_matches": 18
      },
      {
        "pdf_page": 414,
        "prefix_matches": 16
      },
      {
        "pdf_page": 415,
        "prefix_matches": 49
      },
      {
        "pdf_page": 416,
        "prefix_matches": 28
      },
      {
        "pdf_page": 417,
        "prefix_matches": 36
      },
      {
        "pdf_page": 418,
        "prefix_matches": 20
      },
      {
        "pdf_page": 419,
        "prefix_matches": 22
      }
    ],
    "epub_presentation_candidates": [
      {
        "file": "EPUB/chapter-20.xhtml",
        "suspect_formulas": 15,
        "samples": [
          "𝔐1⊨!Q1",
          "𝔐1⊨!Q2"
        ]
      },
      {
        "file": "EPUB/chapter-27.xhtml",
        "suspect_formulas": 2,
        "samples": [
          "{!Q1,…,!Q8}",
          "𝑸={φ:{!Q1,…,!Q8}⊨φ}."
        ]
      },
      {
        "file": "EPUB/chapter-29.xhtml",
        "suspect_formulas": 33,
        "samples": [
          "!Q4",
          "!Q5"
        ]
      },
      {
        "file": "EPUB/chapter-30.xhtml",
        "suspect_formulas": 3,
        "samples": [
          "!Q1",
          "!Q8"
        ]
      }
    ],
    "exclusions": "TeX annotations excluded from EPUB counts; do not strip factorial, uniqueness, spacing commands or prose punctuation",
    "whole_pdf_visual_review": false,
    "repair_status": "referred to existing owner; not yet repaired"
  },
  "visual_sample": {
    "pdf_pages": [
      413,
      414
    ],
    "whole_pdf_visual_certification": false,
    "layout": "No clipping on sampled pages; literal notation prefixes are a confirmed defect."
  },
  "canon_sample": {
    "pages_actually_read": [
      "PK-IQRAM-P2-SEMANTICS",
      "GRAMMAR-P166-SOV"
    ],
    "scope": "Regional scholarly prose and verb-final grammar, not proof of unattested specialist compounds."
  },
  "source_correction_sample": {
    "id": "OLMVL-001",
    "unit": "OLP-0391",
    "status": "Source theorem omits nullary/extra connective cases permitted by contextual definitions. Target qualification helps but induction needs the added cases; referred to owner, not upstream."
  },
  "ai_disclosure": "OpenAI Codex — GPT-6 Astra, Ultra effort: inspection and catalogue metadata; no human review claimed.",
  "scope_limits": [
    "No whole-corpus semantic certification",
    "No new TeX or reader build",
    "Existing access retained",
    "394-unit report not promoted"
  ]
}