greprag 5.50.0 → 5.51.0

package/dist/commands/load.d.ts

@@ -6,10 +6,13 @@
  *  agent runs it and reads the doctrine inline (the `/ui-skills` "I know kung fu"
  *  pattern). docs/load-system.md.
  *
- *    greprag load            → the catalog (every entry, one line each)
+ *    greprag load            → the catalog (bundled entries + your mirrored skills)
  *    greprag load <name>     → that entry's full doctrine, printed to stdout
+ *    greprag load <skill> <docpath>  → a mirrored skill's companion doc
  *
- *  Entries are bundled markdown under `skill/templates/`, shipped in the CLI
- *  package `files` array (resolved the same way `init` + `skill` resolve bundled
- *  assets: relative to __dirname). Zero network, zero filesystem state. */
-export declare function runLoad(args: string[]): void;
+ *  Resolution order (docs/load-system.md): BUNDLED (markdown under
+ *  `skill/templates/`, in the package `files` array — zero network) → the
+ *  Tier-3 SKILL MIRROR (your own used skills, auto-shadowed per-tenant, served
+ *  from /v1/skillmirror — works on any machine/harness with the CLI + key).
+ *  Marketplace (remote curated) comes later. */
+export declare function runLoad(args: string[]): Promise<void>;

package/dist/commands/load.js

@@ -7,12 +7,15 @@
  *  agent runs it and reads the doctrine inline (the `/ui-skills` "I know kung fu"
  *  pattern). docs/load-system.md.
  *
- *    greprag load            → the catalog (every entry, one line each)
+ *    greprag load            → the catalog (bundled entries + your mirrored skills)
  *    greprag load <name>     → that entry's full doctrine, printed to stdout
+ *    greprag load <skill> <docpath>  → a mirrored skill's companion doc
  *
- *  Entries are bundled markdown under `skill/templates/`, shipped in the CLI
- *  package `files` array (resolved the same way `init` + `skill` resolve bundled
- *  assets: relative to __dirname). Zero network, zero filesystem state. */
+ *  Resolution order (docs/load-system.md): BUNDLED (markdown under
+ *  `skill/templates/`, in the package `files` array — zero network) → the
+ *  Tier-3 SKILL MIRROR (your own used skills, auto-shadowed per-tenant, served
+ *  from /v1/skillmirror — works on any machine/harness with the CLI + key).
+ *  Marketplace (remote curated) comes later. */
 var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
     if (k2 === undefined) k2 = k;
     var desc = Object.getOwnPropertyDescriptor(m, k);
@@ -82,27 +85,95 @@ const LIBRARY = {
 function templatePath(file) {
     return path.join(__dirname, '..', '..', 'skill', 'templates', file);
 }
-function printCatalog() {
+// ---------- Tier 3 — the skill mirror (docs/load-system.md) -------------------
+const API_URL_DEFAULT = 'https://api.greprag.com';
+const MIRROR_TIMEOUT_MS = 4_000;
+function mirrorConfig() {
+    const apiKey = process.env.GREPRAG_API_KEY || '';
+    if (!apiKey)
+        return null;
+    return { apiUrl: process.env.GREPRAG_API_URL || API_URL_DEFAULT, apiKey };
+}
+/** GET a mirror endpoint with a hard timeout — the catalog must never hang a
+ *  terminal. Null on any failure (offline, no key, 404). */
+async function mirrorGet(pathname) {
+    const cfg = mirrorConfig();
+    if (!cfg)
+        return null;
+    try {
+        const ctrl = new AbortController();
+        const t = setTimeout(() => ctrl.abort(), MIRROR_TIMEOUT_MS);
+        const res = await fetch(`${cfg.apiUrl}${pathname}`, {
+            headers: { 'Authorization': `Bearer ${cfg.apiKey}` },
+            signal: ctrl.signal,
+        });
+        clearTimeout(t);
+        if (!res.ok)
+            return null;
+        return await res.json();
+    }
+    catch {
+        return null;
+    }
+}
+async function printCatalog() {
     const names = Object.keys(LIBRARY);
     const width = Math.max(...names.map((n) => n.length));
     console.log('\ngreprag load <name> — load doctrine on demand (the CLI is the payload, no .md files):\n');
     for (const name of names) {
         console.log(`  ${name.padEnd(width)}  ${LIBRARY[name].purpose}`);
     }
-    console.log('\n  greprag load <name>   print the full entry');
-    console.log('  greprag load          this catalog\n');
+    // Tier-3 section: the operator's own skills, auto-mirrored from use.
+    const data = await mirrorGet('/v1/skillmirror');
+    const skills = data?.skills || [];
+    if (skills.length > 0) {
+        const w = Math.max(...skills.map((s) => (s.skillName || '').length), 8);
+        console.log('\nYour mirrored skills (auto-fresh from use — work on any machine/harness):\n');
+        for (const s of skills) {
+            if (!s.skillName)
+                continue;
+            console.log(`  ${s.skillName.padEnd(w)}  ${(s.description || '').slice(0, 110)}`);
+        }
+    }
+    console.log('\n  greprag load <name>            print the full entry / mirrored skill');
+    console.log('  greprag load <skill> <doc>     a mirrored skill\'s companion doc');
+    console.log('  greprag load                   this catalog\n');
+}
+/** Serve a mirrored skill: SKILL.md (or a named companion doc) to stdout. */
+async function printMirroredSkill(name, docPath) {
+    const data = await mirrorGet(`/v1/skillmirror/${encodeURIComponent(name)}`);
+    const files = data?.files || [];
+    if (files.length === 0)
+        return false;
+    const target = docPath || 'SKILL.md';
+    const file = files.find((f) => f.path === target);
+    if (!file || typeof file.content !== 'string') {
+        console.error(`Mirrored skill "${name}" has no file "${target}". Files: ${files.map((f) => f.path).join(', ')}`);
+        process.exit(1);
+    }
+    process.stdout.write(file.content.endsWith('\n') ? file.content : file.content + '\n');
+    if (!docPath) {
+        const companions = files.map((f) => f.path).filter((p) => p !== 'SKILL.md');
+        if (companions.length > 0) {
+            process.stdout.write(`\n[mirrored skill — companion docs: ${companions.join(', ')} — \`greprag load ${name} <doc>\`]\n`);
+        }
+    }
+    return true;
 }
-function runLoad(args) {
+async function runLoad(args) {
     const name = args[0];
     // Bare (or an explicit list flag) → the browsable catalog.
     if (!name || name === '--list' || name === 'list') {
-        printCatalog();
+        await printCatalog();
         return;
     }
     const entry = LIBRARY[name];
     if (!entry) {
+        // Not bundled → try the Tier-3 skill mirror before giving up.
+        if (await printMirroredSkill(name, args[1]))
+            return;
         console.error(`Unknown load entry: ${name}\n`);
-        printCatalog();
+        await printCatalog();
         process.exit(1);
     }
     const file = templatePath(entry.file);

package/dist/commands/load.js.map

@@ -1 +1 @@
-{"version":3,"file":"load.js","sourceRoot":"","sources":["../../src/commands/load.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;2EAa2E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAyD3E,0BA4BC;AAnFD,uCAAyB;AACzB,2CAA6B;AAS7B;qEACqE;AACrE,MAAM,OAAO,GAA8B;IACzC,YAAY,EAAE;QACZ,IAAI,EAAE,eAAe;QACrB,OAAO,EAAE,uHAAuH;KACjI;IACD,aAAa,EAAE;QACb,IAAI,EAAE,gBAAgB;QACtB,OAAO,EAAE,4FAA4F;KACtG;IACD,eAAe,EAAE;QACf,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,+FAA+F;KACzG;IACD,aAAa,EAAE;QACb,IAAI,EAAE,gBAAgB;QACtB,OAAO,EAAE,8JAA8J;KACxK;IACD,iBAAiB,EAAE;QACjB,IAAI,EAAE,oBAAoB;QAC1B,OAAO,EAAE,kGAAkG;KAC5G;IACD,sBAAsB,EAAE;QACtB,IAAI,EAAE,yBAAyB;QAC/B,OAAO,EAAE,oIAAoI;KAC9I;CACF,CAAC;AAEF,+EAA+E;AAC/E,SAAS,YAAY,CAAC,IAAY;IAChC,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,YAAY;IACnB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACtD,OAAO,CAAC,GAAG,CAAC,2FAA2F,CAAC,CAAC;IACzG,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,OAAO,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,gDAAgD,CAAC,CAAC;IAC9D,OAAO,CAAC,GAAG,CAAC,wCAAwC,CAAC,CAAC;AACxD,CAAC;AAED,SAAgB,OAAO,CAAC,IAAc;IACpC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAErB,2DAA2D;IAC3D,IAAI,CAAC,IAAI,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QAClD,YAAY,EAAE,CAAC;QACf,OAAO;IACT,CAAC;IAED,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5B,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,CAAC,KAAK,CAAC,uBAAuB,IAAI,IAAI,CAAC,CAAC;QAC/C,YAAY,EAAE,CAAC;QACf,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACxC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,CAAC,KAAK,CACX,eAAe,IAAI,+CAA+C,KAAK,CAAC,IAAI,KAAK;YACjF,8CAA8C,CAC/C,CAAC;QACF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC;AACjE,CAAC"}
+{"version":3,"file":"load.js","sourceRoot":"","sources":["../../src/commands/load.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;gDAgBgD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAgIhD,0BA8BC;AA5JD,uCAAyB;AACzB,2CAA6B;AAS7B;qEACqE;AACrE,MAAM,OAAO,GAA8B;IACzC,YAAY,EAAE;QACZ,IAAI,EAAE,eAAe;QACrB,OAAO,EAAE,uHAAuH;KACjI;IACD,aAAa,EAAE;QACb,IAAI,EAAE,gBAAgB;QACtB,OAAO,EAAE,4FAA4F;KACtG;IACD,eAAe,EAAE;QACf,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,+FAA+F;KACzG;IACD,aAAa,EAAE;QACb,IAAI,EAAE,gBAAgB;QACtB,OAAO,EAAE,8JAA8J;KACxK;IACD,iBAAiB,EAAE;QACjB,IAAI,EAAE,oBAAoB;QAC1B,OAAO,EAAE,kGAAkG;KAC5G;IACD,sBAAsB,EAAE;QACtB,IAAI,EAAE,yBAAyB;QAC/B,OAAO,EAAE,oIAAoI;KAC9I;CACF,CAAC;AAEF,+EAA+E;AAC/E,SAAS,YAAY,CAAC,IAAY;IAChC,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;AACtE,CAAC;AAED,iFAAiF;AAEjF,MAAM,eAAe,GAAG,yBAAyB,CAAC;AAClD,MAAM,iBAAiB,GAAG,KAAK,CAAC;AAEhC,SAAS,YAAY;IACnB,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,eAAe,IAAI,EAAE,CAAC;IACjD,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,eAAe,IAAI,eAAe,EAAE,MAAM,EAAE,CAAC;AAC5E,CAAC;AAED;4DAC4D;AAC5D,KAAK,UAAU,SAAS,CAAC,QAAgB;IACvC,MAAM,GAAG,GAAG,YAAY,EAAE,CAAC;IAC3B,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,eAAe,EAAE,CAAC;QACnC,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,iBAAiB,CAAC,CAAC;QAC5D,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,GAAG,GAAG,CAAC,MAAM,GAAG,QAAQ,EAAE,EAAE;YAClD,OAAO,EAAE,EAAE,eAAe,EAAE,UAAU,GAAG,CAAC,MAAM,EAAE,EAAE;YACpD,MAAM,EAAE,IAAI,CAAC,MAAM;SACpB,CAAC,CAAC;QACH,YAAY,CAAC,CAAC,CAAC,CAAC;QAChB,IAAI,CAAC,GAAG,CAAC,EAAE;YAAE,OAAO,IAAI,CAAC;QACzB,OAAO,MAAM,GAAG,CAAC,IAAI,EAA6B,CAAC;IACrD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAID,KAAK,UAAU,YAAY;IACzB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACtD,OAAO,CAAC,GAAG,CAAC,2FAA2F,CAAC,CAAC;IACzG,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,OAAO,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IACnE,CAAC;IAED,qEAAqE;IACrE,MAAM,IAAI,GAAG,MAAM,SAAS,CAAC,iBAAiB,CAAC,CAAC;IAChD,MAAM,MAAM,GAAI,IAAI,EAAE,MAAyC,IAAI,EAAE,CAAC;IACtE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QACxE,OAAO,CAAC,GAAG,CAAC,+EAA+E,CAAC,CAAC;QAC7F,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,IAAI,CAAC,CAAC,CAAC,SAAS;gBAAE,SAAS;YAC3B,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QACpF,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,0EAA0E,CAAC,CAAC;IACxF,OAAO,CAAC,GAAG,CAAC,oEAAoE,CAAC,CAAC;IAClF,OAAO,CAAC,GAAG,CAAC,iDAAiD,CAAC,CAAC;AACjE,CAAC;AAED,6EAA6E;AAC7E,KAAK,UAAU,kBAAkB,CAAC,IAAY,EAAE,OAAgB;IAC9D,MAAM,IAAI,GAAG,MAAM,SAAS,CAAC,mBAAmB,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5E,MAAM,KAAK,GAAI,IAAI,EAAE,KAAgE,IAAI,EAAE,CAAC;IAC5F,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAErC,MAAM,MAAM,GAAG,OAAO,IAAI,UAAU,CAAC;IACrC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IAClD,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QAC9C,OAAO,CAAC,KAAK,CAAC,mBAAmB,IAAI,kBAAkB,MAAM,aAAa,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjH,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,CAAC;IACvF,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC;QAC5E,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,uCAAuC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,qBAAqB,IAAI,aAAa,CACnG,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAEM,KAAK,UAAU,OAAO,CAAC,IAAc;IAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAErB,2DAA2D;IAC3D,IAAI,CAAC,IAAI,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QAClD,MAAM,YAAY,EAAE,CAAC;QACrB,OAAO;IACT,CAAC;IAED,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5B,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,8DAA8D;QAC9D,IAAI,MAAM,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO;QACpD,OAAO,CAAC,KAAK,CAAC,uBAAuB,IAAI,IAAI,CAAC,CAAC;QAC/C,MAAM,YAAY,EAAE,CAAC;QACrB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACxC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,CAAC,KAAK,CACX,eAAe,IAAI,+CAA+C,KAAK,CAAC,IAAI,KAAK;YACjF,8CAA8C,CAC/C,CAAC;QACF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC;AACjE,CAAC"}

package/dist/commands/reminder-registry.js

@@ -22,6 +22,7 @@ const collision_reminder_1 = require("./collision-reminder");
 const version_reminder_1 = require("./version-reminder");
 const enrichment_health_reminder_1 = require("./enrichment-health-reminder");
 const skill_gain_reminder_1 = require("./skill-gain-reminder");
+const skill_mirror_reminder_1 = require("./skill-mirror-reminder");
 /** Registry order = display order. THE single agent-facing announce/reminder assembly:
  *  the hook does I/O → fills ReminderEnv → collectAnnounces (SessionStart) / collectReminders
  *  (per turn) render every module here in this order. Order preserves the historical recap
@@ -34,7 +35,8 @@ exports.REGISTRY = [
     load_primer_reminder_1.chipSpawnPointerModule,
     corpus_reminder_1.corpusAnnounceModule,
     doc_pointer_reminder_1.docPointerAnnounceModule, // announce-only "core documents" list (docs/doc-pointer-system.md)
-    skill_gain_reminder_1.skillGainAnnounceModule, // announce-only skill-gain landings + proposals (docs/skill-learning-loop.md)
+    skill_gain_reminder_1.skillGainAnnounceModule, // announce-only skill-gain landings (docs/skill-learning-loop.md)
+    skill_mirror_reminder_1.skillMirrorAnnounceModule, // one-line Tier-3 pointer: your skills travel via greprag load (docs/load-system.md)
     setup_reminder_1.setupWarningModule,
     version_reminder_1.versionUpgradeModule, // Deficiency-gated announce — silent unless a newer release exists
     enrichment_health_reminder_1.enrichmentHealthModule, // Deficiency-gated announce — silent unless the Gemini probe fails (fix c2eb8777)

package/dist/commands/reminder-registry.js.map

@@ -1 +1 @@
-{"version":3,"file":"reminder-registry.js","sourceRoot":"","sources":["../../src/commands/reminder-registry.ts"],"names":[],"mappings":";AAAA;;;;kEAIkE;;;AAgElE,4CAaC;AAMD,8BAkBC;AAID,4CAUC;AAhHD,mEAA4D;AAC5D,iEAAkF;AAClF,uDAAyD;AACzD,iEAAkE;AAClE,qDAAsD;AACtD,6DAA+D;AAC/D,mDAAqD;AACrD,iDAAkD;AAClD,2DAA6D;AAC7D,6DAA4D;AAC5D,yDAA0D;AAC1D,6EAAsE;AACtE,+DAAgE;AAEhE;;;;;6EAK6E;AAChE,QAAA,QAAQ,GAAqB;IACxC,yCAAiB;IACjB,uCAAgB;IAChB,6CAAsB;IACtB,sCAAoB;IACpB,+CAAwB,EAAE,mEAAmE;IAC7F,6CAAuB,EAAG,8EAA8E;IACxG,mCAAkB;IAClB,uCAAoB,EAAI,mEAAmE;IAC3F,mDAAsB,EAAE,kFAAkF;IAC1G,4CAAuB;IACvB,kCAAkB;IAClB,+BAAgB;IAChB,0CAAsB;IACtB,yCAAoB,EAAI,oEAAoE;CAC7F,CAAC;AAEF;;4FAE4F;AACrF,MAAM,aAAa,GAAG,CAAC,WAA6B,gBAAQ,EAAoB,EAAE,CACvF,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,QAAQ,CAAC,KAAK,QAAQ,CAAC,CAAC;AADjD,QAAA,aAAa,iBACoC;AACvD,MAAM,cAAc,GAAG,CAAC,WAA6B,gBAAQ,EAAoB,EAAE,CACxF,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;AADpC,QAAA,cAAc,kBACsB;AAEjD;;;0FAG0F;AACnF,MAAM,wBAAwB,GAAG,CAAC,WAA6B,gBAAQ,EAAoB,EAAE,CAClG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,KAAK,KAAK,CAAC,CAAC;AAD7C,QAAA,wBAAwB,4BACqB;AAQ1D;;mEAEmE;AACnE,SAAgB,gBAAgB,CAC9B,GAAgB,EAAE,WAA6B,gBAAQ;IAEvD,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAY,CAAC;QACjB,IAAI,CAAC;YAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,SAAS;QAAC,CAAC;QAC9C,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,SAAS;QACxC,IAAI,IAAI,GAAkB,IAAI,CAAC;QAC/B,IAAI,CAAC;YAAC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,SAAS;QAAC,CAAC;QACtD,IAAI,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;4FAG4F;AAC5F,SAAgB,SAAS,CAAC,QAA0B;IAClD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,MAAM,OAAO,GAAqB,EAAE,CAAC;IACrC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,KAAK,GAAG,CAAC,CAAiB,EAAQ,EAAE;QACxC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAAE,OAAO,CAAC,4BAA4B;QAChF,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACnB,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;YACpC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACxB,IAAI,CAAC;gBAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,sCAAsC;QACzD,CAAC;QACD,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACjB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,QAAQ;QAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACnC,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;yDACyD;AACzD,SAAgB,gBAAgB,CAC9B,GAAgB,EAAE,WAA6B,gBAAQ;IAEvD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpC,IAAI,CAAC,GAAkB,IAAI,CAAC;QAC5B,IAAI,CAAC;YAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,SAAS;QAAC,CAAC;QAChD,IAAI,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}
+{"version":3,"file":"reminder-registry.js","sourceRoot":"","sources":["../../src/commands/reminder-registry.ts"],"names":[],"mappings":";AAAA;;;;kEAIkE;;;AAkElE,4CAaC;AAMD,8BAkBC;AAID,4CAUC;AAlHD,mEAA4D;AAC5D,iEAAkF;AAClF,uDAAyD;AACzD,iEAAkE;AAClE,qDAAsD;AACtD,6DAA+D;AAC/D,mDAAqD;AACrD,iDAAkD;AAClD,2DAA6D;AAC7D,6DAA4D;AAC5D,yDAA0D;AAC1D,6EAAsE;AACtE,+DAAgE;AAChE,mEAAoE;AAEpE;;;;;6EAK6E;AAChE,QAAA,QAAQ,GAAqB;IACxC,yCAAiB;IACjB,uCAAgB;IAChB,6CAAsB;IACtB,sCAAoB;IACpB,+CAAwB,EAAE,mEAAmE;IAC7F,6CAAuB,EAAG,kEAAkE;IAC5F,iDAAyB,EAAE,qFAAqF;IAChH,mCAAkB;IAClB,uCAAoB,EAAI,mEAAmE;IAC3F,mDAAsB,EAAE,kFAAkF;IAC1G,4CAAuB;IACvB,kCAAkB;IAClB,+BAAgB;IAChB,0CAAsB;IACtB,yCAAoB,EAAI,oEAAoE;CAC7F,CAAC;AAEF;;4FAE4F;AACrF,MAAM,aAAa,GAAG,CAAC,WAA6B,gBAAQ,EAAoB,EAAE,CACvF,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,QAAQ,CAAC,KAAK,QAAQ,CAAC,CAAC;AADjD,QAAA,aAAa,iBACoC;AACvD,MAAM,cAAc,GAAG,CAAC,WAA6B,gBAAQ,EAAoB,EAAE,CACxF,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;AADpC,QAAA,cAAc,kBACsB;AAEjD;;;0FAG0F;AACnF,MAAM,wBAAwB,GAAG,CAAC,WAA6B,gBAAQ,EAAoB,EAAE,CAClG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,KAAK,KAAK,CAAC,CAAC;AAD7C,QAAA,wBAAwB,4BACqB;AAQ1D;;mEAEmE;AACnE,SAAgB,gBAAgB,CAC9B,GAAgB,EAAE,WAA6B,gBAAQ;IAEvD,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAY,CAAC;QACjB,IAAI,CAAC;YAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,SAAS;QAAC,CAAC;QAC9C,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,SAAS;QACxC,IAAI,IAAI,GAAkB,IAAI,CAAC;QAC/B,IAAI,CAAC;YAAC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,SAAS;QAAC,CAAC;QACtD,IAAI,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;4FAG4F;AAC5F,SAAgB,SAAS,CAAC,QAA0B;IAClD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,MAAM,OAAO,GAAqB,EAAE,CAAC;IACrC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,KAAK,GAAG,CAAC,CAAiB,EAAQ,EAAE;QACxC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAAE,OAAO,CAAC,4BAA4B;QAChF,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACnB,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;YACpC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACxB,IAAI,CAAC;gBAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,sCAAsC;QACzD,CAAC;QACD,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACjB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,QAAQ;QAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACnC,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;yDACyD;AACzD,SAAgB,gBAAgB,CAC9B,GAAgB,EAAE,WAA6B,gBAAQ;IAEvD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpC,IAAI,CAAC,GAAkB,IAAI,CAAC;QAC5B,IAAI,CAAC;YAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,SAAS;QAAC,CAAC;QAChD,IAAI,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/commands/reminder-types.d.ts

@@ -78,6 +78,14 @@ export interface ReminderEnv {
             oneLiner: string;
         }>;
     };
+    /** Tier-3 skill-mirror signal (docs/load-system.md): how many of the
+     *  operator's skills are mirrored into the load store + the freshest few
+     *  names. Drives the one-line "your skills travel with the harness"
+     *  pointer. Undefined/0 → announce silent. */
+    mirroredSkills?: {
+        count: number;
+        names: string[];
+    };
     /** Auto-surfaced episodic-memory injection — the hook owns the recall-intent gate +
      *  the search + the confidence gate + framing; the memory-reflex module routes the
      *  framed string as its per-turn reminder. Null = nothing cleared the gate this turn. */

package/dist/commands/skill-mirror-reminder.d.ts

@@ -0,0 +1,15 @@
+/** skill-mirror-announce — the Tier-3 mirror's SessionStart pointer
+ *  (docs/load-system.md §Tier 3). A POINTER, not a list (context economy):
+ *  one line naming the capability + the command — the catalog lives behind
+ *  `greprag load`. This is the "where to find skills" info the operator asked
+ *  for, and the discovery half of trigger parity until the frontrun judge
+ *  lands (see the spec's named gaps).
+ *
+ *  The hook passes env.mirroredSkills (count + a few freshest names); this
+ *  module is PURE render. Silent when nothing is mirrored yet. */
+import { ReminderModule } from './reminder-types';
+export declare function buildSkillMirrorAnnounce(m: {
+    count: number;
+    names: string[];
+} | undefined): string | null;
+export declare const skillMirrorAnnounceModule: ReminderModule;

package/dist/commands/skill-mirror-reminder.js

@@ -0,0 +1,33 @@
+"use strict";
+/** skill-mirror-announce — the Tier-3 mirror's SessionStart pointer
+ *  (docs/load-system.md §Tier 3). A POINTER, not a list (context economy):
+ *  one line naming the capability + the command — the catalog lives behind
+ *  `greprag load`. This is the "where to find skills" info the operator asked
+ *  for, and the discovery half of trigger parity until the frontrun judge
+ *  lands (see the spec's named gaps).
+ *
+ *  The hook passes env.mirroredSkills (count + a few freshest names); this
+ *  module is PURE render. Silent when nothing is mirrored yet. */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.skillMirrorAnnounceModule = void 0;
+exports.buildSkillMirrorAnnounce = buildSkillMirrorAnnounce;
+function buildSkillMirrorAnnounce(m) {
+    if (!m || m.count <= 0)
+        return null;
+    const sample = m.names.slice(0, 4).join(', ');
+    const more = m.count > 4 ? ', …' : '';
+    return [
+        `[greprag skills — ${m.count} of your skills travel with the harness (auto-mirrored from use, always fresh): ${sample}${more}.]`,
+        'Any machine or harness with the greprag CLI can use them — `greprag load` to browse, '
+            + '`greprag load <skill>` to read one inline. No ~/.claude/skills needed.',
+    ].join('\n');
+}
+exports.skillMirrorAnnounceModule = {
+    id: 'skill-mirror-announce',
+    source: 'prompt',
+    dependsOn: ['load-primer'], // references `greprag load` — the primer establishes it
+    detect: (_env) => ({ tier: 'silent' }), // announce-only
+    announce: (env) => buildSkillMirrorAnnounce(env.mirroredSkills),
+    reminder: () => null,
+};
+//# sourceMappingURL=skill-mirror-reminder.js.map

package/dist/commands/skill-mirror-reminder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"skill-mirror-reminder.js","sourceRoot":"","sources":["../../src/commands/skill-mirror-reminder.ts"],"names":[],"mappings":";AAAA;;;;;;;;kEAQkE;;;AAIlE,4DAWC;AAXD,SAAgB,wBAAwB,CACtC,CAAiD;IAEjD,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACtC,OAAO;QACL,qBAAqB,CAAC,CAAC,KAAK,mFAAmF,MAAM,GAAG,IAAI,IAAI;QAChI,uFAAuF;cACrF,wEAAwE;KAC3E,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAEY,QAAA,yBAAyB,GAAmB;IACvD,EAAE,EAAE,uBAAuB;IAC3B,MAAM,EAAE,QAAQ;IAChB,SAAS,EAAE,CAAC,aAAa,CAAC,EAAE,wDAAwD;IACpF,MAAM,EAAE,CAAC,IAAiB,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,gBAAgB;IAChF,QAAQ,EAAE,CAAC,GAAgB,EAAiB,EAAE,CAAC,wBAAwB,CAAC,GAAG,CAAC,cAAc,CAAC;IAC3F,QAAQ,EAAE,GAAkB,EAAE,CAAC,IAAI;CACpC,CAAC"}

package/dist/hook.js

@@ -117,7 +117,13 @@ const coordinate_gate_1 = require("./commands/coordinate-gate");
 // logic lives in ./commands/inbox-drain. adr: adr/monitor-resilience.md
 const inbox_drain_1 = require("./commands/inbox-drain");
 const procedure_1 = require("./procedure");
+// Procedure System LEARN leg (docs/procedure-system.md §V1 LEARN-leg build
+// spec): the span watch — opened at UserPromptSubmit (procedureCheck), observed
+// per turn by the Stop hook (observeProcedureTurn), closed by negative
+// continuity, distilled server-side, transitions applied to the local store.
+const procedure_watch_1 = require("./procedure-watch");
 const skill_landing_1 = require("./skill-landing");
+const skill_mirror_client_1 = require("./skill-mirror-client");
 const API_URL_DEFAULT = 'https://api.greprag.com';
 const MAX_FIELD_CHARS = 500_000; // safety cap per text field
 // ---------- Env + config ---------------------------------------------------
@@ -806,6 +812,125 @@ function collectDocEvents(filesTouched, cwd) {
     }
     return events;
 }
+// ---------- Procedure span observer (docs/procedure-system.md) --------------
+//
+// The LEARN leg's per-turn observer (build spec component 3). Gated on "a
+// watch file exists" — zero cost otherwise. Each observed turn: build a
+// compact TurnDigest, append it to the watch, ask the server the negative-
+// continuity question (synchronous — a ~0.5s flash-lite call inside the Stop
+// hook's existing 10s budget), then apply the pure close logic. Fail-open end
+// to end: a dead judge extends the watch (offStreak untouched) and the
+// max-turn watchdog reaps it.
+/** Fire-and-forget the watchdog's fix-queue smell via `greprag fix log`
+ *  (detached CLI child — the guard-refresh spawn shape). Best-effort. */
+function spawnProcedureSmell(cwd, text) {
+    try {
+        const cliJs = path.join(__dirname, 'index.js');
+        const child = (0, proc_1.safeSpawn)(process.execPath, [cliJs, 'fix', 'log', text, '--scope', 'procedure-watch'], { cwd, detached: true, stdio: 'ignore', windowsHide: true });
+        child.unref();
+    }
+    catch { /* best-effort */ }
+}
+/** One observed turn of the active watch. Never throws (the caller also
+ *  guards); every network call fail-open. */
+async function observeProcedureTurn(cfg, anchor, turn, cwd, redaction) {
+    const watch = (0, procedure_watch_1.readProcedureWatch)(anchor.projectId);
+    if (!watch) {
+        // File exists but is unreadable/corrupt — drop it so it can't wedge the observer.
+        (0, procedure_watch_1.clearProcedureWatch)(anchor.projectId);
+        return;
+    }
+    // Watchdog BEFORE the judge call — the aborting turn costs nothing. Abort =
+    // clear the watch, log a fix-queue smell, NEVER distill (build spec comp. 4).
+    if ((0, procedure_watch_1.willExceedWatchdog)(watch)) {
+        (0, procedure_watch_1.clearProcedureWatch)(anchor.projectId);
+        spawnProcedureSmell(cwd, `procedure watchdog: ${watch.phase} watch on "${watch.verb}" hit ${watch.turnCount} turns `
+            + `without closing — endpoint never detected (docs/procedure-system.md)`);
+        return;
+    }
+    // Compact digest of THIS turn, scrubbed like the turn envelope (secrets
+    // never travel — adr/secret-scrubber.md).
+    const rawDigest = (0, procedure_watch_1.buildTurnDigest)({
+        userPrompt: turn.userPrompt,
+        toolCalls: turn.toolCalls,
+        filesTouched: turn.filesTouched,
+        status: turn.status,
+    }, watch.turnCount + 1);
+    const digest = {
+        ...rawDigest,
+        user: (0, secret_scrubber_1.scrubString)(rawDigest.user, redaction),
+        commands: rawDigest.commands.map(c => (0, secret_scrubber_1.scrubString)(c, redaction)),
+    };
+    // The negative-continuity question — synchronous, fail-open: any miss →
+    // live=null → offStreak untouched, the watch just extends.
+    let live = null;
+    try {
+        const res = await fetch(`${cfg.apiUrl}/v1/procedure/${anchor.projectId}/observe`, {
+            method: 'POST',
+            headers: { 'Authorization': `Bearer ${cfg.apiKey}`, 'Content-Type': 'application/json' },
+            body: JSON.stringify({
+                projectName: anchor.projectName,
+                verb: watch.verb,
+                phase: watch.phase,
+                digest,
+                turnCount: watch.turnCount + 1,
+            }),
+        });
+        if (res.ok) {
+            const data = await res.json();
+            live = typeof data.live === 'boolean' ? data.live : null;
+        }
+    }
+    catch { /* judge unreachable → null */ }
+    const { watch: next, disposition } = (0, procedure_watch_1.advanceWatch)(watch, digest, live);
+    if (disposition === 'watchdog') {
+        (0, procedure_watch_1.clearProcedureWatch)(anchor.projectId);
+        spawnProcedureSmell(cwd, `procedure watchdog: ${next.phase} watch on "${next.verb}" hit ${next.turnCount} turns `
+            + `without closing — endpoint never detected (docs/procedure-system.md)`);
+        return;
+    }
+    if (disposition === 'close') {
+        // Span = [open, lastLiveTurn] — trailing not-live turns never distill.
+        const span = (0, procedure_watch_1.liveSpan)(next);
+        if (span.length > 0) {
+            try {
+                const res = await fetch(`${cfg.apiUrl}/v1/procedure/${anchor.projectId}/distill`, {
+                    method: 'POST',
+                    headers: { 'Authorization': `Bearer ${cfg.apiKey}`, 'Content-Type': 'application/json' },
+                    body: JSON.stringify({
+                        projectName: anchor.projectName,
+                        verb: next.verb,
+                        phase: next.phase,
+                        digests: span,
+                    }),
+                });
+                if (res.ok) {
+                    const data = await res.json();
+                    const outcome = data.outcome === 'clean' || data.outcome === 'floundered'
+                        ? data.outcome : null;
+                    const distilled = data.procedure
+                        && typeof data.procedure.steps === 'string' && data.procedure.steps
+                        && typeof data.procedure.endpoint === 'string' && data.procedure.endpoint
+                        ? {
+                            steps: data.procedure.steps,
+                            endpoint: data.procedure.endpoint,
+                            caveats: typeof data.procedure.caveats === 'string' && data.procedure.caveats
+                                ? data.procedure.caveats : undefined,
+                        }
+                        : null;
+                    const store = (0, procedure_1.readProcedureStore)(anchor.projectId);
+                    const { store: nextStore, action } = (0, procedure_watch_1.applyDistillTransition)(store, next, outcome, distilled, (0, procedure_watch_1.learnTriggersForVerb)(next.verb, store));
+                    if (action !== 'discarded')
+                        (0, procedure_1.writeProcedureStore)(anchor.projectId, nextStore);
+                }
+            }
+            catch { /* judge down → no write; watch discarded (transition table row 4) */ }
+        }
+        (0, procedure_watch_1.clearProcedureWatch)(anchor.projectId);
+        return;
+    }
+    (0, procedure_watch_1.writeProcedureWatch)(anchor.projectId, next);
+}
 /** SessionStart fetch: the live enrichment-health verdict (fix c2eb8777).
  *  Null = healthy OR unreachable — the outage announce only fires on a
  *  POSITIVE probe failure, so an API blip never cries wolf. The worker
@@ -986,6 +1111,28 @@ async function store(input, source = 'claude-code') {
         }
         catch { /* best-effort — a docptr outage never fails the Stop hook */ }
     }
+    // Procedure System span observer (docs/procedure-system.md V1 LEARN leg):
+    // gated on "a watch file exists" — zero cost when no watch is open. One
+    // synchronous flash-lite continuity call per observed turn; close/watchdog
+    // logic is pure in procedure-watch.ts. Best-effort, never throws.
+    if ((0, procedure_watch_1.hasProcedureWatch)(anchor.projectId)) {
+        try {
+            await observeProcedureTurn(cfg, anchor, turn, cwd, redaction);
+        }
+        catch { /* fail-open — a procedure outage never fails the Stop hook */ }
+    }
+    // Skill mirror (docs/load-system.md Tier 3): a skill-load turn shadows that
+    // skill's current markdown into the tenant's load store — upload ONLY on
+    // change (local hash state), so an unchanged skill costs zero network.
+    // Follower semantics: files stay canonical. Best-effort, never throws.
+    if (provenance === 'skill-injection') {
+        const mirrorSkill = (0, turn_provenance_1.provenanceHint)(provenance, turn.userPrompt);
+        if (mirrorSkill) {
+            await (0, skill_mirror_client_1.maybeMirrorSkill)({
+                skill: mirrorSkill, cwd, apiUrl: cfg.apiUrl, apiKey: cfg.apiKey,
+            });
+        }
+    }
 }
 // ---------- Main ---------------------------------------------------------
 // ---------- Recap (SessionStart) ------------------------------------------
@@ -1312,6 +1459,23 @@ async function recap(input, mode = 'plain', opts = {}) {
     // gains → auto-land references into learnings docs, hold rule/scope
     // proposals for the announce. Best-effort; undefined → announce silent.
     const skillGains = await fetchAndLandSkillGains(cfg.apiUrl, cfg.apiKey, anchor, cwd);
+    // Tier-3 skill-mirror pointer signal (docs/load-system.md): mirrored-skill
+    // count + freshest names for the one-line announce. Best-effort.
+    const mirroredSkills = await (async () => {
+        try {
+            const res = await fetch(`${cfg.apiUrl}/v1/skillmirror`, {
+                headers: { 'Authorization': `Bearer ${cfg.apiKey}` },
+            });
+            if (!res.ok)
+                return undefined;
+            const data = await res.json();
+            const names = (data.skills || []).map(s => s.skillName || '').filter(Boolean);
+            return names.length > 0 ? { count: names.length, names } : undefined;
+        }
+        catch {
+            return undefined;
+        }
+    })();
     // Assistant doctrine auto-load — fires ONLY for the flagged assistant project
     // (isAssistantProject), so a normal project sees zero change. The hook owns the
     // doctrine-file read; the assistant-doctrine module routes the text. adr: adr/assistant-role.md
@@ -1347,6 +1511,7 @@ async function recap(input, mode = 'plain', opts = {}) {
         docPointers,
         enrichmentDown,
         skillGains,
+        mirroredSkills,
         updateAvailable,
     };
     let announceReg = mechanicKilled() ? reminder_registry_1.REGISTRY.filter(m => m.id !== 'mechanic-friction') : reminder_registry_1.REGISTRY;
@@ -1461,13 +1626,22 @@ function codexSubagentStart(input) {
     if (context)
         writeAdditionalContext(input.hook_event_name || 'SubagentStart', context);
 }
-/** UserPromptSubmit — Procedure System REPLAY leg (docs/procedure-system.md).
- *  Match the prompt against the project's procedure store; on a hit inject the
- *  recipe + gate as additionalContext BEFORE the agent moves, so an operational
- *  verb runs cleanly instead of by trial-and-error. Pure-local (no network on
- *  the hot path — reads the file beside the matchset cache), additive, and
- *  fail-open: a miss or any error never blocks the turn. The Tier-1 intent guard
- *  (in matchProcedure) suppresses keyword mention-not-request false-fires. */
+/** UserPromptSubmit — Procedure System trigger leg (docs/procedure-system.md
+ *  §V1 LEARN-leg build spec, component 2). Two paths off a Tier-1 trigger hit:
+ *
+ *    (a) known NON-STALE procedure → inject the recipe + gate BEFORE the agent
+ *        moves (the REPLAY inject) + open a bounded REPLAY watch.
+ *    (b) matched verb with NO procedure, or status=stale → open an open-ended
+ *        LEARN watch, NO injection (there's nothing to inject; the flounder
+ *        about to happen is the learning material). The LEARN trigger
+ *        vocabulary is the Tier-1 verb list (matchLearnTrigger), independent
+ *        of the store — build + test ride here with no seed.
+ *
+ *  A LEARN watch NEVER opens for a destructive verb (the seed is the canon
+ *  even when stale). One active watch at a time — an in-flight watch is never
+ *  replaced. Pure-local (no network on the hot path), additive, fail-open:
+ *  a miss or any error never blocks the turn. The Tier-1 intent guard (in
+ *  matchProcedure) suppresses keyword mention-not-request false-fires. */
 async function procedureCheck(input) {
     try {
         const prompt = typeof input.prompt === 'string' ? input.prompt : '';
@@ -1477,12 +1651,20 @@ async function procedureCheck(input) {
         if (!anchor.projectId)
             return;
         const store = (0, procedure_1.readProcedureStore)(anchor.projectId);
-        if (!store.procedures.length)
+        const m = store.procedures.length ? (0, procedure_1.matchProcedure)(prompt, store) : null;
+        if (m && m.procedure.status !== 'stale') {
+            writeAdditionalContext(input.hook_event_name || 'UserPromptSubmit', (0, procedure_1.buildProcedureInjection)(m.procedure));
+            (0, procedure_watch_1.openWatchIfIdle)(anchor.projectId, m.procedure.verb, 'REPLAY');
             return;
-        const m = (0, procedure_1.matchProcedure)(prompt, store);
-        if (!m)
+        }
+        // LEARN path: a stale store hit, or a Tier-1 vocabulary hit with no
+        // procedure for the verb. No injection either way.
+        const lm = m || (0, procedure_watch_1.matchLearnTrigger)(prompt);
+        if (!lm)
             return;
-        writeAdditionalContext(input.hook_event_name || 'UserPromptSubmit', (0, procedure_1.buildProcedureInjection)(m.procedure));
+        if ((0, procedure_watch_1.isDestructiveVerb)(lm.procedure.verb, store))
+            return; // never LEARN a destructive verb
+        (0, procedure_watch_1.openWatchIfIdle)(anchor.projectId, lm.procedure.verb, 'LEARN');
     }
     catch { /* fail-open — a procedure miss never blocks the turn */ }
 }