{
  "schema": "olp-manager-pashto515-replay/1",
  "checked_utc": "2026-09-28T23:11:05.599565+00:00",
  "commit": "c1ab01cc06ca9078c1adf9a552decbde831140be",
  "archive": {
    "url": "https://codeload.github.com/KokunoYumeto/openlogic-ps-Arab-PK/zip/c1ab01cc06ca9078c1adf9a552decbde831140be",
    "bytes": 35992511,
    "sha256": "fe0b7ea776e12643204130a18675439ffbc6d125673b7783828443b996f50a13",
    "anonymous": true
  },
  "frozen_files": 722,
  "accepted_draft_units": 515,
  "aligned_blocks": 7765,
  "canon_hash_bound_changed_blocks": 4861,
  "delta_since_verified_500": {
    "units": 15,
    "aligned_blocks": 204,
    "changed_content_blocks": 127,
    "changed_prior_targets": []
  },
  "unaccepted_staged_units": 4,
  "reported_public_file_hashes_replayed": 53,
  "canon_originals_and_images_hashed": 5,
  "public_reader_units": 321,
  "immutable_release_source_units": 405,
  "reader_assets_rechecked": false,
  "all_choices_semantically_certified": false,
  "whole_corpus_translation_certified": false,
  "failures": [],
  "new_tex_runs": 0,
  "new_tasks": 0,
  "semantic_review": {
    "whole_unit_read": "OLP-0515 source and target",
    "additional_context": [
      "OLP-0512 source",
      "OLP-0513 source and target",
      "OLP-0514 source and proof-tree references"
    ],
    "canon_pages_actually_viewed": 5,
    "canon_scope": "Pakistani scholarly exposition and grammar; Afghan regional mathematical entailment/relation comparators. Exact Pakistani intuitionistic-tableau terminology remains provisional.",
    "source_gap": "OLINT-017 counterexample independently replayed; no counterexample to ordinary common-root entailment asserted.",
    "new_rule_label_finding": "Two prose uses reverse Sign/Op arguments; source and target both affected. Existing owner notified for next productive batch."
  },
  "ai_disclosure": {
    "model": "OpenAI Codex — GPT-6 Astra",
    "effort": "Ultra",
    "scope": "Manager audit and hub metadata only",
    "human_review_claimed": false
  }
}