docs(12.1-05): close plan 05 with SUMMARY after the executor died before writing it

This commit is contained in:
Jakub Zych
2026-10-05 16:51:31 +02:00
parent 93f0171e9c
commit 4e4ce40dbb
5 changed files with 333 additions and 15 deletions

View File

@@ -54,7 +54,7 @@ removal_gate: "scripts/check-phase12.1.sh --removal"
| `scripts/check-phase12.1.sh --app` | 290 to 325 s (five workspace modules) |
| `scripts/check-phase12.1.sh --evidence` | under 1 s |
| `scripts/check-phase12.1.sh --all` | 11 min 47 s |
| `scripts/check-phase12.1.sh --removal` | 4 min 13 s for 26 rows (27 rows now) |
| `scripts/check-phase12.1.sh --removal` | 4 min 13 s (26 rows) to 6 min 29 s (27 rows, final heads) |
---