D120 educator map · Traceable Mathematical Work

A single small, non-duplicative, reviewable contribution, submitted only with separate human authorization; if external action is unsafe or unavailable, use independent local review and a weaker label.

Instructions: Record the actual state: prepared, submitted, acknowledged, accepted, merged, published, rejected, withdrawn, unknown, or externally_reviewed_local. Acceptance is not required and must not be inferred.

O017-ASMT-BOUNDED-COMMUNITY-TRANSACTION · 33 outcomes · 5 evidence specifications

1. O017-CRIT-BOUNDED-COMMUNITY-TRANSACTION-01 — One target, one contribution, the version, locators, duplicate search, rights, and what will remain untouched are narrowly specified.
2. O017-CRIT-BOUNDED-COMMUNITY-TRANSACTION-02 — The diagnosis, minimal change, validation, attribution, limitations, withdrawal route, and one concise message can be reviewed as a single package.
3. O017-CRIT-BOUNDED-COMMUNITY-TRANSACTION-03 — Each external action has separate human authorization for a specific target; without authorization, the package stops locally.
4. O017-CRIT-BOUNDED-COMMUNITY-TRANSACTION-04 — Each external transition has event evidence; prepared is not called submitted, and submitted is not called accepted, merged, or published.
5. O017-CRIT-BOUNDED-COMMUNITY-TRANSACTION-05 — If external action is unsafe or unavailable, an independent checker assesses the actual package and the result is labeled externally_reviewed_local, with no claim of community participation.

One review cycle with two different people serving as author and referee.

Instructions: Preserve the initial artifact, report, response, disposition table, revision, before/after evidence, identities or private IDs, and unresolved issues.

O017-ASMT-INDEPENDENT-REFEREE-CYCLE · 32 outcomes · 5 evidence specifications

1. O017-CRIT-INDEPENDENT-REFEREE-CYCLE-01 — The learner or author and the referee are two different people; their real identities or private IDs can be audited by the course assessor.
2. O017-CRIT-INDEPENDENT-REFEREE-CYCLE-02 — The initial artifact, referee report, author's response, and final revision are frozen as separate versions without overwriting history.
3. O017-CRIT-INDEPENDENT-REFEREE-CYCLE-03 — Each significant comment identifies the target, locator, diagnosis, evidence, severity, confidence, and an executable action.
4. O017-CRIT-INDEPENDENT-REFEREE-CYCLE-04 — Each comment is mapped to a decision, action, evidence, change location, status, and a reason if rejected or held.
5. O017-CRIT-INDEPENDENT-REFEREE-CYCLE-05 — Significant changes are checked against the initial and final artifacts; their impact and unresolved issues remain visible.

Attendance at or delivery of an actual mathematics seminar, or an accessible supervised equivalent, with an honest evidence record.

Instructions: Keep event evidence, timestamped notes, a dependency map, a question log, unavailable portions, corrections, and accessibility surfaces.

O017-ASMT-LIVE-SEMINAR · 22 outcomes · 5 evidence specifications

1. O017-CRIT-LIVE-SEMINAR-01 — The event identity, time, learner's role, evidence of attendance or delivery, and limitations of the record can be checked.
2. O017-CRIT-LIVE-SEMINAR-02 — The notes distinguish observations, verification, questions, objections, and inaudible or unavailable portions without inventing content.
3. O017-CRIT-LIVE-SEMINAR-03 — The main claims, definitions, assumptions, lemmas, proofs, and open problems are mapped with sufficiently precise locators or timestamps.
4. O017-CRIT-LIVE-SEMINAR-04 — The question log and corrected final notes preserve changes, their grounds, and unresolved items.
5. O017-CRIT-LIVE-SEMINAR-05 — If live audio or video is unavailable, a supervised equivalent preserves the learning objectives and is labeled as an equivalent, not as an event that did not occur.

Audit one real, openly accessible source with its version frozen, with a reproducible diagnosis, minimal correction, and independent mathematical check.

Instructions: Submission is not required and must not be inferred. Keep the version, rights, reproducer, correction, validation, independent check, impact, and uncertainty.

O017-ASMT-REAL-ERRATUM-DOSSIER · 41 outcomes · 5 evidence specifications

1. O017-CRIT-REAL-ERRATUM-DOSSIER-01 — The work, version, copy, locator, wording, check date, and rights of the actual source can be checked.
2. O017-CRIT-REAL-ERRATUM-DOSSIER-02 — The reproducer or reconstruction checks all hypotheses, demonstrates the failure minimally, and separates observation from proof.
3. O017-CRIT-REAL-ERRATUM-DOSSIER-03 — The proposed correction is the smallest sufficient change and is justified by a mathematical argument, without overstating its scope.
4. O017-CRIT-REAL-ERRATUM-DOSSIER-04 — A different person checks the diagnosis and correction, recording the decision, its grounds, their identity or private ID, and any remaining disagreement.
5. O017-CRIT-REAL-ERRATUM-DOSSIER-05 — The dossier distinguishes prepared, checked, and submitted; submission is not claimed without evidence, and impact beyond the scope remains unknown.

A search without a pre-seeded candidate list for one actual mathematics paper or monograph, whose version is frozen.

Instructions: Keep the question, queries, retrieval times, stopping rule, version, rights, authority comparison, decisions, and uncertainty.

O017-ASMT-REAL-SOURCE-SEARCH · 21 outcomes · 5 evidence specifications

1. O017-CRIT-REAL-SOURCE-SEARCH-01 — One actual mathematics paper or monograph is frozen with a checkable work identity, version, copy, locator, retrieval date, and basis for rights.
2. O017-CRIT-REAL-SOURCE-SEARCH-02 — The question, all queries, discovery path, relevant negative results, and stopping rule are recorded without accepting a supplied candidate list as a substitute for searching.
3. O017-CRIT-REAL-SOURCE-SEARCH-03 — At least two candidate surfaces or sources are compared against a specific question; reputation and result ranking are not used as proof.
4. O017-CRIT-REAL-SOURCE-SEARCH-04 — The statement that a source contains a claim is separated from the decision that the claim is true, with explicit locators, grounds, and limits of inference.
5. O017-CRIT-REAL-SOURCE-SEARCH-05 — Missing fields, version conflicts, inclusion decisions, and reasons for stopping are preserved without guessing.

The assessment published in Unit 1 — Reading Arguments as Networks of Claims.

Instructions: Use the prompt, evidence, mandatory gates, and rubric at the source locator bound to this record.

O017-ASMT-U01-COMPLETION · 6 outcomes · 5 evidence specifications

1. O017-CRIT-U01-COMPLETION-01 — claims and assumptions are stated in full;
2. O017-CRIT-U01-COMPLETION-02 — all main proof obligations are discharged;
3. O017-CRIT-U01-COMPLETION-03 — experiments are explicitly separated from proof;
4. O017-CRIT-U01-COMPLETION-04 — one limitation or counterexample is analyzed; and
5. O017-CRIT-U01-COMPLETION-05 — the origin of every text, dataset, and piece of code is traceable.

The assessment published in Unit 2 — Searching the Literature and Assessing Source Authority.

Instructions: Use the prompt, evidence, mandatory gates, and rubric at the source locator bound to this record.

O017-ASMT-U02-COMPLETION · 7 outcomes · 5 evidence specifications

1. O017-CRIT-U02-COMPLETION-01 — the question, search path, decisions, and stopping conditions are complete
2. O017-CRIT-U02-COMPLETION-02 — concept, version, edition, pointer, and missing data are correctly distinguished
3. O017-CRIT-U02-COMPLETION-03 — all nodes and edges are typed, every edge has an explicit direction, and facts and inferences are separated
4. O017-CRIT-U02-COMPLETION-04 — the pointwise limit, counterexample, and proof of the uniform limit theorem are complete
5. O017-CRIT-U02-COMPLETION-05 — each conclusion is linked to a source or argument, and its limitations are stated

The assessment published in Unit 3 — Reconstructing Condensed or Omitted Proofs.

Instructions: Use the prompt, evidence, mandatory gates, and rubric at the source locator bound to this record.

O017-ASMT-U03-COMPLETION · 8 outcomes · 6 evidence specifications

1. O017-CRIT-U03-COMPLETION-01 — all objects, quantifiers, and the topology of the ambient space are correct
2. O017-CRIT-U03-COMPLETION-02 — each condensed expression becomes an obligation, and the obligations along every path are discharged
3. O017-CRIT-U03-COMPLETION-03 — inputs, hypotheses, outputs, and instantiation are checked
4. O017-CRIT-U03-COMPLETION-04 — the elementary proof is complete and handles both possible choices of complement
5. O017-CRIT-U03-COMPLETION-05 — the deletion test shows that each essential detail serves a purpose
6. O017-CRIT-U03-COMPLETION-06 — all gaps have a status and grounds, and conclusions in the ambient space are correctly delimited

The assessment published in Unit 4 — Citation, Provenance, and Source Notebooks.

Instructions: Use the prompt, evidence, mandatory gates, and rubric at the source locator bound to this record.

O017-ASMT-U04-COMPLETION · 8 outcomes · 6 evidence specifications

1. O017-CRIT-U04-COMPLETION-01 — all objects, pointers, and version relationships are explicit
2. O017-CRIT-U04-COMPLETION-02 — both claims are stated accurately and linked to their locations in their respective versions
3. O017-CRIT-U04-COMPLETION-03 — the norm in the example is calculated, and submultiplicativity is proved in full
4. O017-CRIT-U04-COMPLETION-04 — occurrence, rejection, proof, decision, and limitations are separated
5. O017-CRIT-U04-COMPLETION-05 — all minimum fields are present, status is honest, and empirical scope is delimited
6. O017-CRIT-U04-COMPLETION-06 — missing data have a status, the correction preserves V1, and citations fit their purpose

The assessment published in Unit 5 — Writing Auditable Mathematical Exposition.

Instructions: Use the prompt, evidence, mandatory gates, and rubric at the source locator bound to this record.

O017-ASMT-U05-COMPLETION · 8 outcomes · 6 evidence specifications

1. O017-CRIT-U05-COMPLETION-01 — the reader, purpose, prerequisites, format, and limitations consistently determine the details
2. O017-CRIT-U05-COMPLETION-02 — definitions, theorems, symbols, quantifiers, and locators are correct before use
3. O017-CRIT-U05-COMPLETION-03 — all three lemmas are used with correct contracts and produce a real root without gaps
4. O017-CRIT-U05-COMPLETION-04 — the illustration and two counterexamples precisely delimit existence, degree parity, and uniqueness
5. O017-CRIT-U05-COMPLETION-05 — each claim can be located, local material is distinguished from external sources, and uncertainty is reported honestly
6. O017-CRIT-U05-COMPLETION-06 — the audit produces a clean manuscript; the revision notes identify deletions, narrowing of scope, and explicit dependencies; the eight-minute outline uses signposts, identifies two things that are not proved, and provides access to the details

The assessment published in Unit 6 — Reproducible Mathematical Computation.

Instructions: Use the prompt, evidence, mandatory gates, and rubric at the source locator bound to this record.

O017-ASMT-U06-COMPLETION · 9 outcomes · 6 evidence specifications

1. O017-CRIT-U06-COMPLETION-01 — `RUN`, `REPEAT`, `FINITE`, and `UNIVERSAL` are separated with correct domains, rules, evidence, and limitations
2. O017-CRIT-U06-COMPLETION-02 — all artifacts, runtime, dependencies, parameters, encoding, numerical model, and `seed` are traceable
3. O017-CRIT-U06-COMPLETION-03 — two complete execution runs are compared with each other and with the oracle using precommitted rules
4. O017-CRIT-U06-COMPLETION-04 — coverage is proved, mutations are predicted and tested, and an independent route limits shared failures
5. O017-CRIT-U06-COMPLETION-05 — the universal proof is complete and clearly separated from finite witnesses
6. O017-CRIT-U06-COMPLETION-06 — raw output and a text summary are available; failed versions are preserved; provenance, changes, rights, and limitations are complete

The assessment published in Unit 7 — Errata, Corrections, and Limits of Certainty.

Instructions: Use the prompt, evidence, mandatory gates, and rubric at the source locator bound to this record.

O017-ASMT-U07-COMPLETION · 9 outcomes · 6 evidence specifications

1. O017-CRIT-U07-COMPLETION-01 — all findings identify the exact version, copy, package locator, and wording
2. O017-CRIT-U07-COMPLETION-02 — $f(x)=x$, $g(x)=0$, and $h(x)=-|x-1/2|$ distinguish failures of interiority, uniqueness, and differentiability, with all hypotheses checked
3. O017-CRIT-U07-COMPLETION-03 — the existence of a maximum and Fermat's condition are separated, delimited, and justified without a uniqueness claim
4. O017-CRIT-U07-COMPLETION-04 — each finding has separate fields and grounds, including scope that remains unknown
5. O017-CRIT-U07-COMPLETION-05 — claims, versions, evidence, succession, events, and at least five uncertainties are retained
6. O017-CRIT-U07-COMPLETION-06 — the draft is at most 180 words, specific, and local; the rules for closure, holding, and escalation are executable

The assessment published in Unit 8 — Seminar Notes, Referee Reports, and Responses to Criticism.

Instructions: Use the prompt, evidence, mandatory gates, and rubric at the source locator bound to this record.

O017-ASMT-U08-COMPLETION · 8 outcomes · 6 evidence specifications

1. O017-CRIT-U08-COMPLETION-01 — each entry has a timestamp, location, and type, and gaps are marked without reconstruction
2. O017-CRIT-U08-COMPLETION-02 — observation, verification, severity, and confidence have distinct and consistent grounds
3. O017-CRIT-U08-COMPLETION-03 — all hypotheses for $x^n$ are checked, and the shift from $N(x)$ to a single $N$ is identified precisely
4. O017-CRIT-U08-COMPLETION-04 — the neutral summary, scope, specific comments, valid portions, requests, recommendation, and limitations are complete
5. O017-CRIT-U08-COMPLETION-05 — the response maps comments to actions; the uniform limit theorem and three-term proof are complete; open problems are preserved
6. O017-CRIT-U08-COMPLETION-06 — the recommendation follows centrality, evidence, a route to correction, known impact, and explicit conditions for changing it

The assessment published in Unit 9 — Bounded Community Contributions and Auditable Portfolios.

Instructions: Use the prompt, evidence, mandatory gates, and rubric at the source locator bound to this record.

O017-ASMT-U09-CAPSTONE · 8 outcomes · 8 evidence specifications

1. O017-CRIT-U09-CAPSTONE-01 — one target, one contribution, exact version/locators, and explicit exclusions
2. O017-CRIT-U09-CAPSTONE-02 — the failure and correction are proved, with distinguishing cases and a general argument
3. O017-CRIT-U09-CAPSTONE-03 — the smallest sufficient change is tested before/after, and unaffected results are preserved
4. O017-CRIT-U09-CAPSTONE-04 — rights, attribution, changes, and exclusions are recorded for each component
5. O017-CRIT-U09-CAPSTONE-05 — each status has an event/evidence; stopping at draft/ready is reported honestly, and history is append-only
6. O017-CRIT-U09-CAPSTONE-06 — one specific, unsent message, with executable routes to hold, withdraw, replace, or reverse
7. O017-CRIT-U09-CAPSTONE-07 — each unit has claims, evidence, locators, validation, rights, status, and limitations
8. O017-CRIT-U09-CAPSTONE-08 — the report distinguishes tested/not yet tested, and the reflection links decisions, changes, and limitations