From 8327fc5fc144ae13c58cef4c52c001165800c3c5 Mon Sep 17 00:00:00 2001 From: Steffen Beyer Date: Wed, 1 Apr 2026 07:55:43 +0200 Subject: [PATCH] Update progress after Guile verification --- docs/PROGRESS.md | 1 + docs/PROMPT.md | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/PROGRESS.md b/docs/PROGRESS.md index 3ad9313..b6b2188 100644 --- a/docs/PROGRESS.md +++ b/docs/PROGRESS.md @@ -29,6 +29,7 @@ Current assessment: - Phase 1.1 has a solid amd64 smoke-verification baseline - Phase 1.1 is not fully complete yet because `i386` has not been checked and the subprocess crash needs investigation +- verification harness committed as `e380e88` (`Add FreeBSD Guile verification harness`) Next recommended step: diff --git a/docs/PROMPT.md b/docs/PROMPT.md index 982b97e..746bf72 100644 --- a/docs/PROMPT.md +++ b/docs/PROMPT.md @@ -1,6 +1,6 @@ Your task is described in ./docs/PLAN.md. Current progress is (supposed to be) stored in ./docs/PROGRESS.md. -Perform the next step towards the final goal. Git commit and update the progress file afterwards. +Perform the next step towards the final goal. Update the progress file and `git commit` afterwards. You can use `sudo` freely, install missing software via `sudo pkg install`. If you still miss helpful tooling or other resources, stop and ask the operator, don't work around it.