{
  "public_source_identity": {"checked_utc":"2026-09-28T18:52:32.470962+00:00","commit":"5afd562fd74d16e58f174ba379eedbabdd261b7a","url":"https://codeload.github.com/KokunoYumeto/openlogic-ps-Arab-PK/zip/5afd562fd74d16e58f174ba379eedbabdd261b7a","archive_bytes":34885052,"archive_sha256":"4421d9cbba9dd85475c7c07cd0ad08b9aae94652da33176208f15172ecb02c79","crc_failure":null,"frozen_sources_verified":722,"targets_verified":481,"aligned_blocks":7271,"canon_records":4561,"reader_units":321,"release_source_snapshot_units":405,"qa_coverage":{"total":722,"draft_units":481,"structural_pass":481,"visually_accepted":321,"published":321},"qa_sha256":"fd5f398e2aefade7453ccc039be09d6d9ed17099a4bb6f1df2b02ccfe3348f17","alignment_sha256":"60e95c05f5ed0045fb1882215975b37af23d83f391d0b65a74fd378edb82e6f7","canon_sha256":"5bcedfb5a121fe2a7e61b519d17f5fcfa61c4667016e573f535492b96bc7a415","failures":[],"full_semantic_reaudit":false,"scope":"Exact public source/target/segment identity and canon-record binding; not re-certification of all canon passages, mathematical or linguistic choices."},
  "checked_utc": "2026-09-28T18:44:56.316140+00:00",
  "files": [
    {
      "host": "github",
      "name": "01-openlogic-ps-Arab-PK-cumulative-through-incompleteness-v0.7.1.pdf",
      "url": "https://github.com/KokunoYumeto/openlogic-ps-Arab-PK/releases/download/v0.7.1-incompleteness-formula-repair/01-openlogic-ps-Arab-PK-cumulative-through-incompleteness-v0.7.1.pdf",
      "bytes": 2088718,
      "sha256": "5e103ec5d4de07437a54505c65078f456d3df110947f127051f812cdf469ad73",
      "anonymous": true,
      "matches": true
    },
    {
      "host": "github",
      "name": "02-openlogic-ps-Arab-PK-cumulative-through-incompleteness-v0.7.1.tex",
      "url": "https://github.com/KokunoYumeto/openlogic-ps-Arab-PK/releases/download/v0.7.1-incompleteness-formula-repair/02-openlogic-ps-Arab-PK-cumulative-through-incompleteness-v0.7.1.tex",
      "bytes": 2131172,
      "sha256": "33682539709c558905a57da023cb050f10a03fa85098eaea41b57c4c29b8cfea",
      "anonymous": true,
      "matches": true
    },
    {
      "host": "github",
      "name": "03-openlogic-ps-Arab-PK-v0.7.1-incompleteness-formula-repair-sources.zip",
      "url": "https://github.com/KokunoYumeto/openlogic-ps-Arab-PK/releases/download/v0.7.1-incompleteness-formula-repair/03-openlogic-ps-Arab-PK-v0.7.1-incompleteness-formula-repair-sources.zip",
      "bytes": 31811931,
      "sha256": "023d19675d9b26d01dac98308bf5549f2526c6216a62393c666cd7afe8e86908",
      "anonymous": true,
      "matches": true
    },
    {
      "host": "github",
      "name": "04-openlogic-ps-Arab-PK-cumulative-through-incompleteness-v0.7.1.epub",
      "url": "https://github.com/KokunoYumeto/openlogic-ps-Arab-PK/releases/download/v0.7.1-incompleteness-formula-repair/04-openlogic-ps-Arab-PK-cumulative-through-incompleteness-v0.7.1.epub",
      "bytes": 949357,
      "sha256": "d533d02588a7368e8fa530eda6c8e33a2755b41c0aa2b4ecb197b2e828808c12",
      "anonymous": true,
      "matches": true
    },
    {
      "host": "github",
      "name": "05-CUMULATIVE-EDITION-VALIDATION-v0.7.1.json",
      "url": "https://github.com/KokunoYumeto/openlogic-ps-Arab-PK/releases/download/v0.7.1-incompleteness-formula-repair/05-CUMULATIVE-EDITION-VALIDATION-v0.7.1.json",
      "bytes": 2758,
      "sha256": "089ab8e79846421ca5d050a03a4b1b3bf7f3c2a1662480da730ec17e012d8dfc",
      "anonymous": true,
      "matches": true
    },
    {
      "host": "github",
      "name": "99-SHA256SUMS-v0.7.1.txt",
      "url": "https://github.com/KokunoYumeto/openlogic-ps-Arab-PK/releases/download/v0.7.1-incompleteness-formula-repair/99-SHA256SUMS-v0.7.1.txt",
      "bytes": 656,
      "sha256": "52d3d85ea3beba5622bf5bef79f9ef6efc1e6d9749551d838d908dc5fd2ac6e9",
      "anonymous": true,
      "matches": true
    },
    {
      "host": "zenodo",
      "name": "01-openlogic-ps-Arab-PK-cumulative-through-incompleteness-v0.7.1.pdf",
      "url": "https://zenodo.org/api/records/22991939/files/01-openlogic-ps-Arab-PK-cumulative-through-incompleteness-v0.7.1.pdf/content",
      "bytes": 2088718,
      "sha256": "5e103ec5d4de07437a54505c65078f456d3df110947f127051f812cdf469ad73",
      "anonymous": true,
      "matches": true
    },
    {
      "host": "zenodo",
      "name": "02-openlogic-ps-Arab-PK-cumulative-through-incompleteness-v0.7.1.tex",
      "url": "https://zenodo.org/api/records/22991939/files/02-openlogic-ps-Arab-PK-cumulative-through-incompleteness-v0.7.1.tex/content",
      "bytes": 2131172,
      "sha256": "33682539709c558905a57da023cb050f10a03fa85098eaea41b57c4c29b8cfea",
      "anonymous": true,
      "matches": true
    },
    {
      "host": "zenodo",
      "name": "03-openlogic-ps-Arab-PK-v0.7.1-incompleteness-formula-repair-sources.zip",
      "url": "https://zenodo.org/api/records/22991939/files/03-openlogic-ps-Arab-PK-v0.7.1-incompleteness-formula-repair-sources.zip/content",
      "bytes": 31811931,
      "sha256": "023d19675d9b26d01dac98308bf5549f2526c6216a62393c666cd7afe8e86908",
      "anonymous": true,
      "matches": true
    },
    {
      "host": "zenodo",
      "name": "04-openlogic-ps-Arab-PK-cumulative-through-incompleteness-v0.7.1.epub",
      "url": "https://zenodo.org/api/records/22991939/files/04-openlogic-ps-Arab-PK-cumulative-through-incompleteness-v0.7.1.epub/content",
      "bytes": 949357,
      "sha256": "d533d02588a7368e8fa530eda6c8e33a2755b41c0aa2b4ecb197b2e828808c12",
      "anonymous": true,
      "matches": true
    },
    {
      "host": "zenodo",
      "name": "05-CUMULATIVE-EDITION-VALIDATION-v0.7.1.json",
      "url": "https://zenodo.org/api/records/22991939/files/05-CUMULATIVE-EDITION-VALIDATION-v0.7.1.json/content",
      "bytes": 2758,
      "sha256": "089ab8e79846421ca5d050a03a4b1b3bf7f3c2a1662480da730ec17e012d8dfc",
      "anonymous": true,
      "matches": true
    },
    {
      "host": "zenodo",
      "name": "99-SHA256SUMS-v0.7.1.txt",
      "url": "https://zenodo.org/api/records/22991939/files/99-SHA256SUMS-v0.7.1.txt/content",
      "bytes": 656,
      "sha256": "52d3d85ea3beba5622bf5bef79f9ef6efc1e6d9749551d838d908dc5fd2ac6e9",
      "anonymous": true,
      "matches": true
    }
  ],
  "failures": [],
  "scope": "Release identity, source packaging, bounded repaired presentation; not whole-language certification.",
  "source_checkpoint": {
    "commit": "5afd562fd74d16e58f174ba379eedbabdd261b7a",
    "receipt_sha256": "e017193601e3dac51ca065764f5a7d7043dade46654bf9ed7978395596b5add3",
    "public_files": [
      {
        "path": "README.ps-Arab-PK.md",
        "url": "https://raw.githubusercontent.com/KokunoYumeto/openlogic-ps-Arab-PK/5afd562fd74d16e58f174ba379eedbabdd261b7a/README.ps-Arab-PK.md",
        "bytes": 15845,
        "sha256": "78ee07c937a6d63acbaa768e9bfe1065be06f96b597f44b7597e19d53ee0f937",
        "matches": true
      },
      {
        "path": "evidence/B148_CANONICAL_REPLAY.json",
        "url": "https://raw.githubusercontent.com/KokunoYumeto/openlogic-ps-Arab-PK/5afd562fd74d16e58f174ba379eedbabdd261b7a/evidence/B148_CANONICAL_REPLAY.json",
        "bytes": 1121,
        "sha256": "bbb24a05208007f3b97820bd3ee7f14c16cd3205d0efbb5d0195206ea15e9cc5",
        "matches": true
      },
      {
        "path": "evidence/B148_CORPUS_QA.json",
        "url": "https://raw.githubusercontent.com/KokunoYumeto/openlogic-ps-Arab-PK/5afd562fd74d16e58f174ba379eedbabdd261b7a/evidence/B148_CORPUS_QA.json",
        "bytes": 883,
        "sha256": "3cd18bcd6e0ed451ec8e5f3e3e29a38c8c9b096649888c5d7ba794b27e59d292",
        "matches": true
      },
      {
        "path": "evidence/B148_SOURCE_AUDIT.json",
        "url": "https://raw.githubusercontent.com/KokunoYumeto/openlogic-ps-Arab-PK/5afd562fd74d16e58f174ba379eedbabdd261b7a/evidence/B148_SOURCE_AUDIT.json",
        "bytes": 5254,
        "sha256": "7c503f5503bf7006eedd3ce4196577c44b5aabb1708f3872f976f9b8e49a8de0",
        "matches": true
      },
      {
        "path": "ps-Arab-PK/content/applied-modal-logic/applied-modal-logic.tex",
        "url": "https://raw.githubusercontent.com/KokunoYumeto/openlogic-ps-Arab-PK/5afd562fd74d16e58f174ba379eedbabdd261b7a/ps-Arab-PK/content/applied-modal-logic/applied-modal-logic.tex",
        "bytes": 488,
        "sha256": "323d2bfe610a5a95d0239d729411132c386bd79bb775848b39726547165af5e0",
        "matches": true
      },
      {
        "path": "ps-Arab-PK/content/applied-modal-logic/temporal-logic/temporal-logic.tex",
        "url": "https://raw.githubusercontent.com/KokunoYumeto/openlogic-ps-Arab-PK/5afd562fd74d16e58f174ba379eedbabdd261b7a/ps-Arab-PK/content/applied-modal-logic/temporal-logic/temporal-logic.tex",
        "bytes": 469,
        "sha256": "b1a203ad4a9bbcb38c914511fe8c2944535bace47289efb6f18eefb350d4852d",
        "matches": true
      },
      {
        "path": "ps-Arab-PK/content/applied-modal-logic/temporal-logic/introduction.tex",
        "url": "https://raw.githubusercontent.com/KokunoYumeto/openlogic-ps-Arab-PK/5afd562fd74d16e58f174ba379eedbabdd261b7a/ps-Arab-PK/content/applied-modal-logic/temporal-logic/introduction.tex",
        "bytes": 3716,
        "sha256": "c908fe863460fe91f560d383001d87fa34de27255f34d76f1a2912513af51f14",
        "matches": true
      },
      {
        "path": "ps-Arab-PK/content/applied-modal-logic/temporal-logic/temporal-logic-semantics.tex",
        "url": "https://raw.githubusercontent.com/KokunoYumeto/openlogic-ps-Arab-PK/5afd562fd74d16e58f174ba379eedbabdd261b7a/ps-Arab-PK/content/applied-modal-logic/temporal-logic/temporal-logic-semantics.tex",
        "bytes": 6976,
        "sha256": "153929fdffc937f34ba40de566e85653cf163199362ceb9a36f03e368db0d49a",
        "matches": true
      },
      {
        "path": "ps-Arab-PK/content/applied-modal-logic/temporal-logic/properties-accessibility.tex",
        "url": "https://raw.githubusercontent.com/KokunoYumeto/openlogic-ps-Arab-PK/5afd562fd74d16e58f174ba379eedbabdd261b7a/ps-Arab-PK/content/applied-modal-logic/temporal-logic/properties-accessibility.tex",
        "bytes": 2684,
        "sha256": "0f24bb649cbaf8b4356c00939d9a95255606a95e0d7c7990c31f1e109c2ab2f1",
        "matches": true
      },
      {
        "path": "ps-Arab-PK/content/applied-modal-logic/temporal-logic/extra-temporal-operators.tex",
        "url": "https://raw.githubusercontent.com/KokunoYumeto/openlogic-ps-Arab-PK/5afd562fd74d16e58f174ba379eedbabdd261b7a/ps-Arab-PK/content/applied-modal-logic/temporal-logic/extra-temporal-operators.tex",
        "bytes": 2116,
        "sha256": "46275ccbeec9b131a6e1490d15e267cf3114ccaacb877e3a55c2f9016ce587b1",
        "matches": true
      },
      {
        "path": "ps-Arab-PK/content/applied-modal-logic/temporal-logic/possible-histories.tex",
        "url": "https://raw.githubusercontent.com/KokunoYumeto/openlogic-ps-Arab-PK/5afd562fd74d16e58f174ba379eedbabdd261b7a/ps-Arab-PK/content/applied-modal-logic/temporal-logic/possible-histories.tex",
        "bytes": 4756,
        "sha256": "270c82c9da9264db2fb6b1bb1866968cdd5351d7d27f49f814cafa96c9003611",
        "matches": true
      },
      {
        "path": "evidence/B147_CORPUS_QA.json",
        "url": "https://raw.githubusercontent.com/KokunoYumeto/openlogic-ps-Arab-PK/5afd562fd74d16e58f174ba379eedbabdd261b7a/evidence/B147_CORPUS_QA.json",
        "bytes": 898,
        "sha256": "2b436c28244a14cacc908b5431094f69712c00d0a1eceace5441c0fd99cae7e9",
        "matches": true
      },
      {
        "path": "evidence/B147_SOURCE_AUDIT.json",
        "url": "https://raw.githubusercontent.com/KokunoYumeto/openlogic-ps-Arab-PK/5afd562fd74d16e58f174ba379eedbabdd261b7a/evidence/B147_SOURCE_AUDIT.json",
        "bytes": 6501,
        "sha256": "87f3f104fb987f71c2f70bc28aacc86e69e9fdb57842e4bd57ba74d9aa3b2f04",
        "matches": true
      }
    ],
    "paired_files": [
      {
        "unit": "OLP-0475",
        "source_path": "content/applied-modal-logic/applied-modal-logic.tex",
        "source_sha256": "e4daecb067402048d5f0180f1ed05cc9260fc93d2442079ac5ddf7841327ef1e",
        "target_sha256": "323d2bfe610a5a95d0239d729411132c386bd79bb775848b39726547165af5e0",
        "matches": true
      },
      {
        "unit": "OLP-0476",
        "source_path": "content/applied-modal-logic/temporal-logic/temporal-logic.tex",
        "source_sha256": "002d60bc4f9fd0b84f7d062f1cf8a325563ce8f343c5d070e124e4f05c4115e4",
        "target_sha256": "b1a203ad4a9bbcb38c914511fe8c2944535bace47289efb6f18eefb350d4852d",
        "matches": true
      },
      {
        "unit": "OLP-0477",
        "source_path": "content/applied-modal-logic/temporal-logic/introduction.tex",
        "source_sha256": "327c7c72f1b98905b0786413d23b688185ed185226419ff49bcd78aaeb3f76dd",
        "target_sha256": "c908fe863460fe91f560d383001d87fa34de27255f34d76f1a2912513af51f14",
        "matches": true
      },
      {
        "unit": "OLP-0478",
        "source_path": "content/applied-modal-logic/temporal-logic/temporal-logic-semantics.tex",
        "source_sha256": "237c841d5cb359d63f994fd71e13fb6e7101c266c2390e0059ab52e9efb8fd6d",
        "target_sha256": "153929fdffc937f34ba40de566e85653cf163199362ceb9a36f03e368db0d49a",
        "matches": true
      },
      {
        "unit": "OLP-0479",
        "source_path": "content/applied-modal-logic/temporal-logic/properties-accessibility.tex",
        "source_sha256": "63699c7012da1cd23c29024e0e1ebecedaac878fcb0d6678fd26d69b7400d095",
        "target_sha256": "0f24bb649cbaf8b4356c00939d9a95255606a95e0d7c7990c31f1e109c2ab2f1",
        "matches": true
      },
      {
        "unit": "OLP-0480",
        "source_path": "content/applied-modal-logic/temporal-logic/extra-temporal-operators.tex",
        "source_sha256": "610e36a049e01fb2ace59164fd64a6482a8109a49e5d859af928922edfe26f97",
        "target_sha256": "46275ccbeec9b131a6e1490d15e267cf3114ccaacb877e3a55c2f9016ce587b1",
        "matches": true
      },
      {
        "unit": "OLP-0481",
        "source_path": "content/applied-modal-logic/temporal-logic/possible-histories.tex",
        "source_sha256": "29a288f0012cbdf900f927cb285864444ca0f8d7dea27c1d037cdaaae40e924a",
        "target_sha256": "270c82c9da9264db2fb6b1bb1866968cdd5351d7d27f49f814cafa96c9003611",
        "matches": true
      }
    ],
    "coverage": {
      "schema": "ps-b148-corpus-qa/1",
      "status": "PASS",
      "draft_units": 481,
      "new_units": 3,
      "new_unit_ids": [
        "OLP-0479",
        "OLP-0480",
        "OLP-0481"
      ],
      "revised_unit_ids": [],
      "aligned_blocks": 7271,
      "new_aligned_blocks": 32,
      "segment_canon_uses": 4561,
      "new_segment_canon_uses": 17,
      "new_terminology_decisions": [
        "TERM-TEMPORAL-INTERVAL-OPERATORS",
        "TERM-POSSIBLE-HISTORIES"
      ],
      "source_correction_ids": [
        "OLAML-002"
      ],
      "published_reader_units": 321,
      "published_source_snapshot_units": 405,
      "byte_identical_surfaces": {
        "QA.json": "fd5f398e2aefade7453ccc039be09d6d9ed17099a4bb6f1df2b02ccfe3348f17",
        "ALIGNMENT.jsonl": "60e95c05f5ed0045fb1882215975b37af23d83f391d0b65a74fd378edb82e6f7",
        "SEGMENT_CANON_USE.jsonl": "5bcedfb5a121fe2a7e61b519d17f5fcfa61c4667016e573f535492b96bc7a415"
      }
    },
    "previous_coverage": {
      "schema": "ps-b146-corpus-qa/1",
      "status": "PASS",
      "draft_units": 474,
      "new_units": 5,
      "new_unit_ids": [
        "OLP-0470",
        "OLP-0471",
        "OLP-0472",
        "OLP-0473",
        "OLP-0474"
      ],
      "revised_unit_ids": [],
      "aligned_blocks": 7188,
      "new_aligned_blocks": 54,
      "segment_canon_uses": 4516,
      "new_segment_canon_uses": 22,
      "new_terminology_decisions": [
        "TERM-HYPERSEQUENT"
      ],
      "source_correction_ids": [
        "OLNML-051"
      ],
      "published_reader_units": 321,
      "published_source_snapshot_units": 405,
      "byte_identical_surfaces": {
        "QA.json": "01c1d77ed1e7ec9d9216c530fb54f338b70f63c361daffa536a57fbc4f72c504",
        "ALIGNMENT.jsonl": "94d3fb0a1b269d64d5607886a0d7230638f1a6660c8384203dae02ff5ae9263e",
        "SEGMENT_CANON_USE.jsonl": "329f799043345032f5dcdefecc3de6eacba173ec11c491caa193897a8f85a032"
      }
    },
    "accepted_editable_units": 481,
    "not_full_corpus_linguistic_acceptance": true
  },
  "source_package": {
    "members": 2005,
    "crc_failure": null,
    "frozen_files": 722,
    "frozen_matches_current": 722,
    "target_files": 405,
    "target_matches_current": 405,
    "direct_tex_members": [
      "openlogic-ps-Arab-PK/releases/02-openlogic-ps-Arab-PK-cumulative-through-incompleteness-v0.7.1.tex"
    ],
    "direct_tex_matches": true,
    "build_inputs": [
      "openlogic-ps-Arab-PK/README.ps-Arab-PK.md",
      "openlogic-ps-Arab-PK/tools/build_cumulative_reader.py",
      "openlogic-ps-Arab-PK/tools/cumulative-reader-preamble-v070.tex",
      "openlogic-ps-Arab-PK/tools/guard_tex.ps1",
      "openlogic-ps-Arab-PK/upstream/bib/open-logic.bib",
      "openlogic-ps-Arab-PK/upstream/courses/enderton/open-logic-enderton-config.sty",
      "openlogic-ps-Arab-PK/upstream/courses/enderton/open-logic-enderton-envs.sty",
      "openlogic-ps-Arab-PK/upstream/courses/sample/open-logic-sample-config.sty",
      "openlogic-ps-Arab-PK/upstream/open-logic-complete-config.sty",
      "openlogic-ps-Arab-PK/upstream/open-logic-config.sty",
      "openlogic-ps-Arab-PK/upstream/open-logic-envs.sty",
      "openlogic-ps-Arab-PK/upstream/open-logic-locale.sty",
      "openlogic-ps-Arab-PK/upstream/sty/bpextra.sty",
      "openlogic-ps-Arab-PK/upstream/sty/bussproofs-extra.sty",
      "openlogic-ps-Arab-PK/upstream/sty/open-logic-book-envs.sty",
      "openlogic-ps-Arab-PK/upstream/sty/open-logic-book.cls",
      "openlogic-ps-Arab-PK/upstream/sty/open-logic-debug.sty",
      "openlogic-ps-Arab-PK/upstream/sty/open-logic-defer.sty",
      "openlogic-ps-Arab-PK/upstream/sty/open-logic-formulas.sty",
      "openlogic-ps-Arab-PK/upstream/sty/open-logic-referencing.sty",
      "openlogic-ps-Arab-PK/upstream/sty/open-logic-selective.sty",
      "openlogic-ps-Arab-PK/upstream/sty/open-logic-tokenize.sty",
      "openlogic-ps-Arab-PK/upstream/sty/open-logic.sty",
      "openlogic-ps-Arab-PK/upstream/sty/ptolemaicastronomy.sty"
    ],
    "graphics_references": [],
    "unit_ids": 321
  },
  "epub": {
    "crc_failure": null,
    "xhtml_files": 33,
    "unit_anchors": 321,
    "mathml_elements": 19671,
    "literal_metavariables_in_presentation": [],
    "method": "Parsed XML; annotation/script/style subtrees excluded. Initial regex false positives included DOCTYPE and CDATA syntax.",
    "unit_occurrences": 321,
    "exact_0001_0321": true,
    "internal_links": 1368,
    "broken_internal_links": []
  },
  "visual_sample": {
    "physical_pdf_pages": [
      413,
      414
    ],
    "printed_pages": [
      412,
      413
    ],
    "literal_metavariables_absent": true,
    "formula_lines_legible": true,
    "pdf_pages": 420,
    "pdf_tagged": false,
    "whole_pdf_visual_certification": false
  },
  "model": "gpt-6-astra",
  "effort": "ultra",
  "ai_work": "Manager verification and Pashto hub metadata update only; historical translation models remain in the edition record.",
  "full_linguistic_certification": false,
  "no_tex_or_rebuild": true,
  "release_tag": "v0.7.1-incompleteness-formula-repair",
  "release_commit": "6229b85eaeb563f9a0a77dc6be8a47af63e36908",
  "reader_units": 321,
  "source_snapshot_units": 405
}