Skip to main content

Practice Calibration

Use this after attempting independent practice. These are calibration notes for the new cases, not answers to every original open-ended project. The module assessment retains its own scoring and evidence requirements.

Prerequisite calibration​

A precedes C transitively. No path establishes neither direction in this graph; it does not identify physical time. Repair graph reachability and partial orders.

A ready answer includes the example or trace requested in the entry check. A memorized term is not sufficient. Repair the named earlier skill, then change the example and explain it without this page.

Case A​

No. Two independent processes can generate different counters without a message path. Causal precedence implies increasing Lamport time, but the converse fails.

Full practice credit requires the result, assumptions and an explanation of the tempting error. A correctly guessed conclusion without those elements is only partial evidence.

Case B​

Neither represented event causally precedes the other under the modeled update rules. This is not proof about unmodeled communication or physical simultaneity.

The key judgment is which guarantee survives the changed condition. Do not transfer a result from the first case without checking that condition.

Experiment calibration​

Use the logical-clock kit to compare event-graph reachability with clock relations, including independent events and merged messages. State which events/channels the model observes.

A usable record links the hypothesis to the actual input, observation and interpretation. The negative control must fail for the intended reason, and the repaired setup must pass the relevant check again. Report unexpected outcomes rather than altering the hypothesis afterward. Explicitly state the model, environment and untested boundary; passing a small fixture never proves every deployment behavior.

Recheck​

Explain a fresh variant without the key. Retain the original error, repair, help received and delayed result in the existing evidence packet. Self-calibration is not an independent reviewer sign-off or a learner-pilot result. For retrieval-question explanations, use quiz calibration only after attempting the quiz.