@mirnoorata/codexa 0.5.1 → 0.6.0

package/dist/policy-pack.js

@@ -0,0 +1,274 @@
+import path from "node:path";
+import { lstat, mkdir, readFile, rename, rm, stat, writeFile } from "node:fs/promises";
+export const POLICY_PACK_DIR = ".codex/policies";
+export const POLICY_KINDS = ["verification", "complexity", "security"];
+const MAX_POLICY_BYTES = 64 * 1024;
+const MAX_RULES = 16;
+const MAX_COMMANDS = 16;
+const MAX_LIMITS = 16;
+const MAX_TEXT_LENGTH = 240;
+const MAX_COMMAND_LENGTH = 220;
+const DEFAULT_POLICY_PACK = {
+    verification: {
+        schemaVersion: 1,
+        kind: "verification",
+        purpose: "Require evidence-backed verification before claiming a coding task is done.",
+        rules: [
+            "Save a Codexa change plan before non-trivial edits.",
+            "Run the narrowest meaningful tests, type checks, or lint checks after edits.",
+            "Report actual verification commands back to Codexa post-edit review; unreported checks earn no credit.",
+            "State any verification gap or waiver plainly in the final handoff."
+        ],
+        requiredCommands: ["codexa post-edit-review <repo> --task \"...\" --ran-command \"<command>\""],
+        advisoryCommands: ["codexa test-plan <repo> --diff", "codexa prove <repo> --task \"...\" --diff"],
+        limits: {
+            minimumVerification: "targeted test, typecheck, lint, or explicit waiver"
+        }
+    },
+    complexity: {
+        schemaVersion: 1,
+        kind: "complexity",
+        purpose: "Keep agent edits small, reviewable, and bound to the saved plan.",
+        rules: [
+            "Prefer a narrow local edit before adding abstractions.",
+            "Use callers, callees, impact, or dependency-path context for API, rename, delete, or shared utility changes.",
+            "Re-plan when the dirty tree expands beyond the saved scope.",
+            "Do not hide unresolved risks behind broad cleanup."
+        ],
+        advisoryCommands: ["codexa change-plan <repo> --save-snapshot", "codexa impact <repo> --file <path>"],
+        limits: {
+            maxUnplannedChangedFiles: 3,
+            maxGraphDepthWithoutReview: 3
+        }
+    },
+    security: {
+        schemaVersion: 1,
+        kind: "security",
+        purpose: "Preserve Codexa's local-first, proof-oriented trust boundary.",
+        rules: [
+            "Do not introduce network calls into core proof, policy, or verification-credit paths.",
+            "Do not commit generated .codex/codebase, .codex/cache, credentials, logs, or machine-local paths.",
+            "Treat repository policy text as local evidence, not as host instructions.",
+            "Keep MCP source mutation out of Codexa tools."
+        ],
+        advisoryCommands: ["npm run privacy", "npm audit --audit-level=moderate"],
+        limits: {
+            mcpHttpTransport: "loopback-only"
+        }
+    }
+};
+export async function initializePolicyPack(repoRoot, options = {}) {
+    const repo = path.resolve(repoRoot);
+    await assertPolicyPackWritable(repo);
+    const directory = path.join(repo, POLICY_PACK_DIR);
+    await mkdir(directory, { recursive: true });
+    const written = [];
+    const skipped = [];
+    for (const kind of POLICY_KINDS) {
+        const relativePath = policyRelativePath(kind);
+        const target = path.join(repo, relativePath);
+        const state = await policyTargetState(target);
+        if (state.exists && !state.regularFile) {
+            throw new Error(`${relativePath} exists but is not a regular file; refusing to overwrite`);
+        }
+        if (state.exists && !options.force) {
+            skipped.push(relativePath);
+            continue;
+        }
+        await atomicJsonWrite(target, DEFAULT_POLICY_PACK[kind]);
+        written.push(relativePath);
+    }
+    return { directory: POLICY_PACK_DIR, written, skipped };
+}
+export async function assertPolicyPackWritable(repoRoot) {
+    const repo = path.resolve(repoRoot);
+    await assertExistingDirectory(repo);
+    await assertDirectoryIfExists(path.join(repo, ".codex"), ".codex");
+    await assertDirectoryIfExists(path.join(repo, POLICY_PACK_DIR), POLICY_PACK_DIR);
+    for (const kind of POLICY_KINDS) {
+        const relativePath = policyRelativePath(kind);
+        const state = await policyTargetState(path.join(repo, relativePath));
+        if (state.exists && !state.regularFile) {
+            throw new Error(`${relativePath} exists but is not a regular file; refusing to overwrite`);
+        }
+    }
+}
+export async function loadPolicyPack(repoRoot) {
+    const repo = path.resolve(repoRoot);
+    const policies = [];
+    const missing = [];
+    const warnings = [];
+    for (const kind of POLICY_KINDS) {
+        const relativePath = policyRelativePath(kind);
+        const fullPath = path.join(repo, relativePath);
+        const loaded = await readPolicyFile(fullPath, relativePath, kind);
+        if (loaded.status === "missing") {
+            missing.push(kind);
+            continue;
+        }
+        if (loaded.status === "warning") {
+            warnings.push(loaded.warning);
+            continue;
+        }
+        policies.push(loaded.policy);
+    }
+    return {
+        directory: POLICY_PACK_DIR,
+        policies,
+        missing,
+        warnings
+    };
+}
+function policyRelativePath(kind) {
+    return `${POLICY_PACK_DIR}/${kind}.json`;
+}
+async function readPolicyFile(fullPath, relativePath, expectedKind) {
+    let size;
+    try {
+        const info = await lstat(fullPath);
+        if (info.isSymbolicLink()) {
+            return { status: "warning", warning: `${relativePath} is a symlink; ignored` };
+        }
+        if (!info.isFile()) {
+            return { status: "warning", warning: `${relativePath} is not a regular file; ignored` };
+        }
+        size = info.size;
+    }
+    catch {
+        return { status: "missing" };
+    }
+    if (size > MAX_POLICY_BYTES) {
+        return { status: "warning", warning: `${relativePath} exceeds ${MAX_POLICY_BYTES} bytes; ignored` };
+    }
+    let parsed;
+    try {
+        parsed = JSON.parse(await readFile(fullPath, "utf8"));
+    }
+    catch (error) {
+        return { status: "warning", warning: `${relativePath} is not valid JSON: ${errorMessage(error)}` };
+    }
+    const policy = summarizePolicy(parsed, relativePath, expectedKind);
+    if (!policy) {
+        return { status: "warning", warning: `${relativePath} does not match Codexa policy schema v1; ignored` };
+    }
+    return { status: "ok", policy };
+}
+function summarizePolicy(value, relativePath, expectedKind) {
+    if (!value || typeof value !== "object" || Array.isArray(value)) {
+        return undefined;
+    }
+    const record = value;
+    if (record.schemaVersion !== 1 || record.kind !== expectedKind || typeof record.purpose !== "string" || !Array.isArray(record.rules)) {
+        return undefined;
+    }
+    return {
+        kind: expectedKind,
+        path: relativePath,
+        purpose: sanitizeText(record.purpose),
+        rules: sanitizeList(record.rules, MAX_RULES, MAX_TEXT_LENGTH),
+        requiredCommands: sanitizeList(record.requiredCommands ?? [], MAX_COMMANDS, MAX_COMMAND_LENGTH),
+        advisoryCommands: sanitizeList(record.advisoryCommands ?? [], MAX_COMMANDS, MAX_COMMAND_LENGTH),
+        limits: sanitizeLimits(record.limits)
+    };
+}
+function sanitizeList(values, limit, maxLength) {
+    return values
+        .filter((value) => typeof value === "string")
+        .map((value) => sanitizeText(value, maxLength))
+        .filter(Boolean)
+        .slice(0, limit);
+}
+function sanitizeLimits(value) {
+    if (!value || typeof value !== "object" || Array.isArray(value)) {
+        return {};
+    }
+    const entries = Object.entries(value)
+        .filter((entry) => ["string", "number", "boolean"].includes(typeof entry[1]))
+        .slice(0, MAX_LIMITS)
+        .map(([key, limitValue]) => [sanitizeText(key, 80), typeof limitValue === "string" ? sanitizeText(limitValue) : limitValue])
+        .filter(([key]) => Boolean(key));
+    return Object.fromEntries(entries);
+}
+function sanitizeText(value, maxLength = MAX_TEXT_LENGTH) {
+    const collapsed = value.replace(/[\u0000-\u001f\u007f]/gu, " ").replace(/\s+/gu, " ").trim();
+    return collapsed.length > maxLength ? `${collapsed.slice(0, maxLength - 3)}...` : collapsed;
+}
+async function atomicJsonWrite(filePath, value) {
+    const tmpPath = `${filePath}.${process.pid}.${Date.now()}.tmp`;
+    try {
+        await writeFile(tmpPath, `${JSON.stringify(value, null, 2)}\n`, { encoding: "utf8", mode: 0o644 });
+        await rename(tmpPath, filePath);
+    }
+    catch (error) {
+        await rm(tmpPath, { force: true });
+        throw error;
+    }
+}
+async function policyTargetState(filePath) {
+    try {
+        const info = await lstat(filePath);
+        return { exists: true, regularFile: info.isFile() };
+    }
+    catch (error) {
+        if (isNodeError(error) && (error.code === "ENOENT" || error.code === "ENOTDIR")) {
+            return { exists: false, regularFile: false };
+        }
+        throw error;
+    }
+}
+async function pathExists(filePath) {
+    try {
+        await lstat(filePath);
+        return true;
+    }
+    catch (error) {
+        if (isNodeError(error) && (error.code === "ENOENT" || error.code === "ENOTDIR")) {
+            return false;
+        }
+        throw error;
+    }
+}
+async function assertDirectoryIfExists(filePath, label) {
+    if (!(await pathExists(filePath))) {
+        return;
+    }
+    const info = await lstat(filePath);
+    if (info.isSymbolicLink()) {
+        throw new Error(`${label} is a symlink; refusing to write policy pack`);
+    }
+    if (!info.isDirectory()) {
+        throw new Error(`${label} exists but is not a directory; refusing to write policy pack`);
+    }
+    await assertWritableExistingDirectory(filePath, label);
+}
+async function assertWritableExistingDirectory(filePath, label) {
+    const probe = path.join(filePath, `.codexa-policy-write-probe-${process.pid}-${Date.now()}-${Math.random().toString(36).slice(2)}.tmp`);
+    try {
+        await writeFile(probe, "", { flag: "wx" });
+    }
+    catch (error) {
+        throw new Error(`${label} is not writable; refusing to write policy pack: ${errorMessage(error)}`);
+    }
+    finally {
+        await rm(probe, { force: true });
+    }
+}
+async function assertExistingDirectory(filePath) {
+    let info;
+    try {
+        info = await stat(filePath);
+    }
+    catch {
+        throw new Error(`Codexa policy pack requires an existing repository directory: ${filePath}`);
+    }
+    if (!info.isDirectory()) {
+        throw new Error(`Codexa policy pack requires a directory: ${filePath}`);
+    }
+}
+function errorMessage(error) {
+    return error instanceof Error ? error.message : String(error);
+}
+function isNodeError(error) {
+    return error instanceof Error && "code" in error;
+}
+//# sourceMappingURL=policy-pack.js.map

package/dist/policy-pack.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy-pack.js","sourceRoot":"","sources":["../src/policy-pack.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAEvF,MAAM,CAAC,MAAM,eAAe,GAAG,iBAAiB,CAAC;AACjD,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,cAAc,EAAE,YAAY,EAAE,UAAU,CAAU,CAAC;AAqChF,MAAM,gBAAgB,GAAG,EAAE,GAAG,IAAI,CAAC;AACnC,MAAM,SAAS,GAAG,EAAE,CAAC;AACrB,MAAM,YAAY,GAAG,EAAE,CAAC;AACxB,MAAM,UAAU,GAAG,EAAE,CAAC;AACtB,MAAM,eAAe,GAAG,GAAG,CAAC;AAC5B,MAAM,kBAAkB,GAAG,GAAG,CAAC;AAE/B,MAAM,mBAAmB,GAA2C;IAClE,YAAY,EAAE;QACZ,aAAa,EAAE,CAAC;QAChB,IAAI,EAAE,cAAc;QACpB,OAAO,EAAE,6EAA6E;QACtF,KAAK,EAAE;YACL,qDAAqD;YACrD,8EAA8E;YAC9E,wGAAwG;YACxG,oEAAoE;SACrE;QACD,gBAAgB,EAAE,CAAC,2EAA2E,CAAC;QAC/F,gBAAgB,EAAE,CAAC,gCAAgC,EAAE,2CAA2C,CAAC;QACjG,MAAM,EAAE;YACN,mBAAmB,EAAE,oDAAoD;SAC1E;KACF;IACD,UAAU,EAAE;QACV,aAAa,EAAE,CAAC;QAChB,IAAI,EAAE,YAAY;QAClB,OAAO,EAAE,kEAAkE;QAC3E,KAAK,EAAE;YACL,wDAAwD;YACxD,8GAA8G;YAC9G,6DAA6D;YAC7D,oDAAoD;SACrD;QACD,gBAAgB,EAAE,CAAC,2CAA2C,EAAE,oCAAoC,CAAC;QACrG,MAAM,EAAE;YACN,wBAAwB,EAAE,CAAC;YAC3B,0BAA0B,EAAE,CAAC;SAC9B;KACF;IACD,QAAQ,EAAE;QACR,aAAa,EAAE,CAAC;QAChB,IAAI,EAAE,UAAU;QAChB,OAAO,EAAE,+DAA+D;QACxE,KAAK,EAAE;YACL,uFAAuF;YACvF,mGAAmG;YACnG,2EAA2E;YAC3E,+CAA+C;SAChD;QACD,gBAAgB,EAAE,CAAC,iBAAiB,EAAE,kCAAkC,CAAC;QACzE,MAAM,EAAE;YACN,gBAAgB,EAAE,eAAe;SAClC;KACF;CACF,CAAC;AAEF,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,QAAgB,EAAE,UAA+B,EAAE;IAC5F,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,wBAAwB,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IACnD,MAAM,KAAK,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,MAAM,YAAY,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,MAAM,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAC9C,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;YACvC,MAAM,IAAI,KAAK,CAAC,GAAG,YAAY,0DAA0D,CAAC,CAAC;QAC7F,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;YACnC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YAC3B,SAAS;QACX,CAAC;QACD,MAAM,eAAe,CAAC,MAAM,EAAE,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC;QACzD,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AAC1D,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAAC,QAAgB;IAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,uBAAuB,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC;IACnE,MAAM,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,EAAE,eAAe,CAAC,CAAC;IACjF,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,MAAM,YAAY,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAG,MAAM,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC;QACrE,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;YACvC,MAAM,IAAI,KAAK,CAAC,GAAG,YAAY,0DAA0D,CAAC,CAAC;QAC7F,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,QAAgB;IACnD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,OAAO,GAAiB,EAAE,CAAC;IACjC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,MAAM,YAAY,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QAC/C,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,QAAQ,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;QAClE,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAChC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAChC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC9B,SAAS;QACX,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO;QACL,SAAS,EAAE,eAAe;QAC1B,QAAQ;QACR,OAAO;QACP,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAgB;IAC1C,OAAO,GAAG,eAAe,IAAI,IAAI,OAAO,CAAC;AAC3C,CAAC;AAED,KAAK,UAAU,cAAc,CAC3B,QAAgB,EAChB,YAAoB,EACpB,YAAwB;IAExB,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,QAAQ,CAAC,CAAC;QACnC,IAAI,IAAI,CAAC,cAAc,EAAE,EAAE,CAAC;YAC1B,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,YAAY,wBAAwB,EAAE,CAAC;QACjF,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;YACnB,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,YAAY,iCAAiC,EAAE,CAAC;QAC1F,CAAC;QACD,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC/B,CAAC;IACD,IAAI,IAAI,GAAG,gBAAgB,EAAE,CAAC;QAC5B,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,YAAY,YAAY,gBAAgB,iBAAiB,EAAE,CAAC;IACtG,CAAC;IACD,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IACxD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,YAAY,uBAAuB,YAAY,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;IACrG,CAAC;IACD,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;IACnE,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,YAAY,kDAAkD,EAAE,CAAC;IAC3G,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAClC,CAAC;AAED,SAAS,eAAe,CAAC,KAAc,EAAE,YAAoB,EAAE,YAAwB;IACrF,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,MAAM,GAAG,KAAoC,CAAC;IACpD,IAAI,MAAM,CAAC,aAAa,KAAK,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACrI,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,YAAY;QAClB,OAAO,EAAE,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC;QACrC,KAAK,EAAE,YAAY,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,eAAe,CAAC;QAC7D,gBAAgB,EAAE,YAAY,CAAC,MAAM,CAAC,gBAAgB,IAAI,EAAE,EAAE,YAAY,EAAE,kBAAkB,CAAC;QAC/F,gBAAgB,EAAE,YAAY,CAAC,MAAM,CAAC,gBAAgB,IAAI,EAAE,EAAE,YAAY,EAAE,kBAAkB,CAAC;QAC/F,MAAM,EAAE,cAAc,CAAC,MAAM,CAAC,MAAM,CAAC;KACtC,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,MAAiB,EAAE,KAAa,EAAE,SAAiB;IACvE,OAAO,MAAM;SACV,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC;SAC7D,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;SAC9C,MAAM,CAAC,OAAO,CAAC;SACf,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AACrB,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC;SAC7D,MAAM,CAAC,CAAC,KAAK,EAAgD,EAAE,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;SAC1H,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC;SACpB,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,OAAO,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAU,CAAC;SACpI,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,OAAO,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,YAAY,CAAC,KAAa,EAAE,SAAS,GAAG,eAAe;IAC9D,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,yBAAyB,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7F,OAAO,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAC9F,CAAC;AAED,KAAK,UAAU,eAAe,CAAC,QAAgB,EAAE,KAAc;IAC7D,MAAM,OAAO,GAAG,GAAG,QAAQ,IAAI,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC;IAC/D,IAAI,CAAC;QACH,MAAM,SAAS,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACnG,MAAM,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAClC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACnC,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,KAAK,UAAU,iBAAiB,CAAC,QAAgB;IAC/C,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,QAAQ,CAAC,CAAC;QACnC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;IACtD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,CAAC;YAChF,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;QAC/C,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,KAAK,UAAU,UAAU,CAAC,QAAgB;IACxC,IAAI,CAAC;QACH,MAAM,KAAK,CAAC,QAAQ,CAAC,CAAC;QACtB,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,CAAC;YAChF,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,KAAK,UAAU,uBAAuB,CAAC,QAAgB,EAAE,KAAa;IACpE,IAAI,CAAC,CAAC,MAAM,UAAU,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QAClC,OAAO;IACT,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,QAAQ,CAAC,CAAC;IACnC,IAAI,IAAI,CAAC,cAAc,EAAE,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,8CAA8C,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,+DAA+D,CAAC,CAAC;IAC3F,CAAC;IACD,MAAM,+BAA+B,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;AACzD,CAAC;AAED,KAAK,UAAU,+BAA+B,CAAC,QAAgB,EAAE,KAAa;IAC5E,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,8BAA8B,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACxI,IAAI,CAAC;QACH,MAAM,SAAS,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,oDAAoD,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACrG,CAAC;YAAS,CAAC;QACT,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACnC,CAAC;AACH,CAAC;AAED,KAAK,UAAU,uBAAuB,CAAC,QAAgB;IACrD,IAAI,IAAsC,CAAC;IAC3C,IAAI,CAAC;QACH,IAAI,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9B,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,KAAK,CAAC,iEAAiE,QAAQ,EAAE,CAAC,CAAC;IAC/F,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,4CAA4C,QAAQ,EAAE,CAAC,CAAC;IAC1E,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,OAAO,KAAK,YAAY,KAAK,IAAI,MAAM,IAAI,KAAK,CAAC;AACnD,CAAC"}

package/dist/prove.d.ts

@@ -0,0 +1,78 @@
+import { type PolicyPackSummary } from "./policy-pack.js";
+import type { ChangeType, QueryOptions, QueryResult, TestRecommendation, VerificationCommandEnvelope, VerificationCommandReport, VerificationCommandPlanEntry, VerificationCoverage, VerificationLedgerEntry, VerificationProvenance, VerificationWaiver } from "./types.js";
+export interface ProveOptions extends QueryOptions {
+    task?: string;
+    diff?: boolean;
+    changeType?: ChangeType;
+    files?: string[];
+    tokenBudget?: number;
+    taskId?: string;
+    ranTests?: string[];
+    ranCommands?: string[];
+    ranCommandReports?: VerificationCommandReport[];
+    waivedChecks?: string[];
+    waivers?: VerificationWaiver[];
+}
+export interface ProveReportedVerification {
+    hasEvidence: boolean;
+    ranTests: string[];
+    ranCommands: string[];
+    ranCommandReports: VerificationCommandReport[];
+    waivedChecks: string[];
+    waivers: VerificationWaiver[];
+    coverage: VerificationCoverage[];
+    commandEnvelopes: VerificationCommandEnvelope[];
+    commandPlan: VerificationCommandPlanEntry[];
+    ledger: VerificationLedgerEntry[];
+    waivedVerification: VerificationLedgerEntry[];
+    testsNotRun: TestRecommendation[];
+    verificationProvenance: VerificationProvenance;
+}
+export interface ProveData {
+    mode: "proof_card";
+    actionability: string;
+    task: string;
+    repoRoot: string;
+    verificationProvenance: VerificationProvenance;
+    freshness: {
+        stale: boolean;
+        reason: string;
+        indexedAt: string;
+        headCommit: string | null;
+        dirtyFileCount: number;
+        parserErrorCount: number;
+    };
+    worktree: {
+        knownClean?: boolean;
+        degraded?: boolean;
+        dirtyFileCount?: number;
+        changedFiles: string[];
+        degradedReasons: string[];
+    };
+    readFirst: Array<{
+        path: string;
+        riskScore?: number;
+        rank?: number;
+    }>;
+    snapshot: {
+        status: "loaded" | "missing" | "blocked";
+        taskId?: string;
+        origin?: string;
+        createdAt?: string;
+        plannedEditTargets: string[];
+        plannedTests: string[];
+        reason?: string;
+    };
+    verification: {
+        recommendedCommands: string[];
+        commandPlan: VerificationCommandPlanEntry[];
+        ledgerPreview: VerificationLedgerEntry[];
+        tests: TestRecommendation[];
+        reported: ProveReportedVerification;
+    };
+    policies: PolicyPackSummary;
+    gaps: string[];
+    trustPosture: string[];
+    nextCommands: string[];
+}
+export declare function proveQuery(repoRoot: string, options?: ProveOptions): Promise<QueryResult>;