AI at the Workbench

M07-L05 exercise

Starting checkpoint: CP08. Figures: SS16-04, SS15-05.

Complete LAB16 in a fresh CP08 task. Submit prompt, changed assertion, diff, actual command/results, independent review, and new handoff. Score the module quiz afterward. If runtime access is blocked, retain complete prepared materials and mark the behavior gate open. Recover from a wrong checkpoint by starting a separate preserved CP08 copy.

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.

Guest Codex fresh-task result lists the new negative-infinity test, unchanged production source and successful checks.
SS16-04 · SS16-04. The fresh repository-guided task reports its bounded negative-infinity change and actual validation. Independent verification also passed 40 assertions.
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.