{
  "schema": "oli-pashto622-public-intake/1",
  "checked_utc": "2026-09-30T04:45:32.477560+00:00",
  "commit": "21f3fbe62070f2611897215292a0c90c8996acdb",
  "receipt_sha256": "19a7557dbdfac1a828866c1e00c99014fccf6e4465ea743f35ce49e8f192a16e",
  "archive": {
    "url": "https://codeload.github.com/KokunoYumeto/openlogic-ps-Arab-PK/zip/21f3fbe62070f2611897215292a0c90c8996acdb",
    "bytes": 40796610,
    "sha256": "101299308ed44c5e3fcba1570c291f5c3241d28b312c2a5c1dc97eb60cfa9cdd",
    "anonymous": true,
    "crc_pass": true
  },
  "changed_files": [
    {
      "path": "EXPERT_REVIEW.md",
      "bytes": 416567,
      "sha256": "3daee337322c2b56eafa5c142e7665de4bdadaa63730984e1b96f19294768de7",
      "matches": true
    },
    {
      "path": "EXPERT_REVIEW.ps-Arab-PK.md",
      "bytes": 817087,
      "sha256": "050d87b59ae6d2b353d22e7e6b40abae7fea2effb046061decb0d8e17baab2ce",
      "matches": true
    },
    {
      "path": "README.en.md",
      "bytes": 12912,
      "sha256": "b3bc125f46722128f87ace5c3b39c29d57be145be8af12f0e34119c4111675ab",
      "matches": true
    },
    {
      "path": "README.md",
      "bytes": 16877,
      "sha256": "637589fce8a333f9075391248df711936ac337b15c0e463de24a5021d310d56f",
      "matches": true
    },
    {
      "path": "README.ps-Arab-PK.md",
      "bytes": 16877,
      "sha256": "637589fce8a333f9075391248df711936ac337b15c0e463de24a5021d310d56f",
      "matches": true
    },
    {
      "path": "evidence/ALIGNMENT.jsonl",
      "bytes": 11312572,
      "sha256": "f5e5d3dd0d00dd73b5e6f6cdbcb1d6f030b3ecf7afecb3049f31132f7e99ded0",
      "matches": true
    },
    {
      "path": "evidence/B206_ACCEPTED_622.json",
      "bytes": 4999,
      "sha256": "7169dad124df43bb04f58bca28771e47dab634622a170b3d9f4069af8f09e156",
      "matches": true
    },
    {
      "path": "evidence/B206_CANONICAL_REPLAY.json",
      "bytes": 2413,
      "sha256": "6a044ceb4b84315a625293970b85344b2b6d7ea9599a528a48eb9206cbda339c",
      "matches": true
    },
    {
      "path": "evidence/B206_CORPUS_QA.json",
      "bytes": 835,
      "sha256": "ba78646489efe5a619cea4cf1825708f28b40cd60e9abbdd30e5e6c09e246748",
      "matches": true
    },
    {
      "path": "evidence/B206_HISTORY_OPENING_DRAFT_QA.json",
      "bytes": 3756,
      "sha256": "0578b62742ec76a37e64f0eca114671cb79710aab3526cb675aa15ba7442aa90",
      "matches": true
    },
    {
      "path": "evidence/B206_MODEL_PROVENANCE.json",
      "bytes": 285,
      "sha256": "8cbaf10e05c09f2fc821328718726be8d297a55d66738883f3e0246ebeb60887",
      "matches": true
    },
    {
      "path": "evidence/B206_PHOTO_QA_REPAIR.json",
      "bytes": 842,
      "sha256": "9fa4a6ce34dd367e85829952cabb503a62581d9d2a6bc8e3ef3742c4b57cc0f3",
      "matches": true
    },
    {
      "path": "evidence/B206_SOURCE_AUDIT.json",
      "bytes": 8921,
      "sha256": "6900ae1ad64806b7ea7ce635ae11be4071af67dc6340f88345dc045f30c4ced7",
      "matches": true
    },
    {
      "path": "evidence/DECISIONS.json",
      "bytes": 103154075,
      "sha256": "023632f2fb66e6adff7e87e3bc9da3c975ac64fd29d093bb40cd3209cb0c8468",
      "matches": true
    },
    {
      "path": "evidence/DECISION_OCCURRENCES.csv",
      "bytes": 63243326,
      "sha256": "a86a7e8a10dc6f2990427f70d2a1e3113a7b70760b4f427d4fc87e182749f1bc",
      "matches": true
    },
    {
      "path": "evidence/EXPERT_REVIEW_LOG.jsonl",
      "bytes": 4889908,
      "sha256": "b1aa1a68211d6198c038ce306a4283b4152a9c1da88eaeff6cd986f8cdd5ae70",
      "matches": true
    },
    {
      "path": "evidence/QA.json",
      "bytes": 1728098,
      "sha256": "b0e394671b00405033517a7f80165fe05834441f8bbfd1107c8c55c683bd2934",
      "matches": true
    },
    {
      "path": "evidence/SEGMENT_CANON_USE.jsonl",
      "bytes": 13963997,
      "sha256": "22ee493327d6c5fbfbcaa4306d70b792aba48061ee00e082e1e20981baecbe8c",
      "matches": true
    },
    {
      "path": "evidence/SOL6_REAUDIT_STATUS.ps-Arab-PK.md",
      "bytes": 3137,
      "sha256": "4cc4ca1259ed7671c7190c47e5dd731a03e27409f7d8a247694dfa564a35ce0e",
      "matches": true
    },
    {
      "path": "evidence/START_HERE.md",
      "bytes": 1404,
      "sha256": "d0e5da51103e739d8b2acbf4b644afa7328d00e096bff63a3ae690c8ffdf65c9",
      "matches": true
    },
    {
      "path": "evidence/TRANSLATION_DECISIONS_FULL.md",
      "bytes": 11879767,
      "sha256": "188a12e5819c63d71fcd3c0b30a9bcd93d1ce8d9878e50ae64a0d4847367c0e5",
      "matches": true
    },
    {
      "path": "evidence/TRANSLATION_DECISION_QA.json",
      "bytes": 3844,
      "sha256": "873a9d01c6896f19b8cbc468ae38edc2e2fa31eda7375bb7b5b929b081b37d8d",
      "matches": true
    },
    {
      "path": "evidence/consultation-plan.json",
      "bytes": 1478455,
      "sha256": "0b4456e8258882374eee16649c9d950f42de4eb4e54c02187e8866ac5513401d",
      "matches": true
    },
    {
      "path": "ps-Arab-PK/content/history/biographies/biographies.tex",
      "bytes": 483,
      "sha256": "4fd2b38dabe5a7518ff1f0a49a70b24e64ee7d59af2e23e6b2bf0d8e951fec7e",
      "matches": true
    },
    {
      "path": "ps-Arab-PK/content/history/biographies/georg-cantor.tex",
      "bytes": 3103,
      "sha256": "f6cb4bb3aff171880140b33349137164ab5a06aa124591d30f10e93f2548949e",
      "matches": true
    },
    {
      "path": "ps-Arab-PK/content/history/history.tex",
      "bytes": 221,
      "sha256": "cd275ab1028aad87a4e1b552c7b2e4c0fc64f2ccd71e548c58bdc3e21c3af2b3",
      "matches": true
    },
    {
      "path": "tools/check_translation.py",
      "bytes": 17874,
      "sha256": "d85ae758078af8ad08a86d1a4daaec1a8719f5263e0def68efcd38dc7c60098e",
      "matches": true
    }
  ],
  "source_units": 622,
  "prior_hub_source_units": 612,
  "source_unit_delta": 10,
  "frozen_sources_verified": 722,
  "targets_verified": 622,
  "aligned_blocks_verified": 9217,
  "canon_record_hash_bindings": 5834,
  "new_units": [
    {
      "unit_id": "OLP-0613",
      "source_path": "content/methods/induction/induction.tex",
      "source_sha256": "a473475ad8fdd83af7da9474e389385d9b3fc9b0fe3673fbb7dc9c6a413df5af",
      "bytes": 360,
      "sha256": "3225787da57ff6939131fb03c5c2f5295117f5fe1de0db15b9a35b1bef9c08e2"
    },
    {
      "unit_id": "OLP-0614",
      "source_path": "content/methods/induction/introduction.tex",
      "source_sha256": "45629bfdf1f5502361156b1f4e061afe2a2820a7983eb612c18473dfc12cfa51",
      "bytes": 3348,
      "sha256": "fe90bd48b48502b92e61dbb6ba7269b7aafed35835c8a3fc3fb2c72d7a37ddea"
    },
    {
      "unit_id": "OLP-0615",
      "source_path": "content/methods/induction/induction-on-N.tex",
      "source_sha256": "30a7fe3bf67517b5744d826eeb819782d399cf28a018313f5a7eff12843fe222",
      "bytes": 8558,
      "sha256": "072745e74a0f5b5397bcdacf159b2edeb10ee7b81e6566e6c1ceb9792551e27d"
    },
    {
      "unit_id": "OLP-0616",
      "source_path": "content/methods/induction/strong-induction.tex",
      "source_sha256": "0cec55c0265daa331a4b473daad197d39ef0aaddaa518ae051d3230c1df2560f",
      "bytes": 3614,
      "sha256": "32858fbe07357bd906b44eccca59b4e72ada6a9c288e8087a102b548e23afee4"
    },
    {
      "unit_id": "OLP-0617",
      "source_path": "content/methods/induction/inductive-definitions.tex",
      "source_sha256": "d26441b4fbfb76bcee62babdfcee3470e1879624623b8ccf76f85512086054e9",
      "bytes": 9857,
      "sha256": "2d11afad3c93ad4583d8c7b2a57b0a0d2cc5f341dd6b1d47287ed87a4fdb2b7f"
    },
    {
      "unit_id": "OLP-0618",
      "source_path": "content/methods/induction/structural-induction.tex",
      "source_sha256": "f57f94a62ed4aab37f569b5d56430b3756ee6e3a5281a0488cae5c233f2a62d8",
      "bytes": 6895,
      "sha256": "e4a8aefbb2d6d3ff11a1f5c8c345405c295cbbd2e6fe34a9e67d1b6f09383f2e"
    },
    {
      "unit_id": "OLP-0619",
      "source_path": "content/methods/induction/relations.tex",
      "source_sha256": "66fc09c76443827350bdabf32900631432ebb9f043e51fe33b447fe64f3c0ba4",
      "bytes": 9908,
      "sha256": "03c507d12160198ee779ff1ad2c583ba09fad1b9629f5958d779e525698bf248"
    },
    {
      "unit_id": "OLP-0620",
      "source_path": "content/history/history.tex",
      "source_sha256": "666329ac5880a112d9c17360202bde7bc27d3ebe1c8021c5f1429d9bb8832517",
      "bytes": 221,
      "sha256": "cd275ab1028aad87a4e1b552c7b2e4c0fc64f2ccd71e548c58bdc3e21c3af2b3"
    },
    {
      "unit_id": "OLP-0621",
      "source_path": "content/history/biographies/biographies.tex",
      "source_sha256": "0fec4f601a1b14fbd3fb4e4dd810bfb3ae79fa295f217ad5a4efb7aab70bdd10",
      "bytes": 483,
      "sha256": "4fd2b38dabe5a7518ff1f0a49a70b24e64ee7d59af2e23e6b2bf0d8e951fec7e"
    },
    {
      "unit_id": "OLP-0622",
      "source_path": "content/history/biographies/georg-cantor.tex",
      "source_sha256": "aadadf813251dfc5337fde2b1a4da6dff17e1de0c4b9629e5f541edb030fe9fe",
      "bytes": 3103,
      "sha256": "f6cb4bb3aff171880140b33349137164ab5a06aa124591d30f10e93f2548949e"
    }
  ],
  "new_aligned_segments": 143,
  "new_language_segments": 73,
  "whole_sol6_units_reaudited": 8,
  "whole_sol6_units_pending": 291,
  "reader_units": 321,
  "release_source_snapshot_units": 405,
  "new_reader": false,
  "new_release": false,
  "new_doi": false,
  "full_linguistic_certification": false,
  "failures": [],
  "scope": "All frozen/source-target byte bindings and 27 final-checkpoint public ZIP members, not 27 separate raw downloads; ten new units since hub612. Semantic/canon sample separately recorded.",
  "manager": {
    "model": "gpt-6-astra",
    "effort": "ultra",
    "identity_source": "current exact thread runtime row"
  },
  "full_semantic_reaudit": false,
  "canon_sample": {
    "segments": [
      "OLP-0614-B006",
      "OLP-0614-B007",
      "OLP-0618-B012",
      "OLP-0618-B013",
      "OLP-0618-B014"
    ],
    "pages_actually_viewed": [
      {
        "passage_id": "PK-IQRAM-P1-PROSE",
        "printed_page": "1",
        "pdf_page_1based": 1,
        "source_url": "https://pashto.org.pk/index.php/path/article/download/46/32/69",
        "source_sha256": "5d856e56e72819fa7c8d4746fed1dcc1fcf81c129e08bbb9846e81f77f8d02bb",
        "page_sha256": "c1cd7112ceaeef4e8cf4de1812d789e0ceec3561d378e1d0bdc6776de17ff83b",
        "actually_viewed": true,
        "role": "The native prose uses کښې and Pakistani final ے in expository constructions; it distinguishes communication through words and sentences. Consulted for expository phrasing and spelling, not set-theoretic terminology."
      },
      {
        "passage_id": "AF-BUKOVSKY-P17-MATHEMATICAL-INDUCTION",
        "printed_page": "17",
        "pdf_page_1based": 28,
        "source_url": "https://ecampus-afghanistan.org/wp-content/uploads/2021/10/Sets-and-all-that-about-them-Sultan-Ahmad-Niazman.pdf",
        "source_sha256": "01c49e454f0bfe991221ea5d80ce45be85e0519d2cf9704673a53c4471946e87",
        "page_sha256": "5d4609c1012ca51fcc43f5c702816b21cf27ffc6744ab4a3d131ab2d3e5d904e",
        "actually_viewed": true,
        "role": "States mathematical induction for a property of every natural number: the property holds at zero and preservation from n to n+1 yields the universal conclusion. It also proves the principle through the set of naturals satisfying the property. Direct regional concept and proof-language evidence; OpenLogic controls its Dedekind-algebra generalization."
      }
    ],
    "full_linguistic_certification": false,
    "finding": "OLSTH-042: the definition admits the empty proper prefix, for which both bracket counts are zero. The localized adjacent disclosure preserves the printed proposition/proof and identifies the missing nonempty condition.",
    "limits": "The regional induction page supports mathematical induction and proof register, not every new technical term or all ten new units. Pakistani prose page supports register/spelling, not a mathematical assertion."
  },
  "math_sample": {
    "new_unit_checks": [
      {
        "unit_id": "OLP-0613",
        "ordered_math_spans": 0,
        "matches": true,
        "exact_text_clause_exceptions": []
      },
      {
        "unit_id": "OLP-0614",
        "ordered_math_spans": 6,
        "matches": true,
        "exact_text_clause_exceptions": []
      },
      {
        "unit_id": "OLP-0615",
        "ordered_math_spans": 128,
        "matches": true,
        "exact_text_clause_exceptions": []
      },
      {
        "unit_id": "OLP-0616",
        "ordered_math_spans": 57,
        "matches": true,
        "exact_text_clause_exceptions": []
      },
      {
        "unit_id": "OLP-0617",
        "ordered_math_spans": 139,
        "matches": true,
        "exact_text_clause_exceptions": []
      },
      {
        "unit_id": "OLP-0618",
        "ordered_math_spans": 103,
        "matches": true,
        "exact_text_clause_exceptions": []
      },
      {
        "unit_id": "OLP-0619",
        "ordered_math_spans": 108,
        "matches": true,
        "exact_text_clause_exceptions": [
          {
            "source_sha256": "3287d6465436ad9a3b62ff0bda01928db06ca9be24cbe76360f34b0359b405dc",
            "target_sha256": "f491403ab97355c5e78f959d2fe12ea080364b739b04b8458d90901c798cb1a5",
            "kind": "exact inverse of localized if/letter prose inside text; all nested mathematical conditions preserved; g display trailing whitespace only"
          },
          {
            "source_sha256": "4dfd8108f71762f20f1e83c72bf9e7551423bf331e0e7f81efb615e7677a1090",
            "target_sha256": "7991b316ec169b58181ca2f7979b6f6424479f35feec6dd391e81253ea852de1",
            "kind": "exact inverse of localized if/letter prose inside text; all nested mathematical conditions preserved; g display trailing whitespace only"
          }
        ]
      },
      {
        "unit_id": "OLP-0620",
        "ordered_math_spans": 0,
        "matches": true,
        "exact_text_clause_exceptions": []
      },
      {
        "unit_id": "OLP-0621",
        "ordered_math_spans": 0,
        "matches": true,
        "exact_text_clause_exceptions": []
      },
      {
        "unit_id": "OLP-0622",
        "ordered_math_spans": 0,
        "matches": true,
        "exact_text_clause_exceptions": []
      }
    ],
    "total_spans": 541,
    "extraction_scope": "dollar inline/display spans and bracket displays; not a general TeX parser"
  },
  "metadata_choices": {
    "operation": "Preserve the existing Pakistani-register guide; update verified counts, current checkpoint links, sample scope and historical link.",
    "canon_passages_actually_consulted": [
      "PK-IQRAM-P1-PROSE",
      "AF-BUKOVSKY-P17-MATHEMATICAL-INDUCTION"
    ],
    "decision": "Keep source drafts distinct from reader coverage, retain all cautionary status and historical publications.",
    "confidence": "High for byte/count identities and the empty-prefix counterexample; provisional for broader idiom; not calibrated probabilities.",
    "rejected_alternative": "Do not label 622 drafts as a complete reader or fully reviewed translation."
  }
}