From c98c0c95e60478a838a3dd0ecb3656ab40bfd090 Mon Sep 17 00:00:00 2001 From: luvs01 Date: Sun, 9 Aug 2026 15:47:29 +0900 Subject: [PATCH] docs(devlog): withdraw unsafe first-run harness --- .../260726_announcements/031_guided_tour_draft.md | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) diff --git a/devlog/_fin/260726_announcements/031_guided_tour_draft.md b/devlog/_fin/260726_announcements/031_guided_tour_draft.md index 75fa89d64c..4d3e088e8e 100644 --- a/devlog/_fin/260726_announcements/031_guided_tour_draft.md +++ b/devlog/_fin/260726_announcements/031_guided_tour_draft.md @@ -394,14 +394,12 @@ available from a manual entry point. Closing the window is a decision, and treating it as one is more honest than trapping the user in a flow they walked away from. -### D4 — `040` gains a positive verification procedure +### D4 — positive verification procedure withdrawn -Closes R3. Since H3 makes the geometry unassertable in happy-dom, the gate list -must contain a way to make the tour APPEAR, not only checks that it stays hidden: - -``` -OPENCODEX_HOME=$(mktemp -d) ocx start # genuine first run, real config untouched -``` +The proposed `OPENCODEX_HOME`-only procedure is unsafe and does not close R3. +As D4′ establishes, no positive first-run procedure should be documented until +the implementation pass verifies full isolation of Codex, Grok, shell and +system-environment state, together with use of a non-default port. ### D5 — the cost question is answered by scope, not by argument