# M07-L03 exercise

Starting checkpoint: CP07. Figures: SS15-05, D12.

Produce three supported software claims from actual receipts and three unperformed physical claims with their missing evidence. Correct a supplied overclaim, “Replay passed, so the board is verified.” Submit the report and evidence links. Explain the difference between FAULT state, fixture parse failure, and assertion failure. Do not create physical results to fill the table.

Record source identity, changed files, exact commands, actual outcomes, and open limitations. Preserve the original exercise copy and review the final diff. Expected results are criteria, not evidence of execution.