# LAB16 — Resume from repository context

Allow 50–75 minutes, excluding account or dependency waiting. Start from a fresh CP08 Sensor Monitor folder after Chapter 15. This checkpoint contains basic normal/fault tests, the review skill, and a bounded handoff task. It has no configurable threshold, hysteresis, or command parser. Keep any earlier negative-infinity extension in its original exercise folder.

Your goal is to show that a new session can complete a small task from maintained repository context. Save the starting source identity and status. Read `docs/handoff.md`, `AGENTS.md`, the README, stage requirements, and `tests/test_monitor.cpp` yourself before starting the task. Do not pre-edit the solution into the new copy.

Use this prompt in a fresh session opened at the project root:

> Complete the next bounded task described by this repository's handoff. Use the project context to identify the scope and relevant verification. Show the resulting diff, actual checks, and any unresolved limitation, then update the handoff.

Observe the files read, change made, and commands executed. Preserve the exact prompt and available tool/result evidence. An instruction summary or announced test does not count as execution. If the interface does not reveal skill selection, record that dimension as unobserved rather than guessing from the response's style.

The intended task adds a negative-infinity assertion for existing nonfinite-input behavior. Inspect the result against the requirement: FAULT/nonfinite, with no current temperature. Use a separate monitor or carefully ordered time so the assertion has a clear starting state. The production behavior should remain unchanged. A failure requires diagnosis before broadening the edit.

The maintained basic check, from the project root, is:

```powershell
.\scripts\test.cmd
```

Record its actual output and process result against the checked source. Replay can establish additional adapter behavior; a firmware-source edit calls for the applicable cross-build. State which checks were performed and why. A blocked check stays open.

Include the second skill's three case records from the chapter: a review of the supplied stale-data defect while CP08 remains active, a consistent local-variable rename, and an unrelated README sentence task without naming the skill. Review is separate from repair. For the defect, use the history bundle's `git diff CP07 FAULT-stale -- firmware/sensor-monitor/monitor_policy.cpp`; execute faulty source only in a separate FAULT-stale copy.

Update the handoff with the completed change, actual receipts, open questions, and one next bounded action. If an earlier passing claim has no accessible receipt, find it or correct the claim and run the relevant check. Do not silently replace unsupported history with an invented result.

Submit the fresh-session record, small test diff, actual check record, revised handoff, and defect/clean/unrelated review records. Complete the lab when the repository-guided task and applicable verification actually succeed. Host tests and firmware compilation leave physical behavior unverified. Figures: SS16-01–04. See [Chapter 16](chapter.md) for the explanation and review questions.