c944d8f5
retro: prove at the layer the code runs through
a73x 2026-09-02 14:28
Commit message
RETRO.md
| Old | New | ||
|---|---|---|---|
| @@ -61,3 +61,9 @@ One line per push to `main`: what slowed the work down. Enforced by | |||
| 61 | callers. A negative that arrives as a shell error reads exactly like a | 61 | callers. A negative that arrives as a shell error reads exactly like a |
| 62 | negative that arrives as an answer. Quote the glob, and treat an empty result | 62 | negative that arrives as an answer. Quote the glob, and treat an empty result |
| 63 | as a claim to check rather than a claim to make. | 63 | as a claim to check rather than a claim to make. |
| 64 | - Factory fixes: the merge_how proof ran the merger by hand and skipped the | ||
| 65 | handler that strips merge_how from a part before the cross-source merge, so | ||
| 66 | the fix that passed in the guest failed the first boot gate. Two more gate | ||
| 67 | runs died at placement: a gate that dies does not reap its smoke VM, and the | ||
| 68 | leftover plus a live test VM filled the devhost. Prove at the layer the code | ||
| 69 | runs through, and check the host is empty before a run. | ||