S00-031: Record newly available external input for independent verification

Changes: Release external waiting state for S00-031 through tasks.py. Input: New verified root cause and supported host execution context supplied in state/handoffs/S00-031.md. Actual host /tmp/codex-daemon-1000 uid1000/mode0700 is valid; outer sandbox deliberately masks it read-only mode000. Installed-version primary source confirms this design; TMPDIR/no-daemon cannot fix nested guard. Approved OUTER HOST EXECUTION of bounded no-model inner codex workspace-write probe passes project write/read/remove and denies outside write EROFS30, no outside file created. No socket mutation or broader roots. Fresh executor/QA must read handoff, request approved outer host execution and independently repeat, document and review; no task acceptance claimed.
Validation: External input availability checked; tasks.py release-external succeeded. Acceptance and dependent tasks remain unverified pending fresh executor and independent review.

Task: S00-031
Agent: coordinator-input-s00-031
Role: orchestrator
Action: release-external
Status: todo

Task title: Supply a verified private Codex app-server socket environment

planning/TASK_MATRIX.md

@@ -1,6 +1,6 @@
 # Матрица задач
 
-Generated; state revision **96**. Canonical status: state/tasks.json.
+Generated; state revision **97**. Canonical status: state/tasks.json.
 
 | ID | Этап | Оператор | Reviewer | Статус | Owner | Зависимости | Задача |
 | --- | --- | --- | --- | --- | --- | --- | --- |
@@ -33,7 +33,7 @@ Generated; state revision **96**. Canonical status: state/tasks.json.
 | [S00-028](tasks/S00-028.md) | S00 | ci-cd | qa | blocked | auto-ci-cd-211cf3a2bd08 | S00-002, S00-030 | Repair conflicting Codex harness sandbox arguments |
 | [S00-029](tasks/S00-029.md) | S00 | orchestrator | security | blocked |  | S00-001, S00-002, S00-021, S00-027 | Record an approved browser OMEMO backend sourcing strategy |
 | [S00-030](tasks/S00-030.md) | S00 | ci-cd | qa | blocked | auto-ci-cd-d37c9faf28f3 | S00-002, S00-031 | Provide a valid Codex sandbox app-server socket directory |
-| [S00-031](tasks/S00-031.md) | S00 | ci-cd | qa | blocked |  | S00-002 | Supply a verified private Codex app-server socket environment |
+| [S00-031](tasks/S00-031.md) | S00 | ci-cd | qa | todo |  | S00-002 | Supply a verified private Codex app-server socket environment |
 | [S00-010](tasks/S00-010.md) | S00 | qa | orchestrator | todo |  | S00-001, S00-002, S00-003, S00-004, S00-005, S00-006, S00-007, S00-008, S00-009 | Gate: Профиль и проверка стека |
 | [S01-001](tasks/S01-001.md) | S01 | orchestrator | security | todo |  | S00-010 | Описать identity/model contracts |
 | [S01-002](tasks/S01-002.md) | S01 | orchestrator | security | todo |  | S00-010, S01-001 | Описать async account context |

planning/stages/S00.md

@@ -35,7 +35,7 @@
 - [S00-028](../tasks/S00-028.md): Repair conflicting Codex harness sandbox arguments — ci-cd; blocked.
 - [S00-029](../tasks/S00-029.md): Record an approved browser OMEMO backend sourcing strategy — orchestrator; blocked.
 - [S00-030](../tasks/S00-030.md): Provide a valid Codex sandbox app-server socket directory — ci-cd; blocked.
-- [S00-031](../tasks/S00-031.md): Supply a verified private Codex app-server socket environment — ci-cd; blocked.
+- [S00-031](../tasks/S00-031.md): Supply a verified private Codex app-server socket environment — ci-cd; todo.
 - [S00-010](../tasks/S00-010.md): Gate: Профиль и проверка стека — qa; todo.
 
 ## Граница этапа

planning/task_matrix.csv

@@ -28,7 +28,7 @@ S00-027,S00,ci-cd,security,done,auto-ci-cd-40ae46e8efe7,"S00-001, S00-002, S00-0
 S00-028,S00,ci-cd,qa,blocked,auto-ci-cd-211cf3a2bd08,"S00-002, S00-030",Repair conflicting Codex harness sandbox arguments
 S00-029,S00,orchestrator,security,blocked,,"S00-001, S00-002, S00-021, S00-027",Record an approved browser OMEMO backend sourcing strategy
 S00-030,S00,ci-cd,qa,blocked,auto-ci-cd-d37c9faf28f3,"S00-002, S00-031",Provide a valid Codex sandbox app-server socket directory
-S00-031,S00,ci-cd,qa,blocked,,S00-002,Supply a verified private Codex app-server socket environment
+S00-031,S00,ci-cd,qa,todo,,S00-002,Supply a verified private Codex app-server socket environment
 S00-010,S00,qa,orchestrator,todo,,"S00-001, S00-002, S00-003, S00-004, S00-005, S00-006, S00-007, S00-008, S00-009",Gate: Профиль и проверка стека
 S01-001,S01,orchestrator,security,todo,,S00-010,Описать identity/model contracts
 S01-002,S01,orchestrator,security,todo,,"S00-010, S01-001",Описать async account context

state/commit_messages/coordinator-input-s00-031.txt

@@ -0,0 +1,4 @@
+Record newly available external input for independent verification
+
+Changes: Release external waiting state for S00-031 through tasks.py. Input: New verified root cause and supported host execution context supplied in state/handoffs/S00-031.md. Actual host /tmp/codex-daemon-1000 uid1000/mode0700 is valid; outer sandbox deliberately masks it read-only mode000. Installed-version primary source confirms this design; TMPDIR/no-daemon cannot fix nested guard. Approved OUTER HOST EXECUTION of bounded no-model inner codex workspace-write probe passes project write/read/remove and denies outside write EROFS30, no outside file created. No socket mutation or broader roots. Fresh executor/QA must read handoff, request approved outer host execution and independently repeat, document and review; no task acceptance claimed.
+Validation: External input availability checked; tasks.py release-external succeeded. Acceptance and dependent tasks remain unverified pending fresh executor and independent review.

state/handoffs/S00-031.md

@@ -0,0 +1,30 @@
+# S00-031 coordinator-supplied host input (not implementation or acceptance)
+
+User requested autonomous environment recovery and continued independent development. No product task is accepted by this handoff.
+
+## New diagnosis replacing the speculative host-permission premise
+
+Read-only investigation of installed Codex 0.159.0 confirmed the actual directory is `/tmp/codex-daemon-1000` (not XDG_RUNTIME_DIR).
+- Approved host stat: uid 1000, mode 0700.
+- The same path inside an existing workspace sandbox is uid 1000, mode 000; read-only tmpfs protective mask. Listing is denied.
+- Canonical directory selection intentionally ignores HOME/TMPDIR/CODEX_HOME. `--no-daemon` does not avoid the guard.
+
+Primary implementation references for independent inspection:
+https://github.com/openai/codex/blob/rust-v0.159.0/codex-rs/uds/src/daemon_directory.rs
+https://github.com/openai/codex/blob/rust-v0.159.0/codex-rs/linux-sandbox/src/bwrap.rs
+
+No chmod, socket exposure, alternate writable roots or environment relocation is appropriate. The host socket environment already meets ownership/private-mode requirements. Nested launch fails because it sees the deliberate mask.
+
+## Verified supported execution context
+
+Coordinator outer tool requested approved host execution (`sandbox_permissions: require_escalated`) of:
+
+codex -c 'sandbox_mode="workspace-write"' -c sandbox_workspace_write.network_access=true sandbox -- python3 /tmp/luma-filesystem-sandbox-probe.py
+
+This is not an unsandboxed diagnostic: the inner Codex process enforces a fresh workspace-write sandbox. Actual exit 0; project synthetic write/read/remove passed; exclusive-create outside project in /home/tola denied with EROFS 30, no outside file created, uid1000. Public command/result log: state/runs/coordinator-sandbox/output.log. Probe script is available in /tmp; inspect before repeating or reproduce the same bounded synthetic check.
+
+Fresh executor and reviewer should REQUEST APPROVED OUTER HOST EXECUTION for this bounded no-model inner-sandbox diagnostic, rather than run a second sandbox recursively inside their restricted shell. If approval/host execution is unavailable, record that exact limitation and stop; do not reinterpret it as broken global socket permissions and do not mutate sockets. Do not launch a model for the diagnostic.
+
+## Required next outcome
+
+Independently repeat host ownership/mode and actual positive/negative inner filesystem probe, document supported invocation only in docs/AUTOMATION.md, provide evidence and submit for QA. S00-030/028/storage remain unfinished until the normal reviewed chain completes. No check from this coordinator handoff is independent executor/reviewer evidence.

state/tasks.json

@@ -1,6 +1,6 @@
 {
   "schema_version": 1,
-  "revision": 96,
+  "revision": 97,
   "tasks": {
     "S00-001": {
       "status": "done",
@@ -1433,10 +1433,10 @@
       "handoff": "state/handoffs/S00-030.md"
     },
     "S00-031": {
-      "status": "blocked",
+      "status": "todo",
       "owner": null,
-      "external_wait": true,
-      "reason": "S00-030 no-model sandbox diagnostic still exits 1 before execution with the original socket directory ownership/mode guard, despite XDG_RUNTIME_DIR being user-owned mode 0700. Actual socket directory repair requires host owner input.\nAutomatic blocker limit reached; explicit external resolution required."
+      "external_wait": false,
+      "reason": "New verified root cause and supported host execution context supplied in state/handoffs/S00-031.md. Actual host /tmp/codex-daemon-1000 uid1000/mode0700 is valid; outer sandbox deliberately masks it read-only mode000. Installed-version primary source confirms this design; TMPDIR/no-daemon cannot fix nested guard. Approved OUTER HOST EXECUTION of bounded no-model inner codex workspace-write probe passes project write/read/remove and denies outside write EROFS30, no outside file created. No socket mutation or broader roots. Fresh executor/QA must read handoff, request approved outer host execution and independently repeat, document and review; no task acceptance claimed."
     }
   },
   "events": [
@@ -2650,6 +2650,14 @@
       "from": "in_progress",
       "to": "blocked",
       "reason": "S00-030 no-model sandbox diagnostic still exits 1 before execution with the original socket directory ownership/mode guard, despite XDG_RUNTIME_DIR being user-owned mode 0700. Actual socket directory repair requires host owner input.\nAutomatic blocker limit reached; explicit external resolution required."
+    },
+    {
+      "revision": 97,
+      "at": "2026-10-15T10:37:57+00:00",
+      "action": "release-external",
+      "task": "S00-031",
+      "agent": "coordinator-input-s00-031",
+      "reason": "New verified root cause and supported host execution context supplied in state/handoffs/S00-031.md. Actual host /tmp/codex-daemon-1000 uid1000/mode0700 is valid; outer sandbox deliberately masks it read-only mode000. Installed-version primary source confirms this design; TMPDIR/no-daemon cannot fix nested guard. Approved OUTER HOST EXECUTION of bounded no-model inner codex workspace-write probe passes project write/read/remove and denies outside write EROFS30, no outside file created. No socket mutation or broader roots. Fresh executor/QA must read handoff, request approved outer host execution and independently repeat, document and review; no task acceptance claimed."
     }
   ],
   "retired_agents": [