@itsthelore/proofkeeper 2026.6.0

package/dist/compiler/recorder.js

@@ -0,0 +1,148 @@
+/**
+ * The session recorder (Proofkeeper Initiative 2, the moat).
+ *
+ * Wraps a Playwright {@link Page} and, for each interaction or assertion,
+ * performs it against the real page FIRST and records the {@link Action} only
+ * if it succeeded. A recorded trace is therefore a sequence that actually held
+ * during the drive — the faithful half of "faithful session→test". The
+ * deterministic {@link emitSpec} half turns that trace into a committed test.
+ *
+ * In v0.0.1 the drive is scripted by the caller (or a BYO-model agent calling
+ * these methods); the recorder's contract is the same either way.
+ */
+import { expect } from "@playwright/test";
+import { runCommand, evalOutputMatch } from "./terminal.js";
+import { httpRequest, jsonPath } from "./http.js";
+export class Recorder {
+    page;
+    options;
+    actions = [];
+    /** The most recently run command's result; terminal assertions target it. */
+    last;
+    /** The most recently issued request's response; HTTP assertions target it. */
+    lastHttp;
+    constructor(page, options) {
+        this.page = page;
+        this.options = options;
+    }
+    resolve(loc) {
+        switch (loc.kind) {
+            case "role":
+                return this.page.getByRole(loc.role, { name: loc.name });
+            case "testId":
+                return this.page.getByTestId(loc.testId);
+            case "text":
+                return this.page.getByText(loc.text);
+            case "label":
+                return this.page.getByLabel(loc.label);
+            case "css":
+                return this.page.locator(loc.selector);
+        }
+    }
+    /** Navigate to the session's start URL (or another url), recording it. */
+    async goto(url = this.options.startUrl) {
+        await this.page.goto(url);
+        this.actions.push({ type: "goto", url });
+    }
+    async click(locator) {
+        await this.resolve(locator).click();
+        this.actions.push({ type: "click", locator });
+    }
+    async fill(locator, value) {
+        await this.resolve(locator).fill(value);
+        this.actions.push({ type: "fill", locator, value });
+    }
+    async check(locator) {
+        await this.resolve(locator).check();
+        this.actions.push({ type: "check", locator });
+    }
+    async press(locator, key) {
+        await this.resolve(locator).press(key);
+        this.actions.push({ type: "press", locator, key });
+    }
+    /** Assert text, recording the assertion only if it currently holds. */
+    async expectText(locator, text) {
+        await expect(this.resolve(locator)).toHaveText(text);
+        this.actions.push({ type: "expectText", locator, text });
+    }
+    async expectVisible(locator) {
+        await expect(this.resolve(locator)).toBeVisible();
+        this.actions.push({ type: "expectVisible", locator });
+    }
+    /**
+     * Run a shell command, record it, and return its result so the caller can
+     * decide what to assert. The result becomes the target for the next
+     * {@link expectOutput} / {@link expectExit}.
+     */
+    async run(command, options = {}) {
+        this.last = runCommand(command, options);
+        this.actions.push({ type: "run", command, ...(options.cwd !== undefined ? { cwd: options.cwd } : {}) });
+        return this.last;
+    }
+    /** Assert the last command's output, recording the assertion only if it holds. */
+    async expectOutput(assertion) {
+        if (!this.last)
+            throw new Error("expect_output called before any run_command");
+        if (!evalOutputMatch(this.last, assertion)) {
+            throw new Error(`output assertion failed: ${assertion.stream} did not ${assertion.match} ${JSON.stringify(assertion.value)}`);
+        }
+        this.actions.push({ type: "expectOutput", match: assertion.match, stream: assertion.stream, value: assertion.value });
+    }
+    /** Assert the last command's exit code, recording the assertion only if it holds. */
+    async expectExit(code) {
+        if (!this.last)
+            throw new Error("expect_exit called before any run_command");
+        if (this.last.code !== code) {
+            throw new Error(`exit assertion failed: expected ${code}, got ${this.last.code}`);
+        }
+        this.actions.push({ type: "expectExit", code });
+    }
+    /** Issue an HTTP request, record it, and return its response for assertions. */
+    async request(input) {
+        this.lastHttp = await httpRequest(input);
+        this.actions.push({
+            type: "request",
+            method: input.method,
+            url: input.url,
+            ...(input.headers !== undefined ? { headers: input.headers } : {}),
+            ...(input.body !== undefined ? { body: input.body } : {}),
+        });
+        return this.lastHttp;
+    }
+    /** Assert the last response's status, recording the assertion only if it holds. */
+    async expectStatus(status) {
+        if (!this.lastHttp)
+            throw new Error("expect_status called before any request");
+        if (this.lastHttp.status !== status) {
+            throw new Error(`status assertion failed: expected ${status}, got ${this.lastHttp.status}`);
+        }
+        this.actions.push({ type: "expectStatus", status });
+    }
+    /** Assert a JSON field of the last response, recording only if it holds. */
+    async expectJson(path, equals) {
+        if (!this.lastHttp)
+            throw new Error("expect_json called before any request");
+        let parsed;
+        try {
+            parsed = JSON.parse(this.lastHttp.body);
+        }
+        catch {
+            throw new Error("expect_json: response body is not valid JSON");
+        }
+        const actual = jsonPath(parsed, path);
+        if (actual !== equals) {
+            throw new Error(`json assertion failed at ${path}: expected ${JSON.stringify(equals)}, got ${JSON.stringify(actual)}`);
+        }
+        this.actions.push({ type: "expectJson", path, equals });
+    }
+    /** The recorded session so far, ready to hand to the compiler. */
+    recording() {
+        return {
+            capabilityId: this.options.capabilityId,
+            title: this.options.title,
+            startUrl: this.options.startUrl,
+            actions: [...this.actions],
+        };
+    }
+}
+//# sourceMappingURL=recorder.js.map

package/dist/compiler/recorder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"recorder.js","sourceRoot":"","sources":["../../src/compiler/recorder.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,MAAM,EAAa,MAAM,kBAAkB,CAAC;AAGrD,OAAO,EAAE,UAAU,EAAE,eAAe,EAA4C,MAAM,eAAe,CAAC;AACtG,OAAO,EAAE,WAAW,EAAE,QAAQ,EAA6D,MAAM,WAAW,CAAC;AAQ7G,MAAM,OAAO,QAAQ;IAQA;IACA;IARF,OAAO,GAAa,EAAE,CAAC;IACxC,6EAA6E;IACrE,IAAI,CAA4B;IACxC,8EAA8E;IACtE,QAAQ,CAA2B;IAE3C,YACmB,IAAU,EACV,OAAwB;QADxB,SAAI,GAAJ,IAAI,CAAM;QACV,YAAO,GAAP,OAAO,CAAiB;IACxC,CAAC;IAEI,OAAO,CAAC,GAAY;QAC1B,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;YACjB,KAAK,MAAM;gBACT,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAwC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;YAC/F,KAAK,QAAQ;gBACX,OAAO,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC3C,KAAK,MAAM;gBACT,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACvC,KAAK,OAAO;gBACV,OAAO,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACzC,KAAK,KAAK;gBACR,OAAO,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,KAAK,CAAC,IAAI,CAAC,MAAc,IAAI,CAAC,OAAO,CAAC,QAAQ;QAC5C,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;IAC3C,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,OAAgB;QAC1B,MAAM,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC;QACpC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;IAChD,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,OAAgB,EAAE,KAAa;QACxC,MAAM,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;IACtD,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,OAAgB;QAC1B,MAAM,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC;QACpC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;IAChD,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,OAAgB,EAAE,GAAW;QACvC,MAAM,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;IACrD,CAAC;IAED,uEAAuE;IACvE,KAAK,CAAC,UAAU,CAAC,OAAgB,EAAE,IAAY;QAC7C,MAAM,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACrD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3D,CAAC;IAED,KAAK,CAAC,aAAa,CAAC,OAAgB;QAClC,MAAM,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QAClD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,CAAC,CAAC;IACxD,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,GAAG,CAAC,OAAe,EAAE,UAA4B,EAAE;QACvD,IAAI,CAAC,IAAI,GAAG,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACzC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACxG,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IAED,kFAAkF;IAClF,KAAK,CAAC,YAAY,CAAC,SAA0B;QAC3C,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;QAC/E,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC;YAC3C,MAAM,IAAI,KAAK,CACb,4BAA4B,SAAS,CAAC,MAAM,YAAY,SAAS,CAAC,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAC7G,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC;IACxH,CAAC;IAED,qFAAqF;IACrF,KAAK,CAAC,UAAU,CAAC,IAAY;QAC3B,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;QAC7E,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CAAC,mCAAmC,IAAI,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QACpF,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,CAAC;IAED,gFAAgF;IAChF,KAAK,CAAC,OAAO,CAAC,KAAuB;QACnC,IAAI,CAAC,QAAQ,GAAG,MAAM,WAAW,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;YAChB,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,GAAG,EAAE,KAAK,CAAC,GAAG;YACd,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClE,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC1D,CAAC,CAAC;QACH,OAAO,IAAI,CAAC,QAAQ,CAAC;IACvB,CAAC;IAED,mFAAmF;IACnF,KAAK,CAAC,YAAY,CAAC,MAAc;QAC/B,IAAI,CAAC,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;QAC/E,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YACpC,MAAM,IAAI,KAAK,CAAC,qCAAqC,MAAM,SAAS,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;QAC9F,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC,CAAC;IACtD,CAAC;IAED,4EAA4E;IAC5E,KAAK,CAAC,UAAU,CAAC,IAAY,EAAE,MAAkB;QAC/C,IAAI,CAAC,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;QAC7E,IAAI,MAAe,CAAC;QACpB,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC1C,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;QAClE,CAAC;QACD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACtC,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;YACtB,MAAM,IAAI,KAAK,CAAC,4BAA4B,IAAI,cAAc,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACzH,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IAC1D,CAAC;IAED,kEAAkE;IAClE,SAAS;QACP,OAAO;YACL,YAAY,EAAE,IAAI,CAAC,OAAO,CAAC,YAAY;YACvC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK;YACzB,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ;YAC/B,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;SAC3B,CAAC;IACJ,CAAC;CACF"}

package/dist/compiler/summary.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Render a recorded session into readable steps — the human-facing companion to
+ * the compiled spec. Where the emitter produces code for the machine to re-run,
+ * {@link summarizeSession} produces prose for a reviewer to read in the pull
+ * request: "Navigate to …", "Click the button 'Verify'", "Run `npm test`",
+ * "Expect the last command to exit 0". Pure: it reads the same {@link Action} IR.
+ */
+import type { RecordedSession } from "./actions.js";
+/** One readable line per recorded action, in order. */
+export declare function summarizeSession(session: RecordedSession): string[];
+//# sourceMappingURL=summary.d.ts.map

package/dist/compiler/summary.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"summary.d.ts","sourceRoot":"","sources":["../../src/compiler/summary.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAmB,eAAe,EAAE,MAAM,cAAc,CAAC;AAgDrE,uDAAuD;AACvD,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,eAAe,GAAG,MAAM,EAAE,CAEnE"}

package/dist/compiler/summary.js

@@ -0,0 +1,56 @@
+/**
+ * Render a recorded session into readable steps — the human-facing companion to
+ * the compiled spec. Where the emitter produces code for the machine to re-run,
+ * {@link summarizeSession} produces prose for a reviewer to read in the pull
+ * request: "Navigate to …", "Click the button 'Verify'", "Run `npm test`",
+ * "Expect the last command to exit 0". Pure: it reads the same {@link Action} IR.
+ */
+function locatorLabel(loc) {
+    switch (loc.kind) {
+        case "role":
+            return loc.name !== undefined ? `the ${loc.role} "${loc.name}"` : `the ${loc.role}`;
+        case "testId":
+            return `[${loc.testId}]`;
+        case "text":
+            return `"${loc.text}"`;
+        case "label":
+            return `the "${loc.label}" field`;
+        case "css":
+            return `\`${loc.selector}\``;
+    }
+}
+function describeAction(action) {
+    switch (action.type) {
+        case "goto":
+            return `Navigate to ${action.url}`;
+        case "click":
+            return `Click ${locatorLabel(action.locator)}`;
+        case "fill":
+            return `Fill ${locatorLabel(action.locator)} with "${action.value}"`;
+        case "check":
+            return `Check ${locatorLabel(action.locator)}`;
+        case "press":
+            return `Press ${action.key} on ${locatorLabel(action.locator)}`;
+        case "expectText":
+            return `Expect ${locatorLabel(action.locator)} to read "${action.text}"`;
+        case "expectVisible":
+            return `Expect ${locatorLabel(action.locator)} to be visible`;
+        case "run":
+            return `Run \`${action.command}\``;
+        case "expectOutput":
+            return `Expect the last command's ${action.stream} to ${action.match} "${action.value}"`;
+        case "expectExit":
+            return `Expect the last command to exit ${action.code}`;
+        case "request":
+            return `Request ${action.method} ${action.url}`;
+        case "expectStatus":
+            return `Expect HTTP status ${action.status}`;
+        case "expectJson":
+            return `Expect JSON ${action.path} to equal ${JSON.stringify(action.equals)}`;
+    }
+}
+/** One readable line per recorded action, in order. */
+export function summarizeSession(session) {
+    return session.actions.map(describeAction);
+}
+//# sourceMappingURL=summary.js.map

package/dist/compiler/summary.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"summary.js","sourceRoot":"","sources":["../../src/compiler/summary.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,SAAS,YAAY,CAAC,GAAY;IAChC,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,MAAM;YACT,OAAO,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,IAAI,EAAE,CAAC;QACtF,KAAK,QAAQ;YACX,OAAO,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC;QAC3B,KAAK,MAAM;YACT,OAAO,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC;QACzB,KAAK,OAAO;YACV,OAAO,QAAQ,GAAG,CAAC,KAAK,SAAS,CAAC;QACpC,KAAK,KAAK;YACR,OAAO,KAAK,GAAG,CAAC,QAAQ,IAAI,CAAC;IACjC,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,MAAc;IACpC,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,MAAM;YACT,OAAO,eAAe,MAAM,CAAC,GAAG,EAAE,CAAC;QACrC,KAAK,OAAO;YACV,OAAO,SAAS,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACjD,KAAK,MAAM;YACT,OAAO,QAAQ,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,MAAM,CAAC,KAAK,GAAG,CAAC;QACvE,KAAK,OAAO;YACV,OAAO,SAAS,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACjD,KAAK,OAAO;YACV,OAAO,SAAS,MAAM,CAAC,GAAG,OAAO,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QAClE,KAAK,YAAY;YACf,OAAO,UAAU,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,aAAa,MAAM,CAAC,IAAI,GAAG,CAAC;QAC3E,KAAK,eAAe;YAClB,OAAO,UAAU,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC;QAChE,KAAK,KAAK;YACR,OAAO,SAAS,MAAM,CAAC,OAAO,IAAI,CAAC;QACrC,KAAK,cAAc;YACjB,OAAO,6BAA6B,MAAM,CAAC,MAAM,OAAO,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK,GAAG,CAAC;QAC3F,KAAK,YAAY;YACf,OAAO,mCAAmC,MAAM,CAAC,IAAI,EAAE,CAAC;QAC1D,KAAK,SAAS;YACZ,OAAO,WAAW,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC;QAClD,KAAK,cAAc;YACjB,OAAO,sBAAsB,MAAM,CAAC,MAAM,EAAE,CAAC;QAC/C,KAAK,YAAY;YACf,OAAO,eAAe,MAAM,CAAC,IAAI,aAAa,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;IAClF,CAAC;AACH,CAAC;AAED,uDAAuD;AACvD,MAAM,UAAU,gBAAgB,CAAC,OAAwB;IACvD,OAAO,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;AAC7C,CAAC"}

package/dist/compiler/terminal.d.ts

@@ -0,0 +1,42 @@
+/**
+ * The terminal half of the drive — running shell commands and asserting their
+ * output, the second of the "browser and a terminal" tools ADR-083 sanctions.
+ *
+ * {@link runCommand} and {@link evalOutputMatch} are the single source of truth
+ * for how a command is executed and how its output is matched. The {@link
+ * Recorder} uses them while driving, and the emitted spec inlines an equivalent
+ * `runCommand` + the same `expect` shapes — so record and replay agree exactly,
+ * which is what lets the fidelity gate mean something for terminal sessions.
+ */
+/** The observable result of running one command. */
+export interface CommandResult {
+    stdout: string;
+    stderr: string;
+    /** Process exit code (0 when the process did not set one). */
+    code: number;
+}
+/** How a {@link CommandResult} stream is matched against an expected value. */
+export interface OutputAssertion {
+    match: "exact" | "contains" | "regex";
+    stream: "stdout" | "stderr";
+    value: string;
+}
+/**
+ * Run a shell command and capture its result. Uses `shell: true` so a recorded
+ * command string (pipes, args, redirects) runs as written. The command executes
+ * in the caller's own environment — a developer's terminal — exactly as the
+ * committed test will when re-run (the trust boundary stays human PR review,
+ * ADR-065).
+ *
+ * @throws when the process could not be spawned (a runner error, not a verdict).
+ */
+export declare function runCommand(command: string, options?: {
+    cwd?: string;
+}): CommandResult;
+/**
+ * Evaluate an output assertion against a result. This mirrors, byte for byte,
+ * the assertions {@link emitSpec} renders, so a recording that held here re-runs
+ * green in the compiled test.
+ */
+export declare function evalOutputMatch(result: CommandResult, assertion: OutputAssertion): boolean;
+//# sourceMappingURL=terminal.d.ts.map

package/dist/compiler/terminal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"terminal.d.ts","sourceRoot":"","sources":["../../src/compiler/terminal.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH,oDAAoD;AACpD,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,8DAA8D;IAC9D,IAAI,EAAE,MAAM,CAAC;CACd;AAED,+EAA+E;AAC/E,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,OAAO,GAAG,UAAU,GAAG,OAAO,CAAC;IACtC,MAAM,EAAE,QAAQ,GAAG,QAAQ,CAAC;IAC5B,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;;;;;GAQG;AACH,wBAAgB,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,GAAE;IAAE,GAAG,CAAC,EAAE,MAAM,CAAA;CAAO,GAAG,aAAa,CAQzF;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,eAAe,GAAG,OAAO,CAU1F"}

package/dist/compiler/terminal.js

@@ -0,0 +1,47 @@
+/**
+ * The terminal half of the drive — running shell commands and asserting their
+ * output, the second of the "browser and a terminal" tools ADR-083 sanctions.
+ *
+ * {@link runCommand} and {@link evalOutputMatch} are the single source of truth
+ * for how a command is executed and how its output is matched. The {@link
+ * Recorder} uses them while driving, and the emitted spec inlines an equivalent
+ * `runCommand` + the same `expect` shapes — so record and replay agree exactly,
+ * which is what lets the fidelity gate mean something for terminal sessions.
+ */
+import { spawnSync } from "node:child_process";
+/**
+ * Run a shell command and capture its result. Uses `shell: true` so a recorded
+ * command string (pipes, args, redirects) runs as written. The command executes
+ * in the caller's own environment — a developer's terminal — exactly as the
+ * committed test will when re-run (the trust boundary stays human PR review,
+ * ADR-065).
+ *
+ * @throws when the process could not be spawned (a runner error, not a verdict).
+ */
+export function runCommand(command, options = {}) {
+    const result = spawnSync(command, {
+        shell: true,
+        encoding: "utf8",
+        ...(options.cwd !== undefined ? { cwd: options.cwd } : {}),
+    });
+    if (result.error)
+        throw result.error;
+    return { stdout: result.stdout ?? "", stderr: result.stderr ?? "", code: result.status ?? 0 };
+}
+/**
+ * Evaluate an output assertion against a result. This mirrors, byte for byte,
+ * the assertions {@link emitSpec} renders, so a recording that held here re-runs
+ * green in the compiled test.
+ */
+export function evalOutputMatch(result, assertion) {
+    const actual = result[assertion.stream];
+    switch (assertion.match) {
+        case "exact":
+            return actual.trim() === assertion.value;
+        case "contains":
+            return actual.includes(assertion.value);
+        case "regex":
+            return new RegExp(assertion.value).test(actual);
+    }
+}
+//# sourceMappingURL=terminal.js.map

package/dist/compiler/terminal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"terminal.js","sourceRoot":"","sources":["../../src/compiler/terminal.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAiB/C;;;;;;;;GAQG;AACH,MAAM,UAAU,UAAU,CAAC,OAAe,EAAE,UAA4B,EAAE;IACxE,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,EAAE;QAChC,KAAK,EAAE,IAAI;QACX,QAAQ,EAAE,MAAM;QAChB,GAAG,CAAC,OAAO,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC3D,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,KAAK;QAAE,MAAM,MAAM,CAAC,KAAK,CAAC;IACrC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;AAChG,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,MAAqB,EAAE,SAA0B;IAC/E,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACxC,QAAQ,SAAS,CAAC,KAAK,EAAE,CAAC;QACxB,KAAK,OAAO;YACV,OAAO,MAAM,CAAC,IAAI,EAAE,KAAK,SAAS,CAAC,KAAK,CAAC;QAC3C,KAAK,UAAU;YACb,OAAO,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC1C,KAAK,OAAO;YACV,OAAO,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACpD,CAAC;AACH,CAAC"}

package/dist/compiler/types.d.ts

@@ -0,0 +1,25 @@
+/**
+ * The session→test compiler interface — Proofkeeper Initiative 2 (the moat).
+ *
+ * Faithfully compiling a real drive session into a durable, deterministic
+ * Playwright test — and proving it stable — is the hard, differentiating
+ * problem. The compiler reduces a {@link RecordedSession} (the authoritative
+ * recorded-action trace) to a candidate test.
+ */
+import type { RecordedSession } from "./actions.js";
+import type { CompiledTest } from "../runner/types.js";
+/** A test the compiler emitted from a session — a candidate, not yet trusted. */
+export interface CandidateTest extends CompiledTest {
+    /** The recorded session this test was compiled from. */
+    fromSession: RecordedSession;
+}
+/**
+ * Compiles a {@link RecordedSession} into a candidate Playwright test.
+ *
+ * The output is a *candidate*: it has not yet passed the fidelity gate
+ * (Initiative 3) and must not be trusted until it has.
+ */
+export interface Compiler {
+    compile(session: RecordedSession): Promise<CandidateTest>;
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/compiler/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEvD,iFAAiF;AACjF,MAAM,WAAW,aAAc,SAAQ,YAAY;IACjD,wDAAwD;IACxD,WAAW,EAAE,eAAe,CAAC;CAC9B;AAED;;;;;GAKG;AACH,MAAM,WAAW,QAAQ;IACvB,OAAO,CAAC,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;CAC3D"}

package/dist/compiler/types.js

@@ -0,0 +1,10 @@
+/**
+ * The session→test compiler interface — Proofkeeper Initiative 2 (the moat).
+ *
+ * Faithfully compiling a real drive session into a durable, deterministic
+ * Playwright test — and proving it stable — is the hard, differentiating
+ * problem. The compiler reduces a {@link RecordedSession} (the authoritative
+ * recorded-action trace) to a candidate test.
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/compiler/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/compiler/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG"}

package/dist/coverage/graph.d.ts

@@ -0,0 +1,55 @@
+/**
+ * The `rac export --graph` contract, as Proofkeeper consumes it.
+ *
+ * This mirrors the engine's published shape (rac-core `services/export.py`,
+ * ADR-074): a single whole-graph JSON object of typed nodes and edges. We
+ * model only what the coverage read-model needs and treat everything else as
+ * additive — unknown fields are ignored, never required — so the engine can
+ * grow the contract without breaking us (ADR-007, JSON contract stability).
+ *
+ * We are a contract consumer (ADR-063, ADR-083): this file parses the
+ * published JSON. It never reaches into the engine's internals.
+ */
+/** The edge kind Proofkeeper's coverage signal keys on (ADR-084). */
+export declare const VERIFIED_BY = "verified_by";
+/** A classified corpus artifact. Capabilities are nodes of type `requirement`. */
+export interface GraphNode {
+    id: string;
+    type: string;
+    status: string;
+    title: string;
+}
+/**
+ * One typed relationship edge. `verified_by` is directed (capability → test)
+ * and external-target, so it is always emitted with `resolved: false` and the
+ * literal test/trace reference as `target` (ADR-084).
+ */
+export interface GraphEdge {
+    source: string;
+    target: string;
+    type: string;
+    directed: boolean;
+    resolved: boolean;
+}
+/** The whole-graph projection emitted by `rac export --graph`. */
+export interface Graph {
+    schema_version: string;
+    source: string;
+    nodes: GraphNode[];
+    edges: GraphEdge[];
+}
+/** Raised when input is not a recognizable graph export. Maps to exit code 2. */
+export declare class GraphParseError extends Error {
+    constructor(message: string);
+}
+/**
+ * Parse a `rac export --graph` JSON string into a typed {@link Graph}.
+ *
+ * Strict about the shape the coverage model depends on (nodes/edges arrays and
+ * their required string fields), tolerant of additive fields the engine may
+ * introduce later.
+ *
+ * @throws {GraphParseError} when the input is not a recognizable graph export.
+ */
+export declare function parseGraph(json: string): Graph;
+//# sourceMappingURL=graph.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"graph.d.ts","sourceRoot":"","sources":["../../src/coverage/graph.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,qEAAqE;AACrE,eAAO,MAAM,WAAW,gBAAgB,CAAC;AAEzC,kFAAkF;AAClF,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;GAIG;AACH,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,OAAO,CAAC;IAClB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,kEAAkE;AAClE,MAAM,WAAW,KAAK;IACpB,cAAc,EAAE,MAAM,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,KAAK,EAAE,SAAS,EAAE,CAAC;CACpB;AAED,iFAAiF;AACjF,qBAAa,eAAgB,SAAQ,KAAK;gBAC5B,OAAO,EAAE,MAAM;CAI5B;AAsCD;;;;;;;;GAQG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,CAsB9C"}

package/dist/coverage/graph.js

@@ -0,0 +1,87 @@
+/**
+ * The `rac export --graph` contract, as Proofkeeper consumes it.
+ *
+ * This mirrors the engine's published shape (rac-core `services/export.py`,
+ * ADR-074): a single whole-graph JSON object of typed nodes and edges. We
+ * model only what the coverage read-model needs and treat everything else as
+ * additive — unknown fields are ignored, never required — so the engine can
+ * grow the contract without breaking us (ADR-007, JSON contract stability).
+ *
+ * We are a contract consumer (ADR-063, ADR-083): this file parses the
+ * published JSON. It never reaches into the engine's internals.
+ */
+/** The edge kind Proofkeeper's coverage signal keys on (ADR-084). */
+export const VERIFIED_BY = "verified_by";
+/** Raised when input is not a recognizable graph export. Maps to exit code 2. */
+export class GraphParseError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = "GraphParseError";
+    }
+}
+function isObject(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+function asString(value, where) {
+    if (typeof value !== "string") {
+        throw new GraphParseError(`expected a string at ${where}, got ${typeof value}`);
+    }
+    return value;
+}
+function parseNode(raw, index) {
+    if (!isObject(raw)) {
+        throw new GraphParseError(`nodes[${index}] is not an object`);
+    }
+    return {
+        id: asString(raw["id"], `nodes[${index}].id`),
+        type: asString(raw["type"], `nodes[${index}].type`),
+        status: asString(raw["status"], `nodes[${index}].status`),
+        title: asString(raw["title"], `nodes[${index}].title`),
+    };
+}
+function parseEdge(raw, index) {
+    if (!isObject(raw)) {
+        throw new GraphParseError(`edges[${index}] is not an object`);
+    }
+    return {
+        source: asString(raw["source"], `edges[${index}].source`),
+        target: asString(raw["target"], `edges[${index}].target`),
+        type: asString(raw["type"], `edges[${index}].type`),
+        directed: Boolean(raw["directed"]),
+        resolved: Boolean(raw["resolved"]),
+    };
+}
+/**
+ * Parse a `rac export --graph` JSON string into a typed {@link Graph}.
+ *
+ * Strict about the shape the coverage model depends on (nodes/edges arrays and
+ * their required string fields), tolerant of additive fields the engine may
+ * introduce later.
+ *
+ * @throws {GraphParseError} when the input is not a recognizable graph export.
+ */
+export function parseGraph(json) {
+    let raw;
+    try {
+        raw = JSON.parse(json);
+    }
+    catch (err) {
+        throw new GraphParseError(`input is not valid JSON: ${err.message}`);
+    }
+    if (!isObject(raw)) {
+        throw new GraphParseError("graph export must be a JSON object");
+    }
+    if (!Array.isArray(raw["nodes"])) {
+        throw new GraphParseError("graph export is missing a `nodes` array");
+    }
+    if (!Array.isArray(raw["edges"])) {
+        throw new GraphParseError("graph export is missing an `edges` array");
+    }
+    return {
+        schema_version: typeof raw["schema_version"] === "string" ? raw["schema_version"] : "",
+        source: typeof raw["source"] === "string" ? raw["source"] : "",
+        nodes: raw["nodes"].map(parseNode),
+        edges: raw["edges"].map(parseEdge),
+    };
+}
+//# sourceMappingURL=graph.js.map

package/dist/coverage/graph.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph.js","sourceRoot":"","sources":["../../src/coverage/graph.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,qEAAqE;AACrE,MAAM,CAAC,MAAM,WAAW,GAAG,aAAa,CAAC;AA+BzC,iFAAiF;AACjF,MAAM,OAAO,eAAgB,SAAQ,KAAK;IACxC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;IAChC,CAAC;CACF;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc,EAAE,KAAa;IAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,eAAe,CAAC,wBAAwB,KAAK,SAAS,OAAO,KAAK,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,SAAS,CAAC,GAAY,EAAE,KAAa;IAC5C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACnB,MAAM,IAAI,eAAe,CAAC,SAAS,KAAK,oBAAoB,CAAC,CAAC;IAChE,CAAC;IACD,OAAO;QACL,EAAE,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,SAAS,KAAK,MAAM,CAAC;QAC7C,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,SAAS,KAAK,QAAQ,CAAC;QACnD,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,SAAS,KAAK,UAAU,CAAC;QACzD,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,SAAS,KAAK,SAAS,CAAC;KACvD,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,GAAY,EAAE,KAAa;IAC5C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACnB,MAAM,IAAI,eAAe,CAAC,SAAS,KAAK,oBAAoB,CAAC,CAAC;IAChE,CAAC;IACD,OAAO;QACL,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,SAAS,KAAK,UAAU,CAAC;QACzD,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,SAAS,KAAK,UAAU,CAAC;QACzD,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,SAAS,KAAK,QAAQ,CAAC;QACnD,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAClC,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;KACnC,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,IAAI,GAAY,CAAC;IACjB,IAAI,CAAC;QACH,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACzB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,IAAI,eAAe,CAAC,4BAA6B,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACnB,MAAM,IAAI,eAAe,CAAC,oCAAoC,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,eAAe,CAAC,yCAAyC,CAAC,CAAC;IACvE,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,eAAe,CAAC,0CAA0C,CAAC,CAAC;IACxE,CAAC;IACD,OAAO;QACL,cAAc,EAAE,OAAO,GAAG,CAAC,gBAAgB,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,EAAE;QACtF,MAAM,EAAE,OAAO,GAAG,CAAC,QAAQ,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE;QAC9D,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC;QAClC,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC;KACnC,CAAC;AACJ,CAAC"}

package/dist/coverage/model.d.ts

@@ -0,0 +1,36 @@
+/**
+ * The coverage read-model — Proofkeeper Initiative 1.
+ *
+ * Pure functions over a parsed {@link Graph}: no I/O, no browser, no model.
+ * The signal is exact and deterministic (ADR-084): a *capability* is a
+ * requirement node, and it is *verified* iff some `verified_by` edge has it as
+ * source. Because `verified_by` targets are external test/trace paths, those
+ * edges always carry `resolved: false` and a literal target — which is the
+ * reference we surface, not a corpus id.
+ */
+import { type Graph } from "./graph.js";
+/** The artifact type whose nodes are product capabilities (ADR-020). */
+export declare const CAPABILITY_TYPE = "requirement";
+/** A capability with the (external) references that verify it, if any. */
+export interface CapabilityCoverage {
+    id: string;
+    title: string;
+    status: string;
+    /** Literal `verified_by` targets (test/trace paths). Empty ⇒ unverified. */
+    verifiedBy: string[];
+}
+/** The whole-corpus coverage answer to "what is unverified?". */
+export interface CoverageReport {
+    source: string;
+    total: number;
+    verified: CapabilityCoverage[];
+    unverified: CapabilityCoverage[];
+}
+/**
+ * Compute verification coverage over a graph export.
+ *
+ * Capabilities are sorted by id for deterministic output (the engine already
+ * emits sorted nodes, but we do not depend on that).
+ */
+export declare function computeCoverage(graph: Graph): CoverageReport;
+//# sourceMappingURL=model.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../src/coverage/model.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAe,KAAK,KAAK,EAAkB,MAAM,YAAY,CAAC;AAErE,wEAAwE;AACxE,eAAO,MAAM,eAAe,gBAAgB,CAAC;AAE7C,0EAA0E;AAC1E,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,4EAA4E;IAC5E,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,iEAAiE;AACjE,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,kBAAkB,EAAE,CAAC;IAC/B,UAAU,EAAE,kBAAkB,EAAE,CAAC;CAClC;AAMD;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,KAAK,GAAG,cAAc,CAkC5D"}

package/dist/coverage/model.js

@@ -0,0 +1,57 @@
+/**
+ * The coverage read-model — Proofkeeper Initiative 1.
+ *
+ * Pure functions over a parsed {@link Graph}: no I/O, no browser, no model.
+ * The signal is exact and deterministic (ADR-084): a *capability* is a
+ * requirement node, and it is *verified* iff some `verified_by` edge has it as
+ * source. Because `verified_by` targets are external test/trace paths, those
+ * edges always carry `resolved: false` and a literal target — which is the
+ * reference we surface, not a corpus id.
+ */
+import { VERIFIED_BY } from "./graph.js";
+/** The artifact type whose nodes are product capabilities (ADR-020). */
+export const CAPABILITY_TYPE = "requirement";
+function isCapability(node) {
+    return node.type === CAPABILITY_TYPE;
+}
+/**
+ * Compute verification coverage over a graph export.
+ *
+ * Capabilities are sorted by id for deterministic output (the engine already
+ * emits sorted nodes, but we do not depend on that).
+ */
+export function computeCoverage(graph) {
+    // Map each capability id to its external verifier references.
+    const verifiersById = new Map();
+    for (const node of graph.nodes) {
+        if (isCapability(node)) {
+            verifiersById.set(node.id, []);
+        }
+    }
+    for (const edge of graph.edges) {
+        if (edge.type !== VERIFIED_BY)
+            continue;
+        const targets = verifiersById.get(edge.source);
+        // Only count edges originating at a known capability node.
+        if (targets)
+            targets.push(edge.target);
+    }
+    const capabilities = graph.nodes
+        .filter(isCapability)
+        .map((node) => ({
+        id: node.id,
+        title: node.title,
+        status: node.status,
+        verifiedBy: verifiersById.get(node.id) ?? [],
+    }))
+        .sort((a, b) => a.id.localeCompare(b.id));
+    const verified = capabilities.filter((c) => c.verifiedBy.length > 0);
+    const unverified = capabilities.filter((c) => c.verifiedBy.length === 0);
+    return {
+        source: graph.source,
+        total: capabilities.length,
+        verified,
+        unverified,
+    };
+}
+//# sourceMappingURL=model.js.map

package/dist/coverage/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../src/coverage/model.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,WAAW,EAA8B,MAAM,YAAY,CAAC;AAErE,wEAAwE;AACxE,MAAM,CAAC,MAAM,eAAe,GAAG,aAAa,CAAC;AAmB7C,SAAS,YAAY,CAAC,IAAe;IACnC,OAAO,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC;AACvC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,KAAY;IAC1C,8DAA8D;IAC9D,MAAM,aAAa,GAAG,IAAI,GAAG,EAAoB,CAAC;IAClD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;YAAE,SAAS;QACxC,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC/C,2DAA2D;QAC3D,IAAI,OAAO;YAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACzC,CAAC;IAED,MAAM,YAAY,GAAG,KAAK,CAAC,KAAK;SAC7B,MAAM,CAAC,YAAY,CAAC;SACpB,GAAG,CAAqB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAClC,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,UAAU,EAAE,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE;KAC7C,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAE5C,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACrE,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;IAEzE,OAAO;QACL,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,KAAK,EAAE,YAAY,CAAC,MAAM;QAC1B,QAAQ;QACR,UAAU;KACX,CAAC;AACJ,CAAC"}