From 18eb8972a6b9ffcd974e195ac727c30c68117fb1 Mon Sep 17 00:00:00 2001 From: zinc Date: Wed, 14 Oct 2026 10:36:49 +0000 Subject: todo: the spec verifier restarted from the first agent's partial work --- TODO.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/TODO.md b/TODO.md index d7fa925..34c2534 100644 --- a/TODO.md +++ b/TODO.md @@ -287,9 +287,10 @@ these were running as agents in worktrees. if their branches were not merged before the session ended, the work is lost and each item below must be started again from its description in the open list. a zip of the repository with every worktree is uploaded to the owner after each update. -- spec verification: the first agent was stopped by a session interruption - and its partial `tests/conformance/` was not merged; start it again from - "verify both compilers". +- spec verification, restarted after an interruption. the first agent's + partial work (runner plus sections 1 to 3, about 375 programs) is committed + on the local branch `worktree-agent-a020917eebd018418` (3edfbaa) and the new + agent continues from it; see "verify both compilers". - runtime line tables and backtraces, see "runtime source positions". - bounds checking with `unbounded`, see "bounds checking". - the cross-reference report, see "a cross-reference report". -- cgit v1.2.3