{ "contract": "course-learning-capability/1", "course_id": "D120", "limitations": [ "This English view is an additive localization of the same D120 semantic objects; it does not create a second course identity.", "The adapter projects identities, metadata, relations, and evidence while course bodies remain in the public native edition.", "All 54 supporting records are source guidance, not complete solutions.", "HTML fragments are access locators and are not promoted to semantic identities.", "No learner attempt, submission, result, external participation, or credential is claimed." ], "locale": "en", "native_course_id": "O017-D120", "native_reader": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/index.html", "portable_reader": "https://github.com/KokunoYumeto/kerja-matematika-yang-dapat-ditelusuri-id/releases/download/en-v2026.08.31/o017-d120-en-2026.08.31-reader-html.zip", "prerequisites": [ "B80", "C20", "C40" ], "route": { "route_id": "D120:route:nine-unit", "unit_ids": [ "O017-U01", "O017-U02", "O017-U03", "O017-U04", "O017-U05", "O017-U06", "O017-U07", "O017-U08", "O017-U09" ] }, "schema": "d120-learning-map/1", "title": "Traceable Mathematical Work", "units": [ { "assessment_id": "O017-ASMT-U01-COMPLETION", "competency": { "domain_code": "READ_ARGUMENT_NETWORKS", "id": "O017-COMP-U01", "localization": { "description": "Separate claims, assumptions, support, limitations, and uncertainty in mathematical arguments.", "label": "Reading arguments as networks of claims" } }, "ordinal": 1, "outcomes": [ { "id": "O017-LO-U01-01", "localization": { "description": "distinguish definitions, assumptions, claims, illustrations, and conclusions in mathematical text;" }, "sequence": 1 }, { "id": "O017-LO-U01-02", "localization": { "description": "turn phrases such as *clearly* or *by an exchange argument* into explicit proof obligations;" }, "sequence": 2 }, { "id": "O017-LO-U01-03", "localization": { "description": "reconstruct omitted steps without illegitimately strengthening the claim;" }, "sequence": 3 }, { "id": "O017-LO-U01-04", "localization": { "description": "test the role of assumptions using examples and counterexamples;" }, "sequence": 4 }, { "id": "O017-LO-U01-05", "localization": { "description": "use computation as diagnostic empirical evidence, not as a substitute for proof; and" }, "sequence": 5 }, { "id": "O017-LO-U01-06", "localization": { "description": "record sources, interpretive decisions, and uncertainty in an auditable reading memo." }, "sequence": 6 } ], "practice": [ { "exercise_id": "O017-U01-X01", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/01-membaca-argumen.html#o017-u01-x01", "guidance_id": "O017-U01-H01", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/01-membaca-argumen.html#o017-u01-h01" }, { "exercise_id": "O017-U01-X02", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/01-membaca-argumen.html#o017-u01-x02", "guidance_id": "O017-U01-H02", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/01-membaca-argumen.html#o017-u01-h02" }, { "exercise_id": "O017-U01-X03", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/01-membaca-argumen.html#o017-u01-x03", "guidance_id": "O017-U01-H03", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/01-membaca-argumen.html#o017-u01-h03" }, { "exercise_id": "O017-U01-X04", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/01-membaca-argumen.html#o017-u01-x04", "guidance_id": "O017-U01-H04", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/01-membaca-argumen.html#o017-u01-h04" }, { "exercise_id": "O017-U01-X05", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/01-membaca-argumen.html#o017-u01-x05", "guidance_id": "O017-U01-H05", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/01-membaca-argumen.html#o017-u01-h05" }, { "exercise_id": "O017-U01-X06", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/01-membaca-argumen.html#o017-u01-x06", "guidance_id": "O017-U01-H06", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/01-membaca-argumen.html#o017-u01-h06" } ], "public_reader": { "url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/01-membaca-argumen.html", "bytes": 60406, "sha256": "1dc7d86640b907b734da72f1309d280a98d98cba552cfec364f7761bb10641e5" }, "title": "Reading Arguments as Networks of Claims", "unit_id": "O017-U01" }, { "assessment_id": "O017-ASMT-U02-COMPLETION", "competency": { "domain_code": "SOURCE_AUTHORITY", "id": "O017-COMP-U02", "localization": { "description": "Find, freeze, compare, and delimit the authority of suitable mathematical sources.", "label": "Searching sources and assessing authority" } }, "ordinal": 2, "outcomes": [ { "id": "O017-LO-U02-01", "localization": { "description": "turn a mathematical claim into a bounded, repeatable search question;" }, "sequence": 1 }, { "id": "O017-LO-U02-02", "localization": { "description": "distinguish search tools, metadata records, full texts, specific editions or versions, and correction records;" }, "sequence": 2 }, { "id": "O017-LO-U02-03", "localization": { "description": "assess a source's authority for a particular question, rather than relying only on reputation or search-result order;" }, "sequence": 3 }, { "id": "O017-LO-U02-04", "localization": { "description": "distinguish persistent identifiers for a work in general from identifiers for a particular version;" }, "sequence": 4 }, { "id": "O017-LO-U02-05", "localization": { "description": "draw citation chains as directed graphs with typed relationships;" }, "sequence": 5 }, { "id": "O017-LO-U02-06", "localization": { "description": "separate evidence that a source states a claim from proof that the claim is true; and" }, "sequence": 6 }, { "id": "O017-LO-U02-07", "localization": { "description": "record uncertainty without filling missing data with guesses." }, "sequence": 7 } ], "practice": [ { "exercise_id": "O017-U02-X01", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/02-menelusuri-sumber.html#o017-u02-x01", "guidance_id": "O017-U02-H01", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/02-menelusuri-sumber.html#o017-u02-h01" }, { "exercise_id": "O017-U02-X02", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/02-menelusuri-sumber.html#o017-u02-x02", "guidance_id": "O017-U02-H02", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/02-menelusuri-sumber.html#o017-u02-h02" }, { "exercise_id": "O017-U02-X03", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/02-menelusuri-sumber.html#o017-u02-x03", "guidance_id": "O017-U02-H03", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/02-menelusuri-sumber.html#o017-u02-h03" }, { "exercise_id": "O017-U02-X04", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/02-menelusuri-sumber.html#o017-u02-x04", "guidance_id": "O017-U02-H04", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/02-menelusuri-sumber.html#o017-u02-h04" }, { "exercise_id": "O017-U02-X05", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/02-menelusuri-sumber.html#o017-u02-x05", "guidance_id": "O017-U02-H05", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/02-menelusuri-sumber.html#o017-u02-h05" }, { "exercise_id": "O017-U02-X06", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/02-menelusuri-sumber.html#o017-u02-x06", "guidance_id": "O017-U02-H06", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/02-menelusuri-sumber.html#o017-u02-h06" } ], "public_reader": { "url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/02-menelusuri-sumber.html", "bytes": 78474, "sha256": "1ddbf07ad30c13820d121e3dd048d7a893c73e9b3a35004902e32a6de7a04888" }, "title": "Searching the Literature and Assessing Source Authority", "unit_id": "O017-U02" }, { "assessment_id": "O017-ASMT-U03-COMPLETION", "competency": { "domain_code": "PROOF_RECONSTRUCTION", "id": "O017-COMP-U03", "localization": { "description": "Close or report proof gaps through quantifiers, lemma contracts, and dependency graphs.", "label": "Reconstructing proofs" } }, "ordinal": 3, "outcomes": [ { "id": "O017-LO-U03-01", "localization": { "description": "freeze the claim to be reconstructed without silently adding or removing hypotheses;" }, "sequence": 1 }, { "id": "O017-LO-U03-02", "localization": { "description": "expand the quantifiers, domains, and definitions that determine the proof target;" }, "sequence": 2 }, { "id": "O017-LO-U03-03", "localization": { "description": "turn compressed parts of a proof into obligations with clear inputs and outputs;" }, "sequence": 3 }, { "id": "O017-LO-U03-04", "localization": { "description": "draw dependency graphs between targets, lemmas, definitions, and hypotheses;" }, "sequence": 4 }, { "id": "O017-LO-U03-05", "localization": { "description": "select a lemma by its mathematical contract and check every hypothesis in the current context;" }, "sequence": 5 }, { "id": "O017-LO-U03-06", "localization": { "description": "connect forward planning from the hypotheses with backward planning from the conclusion;" }, "sequence": 6 }, { "id": "O017-LO-U03-07", "localization": { "description": "write a minimally sufficient reconstruction—complete enough to audit without turning one step into a new textbook; and" }, "sequence": 7 }, { "id": "O017-LO-U03-08", "localization": { "description": "distinguish closed gaps, gaps conditional on a reference, and gaps that remain unresolved." }, "sequence": 8 } ], "practice": [ { "exercise_id": "O017-U03-X01", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/03-merekonstruksi-pembuktian.html#o017-u03-x01", "guidance_id": "O017-U03-H01", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/03-merekonstruksi-pembuktian.html#o017-u03-h01" }, { "exercise_id": "O017-U03-X02", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/03-merekonstruksi-pembuktian.html#o017-u03-x02", "guidance_id": "O017-U03-H02", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/03-merekonstruksi-pembuktian.html#o017-u03-h02" }, { "exercise_id": "O017-U03-X03", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/03-merekonstruksi-pembuktian.html#o017-u03-x03", "guidance_id": "O017-U03-H03", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/03-merekonstruksi-pembuktian.html#o017-u03-h03" }, { "exercise_id": "O017-U03-X04", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/03-merekonstruksi-pembuktian.html#o017-u03-x04", "guidance_id": "O017-U03-H04", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/03-merekonstruksi-pembuktian.html#o017-u03-h04" }, { "exercise_id": "O017-U03-X05", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/03-merekonstruksi-pembuktian.html#o017-u03-x05", "guidance_id": "O017-U03-H05", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/03-merekonstruksi-pembuktian.html#o017-u03-h05" }, { "exercise_id": "O017-U03-X06", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/03-merekonstruksi-pembuktian.html#o017-u03-x06", "guidance_id": "O017-U03-H06", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/03-merekonstruksi-pembuktian.html#o017-u03-h06" } ], "public_reader": { "url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/03-merekonstruksi-pembuktian.html", "bytes": 164358, "sha256": "2e7a06b4a1beb00a98e294ae02f99ab3f73a047513e9b6c7ad96f9dc7d48f6ba" }, "title": "Reconstructing Compressed or Omitted Proofs", "unit_id": "O017-U03" }, { "assessment_id": "O017-ASMT-U04-COMPLETION", "competency": { "domain_code": "SCHOLARLY_PROVENANCE", "id": "O017-COMP-U04", "localization": { "description": "Link claims to works, versions, copies, locators, evidence, decisions, and uncertainty.", "label": "Maintaining citations and provenance" } }, "ordinal": 4, "outcomes": [ { "id": "O017-LO-U04-01", "localization": { "description": "distinguish **citation**, **evidence provenance**, and **computational provenance** without substituting one for another;" }, "sequence": 1 }, { "id": "O017-LO-U04-02", "localization": { "description": "record works, versions, copies, and internal locations as distinct but connected objects;" }, "sequence": 2 }, { "id": "O017-LO-U04-03", "localization": { "description": "link a normalized claim to a locator precise enough for another reader to find the wording actually checked;" }, "sequence": 3 }, { "id": "O017-LO-U04-04", "localization": { "description": "preserve the basis for accepting, rejecting, or restricting a mathematical claim, not merely its bibliography;" }, "sequence": 4 }, { "id": "O017-LO-U04-05", "localization": { "description": "record corrections as relationships between versions without overwriting or deleting the old source's historical state;" }, "sequence": 5 }, { "id": "O017-LO-U04-06", "localization": { "description": "write structured uncertainty records and refuse to fill missing metadata with guesses;" }, "sequence": 6 }, { "id": "O017-LO-U04-07", "localization": { "description": "design a source notebook that can be updated, reviewed, and exported without losing its decision trail; and" }, "sequence": 7 }, { "id": "O017-LO-U04-08", "localization": { "description": "assemble a claim dossier combining citation, provenance, mathematical audit, and limits on the conclusion." }, "sequence": 8 } ], "practice": [ { "exercise_id": "O017-U04-E01", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/04-sitasi-provenance-catatan-sumber.html#o017-u04-e01", "guidance_id": "O017-U04-H01", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/04-sitasi-provenance-catatan-sumber.html#o017-u04-h01" }, { "exercise_id": "O017-U04-E02", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/04-sitasi-provenance-catatan-sumber.html#o017-u04-e02", "guidance_id": "O017-U04-H02", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/04-sitasi-provenance-catatan-sumber.html#o017-u04-h02" }, { "exercise_id": "O017-U04-E03", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/04-sitasi-provenance-catatan-sumber.html#o017-u04-e03", "guidance_id": "O017-U04-H03", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/04-sitasi-provenance-catatan-sumber.html#o017-u04-h03" }, { "exercise_id": "O017-U04-E04", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/04-sitasi-provenance-catatan-sumber.html#o017-u04-e04", "guidance_id": "O017-U04-H04", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/04-sitasi-provenance-catatan-sumber.html#o017-u04-h04" }, { "exercise_id": "O017-U04-E05", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/04-sitasi-provenance-catatan-sumber.html#o017-u04-e05", "guidance_id": "O017-U04-H05", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/04-sitasi-provenance-catatan-sumber.html#o017-u04-h05" }, { "exercise_id": "O017-U04-E06", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/04-sitasi-provenance-catatan-sumber.html#o017-u04-e06", "guidance_id": "O017-U04-H06", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/04-sitasi-provenance-catatan-sumber.html#o017-u04-h06" } ], "public_reader": { "url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/04-sitasi-provenance-catatan-sumber.html", "bytes": 112237, "sha256": "2f6e1a1b42090b77d5fd40d1523dba3347e41615c2d5d9adff0aa7855f7153bf" }, "title": "Citation, Provenance, and Source Notebooks", "unit_id": "O017-U04" }, { "assessment_id": "O017-ASMT-U05-COMPLETION", "competency": { "domain_code": "AUDITABLE_EXPOSITION", "id": "O017-COMP-U05", "localization": { "description": "Turn a valid argument into a clear, checkable reading path and oral presentation.", "label": "Writing auditable exposition" } }, "ordinal": 5, "outcomes": [ { "id": "O017-LO-U05-01", "localization": { "description": "establish the audience, prerequisites, purpose, and scope of an exposition before choosing its level of detail;" }, "sequence": 1 }, { "id": "O017-LO-U05-02", "localization": { "description": "organize definitions, theorems, proofs, examples, and counterexamples as components with distinct functions;" }, "sequence": 2 }, { "id": "O017-LO-U05-03", "localization": { "description": "use typed notation, introduced before use and consistent throughout the document;" }, "sequence": 3 }, { "id": "O017-LO-U05-04", "localization": { "description": "give important claims local locators and cite external sources only for work those sources actually perform;" }, "sequence": 4 }, { "id": "O017-LO-U05-05", "localization": { "description": "provide local signposts so readers know the goal, why a step appears, and where the argument will return;" }, "sequence": 5 }, { "id": "O017-LO-U05-06", "localization": { "description": "revise drafts through a claim-dependency audit without hiding hypotheses, limitations, or uncertainty;" }, "sequence": 6 }, { "id": "O017-LO-U05-07", "localization": { "description": "distinguish proved statements from illustrations, counterexamples, heuristics, and historical comments; and" }, "sequence": 7 }, { "id": "O017-LO-U05-08", "localization": { "description": "turn written exposition into seminar notes that can be followed, questioned, and honestly corrected." }, "sequence": 8 } ], "practice": [ { "exercise_id": "O017-U05-E01", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/05-eksposisi-matematika.html#o017-u05-e01", "guidance_id": "O017-U05-H01", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/05-eksposisi-matematika.html#o017-u05-h01" }, { "exercise_id": "O017-U05-E02", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/05-eksposisi-matematika.html#o017-u05-e02", "guidance_id": "O017-U05-H02", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/05-eksposisi-matematika.html#o017-u05-h02" }, { "exercise_id": "O017-U05-E03", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/05-eksposisi-matematika.html#o017-u05-e03", "guidance_id": "O017-U05-H03", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/05-eksposisi-matematika.html#o017-u05-h03" }, { "exercise_id": "O017-U05-E04", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/05-eksposisi-matematika.html#o017-u05-e04", "guidance_id": "O017-U05-H04", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/05-eksposisi-matematika.html#o017-u05-h04" }, { "exercise_id": "O017-U05-E05", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/05-eksposisi-matematika.html#o017-u05-e05", "guidance_id": "O017-U05-H05", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/05-eksposisi-matematika.html#o017-u05-h05" }, { "exercise_id": "O017-U05-E06", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/05-eksposisi-matematika.html#o017-u05-e06", "guidance_id": "O017-U05-H06", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/05-eksposisi-matematika.html#o017-u05-h06" } ], "public_reader": { "url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/05-eksposisi-matematika.html", "bytes": 122879, "sha256": "b88c849f6f74247f2566db9fa33aafb694c738ab99c0aebdee5c35b069d5dfbb" }, "title": "Writing Auditable Mathematical Exposition", "unit_id": "O017-U05" }, { "assessment_id": "O017-ASMT-U06-COMPLETION", "competency": { "domain_code": "COMPUTATIONAL_EVIDENCE", "id": "O017-COMP-U06", "localization": { "description": "Reproduce and critique computational evidence without turning it into universal proof.", "label": "Situating computational evidence" } }, "ordinal": 6, "outcomes": [ { "id": "O017-LO-U06-01", "localization": { "description": "separate claims about one execution, output repeatability, implementation correctness, finite results, and universal theorems;" }, "sequence": 1 }, { "id": "O017-LO-U06-02", "localization": { "description": "distinguish conjecture-generating experiments, counterexample searches, exhaustive finite checks, computational certificates, and proofs;" }, "sequence": 2 }, { "id": "O017-LO-U06-03", "localization": { "description": "freeze code, inputs, parameters, versions, dependencies, arithmetic models, random seeds, outputs, and execution procedures as one provenance package;" }, "sequence": 3 }, { "id": "O017-LO-U06-04", "localization": { "description": "rerun an artifact at least twice and compare actual bytes with expected outputs without silently updating the oracle;" }, "sequence": 4 }, { "id": "O017-LO-U06-05", "localization": { "description": "audit whether a program actually tests the stated claim, including its domain, index bounds, boundary cases, and numerical meaning;" }, "sequence": 5 }, { "id": "O017-LO-U06-06", "localization": { "description": "design falsification attempts that distinguish environment failures, nondeterminism, weak oracles, and mathematical errors;" }, "sequence": 6 }, { "id": "O017-LO-U06-07", "localization": { "description": "present machine outputs with plain-text summaries readable without color, plots, or particular software;" }, "sequence": 7 }, { "id": "O017-LO-U06-08", "localization": { "description": "assess exactly what computational witnesses for Cassini's identity establish and do not establish; and" }, "sequence": 8 }, { "id": "O017-LO-U06-09", "localization": { "description": "assemble a mathematical-computation dossier that another reader can audit." }, "sequence": 9 } ], "practice": [ { "exercise_id": "O017-U06-EX01", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/06-komputasi-dapat-direproduksi.html#o017-u06-ex01", "guidance_id": "O017-U06-H01", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/06-komputasi-dapat-direproduksi.html#o017-u06-h01" }, { "exercise_id": "O017-U06-EX02", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/06-komputasi-dapat-direproduksi.html#o017-u06-ex02", "guidance_id": "O017-U06-H02", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/06-komputasi-dapat-direproduksi.html#o017-u06-h02" }, { "exercise_id": "O017-U06-EX03", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/06-komputasi-dapat-direproduksi.html#o017-u06-ex03", "guidance_id": "O017-U06-H03", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/06-komputasi-dapat-direproduksi.html#o017-u06-h03" }, { "exercise_id": "O017-U06-EX04", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/06-komputasi-dapat-direproduksi.html#o017-u06-ex04", "guidance_id": "O017-U06-H04", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/06-komputasi-dapat-direproduksi.html#o017-u06-h04" }, { "exercise_id": "O017-U06-EX05", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/06-komputasi-dapat-direproduksi.html#o017-u06-ex05", "guidance_id": "O017-U06-H05", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/06-komputasi-dapat-direproduksi.html#o017-u06-h05" }, { "exercise_id": "O017-U06-EX06", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/06-komputasi-dapat-direproduksi.html#o017-u06-ex06", "guidance_id": "O017-U06-H06", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/06-komputasi-dapat-direproduksi.html#o017-u06-h06" } ], "public_reader": { "url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/06-komputasi-dapat-direproduksi.html", "bytes": 112783, "sha256": "a7ba8064c0a6c2ff65a3122f2dfe99e39bb61d00ff4c49d4e3c0b10daa62786c" }, "title": "Reproducible Mathematical Computation", "unit_id": "O017-U06" }, { "assessment_id": "O017-ASMT-U07-COMPLETION", "competency": { "domain_code": "ERRATA_AND_CORRECTION", "id": "O017-COMP-U07", "localization": { "description": "Prove defects, delimit their impact, and propose corrections without erasing history.", "label": "Diagnosing errata and corrections" } }, "ordinal": 7, "outcomes": [ { "id": "O017-LO-U07-01", "localization": { "description": "distinguish typographical errors, local exposition defects, missing hypotheses, theorems false as written, ambiguous locators, and computational defects;" }, "sequence": 1 }, { "id": "O017-LO-U07-02", "localization": { "description": "separate **impact severity** from **confidence** in the diagnosis;" }, "sequence": 2 }, { "id": "O017-LO-U07-03", "localization": { "description": "freeze the version, copy, locator, and wording actually checked;" }, "sequence": 3 }, { "id": "O017-LO-U07-04", "localization": { "description": "construct a minimal reproducer that checks every hypothesis before demonstrating failure of the conclusion;" }, "sequence": 4 }, { "id": "O017-LO-U07-05", "localization": { "description": "distinguish what is observed, proved, provisionally inferred, and unknown;" }, "sequence": 5 }, { "id": "O017-LO-U07-06", "localization": { "description": "formulate a sufficiently narrow correction and prove that it is adequate;" }, "sequence": 6 }, { "id": "O017-LO-U07-07", "localization": { "description": "preserve correction records as append-only history without overwriting earlier claims or versions;" }, "sequence": 7 }, { "id": "O017-LO-U07-08", "localization": { "description": "write one concise, specific, actionable issue or erratum draft without contacting external parties; and" }, "sequence": 8 }, { "id": "O017-LO-U07-09", "localization": { "description": "stop or escalate an investigation when evidence, authority, or the scope of impact remains insufficient." }, "sequence": 9 } ], "practice": [ { "exercise_id": "O017-U07-X01", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/07-errata-koreksi-batas-kepastian.html#o017-u07-x01", "guidance_id": "O017-U07-H01", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/07-errata-koreksi-batas-kepastian.html#o017-u07-h01" }, { "exercise_id": "O017-U07-X02", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/07-errata-koreksi-batas-kepastian.html#o017-u07-x02", "guidance_id": "O017-U07-H02", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/07-errata-koreksi-batas-kepastian.html#o017-u07-h02" }, { "exercise_id": "O017-U07-X03", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/07-errata-koreksi-batas-kepastian.html#o017-u07-x03", "guidance_id": "O017-U07-H03", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/07-errata-koreksi-batas-kepastian.html#o017-u07-h03" }, { "exercise_id": "O017-U07-X04", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/07-errata-koreksi-batas-kepastian.html#o017-u07-x04", "guidance_id": "O017-U07-H04", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/07-errata-koreksi-batas-kepastian.html#o017-u07-h04" }, { "exercise_id": "O017-U07-X05", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/07-errata-koreksi-batas-kepastian.html#o017-u07-x05", "guidance_id": "O017-U07-H05", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/07-errata-koreksi-batas-kepastian.html#o017-u07-h05" }, { "exercise_id": "O017-U07-X06", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/07-errata-koreksi-batas-kepastian.html#o017-u07-x06", "guidance_id": "O017-U07-H06", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/07-errata-koreksi-batas-kepastian.html#o017-u07-h06" } ], "public_reader": { "url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/07-errata-koreksi-batas-kepastian.html", "bytes": 142014, "sha256": "642b08ba5dd22506a592237c1f5f4a0025de3eda66bc9f757d62fe997cc9a892" }, "title": "Errata, Corrections, and Limits of Certainty", "unit_id": "O017-U07" }, { "assessment_id": "O017-ASMT-U08-COMPLETION", "competency": { "domain_code": "SEMINAR_AND_REVIEW", "id": "O017-COMP-U08", "localization": { "description": "Take seminar notes, review work, respond to criticism, and preserve unresolved issues.", "label": "Participating in seminars and review" } }, "ordinal": 8, "outcomes": [ { "id": "O017-LO-U08-01", "localization": { "description": "turn a mathematical talk into claim notes recording time, location, type, basis, verification status, and confidence;" }, "sequence": 1 }, { "id": "O017-LO-U08-02", "localization": { "description": "mark inaudible or unrecorded portions without inventing replacement content;" }, "sequence": 2 }, { "id": "O017-LO-U08-03", "localization": { "description": "distinguish summary, verification, questions, and objections, and separate issue severity from confidence in the diagnosis;" }, "sequence": 3 }, { "id": "O017-LO-U08-04", "localization": { "description": "write specific, evidence-bounded referee comments that respect the author and request feasible action;" }, "sequence": 4 }, { "id": "O017-LO-U08-05", "localization": { "description": "assess recommendations to accept, request minor or major revision, or reject by the state of the manuscript rather than the author's reputation or presumed intentions;" }, "sequence": 5 }, { "id": "O017-LO-U08-06", "localization": { "description": "respond to criticism by stating agreement or disagreement, action, evidence, change location, status, and unresolved matters;" }, "sequence": 6 }, { "id": "O017-LO-U08-07", "localization": { "description": "repair a theorem and proof without concealing the old wording or claiming a broader repair than has been proved; and" }, "sequence": 7 }, { "id": "O017-LO-U08-08", "localization": { "description": "produce an auditable seminar–review–response package without contacting external parties or publishing anything." }, "sequence": 8 } ], "practice": [ { "exercise_id": "O017-U08-E01", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/08-seminar-penelaah-tanggapan-kritik.html#o017-u08-e01", "guidance_id": "O017-U08-H01", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/08-seminar-penelaah-tanggapan-kritik.html#o017-u08-h01" }, { "exercise_id": "O017-U08-E02", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/08-seminar-penelaah-tanggapan-kritik.html#o017-u08-e02", "guidance_id": "O017-U08-H02", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/08-seminar-penelaah-tanggapan-kritik.html#o017-u08-h02" }, { "exercise_id": "O017-U08-E03", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/08-seminar-penelaah-tanggapan-kritik.html#o017-u08-e03", "guidance_id": "O017-U08-H03", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/08-seminar-penelaah-tanggapan-kritik.html#o017-u08-h03" }, { "exercise_id": "O017-U08-E04", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/08-seminar-penelaah-tanggapan-kritik.html#o017-u08-e04", "guidance_id": "O017-U08-H04", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/08-seminar-penelaah-tanggapan-kritik.html#o017-u08-h04" }, { "exercise_id": "O017-U08-E05", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/08-seminar-penelaah-tanggapan-kritik.html#o017-u08-e05", "guidance_id": "O017-U08-H05", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/08-seminar-penelaah-tanggapan-kritik.html#o017-u08-h05" }, { "exercise_id": "O017-U08-E06", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/08-seminar-penelaah-tanggapan-kritik.html#o017-u08-e06", "guidance_id": "O017-U08-H06", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/08-seminar-penelaah-tanggapan-kritik.html#o017-u08-h06" } ], "public_reader": { "url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/08-seminar-penelaah-tanggapan-kritik.html", "bytes": 145436, "sha256": "6af1228db05f9cb4f50bd6a90a00e132c137f112499e55a53d8d865f71964336" }, "title": "Seminar Notes, Referee Reports, and Responses to Criticism", "unit_id": "O017-U08" }, { "assessment_id": "O017-ASMT-U09-CAPSTONE", "competency": { "domain_code": "BOUNDED_CONTRIBUTION", "id": "O017-COMP-U09", "localization": { "description": "Bound, validate, communicate, and record the status of a single contribution without overstating the evidence.", "label": "Preparing bounded community contributions" } }, "ordinal": 9, "outcomes": [ { "id": "O017-LO-U09-01", "localization": { "description": "choose one small, useful, lawful community contribution that can be completed without silently expanding its scope;" }, "sequence": 1 }, { "id": "O017-LO-U09-02", "localization": { "description": "operationally distinguish the states **draft**, **prepared**, **submitted**, **acknowledged**, **accepted**, **merged**, and **published**;" }, "sequence": 2 }, { "id": "O017-LO-U09-03", "localization": { "description": "reject external-status claims unsupported by event evidence;" }, "sequence": 3 }, { "id": "O017-LO-U09-04", "localization": { "description": "package the target, locator, diagnosis, minimal repair, validation, scope, uncertainty, rights, and attribution as one contribution;" }, "sequence": 4 }, { "id": "O017-LO-U09-05", "localization": { "description": "write one concise, actionable message that respects maintainers without flooding the channel with separate comments;" }, "sequence": 5 }, { "id": "O017-LO-U09-06", "localization": { "description": "establish a path to stop, withdraw, correct, or reverse a contribution found to be wrong, obsolete, duplicate, or no longer authorized;" }, "sequence": 6 }, { "id": "O017-LO-U09-07", "localization": { "description": "assemble a portfolio mapping every competency claim to actual evidence from Units 1–8; and" }, "sequence": 7 }, { "id": "O017-LO-U09-08", "localization": { "description": "assess course completion by evidence quality, traceability, and limitations rather than file counts or activity claims." }, "sequence": 8 } ], "practice": [ { "exercise_id": "O017-U09-E01", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/09-kontribusi-komunitas-portofolio.html#o017-u09-e01", "guidance_id": "O017-U09-H01", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/09-kontribusi-komunitas-portofolio.html#o017-u09-h01" }, { "exercise_id": "O017-U09-E02", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/09-kontribusi-komunitas-portofolio.html#o017-u09-e02", "guidance_id": "O017-U09-H02", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/09-kontribusi-komunitas-portofolio.html#o017-u09-h02" }, { "exercise_id": "O017-U09-E03", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/09-kontribusi-komunitas-portofolio.html#o017-u09-e03", "guidance_id": "O017-U09-H03", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/09-kontribusi-komunitas-portofolio.html#o017-u09-h03" }, { "exercise_id": "O017-U09-E04", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/09-kontribusi-komunitas-portofolio.html#o017-u09-e04", "guidance_id": "O017-U09-H04", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/09-kontribusi-komunitas-portofolio.html#o017-u09-h04" }, { "exercise_id": "O017-U09-E05", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/09-kontribusi-komunitas-portofolio.html#o017-u09-e05", "guidance_id": "O017-U09-H05", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/09-kontribusi-komunitas-portofolio.html#o017-u09-h05" }, { "exercise_id": "O017-U09-E06", "exercise_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/09-kontribusi-komunitas-portofolio.html#o017-u09-e06", "guidance_id": "O017-U09-H06", "guidance_kind": "source_guidance_not_full_solution", "guidance_url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/09-kontribusi-komunitas-portofolio.html#o017-u09-h06" } ], "public_reader": { "url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/en/units/09-kontribusi-komunitas-portofolio.html", "bytes": 117764, "sha256": "426ad5aa18a5f47b1fb7cf1521db7331e5a5219f137e0632e5f57a45b3e72e1f" }, "title": "Bounded Community Contributions and an Auditable Portfolio", "unit_id": "O017-U09" } ] }