Program Matematika Indonesia v0.63.23 - Universal Navigation and D30+D70 Capabilities
Abstract
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
