Kerja Matematika yang Dapat Ditelusuri — Pembaca Bahasa Indonesia (O017/D120)

Kerja Matematika yang Dapat Ditelusuri is the complete Bahasa Indonesia O017/D120 reader for Research Reading, Exposition, and Reproducible Mathematical Work. Its preserved nine-unit spine covers literature search and source authority; theorem and proof reading; reconstruction of omitted arguments; citation and provenance; auditable exposition; reproducible mathematical computation; errata; seminar and referee practice; response to criticism; and bounded community contribution.

Version 2026.08.24 is a terminology-QA successor. It records direct inspection of Indonesian TeX from arXiv:0807.4609v1 and official Indonesian mathematics materials, makes the glossary distinction between komputasi and perhitungan explicit, and corrects two residual structured-data labels to pohon merentang minimum and Provenance pencarian. Stable identifiers, mathematics, source credits, donor credits, and component rights are preserved. The authentic-delivery wrapper, locale-neutral semantic assessment backend, digest-pinned rebuild environment, font-rights closure, and accessibility disclosure remain complete.

The PDF is untagged and is not the accessible edition. The accessible HTML reader is published on GitHub Pages and supplied as an offline archive with semantic structure, keyboard navigation, alternative text, and native MathML.

Authoritative preservation: https://zenodo.org/records/22073823 contains the A4 PDF, accessible HTML archive, editable Quarto source, delivery package, stable-ID backend, environment lock, executable examples, rights evidence, deterministic manifests, checksums, and QA receipts. The matching public source lineage is GitHub repository KokunoYumeto/kerja-matematika-yang-dapat-ditelusuri-id.

Production system: OpenAI Codex gpt-5.6-sol, Ultra. Used under the human creator's direction; KokunoYumeto is the public rights-holder and licensor identity for protectable original output. Model-assisted QA checked the edition at terminology, unit, wrapper, backend, environment, PDF, and release gates. This is not a claim of human peer review, institutional endorsement, external scholarly validation, learner completion, or community submission. Curriculum admission remains a separate decision.

Licenses: primary original reader content is CC BY-SA 4.0; bounded donor adaptations retain CC BY 4.0 attribution; original software/schema is MIT; factual outputs are CC0; HTML runtimes and embedded PDF fonts retain their MIT, Apache-2.0, SIL OFL 1.1, GUST Font License, and AMSFonts terms. Zenodo therefore uses the mixed/open license category. LICENSES.md and THIRD_PARTY_NOTICES.md control per-component rights.