@shardworks/spider-apparatus 0.1.300 → 0.1.302

package/README.md

@@ -176,7 +176,7 @@ Return the merged effective writ-type → template-name mapping. Config mappings
 
 ## Configuration
 
-The Spider reads its config from `guild.json["spider"]`. Zero-config works out of the box for mandate dispatch — Spider's apparatus contributes a plugin-default rig template (`default`: draft → implement → review → revise → seal) and a default mapping (`mandate → default`) via its own supportKit. A minimal guild only needs to declare `spider.variables` so the default template can interpolate role / build command / test command:
+The Spider reads its config from `guild.json["spider"]`. Zero-config works out of the box for mandate dispatch — Spider's apparatus contributes a plugin-default rig template (`default`: draft → implement → review → revise → verify → seal) and a default mapping (`mandate → default`) via its own supportKit. A minimal guild only needs to declare `spider.variables` so the default template can interpolate role / build command / test command:
 
 ```json
 {
@@ -422,6 +422,7 @@ Built-in block types contributed via the Spider's support kit:
 | `implement` | quick | Run the implementation session |
 | `review` | quick | Run the review session |
 | `revise` | quick | Revise based on review findings |
+| `verify` | clockwork | Re-run the mechanical `buildCommand` / `testCommand` checks after revise to catch regressions before seal merges |
 | `seal` | clockwork | Seal the draft (or grafts a recovery tail on rebase conflict — see below) |
 | `anima-session` | quick | General-purpose anima session engine |
 | `manual-merge` | quick | Grafted by the `seal` engine — summons the `spider.mender` anima to reconcile rebase conflicts |

package/dist/default-template.d.ts

@@ -1,7 +1,7 @@
 /**
  * Spider's plugin-default rig template (`default`).
  *
- * This is the canonical draft → implement → review → revise → seal
+ * This is the canonical draft → implement → review → revise → verify → seal
  * pipeline that every guild used to declare inline under
  * `spider.rigTemplates.default` in its `guild.json`. It is now
  * contributed as a plugin default so mandate dispatch works out of the
@@ -17,6 +17,15 @@
  * defaults for `${vars.role}`, `${vars.buildCommand}`, or
  * `${vars.testCommand}` — a missing variable raises at dispatch time so
  * misconfiguration is surfaced loudly rather than masked.
+ *
+ * The `verify` clockwork engine sits between `revise` and `seal` and
+ * re-runs the same mechanical `buildCommand` / `testCommand` checks that
+ * `review` performs. This catches regressions introduced during revise —
+ * a build break, a test failure, or an undone fix — before they merge
+ * into the sealed binding. Verify is fully synchronous (no anima session,
+ * no model cost) and reuses `${vars.buildCommand}` / `${vars.testCommand}`,
+ * so the draft → implement → review → revise → verify → seal pipeline
+ * needs no additional configuration beyond what `review` already required.
  */
 import type { RigTemplate } from './types.ts';
 export declare const defaultRigTemplate: RigTemplate;

package/dist/default-template.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"default-template.d.ts","sourceRoot":"","sources":["../src/default-template.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE9C,eAAO,MAAM,kBAAkB,EAAE,WAsChC,CAAC"}
+{"version":3,"file":"default-template.d.ts","sourceRoot":"","sources":["../src/default-template.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE9C,eAAO,MAAM,kBAAkB,EAAE,WA+ChC,CAAC"}

package/dist/default-template.js

@@ -1,7 +1,7 @@
 /**
  * Spider's plugin-default rig template (`default`).
  *
- * This is the canonical draft → implement → review → revise → seal
+ * This is the canonical draft → implement → review → revise → verify → seal
  * pipeline that every guild used to declare inline under
  * `spider.rigTemplates.default` in its `guild.json`. It is now
  * contributed as a plugin default so mandate dispatch works out of the
@@ -17,6 +17,15 @@
  * defaults for `${vars.role}`, `${vars.buildCommand}`, or
  * `${vars.testCommand}` — a missing variable raises at dispatch time so
  * misconfiguration is surfaced loudly rather than masked.
+ *
+ * The `verify` clockwork engine sits between `revise` and `seal` and
+ * re-runs the same mechanical `buildCommand` / `testCommand` checks that
+ * `review` performs. This catches regressions introduced during revise —
+ * a build break, a test failure, or an undone fix — before they merge
+ * into the sealed binding. Verify is fully synchronous (no anima session,
+ * no model cost) and reuses `${vars.buildCommand}` / `${vars.testCommand}`,
+ * so the draft → implement → review → revise → verify → seal pipeline
+ * needs no additional configuration beyond what `review` already required.
  */
 export const defaultRigTemplate = {
     engines: [
@@ -48,10 +57,19 @@ export const defaultRigTemplate = {
             upstream: ['review'],
             givens: { writ: '${writ}', role: '${vars.role}' },
         },
+        {
+            id: 'verify',
+            designId: 'verify',
+            upstream: ['revise'],
+            givens: {
+                buildCommand: '${vars.buildCommand}',
+                testCommand: '${vars.testCommand}',
+            },
+        },
         {
             id: 'seal',
             designId: 'seal',
-            upstream: ['revise'],
+            upstream: ['verify'],
             givens: {},
         },
     ],

package/dist/default-template.js.map

@@ -1 +1 @@
-{"version":3,"file":"default-template.js","sourceRoot":"","sources":["../src/default-template.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAIH,MAAM,CAAC,MAAM,kBAAkB,GAAgB;IAC7C,OAAO,EAAE;QACP;YACE,EAAE,EAAE,OAAO;YACX,QAAQ,EAAE,OAAO;YACjB,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC5B;QACD;YACE,EAAE,EAAE,WAAW;YACf,QAAQ,EAAE,WAAW;YACrB,QAAQ,EAAE,CAAC,OAAO,CAAC;YACnB,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,cAAc,EAAE;SAClD;QACD;YACE,EAAE,EAAE,QAAQ;YACZ,QAAQ,EAAE,QAAQ;YAClB,QAAQ,EAAE,CAAC,WAAW,CAAC;YACvB,MAAM,EAAE;gBACN,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,UAAU;gBAChB,YAAY,EAAE,sBAAsB;gBACpC,WAAW,EAAE,qBAAqB;aACnC;SACF;QACD;YACE,EAAE,EAAE,QAAQ;YACZ,QAAQ,EAAE,QAAQ;YAClB,QAAQ,EAAE,CAAC,QAAQ,CAAC;YACpB,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,cAAc,EAAE;SAClD;QACD;YACE,EAAE,EAAE,MAAM;YACV,QAAQ,EAAE,MAAM;YAChB,QAAQ,EAAE,CAAC,QAAQ,CAAC;YACpB,MAAM,EAAE,EAAE;SACX;KACF;IACD,gBAAgB,EAAE,MAAM;CACzB,CAAC"}
+{"version":3,"file":"default-template.js","sourceRoot":"","sources":["../src/default-template.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAIH,MAAM,CAAC,MAAM,kBAAkB,GAAgB;IAC7C,OAAO,EAAE;QACP;YACE,EAAE,EAAE,OAAO;YACX,QAAQ,EAAE,OAAO;YACjB,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC5B;QACD;YACE,EAAE,EAAE,WAAW;YACf,QAAQ,EAAE,WAAW;YACrB,QAAQ,EAAE,CAAC,OAAO,CAAC;YACnB,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,cAAc,EAAE;SAClD;QACD;YACE,EAAE,EAAE,QAAQ;YACZ,QAAQ,EAAE,QAAQ;YAClB,QAAQ,EAAE,CAAC,WAAW,CAAC;YACvB,MAAM,EAAE;gBACN,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,UAAU;gBAChB,YAAY,EAAE,sBAAsB;gBACpC,WAAW,EAAE,qBAAqB;aACnC;SACF;QACD;YACE,EAAE,EAAE,QAAQ;YACZ,QAAQ,EAAE,QAAQ;YAClB,QAAQ,EAAE,CAAC,QAAQ,CAAC;YACpB,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,cAAc,EAAE;SAClD;QACD;YACE,EAAE,EAAE,QAAQ;YACZ,QAAQ,EAAE,QAAQ;YAClB,QAAQ,EAAE,CAAC,QAAQ,CAAC;YACpB,MAAM,EAAE;gBACN,YAAY,EAAE,sBAAsB;gBACpC,WAAW,EAAE,qBAAqB;aACnC;SACF;QACD;YACE,EAAE,EAAE,MAAM;YACV,QAAQ,EAAE,MAAM;YAChB,QAAQ,EAAE,CAAC,QAAQ,CAAC;YACpB,MAAM,EAAE,EAAE;SACX;KACF;IACD,gBAAgB,EAAE,MAAM;CACzB,CAAC"}

package/dist/engines/index.d.ts

@@ -7,4 +7,5 @@ export { default as stepSessionEngine } from './step-session.ts';
 export { default as reviewEngine } from './review.ts';
 export { default as reviseEngine } from './revise.ts';
 export { default as sealEngine } from './seal.ts';
+export { default as verifyEngine } from './verify.ts';
 //# sourceMappingURL=index.d.ts.map

package/dist/engines/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/engines/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,IAAI,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,EAAE,OAAO,IAAI,WAAW,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,EAAE,OAAO,IAAI,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,EAAE,OAAO,IAAI,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,EAAE,OAAO,IAAI,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACjE,OAAO,EAAE,OAAO,IAAI,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACjE,OAAO,EAAE,OAAO,IAAI,YAAY,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,OAAO,IAAI,YAAY,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,OAAO,IAAI,UAAU,EAAE,MAAM,WAAW,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/engines/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,IAAI,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,EAAE,OAAO,IAAI,WAAW,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,EAAE,OAAO,IAAI,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,EAAE,OAAO,IAAI,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,EAAE,OAAO,IAAI,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACjE,OAAO,EAAE,OAAO,IAAI,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACjE,OAAO,EAAE,OAAO,IAAI,YAAY,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,OAAO,IAAI,YAAY,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,OAAO,IAAI,UAAU,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,OAAO,IAAI,YAAY,EAAE,MAAM,aAAa,CAAC"}

package/dist/engines/index.js

@@ -7,4 +7,5 @@ export { default as stepSessionEngine } from "./step-session.js";
 export { default as reviewEngine } from "./review.js";
 export { default as reviseEngine } from "./revise.js";
 export { default as sealEngine } from "./seal.js";
+export { default as verifyEngine } from "./verify.js";
 //# sourceMappingURL=index.js.map

package/dist/engines/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/engines/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,IAAI,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,EAAE,OAAO,IAAI,WAAW,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,EAAE,OAAO,IAAI,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,EAAE,OAAO,IAAI,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,EAAE,OAAO,IAAI,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACjE,OAAO,EAAE,OAAO,IAAI,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACjE,OAAO,EAAE,OAAO,IAAI,YAAY,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,OAAO,IAAI,YAAY,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,OAAO,IAAI,UAAU,EAAE,MAAM,WAAW,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/engines/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,IAAI,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,EAAE,OAAO,IAAI,WAAW,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,EAAE,OAAO,IAAI,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,EAAE,OAAO,IAAI,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,EAAE,OAAO,IAAI,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACjE,OAAO,EAAE,OAAO,IAAI,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACjE,OAAO,EAAE,OAAO,IAAI,YAAY,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,OAAO,IAAI,YAAY,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,OAAO,IAAI,UAAU,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,OAAO,IAAI,YAAY,EAAE,MAAM,aAAa,CAAC"}

package/dist/engines/mechanical-checks.d.ts

@@ -0,0 +1,32 @@
+/**
+ * Shared helpers for mechanical build/test checks.
+ *
+ * Extracted from `review.ts` so both the `review` and `verify` clockwork
+ * engines consume the same canonical `runCheck` and `truncate`
+ * implementations. The truncation policy (4 KB cap, head-bias on success,
+ * tail-bias on failure) is a contract that must stay identical across
+ * every engine that runs build/test commands and surfaces their output.
+ */
+import type { MechanicalCheck } from '../types.ts';
+/**
+ * Truncate to at most `max` chars total (including a short truncation marker),
+ * biased toward the **tail** on failure.
+ *
+ * Failure context (stack traces, exit messages, threshold-check verdicts) is
+ * almost always more informative at the end of a build/test run than at the
+ * start — the head is dominated by setup logs and individual test PASS lines.
+ * For passing checks we keep the head, since long passing logs typically have
+ * their useful summary near the top.
+ *
+ * The truncation marker is budgeted at 64 chars so the returned string is
+ * guaranteed `<= max` regardless of how many digits the truncated-count needs.
+ */
+export declare function truncate(text: string, max: number, bias: 'head' | 'tail'): string;
+/**
+ * Run a single mechanical check (build or test) shell command in `cwd` and
+ * return a structured `MechanicalCheck` result. A non-zero exit produces
+ * `passed: false` rather than a thrown error; engines decide what to do
+ * with the failed-result list.
+ */
+export declare function runCheck(name: 'build' | 'test', command: string, cwd: string): Promise<MechanicalCheck>;
+//# sourceMappingURL=mechanical-checks.d.ts.map

package/dist/engines/mechanical-checks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mechanical-checks.d.ts","sourceRoot":"","sources":["../../src/engines/mechanical-checks.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAInD;;;;;;;;;;;;GAYG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,CASjF;AAED;;;;;GAKG;AACH,wBAAsB,QAAQ,CAC5B,IAAI,EAAE,OAAO,GAAG,MAAM,EACtB,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,MAAM,GACV,OAAO,CAAC,eAAe,CAAC,CAW1B"}

package/dist/engines/mechanical-checks.js

@@ -0,0 +1,56 @@
+/**
+ * Shared helpers for mechanical build/test checks.
+ *
+ * Extracted from `review.ts` so both the `review` and `verify` clockwork
+ * engines consume the same canonical `runCheck` and `truncate`
+ * implementations. The truncation policy (4 KB cap, head-bias on success,
+ * tail-bias on failure) is a contract that must stay identical across
+ * every engine that runs build/test commands and surfaces their output.
+ */
+import { execFile } from 'node:child_process';
+import { promisify } from 'node:util';
+const execFileAsync = promisify(execFile);
+/**
+ * Truncate to at most `max` chars total (including a short truncation marker),
+ * biased toward the **tail** on failure.
+ *
+ * Failure context (stack traces, exit messages, threshold-check verdicts) is
+ * almost always more informative at the end of a build/test run than at the
+ * start — the head is dominated by setup logs and individual test PASS lines.
+ * For passing checks we keep the head, since long passing logs typically have
+ * their useful summary near the top.
+ *
+ * The truncation marker is budgeted at 64 chars so the returned string is
+ * guaranteed `<= max` regardless of how many digits the truncated-count needs.
+ */
+export function truncate(text, max, bias) {
+    if (text.length <= max)
+        return text;
+    const MARKER_BUDGET = 64;
+    const sliceLen = Math.max(0, max - MARKER_BUDGET);
+    const truncated = text.length - sliceLen;
+    if (bias === 'tail') {
+        return `[…truncated ${truncated} leading chars]\n${text.slice(-sliceLen)}`;
+    }
+    return `${text.slice(0, sliceLen)}\n[…truncated ${truncated} trailing chars]`;
+}
+/**
+ * Run a single mechanical check (build or test) shell command in `cwd` and
+ * return a structured `MechanicalCheck` result. A non-zero exit produces
+ * `passed: false` rather than a thrown error; engines decide what to do
+ * with the failed-result list.
+ */
+export async function runCheck(name, command, cwd) {
+    const start = Date.now();
+    try {
+        const { stdout, stderr } = await execFileAsync('sh', ['-c', command], { cwd });
+        const output = truncate(stdout + stderr, 4096, 'head');
+        return { name, passed: true, output, durationMs: Date.now() - start };
+    }
+    catch (err) {
+        const execErr = err;
+        const output = truncate((execErr.stdout ?? '') + (execErr.stderr ?? ''), 4096, 'tail');
+        return { name, passed: false, output, durationMs: Date.now() - start };
+    }
+}
+//# sourceMappingURL=mechanical-checks.js.map

package/dist/engines/mechanical-checks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mechanical-checks.js","sourceRoot":"","sources":["../../src/engines/mechanical-checks.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAGtC,MAAM,aAAa,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;AAE1C;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAY,EAAE,GAAW,EAAE,IAAqB;IACvE,IAAI,IAAI,CAAC,MAAM,IAAI,GAAG;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,aAAa,GAAG,EAAE,CAAC;IACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,GAAG,aAAa,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC;IACzC,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QACpB,OAAO,eAAe,SAAS,oBAAoB,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC7E,CAAC;IACD,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,iBAAiB,SAAS,kBAAkB,CAAC;AAChF,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,IAAsB,EACtB,OAAe,EACf,GAAW;IAEX,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACzB,IAAI,CAAC;QACH,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,aAAa,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;QAC/E,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,GAAG,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QACvD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,CAAC;IACxE,CAAC;IAAC,OAAO,GAAY,EAAE,CAAC;QACtB,MAAM,OAAO,GAAG,GAA2C,CAAC;QAC5D,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QACvF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,CAAC;IACzE,CAAC;AACH,CAAC"}

package/dist/engines/review.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"review.d.ts","sourceRoot":"","sources":["../../src/engines/review.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAKH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAyHrE,QAAA,MAAM,YAAY,EAAE,YAoDnB,CAAC;AAEF,eAAe,YAAY,CAAC"}
+{"version":3,"file":"review.d.ts","sourceRoot":"","sources":["../../src/engines/review.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAKH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAqFrE,QAAA,MAAM,YAAY,EAAE,YAoDnB,CAAC;AAEF,eAAe,YAAY,CAAC"}

package/dist/engines/review.js

@@ -14,44 +14,8 @@
 import { execFile } from 'node:child_process';
 import { promisify } from 'node:util';
 import { guild } from '@shardworks/nexus-core';
+import { runCheck } from "./mechanical-checks.js";
 const execFileAsync = promisify(execFile);
-/**
- * Truncate to at most `max` chars total (including a short truncation marker),
- * biased toward the **tail** on failure.
- *
- * Failure context (stack traces, exit messages, threshold-check verdicts) is
- * almost always more informative at the end of a build/test run than at the
- * start — the head is dominated by setup logs and individual test PASS lines.
- * For passing checks we keep the head, since long passing logs typically have
- * their useful summary near the top.
- *
- * The truncation marker is budgeted at 64 chars so the returned string is
- * guaranteed `<= max` regardless of how many digits the truncated-count needs.
- */
-function truncate(text, max, bias) {
-    if (text.length <= max)
-        return text;
-    const MARKER_BUDGET = 64;
-    const sliceLen = Math.max(0, max - MARKER_BUDGET);
-    const truncated = text.length - sliceLen;
-    if (bias === 'tail') {
-        return `[…truncated ${truncated} leading chars]\n${text.slice(-sliceLen)}`;
-    }
-    return `${text.slice(0, sliceLen)}\n[…truncated ${truncated} trailing chars]`;
-}
-async function runCheck(name, command, cwd) {
-    const start = Date.now();
-    try {
-        const { stdout, stderr } = await execFileAsync('sh', ['-c', command], { cwd });
-        const output = truncate(stdout + stderr, 4096, 'head');
-        return { name, passed: true, output, durationMs: Date.now() - start };
-    }
-    catch (err) {
-        const execErr = err;
-        const output = truncate((execErr.stdout ?? '') + (execErr.stderr ?? ''), 4096, 'tail');
-        return { name, passed: false, output, durationMs: Date.now() - start };
-    }
-}
 async function gitDiff(cwd, baseSha) {
     try {
         const { stdout } = await execFileAsync('git', ['diff', `${baseSha}..HEAD`], { cwd });

package/dist/engines/review.js.map

@@ -1 +1 @@
-{"version":3,"file":"review.js","sourceRoot":"","sources":["../../src/engines/review.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAO/C,MAAM,aAAa,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;AAE1C;;;;;;;;;;;;GAYG;AACH,SAAS,QAAQ,CAAC,IAAY,EAAE,GAAW,EAAE,IAAqB;IAChE,IAAI,IAAI,CAAC,MAAM,IAAI,GAAG;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,aAAa,GAAG,EAAE,CAAC;IACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,GAAG,aAAa,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC;IACzC,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QACpB,OAAO,eAAe,SAAS,oBAAoB,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC7E,CAAC;IACD,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,iBAAiB,SAAS,kBAAkB,CAAC;AAChF,CAAC;AAED,KAAK,UAAU,QAAQ,CAAC,IAAsB,EAAE,OAAe,EAAE,GAAW;IAC1E,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACzB,IAAI,CAAC;QACH,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,aAAa,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;QAC/E,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,GAAG,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QACvD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,CAAC;IACxE,CAAC;IAAC,OAAO,GAAY,EAAE,CAAC;QACtB,MAAM,OAAO,GAAG,GAA2C,CAAC;QAC5D,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QACvF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,CAAC;IACzE,CAAC;AACH,CAAC;AAED,KAAK,UAAU,OAAO,CAAC,GAAW,EAAE,OAAe;IACjD,IAAI,CAAC;QACH,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,aAAa,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,GAAG,OAAO,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;QACrF,OAAO,MAAM,CAAC;IAChB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,KAAK,UAAU,SAAS,CAAC,GAAW;IAClC,IAAI,CAAC;QACH,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,aAAa,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;QAClF,OAAO,MAAM,CAAC;IAChB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAa,EAAE,IAAY,EAAE,MAAc,EAAE,MAAyB;IAClG,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC;QACvC,CAAC,CAAC,oCAAoC;QACtC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,aAAa,CAAC,CAAC,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAEpH,OAAO;;;;;;;;EAQP,IAAI,CAAC,IAAI;;;;;;;EAOT,IAAI;;;;;;EAMJ,MAAM;;;;;EAKN,aAAa;;;;;;;;;;;;;;;;;;;;;;;;iEAwBkD,CAAC;AAClE,CAAC;AAED,MAAM,YAAY,GAAiB;IACjC,EAAE,EAAE,QAAQ;IAEZ,oEAAoE;IACpE,sCAAsC;IACtC,KAAK,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE;IAEzB,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO;QACvB,MAAM,QAAQ,GAAG,KAAK,EAAE,CAAC,SAAS,CAAc,UAAU,CAAC,CAAC;QAC5D,MAAM,IAAI,GAAG,MAAM,CAAC,IAAe,CAAC;QACpC,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAgB,CAAC;QAEvD,qEAAqE;QACrE,MAAM,MAAM,GAAsB,EAAE,CAAC;QACrC,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC,MAAM,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,YAAsB,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAClF,CAAC;QACD,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;YACvB,MAAM,CAAC,IAAI,CAAC,MAAM,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,WAAqB,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAChF,CAAC;QAED,gEAAgE;QAChE,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QACtD,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAE3C,4BAA4B;QAC5B,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAEhE,mFAAmF;QACnF,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;YAC7B,IAAI,EAAE,MAAM,CAAC,IAAc;YAC3B,MAAM;YACN,GAAG,EAAE,KAAK,CAAC,IAAI;YACf,QAAQ,EAAE;gBACR,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,gBAAgB,EAAE,MAAM;aACzB;SACF,CAAC,CAAC;QAEH,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC;IAC7D,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,SAAiB;QAC7B,MAAM,MAAM,GAAG,KAAK,EAAE,CAAC,SAAS,CAAY,QAAQ,CAAC,CAAC;QACtD,MAAM,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAa,UAAU,EAAE,UAAU,CAAC,CAAC;QACzE,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAClD,MAAM,QAAQ,GAAG,OAAO,EAAE,MAAM,IAAI,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,0BAA0B,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzD,MAAM,gBAAgB,GAAI,OAAO,EAAE,QAAQ,EAAE,gBAAsC,IAAI,EAAE,CAAC;QAC1F,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;IAC3D,CAAC;CACF,CAAC;AAEF,eAAe,YAAY,CAAC"}
+{"version":3,"file":"review.js","sourceRoot":"","sources":["../../src/engines/review.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAM/C,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAElD,MAAM,aAAa,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;AAE1C,KAAK,UAAU,OAAO,CAAC,GAAW,EAAE,OAAe;IACjD,IAAI,CAAC;QACH,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,aAAa,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,GAAG,OAAO,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;QACrF,OAAO,MAAM,CAAC;IAChB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,KAAK,UAAU,SAAS,CAAC,GAAW;IAClC,IAAI,CAAC;QACH,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,aAAa,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;QAClF,OAAO,MAAM,CAAC;IAChB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAa,EAAE,IAAY,EAAE,MAAc,EAAE,MAAyB;IAClG,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC;QACvC,CAAC,CAAC,oCAAoC;QACtC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,aAAa,CAAC,CAAC,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAEpH,OAAO;;;;;;;;EAQP,IAAI,CAAC,IAAI;;;;;;;EAOT,IAAI;;;;;;EAMJ,MAAM;;;;;EAKN,aAAa;;;;;;;;;;;;;;;;;;;;;;;;iEAwBkD,CAAC;AAClE,CAAC;AAED,MAAM,YAAY,GAAiB;IACjC,EAAE,EAAE,QAAQ;IAEZ,oEAAoE;IACpE,sCAAsC;IACtC,KAAK,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE;IAEzB,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO;QACvB,MAAM,QAAQ,GAAG,KAAK,EAAE,CAAC,SAAS,CAAc,UAAU,CAAC,CAAC;QAC5D,MAAM,IAAI,GAAG,MAAM,CAAC,IAAe,CAAC;QACpC,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAgB,CAAC;QAEvD,qEAAqE;QACrE,MAAM,MAAM,GAAsB,EAAE,CAAC;QACrC,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC,MAAM,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,YAAsB,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAClF,CAAC;QACD,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;YACvB,MAAM,CAAC,IAAI,CAAC,MAAM,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,WAAqB,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAChF,CAAC;QAED,gEAAgE;QAChE,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QACtD,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAE3C,4BAA4B;QAC5B,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAEhE,mFAAmF;QACnF,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;YAC7B,IAAI,EAAE,MAAM,CAAC,IAAc;YAC3B,MAAM;YACN,GAAG,EAAE,KAAK,CAAC,IAAI;YACf,QAAQ,EAAE;gBACR,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,gBAAgB,EAAE,MAAM;aACzB;SACF,CAAC,CAAC;QAEH,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC;IAC7D,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,SAAiB;QAC7B,MAAM,MAAM,GAAG,KAAK,EAAE,CAAC,SAAS,CAAY,QAAQ,CAAC,CAAC;QACtD,MAAM,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAa,UAAU,EAAE,UAAU,CAAC,CAAC;QACzE,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAClD,MAAM,QAAQ,GAAG,OAAO,EAAE,MAAM,IAAI,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,0BAA0B,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzD,MAAM,gBAAgB,GAAI,OAAO,EAAE,QAAQ,EAAE,gBAAsC,IAAI,EAAE,CAAC;QAC1F,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;IAC3D,CAAC;CACF,CAAC;AAEF,eAAe,YAAY,CAAC"}

package/dist/engines/verify.d.ts

@@ -0,0 +1,37 @@
+/**
+ * Verify engine — clockwork.
+ *
+ * Mechanical post-revise gate. Re-runs the same `buildCommand` /
+ * `testCommand` checks the `review` engine performs, but inserted
+ * between `revise` and `seal` in the plugin-default rig template — its
+ * purpose is to surface any regression introduced during revise (build
+ * break, test failure, undone fix) loud and clear, before the seal
+ * engine fast-forward-merges the draft branch into the codex.
+ *
+ * No anima session, no model cost, no `collect()`: verify is fully
+ * synchronous and deterministic. Both checks always run regardless of
+ * the build's outcome (no short-circuit), so an operator inspecting a
+ * failure sees the full state, not just the first thing that broke.
+ *
+ * Failure semantics. On any non-zero exit the engine throws. The
+ * standard engine-failure path takes over: `attempts[-1].status='failed'`
+ * with the thrown message captured as `error`, the rig cancels every
+ * non-terminal engine (so `seal` never runs), `rig.status='failed'`,
+ * and the rig→writs CDC translates that to `writ.phase='failed'`.
+ * Operators inspect the embedded check outputs in
+ * `attempts[-1].error` (Oculus and `rig-show` render it directly).
+ *
+ * No retry, no graft, no recovery tail: a deterministic regression is
+ * the human-intervention signal verify exists to surface.
+ *
+ * Configuration. Reuses `${vars.buildCommand}` and `${vars.testCommand}`
+ * from `spider.variables`; no new SpiderConfig key. If both givens are
+ * absent the engine throws a configuration error — a totally-vacuous
+ * verify silently passing seal would defeat the whole gate. If only one
+ * is absent, verify runs the present check and completes normally
+ * (matches review's silent-skip behaviour for partial config).
+ */
+import type { EngineDesign } from '@shardworks/fabricator-apparatus';
+declare const verifyEngine: EngineDesign;
+export default verifyEngine;
+//# sourceMappingURL=verify.d.ts.map

package/dist/engines/verify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../../src/engines/verify.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAuBrE,QAAA,MAAM,YAAY,EAAE,YA6CnB,CAAC;AAEF,eAAe,YAAY,CAAC"}

package/dist/engines/verify.js

@@ -0,0 +1,89 @@
+/**
+ * Verify engine — clockwork.
+ *
+ * Mechanical post-revise gate. Re-runs the same `buildCommand` /
+ * `testCommand` checks the `review` engine performs, but inserted
+ * between `revise` and `seal` in the plugin-default rig template — its
+ * purpose is to surface any regression introduced during revise (build
+ * break, test failure, undone fix) loud and clear, before the seal
+ * engine fast-forward-merges the draft branch into the codex.
+ *
+ * No anima session, no model cost, no `collect()`: verify is fully
+ * synchronous and deterministic. Both checks always run regardless of
+ * the build's outcome (no short-circuit), so an operator inspecting a
+ * failure sees the full state, not just the first thing that broke.
+ *
+ * Failure semantics. On any non-zero exit the engine throws. The
+ * standard engine-failure path takes over: `attempts[-1].status='failed'`
+ * with the thrown message captured as `error`, the rig cancels every
+ * non-terminal engine (so `seal` never runs), `rig.status='failed'`,
+ * and the rig→writs CDC translates that to `writ.phase='failed'`.
+ * Operators inspect the embedded check outputs in
+ * `attempts[-1].error` (Oculus and `rig-show` render it directly).
+ *
+ * No retry, no graft, no recovery tail: a deterministic regression is
+ * the human-intervention signal verify exists to surface.
+ *
+ * Configuration. Reuses `${vars.buildCommand}` and `${vars.testCommand}`
+ * from `spider.variables`; no new SpiderConfig key. If both givens are
+ * absent the engine throws a configuration error — a totally-vacuous
+ * verify silently passing seal would defeat the whole gate. If only one
+ * is absent, verify runs the present check and completes normally
+ * (matches review's silent-skip behaviour for partial config).
+ */
+import { runCheck } from "./mechanical-checks.js";
+/**
+ * Format the per-check section embedded in the thrown-error message on
+ * the failure path. `attempts[-1].error` is the only post-throw channel
+ * the substrate preserves, so the entire diagnostic surface — one-line
+ * summary + per-check truncated outputs — has to live in the message.
+ */
+function formatFailureMessage(checks) {
+    const summary = checks
+        .map((c) => `${c.name} ${c.passed ? 'PASSED' : 'FAILED'}`)
+        .join(', ');
+    const sections = checks
+        .map((c) => {
+        const verdict = c.passed ? 'PASSED' : 'FAILED';
+        return `### ${c.name}: ${verdict} (${c.durationMs}ms)\n\`\`\`\n${c.output}\n\`\`\``;
+    })
+        .join('\n\n');
+    return `Verify failed: ${summary}.\n\n${sections}`;
+}
+const verifyEngine = {
+    id: 'verify',
+    // No retry. Build/test regressions are deterministic; retrying masks
+    // the very signal verify exists to surface. (Aligns with peer
+    // clockwork engines like seal and draft, which also omit `retry`.)
+    async run(givens, context) {
+        const draft = context.upstream['draft'];
+        if (!draft) {
+            throw new Error('Verify engine requires draft yields in context.upstream but none found.');
+        }
+        const buildCommand = givens.buildCommand;
+        const testCommand = givens.testCommand;
+        // D11 — refuse to be a totally-vacuous gate. If both checks are
+        // missing the engine cannot do its job; failing loud at config time
+        // is strictly better than silently passing seal.
+        if (!buildCommand && !testCommand) {
+            throw new Error('Verify engine requires at least one of `spider.variables.buildCommand` or `spider.variables.testCommand` to be configured. Both are missing — a verify gate with no checks cannot perform its job.');
+        }
+        // D6 — always run both checks (when configured). No short-circuit:
+        // an operator inspecting a verify failure wants the full state.
+        const checks = [];
+        if (buildCommand) {
+            checks.push(await runCheck('build', buildCommand, draft.path));
+        }
+        if (testCommand) {
+            checks.push(await runCheck('test', testCommand, draft.path));
+        }
+        const anyFailed = checks.some((c) => !c.passed);
+        if (anyFailed) {
+            throw new Error(formatFailureMessage(checks));
+        }
+        const yields = { checks };
+        return { status: 'completed', yields };
+    },
+};
+export default verifyEngine;
+//# sourceMappingURL=verify.js.map

package/dist/engines/verify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.js","sourceRoot":"","sources":["../../src/engines/verify.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAIH,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAElD;;;;;GAKG;AACH,SAAS,oBAAoB,CAAC,MAAyB;IACrD,MAAM,OAAO,GAAG,MAAM;SACnB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;SACzD,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,MAAM,QAAQ,GAAG,MAAM;SACpB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACT,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC/C,OAAO,OAAO,CAAC,CAAC,IAAI,KAAK,OAAO,KAAK,CAAC,CAAC,UAAU,gBAAgB,CAAC,CAAC,MAAM,UAAU,CAAC;IACtF,CAAC,CAAC;SACD,IAAI,CAAC,MAAM,CAAC,CAAC;IAChB,OAAO,kBAAkB,OAAO,QAAQ,QAAQ,EAAE,CAAC;AACrD,CAAC;AAED,MAAM,YAAY,GAAiB;IACjC,EAAE,EAAE,QAAQ;IAEZ,qEAAqE;IACrE,8DAA8D;IAC9D,mEAAmE;IAEnE,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO;QACvB,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,OAAO,CAA4B,CAAC;QACnE,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CACb,yEAAyE,CAC1E,CAAC;QACJ,CAAC;QAED,MAAM,YAAY,GAAG,MAAM,CAAC,YAAkC,CAAC;QAC/D,MAAM,WAAW,GAAG,MAAM,CAAC,WAAiC,CAAC;QAE7D,gEAAgE;QAChE,oEAAoE;QACpE,iDAAiD;QACjD,IAAI,CAAC,YAAY,IAAI,CAAC,WAAW,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CACb,oMAAoM,CACrM,CAAC;QACJ,CAAC;QAED,mEAAmE;QACnE,gEAAgE;QAChE,MAAM,MAAM,GAAsB,EAAE,CAAC;QACrC,IAAI,YAAY,EAAE,CAAC;YACjB,MAAM,CAAC,IAAI,CAAC,MAAM,QAAQ,CAAC,OAAO,EAAE,YAAY,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QACjE,CAAC;QACD,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,CAAC,IAAI,CAAC,MAAM,QAAQ,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/D,CAAC;QAED,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAChD,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC;QAChD,CAAC;QAED,MAAM,MAAM,GAAiB,EAAE,MAAM,EAAE,CAAC;QACxC,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC;IACzC,CAAC;CACF,CAAC;AAEF,eAAe,YAAY,CAAC"}

package/dist/index.d.ts

@@ -7,7 +7,7 @@
  * Public types (RigDoc, EngineInstance, CrawlResult, SpiderApi, etc.) are
  * re-exported for consumers that inspect walk results or rig state.
  */
-export type { EngineStatus, EngineAttempt, EngineInstance, EngineRetryConfig, EngineRetryBackoffConfig, RigStatus, RigDoc, RigView, RigCostSummary, EngineCostSummary, RigFilters, CrawlResult, SpiderApi, SpiderConfig, BlockType, BlockTypeInfo, CheckResult, DraftYields, SealYields, RigTemplate, RigTemplateEngine, RigTemplateInfo, SpiderEngineRunResult, SpiderCollectResult, InputRequestStatus, InputRequestDoc, ChoiceQuestionSpec, BooleanQuestionSpec, TextQuestionSpec, QuestionSpec, ChoiceAnswer, AnswerValue, SpiderStuckCause, SpiderWritStatus, } from './types.ts';
+export type { EngineStatus, EngineAttempt, EngineInstance, EngineRetryConfig, EngineRetryBackoffConfig, RigStatus, RigDoc, RigView, RigCostSummary, EngineCostSummary, RigFilters, CrawlResult, SpiderApi, SpiderConfig, BlockType, BlockTypeInfo, CheckResult, DraftYields, SealYields, VerifyYields, RigTemplate, RigTemplateEngine, RigTemplateInfo, SpiderEngineRunResult, SpiderCollectResult, InputRequestStatus, InputRequestDoc, ChoiceQuestionSpec, BooleanQuestionSpec, TextQuestionSpec, QuestionSpec, ChoiceAnswer, AnswerValue, SpiderStuckCause, SpiderWritStatus, } from './types.ts';
 export type { SpiderKit } from './spider.ts';
 /**
  * Create a fresh Spider apparatus plugin instance.

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAMH,YAAY,EACV,YAAY,EACZ,aAAa,EACb,cAAc,EACd,iBAAiB,EACjB,wBAAwB,EACxB,SAAS,EACT,MAAM,EACN,OAAO,EACP,cAAc,EACd,iBAAiB,EACjB,UAAU,EACV,WAAW,EACX,SAAS,EACT,YAAY,EACZ,SAAS,EACT,aAAa,EACb,WAAW,EACX,WAAW,EACX,UAAU,EACV,WAAW,EACX,iBAAiB,EACjB,eAAe,EACf,qBAAqB,EACrB,mBAAmB,EACnB,kBAAkB,EAClB,eAAe,EACf,kBAAkB,EAClB,mBAAmB,EACnB,gBAAgB,EAChB,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,YAAY,CAAC;AAEpB,YAAY,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAI7C;;;;;;;;GAQG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;;AAI3C,wBAA8B"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAMH,YAAY,EACV,YAAY,EACZ,aAAa,EACb,cAAc,EACd,iBAAiB,EACjB,wBAAwB,EACxB,SAAS,EACT,MAAM,EACN,OAAO,EACP,cAAc,EACd,iBAAiB,EACjB,UAAU,EACV,WAAW,EACX,SAAS,EACT,YAAY,EACZ,SAAS,EACT,aAAa,EACb,WAAW,EACX,WAAW,EACX,UAAU,EACV,YAAY,EACZ,WAAW,EACX,iBAAiB,EACjB,eAAe,EACf,qBAAqB,EACrB,mBAAmB,EACnB,kBAAkB,EAClB,eAAe,EACf,kBAAkB,EAClB,mBAAmB,EACnB,gBAAgB,EAChB,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,YAAY,CAAC;AAEpB,YAAY,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAI7C;;;;;;;;GAQG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;;AAI3C,wBAA8B"}

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AA2C3C,yEAAyE;AAEzE;;;;;;;;GAQG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C,yEAAyE;AAEzE,eAAe,YAAY,EAAE,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AA4C3C,yEAAyE;AAEzE;;;;;;;;GAQG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C,yEAAyE;AAEzE,eAAe,YAAY,EAAE,CAAC"}

package/dist/spider.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"spider.d.ts","sourceRoot":"","sources":["../src/spider.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,KAAK,EAAE,MAAM,EAA4B,MAAM,wBAAwB,CAAC;AAS/E,OAAO,KAAK,EACV,MAAM,EAWN,WAAW,EAOZ,MAAM,YAAY,CAAC;AA0DpB,uEAAuE;AACvE,MAAM,WAAW,SAAS;IACxB,6EAA6E;IAC7E,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAC3C,oFAAoF;IACpF,mBAAmB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC9C;AA+CD;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAQ1D;AAED;;GAEG;AACH,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAM5D;AA4rCD,wBAAgB,YAAY,IAAI,MAAM,CAm6DrC"}
+{"version":3,"file":"spider.d.ts","sourceRoot":"","sources":["../src/spider.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,KAAK,EAAE,MAAM,EAA4B,MAAM,wBAAwB,CAAC;AAS/E,OAAO,KAAK,EACV,MAAM,EAWN,WAAW,EAOZ,MAAM,YAAY,CAAC;AA2DpB,uEAAuE;AACvE,MAAM,WAAW,SAAS;IACxB,6EAA6E;IAC7E,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAC3C,oFAAoF;IACpF,mBAAmB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC9C;AA+CD;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAQ1D;AAED;;GAEG;AACH,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAM5D;AA8rCD,wBAAgB,YAAY,IAAI,MAAM,CAo6DrC"}

package/dist/spider.js

@@ -28,7 +28,7 @@
 import { guild, generateId, shortId } from '@shardworks/nexus-core';
 import { isDispatchable } from '@shardworks/animator-apparatus';
 import { resolveEngineRetryConfigWithOverrides, validateEngineRetryConfig, } from '@shardworks/fabricator-apparatus';
-import { animaSessionEngine, draftEngine, implementEngine, implementLoopEngine, manualMergeEngine, stepSessionEngine, reviewEngine, reviseEngine, sealEngine, } from "./engines/index.js";
+import { animaSessionEngine, draftEngine, implementEngine, implementLoopEngine, manualMergeEngine, stepSessionEngine, reviewEngine, reviseEngine, sealEngine, verifyEngine, } from "./engines/index.js";
 import { writPhaseBlockType, scheduledTimeBlockType, bookUpdatedBlockType, patronInputBlockType, animatorPausedBlockType, } from "./block-types/index.js";
 import { rigShowTool, rigListTool, rigForWritTool, rigResumeTool, inputRequestListTool, inputRequestShowTool, inputRequestAnswerTool, inputRequestCompleteTool, inputRequestRejectTool, inputRequestExportTool, inputRequestImportTool, engineDesignsTool, blockTypesTool, rigCancelTool, writRescueStuckTool, } from "./tools/index.js";
 import { spiderRoutes } from "./oculus-routes.js";
@@ -380,6 +380,7 @@ function validateTemplates(rigTemplates, fabricator) {
         reviewEngine.id,
         reviseEngine.id,
         sealEngine.id,
+        verifyEngine.id,
     ]);
     for (const [templateKey, template] of Object.entries(rigTemplates)) {
         const engines = template.engines;
@@ -758,6 +759,7 @@ class RigTemplateRegistry {
             reviewEngine.id,
             reviseEngine.id,
             sealEngine.id,
+            verifyEngine.id,
         ];
         for (const id of builtinIds) {
             this.designSourceMap.set(id, 'spider');
@@ -2624,6 +2626,7 @@ export function createSpider() {
                     'step-session': stepSessionEngine,
                     review: reviewEngine,
                     revise: reviseEngine,
+                    verify: verifyEngine,
                     seal: sealEngine,
                 },
                 roles: {