@substrate-ai/sdlc 0.20.3 → 0.20.5

package/dist/verification/checks/index.js

@@ -2,14 +2,16 @@
  * Barrel export for VerificationCheck implementations.
  *
  * Check registration order (Tier A before Tier B, and within Tier A in
- * pipeline sequence order per architecture section 3.5):
+ * pipeline sequence order):
  *   1. PhantomReviewCheck  — story 51-2
  *   2. TrivialOutputCheck  — story 51-3
  *   3. AcceptanceCriteriaEvidenceCheck
  *   4. BuildCheck          — story 51-4
+ *   5. RuntimeProbeCheck   — Epic 55 Phase 2
  */
 export { PhantomReviewCheck } from './phantom-review-check.js';
 export { TrivialOutputCheck, DEFAULT_TRIVIAL_OUTPUT_THRESHOLD } from './trivial-output-check.js';
 export { AcceptanceCriteriaEvidenceCheck, extractAcceptanceCriteriaIds } from './acceptance-criteria-evidence-check.js';
 export { BuildCheck, BUILD_CHECK_TIMEOUT_MS, detectBuildCommand } from './build-check.js';
+export { RuntimeProbeCheck } from './runtime-probe-check.js';
 //# sourceMappingURL=index.js.map

package/dist/verification/checks/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/verification/checks/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAA;AAC9D,OAAO,EAAE,kBAAkB,EAAE,gCAAgC,EAAE,MAAM,2BAA2B,CAAA;AAChG,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,yCAAyC,CAAA;AACvH,OAAO,EAAE,UAAU,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/verification/checks/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAA;AAC9D,OAAO,EAAE,kBAAkB,EAAE,gCAAgC,EAAE,MAAM,2BAA2B,CAAA;AAChG,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,yCAAyC,CAAA;AACvH,OAAO,EAAE,UAAU,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAA;AACzF,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAA"}

package/dist/verification/checks/phantom-review-check.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"phantom-review-check.d.ts","sourceRoot":"","sources":["../../../src/verification/checks/phantom-review-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EACV,iBAAiB,EACjB,mBAAmB,EACnB,kBAAkB,EACnB,MAAM,aAAa,CAAA;AAMpB;;;;;;;;;GASG;AACH,qBAAa,kBAAmB,YAAW,iBAAiB;IAC1D,QAAQ,CAAC,IAAI,oBAAmB;IAChC,QAAQ,CAAC,IAAI,EAAG,GAAG,CAAS;IAEtB,GAAG,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,kBAAkB,CAAC;CA6CrE"}
+{"version":3,"file":"phantom-review-check.d.ts","sourceRoot":"","sources":["../../../src/verification/checks/phantom-review-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EACV,iBAAiB,EACjB,mBAAmB,EAEnB,kBAAkB,EACnB,MAAM,aAAa,CAAA;AAOpB;;;;;;;;;GASG;AACH,qBAAa,kBAAmB,YAAW,iBAAiB;IAC1D,QAAQ,CAAC,IAAI,oBAAmB;IAChC,QAAQ,CAAC,IAAI,EAAG,GAAG,CAAS;IAEtB,GAAG,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,kBAAkB,CAAC;CA+DrE"}

package/dist/verification/checks/phantom-review-check.js

@@ -10,6 +10,7 @@
  * - No shell invocations — pure static signal inspection over VerificationContext fields.
  * - Runs first in Tier A (before TrivialOutputCheck, before BuildCheck).
  */
+import { renderFindings } from '../findings.js';
 // ---------------------------------------------------------------------------
 // PhantomReviewCheck
 // ---------------------------------------------------------------------------
@@ -35,6 +36,7 @@ export class PhantomReviewCheck {
                 status: 'pass',
                 details: 'phantom-review: no review result in context — skipping check',
                 duration_ms: Date.now() - start,
+                findings: [],
             };
         }
         // AC1 + AC3: dispatch itself failed (non-zero exit, timeout, crash, or schema validation failure)
@@ -42,10 +44,18 @@ export class PhantomReviewCheck {
             const reason = review.error === 'schema_validation_failed'
                 ? 'schema validation failed'
                 : `dispatch failed${review.error ? ` — ${review.error}` : ''}`;
+            const findings = [
+                {
+                    category: 'phantom-review',
+                    severity: 'error',
+                    message: reason,
+                },
+            ];
             return {
                 status: 'fail',
-                details: `phantom-review: ${reason}`,
+                details: renderFindings(findings),
                 duration_ms: Date.now() - start,
+                findings,
             };
         }
         // AC2: agent produced no output — only flag when rawOutput is explicitly empty
@@ -53,10 +63,18 @@ export class PhantomReviewCheck {
         // dispatch result may not have captured it (e.g., parsed YAML result without
         // raw output preservation) — treat as pass since dispatchFailed was not set.
         if (review.rawOutput !== undefined && review.rawOutput.trim().length === 0) {
+            const findings = [
+                {
+                    category: 'phantom-review',
+                    severity: 'error',
+                    message: 'empty review output',
+                },
+            ];
             return {
                 status: 'fail',
-                details: 'phantom-review: empty review output',
+                details: renderFindings(findings),
                 duration_ms: Date.now() - start,
+                findings,
             };
         }
         // AC5: valid review — non-empty output, no dispatch failure
@@ -64,6 +82,7 @@ export class PhantomReviewCheck {
             status: 'pass',
             details: 'phantom-review: review output is valid',
             duration_ms: Date.now() - start,
+            findings: [],
         };
     }
 }

package/dist/verification/checks/phantom-review-check.js.map

@@ -1 +1 @@
-{"version":3,"file":"phantom-review-check.js","sourceRoot":"","sources":["../../../src/verification/checks/phantom-review-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAQH,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E;;;;;;;;;GASG;AACH,MAAM,OAAO,kBAAkB;IACpB,IAAI,GAAG,gBAAgB,CAAA;IACvB,IAAI,GAAG,GAAY,CAAA;IAE5B,KAAK,CAAC,GAAG,CAAC,OAA4B;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;QACxB,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAA;QAEnC,+EAA+E;QAC/E,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,8DAA8D;gBACvE,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAChC,CAAA;QACH,CAAC;QAED,kGAAkG;QAClG,IAAI,MAAM,CAAC,cAAc,KAAK,IAAI,EAAE,CAAC;YACnC,MAAM,MAAM,GACV,MAAM,CAAC,KAAK,KAAK,0BAA0B;gBACzC,CAAC,CAAC,0BAA0B;gBAC5B,CAAC,CAAC,kBAAkB,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAA;YAClE,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,mBAAmB,MAAM,EAAE;gBACpC,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAChC,CAAA;QACH,CAAC;QAED,+EAA+E;QAC/E,+EAA+E;QAC/E,6EAA6E;QAC7E,6EAA6E;QAC7E,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3E,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,qCAAqC;gBAC9C,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAChC,CAAA;QACH,CAAC;QAED,4DAA4D;QAC5D,OAAO;YACL,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,wCAAwC;YACjD,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;SAChC,CAAA;IACH,CAAC;CACF"}
+{"version":3,"file":"phantom-review-check.js","sourceRoot":"","sources":["../../../src/verification/checks/phantom-review-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAQH,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAE/C,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E;;;;;;;;;GASG;AACH,MAAM,OAAO,kBAAkB;IACpB,IAAI,GAAG,gBAAgB,CAAA;IACvB,IAAI,GAAG,GAAY,CAAA;IAE5B,KAAK,CAAC,GAAG,CAAC,OAA4B;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;QACxB,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAA;QAEnC,+EAA+E;QAC/E,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,8DAA8D;gBACvE,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;gBAC/B,QAAQ,EAAE,EAAE;aACb,CAAA;QACH,CAAC;QAED,kGAAkG;QAClG,IAAI,MAAM,CAAC,cAAc,KAAK,IAAI,EAAE,CAAC;YACnC,MAAM,MAAM,GACV,MAAM,CAAC,KAAK,KAAK,0BAA0B;gBACzC,CAAC,CAAC,0BAA0B;gBAC5B,CAAC,CAAC,kBAAkB,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAA;YAClE,MAAM,QAAQ,GAA0B;gBACtC;oBACE,QAAQ,EAAE,gBAAgB;oBAC1B,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,MAAM;iBAChB;aACF,CAAA;YACD,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,cAAc,CAAC,QAAQ,CAAC;gBACjC,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;gBAC/B,QAAQ;aACT,CAAA;QACH,CAAC;QAED,+EAA+E;QAC/E,+EAA+E;QAC/E,6EAA6E;QAC7E,6EAA6E;QAC7E,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3E,MAAM,QAAQ,GAA0B;gBACtC;oBACE,QAAQ,EAAE,gBAAgB;oBAC1B,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,qBAAqB;iBAC/B;aACF,CAAA;YACD,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,cAAc,CAAC,QAAQ,CAAC;gBACjC,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;gBAC/B,QAAQ;aACT,CAAA;QACH,CAAC;QAED,4DAA4D;QAC5D,OAAO;YACL,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,wCAAwC;YACjD,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;YAC/B,QAAQ,EAAE,EAAE;SACb,CAAA;IACH,CAAC;CACF"}

package/dist/verification/checks/runtime-probe-check.d.ts

@@ -0,0 +1,43 @@
+/**
+ * RuntimeProbeCheck — Epic 55 / Phase 2.
+ *
+ * Tier A verification check that parses and executes the author-declared
+ * runtime probes in a story's `## Runtime Probes` section. Each probe's
+ * outcome becomes a structured VerificationFinding, leveraging the
+ * Phase 1 persistence surface to flow through retry prompts, the run
+ * manifest, and post-run analysis without string-parsing.
+ *
+ * Architecture / scoring contract:
+ *
+ *   - No probes declared                  → pass (skip note finding array is empty)
+ *   - Probes declared, YAML invalid       → fail (one finding per parse error)
+ *   - Probe `sandbox: twin`               → warn (deferred until Phase 3)
+ *   - Probe `sandbox: host`, exit 0       → pass; no finding emitted for that probe
+ *   - Probe `sandbox: host`, exit ≠ 0     → fail (exit code + stdout/stderr tails)
+ *   - Probe `sandbox: host`, timed out    → fail (runtime-probe-timeout category)
+ *   - No storyContent on context          → warn (cannot verify without story text)
+ *
+ * Registered last in the canonical Tier A pipeline, after BuildCheck,
+ * because probes may depend on a successful build's output.
+ */
+import type { VerificationCheck, VerificationContext, VerificationResult } from '../types.js';
+import { type ProbeResult, type RuntimeProbe } from '../probes/index.js';
+/**
+ * Per-sandbox executors, injected via constructor so tests (and future
+ * twin integration in Phase 3) can swap implementations without touching
+ * the check's dispatch logic.
+ */
+export interface RuntimeProbeExecutors {
+    host: (probe: RuntimeProbe) => Promise<ProbeResult>;
+    /** Twin execution is deferred; the default returns undefined so the check
+     *  emits a `probe-deferred` warn finding. Phase 3 replaces this. */
+    twin?: (probe: RuntimeProbe) => Promise<ProbeResult> | undefined;
+}
+export declare class RuntimeProbeCheck implements VerificationCheck {
+    readonly name = "runtime-probes";
+    readonly tier: "A";
+    private readonly _executors;
+    constructor(executors?: Partial<RuntimeProbeExecutors>);
+    run(context: VerificationContext): Promise<VerificationResult>;
+}
+//# sourceMappingURL=runtime-probe-check.d.ts.map

package/dist/verification/checks/runtime-probe-check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-probe-check.d.ts","sourceRoot":"","sources":["../../../src/verification/checks/runtime-probe-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,KAAK,EACV,iBAAiB,EACjB,mBAAmB,EAEnB,kBAAkB,EACnB,MAAM,aAAa,CAAA;AAEpB,OAAO,EAGL,KAAK,WAAW,EAChB,KAAK,YAAY,EAClB,MAAM,oBAAoB,CAAA;AAgB3B;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,CAAC,KAAK,EAAE,YAAY,KAAK,OAAO,CAAC,WAAW,CAAC,CAAA;IACnD;wEACoE;IACpE,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,YAAY,KAAK,OAAO,CAAC,WAAW,CAAC,GAAG,SAAS,CAAA;CACjE;AAWD,qBAAa,iBAAkB,YAAW,iBAAiB;IACzD,QAAQ,CAAC,IAAI,oBAAmB;IAChC,QAAQ,CAAC,IAAI,EAAG,GAAG,CAAS;IAE5B,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAuB;gBAEtC,SAAS,CAAC,EAAE,OAAO,CAAC,qBAAqB,CAAC;IAOhD,GAAG,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,kBAAkB,CAAC;CAmHrE"}

package/dist/verification/checks/runtime-probe-check.js

@@ -0,0 +1,152 @@
+/**
+ * RuntimeProbeCheck — Epic 55 / Phase 2.
+ *
+ * Tier A verification check that parses and executes the author-declared
+ * runtime probes in a story's `## Runtime Probes` section. Each probe's
+ * outcome becomes a structured VerificationFinding, leveraging the
+ * Phase 1 persistence surface to flow through retry prompts, the run
+ * manifest, and post-run analysis without string-parsing.
+ *
+ * Architecture / scoring contract:
+ *
+ *   - No probes declared                  → pass (skip note finding array is empty)
+ *   - Probes declared, YAML invalid       → fail (one finding per parse error)
+ *   - Probe `sandbox: twin`               → warn (deferred until Phase 3)
+ *   - Probe `sandbox: host`, exit 0       → pass; no finding emitted for that probe
+ *   - Probe `sandbox: host`, exit ≠ 0     → fail (exit code + stdout/stderr tails)
+ *   - Probe `sandbox: host`, timed out    → fail (runtime-probe-timeout category)
+ *   - No storyContent on context          → warn (cannot verify without story text)
+ *
+ * Registered last in the canonical Tier A pipeline, after BuildCheck,
+ * because probes may depend on a successful build's output.
+ */
+import { renderFindings } from '../findings.js';
+import { parseRuntimeProbes, executeProbeOnHost, } from '../probes/index.js';
+// ---------------------------------------------------------------------------
+// Finding categories
+// ---------------------------------------------------------------------------
+const CATEGORY_PARSE = 'runtime-probe-parse-error';
+const CATEGORY_SKIP = 'runtime-probe-skip';
+const CATEGORY_DEFERRED = 'runtime-probe-deferred';
+const CATEGORY_FAIL = 'runtime-probe-fail';
+const CATEGORY_TIMEOUT = 'runtime-probe-timeout';
+const defaultExecutors = {
+    host: (probe) => executeProbeOnHost(probe, { cwd: process.cwd() }),
+    // twin intentionally omitted → RuntimeProbeCheck emits a warn finding
+};
+// ---------------------------------------------------------------------------
+// RuntimeProbeCheck
+// ---------------------------------------------------------------------------
+export class RuntimeProbeCheck {
+    name = 'runtime-probes';
+    tier = 'A';
+    _executors;
+    constructor(executors) {
+        this._executors = {
+            ...defaultExecutors,
+            ...(executors ?? {}),
+        };
+    }
+    async run(context) {
+        const start = Date.now();
+        // Story content is required to locate the `## Runtime Probes` section.
+        // Absence is treated as a warn so reviewers know the check could not
+        // make a decision, distinct from "present but no probes declared".
+        if (context.storyContent === undefined) {
+            const findings = [
+                {
+                    category: CATEGORY_SKIP,
+                    severity: 'warn',
+                    message: 'story content unavailable — skipping runtime probe check',
+                },
+            ];
+            return {
+                status: 'warn',
+                details: renderFindings(findings),
+                duration_ms: Date.now() - start,
+                findings,
+            };
+        }
+        const parsed = parseRuntimeProbes(context.storyContent);
+        if (parsed.kind === 'absent') {
+            return {
+                status: 'pass',
+                details: 'runtime-probes: no ## Runtime Probes section declared — skipping',
+                duration_ms: Date.now() - start,
+                findings: [],
+            };
+        }
+        if (parsed.kind === 'invalid') {
+            const findings = [
+                {
+                    category: CATEGORY_PARSE,
+                    severity: 'error',
+                    message: parsed.error,
+                },
+            ];
+            return {
+                status: 'fail',
+                details: renderFindings(findings),
+                duration_ms: Date.now() - start,
+                findings,
+            };
+        }
+        // kind === 'parsed'. Empty list is a valid author-declared state
+        // (e.g. they declared the section but intentionally zero probes yet);
+        // treat identically to `absent` for the verdict.
+        if (parsed.probes.length === 0) {
+            return {
+                status: 'pass',
+                details: 'runtime-probes: 0 probes declared — skipping',
+                duration_ms: Date.now() - start,
+                findings: [],
+            };
+        }
+        const findings = [];
+        for (const probe of parsed.probes) {
+            if (probe.sandbox === 'twin') {
+                findings.push({
+                    category: CATEGORY_DEFERRED,
+                    severity: 'warn',
+                    message: `probe "${probe.name}" uses sandbox=twin which is deferred until ` +
+                        `Phase 3 (Digital Twin integration); skipping`,
+                });
+                continue;
+            }
+            // sandbox === 'host'
+            const result = await this._executors.host(probe);
+            if (result.outcome === 'pass') {
+                continue;
+            }
+            const category = result.outcome === 'timeout' ? CATEGORY_TIMEOUT : CATEGORY_FAIL;
+            const descriptor = probe.description ? ` (${probe.description})` : '';
+            const message = result.outcome === 'timeout'
+                ? `probe "${probe.name}"${descriptor} timed out after ${result.durationMs}ms`
+                : `probe "${probe.name}"${descriptor} failed with exit ${result.exitCode ?? 'unknown'}`;
+            findings.push({
+                category,
+                severity: 'error',
+                message,
+                command: result.command,
+                ...(result.exitCode !== undefined ? { exitCode: result.exitCode } : {}),
+                stdoutTail: result.stdoutTail,
+                stderrTail: result.stderrTail,
+                durationMs: result.durationMs,
+            });
+        }
+        const status = findings.some((f) => f.severity === 'error')
+            ? 'fail'
+            : findings.some((f) => f.severity === 'warn')
+                ? 'warn'
+                : 'pass';
+        return {
+            status,
+            details: findings.length > 0
+                ? renderFindings(findings)
+                : `runtime-probes: ${parsed.probes.length} probe(s) passed`,
+            duration_ms: Date.now() - start,
+            findings,
+        };
+    }
+}
+//# sourceMappingURL=runtime-probe-check.js.map

package/dist/verification/checks/runtime-probe-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-probe-check.js","sourceRoot":"","sources":["../../../src/verification/checks/runtime-probe-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAQH,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAC/C,OAAO,EACL,kBAAkB,EAClB,kBAAkB,GAGnB,MAAM,oBAAoB,CAAA;AAE3B,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E,MAAM,cAAc,GAAG,2BAA2B,CAAA;AAClD,MAAM,aAAa,GAAG,oBAAoB,CAAA;AAC1C,MAAM,iBAAiB,GAAG,wBAAwB,CAAA;AAClD,MAAM,aAAa,GAAG,oBAAoB,CAAA;AAC1C,MAAM,gBAAgB,GAAG,uBAAuB,CAAA;AAkBhD,MAAM,gBAAgB,GAA0B;IAC9C,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC;IAClE,sEAAsE;CACvE,CAAA;AAED,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E,MAAM,OAAO,iBAAiB;IACnB,IAAI,GAAG,gBAAgB,CAAA;IACvB,IAAI,GAAG,GAAY,CAAA;IAEX,UAAU,CAAuB;IAElD,YAAY,SAA0C;QACpD,IAAI,CAAC,UAAU,GAAG;YAChB,GAAG,gBAAgB;YACnB,GAAG,CAAC,SAAS,IAAI,EAAE,CAAC;SACrB,CAAA;IACH,CAAC;IAED,KAAK,CAAC,GAAG,CAAC,OAA4B;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;QAExB,uEAAuE;QACvE,qEAAqE;QACrE,mEAAmE;QACnE,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;YACvC,MAAM,QAAQ,GAA0B;gBACtC;oBACE,QAAQ,EAAE,aAAa;oBACvB,QAAQ,EAAE,MAAM;oBAChB,OAAO,EAAE,0DAA0D;iBACpE;aACF,CAAA;YACD,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,cAAc,CAAC,QAAQ,CAAC;gBACjC,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;gBAC/B,QAAQ;aACT,CAAA;QACH,CAAC;QAED,MAAM,MAAM,GAAG,kBAAkB,CAAC,OAAO,CAAC,YAAY,CAAC,CAAA;QAEvD,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,kEAAkE;gBAC3E,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;gBAC/B,QAAQ,EAAE,EAAE;aACb,CAAA;QACH,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAA0B;gBACtC;oBACE,QAAQ,EAAE,cAAc;oBACxB,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,MAAM,CAAC,KAAK;iBACtB;aACF,CAAA;YACD,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,cAAc,CAAC,QAAQ,CAAC;gBACjC,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;gBAC/B,QAAQ;aACT,CAAA;QACH,CAAC;QAED,iEAAiE;QACjE,sEAAsE;QACtE,iDAAiD;QACjD,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/B,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,8CAA8C;gBACvD,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;gBAC/B,QAAQ,EAAE,EAAE;aACb,CAAA;QACH,CAAC;QAED,MAAM,QAAQ,GAA0B,EAAE,CAAA;QAC1C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAClC,IAAI,KAAK,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,iBAAiB;oBAC3B,QAAQ,EAAE,MAAM;oBAChB,OAAO,EACL,UAAU,KAAK,CAAC,IAAI,8CAA8C;wBAClE,8CAA8C;iBACjD,CAAC,CAAA;gBACF,SAAQ;YACV,CAAC;YAED,qBAAqB;YACrB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YAChD,IAAI,MAAM,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;gBAC9B,SAAQ;YACV,CAAC;YAED,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,aAAa,CAAA;YAChF,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,EAAE,CAAA;YACrE,MAAM,OAAO,GACX,MAAM,CAAC,OAAO,KAAK,SAAS;gBAC1B,CAAC,CAAC,UAAU,KAAK,CAAC,IAAI,IAAI,UAAU,oBAAoB,MAAM,CAAC,UAAU,IAAI;gBAC7E,CAAC,CAAC,UAAU,KAAK,CAAC,IAAI,IAAI,UAAU,qBAAqB,MAAM,CAAC,QAAQ,IAAI,SAAS,EAAE,CAAA;YAE3F,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ;gBACR,QAAQ,EAAE,OAAO;gBACjB,OAAO;gBACP,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvE,UAAU,EAAE,MAAM,CAAC,UAAU;gBAC7B,UAAU,EAAE,MAAM,CAAC,UAAU;gBAC7B,UAAU,EAAE,MAAM,CAAC,UAAU;aAC9B,CAAC,CAAA;QACJ,CAAC;QAED,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC;YACzD,CAAC,CAAC,MAAM;YACR,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC;gBAC3C,CAAC,CAAC,MAAM;gBACR,CAAC,CAAC,MAAM,CAAA;QAEZ,OAAO;YACL,MAAM;YACN,OAAO,EACL,QAAQ,CAAC,MAAM,GAAG,CAAC;gBACjB,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC;gBAC1B,CAAC,CAAC,mBAAmB,MAAM,CAAC,MAAM,CAAC,MAAM,kBAAkB;YAC/D,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;YAC/B,QAAQ;SACT,CAAA;IACH,CAAC;CACF"}

package/dist/verification/checks/trivial-output-check.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"trivial-output-check.d.ts","sourceRoot":"","sources":["../../../src/verification/checks/trivial-output-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EACV,iBAAiB,EACjB,mBAAmB,EACnB,kBAAkB,EACnB,MAAM,aAAa,CAAA;AAMpB;;;GAGG;AACH,eAAO,MAAM,gCAAgC,MAAM,CAAA;AAMnD;;;;GAIG;AACH,MAAM,WAAW,wBAAwB;IACvC,sBAAsB,CAAC,EAAE,MAAM,CAAA;CAChC;AAMD;;;;;;;;;;;GAWG;AACH,qBAAa,kBAAmB,YAAW,iBAAiB;IAC1D,QAAQ,CAAC,IAAI,oBAAmB;IAChC,QAAQ,CAAC,IAAI,EAAG,GAAG,CAAS;IAE5B,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAQ;gBAEtB,MAAM,CAAC,EAAE,wBAAwB;IAIvC,GAAG,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,kBAAkB,CAAC;CAgCrE"}
+{"version":3,"file":"trivial-output-check.d.ts","sourceRoot":"","sources":["../../../src/verification/checks/trivial-output-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EACV,iBAAiB,EACjB,mBAAmB,EAEnB,kBAAkB,EACnB,MAAM,aAAa,CAAA;AAOpB;;;GAGG;AACH,eAAO,MAAM,gCAAgC,MAAM,CAAA;AAMnD;;;;GAIG;AACH,MAAM,WAAW,wBAAwB;IACvC,sBAAsB,CAAC,EAAE,MAAM,CAAA;CAChC;AAMD;;;;;;;;;;;GAWG;AACH,qBAAa,kBAAmB,YAAW,iBAAiB;IAC1D,QAAQ,CAAC,IAAI,oBAAmB;IAChC,QAAQ,CAAC,IAAI,EAAG,GAAG,CAAS;IAE5B,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAQ;gBAEtB,MAAM,CAAC,EAAE,wBAAwB;IAIvC,GAAG,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,kBAAkB,CAAC;CAiDrE"}

package/dist/verification/checks/trivial-output-check.js

@@ -11,6 +11,7 @@
  * - No shell invocations — pure in-process computation.
  * - Runs in Tier A: before BuildCheck, after PhantomReviewCheck.
  */
+import { renderFindings } from '../findings.js';
 // ---------------------------------------------------------------------------
 // Default threshold
 // ---------------------------------------------------------------------------
@@ -45,20 +46,36 @@ export class TrivialOutputCheck {
         const start = Date.now();
         // AC5: missing token data → warn, not fail
         if (context.outputTokenCount === undefined) {
+            const findings = [
+                {
+                    category: 'trivial-output',
+                    severity: 'warn',
+                    message: 'output token count unavailable — skipping check',
+                },
+            ];
             return {
                 status: 'warn',
-                details: 'trivial-output: output token count unavailable — skipping check',
+                details: renderFindings(findings),
                 duration_ms: Date.now() - start,
+                findings,
             };
         }
         const count = context.outputTokenCount;
         // AC1 + AC2: below threshold → fail with actionable message
         if (count < this.threshold) {
+            const findings = [
+                {
+                    category: 'trivial-output',
+                    severity: 'error',
+                    message: `output token count ${count} is below threshold ${this.threshold}` +
+                        ` — Re-run with increased maxTurns`,
+                },
+            ];
             return {
                 status: 'fail',
-                details: `trivial-output: output token count ${count} is below threshold ${this.threshold}` +
-                    ` — Re-run with increased maxTurns`,
+                details: renderFindings(findings),
                 duration_ms: Date.now() - start,
+                findings,
             };
         }
         // AC3: at or above threshold → pass
@@ -66,6 +83,7 @@ export class TrivialOutputCheck {
             status: 'pass',
             details: `output token count ${count} meets threshold ${this.threshold}`,
             duration_ms: Date.now() - start,
+            findings: [],
         };
     }
 }

package/dist/verification/checks/trivial-output-check.js.map

@@ -1 +1 @@
-{"version":3,"file":"trivial-output-check.js","sourceRoot":"","sources":["../../../src/verification/checks/trivial-output-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAQH,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E;;;GAGG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAG,GAAG,CAAA;AAenD,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E;;;;;;;;;;;GAWG;AACH,MAAM,OAAO,kBAAkB;IACpB,IAAI,GAAG,gBAAgB,CAAA;IACvB,IAAI,GAAG,GAAY,CAAA;IAEX,SAAS,CAAQ;IAElC,YAAY,MAAiC;QAC3C,IAAI,CAAC,SAAS,GAAG,MAAM,EAAE,sBAAsB,IAAI,gCAAgC,CAAA;IACrF,CAAC;IAED,KAAK,CAAC,GAAG,CAAC,OAA4B;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;QAExB,2CAA2C;QAC3C,IAAI,OAAO,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;YAC3C,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,iEAAiE;gBAC1E,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAChC,CAAA;QACH,CAAC;QAED,MAAM,KAAK,GAAG,OAAO,CAAC,gBAAgB,CAAA;QAEtC,4DAA4D;QAC5D,IAAI,KAAK,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;YAC3B,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,OAAO,EACL,sCAAsC,KAAK,uBAAuB,IAAI,CAAC,SAAS,EAAE;oBAClF,mCAAmC;gBACrC,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAChC,CAAA;QACH,CAAC;QAED,oCAAoC;QACpC,OAAO;YACL,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,sBAAsB,KAAK,oBAAoB,IAAI,CAAC,SAAS,EAAE;YACxE,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;SAChC,CAAA;IACH,CAAC;CACF"}
+{"version":3,"file":"trivial-output-check.js","sourceRoot":"","sources":["../../../src/verification/checks/trivial-output-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAQH,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAE/C,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E;;;GAGG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAG,GAAG,CAAA;AAenD,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E;;;;;;;;;;;GAWG;AACH,MAAM,OAAO,kBAAkB;IACpB,IAAI,GAAG,gBAAgB,CAAA;IACvB,IAAI,GAAG,GAAY,CAAA;IAEX,SAAS,CAAQ;IAElC,YAAY,MAAiC;QAC3C,IAAI,CAAC,SAAS,GAAG,MAAM,EAAE,sBAAsB,IAAI,gCAAgC,CAAA;IACrF,CAAC;IAED,KAAK,CAAC,GAAG,CAAC,OAA4B;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;QAExB,2CAA2C;QAC3C,IAAI,OAAO,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;YAC3C,MAAM,QAAQ,GAA0B;gBACtC;oBACE,QAAQ,EAAE,gBAAgB;oBAC1B,QAAQ,EAAE,MAAM;oBAChB,OAAO,EAAE,iDAAiD;iBAC3D;aACF,CAAA;YACD,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,cAAc,CAAC,QAAQ,CAAC;gBACjC,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;gBAC/B,QAAQ;aACT,CAAA;QACH,CAAC;QAED,MAAM,KAAK,GAAG,OAAO,CAAC,gBAAgB,CAAA;QAEtC,4DAA4D;QAC5D,IAAI,KAAK,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;YAC3B,MAAM,QAAQ,GAA0B;gBACtC;oBACE,QAAQ,EAAE,gBAAgB;oBAC1B,QAAQ,EAAE,OAAO;oBACjB,OAAO,EACL,sBAAsB,KAAK,uBAAuB,IAAI,CAAC,SAAS,EAAE;wBAClE,mCAAmC;iBACtC;aACF,CAAA;YACD,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,cAAc,CAAC,QAAQ,CAAC;gBACjC,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;gBAC/B,QAAQ;aACT,CAAA;QACH,CAAC;QAED,oCAAoC;QACpC,OAAO;YACL,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,sBAAsB,KAAK,oBAAoB,IAAI,CAAC,SAAS,EAAE;YACxE,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;YAC/B,QAAQ,EAAE,EAAE;SACb,CAAA;IACH,CAAC;CACF"}

package/dist/verification/findings.d.ts

@@ -0,0 +1,61 @@
+/**
+ * VerificationFinding — structured per-issue payload emitted by verification checks.
+ *
+ * Replaces the ad-hoc "stuff everything into VerificationResult.details" pattern
+ * that preceded it: every downstream consumer (retry prompts, run manifest,
+ * post-run analysis) used to string-parse a free-form blob that the emitting
+ * check never promised a schema for. With findings, each issue is an
+ * addressable record the pipeline can act on individually.
+ *
+ * The {command, exitCode, stdoutTail, stderrTail} optional fields are reserved
+ * primarily for Phase 2 runtime probes — they cost nothing on the current four
+ * Tier A checks (which leave them undefined) but let probe output flow through
+ * the same shape without a second refactor.
+ */
+/**
+ * Severity of a single verification finding.
+ *
+ * - `error` → verification check returns `fail` (the aggregate status of the
+ *   containing VerificationResult is `fail`).
+ * - `warn`  → verification check returns `warn`.
+ * - `info`  → a finding captured for diagnostic/telemetry purposes that does
+ *   not itself raise the containing VerificationResult's status.
+ */
+export type VerificationFindingSeverity = 'error' | 'warn' | 'info';
+/**
+ * One structured issue emitted by a verification check.
+ *
+ * `category` is the stable machine-readable identifier consumers filter/group
+ * on (e.g. `'build-error'`, `'ac-missing-evidence'`, `'phantom-review'`,
+ * `'trivial-output'`). New categories should be introduced alongside the
+ * check that emits them.
+ */
+export interface VerificationFinding {
+    /** Stable machine-readable category (e.g. `'build-error'`). */
+    category: string;
+    /** Severity classification for aggregate-status computation. */
+    severity: VerificationFindingSeverity;
+    /** Single-line human-readable summary. */
+    message: string;
+    /** The command that produced this finding, if any. Reserved primarily for Phase 2 runtime probes. */
+    command?: string;
+    /** Exit status of `command`, if applicable. */
+    exitCode?: number;
+    /** Last ≤ 4 KiB of stdout from `command`, if captured. */
+    stdoutTail?: string;
+    /** Last ≤ 4 KiB of stderr from `command`, if captured. */
+    stderrTail?: string;
+    /** Wall-clock milliseconds the producing action took. */
+    durationMs?: number;
+}
+/**
+ * Render a list of findings into the multi-line human-readable string that
+ * populates VerificationResult.details. One line per finding:
+ *
+ *   `${PREFIX} [${category}] ${message}`
+ *
+ * Checks that migrate to the findings-first pattern call this helper to derive
+ * `details` from the findings they emit, guaranteeing the two stay in sync.
+ */
+export declare function renderFindings(findings: VerificationFinding[]): string;
+//# sourceMappingURL=findings.d.ts.map

package/dist/verification/findings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"findings.d.ts","sourceRoot":"","sources":["../../src/verification/findings.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAMH;;;;;;;;GAQG;AACH,MAAM,MAAM,2BAA2B,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,CAAA;AAEnE;;;;;;;GAOG;AACH,MAAM,WAAW,mBAAmB;IAClC,+DAA+D;IAC/D,QAAQ,EAAE,MAAM,CAAA;IAChB,gEAAgE;IAChE,QAAQ,EAAE,2BAA2B,CAAA;IACrC,0CAA0C;IAC1C,OAAO,EAAE,MAAM,CAAA;IACf,qGAAqG;IACrG,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,+CAA+C;IAC/C,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,0DAA0D;IAC1D,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,0DAA0D;IAC1D,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,yDAAyD;IACzD,UAAU,CAAC,EAAE,MAAM,CAAA;CACpB;AAYD;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,mBAAmB,EAAE,GAAG,MAAM,CAKtE"}

package/dist/verification/findings.js

@@ -0,0 +1,39 @@
+/**
+ * VerificationFinding — structured per-issue payload emitted by verification checks.
+ *
+ * Replaces the ad-hoc "stuff everything into VerificationResult.details" pattern
+ * that preceded it: every downstream consumer (retry prompts, run manifest,
+ * post-run analysis) used to string-parse a free-form blob that the emitting
+ * check never promised a schema for. With findings, each issue is an
+ * addressable record the pipeline can act on individually.
+ *
+ * The {command, exitCode, stdoutTail, stderrTail} optional fields are reserved
+ * primarily for Phase 2 runtime probes — they cost nothing on the current four
+ * Tier A checks (which leave them undefined) but let probe output flow through
+ * the same shape without a second refactor.
+ */
+// ---------------------------------------------------------------------------
+// Rendering
+// ---------------------------------------------------------------------------
+const SEVERITY_PREFIX = {
+    error: 'ERROR',
+    warn: 'WARN',
+    info: 'INFO',
+};
+/**
+ * Render a list of findings into the multi-line human-readable string that
+ * populates VerificationResult.details. One line per finding:
+ *
+ *   `${PREFIX} [${category}] ${message}`
+ *
+ * Checks that migrate to the findings-first pattern call this helper to derive
+ * `details` from the findings they emit, guaranteeing the two stay in sync.
+ */
+export function renderFindings(findings) {
+    if (findings.length === 0)
+        return '';
+    return findings
+        .map((f) => `${SEVERITY_PREFIX[f.severity]} [${f.category}] ${f.message}`)
+        .join('\n');
+}
+//# sourceMappingURL=findings.js.map

package/dist/verification/findings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"findings.js","sourceRoot":"","sources":["../../src/verification/findings.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AA4CH,8EAA8E;AAC9E,YAAY;AACZ,8EAA8E;AAE9E,MAAM,eAAe,GAAgD;IACnE,KAAK,EAAE,OAAO;IACd,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,MAAM;CACb,CAAA;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,cAAc,CAAC,QAA+B;IAC5D,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IACpC,OAAO,QAAQ;SACZ,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;SACzE,IAAI,CAAC,IAAI,CAAC,CAAA;AACf,CAAC"}

package/dist/verification/index.d.ts

@@ -5,7 +5,12 @@
  * and concrete check implementations.
  */
 export { VerificationPipeline, createDefaultVerificationPipeline } from './verification-pipeline.js';
-export type { VerificationCheck, VerificationContext, VerificationResult, VerificationCheckResult, VerificationSummary, ReviewSignals, DevStorySignals, } from './types.js';
+export type { VerificationCheck, VerificationContext, VerificationResult, VerificationCheckResult, VerificationSummary, ReviewSignals, DevStorySignals, VerificationFinding, VerificationFindingSeverity, } from './types.js';
+export { renderFindings } from './findings.js';
+export { RuntimeProbeCheck } from './checks/runtime-probe-check.js';
+export type { RuntimeProbeExecutors } from './checks/runtime-probe-check.js';
+export { DEFAULT_PROBE_TIMEOUT_MS, PROBE_TAIL_BYTES, RuntimeProbeListSchema, RuntimeProbeSandboxSchema, RuntimeProbeSchema, parseRuntimeProbes, executeProbeOnHost, } from './probes/index.js';
+export type { HostExecuteOptions, ProbeResult, RuntimeProbe, RuntimeProbeParseResult, RuntimeProbeSandbox, } from './probes/index.js';
 export { PhantomReviewCheck } from './checks/index.js';
 export { TrivialOutputCheck, DEFAULT_TRIVIAL_OUTPUT_THRESHOLD } from './checks/index.js';
 export { AcceptanceCriteriaEvidenceCheck, extractAcceptanceCriteriaIds } from './checks/index.js';

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/verification/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,oBAAoB,EAAE,iCAAiC,EAAE,MAAM,4BAA4B,CAAA;AACpG,YAAY,EACV,iBAAiB,EACjB,mBAAmB,EACnB,kBAAkB,EAClB,uBAAuB,EACvB,mBAAmB,EACnB,aAAa,EACb,eAAe,GAChB,MAAM,YAAY,CAAA;AAEnB,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAA;AACtD,OAAO,EAAE,kBAAkB,EAAE,gCAAgC,EAAE,MAAM,mBAAmB,CAAA;AACxF,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAA;AACjG,OAAO,EAAE,UAAU,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/verification/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,oBAAoB,EAAE,iCAAiC,EAAE,MAAM,4BAA4B,CAAA;AACpG,YAAY,EACV,iBAAiB,EACjB,mBAAmB,EACnB,kBAAkB,EAClB,uBAAuB,EACvB,mBAAmB,EACnB,aAAa,EACb,eAAe,EACf,mBAAmB,EACnB,2BAA2B,GAC5B,MAAM,YAAY,CAAA;AACnB,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAG9C,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAA;AACnE,YAAY,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAA;AAC5E,OAAO,EACL,wBAAwB,EACxB,gBAAgB,EAChB,sBAAsB,EACtB,yBAAyB,EACzB,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,GACnB,MAAM,mBAAmB,CAAA;AAC1B,YAAY,EACV,kBAAkB,EAClB,WAAW,EACX,YAAY,EACZ,uBAAuB,EACvB,mBAAmB,GACpB,MAAM,mBAAmB,CAAA;AAE1B,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAA;AACtD,OAAO,EAAE,kBAAkB,EAAE,gCAAgC,EAAE,MAAM,mBAAmB,CAAA;AACxF,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAA;AACjG,OAAO,EAAE,UAAU,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAA"}

package/dist/verification/index.js

@@ -5,6 +5,10 @@
  * and concrete check implementations.
  */
 export { VerificationPipeline, createDefaultVerificationPipeline } from './verification-pipeline.js';
+export { renderFindings } from './findings.js';
+// Epic 55 Phase 2 — Runtime probe support.
+export { RuntimeProbeCheck } from './checks/runtime-probe-check.js';
+export { DEFAULT_PROBE_TIMEOUT_MS, PROBE_TAIL_BYTES, RuntimeProbeListSchema, RuntimeProbeSandboxSchema, RuntimeProbeSchema, parseRuntimeProbes, executeProbeOnHost, } from './probes/index.js';
 // Concrete check implementations (story 51-2+)
 export { PhantomReviewCheck } from './checks/index.js';
 export { TrivialOutputCheck, DEFAULT_TRIVIAL_OUTPUT_THRESHOLD } from './checks/index.js';

package/dist/verification/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/verification/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,oBAAoB,EAAE,iCAAiC,EAAE,MAAM,4BAA4B,CAAA;AAUpG,+CAA+C;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAA;AACtD,OAAO,EAAE,kBAAkB,EAAE,gCAAgC,EAAE,MAAM,mBAAmB,CAAA;AACxF,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAA;AACjG,OAAO,EAAE,UAAU,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/verification/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,oBAAoB,EAAE,iCAAiC,EAAE,MAAM,4BAA4B,CAAA;AAYpG,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAE9C,2CAA2C;AAC3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAA;AAEnE,OAAO,EACL,wBAAwB,EACxB,gBAAgB,EAChB,sBAAsB,EACtB,yBAAyB,EACzB,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,GACnB,MAAM,mBAAmB,CAAA;AAQ1B,+CAA+C;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAA;AACtD,OAAO,EAAE,kBAAkB,EAAE,gCAAgC,EAAE,MAAM,mBAAmB,CAAA;AACxF,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAA;AACjG,OAAO,EAAE,UAAU,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAA"}

package/dist/verification/probes/executor.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Host-sandbox probe executor — Epic 55 / Phase 2.
+ *
+ * Runs one runtime probe directly on the operator machine via a detached
+ * shell process, with stream-separated capture and a hard timeout that
+ * terminates the entire process group. Same safety posture as BuildCheck —
+ * specifically the detached-process-group + SIGKILL-on-timeout pattern —
+ * so probe execution cannot orphan long-running descendants.
+ *
+ * Twin-sandbox execution is **deferred to Phase 3** (Digital Twin
+ * integration). RuntimeProbeCheck handles the `sandbox: twin` case itself
+ * without routing through this module.
+ */
+import { type ProbeResult, type RuntimeProbe } from './types.js';
+/** Options for host execution. Injected primarily to make tests deterministic. */
+export interface HostExecuteOptions {
+    /** Working directory for the spawned shell. Defaults to process.cwd(). */
+    cwd?: string;
+    /** Environment override. Defaults to the parent process's env. */
+    env?: NodeJS.ProcessEnv;
+}
+/**
+ * Execute one probe on the host and return a structured ProbeResult.
+ *
+ * Behavior notes:
+ *   - The shell used is `/bin/sh -c '<probe.command>'` inside a detached
+ *     process group (so the entire tree is killed on timeout).
+ *   - stdout and stderr are captured independently; each is returned
+ *     tailed to PROBE_TAIL_BYTES (≤ 4 KiB) so published tarballs of the
+ *     run manifest stay small.
+ *   - Timeout defaults to `probe.timeout_ms ?? DEFAULT_PROBE_TIMEOUT_MS`
+ *     (60 s). When the timeout fires, the process group is SIGKILL'd and
+ *     the returned result has `outcome: 'timeout'`, `exitCode` undefined.
+ *   - Never throws. Spawn errors (e.g. exec format error) are returned as
+ *     `outcome: 'fail'` with exitCode -1 and the error message captured on
+ *     stderrTail, so the caller can emit a deterministic finding.
+ */
+export declare function executeProbeOnHost(probe: RuntimeProbe, options?: HostExecuteOptions): Promise<ProbeResult>;
+//# sourceMappingURL=executor.d.ts.map

package/dist/verification/probes/executor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"executor.d.ts","sourceRoot":"","sources":["../../../src/verification/probes/executor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAGL,KAAK,WAAW,EAChB,KAAK,YAAY,EAClB,MAAM,YAAY,CAAA;AAenB,kFAAkF;AAClF,MAAM,WAAW,kBAAkB;IACjC,0EAA0E;IAC1E,GAAG,CAAC,EAAE,MAAM,CAAA;IACZ,kEAAkE;IAClE,GAAG,CAAC,EAAE,MAAM,CAAC,UAAU,CAAA;CACxB;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,YAAY,EACnB,OAAO,GAAE,kBAAuB,GAC/B,OAAO,CAAC,WAAW,CAAC,CA0EtB"}