@itsthelore/proofkeeper 2026.6.0

package/dist/coverage/report.d.ts

@@ -0,0 +1,27 @@
+/**
+ * Rendering for the coverage read-model: a human table and a stable JSON
+ * contract. Both are pure — given a {@link CoverageReport} they return a
+ * string; the CLI owns writing it out.
+ */
+import type { CoverageReport } from "./model.js";
+/** Stable machine contract for `proofkeeper coverage --json`. */
+export interface CoverageJson {
+    schema_version: "1";
+    source: string;
+    total: number;
+    verified: number;
+    unverified: {
+        id: string;
+        title: string;
+        status: string;
+    }[];
+    verifiedDetail: {
+        id: string;
+        targets: string[];
+    }[];
+}
+export declare function toJson(report: CoverageReport): CoverageJson;
+export declare function renderJson(report: CoverageReport): string;
+/** A compact, human-readable coverage summary with a table of gaps. */
+export declare function renderHuman(report: CoverageReport): string;
+//# sourceMappingURL=report.d.ts.map

package/dist/coverage/report.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"report.d.ts","sourceRoot":"","sources":["../../src/coverage/report.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAEjD,iEAAiE;AACjE,MAAM,WAAW,YAAY;IAC3B,cAAc,EAAE,GAAG,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC5D,cAAc,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,EAAE,CAAA;KAAE,EAAE,CAAC;CACrD;AAED,wBAAgB,MAAM,CAAC,MAAM,EAAE,cAAc,GAAG,YAAY,CAS3D;AAED,wBAAgB,UAAU,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,CAEzD;AAED,uEAAuE;AACvE,wBAAgB,WAAW,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,CA4B1D"}

package/dist/coverage/report.js

@@ -0,0 +1,45 @@
+/**
+ * Rendering for the coverage read-model: a human table and a stable JSON
+ * contract. Both are pure — given a {@link CoverageReport} they return a
+ * string; the CLI owns writing it out.
+ */
+export function toJson(report) {
+    return {
+        schema_version: "1",
+        source: report.source,
+        total: report.total,
+        verified: report.verified.length,
+        unverified: report.unverified.map(({ id, title, status }) => ({ id, title, status })),
+        verifiedDetail: report.verified.map((c) => ({ id: c.id, targets: c.verifiedBy })),
+    };
+}
+export function renderJson(report) {
+    return JSON.stringify(toJson(report), null, 2);
+}
+/** A compact, human-readable coverage summary with a table of gaps. */
+export function renderHuman(report) {
+    const lines = [];
+    const src = report.source ? ` (${report.source})` : "";
+    const verified = report.verified.length;
+    const unverified = report.unverified.length;
+    lines.push(`Proofkeeper coverage${src}`);
+    if (report.total === 0) {
+        lines.push("No capabilities (requirement artifacts) found in the graph.");
+        return lines.join("\n");
+    }
+    lines.push(`${verified}/${report.total} capabilities verified, ${unverified} unverified.`);
+    if (unverified > 0) {
+        lines.push("");
+        lines.push("Unverified capabilities:");
+        const idWidth = Math.max(2, ...report.unverified.map((c) => c.id.length));
+        const statusWidth = Math.max(6, ...report.unverified.map((c) => c.status.length));
+        for (const c of report.unverified) {
+            lines.push(`  ${c.id.padEnd(idWidth)}  ${c.status.padEnd(statusWidth)}  ${c.title}`);
+        }
+    }
+    else {
+        lines.push("All capabilities have at least one verifying test.");
+    }
+    return lines.join("\n");
+}
+//# sourceMappingURL=report.js.map

package/dist/coverage/report.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"report.js","sourceRoot":"","sources":["../../src/coverage/report.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAcH,MAAM,UAAU,MAAM,CAAC,MAAsB;IAC3C,OAAO;QACL,cAAc,EAAE,GAAG;QACnB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM;QAChC,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;QACrF,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;KAClF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,MAAsB;IAC/C,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,WAAW,CAAC,MAAsB;IAChD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IACvD,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;IACxC,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC;IAE5C,KAAK,CAAC,IAAI,CAAC,uBAAuB,GAAG,EAAE,CAAC,CAAC;IAEzC,IAAI,MAAM,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,6DAA6D,CAAC,CAAC;QAC1E,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,GAAG,QAAQ,IAAI,MAAM,CAAC,KAAK,2BAA2B,UAAU,cAAc,CAAC,CAAC;IAE3F,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;QACnB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QACvC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;QAC1E,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QAClF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,oDAAoD,CAAC,CAAC;IACnE,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/coverage/source.d.ts

@@ -0,0 +1,23 @@
+/**
+ * How the coverage read-model obtains a graph export.
+ *
+ * Two source modes, both staying on the contract-consumer side of the boundary
+ * (ADR-063, ADR-083):
+ *
+ *  - `--graph-file`: read a `rac export --graph` JSON file. The primary,
+ *    fully-offline, fully-testable path.
+ *  - `--corpus`: a convenience that shells out to `rac export --graph <dir>`
+ *    when the `rac` CLI is on PATH. We consume its published JSON output — we
+ *    never import the engine.
+ */
+import { type Graph } from "./graph.js";
+/** Load and parse a graph export from a JSON file. */
+export declare function loadGraphFromFile(path: string): Promise<Graph>;
+/**
+ * Produce a graph export by invoking `rac export --graph <dir>`.
+ *
+ * Requires the `rac` CLI on PATH. We treat its stdout as the published
+ * contract and parse it exactly as we would a file.
+ */
+export declare function loadGraphFromCorpus(corpusDir: string, racBin?: string): Promise<Graph>;
+//# sourceMappingURL=source.d.ts.map

package/dist/coverage/source.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"source.d.ts","sourceRoot":"","sources":["../../src/coverage/source.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAMH,OAAO,EAA+B,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AAIrE,sDAAsD;AACtD,wBAAsB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAQpE;AAED;;;;;GAKG;AACH,wBAAsB,mBAAmB,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,SAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,CAa3F"}

package/dist/coverage/source.js

@@ -0,0 +1,48 @@
+/**
+ * How the coverage read-model obtains a graph export.
+ *
+ * Two source modes, both staying on the contract-consumer side of the boundary
+ * (ADR-063, ADR-083):
+ *
+ *  - `--graph-file`: read a `rac export --graph` JSON file. The primary,
+ *    fully-offline, fully-testable path.
+ *  - `--corpus`: a convenience that shells out to `rac export --graph <dir>`
+ *    when the `rac` CLI is on PATH. We consume its published JSON output — we
+ *    never import the engine.
+ */
+import { execFile } from "node:child_process";
+import { readFile } from "node:fs/promises";
+import { promisify } from "node:util";
+import { GraphParseError, parseGraph } from "./graph.js";
+const execFileAsync = promisify(execFile);
+/** Load and parse a graph export from a JSON file. */
+export async function loadGraphFromFile(path) {
+    let text;
+    try {
+        text = await readFile(path, "utf8");
+    }
+    catch (err) {
+        throw new GraphParseError(`could not read graph file '${path}': ${err.message}`);
+    }
+    return parseGraph(text);
+}
+/**
+ * Produce a graph export by invoking `rac export --graph <dir>`.
+ *
+ * Requires the `rac` CLI on PATH. We treat its stdout as the published
+ * contract and parse it exactly as we would a file.
+ */
+export async function loadGraphFromCorpus(corpusDir, racBin = "rac") {
+    let stdout;
+    try {
+        ({ stdout } = await execFileAsync(racBin, ["export", corpusDir, "--graph"], {
+            maxBuffer: 64 * 1024 * 1024,
+        }));
+    }
+    catch (err) {
+        throw new GraphParseError(`failed to run '${racBin} export ${corpusDir} --graph': ${err.message}. ` +
+            `Is the rac CLI installed and on PATH? You can also pass --graph-file directly.`);
+    }
+    return parseGraph(stdout);
+}
+//# sourceMappingURL=source.js.map

package/dist/coverage/source.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"source.js","sourceRoot":"","sources":["../../src/coverage/source.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAEtC,OAAO,EAAE,eAAe,EAAE,UAAU,EAAc,MAAM,YAAY,CAAC;AAErE,MAAM,aAAa,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;AAE1C,sDAAsD;AACtD,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,IAAY;IAClD,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACtC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,IAAI,eAAe,CAAC,8BAA8B,IAAI,MAAO,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;IAC9F,CAAC;IACD,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,SAAiB,EAAE,MAAM,GAAG,KAAK;IACzE,IAAI,MAAc,CAAC;IACnB,IAAI,CAAC;QACH,CAAC,EAAE,MAAM,EAAE,GAAG,MAAM,aAAa,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC,EAAE;YAC1E,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;SAC5B,CAAC,CAAC,CAAC;IACN,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,IAAI,eAAe,CACvB,kBAAkB,MAAM,WAAW,SAAS,cAAe,GAAa,CAAC,OAAO,IAAI;YAClF,gFAAgF,CACnF,CAAC;IACJ,CAAC;IACD,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC"}

package/dist/fidelity/gate.d.ts

@@ -0,0 +1,34 @@
+/**
+ * The fidelity gate — Proofkeeper Initiative 3 (the moat's acceptance bar).
+ *
+ * A compiled test earns trust only by surviving N re-runs green and stable.
+ * This gate has real logic: it re-runs a candidate through a {@link Runner} N
+ * times against a single target and accepts it iff every run passed. Anything
+ * less is quarantined, not committed. That stability is what lets a reviewer
+ * trust a committed test without running it locally.
+ */
+import type { CompiledTest, Runner, RunTarget } from "../runner/types.js";
+export interface FidelityOptions {
+    /** How many times to re-run the candidate. */
+    n: number;
+    /** The single target to assess stability against. */
+    target: RunTarget;
+    /** Parallelism passed through to the runner per attempt. */
+    parallelism?: number;
+}
+export interface FidelityVerdict {
+    testId: string;
+    /** Accepted iff all `attempts` runs passed. */
+    stable: boolean;
+    attempts: number;
+    passed: number;
+    /** Per-attempt pass/fail, in order. */
+    runs: boolean[];
+}
+/**
+ * Assess a candidate test's fidelity by re-running it `n` times.
+ *
+ * @throws {RangeError} when `n < 1`.
+ */
+export declare function assessFidelity(runner: Runner, test: CompiledTest, options: FidelityOptions): Promise<FidelityVerdict>;
+//# sourceMappingURL=gate.d.ts.map

package/dist/fidelity/gate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate.d.ts","sourceRoot":"","sources":["../../src/fidelity/gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAE1E,MAAM,WAAW,eAAe;IAC9B,8CAA8C;IAC9C,CAAC,EAAE,MAAM,CAAC;IACV,qDAAqD;IACrD,MAAM,EAAE,SAAS,CAAC;IAClB,4DAA4D;IAC5D,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,+CAA+C;IAC/C,MAAM,EAAE,OAAO,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,uCAAuC;IACvC,IAAI,EAAE,OAAO,EAAE,CAAC;CACjB;AAED;;;;GAIG;AACH,wBAAsB,cAAc,CAClC,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,YAAY,EAClB,OAAO,EAAE,eAAe,GACvB,OAAO,CAAC,eAAe,CAAC,CAwB1B"}

package/dist/fidelity/gate.js

@@ -0,0 +1,38 @@
+/**
+ * The fidelity gate — Proofkeeper Initiative 3 (the moat's acceptance bar).
+ *
+ * A compiled test earns trust only by surviving N re-runs green and stable.
+ * This gate has real logic: it re-runs a candidate through a {@link Runner} N
+ * times against a single target and accepts it iff every run passed. Anything
+ * less is quarantined, not committed. That stability is what lets a reviewer
+ * trust a committed test without running it locally.
+ */
+/**
+ * Assess a candidate test's fidelity by re-running it `n` times.
+ *
+ * @throws {RangeError} when `n < 1`.
+ */
+export async function assessFidelity(runner, test, options) {
+    if (options.n < 1) {
+        throw new RangeError(`fidelity requires at least one run, got n=${options.n}`);
+    }
+    const runs = [];
+    for (let attempt = 0; attempt < options.n; attempt++) {
+        const results = await runner.run([test], {
+            targets: [options.target],
+            parallelism: options.parallelism,
+        });
+        // One test, one target ⇒ a single result. Treat a missing result as failure.
+        const passed = results.length > 0 && results.every((r) => r.status === "passed");
+        runs.push(passed);
+    }
+    const passed = runs.filter(Boolean).length;
+    return {
+        testId: test.id,
+        stable: passed === options.n,
+        attempts: options.n,
+        passed,
+        runs,
+    };
+}
+//# sourceMappingURL=gate.js.map

package/dist/fidelity/gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate.js","sourceRoot":"","sources":["../../src/fidelity/gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAuBH;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,MAAc,EACd,IAAkB,EAClB,OAAwB;IAExB,IAAI,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,MAAM,IAAI,UAAU,CAAC,6CAA6C,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;IACjF,CAAC;IAED,MAAM,IAAI,GAAc,EAAE,CAAC;IAC3B,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC;QACrD,MAAM,OAAO,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE;YACvC,OAAO,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC;YACzB,WAAW,EAAE,OAAO,CAAC,WAAW;SACjC,CAAC,CAAC;QACH,6EAA6E;QAC7E,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;QACjF,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACpB,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;IAC3C,OAAO;QACL,MAAM,EAAE,IAAI,CAAC,EAAE;QACf,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC,CAAC;QAC5B,QAAQ,EAAE,OAAO,CAAC,CAAC;QACnB,MAAM;QACN,IAAI;KACL,CAAC;AACJ,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,69 @@
+/**
+ * Public API for @itsthelore/proofkeeper.
+ *
+ * The coverage read-model is the working v0.0.1 surface; the runner, compiler,
+ * fidelity gate, agent loop, and write-back are interfaces and skeletons that
+ * fix the drive→compile→fidelity→run→write-back shape (see README scope).
+ */
+export { parseGraph, GraphParseError, VERIFIED_BY } from "./coverage/graph.js";
+export type { Graph, GraphNode, GraphEdge } from "./coverage/graph.js";
+export { computeCoverage, CAPABILITY_TYPE } from "./coverage/model.js";
+export type { CoverageReport, CapabilityCoverage } from "./coverage/model.js";
+export { renderHuman, renderJson, toJson } from "./coverage/report.js";
+export type { CoverageJson } from "./coverage/report.js";
+export { loadGraphFromFile, loadGraphFromCorpus } from "./coverage/source.js";
+export type { Runner, RunResult, RunOptions, RunStatus, RunTarget, CompiledTest, } from "./runner/types.js";
+export { PlaywrightRunner } from "./runner/playwright-runner.js";
+export type { PlaywrightRunnerOptions } from "./runner/playwright-runner.js";
+export { parseReport, reduceReport, ReportParseError } from "./runner/playwright-report.js";
+export type { Action, Locator, RecordedSession } from "./compiler/actions.js";
+export { emitSpec } from "./compiler/emit.js";
+export { Recorder } from "./compiler/recorder.js";
+export type { RecorderOptions } from "./compiler/recorder.js";
+export type { Compiler, CandidateTest } from "./compiler/types.js";
+export { CodegenCompiler, NotImplementedCompiler } from "./compiler/compiler.js";
+export type { CodegenCompilerOptions } from "./compiler/compiler.js";
+export { runCommand, evalOutputMatch } from "./compiler/terminal.js";
+export type { CommandResult, OutputAssertion } from "./compiler/terminal.js";
+export { httpRequest, jsonPath } from "./compiler/http.js";
+export type { HttpResponse, HttpRequestInput, JsonScalar } from "./compiler/http.js";
+export { summarizeSession } from "./compiler/summary.js";
+export { FileLearningStore, InMemoryLearningStore } from "./learning/store.js";
+export type { LearningStore, FailureRecord } from "./learning/store.js";
+export { assessFidelity } from "./fidelity/gate.js";
+export type { FidelityOptions, FidelityVerdict } from "./fidelity/gate.js";
+export { runQa, selectCapability, defaultGoal } from "./qa/run-qa.js";
+export type { QaDeps, QaOptions, QaResult } from "./qa/run-qa.js";
+export { runScopedQa, collectFailureSuggestions, DEFAULT_SCOPED_CONCURRENCY } from "./qa/run-scoped.js";
+export type { ScopedQaDeps, ScopedQaOptions, ScopedQaResult, ScopedCapabilityResult, FailureSuggestion } from "./qa/run-scoped.js";
+export { mapPool } from "./qa/concurrency.js";
+export { scopeCapabilities } from "./scope/diff-scope.js";
+export type { ScopeResult, ScopedCapability } from "./scope/diff-scope.js";
+export { parseConfig, ConfigParseError, resolveTarget, authContext, personaContext } from "./scope/config.js";
+export type { ProofkeeperConfig, CapabilityConfig, EnvironmentConfig, AuthConfig, PersonaConfig, FailureLearningStrategy, ResolvedTarget, } from "./scope/config.js";
+export { globToRegExp, matchesAnyGlob } from "./scope/glob.js";
+export { scaffoldConfig, renderScaffoldedConfig } from "./scaffold/scaffold.js";
+export type { ScaffoldOptions } from "./scaffold/scaffold.js";
+export { runAgentLoop } from "./agent/loop.js";
+export type { AgentLoopDeps, AgentLoopOptions, AgentLoopResult } from "./agent/loop.js";
+export type { ModelClient, ModelRequest, ModelResponse, ToolCall } from "./agent/model.js";
+export { AutonomousDriver, runDrive } from "./agent/drive.js";
+export type { DriveOptions, DriveResult } from "./agent/drive.js";
+export { DRIVE_TOOLS, LOCATOR_GUIDANCE, TERMINAL_GUIDANCE, HTTP_GUIDANCE, parseLocator, parseRunCommand, parseExpectOutput, parseExpectExit, parseRequest, parseExpectStatus, parseExpectJson, ToolArgumentError, } from "./agent/tools.js";
+export type { DriveTool, RunCommandArgs, OutputAssertionArgs, RequestArgs, ExpectJsonArgs } from "./agent/tools.js";
+export { observePage, renderObservation, createPageMonitor } from "./agent/observe.js";
+export type { PageObservation, PageMonitor } from "./agent/observe.js";
+export { ClaudeModelClient, DEFAULT_CLAUDE_MODEL, toAnthropicMessages, toAnthropicTools, fromAnthropicResponse, } from "./agent/adapters/claude.js";
+export type { ClaudeModelClientOptions, AnthropicLike } from "./agent/adapters/claude.js";
+export { renderVerifiedBySection, renderVerifiedByItem, verificationRefs, proposeVerifiedBy, VERIFIED_BY_HEADING, } from "./writeback/verified-by.js";
+export type { VerificationLink, VerifiedByProposal } from "./writeback/verified-by.js";
+export { mergeVerifiedBy } from "./writeback/merge.js";
+export { buildProposal, linksFromResults } from "./writeback/proposal.js";
+export type { BuildProposalInput, WriteBackProposal } from "./writeback/proposal.js";
+export { renderWriteBackComment, renderCoverageComment, renderScopedQaComment, commentCoverageStatus, upsertComment, SCOPED_QA_MARKER, WRITE_BACK_MARKER, COVERAGE_MARKER, } from "./writeback/comment.js";
+export type { FidelitySummary, CoverageCommentOptions, ScopedQaCommentInput, ScopedQaCommentRow } from "./writeback/comment.js";
+export { GitHubWriteBackProposer } from "./writeback/proposer.js";
+export type { RepoGateway, WriteBackProposer, WriteBackInput, WriteBackResult, GitHubWriteBackProposerOptions, } from "./writeback/proposer.js";
+export { GitHubRestGateway } from "./writeback/gateways/github-rest.js";
+export type { GitHubRestGatewayOptions } from "./writeback/gateways/github-rest.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAC/E,YAAY,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACvE,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACvE,YAAY,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAC9E,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AACvE,YAAY,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAG9E,YAAY,EACV,MAAM,EACN,SAAS,EACT,UAAU,EACV,SAAS,EACT,SAAS,EACT,YAAY,GACb,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACjE,YAAY,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AAC7E,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAG5F,YAAY,EAAE,MAAM,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAC9E,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAClD,YAAY,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9D,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACnE,OAAO,EAAE,eAAe,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AACjF,YAAY,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AACrE,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACrE,YAAY,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC7E,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC3D,YAAY,EAAE,YAAY,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrF,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAGzD,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC/E,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAGxE,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACpD,YAAY,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAG3E,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AACtE,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAGlE,OAAO,EAAE,WAAW,EAAE,yBAAyB,EAAE,0BAA0B,EAAE,MAAM,oBAAoB,CAAC;AACxG,YAAY,EAAE,YAAY,EAAE,eAAe,EAAE,cAAc,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACnI,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC1D,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC3E,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,aAAa,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC9G,YAAY,EACV,iBAAiB,EACjB,gBAAgB,EAChB,iBAAiB,EACjB,UAAU,EACV,aAAa,EACb,uBAAuB,EACvB,cAAc,GACf,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAG/D,OAAO,EAAE,cAAc,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAChF,YAAY,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAG9D,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,YAAY,EAAE,aAAa,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AACxF,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC3F,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC9D,YAAY,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAClE,OAAO,EACL,WAAW,EACX,gBAAgB,EAChB,iBAAiB,EACjB,aAAa,EACb,YAAY,EACZ,eAAe,EACf,iBAAiB,EACjB,eAAe,EACf,YAAY,EACZ,iBAAiB,EACjB,eAAe,EACf,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,SAAS,EAAE,cAAc,EAAE,mBAAmB,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AACpH,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvF,YAAY,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAGvE,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,mBAAmB,EACnB,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,4BAA4B,CAAC;AACpC,YAAY,EAAE,wBAAwB,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAG1F,OAAO,EACL,uBAAuB,EACvB,oBAAoB,EACpB,gBAAgB,EAChB,iBAAiB,EACjB,mBAAmB,GACpB,MAAM,4BAA4B,CAAC;AACpC,YAAY,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AACvF,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC1E,YAAY,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACrF,OAAO,EACL,sBAAsB,EACtB,qBAAqB,EACrB,qBAAqB,EACrB,qBAAqB,EACrB,aAAa,EACb,gBAAgB,EAChB,iBAAiB,EACjB,eAAe,GAChB,MAAM,wBAAwB,CAAC;AAChC,YAAY,EAAE,eAAe,EAAE,sBAAsB,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAChI,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAClE,YAAY,EACV,WAAW,EACX,iBAAiB,EACjB,cAAc,EACd,eAAe,EACf,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qCAAqC,CAAC;AACxE,YAAY,EAAE,wBAAwB,EAAE,MAAM,qCAAqC,CAAC"}

package/dist/index.js

@@ -0,0 +1,49 @@
+/**
+ * Public API for @itsthelore/proofkeeper.
+ *
+ * The coverage read-model is the working v0.0.1 surface; the runner, compiler,
+ * fidelity gate, agent loop, and write-back are interfaces and skeletons that
+ * fix the drive→compile→fidelity→run→write-back shape (see README scope).
+ */
+// Coverage read-model (Initiative 1) — the working surface.
+export { parseGraph, GraphParseError, VERIFIED_BY } from "./coverage/graph.js";
+export { computeCoverage, CAPABILITY_TYPE } from "./coverage/model.js";
+export { renderHuman, renderJson, toJson } from "./coverage/report.js";
+export { loadGraphFromFile, loadGraphFromCorpus } from "./coverage/source.js";
+export { PlaywrightRunner } from "./runner/playwright-runner.js";
+export { parseReport, reduceReport, ReportParseError } from "./runner/playwright-report.js";
+export { emitSpec } from "./compiler/emit.js";
+export { Recorder } from "./compiler/recorder.js";
+export { CodegenCompiler, NotImplementedCompiler } from "./compiler/compiler.js";
+export { runCommand, evalOutputMatch } from "./compiler/terminal.js";
+export { httpRequest, jsonPath } from "./compiler/http.js";
+export { summarizeSession } from "./compiler/summary.js";
+// Failure-learning — remember failed attempts, steer the next drive.
+export { FileLearningStore, InMemoryLearningStore } from "./learning/store.js";
+// Fidelity gate (Initiative 3 — the moat's acceptance bar).
+export { assessFidelity } from "./fidelity/gate.js";
+// The QA loop behind one command — the autonomous-QA spine (Initiatives 1–5 wired).
+export { runQa, selectCapability, defaultGoal } from "./qa/run-qa.js";
+// PR-triggered, diff-scoped QA.
+export { runScopedQa, collectFailureSuggestions, DEFAULT_SCOPED_CONCURRENCY } from "./qa/run-scoped.js";
+export { mapPool } from "./qa/concurrency.js";
+export { scopeCapabilities } from "./scope/diff-scope.js";
+export { parseConfig, ConfigParseError, resolveTarget, authContext, personaContext } from "./scope/config.js";
+export { globToRegExp, matchesAnyGlob } from "./scope/glob.js";
+// Config scaffolding — the in-scope MVP of `/install-qa`.
+export { scaffoldConfig, renderScaffoldedConfig } from "./scaffold/scaffold.js";
+// Agent loop (Initiatives 2–4 wired) and the BYO-model boundary.
+export { runAgentLoop } from "./agent/loop.js";
+export { AutonomousDriver, runDrive } from "./agent/drive.js";
+export { DRIVE_TOOLS, LOCATOR_GUIDANCE, TERMINAL_GUIDANCE, HTTP_GUIDANCE, parseLocator, parseRunCommand, parseExpectOutput, parseExpectExit, parseRequest, parseExpectStatus, parseExpectJson, ToolArgumentError, } from "./agent/tools.js";
+export { observePage, renderObservation, createPageMonitor } from "./agent/observe.js";
+// Reference BYO-model adapter (optional — Anthropic Claude API).
+export { ClaudeModelClient, DEFAULT_CLAUDE_MODEL, toAnthropicMessages, toAnthropicTools, fromAnthropicResponse, } from "./agent/adapters/claude.js";
+// Write-back (Initiative 5 — propose-only, human-reviewed PR).
+export { renderVerifiedBySection, renderVerifiedByItem, verificationRefs, proposeVerifiedBy, VERIFIED_BY_HEADING, } from "./writeback/verified-by.js";
+export { mergeVerifiedBy } from "./writeback/merge.js";
+export { buildProposal, linksFromResults } from "./writeback/proposal.js";
+export { renderWriteBackComment, renderCoverageComment, renderScopedQaComment, commentCoverageStatus, upsertComment, SCOPED_QA_MARKER, WRITE_BACK_MARKER, COVERAGE_MARKER, } from "./writeback/comment.js";
+export { GitHubWriteBackProposer } from "./writeback/proposer.js";
+export { GitHubRestGateway } from "./writeback/gateways/github-rest.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,4DAA4D;AAC5D,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAE/E,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAEvE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAEvE,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAW9E,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAEjE,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAI5F,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAGlD,OAAO,EAAE,eAAe,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAEjF,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAErE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAE3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAEzD,qEAAqE;AACrE,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAG/E,4DAA4D;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAGpD,oFAAoF;AACpF,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAGtE,gCAAgC;AAChC,OAAO,EAAE,WAAW,EAAE,yBAAyB,EAAE,0BAA0B,EAAE,MAAM,oBAAoB,CAAC;AAExG,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAE1D,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,aAAa,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAU9G,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAE/D,0DAA0D;AAC1D,OAAO,EAAE,cAAc,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAGhF,iEAAiE;AACjE,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAG/C,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAE9D,OAAO,EACL,WAAW,EACX,gBAAgB,EAChB,iBAAiB,EACjB,aAAa,EACb,YAAY,EACZ,eAAe,EACf,iBAAiB,EACjB,eAAe,EACf,YAAY,EACZ,iBAAiB,EACjB,eAAe,EACf,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAGvF,iEAAiE;AACjE,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,mBAAmB,EACnB,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,4BAA4B,CAAC;AAGpC,+DAA+D;AAC/D,OAAO,EACL,uBAAuB,EACvB,oBAAoB,EACpB,gBAAgB,EAChB,iBAAiB,EACjB,mBAAmB,GACpB,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAE1E,OAAO,EACL,sBAAsB,EACtB,qBAAqB,EACrB,qBAAqB,EACrB,qBAAqB,EACrB,aAAa,EACb,gBAAgB,EAChB,iBAAiB,EACjB,eAAe,GAChB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAQlE,OAAO,EAAE,iBAAiB,EAAE,MAAM,qCAAqC,CAAC"}

package/dist/learning/store.d.ts

@@ -0,0 +1,44 @@
+/**
+ * Failure-learning — Proofkeeper remembers what went wrong so a re-run does not
+ * repeat it (Factory automated-qa's "learns from failures"). When a drive does
+ * not finish or its compiled test fails the fidelity gate, the run is recorded
+ * against the capability; the next drive of that capability is handed the prior
+ * reasons so the model can avoid the same dead ends.
+ *
+ * {@link LearningStore} is pluggable (no hard persistence dependency). The
+ * default {@link FileLearningStore} keeps one JSON file per capability under
+ * `.proofkeeper/learnings/`; {@link InMemoryLearningStore} is for tests and
+ * ephemeral runs.
+ */
+/** A recorded failed attempt at verifying a capability. */
+export interface FailureRecord {
+    capabilityId: string;
+    /** What was attempted, when known. */
+    goal?: string;
+    /** Why it failed — e.g. "unstable: 1/3 re-runs green" or "drive did not finish". */
+    reason: string;
+    /** Model turns the drive took, when known. */
+    steps?: number;
+}
+export interface LearningStore {
+    recordFailure(record: FailureRecord): Promise<void>;
+    /** Prior failures for a capability, oldest first. */
+    priorFailures(capabilityId: string): Promise<FailureRecord[]>;
+}
+/** Persists failures as one JSON array per capability under a directory. */
+export declare class FileLearningStore implements LearningStore {
+    private readonly dir;
+    constructor(options?: {
+        dir?: string;
+    });
+    private file;
+    recordFailure(record: FailureRecord): Promise<void>;
+    priorFailures(capabilityId: string): Promise<FailureRecord[]>;
+}
+/** An in-memory store for tests and ephemeral runs. */
+export declare class InMemoryLearningStore implements LearningStore {
+    private readonly byId;
+    recordFailure(record: FailureRecord): Promise<void>;
+    priorFailures(capabilityId: string): Promise<FailureRecord[]>;
+}
+//# sourceMappingURL=store.d.ts.map

package/dist/learning/store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.d.ts","sourceRoot":"","sources":["../../src/learning/store.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAKH,2DAA2D;AAC3D,MAAM,WAAW,aAAa;IAC5B,YAAY,EAAE,MAAM,CAAC;IACrB,sCAAsC;IACtC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,oFAAoF;IACpF,MAAM,EAAE,MAAM,CAAC;IACf,8CAA8C;IAC9C,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,aAAa;IAC5B,aAAa,CAAC,MAAM,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACpD,qDAAqD;IACrD,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC;CAC/D;AAOD,4EAA4E;AAC5E,qBAAa,iBAAkB,YAAW,aAAa;IACrD,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAS;gBAEjB,OAAO,GAAE;QAAE,GAAG,CAAC,EAAE,MAAM,CAAA;KAAO;IAI1C,OAAO,CAAC,IAAI;IAIN,aAAa,CAAC,MAAM,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC;IAOnD,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC;CAcpE;AAED,uDAAuD;AACvD,qBAAa,qBAAsB,YAAW,aAAa;IACzD,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAsC;IAE3D,aAAa,CAAC,MAAM,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC;IAOnD,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC;CAG9D"}

package/dist/learning/store.js

@@ -0,0 +1,64 @@
+/**
+ * Failure-learning — Proofkeeper remembers what went wrong so a re-run does not
+ * repeat it (Factory automated-qa's "learns from failures"). When a drive does
+ * not finish or its compiled test fails the fidelity gate, the run is recorded
+ * against the capability; the next drive of that capability is handed the prior
+ * reasons so the model can avoid the same dead ends.
+ *
+ * {@link LearningStore} is pluggable (no hard persistence dependency). The
+ * default {@link FileLearningStore} keeps one JSON file per capability under
+ * `.proofkeeper/learnings/`; {@link InMemoryLearningStore} is for tests and
+ * ephemeral runs.
+ */
+import { mkdir, readFile, writeFile } from "node:fs/promises";
+import { join } from "node:path";
+/** Deterministic, filesystem-safe slug for a capability id. */
+function slug(value) {
+    return value.toLowerCase().replace(/[^a-z0-9]+/g, "-").replace(/^-+|-+$/g, "") || "capability";
+}
+/** Persists failures as one JSON array per capability under a directory. */
+export class FileLearningStore {
+    dir;
+    constructor(options = {}) {
+        this.dir = options.dir ?? join(".proofkeeper", "learnings");
+    }
+    file(capabilityId) {
+        return join(this.dir, `${slug(capabilityId)}.json`);
+    }
+    async recordFailure(record) {
+        const existing = await this.priorFailures(record.capabilityId);
+        existing.push(record);
+        await mkdir(this.dir, { recursive: true });
+        await writeFile(this.file(record.capabilityId), JSON.stringify(existing, null, 2) + "\n", "utf8");
+    }
+    async priorFailures(capabilityId) {
+        let text;
+        try {
+            text = await readFile(this.file(capabilityId), "utf8");
+        }
+        catch {
+            return []; // no history yet
+        }
+        try {
+            const parsed = JSON.parse(text);
+            return Array.isArray(parsed) ? parsed : [];
+        }
+        catch {
+            return []; // corrupt history is treated as none, never fatal
+        }
+    }
+}
+/** An in-memory store for tests and ephemeral runs. */
+export class InMemoryLearningStore {
+    byId = new Map();
+    recordFailure(record) {
+        const list = this.byId.get(record.capabilityId) ?? [];
+        list.push(record);
+        this.byId.set(record.capabilityId, list);
+        return Promise.resolve();
+    }
+    priorFailures(capabilityId) {
+        return Promise.resolve([...(this.byId.get(capabilityId) ?? [])]);
+    }
+}
+//# sourceMappingURL=store.js.map

package/dist/learning/store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.js","sourceRoot":"","sources":["../../src/learning/store.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAmBjC,+DAA+D;AAC/D,SAAS,IAAI,CAAC,KAAa;IACzB,OAAO,KAAK,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,IAAI,YAAY,CAAC;AACjG,CAAC;AAED,4EAA4E;AAC5E,MAAM,OAAO,iBAAiB;IACX,GAAG,CAAS;IAE7B,YAAY,UAA4B,EAAE;QACxC,IAAI,CAAC,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC;IAC9D,CAAC;IAEO,IAAI,CAAC,YAAoB;QAC/B,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;IACtD,CAAC;IAED,KAAK,CAAC,aAAa,CAAC,MAAqB;QACvC,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;QAC/D,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACtB,MAAM,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3C,MAAM,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC;IACpG,CAAC;IAED,KAAK,CAAC,aAAa,CAAC,YAAoB;QACtC,IAAI,IAAY,CAAC;QACjB,IAAI,CAAC;YACH,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC,CAAC;QACzD,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,CAAC,CAAC,iBAAiB;QAC9B,CAAC;QACD,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;YAC3C,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAE,MAA0B,CAAC,CAAC,CAAC,EAAE,CAAC;QAClE,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,CAAC,CAAC,kDAAkD;QAC/D,CAAC;IACH,CAAC;CACF;AAED,uDAAuD;AACvD,MAAM,OAAO,qBAAqB;IACf,IAAI,GAAG,IAAI,GAAG,EAA2B,CAAC;IAE3D,aAAa,CAAC,MAAqB;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QACtD,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;QACzC,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;IAC3B,CAAC;IAED,aAAa,CAAC,YAAoB;QAChC,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACnE,CAAC;CACF"}

package/dist/qa/concurrency.d.ts

@@ -0,0 +1,7 @@
+/**
+ * A tiny, dependency-free bounded-concurrency map. Runs `fn` over `items` with
+ * at most `limit` in flight and returns results in **input order** (each result
+ * is written to its own index), so parallel execution stays deterministic.
+ */
+export declare function mapPool<T, R>(items: readonly T[], limit: number, fn: (item: T, index: number) => Promise<R>): Promise<R[]>;
+//# sourceMappingURL=concurrency.d.ts.map

package/dist/qa/concurrency.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"concurrency.d.ts","sourceRoot":"","sources":["../../src/qa/concurrency.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,wBAAsB,OAAO,CAAC,CAAC,EAAE,CAAC,EAChC,KAAK,EAAE,SAAS,CAAC,EAAE,EACnB,KAAK,EAAE,MAAM,EACb,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,GACzC,OAAO,CAAC,CAAC,EAAE,CAAC,CAed"}

package/dist/qa/concurrency.js

@@ -0,0 +1,21 @@
+/**
+ * A tiny, dependency-free bounded-concurrency map. Runs `fn` over `items` with
+ * at most `limit` in flight and returns results in **input order** (each result
+ * is written to its own index), so parallel execution stays deterministic.
+ */
+export async function mapPool(items, limit, fn) {
+    const results = new Array(items.length);
+    let next = 0;
+    async function worker() {
+        for (;;) {
+            const index = next++;
+            if (index >= items.length)
+                return;
+            results[index] = await fn(items[index], index);
+        }
+    }
+    const workerCount = Math.max(1, Math.min(limit, items.length));
+    await Promise.all(Array.from({ length: workerCount }, () => worker()));
+    return results;
+}
+//# sourceMappingURL=concurrency.js.map

package/dist/qa/concurrency.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"concurrency.js","sourceRoot":"","sources":["../../src/qa/concurrency.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,OAAO,CAC3B,KAAmB,EACnB,KAAa,EACb,EAA0C;IAE1C,MAAM,OAAO,GAAG,IAAI,KAAK,CAAI,KAAK,CAAC,MAAM,CAAC,CAAC;IAC3C,IAAI,IAAI,GAAG,CAAC,CAAC;IAEb,KAAK,UAAU,MAAM;QACnB,SAAS,CAAC;YACR,MAAM,KAAK,GAAG,IAAI,EAAE,CAAC;YACrB,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM;gBAAE,OAAO;YAClC,OAAO,CAAC,KAAK,CAAC,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC,KAAK,CAAE,EAAE,KAAK,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/D,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACvE,OAAO,OAAO,CAAC;AACjB,CAAC"}

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

@@ -0,0 +1,87 @@
+/**
+ * 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 type { Graph } from "../coverage/graph.js";
+import { type CapabilityCoverage } from "../coverage/model.js";
+import type { Compiler } from "../compiler/types.js";
+import type { Runner, RunTarget } from "../runner/types.js";
+import { type AgentLoopResult } from "../agent/loop.js";
+import type { DriveOptions, DriveResult } from "../agent/drive.js";
+import type { WriteBackProposer, WriteBackResult } from "../writeback/proposer.js";
+import type { LearningStore } from "../learning/store.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 declare function selectCapability(graph: Graph, capabilityId?: string): CapabilityCoverage;
+/** A default goal derived from the capability, used when the caller gives none. */
+export declare function defaultGoal(capability: CapabilityCoverage): string;
+export interface QaDeps {
+    /**
+     * Drive the product to produce a recorded session. The CLI backs this with a
+     * real browser + a {@link ModelClient}; tests back it with a double.
+     */
+    drive(options: DriveOptions): Promise<DriveResult>;
+    compiler: Compiler;
+    runner: Runner;
+    /** Optional: when present and the test is stable, propose the write-back PR. */
+    proposer?: WriteBackProposer;
+    /** Optional: remembers failed attempts and feeds prior reasons into the drive. */
+    learning?: LearningStore;
+}
+export interface QaOptions {
+    /** Parsed `rac export --graph` output to read coverage from. */
+    graph: Graph;
+    /** Verify this capability; defaults to the first unverified one. */
+    capabilityId?: string;
+    /** Product entry point the drive navigates to first. */
+    startUrl: string;
+    /** Goal for the model; defaults to {@link defaultGoal}. */
+    goal?: string;
+    /** The target the compiled test is gated and run against. */
+    target: RunTarget;
+    /** Fidelity re-run count (the moat's acceptance bar). */
+    n: number;
+    /** Cap on model turns during the drive. */
+    maxSteps?: number;
+    /** When set, the drive emits a Markdown test plan before acting. */
+    plan?: boolean;
+    /** Extra context appended to the goal (e.g. environment restrictions, auth). */
+    goalContext?: string;
+    /** When set (and a proposer is wired), propose a Verified By write-back. */
+    propose?: {
+        targetPath: string;
+        baseBranch?: string;
+    };
+}
+export interface QaResult {
+    capability: CapabilityCoverage;
+    drive: DriveResult;
+    loop: AgentLoopResult;
+    /** True iff the compiled test passed the fidelity gate. */
+    verified: boolean;
+    /** Present only when a write-back was attempted (stable + proposer + propose). */
+    writeBack?: WriteBackResult;
+}
+/**
+ * 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 declare function runQa(deps: QaDeps, options: QaOptions): Promise<QaResult>;
+//# sourceMappingURL=run-qa.d.ts.map