@itsthelore/proofkeeper 2026.6.0

package/dist/qa/run-qa.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-qa.d.ts","sourceRoot":"","sources":["../../src/qa/run-qa.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,EAAmB,KAAK,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAChF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAErD,OAAO,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC5D,OAAO,EAAgB,KAAK,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACtE,OAAO,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEnE,OAAO,KAAK,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AACnF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAE1D;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,CAAC,EAAE,MAAM,GAAG,kBAAkB,CAcxF;AAED,mFAAmF;AACnF,wBAAgB,WAAW,CAAC,UAAU,EAAE,kBAAkB,GAAG,MAAM,CAKlE;AAED,MAAM,WAAW,MAAM;IACrB;;;OAGG;IACH,KAAK,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IACnD,QAAQ,EAAE,QAAQ,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,gFAAgF;IAChF,QAAQ,CAAC,EAAE,iBAAiB,CAAC;IAC7B,kFAAkF;IAClF,QAAQ,CAAC,EAAE,aAAa,CAAC;CAC1B;AAED,MAAM,WAAW,SAAS;IACxB,gEAAgE;IAChE,KAAK,EAAE,KAAK,CAAC;IACb,oEAAoE;IACpE,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,wDAAwD;IACxD,QAAQ,EAAE,MAAM,CAAC;IACjB,2DAA2D;IAC3D,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,6DAA6D;IAC7D,MAAM,EAAE,SAAS,CAAC;IAClB,yDAAyD;IACzD,CAAC,EAAE,MAAM,CAAC;IACV,2CAA2C;IAC3C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,oEAAoE;IACpE,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,gFAAgF;IAChF,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,4EAA4E;IAC5E,OAAO,CAAC,EAAE;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,UAAU,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CACvD;AAED,MAAM,WAAW,QAAQ;IACvB,UAAU,EAAE,kBAAkB,CAAC;IAC/B,KAAK,EAAE,WAAW,CAAC;IACnB,IAAI,EAAE,eAAe,CAAC;IACtB,2DAA2D;IAC3D,QAAQ,EAAE,OAAO,CAAC;IAClB,kFAAkF;IAClF,SAAS,CAAC,EAAE,eAAe,CAAC;CAC7B;AAED;;;;GAIG;AACH,wBAAsB,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,GAAG,OAAO,CAAC,QAAQ,CAAC,CA+D/E"}

package/dist/qa/run-qa.js

@@ -0,0 +1,106 @@
+/**
+ * The QA loop behind one command — Proofkeeper's autonomous-QA spine.
+ *
+ * It wires the already-real pieces into a single autonomous pass: pick an
+ * unverified capability from the coverage read-model (Initiative 1), drive the
+ * product to record a session (Initiative 2), compile it and gate it on
+ * fidelity, then run the accepted test (Initiatives 3–4), and — only if it is
+ * stable and a proposer is wired — propose the `## Verified By` write-back as a
+ * human-reviewed pull request (Initiative 5).
+ *
+ * The drive is injected as a {@link QaDeps.drive} seam, not constructed here: a
+ * browser-backed driver supplies it at the CLI, a scripted double supplies it in
+ * tests. That keeps this orchestrator pure of any browser or model dependency
+ * and unit-testable end to end.
+ */
+import { computeCoverage } from "../coverage/model.js";
+import { summarizeSession } from "../compiler/summary.js";
+import { runAgentLoop } from "../agent/loop.js";
+import { linksFromResults } from "../writeback/proposal.js";
+/**
+ * Pick the capability to verify: the named one if given (verified or not — a
+ * re-verify is allowed), otherwise the first unverified capability.
+ *
+ * @throws when a named capability is absent, or when nothing is unverified and
+ *   no capability was named.
+ */
+export function selectCapability(graph, capabilityId) {
+    const report = computeCoverage(graph);
+    if (capabilityId) {
+        const found = [...report.verified, ...report.unverified].find((c) => c.id === capabilityId);
+        if (!found) {
+            throw new Error(`capability '${capabilityId}' is not a requirement node in the graph`);
+        }
+        return found;
+    }
+    const next = report.unverified[0];
+    if (!next) {
+        throw new Error("every capability is already verified — nothing to drive");
+    }
+    return next;
+}
+/** A default goal derived from the capability, used when the caller gives none. */
+export function defaultGoal(capability) {
+    return (`Drive the product to verify the capability "${capability.title}" (${capability.id}). ` +
+        "Exercise its primary end-to-end flow and assert every observable outcome.");
+}
+/**
+ * Run the full QA loop for one capability: select → drive → compile → fidelity →
+ * run → (optional) propose. Returns the outcome; never throws on an unstable
+ * test (that is a verdict, surfaced in {@link QaResult.verified}).
+ */
+export async function runQa(deps, options) {
+    const capability = selectCapability(options.graph, options.capabilityId);
+    const baseGoal = options.goal ?? defaultGoal(capability);
+    const goal = options.goalContext ? `${baseGoal} ${options.goalContext}` : baseGoal;
+    // Feed reasons from earlier failed attempts into the drive (failure-learning).
+    const prior = deps.learning ? await deps.learning.priorFailures(capability.id) : [];
+    const driveOptions = {
+        capabilityId: capability.id,
+        title: `verify ${capability.title}`,
+        startUrl: options.startUrl,
+        goal,
+        ...(options.maxSteps !== undefined ? { maxSteps: options.maxSteps } : {}),
+        ...(prior.length > 0 ? { priorFailures: prior.map((f) => f.reason) } : {}),
+        ...(options.plan ? { plan: true } : {}),
+    };
+    const drive = await deps.drive(driveOptions);
+    const loop = await runAgentLoop({ compiler: deps.compiler, runner: deps.runner }, {
+        session: drive.session,
+        fidelity: { n: options.n, target: options.target },
+        runTargets: [options.target],
+    });
+    const verified = loop.verdict.stable;
+    const result = { capability, drive, loop, verified };
+    // Propose the write-back only for a stable test (ADR-065: a human reviews it).
+    // The proposal carries the readable step summary so a reviewer can read the
+    // driven flow without opening the trace.
+    if (verified && deps.proposer && options.propose) {
+        result.writeBack = await deps.proposer.propose({
+            capabilityId: capability.id,
+            targetPath: options.propose.targetPath,
+            links: linksFromResults(loop.candidate, loop.runResults),
+            steps: summarizeSession(drive.session),
+            ...(drive.session.plan !== undefined ? { plan: drive.session.plan } : {}),
+            ...(options.propose.baseBranch !== undefined ? { baseBranch: options.propose.baseBranch } : {}),
+            fidelity: {
+                attempts: loop.verdict.attempts,
+                passed: loop.verdict.passed,
+                stable: loop.verdict.stable,
+            },
+        });
+    }
+    // Remember a failure so the next attempt avoids it (failure-learning).
+    if (deps.learning && (!verified || !drive.finished)) {
+        await deps.learning.recordFailure({
+            capabilityId: capability.id,
+            goal,
+            reason: !drive.finished
+                ? `drive did not finish within the step budget (${drive.steps} steps)`
+                : `compiled test was unstable: ${loop.verdict.passed}/${loop.verdict.attempts} re-runs green`,
+            steps: drive.steps,
+        });
+    }
+    return result;
+}
+//# sourceMappingURL=run-qa.js.map

package/dist/qa/run-qa.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-qa.js","sourceRoot":"","sources":["../../src/qa/run-qa.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAGH,OAAO,EAAE,eAAe,EAA2B,MAAM,sBAAsB,CAAC;AAEhF,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE1D,OAAO,EAAE,YAAY,EAAwB,MAAM,kBAAkB,CAAC;AAEtE,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAI5D;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAY,EAAE,YAAqB;IAClE,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IACtC,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,KAAK,GAAG,CAAC,GAAG,MAAM,CAAC,QAAQ,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,YAAY,CAAC,CAAC;QAC5F,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,eAAe,YAAY,0CAA0C,CAAC,CAAC;QACzF,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAClC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,WAAW,CAAC,UAA8B;IACxD,OAAO,CACL,+CAA+C,UAAU,CAAC,KAAK,MAAM,UAAU,CAAC,EAAE,KAAK;QACvF,2EAA2E,CAC5E,CAAC;AACJ,CAAC;AAiDD;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,KAAK,CAAC,IAAY,EAAE,OAAkB;IAC1D,MAAM,UAAU,GAAG,gBAAgB,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,IAAI,WAAW,CAAC,UAAU,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,QAAQ,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;IAEnF,+EAA+E;IAC/E,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAEpF,MAAM,YAAY,GAAiB;QACjC,YAAY,EAAE,UAAU,CAAC,EAAE;QAC3B,KAAK,EAAE,UAAU,UAAU,CAAC,KAAK,EAAE;QACnC,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,IAAI;QACJ,GAAG,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzE,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxC,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAE7C,MAAM,IAAI,GAAG,MAAM,YAAY,CAC7B,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,EAChD;QACE,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,QAAQ,EAAE,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE;QAClD,UAAU,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC;KAC7B,CACF,CAAC;IAEF,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;IACrC,MAAM,MAAM,GAAa,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAE/D,+EAA+E;IAC/E,4EAA4E;IAC5E,yCAAyC;IACzC,IAAI,QAAQ,IAAI,IAAI,CAAC,QAAQ,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACjD,MAAM,CAAC,SAAS,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;YAC7C,YAAY,EAAE,UAAU,CAAC,EAAE;YAC3B,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,UAAU;YACtC,KAAK,EAAE,gBAAgB,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,UAAU,CAAC;YACxD,KAAK,EAAE,gBAAgB,CAAC,KAAK,CAAC,OAAO,CAAC;YACtC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzE,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/F,QAAQ,EAAE;gBACR,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ;gBAC/B,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM;gBAC3B,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM;aAC5B;SACF,CAAC,CAAC;IACL,CAAC;IAED,uEAAuE;IACvE,IAAI,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC;YAChC,YAAY,EAAE,UAAU,CAAC,EAAE;YAC3B,IAAI;YACJ,MAAM,EAAE,CAAC,KAAK,CAAC,QAAQ;gBACrB,CAAC,CAAC,gDAAgD,KAAK,CAAC,KAAK,SAAS;gBACtE,CAAC,CAAC,+BAA+B,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,gBAAgB;YAC/F,KAAK,EAAE,KAAK,CAAC,KAAK;SACnB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/qa/run-scoped.d.ts

@@ -0,0 +1,82 @@
+/**
+ * PR-triggered QA — drive every unverified capability a change touched.
+ *
+ * Built on the Phase-1 {@link runQa} loop: scope the change to capabilities
+ * ({@link scopeCapabilities}), then drive each one that still lacks a verifying
+ * test, proposing a write-back when the capability declares its corpus artifact.
+ * Capabilities are driven **concurrently** with a bounded pool, each isolated in
+ * its own browser context, compiler output directory, and runner output
+ * directory (Ranger's context-isolated sub-agent lesson). Results stay in scoped
+ * order. The caller posts the summary to the feature pull request.
+ */
+import { type QaDeps, type QaResult } from "./run-qa.js";
+import type { Graph } from "../coverage/graph.js";
+import type { Compiler } from "../compiler/types.js";
+import type { Runner } from "../runner/types.js";
+import type { WriteBackProposer } from "../writeback/proposer.js";
+import type { LearningStore } from "../learning/store.js";
+import { type ProofkeeperConfig } from "../scope/config.js";
+import { type ScopedCapability, type ScopeResult } from "../scope/diff-scope.js";
+/** Default capabilities driven at once — conservative to bound browser/runner load. */
+export declare const DEFAULT_SCOPED_CONCURRENCY = 3;
+/**
+ * Dependencies for scoped QA. The compiler and runner are minted **per
+ * capability** so concurrent drives write to isolated directories; the drive
+ * seam already isolates the browser context per call.
+ */
+export interface ScopedQaDeps {
+    drive: QaDeps["drive"];
+    /** Mint a compiler whose output directory is isolated to this capability. */
+    makeCompiler(capabilityId: string): Compiler;
+    /** Mint a runner whose output directory is isolated to this capability. */
+    makeRunner(capabilityId: string): Runner;
+    proposer?: WriteBackProposer;
+    learning?: LearningStore;
+}
+export interface ScopedQaOptions {
+    graph: Graph;
+    config: ProofkeeperConfig;
+    /** The files the pull request changed. */
+    changedPaths: string[];
+    /** Run-target name; each capability runs against its own start URL. */
+    targetName: string;
+    /** Start URL used when a capability config declares none. */
+    defaultUrl?: string;
+    /** Fidelity re-run count. */
+    n: number;
+    maxSteps?: number;
+    /** When set, the drive emits a Markdown test plan before acting. */
+    plan?: boolean;
+    /** Max capabilities driven at once. Defaults to {@link DEFAULT_SCOPED_CONCURRENCY}. */
+    concurrency?: number;
+    /** When set, propose a write-back for capabilities that declare an `artifact`. */
+    propose?: {
+        baseBranch?: string;
+    };
+}
+export interface ScopedCapabilityResult {
+    capability: ScopedCapability;
+    /** Present when the capability was driven. */
+    result?: QaResult;
+    /** Present when the capability could not be driven (e.g. no start URL). */
+    error?: string;
+}
+export interface ScopedQaResult {
+    scope: ScopeResult;
+    /** One entry per unverified scoped capability, in scoped order. */
+    driven: ScopedCapabilityResult[];
+}
+/** A capability's recorded failure reasons, for the suggest-in-report strategy. */
+export interface FailureSuggestion {
+    id: string;
+    title: string;
+    reasons: string[];
+}
+/**
+ * Collect recorded failure reasons for each driven capability that failed or
+ * could not be driven, from the learning store — the `suggest_in_report`
+ * failure-learning strategy's source. Pure over the store (no drive).
+ */
+export declare function collectFailureSuggestions(result: ScopedQaResult, learning: LearningStore): Promise<FailureSuggestion[]>;
+export declare function runScopedQa(deps: ScopedQaDeps, options: ScopedQaOptions): Promise<ScopedQaResult>;
+//# sourceMappingURL=run-scoped.d.ts.map

package/dist/qa/run-scoped.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-scoped.d.ts","sourceRoot":"","sources":["../../src/qa/run-scoped.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAS,KAAK,MAAM,EAAE,KAAK,QAAQ,EAAE,MAAM,aAAa,CAAC;AAEhE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAA8C,KAAK,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACxG,OAAO,EAAqB,KAAK,gBAAgB,EAAE,KAAK,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAEpG,uFAAuF;AACvF,eAAO,MAAM,0BAA0B,IAAI,CAAC;AAE5C;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;IACvB,6EAA6E;IAC7E,YAAY,CAAC,YAAY,EAAE,MAAM,GAAG,QAAQ,CAAC;IAC7C,2EAA2E;IAC3E,UAAU,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CAAC;IACzC,QAAQ,CAAC,EAAE,iBAAiB,CAAC;IAC7B,QAAQ,CAAC,EAAE,aAAa,CAAC;CAC1B;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,KAAK,CAAC;IACb,MAAM,EAAE,iBAAiB,CAAC;IAC1B,0CAA0C;IAC1C,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,uEAAuE;IACvE,UAAU,EAAE,MAAM,CAAC;IACnB,6DAA6D;IAC7D,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,6BAA6B;IAC7B,CAAC,EAAE,MAAM,CAAC;IACV,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,oEAAoE;IACpE,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,uFAAuF;IACvF,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,kFAAkF;IAClF,OAAO,CAAC,EAAE;QAAE,UAAU,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CACnC;AAED,MAAM,WAAW,sBAAsB;IACrC,UAAU,EAAE,gBAAgB,CAAC;IAC7B,8CAA8C;IAC9C,MAAM,CAAC,EAAE,QAAQ,CAAC;IAClB,2EAA2E;IAC3E,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,WAAW,CAAC;IACnB,mEAAmE;IACnE,MAAM,EAAE,sBAAsB,EAAE,CAAC;CAClC;AAED,mFAAmF;AACnF,MAAM,WAAW,iBAAiB;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED;;;;GAIG;AACH,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,cAAc,EACtB,QAAQ,EAAE,aAAa,GACtB,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAW9B;AAED,wBAAsB,WAAW,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,cAAc,CAAC,CAmEvG"}

package/dist/qa/run-scoped.js

@@ -0,0 +1,96 @@
+/**
+ * PR-triggered QA — drive every unverified capability a change touched.
+ *
+ * Built on the Phase-1 {@link runQa} loop: scope the change to capabilities
+ * ({@link scopeCapabilities}), then drive each one that still lacks a verifying
+ * test, proposing a write-back when the capability declares its corpus artifact.
+ * Capabilities are driven **concurrently** with a bounded pool, each isolated in
+ * its own browser context, compiler output directory, and runner output
+ * directory (Ranger's context-isolated sub-agent lesson). Results stay in scoped
+ * order. The caller posts the summary to the feature pull request.
+ */
+import { runQa } from "./run-qa.js";
+import { mapPool } from "./concurrency.js";
+import { resolveTarget, authContext, personaContext } from "../scope/config.js";
+import { scopeCapabilities } from "../scope/diff-scope.js";
+/** Default capabilities driven at once — conservative to bound browser/runner load. */
+export const DEFAULT_SCOPED_CONCURRENCY = 3;
+/**
+ * Collect recorded failure reasons for each driven capability that failed or
+ * could not be driven, from the learning store — the `suggest_in_report`
+ * failure-learning strategy's source. Pure over the store (no drive).
+ */
+export async function collectFailureSuggestions(result, learning) {
+    const suggestions = [];
+    for (const driven of result.driven) {
+        const failed = driven.error !== undefined || driven.result?.verified === false;
+        if (!failed)
+            continue;
+        const prior = await learning.priorFailures(driven.capability.id);
+        if (prior.length > 0) {
+            suggestions.push({ id: driven.capability.id, title: driven.capability.title, reasons: prior.map((f) => f.reason) });
+        }
+    }
+    return suggestions;
+}
+export async function runScopedQa(deps, options) {
+    const scope = scopeCapabilities(options.changedPaths, options.config, options.graph);
+    const driven = await mapPool(scope.toVerify, options.concurrency ?? DEFAULT_SCOPED_CONCURRENCY, async (cap) => {
+        // Resolve the target: explicit url, else a named environment, else the default.
+        const target = resolveTarget(options.config, cap.config, {
+            ...(options.defaultUrl !== undefined ? { fallbackUrl: options.defaultUrl } : {}),
+            defaultName: options.targetName,
+        });
+        if (target === undefined) {
+            return { capability: cap, error: "no start URL — set config.url, an environment, or pass --url" };
+        }
+        // Thread persona, environment restrictions, and auth context into the goal.
+        const contextParts = [];
+        let persona;
+        try {
+            persona = personaContext(options.config, cap.config);
+        }
+        catch (err) {
+            return { capability: cap, error: err.message };
+        }
+        if (persona)
+            contextParts.push(persona);
+        if (target.restrictions.length > 0) {
+            contextParts.push(`Environment restrictions: ${target.restrictions.join("; ")}. Respect them strictly.`);
+        }
+        const auth = authContext(options.config);
+        if (auth)
+            contextParts.push(auth);
+        const goalContext = contextParts.length > 0 ? contextParts.join(" ") : undefined;
+        const propose = options.propose && cap.config.artifact !== undefined
+            ? {
+                targetPath: cap.config.artifact,
+                ...(options.propose.baseBranch !== undefined ? { baseBranch: options.propose.baseBranch } : {}),
+            }
+            : undefined;
+        // Per-capability isolated compiler + runner; the drive seam isolates the browser.
+        const capDeps = {
+            drive: deps.drive,
+            compiler: deps.makeCompiler(cap.id),
+            runner: deps.makeRunner(cap.id),
+            ...(deps.proposer ? { proposer: deps.proposer } : {}),
+            ...(deps.learning ? { learning: deps.learning } : {}),
+        };
+        const result = await runQa(capDeps, {
+            graph: options.graph,
+            capabilityId: cap.id,
+            startUrl: target.url,
+            ...(cap.config.goal !== undefined ? { goal: cap.config.goal } : {}),
+            ...(goalContext !== undefined ? { goalContext } : {}),
+            // Each capability runs against its resolved environment URL.
+            target: { name: target.name, baseURL: target.url },
+            n: options.n,
+            ...(options.maxSteps !== undefined ? { maxSteps: options.maxSteps } : {}),
+            ...(options.plan ? { plan: true } : {}),
+            ...(propose ? { propose } : {}),
+        });
+        return { capability: cap, result };
+    });
+    return { scope, driven };
+}
+//# sourceMappingURL=run-scoped.js.map

package/dist/qa/run-scoped.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-scoped.js","sourceRoot":"","sources":["../../src/qa/run-scoped.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,KAAK,EAA8B,MAAM,aAAa,CAAC;AAChE,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAM3C,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,cAAc,EAA0B,MAAM,oBAAoB,CAAC;AACxG,OAAO,EAAE,iBAAiB,EAA2C,MAAM,wBAAwB,CAAC;AAEpG,uFAAuF;AACvF,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC;AA0D5C;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,MAAsB,EACtB,QAAuB;IAEvB,MAAM,WAAW,GAAwB,EAAE,CAAC;IAC5C,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,EAAE,QAAQ,KAAK,KAAK,CAAC;QAC/E,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QACjE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACtH,CAAC;IACH,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,IAAkB,EAAE,OAAwB;IAC5E,MAAM,KAAK,GAAG,iBAAiB,CAAC,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAErF,MAAM,MAAM,GAAG,MAAM,OAAO,CAC1B,KAAK,CAAC,QAAQ,EACd,OAAO,CAAC,WAAW,IAAI,0BAA0B,EACjD,KAAK,EAAE,GAAG,EAAmC,EAAE;QAC7C,gFAAgF;QAChF,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE;YACvD,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChF,WAAW,EAAE,OAAO,CAAC,UAAU;SAChC,CAAC,CAAC;QACH,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,KAAK,EAAE,8DAA8D,EAAE,CAAC;QACpG,CAAC;QAED,4EAA4E;QAC5E,MAAM,YAAY,GAAa,EAAE,CAAC;QAClC,IAAI,OAA2B,CAAC;QAChC,IAAI,CAAC;YACH,OAAO,GAAG,cAAc,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QACvD,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,KAAK,EAAG,GAAa,CAAC,OAAO,EAAE,CAAC;QAC5D,CAAC;QACD,IAAI,OAAO;YAAE,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACxC,IAAI,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnC,YAAY,CAAC,IAAI,CAAC,6BAA6B,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QAC3G,CAAC;QACD,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACzC,IAAI,IAAI;YAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAEjF,MAAM,OAAO,GACX,OAAO,CAAC,OAAO,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS;YAClD,CAAC,CAAC;gBACE,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,QAAQ;gBAC/B,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAChG;YACH,CAAC,CAAC,SAAS,CAAC;QAEhB,kFAAkF;QAClF,MAAM,OAAO,GAAW;YACtB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,QAAQ,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;YACnC,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/B,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACrD,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACtD,CAAC;QAEF,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,OAAO,EAAE;YAClC,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,YAAY,EAAE,GAAG,CAAC,EAAE;YACpB,QAAQ,EAAE,MAAM,CAAC,GAAG;YACpB,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACnE,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACrD,6DAA6D;YAC7D,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,GAAG,EAAE;YAClD,CAAC,EAAE,OAAO,CAAC,CAAC;YACZ,GAAG,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACvC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAChC,CAAC,CAAC;QACH,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;IACrC,CAAC,CACF,CAAC;IAEF,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAC3B,CAAC"}

package/dist/runner/playwright-report.d.ts

@@ -0,0 +1,52 @@
+/**
+ * Parse Playwright's JSON reporter output into Proofkeeper {@link RunResult}s.
+ *
+ * Kept pure and separate from the runner so the report→result mapping is
+ * unit-testable with a fixture, no browser required. The runner (which does
+ * the actual `npx playwright test` shell-out) feeds raw report JSON in here.
+ *
+ * We model only the fields we read and tolerate the rest — Playwright's report
+ * is large and versioned, and we never want a new field to break parsing.
+ */
+import type { RunResult } from "./types.js";
+/** A single attempt's result inside the Playwright report. */
+interface PwResult {
+    status?: string;
+    duration?: number;
+    attachments?: {
+        name?: string;
+        path?: string;
+        contentType?: string;
+    }[];
+}
+interface PwTest {
+    results?: PwResult[];
+}
+interface PwSpec {
+    title?: string;
+    tests?: PwTest[];
+}
+interface PwSuite {
+    specs?: PwSpec[];
+    suites?: PwSuite[];
+}
+interface PwReport {
+    suites?: PwSuite[];
+}
+/** Raised when reporter output is not parseable JSON. */
+export declare class ReportParseError extends Error {
+    constructor(message: string);
+}
+/**
+ * Reduce a parsed report to a single {@link RunResult} for one (test, target).
+ *
+ * A spec file may contain several `test(...)` blocks; we aggregate them: the
+ * run passed iff every result passed, the duration is the sum, and the trace is
+ * the first trace attachment found. An empty report (no results) is a failure —
+ * a spec that ran nothing did not verify anything.
+ */
+export declare function reduceReport(report: PwReport, testId: string, target: string): RunResult;
+/** Parse reporter stdout (JSON) and reduce it to a {@link RunResult}. */
+export declare function parseReport(stdout: string, testId: string, target: string): RunResult;
+export {};
+//# sourceMappingURL=playwright-report.d.ts.map

package/dist/runner/playwright-report.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"playwright-report.d.ts","sourceRoot":"","sources":["../../src/runner/playwright-report.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAa,MAAM,YAAY,CAAC;AAEvD,8DAA8D;AAC9D,UAAU,QAAQ;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CACxE;AAED,UAAU,MAAM;IACd,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC;CACtB;AAED,UAAU,MAAM;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,UAAU,OAAO;IACf,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC;CACpB;AAED,UAAU,QAAQ;IAChB,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC;CACpB;AAED,yDAAyD;AACzD,qBAAa,gBAAiB,SAAQ,KAAK;gBAC7B,OAAO,EAAE,MAAM;CAI5B;AAuCD;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS,CAoBxF;AAED,yEAAyE;AACzE,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS,CAUrF"}

package/dist/runner/playwright-report.js

@@ -0,0 +1,90 @@
+/**
+ * Parse Playwright's JSON reporter output into Proofkeeper {@link RunResult}s.
+ *
+ * Kept pure and separate from the runner so the report→result mapping is
+ * unit-testable with a fixture, no browser required. The runner (which does
+ * the actual `npx playwright test` shell-out) feeds raw report JSON in here.
+ *
+ * We model only the fields we read and tolerate the rest — Playwright's report
+ * is large and versioned, and we never want a new field to break parsing.
+ */
+/** Raised when reporter output is not parseable JSON. */
+export class ReportParseError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = "ReportParseError";
+    }
+}
+function mapStatus(raw) {
+    switch (raw) {
+        case "passed":
+            return "passed";
+        case "skipped":
+            return "skipped";
+        case "timedOut":
+            return "timedout";
+        default:
+            // failed, interrupted, or anything unknown is a non-pass.
+            return "failed";
+    }
+}
+/** Depth-first walk of the nested suite tree, yielding every result. */
+function collectResults(suites) {
+    const out = [];
+    for (const suite of suites ?? []) {
+        for (const spec of suite.specs ?? []) {
+            for (const test of spec.tests ?? []) {
+                out.push(...(test.results ?? []));
+            }
+        }
+        out.push(...collectResults(suite.suites));
+    }
+    return out;
+}
+function firstTracePath(results) {
+    for (const result of results) {
+        for (const attachment of result.attachments ?? []) {
+            if (attachment.name === "trace" && attachment.path)
+                return attachment.path;
+        }
+    }
+    return undefined;
+}
+/**
+ * Reduce a parsed report to a single {@link RunResult} for one (test, target).
+ *
+ * A spec file may contain several `test(...)` blocks; we aggregate them: the
+ * run passed iff every result passed, the duration is the sum, and the trace is
+ * the first trace attachment found. An empty report (no results) is a failure —
+ * a spec that ran nothing did not verify anything.
+ */
+export function reduceReport(report, testId, target) {
+    const results = collectResults(report.suites);
+    if (results.length === 0) {
+        return { testId, target, status: "failed", durationMs: 0 };
+    }
+    const statuses = results.map((r) => mapStatus(r.status));
+    const durationMs = results.reduce((sum, r) => sum + (r.duration ?? 0), 0);
+    const allPassed = statuses.every((s) => s === "passed");
+    // Surface the most informative non-pass status when not all passed.
+    const status = allPassed
+        ? "passed"
+        : (statuses.find((s) => s === "timedout") ?? statuses.find((s) => s === "failed") ?? "failed");
+    const result = { testId, target, status, durationMs };
+    const tracePath = firstTracePath(results);
+    if (tracePath)
+        result.tracePath = tracePath;
+    return result;
+}
+/** Parse reporter stdout (JSON) and reduce it to a {@link RunResult}. */
+export function parseReport(stdout, testId, target) {
+    let report;
+    try {
+        report = JSON.parse(stdout);
+    }
+    catch (err) {
+        throw new ReportParseError(`could not parse Playwright JSON report: ${err.message}`);
+    }
+    return reduceReport(report, testId, target);
+}
+//# sourceMappingURL=playwright-report.js.map

package/dist/runner/playwright-report.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"playwright-report.js","sourceRoot":"","sources":["../../src/runner/playwright-report.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AA6BH,yDAAyD;AACzD,MAAM,OAAO,gBAAiB,SAAQ,KAAK;IACzC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAED,SAAS,SAAS,CAAC,GAAuB;IACxC,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB,KAAK,UAAU;YACb,OAAO,UAAU,CAAC;QACpB;YACE,0DAA0D;YAC1D,OAAO,QAAQ,CAAC;IACpB,CAAC;AACH,CAAC;AAED,wEAAwE;AACxE,SAAS,cAAc,CAAC,MAA6B;IACnD,MAAM,GAAG,GAAe,EAAE,CAAC;IAC3B,KAAK,MAAM,KAAK,IAAI,MAAM,IAAI,EAAE,EAAE,CAAC;QACjC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;YACrC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;gBACpC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,cAAc,CAAC,OAAmB;IACzC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;YAClD,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,IAAI;gBAAE,OAAO,UAAU,CAAC,IAAI,CAAC;QAC7E,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAAC,MAAgB,EAAE,MAAc,EAAE,MAAc;IAC3E,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAE9C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;IAC7D,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACzD,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1E,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC;IAExD,oEAAoE;IACpE,MAAM,MAAM,GAAc,SAAS;QACjC,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,UAAU,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,IAAI,QAAQ,CAAC,CAAC;IAEjG,MAAM,MAAM,GAAc,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;IACjE,MAAM,SAAS,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,SAAS;QAAE,MAAM,CAAC,SAAS,GAAG,SAAS,CAAC;IAC5C,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,WAAW,CAAC,MAAc,EAAE,MAAc,EAAE,MAAc;IACxE,IAAI,MAAgB,CAAC;IACrB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAa,CAAC;IAC1C,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,IAAI,gBAAgB,CACxB,2CAA4C,GAAa,CAAC,OAAO,EAAE,CACpE,CAAC;IACJ,CAAC;IACD,OAAO,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AAC9C,CAAC"}

package/dist/runner/playwright-runner.d.ts

@@ -0,0 +1,38 @@
+/**
+ * The local Playwright runner — Proofkeeper Initiative 4.
+ *
+ * The open-source local runner. It shells out to the Playwright CLI
+ * (`npx playwright test`) so the test runtime stays entirely in this product,
+ * never in the Lore engine, and parses Playwright's JSON reporter into typed
+ * {@link RunResult}s — real status, duration, and the actual trace path, not
+ * values inferred from an exit code.
+ *
+ * The full cross-target / cross-OS matrix is still minimal here (targets run
+ * sequentially) and grows in later versions; the hosted VM-fabric runner is a
+ * separate implementation of the same {@link Runner} interface.
+ */
+import type { CompiledTest, RunOptions, RunResult, Runner } from "./types.js";
+export interface PlaywrightRunnerOptions {
+    /** Working directory the Playwright project lives in. Defaults to cwd. */
+    cwd?: string;
+    /**
+     * Output directory for test results and traces. Isolating this per runner
+     * keeps concurrent runs (across targets, or parallel suites) from clobbering
+     * each other's `test-results/`. Defaults to Playwright's config value.
+     */
+    outputDir?: string;
+    /** Override the Playwright invocation (advanced/testing). */
+    command?: {
+        bin: string;
+        baseArgs: string[];
+    };
+}
+export declare class PlaywrightRunner implements Runner {
+    private readonly cwd;
+    private readonly outputDir;
+    private readonly command;
+    constructor(options?: PlaywrightRunnerOptions);
+    run(suite: CompiledTest[], options: RunOptions): Promise<RunResult[]>;
+    private runOne;
+}
+//# sourceMappingURL=playwright-runner.d.ts.map

package/dist/runner/playwright-runner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"playwright-runner.d.ts","sourceRoot":"","sources":["../../src/runner/playwright-runner.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAMH,OAAO,KAAK,EAAE,YAAY,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAU9E,MAAM,WAAW,uBAAuB;IACtC,0EAA0E;IAC1E,GAAG,CAAC,EAAE,MAAM,CAAC;IACb;;;;OAIG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,6DAA6D;IAC7D,OAAO,CAAC,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;CAC/C;AAED,qBAAa,gBAAiB,YAAW,MAAM;IAC7C,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAS;IAC7B,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAqB;IAC/C,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAsC;gBAElD,OAAO,GAAE,uBAA4B;IAM3C,GAAG,CAAC,KAAK,EAAE,YAAY,EAAE,EAAE,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;YAU7D,MAAM;CA2CrB"}

package/dist/runner/playwright-runner.js

@@ -0,0 +1,73 @@
+/**
+ * The local Playwright runner — Proofkeeper Initiative 4.
+ *
+ * The open-source local runner. It shells out to the Playwright CLI
+ * (`npx playwright test`) so the test runtime stays entirely in this product,
+ * never in the Lore engine, and parses Playwright's JSON reporter into typed
+ * {@link RunResult}s — real status, duration, and the actual trace path, not
+ * values inferred from an exit code.
+ *
+ * The full cross-target / cross-OS matrix is still minimal here (targets run
+ * sequentially) and grows in later versions; the hosted VM-fabric runner is a
+ * separate implementation of the same {@link Runner} interface.
+ */
+import { execFile } from "node:child_process";
+import { promisify } from "node:util";
+import { parseReport } from "./playwright-report.js";
+const execFileAsync = promisify(execFile);
+export class PlaywrightRunner {
+    cwd;
+    outputDir;
+    command;
+    constructor(options = {}) {
+        this.cwd = options.cwd ?? process.cwd();
+        this.outputDir = options.outputDir;
+        this.command = options.command ?? { bin: "npx", baseArgs: ["playwright", "test"] };
+    }
+    async run(suite, options) {
+        const results = [];
+        for (const target of options.targets) {
+            for (const test of suite) {
+                results.push(await this.runOne(test, target.name, target.baseURL, options.parallelism));
+            }
+        }
+        return results;
+    }
+    async runOne(test, targetName, baseURL, workers) {
+        const args = [
+            ...this.command.baseArgs,
+            test.specPath,
+            "--reporter=json",
+            "--trace=on",
+            ...(this.outputDir ? [`--output=${this.outputDir}`] : []),
+            ...(workers ? [`--workers=${workers}`] : []),
+        ];
+        const env = { ...process.env, PROOFKEEPER_BASE_URL: baseURL };
+        // Playwright exits non-zero when tests fail, but still writes the JSON
+        // report to stdout. Capture stdout in both cases and let the report — not
+        // the exit code — decide the verdict.
+        let stdout;
+        try {
+            ({ stdout } = await execFileAsync(this.command.bin, args, {
+                cwd: this.cwd,
+                env,
+                maxBuffer: 256 * 1024 * 1024,
+            }));
+        }
+        catch (err) {
+            const execErr = err;
+            if (typeof execErr.stdout === "string" && execErr.stdout.trim().startsWith("{")) {
+                stdout = execErr.stdout;
+            }
+            else {
+                // The CLI failed before producing a report (e.g. Playwright not
+                // installed, browsers missing). That is a runner error, not a test
+                // verdict — surface it.
+                throw new Error(`playwright run failed for '${test.specPath}': ${execErr.message}` +
+                    (execErr.stderr ? `\n${execErr.stderr}` : ""));
+            }
+        }
+        return parseReport(stdout, test.id, targetName);
+    }
+}
+//# sourceMappingURL=playwright-runner.js.map

package/dist/runner/playwright-runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"playwright-runner.js","sourceRoot":"","sources":["../../src/runner/playwright-runner.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAEtC,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAGrD,MAAM,aAAa,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;AAqB1C,MAAM,OAAO,gBAAgB;IACV,GAAG,CAAS;IACZ,SAAS,CAAqB;IAC9B,OAAO,CAAsC;IAE9D,YAAY,UAAmC,EAAE;QAC/C,IAAI,CAAC,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;QACxC,IAAI,CAAC,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;QACnC,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,YAAY,EAAE,MAAM,CAAC,EAAE,CAAC;IACrF,CAAC;IAED,KAAK,CAAC,GAAG,CAAC,KAAqB,EAAE,OAAmB;QAClD,MAAM,OAAO,GAAgB,EAAE,CAAC;QAChC,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACrC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;YAC1F,CAAC;QACH,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAEO,KAAK,CAAC,MAAM,CAClB,IAAkB,EAClB,UAAkB,EAClB,OAAe,EACf,OAAgB;QAEhB,MAAM,IAAI,GAAG;YACX,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ;YACxB,IAAI,CAAC,QAAQ;YACb,iBAAiB;YACjB,YAAY;YACZ,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACzD,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,aAAa,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SAC7C,CAAC;QACF,MAAM,GAAG,GAAG,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,oBAAoB,EAAE,OAAO,EAAE,CAAC;QAE9D,uEAAuE;QACvE,0EAA0E;QAC1E,sCAAsC;QACtC,IAAI,MAAc,CAAC;QACnB,IAAI,CAAC;YACH,CAAC,EAAE,MAAM,EAAE,GAAG,MAAM,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,EAAE;gBACxD,GAAG,EAAE,IAAI,CAAC,GAAG;gBACb,GAAG;gBACH,SAAS,EAAE,GAAG,GAAG,IAAI,GAAG,IAAI;aAC7B,CAAC,CAAC,CAAC;QACN,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,OAAO,GAAG,GAAgB,CAAC;YACjC,IAAI,OAAO,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAChF,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;YAC1B,CAAC;iBAAM,CAAC;gBACN,gEAAgE;gBAChE,mEAAmE;gBACnE,wBAAwB;gBACxB,MAAM,IAAI,KAAK,CACb,8BAA8B,IAAI,CAAC,QAAQ,MAAM,OAAO,CAAC,OAAO,EAAE;oBAChE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAChD,CAAC;YACJ,CAAC;QACH,CAAC;QAED,OAAO,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;IAClD,CAAC;CACF"}

package/dist/runner/types.d.ts

@@ -0,0 +1,45 @@
+/**
+ * The runner interface — Proofkeeper Initiative 4.
+ *
+ * A runner executes a compiled suite fast and in parallel across targets and
+ * operating systems, emitting a replayable trace per result. The interface is
+ * pluggable on purpose: the open-source local runner and the (out-of-scope for
+ * v0.0.1) hosted VM-fabric runner are two implementations of the same shape.
+ */
+/** A compiled, durable end-to-end test the runner can execute. */
+export interface CompiledTest {
+    /** Stable identifier, used to correlate a result with a capability. */
+    id: string;
+    /** Path to the Playwright spec file (Proofkeeper-owned content). */
+    specPath: string;
+    /** Optional human title. */
+    title?: string;
+}
+/** Where to run: a named environment with a base URL (e.g. dev, prod). */
+export interface RunTarget {
+    name: string;
+    baseURL: string;
+}
+export interface RunOptions {
+    targets: RunTarget[];
+    /** Max concurrent test executions. Defaults are implementation-defined. */
+    parallelism?: number;
+}
+export type RunStatus = "passed" | "failed" | "timedout" | "skipped";
+/** The outcome of one test against one target, with its replayable trace. */
+export interface RunResult {
+    testId: string;
+    target: string;
+    status: RunStatus;
+    durationMs: number;
+    /** Path to the replayable trace artifact, when one was produced. */
+    tracePath?: string;
+}
+/**
+ * Runs compiled suites and returns one {@link RunResult} per (test, target).
+ * Implementations own all runtime and content (browsers, runs, traces).
+ */
+export interface Runner {
+    run(suite: CompiledTest[], options: RunOptions): Promise<RunResult[]>;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/runner/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/runner/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,kEAAkE;AAClE,MAAM,WAAW,YAAY;IAC3B,uEAAuE;IACvE,EAAE,EAAE,MAAM,CAAC;IACX,oEAAoE;IACpE,QAAQ,EAAE,MAAM,CAAC;IACjB,4BAA4B;IAC5B,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,0EAA0E;AAC1E,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,2EAA2E;IAC3E,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,MAAM,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,UAAU,GAAG,SAAS,CAAC;AAErE,6EAA6E;AAC7E,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,SAAS,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,oEAAoE;IACpE,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;;GAGG;AACH,MAAM,WAAW,MAAM;IACrB,GAAG,CAAC,KAAK,EAAE,YAAY,EAAE,EAAE,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;CACvE"}