The write set, target documents, required structure, completion condition, and rollback expectation were explicit.
Map the case to SAFE evidence.
A useful case map does not merely label a story. It identifies what was specified, who authorized the action, which facts were observed, and how the system recovered from failure.
External writes required a scoped grant; recovery facts did not automatically authorize retry.
The failed receipt, actual changed sections, independent readback, and fresh verification bounded the completion claim.
Mutation stopped, native history restored known state, readback confirmed restoration, and execution resumed only after fresh authority.
Ten-case control index
S/A fix ownership and allowed Git actions; F/E preserve recovery anchors and verified restoration.
S fixes the two-page output and preserved source; F checks rendering and residual text.
S fixes scope and acceptance; A/F require independent review and fresh gates.
S limits the decision to one offer; F separates fact, inference, and assumption.
S bounds the experiment; A keeps local learning separate from production authority.
A requires a scoped write grant; F/E preserve mismatch evidence, restore, and read back.
S fixes the rubric; A/F use an independent blind gate and retain failed scores.
S defines visitor evidence; F separates RUM, HTTP noise, and unavailable data.
S separates status layers; A/F keep local verification distinct from publication.
S defines the artifact contract; A/F separate repository delivery from social use.
Claim-to-evidence map
| Claim | Required evidence | Boundary |
|---|---|---|
| The plan was safe | Exact targets, scope, completion and rollback contract | Design intent only |
| The implementation worked | Fresh checks and artifact readback | Does not prove production |
| The failure was contained | Failed receipt, stopped writes, restored state, independent readback | Does not authorize retry |
| The customer received value | Observed customer outcome attributable to the workflow | Case mechanics alone are insufficient |