@polderlabs/bizar-omp 0.6.2 → 0.6.4

package/dist/src/cli/setup-ui.d.ts

@@ -0,0 +1,37 @@
+import type { WriteStream } from "node:tty";
+export interface SetupUiOptions {
+    version: string;
+    packageSpec: string;
+    profile?: string;
+    omp?: string;
+    dryRun?: boolean;
+    interactive?: boolean;
+}
+export interface SetupUiReport {
+    dryRun?: boolean;
+    config?: string;
+    receipt?: string;
+    settings?: Array<unknown>;
+    restartRequired?: boolean;
+}
+type Writer = Pick<WriteStream, "write">;
+/** Small, deterministic terminal reporter for the full installer. */
+export declare class SetupUi {
+    private readonly color;
+    private readonly writer;
+    constructor(options?: {
+        color?: boolean;
+        writer?: Writer;
+    });
+    private paint;
+    private write;
+    header(options: SetupUiOptions): void;
+    phase(number: number, title: string, detail: string): void;
+    success(title: string, detail?: string): void;
+    info(message: string): void;
+    warning(message: string): void;
+    failure(message: string): void;
+    finish(report: SetupUiReport, options: SetupUiOptions): void;
+}
+export declare function setupUiEnabled(): boolean;
+export {};

package/dist/src/cli/setup-ui.js

@@ -0,0 +1,90 @@
+const ANSI = {
+    reset: "\u001b[0m",
+    bold: "\u001b[1m",
+    dim: "\u001b[2m",
+    cyan: "\u001b[36m",
+    green: "\u001b[32m",
+    yellow: "\u001b[33m",
+    red: "\u001b[31m",
+};
+function trimForLine(value, width = 68) {
+    if (value.length <= width)
+        return value;
+    return `${value.slice(0, Math.max(1, width - 1))}…`;
+}
+function padLine(value, width = 68) {
+    return `│ ${trimForLine(value, width - 2).padEnd(width - 2)} │`;
+}
+/** Small, deterministic terminal reporter for the full installer. */
+export class SetupUi {
+    color;
+    writer;
+    constructor(options = {}) {
+        this.color = options.color ?? true;
+        this.writer = options.writer ?? process.stdout;
+    }
+    paint(name, value) {
+        return this.color ? `${ANSI[name]}${value}${ANSI.reset}` : value;
+    }
+    write(line = "") {
+        this.writer.write(`${line}\n`);
+    }
+    header(options) {
+        const mode = options.dryRun ? "PLAN PREVIEW" : "FULL INSTALL";
+        const target = options.profile ? `profile: ${options.profile}` : "default profile";
+        this.write();
+        this.write(this.paint("cyan", "╭────────────────────────────────────────────────────────────────────╮"));
+        this.write(padLine(`${this.paint("bold", "BIZAR OMP")}  ${mode}`));
+        this.write(padLine(`${options.packageSpec}  ·  ${target}`));
+        this.write(padLine(`OMP host: ${options.omp || "omp on PATH"}`));
+        this.write(this.paint("cyan", "╰────────────────────────────────────────────────────────────────────╯"));
+        this.write();
+        if (options.dryRun)
+            this.info("No files, plugins, or settings will be changed.");
+        else
+            this.info("This configures the plugin and durable OMB commands for autonomous work.");
+        this.write();
+    }
+    phase(number, title, detail) {
+        this.write(`  ${this.paint("cyan", `${number}  ${title}`)}  ${this.paint("dim", detail)}`);
+    }
+    success(title, detail) {
+        this.write(`  ${this.paint("green", "✓")} ${title}${detail ? `  ${this.paint("dim", detail)}` : ""}`);
+    }
+    info(message) {
+        this.write(`  ${this.paint("dim", "·")} ${this.paint("dim", message)}`);
+    }
+    warning(message) {
+        this.write(`  ${this.paint("yellow", "!")} ${message}`);
+    }
+    failure(message) {
+        this.write(`  ${this.paint("red", "✗")} ${message}`);
+    }
+    finish(report, options) {
+        this.write();
+        this.write(this.paint("cyan", "────────────────────────────────────────────────────────────────────"));
+        if (report.dryRun || options.dryRun) {
+            this.write(`  ${this.paint("yellow", "Plan ready")}`);
+            this.write(`  ${report.settings?.length ?? 0} autonomous setting change${report.settings?.length === 1 ? "" : "s"} would be applied.`);
+            this.write();
+            this.write(`  Run ${this.paint("bold", `${options.packageSpec} setup`)} to apply this plan.`);
+            return;
+        }
+        this.write(`  ${this.paint("green", this.paint("bold", "Bizar OMP is ready."))}`);
+        this.write(`  ${this.paint("dim", `${report.settings?.length ?? 0} autonomous setting change${report.settings?.length === 1 ? "" : "s"} applied.`)}`);
+        if (report.receipt)
+            this.write(`  ${this.paint("dim", `Recovery receipt: ${report.receipt}`)}`);
+        this.write();
+        this.write(`  ${this.paint("bold", "Start working")}`);
+        this.write(`  ${this.paint("cyan", "omp")}        direct OMP session`);
+        this.write(`  ${this.paint("cyan", "omb")}        durable multiplexer-backed session${process.platform === "win32" ? " (psmux)" : " (tmux)"}`);
+        this.write(`  ${this.paint("cyan", "omb agents")} session switcher and new-session selector`);
+        if (report.restartRequired)
+            this.write(`  ${this.paint("yellow", "Restart OMP if it was already running so it loads the new plugin.")}`);
+        this.write();
+    }
+}
+export function setupUiEnabled() {
+    return Boolean(process.stdout.isTTY) && !process.env.NO_COLOR;
+}
+//# sourceMappingURL=setup-ui.js.map

package/dist/src/cli/setup-ui.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"setup-ui.js","sourceRoot":"","sources":["../../../src/cli/setup-ui.ts"],"names":[],"mappings":"AAqBA,MAAM,IAAI,GAAG;IACX,KAAK,EAAE,WAAW;IAClB,IAAI,EAAE,WAAW;IACjB,GAAG,EAAE,WAAW;IAChB,IAAI,EAAE,YAAY;IAClB,KAAK,EAAE,YAAY;IACnB,MAAM,EAAE,YAAY;IACpB,GAAG,EAAE,YAAY;CAClB,CAAC;AAEF,SAAS,WAAW,CAAC,KAAa,EAAE,KAAK,GAAG,EAAE;IAC5C,IAAI,KAAK,CAAC,MAAM,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IACxC,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;AACtD,CAAC;AAED,SAAS,OAAO,CAAC,KAAa,EAAE,KAAK,GAAG,EAAE;IACxC,OAAO,KAAK,WAAW,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC;AAClE,CAAC;AAED,qEAAqE;AACrE,MAAM,OAAO,OAAO;IACD,KAAK,CAAU;IACf,MAAM,CAAS;IAEhC,YAAY,OAAO,GAAyC,EAAE;QAC5D,IAAI,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC;QACnC,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC;IACjD,CAAC;IAEO,KAAK,CAAC,IAAuB,EAAE,KAAa;QAClD,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;IACnE,CAAC;IAEO,KAAK,CAAC,IAAI,GAAG,EAAE;QACrB,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC;IACjC,CAAC;IAED,MAAM,CAAC,OAAuB;QAC5B,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,cAAc,CAAC;QAC9D,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,iBAAiB,CAAC;QACnF,IAAI,CAAC,KAAK,EAAE,CAAC;QACb,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,wEAAwE,CAAC,CAAC,CAAC;QACzG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,WAAW,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC;QACnE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,WAAW,QAAQ,MAAM,EAAE,CAAC,CAAC,CAAC;QAC5D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,OAAO,CAAC,GAAG,IAAI,aAAa,EAAE,CAAC,CAAC,CAAC;QACjE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,wEAAwE,CAAC,CAAC,CAAC;QACzG,IAAI,CAAC,KAAK,EAAE,CAAC;QACb,IAAI,OAAO,CAAC,MAAM;YAAE,IAAI,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAC;;YAC5E,IAAI,CAAC,IAAI,CAAC,0EAA0E,CAAC,CAAC;QAC3F,IAAI,CAAC,KAAK,EAAE,CAAC;IACf,CAAC;IAED,KAAK,CAAC,MAAc,EAAE,KAAa,EAAE,MAAc;QACjD,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,MAAM,KAAK,KAAK,EAAE,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;IAC7F,CAAC;IAED,OAAO,CAAC,KAAa,EAAE,MAAe;QACpC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACxG,CAAC;IAED,IAAI,CAAC,OAAe;QAClB,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;IAC1E,CAAC;IAED,OAAO,CAAC,OAAe;QACrB,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,OAAO,EAAE,CAAC,CAAC;IAC1D,CAAC;IAED,OAAO,CAAC,OAAe;QACrB,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,OAAO,EAAE,CAAC,CAAC;IACvD,CAAC;IAED,MAAM,CAAC,MAAqB,EAAE,OAAuB;QACnD,IAAI,CAAC,KAAK,EAAE,CAAC;QACb,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,sEAAsE,CAAC,CAAC,CAAC;QACvG,IAAI,MAAM,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;YACpC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,YAAY,CAAC,EAAE,CAAC,CAAC;YACtD,IAAI,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,QAAQ,EAAE,MAAM,IAAI,CAAC,6BAA6B,MAAM,CAAC,QAAQ,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,oBAAoB,CAAC,CAAC;YACvI,IAAI,CAAC,KAAK,EAAE,CAAC;YACb,IAAI,CAAC,KAAK,CAAC,SAAS,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,QAAQ,CAAC,sBAAsB,CAAC,CAAC;YAC9F,OAAO;QACT,CAAC;QAED,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC;QAClF,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,QAAQ,EAAE,MAAM,IAAI,CAAC,6BAA6B,MAAM,CAAC,QAAQ,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;QACtJ,IAAI,MAAM,CAAC,OAAO;YAAE,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,qBAAqB,MAAM,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;QAChG,IAAI,CAAC,KAAK,EAAE,CAAC;QACb,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,eAAe,CAAC,EAAE,CAAC,CAAC;QACvD,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,4BAA4B,CAAC,CAAC;QACvE,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,6CAA6C,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;QAC/I,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,YAAY,CAAC,4CAA4C,CAAC,CAAC;QAC9F,IAAI,MAAM,CAAC,eAAe;YAAE,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,mEAAmE,CAAC,EAAE,CAAC,CAAC;QACzI,IAAI,CAAC,KAAK,EAAE,CAAC;IACf,CAAC;CACF;AAED,MAAM,UAAU,cAAc;IAC5B,OAAO,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;AAChE,CAAC"}

package/dist/src/core/acceptance.d.ts

@@ -0,0 +1,32 @@
+import type { CheckSpec, CriterionSpec, ReviewSpec, StateSnapshot, WorkItem } from "./types.js";
+export type AcceptanceBlockerCode = "CANDIDATE_CHANGED" | "CHECK_SPEC_CHANGED" | "LATEST_ATTEMPT_FAILED" | "ATTEMPT_STILL_RUNNING" | "REQUIRED_REVIEW_MISSING" | "CANCEL_FENCE_ACTIVE" | "NATIVE_OUTCOME_UNKNOWN" | "BASE_CHANGED" | "OWNER_CHANGED" | "MISSING_CHECK" | "WORK_NOT_ACCEPTED" | "DEPENDENCY_NOT_READY";
+export interface AcceptanceBlocker {
+    code: AcceptanceBlockerCode;
+    message: string;
+    criterionId?: string;
+    checkId?: string;
+    evidenceIds?: string[];
+}
+export interface AcceptanceRequirements {
+    requiredChecks: Array<string | CheckSpec>;
+    targetDigest: string;
+    candidateId?: string;
+    candidateTree?: string;
+    criteria?: CriterionSpec[];
+    review?: ReviewSpec;
+    ownedWork?: WorkItem[];
+}
+export interface AcceptanceDecision {
+    eligible: boolean;
+    coveredCriterionIds: string[];
+    selectedEvidenceIds: string[];
+    missingEvidence: string[];
+    staleEvidence: string[];
+    supersededEvidence: string[];
+    blockers: AcceptanceBlocker[];
+}
+export declare function canonicalSpecHash(value: unknown): string;
+export declare function freezeCheckSpec(spec: Omit<CheckSpec, "evaluatorHash"> & {
+    evaluatorHash?: string;
+}): CheckSpec;
+export declare function evaluateAcceptance(state: StateSnapshot, requirements: AcceptanceRequirements): AcceptanceDecision;

package/dist/src/core/acceptance.js

@@ -0,0 +1,87 @@
+import { createHash } from "node:crypto";
+import { ContractError } from "./errors.js";
+export function canonicalSpecHash(value) {
+    const normalize = (input) => {
+        if (Array.isArray(input))
+            return input.map(normalize);
+        if (input && typeof input === "object")
+            return Object.fromEntries(Object.entries(input).filter(([, item]) => item !== undefined).sort(([a], [b]) => a.localeCompare(b)).map(([key, item]) => [key, normalize(item)]));
+        return input;
+    };
+    return createHash("sha256").update(JSON.stringify(normalize(value))).digest("hex");
+}
+export function freezeCheckSpec(spec) {
+    const serialized = JSON.stringify(spec);
+    if (/(?:authorization|api[-_]?key|access[-_]?key|token|secret|password)\s*[:=]/i.test(serialized))
+        throw new ContractError("CheckSpec contains a secret-shaped literal");
+    return Object.freeze({ ...spec, evaluatorHash: spec.evaluatorHash ?? canonicalSpecHash({ runner: spec.runner, executable: spec.executable, argumentTemplate: spec.argumentTemplate, cwdRule: spec.cwdRule, inputDigests: spec.inputDigests, environmentPolicy: spec.environmentPolicy, limits: spec.limits, expected: spec.expected, outputPolicy: spec.outputPolicy }) });
+}
+function candidateMatch(record, requirements) {
+    return record.targetDigest === requirements.targetDigest
+        && (!requirements.candidateId || record.candidateId === requirements.candidateId)
+        && (!requirements.candidateTree || record.candidateTree === requirements.candidateTree);
+}
+export function evaluateAcceptance(state, requirements) {
+    const blockers = [];
+    const selectedEvidenceIds = [];
+    const missingEvidence = [];
+    const staleEvidence = [];
+    const supersededEvidence = [];
+    const coveredCriterionIds = new Set();
+    const checks = requirements.requiredChecks.map(check => typeof check === "string" ? { id: check, spec: undefined } : { id: check.id, spec: check });
+    for (const check of checks) {
+        const lineage = state.evidence.filter(record => record.checkId === check.id);
+        const matching = lineage.filter(record => candidateMatch(record, requirements) && (!check.spec || record.evaluatorHash === check.spec.evaluatorHash) && (!check.spec || record.checkSpecHash === canonicalSpecHash(check.spec)));
+        const sorted = [...matching].sort((a, b) => (a.attemptGeneration ?? 0) - (b.attemptGeneration ?? 0) || a.recordedAt.localeCompare(b.recordedAt));
+        const latest = sorted.at(-1);
+        if (!latest) {
+            const wrongCandidate = lineage.some(record => record.result === "passed" && record.targetDigest === requirements.targetDigest);
+            blockers.push({ code: wrongCandidate ? "CANDIDATE_CHANGED" : "MISSING_CHECK", message: wrongCandidate ? `Check ${check.id} passed for a different candidate` : `No evidence satisfies check ${check.id}`, checkId: check.id });
+            missingEvidence.push(check.id);
+            continue;
+        }
+        for (const record of sorted.slice(0, -1))
+            supersededEvidence.push(record.id);
+        if (latest.stale || latest.result === "unknown") {
+            staleEvidence.push(latest.id);
+            blockers.push({ code: "CANDIDATE_CHANGED", message: `Latest evidence for ${check.id} is stale or unknown`, checkId: check.id, evidenceIds: [latest.id] });
+            continue;
+        }
+        if (latest.result === "cancelled" || latest.result === "blocked") {
+            blockers.push({ code: "LATEST_ATTEMPT_FAILED", message: `Latest attempt for ${check.id} did not pass`, checkId: check.id, evidenceIds: [latest.id] });
+            continue;
+        }
+        if (latest.result !== "passed") {
+            blockers.push({ code: "LATEST_ATTEMPT_FAILED", message: `Latest attempt for ${check.id} failed`, checkId: check.id, evidenceIds: [latest.id] });
+            continue;
+        }
+        selectedEvidenceIds.push(latest.id);
+        for (const criterion of requirements.criteria ?? [])
+            if (criterion.requiredEvidenceClasses.includes(check.id) || criterion.id === check.id)
+                coveredCriterionIds.add(criterion.id);
+    }
+    if (requirements.review?.required) {
+        const review = state.evidence.filter(record => record.type === "review" && candidateMatch(record, requirements)).sort((a, b) => (a.attemptGeneration ?? 0) - (b.attemptGeneration ?? 0) || a.recordedAt.localeCompare(b.recordedAt)).at(-1);
+        if (!review || review.result !== "passed" || review.stale)
+            blockers.push({ code: "REQUIRED_REVIEW_MISSING", message: `Required review ${requirements.review.id} is missing or not passing` });
+        else
+            selectedEvidenceIds.push(review.id);
+    }
+    for (const item of requirements.ownedWork ?? [])
+        if (!["accepted", "cancelled"].includes(item.lifecycle))
+            blockers.push({ code: "WORK_NOT_ACCEPTED", message: `Work item ${item.id} is ${item.lifecycle}` });
+    for (const observation of state.observations)
+        if (["started", "running", "unknown-outcome"].includes(observation.status))
+            blockers.push({ code: "NATIVE_OUTCOME_UNKNOWN", message: `Native dispatch ${observation.dispatchId} is unresolved` });
+    for (const integration of state.integrations)
+        if (integration.outcome === "unknown-outcome")
+            blockers.push({ code: "NATIVE_OUTCOME_UNKNOWN", message: `Integration ${integration.id} has an unknown outcome` });
+    if (state.run?.cancellation.requested)
+        blockers.push({ code: "CANCEL_FENCE_ACTIVE", message: "Workflow cancellation has been acknowledged" });
+    const criteria = (requirements.criteria ?? []).filter(criterion => criterion.applicable);
+    for (const criterion of criteria)
+        if (criterion.kind !== "operator-judgment" && !coveredCriterionIds.has(criterion.id))
+            blockers.push({ code: "MISSING_CHECK", message: `Criterion ${criterion.id} has no covered evidence`, criterionId: criterion.id });
+    return { eligible: blockers.length === 0 && checks.length > 0, coveredCriterionIds: [...coveredCriterionIds], selectedEvidenceIds, missingEvidence, staleEvidence, supersededEvidence, blockers };
+}
+//# sourceMappingURL=acceptance.js.map

package/dist/src/core/acceptance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"acceptance.js","sourceRoot":"","sources":["../../../src/core/acceptance.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAwB5C,MAAM,UAAU,iBAAiB,CAAC,KAAc;IAC9C,MAAM,SAAS,GAAG,CAAC,KAAc,EAAW,EAAE;QAC5C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACtD,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACjP,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACrF,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAAmE;IACjG,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,4EAA4E,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,MAAM,IAAI,aAAa,CAAC,4CAA4C,CAAC,CAAC;IACzK,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,IAAI,CAAC,aAAa,IAAI,iBAAiB,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,gBAAgB,EAAE,IAAI,CAAC,gBAAgB,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,iBAAiB,EAAE,IAAI,CAAC,iBAAiB,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,CAAC;AAC7W,CAAC;AAED,SAAS,cAAc,CAAC,MAAsB,EAAE,YAAoC;IAClF,OAAO,MAAM,CAAC,YAAY,KAAK,YAAY,CAAC,YAAY;WACnD,CAAC,CAAC,YAAY,CAAC,WAAW,IAAI,MAAM,CAAC,WAAW,KAAK,YAAY,CAAC,WAAW,CAAC;WAC9E,CAAC,CAAC,YAAY,CAAC,aAAa,IAAI,MAAM,CAAC,aAAa,KAAK,YAAY,CAAC,aAAa,CAAC,CAAC;AAC5F,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,KAAoB,EAAE,YAAoC;IAC3F,MAAM,QAAQ,GAAwB,EAAE,CAAC;IACzC,MAAM,mBAAmB,GAAa,EAAE,CAAC;IACzC,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,MAAM,kBAAkB,GAAa,EAAE,CAAC;IACxC,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9C,MAAM,MAAM,GAAG,YAAY,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACpJ,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,KAAK,KAAK,CAAC,EAAE,CAAC,CAAC;QAC7E,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,aAAa,KAAK,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,aAAa,KAAK,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjO,MAAM,MAAM,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,iBAAiB,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,iBAAiB,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QACjJ,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,YAAY,KAAK,YAAY,CAAC,YAAY,CAAC,CAAC;YAC/H,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,eAAe,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,EAAE,mCAAmC,CAAC,CAAC,CAAC,+BAA+B,KAAK,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;YAC/N,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC/B,SAAS;QACX,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAAE,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC7E,IAAI,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,uBAAuB,KAAK,CAAC,EAAE,sBAAsB,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,WAAW,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QACxP,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,OAAO,EAAE,sBAAsB,KAAK,CAAC,EAAE,eAAe,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,WAAW,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QACtO,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,OAAO,EAAE,sBAAsB,KAAK,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,WAAW,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAC9L,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACpC,KAAK,MAAM,SAAS,IAAI,YAAY,CAAC,QAAQ,IAAI,EAAE;YAAE,IAAI,SAAS,CAAC,uBAAuB,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,SAAS,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE;gBAAE,mBAAmB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACpL,CAAC;IACD,IAAI,YAAY,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,cAAc,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,iBAAiB,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,iBAAiB,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5O,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,OAAO,EAAE,mBAAmB,YAAY,CAAC,MAAM,CAAC,EAAE,4BAA4B,EAAE,CAAC,CAAC;;YACzL,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC3C,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,SAAS,IAAI,EAAE;QAAE,IAAI,CAAE,CAAC,UAAU,EAAE,WAAW,CAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,aAAa,IAAI,CAAC,EAAE,OAAO,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IAC3N,KAAK,MAAM,WAAW,IAAI,KAAK,CAAC,YAAY;QAAE,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,iBAAiB,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,MAAM,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,OAAO,EAAE,mBAAmB,WAAW,CAAC,UAAU,gBAAgB,EAAE,CAAC,CAAC;IAChP,KAAK,MAAM,WAAW,IAAI,KAAK,CAAC,YAAY;QAAE,IAAI,WAAW,CAAC,OAAO,KAAK,iBAAiB;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,OAAO,EAAE,eAAe,WAAW,CAAC,EAAE,yBAAyB,EAAE,CAAC,CAAC;IAChN,IAAI,KAAK,CAAC,GAAG,EAAE,YAAY,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,OAAO,EAAE,6CAA6C,EAAE,CAAC,CAAC;IAC9I,MAAM,QAAQ,GAAG,CAAC,YAAY,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IACzF,KAAK,MAAM,SAAS,IAAI,QAAQ;QAAE,IAAI,SAAS,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,aAAa,SAAS,CAAC,EAAE,0BAA0B,EAAE,WAAW,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC;IAC1P,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,mBAAmB,EAAE,CAAC,GAAG,mBAAmB,CAAC,EAAE,mBAAmB,EAAE,eAAe,EAAE,aAAa,EAAE,kBAAkB,EAAE,QAAQ,EAAE,CAAC;AACpM,CAAC"}

package/dist/src/core/errors.d.ts

@@ -0,0 +1,20 @@
+export declare class BizarError extends Error {
+    readonly code: string;
+    readonly details: Record<string, unknown>;
+    constructor(code: string, message: string, details?: Record<string, unknown>);
+}
+export declare class InvalidTransitionError extends BizarError {
+    constructor(from: string, event: string);
+}
+export declare class StaleEvidenceError extends BizarError {
+    constructor(evidenceId: string, reason: string);
+}
+export declare class OwnershipError extends BizarError {
+    constructor(message: string, details?: Record<string, unknown>);
+}
+export declare class ContractError extends BizarError {
+    constructor(message: string, details?: Record<string, unknown>);
+}
+export declare class UnknownOutcomeError extends BizarError {
+    constructor(id: string);
+}

package/dist/src/core/errors.js

@@ -0,0 +1,30 @@
+export class BizarError extends Error {
+    code;
+    details;
+    constructor(code, message, details = {}) {
+        super(message);
+        this.name = "BizarError";
+        this.code = code;
+        this.details = details;
+    }
+}
+export class InvalidTransitionError extends BizarError {
+    constructor(from, event) {
+        super("INVALID_TRANSITION", `Cannot apply ${event} while run is ${from}`, { from, event });
+    }
+}
+export class StaleEvidenceError extends BizarError {
+    constructor(evidenceId, reason) {
+        super("STALE_EVIDENCE", `Evidence ${evidenceId} is stale: ${reason}`, { evidenceId, reason });
+    }
+}
+export class OwnershipError extends BizarError {
+    constructor(message, details = {}) { super("OWNERSHIP", message, details); }
+}
+export class ContractError extends BizarError {
+    constructor(message, details = {}) { super("CONTRACT", message, details); }
+}
+export class UnknownOutcomeError extends BizarError {
+    constructor(id) { super("UNKNOWN_OUTCOME", `Effect ${id} has an unknown outcome`, { id }); }
+}
+//# sourceMappingURL=errors.js.map

package/dist/src/core/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../../src/core/errors.ts"],"names":[],"mappings":"AAAA,MAAM,OAAO,UAAW,SAAQ,KAAK;IAC1B,IAAI,CAAS;IACb,OAAO,CAA0B;IAC1C,YAAY,IAAY,EAAE,OAAe,EAAE,OAAO,GAA4B,EAAE;QAC9E,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,YAAY,CAAC;QACzB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACzB,CAAC;CACF;AAED,MAAM,OAAO,sBAAuB,SAAQ,UAAU;IACpD,YAAY,IAAY,EAAE,KAAa;QACrC,KAAK,CAAC,oBAAoB,EAAE,gBAAgB,KAAK,iBAAiB,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7F,CAAC;CACF;AAED,MAAM,OAAO,kBAAmB,SAAQ,UAAU;IAChD,YAAY,UAAkB,EAAE,MAAc;QAC5C,KAAK,CAAC,gBAAgB,EAAE,YAAY,UAAU,cAAc,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;IAChG,CAAC;CACF;AAED,MAAM,OAAO,cAAe,SAAQ,UAAU;IAC5C,YAAY,OAAe,EAAE,OAAO,GAA4B,EAAE,IAAI,KAAK,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;CAC9G;AAED,MAAM,OAAO,aAAc,SAAQ,UAAU;IAC3C,YAAY,OAAe,EAAE,OAAO,GAA4B,EAAE,IAAI,KAAK,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;CAC7G;AAED,MAAM,OAAO,mBAAoB,SAAQ,UAAU;IACjD,YAAY,EAAU,IAAI,KAAK,CAAC,iBAAiB,EAAE,UAAU,EAAE,yBAAyB,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;CACrG"}

package/dist/src/core/evidence.d.ts

@@ -0,0 +1,10 @@
+import type { EvidenceRecord } from "./types.js";
+export declare const digest: (value: string | Uint8Array) => string;
+export declare function createEvidence(input: Omit<EvidenceRecord, "recordedAt" | "stale">): EvidenceRecord;
+export declare function invalidateEvidence(records: EvidenceRecord[], targetDigest: string, changedInputs?: string[]): EvidenceRecord[];
+export declare function requireFreshEvidence(records: EvidenceRecord[], ids: string[], targetDigest: string, identity?: {
+    candidateId?: string;
+    candidateTree?: string;
+    checkSpecHash?: string;
+    evaluatorHash?: string;
+}): EvidenceRecord[];

package/dist/src/core/evidence.js

@@ -0,0 +1,35 @@
+import { createHash } from "node:crypto";
+import { ContractError, StaleEvidenceError } from "./errors.js";
+export const digest = (value) => createHash("sha256").update(value).digest("hex");
+export function createEvidence(input) {
+    if (!input.id.trim())
+        throw new ContractError("Evidence ID is required");
+    return { ...input, recordedAt: new Date().toISOString(), stale: false };
+}
+export function invalidateEvidence(records, targetDigest, changedInputs = []) {
+    return records.map(record => {
+        if (record.targetDigest !== targetDigest)
+            return { ...record, stale: true, staleReason: `target changed from ${record.targetDigest} to ${targetDigest}` };
+        const changed = changedInputs.filter(key => Object.hasOwn(record.inputDigests, key));
+        if (changed.length > 0)
+            return { ...record, stale: true, staleReason: `input changed: ${changed.join(", ")}` };
+        return record;
+    });
+}
+export function requireFreshEvidence(records, ids, targetDigest, identity = {}) {
+    if (ids.length === 0)
+        throw new StaleEvidenceError("unknown", "required evidence is missing");
+    const found = ids.map(id => (id.trim() ? records.find(record => record.id === id) : undefined));
+    const missingIndex = found.findIndex(record => !record);
+    if (missingIndex !== -1)
+        throw new StaleEvidenceError(ids[missingIndex] || "unknown", "required evidence is missing");
+    const stale = found.find(record => record.stale || record.targetDigest !== targetDigest || record.result !== "passed"
+        || (identity.candidateId !== undefined && record.candidateId !== identity.candidateId)
+        || (identity.candidateTree !== undefined && record.candidateTree !== identity.candidateTree)
+        || (identity.checkSpecHash !== undefined && record.checkSpecHash !== identity.checkSpecHash)
+        || (identity.evaluatorHash !== undefined && record.evaluatorHash !== identity.evaluatorHash));
+    if (stale)
+        throw new StaleEvidenceError(stale.id, "not a fresh passing record for the target tree");
+    return found;
+}
+//# sourceMappingURL=evidence.js.map

package/dist/src/core/evidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence.js","sourceRoot":"","sources":["../../../src/core/evidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAGhE,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAA0B,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAEvG,MAAM,UAAU,cAAc,CAAC,KAAmD;IAChF,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE;QAAE,MAAM,IAAI,aAAa,CAAC,yBAAyB,CAAC,CAAC;IACzE,OAAO,EAAE,GAAG,KAAK,EAAE,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC1E,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,OAAyB,EAAE,YAAoB,EAAE,aAAa,GAAa,EAAE;IAC9G,OAAO,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE;QAC1B,IAAI,MAAM,CAAC,YAAY,KAAK,YAAY;YAAE,OAAO,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,uBAAuB,MAAM,CAAC,YAAY,OAAO,YAAY,EAAE,EAAE,CAAC;QAC1J,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,CAAC;QACrF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,kBAAkB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;QAC/G,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,OAAyB,EAAE,GAAa,EAAE,YAAoB,EAAE,QAAQ,GAAqG,EAAE;IAClN,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,kBAAkB,CAAC,SAAS,EAAE,8BAA8B,CAAC,CAAC;IAC9F,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IAChG,MAAM,YAAY,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACxD,IAAI,YAAY,KAAK,CAAC,CAAC;QAAE,MAAM,IAAI,kBAAkB,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,SAAS,EAAE,8BAA8B,CAAC,CAAC;IACtH,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAO,CAAC,KAAK,IAAI,MAAO,CAAC,YAAY,KAAK,YAAY,IAAI,MAAO,CAAC,MAAM,KAAK,QAAQ;WACnH,CAAC,QAAQ,CAAC,WAAW,KAAK,SAAS,IAAI,MAAO,CAAC,WAAW,KAAK,QAAQ,CAAC,WAAW,CAAC;WACpF,CAAC,QAAQ,CAAC,aAAa,KAAK,SAAS,IAAI,MAAO,CAAC,aAAa,KAAK,QAAQ,CAAC,aAAa,CAAC;WAC1F,CAAC,QAAQ,CAAC,aAAa,KAAK,SAAS,IAAI,MAAO,CAAC,aAAa,KAAK,QAAQ,CAAC,aAAa,CAAC;WAC1F,CAAC,QAAQ,CAAC,aAAa,KAAK,SAAS,IAAI,MAAO,CAAC,aAAa,KAAK,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC;IACjG,IAAI,KAAK;QAAE,MAAM,IAAI,kBAAkB,CAAC,KAAM,CAAC,EAAE,EAAE,gDAAgD,CAAC,CAAC;IACrG,OAAO,KAAyB,CAAC;AACnC,CAAC"}

package/dist/src/core/policies.d.ts

@@ -0,0 +1,10 @@
+import type { ObjectiveContract, RouteDecision, RouteTask, TrustPreset, WorkflowTier } from "./types.js";
+export declare function workflowTierFor(task: RouteTask, route?: Pick<RouteDecision, "routeClass" | "intent" | "reasons">): WorkflowTier;
+export declare function classifyRoute(task: RouteTask): RouteDecision;
+export declare function objectiveHash(objective: ObjectiveContract): string;
+export declare function trustPolicy(preset: TrustPreset): {
+    allowShell: boolean;
+    managedIsolation: boolean;
+    allowEval: boolean;
+    preset: TrustPreset;
+};

package/dist/src/core/policies.js

@@ -0,0 +1,60 @@
+import { createHash } from "node:crypto";
+const hash = (value) => createHash("sha256").update(value).digest("hex");
+const hardSignals = [
+    [/\b(debug|diagnos|root cause|incident|regression)\b/i, "root-cause analysis", "debugging"],
+    [/\b(security|credential|secret|authorization|threat|trust boundary)\b/i, "security boundary", "security"],
+    [/\b(architect|migration|schema|distributed|concurrency|recovery)\b/i, "architecture or recovery", "architecture"],
+    [/\b(redesign|design system|accessibility audit|responsive architecture|visual overhaul|layout architecture)\b/i, "interface design", "ui-design"],
+];
+const focusedSignals = /\b(fix|style|styling|css|color|spacing|layout|typo|docs?|readme|format|rename|label|copy|text)\b/i;
+const featureSignals = /\b(add|implement|build|create|introduce|refactor|rewrite|migrate|support|replace)\b/i;
+export function workflowTierFor(task, route) {
+    const routeClass = route?.routeClass ?? classifyRoute(task).routeClass;
+    const files = task.files?.length ?? 1;
+    const bounded = files <= 4 && task.text.length < 800 && !task.ambiguity;
+    const focused = routeClass === "common"
+        && files <= 2
+        && task.text.length <= 320
+        && !task.ambiguity
+        && (focusedSignals.test(task.text) || !featureSignals.test(task.text));
+    if (focused)
+        return "focused";
+    if (routeClass === "hard" || !bounded)
+        return "full";
+    return "bounded";
+}
+export function classifyRoute(task) {
+    const roleWord = task.role?.match(/security|review|architect|debug|ui/i)?.[0]?.toLowerCase();
+    const roleIntent = roleWord === "debug" ? "debugging" : roleWord === "ui" ? "ui-design" : roleWord;
+    const explicit = task.intent ?? roleIntent;
+    const reasons = [];
+    let intent = explicit ?? "general";
+    if (explicit)
+        reasons.push(`explicit ${explicit} role/intent`);
+    for (const [pattern, reason, inferredIntent] of hardSignals) {
+        if (pattern.test(task.text) || pattern.test(task.role ?? "")) {
+            if (!explicit || ["general", "coding"].includes(explicit))
+                intent = inferredIntent;
+            reasons.push(reason);
+            break;
+        }
+    }
+    const bounded = (task.files?.length ?? 1) <= 4 && task.text.length < 800 && !task.ambiguity;
+    const requiresHardLane = reasons.length > 0 || ["debugging", "security", "architecture", "review"].includes(intent) || (intent !== "general" && !bounded);
+    const routeClass = requiresHardLane ? "hard" : bounded ? "common" : "default";
+    if (!reasons.length)
+        reasons.push(bounded ? "bounded task" : "coordination or lookup task");
+    const workflowTier = workflowTierFor(task, { routeClass, intent, reasons });
+    const modelRole = routeClass === "hard" ? "bizar_hard" : routeClass === "common" ? "bizar_common" : "bizar_default";
+    return { routeClass, workflowTier, intent, modelRole, reason: `${workflowTier}-${routeClass}-${intent}-policy`, reasons, routingId: hash(JSON.stringify({ task, routeClass, workflowTier, intent })).slice(0, 20), fallbackChain: [] };
+}
+export function objectiveHash(objective) {
+    return hash(JSON.stringify(objective));
+}
+const presets = {
+    "trusted-development": { allowShell: true, managedIsolation: false, allowEval: true },
+    "restricted-managed": { allowShell: true, managedIsolation: true, allowEval: false },
+    "untrusted-repository": { allowShell: false, managedIsolation: true, allowEval: false },
+};
+export function trustPolicy(preset) { return { preset, ...presets[preset] }; }
+//# sourceMappingURL=policies.js.map

package/dist/src/core/policies.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"policies.js","sourceRoot":"","sources":["../../../src/core/policies.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAGzC,MAAM,IAAI,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAEjF,MAAM,WAAW,GAAyC;IACxD,CAAC,qDAAqD,EAAE,qBAAqB,EAAE,WAAW,CAAC;IAC3F,CAAC,uEAAuE,EAAE,mBAAmB,EAAE,UAAU,CAAC;IAC1G,CAAC,oEAAoE,EAAE,0BAA0B,EAAE,cAAc,CAAC;IAClH,CAAC,+GAA+G,EAAE,kBAAkB,EAAE,WAAW,CAAC;CACnJ,CAAC;AAEF,MAAM,cAAc,GAAG,mGAAmG,CAAC;AAC3H,MAAM,cAAc,GAAG,sFAAsF,CAAC;AAE9G,MAAM,UAAU,eAAe,CAAC,IAAe,EAAE,KAAgE;IAC/G,MAAM,UAAU,GAAG,KAAK,EAAE,UAAU,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC;IACvE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,MAAM,IAAI,CAAC,CAAC;IACtC,MAAM,OAAO,GAAG,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC;IACxE,MAAM,OAAO,GAAG,UAAU,KAAK,QAAQ;WAClC,KAAK,IAAI,CAAC;WACV,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,GAAG;WACvB,CAAC,IAAI,CAAC,SAAS;WACf,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACzE,IAAI,OAAO;QAAE,OAAO,SAAS,CAAC;IAC9B,IAAI,UAAU,KAAK,MAAM,IAAI,CAAC,OAAO;QAAE,OAAO,MAAM,CAAC;IACrD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAAe;IAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,qCAAqC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;IAC7F,MAAM,UAAU,GAA4B,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAmC,CAAC;IACvJ,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,IAAI,UAAU,CAAC;IAC3C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,MAAM,GAAgB,QAAQ,IAAI,SAAS,CAAC;IAChD,IAAI,QAAQ;QAAE,OAAO,CAAC,IAAI,CAAC,YAAY,QAAQ,cAAc,CAAC,CAAC;IAC/D,KAAK,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,cAAc,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5D,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC;YAC7D,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBAAE,MAAM,GAAG,cAAc,CAAC;YACnF,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACrB,MAAM;QACR,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC;IAC5F,MAAM,gBAAgB,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1J,MAAM,UAAU,GAAG,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9E,IAAI,CAAC,OAAO,CAAC,MAAM;QAAE,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC;IAC5F,MAAM,YAAY,GAAG,eAAe,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;IAC5E,MAAM,SAAS,GAAG,UAAU,KAAK,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,eAAe,CAAC;IACpH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,YAAY,IAAI,UAAU,IAAI,MAAM,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC;AACzO,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,SAA4B;IACxD,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC;AACzC,CAAC;AAED,MAAM,OAAO,GAAgG;IAC3G,qBAAqB,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE;IACrF,oBAAoB,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE;IACpF,sBAAsB,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,gBAAgB,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE;CACxF,CAAC;AAEF,MAAM,UAAU,WAAW,CAAC,MAAmB,IAAI,OAAO,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC"}

package/dist/src/core/recovery.d.ts

@@ -0,0 +1,6 @@
+import type { JournalEntry, StateSnapshot, WorkflowPhase } from "./types.js";
+export declare function emptySnapshot(): StateSnapshot;
+export declare function replay(entries: JournalEntry[]): StateSnapshot;
+export declare function assertOwner(actual: string | undefined, expected: string): void;
+export declare function assertIdempotent(existingKeys: Set<string>, key: string): void;
+export declare function reconcilePhase(phase: WorkflowPhase, status: "settled" | "failed" | "unknown-outcome", hasFreshEvidence: boolean): WorkflowPhase;

package/dist/src/core/recovery.js

@@ -0,0 +1,56 @@
+import { ContractError, OwnershipError } from "./errors.js";
+export function emptySnapshot() { return { revision: 0, dispatches: [], observations: [], evidence: [], integrations: [], decisions: [], lastSequence: 0 }; }
+export function replay(entries) {
+    const state = emptySnapshot();
+    for (const entry of entries) {
+        if (entry.sequence !== state.lastSequence + 1)
+            throw new ContractError("Journal sequence is not contiguous", { expected: state.lastSequence + 1, actual: entry.sequence });
+        const event = entry.event;
+        if (event.type === "run.created") {
+            state.run = event.run;
+            state.dispatches = [];
+            state.observations = [];
+            state.evidence = [];
+            state.integrations = [];
+            state.decisions = [];
+        }
+        else if (event.type === "run.transitioned" && state.run?.runId === event.runId) {
+            state.run = { ...state.run, phase: event.to, revision: state.run.revision + 1, updatedAt: entry.at };
+        }
+        else if (event.type === "work-item.upserted" && state.run?.runId === event.runId)
+            state.run = { ...state.run, workItems: [...state.run.workItems.filter(i => i.id !== event.item.id), event.item], revision: state.run.revision + 1, updatedAt: entry.at };
+        else if (event.type === "dispatch.recorded" && state.run?.runId === event.runId)
+            state.dispatches.push(event.intent);
+        else if (event.type === "worker.observed" && state.dispatches.some(intent => intent.id === event.observation.dispatchId))
+            state.observations.push(event.observation);
+        else if (event.type === "evidence.recorded" && state.run?.runId === event.runId)
+            state.evidence.push(event.evidence);
+        else if (event.type === "integration.recorded" && state.run?.runId === event.runId)
+            state.integrations = [...state.integrations.filter(attempt => attempt.id !== event.attempt.id), event.attempt];
+        else if (event.type === "decision.recorded" && state.run?.runId === event.runId)
+            state.decisions.push(event.decision);
+        else if (event.type === "run.cancelled" && state.run?.runId === event.runId)
+            state.run = { ...state.run, phase: "cancelled", cancellation: { requested: true, reason: event.reason }, revision: state.run.revision + 1, updatedAt: entry.at };
+        else if (event.type === "run.reconciled" && state.run?.runId === event.runId)
+            state.run = { ...state.run, phase: event.phase, revision: event.revision, updatedAt: entry.at };
+        state.lastSequence = entry.sequence;
+    }
+    state.revision = state.run?.revision ?? state.lastSequence;
+    return state;
+}
+export function assertOwner(actual, expected) {
+    if (!actual || actual !== expected)
+        throw new OwnershipError("Only the run owner may advance workflow state", { actual, expected });
+}
+export function assertIdempotent(existingKeys, key) {
+    if (existingKeys.has(key))
+        throw new ContractError(`Duplicate idempotency key: ${key}`, { key });
+}
+export function reconcilePhase(phase, status, hasFreshEvidence) {
+    if (status === "unknown-outcome")
+        return "blocked";
+    if (status === "failed")
+        return "failed";
+    return hasFreshEvidence ? phase : "verifying";
+}
+//# sourceMappingURL=recovery.js.map

package/dist/src/core/recovery.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"recovery.js","sourceRoot":"","sources":["../../../src/core/recovery.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAG5D,MAAM,UAAU,aAAa,KAAoB,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAE5K,MAAM,UAAU,MAAM,CAAC,OAAuB;IAC5C,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,YAAY,GAAG,CAAC;YAAE,MAAM,IAAI,aAAa,CAAC,oCAAoC,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,YAAY,GAAG,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC3K,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;QAC1B,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACjC,KAAK,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;YACtB,KAAK,CAAC,UAAU,GAAG,EAAE,CAAC;YAAC,KAAK,CAAC,YAAY,GAAG,EAAE,CAAC;YAAC,KAAK,CAAC,QAAQ,GAAG,EAAE,CAAC;YAAC,KAAK,CAAC,YAAY,GAAG,EAAE,CAAC;YAAC,KAAK,CAAC,SAAS,GAAG,EAAE,CAAC;QACrH,CAAC;aACI,IAAI,KAAK,CAAC,IAAI,KAAK,kBAAkB,IAAI,KAAK,CAAC,GAAG,EAAE,KAAK,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC;YAAC,KAAK,CAAC,GAAG,GAAG,EAAE,GAAG,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,QAAQ,GAAG,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;QAAC,CAAC;aACpL,IAAI,KAAK,CAAC,IAAI,KAAK,oBAAoB,IAAI,KAAK,CAAC,GAAG,EAAE,KAAK,KAAK,KAAK,CAAC,KAAK;YAAE,KAAK,CAAC,GAAG,GAAG,EAAE,GAAG,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,QAAQ,GAAG,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;aACtP,IAAI,KAAK,CAAC,IAAI,KAAK,mBAAmB,IAAI,KAAK,CAAC,GAAG,EAAE,KAAK,KAAK,KAAK,CAAC,KAAK;YAAE,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;aAChH,IAAI,KAAK,CAAC,IAAI,KAAK,iBAAiB,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,KAAK,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC;YAAE,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;aAChK,IAAI,KAAK,CAAC,IAAI,KAAK,mBAAmB,IAAI,KAAK,CAAC,GAAG,EAAE,KAAK,KAAK,KAAK,CAAC,KAAK;YAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;aAChH,IAAI,KAAK,CAAC,IAAI,KAAK,sBAAsB,IAAI,KAAK,CAAC,GAAG,EAAE,KAAK,KAAK,KAAK,CAAC,KAAK;YAAE,KAAK,CAAC,YAAY,GAAG,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;aAC9L,IAAI,KAAK,CAAC,IAAI,KAAK,mBAAmB,IAAI,KAAK,CAAC,GAAG,EAAE,KAAK,KAAK,KAAK,CAAC,KAAK;YAAE,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;aACjH,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,IAAI,KAAK,CAAC,GAAG,EAAE,KAAK,KAAK,KAAK,CAAC,KAAK;YAAE,KAAK,CAAC,GAAG,GAAG,EAAE,GAAG,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,WAAW,EAAE,YAAY,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,QAAQ,GAAG,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;aACzO,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB,IAAI,KAAK,CAAC,GAAG,EAAE,KAAK,KAAK,KAAK,CAAC,KAAK;YAAE,KAAK,CAAC,GAAG,GAAG,EAAE,GAAG,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,SAAS,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;QAC9K,KAAK,CAAC,YAAY,GAAG,KAAK,CAAC,QAAQ,CAAC;IACtC,CAAC;IACD,KAAK,CAAC,QAAQ,GAAG,KAAK,CAAC,GAAG,EAAE,QAAQ,IAAI,KAAK,CAAC,YAAY,CAAC;IAC3D,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,MAA0B,EAAE,QAAgB;IACtE,IAAI,CAAC,MAAM,IAAI,MAAM,KAAK,QAAQ;QAAE,MAAM,IAAI,cAAc,CAAC,+CAA+C,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;AACtI,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,YAAyB,EAAE,GAAW;IACrE,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,aAAa,CAAC,8BAA8B,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;AACnG,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAAoB,EAAE,MAAgD,EAAE,gBAAyB;IAC9H,IAAI,MAAM,KAAK,iBAAiB;QAAE,OAAO,SAAS,CAAC;IACnD,IAAI,MAAM,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IACzC,OAAO,gBAAgB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC;AAChD,CAAC"}

package/dist/src/core/transitions.d.ts

@@ -0,0 +1,13 @@
+import type { EvidenceRecord, JournalEvent, ObjectiveContract, RouteClass, WorkflowPhase, WorkflowRun, WorkItem } from "./types.js";
+export declare function createRun(projectId: string, objective: ObjectiveContract, mode?: RouteClass, nativeSessionId?: string): WorkflowRun;
+export declare function addWorkItem(run: WorkflowRun, input: Omit<WorkItem, "id" | "revision" | "lifecycle" | "attempt">): WorkflowRun;
+export declare function transition(run: WorkflowRun, to: WorkflowPhase, reason: string): {
+    run: WorkflowRun;
+    event: JournalEvent;
+};
+export declare function acceptWorkItem(run: WorkflowRun, workItemId: string): WorkflowRun;
+export declare function canComplete(run: WorkflowRun, requiredChecks: string[], evidence: Pick<EvidenceRecord, "checkId" | "result" | "stale" | "targetDigest">[], ownedWork: WorkItem[], targetDigest: string): boolean;
+export declare function completeRun(run: WorkflowRun, requiredChecks: string[], evidence: EvidenceRecord[], targetDigest: string): {
+    run: WorkflowRun;
+    event: JournalEvent;
+};

package/dist/src/core/transitions.js

@@ -0,0 +1,59 @@
+import { createHash, randomUUID } from "node:crypto";
+import { InvalidTransitionError, ContractError } from "./errors.js";
+import { classifyRoute, objectiveHash } from "./policies.js";
+import { evaluateAcceptance } from "./acceptance.js";
+const now = () => new Date().toISOString();
+const phaseTransitions = {
+    created: ["orienting", "planning", "researching", "executing", "blocked", "cancelled"],
+    orienting: ["researching", "planning", "ready", "executing", "blocked", "cancelled"],
+    researching: ["planning", "ready", "blocked", "cancelled"],
+    planning: ["ready", "executing", "blocked", "cancelled"],
+    ready: ["executing", "verifying", "cancelled", "blocked"],
+    executing: ["integrating", "verifying", "reviewing", "blocked", "failed", "cancelled"],
+    integrating: ["verifying", "executing", "blocked", "failed", "cancelled"],
+    verifying: ["reviewing", "executing", "blocked", "failed", "cancelled"],
+    reviewing: ["executing", "blocked", "failed", "cancelled"],
+    complete: [], blocked: ["orienting", "planning", "executing", "verifying", "cancelled"],
+    failed: ["orienting", "planning", "executing", "cancelled"], cancelled: [],
+};
+export function createRun(projectId, objective, mode, nativeSessionId) {
+    if (!objective.objective.trim() || objective.acceptanceCriteria.length === 0)
+        throw new ContractError("Objective and acceptance criteria are required");
+    return { schemaVersion: 1, runId: `run_${randomUUID()}`, projectId, nativeSessionId, objective, objectiveHash: objectiveHash(objective), revision: 0, mode: mode ?? classifyRoute({ text: objective.objective }).routeClass, phase: "created", workItems: [], cancellation: { requested: false }, createdAt: now(), updatedAt: now() };
+}
+export function addWorkItem(run, input) {
+    if (run.workItems.some(item => item.title === input.title))
+        throw new ContractError(`Duplicate work item: ${input.title}`);
+    const item = { ...input, id: `work_${createHash("sha256").update(`${run.runId}:${input.title}`).digest("hex").slice(0, 12)}`, revision: 0, lifecycle: "pending", attempt: 0 };
+    return { ...run, revision: run.revision + 1, workItems: [...run.workItems, item], updatedAt: now() };
+}
+export function transition(run, to, reason) {
+    if (to === "complete")
+        throw new ContractError("Use the completion action after evidence and work acceptance checks");
+    if (!phaseTransitions[run.phase].includes(to))
+        throw new InvalidTransitionError(run.phase, `transition:${to}`);
+    const next = { ...run, phase: to, revision: run.revision + 1, updatedAt: now(), cancellation: to === "cancelled" ? { requested: true, reason } : run.cancellation };
+    return { run: next, event: { type: "run.transitioned", runId: run.runId, from: run.phase, to, reason } };
+}
+export function acceptWorkItem(run, workItemId) {
+    const item = run.workItems.find(candidate => candidate.id === workItemId);
+    if (!item)
+        throw new ContractError(`Unknown work item: ${workItemId}`);
+    if (item.lifecycle === "accepted" || item.lifecycle === "cancelled")
+        throw new ContractError(`Work item cannot be accepted from ${item.lifecycle}`);
+    const accepted = { ...item, lifecycle: "accepted", revision: item.revision + 1 };
+    return { ...run, revision: run.revision + 1, workItems: run.workItems.map(candidate => candidate.id === item.id ? accepted : candidate), updatedAt: now() };
+}
+export function canComplete(run, requiredChecks, evidence, ownedWork, targetDigest) {
+    const normalized = evidence.map((item, index) => ({ ...item, id: `legacy-evidence-${index}`, runId: run.runId, type: "test", inputDigests: {}, artifactHashes: [], provenance: { producer: "legacy", observedAt: "unknown" }, recordedAt: String(index) }));
+    return evaluateAcceptance({ revision: run.revision, run, dispatches: [], observations: [], evidence: normalized, integrations: [], decisions: [], lastSequence: 0 }, { requiredChecks, targetDigest, ownedWork }).eligible && run.phase !== "failed";
+}
+export function completeRun(run, requiredChecks, evidence, targetDigest) {
+    if (!canComplete(run, requiredChecks, evidence, run.workItems, targetDigest))
+        throw new ContractError("Completion requires fresh checks for the current tree and no outstanding work");
+    if (!["executing", "verifying", "reviewing"].includes(run.phase))
+        throw new InvalidTransitionError(run.phase, "complete");
+    const next = { ...run, phase: "complete", revision: run.revision + 1, updatedAt: now() };
+    return { run: next, event: { type: "run.transitioned", runId: run.runId, from: run.phase, to: "complete", reason: "completion checks satisfied" } };
+}
+//# sourceMappingURL=transitions.js.map