{
  "checked_utc": "2026-09-29T20:18:09.827572+00:00",
  "commit": "8b07837491390b9bb76ed204ad837647598c8482",
  "archive": {
    "url": "https://codeload.github.com/KokunoYumeto/openlogic-ps-Arab-PK/zip/8b07837491390b9bb76ed204ad837647598c8482",
    "bytes": 38959466,
    "sha256": "1d5f88d4da63417bc0ca0fc8c4a8d88ee0ecc846ae2de5cc503484589e529d73",
    "anonymous": true
  },
  "source_units": 586,
  "reader_units": 321,
  "release_source_units": 405,
  "frozen_source_units": 722,
  "source_unit_delta": 40,
  "new_alignment_blocks": 527,
  "new_changed_blocks_with_canon": 383,
  "aligned_blocks": 8638,
  "canon_use_records": 5446,
  "old_targets_changed": [],
  "staged_units": [],
  "public_files": 32,
  "canon_witnesses": 10,
  "checks": 2529,
  "failures": [],
  "whole_semantic_certificate": false,
  "aligned_block_delta": 527,
  "changed_content_canon_row_delta": 383,
  "previous_targets_unchanged": 546,
  "public_files_replayed": 32,
  "whole_corpus_translation_certified": false,
  "structural_source_inventory_pass": true,
  "semantic_repair_pending": [
    {
      "id": "PS-579-TRANSFINITE-TERM-DRIFT",
      "unit_id": "OLP-0579",
      "target_lines": [
        45,
        67
      ],
      "status": "owner-correction-delivered-application-pending",
      "scope": "Two target-language phrases diverge from the earlier transfinite rules and use the distinct transitive label; source math not affected."
    },
    {
      "id": "PS-OLSTH018-IMPLICATION-DIRECTION",
      "unit_id": "OLP-0584",
      "status": "owner-rationale-correction-delivered-application-pending",
      "scope": "Target gloss correct; erratum reason must identify failed converse of source i.e., not deny the true forward implication."
    }
  ],
  "math": {
    "source_spans": 1423,
    "target_spans": 1434,
    "units_checked": 40,
    "strictly_equal_units": 20,
    "localized_prose_pairs": 34,
    "disclosed_symbol_or_case_corrections": 9,
    "whole_unit_manual_exception": "OLP-0579",
    "xref_sequences_equal": 40,
    "explicit_bidi_control_failures": 0,
    "whole_formula_semantic_certificate": false
  },
  "semantic_sample_units": [
    "OLP-0577",
    "OLP-0579",
    "OLP-0584",
    "OLP-0585"
  ],
  "canon": {
    "original_document_and_page_hashes_matched": 10,
    "visually_read_pages": [
      "PK-IQRAM-P1-PROSE",
      "AF-BUKOVSKY-P99-COUNTABILITY"
    ],
    "support_boundary": "Pakistani scholarly prose and Afghan regional countability comparator; no claim of exact Pakistani Hume/transfinite specialist attestation."
  },
  "source_erratum": {
    "id": "OLSTH-018",
    "path": "content/set-theory/cardinals/classing.tex",
    "line": 42,
    "verified_frozen_equivalence_error": true,
    "correct_reason": "A={omega} is not a natural ordinal but has cardinality1. Thus A-not-natural does not imply card(A)-not-natural. The opposite implication holds.",
    "suggestion": "Change the prose gloss from A is not a natural number to the cardinality of A is not a natural number; keep displayed condition unchanged.",
    "current_upstream_duplicate_check": false,
    "upstream_posted": false
  },
  "publication_limits": {
    "no_new_reader": true,
    "reader321_assets_unchanged": true,
    "current_source_visual_acceptance_owner_report": 105,
    "source_snapshot_download_not_a_new_reader": true
  },
  "model_provenance": {
    "new_owner_translation": "OpenAI Codex — GPT-6 Sol, Ultra",
    "manager_audit_metadata": "OpenAI Codex — GPT-6 Astra, Ultra",
    "human_review_claim": false
  }
}