# Open Logic translations

This is the catalogue and production standard for independent translations and accessibility work based on the [Open Logic Project](https://openlogicproject.org/). The editions listed here are adaptations; listing does not imply endorsement by the Open Logic Project.

**[Choose a language in the visual edition hub](https://kokunoyumeto.github.io/OpenLogic-translations/)** · [Open mathematics programme (Indonesian / English)](https://kokunoyumeto.github.io/program-matematika-indonesia/)

**Accessible English:** [read, listen and explore online](https://kokunoyumeto.github.io/OpenLogic-translations/accessible/en/) · [download EPUB](https://github.com/KokunoYumeto/OpenLogic-translations/releases/download/accessible-en-20260910/OpenLogic-Accessible-Complete-English-20260910.epub). The accessible main-book edition is a first-class choice in the selector and first card in the hub. Its mathematical content is not reduced to provide accessibility.

The [frozen English source snapshot](https://github.com/OpenLogicProject/OpenLogic/tree/9620cc73f9c8e0ad003c514a5d3748f29611c4c0) contains 722 tracked content `.tex` files. Technical revision identities are recorded in the catalogue. Coverage of those files and coverage of a reading PDF are reported separately. In particular, “722 translated sources” does **not** mean that all 722 are present in one reader.

## Read or inspect an edition

**French: three complete chapters are available.** [Read « Ensembles, relations et fonctions »](https://github.com/KokunoYumeto/OpenLogic-fr/releases/download/v0.3.0-ensembles-relations-fonctions/openlogic-fr-ensembles-relations-fonctions.pdf): 31 pages, twenty sections, twenty-four exercises and the original figures. This is **23/722 source files**, not the complete edition; 699 units remain outside the release. [Repository](https://github.com/KokunoYumeto/OpenLogic-fr) · [release and sources](https://github.com/KokunoYumeto/OpenLogic-fr/releases/tag/v0.3.0-ensembles-relations-fonctions) · [Zenodo](https://doi.org/10.5281/zenodo.22651341) · [verification and bounded audit findings](evidence/FRENCH_FUNCTIONS_MANAGER_VERIFICATION_20260908.json). The source package includes passage-specific French scholarly references and 249 documented editorial choices. A Functions review identified one inherited proof-reference issue and targeted evidence-record repairs, reported to the edition owner; those repairs are not claimed as integrated in this release. Independent whole-edition human validation is not claimed; the PDF is not tagged.

| Edition | Public home | Evidence-based status |
|---|---|---|
| English — accessible main-book edition | [online reader](https://kokunoyumeto.github.io/OpenLogic-translations/accessible/en/) · [EPUB](https://github.com/KokunoYumeto/OpenLogic-translations/releases/download/accessible-en-20260910/OpenLogic-Accessible-Complete-English-20260910.epub) · [release](https://github.com/KokunoYumeto/OpenLogic-translations/releases/tag/accessible-en-20260910) | **Complete main-book projection:** 78 mathematical chapters plus introductory and reference material; Read, Listen, Explore and Source views. Distinct from the 722-file preservation scope. The online reader and downloads include the September 2026 source-checked corrections. |
| English — frozen complete reader | [release](https://github.com/KokunoYumeto/OpenLogic-translations/releases/tag/en-olp-0722-frozen-20260905) · [direct reader](https://github.com/KokunoYumeto/OpenLogic-translations/releases/download/en-olp-0722-frozen-20260905/OpenLogic-en-722-complete-reader.pdf) · [DOI](https://doi.org/10.5281/zenodo.22385785) · [verified public bytes](evidence/ENGLISH_722_READER_PUBLIC_READBACK_20260905.json) | **Standalone 722/722 reader verified.** A 1,177-page preservation assembly contains the ordinary 642-unit graph plus all 80 retained source units; all source/body hashes, two deterministic builds, 3,190 internal links and the complete additive section passed QA. It is not a new translation or an official upstream release. |
| Arabic | [repository](https://github.com/KokunoYumeto/OpenLogic-ar) · [release](https://github.com/KokunoYumeto/OpenLogic-ar/releases/tag/ar-olp-0722-complete-dual-notation-r2-20260903) · [DOI](https://doi.org/10.5281/zenodo.21921850) · [verified public bytes](evidence/ARABIC_DUAL_R2_PUBLIC_READBACK_20260905.json) | **Standalone 722/722 readers verified.** One Arabic text, with separate international-digit and Machrek Arabic-Indic mathematical-notation profiles. |
| Iranian Persian | [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) · [DOI](https://doi.org/10.5281/zenodo.21921852) · [verified public bytes](evidence/PERSIAN_STANDALONE_R3_PUBLIC_READBACK_20260905.json) | **Standalone 722/722 reader verified.** The coherent 1,201-page reader integrates every frozen source unit; GitHub and Zenodo copies matched by SHA-256. It remains an untagged fixed-layout PDF with a disclosed math-font text-extraction limitation. |
| Hindi | [repository](https://github.com/KokunoYumeto/open-logic-hi) · [release](https://github.com/KokunoYumeto/open-logic-hi/releases/tag/HI-OLP-PUB-0007) · [DOI](https://doi.org/10.5281/zenodo.21920511) · [manager audit](evidence/HINDI_PUB0007_AND_RECIPROCAL_LINK_AUDIT_20260905.json) | **Standalone 722/722 reader verified.** The 975-page A4 reader records all 722 frozen source paths in both the build log and recorder file; all six release assets were anonymously hash-verified. |
| Bahasa Indonesia | [repository](https://github.com/KokunoYumeto/OpenLogic-id) · [release](https://github.com/KokunoYumeto/OpenLogic-id/releases/tag/id-olp-0722-20260814) · [DOI](https://doi.org/10.5281/zenodo.21932786) · [manager readback](evidence/INDONESIAN_STANDALONE_722_MANAGER_READBACK_20260905.json) | **Standalone 722/722 reader verified.** The 1,255-page reader joins the accepted 642-unit main reader and 80-unit supplement without changing translation bytes; GitHub and Zenodo copies matched by SHA-256. |
| Mainland Simplified Chinese | [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) · [DOI](https://doi.org/10.5281/zenodo.21987817) · [manager audit](evidence/CHINESE_PUB0005_MANAGER_AUDIT_20260905.json) | **Standalone 722/722 reader verified.** The 859-page assembly preserves all 736 main-reader and 123 supplement pages and all 3,136 links. A bounded package successor is still required to refresh two stale target-manifest hashes, move source revisions off both title pages, and replace two generic absolute evidence paths; no translation-content damage is established. |
| Turkish | [repository](https://github.com/KokunoYumeto/OpenLogic-tr) · [release](https://github.com/KokunoYumeto/OpenLogic-tr/releases/tag/tr-olp-0722-reader-complete-20260904) · [DOI](https://doi.org/10.5281/zenodo.21921844) · [manager audit](evidence/TURKISH_COMPLETE_READER_MANAGER_AUDIT_20260905.json) | **Standalone 722/722 reader verified.** The 1,198-page reader preserves all 722 source bodies, includes 904 bookmarks and 3,172 intact internal links, and all five release assets matched anonymously downloaded digests. |
| Spanish | [repository](https://github.com/KokunoYumeto/OpenLogic-es) · [verified GitHub r4](https://github.com/KokunoYumeto/OpenLogic-es/releases/tag/v2026-08-20-r4) · [concept DOI](https://doi.org/10.5281/zenodo.21997720) | **722 source targets and a complete configured reader exist.** The local r6 PDF has 992 pages and renders 642 units; 80 alternate units are outside it. It is not an integrated 722-unit reader. The earlier public mirror audit identified GitHub r4 and Zenodo r2; local r6 synchronization is not verified. |
| Brazilian Portuguese | [repository](https://github.com/KokunoYumeto/OpenLogic-pt-BR) · [verified GitHub r4](https://github.com/KokunoYumeto/OpenLogic-pt-BR/releases/tag/v2026-08-20-r4) · [concept DOI](https://doi.org/10.5281/zenodo.21973104) | **722 source targets and a complete configured reader exist.** The local r6 PDF has 972 pages and renders 642 units; 80 alternate units are outside it. It is not an integrated 722-unit reader. The earlier mirror audit identified different GitHub/Zenodo packages; local r6 synchronization is not verified. |
| Canon-first Inter-Turkic | [Latin reader](https://github.com/KokunoYumeto/canon-first-turkic-interlanguage-openlogic/releases/download/v2.2.0/OPEN-LOGIC-CANON-FIRST-INTERTURKIC-OLP-0722-LATN.pdf) · [Cyrillic reader](https://github.com/KokunoYumeto/canon-first-turkic-interlanguage-openlogic/releases/download/v2.2.0/OPEN-LOGIC-CANON-FIRST-INTERTURKIC-OLP-0722-CYRL.pdf) · [Arabic-script reader](https://github.com/KokunoYumeto/canon-first-turkic-interlanguage-openlogic/releases/download/v2.2.0/OPEN-LOGIC-CANON-FIRST-INTERTURKIC-OLP-0722-ARAB.pdf) · [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) · [DOI](https://doi.org/10.5281/zenodo.22104592) | **Complete 722/722 constructed interlanguage edition.** Latin, Cyrillic and Arabic-script PDFs are synchronized views of one explicit register, with structured provenance and uncertainty. |
| Interslavic | [live reader and evidence](https://kokunoyumeto.github.io/modern-latex-manuscripts/open-logic-interslavic/) · [method DOI](https://doi.org/10.5281/zenodo.22103007) | **Substantial partial: 182/722.** The Latin witness is editable authority and Cyrillic is a deterministic projection. The public HTML stops before untranslated OLP-0183; no complete PDF is claimed. |

The [Spanish/Portuguese mirror audit](evidence/ROMANCE_MIRROR_AUDIT.json) includes anonymous file inventories and exact source/reader evidence; local-r6 coverage is not presented as a replay of public r4 builds.

The [current scope reconciliation](evidence/ROMANCE_STATUS_NORMALIZATION_20260908.json)
separately verifies local PDF identity, target-tree coverage, configured reader
coverage and recorded canon admission. Neither a complete artifact nor a
layout-template receipt establishes human authorship. The official Portuguese
snapshot is a human-attributed partial comparator, with 684 of the frozen 722
paths present; it is not a fully human-translated whole-corpus authority.

The machine-readable record is [`catalogue/editions.json`](catalogue/editions.json). It records release and DOI versions, script profiles, reader/source coverage, hashes, limitations, and the evidence class behind each status. The separate [script and orthography policy](SCRIPT_AND_ORTHOGRAPHY.md) and [machine-readable surface catalogue](catalogue/script-surfaces.json) distinguish typography, deterministic script projections, accessibility companions, and genuinely separate language or locale editions.

Every edition should publish a reusable translation-decision register under the shared [`translation-decision.schema.json`](catalogue/translation-decisions/translation-decision.schema.json). The [decision-contract guide](catalogue/translation-decisions/README.md) defines the human-readable, priority-review, occurrence-CSV, JSON, schema, and deterministic-QA views expected at material releases.

## Accessibility infrastructure

The **[complete accessible English Open Logic book](https://kokunoyumeto.github.io/OpenLogic-translations/accessible/en/)** is published here with **80/80 planned source tranches accepted**. It provides Read, Listen / words only, Explore equations with native MathML, and Source and provenance. Download the corrected [EPUB 3.3](https://github.com/KokunoYumeto/OpenLogic-translations/releases/download/accessible-en-20260910/OpenLogic-Accessible-Complete-English-20260910.epub) or [offline HTML ZIP](https://github.com/KokunoYumeto/OpenLogic-translations/releases/download/accessible-en-20260910/OpenLogic-Accessible-Complete-English-HTML-20260910.zip). The [September release](https://github.com/KokunoYumeto/OpenLogic-translations/releases/tag/accessible-en-20260910) and [public delivery receipt](evidence/ACCESSIBLE_ENGLISH_SYNCHRONIZED_DELIVERY_20260910.json) identify the synchronized files. The [previous Zenodo edition](https://doi.org/10.5281/zenodo.22647454) remains preserved; its successor has not yet been published because the archive service is returning errors.

The 80 accessibility tranches cover the canonical book projection (78 mathematical chapters, About, and part-wrapper material). This count is distinct from the 722-file preservation edition and does not claim a rendered counterpart for every optional upstream file. Automated and silent runtime checks pass; a prerecorded audiobook, complete audible screen-reader evaluation, physical braille-display testing and formal human accessibility certification remain unclaimed. Across editions, semantic responsive HTML, reflowable EPUB, native MathML, image descriptions, offline packaging, and applicable low-bitrate media remain publication baselines.

A **non-academic-register English** lane (initially proposed as “Plain-Language English” and “accessible-register English”) is now assigned to the established accessibility owner as a distinct aligned register edition. Its sociolinguistic premise is that familiarity with university-register language is unevenly inherited through family and schooling; lacking that inherited linguistic capital says nothing about a reader's intellectual capacity. The lane therefore translates the complete information into an evidenced non-academic adult register while presuming the reader is fully capable of the mathematics. Every definition, quantifier, logical-scope relation, notation item, cross-reference, argument step and proof obligation must remain: this is translation, not abridgment, condescension, semantic simplification, prerequisite insertion or “dumbing down.” The edition proceeds on that sufficiently plausible access thesis: research improves target-register choices, detects exclusion and measures results, but does not impose a go/no-go gate. Its evidence base must include linguistic capital and social reproduction, critical EAP/EMI, World Englishes, raciolinguistics, linguistic imperialism, decolonial and multilingual education, alongside intralingual translation and adult plain/controlled-language research. The research must identify specified adult target registers—for example regionally evidenced ordinary English and English-as-a-lingua-franca conventions—rather than invent one universal Plain English. OpenLogic remains part of the broader mathematics programme: when a prerequisite is genuinely absent, the edition points to the appropriate prerequisite work instead of adding analogies or quietly rewriting the book into a remedial course. No translated unit, completed pilot, or public release is claimed yet; the exact [scope record](evidence/PLAIN_LANGUAGE_ENGLISH_SCOPE_20260905.json) keeps that boundary explicit.

## Active research editions

- **Paired Dutch registers:** one complete standard scholarly Dutch edition and one complete adult **gewone-mensentaal** Dutch register translation have been commissioned from the same 722-unit source and segment spine. The pair is intended to permit direct within-language comparison: information, mathematics and proof obligations remain identical while academic-register choices change. The ordinary-register edition is not abridged, remedial or child-directed. The dedicated owner task is still completing worktree setup, so zero translated units and no repository, reader, release or DOI are claimed yet; see the [commission record](evidence/DUTCH_DUAL_REGISTER_COMMISSION_20260906.json).
- **Inter-Farsi OpenLogic:** active corpus-wide scaffold/edition work. Its design separates a controlled pluricentric register from Iranian Persian and keeps Perso-Arabic and Tajik Cyrillic realization, regional adaptation, and notation profiles as typed layers. It is not yet listed as a public complete translation.
- **Romance interlanguage:** 722 provisional baseline files exist. The verified admission-record snapshot has **53/722 source-critical units complete**, 669 pending and 332 material decisions. OLP-0009 remains pending. This is ongoing research, not a complete edition or a new manager certification of every canon choice.
- **Latin:** planned as a complete `la-Latn` Neo-Latin edition plus a separate bilingual learner companion for mathematically minded Latin readers. Historical mathematical and logical Latin, modern Latinity guidance, and an explicit neologism ledger will govern the prose; Peano's *Latino sine flexione* is comparative evidence, not the target register. No translated unit or owner is claimed yet.

## What “done” means here

A new complete edition must translate all 722 tracked source files **and** provide one coherent standalone reader containing the complete declared closure. It must bind every segment to the language’s actual scholarly canon, preserve formulas and identifiers, pass script-aware structural and visual QA, publish editable sources and evidence, and verify released bytes anonymously. See [`TRANSLATION_STANDARD.md`](TRANSLATION_STANDARD.md).

The next-language shortlist and its limitations are in [`PRIORITIES.md`](PRIORITIES.md). The frozen v3 order is a historical planning input under which lanes were commissioned; the current allocation study does not establish a live global Top 10. Its actionable production constraints are recorded in the [adjacent-evidence audit](evidence/ADJACENT_COMPUTE_ACTIONABLE_FINDINGS_20260905.json).

## New editions in production

Dedicated full-edition tasks are producing Punjabi (Pakistan, Shahmukhi), Bengali (India), Marathi, Telugu, Tamil (India), Javanese, Gujarati and Pashto (Pakistan) editions against the same verified 722-file English source. Eight edition repositories now have publicly byte-verified chapter releases:

| Edition | Read or download | Published reader scope |
|---|---|---|
| Punjabi (Pakistan, Shahmukhi) | [repository](https://github.com/KokunoYumeto/OpenLogic-pnb-Arab-PK) · [70-unit source checkpoint](https://github.com/KokunoYumeto/OpenLogic-pnb-Arab-PK/tree/4f6b511df6769982961a320ea8afb1e91aa5b91a) · [release](https://github.com/KokunoYumeto/OpenLogic-pnb-Arab-PK/releases/tag/v0.1.0) · [DOI](https://doi.org/10.5281/zenodo.22308437) · [verified evidence](evidence/PUNJABI_SOURCE70_MANAGER_AUDIT_20260905.json) | Public source checkpoint **70/722**, with 1,167 aligned segments and zero translated segments lacking canon evidence. The tagged Naskh/Nastaliq reader remains the **7-unit** Sets chapter; no wider reader is claimed. |
| Gujarati | [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) · [DOI](https://doi.org/10.5281/zenodo.22308102) | Public-main source checkpoint **37/722**; tagged PDF/HTML reader remains **16/722**. |
| Marathi | [repository](https://github.com/KokunoYumeto/OpenLogic-mr-Deva-IN) · [seven-chapter release](https://github.com/KokunoYumeto/OpenLogic-mr-Deva-IN/releases/tag/seven-chapters-v0.5) · [DOI](https://doi.org/10.5281/zenodo.22449519) · [verified audit](evidence/MARATHI_SEVEN_CHAPTERS_V05_MANAGER_AUDIT_20260906.json) | Public source/reader checkpoint **59/722** through OLP-0062: 716 aligned segments and an 83-page reader. Content, provenance, cross-mirror bytes and visual layout pass, but the reader front matter still exposes a raw technical revision; a bounded same-lineage presentation successor is in progress. |
| Bengali (India) | [repository](https://github.com/KokunoYumeto/OpenLogic-bn-Beng-IN) · [147-unit source checkpoint](https://github.com/KokunoYumeto/OpenLogic-bn-Beng-IN/tree/2a4f7523207381d17699541f71a8f7c5f2e34ce3) · [release](https://github.com/KokunoYumeto/OpenLogic-bn-Beng-IN/releases/tag/v0.2.0-sets-relations) · [verified evidence](evidence/BENGALI_SOURCE147_MANAGER_AUDIT_20260905.json) | Public source checkpoint **147/722**, with 1,789 aligned segments and canon evidence for all 1,494 translated segments. The tagged Sets-and-Relations release remains **18 source files** and 15 nonduplicated prose sections; no wider PDF or HTML reader is claimed. |
| Pashto (Pakistan) | [repository](https://github.com/KokunoYumeto/openlogic-ps-Arab-PK) · [v0.4.1 release](https://github.com/KokunoYumeto/openlogic-ps-Arab-PK/releases/tag/v0.4.1-proof-systems-reference-repair) · [DOI](https://doi.org/10.5281/zenodo.22442605) · [verified evidence](evidence/PASHTO_V041_PUBLIC_PACKAGE_AND_VISUAL_AUDIT.json) | Public source checkpoint **131/722**; the 108-page proof-systems reader contains **70/722** units. The corrective release replaces all 37 raw external-reference fallbacks with eight Pashto result titles and 37 exact frozen-source links. GitHub and Zenodo bytes, all changed pages and coverage evidence pass; the full edition remains in production. |
| Tamil (India) | [repository](https://github.com/KokunoYumeto/OpenLogic-ta-Taml-IN) · [65-unit source checkpoint](https://github.com/KokunoYumeto/OpenLogic-ta-Taml-IN/tree/ef7a360177e04239a4ed5763a8fcd73ff948ca7b) · [51-unit reader release](https://github.com/KokunoYumeto/OpenLogic-ta-Taml-IN/releases/tag/v0.2.1-sets-functions-relations) · [verified evidence](evidence/SOURCE_CHECKPOINTS_JV80_TA65_PNB52_20260905.json) | Public source checkpoint **65/722**, with 523 aligned, canon-bound segments. The accepted 99-page Sets–Relations–Functions release remains **51 rendered units**; the later 14 units are source-only progress. |
| Telugu | [live Sets reader](https://kokunoyumeto.github.io/OpenLogic-te-Telu-IN/sets/) · [repository](https://github.com/KokunoYumeto/OpenLogic-te-Telu-IN) · [release v0.2.0](https://github.com/KokunoYumeto/OpenLogic-te-Telu-IN/releases/tag/v0.2.0-sets-html) · [DOI](https://doi.org/10.5281/zenodo.22309234) | Complete Sets semantic reader, **7 rendered units**; **23/722** editable source translations through Relations and Functions. |
| Javanese (Latin) | [repository](https://github.com/KokunoYumeto/OpenLogic-jv-Latn-ID) · [118-unit source checkpoint](https://github.com/KokunoYumeto/OpenLogic-jv-Latn-ID/tree/bf8172c7585986612b181aa5d5a6d72fea90f108) · [release v0.1.2](https://github.com/KokunoYumeto/OpenLogic-jv-Latn-ID/releases/tag/v0.1.2) · [verified evidence](evidence/JAVANESE_SOURCE118_MANAGER_AUDIT_20260905.json) | Public source checkpoint **118/722**, with 1,921 aligned segments and canon evidence for all 1,210 linguistic segments. The independent generator replay reproduced all unit rows and the canon ledger byte-for-byte. The 36-page release reader remains **24 source units**, supported by 26 translated units. No DOI is claimed. |

The [Javanese 118-unit replay](evidence/JAVANESE_SOURCE118_MANAGER_AUDIT_20260905.json) checks the anonymous archive, all 722 frozen sources, 118 translated targets, 1,921 aligned segments, 115 term decisions, 36 applied source corrections, 177 schema-valid review decisions and a clean privacy scan. Its fresh generator replay reproduced all 118 structural rows and the 1,921-row canon ledger exactly; the reader remains unchanged. The earlier [combined source-checkpoint audit](evidence/SOURCE_CHECKPOINTS_JV80_TA65_PNB52_20260905.json) retains the Tamil 65-unit replay and the withdrawn Punjabi-candidate history. The current [Punjabi 70-unit replay](evidence/PUNJABI_SOURCE70_MANAGER_AUDIT_20260905.json) proves that all 722 frozen upstream blobs remain exact, all 1,167 alignment rows are unique and canon-bound where linguistic, and the public package is privacy-clean. The [Bengali 147-unit replay](evidence/BENGALI_SOURCE147_MANAGER_AUDIT_20260905.json) checks the anonymous archive, all 722 frozen sources, 1,789 aligned source/target segments, unchanged five-source/29-passage canon indexes, 100 decisions and 7,271 exact occurrences, with a clean privacy scan; it leaves the tagged reader unchanged. The [Marathi seven-chapter replay](evidence/MARATHI_SEVEN_CHAPTERS_V05_MANAGER_AUDIT_20260906.json) checks all 722 frozen sources, 59 targets, 716 aligned segment/canon records, 4,474 exact review occurrences, 3,373 MathML expressions, 13 diagram crops, 83 rendered pages and all GitHub/Zenodo bytes; its sole hard failure is the raw technical revision in reader-facing front matter. The [Pashto v0.4.1 replay](evidence/PASHTO_V041_PUBLIC_PACKAGE_AND_VISUAL_AUDIT.json) verifies the three new assets byte-for-byte on GitHub and Zenodo, proves the 37-to-zero raw-reference repair, checks the 37 live frozen-source links and visually inspects all changed/reflow pages. It preserves the earlier 722-source/131-target/2,139-alignment/canon-use audit and records one nonblocking provenance-naming issue: the generic embedded publication pointer still describes v0.4.0 and should be normalized in the next substantive package. Earlier release and source evidence remains available for [Punjabi](evidence/PUNJABI_PUBLIC_READBACK_20260904.json), [Gujarati](evidence/GUJARATI_SOURCE37_PUBLIC_READBACK_20260904.json), [Bengali](evidence/BENGALI_OLSIZ_REPAIR_PUBLIC_READBACK_20260904.json), [Marathi history](evidence/MARATHI_SOURCE33_PUBLIC_READBACK_20260904.json), [Telugu](evidence/TELUGU_V020_PUBLIC_READBACK_20260904.json), [Pashto v0.4](evidence/PASHTO_V040_PUBLIC_PACKAGE_AND_VISUAL_AUDIT.json), [Tamil](evidence/TAMIL_METADATA_RECOVERY_MANAGER_VERIFICATION_20260905.json), and [Javanese](evidence/JAVANESE_V012_MANAGER_VERIFICATION_20260905.json). These are **partial editions**, not completed books. Byte verification is not independent linguistic certification, and source-checkpoint growth never silently expands a tagged reader.

The [ownership register](catalogue/ownership.json) retains all eight full-edition assignments. All eight now have a verified partial release; none is a complete 722-unit edition. Bangladesh Bengali and Vietnamese remain additional, unassigned candidates. The [workflow evidence check](evidence/CANON_WORKFLOW_CHECK_20260904.json) records independent canon-file/reference checks and the recovered-canon handoff repair, with its limits stated explicitly.

The [shared source notes](SOURCE_NOTES.md) publish cross-edition corrections that have been rechecked against the frozen English bytes. The first bounded audit covers five Functions findings, including the empty-domain counterexample to the left-inverse proposition and the distinction between function restriction and the earlier two-sided relation restriction. These notes preserve the authoritative source identity and do not silently rewrite it.

Arabic has its own edition owner. Standard Iranian Persian and conceptual Inter-Farsi share a separate owner but remain distinct editions. Existing released-reader coverage in the table above is unchanged by these assignments.

## Recovered mathematics translation work

The six book-based recovered-package assignments are now delivered publicly: see the [bounded package directory](RELATED_MATHEMATICS.md#completed-bounded-packages). This is completion of the recovery packages, not of every textbook in every language.

The fuller laptop copy contains substantial work in nine language lanes. Those projects mainly translate **OpenStax Prealgebra, Elementary Algebra, Intermediate Algebra and Precalculus**, with further mathematics in some lanes. They are related translation resources, not nine completed OpenLogic editions. The [book-named recovery inventory](RELATED_MATHEMATICS.md) identifies the exact scope and distinguishes source drafts, readers and unfinished books; its [machine-readable catalogue](catalogue/related-mathematics.json) preserves the evidence boundaries. The [fuller recovered files are now public](https://github.com/KokunoYumeto/allocating-ai-translation-compute-for-educational-access/tree/ed6f2e2020118723c2a12fe3377d2273c3d8ec50/translations), with all 8,758 published files anonymously verified by size and SHA-256. The separate [OpenLogic candidate pipeline](catalogue/candidate-editions.json) records eight provisional shortlist targets and two additional motivated candidates, without crediting textbook work as translated OpenLogic.

## Licence

Catalogue and coordination text in this repository is licensed under [CC BY 4.0](LICENSE.md). Each translation repository states its own adaptation and source licensing.