{
  "checked_utc": "2026-09-29T02:11:56.541240+00:00",
  "commit": "98fdf7c99fa8a8c02531dec07cf13ebe530f9872",
  "archive": {
    "url": "https://codeload.github.com/KokunoYumeto/openlogic-ps-Arab-PK/zip/98fdf7c99fa8a8c02531dec07cf13ebe530f9872",
    "bytes": 36762112,
    "sha256": "fdbc1fa60c86a76aecf5cc1d0658b1faffccb345da5fcb2dcc577cac9c217f8d",
    "anonymous": true
  },
  "frozen_files": 722,
  "accepted_draft_units": 536,
  "aligned_blocks": 7990,
  "canon_use_rows": 4977,
  "delta_since520": {
    "units": 16,
    "aligned_blocks": 173,
    "changed_content_blocks": 95,
    "previous_targets_changed": [
      "OLP-0177"
    ]
  },
  "unchanged_previous_targets": 519,
  "staged_unaccepted_units": 5,
  "public_files_replayed": 62,
  "reader_units": 321,
  "release_source_units": 405,
  "all_choices_semantically_certified": false,
  "failures": [],
  "public_reader_units": 321,
  "whole_corpus_translation_certified": false,
  "canon_sample": {
    "source_id": "PS-PK-IQRAM-2019",
    "pages_read": [
      1,
      2
    ],
    "original_pdf_sha256": "5d856e56e72819fa7c8d4746fed1dcc1fcf81c129e08bbb9846e81f77f8d02bb",
    "scope": "Pakistani scholarly linguistic register only; specialist compounds provisional, not established mathematical terminology"
  },
  "source_sample": {
    "unit": "OLP-0526",
    "source_sha256": "17178d12f5c6ec82fbe5143286b95f4e2cce3b97117cde0884304e39333892c8",
    "target_sha256": "b425f497678c75b74c520b4a1b6f26e49dec28808cc9fdeed01efdb8e60f140e",
    "diagram_unchanged": true,
    "counterexample_recomputed": {
      "p_cif_r": true,
      "pq_cif_r": false
    },
    "source_wording_repair": "OLCNT-009: strike, not light, in the antecedent; supported by the same section quotations and formal p/r distinction",
    "specialist_term_attestation": "provisional; the cited page supports register and semantics vocabulary only",
    "full_corpus_linguistic_certification": false
  },
  "ai_disclosure": {
    "model": "GPT-6 Astra",
    "effort": "Ultra",
    "scope": "Bounded manager source/canon audit and localized catalogue update only",
    "human_review_claimed": false
  },
  "delta_since530": {
    "units": 6,
    "aligned_blocks": 72,
    "changed_content_blocks": 50,
    "previous_targets_changed": [
      "OLP-0177"
    ]
  },
  "predicativity_repair_verified_exact_two_words": true,
  "predicativity_repair": {
    "unit_id": "OLP-0177",
    "source_path": "content/first-order-logic/beyond/second-order-logic.tex",
    "source_sha256": "944e224c99309c16e3303d6688fe0bf070e9ad8a68a1207ef6b8d6add08fe16d",
    "old_target_sha256": "795ac9c03c74310c54cdc0c9f35c462564da240a17f38d4003815f443f2a4e4d",
    "target_sha256": "567697777579cd4711d1cc57589de074855edf7aaf22c5e68325039d8b9cfe56",
    "changes": [
      [
        "ناوړاندوينيزه",
        "امپريديکاتيف"
      ],
      [
        "وړاندوينيزه",
        "پريديکاتيف"
      ]
    ],
    "exact_two_word_replacement": true,
    "formal_content_unchanged": true,
    "specialist_labels_attested": false,
    "provisional_loanwords": true
  },
  "publication_scope": "536 editable source drafts; existing 321-unit PDF/EPUB and 405-unit immutable release sources unchanged",
  "metadata_choices": [
    {
      "surface": "review guide and catalogue",
      "source_id": "PS-PK-IQRAM-2019",
      "pages": [
        1,
        2
      ],
      "rationale": "Pakistani scholarly prose and semantics register; not specialist mathematical attestation. Counts follow the independently replayed manifest.",
      "confidence": "High for exact counts and preservation; provisional for specialist terminology; not a calibrated probability."
    },
    {
      "surface": "predicativity correction explanation",
      "source_id": "PS-AF-NIAZMAN-2022",
      "page": 95,
      "printed_page": "90",
      "rationale": "Regional predicate terminology comparator only. English source distinguishes impredicative from predicative comprehension, not prediction.",
      "confidence": "Source meaning checked; precise Pashto loanwords remain provisional."
    }
  ]
}