AI at the Workbench

M07-L01 exercise

Starting checkpoint: CP07. Figures: SS15-01, SS15-02, D12.

Use a fresh CP07 copy. Run the basic test wrapper and stale-recovery replay. Map startup recovery, stale equality, and nonfinite input to independent expectations and actual evidence. Submit the map, command/results, and source identity. Explain what D12 does and does not show. Preserve the starting copy; a missing compiler leaves execution open, not passed.

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.

Actual CP07 test source showing expected values derived from the requirements.
SS15-01 · SS15-01. Independent CP07 assertions test startup, recovery and inclusive stale equality.
Terminal showing the actual passing CP07 host assertion result.
SS15-02 · SS15-02. Actual guest CP07 host tests pass all 36 assertions with zero failures and exit 0.
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.