greprag 5.49.12 → 5.49.14

package/dist/session-id.js

@@ -71,14 +71,16 @@ function truncateSessionId(sessionId) {
 }
 /** THE single source of truth for THIS session's id outside a hook payload.
  *  Claude Code exports the live id as `CLAUDE_CODE_SESSION_ID` (verified on
- *  desktop 2.1.x — `CLAUDE_SESSION_ID` is NOT set). `CLAUDE_SESSION_ID` is kept
- *  only for older/terminal builds; `GREPRAG_SESSION_ID` is a deliberate manual
- *  override. A CLI invocation (no stdin hook payload) MUST resolve its session
- *  here — reading the wrong name silently widened `greprag inbox` to tenant-wide
- *  + mark-read (it consumed every session's mail). Returns the raw id (full UUID
- *  or 8-hex) or null; callers truncate via truncateSessionId. */
+ *  desktop 2.1.x — `CLAUDE_SESSION_ID` is NOT set). Codex hook/session contexts
+ *  expose `CODEX_THREAD_ID`. `CLAUDE_SESSION_ID` is kept only for older/terminal
+ *  builds; `GREPRAG_SESSION_ID` is a deliberate manual override. A CLI invocation
+ *  (no stdin hook payload) MUST resolve its session here — reading the wrong name
+ *  silently widens `greprag inbox` to tenant-wide + mark-read (it consumes every
+ *  session's mail). Returns the raw id (full UUID or 8-hex) or null; callers
+ *  truncate via truncateSessionId. */
 function readSessionEnv() {
     return (process.env.CLAUDE_CODE_SESSION_ID
+        || process.env.CODEX_THREAD_ID
         || process.env.CLAUDE_SESSION_ID
         || process.env.GREPRAG_SESSION_ID
         || null);

package/dist/session-id.js.map

@@ -1 +1 @@
-{"version":3,"file":"session-id.js","sourceRoot":"","sources":["../src/session-id.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAcH,8CAKC;AAUD,wCAOC;AAaD,oCAIC;AASD,8CAaC;AAWD,sDAUC;AAuBD,8CAaC;AAWD,kDAaC;AA1JD,2CAA6B;AAC7B,uCAAyB;AAEzB;;;;;;;;kDAQkD;AAClD,SAAgB,iBAAiB,CAAC,SAAoC;IACpE,IAAI,CAAC,SAAS,IAAI,OAAO,SAAS,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC7D,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IAC/D,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAChC,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACzB,CAAC;AAED;;;;;;;iEAOiE;AACjE,SAAgB,cAAc;IAC5B,OAAO,CACL,OAAO,CAAC,GAAG,CAAC,sBAAsB;WAC/B,OAAO,CAAC,GAAG,CAAC,iBAAiB;WAC7B,OAAO,CAAC,GAAG,CAAC,kBAAkB;WAC9B,IAAI,CACR,CAAC;AACJ,CAAC;AAED;;;;;;;;;;yDAUyD;AACzD,SAAgB,YAAY,CAAC,SAAoC;IAC/D,OAAO,SAAS;QACd,CAAC,CAAC,yEAAyE;QAC3E,CAAC,CAAC,6CAA6C,CAAC;AACpD,CAAC;AAED;;;;;;0CAM0C;AAC1C,SAAgB,iBAAiB;IAC/B,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,WAAW,IAAI,EAAE,CAAC;QAC/D,IAAI,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC;QACvB,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;QAC/D,MAAM,GAAG,GAAG,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAChD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAwB,CAAC;QACpD,IAAI,OAAO,IAAI,EAAE,MAAM,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QAClE,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACpC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;IACzD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;;;+EAQ+E;AAC/E,SAAgB,qBAAqB,CACnC,KAAa,EACb,QAAuB,IAAI;IAE3B,MAAM,MAAM,GAAG,KAAK,IAAI,UAAU,CAAC;IACnC,OAAO,CACL,4BAA4B,KAAK,IAAI;UACnC,iBAAiB,MAAM,gBAAgB,KAAK,GAAG;UAC/C,2BAA2B,MAAM,wEAAwE,CAC5G,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;0EAoB0E;AAC1E,SAAgB,iBAAiB,CAAC,KAAa,EAAE,QAAwB,EAAE,SAAS,GAAG,KAAK;IAC1F,kFAAkF;IAClF,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,gBAAgB,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACzD,0EAA0E;IAC1E,+EAA+E;IAC/E,0EAA0E;IAC1E,6BAA6B;IAC7B,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7C,MAAM,KAAK,GAAG,iCAAiC,KAAK,UAAU,KAAK,GAAG,IAAI,EAAE,CAAC;IAC7E,iFAAiF;IACjF,gFAAgF;IAChF,sDAAsD;IACtD,OAAO,kBAAkB,KAAK,gDAAgD,CAAC;AACjF,CAAC;AAED;;;;;;;;qDAQqD;AACrD,SAAgB,mBAAmB,CACjC,KAA8B;IAE9B,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAClD,IAAI,CAAC,KAAK;QAAE,OAAO;IACnB,MAAM,KAAK,GAAG,iBAAiB,EAAE,CAAC;IAClC,MAAM,OAAO,GAAG;QACd,kBAAkB,EAAE;YAClB,aAAa,EAAE,cAAc;YAC7B,iBAAiB,EAAE,qBAAqB,CAAC,KAAK,EAAE,KAAK,CAAC;SACvD;KACF,CAAC;IACF,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;AACvD,CAAC"}
+{"version":3,"file":"session-id.js","sourceRoot":"","sources":["../src/session-id.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAcH,8CAKC;AAWD,wCAQC;AAaD,oCAIC;AASD,8CAaC;AAWD,sDAUC;AAuBD,8CAaC;AAWD,kDAaC;AA5JD,2CAA6B;AAC7B,uCAAyB;AAEzB;;;;;;;;kDAQkD;AAClD,SAAgB,iBAAiB,CAAC,SAAoC;IACpE,IAAI,CAAC,SAAS,IAAI,OAAO,SAAS,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC7D,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IAC/D,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAChC,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACzB,CAAC;AAED;;;;;;;;sCAQsC;AACtC,SAAgB,cAAc;IAC5B,OAAO,CACL,OAAO,CAAC,GAAG,CAAC,sBAAsB;WAC/B,OAAO,CAAC,GAAG,CAAC,eAAe;WAC3B,OAAO,CAAC,GAAG,CAAC,iBAAiB;WAC7B,OAAO,CAAC,GAAG,CAAC,kBAAkB;WAC9B,IAAI,CACR,CAAC;AACJ,CAAC;AAED;;;;;;;;;;yDAUyD;AACzD,SAAgB,YAAY,CAAC,SAAoC;IAC/D,OAAO,SAAS;QACd,CAAC,CAAC,yEAAyE;QAC3E,CAAC,CAAC,6CAA6C,CAAC;AACpD,CAAC;AAED;;;;;;0CAM0C;AAC1C,SAAgB,iBAAiB;IAC/B,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,WAAW,IAAI,EAAE,CAAC;QAC/D,IAAI,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC;QACvB,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;QAC/D,MAAM,GAAG,GAAG,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAChD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAwB,CAAC;QACpD,IAAI,OAAO,IAAI,EAAE,MAAM,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QAClE,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACpC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;IACzD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;;;+EAQ+E;AAC/E,SAAgB,qBAAqB,CACnC,KAAa,EACb,QAAuB,IAAI;IAE3B,MAAM,MAAM,GAAG,KAAK,IAAI,UAAU,CAAC;IACnC,OAAO,CACL,4BAA4B,KAAK,IAAI;UACnC,iBAAiB,MAAM,gBAAgB,KAAK,GAAG;UAC/C,2BAA2B,MAAM,wEAAwE,CAC5G,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;0EAoB0E;AAC1E,SAAgB,iBAAiB,CAAC,KAAa,EAAE,QAAwB,EAAE,SAAS,GAAG,KAAK;IAC1F,kFAAkF;IAClF,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,gBAAgB,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACzD,0EAA0E;IAC1E,+EAA+E;IAC/E,0EAA0E;IAC1E,6BAA6B;IAC7B,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7C,MAAM,KAAK,GAAG,iCAAiC,KAAK,UAAU,KAAK,GAAG,IAAI,EAAE,CAAC;IAC7E,iFAAiF;IACjF,gFAAgF;IAChF,sDAAsD;IACtD,OAAO,kBAAkB,KAAK,gDAAgD,CAAC;AACjF,CAAC;AAED;;;;;;;;qDAQqD;AACrD,SAAgB,mBAAmB,CACjC,KAA8B;IAE9B,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAClD,IAAI,CAAC,KAAK;QAAE,OAAO;IACnB,MAAM,KAAK,GAAG,iBAAiB,EAAE,CAAC;IAClC,MAAM,OAAO,GAAG;QACd,kBAAkB,EAAE;YAClB,aAAa,EAAE,cAAc;YAC7B,iBAAiB,EAAE,qBAAqB,CAAC,KAAK,EAAE,KAAK,CAAC;SACvD;KACF,CAAC;IACF,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;AACvD,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "greprag",
-  "version": "5.49.12",
+  "version": "5.49.14",
   "description": "GrepRAG — agent memory for Claude Code, Codex, and OpenCode.",
   "main": "dist/index.js",
   "bin": {

package/skill/greprag/SKILL.md

@@ -127,7 +127,7 @@ Aliases (silent back-compat): `greprag memory briefing` → `recap` (renamed v5.
 
 **Codex: DO NOT CLAIM HOOKS ARE ACTIVE JUST BECAUSE `~/.codex/hooks.json` EXISTS.** Codex Desktop requires Settings -> Settings -> Hooks trust review before command hooks run automatically. If turn capture is missing after `greprag init --codex`, tell the user: open Codex Desktop Settings -> Settings -> Hooks, trust the 6 GrepRAG hooks, then start a fresh Codex session.
 
-**Codex live inbox push requires the startup watcher.** Hooks only fire at Codex turn/tool/session boundaries. Public installs should use `greprag init --codex --tenant-id <handle> --install-watcher`; run `greprag codex doctor --wake-test` to inspect state, and use `greprag codex watch --session <id>` only for foreground testing. The sidecar listens to GrepRAG inbox SSE and wakes Codex via `codex exec resume`. If the wake-action probe fails, describe live push as notification-only and rely on turn-bound inbox steering for reliable delivery.
+**Codex live inbox push requires the startup watcher.** Hooks only fire at Codex turn/tool/session boundaries. Public installs should use `greprag init --codex --tenant-id <handle> --install-watcher`; run `greprag codex doctor --wake-test` to inspect state, and use `greprag codex watch --session <id>` only for foreground testing. The sidecar listens to GrepRAG inbox SSE; the proven Desktop-visible wake path is Codex app-layer thread continuation (`send_message_to_thread` shape, visible `codex_delegation` turn). `codex exec resume` is only fallback/diagnostic because it can append to history without surfacing in the active Desktop pane. If wake-test reports only fallback, describe live push as unconfirmed/non-visible and rely on turn-bound inbox steering for reliable delivery.
 
 **ABOUT TO `greprag send` TO A `@gmail.com` / `@anthropic.com` / REAL EMAIL ADDRESS? STOP — for `inbox`/`send` (internal cross-session messaging), `users.email` IS NEVER A ROUTING ADDRESS.** Use the numeric handle (`1834729@greprag.com`) or claimed vanity alias (`travis@greprag.com`). If you don't know the recipient's handle, ASK — don't guess from their email. adr: adr/numeric-handles.md. Full grammar: `docs/inbox.md § address`.
 

package/skill/greprag/docs/setup.md

@@ -64,7 +64,12 @@ greprag codex watch --session <8hex-or-full-codex-session-id>
 
 If `--session` is omitted, it uses the latest Codex session recorded in
 `~/.codex/session_index.jsonl`. The sidecar stays attached to GrepRAG inbox SSE
-and wakes Codex with `codex exec resume <session> -` whenever a message arrives.
+and should wake Codex through the Desktop app-layer thread continuation path,
+equivalent to Codex's `send_message_to_thread` tool. The successful visible
+shape is a delegated turn in the target thread (`codex_delegation` with the
+source thread id). `codex exec resume <session> -` can append to Codex's thread
+store, but it is not a reliable visible wake in the active Desktop pane and
+must be treated as fallback/diagnostic only.
 Use `greprag codex startup status` to inspect the login entry and
 `greprag codex startup remove` to uninstall it.
 
@@ -81,13 +86,13 @@ live at `~/.greprag/logs/codex-watch.log`.
 running, messages are stored and can surface on the next user prompt or after a
 later tool call, but they do not wake idle Codex.
 
-Live wake and live action are different checks. The sidecar may wake a Codex
-thread, while the resumed Codex run still fails to run commands if the local
-Codex sandbox is unhealthy. On native Windows, this can appear as
+Visible wake and live action are different checks. The sidecar may deliver a
+visible delegated turn to Codex, while that turn still fails to run commands if
+the local Codex sandbox is unhealthy. On native Windows, this can appear as
 `windows sandbox: spawn setup refresh`. If `greprag codex doctor --wake-test`
-reports wake action as unsupported, describe live push as notify-only and rely
-on turn-bound inbox steering until the user switches to WSL2/remote Linux or
-Codex fixes the sandbox path. Do not enable unsafe sandbox bypass as a public
+reports only CLI-resume fallback or wake action as unsupported, describe live
+push as unconfirmed/non-visible and rely on turn-bound inbox steering until the
+app-layer path is available. Do not enable unsafe sandbox bypass as a public
 default.
 
 ## claude-code

package/skill/templates/chip-bootloader.md

@@ -0,0 +1,107 @@
+# Chip Bootloader
+
+No `spawn_task`? The lead creates a git worktree, the user opens a new session
+there, and the bootloader takes over. greprag inbox is the back-channel.
+
+## Multi-chip?
+
+If this task needs ≥2 chips, STOP and run `greprag load chip-leader-opencode` FIRST.
+The leader plans the integration branch, labels, seams, and merge order before
+any chip launches. A lone chip proceeds directly below.
+
+---
+## Lead: before presenting the bootloader
+
+```bash
+if [ -d "C:\chip-<slug>" ]; then
+    cd "C:\chip-<slug>"
+    current=$(git branch --show-current)
+    if [ "$current" = "chip/<slug>" ]; then
+        echo "Worktree already exists on correct branch — reusing"
+    else
+        echo "ERROR: Worktree dir exists but branch is '$current', not 'chip/<slug>'. Remove and retry." >&2
+        exit 1
+    fi
+else
+    git worktree add C:\chip-<slug> -b chip/<slug>
+fi
+```
+
+The worktree IS the isolation — same pattern as Claude Code's `spawn_task` worktree
+landing. Branch already exists, directory already isolated. Now present the
+bootloader below and tell the user: **"Open a new session here: C:\chip-<slug>"**
+
+## After chip reports DONE
+
+```bash
+git checkout <target-branch>         # main or integration branch
+git merge chip/<slug>
+git worktree remove C:\chip-<slug>
+git branch -d chip/<slug>
+```
+
+---
+## Bootloader template
+
+Substitute the bracketed placeholders and present as a copyable code block.
+
+````
+Chip <Label>: <verb-phrase>
+
+You are inside C:\chip-<slug> — a git worktree on branch chip/<slug>,
+created for you by the lead. Verify:
+
+```bash
+git branch --show-current  # should output: chip/<slug>
+```
+
+---
+## Block 1 — Setup
+
+1. Get your session ID:
+   ```bash
+   greprag status 2>&1 | grep -oP '(?<=greprag session id: )[0-9a-f]+'
+   ```
+
+2. Announce you're alive:
+   ```bash
+   greprag send "IN-FLIGHT: chip/<slug> launched — <task-summary>" \
+     --to <handle>@greprag.com/<parent-8hex> \
+     --from-session <your-8hex>
+   ```
+
+IN-FLIGHT ping is mandatory. No ping = lead assumes chip never launched.
+
+---
+## Task
+
+<your instructions here>
+
+Commit milestones on chip/<slug>. At each turn start, run
+`greprag inbox --peek` — the lead may send new instructions.
+
+---
+## Block 2 — Report when done
+
+```bash
+greprag send "<status>: <result>" \
+  --to <handle>@greprag.com/<parent-8hex> \
+  --from-session <your-8hex>
+```
+
+After reporting, wait for the lead — there may be follow-up.
+The lead will merge chip/<slug> and remove this worktree when finished.
+````
+
+### Placeholder reference
+
+| Placeholder | Substitute |
+|---|---|
+| `<Label>` | Single-letter (A, B...) or omit for single-chip |
+| `<verb-phrase>` | Short name, e.g. `Fix synthesis loop` |
+| `<slug>` | Slugified — `fix-synthesis-loop` |
+| `<parent-8hex>` | Your own session id (first 8 hex) |
+| `<handle>` | Operator's greprag handle |
+| `<task-summary>` | One-liner for the IN-FLIGHT ping |
+| `<status>` | `DONE`, `BLOCKED`, `PARTIAL` |
+| `<result>` | Summary of what was done |

package/skill/templates/chip-spawn.md

@@ -22,8 +22,21 @@ Add `mode: interactive` as the first line of the task body to pause the chip for
 ```bash
 main_root=$(git rev-parse --git-common-dir | xargs dirname)
 cd "$main_root"
-git worktree add .claude/worktrees/<slug> -b chip/<slug>
-cd .claude/worktrees/<slug>
+
+if [ -d ".claude/worktrees/<slug>" ]; then
+    cd ".claude/worktrees/<slug>"
+    current_branch=$(git branch --show-current)
+    if [ "$current_branch" = "chip/<slug>" ]; then
+        echo "Worktree already exists on correct branch — reusing"
+    else
+        echo "ERROR: Worktree dir exists but is on branch '$current_branch', not 'chip/<slug>'. Remove it and retry." >&2
+        exit 1
+    fi
+else
+    git worktree add ".claude/worktrees/<slug>" -b chip/<slug>
+    cd ".claude/worktrees/<slug>"
+fi
+
 greprag send "IN-FLIGHT: chip/<slug> launched — working" \
   --to <handle>@greprag.com/<8-hex-parent> --from-session <own-session-id>
 ```

package/dist/commands/procedure.d.ts

@@ -1,15 +0,0 @@
-/** `greprag procedure` — manage the project's operational recipes
- *  (docs/procedure-system.md). PROOF slice: seed + inspect + dry-run match.
- *
- *  Subcommands:
- *    list                     — show this project's procedures
- *    show <verb>              — print one procedure + its injection text
- *    seed [--git]             — write the git-ecosystem seed set (commit/merge/push/deploy/release)
- *    register --verb V --steps "..." [--caveats "..."] [--endpoint "..."] [--trigger T ...] [--destructive]
- *    rm <verb>                — remove a procedure
- *    match "<text>"           — dry-run: what would inject for this prompt
- *
- *  Identity comes from the project anchor (git-root-derived), same key the
- *  hot-path hook uses. Zero network — the store is the local file beside the
- *  matchset cache. */
-export declare function runProcedure(args: string[]): Promise<void>;

package/dist/commands/procedure.js

@@ -1,167 +0,0 @@
-"use strict";
-/** `greprag procedure` — manage the project's operational recipes
- *  (docs/procedure-system.md). PROOF slice: seed + inspect + dry-run match.
- *
- *  Subcommands:
- *    list                     — show this project's procedures
- *    show <verb>              — print one procedure + its injection text
- *    seed [--git]             — write the git-ecosystem seed set (commit/merge/push/deploy/release)
- *    register --verb V --steps "..." [--caveats "..."] [--endpoint "..."] [--trigger T ...] [--destructive]
- *    rm <verb>                — remove a procedure
- *    match "<text>"           — dry-run: what would inject for this prompt
- *
- *  Identity comes from the project anchor (git-root-derived), same key the
- *  hot-path hook uses. Zero network — the store is the local file beside the
- *  matchset cache. */
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.runProcedure = runProcedure;
-const procedure_1 = require("../procedure");
-const project_anchor_1 = require("../project-anchor");
-function getFlag(args, flag) {
-    const idx = args.indexOf(flag);
-    if (idx === -1 || idx + 1 >= args.length)
-        return undefined;
-    return args[idx + 1];
-}
-/** Collect every `--trigger X` occurrence (repeatable flag). */
-function collectFlags(args, flag) {
-    const out = [];
-    for (let i = 0; i < args.length - 1; i++) {
-        if (args[i] === flag)
-            out.push(args[i + 1]);
-    }
-    return out;
-}
-function resolveProjectId() {
-    const anchor = (0, project_anchor_1.readAnchor)(process.cwd());
-    return { projectId: anchor.projectId, projectName: anchor.projectName };
-}
-function printProcedure(p) {
-    const tag = p.destructive ? ' [DESTRUCTIVE — seed-only]' : '';
-    console.log(`  ${p.verb}  (${p.status})${tag}`);
-    console.log(`    triggers: ${p.triggers.join(', ')}`);
-    console.log(`    steps:    ${p.steps}`);
-    if (p.caveats)
-        console.log(`    gate:     ${p.caveats}`);
-    if (p.endpoint)
-        console.log(`    endpoint: ${p.endpoint}`);
-}
-async function runProcedure(args) {
-    const sub = args[0];
-    const rest = args.slice(1);
-    const { projectId, projectName } = resolveProjectId();
-    switch (sub) {
-        case 'list': {
-            const store = (0, procedure_1.readProcedureStore)(projectId);
-            if (store.procedures.length === 0) {
-                console.log(`No procedures for ${projectName}. Seed the git set: greprag procedure seed --git`);
-                return;
-            }
-            console.log(`Procedures for ${projectName} (${store.procedures.length}):`);
-            for (const p of store.procedures)
-                printProcedure(p);
-            console.log(`\n  store: ${(0, procedure_1.procedureStorePath)(projectId)}`);
-            return;
-        }
-        case 'show': {
-            const verb = rest[0];
-            if (!verb) {
-                console.error('Usage: greprag procedure show <verb>');
-                process.exit(1);
-            }
-            const store = (0, procedure_1.readProcedureStore)(projectId);
-            const p = store.procedures.find(x => x.verb === verb);
-            if (!p) {
-                console.error(`No procedure "${verb}" for ${projectName}.`);
-                process.exit(1);
-            }
-            printProcedure(p);
-            console.log(`\n  --- injection text (what the agent sees) ---`);
-            console.log((0, procedure_1.buildProcedureInjection)(p));
-            return;
-        }
-        case 'seed': {
-            // --git is the only seed set today; default to it so bare `seed` works.
-            const store = (0, procedure_1.readProcedureStore)(projectId);
-            let next = store;
-            for (const p of procedure_1.GIT_SEED_SET) {
-                next = (0, procedure_1.upsertProcedure)(next, p, /* force */ true);
-            }
-            (0, procedure_1.writeProcedureStore)(projectId, next);
-            console.log(`Seeded ${procedure_1.GIT_SEED_SET.length} git-ecosystem procedures for ${projectName}:`);
-            for (const p of procedure_1.GIT_SEED_SET)
-                console.log(`  • ${p.verb}${p.destructive ? ' (destructive — seed-only)' : ''}`);
-            console.log(`\n  store: ${(0, procedure_1.procedureStorePath)(projectId)}`);
-            return;
-        }
-        case 'register': {
-            const verb = getFlag(rest, '--verb');
-            const steps = getFlag(rest, '--steps');
-            if (!verb || !steps) {
-                console.error('Usage: greprag procedure register --verb <v> --steps "<...>" [--caveats "<...>"] [--endpoint "<...>"] [--trigger <t> ...] [--destructive]');
-                process.exit(1);
-            }
-            const triggers = collectFlags(rest, '--trigger');
-            const proc = {
-                verb,
-                triggers: triggers.length ? triggers : [verb],
-                steps,
-                caveats: getFlag(rest, '--caveats'),
-                endpoint: getFlag(rest, '--endpoint'),
-                status: 'seeded',
-                destructive: rest.includes('--destructive') || undefined,
-            };
-            const store = (0, procedure_1.readProcedureStore)(projectId);
-            (0, procedure_1.writeProcedureStore)(projectId, (0, procedure_1.upsertProcedure)(store, proc, /* force */ true));
-            console.log(`Registered procedure "${verb}" for ${projectName}.`);
-            printProcedure(proc);
-            return;
-        }
-        case 'rm': {
-            const verb = rest[0];
-            if (!verb) {
-                console.error('Usage: greprag procedure rm <verb>');
-                process.exit(1);
-            }
-            const store = (0, procedure_1.readProcedureStore)(projectId);
-            if (!store.procedures.some(p => p.verb === verb)) {
-                console.error(`No procedure "${verb}" for ${projectName}.`);
-                process.exit(1);
-            }
-            (0, procedure_1.writeProcedureStore)(projectId, (0, procedure_1.removeProcedure)(store, verb));
-            console.log(`Removed procedure "${verb}".`);
-            return;
-        }
-        case 'match': {
-            const text = rest.join(' ').trim();
-            if (!text) {
-                console.error('Usage: greprag procedure match "<prompt text>"');
-                process.exit(1);
-            }
-            const store = (0, procedure_1.readProcedureStore)(projectId);
-            const m = (0, procedure_1.matchProcedure)(text, store);
-            if (!m) {
-                const raw = (0, procedure_1.matchProcedure)(text, store, { ignoreIntentGuard: true });
-                if (raw) {
-                    console.log(`No injection — "${raw.procedure.verb}" matched on "${raw.trigger}" but the intent guard suppressed it (reads as a mention, not a request).`);
-                    return;
-                }
-                console.log(`No procedure matches: "${text}"`);
-                return;
-            }
-            console.log(`Matched "${m.procedure.verb}" via trigger "${m.trigger}". Would inject:\n`);
-            console.log((0, procedure_1.buildProcedureInjection)(m.procedure));
-            return;
-        }
-        default:
-            console.log('greprag procedure — operational recipes for this repo (docs/procedure-system.md)');
-            console.log('  list                 list this project\'s procedures');
-            console.log('  show <verb>          print one + its injection text');
-            console.log('  seed --git           write the git-ecosystem seed set');
-            console.log('  register --verb ...  hand-roll a procedure');
-            console.log('  rm <verb>            remove a procedure');
-            console.log('  match "<text>"       dry-run: what would inject for this prompt');
-            return;
-    }
-}
-//# sourceMappingURL=procedure.js.map

package/dist/commands/procedure.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"procedure.js","sourceRoot":"","sources":["../../src/commands/procedure.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;sBAasB;;AAsCtB,oCA6GC;AAjJD,4CAIsB;AACtB,sDAA+C;AAE/C,SAAS,OAAO,CAAC,IAAc,EAAE,IAAY;IAC3C,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC3D,OAAO,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;AACvB,CAAC;AAED,gEAAgE;AAChE,SAAS,YAAY,CAAC,IAAc,EAAE,IAAY;IAChD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,gBAAgB;IACvB,MAAM,MAAM,GAAG,IAAA,2BAAU,EAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IACzC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC;AAC1E,CAAC;AAED,SAAS,cAAc,CAAC,CAAY;IAClC,MAAM,GAAG,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9D,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,MAAM,IAAI,GAAG,EAAE,CAAC,CAAC;IAChD,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtD,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IACxC,IAAI,CAAC,CAAC,OAAO;QAAE,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IACzD,IAAI,CAAC,CAAC,QAAQ;QAAE,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;AAC7D,CAAC;AAEM,KAAK,UAAU,YAAY,CAAC,IAAc;IAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,gBAAgB,EAAE,CAAC;IAEtD,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,KAAK,GAAG,IAAA,8BAAkB,EAAC,SAAS,CAAC,CAAC;YAC5C,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAClC,OAAO,CAAC,GAAG,CAAC,qBAAqB,WAAW,kDAAkD,CAAC,CAAC;gBAChG,OAAO;YACT,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,kBAAkB,WAAW,KAAK,KAAK,CAAC,UAAU,CAAC,MAAM,IAAI,CAAC,CAAC;YAC3E,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,UAAU;gBAAE,cAAc,CAAC,CAAC,CAAC,CAAC;YACpD,OAAO,CAAC,GAAG,CAAC,cAAc,IAAA,8BAAkB,EAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YAC3D,OAAO;QACT,CAAC;QAED,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACrB,IAAI,CAAC,IAAI,EAAE,CAAC;gBAAC,OAAO,CAAC,KAAK,CAAC,sCAAsC,CAAC,CAAC;gBAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAAC,CAAC;YACtF,MAAM,KAAK,GAAG,IAAA,8BAAkB,EAAC,SAAS,CAAC,CAAC;YAC5C,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;YACtD,IAAI,CAAC,CAAC,EAAE,CAAC;gBAAC,OAAO,CAAC,KAAK,CAAC,iBAAiB,IAAI,SAAS,WAAW,GAAG,CAAC,CAAC;gBAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAAC,CAAC;YACzF,cAAc,CAAC,CAAC,CAAC,CAAC;YAClB,OAAO,CAAC,GAAG,CAAC,kDAAkD,CAAC,CAAC;YAChE,OAAO,CAAC,GAAG,CAAC,IAAA,mCAAuB,EAAC,CAAC,CAAC,CAAC,CAAC;YACxC,OAAO;QACT,CAAC;QAED,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,wEAAwE;YACxE,MAAM,KAAK,GAAG,IAAA,8BAAkB,EAAC,SAAS,CAAC,CAAC;YAC5C,IAAI,IAAI,GAAmB,KAAK,CAAC;YACjC,KAAK,MAAM,CAAC,IAAI,wBAAY,EAAE,CAAC;gBAC7B,IAAI,GAAG,IAAA,2BAAe,EAAC,IAAI,EAAE,CAAC,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;YACpD,CAAC;YACD,IAAA,+BAAmB,EAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YACrC,OAAO,CAAC,GAAG,CAAC,UAAU,wBAAY,CAAC,MAAM,iCAAiC,WAAW,GAAG,CAAC,CAAC;YAC1F,KAAK,MAAM,CAAC,IAAI,wBAAY;gBAAE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC/G,OAAO,CAAC,GAAG,CAAC,cAAc,IAAA,8BAAkB,EAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YAC3D,OAAO;QACT,CAAC;QAED,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACrC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACvC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACpB,OAAO,CAAC,KAAK,CAAC,2IAA2I,CAAC,CAAC;gBAC3J,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClB,CAAC;YACD,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YACjD,MAAM,IAAI,GAAc;gBACtB,IAAI;gBACJ,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBAC7C,KAAK;gBACL,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC;gBACnC,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC;gBACrC,MAAM,EAAE,QAAQ;gBAChB,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,IAAI,SAAS;aACzD,CAAC;YACF,MAAM,KAAK,GAAG,IAAA,8BAAkB,EAAC,SAAS,CAAC,CAAC;YAC5C,IAAA,+BAAmB,EAAC,SAAS,EAAE,IAAA,2BAAe,EAAC,KAAK,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;YAC/E,OAAO,CAAC,GAAG,CAAC,yBAAyB,IAAI,SAAS,WAAW,GAAG,CAAC,CAAC;YAClE,cAAc,CAAC,IAAI,CAAC,CAAC;YACrB,OAAO;QACT,CAAC;QAED,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACrB,IAAI,CAAC,IAAI,EAAE,CAAC;gBAAC,OAAO,CAAC,KAAK,CAAC,oCAAoC,CAAC,CAAC;gBAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAAC,CAAC;YACpF,MAAM,KAAK,GAAG,IAAA,8BAAkB,EAAC,SAAS,CAAC,CAAC;YAC5C,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;gBACjD,OAAO,CAAC,KAAK,CAAC,iBAAiB,IAAI,SAAS,WAAW,GAAG,CAAC,CAAC;gBAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC/E,CAAC;YACD,IAAA,+BAAmB,EAAC,SAAS,EAAE,IAAA,2BAAe,EAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;YAC7D,OAAO,CAAC,GAAG,CAAC,sBAAsB,IAAI,IAAI,CAAC,CAAC;YAC5C,OAAO;QACT,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;YACnC,IAAI,CAAC,IAAI,EAAE,CAAC;gBAAC,OAAO,CAAC,KAAK,CAAC,gDAAgD,CAAC,CAAC;gBAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAAC,CAAC;YAChG,MAAM,KAAK,GAAG,IAAA,8BAAkB,EAAC,SAAS,CAAC,CAAC;YAC5C,MAAM,CAAC,GAAG,IAAA,0BAAc,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACtC,IAAI,CAAC,CAAC,EAAE,CAAC;gBACP,MAAM,GAAG,GAAG,IAAA,0BAAc,EAAC,IAAI,EAAE,KAAK,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC;gBACrE,IAAI,GAAG,EAAE,CAAC;oBACR,OAAO,CAAC,GAAG,CAAC,mBAAmB,GAAG,CAAC,SAAS,CAAC,IAAI,iBAAiB,GAAG,CAAC,OAAO,2EAA2E,CAAC,CAAC;oBAC1J,OAAO;gBACT,CAAC;gBACD,OAAO,CAAC,GAAG,CAAC,0BAA0B,IAAI,GAAG,CAAC,CAAC;gBAC/C,OAAO;YACT,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,SAAS,CAAC,IAAI,kBAAkB,CAAC,CAAC,OAAO,oBAAoB,CAAC,CAAC;YACzF,OAAO,CAAC,GAAG,CAAC,IAAA,mCAAuB,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;YAClD,OAAO;QACT,CAAC;QAED;YACE,OAAO,CAAC,GAAG,CAAC,kFAAkF,CAAC,CAAC;YAChG,OAAO,CAAC,GAAG,CAAC,wDAAwD,CAAC,CAAC;YACtE,OAAO,CAAC,GAAG,CAAC,uDAAuD,CAAC,CAAC;YACrE,OAAO,CAAC,GAAG,CAAC,yDAAyD,CAAC,CAAC;YACvE,OAAO,CAAC,GAAG,CAAC,8CAA8C,CAAC,CAAC;YAC5D,OAAO,CAAC,GAAG,CAAC,2CAA2C,CAAC,CAAC;YACzD,OAAO,CAAC,GAAG,CAAC,mEAAmE,CAAC,CAAC;YACjF,OAAO;IACX,CAAC;AACH,CAAC"}

package/dist/procedure.d.ts

@@ -1,88 +0,0 @@
-/** Procedure System — pure core + local store (docs/procedure-system.md).
- *
- *  A *procedure* is the repo-specific recipe behind an operational intent
- *  (deploy / push / release / commit / merge). The system's job: when the user
- *  asks for one, inject the known recipe + its gate BEFORE the agent moves, so
- *  the operational verb runs cleanly instead of by trial-and-error.
- *
- *  This module is the PROOF slice — Tier 1 (deterministic keyword trigger) +
- *  REPLAY (inject a seeded/learned recipe). It is intentionally local-file
- *  backed, mirroring guard.ts's matchset cache: the UserPromptSubmit hook reads
- *  it on the hot path, so there is NO network here (server persistence + the
- *  LEARN/Stop-hook capture leg land later — docs/procedure-system.md phases).
- *
- *  Pure (matchProcedure / buildProcedureInjection / GIT_SEED_SET) is split from
- *  the I/O (read/writeProcedureStore) so the matcher + injection text are
- *  testable without touching disk — the coordinate-gate.ts shape.
- */
-/** The status ladder IS the silent-reflex safety structure (docs/procedure-system.md):
- *  a recipe is a hypothesis until reuse confirms it, and self-heals when it fails.
- *    seeded     — hand-authored before any failure; injects with confidence.
- *    discovered — Tier-2 only: a new procedure the judge proposed; below learned.
- *    learned    — captured from one cold-start floundering→success span.
- *    confirmed  — a clean injected REPLAY proved the recipe.
- *    stale      — injection floundered → re-enter LEARN (overwrite). */
-export type ProcedureStatus = 'seeded' | 'discovered' | 'learned' | 'confirmed' | 'stale';
-export interface Procedure {
-    /** Normalized intent key (one per repo). */
-    verb: string;
-    /** Phrases in the user message that fire this procedure. Lowercased; matched
-     *  whole-word for single tokens, substring for multi-word phrases. */
-    triggers: string[];
-    /** The recipe — the winning command path. */
-    steps: string;
-    /** The gate / guardrail surfaced alongside the steps (load-bearing for
-     *  destructive verbs — a procedure carries gates, not just steps). */
-    caveats?: string;
-    /** The linked exit condition — how we know the procedure is done. */
-    endpoint?: string;
-    status: ProcedureStatus;
-    /** Destructive verbs (push → prod) MUST stay seeded and are never overwritten
-     *  by the LEARN leg — the one failure you can't afford even once. */
-    destructive?: boolean;
-    updatedAt?: string;
-}
-export interface ProcedureStore {
-    version: string;
-    procedures: Procedure[];
-}
-export interface ProcedureMatch {
-    procedure: Procedure;
-    /** Which trigger phrase fired — for diagnostics / the dry-run `match` command. */
-    trigger: string;
-}
-export declare const PROCEDURE_STORE_VERSION = "1";
-/** Beside the matchset cache (guard.ts), keyed by project_id so it survives
- *  renames/worktrees and stays per-project. */
-export declare function procedureStorePath(projectId: string): string;
-/** Read the project's procedure store. Returns an empty store on any miss —
- *  fail-open, so a read error never blocks the hot path. */
-export declare function readProcedureStore(projectId: string): ProcedureStore;
-export declare function writeProcedureStore(projectId: string, store: ProcedureStore): void;
-/** Insert-or-replace by verb. Destructive existing procedures are NOT silently
- *  downgraded: a learned/auto write can't overwrite a destructive=true seed
- *  (callers pass `force` for an explicit operator re-seed). Returns the store. */
-export declare function upsertProcedure(store: ProcedureStore, proc: Procedure, force?: boolean): ProcedureStore;
-export declare function removeProcedure(store: ProcedureStore, verb: string): ProcedureStore;
-/** True if a raw trigger hit should be SUPPRESSED — it reads as a mention, not
- *  a request. PURE. (1) the trigger only appears inside a collision phrase;
- *  (2) a negation sits within 3 tokens before the trigger. */
-export declare function intentSuppressed(promptLower: string, triggerLower: string): boolean;
-/** Match a user prompt against the store. Returns the procedure whose
- *  LONGEST trigger phrase hits (most-specific wins — `git push` beats `push`,
- *  `ship a release` beats `ship`), or null. PURE — no I/O. The Tier-1 intent
- *  guard filters mention-not-request hits unless `ignoreIntentGuard` is set
- *  (the `match` dry-run uses it to explain a suppression). */
-export declare function matchProcedure(prompt: string, store: ProcedureStore, opts?: {
-    ignoreIntentGuard?: boolean;
-}): ProcedureMatch | null;
-/** The additionalContext block injected at UserPromptSubmit when a procedure
- *  matches. Leads with the gate for destructive verbs (the guardrail is the
- *  point); otherwise leads with the steps. Bounded + labeled so the agent reads
- *  it as a known recipe, not a new instruction to reason about. */
-export declare function buildProcedureInjection(proc: Procedure): string;
-/** The five operational verbs Travis conflates, encoded with their real recipes
- *  + gates (docs/procedure-system.md). The deliberate contradiction —
- *  deploy = don't-ask, push = always-ask — is exactly what trips a learning
- *  dev; both gates ship on day one. `push` is destructive → seed-only. */
-export declare const GIT_SEED_SET: Procedure[];