diff --git a/docs/internal/sessions/2026-05-31-colibri-d360dde-baseline.md b/docs/internal/sessions/2026-05-31-colibri-d360dde-baseline.md
index d221470..8cf72a9 100644
--- a/docs/internal/sessions/2026-05-31-colibri-d360dde-baseline.md
+++ b/docs/internal/sessions/2026-05-31-colibri-d360dde-baseline.md
@@ -69,8 +69,8 @@ colibri-glasspane-tui, colibri-store, colibri-skills
 - `PromptAssembly::trim_to_budget()` is implemented but not yet wired into
   the scheduler or session append path — PR 3 (scheduler injection) pending.
 - `CacheMetrics` struct exists but is not populated by any API call path yet.
-- API token (`FORGEJO_API_TOKEN`) stored in `~/.hermes/.env` with 0600 perms.
-  Enables Hermes to create/merge PRs via Forgejo API without web UI.
+- Forgejo API-assisted merges are available, but the manual rule remains:
+  no auto-merge until Linux + FreeBSD validations are both posted.
 
 ## Key files added/changed this session
 
@@ -90,8 +90,9 @@ doc/COLIBRI-SKILLS-PLAN.md → docs/ moved     (skills plan)
 
 In priority order for USB/ISO target:
 
-1. **Real Pi spawn path proof** — validate that Colibri can spawn a Pi agent
-   and consume its JSONL events on both Linux and FreeBSD.
+1. **Real Pi spawn path proof** — suggested branch `proof/pi-spawn-path`.
+   Validate that Colibri can spawn a Pi agent and consume its JSONL events on
+   both Linux and FreeBSD.
 
 2. **ISO service hardening** — Colibri as an `rc.d` service on FreeBSD,
    status visibility, firstboot integration.