{
  "schema": "openlogic-isv-machine-handoff/1.6",
  "recorded_at_utc": "2026-09-08T00:29:10.908537Z",
  "status": "ACTIVE_CONTINUOUS_TRANSLATION_CHECKPOINT",
  "checkpoint": "OLP-0198",
  "edition_language": {
    "name": "Interslavic / medžuslovjansky",
    "editable_canon": "isv-Latn",
    "deterministic_projection": "isv-Cyrl",
    "projection_is_independent_translation": false
  },
  "source_authority": {
    "project": "Open Logic Project",
    "repository": "https://github.com/OpenLogicProject/OpenLogic",
    "revision": "1e960beff9ed7835bf3e3f1335e21af3439cd107",
    "license": "CC BY 4.0",
    "closure_units": 722
  },
  "translation_frontier": {
    "accepted_units": 198,
    "pending_units": 524,
    "accepted_source_alpha_tokens": 110194,
    "total_source_alpha_tokens": 367220,
    "alpha_token_fraction": 0.30007624857034,
    "next_closure_id": "OLP-0199",
    "next_source_path": "content/model-theory/interpolation/introduction.tex",
    "next_source_alpha_tokens": 121,
    "invalid_units": 0,
    "missing_units": 0
  },
  "acceptance_semantics": {
    "accepted": "Installed after deterministic structural, formula, terminology, canon, build and proportional visual checks.",
    "pending": "Not accepted; this does not assert that a candidate exists or awaits human approval."
  },
  "canon": {
    "unique_entries": 400,
    "physical_revisions": 453,
    "new_entry_range": [
      "OLISV-T0346",
      "OLISV-T0400"
    ],
    "batch_revision_records": 57,
    "new_entries": 55,
    "replay_rule": "Replay CANON_INDEX.json in order, verify each byte/hash pin, group by entry_id, and select the greatest contiguous active revision.",
    "public_assets": {
      "canon_index": {
        "path": "canon/CANON_INDEX.json",
        "bytes": 27512,
        "sha256": "4F66BF7EC3F9C895AA7AC2155CD370102E5955532F7C6BB1671F6E10F357A9C3"
      },
      "source_catalog": {
        "path": "canon/source_catalog.json",
        "bytes": 129987,
        "sha256": "077B75BFCD58BF7FFD1154ABA7C8F6F534CBB5D540C572666E7BDB60AEE321A3"
      },
      "schema": {
        "path": "canon/canon_entry.schema.json",
        "bytes": 7298,
        "sha256": "5793F3A14F36C3BF701A3CE380FBD8D1E4C018EF2A65972879CDAFD01BE7E8C4"
      },
      "dictionary": {
        "path": "canon/DICTIONARY_OLP0198.md",
        "bytes": 769571,
        "sha256": "47125278186960BF108ECDAC9975EAC030309893A0C42580FDFD601272BBAC4F"
      },
      "expert_jsonl": {
        "path": "canon/EXPERT_REVIEW_LOG_OLP0198.jsonl",
        "bytes": 4428330,
        "sha256": "16F22D1D55AA6213B223F359DEA34EC51ED91E353B8D7E43F6D9F424B128C601"
      },
      "expert_md": {
        "path": "canon/EXPERT_REVIEW_LOG_OLP0198.md",
        "bytes": 1189205,
        "sha256": "10DE29535F1D2AE66962E596365A6D4B772F45E39B8045D31F96005884A36A9A"
      },
      "expert_receipt": {
        "path": "canon/EXPERT_REVIEW_LOG_OLP0198_RECEIPT.json",
        "bytes": 1804,
        "sha256": "BA7ECFF6AEA94D7263A35727C86DE7906A56319206B5E25D430BFD59A0138936"
      },
      "batch_links": {
        "path": "evidence/OLP-0198.batch-canon-links.json",
        "bytes": 59630,
        "sha256": "C7B7E13ADC7DBA9261906ED2F896EEDE260200B72F8D6177BF2FB1712A8DC565"
      }
    }
  },
  "expert_review": {
    "coverage": "400_OF_400_ACTIVE_ENTRIES",
    "current_batch_contemporaneous_range": [
      "OLISV-T0346",
      "OLISV-T0400"
    ],
    "earlier_records_preserve_retrospective_boundary": true,
    "human_feedback_creates_hold": false
  },
  "build_gate": {
    "status": "PASS_ACCEPTED_OLP0198_FAIL_CLOSED_BEFORE_OLP0199",
    "finalized_checkpoint_pages": 777,
    "visually_inspected_pages": [
      727,
      728,
      729,
      730,
      731,
      732,
      733,
      734,
      735,
      736,
      737,
      738,
      739,
      740,
      741,
      742,
      743,
      744,
      745,
      746,
      747,
      748,
      749,
      750,
      751,
      752,
      753,
      754,
      755,
      756,
      757,
      758,
      759,
      760,
      761,
      762,
      763,
      764,
      765,
      766,
      767,
      768,
      769,
      770,
      771,
      772,
      773,
      774,
      775,
      776,
      777
    ],
    "checkpoint_stops_before": "OLP-0199",
    "inherited_partial_reader_unresolved_markers": 7,
    "new_unresolved_markers": 0,
    "cumulative_pdf": {
      "path": "reader/OpenLogic-Interslavic-OLP0198-visual-checkpoint.pdf",
      "bytes": 2921939,
      "sha256": "8D4ADBABFFE0F1B62459AE7DB3FF8891C8C7EA0CBEA08EDCE98DCB843FFD15AE",
      "pages": 777
    }
  },
  "batch_units": [
    {
      "closure_id": "OLP-0184",
      "source": {
        "path": "edition/OpenLogic-isv/content/model-theory/basics/reducts-and-expansions.tex",
        "bytes": 2275,
        "sha256": "8BA69B70AA9F9CE0D2CDD1E468906BD1F2D06AB97E5DD448A9E062EDC3822205"
      },
      "accepted_target": {
        "path": "edition/OpenLogic-isv/locale/isv/content/model-theory/basics/reducts-and-expansions.tex",
        "bytes": 2320,
        "sha256": "F783F212931D26138A8B83D4C18A97B04EA0371CEEE07E5CFABD3355C6983A98"
      },
      "canon_entry_ids": [
        "OLISV-T0346",
        "OLISV-T0347"
      ]
    },
    {
      "closure_id": "OLP-0185",
      "source": {
        "path": "edition/OpenLogic-isv/content/model-theory/basics/substructures.tex",
        "bytes": 1760,
        "sha256": "7E887827AD7A38DA3E8C86043EA0CF6D94DDB1512241C44F4C4CDD3F3DB61904"
      },
      "accepted_target": {
        "path": "edition/OpenLogic-isv/locale/isv/content/model-theory/basics/substructures.tex",
        "bytes": 1906,
        "sha256": "38FAA6B4B5F8BB1F533B1F45371AB87EDE68997264D1DCCD6C2EE49EA1939800"
      },
      "canon_entry_ids": [
        "OLISV-T0348",
        "OLISV-T0349"
      ]
    },
    {
      "closure_id": "OLP-0186",
      "source": {
        "path": "edition/OpenLogic-isv/content/model-theory/basics/overspill.tex",
        "bytes": 1426,
        "sha256": "E45EE9F5556AC6D7E9C55C8BE3D568A03A6CDBCE8D1969D7C8B025BEA058E99A"
      },
      "accepted_target": {
        "path": "edition/OpenLogic-isv/locale/isv/content/model-theory/basics/overspill.tex",
        "bytes": 1559,
        "sha256": "1DACC9B1CC25DCFBF9BDA4403ACB152A69BA3F3F53016DB3ECF6DA44531A1AE3"
      },
      "canon_entry_ids": [
        "OLISV-T0350"
      ]
    },
    {
      "closure_id": "OLP-0187",
      "source": {
        "path": "edition/OpenLogic-isv/content/model-theory/basics/isomorphism.tex",
        "bytes": 5186,
        "sha256": "FF467E98C994243D77B2FFE8D8DFDF81A4C1012AE370F5E82CAE21E75A5270EA"
      },
      "accepted_target": {
        "path": "edition/OpenLogic-isv/locale/isv/content/model-theory/basics/isomorphism.tex",
        "bytes": 5420,
        "sha256": "E6BAC5AB4D08152F193B6401B4D56CDEF662E8C31019CA7504FFDBBEFE9423A9"
      },
      "canon_entry_ids": [
        "OLISV-T0351",
        "OLISV-T0352",
        "OLISV-T0353"
      ]
    },
    {
      "closure_id": "OLP-0188",
      "source": {
        "path": "edition/OpenLogic-isv/content/model-theory/basics/theory-of-m.tex",
        "bytes": 2258,
        "sha256": "C88232929EB2391B9B24B6F95ED5C85EF44238988E15C186F9DEF62488913CD0"
      },
      "accepted_target": {
        "path": "edition/OpenLogic-isv/locale/isv/content/model-theory/basics/theory-of-m.tex",
        "bytes": 2452,
        "sha256": "2DB75B92ABD64DBECE0C359C50414325BC5FB23F3EF1925990ECB6CF302C6DAA"
      },
      "canon_entry_ids": [
        "OLISV-T0019",
        "OLISV-T0354",
        "OLISV-T0383"
      ]
    },
    {
      "closure_id": "OLP-0189",
      "source": {
        "path": "edition/OpenLogic-isv/content/model-theory/basics/partial-iso.tex",
        "bytes": 9479,
        "sha256": "FF448C61F49D8375E1FCD7835E1BA9E8F2697E23C2E046336C78A02DA280965D"
      },
      "accepted_target": {
        "path": "edition/OpenLogic-isv/locale/isv/content/model-theory/basics/partial-iso.tex",
        "bytes": 10326,
        "sha256": "3C55F9DACDCC89314C2CD6573EB478BAA2287FFD8E6A179FE31CB258F4EA330E"
      },
      "canon_entry_ids": [
        "OLISV-T0355",
        "OLISV-T0356",
        "OLISV-T0357",
        "OLISV-T0358",
        "OLISV-T0359"
      ]
    },
    {
      "closure_id": "OLP-0190",
      "source": {
        "path": "edition/OpenLogic-isv/content/model-theory/basics/dlo.tex",
        "bytes": 3509,
        "sha256": "9C7BD2CBEE65556D3EDC1316632FA5714527901EE0AED70EE76E2C4DB7C03531"
      },
      "accepted_target": {
        "path": "edition/OpenLogic-isv/locale/isv/content/model-theory/basics/dlo.tex",
        "bytes": 4062,
        "sha256": "AA7D3EE4C1B3703D11F14569098107D2E06AF186575C844428D9081F9422EA36"
      },
      "canon_entry_ids": [
        "OLISV-T0360",
        "OLISV-T0361",
        "OLISV-T0362",
        "OLISV-T0363",
        "OLISV-T0364"
      ]
    },
    {
      "closure_id": "OLP-0191",
      "source": {
        "path": "edition/OpenLogic-isv/content/model-theory/models-of-arithmetic/models-of-arithmetic.tex",
        "bytes": 377,
        "sha256": "DC1C37F2E7064A33BE5080BFA2682A2E527C7DFC2AA8A82D23362604DCB2522C"
      },
      "accepted_target": {
        "path": "edition/OpenLogic-isv/locale/isv/content/model-theory/models-of-arithmetic/models-of-arithmetic.tex",
        "bytes": 374,
        "sha256": "30AF19205BBBEB03BD410FEE6EAEBF3EDB6C97B3378C8EEACBA0E526EE854E0E"
      },
      "canon_entry_ids": [
        "OLISV-T0365"
      ]
    },
    {
      "closure_id": "OLP-0192",
      "source": {
        "path": "edition/OpenLogic-isv/content/model-theory/models-of-arithmetic/introduction.tex",
        "bytes": 3184,
        "sha256": "B574AF9C4AE632A5A5B121E4A404FD16D43FC60450162FE8B8BC9D0CA70ED9F6"
      },
      "accepted_target": {
        "path": "edition/OpenLogic-isv/locale/isv/content/model-theory/models-of-arithmetic/introduction.tex",
        "bytes": 3319,
        "sha256": "55BDE08AABB30C44709DFB8F01CB9A46E0A321E24F8FCB9415165443EA16EEA6"
      },
      "canon_entry_ids": [
        "OLISV-T0366",
        "OLISV-T0367",
        "OLISV-T0368",
        "OLISV-T0370",
        "OLISV-T0371",
        "OLISV-T0372",
        "OLISV-T0373",
        "OLISV-T0374",
        "OLISV-T0375"
      ]
    },
    {
      "closure_id": "OLP-0193",
      "source": {
        "path": "edition/OpenLogic-isv/content/model-theory/models-of-arithmetic/standard-models.tex",
        "bytes": 7853,
        "sha256": "8042692C33D15F357D7099F1A247F5055734446D951EABC2D337A3CA19D629B8"
      },
      "accepted_target": {
        "path": "edition/OpenLogic-isv/locale/isv/content/model-theory/models-of-arithmetic/standard-models.tex",
        "bytes": 8358,
        "sha256": "F8F073208FC637A21DDE69E325F71149B696A6649CEDFF8A1E1C7FFCD69F885F"
      },
      "canon_entry_ids": [
        "OLISV-T0205",
        "OLISV-T0376",
        "OLISV-T0377",
        "OLISV-T0378",
        "OLISV-T0379"
      ]
    },
    {
      "closure_id": "OLP-0194",
      "source": {
        "path": "edition/OpenLogic-isv/content/model-theory/models-of-arithmetic/non-standard-models.tex",
        "bytes": 4664,
        "sha256": "2780EA77577E4E5B2430C282FD0CEF5F4A017823036DBED116474BCCF600CEA1"
      },
      "accepted_target": {
        "path": "edition/OpenLogic-isv/locale/isv/content/model-theory/models-of-arithmetic/non-standard-models.tex",
        "bytes": 5783,
        "sha256": "D3C3D7F586AA7F440A10C6C6C4CAE1AA0EC5E28CD290C847495247C287D650B4"
      },
      "canon_entry_ids": [
        "OLISV-T0369",
        "OLISV-T0380",
        "OLISV-T0381",
        "OLISV-T0382",
        "OLISV-T0383",
        "OLISV-T0384",
        "OLISV-T0385",
        "OLISV-T0397"
      ]
    },
    {
      "closure_id": "OLP-0195",
      "source": {
        "path": "edition/OpenLogic-isv/content/model-theory/models-of-arithmetic/models-of-q.tex",
        "bytes": 7842,
        "sha256": "09BDAF0730F142D22D7F8FCC6C3155CB76D851F550A90BD70B04B2DE1A9855FC"
      },
      "accepted_target": {
        "path": "edition/OpenLogic-isv/locale/isv/content/model-theory/models-of-arithmetic/models-of-q.tex",
        "bytes": 8225,
        "sha256": "714282E1FCF12842CD1754D55555B04A15E1A9571C89953C967EEE1A53A76CC4"
      },
      "canon_entry_ids": [
        "OLISV-T0386",
        "OLISV-T0387",
        "OLISV-T0388",
        "OLISV-T0389"
      ]
    },
    {
      "closure_id": "OLP-0196",
      "source": {
        "path": "edition/OpenLogic-isv/content/model-theory/models-of-arithmetic/models-of-pa.tex",
        "bytes": 10487,
        "sha256": "1AEDEC586A50A24471318214A8A7D0E8F3A3CAA62733E2259C951EFE927873A4"
      },
      "accepted_target": {
        "path": "edition/OpenLogic-isv/locale/isv/content/model-theory/models-of-arithmetic/models-of-pa.tex",
        "bytes": 11605,
        "sha256": "B9EF5BD12B4624E1154E4CE88539A7102E26B52DBCFED5DB9D3B0AE209B63ED6"
      },
      "canon_entry_ids": [
        "OLISV-T0390",
        "OLISV-T0391",
        "OLISV-T0392",
        "OLISV-T0393",
        "OLISV-T0394",
        "OLISV-T0395"
      ]
    },
    {
      "closure_id": "OLP-0197",
      "source": {
        "path": "edition/OpenLogic-isv/content/model-theory/models-of-arithmetic/computable-models.tex",
        "bytes": 4636,
        "sha256": "F1C4B345068D3E682305016AD13AC443C498C95D0CAE14DCA0C07322CA970B89"
      },
      "accepted_target": {
        "path": "edition/OpenLogic-isv/locale/isv/content/model-theory/models-of-arithmetic/computable-models.tex",
        "bytes": 4897,
        "sha256": "71E1AC39C7639045D716BC46C4C0A2B86B7E0E5CEE6370622E6636871F4496CA"
      },
      "canon_entry_ids": [
        "OLISV-T0396",
        "OLISV-T0397",
        "OLISV-T0398",
        "OLISV-T0399"
      ]
    },
    {
      "closure_id": "OLP-0198",
      "source": {
        "path": "edition/OpenLogic-isv/content/model-theory/interpolation/interpolation.tex",
        "bytes": 316,
        "sha256": "5DE1F03DCB4BE6160C64ED31326B49DED46646AED4C04277AA37DA33BBF8D4E9"
      },
      "accepted_target": {
        "path": "edition/OpenLogic-isv/locale/isv/content/model-theory/interpolation/interpolation.tex",
        "bytes": 314,
        "sha256": "04E078792CEEF2007B06E657F648C9D161EFB962EF1D1A0FAE08FFF606B25F6E"
      },
      "canon_entry_ids": [
        "OLISV-T0400"
      ]
    }
  ],
  "validation_surface": {
    "progress": {
      "path": "machine/TRANSLATION_PROGRESS_OLP0198.json",
      "bytes": 737687,
      "sha256": "8220950E04C53CA6D9C2D8FAC27852DDC85D61D3D2103BA67DAF3F392B1CC86A"
    },
    "validation": {
      "path": "evidence/VALIDATION_RECEIPT_CONTINUATION_0053.json",
      "bytes": 7566,
      "sha256": "F260EFAA8D2C2F57F975E84B8A80E4E28EA6CDC819F01D63C7E0D36E5FC43482"
    },
    "projection": {
      "path": "evidence/projection_replay_0053.json",
      "bytes": 1472,
      "sha256": "55D25F6200B04AB0F4436BAAB41A432C9FE0CF81BFA66CE63435C04B7F2B8930"
    },
    "boundary": {
      "path": "evidence/OLP-0198.build-boundary.pass.json",
      "bytes": 5587,
      "sha256": "0358B7BE0A665181C8E482961A2FA35C8C91FD57E969F30E84926ADEE1C42C80"
    },
    "unit_seal": {
      "path": "evidence/OLP-0198.seal.json",
      "bytes": 7421,
      "sha256": "E922DF8A8E172D0C9EFB806F291B36181A5EC2CBBC04E262D11E50707621D305"
    },
    "unit_validation": {
      "path": "evidence/OLP-0198.validation.json",
      "bytes": 17285,
      "sha256": "B79859CCA415AB379C5959041B65D4AD5DBF7C264E012F2170DB35400D5096E7"
    },
    "visual_mutex": {
      "path": "evidence/OLP-0198.visual-tex-mutex-build-r3.json",
      "bytes": 3869,
      "sha256": "7560955E8A25343E305AB588AA4EA8F6D761F13F08DB19260F7F4F171C0ED661"
    },
    "visual_qa": {
      "path": "evidence/OLP-0198.visual-checkpoint.pass.json",
      "bytes": 28173,
      "sha256": "25CBFE9C4BBA71A6D5182BA4FE8F89A11FCAAD1D137F2360F3979C3DB64815B7"
    },
    "visual_r1": {
      "path": "evidence/OLP-0198.visual-build-r1-adverse.json",
      "bytes": 4845,
      "sha256": "F7642E8E95B6F748044D3B7B6FCF8D07C4EB77E535258B89303E932C93D784FB"
    },
    "visual_r2": {
      "path": "evidence/OLP-0198.visual-build-r2-adverse.json",
      "bytes": 4074,
      "sha256": "D914460EE7D545FBC0F19A44B94923D363D3C94EED483FC54E748F802DD0D550"
    },
    "visual_mutex_timeout": {
      "path": "evidence/OLP-0198.visual-r3-tex-mutex-timeout-adverse-0001.json",
      "bytes": 1011,
      "sha256": "8C3A6838FA556C5A61A8A9458E40F50C7AFB79A7F64E400EF3CE201F83FC7E9C"
    }
  },
  "continuation_protocol": [
    "Verify progress, public canon projection, exact replay files and predecessor hashes before editing.",
    "Translate only the next stable source unit and preserve TeX/math topology.",
    "Append evidence-rich canon successors; never rewrite history.",
    "Run structural, semantic, canon, projection, build and visual gates before installing.",
    "Publish truthful non-duplicative checkpoints and anonymously verify public bytes."
  ],
  "public_surfaces": {
    "live_reader": "https://kokunoyumeto.github.io/modern-latex-manuscripts/open-logic-interslavic/",
    "github": "https://github.com/KokunoYumeto/modern-latex-manuscripts/tree/main/docs/open-logic-interslavic",
    "methodology_concept_doi": "10.5281/zenodo.21124403"
  },
  "authority_boundary": "Evidence-linked reversible edition; no official-standard, native-speaker, or peer-review certification is claimed."
}