harnery 0.10.0 → 0.12.0

package/dist/core/workflow/proof.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof.d.ts","sourceRoot":"","sources":["../../../src/core/workflow/proof.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,KAAK,EACV,gBAAgB,EAChB,cAAc,EACd,eAAe,EACf,mBAAmB,EACpB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,KAAK,EACV,mBAAmB,EACnB,gBAAgB,EAChB,iBAAiB,EACjB,yBAAyB,EAEzB,YAAY,EACZ,kBAAkB,EAClB,qBAAqB,EACrB,sBAAsB,EACtB,YAAY,EAEZ,aAAa,EAId,MAAM,YAAY,CAAC;AAepB,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,mBAAmB,EAAE,CAAC;CACnC;AAED,MAAM,WAAW,uBAAuB;IACtC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,sBAAsB,CAAC;IAC7B,MAAM,EAAE,WAAW,GAAG,QAAQ,CAAC;IAC/B,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,YAAY,CAAC;IACrB,KAAK,EAAE,YAAY,CAAC;IACpB,MAAM,EAAE,kBAAkB,EAAE,CAAC;IAC7B,QAAQ,EAAE,sBAAsB,EAAE,CAAC;IACnC,eAAe,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,yBAAyB,GAAG,SAAS,CAAC,CAAC,CAAC;IAClF,MAAM,CAAC,EAAE;QACP,MAAM,EAAE,QAAQ,CAAC,gBAAgB,CAAC,CAAC;QACnC,SAAS,EAAE,SAAS,cAAc,EAAE,CAAC;QACrC,SAAS,EAAE,eAAe,CAAC;QAC3B,aAAa,EAAE,mBAAmB,CAAC;KACpC,CAAC;IACF,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,YAAY,GAAG,SAAS,EAC9B,YAAY,EAAE,MAAM,GACnB,sBAAsB,CAqCxB;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE;IAC1C,KAAK,EAAE,qBAAqB,CAAC;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACnC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,GAAG,sBAAsB,CA6BzB;AAED,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,mBAAmB,EAAE,EAC/B,QAAQ,EAAE,sBAAsB,EAAE,GACjC;IAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;IAAC,OAAO,EAAE,iBAAiB,CAAA;CAAE,CAuB9D;AAED,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,YAAY,CAQjF;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,uBAAuB,GAAG,aAAa,CAyChF;AAgCD,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,aAAa,GAAG,IAAI,CAe3E;AAED,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,aAAa,CAkBjF;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,aAAa,GAAG,MAAM,CAoChE"}

package/dist/core/workflow/proof.js

@@ -0,0 +1,375 @@
+import { createHash, randomUUID } from "node:crypto";
+import { chmodSync, existsSync, mkdirSync, readFileSync, renameSync, statSync, unlinkSync, writeFileSync, } from "node:fs";
+import { dirname, join } from "node:path";
+import { policyDigest } from "../policy/index.js";
+import { WORKFLOW_PROOF_SCHEMA_VERSION } from "./types.js";
+const MAX_ACCEPTANCE_CRITERIA = 50;
+const MAX_EVIDENCE_RECORDS = 200;
+const MAX_PACKET_BYTES = 512 * 1024;
+const MAX_NAME_CHARS = 200;
+const MAX_OBJECTIVE_CHARS = 2_000;
+const MAX_CRITERION_CHARS = 500;
+const MAX_LABEL_CHARS = 200;
+const MAX_SUMMARY_CHARS = 2_000;
+const MAX_REF_CHARS = 1_000;
+const ACCEPTANCE_ID = /^[A-Za-z0-9][A-Za-z0-9._-]{0,63}$/;
+const RUN_ID = /^[A-Za-z0-9][A-Za-z0-9._-]{0,199}$/;
+export function normalizeWorkflowMeta(meta, fallbackName) {
+    const name = boundedRequired(meta?.name ?? fallbackName, "workflow name", MAX_NAME_CHARS);
+    const objective = boundedOptional(meta?.objective, "workflow objective", MAX_OBJECTIVE_CHARS);
+    const description = boundedOptional(meta?.description, "workflow description", MAX_OBJECTIVE_CHARS);
+    const acceptance = meta?.acceptance ?? [];
+    if (!Array.isArray(acceptance))
+        throw new Error("workflow acceptance must be an array");
+    if (acceptance.length > MAX_ACCEPTANCE_CRITERIA) {
+        throw new Error(`workflow acceptance exceeds ${MAX_ACCEPTANCE_CRITERIA} criteria`);
+    }
+    const seen = new Set();
+    const normalized = acceptance.map((criterion, index) => {
+        if (!criterion || typeof criterion !== "object") {
+            throw new Error(`workflow acceptance[${index}] must be an object`);
+        }
+        const id = boundedRequired(criterion.id, `workflow acceptance[${index}].id`, 64);
+        if (!ACCEPTANCE_ID.test(id)) {
+            throw new Error(`workflow acceptance id ${JSON.stringify(id)} must match ${ACCEPTANCE_ID.source}`);
+        }
+        if (seen.has(id))
+            throw new Error(`duplicate workflow acceptance id ${JSON.stringify(id)}`);
+        seen.add(id);
+        return {
+            id,
+            statement: boundedRequired(criterion.statement, `workflow acceptance[${index}].statement`, MAX_CRITERION_CHARS),
+        };
+    });
+    return { name, description, objective, acceptance: normalized };
+}
+export function createEvidenceRecord(input) {
+    if (input.sequence > MAX_EVIDENCE_RECORDS) {
+        throw new Error(`workflow evidence exceeds ${MAX_EVIDENCE_RECORDS} records`);
+    }
+    const value = input.value;
+    const acceptanceIds = value.acceptanceIds ?? [];
+    if (!Array.isArray(acceptanceIds))
+        throw new Error("evidence acceptanceIds must be an array");
+    const uniqueAcceptanceIds = [...new Set(acceptanceIds)];
+    for (const id of uniqueAcceptanceIds) {
+        if (typeof id !== "string" || !input.acceptanceIds.has(id)) {
+            throw new Error(`evidence references unknown acceptance id ${JSON.stringify(id)}`);
+        }
+    }
+    return {
+        id: `e${input.sequence}`,
+        source: "workflow",
+        recorded_at: input.recordedAt ?? new Date().toISOString(),
+        kind: enumValue(value.kind, ["test", "command", "artifact", "change", "review", "observation"], "evidence kind"),
+        status: enumValue(value.status, ["passed", "failed", "observed", "unknown"], "evidence status"),
+        label: boundedRequired(value.label, "evidence label", MAX_LABEL_CHARS),
+        summary: boundedOptional(value.summary, "evidence summary", MAX_SUMMARY_CHARS),
+        ref: boundedOptional(value.ref, "evidence ref", MAX_REF_CHARS),
+        stage: boundedOptional(input.stage, "evidence stage", MAX_LABEL_CHARS),
+        acceptance_ids: uniqueAcceptanceIds,
+    };
+}
+export function rollupAcceptance(criteria, evidence) {
+    const results = criteria.map((criterion) => {
+        const attached = evidence.filter((item) => item.acceptance_ids.includes(criterion.id));
+        const failed = attached.filter((item) => item.status === "failed");
+        const passed = attached.filter((item) => item.status === "passed");
+        const decisive = failed.length > 0 ? failed : passed;
+        const status = failed.length > 0 ? "unsatisfied" : passed.length > 0 ? "satisfied" : "unknown";
+        return {
+            ...criterion,
+            status,
+            evidence_ids: attached.map((item) => item.id),
+            sources: [...new Set(decisive.map((item) => item.source))],
+        };
+    });
+    return {
+        criteria: results,
+        summary: {
+            satisfied: results.filter((item) => item.status === "satisfied").length,
+            unsatisfied: results.filter((item) => item.status === "unsatisfied").length,
+            unknown: results.filter((item) => item.status === "unknown").length,
+            total: results.length,
+        },
+    };
+}
+export function digestResult(value, kind) {
+    const resolvedKind = kind ?? (typeof value === "string" ? "text" : "json");
+    const serialized = resolvedKind === "text" ? String(value) : (JSON.stringify(value) ?? "null");
+    return {
+        kind: resolvedKind,
+        sha256: createHash("sha256").update(serialized).digest("hex"),
+        bytes: Buffer.byteLength(serialized),
+    };
+}
+export function buildWorkflowProof(input) {
+    const acceptance = rollupAcceptance(input.meta.acceptance, input.evidence);
+    const repository = buildRepoEvidence(input.before, input.after);
+    const agents = input.agents.map((agent) => ({
+        ...agent,
+        label: clipped(agent.label, MAX_LABEL_CHARS),
+        model: clippedOptional(agent.model, MAX_LABEL_CHARS),
+        session_id: clippedOptional(agent.session_id, MAX_REF_CHARS),
+        error: clippedOptional(agent.error, MAX_SUMMARY_CHARS),
+    }));
+    const harnesses = buildHarnessCoverage(agents, input.harnessEvidence);
+    const unknowns = buildUnknowns(agents, harnesses, repository);
+    const journal = readFileSync(input.journalPath);
+    return {
+        schema_version: WORKFLOW_PROOF_SCHEMA_VERSION,
+        run: {
+            id: input.runId,
+            name: input.meta.name,
+            status: input.status,
+            started_at: input.startedAt,
+            ended_at: input.endedAt,
+            duration_ms: input.durationMs,
+            objective: input.meta.objective,
+            error: clippedOptional(input.error, MAX_SUMMARY_CHARS),
+            result: input.result === undefined ? undefined : digestResult(input.result),
+        },
+        acceptance,
+        agents,
+        evidence: input.evidence,
+        policy: input.policy ? buildPolicyProof(input.policy) : undefined,
+        repository,
+        harnesses,
+        unknowns,
+        integrity: {
+            journal: {
+                path: "journal.jsonl",
+                sha256: createHash("sha256").update(journal).digest("hex"),
+                bytes: journal.byteLength,
+            },
+        },
+    };
+}
+function buildPolicyProof(input) {
+    const decisions = input.decisions.map((decision) => ({
+        ...decision,
+        reason: clipped(decision.reason, MAX_SUMMARY_CHARS),
+        request: {
+            ...decision.request,
+            action: clipped(decision.request.action, MAX_REF_CHARS),
+            path: clippedOptional(decision.request.path, MAX_REF_CHARS),
+            target: clippedOptional(decision.request.target, MAX_REF_CHARS),
+        },
+    }));
+    return {
+        schema_version: input.config.schema_version,
+        name: input.config.name,
+        sha256: policyDigest(input.config),
+        isolation: input.isolation,
+        network_access: input.networkAccess,
+        config: input.config,
+        decisions,
+        summary: {
+            allowed: decisions.filter((decision) => decision.verdict === "allow").length,
+            denied: decisions.filter((decision) => decision.verdict === "deny").length,
+            asked: decisions.filter((decision) => decision.initial_verdict === "ask").length,
+            total: decisions.length,
+        },
+    };
+}
+export function writeWorkflowProof(path, proof) {
+    const body = `${JSON.stringify(proof, null, 2)}\n`;
+    const bytes = Buffer.byteLength(body);
+    if (bytes > MAX_PACKET_BYTES) {
+        throw new Error(`workflow proof is ${bytes} bytes; limit is ${MAX_PACKET_BYTES}`);
+    }
+    mkdirSync(dirname(path), { recursive: true });
+    const temporary = `${path}.tmp-${process.pid}-${randomUUID()}`;
+    try {
+        writeFileSync(temporary, body, { encoding: "utf8", flag: "wx", mode: 0o600 });
+        renameSync(temporary, path);
+        chmodSync(path, 0o600);
+    }
+    finally {
+        if (existsSync(temporary))
+            unlinkSync(temporary);
+    }
+}
+export function readWorkflowProof(coordRoot, runId) {
+    if (!RUN_ID.test(runId))
+        throw new Error(`invalid workflow run id ${JSON.stringify(runId)}`);
+    const path = join(coordRoot, ".harnery", "workflows", runId, "proof.json");
+    if (!existsSync(path))
+        throw new Error(`workflow run ${runId} has no proof packet at ${path}`);
+    const size = statSync(path).size;
+    if (size > MAX_PACKET_BYTES) {
+        throw new Error(`workflow proof is ${size} bytes; limit is ${MAX_PACKET_BYTES}`);
+    }
+    let proof;
+    try {
+        proof = JSON.parse(readFileSync(path, "utf8"));
+    }
+    catch (error) {
+        throw new Error(`cannot parse workflow proof at ${path}: ${error.message}`);
+    }
+    if (proof.schema_version !== WORKFLOW_PROOF_SCHEMA_VERSION || proof.run?.id !== runId) {
+        throw new Error(`workflow proof at ${path} has an unsupported or mismatched schema`);
+    }
+    return proof;
+}
+export function renderWorkflowProof(proof) {
+    const lines = [
+        `run ${proof.run.id} (${proof.run.name}): ${proof.run.status}`,
+        `duration: ${Math.round(proof.run.duration_ms / 1000)}s`,
+    ];
+    if (proof.run.objective)
+        lines.push(`objective: ${proof.run.objective}`);
+    const summary = proof.acceptance.summary;
+    lines.push(`acceptance: ${summary.satisfied} satisfied, ${summary.unsatisfied} unsatisfied, ${summary.unknown} unknown`);
+    for (const criterion of proof.acceptance.criteria) {
+        const mark = criterion.status === "satisfied" ? "PASS" : criterion.status === "unsatisfied" ? "FAIL" : "?";
+        const refs = criterion.evidence_ids.length > 0 ? ` [${criterion.evidence_ids.join(", ")}]` : "";
+        lines.push(`  ${mark} ${criterion.id}: ${criterion.statement}${refs}`);
+    }
+    lines.push(`evidence: ${proof.evidence.length} record(s); agents: ${proof.agents.length}`);
+    if (proof.policy) {
+        lines.push(`policy: ${proof.policy.name}; ${proof.policy.summary.allowed} allowed, ` +
+            `${proof.policy.summary.denied} denied, ${proof.policy.summary.asked} asked`);
+    }
+    const repo = proof.repository;
+    const drift = repo.drift;
+    lines.push(`repository: branch ${repo.before.branch ?? "unknown"} -> ${repo.after.branch ?? "unknown"}; ` +
+        `HEAD ${short(repo.before.head)} -> ${short(repo.after.head)}; ` +
+        `${drift.dirty_paths_added.length} dirty added, ${drift.dirty_paths_cleared.length} cleared`);
+    if (proof.unknowns.length > 0) {
+        lines.push(`unknowns: ${proof.unknowns.length}`);
+        for (const unknown of proof.unknowns)
+            lines.push(`  - ${unknown.message}`);
+    }
+    lines.push(`journal sha256: ${proof.integrity.journal.sha256}`);
+    return `${lines.join("\n")}\n`;
+}
+function buildRepoEvidence(beforeRaw, afterRaw) {
+    const before = normalizeRepoSnapshot(beforeRaw);
+    const after = normalizeRepoSnapshot(afterRaw);
+    const beforeDirty = new Set(before.dirty_paths);
+    const afterDirty = new Set(after.dirty_paths);
+    const retained = after.dirty_paths.filter((path) => beforeDirty.has(path));
+    const incomplete = Boolean(before.dirty_paths_truncated || after.dirty_paths_truncated || retained.length > 0);
+    return {
+        source: "engine",
+        before,
+        after,
+        drift: {
+            branch_changed: before.branch !== after.branch,
+            head_changed: before.head !== after.head,
+            dirty_paths_added: after.dirty_paths.filter((path) => !beforeDirty.has(path)),
+            dirty_paths_cleared: before.dirty_paths.filter((path) => !afterDirty.has(path)),
+            dirty_paths_retained: retained,
+            incomplete,
+            note: incomplete
+                ? "Snapshots cannot prove whether retained dirty paths changed during the run, and truncated lists may omit paths."
+                : undefined,
+        },
+    };
+}
+function normalizeRepoSnapshot(snapshot) {
+    return {
+        cwd: snapshot.cwd,
+        root: snapshot.root,
+        branch: snapshot.branch,
+        head: snapshot.head,
+        dirty_paths: snapshot.dirty_paths,
+        dirty_paths_truncated: snapshot.dirty_paths_truncated,
+    };
+}
+function buildHarnessCoverage(agents, claims) {
+    return [...new Set(agents.map((agent) => agent.harness))].map((harness) => {
+        const harnessAgents = agents.filter((agent) => agent.harness === harness);
+        return {
+            harness,
+            tool_evidence: claims?.[harness]?.toolEvidence ?? {
+                support: "unknown",
+                note: "No harness capability claim was supplied to this workflow run.",
+            },
+            observed: {
+                final_results: harnessAgents.filter((agent) => agent.result).length,
+                session_ids: harnessAgents.filter((agent) => agent.session_id).length,
+                costs: harnessAgents.filter((agent) => agent.cost_usd !== undefined).length,
+            },
+        };
+    });
+}
+function buildUnknowns(agents, harnesses, repository) {
+    const unknowns = [];
+    for (const harness of harnesses) {
+        if (harness.tool_evidence.support === "unknown") {
+            unknowns.push({
+                code: "harness_capability_unregistered",
+                harness: harness.harness,
+                message: `${harness.harness}: tool-evidence capability was not registered for this run.`,
+            });
+        }
+        else if (harness.tool_evidence.support !== "supported") {
+            unknowns.push({
+                code: "tool_evidence_unavailable",
+                harness: harness.harness,
+                message: `${harness.harness}: adapter-native tool evidence is ${harness.tool_evidence.support}.`,
+            });
+        }
+    }
+    for (const agent of agents.filter((item) => item.status !== "failed")) {
+        if (agent.cost_usd === undefined) {
+            unknowns.push({
+                code: "agent_cost_unreported",
+                harness: agent.harness,
+                agent_id: agent.id,
+                message: `${agent.id}: ${agent.harness} did not report per-run cost.`,
+            });
+        }
+        if (!agent.session_id) {
+            unknowns.push({
+                code: "agent_session_unreported",
+                harness: agent.harness,
+                agent_id: agent.id,
+                message: `${agent.id}: ${agent.harness} did not report a child session id.`,
+            });
+        }
+    }
+    if (repository.drift.incomplete) {
+        unknowns.push({
+            code: "repository_drift_incomplete",
+            message: repository.drift.note ?? "Repository drift is incomplete.",
+        });
+    }
+    return unknowns;
+}
+function boundedRequired(value, field, max) {
+    if (typeof value !== "string" || value.trim() === "")
+        throw new Error(`${field} is required`);
+    const normalized = value.trim();
+    if (normalized.length > max)
+        throw new Error(`${field} exceeds ${max} characters`);
+    return normalized;
+}
+function boundedOptional(value, field, max) {
+    if (value === undefined)
+        return undefined;
+    if (typeof value !== "string")
+        throw new Error(`${field} must be a string`);
+    const normalized = value.trim();
+    if (normalized === "")
+        return undefined;
+    if (normalized.length > max)
+        throw new Error(`${field} exceeds ${max} characters`);
+    return normalized;
+}
+function enumValue(value, values, field) {
+    if (typeof value === "string" && values.includes(value))
+        return value;
+    throw new Error(`${field} must be one of: ${values.join(", ")}`);
+}
+function short(value) {
+    return value ? value.slice(0, 8) : "unknown";
+}
+function clipped(value, max) {
+    return value.length <= max ? value : `${value.slice(0, Math.max(0, max - 1))}…`;
+}
+function clippedOptional(value, max) {
+    return value === undefined ? undefined : clipped(value, max);
+}

package/dist/core/workflow/types.d.ts

@@ -6,7 +6,162 @@
  *
  * Design record: decision 0015 (portable coordination-aware workflows).
  */
+import type { DispatchCostEstimator, ExternalMutationRequest, NormalizedPolicy, PolicyAskResolver, PolicyDecision, PolicyIsolation, PolicyNetworkAccess, PolicySpec } from "../policy/index.js";
 import type { BillingMode, BillingProber } from "./billing.js";
+export declare const WORKFLOW_PROOF_SCHEMA_VERSION: 1;
+export type EvidenceKind = "test" | "command" | "artifact" | "change" | "review" | "observation";
+export type EvidenceStatus = "passed" | "failed" | "observed" | "unknown";
+export type EvidenceSource = "workflow" | "engine";
+export type AcceptanceStatus = "satisfied" | "unsatisfied" | "unknown";
+export type WorkflowRunStatus = "succeeded" | "failed";
+export interface AcceptanceCriterion {
+    /** Stable identifier referenced by evidence, for example `tests-pass`. */
+    id: string;
+    statement: string;
+}
+export interface WorkflowEvidenceInput {
+    kind: EvidenceKind;
+    status: EvidenceStatus;
+    label: string;
+    summary?: string;
+    /** Inspectable local path, URL, command name, or other bounded reference. */
+    ref?: string;
+    /** Declared acceptance criteria this evidence bears on. */
+    acceptanceIds?: string[];
+}
+export interface WorkflowEvidenceRecord {
+    id: string;
+    source: EvidenceSource;
+    recorded_at: string;
+    kind: EvidenceKind;
+    status: EvidenceStatus;
+    label: string;
+    summary?: string;
+    ref?: string;
+    stage?: string;
+    acceptance_ids: string[];
+}
+export interface AcceptanceResult extends AcceptanceCriterion {
+    status: AcceptanceStatus;
+    evidence_ids: string[];
+    /** Sources behind the decisive evidence. Empty when status is unknown. */
+    sources: EvidenceSource[];
+}
+export interface AcceptanceSummary {
+    satisfied: number;
+    unsatisfied: number;
+    unknown: number;
+    total: number;
+}
+export interface ResultDigest {
+    kind: "text" | "json";
+    sha256: string;
+    bytes: number;
+}
+export interface WorkflowAgentProof {
+    id: string;
+    label: string;
+    stage?: string;
+    harness: HarnessName;
+    model?: string;
+    status: "succeeded" | "failed" | "cached";
+    attempts: number;
+    duration_ms: number;
+    cost_usd?: number;
+    session_id?: string;
+    result?: ResultDigest;
+    error?: string;
+}
+export interface WorkflowRepoSnapshot {
+    cwd: string;
+    root?: string;
+    branch?: string;
+    head?: string;
+    dirty_paths: string[];
+    dirty_paths_truncated?: boolean;
+}
+export interface WorkflowRepoEvidence {
+    source: "engine";
+    before: WorkflowRepoSnapshot;
+    after: WorkflowRepoSnapshot;
+    drift: {
+        branch_changed: boolean;
+        head_changed: boolean;
+        dirty_paths_added: string[];
+        dirty_paths_cleared: string[];
+        dirty_paths_retained: string[];
+        /** True when snapshots cannot prove whether every retained dirty path changed. */
+        incomplete: boolean;
+        note?: string;
+    };
+}
+export interface HarnessEvidenceCoverage {
+    harness: HarnessName;
+    tool_evidence: {
+        support: "supported" | "partial" | "unsupported" | "unknown";
+        note?: string;
+    };
+    observed: {
+        final_results: number;
+        session_ids: number;
+        costs: number;
+    };
+}
+export interface WorkflowProofUnknown {
+    code: "tool_evidence_unavailable" | "harness_capability_unregistered" | "agent_cost_unreported" | "agent_session_unreported" | "repository_drift_incomplete";
+    message: string;
+    harness?: HarnessName;
+    agent_id?: string;
+}
+export interface WorkflowProof {
+    schema_version: typeof WORKFLOW_PROOF_SCHEMA_VERSION;
+    run: {
+        id: string;
+        name: string;
+        status: WorkflowRunStatus;
+        started_at: string;
+        ended_at: string;
+        duration_ms: number;
+        objective?: string;
+        error?: string;
+        result?: ResultDigest;
+    };
+    acceptance: {
+        criteria: AcceptanceResult[];
+        summary: AcceptanceSummary;
+    };
+    agents: WorkflowAgentProof[];
+    evidence: WorkflowEvidenceRecord[];
+    policy?: WorkflowPolicyProof;
+    repository: WorkflowRepoEvidence;
+    harnesses: HarnessEvidenceCoverage[];
+    unknowns: WorkflowProofUnknown[];
+    integrity: {
+        journal: {
+            path: "journal.jsonl";
+            sha256: string;
+            bytes: number;
+        };
+    };
+}
+export interface WorkflowPolicyProof {
+    schema_version: 1;
+    name: string;
+    sha256: string;
+    isolation: PolicyIsolation;
+    network_access: PolicyNetworkAccess;
+    config: NormalizedPolicy;
+    decisions: PolicyDecision[];
+    summary: {
+        allowed: number;
+        denied: number;
+        asked: number;
+        total: number;
+    };
+}
+export interface HarnessEvidenceCapability {
+    toolEvidence: HarnessEvidenceCoverage["tool_evidence"];
+}
 /** JSON-schema *subset* accepted by stage gates (see validate.ts). */
 export interface StageSchema {
     type: "object" | "array" | "string" | "number" | "boolean";
@@ -86,10 +241,16 @@ export interface WorkflowContext {
     stage: (title: string) => void;
     /** Narrate progress (stderr + journal). */
     log: (message: string) => void;
+    /** Attach a bounded, sourced receipt to the run and optional acceptance criteria. */
+    evidence: (input: WorkflowEvidenceInput) => string;
+    /** Authorize one host-mediated external mutation before performing it. */
+    authorize: (input: ExternalMutationRequest) => Promise<PolicyDecision>;
 }
 export interface WorkflowMeta {
     name: string;
     description?: string;
+    objective?: string;
+    acceptance?: AcceptanceCriterion[];
 }
 /** Loaded script shape: `export const meta` + `export default async (ctx) => …`. */
 export interface WorkflowModule {
@@ -127,6 +288,21 @@ export interface EngineOpts {
     allowApiBilling?: boolean;
     /** Billing-probe override for tests (default: the real probeBilling). */
     probeBilling?: BillingProber;
+    /** Capability claims used to state whether adapter-native tool evidence was
+     * available. Missing claims remain unknown. */
+    harnessEvidence?: Readonly<Record<HarnessName, HarnessEvidenceCapability | undefined>>;
+    /** Immutable host policy. Workflow scripts and model prompts cannot replace it. */
+    policy?: PolicySpec | NormalizedPolicy;
+    /** Host callback for ASK. Missing, invalid, throwing, or timed-out resolution denies. */
+    resolvePolicyAsk?: PolicyAskResolver;
+    /** Host-owned cost projection. Required to allow budgeted dispatches with known pricing. */
+    estimateDispatchCost?: DispatchCostEstimator;
+    /** Maximum wait for an ASK resolver (default 60 seconds). */
+    policyAskTimeoutMs?: number;
+    /** Execution boundary created by the host (default shared). */
+    isolation?: PolicyIsolation;
+    /** Network state of spawned harness subprocesses (default unknown). */
+    networkAccess?: PolicyNetworkAccess;
 }
 export interface RunReport {
     runId: string;
@@ -139,6 +315,8 @@ export interface RunReport {
     costUsd: number;
     durationMs: number;
     journalPath: string;
+    proofPath: string;
+    acceptance: AcceptanceSummary;
     /** Estimated tokens of repo instructions (CLAUDE.md/AGENTS.md at the child
      * cwd) that EVERY child cache-writes on spawn — the fixed per-child context
      * overhead a fan-out multiplies. bytes/4 heuristic; 0 when no such file. */
@@ -148,5 +326,7 @@ export interface RunReport {
         harness: HarnessName;
         mode: BillingMode;
     }>;
+    /** Policy verdict totals when the host supplied a policy. */
+    policy?: WorkflowPolicyProof["summary"];
 }
 //# sourceMappingURL=types.d.ts.map

package/dist/core/workflow/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/core/workflow/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAE/D,sEAAsE;AACtE,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,QAAQ,GAAG,OAAO,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;IAC3D,kBAAkB;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACzC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,iBAAiB;IACjB,KAAK,CAAC,EAAE,WAAW,CAAC;IACpB,qDAAqD;IACrD,IAAI,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,CAAC;CACzC;AAED,MAAM,WAAW,SAAS;IACxB;;8EAE0E;IAC1E,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,iFAAiF;IACjF,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;uDACmD;IACnD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,6DAA6D;IAC7D,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,+CAA+C;IAC/C,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;sDACkD;IAClD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,2DAA2D;IAC3D,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;kBAEc;IACd,OAAO,CAAC,EAAE,WAAW,CAAC;CACvB;AAED;;kCAEkC;AAClC,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC;AAEjC,yDAAyD;AACzD,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,OAAO,CAAC;IACZ,yDAAyD;IACzD,IAAI,EAAE,MAAM,CAAC;IACb,8DAA8D;IAC9D,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,+BAA+B;IAC/B,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,GAAG,EAAE,MAAM,CAAC;IACZ;2EACuE;IACvE,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;8DAC0D;IAC1D,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED;8EAC8E;AAC9E,MAAM,MAAM,OAAO,GAAG,CAAC,GAAG,EAAE,YAAY,KAAK,OAAO,CAAC,WAAW,CAAC,CAAC;AAElE;+EAC+E;AAC/E,MAAM,WAAW,eAAe;IAC9B,6EAA6E;IAC7E,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,SAAS,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9D,8EAA8E;IAC9E,QAAQ,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAC3E,+DAA+D;IAC/D,KAAK,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC;IAC/B,2CAA2C;IAC3C,GAAG,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;CAChC;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,oFAAoF;AACpF,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE,YAAY,CAAC;IACpB,OAAO,EAAE,CAAC,GAAG,EAAE,eAAe,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;CACrD;AAED,MAAM,WAAW,UAAU;IACzB,0DAA0D;IAC1D,SAAS,EAAE,MAAM,CAAC;IAClB;iDAC6C;IAC7C,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC;IAC7D,kFAAkF;IAClF,cAAc,CAAC,EAAE,WAAW,CAAC;IAC7B;;6EAEyE;IACzE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,0EAA0E;IAC1E,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,0DAA0D;IAC1D,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,gEAAgE;IAChE,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,+CAA+C;IAC/C,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IAC/B;;+BAE2B;IAC3B,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B;;;iCAG6B;IAC7B,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,yEAAyE;IACzE,YAAY,CAAC,EAAE,aAAa,CAAC;CAC9B;AAED,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,iDAAiD;IACjD,MAAM,EAAE,OAAO,CAAC;IAChB,aAAa,EAAE,MAAM,CAAC;IACtB,4EAA4E;IAC5E,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB;;gFAE4E;IAC5E,6BAA6B,EAAE,MAAM,CAAC;IACtC,6EAA6E;IAC7E,OAAO,EAAE,KAAK,CAAC;QAAE,OAAO,EAAE,WAAW,CAAC;QAAC,IAAI,EAAE,WAAW,CAAA;KAAE,CAAC,CAAC;CAC7D"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/core/workflow/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EACV,qBAAqB,EACrB,uBAAuB,EACvB,gBAAgB,EAChB,iBAAiB,EACjB,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,UAAU,EACX,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAE/D,eAAO,MAAM,6BAA6B,EAAG,CAAU,CAAC;AAExD,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG,SAAS,GAAG,UAAU,GAAG,QAAQ,GAAG,QAAQ,GAAG,aAAa,CAAC;AACjG,MAAM,MAAM,cAAc,GAAG,QAAQ,GAAG,QAAQ,GAAG,UAAU,GAAG,SAAS,CAAC;AAC1E,MAAM,MAAM,cAAc,GAAG,UAAU,GAAG,QAAQ,CAAC;AACnD,MAAM,MAAM,gBAAgB,GAAG,WAAW,GAAG,aAAa,GAAG,SAAS,CAAC;AACvE,MAAM,MAAM,iBAAiB,GAAG,WAAW,GAAG,QAAQ,CAAC;AAEvD,MAAM,WAAW,mBAAmB;IAClC,0EAA0E;IAC1E,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,cAAc,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,6EAA6E;IAC7E,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,2DAA2D;IAC3D,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,sBAAsB;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,cAAc,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,cAAc,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,cAAc,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,gBAAiB,SAAQ,mBAAmB;IAC3D,MAAM,EAAE,gBAAgB,CAAC;IACzB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,0EAA0E;IAC1E,OAAO,EAAE,cAAc,EAAE,CAAC;CAC3B;AAED,MAAM,WAAW,iBAAiB;IAChC,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,WAAW,CAAC;IACrB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,WAAW,GAAG,QAAQ,GAAG,QAAQ,CAAC;IAC1C,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,oBAAoB;IACnC,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,qBAAqB,CAAC,EAAE,OAAO,CAAC;CACjC;AAED,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,QAAQ,CAAC;IACjB,MAAM,EAAE,oBAAoB,CAAC;IAC7B,KAAK,EAAE,oBAAoB,CAAC;IAC5B,KAAK,EAAE;QACL,cAAc,EAAE,OAAO,CAAC;QACxB,YAAY,EAAE,OAAO,CAAC;QACtB,iBAAiB,EAAE,MAAM,EAAE,CAAC;QAC5B,mBAAmB,EAAE,MAAM,EAAE,CAAC;QAC9B,oBAAoB,EAAE,MAAM,EAAE,CAAC;QAC/B,kFAAkF;QAClF,UAAU,EAAE,OAAO,CAAC;QACpB,IAAI,CAAC,EAAE,MAAM,CAAC;KACf,CAAC;CACH;AAED,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,WAAW,CAAC;IACrB,aAAa,EAAE;QACb,OAAO,EAAE,WAAW,GAAG,SAAS,GAAG,aAAa,GAAG,SAAS,CAAC;QAC7D,IAAI,CAAC,EAAE,MAAM,CAAC;KACf,CAAC;IACF,QAAQ,EAAE;QACR,aAAa,EAAE,MAAM,CAAC;QACtB,WAAW,EAAE,MAAM,CAAC;QACpB,KAAK,EAAE,MAAM,CAAC;KACf,CAAC;CACH;AAED,MAAM,WAAW,oBAAoB;IACnC,IAAI,EACA,2BAA2B,GAC3B,iCAAiC,GACjC,uBAAuB,GACvB,0BAA0B,GAC1B,6BAA6B,CAAC;IAClC,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,WAAW,CAAC;IACtB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,aAAa;IAC5B,cAAc,EAAE,OAAO,6BAA6B,CAAC;IACrD,GAAG,EAAE;QACH,EAAE,EAAE,MAAM,CAAC;QACX,IAAI,EAAE,MAAM,CAAC;QACb,MAAM,EAAE,iBAAiB,CAAC;QAC1B,UAAU,EAAE,MAAM,CAAC;QACnB,QAAQ,EAAE,MAAM,CAAC;QACjB,WAAW,EAAE,MAAM,CAAC;QACpB,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,MAAM,CAAC,EAAE,YAAY,CAAC;KACvB,CAAC;IACF,UAAU,EAAE;QACV,QAAQ,EAAE,gBAAgB,EAAE,CAAC;QAC7B,OAAO,EAAE,iBAAiB,CAAC;KAC5B,CAAC;IACF,MAAM,EAAE,kBAAkB,EAAE,CAAC;IAC7B,QAAQ,EAAE,sBAAsB,EAAE,CAAC;IACnC,MAAM,CAAC,EAAE,mBAAmB,CAAC;IAC7B,UAAU,EAAE,oBAAoB,CAAC;IACjC,SAAS,EAAE,uBAAuB,EAAE,CAAC;IACrC,QAAQ,EAAE,oBAAoB,EAAE,CAAC;IACjC,SAAS,EAAE;QACT,OAAO,EAAE;YACP,IAAI,EAAE,eAAe,CAAC;YACtB,MAAM,EAAE,MAAM,CAAC;YACf,KAAK,EAAE,MAAM,CAAC;SACf,CAAC;KACH,CAAC;CACH;AAED,MAAM,WAAW,mBAAmB;IAClC,cAAc,EAAE,CAAC,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,eAAe,CAAC;IAC3B,cAAc,EAAE,mBAAmB,CAAC;IACpC,MAAM,EAAE,gBAAgB,CAAC;IACzB,SAAS,EAAE,cAAc,EAAE,CAAC;IAC5B,OAAO,EAAE;QACP,OAAO,EAAE,MAAM,CAAC;QAChB,MAAM,EAAE,MAAM,CAAC;QACf,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,EAAE,MAAM,CAAC;KACf,CAAC;CACH;AAED,MAAM,WAAW,yBAAyB;IACxC,YAAY,EAAE,uBAAuB,CAAC,eAAe,CAAC,CAAC;CACxD;AAED,sEAAsE;AACtE,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,QAAQ,GAAG,OAAO,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;IAC3D,kBAAkB;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACzC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,iBAAiB;IACjB,KAAK,CAAC,EAAE,WAAW,CAAC;IACpB,qDAAqD;IACrD,IAAI,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,CAAC;CACzC;AAED,MAAM,WAAW,SAAS;IACxB;;8EAE0E;IAC1E,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,iFAAiF;IACjF,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;uDACmD;IACnD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,6DAA6D;IAC7D,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,+CAA+C;IAC/C,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;sDACkD;IAClD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,2DAA2D;IAC3D,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;kBAEc;IACd,OAAO,CAAC,EAAE,WAAW,CAAC;CACvB;AAED;;kCAEkC;AAClC,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC;AAEjC,yDAAyD;AACzD,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,OAAO,CAAC;IACZ,yDAAyD;IACzD,IAAI,EAAE,MAAM,CAAC;IACb,8DAA8D;IAC9D,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,+BAA+B;IAC/B,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,GAAG,EAAE,MAAM,CAAC;IACZ;2EACuE;IACvE,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;8DAC0D;IAC1D,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED;8EAC8E;AAC9E,MAAM,MAAM,OAAO,GAAG,CAAC,GAAG,EAAE,YAAY,KAAK,OAAO,CAAC,WAAW,CAAC,CAAC;AAElE;+EAC+E;AAC/E,MAAM,WAAW,eAAe;IAC9B,6EAA6E;IAC7E,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,SAAS,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9D,8EAA8E;IAC9E,QAAQ,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAC3E,+DAA+D;IAC/D,KAAK,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC;IAC/B,2CAA2C;IAC3C,GAAG,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;IAC/B,qFAAqF;IACrF,QAAQ,EAAE,CAAC,KAAK,EAAE,qBAAqB,KAAK,MAAM,CAAC;IACnD,0EAA0E;IAC1E,SAAS,EAAE,CAAC,KAAK,EAAE,uBAAuB,KAAK,OAAO,CAAC,cAAc,CAAC,CAAC;CACxE;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,mBAAmB,EAAE,CAAC;CACpC;AAED,oFAAoF;AACpF,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE,YAAY,CAAC;IACpB,OAAO,EAAE,CAAC,GAAG,EAAE,eAAe,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;CACrD;AAED,MAAM,WAAW,UAAU;IACzB,0DAA0D;IAC1D,SAAS,EAAE,MAAM,CAAC;IAClB;iDAC6C;IAC7C,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC;IAC7D,kFAAkF;IAClF,cAAc,CAAC,EAAE,WAAW,CAAC;IAC7B;;6EAEyE;IACzE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,0EAA0E;IAC1E,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,0DAA0D;IAC1D,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,gEAAgE;IAChE,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,+CAA+C;IAC/C,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IAC/B;;+BAE2B;IAC3B,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B;;;iCAG6B;IAC7B,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,yEAAyE;IACzE,YAAY,CAAC,EAAE,aAAa,CAAC;IAC7B;mDAC+C;IAC/C,eAAe,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,yBAAyB,GAAG,SAAS,CAAC,CAAC,CAAC;IACvF,mFAAmF;IACnF,MAAM,CAAC,EAAE,UAAU,GAAG,gBAAgB,CAAC;IACvC,yFAAyF;IACzF,gBAAgB,CAAC,EAAE,iBAAiB,CAAC;IACrC,4FAA4F;IAC5F,oBAAoB,CAAC,EAAE,qBAAqB,CAAC;IAC7C,6DAA6D;IAC7D,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,+DAA+D;IAC/D,SAAS,CAAC,EAAE,eAAe,CAAC;IAC5B,uEAAuE;IACvE,aAAa,CAAC,EAAE,mBAAmB,CAAC;CACrC;AAED,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,iDAAiD;IACjD,MAAM,EAAE,OAAO,CAAC;IAChB,aAAa,EAAE,MAAM,CAAC;IACtB,4EAA4E;IAC5E,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,iBAAiB,CAAC;IAC9B;;gFAE4E;IAC5E,6BAA6B,EAAE,MAAM,CAAC;IACtC,6EAA6E;IAC7E,OAAO,EAAE,KAAK,CAAC;QAAE,OAAO,EAAE,WAAW,CAAC;QAAC,IAAI,EAAE,WAAW,CAAA;KAAE,CAAC,CAAC;IAC5D,6DAA6D;IAC7D,MAAM,CAAC,EAAE,mBAAmB,CAAC,SAAS,CAAC,CAAC;CACzC"}

package/dist/core/workflow/types.js

@@ -6,4 +6,4 @@
  *
  * Design record: decision 0015 (portable coordination-aware workflows).
  */
-export {};
+export const WORKFLOW_PROOF_SCHEMA_VERSION = 1;