Start learning: Bahasa Indonesia · English interface. Version 0.63.24 preserves reciprocal learner navigation across the complete hosted program surface: every reader links to its course and localized program, every course links to its readers, and hosted copies retain prominent authoritative-original routes. Current language roots use /id/ and /en/; future languages use sibling language-ID namespaces. The portable navigator preserves all earlier capability packets and adds exact deterministic v2.3.1 modular-adapter packets for A30 Precalculus, B95 Applied Statistics, and C140 Mathematical Statistics. A30's rich native 220,680-record projection remains the canonical central projection; the thin A30 packet is supplementary interoperability evidence. Whole-program native-backend convergence is not claimed. All inherited source, author, and human-contributor credits remain intact. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Start learning: Bahasa Indonesia · English interface. Version 0.63.23 applies reciprocal learner navigation across the complete hosted program surface: every reader links to its course and localized program, every course links to its readers, and hosted copies retain prominent authoritative-original routes. Current language roots use /id/ and /en/; future languages use sibling language-ID namespaces. The portable navigator preserves the validated D70 thin capability packet (1,951,772 bytes; SHA-256 8f35e196929cc9fb696923237e4592139066f0eaf78b49fb05fb3878bcb8f678) and adds the validated zero-copy D30 thin capability packet (828,504 bytes; SHA-256 19074c1dd5f5fa9b5c7ec473bec4347f070c5cabdb04e3c0b52b386714029c2e). D70 native-full replay remains available but unverified; whole-program backend convergence is not claimed, and the exact common-adapter gaps remain A30, B95, and C140. All inherited source, author, and human-contributor credits remain intact. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Start learning: Bahasa Indonesia · English interface. Version 0.63.22 applies reciprocal learner navigation across the complete hosted program surface: every reader links to its course and localized program, every course links to its readers, and hosted copies retain prominent authoritative-original routes. Current language roots use /id/ and /en/; future languages use sibling language-ID namespaces. The portable navigator preserves the validated D70 thin capability packet (1,951,772 bytes; SHA-256 8f35e196929cc9fb696923237e4592139066f0eaf78b49fb05fb3878bcb8f678). D70 native-full replay remains available but unverified, and whole-program backend convergence is not claimed. All inherited source, author, and human-contributor credits remain intact. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Start learning: Bahasa Indonesia · English interface. Version 0.63.21 adds the sealed D50 Smooth Manifolds and Differential Geometry v2.3.1 zero-copy common adapter. Validated coverage is 34/40 roles across 27/33 native families; whole-program backend convergence is not claimed. The access rule applies to every current and future course, edition, format, and language: provide a durable hosted copy where available, retain a prominent authoritative-original link, and provide reciprocal navigation among contents, course, language hub, and global program. Off-origin surfaces remain explicitly incomplete until dated anonymous readback proves their backlinks. Start learning / Mulai belajar English — open the learner curriculum · Bahasa Indonesia — buka peta belajar This release adds the complete program-hosted original-English D110 Mathematics in Lean mirror while keeping the authoritative upstream source separately prominent. Every centrally hosted page returns to both localized course cards and both program roots. The verified closure is 335 classified HTML documents, 332 exactly removable presentation overlays, 223 reader pages, 43 gateway pages, 57 course-surface pages, and 10 generic pages of which 9 carry overlays. The D110 mirror contains 207 files and 16 HTML documents; removal of the central navigation shell and reversal of the local MathJax path reproduces the pinned upstream HTML exactly. Text, repository/build assets, MathJax, and retained static components keep their component-scoped rights and attribution. The navigator also preserves the sealed A10 Elementary Algebra v2.3.1 zero-copy adapter and its validation/authority handoff. The adapter does not imply runtime use by the learner PDF. With the D90 admission, common-backend convergence remains incomplete at 32 of 40 roles across 25 of 33 native families, leaving 8 missing role adapters; 31 roles have GitHub evidence and 13 have Zenodo evidence. The universal navigation contract is hosted copy plus a prominent authoritative-original route plus reciprocal course, contents, and program navigation for every current or future course, edition, format, and language. The bundled six-file federated audit currently covers 27 off-origin surfaces: 3 verified and 24 explicitly remediation-required. It does not claim those sibling repositories are already fixed. Download either learning map, the portable navigator, or the standalone A10 adapter. The interface now exposes 50 of 80 hosted language/course projections and all 80 authoritative-original projections. All inherited source, author, and human-contributor credits are preserved. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Inherited v0.63.19 description Start learning / Mulai belajar English — open the learner curriculum · Bahasa Indonesia — buka peta belajar This release preserves the program-wide reciprocal-navigation layer: every registered hosted reader, gateway, and course surface returns to its localized course card and every registered program-language root. The verified public closure covers 313 HTML documents, including 207 reader pages, 43 gateways, 51 course-surface pages, 10 generic pages, and 2 interface documents; 310 carry an exactly reversible presentation overlay that does not rewrite mathematical bodies. Each of the 80 localized course cards keeps program-hosted copies and authoritative original-author or publisher sources distinct and prominent. The public student-facing HTML is primary; JSON, manifests, contracts, and validators are the machine/reproducibility layer. The four CLP course routes expose seven verified PDFs totaling 4,077 pages plus the authoritative original English source. They share one machine adapter; this record does not claim that the PDFs consume that adapter at runtime. B40 linear algebra is also represented in the validated common-adapter layer. Download the Indonesian or English learning map and portable navigator. The ZIP is a bounded portable navigator, not a complete offline mirror of every public reader asset. Whole-program common-backend convergence remains incomplete at 30 of 40 roles across 23 of 33 native families. All inherited source, author, and human-contributor credits are preserved. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Inherited v0.63.18 description Start learning / Mulai belajar English — open the learner curriculum · Bahasa Indonesia — buka peta belajar This release preserves the program-wide reciprocal-navigation layer: every registered hosted reader, gateway, and course surface returns to its localized course card and every registered program-language root. The verified public closure covers 306 HTML documents, including 207 reader pages, 43 gateways, 44 course-surface pages, and 10 generic/interface pages; 303 carry an exactly reversible presentation overlay that does not rewrite mathematical bodies. Each of the 80 localized course cards keeps program-hosted copies and authoritative original-author or publisher sources distinct and prominent. The public student-facing HTML is primary; JSON, manifests, contracts, and validators are the machine/reproducibility layer. Download the Indonesian or English learning map and portable navigator. The ZIP is a bounded portable navigator, not a complete offline mirror of every public reader asset. Whole-program common-backend convergence remains incomplete. All inherited source, author, and human-contributor credits are preserved. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Inherited v0.63.17 description Start learning / Mulai belajar English — open the learner curriculum · Bahasa Indonesia — buka peta belajar This version preserves the public D100 English algebraic-geometry reader binding and its deterministic common-backend packet inside the offline navigator: 60 source-course units, 32 companion units, 1,201 indexed exercises, 57 mastery items, three reader PDFs totaling 974 pages, semantic HTML readers, exact solution provenance, and Zenodo edition 10.5281/zenodo.22340270. The D100 packet includes structured mathematical JSONL/Markdown inputs required for adapter replay; it is not metadata-only and does not claim a full native source/reader roundtrip or an umbrella licence. Inert task-relative provenance locators are retained as production evidence; no credential, absolute workstation path, or user-profile path is included, and those locators are not needed to open the learner pages. The refreshed navigator also carries forward the newer D120 learner/educator views and closes previously missing offline links for D70, A00, Judson, Open Logic, and C130. The public student-facing HTML remains primary; JSON and backend files are the machine layer. Download the complete multilingual offline navigator, extract it, and open START-HERE.html. All inherited source, author, and human-contributor credits are preserved. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Inherited v0.63.16 description Start learning / Mulai belajar English — open the learner curriculum · Bahasa Indonesia — buka peta belajar This
KokunoYumeto, OpenAI Codex· Zenodo (CERN European Organi...· 0 citations
Start learning / Mulai belajar English — open the learner curriculum · Bahasa Indonesia — buka peta belajar This release adds the complete program-hosted original-English D110 Mathematics in Lean mirror while keeping the authoritative upstream source separately prominent. Every centrally hosted page returns to both localized course cards and both program roots. The verified closure is 335 classified HTML documents, 332 exactly removable presentation overlays, 223 reader pages, 43 gateway pages, 57 course-surface pages, and 10 generic pages of which 9 carry overlays. The D110 mirror contains 207 files and 16 HTML documents; removal of the central navigation shell and reversal of the local MathJax path reproduces the pinned upstream HTML exactly. Text, repository/build assets, MathJax, and retained static components keep their component-scoped rights and attribution. The navigator also preserves the sealed A10 Elementary Algebra v2.3.1 zero-copy adapter and its validation/authority handoff. The adapter does not imply runtime use by the learner PDF. With the D90 admission, common-backend convergence remains incomplete at 32 of 40 roles across 25 of 33 native families, leaving 8 missing role adapters; 31 roles have GitHub evidence and 13 have Zenodo evidence. The universal navigation contract is hosted copy plus a prominent authoritative-original route plus reciprocal course, contents, and program navigation for every current or future course, edition, format, and language. The bundled six-file federated audit currently covers 27 off-origin surfaces: 3 verified and 24 explicitly remediation-required. It does not claim those sibling repositories are already fixed. Download either learning map, the portable navigator, or the standalone A10 adapter. The interface now exposes 50 of 80 hosted language/course projections and all 80 authoritative-original projections. All inherited source, author, and human-contributor credits are preserved. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Inherited v0.63.19 description Start learning / Mulai belajar English — open the learner curriculum · Bahasa Indonesia — buka peta belajar This release preserves the program-wide reciprocal-navigation layer: every registered hosted reader, gateway, and course surface returns to its localized course card and every registered program-language root. The verified public closure covers 313 HTML documents, including 207 reader pages, 43 gateways, 51 course-surface pages, 10 generic pages, and 2 interface documents; 310 carry an exactly reversible presentation overlay that does not rewrite mathematical bodies. Each of the 80 localized course cards keeps program-hosted copies and authoritative original-author or publisher sources distinct and prominent. The public student-facing HTML is primary; JSON, manifests, contracts, and validators are the machine/reproducibility layer. The four CLP course routes expose seven verified PDFs totaling 4,077 pages plus the authoritative original English source. They share one machine adapter; this record does not claim that the PDFs consume that adapter at runtime. B40 linear algebra is also represented in the validated common-adapter layer. Download the Indonesian or English learning map and portable navigator. The ZIP is a bounded portable navigator, not a complete offline mirror of every public reader asset. Whole-program common-backend convergence remains incomplete at 30 of 40 roles across 23 of 33 native families. All inherited source, author, and human-contributor credits are preserved. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Inherited v0.63.18 description Start learning / Mulai belajar English — open the learner curriculum · Bahasa Indonesia — buka peta belajar This release preserves the program-wide reciprocal-navigation layer: every registered hosted reader, gateway, and course surface returns to its localized course card and every registered program-language root. The verified public closure covers 306 HTML documents, including 207 reader pages, 43 gateways, 44 course-surface pages, and 10 generic/interface pages; 303 carry an exactly reversible presentation overlay that does not rewrite mathematical bodies. Each of the 80 localized course cards keeps program-hosted copies and authoritative original-author or publisher sources distinct and prominent. The public student-facing HTML is primary; JSON, manifests, contracts, and validators are the machine/reproducibility layer. Download the Indonesian or English learning map and portable navigator. The ZIP is a bounded portable navigator, not a complete offline mirror of every public reader asset. Whole-program common-backend convergence remains incomplete. All inherited source, author, and human-contributor credits are preserved. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Inherited v0.63.17 description Start learning / Mulai belajar English — open the learner curriculum · Bahasa Indonesia — buka peta belajar This version preserves the public D100 English algebraic-geometry reader binding and its deterministic common-backend packet inside the offline navigator: 60 source-course units, 32 companion units, 1,201 indexed exercises, 57 mastery items, three reader PDFs totaling 974 pages, semantic HTML readers, exact solution provenance, and Zenodo edition 10.5281/zenodo.22340270. The D100 packet includes structured mathematical JSONL/Markdown inputs required for adapter replay; it is not metadata-only and does not claim a full native source/reader roundtrip or an umbrella licence. Inert task-relative provenance locators are retained as production evidence; no credential, absolute workstation path, or user-profile path is included, and those locators are not needed to open the learner pages. The refreshed navigator also carries forward the newer D120 learner/educator views and closes previously missing offline links for D70, A00, Judson, Open Logic, and C130. The public student-facing HTML remains primary; JSON and backend files are the machine layer. Download the complete multilingual offline navigator, extract it, and open START-HERE.html. All inherited source, author, and human-contributor credits are preserved. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Inherited v0.63.16 description Start learning / Mulai belajar English — open the learner curriculum · Bahasa Indonesia — buka peta belajar This version preserves the newly public D100 English algebraic-geometry reader binding inside the offline navigator: 60 units, 1,188 exercises, three PDFs totaling 974 pages, semantic HTML readers, source/backend repository links, and Zenodo edition 10.5281/zenodo.22340270. It also closes the offline learner dependency for D70 by adding the exact learner tool and its learning-map and validation records. The embedded D70 zero-copy capability packet and its evidence remain byte-identical. The public student-facing HTML remains primary; JSON and backend files are the machine layer. Download the complete multilingual offline navigator, extract it, and open START-HERE.html. All inherited source, author, and human-contributor credits are preserved. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Inherited v0.63.15 description Start learning / Mulai belajar Bahasa Indonesia — open the learner map · English — open the learner map The learner interface keeps a readable program-hosted mirror and a separate prominent authoritative-original link for every language. JSON and backend archives are the secondary machine layer. D70 additive backend preservation This version embeds the exact 1,951,772-byte D70 course-learning-capability/1 zero-copy metadata-and-evidence packet (SHA-256 8f35e196929cc9fb696923237e4592139066f0eaf78b49fb05fb3878bcb8f678) at packets/D70/D70_THIN_CAPABILITY_METADATA_V1.zip, together with its deterministic build receipt. It preserves the prior navigator's 141 non-checksum members byte-for-byte and regenerates the exhaustive checksum index. The honest current global coverage remains 23 of 40 validated roles and 16 of 33 represented native families; the whole backend is not complete. D70 native-full production/build/replay remains available_unverified, full_native_roundtrip_claimed=false, and whole_course_backend_completion=not_yet_proven. The packet contains metadata and evidence, not copied native book bodies. Download the additive bilingual navigator. Extract it and open START-HERE.html; the D70 packet is under packets/D70/. Source and public evidence: D70 integration, coverage, and anonymous readback receipts. All inherited source, author and human-contributor credits remain preserved. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Inherited v0.63.14 description Start learning / Mulai belajar Bahasa Indonesia — open the learner map · English — open the learner map Those human-readable pages are the primary entry points. JSON, CSV, schemas and backend archives remain secondary machine layers. Hosted copy + original source The program uses one language-independent access contract: a readable program-hosted mirror and a separate, prominent original author or publisher route. A mirror never replaces or obscures the original. Material keeps its real language, authors, revision, license, provenance and component credits. This applies equally to original English, originally Indonesian, Chinese and every future language. A20 Intermediate Algebra: the complete program-hosted English HTML reader sits beside the original OpenStax reader. It preserves all 83 modules, 4,003 assets, 21,317 MathML expressions, 8,209 exercises, 5,238 solutions and 50,039 native IDs. All 4,094 public files / 200,683,904 bytes were anonymously verified. Its exact offline ZIP is available on the GitHub release and nested inside this record's navigator under readers/A20/. These are presentation mirrors, not translat
KokunoYumeto, OpenAI Codex· Zenodo (CERN European Organi...· 0 citations
Start learning: Bahasa Indonesia · English interface. Version 0.63.21 adds the sealed D50 Smooth Manifolds and Differential Geometry v2.3.1 zero-copy common adapter. Validated coverage is 34/40 roles across 27/33 native families; whole-program backend convergence is not claimed. The access rule applies to every current and future course, edition, format, and language: provide a durable hosted copy where available, retain a prominent authoritative-original link, and provide reciprocal navigation among contents, course, language hub, and global program. Off-origin surfaces remain explicitly incomplete until dated anonymous readback proves their backlinks. Start learning / Mulai belajar English — open the learner curriculum · Bahasa Indonesia — buka peta belajar This release adds the complete program-hosted original-English D110 Mathematics in Lean mirror while keeping the authoritative upstream source separately prominent. Every centrally hosted page returns to both localized course cards and both program roots. The verified closure is 335 classified HTML documents, 332 exactly removable presentation overlays, 223 reader pages, 43 gateway pages, 57 course-surface pages, and 10 generic pages of which 9 carry overlays. The D110 mirror contains 207 files and 16 HTML documents; removal of the central navigation shell and reversal of the local MathJax path reproduces the pinned upstream HTML exactly. Text, repository/build assets, MathJax, and retained static components keep their component-scoped rights and attribution. The navigator also preserves the sealed A10 Elementary Algebra v2.3.1 zero-copy adapter and its validation/authority handoff. The adapter does not imply runtime use by the learner PDF. With the D90 admission, common-backend convergence remains incomplete at 32 of 40 roles across 25 of 33 native families, leaving 8 missing role adapters; 31 roles have GitHub evidence and 13 have Zenodo evidence. The universal navigation contract is hosted copy plus a prominent authoritative-original route plus reciprocal course, contents, and program navigation for every current or future course, edition, format, and language. The bundled six-file federated audit currently covers 27 off-origin surfaces: 3 verified and 24 explicitly remediation-required. It does not claim those sibling repositories are already fixed. Download either learning map, the portable navigator, or the standalone A10 adapter. The interface now exposes 50 of 80 hosted language/course projections and all 80 authoritative-original projections. All inherited source, author, and human-contributor credits are preserved. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Inherited v0.63.19 description Start learning / Mulai belajar English — open the learner curriculum · Bahasa Indonesia — buka peta belajar This release preserves the program-wide reciprocal-navigation layer: every registered hosted reader, gateway, and course surface returns to its localized course card and every registered program-language root. The verified public closure covers 313 HTML documents, including 207 reader pages, 43 gateways, 51 course-surface pages, 10 generic pages, and 2 interface documents; 310 carry an exactly reversible presentation overlay that does not rewrite mathematical bodies. Each of the 80 localized course cards keeps program-hosted copies and authoritative original-author or publisher sources distinct and prominent. The public student-facing HTML is primary; JSON, manifests, contracts, and validators are the machine/reproducibility layer. The four CLP course routes expose seven verified PDFs totaling 4,077 pages plus the authoritative original English source. They share one machine adapter; this record does not claim that the PDFs consume that adapter at runtime. B40 linear algebra is also represented in the validated common-adapter layer. Download the Indonesian or English learning map and portable navigator. The ZIP is a bounded portable navigator, not a complete offline mirror of every public reader asset. Whole-program common-backend convergence remains incomplete at 30 of 40 roles across 23 of 33 native families. All inherited source, author, and human-contributor credits are preserved. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Inherited v0.63.18 description Start learning / Mulai belajar English — open the learner curriculum · Bahasa Indonesia — buka peta belajar This release preserves the program-wide reciprocal-navigation layer: every registered hosted reader, gateway, and course surface returns to its localized course card and every registered program-language root. The verified public closure covers 306 HTML documents, including 207 reader pages, 43 gateways, 44 course-surface pages, and 10 generic/interface pages; 303 carry an exactly reversible presentation overlay that does not rewrite mathematical bodies. Each of the 80 localized course cards keeps program-hosted copies and authoritative original-author or publisher sources distinct and prominent. The public student-facing HTML is primary; JSON, manifests, contracts, and validators are the machine/reproducibility layer. Download the Indonesian or English learning map and portable navigator. The ZIP is a bounded portable navigator, not a complete offline mirror of every public reader asset. Whole-program common-backend convergence remains incomplete. All inherited source, author, and human-contributor credits are preserved. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Inherited v0.63.17 description Start learning / Mulai belajar English — open the learner curriculum · Bahasa Indonesia — buka peta belajar This version preserves the public D100 English algebraic-geometry reader binding and its deterministic common-backend packet inside the offline navigator: 60 source-course units, 32 companion units, 1,201 indexed exercises, 57 mastery items, three reader PDFs totaling 974 pages, semantic HTML readers, exact solution provenance, and Zenodo edition 10.5281/zenodo.22340270. The D100 packet includes structured mathematical JSONL/Markdown inputs required for adapter replay; it is not metadata-only and does not claim a full native source/reader roundtrip or an umbrella licence. Inert task-relative provenance locators are retained as production evidence; no credential, absolute workstation path, or user-profile path is included, and those locators are not needed to open the learner pages. The refreshed navigator also carries forward the newer D120 learner/educator views and closes previously missing offline links for D70, A00, Judson, Open Logic, and C130. The public student-facing HTML remains primary; JSON and backend files are the machine layer. Download the complete multilingual offline navigator, extract it, and open START-HERE.html. All inherited source, author, and human-contributor credits are preserved. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Inherited v0.63.16 description Start learning / Mulai belajar English — open the learner curriculum · Bahasa Indonesia — buka peta belajar This version preserves the newly public D100 English algebraic-geometry reader binding inside the offline navigator: 60 units, 1,188 exercises, three PDFs totaling 974 pages, semantic HTML readers, source/backend repository links, and Zenodo edition 10.5281/zenodo.22340270. It also closes the offline learner dependency for D70 by adding the exact learner tool and its learning-map and validation records. The embedded D70 zero-copy capability packet and its evidence remain byte-identical. The public student-facing HTML remains primary; JSON and backend files are the machine layer. Download the complete multilingual offline navigator, extract it, and open START-HERE.html. All inherited source, author, and human-contributor credits are preserved. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Inherited v0.63.15 description Start learning / Mulai belajar Bahasa Indonesia — open the learner map · English — open the learner map The learner interface keeps a readable program-hosted mirror and a separate prominent authoritative-original link for every language. JSON and backend archives are the secondary machine layer. D70 additive backend preservation This version embeds the exact 1,951,772-byte D70 course-learning-capability/1 zero-copy metadata-and-evidence packet (SHA-256 8f35e196929cc9fb696923237e4592139066f0eaf78b49fb05fb3878bcb8f678) at packets/D70/D70_THIN_CAPABILITY_METADATA_V1.zip, together with its deterministic build receipt. It preserves the prior navigator's 141 non-checksum members byte-for-byte and regenerates the exhaustive checksum index. The honest current global coverage remains 23 of 40 validated roles and 16 of 33 represented native families; the whole backend is not complete. D70 native-full production/build/replay remains available_unverified, full_native_roundtrip_claimed=false, and whole_course_backend_completion=not_yet_proven. The packet contains metadata and evidence, not copied native book bodies. Download the additive bilingual navigator. Extract it and open START-HERE.html; the D70 packet is under packets/D70/. Source and public evidence: D70 integration, coverage, and anonymous readback receipts. All inherited source, author and human-contributor credits remain preserved. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Inherited v0.63.14 description Start learning / Mulai belajar Bahasa Indonesia — open the learner map · English — open the learner map Those human-readable pages are the primary entry points. JSON, CSV, schemas and backend archives remain secondary machine layers. Hosted copy + original source The program uses one language-independent access contract: a readable program-hosted mirror and a separate, prominent original author or publisher route. A mirror never replaces or obscures the original. Material
KokunoYumeto, OpenAI Codex· Zenodo (CERN European Organi...· 0 citations
Start learning: Bahasa Indonesia · English interface. Version 0.63.23 applies reciprocal learner navigation across the complete hosted program surface: every reader links to its course and localized program, every course links to its readers, and hosted copies retain prominent authoritative-original routes. Current language roots use /id/ and /en/; future languages use sibling language-ID namespaces. The portable navigator preserves the validated D70 thin capability packet (1,951,772 bytes; SHA-256 8f35e196929cc9fb696923237e4592139066f0eaf78b49fb05fb3878bcb8f678) and adds the validated zero-copy D30 thin capability packet (828,504 bytes; SHA-256 19074c1dd5f5fa9b5c7ec473bec4347f070c5cabdb04e3c0b52b386714029c2e). D70 native-full replay remains available but unverified; whole-program backend convergence is not claimed, and the exact common-adapter gaps remain A30, B95, and C140. All inherited source, author, and human-contributor credits remain intact. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Start learning: Bahasa Indonesia · English interface. Version 0.63.22 applies reciprocal learner navigation across the complete hosted program surface: every reader links to its course and localized program, every course links to its readers, and hosted copies retain prominent authoritative-original routes. Current language roots use /id/ and /en/; future languages use sibling language-ID namespaces. The portable navigator preserves the validated D70 thin capability packet (1,951,772 bytes; SHA-256 8f35e196929cc9fb696923237e4592139066f0eaf78b49fb05fb3878bcb8f678). D70 native-full replay remains available but unverified, and whole-program backend convergence is not claimed. All inherited source, author, and human-contributor credits remain intact. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Start learning: Bahasa Indonesia · English interface. Version 0.63.21 adds the sealed D50 Smooth Manifolds and Differential Geometry v2.3.1 zero-copy common adapter. Validated coverage is 34/40 roles across 27/33 native families; whole-program backend convergence is not claimed. The access rule applies to every current and future course, edition, format, and language: provide a durable hosted copy where available, retain a prominent authoritative-original link, and provide reciprocal navigation among contents, course, language hub, and global program. Off-origin surfaces remain explicitly incomplete until dated anonymous readback proves their backlinks. Start learning / Mulai belajar English — open the learner curriculum · Bahasa Indonesia — buka peta belajar This release adds the complete program-hosted original-English D110 Mathematics in Lean mirror while keeping the authoritative upstream source separately prominent. Every centrally hosted page returns to both localized course cards and both program roots. The verified closure is 335 classified HTML documents, 332 exactly removable presentation overlays, 223 reader pages, 43 gateway pages, 57 course-surface pages, and 10 generic pages of which 9 carry overlays. The D110 mirror contains 207 files and 16 HTML documents; removal of the central navigation shell and reversal of the local MathJax path reproduces the pinned upstream HTML exactly. Text, repository/build assets, MathJax, and retained static components keep their component-scoped rights and attribution. The navigator also preserves the sealed A10 Elementary Algebra v2.3.1 zero-copy adapter and its validation/authority handoff. The adapter does not imply runtime use by the learner PDF. With the D90 admission, common-backend convergence remains incomplete at 32 of 40 roles across 25 of 33 native families, leaving 8 missing role adapters; 31 roles have GitHub evidence and 13 have Zenodo evidence. The universal navigation contract is hosted copy plus a prominent authoritative-original route plus reciprocal course, contents, and program navigation for every current or future course, edition, format, and language. The bundled six-file federated audit currently covers 27 off-origin surfaces: 3 verified and 24 explicitly remediation-required. It does not claim those sibling repositories are already fixed. Download either learning map, the portable navigator, or the standalone A10 adapter. The interface now exposes 50 of 80 hosted language/course projections and all 80 authoritative-original projections. All inherited source, author, and human-contributor credits are preserved. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Inherited v0.63.19 description Start learning / Mulai belajar English — open the learner curriculum · Bahasa Indonesia — buka peta belajar This release preserves the program-wide reciprocal-navigation layer: every registered hosted reader, gateway, and course surface returns to its localized course card and every registered program-language root. The verified public closure covers 313 HTML documents, including 207 reader pages, 43 gateways, 51 course-surface pages, 10 generic pages, and 2 interface documents; 310 carry an exactly reversible presentation overlay that does not rewrite mathematical bodies. Each of the 80 localized course cards keeps program-hosted copies and authoritative original-author or publisher sources distinct and prominent. The public student-facing HTML is primary; JSON, manifests, contracts, and validators are the machine/reproducibility layer. The four CLP course routes expose seven verified PDFs totaling 4,077 pages plus the authoritative original English source. They share one machine adapter; this record does not claim that the PDFs consume that adapter at runtime. B40 linear algebra is also represented in the validated common-adapter layer. Download the Indonesian or English learning map and portable navigator. The ZIP is a bounded portable navigator, not a complete offline mirror of every public reader asset. Whole-program common-backend convergence remains incomplete at 30 of 40 roles across 23 of 33 native families. All inherited source, author, and human-contributor credits are preserved. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Inherited v0.63.18 description Start learning / Mulai belajar English — open the learner curriculum · Bahasa Indonesia — buka peta belajar This release preserves the program-wide reciprocal-navigation layer: every registered hosted reader, gateway, and course surface returns to its localized course card and every registered program-language root. The verified public closure covers 306 HTML documents, including 207 reader pages, 43 gateways, 44 course-surface pages, and 10 generic/interface pages; 303 carry an exactly reversible presentation overlay that does not rewrite mathematical bodies. Each of the 80 localized course cards keeps program-hosted copies and authoritative original-author or publisher sources distinct and prominent. The public student-facing HTML is primary; JSON, manifests, contracts, and validators are the machine/reproducibility layer. Download the Indonesian or English learning map and portable navigator. The ZIP is a bounded portable navigator, not a complete offline mirror of every public reader asset. Whole-program common-backend convergence remains incomplete. All inherited source, author, and human-contributor credits are preserved. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Inherited v0.63.17 description Start learning / Mulai belajar English — open the learner curriculum · Bahasa Indonesia — buka peta belajar This version preserves the public D100 English algebraic-geometry reader binding and its deterministic common-backend packet inside the offline navigator: 60 source-course units, 32 companion units, 1,201 indexed exercises, 57 mastery items, three reader PDFs totaling 974 pages, semantic HTML readers, exact solution provenance, and Zenodo edition 10.5281/zenodo.22340270. The D100 packet includes structured mathematical JSONL/Markdown inputs required for adapter replay; it is not metadata-only and does not claim a full native source/reader roundtrip or an umbrella licence. Inert task-relative provenance locators are retained as production evidence; no credential, absolute workstation path, or user-profile path is included, and those locators are not needed to open the learner pages. The refreshed navigator also carries forward the newer D120 learner/educator views and closes previously missing offline links for D70, A00, Judson, Open Logic, and C130. The public student-facing HTML remains primary; JSON and backend files are the machine layer. Download the complete multilingual offline navigator, extract it, and open START-HERE.html. All inherited source, author, and human-contributor credits are preserved. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Inherited v0.63.16 description Start learning / Mulai belajar English — open the learner curriculum · Bahasa Indonesia — buka peta belajar This version preserves the newly public D100 English algebraic-geometry reader binding inside the offline navigator: 60 units, 1,188 exercises, three PDFs totaling 974 pages, semantic HTML readers, source/backend repository links, and Zenodo edition 10.5281/zenodo.22340270. It also closes the offline learner dependency for D70 by adding the exact learner tool and its learning-map and validation records. The embedded D70 zero-copy capability packet and its evidence remain byte-identical. The public student-facing HTML remains primary; JSON and backend files are the machine layer. Download the complete multilingual offline navigator, extract it, and open START-HERE.html. All inherited source, author, and human-contributor credits are preserved. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Inherited v0.63.15 description Start learning / Mulai belajar Bahasa Indonesia — open the learner map · English — open the learner map The learn
KokunoYumeto, OpenAI Codex· Zenodo (CERN European Organi...· 0 citations
Start learning: Bahasa Indonesia · English interface. Version 0.63.22 applies reciprocal learner navigation across the complete hosted program surface: every reader links to its course and localized program, every course links to its readers, and hosted copies retain prominent authoritative-original routes. Current language roots use /id/ and /en/; future languages use sibling language-ID namespaces. The portable navigator preserves the validated D70 thin capability packet (1,951,772 bytes; SHA-256 8f35e196929cc9fb696923237e4592139066f0eaf78b49fb05fb3878bcb8f678). D70 native-full replay remains available but unverified, and whole-program backend convergence is not claimed. All inherited source, author, and human-contributor credits remain intact. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Start learning: Bahasa Indonesia · English interface. Version 0.63.21 adds the sealed D50 Smooth Manifolds and Differential Geometry v2.3.1 zero-copy common adapter. Validated coverage is 34/40 roles across 27/33 native families; whole-program backend convergence is not claimed. The access rule applies to every current and future course, edition, format, and language: provide a durable hosted copy where available, retain a prominent authoritative-original link, and provide reciprocal navigation among contents, course, language hub, and global program. Off-origin surfaces remain explicitly incomplete until dated anonymous readback proves their backlinks. Start learning / Mulai belajar English — open the learner curriculum · Bahasa Indonesia — buka peta belajar This release adds the complete program-hosted original-English D110 Mathematics in Lean mirror while keeping the authoritative upstream source separately prominent. Every centrally hosted page returns to both localized course cards and both program roots. The verified closure is 335 classified HTML documents, 332 exactly removable presentation overlays, 223 reader pages, 43 gateway pages, 57 course-surface pages, and 10 generic pages of which 9 carry overlays. The D110 mirror contains 207 files and 16 HTML documents; removal of the central navigation shell and reversal of the local MathJax path reproduces the pinned upstream HTML exactly. Text, repository/build assets, MathJax, and retained static components keep their component-scoped rights and attribution. The navigator also preserves the sealed A10 Elementary Algebra v2.3.1 zero-copy adapter and its validation/authority handoff. The adapter does not imply runtime use by the learner PDF. With the D90 admission, common-backend convergence remains incomplete at 32 of 40 roles across 25 of 33 native families, leaving 8 missing role adapters; 31 roles have GitHub evidence and 13 have Zenodo evidence. The universal navigation contract is hosted copy plus a prominent authoritative-original route plus reciprocal course, contents, and program navigation for every current or future course, edition, format, and language. The bundled six-file federated audit currently covers 27 off-origin surfaces: 3 verified and 24 explicitly remediation-required. It does not claim those sibling repositories are already fixed. Download either learning map, the portable navigator, or the standalone A10 adapter. The interface now exposes 50 of 80 hosted language/course projections and all 80 authoritative-original projections. All inherited source, author, and human-contributor credits are preserved. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Inherited v0.63.19 description Start learning / Mulai belajar English — open the learner curriculum · Bahasa Indonesia — buka peta belajar This release preserves the program-wide reciprocal-navigation layer: every registered hosted reader, gateway, and course surface returns to its localized course card and every registered program-language root. The verified public closure covers 313 HTML documents, including 207 reader pages, 43 gateways, 51 course-surface pages, 10 generic pages, and 2 interface documents; 310 carry an exactly reversible presentation overlay that does not rewrite mathematical bodies. Each of the 80 localized course cards keeps program-hosted copies and authoritative original-author or publisher sources distinct and prominent. The public student-facing HTML is primary; JSON, manifests, contracts, and validators are the machine/reproducibility layer. The four CLP course routes expose seven verified PDFs totaling 4,077 pages plus the authoritative original English source. They share one machine adapter; this record does not claim that the PDFs consume that adapter at runtime. B40 linear algebra is also represented in the validated common-adapter layer. Download the Indonesian or English learning map and portable navigator. The ZIP is a bounded portable navigator, not a complete offline mirror of every public reader asset. Whole-program common-backend convergence remains incomplete at 30 of 40 roles across 23 of 33 native families. All inherited source, author, and human-contributor credits are preserved. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Inherited v0.63.18 description Start learning / Mulai belajar English — open the learner curriculum · Bahasa Indonesia — buka peta belajar This release preserves the program-wide reciprocal-navigation layer: every registered hosted reader, gateway, and course surface returns to its localized course card and every registered program-language root. The verified public closure covers 306 HTML documents, including 207 reader pages, 43 gateways, 44 course-surface pages, and 10 generic/interface pages; 303 carry an exactly reversible presentation overlay that does not rewrite mathematical bodies. Each of the 80 localized course cards keeps program-hosted copies and authoritative original-author or publisher sources distinct and prominent. The public student-facing HTML is primary; JSON, manifests, contracts, and validators are the machine/reproducibility layer. Download the Indonesian or English learning map and portable navigator. The ZIP is a bounded portable navigator, not a complete offline mirror of every public reader asset. Whole-program common-backend convergence remains incomplete. All inherited source, author, and human-contributor credits are preserved. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Inherited v0.63.17 description Start learning / Mulai belajar English — open the learner curriculum · Bahasa Indonesia — buka peta belajar This version preserves the public D100 English algebraic-geometry reader binding and its deterministic common-backend packet inside the offline navigator: 60 source-course units, 32 companion units, 1,201 indexed exercises, 57 mastery items, three reader PDFs totaling 974 pages, semantic HTML readers, exact solution provenance, and Zenodo edition 10.5281/zenodo.22340270. The D100 packet includes structured mathematical JSONL/Markdown inputs required for adapter replay; it is not metadata-only and does not claim a full native source/reader roundtrip or an umbrella licence. Inert task-relative provenance locators are retained as production evidence; no credential, absolute workstation path, or user-profile path is included, and those locators are not needed to open the learner pages. The refreshed navigator also carries forward the newer D120 learner/educator views and closes previously missing offline links for D70, A00, Judson, Open Logic, and C130. The public student-facing HTML remains primary; JSON and backend files are the machine layer. Download the complete multilingual offline navigator, extract it, and open START-HERE.html. All inherited source, author, and human-contributor credits are preserved. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Inherited v0.63.16 description Start learning / Mulai belajar English — open the learner curriculum · Bahasa Indonesia — buka peta belajar This version preserves the newly public D100 English algebraic-geometry reader binding inside the offline navigator: 60 units, 1,188 exercises, three PDFs totaling 974 pages, semantic HTML readers, source/backend repository links, and Zenodo edition 10.5281/zenodo.22340270. It also closes the offline learner dependency for D70 by adding the exact learner tool and its learning-map and validation records. The embedded D70 zero-copy capability packet and its evidence remain byte-identical. The public student-facing HTML remains primary; JSON and backend files are the machine layer. Download the complete multilingual offline navigator, extract it, and open START-HERE.html. All inherited source, author, and human-contributor credits are preserved. Prepared with OpenAI Codex gpt-5.6-sol, Ultra on instructions of the user. Inherited v0.63.15 description Start learning / Mulai belajar Bahasa Indonesia — open the learner map · English — open the learner map The learner interface keeps a readable program-hosted mirror and a separate prominent authoritative-original link for every language. JSON and backend archives are the secondary machine layer. D70 additive backend preservation This version embeds the exact 1,951,772-byte D70 course-learning-capability/1 zero-copy metadata-and-evidence packet (SHA-256 8f35e196929cc9fb696923237e4592139066f0eaf78b49fb05fb3878bcb8f678) at packets/D70/D70_THIN_CAPABILITY_METADATA_V1.zip, together with its deterministic build receipt. It preserves the prior navigator's 141 non-checksum members byte-for-byte and regenerates the exhaustive checksum index. The honest current global coverage remains 23 of 40 validated roles and 16 of 33 represented native families; the whole backend is not complete. D70 native-full production/build/replay remains available_unverified, full_native_roundtrip_claimed=false, and whole_course_backend_completion=not_yet_proven. The packet contains metadata and evidence, not copied native book bodies. Download the additive bilingual
KokunoYumeto, OpenAI Codex· Zenodo (CERN European Organi...· 0 citations
Start learning / Mulai belajar Bahasa Indonesia — open the learning map · English — open the learning map This update corrects two further missed, already-complete English editions: B80 Mathematical Computing (161 pages, 14 units, 75 exercises with hints and full solutions) and D50 Differential Geometry (658 pages, all 29 lecture/worksheet pairs, ten exam/solution forms and both bridges). No translation is restarted. D50 HTML ZIP needs internet for MathJax; the PDF can be used after download. Previously integrated English algebra editions remain linked: D70 includes the complete Li Volume 1 and three English companion readers (634 pages total); D80 includes the corrected English Volume 2 HTML/PDF (820 PDF pages). English learning-resource bindings now cover 39 course roles. Remaining missing links are not evidence of missing translation. All Indonesian translations remain complete. Both /id/ and /en/ routes share the canonical 40-course/83-edge graph and local progress. The unchanged B80 native learning-capability packet remains preserved inside the navigator ZIP under packets/. Its learner and teacher pages cover 14 units, 75 exercises (72 core and three needing additional prerequisites), four laboratories and all 326 native records. It uses course-learning-capability/1, not a new 2.3.1 claim. These materials are Indonesian and do not execute Python/SageMath or grade work. Native lesson downloads are separate. The audit remains the backend integrator; the interface only consumes its verified handoff. Download peta-belajar-multilingual-v0.63.4.zip, unzip it, and open START-HERE.html. The package includes both single-file offline maps, interface source, input/output hashes, deterministic tests, and the exact B80 capability preservation packet. It replaces only the previous offline navigator in this version; 99 inherited program/backend files remain byte-identical. Earlier version-specific receipts and source archives remain historical. All previous public versions remain available. GitHub interface release: downloads and source. Interface prepared with OpenAI Codex on instructions of the user; existing author and contributor credits are preserved. Inherited program and backend notes (v0.62.17) Mulai belajar: buka Program Matematika Indonesia. Halaman berbahasa Indonesia ini adalah pintu utama untuk menelusuri kurikulum, prasyarat, bahan baca, dan edisi publik. Backend modular: buka pusat backend. Rilis ini menambahkan satu paket adapter common-v2.3.1 yang tipis dan tanpa penyalinan untuk empat edisi CLP yang sudah selesai dan sudah publik: B20, B30, B50, dan B60. Tujuh rute PDF Bahasa Indonesia mencakup 4.077 halaman. Ini adalah integrasi interoperabilitas; bukan pekerjaan penerjemahan CLP tambahan dan bukan pengganti otoritas native setiap edisi. Proyeksi pusat memuat 40 kapsul kursus, 13 binding adapter terverifikasi, dan sembilan keluarga paket adapter. Paket CLP mempertahankan identitas sumber, hak, status terjemahan, kemampuan, dan rute pembaca. Program keseluruhan menggunakan snapshot sumber rilis yang ditautkan; status penerbitan tiap buku dapat berkembang secara independen pada repositori dan DOI native masing-masing. Proyeksi GitHub identik tersedia pada rilis v0.62.17. Record pendahulu Zenodo tetap publik dan tidak diubah atau dibatasi. Paket gabungan menggunakan lisensi other-open karena komponen mempertahankan lisensi masing-masing. Integrasi, QA, dan penerbitan dibantu oleh OpenAI Codex gpt-5.6-sol, Ultra atas instruksi pengguna.
KokunoYumeto, OpenAI Codex· Zenodo (CERN European Organi...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
