audit-tools 0.51.7 → 0.51.9

package/dist/audit/orchestrator/charterDeltaExecutor.d.ts

@@ -1,24 +0,0 @@
-import type { ArtifactBundle } from "../io/artifacts.js";
-import type { ExecutorRunResult } from "./executorResult.js";
-import { type CharterDeltaSubmission } from "audit-tools/shared";
-/**
- * Charter-DELTA executor (Phase C.2). The INDEPENDENT delta-miner half of the
- * charter layer: the charter-extraction pass authored the charters only and left
- * the register with `deltas_pending`; this pass reads those already-assembled
- * charters and mines the pairwise deltas + the goal DAG across subsystems. Keeping
- * it a SEPARATE pass realigns to the design of record — no author marks its own
- * homework, `revealed` was extracted blind to the deltas it will later disagree
- * with. Two modes, mirroring charter_extraction:
- *
- * - **omit** (no register, register not `deltas_pending`, or no submission): write
- *   the register back with `deltas_pending: false` and its existing (possibly
- *   empty) deltas/findings/goal_graph — the obligation self-satisfies with no host
- *   turn (e.g. an omitted register, or a register with no subsystems to mine).
- * - **ingest** (a `deltas_pending` register + a host submission): assemble the
- *   routed+gated deltas from the submission (the deterministic enforcement half —
- *   the design's routing table, the Phase-A low-confidence gate; `assembleDeltas`),
- *   ground every surfaced delta-finding's evidence against disk, and clear
- *   `deltas_pending`.
- */
-export declare function runCharterDeltaExecutor(bundle: ArtifactBundle, submission: CharterDeltaSubmission | undefined): ExecutorRunResult;
-//# sourceMappingURL=charterDeltaExecutor.d.ts.map

package/dist/audit/orchestrator/charterDeltaExecutor.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"charterDeltaExecutor.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/charterDeltaExecutor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAK7D,OAAO,EAGL,KAAK,sBAAsB,EAC5B,MAAM,oBAAoB,CAAC;AAE5B;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,cAAc,EACtB,UAAU,EAAE,sBAAsB,GAAG,SAAS,GAC7C,iBAAiB,CA6GnB"}

package/dist/audit/orchestrator/charterDeltaExecutor.js

@@ -1,128 +0,0 @@
-import { CHARTER_REGISTER_SCHEMA_VERSION, } from "../types/charterRegister.js";
-import { assembleDeltas, groundDesignFindings, } from "audit-tools/shared";
-/**
- * Charter-DELTA executor (Phase C.2). The INDEPENDENT delta-miner half of the
- * charter layer: the charter-extraction pass authored the charters only and left
- * the register with `deltas_pending`; this pass reads those already-assembled
- * charters and mines the pairwise deltas + the goal DAG across subsystems. Keeping
- * it a SEPARATE pass realigns to the design of record — no author marks its own
- * homework, `revealed` was extracted blind to the deltas it will later disagree
- * with. Two modes, mirroring charter_extraction:
- *
- * - **omit** (no register, register not `deltas_pending`, or no submission): write
- *   the register back with `deltas_pending: false` and its existing (possibly
- *   empty) deltas/findings/goal_graph — the obligation self-satisfies with no host
- *   turn (e.g. an omitted register, or a register with no subsystems to mine).
- * - **ingest** (a `deltas_pending` register + a host submission): assemble the
- *   routed+gated deltas from the submission (the deterministic enforcement half —
- *   the design's routing table, the Phase-A low-confidence gate; `assembleDeltas`),
- *   ground every surfaced delta-finding's evidence against disk, and clear
- *   `deltas_pending`.
- */
-export function runCharterDeltaExecutor(bundle, submission) {
-    const generated_at = new Date().toISOString();
-    const register = bundle.charter_register;
-    if (!register || register.deltas_pending !== true || !submission) {
-        // Nothing to mine (or nothing to mine it FROM): settle the register so the
-        // obligation is satisfied without a host turn. Preserve whatever deltas/
-        // findings/goal_graph it already carries (normally empty).
-        // A `deltas_pending` register settled with NO submission is a DEAD-MINER
-        // settle, not a clean mine (a clean mine affirms `no_deltas: true` on its
-        // submission). Record the distinction on the register so downstream readers
-        // never mistake "no miner ran" for "mined clean".
-        const deadMinerSettle = register !== undefined && register.deltas_pending === true && !submission;
-        const settled = register
-            ? {
-                ...register,
-                generated_at,
-                deltas_pending: false,
-                ...(deadMinerSettle
-                    ? {
-                        validation_issues: [
-                            ...register.validation_issues,
-                            "deltas settled without a miner submission — deltas here are UNMINED, not affirmed-clean (a clean mine submits `no_deltas: true`).",
-                        ],
-                    }
-                    : {}),
-            }
-            : {
-                schema_version: CHARTER_REGISTER_SCHEMA_VERSION,
-                generated_at,
-                target: "charter",
-                ceiling: { rung: "shallow" },
-                status: "omitted",
-                subsystems: [],
-                goal_graph: { nodes: [], edges: [] },
-                deltas: [],
-                findings: [],
-                triangulated: [],
-                disagreement: [],
-                validation_issues: [],
-                // There is no register to mine, so nothing was authored and nothing is
-                // certified. `no_citations` rather than `checked`: this pass examined
-                // no work, and an affirmation over work never examined is the exact
-                // false-green the field exists to close. (The settle branch above
-                // spreads the existing register, so a real one carries its own
-                // affirmation and coverage through unchanged.)
-                citation_validation: {
-                    status: "no_citations",
-                    citation_count: 0,
-                    checked_count: 0,
-                    failed_count: 0,
-                    delivered_evidence_checked: false,
-                },
-                evidence_coverage: [],
-                deltas_pending: false,
-            };
-        return {
-            updated: { ...bundle, charter_register: settled },
-            artifacts_written: ["charter_register.json"],
-            progress_summary: !register
-                ? "Charter delta-mining omitted (no charter register to mine)."
-                : register.deltas_pending !== true
-                    ? "Charter delta-mining omitted (register not awaiting deltas)."
-                    : "Charter delta-mining: no submission supplied; settled the register with " +
-                        "UNMINED deltas (not affirmed-clean — recorded as a register validation issue).",
-        };
-    }
-    // True nominations are admissible at the DEEPEST rung only — the consent gate
-    // that used to live on the extraction lane set (design resolution 4: `true` is
-    // nominated downstream of triangulation, never extracted). Rung-keyed, matching
-    // the retired lane's semantics; `explicit_opt_in` stays the capture-time
-    // contract on setting a deepest ceiling.
-    const assembled = assembleDeltas(submission, register.subsystems, {
-        allowTrueNominations: register.ceiling.rung === "deepest",
-    });
-    // Ground each surfaced delta-finding's evidence against disk (the provenance
-    // grounding this pure-assembly module deferred to the ingest — parity with the
-    // design-review findings path).
-    const findings = groundDesignFindings(assembled.findings, bundle.repo_manifest);
-    const updated = {
-        ...register,
-        generated_at,
-        // The miner may have appended gate-surviving True nominations to a unit's
-        // charters — persist the augmented subsystems, not the pre-mine ones.
-        subsystems: assembled.subsystems,
-        deltas: assembled.deltas,
-        findings,
-        goal_graph: assembled.goal_graph,
-        triangulated: assembled.triangulated,
-        disagreement: assembled.disagreement,
-        validation_issues: [
-            ...register.validation_issues,
-            ...assembled.validation_issues,
-        ],
-        deltas_pending: false,
-    };
-    return {
-        updated: { ...bundle, charter_register: updated },
-        artifacts_written: ["charter_register.json"],
-        progress_summary: `Charter delta-mining complete: ${updated.deltas.length} routed delta(s) → ` +
-            `${updated.findings.length} finding(s), ${updated.triangulated.length} ` +
-            `triangulated telos(es)` +
-            (assembled.validation_issues.length > 0
-                ? `, ${assembled.validation_issues.length} gate drop(s).`
-                : "."),
-    };
-}
-//# sourceMappingURL=charterDeltaExecutor.js.map

package/dist/audit/orchestrator/charterDeltaExecutor.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"charterDeltaExecutor.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/charterDeltaExecutor.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,+BAA+B,GAEhC,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,cAAc,EACd,oBAAoB,GAErB,MAAM,oBAAoB,CAAC;AAE5B;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,uBAAuB,CACrC,MAAsB,EACtB,UAA8C;IAE9C,MAAM,YAAY,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC9C,MAAM,QAAQ,GAAG,MAAM,CAAC,gBAAgB,CAAC;IAEzC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,cAAc,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACjE,2EAA2E;QAC3E,yEAAyE;QACzE,2DAA2D;QAC3D,yEAAyE;QACzE,0EAA0E;QAC1E,4EAA4E;QAC5E,kDAAkD;QAClD,MAAM,eAAe,GAAG,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,cAAc,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC;QAClG,MAAM,OAAO,GAAoB,QAAQ;YACvC,CAAC,CAAC;gBACE,GAAG,QAAQ;gBACX,YAAY;gBACZ,cAAc,EAAE,KAAK;gBACrB,GAAG,CAAC,eAAe;oBACjB,CAAC,CAAC;wBACE,iBAAiB,EAAE;4BACjB,GAAG,QAAQ,CAAC,iBAAiB;4BAC7B,mIAAmI;yBACpI;qBACF;oBACH,CAAC,CAAC,EAAE,CAAC;aACR;YACH,CAAC,CAAC;gBACE,cAAc,EAAE,+BAA+B;gBAC/C,YAAY;gBACZ,MAAM,EAAE,SAAS;gBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;gBAC5B,MAAM,EAAE,SAAS;gBACjB,UAAU,EAAE,EAAE;gBACd,UAAU,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;gBACpC,MAAM,EAAE,EAAE;gBACV,QAAQ,EAAE,EAAE;gBACZ,YAAY,EAAE,EAAE;gBAChB,YAAY,EAAE,EAAE;gBAChB,iBAAiB,EAAE,EAAE;gBACrB,uEAAuE;gBACvE,sEAAsE;gBACtE,oEAAoE;gBACpE,kEAAkE;gBAClE,+DAA+D;gBAC/D,+CAA+C;gBAC/C,mBAAmB,EAAE;oBACnB,MAAM,EAAE,cAAc;oBACtB,cAAc,EAAE,CAAC;oBACjB,aAAa,EAAE,CAAC;oBAChB,YAAY,EAAE,CAAC;oBACf,0BAA0B,EAAE,KAAK;iBAClC;gBACD,iBAAiB,EAAE,EAAE;gBACrB,cAAc,EAAE,KAAK;aACtB,CAAC;QACN,OAAO;YACL,OAAO,EAAE,EAAE,GAAG,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE;YACjD,iBAAiB,EAAE,CAAC,uBAAuB,CAAC;YAC5C,gBAAgB,EAAE,CAAC,QAAQ;gBACzB,CAAC,CAAC,6DAA6D;gBAC/D,CAAC,CAAC,QAAQ,CAAC,cAAc,KAAK,IAAI;oBAChC,CAAC,CAAC,8DAA8D;oBAChE,CAAC,CAAC,0EAA0E;wBAC1E,gFAAgF;SACvF,CAAC;IACJ,CAAC;IAED,8EAA8E;IAC9E,+EAA+E;IAC/E,gFAAgF;IAChF,yEAAyE;IACzE,yCAAyC;IACzC,MAAM,SAAS,GAAG,cAAc,CAAC,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE;QAChE,oBAAoB,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS;KAC1D,CAAC,CAAC;IACH,6EAA6E;IAC7E,+EAA+E;IAC/E,gCAAgC;IAChC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;IAEhF,MAAM,OAAO,GAAoB;QAC/B,GAAG,QAAQ;QACX,YAAY;QACZ,0EAA0E;QAC1E,sEAAsE;QACtE,UAAU,EAAE,SAAS,CAAC,UAAU;QAChC,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,QAAQ;QACR,UAAU,EAAE,SAAS,CAAC,UAAU;QAChC,YAAY,EAAE,SAAS,CAAC,YAAY;QACpC,YAAY,EAAE,SAAS,CAAC,YAAY;QACpC,iBAAiB,EAAE;YACjB,GAAG,QAAQ,CAAC,iBAAiB;YAC7B,GAAG,SAAS,CAAC,iBAAiB;SAC/B;QACD,cAAc,EAAE,KAAK;KACtB,CAAC;IACF,OAAO;QACL,OAAO,EAAE,EAAE,GAAG,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE;QACjD,iBAAiB,EAAE,CAAC,uBAAuB,CAAC;QAC5C,gBAAgB,EACd,kCAAkC,OAAO,CAAC,MAAM,CAAC,MAAM,qBAAqB;YAC5E,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,gBAAgB,OAAO,CAAC,YAAY,CAAC,MAAM,GAAG;YACxE,wBAAwB;YACxB,CAAC,SAAS,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC;gBACrC,CAAC,CAAC,KAAK,SAAS,CAAC,iBAAiB,CAAC,MAAM,gBAAgB;gBACzD,CAAC,CAAC,GAAG,CAAC;KACX,CAAC;AACJ,CAAC"}

package/dist/audit/supervisor/runLedger.d.ts

@@ -1,3 +0,0 @@
-import { type RunLedger } from "audit-tools/shared";
-export declare function loadRunLedger(artifactsDir: string): Promise<RunLedger>;
-//# sourceMappingURL=runLedger.d.ts.map

package/dist/audit/supervisor/runLedger.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"runLedger.d.ts","sourceRoot":"","sources":["../../../src/audit/supervisor/runLedger.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,KAAK,SAAS,EAEf,MAAM,oBAAoB,CAAC;AAiF5B,wBAAsB,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,CAW5E"}

package/dist/audit/supervisor/runLedger.js

@@ -1,69 +0,0 @@
-import { join } from "node:path";
-import { RUN_LEDGER_STATUSES, } from "audit-tools/shared";
-import { isFileMissingError, isRecord, readJsonFile } from "audit-tools/shared";
-const RUN_LEDGER_FILENAME = "run-ledger.json";
-const VALID_RUN_LEDGER_STATUSES = new Set(RUN_LEDGER_STATUSES);
-function ledgerPath(artifactsDir) {
-    return join(artifactsDir, RUN_LEDGER_FILENAME);
-}
-function assertRunLedgerEntry(value, fieldPath) {
-    if (!isRecord(value)) {
-        throw new Error(`Invalid run ledger in ${fieldPath}: expected an object.`);
-    }
-    const requireString = (field) => {
-        const entry = value[field];
-        if (typeof entry !== "string" || entry.trim().length === 0) {
-            throw new Error(`Invalid run ledger in ${fieldPath}.${field}: expected a non-empty string.`);
-        }
-        return entry;
-    };
-    const requireNullableString = (field) => {
-        const entry = value[field];
-        if (entry === null) {
-            return null;
-        }
-        if (typeof entry !== "string" || entry.trim().length === 0) {
-            throw new Error(`Invalid run ledger in ${fieldPath}.${field}: expected a non-empty string or null.`);
-        }
-        return entry;
-    };
-    const status = value.status;
-    if (typeof status !== "string" ||
-        !VALID_RUN_LEDGER_STATUSES.has(status)) {
-        throw new Error(`Invalid run ledger in ${fieldPath}.status: expected one of ${Array.from(VALID_RUN_LEDGER_STATUSES).join(", ")}.`);
-    }
-    return {
-        run_id: requireString("run_id"),
-        obligation_id: requireNullableString("obligation_id"),
-        selected_executor: requireNullableString("selected_executor"),
-        status: status,
-        started_at: requireString("started_at"),
-        ended_at: requireString("ended_at"),
-        result_path: requireString("result_path"),
-    };
-}
-function parseRunLedger(value, path) {
-    if (!isRecord(value)) {
-        throw new Error(`Invalid run ledger in ${path}: expected an object.`);
-    }
-    if (!Array.isArray(value.runs)) {
-        throw new Error(`Invalid run ledger in ${path}: expected runs to be an array.`);
-    }
-    return {
-        runs: value.runs.map((entry, index) => assertRunLedgerEntry(entry, `${path}.runs[${index}]`)),
-    };
-}
-export async function loadRunLedger(artifactsDir) {
-    const path = ledgerPath(artifactsDir);
-    try {
-        return parseRunLedger(await readJsonFile(path), path);
-    }
-    catch (error) {
-        if (isFileMissingError(error)) {
-            // A missing run ledger just means no worker runs have been recorded yet.
-            return { runs: [] };
-        }
-        throw error;
-    }
-}
-//# sourceMappingURL=runLedger.js.map

package/dist/audit/supervisor/runLedger.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"runLedger.js","sourceRoot":"","sources":["../../../src/audit/supervisor/runLedger.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EACL,mBAAmB,GAGpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEhF,MAAM,mBAAmB,GAAG,iBAAiB,CAAC;AAC9C,MAAM,yBAAyB,GAAG,IAAI,GAAG,CACvC,mBAAmB,CACpB,CAAC;AAEF,SAAS,UAAU,CAAC,YAAoB;IACtC,OAAO,IAAI,CAAC,YAAY,EAAE,mBAAmB,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAc,EACd,SAAiB;IAEjB,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,MAAM,IAAI,KAAK,CAAC,yBAAyB,SAAS,uBAAuB,CAAC,CAAC;IAC7E,CAAC;IAED,MAAM,aAAa,GAAG,CAAC,KAAa,EAAU,EAAE;QAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3D,MAAM,IAAI,KAAK,CACb,yBAAyB,SAAS,IAAI,KAAK,gCAAgC,CAC5E,CAAC;QACJ,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,qBAAqB,GAAG,CAAC,KAAa,EAAiB,EAAE;QAC7D,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3D,MAAM,IAAI,KAAK,CACb,yBAAyB,SAAS,IAAI,KAAK,wCAAwC,CACpF,CAAC;QACJ,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,IACE,OAAO,MAAM,KAAK,QAAQ;QAC1B,CAAC,yBAAyB,CAAC,GAAG,CAAC,MAAkC,CAAC,EAClE,CAAC;QACD,MAAM,IAAI,KAAK,CACb,yBAAyB,SAAS,4BAA4B,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAClH,CAAC;IACJ,CAAC;IAED,OAAO;QACL,MAAM,EAAE,aAAa,CAAC,QAAQ,CAAC;QAC/B,aAAa,EAAE,qBAAqB,CAAC,eAAe,CAAC;QACrD,iBAAiB,EAAE,qBAAqB,CAAC,mBAAmB,CAAC;QAC7D,MAAM,EAAE,MAAkC;QAC1C,UAAU,EAAE,aAAa,CAAC,YAAY,CAAC;QACvC,QAAQ,EAAE,aAAa,CAAC,UAAU,CAAC;QACnC,WAAW,EAAE,aAAa,CAAC,aAAa,CAAC;KAC1C,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,IAAY;IAClD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,uBAAuB,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CACb,yBAAyB,IAAI,iCAAiC,CAC/D,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CACpC,oBAAoB,CAAC,KAAK,EAAE,GAAG,IAAI,SAAS,KAAK,GAAG,CAAC,CACtD;KACF,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,YAAoB;IACtD,MAAM,IAAI,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC;IACtC,IAAI,CAAC;QACH,OAAO,cAAc,CAAC,MAAM,YAAY,CAAU,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IACjE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9B,yEAAyE;YACzE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QACtB,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC"}

package/dist/shared/types/executionRecord.d.ts

@@ -1,58 +0,0 @@
-import { z } from "zod";
-export declare const EXECUTION_RECORD_CONTRACT_VERSION: "execution-record/v1alpha1";
-export declare const ExecutionRecordOutcomeSchema: z.ZodEnum<["accepted", "rejected"]>;
-export type ExecutionRecordOutcome = z.infer<typeof ExecutionRecordOutcomeSchema>;
-export declare const ExecutorReportedStatementSchema: z.ZodObject<{
-    label: z.ZodString;
-    statement: z.ZodString;
-}, "strict", z.ZodTypeAny, {
-    label: string;
-    statement: string;
-}, {
-    label: string;
-    statement: string;
-}>;
-export type ExecutorReportedStatement = z.infer<typeof ExecutorReportedStatementSchema>;
-/**
- * Provider-agnostic acknowledgement of externally executed work.
- *
- * audit-tools binds the record to its work item and accepts or rejects it; the
- * host may identify itself in prose, but backend, model, routing, and transport
- * details are deliberately outside this contract.
- */
-export declare const ExecutionRecordV1Alpha1Schema: z.ZodObject<{
-    contract_version: z.ZodLiteral<"execution-record/v1alpha1">;
-    record_id: z.ZodString;
-    work_item_id: z.ZodString;
-    outcome: z.ZodEnum<["accepted", "rejected"]>;
-    executor_reported: z.ZodObject<{
-        label: z.ZodString;
-        statement: z.ZodString;
-    }, "strict", z.ZodTypeAny, {
-        label: string;
-        statement: string;
-    }, {
-        label: string;
-        statement: string;
-    }>;
-}, "strict", z.ZodTypeAny, {
-    contract_version: "execution-record/v1alpha1";
-    record_id: string;
-    work_item_id: string;
-    outcome: "accepted" | "rejected";
-    executor_reported: {
-        label: string;
-        statement: string;
-    };
-}, {
-    contract_version: "execution-record/v1alpha1";
-    record_id: string;
-    work_item_id: string;
-    outcome: "accepted" | "rejected";
-    executor_reported: {
-        label: string;
-        statement: string;
-    };
-}>;
-export type ExecutionRecordV1Alpha1 = z.infer<typeof ExecutionRecordV1Alpha1Schema>;
-//# sourceMappingURL=executionRecord.d.ts.map

package/dist/shared/types/executionRecord.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"executionRecord.d.ts","sourceRoot":"","sources":["../../../src/shared/types/executionRecord.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,eAAO,MAAM,iCAAiC,EAC5C,2BAAoC,CAAC;AAEvC,eAAO,MAAM,4BAA4B,qCAAmC,CAAC;AAC7E,MAAM,MAAM,sBAAsB,GAAG,CAAC,CAAC,KAAK,CAC1C,OAAO,4BAA4B,CACpC,CAAC;AAEF,eAAO,MAAM,+BAA+B;;;;;;;;;EAKjC,CAAC;AACZ,MAAM,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAC7C,OAAO,+BAA+B,CACvC,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAQ/B,CAAC;AACZ,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,KAAK,CAC3C,OAAO,6BAA6B,CACrC,CAAC"}

package/dist/shared/types/executionRecord.js

@@ -1,26 +0,0 @@
-import { z } from "zod";
-export const EXECUTION_RECORD_CONTRACT_VERSION = "execution-record/v1alpha1";
-export const ExecutionRecordOutcomeSchema = z.enum(["accepted", "rejected"]);
-export const ExecutorReportedStatementSchema = z
-    .object({
-    label: z.string().min(1),
-    statement: z.string().min(1),
-})
-    .strict();
-/**
- * Provider-agnostic acknowledgement of externally executed work.
- *
- * audit-tools binds the record to its work item and accepts or rejects it; the
- * host may identify itself in prose, but backend, model, routing, and transport
- * details are deliberately outside this contract.
- */
-export const ExecutionRecordV1Alpha1Schema = z
-    .object({
-    contract_version: z.literal(EXECUTION_RECORD_CONTRACT_VERSION),
-    record_id: z.string().min(1),
-    work_item_id: z.string().min(1),
-    outcome: ExecutionRecordOutcomeSchema,
-    executor_reported: ExecutorReportedStatementSchema,
-})
-    .strict();
-//# sourceMappingURL=executionRecord.js.map

package/dist/shared/types/executionRecord.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"executionRecord.js","sourceRoot":"","sources":["../../../src/shared/types/executionRecord.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,CAAC,MAAM,iCAAiC,GAC5C,2BAAoC,CAAC;AAEvC,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;AAK7E,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC;KAC7C,MAAM,CAAC;IACN,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAC7B,CAAC;KACD,MAAM,EAAE,CAAC;AAKZ;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC;KAC3C,MAAM,CAAC;IACN,gBAAgB,EAAE,CAAC,CAAC,OAAO,CAAC,iCAAiC,CAAC;IAC9D,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,OAAO,EAAE,4BAA4B;IACrC,iBAAiB,EAAE,+BAA+B;CACnD,CAAC;KACD,MAAM,EAAE,CAAC"}

package/dist/shared/types/runLedger.d.ts

@@ -1,17 +0,0 @@
-export declare const RUN_LEDGER_STATUSES: readonly ["completed", "blocked", "failed", "no_progress"];
-export type RunLedgerStatus = (typeof RUN_LEDGER_STATUSES)[number];
-/** One persisted supervisor run entry, including the terminal worker outcome. */
-export interface RunLedgerEntry {
-    run_id: string;
-    obligation_id: string | null;
-    selected_executor: string | null;
-    status: RunLedgerStatus;
-    started_at: string;
-    ended_at: string;
-    result_path: string;
-}
-/** Append-only ledger used to explain how the audit advanced over time. */
-export interface RunLedger {
-    runs: RunLedgerEntry[];
-}
-//# sourceMappingURL=runLedger.d.ts.map

package/dist/shared/types/runLedger.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"runLedger.d.ts","sourceRoot":"","sources":["../../../src/shared/types/runLedger.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,mBAAmB,4DAKtB,CAAC;AACX,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnE,iFAAiF;AACjF,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,MAAM,EAAE,eAAe,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,2EAA2E;AAC3E,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,cAAc,EAAE,CAAC;CACxB"}

package/dist/shared/types/runLedger.js

@@ -1,7 +0,0 @@
-export const RUN_LEDGER_STATUSES = [
-    "completed",
-    "blocked",
-    "failed",
-    "no_progress",
-];
-//# sourceMappingURL=runLedger.js.map

package/dist/shared/types/runLedger.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"runLedger.js","sourceRoot":"","sources":["../../../src/shared/types/runLedger.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,WAAW;IACX,SAAS;IACT,QAAQ;IACR,aAAa;CACL,CAAC"}