AI at the Workbench

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.

Editor shows software claims, the replay-to-board overclaim correction, and unperformed wiring, timing and accuracy checks.
SS15-05 · SS15-05. The evidence report separates three supported software claims from a constructed overclaim and three explicitly unperformed physical procedures.
Shared policy branches into host execution with synthetic input, synthetic firmware compilation, and a dashed optional future physical adapter. Each path supports a different evidence claim.
D12 · D12. Shared policy supports host checks and synthetic firmware compilation. A physical adapter needs separate integration and bench evidence.