{ "schema": "openlogic-isv-canon-index/1.0", "updated_at": "2026-09-07T18:27:29.362177Z", "status": "EVOLVING_VALIDATED_CANON", "authority_boundary": "Edition-level terminology choices supported by pinned evidence; no official or native certification is claimed.", "replay_order": [ { "path": "canon.jsonl", "bytes": 417134, "sha256": "EED6118DC6AA01C04CF1A589F6BB4922D785FB6BCF7C0AB37D7D1B0B1FD8727E", "role": "base append-only terminology history" }, { "path": "canon_continuation_0001.jsonl", "bytes": 32424, "sha256": "3C007F21520033F7AAC321B7EEBE8634009BFB29112F8A87FD73C032516902BA", "role": "proof-system and quantified-tableau terminology continuation" }, { "path": "canon_continuation_0002.jsonl", "bytes": 27270, "sha256": "5CAFBB46D526B18E5FFE1779EBD019525A4691E47D607A432CE01314DBA32D3A", "role": "completeness, compactness, saturation, and term-model terminology continuation" }, { "path": "canon_continuation_0003.jsonl", "bytes": 31753, "sha256": "43C58B9B324AF6B00BC53592B4D729E2386D37656F3D6A6FDAA663E8054EE332", "role": "factor-structure and enumerable, denumerable, and nonenumerable-set terminology continuation" }, { "path": "canon_continuation_0004.jsonl", "bytes": 59100, "sha256": "C2F18B50FC6173B7593DC78B281573C8E2824494775CCFD06023F7AC97360957", "role": "semantic notions, variable assignment, logical sentence, substitution, and term-value terminology continuation" }, { "path": "canon_continuation_0005.jsonl", "bytes": 86983, "sha256": "8F6D0168AD2EEB085E2F729ED82EC79DB37312A25C1096E65B91AE5C12E6CF60", "role": "derivation, model-theory, axiomatic-method, predicate, structure-domain, expressibility, cardinality, named-theorem, contradiction, and first-order-logic terminology continuation" }, { "path": "canon_continuation_0006.jsonl", "bytes": 232728, "sha256": "371070842EEAF76E9F77648C3E5467234215E65F3E052E76069B8BE5CE736EA5", "role": "syntax, first-order-language vocabulary, formal-symbol types, connectives, quantifiers, notation, arity, and truth-functional terminology continuation" }, { "path": "canon_continuation_0007.jsonl", "bytes": 68908, "sha256": "E45FB61EE8A2BA0238FC4117A84A4B81A3A6D681C8DE10AA57A30A0FAEA2C8DA", "role": "terms-and-formulas vocabulary, exact string syntax, notation abbreviations, parentheses, successor function, property, and structural-induction terminology continuation" }, { "path": "canon_continuation_0008.jsonl", "bytes": 42058, "sha256": "098487CB4E2E29CB8A9CF546D9C5A64A0C85BD8EBEF13124A9127D55765BC175", "role": "unique-readability, main-operator occurrence, syntactic ambiguity, strict-prefix, induction-basis, and induction-hypothesis terminology continuation" }, { "path": "canon_continuation_0009.jsonl", "bytes": 24753, "sha256": "FFD036436C57087B6C6AB6A20C91214E8887337C2AF77C055351CE5309CDD456", "role": "subformula, immediate-subformula, and proper-subformula terminology continuation" }, { "path": "canon_continuation_0010.jsonl", "bytes": 25153, "sha256": "BC165F93336613A2592A9D3CD8DF0DE4B8088C4F07EE823DF873648829AAF57D", "role": "formation-sequence, minimal-formation-sequence, and strong-induction terminology continuation" }, { "path": "canon_continuation_0011.jsonl", "bytes": 38148, "sha256": "4EAA124ACC4F247FCC4C1E30FE90A9C8A2614A6E79EF3F38D3EDD3B43E4B6891", "role": "free-variable occurrence, bound-variable occurrence, quantifier-scope, and sentence-definition revision continuation" }, { "path": "canon_continuation_0012.jsonl", "bytes": 38383, "sha256": "99300E10D53B4C142245101C23D07563AB8156A005B31A79D8E6FAC8439F75D8", "role": "substitution admissibility, variable capture, universal instance, and substitution-definition correction continuation" }, { "path": "canon_continuation_0013.jsonl", "bytes": 9044, "sha256": "771139827D719F62165198424D1D72CFB54927B6BD8FBF97170B0841E8D6847A", "role": "truth-table terminology continuation" }, { "path": "canon_continuation_0014.jsonl", "bytes": 46386, "sha256": "B4DF7607AEC683C965C08846D11F8009569FD47ADA5B009E428B754DA371E370", "role": "integer, hereditary-finiteness, existential-generalization, free-logic, premise, and denotation terminology continuation" }, { "path": "canon_continuation_0015.jsonl", "bytes": 9431, "sha256": "5266B60ADE730E9957451834CFBBE97CEBFEDE85CA6CD2ADA46DDCBFAFD74573", "role": "covered-structure terminology continuation" }, { "path": "canon_continuation_0016.jsonl", "bytes": 10129, "sha256": "2AE04449117ABB566D4BDC2920C24724F98FB31460ACB92CB37710908967C150", "role": "x-variant assignment terminology continuation" }, { "path": "canon_continuation_0017.jsonl", "bytes": 8995, "sha256": "ACFD5B08DF5F0FB93BE6EBB5C4026979AB76C1E5FA35B10A9127F3D7F11A415F", "role": "propositional-valuation terminology continuation" }, { "path": "canon_continuation_0018.jsonl", "bytes": 25922, "sha256": "4A611ECAC3C382A71E26210DAB8BB30D76C8C46F3FF56BF2E60EC9F278E18442", "role": "OLP-0164 proof-complexity and Skolem terminology continuation" }, { "path": "canon_continuation_0019.jsonl", "bytes": 17054, "sha256": "AE5C9E30196AAE3BFF77E7306A5F3C7D33CFD8ADC50E67FE458ED252BC8E2D5F", "role": "OLP-0165 extensionality and subterm terminology continuation" }, { "path": "canon_continuation_0020.jsonl", "bytes": 16950, "sha256": "89184F754A8039324B44C74A456A893A43D64A9BA858207FB01102D4FA254F8C", "role": "OLP-0166 semantic deduction theorem and contraposition terminology continuation" }, { "path": "canon_continuation_0021.jsonl", "bytes": 57397, "sha256": "206542FCCCB57258778956BD522BB715031D7DBE35D270FA707CAD3911164727", "role": "OLP-0168 semantic-closure, axiomatization, axiom-independence, redundant-axiom, definability, parallel-postulate, and intended-structure terminology continuation" }, { "path": "canon_continuation_0022.jsonl", "bytes": 22862, "sha256": "84769B2A6981CB81818319AB404C59D4F883D7FF4963105D71D121BBFE9FA0BF", "role": "OLP-0169 model-sense expansion plus natural-number and structural-property terminology continuation" }, { "path": "canon_continuation_0023.jsonl", "bytes": 125822, "sha256": "FD349E159BAACCDE35E67770487F79FE23206D42D4D78A1F1CAAEE204238ACAA", "role": "OLP-0170 union-sense expansion plus algebra, arithmetic, pure-set, and mereological terminology continuation" }, { "path": "canon_continuation_0024.jsonl", "bytes": 57023, "sha256": "5EC25ED53A71A74E9494B1878E624C7C8E37358C2A3B4A692C1A0127DC971941", "role": "OLP-0171 relation-expression, successor/predecessor, arithmetic, divisibility, prime-number, and finite-complement terminology continuation" }, { "path": "canon_continuation_0025.jsonl", "bytes": 83218, "sha256": "8EE156CF4D45351CA29E4CDDEFEB6B8FBBC8758F2C3919A1CD921916B05B619D", "role": "OLP-0172 set-theory, ZFC, choice, power-set, ordered-pair, Cartesian-product, relation-property, Cantor, Russell, and separation terminology continuation" }, { "path": "canon_continuation_0026.jsonl", "bytes": 16237, "sha256": "D4EA24FC305F7A426F9B4E0EB2C0E120D18E8869F779C6BDF814681E190E1FCD", "role": "OLP-0173 structure-size and purely-logical-sentence terminology continuation" }, { "path": "canon_continuation_0027.jsonl", "bytes": 10101, "sha256": "7F22395DEFE63E1AECD341B60B42978171D740F1B0782DC79B42B3A9B085DE99", "role": "OLP-0174 bounded logical-system terminology continuation" }, { "path": "canon_continuation_0028.jsonl", "bytes": 85232, "sha256": "55B8B55E955E08A30C77DEBB5273160854063C739E0FD80BE6A4BC983E35A003", "role": "OLP-0175 bounded beyond-first-order logic terminology continuation" }, { "path": "canon_continuation_0029.jsonl", "bytes": 82280, "sha256": "F78E246F30FCE6E1A0962592186BF8ADC9928C8DDA804E0A944365C5E0D36463", "role": "OLP-0176 bounded many-sorted-logic terminology continuation" }, { "path": "canon_continuation_0030.jsonl", "bytes": 158479, "sha256": "9D34C70A35C0531BD61735D51D0C4579A2941E54BBB4C848852199751378AB6B", "role": "OLP-0177 bounded second-order-logic terminology continuation" }, { "path": "canon_continuation_0031.jsonl", "bytes": 162411, "sha256": "8C463143E238AFD4048534B1F591B0B65230E2360F8D9ADDA512CB917A02A093", "role": "OLP-0177 append-only source-locator correction and linguistic-successor provenance" }, { "path": "canon_continuation_0032.jsonl", "bytes": 165446, "sha256": "84653900B6662F184399EA6BF37AEF358EF77B730B84230E74BAB0423F8634CB", "role": "OLP-0178 higher-order-logic terminology frontier (initial evidence pass)" }, { "path": "canon_continuation_0033.jsonl", "bytes": 176042, "sha256": "135B4914C430D0A76D9895C50AAAB31D13865B9AC49AC606C393E9FBF41B19C7", "role": "OLP-0178 append-only evidence-correction successors" }, { "path": "canon_continuation_0034.jsonl", "bytes": 287518, "sha256": "70E385AF423721BAF8F867060D0F1AA61C6F5D6238FA433D831DDEBABB920DED", "role": "OLP-0179 intuitionistic logic, constructive proof, and Kripke-semantics terminology continuation" }, { "path": "canon_continuation_0035.jsonl", "bytes": 130316, "sha256": "B0C7D7ABEE7B021CB48EF267678E8AE705F265784D0E21ABE4F0C059AB64A46C", "role": "OLP-0180 modal-logic, possible-world, accessibility, and modal-application terminology continuation" }, { "bytes": 173416, "sha256": "B49B0AEA0B2C8C70A45F62ED52964B73E89CFF5F48804F8230F018278DCA5784", "path": "canon_continuation_0036.jsonl", "role": "OLP-0181 other-logics survey, defeasible-reasoning, causal/deontic, and disciplinary terminology continuation" }, { "bytes": 58861, "sha256": "2C376C7A34E6C96CC5FFC705FA4221931B21517040EFE8D4D4552625623F959A", "path": "canon_continuation_0037.jsonl", "role": "OLP-0182 model-theory editorial-status, pedagogy, and textbook terminology continuation; corrected standard-flavor projection inputs" }, { "bytes": 7937, "sha256": "4C3E2F54EF2EA36BFA39EA85357EB8C533608F7F3B8CE74A3B0B16E000AD2D0B", "path": "canon_continuation_0038.jsonl", "role": "OLP-0183 model-theory basics foundational-title terminology continuation" }, { "path": "canon_continuation_0039.jsonl", "bytes": 19417, "sha256": "FB4B4643239350D01FA73D0AC76950C71FAF49FCFFF7E1EB51D64FB00ED6D0A5", "role": "OLP-0184 model-theory reduct and expansion terminology continuation" }, { "path": "canon_continuation_0040.jsonl", "bytes": 19552, "sha256": "107FE2BD0CFC0FDCF32217C626154BCF4EF6EC48055DC902E75F8BE48649C673", "role": "OLP-0185 substructure and same-language extension-by-domain terminology continuation" }, { "path": "canon_continuation_0041.jsonl", "bytes": 12352, "sha256": "B417B0E7B26FACD0C6F014876C10FC2CBF8B70BE5C9F506D7363628414133DCB", "role": "OLP-0186 descriptive title for the compactness corollary from arbitrarily large finite models to an infinite model" }, { "path": "canon_continuation_0042.jsonl", "bytes": 27321, "sha256": "5F677AF267C9F9FBF94F1BE5CBE1D61DF84AB97CF56277919ACDC4E6B4F42246", "role": "OLP-0187 elementary equivalence, isomorphism of structures, and automorphism of a structure" }, { "path": "canon_continuation_0043.jsonl", "bytes": 9660, "sha256": "18952DC63B307E87C026321684DAEEB47A075374D85CD438D4EAA7E5C59A8A60", "role": "OLP-0188 complete theory in the sentence-deciding model-theory sense, distinguished from proof-system completeness" }, { "path": "canon_continuation_0044.jsonl", "bytes": 43026, "sha256": "EA32F98B7DAA85B3FA2158037DCAB36DBC459EFE750B3B98F2A9EA69F4715247", "role": "OLP-0189 partial isomorphisms, back-and-forth extension, quantifier rank, bounded-rank elementary equivalence, and purely relational languages" }, { "path": "canon_continuation_0045.jsonl", "bytes": 37183, "sha256": "101648EB301F83026AA8B5CE03D1A6C5D29866EECCB712F6D60B3A81E79CBAE4", "role": "OLP-0190 dense orders, dense linear orders without endpoints, order endpoints, Cantor's dense-order isomorphism theorem, and the rational order" }, { "path": "canon_continuation_0046.jsonl", "bytes": 8472, "sha256": "F91A6A29163775804BA4572F25931FFA34036F462345FBE500A4E1D1EEFD364B", "role": "OLP-0191 chapter-level models-of-arithmetic terminology" }, { "path": "canon_continuation_0047.jsonl", "bytes": 79223, "sha256": "98AE4D13FB8FB6C14C55022337FA89C0A2CBF58588A68E45206842262FF63639", "role": "OLP-0192 standard and nonstandard arithmetic-model terminology, semantic-witness distinctions, and empty-string notation" }, { "path": "canon_continuation_0048.jsonl", "bytes": 40397, "sha256": "3203FD43960EF76D665D6F0FD25D56067CF490D0ABD9F9CD1F1C579EB123268D", "role": "OLP-0193 revision of the standard arithmetic model scope and new arithmetic-language, Robinson-Q, converse, and ordinary-induction terminology" }, { "path": "canon_continuation_0049.jsonl", "bytes": 51419, "sha256": "18B8D1B5901C9D0C86311E125B862FC07BC5B8E28BC2500AF4834E57A0B5129E", "role": "OLP-0194 revision of the structure-relative non-standard-element sense and new non-standard-structure, standard-number, non-standard-number, theory-of-structure, countable-model, and elementary-substructure terminology" }, { "path": "canon_continuation_0050.jsonl", "bytes": 26259, "sha256": "F53C5DD807FD7605313F4449AC37C1E3E3970647E6A02C42219AD79E68F86696", "role": "OLP-0195 adds weaker-theory, arithmetic-sum-result, arithmetic-product-result, and commutativity-of-addition terminology with direct source sense, official lexical evidence where available, explicit national comparanda, rejected alternatives, and deterministic Cyrillic projections." }, { "path": "canon_continuation_0051.jsonl", "bytes": 61009, "sha256": "B9193344E005E7D4D373A406D7B7BBFA578C180BCB72E6F74D0E1282AFB42D95", "role": "OLP-0196 adds finite-standard-distance block, addition-cancellation, integer-average, and standard/non-standard model-part terminology with exact source semantics, official lexical components, explicit East/West/South Slavic comparanda, alternatives, uncertainty, and deterministic Cyrillic projections." }, { "path": "canon_continuation_0052.jsonl", "bytes": 47628, "sha256": "73E6B5ADB1DBCAA6883CE24E66218AFB934C1105770BDD1A0F59AD64593D701C", "role": "OLP-0197 adds computable-structure, computable-model, primitive-recursion, and Tennenbaum-theorem terminology with exact computability/countability boundaries, direct East/West Slavic specialist evidence, explicit South-Slavic componential evidence, alternatives, uncertainty, and deterministic Cyrillic projections." }, { "path": "canon_continuation_0053.jsonl", "bytes": 15755, "sha256": "38B12DF7326C25D63BC6E61F82E02D8CA9846932A7132E859C8412E3BD7D05F3", "role": "OLP-0198 adds the interpolation-theorem chapter heading with direct East, West, and South Slavic academic evidence and an exact deterministic Cyrillic projection." } ], "current_counts": { "physical_revision_records": 453, "unique_entries": 400, "domains": { "arithmetic": 19, "computability": 12, "functions": 22, "logic": 214, "model_theory": 84, "proof": 29, "relations": 40, "sets": 33 } }, "latest_added_entries": [ { "entry_id": "OLISV-T0400", "revision_id": "OLISV-T0400-r0001", "canonical_key": "model-theory.interpolation-theorem", "term": "teorema interpolacije", "lemma": "teorema interpolacije", "cyrillic": "теорема интерполације", "confidence": { "score": 0.92, "band": "high", "basis": "Exact Open Logic sense, established Interslavic theorem head, and direct East-, West-, and South-Slavic academic attestations of the interpolation stem and theorem construction." } } ], "schema_file": { "bytes": 7298, "sha256": "5793F3A14F36C3BF701A3CE380FBD8D1E4C018EF2A65972879CDAFD01BE7E8C4", "path": "canon_entry.schema.json" }, "source_catalog": { "path": "source_catalog.json", "bytes": 129987, "sha256": "077B75BFCD58BF7FFD1154ABA7C8F6F534CBB5D540C572666E7BDB60AEE321A3", "local_sources_verified": 174, "remote_sources_pinned_not_refetched": 1 }, "validator": { "base": { "path": "canon/validate_canon.py", "bytes": 15172, "sha256": "903FD499C317BEE256481922B58D62F25149E696471EC26E13CE05EA6FA01B05" }, "current_wrapper": { "path": "canon/evidence/validate_canon_current.py", "bytes": 841, "sha256": "3E8BECE49E12ECC9A339C7BAEA2708337B9F9797A08DEB25C8F72D282A195F45" }, "command_from_canon_directory": "python -B evidence/validate_canon_current.py", "last_result": "PASS_453_RECORDS_400_UNIQUE_ENTRIES_ZERO_ERRORS" }, "latest_validation_receipt": { "path": "../evidence/VALIDATION_RECEIPT_CONTINUATION_0053.json", "bytes": 7566, "sha256": "F260EFAA8D2C2F57F975E84B8A80E4E28EA6CDC819F01D63C7E0D36E5FC43482", "status": "PASS_453_RECORDS_400_UNIQUE_ENTRIES_ZERO_ERRORS" }, "translation_checkpoint": { "accepted_units": 198, "pending_units": 524, "closure_units": 722, "accepted_source_bytes": 889600, "accepted_source_alpha_tokens": 110194, "total_source_alpha_tokens": 367220, "path": "../machine/TRANSLATION_PROGRESS_OLP0198.json", "bytes": 737687, "sha256": "8220950E04C53CA6D9C2D8FAC27852DDC85D61D3D2103BA67DAF3F392B1CC86A" }, "consumer_rule": "Replay every JSONL file in replay_order, group records by entry_id, and select the greatest contiguous revision whose supersedes chain validates. Re-run validate_canon.py before promoting or extending any term.", "latest_revised_entries": [], "token_overlay_checkpoint": { "status": "PASS_WITH_RECORDED_CONTEXTUAL_MORPHOLOGY_DEBT", "index": { "bytes": 51558, "sha256": "0649509CF87975A0F463A16959AC6D9C0CE46745EAC1E6F2981070B51B60CBE3", "path": "TOKEN_OVERLAY_INDEX_0023.json" }, "config": { "bytes": 4560, "sha256": "3A27A461CACF0472DD801D4203AFBB66BB5393084265E56B86D2AD88F71219A4", "path": "../edition/OpenLogic-isv/locale/isv/open-logic-config.sty" }, "validator": { "bytes": 1665, "sha256": "49384EA9580DF11A643B13A513E66AFE26FE5C0BD501542E45DA5F041991A8B2", "path": "../evidence/validate_isv_token_overlay_0023.py" }, "validation_receipt": { "bytes": 17561, "sha256": "DC00F83ADE25F905CDE4299AD1A54563F1C9E6F7B6758F5FEFECCD9926D174DF", "path": "../evidence/unit_receipts/OLP-0183.token-overlay.pass.json" }, "active_token_keys": 42, "accepted_shorthand_calls": 2694, "english_article_flags_neutralized": 626, "explicit_contextual_repairs_in_latest_unit": 0, "accepted_target_pin_aggregate_sha256": "C597D6D30BEFD56B9A7228BCBAC2D31BCDE2658A9018FA6C2B3A54B79D4A9351", "contextual_morphology_debt": "OPEN", "deferred_since_checkpoint": { "accepted_units_now": 198, "accepted_units_at_token_checkpoint": 183, "reason": "Token-overlay cumulative replay is a batch gate under the shared throughput architecture." } }, "index_predecessor": { "path": "canon/CANON_INDEX.json", "bytes": 26843, "sha256": "B36D65F5D0B6F961D3E7BC24F65DBA09290E7ED4665488161BBA483BC9EF0568", "reason": "Pre-seal OLP-0198 index; append-only canon replay remains reconstructible." }, "official_projection_replay": { "path": "evidence/projection_replay_0053.json", "bytes": 1472, "sha256": "55D25F6200B04AB0F4436BAAB41A432C9FE0CF81BFA66CE63435C04B7F2B8930" }, "latest_target_correction": { "correction_id": "OLP-0197-R2", "closure_id": "OLP-0197", "target": { "path": "edition/OpenLogic-isv/locale/isv/content/model-theory/models-of-arithmetic/computable-models.tex", "bytes": 4897, "sha256": "71E1AC39C7639045D716BC46C4C0A2B86B7E0E5CEE6370622E6636871F4496CA" }, "manifest": { "path": "evidence/OLP-0197-R2.correction-manifest.json", "bytes": 4045, "sha256": "D9224E7D13091F511405BE7FDAA4DF0B5E4A3E4628C9F8A841EC1086E99037C2" }, "install_receipt": { "path": "evidence/unit_receipts/OLP-0197-R2.install.json", "bytes": 1723, "sha256": "11E6AF71BA68EF94F7774F6C929BB4715A19B6A50382D236D1A3A9B55319DCE7" }, "counters_unchanged": true }, "latest_completed_unit_seal": { "closure_id": "OLP-0198", "target": { "path": "../edition/OpenLogic-isv/locale/isv/content/model-theory/interpolation/interpolation.tex", "bytes": 314, "sha256": "04E078792CEEF2007B06E657F648C9D161EFB962EF1D1A0FAE08FFF606B25F6E" }, "seal": { "path": "../evidence/unit_receipts/OLP-0198.seal.json", "bytes": 7421, "sha256": "E922DF8A8E172D0C9EFB806F291B36181A5EC2CBBC04E262D11E50707621D305" }, "context_visual_review": { "path": "../evidence/unit_receipts/OLP-0198.visual-review.json", "bytes": 2112, "sha256": "D4687AEC74BD2680E4D5BD373A35204192EC5B3C1063C097B28616CF9AB00392" }, "canon_validation": { "path": "VALIDATION_RECEIPT_CONTINUATION_0053.json", "bytes": 7566, "sha256": "F260EFAA8D2C2F57F975E84B8A80E4E28EA6CDC819F01D63C7E0D36E5FC43482" }, "next_unit": "OLP-0199" }, "latest_translation_acceptance": { "closure_id": "OLP-0198", "source": { "path": "edition/OpenLogic-isv/content/model-theory/interpolation/interpolation.tex", "bytes": 316, "sha256": "5DE1F03DCB4BE6160C64ED31326B49DED46646AED4C04277AA37DA33BBF8D4E9" }, "target": { "path": "edition/OpenLogic-isv/locale/isv/content/model-theory/interpolation/interpolation.tex", "bytes": 314, "sha256": "04E078792CEEF2007B06E657F648C9D161EFB962EF1D1A0FAE08FFF606B25F6E" }, "candidate": { "path": "evidence/candidates/OLP-0198.interpolation.isv.candidate.tex", "bytes": 314, "sha256": "04E078792CEEF2007B06E657F648C9D161EFB962EF1D1A0FAE08FFF606B25F6E" }, "canon_continuation": { "path": "canon/canon_continuation_0053.jsonl", "bytes": 15755, "sha256": "38B12DF7326C25D63BC6E61F82E02D8CA9846932A7132E859C8412E3BD7D05F3" }, "validation_receipt": { "path": "evidence/unit_receipts/OLP-0198.validation.json", "bytes": 17285, "sha256": "B79859CCA415AB379C5959041B65D4AD5DBF7C264E012F2170DB35400D5096E7" }, "install_receipt": { "path": "evidence/unit_receipts/OLP-0198.install.json", "bytes": 1389, "sha256": "8A13ED803DFD566361DC4A6DB6E4C7BD4A92CD762E0E832CD2BED79FBFACEB45" }, "canon_new_entries": 1, "canon_sense_revisions": 0, "generic_token_calls": 0, "source_adverse_evidence": [], "supersedes_acceptance": { "closure_id": "OLP-0197", "target": { "path": "edition/OpenLogic-isv/locale/isv/content/model-theory/models-of-arithmetic/computable-models.tex", "bytes": 4897, "sha256": "71E1AC39C7639045D716BC46C4C0A2B86B7E0E5CEE6370622E6636871F4496CA" }, "validation_or_unit_receipt": null }, "batch_checkpoint_boundary": "Per-unit acceptance inside the active batch; cumulative build, visual QA, full reader projection, GitHub, and Zenodo are deferred to a meaningful chapter or 20-50-unit checkpoint.", "claim_boundary": "Accepted as an editorial Open Logic Interslavic unit after exact shared structural, semantic, lexical-evidence, canon, projection, and atomic-install checks; no native or official certification is claimed." }, "claim_boundary": "Evidence-linked, reversible edition terminology; current canon and unit topology pass, while cumulative build, reader projection, and publication remain batch-level gates. No native or official certification is claimed.", "path_policy": { "canon_relative": true, "project_relative_prefix": "../", "note": "All live index paths are portable and resolve relative to canon/ unless prefixed ../." }, "checkpoint": "OLP-0198", "preseal_failure_history": { "status": "PRESERVED_REJECTED_PRESEAL_CANDIDATE", "receipt": { "bytes": 13354, "sha256": "1A9B05FFA48891CC75480592EB4F264C142E5FF7B35568A2EE0E4CA808630F92", "path": "evidence/projection_schema_replay_0037.preseal-failed-0001.json" }, "summary": "The first 0037 serialization failed nine schema checks and three official projection comparisons; it was preserved before regeneration and was never indexed, installed, or published." }, "latest_canon_links": { "new_entry_ids": [ "OLISV-T0400" ], "target_path": "../edition/OpenLogic-isv/locale/isv/content/model-theory/interpolation/interpolation.tex", "linkage": "OLISV-T0400 selects teorema interpolacije for the generic Open Logic chapter title, using established theorem head OLISV-T0273 and direct Russian, Polish, Czech, and Croatian academic comparanda. Craigova teorema interpolacije is retained as the explicit named variant for later theorem statements." }, "batch_pipeline": { "pipeline": { "path": "scripts/olisv_unit_pipeline.py", "bytes": 33815, "sha256": "DAF872B5402D6E32D13A0AD007D89CC540B789D94C4CCA838ED54FA424D3E616" }, "batch_state": "../BATCH_CHECKPOINT_STATE.json", "policy": "Per-unit static/canon checks; cumulative dual-script build, all-page regression, changed-page visual QA, GitHub, and Zenodo only at coherent chapter or roughly 20-50-unit checkpoints." }, "latest_canon_validation": { "path": "VALIDATION_RECEIPT_CONTINUATION_0053.json", "bytes": 7566, "sha256": "F260EFAA8D2C2F57F975E84B8A80E4E28EA6CDC819F01D63C7E0D36E5FC43482" }, "public_projection": { "checkpoint": "OLP-0198", "local_authority": { "path": "02_open_logic_interslavic/canon/CANON_INDEX.json", "bytes": 26762, "sha256": "9766AF6E94D6F544F862E90F767B46453638ADC8C82A5FDA4DCFFB8529C69A0B" }, "source_catalog_workspace_root_redacted": true, "translation_checkpoint_pin_refreshed_to_postseal_progress": true, "canon_replay_files_byte_identical": true, "replay_files": 54, "consumer_note": "Use this public projection with the sibling replay files and public source_catalog.json. The local authoritative index remains pinned in this object and in the projection receipt." } }