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

Kerja Matematika yang Dapat Ditelusuri is a complete nine-unit Bahasa Indonesia self-study reader for O017/D120, Research Reading, Exposition, and Reproducible Mathematical Work. It 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 one bounded community-contribution portfolio. Read online: GitHub Pages HTML reader. Source: public GitHub repository. This corrected release adds the 128-page A4 PDF with DOI-bearing front matter and a directly readable HTML access layer. It also contains the offline HTML reader, editable Quarto source, executable examples, a locale-neutral stable-ID backend, build scripts, source/rights evidence, and deterministic QA receipts. It was produced with OpenAI Codex under Floris's direction; Floris is the rights holder and licensor for protectable original output. Separate model-assisted QA passes checked the edition at unit and release gates; this is not a claim of human peer review, institutional endorsement, or external scholarly validation. Publication of this edition is separate from any decision to admit it into a larger 40-course curriculum. 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; bundled HTML runtimes retain MIT or Apache-2.0. The record therefore uses Zenodo's mixed/open license category. See LICENSES.md and THIRD_PARTY_NOTICES.md.