{ "schema": "openlogic-translations-catalogue/1.0.0", "generated_utc": "2026-09-08T01:59:18Z", "catalogue_repository": "https://github.com/KokunoYumeto/OpenLogic-translations", "source_authority": { "repository": "https://github.com/OpenLogicProject/OpenLogic", "commit": "9620cc73f9c8e0ad003c514a5d3748f29611c4c0", "tree": "f67757bb9305b173634082ab4cefd5601a707a34", "tracked_content_tex": 722, "ordinary_reader_reachable_content_tex": 642, "retained_outside_ordinary_reader_graph": 80 }, "status_vocabulary": [ "verified-standalone-722", "verified-source-preservation-722", "published-source-722-reader-642", "published-constructed-722", "partial", "scaffold", "cross-mirror-repair", "audit-needed", "absent" ], "editions": [ { "id": "openlogic-en-frozen-722", "name": "English — complete frozen-source reader", "language_tag": "en", "semantic_layer": "Frozen English source-preservation edition", "scripts": [ "Latn" ], "profiles": [ "one coherent reader containing the ordinary 642-unit graph and all 80 retained source units" ], "repository": "https://github.com/KokunoYumeto/OpenLogic-translations", "source_repository": "https://github.com/OpenLogicProject/OpenLogic/tree/9620cc73f9c8e0ad003c514a5d3748f29611c4c0", "release": "https://github.com/KokunoYumeto/OpenLogic-translations/releases/tag/en-olp-0722-frozen-20260905", "release_tag": "en-olp-0722-frozen-20260905", "release_commit": "dca934d024fb70591cd7cb7b75cc7b85588c1dfe", "concept_doi": "10.5281/zenodo.22385785", "version_doi": "10.5281/zenodo.22385786", "license": "CC-BY-4.0", "source_units_preserved": 722, "source_units_translated": null, "source_coverage_label": "Frozen source files", "standalone_reader_units": 722, "retained_units_outside_reader": 0, "retained_delivery": "all 80 retained, alternative or non-selected units are integrated after the 642-unit ordinary reader graph", "status": [ "verified-standalone-722", "verified-source-preservation-722" ], "readers": [ { "profile": "complete frozen-source reader", "url": "https://github.com/KokunoYumeto/OpenLogic-translations/releases/download/en-olp-0722-frozen-20260905/OpenLogic-en-722-complete-reader.pdf", "pages": 1177, "bytes": 6039931, "sha256": "c7ace80bb207d8516cacd9b0d37574234f711707217e39846193a487d0b42992" } ], "evidence": { "manager_public_readback": "evidence/ENGLISH_722_READER_PUBLIC_READBACK_20260905.json", "manager_public_readback_sha256": "c00c1009c02f4603e52dc88f37db1df45043fe6d3c7c82bed385a987b0eddead", "latest_zenodo_record": "https://zenodo.org/records/22385786", "anonymous_github_assets_verified": 5, "anonymous_zenodo_files_verified": 5, "source_hashes_verified": 722, "overlay_hashes_verified": 722, "body_roundtrips_verified": 722, "deterministic_builds": 2, "bookmarks": 904, "internal_links": 3190, "broken_internal_links": 0, "visually_inspected_pages": 215 }, "limitations": [ "independent preservation assembly, not an official Open Logic Project release", "the 80 retained units keep their upstream alternative, experimental, draft or unfinished status", "fixed-layout PDF; no PDF/UA claim", "coverage and rendering verification is not a new linguistic or editorial certification of the English source" ] }, { "id": "openlogic-nl-standard", "name": "Dutch — standard scholarly register", "language_tag": "nl", "semantic_layer": "Standard Dutch scholarly translation", "scripts": [ "Latn" ], "profiles": [ "paired segment-for-segment with the gewone-mensentaal Dutch register edition" ], "source_revision": "9620cc73f9c8e0ad003c514a5d3748f29611c4c0", "repository": null, "release": null, "license": "CC-BY-4.0 planned; inherited upstream exceptions must be recorded", "source_units_translated": 0, "standalone_reader_units": 0, "pair_id": "openlogic-nl-dual-register", "paired_edition_id": "openlogic-nl-gewone-mensentaal", "status": [ "scaffold", "owner-commissioned-setup-pending" ], "evidence": { "commission_scope": "evidence/DUTCH_DUAL_REGISTER_COMMISSION_20260906.json" }, "limitations": [ "Dedicated owner task commissioned; worktree setup is pending a stable task identifier.", "Zero translated units, standalone-reader units, repository, release or DOI are claimed." ] }, { "id": "openlogic-nl-gewone-mensentaal", "name": "Dutch — gewone mensentaal", "language_tag": "nl-x-gewoon", "semantic_layer": "Adult non-academic Dutch register translation at unchanged mathematical rigor", "scripts": [ "Latn" ], "profiles": [ "paired segment-for-segment with the standard scholarly Dutch edition", "adult ordinary register; not abridged, remedial or child-directed" ], "source_revision": "9620cc73f9c8e0ad003c514a5d3748f29611c4c0", "repository": null, "release": null, "license": "CC-BY-4.0 planned; inherited upstream exceptions must be recorded", "source_units_translated": 0, "standalone_reader_units": 0, "pair_id": "openlogic-nl-dual-register", "paired_edition_id": "openlogic-nl-standard", "status": [ "scaffold", "owner-commissioned-setup-pending" ], "evidence": { "commission_scope": "evidence/DUTCH_DUAL_REGISTER_COMMISSION_20260906.json" }, "limitations": [ "Dedicated owner task commissioned; worktree setup is pending a stable task identifier.", "The target register still requires canon-first research and a representative calibration batch.", "Zero translated units, standalone-reader units, repository, release or DOI are claimed." ] }, { "id": "openlogic-fr", "owner_task_id": "01a07d6d-aedb-7b00-b3bd-a623b19b5f82", "name": "French", "language_tag": "fr", "semantic_layer": "Scholarly French translation with passage-specific university references", "scripts": [ "Latn" ], "profiles": [ "Sets, relations and functions: three complete chapters, twenty sections and twenty-four exercises" ], "repository": "https://github.com/KokunoYumeto/OpenLogic-fr", "release": "https://github.com/KokunoYumeto/OpenLogic-fr/releases/tag/v0.3.0-ensembles-relations-fonctions", "release_tag": "v0.3.0-ensembles-relations-fonctions", "concept_doi": "10.5281/zenodo.22650157", "version_doi": "10.5281/zenodo.22651341", "license": "CC-BY-4.0; inherited component notices retained; external university references are not relicensed", "source_units_translated": 23, "standalone_reader_units": 23, "coverage_basis": "Published Sets, Relations and Functions chapters: OLP-0004–0026, twenty prose sections and three chapter drivers. The 31-page reader contains those twenty-three units. All 722 English files are preserved as sources, not counted as French translation. The remaining 699 units are outside this release; later local drafts are not counted here.", "status": [ "partial" ], "readers": [ { "profile": "Ensembles, relations et fonctions — three complete chapters", "pages": 31, "name": "openlogic-fr-ensembles-relations-fonctions.pdf", "bytes": 197911, "sha256": "b4dd8366ea46b69e7e05183bfba40c968609a799ba7e992eeee8247e814602f7", "url": "https://github.com/KokunoYumeto/OpenLogic-fr/releases/download/v0.3.0-ensembles-relations-fonctions/openlogic-fr-ensembles-relations-fonctions.pdf" } ], "source_archive": { "name": "openlogic-fr-ensembles-relations-fonctions-sources.zip", "bytes": 2691072, "sha256": "35b6f497507315ac1caf0211d55008e4c426b69fd3a53992b076a6262f34d656", "url": "https://github.com/KokunoYumeto/OpenLogic-fr/releases/download/v0.3.0-ensembles-relations-fonctions/openlogic-fr-ensembles-relations-fonctions-sources.zip" }, "evidence": { "manager_public_readback": "evidence/FRENCH_FUNCTIONS_MANAGER_VERIFICATION_20260908.json", "manager_replayed_source_manifest_units": 722, "manager_replayed_translation_units": 23, "manager_replayed_aligned_segments": 396, "translated_text_blocks_with_canon_links": 277, "documented_editorial_choices": 249, "manager_visual_pages_inspected": 31, "manager_full_semantic_rereview": false, "canon_and_choices": "https://github.com/KokunoYumeto/OpenLogic-fr/tree/v0.3.0-ensembles-relations-fonctions/review", "scope": "Exact source/alignment replay, canon-reference linkage, 31-page contact-sheet visual inspection, public-byte identity and reader-to-hub link. Saved independent Functions review covers 87 contextual choices with parent verification of 174 exact source/target spans and concrete findings against primary canon. One inherited uniqueness-reference overclaim and targeted evidence-record repairs are reported to the owner, not claimed as integrated. No whole-edition expert certification is claimed." }, "limitations": [ "Three chapters only: 23/722 source files and reader units; 699 units remain outside this release.", "The published inverse discussion cites an existence proposition for uniqueness; a later proposition proves uniqueness. A source-aware reference repair and canon-record amendments have been requested for a subsequent revision.", "AI-assisted translation and editorial review; no independent human validation of the whole edition is claimed.", "The PDF is not tagged; accessible-edition completeness is not claimed.", "University reference PDFs are consulted privately and not redistributed; their identities, passage locators and editorial decisions accompany the source package." ] }, { "id": "openlogic-ar", "owner_task_id": "01a06749-ba43-7f83-8546-af3f8cb46dec", "name": "Arabic", "language_tag": "ar", "semantic_layer": "Arabic scholarly prose", "scripts": [ "Arab" ], "profiles": [ "international mathematical digits", "Machrek Arabic-Indic mathematical digits" ], "repository": "https://github.com/KokunoYumeto/OpenLogic-ar", "release": "https://github.com/KokunoYumeto/OpenLogic-ar/releases/tag/ar-olp-0722-complete-dual-notation-r2-20260903", "release_tag": "ar-olp-0722-complete-dual-notation-r2-20260903", "concept_doi": "10.5281/zenodo.21921850", "version_doi": "10.5281/zenodo.22308668", "license": "CC-BY-4.0", "source_units_translated": 722, "standalone_reader_units": 722, "retained_units_outside_reader": 0, "status": [ "verified-standalone-722" ], "readers": [ { "profile": "international", "pages": 1153, "bytes": 10600262, "sha256": "8e2aa13d0b73464bda7d3120cf78f8422d65c777c2c60808a196bb77d0d23f7b" }, { "profile": "machrek", "pages": 1154, "bytes": 10601135, "sha256": "8ef59f94d1e9e486408e72c9a55596b62532c208ecba59c962df59aeb50f33ea" } ], "evidence": { "qa_sha256": "88073781f39253101b483c8490ebd0f5ce01d69522fbbb0c2d0542189a645099", "public_manifest_sha256": "3e1bd7b76e69992ecbf386364261c1aa279f9e8dae377612b6131389660902a3", "public_manifest_github_zenodo_byte_equal": true, "manager_public_readback": "evidence/ARABIC_DUAL_R2_PUBLIC_READBACK_20260905.json", "manager_public_readback_sha256": "d62f01ab708c0ad489429768e2df51149145d0f3970730bad1dbedd941d437da", "latest_zenodo_record": "https://zenodo.org/records/22308668" }, "limitations": [ "fixed-layout untagged PDF", "not claimed PDF/UA" ] }, { "id": "openlogic-fa-ir", "owner_task_id": "01a06cb0-a69e-7650-873a-2af9d8c4b1de", "name": "Iranian Persian", "language_tag": "fa-IR", "scripts": [ "Arab" ], "repository": "https://github.com/KokunoYumeto/OpenLogic-fa-ir", "release": "https://github.com/KokunoYumeto/OpenLogic-fa-ir/releases/tag/fa-ir-olp-0722-standalone-letter-r3-20260905", "release_tag": "fa-ir-olp-0722-standalone-letter-r3-20260905", "release_commit": "81504b81d22cfd9ccea57710459217c4e62008da", "concept_doi": "10.5281/zenodo.21921852", "version_doi": "10.5281/zenodo.22344908", "license": "CC-BY-4.0", "source_units_translated": 722, "standalone_reader_units": 722, "retained_units_outside_reader": 0, "retained_delivery": "all 722 frozen units integrated in one coherent reader", "status": [ "published-source-722-reader-722", "verified-complete-reader" ], "public_assets": { "reader_bytes": 9285597, "reader_sha256": "6b7a24d6b39474fd76ea08496c97783bcf5a4c46f10d8f500ed0414a5dd38a08", "reader_pages": 1201, "source_evidence_zip_bytes": 1997162, "source_evidence_zip_sha256": "ef32f359fe7813d0ffef11f3936fb1498f2f3cdcc176ab2acb56b969360c9e59" }, "evidence": { "manager_public_readback": "evidence/PERSIAN_STANDALONE_R3_PUBLIC_READBACK_20260905.json", "manager_public_readback_sha256": "d50032b1a456fde995680a0678e13c7cb1dd2f9e12a06bf9d9de3bbb5f743b79", "latest_zenodo_record": "https://zenodo.org/records/22344908", "anonymous_github_assets_verified": 3, "anonymous_zenodo_files_verified": 12, "visual_pages_reviewed": 1201, "link_annotations_checked": 3233 }, "limitations": [ "fixed-layout untagged PDF", "not claimed PDF/UA", "text extraction contains 55 C0 control characters on 14 pages from CMEX10/MSBM10 math fonts; clean searchable math copy/paste is not certified", "corpus-wide per-segment scholarly-canon evidence remains an independent continuing audit" ], "next_action": "Continue the independent scholarly-canon evidence audit and inter-Farsi research without rebuilding the accepted R3 reader." }, { "id": "openlogic-hi", "name": "Hindi", "language_tag": "hi-Deva-IN", "scripts": [ "Deva" ], "repository": "https://github.com/KokunoYumeto/open-logic-hi", "release": "https://github.com/KokunoYumeto/open-logic-hi/releases/tag/HI-OLP-PUB-0007", "release_tag": "HI-OLP-PUB-0007", "release_commit": "fd562ff787f4f5f305fcccc1e1731ae76ad66001", "concept_doi": "10.5281/zenodo.21920511", "version_doi": "10.5281/zenodo.22308568", "license": "CC-BY-4.0", "source_units_translated": 722, "standalone_reader_units": 722, "retained_units_outside_reader": 0, "status": [ "published-source-722-reader-722", "verified-complete-reader" ], "reader": { "pages": 975, "paper": "A4", "bytes": 7501574, "sha256": "91279e723a58acdedcdf85432d59c6cefd17d954fbd6f342a70bff31c1aa5253" }, "evidence": { "github_and_zenodo_anonymous_readback": true, "manager_audit": "evidence/HINDI_PUB0007_AND_RECIPROCAL_LINK_AUDIT_20260905.json", "manager_audit_sha256": "390e7bac9a101790da7b44339b34d025dbe6e453844ad6371efd018960d33792", "source_paths_in_accepted_build_log": 722, "source_paths_in_fls": 722, "source_paths_absent": 0, "release_assets_verified": 6 }, "limitations": [ "not human- or peer-reviewed", "not PDF/UA certified", "release acceptance records 28 visually reviewed pages, not all 975", "manager audit does not independently certify whole-corpus linguistic quality" ] }, { "id": "openlogic-id", "name": "Bahasa Indonesia", "language_tag": "id-Latn-ID", "scripts": [ "Latn" ], "repository": "https://github.com/KokunoYumeto/OpenLogic-id", "release": "https://github.com/KokunoYumeto/OpenLogic-id/releases/tag/id-olp-0722-20260814", "release_tag": "id-olp-0722-20260814", "concept_doi": "10.5281/zenodo.21932786", "version_doi": "10.5281/zenodo.22347320", "license": "CC-BY-4.0", "source_units_translated": 722, "standalone_reader_units": 722, "retained_units_outside_reader": 0, "retained_delivery": "all 722 accepted units integrated in one reader from the 642-unit main reader and 80-unit supplement", "status": [ "published-source-722-reader-722", "verified-complete-reader" ], "reader": { "pages": 1255, "bytes": 5754676, "sha256": "1b763b8b15c9f28a1212d81ee3e3a3f60ee3212fe1ffa4620c947caf43c89930", "links": 3359, "internal_link_targets_verified": 3237, "external_links_verified": 122 }, "evidence": { "manager_public_readback": "evidence/INDONESIAN_STANDALONE_722_MANAGER_READBACK_20260905.json", "manager_public_readback_sha256": "fcb5cf3453d45ee3c463dcaae7e752769d968a62a800f1176fcb761f5e8a6a39", "standalone_reader_qa_sha256": "c3b872029babb13822835edae90c08bfce52d6d799c8e6de07e3765d9fe6bc47", "latest_zenodo_record": "https://zenodo.org/records/22347320", "anonymous_github_and_zenodo_reader_match": true, "ordered_component_pages_and_text_verified": 1255, "accepted_translation_files_changed": 0 }, "limitations": [ "401 later units lack equivalent preserved independent-review receipts", "untagged PDF", "three inherited math Type 3 fonts lack ToUnicode", "manager audit does not independently certify whole-corpus linguistic quality", "reader-facing front matter still displays the technical source revision and should move it to technical provenance in a later bounded patch" ] }, { "id": "openlogic-zh-hans-cn", "owner_task_id": "019fce2f-cfb7-75b0-9d70-b447cf74ef84", "name": "Mainland Simplified Chinese", "language_tag": "zh-Hans-CN", "scripts": [ "Hans" ], "repository": "https://github.com/KokunoYumeto/open-logic-zh-hans-cn", "release": "https://github.com/KokunoYumeto/open-logic-zh-hans-cn/releases/tag/ZH-OLP-PUB-0005", "release_tag": "ZH-OLP-PUB-0005", "release_commit": "01227395fee720cf508733249945f494affcb25a", "concept_doi": "10.5281/zenodo.21987817", "version_doi": "10.5281/zenodo.22379030", "license": "CC-BY-4.0", "source_units_translated": 722, "standalone_reader_units": 722, "retained_units_outside_reader": 0, "retained_delivery": "the accepted 642-unit main reader and 80-unit supplement are assembled as one coherent 859-page reader", "status": [ "published-source-722-reader-722", "verified-complete-reader", "package-repair-pending" ], "reader": { "pages": 859, "bytes": 5975161, "sha256": "1eaff4694f18893e49afd020f6f4ff1ed5b90b29755a24b011e53b759b27af19", "annotations": 3136, "internal_and_external_links": 3136, "unresolved_links": 0 }, "readers": [ { "profile": "standalone 722-unit reader", "url": "https://github.com/KokunoYumeto/open-logic-zh-hans-cn/releases/download/ZH-OLP-PUB-0005/OpenLogic_zh-Hans-CN_Standalone722.pdf", "pages": 859, "bytes": 5975161, "sha256": "1eaff4694f18893e49afd020f6f4ff1ed5b90b29755a24b011e53b759b27af19" } ], "evidence": { "manager_public_readback": "evidence/CHINESE_PUB0005_MANAGER_AUDIT_20260905.json", "manager_public_readback_sha256": "02e3d47348655cd70c0741f48410945b5ec6cf19dfeb9a75fae7670c6515def2", "latest_zenodo_record": "https://zenodo.org/records/22379030", "anonymous_github_assets_verified": 8, "anonymous_zenodo_files_verified": 13, "common_assets_cross_mirror_exact": 8, "source_files_present": 722, "translated_target_files_present": 722, "source_hashes_matching_manifest": 722, "target_hashes_matching_packaged_manifest": 720, "content_streams_equal_to_inputs": 859, "visual_pages_reviewed": 7 }, "limitations": [ "untagged PDF", "eight legacy mathematical-font rows lack ToUnicode; formula extraction is not certified", "AI-produced Chinese translation without human Chinese review", "manager replay verifies public bytes, source identities, assembly and sampled layout, not whole-corpus Chinese linguistic quality", "two translated-target hashes in the packaged UNITS.jsonl are stale after disclosed line-break edits; the actual files match the newer release QA hashes", "source revision identifiers remain on both title pages and must move to technical provenance", "the sanitized evidence archive retains two generic absolute machine-path patterns but no local username or credential value" ], "next_action": "Existing owner is preparing a non-semantic successor that regenerates the target manifest, removes title-page revisions and replaces the two absolute placeholder paths." }, { "id": "openlogic-tr", "name": "Turkish", "language_tag": "tr", "scripts": [ "Latn" ], "repository": "https://github.com/KokunoYumeto/OpenLogic-tr", "release": "https://github.com/KokunoYumeto/OpenLogic-tr/releases/tag/tr-olp-0722-reader-complete-20260904", "release_tag": "tr-olp-0722-reader-complete-20260904", "release_commit": "5539e86df1047fad869503d62f83b95a05ac7653", "concept_doi": "10.5281/zenodo.21921844", "version_doi": "10.5281/zenodo.22306530", "license": "CC-BY-4.0", "source_units_translated": 722, "standalone_reader_units": 722, "retained_units_outside_reader": 0, "retained_delivery": "all 722 source units integrated in one reader", "status": [ "published-source-722-reader-722", "verified-complete-reader" ], "reader": { "pages": 1198, "bytes": 6200006, "sha256": "4af08c16e61aa058500cc1e96acb5d700c988718a729d4d6cbbe4aea9664df94", "bookmarks": 904, "internal_links": 3172 }, "evidence": { "source_closure_sha256": "4f0dfaa58c38b54c00180de30ae09507d0df9fbea1e0ed6729db7e2fa77aac2f", "source_import_manifest_sha256": "560d650f61ede3881ff16328fb85c02cf99ef68024c731fde970bd0ec8b117eb", "final_qa_sha256": "11abb5164a85946377b85c95707d5d8896b4320887f7b329f52df044f0552554", "visual_qa_sha256": "64e608a1968e1f865317df1b3d93d02ab189c3d92f683d1c7d62ac6891cb7dc1", "github_and_zenodo_anonymous_readback": true, "manager_audit": "evidence/TURKISH_COMPLETE_READER_MANAGER_AUDIT_20260905.json", "manager_audit_sha256": "241f8dec67ca98c72f47212dbc2758c462108931104c6503dda80d753e2b730a" }, "limitations": [ "manager audit does not independently certify whole-corpus linguistic quality", "218 overfull-box diagnostics disclosed with no observed clipping" ] }, { "id": "openlogic-es", "name": "Spanish", "current_local_configured_reader": { "complete_for_configuration": true, "source_units_rendered": 642, "alternate_units_outside_reader": 80, "integrates_all_722_units": false, "pages": 992, "size_mm": [160, 230], "bytes": 5531557, "sha256": "0739a40b2e6b38938e493fa2bb85357deaff96f551faa62b0498aa0fbc1c4d17", "revision": "2026-08-21-r6", "public_release_sync_verified": false }, "current_target_tree_complete": true, "source_critical_full_canon_admission": "not_established_by_this_inventory_audit", "authorship_evidence": "No independent human Spanish authorship established. Translation tooling and a human-attributed layout template do not prove the authorship of every current text byte.", "normalization_evidence": "evidence/ROMANCE_STATUS_NORMALIZATION_20260908.json", "language_tag": "es", "scripts": [ "Latn" ], "repository": "https://github.com/KokunoYumeto/OpenLogic-es", "latest_public_github_release": "https://github.com/KokunoYumeto/OpenLogic-es/releases/tag/v2026-08-20-r4", "latest_public_github_tag": "v2026-08-20-r4", "concept_doi": "10.5281/zenodo.21997720", "current_resolved_version_doi": "10.5281/zenodo.22015696", "license": "CC-BY-4.0", "source_units_translated": 722, "local_r5_standalone_reader_units": null, "status": [ "cross-mirror-repair", "audit-needed" ], "local_r5_reader": { "pages": 1056, "bytes": 5931444, "sha256": "66a7fb13e1b516644e14155f68772801f8070d92e18006091bb3ce0c1a2d4f2f", "qa": "Historical saved r5 receipt; not a current-local-file or whole-reader closure verification.", "remotely_published": null, "identity_scope": "Historical r5 PDF hash retained. Current local PDF/driver/ledger bytes differ." }, "evidence": { "workflow_state_sha256": "f2a940018eb87b959112b71ee8435d23c24469925728cbfddb8af15717b4afd0", "fresh_reconciliation": "evidence/ROMANCE_MIRROR_AUDIT.json" }, "limitations": [ "A complete 992-page local configured reader exists: 642/722 units rendered; 80 alternate units remain outside that PDF. It is not an integrated 722-unit reader.", "Current local r6 files do not match historical r5 build/PDF identities.", "GitHub and Zenodo are not byte-identical edition packages; see fresh anonymous inventories." ], "current_local_source_target_hash_matches": 722, "current_local_reader_recorded_paths": 642, "current_local_reader_missing_paths": 80, "public_r4_reader_coverage_replayed": false, "public_r4_reader": { "name": "00_OLP_es_CURRENT_LINKED_READER.pdf", "bytes": 5929602, "sha256": "356503b9bffe48d52ee8cc2ad13bbfedc183ce68f7acbd345f10b822e0b2ba1b", "url": "https://github.com/KokunoYumeto/OpenLogic-es/releases/download/v2026-08-20-r4/00_OLP_es_CURRENT_LINKED_READER.pdf", "anonymous_download": true }, "zenodo_current_reader": { "name": "00_OLP_es_CURRENT_LINKED_READER.pdf", "bytes": 5757978, "sha256": "4a6e046b9393029f483acf311800f1af6661d4167ed7d10f933333a8889b1e64", "md5": "5716eb7fabbd50872cd4ff5eff922feb", "url": "https://zenodo.org/api/records/22015696/files/00_OLP_es_CURRENT_LINKED_READER.pdf/content", "anonymous": true, "inventory_checksum_matches": true }, "zenodo_current_source_generation": "2026-08-19-r2", "zenodo_current_reader_generation": "2026-08-19-r2" }, { "id": "openlogic-pt-br", "name": "Brazilian Portuguese", "current_local_configured_reader": { "complete_for_configuration": true, "source_units_rendered": 642, "alternate_units_outside_reader": 80, "integrates_all_722_units": false, "pages": 972, "size_mm": [160, 230], "bytes": 5447064, "sha256": "7e72e29342b11ebb7fcc0f60132b64525f020bffe0ff03cd0f3311ee36a12fc9", "revision": "2026-08-21-r6", "public_release_sync_verified": false }, "current_target_tree_complete": true, "source_critical_full_canon_admission": "not_established_by_this_inventory_audit", "human_attributed_reference": { "repository": "https://github.com/OpenLogicProject/OpenLogic-pt", "commit": "51c227190f56bae45d19a85747fc031de430bd3c", "snapshot_sha256": "ac7c34787f63d1f37c14ea451a048f0bfe80a17d240f9702b64a017076dc6248", "attribution": "README attributes translation/adaptation to Pedro Lima and documents complete Sets, Logic, Computation and Set Theory course editions.", "whole_722_paths_present": 684, "current_targets_identical_after_optional_locale_marker_removal": 164, "scope": "Human-attributed partial comparator. Neither path presence nor a project-authored method label establishes Portuguese translation quality or human authorship of every byte." }, "normalization_evidence": "evidence/ROMANCE_STATUS_NORMALIZATION_20260908.json", "language_tag": "pt-BR", "scripts": [ "Latn" ], "repository": "https://github.com/KokunoYumeto/OpenLogic-pt-BR", "latest_public_github_release": "https://github.com/KokunoYumeto/OpenLogic-pt-BR/releases/tag/v2026-08-20-r4", "latest_public_github_tag": "v2026-08-20-r4", "concept_doi": "10.5281/zenodo.21973104", "current_resolved_version_doi": "10.5281/zenodo.22050183", "license": "CC-BY-4.0", "source_units_translated": 722, "local_r5_standalone_reader_units": null, "status": [ "cross-mirror-repair", "audit-needed" ], "local_r5_reader": { "pages": 1029, "bytes": 5954807, "sha256": "f77c16455c8f8a5526569899e8afa83f7e4151c90d8fdae8d2453f983f31196b", "qa": "Historical saved r5 receipt; not a current-local-file or whole-reader closure verification.", "zenodo_current_bytes_match": true, "zenodo_identity_verification": "Anonymous record22050183 PDF matches the historical r5 SHA-256 exactly; accompanying source/evidence archives identify r1.", "github_r5_release_present": false, "identity_scope": "Historical r5 PDF hash retained. Current local PDF/driver/ledger bytes differ." }, "evidence": { "workflow_state_sha256": "f2a940018eb87b959112b71ee8435d23c24469925728cbfddb8af15717b4afd0", "fresh_reconciliation": "evidence/ROMANCE_MIRROR_AUDIT.json" }, "limitations": [ "A complete 972-page local configured reader exists: 642/722 units rendered; 80 alternate units remain outside that PDF. It is not an integrated 722-unit reader.", "Current local r6 files do not match historical r5 build/PDF identities.", "GitHub and Zenodo are not byte-identical edition packages; see fresh anonymous inventories." ], "current_local_source_target_hash_matches": 722, "current_local_reader_recorded_paths": 642, "current_local_reader_missing_paths": 80, "public_r4_reader_coverage_replayed": false, "public_r4_reader": { "name": "00_OLP_pt-BR_CURRENT_LINKED_READER.pdf", "bytes": 5952501, "sha256": "9debb5f2c3ec36a8345649850de7445f11e5cb414aa673938046809c990685b0", "url": "https://github.com/KokunoYumeto/OpenLogic-pt-BR/releases/download/v2026-08-20-r4/00_OLP_pt-BR_CURRENT_LINKED_READER.pdf", "anonymous_download": true }, "zenodo_current_reader": { "name": "00_OLP_pt-BR_CURRENT_LINKED_READER.pdf", "bytes": 5954807, "sha256": "f77c16455c8f8a5526569899e8afa83f7e4151c90d8fdae8d2453f983f31196b", "md5": "2d82bbe405d2524c03d91357727df8be", "url": "https://zenodo.org/api/records/22050183/files/00_OLP_pt-BR_CURRENT_LINKED_READER.pdf/content", "anonymous": true, "inventory_checksum_matches": true }, "zenodo_current_source_generation": "2026.08.17-r1", "zenodo_current_reader_generation": "historical r5 PDF hash" }, { "id": "openlogic-interturkic", "name": "Canon-first Inter-Turkic", "language_tag": "art-x-interturkic", "semantic_layer": "Complete constructed Inter-Turkic research-register edition", "constructed": true, "scripts": [ "Latn", "Cyrl", "Arab" ], "repository": "https://github.com/KokunoYumeto/canon-first-turkic-interlanguage-openlogic", "release": "https://github.com/KokunoYumeto/canon-first-turkic-interlanguage-openlogic/releases/tag/v2.2.0", "release_tag": "v2.2.0", "concept_doi": "10.5281/zenodo.22104592", "version_doi": "10.5281/zenodo.22167937", "license": "CC-BY-4.0", "source_units_translated": 722, "standalone_reader_units": 722, "retained_units_outside_reader": 0, "status": [ "published-constructed-722" ], "coverage_evidence_scope": "The public v2.2.0 release and Zenodo version record identify this as a complete 722-record edition with three synchronized script readers. This manager checked the public release and record metadata but did not repeat every edition-owner semantic and build gate.", "readers": [ { "profile": "Latin script", "url": "https://github.com/KokunoYumeto/canon-first-turkic-interlanguage-openlogic/releases/download/v2.2.0/OPEN-LOGIC-CANON-FIRST-INTERTURKIC-OLP-0722-LATN.pdf", "bytes": 3330477, "sha256": "204a370adab407c93a88a0621c8a54dc4b5b38221aa261955971221cfb92a631" }, { "profile": "Cyrillic script", "url": "https://github.com/KokunoYumeto/canon-first-turkic-interlanguage-openlogic/releases/download/v2.2.0/OPEN-LOGIC-CANON-FIRST-INTERTURKIC-OLP-0722-CYRL.pdf", "bytes": 3405355, "sha256": "ea0e17c6159901f192fc5e14f62a273cd383b6be72494f23a3975751034a755f" }, { "profile": "Arabic script", "url": "https://github.com/KokunoYumeto/canon-first-turkic-interlanguage-openlogic/releases/download/v2.2.0/OPEN-LOGIC-CANON-FIRST-INTERTURKIC-OLP-0722-ARAB.pdf", "bytes": 12324346, "sha256": "1a8b8fa9174d7d8b04e58765beafa13b12ce527d6b8cc8d4be4c29b832339416" } ], "reader_assets": [ { "script": "Latn", "bytes": 3330477 }, { "script": "Cyrl", "bytes": 3405355 }, { "script": "Arab", "bytes": 12324346 } ], "limitations": [ "constructed research register, not a natural language or official pan-Turkic standard", "not every linguistic choice is canon-closed" ] }, { "id": "openlogic-isv", "name": "Interslavic", "language_tag": "isv", "constructed": true, "scripts": [ "Latn", "Cyrl" ], "public_reader": "https://kokunoyumeto.github.io/modern-latex-manuscripts/open-logic-interslavic/", "repository": "https://github.com/KokunoYumeto/modern-latex-manuscripts/tree/gh-pages/open-logic-interslavic", "method_doi": "10.5281/zenodo.22103007", "license": "not asserted at repository level", "source_units_translated": 182, "accepted_reader_units": 182, "total_units": 722, "status": [ "partial" ], "evidence": { "checkpoint": "OLP-0182", "source_token_coverage_percent": 27.7, "public_readme_sha256": "b92ad2055192534e1186ccc2f6985c52149fd75374e6749cd9300c51572b081a", "historical_checkpoint_readme_sha256": "8b1d90f508fdd8b07bbf0b28e60a859d4a123d2bf5246b6471e2fc73b67eb9b5", "readme_change": "Central catalogue backlink added; current README was anonymously hash-verified. Historical R2 manifest retains its original README identity." }, "limitations": [ "540 units pending", "public HTML is a bounded prefix", "QA PDF is not a finished public book" ] }, { "id": "openlogic-interfarsi", "owner_task_id": "01a06cb0-a69e-7650-873a-2af9d8c4b1de", "name": "Conceptual Inter-Farsi", "language_tag": "art-x-interfarsi", "constructed": true, "scripts": [ "Arab", "Cyrl", "Latn" ], "profiles": [ "Perso-Arabic native surface", "Tajik Cyrillic native surface", "Latin-script deterministic access companion" ], "repository": null, "status": [ "scaffold" ], "source_units_translated": null, "design": "One experimental controlled pluricentric core with independently realized Perso-Arabic and Tajik Cyrillic layers plus a labeled deterministic Latin access companion; Iranian Persian is a compatibility floor rather than a silent pivot; Dari and Tajik are primary beneficiary lanes; typed morpholexical authority blocks blind transliteration and unattested vowel invention.", "limitations": [ "active source/sidecar recovery", "Latin is an access-script projection, not a third language translation", "no complete public edition claim" ] }, { "id": "openlogic-romance-interlanguage", "name": "Romance interlanguage", "language_tag": "art-x-romance", "constructed": true, "scripts": [ "Latn" ], "repository": null, "status": [ "scaffold" ], "provisional_files": 722, "canon_admitted_units": 53, "canon_pending_units": 669, "material_decisions_complete": 332, "canon_admission_snapshot": { "event_id": "RSC-EVT-000388", "event_sha256": "e7831badcdac51a89192fb29e94f8988e19499bb33b0071c68971fcfc413ddcb", "cursor_sha256": "ff99d70d25e45dd4b7045e20622878092c8f8c2e7846b7a60f40115a1614b7d0", "earliest_pending": "OLP-0009", "manager_scope": "Exact admission-record, target-inventory and ledger reconciliation; not a new replay of all canon readings or a public complete-edition claim." }, "normalization_evidence": "evidence/ROMANCE_STATUS_NORMALIZATION_20260908.json", "evidence": { "workflow_state_sha256": "f2a940018eb87b959112b71ee8435d23c24469925728cbfddb8af15717b4afd0", "claim_boundary_sha256": "6619244b302444bfcf60e2638deb8dc9f7ce8b7fe263049ae74a089d68c6ee21" }, "limitations": [ "53/722 source-critical units are admitted at the recorded snapshot; 669 remain pending, including OLP-0009. The 722 baseline draft files are a different count.", "not a complete translation" ] }, { "id": "openlogic-pnb-arab-pk", "owner_task_id": "01a06ccc-f516-7d22-b2b4-f3d42c10b7fb", "name": "Punjabi (Pakistan, Shahmukhi)", "language_tag": "pnb-Arab-PK", "semantic_layer": "native Punjabi Shahmukhi prose with provisional specialist terminology", "scripts": [ "Arab" ], "profiles": [ "Complete Sets chapter in Naskh", "Complete Sets chapter in Nastaliq", "70-unit source checkpoint through OLP-0070; no integrated reader beyond Sets" ], "repository": "https://github.com/KokunoYumeto/OpenLogic-pnb-Arab-PK", "release": "https://github.com/KokunoYumeto/OpenLogic-pnb-Arab-PK/releases/tag/v0.1.0", "release_tag": "v0.1.0", "concept_doi": "10.5281/zenodo.22308436", "version_doi": "10.5281/zenodo.22308437", "license": "CC-BY-4.0; inherited component and OFL font exceptions retained", "source_units_translated": 70, "release_source_units_translated": 21, "public_source_checkpoint_units": 70, "public_source_checkpoint_commit": "4f6b511df6769982961a320ea8afb1e91aa5b91a", "standalone_reader_units": 7, "coverage_basis": "The tagged v0.1.0 release contains 21 source-aligned units and accepted Naskh/Nastaliq readers for the seven-unit Sets chapter. Exact public checkpoint 4f6b511df6769982961a320ea8afb1e91aa5b91a contains 70 verified source-aligned units through OLP-0070, 1,167 aligned segments, and canon evidence for every translated segment; it does not add a reader release.", "status": [ "partial-70/722-source-checkpoint", "reader-release-7/722" ], "readers": [ { "profile": "Naskh Sets reader", "pages": 12, "name": "OpenLogic-Sets-pnb-Arab-PK-naskh-v0.1.0.pdf", "bytes": 127664, "sha256": "b2fcb323e4b49630320e2fb7a40ee52c8f6646e6e772566e62338aac427708dc", "url": "https://github.com/KokunoYumeto/OpenLogic-pnb-Arab-PK/releases/download/v0.1.0/OpenLogic-Sets-pnb-Arab-PK-naskh-v0.1.0.pdf" }, { "profile": "Nastaliq Sets reader", "pages": 16, "name": "OpenLogic-Sets-pnb-Arab-PK-nastaliq-v0.1.0.pdf", "bytes": 183163, "sha256": "c124153ed3f721b5ac22078a933e7304e8aadd4d4f832614122be9f42cc8ae50", "url": "https://github.com/KokunoYumeto/OpenLogic-pnb-Arab-PK/releases/download/v0.1.0/OpenLogic-Sets-pnb-Arab-PK-nastaliq-v0.1.0.pdf" } ], "evidence": { "public_readback": "evidence/PUNJABI_PUBLIC_READBACK_20260904.json", "provenance_repair_readback": "evidence/PUNJABI_PROVENANCE_REPAIR_VERIFICATION_20260904.json", "source_checkpoint_audit": "evidence/PUNJABI_SOURCE70_MANAGER_AUDIT_20260905.json", "upstream_eol_repair_manager_verification": "evidence/PUNJABI_UPSTREAM_EOL_REPAIR_MANAGER_VERIFICATION_20260905.json", "manager_anonymous_github_assets_verified": 7, "manager_anonymous_zenodo_assets_verified": 7, "github_source_checkpoint_commit": "4f6b511df6769982961a320ea8afb1e91aa5b91a", "manager_anonymous_source_checkpoint_files_verified": 977, "frozen_upstream_files_rehashed": 722, "frozen_upstream_files_matching": 722, "translation_units_replayed": 70, "aligned_segment_records": 1167, "translated_segment_records": 779, "translated_segments_without_canon": 0, "term_decisions": 149, "translation_decision_occurrences": 2666, "source_corrections_applied_and_audited": 36, "shared_corrections_verified": [ "OLFUN-002", "OLFUN-003" ], "manager_visual_pages_sampled": 6, "manager_full_semantic_rereview": false, "raw_representation_note": "Resolved at the exact source checkpoint: upstream/** and byte-addressed ledgers are protected from Git text normalization. Anonymous codeload replay matches all 722 frozen source manifest rows byte-for-byte." }, "limitations": [ "Full 722-unit edition unfinished; 652 source units remain.", "Only the seven-unit Sets chapter has accepted readers; other translated units remain editable-source progress.", "Specialist mathematical terminology is provisional because the acquired canon chiefly supports native prose/register.", "Manager visual review remains limited to the 28-page release; the later source checkpoint has deterministic provenance and semantic-ledger QA but no wider reader visual acceptance.", "Same-agent semantic review is not independent native-scholar certification." ], "previous_public_release": null }, { "id": "openlogic-jv-latn-id", "owner_task_id": "01a06cce-4ce6-7942-911a-6dc573cb59ad", "name": "Javanese (Latin)", "language_tag": "jv-Latn-ID", "semantic_layer": "Javanese scholarly prose; provisional specialist terminology explicitly marked", "scripts": [ "Latn" ], "profiles": [ "Sets, Relations, and Functions reader", "118-unit exact public source checkpoint through first-order axiomatic-deduction proof-theoretic notions" ], "repository": "https://github.com/KokunoYumeto/OpenLogic-jv-Latn-ID", "release": "https://github.com/KokunoYumeto/OpenLogic-jv-Latn-ID/releases/tag/v0.1.2", "release_tag": "v0.1.2", "concept_doi": null, "version_doi": null, "license": "CC-BY-4.0; inherited component and font exceptions retained", "source_units_translated": 118, "translated_source_units_supporting_reader": 26, "standalone_reader_units": 24, "coverage_basis": "Exact public checkpoint bf8172c7585986612b181aa5d5a6d72fea90f108 contains a manager-replayed 118/722 source snapshot with 1,921 aligned segments and canon evidence for all 1,210 linguistic segments. A fresh independent invocation of the repository generator reproduced all 118 QA unit rows and the 1,921-row canon-use ledger byte-for-byte. The unchanged v0.1.2 36-page reader loads 24 source units and is supported by 26 translated units; these scopes are explicitly distinct.", "status": [ "partial-118/722-source-checkpoint", "reader-release-24/722" ], "readers": [ { "profile": "Sets, Relations, and Functions", "pages": 36, "name": "OpenLogic-jv-Latn-ID-sets-relations-functions-v0.1.2.pdf", "bytes": 390958, "sha256": "ec410dadb74fd9cc64ea077b9d854592acb221ecb63c6cbb0364b067fdfefb4d", "url": "https://github.com/KokunoYumeto/OpenLogic-jv-Latn-ID/releases/download/v0.1.2/OpenLogic-jv-Latn-ID-sets-relations-functions-v0.1.2.pdf" } ], "evidence": { "manager_verification": "evidence/JAVANESE_V012_MANAGER_VERIFICATION_20260905.json", "current_source_checkpoint_audit": "evidence/JAVANESE_SOURCE118_MANAGER_AUDIT_20260905.json", "github_source_checkpoint_commit": "bf8172c7585986612b181aa5d5a6d72fea90f108", "manager_anonymous_codeload_bytes": 2839625, "manager_anonymous_codeload_sha256": "674edc1429c7fba24118b1f242f9b3e0dec0e77518e3a9de90c657955f8ceaf0", "manager_hash_bound_source_and_target_files": 840, "manager_anonymous_release_assets_verified": 4, "manager_replayed_frozen_sources": 722, "manager_replayed_translated_units": 118, "manager_replayed_segment_records": 1921, "manager_replayed_translated_segments_with_canon": 1210, "manager_replayed_canon_passages": 21, "manager_replayed_term_decisions": 115, "manager_replayed_semantic_unit_reviews": 118, "manager_replayed_applied_source_corrections": 36, "manager_replayed_translation_decisions": 177, "manager_replayed_decision_occurrences": 430, "manager_generator_replay_passed": true, "manager_privacy_findings": 0, "manager_visual_pages_sampled": 5, "tagged_readme_hub_backlink_verified": true, "manager_full_semantic_rereview": false }, "limitations": [ "Full 722-unit edition unfinished.", "The reader contains 24 source units and is supported by 26 translations although the exact source checkpoint contains 118 translated source files; no wider reader claim is made.", "Same-author semantic review, not independent native-scholar certification.", "Specialist terminology remains provisional where the available Javanese canon supports register or lexical form rather than exact mathematical-logic senses.", "No Zenodo DOI is claimed for this release." ], "previous_public_release": "https://github.com/KokunoYumeto/OpenLogic-jv-Latn-ID/releases/tag/v0.1.1" }, { "id": "openlogic-gu-gujr-in", "owner_task_id": "01a06cce-71c8-7d33-87ca-cb727cb5482c", "name": "Gujarati", "language_tag": "gu-Gujr-IN", "semantic_layer": "native scholarly translation; provisional terminology explicitly marked", "scripts": [ "Gujr" ], "profiles": [ "Complete Sets and Relations chapters", "Public-main source checkpoint through Size of Sets" ], "repository": "https://github.com/KokunoYumeto/OpenLogic-gu-Gujr-IN", "release": "https://github.com/KokunoYumeto/OpenLogic-gu-Gujr-IN/releases/tag/sets-relations-v0.2.0", "release_tag": "sets-relations-v0.2.0", "concept_doi": "10.5281/zenodo.22308101", "version_doi": "10.5281/zenodo.22308102", "license": "CC-BY-4.0; inherited component and font exceptions retained", "source_units_translated": 37, "standalone_reader_units": 16, "coverage_basis": "The tagged sets-relations-v0.2.0 release contains 16 source/reader units. Public main commit f88d1985d945ed5c30e76ceb3c7214c8d14509da contains 37 verified source-aligned units; its cumulative reader remains pending and it does not change the tagged release scope.", "status": [ "partial-37/722-source-checkpoint", "reader-release-16/722" ], "readers": [ { "profile": "Complete Sets and Relations chapters", "pages": 19, "name": "OpenLogic-gu-Gujr-IN-Sets-Relations.pdf", "bytes": 266608, "sha256": "c4235f6bdc210ca4e0763a4c6d4c067cad755076984dc2b040b333b7c39b4698", "url": "https://github.com/KokunoYumeto/OpenLogic-gu-Gujr-IN/releases/download/sets-relations-v0.2.0/OpenLogic-gu-Gujr-IN-Sets-Relations.pdf" } ], "evidence": { "public_readback": "evidence/CUMULATIVE_PUBLIC_READBACK_20260904.json", "source_checkpoint_readback": "evidence/GUJARATI_SOURCE37_PUBLIC_READBACK_20260904.json", "zenodo_public_readback": "evidence/GUJARATI_ZENODO_READBACK_20260904.json", "manager_anonymous_release_assets_verified": 3, "manager_anonymous_source_checkpoint_files_verified": 73, "manager_replayed_byte_basis_records": 8, "github_main_commit": "f88d1985d945ed5c30e76ceb3c7214c8d14509da", "manager_anonymous_zenodo_assets_verified": 3, "tagged_readme_hub_backlink_verified": true, "coverage_from_tagged_edition_records": true, "manager_full_semantic_rereview": false, "canon_use_and_qa": "See the edition's published provenance/evidence directory; same-agent review, not independent native-scholar certification." }, "limitations": [ "Full 722-unit edition unfinished.", "Current source checkpoint has no newer PDF/HTML reader; released-reader coverage remains 16 units.", "Byte verification is not independent semantic or linguistic certification.", "Scholarly canon originals are private research copies where redistribution rights are unestablished." ], "previous_public_release": "https://github.com/KokunoYumeto/OpenLogic-gu-Gujr-IN/releases/tag/sets-v0.1.0" }, { "id": "openlogic-mr-deva-in", "owner_task_id": "01a06ccd-37ac-77c0-9f86-c33e28ce6b04", "name": "Marathi", "language_tag": "mr-Deva-IN", "semantic_layer": "native scholarly translation; provisional terminology explicitly marked", "scripts": [ "Deva" ], "profiles": [ "Seven-chapter cumulative reader through OLP-0062" ], "repository": "https://github.com/KokunoYumeto/OpenLogic-mr-Deva-IN", "release": "https://github.com/KokunoYumeto/OpenLogic-mr-Deva-IN/releases/tag/seven-chapters-v0.5", "release_tag": "seven-chapters-v0.5", "concept_doi": "10.5281/zenodo.22307960", "version_doi": "10.5281/zenodo.22449519", "license": "CC-BY-4.0; inherited component and font exceptions retained", "source_units_translated": 59, "standalone_reader_units": 59, "coverage_basis": "The tagged seven-chapters-v0.5 release contains 59 source-aligned units OLP-0004--OLP-0062, 716 aligned segments and a coherent 83-page seven-chapter reader. Independent manager replay verified the 722-source manifest, all 59 targets, all segment/canon links, all 4,474 exact review occurrences, HTML/MathML, diagrams, build receipts and cross-mirror bytes. It is a partial edition and has one bounded reader-front-matter presentation defect pending correction.", "status": [ "partial-59/722-source-and-reader", "audit-needed-reader-front-matter-patch" ], "readers": [ { "profile": "Seven-chapter cumulative reader through OLP-0062", "pages": 83, "name": "openlogic-mr-seven-chapters.pdf", "bytes": 433898, "sha256": "f6ae9a94357502d022b16f71c2638b497dc61f67750575c731b7d8690bf6a2df", "url": "https://github.com/KokunoYumeto/OpenLogic-mr-Deva-IN/releases/download/seven-chapters-v0.5/openlogic-mr-seven-chapters.pdf" } ], "evidence": { "manager_audit": "evidence/MARATHI_SEVEN_CHAPTERS_V05_MANAGER_AUDIT_20260906.json", "manager_anonymous_release_assets_verified": 7, "manager_cross_mirror_asset_pairs_verified": 7, "manager_replayed_source_manifest_units": 722, "manager_replayed_translation_units": 59, "manager_replayed_aligned_segments": 716, "manager_replayed_review_occurrences": 4474, "github_release_commit": "7665d1fd5e0cea08f32ecd2375697bc88e8736b3", "tagged_readme_hub_backlink_verified": true, "coverage_from_tagged_edition_records": true, "manager_full_semantic_rereview": false, "canon_use_and_qa": "All 716 release-scoped segment hashes and canon references replay; same-agent semantic review, not independent native-scholar certification.", "presentation_gate": "Raw upstream revision remains visible in PDF/TeX/HTML front matter; bounded successor accepted by the existing owner." }, "limitations": [ "Complete 722-unit edition unfinished.", "The current v0.5 PDF, TeX and HTML front matter visibly expose the raw upstream revision; a bounded same-lineage successor is in progress.", "Twenty-one official-web canon source records preserve URLs, terms and consultation records but not exact origin response bytes; future checkpoints should freeze those bytes prospectively.", "Same-agent semantic review, not independent native-scholar certification." ], "previous_public_release": "https://github.com/KokunoYumeto/OpenLogic-mr-Deva-IN/releases/tag/six-chapters-v0.4" }, { "id": "openlogic-bn-beng-in", "owner_task_id": "01a06ccd-16bd-7573-8c04-f1093c74a168", "name": "Bengali (India)", "language_tag": "bn-Beng-IN", "semantic_layer": "native scholarly translation; provisional terminology explicitly marked", "scripts": [ "Beng" ], "profiles": [ "Tagged Sets-and-Relations release:18 source files and15 nonduplicated prose sections", "Exact public editable-source checkpoint: 147 files through the First-order Logic introduction; no newer reader" ], "repository": "https://github.com/KokunoYumeto/OpenLogic-bn-Beng-IN", "release": "https://github.com/KokunoYumeto/OpenLogic-bn-Beng-IN/releases/tag/v0.2.0-sets-relations", "release_tag": "v0.2.0-sets-relations", "concept_doi": null, "version_doi": null, "license": "CC-BY-4.0; inherited component and font exceptions retained", "source_units_translated": 147, "release_source_units_translated": 18, "public_source_checkpoint_units": 147, "public_source_checkpoint_commit": "2a4f7523207381d17699541f71a8f7c5f2e34ce3", "standalone_reader_units": null, "coverage_basis": "The tagged v0.2.0 release contains 18 translated source files, including one alternative driver supplied as configuration, and no scalar count of 18 distinct reader inclusions is inferred. Exact public commit 2a4f7523207381d17699541f71a8f7c5f2e34ce3 contains 147 verified source-aligned files through the complete First-order Logic introduction, with 1,789 aligned segments and canon evidence for every translated segment; it does not add a PDF or HTML release.", "status": [ "partial-147/722-source-checkpoint", "reader-release-scalar-unasserted" ], "readers": [ { "profile": "Sets and Relations:18 translated source files, including one alternative driver supplied as configuration; no count of18 distinct reader inclusions inferred", "pages": 21, "name": "openlogic-bn-Beng-IN-sets-relations.pdf", "bytes": 199216, "sha256": "1cd8db9100bbd4d00c662e0d137393239a05cf368eb43646f219f7af33cdb3e6", "url": "https://github.com/KokunoYumeto/OpenLogic-bn-Beng-IN/releases/download/v0.2.0-sets-relations/openlogic-bn-Beng-IN-sets-relations.pdf" } ], "evidence": { "public_readback": "evidence/CUMULATIVE_PUBLIC_READBACK_20260904.json", "source_checkpoint_readback": "evidence/BENGALI_SOURCE147_MANAGER_AUDIT_20260905.json", "manager_anonymous_release_assets_verified": 4, "manager_anonymous_source_checkpoint_files_verified": 966, "manager_replayed_source_checkpoint_units": 147, "manager_replayed_aligned_segments": 1789, "manager_replayed_translated_segments": 1494, "manager_rehashed_canon_passages_actually_used": 28, "manager_rehashed_canon_originals": 5, "manager_rehashed_canon_passage_images": 29, "manager_replayed_translation_decisions": 100, "manager_replayed_decision_occurrences": 7271, "manager_privacy_scan": "PASS: 932 UTF-8 text files; zero local-username, user-home-path or credential-value findings", "tagged_readme_hub_backlink_verified": true, "coverage_from_tagged_edition_records": true, "manager_full_semantic_rereview": false, "canon_use_and_qa": "See the edition's published provenance/evidence directory; same-agent review, not independent native-scholar certification." }, "limitations": [ "Full 722-unit edition unfinished.", "The 147-file exact public source checkpoint has no newer built reader or release asset.", "Byte verification is not independent semantic or linguistic certification.", "Scholarly canon originals are private research copies where redistribution rights are unestablished.", "Standalone scalar unit count left unasserted: one of18 source files is alternate configuration, not duplicated chapter content.", "Offline HTML structural checks pass; browser visual inspection is explicitly pending in the published evidence." ], "previous_public_release": "https://github.com/KokunoYumeto/OpenLogic-bn-Beng-IN/releases/tag/v0.1.0-sets", "reader_nonduplicated_prose_sections": 15, "reader_chapter_drivers": 2, "alternate_configuration_drivers": 1 }, { "id": "openlogic-ps-arab-pk", "owner_task_id": "01a06cce-91ec-7961-8a8a-795833b61d90", "name": "Pashto (Pakistan)", "language_tag": "ps-Arab-PK", "semantic_layer": "native scholarly translation; provisional terminology explicitly marked", "scripts": [ "Arab" ], "profiles": [ "Proof systems reader: propositional syntax and semantics, the proof-systems overview, and the complete first-order sequent-calculus, natural-deduction, tableaux and axiomatic-deduction chapters; 61 additional translated units source-only" ], "repository": "https://github.com/KokunoYumeto/openlogic-ps-Arab-PK", "release": "https://github.com/KokunoYumeto/openlogic-ps-Arab-PK/releases/tag/v0.4.1-proof-systems-reference-repair", "release_tag": "v0.4.1-proof-systems-reference-repair", "concept_doi": "10.5281/zenodo.22307197", "version_doi": "10.5281/zenodo.22442605", "license": "CC-BY-4.0; inherited component and font exceptions retained", "source_units_translated": 131, "standalone_reader_units": 70, "coverage_basis": "The v0.4.1 tag and Zenodo version preserve 131 translated source units. Its 108-page standalone proof-systems reader contains exactly OLP-0056--OLP-0125 (70 units); the other 61 translated units are editable source only. The release repairs references and adds no translation-unit credit. This is partial corpus coverage, not a complete book.", "status": [ "partial-131/722-source-checkpoint", "reader-release-70/722", "manager-verified-v0.4.1-reference-repair", "linguistic-audit-continuing" ], "readers": [ { "profile": "Proof systems: propositional syntax and semantics plus complete first-order sequent calculus, natural deduction, tableaux and axiomatic deduction", "pages": 108, "name": "openlogic-ps-Arab-PK-proof-systems-v0.4.1.pdf", "bytes": 506791, "sha256": "8053c372ed68496adc4ec2317decbb9e5ab2c8858573d218d6d9fe03ba98fde5", "url": "https://github.com/KokunoYumeto/openlogic-ps-Arab-PK/releases/download/v0.4.1-proof-systems-reference-repair/openlogic-ps-Arab-PK-proof-systems-v0.4.1.pdf" } ], "evidence": { "manager_public_package_and_visual_audit": "evidence/PASHTO_V041_PUBLIC_PACKAGE_AND_VISUAL_AUDIT.json", "manager_public_package_and_visual_audit_sha256": "e8a2d577e2326e119f067e2411cad05d2696968e3b155e286aae85f4a025f00e", "previous_v040_manager_audit": "evidence/PASHTO_V040_PUBLIC_PACKAGE_AND_VISUAL_AUDIT.json", "previous_v040_manager_audit_sha256": "34c6478a5bf404ae9063ddec1b7a920a2368bb7ab8fdaffae768aa89a1d9c465", "manager_anonymous_release_assets_verified": 3, "manager_anonymous_zenodo_current_assets_verified": 3, "tagged_readme_hub_backlink_verified": true, "source_manifest_units_verified": 722, "translated_target_units_verified": 131, "aligned_segments_verified": 2139, "translated_segments_with_exact_canon_use": 1382, "reader_pages_inspected_in_previous_full_visual_pass": 108, "v041_changed_and_reflow_pages_inspected": 12, "reader_raw_cross_reference_fallbacks": 0, "frozen_source_uri_annotations": 37, "unique_frozen_source_targets": 8, "manager_full_semantic_rereview": false, "canon_use_and_qa": "The previous public source archive audit verifies identities, alignment, canon-use records and the decision package. The v0.4.1 audit independently verifies both public surfaces, the 37-to-zero raw-reference repair, 37 live source links and changed-page rendering. This does not independently certify Pashto linguistic quality." }, "limitations": [ "Full 722-unit edition unfinished.", "The generic evidence/PUBLICATION_VERIFIED.json inside the v0.4.1 source archive remains a historical v0.4.0 public pointer; normalize it or add an explicit versioned v0.4.1 readback in the next substantive source package, without making a metadata-only release.", "Byte verification is not independent semantic or linguistic certification.", "Scholarly canon originals are private research copies where redistribution rights are unestablished." ], "previous_public_release": "https://github.com/KokunoYumeto/openlogic-ps-Arab-PK/releases/tag/v0.4.0-proof-systems" }, { "id": "openlogic-ta-taml-in", "owner_task_id": "01a06cce-2a3c-7d63-a91d-446cd33e90dd", "name": "Tamil (India)", "language_tag": "ta-Taml-IN", "semantic_layer": "Tamil scholarly translation; provisional technical terms explicit", "scripts": [ "Taml" ], "license": "CC-BY-4.0; inherited component and font exceptions retained", "limitations": [ "Full 722-unit edition unfinished.", "The accepted v0.2.1 reader contains 51 units; the exact public source checkpoint contains 65 source-aligned units, so the later 14 units are not reader coverage.", "The immutable v0.2.1 source archive retains superseded internal metadata; corrected exact public/private byte identities are published on main and independently verified.", "Extraction limitations disclosed by edition; same-agent semantic/visual QA is not independent native certification." ], "previous_public_release": null, "repository": "https://github.com/KokunoYumeto/OpenLogic-ta-Taml-IN", "release": "https://github.com/KokunoYumeto/OpenLogic-ta-Taml-IN/releases/tag/v0.2.1-sets-functions-relations", "release_tag": "v0.2.1-sets-functions-relations", "source_units_translated": 65, "standalone_reader_units": 51, "coverage_basis": "The tagged v0.2.1 99-page reader contains 51/722 source units through Infinite Sets. Exact public source checkpoint ef7a360177e04239a4ed5763a8fcd73ff948ca7b advances editable source to 65/722 (OLP-0004--OLP-0068) with 523 aligned, canon-bound segments; the later 14 units are outside the released reader.", "status": [ "partial-source-65/722", "partial-reader-51/722" ], "profiles": [ "Sets–Relations–Functions reader through Infinite Sets; later Propositional Logic syntax/semantics units source-only" ], "readers": [ { "profile": "Sets–Relations–Functions through Infinite Sets", "pages": 99, "name": "sets-functions-relations-ta-Taml-IN.pdf", "bytes": 810122, "sha256": "e845fd5f83a95dbb060477a82caac74e2b8c51a1a407bf862ddee15defbdba83", "url": "https://github.com/KokunoYumeto/OpenLogic-ta-Taml-IN/releases/download/v0.2.1-sets-functions-relations/sets-functions-relations-ta-Taml-IN.pdf" } ], "evidence": { "public_readback": "evidence/CUMULATIVE_PUBLIC_READBACK_20260904.json", "public_source_checkpoint_readback": "evidence/TAMIL_SOURCE51_PUBLIC_READBACK_20260904.json", "current_manager_verification": "evidence/TAMIL_METADATA_RECOVERY_MANAGER_VERIFICATION_20260905.json", "current_source_checkpoint_audit": "evidence/SOURCE_CHECKPOINTS_JV80_TA65_PNB52_20260905.json", "public_source_checkpoint_commit": "ef7a360177e04239a4ed5763a8fcd73ff948ca7b", "public_receipt_commit": "f993e917448e0bd7da1c8bfbaa460e97b489eb2d", "manager_anonymous_repository_files_verified": 948, "frozen_source_files_rehashed": 722, "translation_files_rehashed": 65, "aligned_segment_records": 523, "segments_without_canon": 0, "term_decisions": 96, "semantic_samples": 93, "semantic_unit_bindings": 65, "raw_formula_identifier_and_command_parity_exceptions_are_audited_source_corrections": true, "valid_shared_size_findings": 10, "false_olsiz_011_retracted": true, "manager_anonymous_release_assets_verified": 2, "tagged_readme_hub_backlink_verified": true, "manager_full_semantic_rereview": false, "coverage_from_tagged_edition_records": true, "public_byte_correction_sha256": "1beed67a7b72cfbef2198de86c206f0d6906471e683626e9605310e9d499f3cb" } }, { "id": "openlogic-te-telu-in", "owner_task_id": "01a06ccd-9f2e-7632-884d-4adb1ff55268", "name": "Telugu", "language_tag": "te-Telu-IN", "semantic_layer": "Telugu scholarly translation; regional witnesses and provisional terms explicit", "scripts": [ "Telu" ], "license": "CC-BY-4.0; inherited component/font exceptions retained", "limitations": [ "Complete722-unit edition unfinished.", "Relations and Functions drafts are not included in the accepted Sets reader.", "Same-agent semantic review, not independent native-scholar certification; the semantic HTML is complete only for the seven-unit Sets reader." ], "previous_public_release": "https://github.com/KokunoYumeto/OpenLogic-te-Telu-IN/releases/tag/v0.1.0-sets", "repository": "https://github.com/KokunoYumeto/OpenLogic-te-Telu-IN", "release": "https://github.com/KokunoYumeto/OpenLogic-te-Telu-IN/releases/tag/v0.2.0-sets-html", "release_tag": "v0.2.0-sets-html", "public_reader": "https://kokunoyumeto.github.io/OpenLogic-te-Telu-IN/sets/", "source_units_translated": 23, "standalone_reader_units": 7, "coverage_basis": "Published source checkpoint contains23 aligned translations, OLP-0004..OLP-0026; semantic HTML and inherited PDF contain the seven Sets units OLP-0004..OLP-0010.", "status": [ "partial-23/722" ], "profiles": [ "Sets semantic HTML/PDF reader; Relations and Functions source checkpoint" ], "concept_doi": "10.5281/zenodo.22307937", "version_doi": "10.5281/zenodo.22309234", "readers": [ { "profile": "Sets PDF reader (inherited immutable v0.1 asset)", "pages": 12, "name": "openlogic-te-Telu-IN-sets-v0.1.0.pdf", "bytes": 160275, "sha256": "4272102d0e7ef34f819d582304a19442ece75ed9b34a07fd677461f37cbaf719", "url": "https://github.com/KokunoYumeto/OpenLogic-te-Telu-IN/releases/download/v0.2.0-sets-html/openlogic-te-Telu-IN-sets-v0.1.0.pdf" } ], "evidence": { "public_readback": "evidence/TELUGU_V020_PUBLIC_READBACK_20260904.json", "manager_anonymous_release_assets_verified": 6, "manager_anonymous_pages_files_verified": 9, "manager_segment_records_replayed": 396, "manager_canon_passages_actually_cited_and_resolved": 14, "tagged_readme_hub_backlink_verified": true, "manager_full_semantic_rereview": false, "zenodo_record": "https://zenodo.org/records/22309234" } } ], "infrastructure": [ { "id": "openlogic-accessible-book", "name": "Accessible English — Read, Listen & EPUB", "language_tag": "en", "scripts": ["Latn"], "semantic_layer": "Accessible English main-book edition with native mathematics, words-only listening and equation exploration.", "profiles": ["Read with native MathML", "Listen in words; no prerecorded audiobook", "Explore equations and inspect sources", "Reflowable EPUB 3.3"], "currentness_checked": {"date":"2026-09-10","html_commit":"08c9d64d596952fa1f0daec587b63744d5641371","merged_html_tree_sha256":"af194506953568aa850771788e30da01817243249f6a9ffc01a39bae939e129d","github_release_tag":"accessible-en-20260910","speech_repair_successor_published":true,"github_assets_anonymously_verified":9,"zenodo_successor_published":false,"zenodo_status":"The previous edition is preserved; current requests return HTTP403/504. The synchronized successor has not been published to Zenodo."}, "kind": "accessibility-infrastructure", "owner_task_id": "019ffc65-3d4d-7e21-a913-21cc33a9be4a", "repository": "https://github.com/KokunoYumeto/OpenLogic-translations/tree/main/accessible/en", "online_reader": "https://kokunoyumeto.github.io/OpenLogic-translations/accessible/en/", "release": "https://github.com/KokunoYumeto/OpenLogic-translations/releases/tag/accessible-en-20260910", "version_doi": null, "previous_version_doi": "10.5281/zenodo.22647454", "concept_doi": "10.5281/zenodo.22060218", "accepted_tranches": 80, "planned_tranches": 80, "accepted_percent": 100, "coverage_basis": "Complete canonical book projection: 78 mathematical chapters, introductory and reference material, and source-owned part wrappers. Accessibility tranches are not the catalogue's 722 tracked-source-file unit count.", "readers": [ {"profile": "Read / Listen words only / Explore equations / Source", "url": "https://kokunoyumeto.github.io/OpenLogic-translations/accessible/en/", "format": "HTML"}, {"profile": "Reflowable EPUB 3.3", "format": "EPUB", "url": "https://github.com/KokunoYumeto/OpenLogic-translations/releases/download/accessible-en-20260910/OpenLogic-Accessible-Complete-English-20260910.epub", "bytes": 9164011, "sha256": "198aa59892152052a343e75c91d6d132cd3caca68c8bd31645312c893c79b22a"}, {"profile": "Offline HTML ZIP", "url": "https://github.com/KokunoYumeto/OpenLogic-translations/releases/download/accessible-en-20260910/OpenLogic-Accessible-Complete-English-HTML-20260910.zip", "bytes": 61763368, "sha256": "93c3aec9db8158b36f8a47e187d0aff8e24534e2b238e7591430f3f39080fadd"} ], "status": [ "complete-canonical-projection-80/80", "published-html-and-epub" ], "evidence": { "final_local_checkpoint": "evidence/ACCESSIBLE_ENGLISH_FINAL_LOCAL_CHECKPOINT_20260907.json", "final_local_checkpoint_sha256": "5af62451cb18dbf90b68ad53da7ca58e643480375bcb03e7936296dc9d49fbc1", "public_readback": "evidence/ACCESSIBLE_ENGLISH_SYNCHRONIZED_DELIVERY_20260910.json", "historical_zenodo_public_readback": "evidence/ACCESSIBLE_ENGLISH_ZENODO_PUBLIC_READBACK_20260907.json", "plain_language_english_scope": "evidence/PLAIN_LANGUAGE_ENGLISH_SCOPE_20260905.json" }, "plain_language_english": { "working_name": "non-academic-register English", "classification": "distinct aligned register translation; not a replacement language edition, remedial adaptation or delivery-format duplicate", "status": "research-and-representative-pilot-assigned; zero translated units claimed", "source_alignment_required": true, "complete_content_preservation_required": true, "access_rationale": "Familiarity with university-register language is unevenly inherited through family and schooling; lack of that inherited linguistic capital does not imply lower intellectual capacity.", "translation_goal": "Convey the complete source information in an evidenced non-academic adult register at unchanged mathematical and logical rigor.", "execution_commitment": "Proceed on the sufficiently plausible access thesis. Research improves design, detects exclusion and evaluates effects; it is not a go/no-go gate for producing the edition.", "required_research_lenses": [ "linguistic capital and social reproduction", "critical English for Academic Purposes and English-medium instruction", "World Englishes and English as a lingua franca", "raciolinguistics", "linguistic imperialism", "decolonial and multilingual education", "intralingual translation", "adult plain-language and controlled-language research" ], "reader_model": "Presume full intellectual capability; remove register barriers without lowering mathematical level or using a deficit model.", "prerequisite_policy": "Keep prerequisites in the broader mathematics programme and link them when needed; do not insert analogies, remedial lessons or prerequisite exposition into the aligned OpenLogic translation.", "prohibited_substitutions": [ "abridgment", "prerequisite insertion inside the translated text", "semantic simplification", "unlabelled explanatory additions", "child-directed, infantilizing or condescending analogy companions", "remedial-course rewriting", "one universal Plain English target" ], "target_registers_to_research": [ "ordinary adult English by evidenced region", "English as a lingua franca", "locally established accessible-English conventions" ], "semantic_invariants": [ "definitions", "quantifier and logical scope", "notation and formulae", "argument structure, proof validity and proof obligations", "identifiers, citations and cross-references" ], "delivery_targets": [ "screen-reader-native HTML and MathML", "reflowable mobile presentation", "downloadable offline package" ] }, "limitations": [ "The 80-tranche canonical projection uses a different denominator from the 722-file preservation edition.", "No prerecorded audiobook; browser speech starts only after a reader action.", "Complete audible screen-reader, physical braille-display, voice-control and dedicated magnifier tests remain unperformed; no formal human accessibility certification is claimed." ] } ], "related_mathematics_recovery": { "catalogue": "catalogue/related-mathematics.json", "report": "RELATED_MATHEMATICS.md", "locales": 9, "indexed_files": 8758, "selected_artifact_hashes_rechecked": 4192, "scope": "Recovered OpenStax and related mathematics work, not nine completed OpenLogic editions", "recovery_destination": "https://github.com/KokunoYumeto/allocating-ai-translation-compute-for-educational-access/tree/codex/additional-translations-review/translations" } }