specs+docs: Renames

Author: zah

.agents/codebase-insights.txt

@@ -52,3 +52,6 @@
 - devShell now includes: `markdownlint-cli2` (Markdown style), `lychee` (link check), `vale` (prose), `cspell` (spelling).
 - Mermaid validation uses `@mermaid-js/mermaid-cli` and prefers system Chrome/Chromium (`PUPPETEER_EXECUTABLE_PATH`).
 - Chromium is added on Linux only; aarch64-darwin lacks a maintained Chromium build in nixpkgs — use a locally installed Chrome on macOS.
+
+## 2025-08-28 — MicroVM image pipeline insight
+- We can define packages once in Nix and emit: (1) OCI images for DevContainers (via `dockerTools`/`nix2container`), (2) raw/QCOW2 disk images for Lima (via `nixos-generators`), and (3) Firecracker/Cloud Hypervisor/QEMU microvm images (via `nixos-generators` + `microvm.nix`). This keeps Lima/DevContainer/MicroVM images aligned from a single flake config.

.cspell.json

@@ -19,6 +19,7 @@
     "Taplo","taplo","docson","Docson","nvim",
     "tailscaled","Headscale","tailnet","bytestreams",
     "cachix","sccache","GOPATH","ccache","substituters","pipx","ZDOTDIR","OPENROUTER","tini","WCAG","automations",
-    "scriptable","Rakefile","Ilib","subvolumes","reflinks","lowerdir","upperdir","venv","MSYS","pytest","rescan","lockfiles","virtualenv","exfiltration"
+    "scriptable","Rakefile","Ilib","subvolumes","reflinks","lowerdir","upperdir","venv","MSYS","pytest","rescan","lockfiles","virtualenv","exfiltration",
+    "LOCALAPPDATA","AUTOINCREMENT","pijul"
   ]
 }

.obsidian/workspace.json

@@ -13,12 +13,12 @@
             "state": {
               "type": "markdown",
               "state": {
-                "file": "specs/AGENTS.md",
+                "file": "specs/Research/Sandboxing Technologies.md",
                 "mode": "source",
                 "source": false
               },
               "icon": "lucide-file",
-              "title": "AGENTS"
+              "title": "Sandboxing Technologies"
             }
           },
           {
@@ -194,16 +194,23 @@
   },
   "active": "01bf72509d2b5652",
   "lastOpenFiles": [
-    "specs/Research/Can SSH work over HTTPS.md",
+    "docs/state-persistence.md",
     "docs/marketing-one-pager.md",
+    "docs/guide.md",
+    "docs/AI Development Guide.md",
+    "specs/Public/State Persistence.md",
+    "docs/Product One Pager.md",
+    "specs/Research/Sandboxing Technologies.md",
+    "specs/Public/CLI.md",
+    "specs/Research/MicroVM Research.md",
+    "specs/Public/Nix Devcontainer/Devcontainer Design.md",
     "specs/AGENTS.md",
+    "specs/Research/Can SSH work over HTTPS.md",
     "specs/Public/AGENTS.md",
-    "specs/Public/CLI.md",
     "scripts/md-mermaid-validate.sh",
     "specs/Public/Configuration.md",
     "specs/Public/3rd-Party Agents/3rd-Party Agent Description Template.md",
     "specs/Public/Nix Devcontainer/Devcontainer User Setup.md",
-    "specs/Public/Nix Devcontainer/Devcontainer Design.md",
     "specs/Public/Nix Devcontainer/Devcontainer Test Suite.md",
     "specs/Public/Nix Devcontainer/Devcontainer Cache Guidelines.md",
     "specs/Public/FS Snapshots/FS Snapshots Overview.md",
@@ -214,14 +221,7 @@
     "specs/Public/Agent Time Travel.md",
     "specs/Public/WebUI PRD.md",
     "specs/Public/TUI PRD.md",
-    "specs/Initial Developer Input/WebUI, TUI, REST Service.md",
     "specs/Public",
-    "specs/Public/Connectivity Layer.md",
-    "specs/Public/Prompt Engineering.md",
-    "specs/Public/REST Service.md",
-    "specs/Public/Sandbox Profiles.md",
-    "specs/Public/Multi-OS Testing.md",
-    "specs/Public/Remote Mode.md",
     "agent-task-0.1.0.gem",
     "test/logs/temp_output_20250828_001209.log",
     "test/temp_test_runner_1756329129.rb",

docs/guide.md renamed to docs/AI Development Guide.md

@@ -2,7 +2,7 @@
 
 This folder contains a work-in-progress specification for the next iteration of the agents-workflow product.
 
-The main ideas of the product are described in the [marketing-one-pager](../docs/marketing-one-pager.md) document. Please read it.
+The main ideas of the product are described in the [Product One Pager](../docs/Product%20One%20Pager.md) document. Please read it.
 
 Currently, the spec is not finalized and we are not ready to start the implementation of the software. The folder `specs/Initial Developer Input` contains files that should be treated as a ground truth for the specification effort. You are expected to work on the markdown files in the `specs/Public` folder, which should detail everything with a much higher precision, but please note that not all information in them has been fully reviewed by the development team yet.
 

docs/marketing-one-pager.md renamed to docs/Product One Pager.md

@@ -4,5 +4,5 @@ status: Early-Draft, Needs-Expansion
 
 When `aw` is launched in local mode, it uses a local database to manage its state and to synchronize multiple instances, running on the machine.
 
-Mention [state-persistence](../../docs/state-persistence.md).
+Mention [State Persistence](State%20Persistence.md).
 

specs/AGENTS.md

@@ -6,7 +6,7 @@ This document specifies how Agents‑Workflow (AW) persists CLI/TUI state locall
 
 - AW operates against one of two backends:
   - **Local SQLite**: the CLI performs state mutations directly against a per‑user SQLite database. Multiple `aw` processes may concurrently read/write this DB.
-  - **Remote REST**: the CLI talks to a remote server which implements the same logical schema and APIs.
+  - **Remote REST**: the CLI talks to a remote server which implements the same logical schema and API endpoints.
 
 Both backends share the same logical data model so behavior is consistent.
 
@@ -153,7 +153,7 @@ CREATE TABLE IF NOT EXISTS kv (
 
 ### Security and Privacy
 
-- Secrets are never stored in plaintext in this DB. Authentication with remote services uses OS‑level keychains or scoped token stores managed by the CLI and/or OS keychain helpers.
+- Secrets are never stored in plain text in this DB. Authentication with remote services uses OS‑level keychains or scoped token stores managed by the CLI and/or OS keychain helpers.
 
 ## Repo Detection