@petepetrash/circuit 0.1.0

package/dist/app/run-envelope/contract-quality.js

@@ -0,0 +1,48 @@
+const IMPLEMENTATION_INTENT = /\b(build|fix|implement|add|change|create|refactor|ship|integrate|update|wire)\b/;
+const REVIEW_INTENT = /\b(review|audit|assess|inspect|findings?)\b/;
+const EXPLORE_INTENT = /\b(explore|compare|decide|decision|tradeoffs?|options?)\b/;
+export function objectiveKind(objective) {
+    const text = objective.toLowerCase();
+    if (IMPLEMENTATION_INTENT.test(text))
+        return 'implementation';
+    if (REVIEW_INTENT.test(text))
+        return 'review';
+    if (EXPLORE_INTENT.test(text))
+        return 'explore';
+    return 'other';
+}
+// Minimum required evidence kind an objective of a given kind must demand before
+// Run may close it complete. The gate is intentionally asymmetric: it only fires
+// where a missing kind would clearly mean the objective is unproven, namely an
+// implementation that has no passing command, or a review with no review pass.
+// 'explore' and 'other' objectives impose no hard minimum here because their
+// proof is investigation/decision evidence with no single mandatory kind; a
+// too-weak explore contract is caught by the operator, not this lens. Objectives
+// without an entry impose no minimum.
+const MIN_REQUIRED_KIND_BY_OBJECTIVE = {
+    implementation: 'command',
+    review: 'review',
+};
+function hasRequiredEvidenceOfKind(contract, kind) {
+    return contract.done_when.some((claim) => claim.required_evidence.some((entry) => entry.required && entry.kind === kind));
+}
+export function contractQualityReview(contract) {
+    const findings = [];
+    const kind = objectiveKind(contract.objective);
+    const minKind = MIN_REQUIRED_KIND_BY_OBJECTIVE[kind];
+    if (minKind !== undefined && !hasRequiredEvidenceOfKind(contract, minKind)) {
+        findings.push({
+            severity: 'high',
+            text: `A ${kind} objective needs at least one required '${minKind}' evidence entry, but the contract has none. Satisfying this contract would not prove the objective.`,
+        });
+    }
+    const blocking = findings.some((finding) => finding.severity === 'critical' ||
+        finding.severity === 'high' ||
+        finding.severity === 'medium');
+    return {
+        verdict: blocking ? 'blocked' : 'gate-pass',
+        attack_lens: 'contract-quality',
+        findings,
+    };
+}
+//# sourceMappingURL=contract-quality.js.map

package/dist/app/run-envelope/contract-quality.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-quality.js","sourceRoot":"","sources":["../../../src/app/run-envelope/contract-quality.ts"],"names":[],"mappings":"AAWA,MAAM,qBAAqB,GACzB,iFAAiF,CAAC;AACpF,MAAM,aAAa,GAAG,6CAA6C,CAAC;AACpE,MAAM,cAAc,GAAG,2DAA2D,CAAC;AAEnF,MAAM,UAAU,aAAa,CAAC,SAAiB;IAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,WAAW,EAAE,CAAC;IACrC,IAAI,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,gBAAgB,CAAC;IAC9D,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC9C,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAChD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,iFAAiF;AACjF,iFAAiF;AACjF,+EAA+E;AAC/E,+EAA+E;AAC/E,6EAA6E;AAC7E,4EAA4E;AAC5E,iFAAiF;AACjF,sCAAsC;AACtC,MAAM,8BAA8B,GAA4D;IAC9F,cAAc,EAAE,SAAS;IACzB,MAAM,EAAE,QAAQ;CACjB,CAAC;AAeF,SAAS,yBAAyB,CAChC,QAAyB,EACzB,IAA6B;IAE7B,OAAO,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CACvC,KAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAC/E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,QAAyB;IAC7D,MAAM,QAAQ,GAA6B,EAAE,CAAC;IAC9C,MAAM,IAAI,GAAG,aAAa,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IAC/C,MAAM,OAAO,GAAG,8BAA8B,CAAC,IAAI,CAAC,CAAC;IAErD,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,yBAAyB,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;QAC3E,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,MAAM;YAChB,IAAI,EAAE,KAAK,IAAI,2CAA2C,OAAO,sGAAsG;SACxK,CAAC,CAAC;IACL,CAAC;IAED,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAC5B,CAAC,OAAO,EAAE,EAAE,CACV,OAAO,CAAC,QAAQ,KAAK,UAAU;QAC/B,OAAO,CAAC,QAAQ,KAAK,MAAM;QAC3B,OAAO,CAAC,QAAQ,KAAK,QAAQ,CAChC,CAAC;IACF,OAAO;QACL,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW;QAC3C,WAAW,EAAE,kBAAkB;QAC/B,QAAQ;KACT,CAAC;AACJ,CAAC"}

package/dist/app/run-envelope/no-progress.d.ts

@@ -0,0 +1,11 @@
+export type AttemptProgress = {
+    readonly unmetEvidence: readonly string[];
+    readonly route: string;
+};
+export type ProgressReason = 'no-progress' | 'oscillation';
+export type ProgressDecision = {
+    readonly escalate: boolean;
+    readonly reason: ProgressReason | null;
+};
+export declare function detectNoProgress(attempts: readonly AttemptProgress[]): ProgressDecision;
+//# sourceMappingURL=no-progress.d.ts.map

package/dist/app/run-envelope/no-progress.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-progress.d.ts","sourceRoot":"","sources":["../../../src/app/run-envelope/no-progress.ts"],"names":[],"mappings":"AAOA,MAAM,MAAM,eAAe,GAAG;IAG5B,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAG1C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG,aAAa,GAAG,aAAa,CAAC;AAE3D,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,cAAc,GAAG,IAAI,CAAC;CACxC,CAAC;AAYF,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,SAAS,eAAe,EAAE,GAAG,gBAAgB,CA2BvF"}

package/dist/app/run-envelope/no-progress.js

@@ -0,0 +1,40 @@
+// S6: stop the continuation loop from burning attempts when it is not actually
+// getting closer to done. Two triggers escalate (to checkpoint/handoff/blocked)
+// instead of retrying:
+//   1. no-progress: two consecutive attempts leave the identical unmet-evidence set.
+//   2. oscillation: the recovery route cycles (X -> Y -> X) with no net progress.
+// Progress is defined as the unmet-required-evidence set shrinking.
+function sameSet(a, b) {
+    if (a.length !== b.length)
+        return false;
+    const seen = new Set(a);
+    return b.every((value) => seen.has(value));
+}
+function shrank(from, to) {
+    return to.length < from.length;
+}
+export function detectNoProgress(attempts) {
+    if (attempts.length >= 2) {
+        const last = attempts[attempts.length - 1];
+        const prev = attempts[attempts.length - 2];
+        if (last !== undefined &&
+            prev !== undefined &&
+            sameSet(last.unmetEvidence, prev.unmetEvidence)) {
+            return { escalate: true, reason: 'no-progress' };
+        }
+    }
+    if (attempts.length >= 3) {
+        const first = attempts[attempts.length - 3];
+        const middle = attempts[attempts.length - 2];
+        const last = attempts[attempts.length - 1];
+        if (first !== undefined && middle !== undefined && last !== undefined) {
+            const oscillating = last.route === first.route && last.route !== middle.route;
+            const noNetProgress = !shrank(first.unmetEvidence, last.unmetEvidence);
+            if (oscillating && noNetProgress) {
+                return { escalate: true, reason: 'oscillation' };
+            }
+        }
+    }
+    return { escalate: false, reason: null };
+}
+//# sourceMappingURL=no-progress.js.map

package/dist/app/run-envelope/no-progress.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-progress.js","sourceRoot":"","sources":["../../../src/app/run-envelope/no-progress.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,gFAAgF;AAChF,uBAAuB;AACvB,qFAAqF;AACrF,kFAAkF;AAClF,oEAAoE;AAkBpE,SAAS,OAAO,CAAC,CAAoB,EAAE,CAAoB;IACzD,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IACxC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;IACxB,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC;AAED,SAAS,MAAM,CAAC,IAAuB,EAAE,EAAqB;IAC5D,OAAO,EAAE,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,QAAoC;IACnE,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC3C,IACE,IAAI,KAAK,SAAS;YAClB,IAAI,KAAK,SAAS;YAClB,OAAO,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,aAAa,CAAC,EAC/C,CAAC;YACD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;QACnD,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC3C,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACtE,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK,CAAC;YAC9E,MAAM,aAAa,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;YACvE,IAAI,WAAW,IAAI,aAAa,EAAE,CAAC;gBACjC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;YACnD,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAC3C,CAAC"}

package/dist/app/run-envelope/shadow-record.d.ts

@@ -0,0 +1,40 @@
+import type { RunResult } from '../../schemas/result.js';
+import { type RunEnvelopeShadowRecord as RunEnvelopeShadowRecordValue } from '../../schemas/run-envelope.js';
+export declare const RUN_ENVELOPE_SHADOW_RELATIVE_PATH = "reports/run-envelope-shadow.json";
+type SelectedProcess = {
+    readonly process_id: string;
+    readonly routed_by?: 'explicit';
+    readonly router_reason: string;
+    readonly entry_mode?: string;
+};
+type ClosedChild = {
+    readonly kind: 'closed';
+    readonly runResult: RunResult;
+    readonly resultPath: string;
+};
+type CheckpointWaitingChild = {
+    readonly kind: 'checkpoint_waiting';
+    readonly run_id: string;
+    readonly flow_id: string;
+    readonly trace_entries_observed: number;
+    readonly manifest_hash: string;
+    readonly checkpoint: {
+        readonly step_id: string;
+        readonly request_path: string;
+        readonly allowed_choices: readonly string[];
+    };
+};
+export type WriteRunEnvelopeShadowRecordInput = {
+    readonly runFolder: string;
+    readonly operatorIntent: string;
+    readonly selectedProcess: SelectedProcess;
+    readonly child: ClosedChild | CheckpointWaitingChild;
+    readonly recordedAt: string;
+};
+export type WriteRunEnvelopeShadowRecordResult = {
+    readonly path: string;
+    readonly record: RunEnvelopeShadowRecordValue;
+};
+export declare function writeRunEnvelopeShadowRecord(input: WriteRunEnvelopeShadowRecordInput): WriteRunEnvelopeShadowRecordResult;
+export {};
+//# sourceMappingURL=shadow-record.d.ts.map

package/dist/app/run-envelope/shadow-record.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"shadow-record.d.ts","sourceRoot":"","sources":["../../../src/app/run-envelope/shadow-record.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAEL,KAAK,uBAAuB,IAAI,4BAA4B,EAE7D,MAAM,+BAA+B,CAAC;AAGvC,eAAO,MAAM,iCAAiC,qCAAqC,CAAC;AAEpF,KAAK,eAAe,GAAG;IACrB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,CAAC,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B,CAAC;AAEF,KAAK,WAAW,GAAG;IACjB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,CAAC;AAEF,KAAK,sBAAsB,GAAG;IAC5B,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;IACxC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE;QACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;KAC7C,CAAC;CACH,CAAC;AAKF,MAAM,MAAM,iCAAiC,GAAG;IAC9C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC;IAC1C,QAAQ,CAAC,KAAK,EAAE,WAAW,GAAG,sBAAsB,CAAC;IACrD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,kCAAkC,GAAG;IAC/C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,4BAA4B,CAAC;CAC/C,CAAC;AA8CF,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,iCAAiC,GACvC,kCAAkC,CA+EpC"}

package/dist/app/run-envelope/shadow-record.js

@@ -0,0 +1,108 @@
+import { mkdirSync, writeFileSync } from 'node:fs';
+import { dirname, join } from 'node:path';
+import { sha256OfFile } from '../../schemas/hashing.js';
+import { CompiledFlowId, RunId, StepId } from '../../schemas/ids.js';
+import { RunEnvelopeShadowRecord, } from '../../schemas/run-envelope.js';
+import { runRelativePath } from '../../shared/run-artifact-io.js';
+export const RUN_ENVELOPE_SHADOW_RELATIVE_PATH = 'reports/run-envelope-shadow.json';
+function reportRef(input) {
+    return {
+        kind: 'report',
+        ref: runRelativePath(input.runFolder, input.path),
+        sha256: sha256OfFile(input.path),
+        run_id: RunId.parse(input.runId),
+        flow_id: CompiledFlowId.parse(input.flowId),
+    };
+}
+function requestRef(input) {
+    return {
+        kind: 'request',
+        ref: runRelativePath(input.runFolder, input.path),
+        sha256: sha256OfFile(input.path),
+        run_id: RunId.parse(input.runId),
+        flow_id: CompiledFlowId.parse(input.flowId),
+        step_id: StepId.parse(input.stepId),
+    };
+}
+function childResultEvidence(input) {
+    return {
+        source: 'child_result',
+        ref: reportRef(input),
+    };
+}
+export function writeRunEnvelopeShadowRecord(input) {
+    const selectedProcess = {
+        process_id: CompiledFlowId.parse(input.selectedProcess.process_id),
+        ...(input.selectedProcess.routed_by === undefined
+            ? {}
+            : { routed_by: input.selectedProcess.routed_by }),
+        router_reason: input.selectedProcess.router_reason,
+        ...(input.selectedProcess.entry_mode === undefined
+            ? {}
+            : { entry_mode: input.selectedProcess.entry_mode }),
+    };
+    const { childRun, artifactLinks } = input.child.kind === 'closed'
+        ? (() => {
+            const resultRef = childResultEvidence({
+                runFolder: input.runFolder,
+                path: input.child.resultPath,
+                runId: input.child.runResult.run_id,
+                flowId: input.child.runResult.flow_id,
+            });
+            return {
+                childRun: {
+                    run_id: RunId.parse(input.child.runResult.run_id),
+                    run_folder: input.runFolder,
+                    flow_id: CompiledFlowId.parse(input.child.runResult.flow_id),
+                    outcome: input.child.runResult.outcome,
+                    trace_entries_observed: input.child.runResult.trace_entries_observed,
+                    manifest_hash: input.child.runResult.manifest_hash,
+                    result_ref: resultRef,
+                },
+                artifactLinks: [resultRef.ref],
+            };
+        })()
+        : (() => {
+            const checkpointRequestRef = requestRef({
+                runFolder: input.runFolder,
+                path: input.child.checkpoint.request_path,
+                runId: input.child.run_id,
+                flowId: input.child.flow_id,
+                stepId: input.child.checkpoint.step_id,
+            });
+            return {
+                childRun: {
+                    run_id: RunId.parse(input.child.run_id),
+                    run_folder: input.runFolder,
+                    flow_id: CompiledFlowId.parse(input.child.flow_id),
+                    outcome: 'checkpoint_waiting',
+                    trace_entries_observed: input.child.trace_entries_observed,
+                    manifest_hash: input.child.manifest_hash,
+                    checkpoint: {
+                        step_id: StepId.parse(input.child.checkpoint.step_id),
+                        request_ref: checkpointRequestRef,
+                        allowed_choices: [...input.child.checkpoint.allowed_choices],
+                    },
+                },
+                artifactLinks: [checkpointRequestRef],
+            };
+        })();
+    const record = RunEnvelopeShadowRecord.parse({
+        schema: 'run.envelope-shadow@v0',
+        mode: 'shadow',
+        shadow_reason: 'source-owned-run-not-active',
+        run_id: input.child.kind === 'closed'
+            ? RunId.parse(input.child.runResult.run_id)
+            : RunId.parse(input.child.run_id),
+        operator_intent: input.operatorIntent,
+        recorded_at: input.recordedAt,
+        selected_process: selectedProcess,
+        child_run: childRun,
+        artifact_links: artifactLinks,
+    });
+    const outPath = join(input.runFolder, RUN_ENVELOPE_SHADOW_RELATIVE_PATH);
+    mkdirSync(dirname(outPath), { recursive: true });
+    writeFileSync(outPath, `${JSON.stringify(record, null, 2)}\n`);
+    return { path: outPath, record };
+}
+//# sourceMappingURL=shadow-record.js.map

package/dist/app/run-envelope/shadow-record.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shadow-record.js","sourceRoot":"","sources":["../../../src/app/run-envelope/shadow-record.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAGrE,OAAO,EACL,uBAAuB,GAGxB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAElE,MAAM,CAAC,MAAM,iCAAiC,GAAG,kCAAkC,CAAC;AA4CpF,SAAS,SAAS,CAAC,KAKlB;IACC,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,GAAG,EAAE,eAAe,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC;QACjD,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC;QAChC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;QAChC,OAAO,EAAE,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC;KAC5C,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,KAMnB;IACC,OAAO;QACL,IAAI,EAAE,SAAS;QACf,GAAG,EAAE,eAAe,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC;QACjD,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC;QAChC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;QAChC,OAAO,EAAE,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC;QAC3C,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC;KACpC,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,KAK5B;IACC,OAAO;QACL,MAAM,EAAE,cAAc;QACtB,GAAG,EAAE,SAAS,CAAC,KAAK,CAAC;KACtB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,KAAwC;IAExC,MAAM,eAAe,GAAG;QACtB,UAAU,EAAE,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,eAAe,CAAC,UAAU,CAAC;QAClE,GAAG,CAAC,KAAK,CAAC,eAAe,CAAC,SAAS,KAAK,SAAS;YAC/C,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,eAAe,CAAC,SAAS,EAAE,CAAC;QACnD,aAAa,EAAE,KAAK,CAAC,eAAe,CAAC,aAAa;QAClD,GAAG,CAAC,KAAK,CAAC,eAAe,CAAC,UAAU,KAAK,SAAS;YAChD,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,eAAe,CAAC,UAAU,EAAE,CAAC;KACtD,CAAC;IAEF,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,GAC/B,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;QAC3B,CAAC,CAAC,CAAC,GAAG,EAAE;YACJ,MAAM,SAAS,GAAG,mBAAmB,CAAC;gBACpC,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,UAAU;gBAC5B,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM;gBACnC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO;aACtC,CAAC,CAAC;YACH,OAAO;gBACL,QAAQ,EAAE;oBACR,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;oBACjD,UAAU,EAAE,KAAK,CAAC,SAAS;oBAC3B,OAAO,EAAE,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC;oBAC5D,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO;oBACtC,sBAAsB,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,sBAAsB;oBACpE,aAAa,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,aAAa;oBAClD,UAAU,EAAE,SAAS;iBACtB;gBACD,aAAa,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC;aAC/B,CAAC;QACJ,CAAC,CAAC,EAAE;QACN,CAAC,CAAC,CAAC,GAAG,EAAE;YACJ,MAAM,oBAAoB,GAAG,UAAU,CAAC;gBACtC,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,YAAY;gBACzC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM;gBACzB,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO;gBAC3B,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO;aACvC,CAAC,CAAC;YACH,OAAO;gBACL,QAAQ,EAAE;oBACR,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC;oBACvC,UAAU,EAAE,KAAK,CAAC,SAAS;oBAC3B,OAAO,EAAE,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC;oBAClD,OAAO,EAAE,oBAA6B;oBACtC,sBAAsB,EAAE,KAAK,CAAC,KAAK,CAAC,sBAAsB;oBAC1D,aAAa,EAAE,KAAK,CAAC,KAAK,CAAC,aAAa;oBACxC,UAAU,EAAE;wBACV,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC;wBACrD,WAAW,EAAE,oBAAoB;wBACjC,eAAe,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,eAAe,CAAC;qBAC7D;iBACF;gBACD,aAAa,EAAE,CAAC,oBAAoB,CAAC;aACtC,CAAC;QACJ,CAAC,CAAC,EAAE,CAAC;IAEX,MAAM,MAAM,GAAG,uBAAuB,CAAC,KAAK,CAAC;QAC3C,MAAM,EAAE,wBAAwB;QAChC,IAAI,EAAE,QAAQ;QACd,aAAa,EAAE,6BAA6B;QAC5C,MAAM,EACJ,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;YAC3B,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;YAC3C,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC;QACrC,eAAe,EAAE,KAAK,CAAC,cAAc;QACrC,WAAW,EAAE,KAAK,CAAC,UAAU;QAC7B,gBAAgB,EAAE,eAAe;QACjC,SAAS,EAAE,QAAQ;QACnB,cAAc,EAAE,aAAa;KAC9B,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,iCAAiC,CAAC,CAAC;IACzE,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACjD,aAAa,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IAC/D,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AACnC,CAAC"}

package/dist/app/run-envelope/source-record.d.ts

@@ -0,0 +1,62 @@
+import { CompiledFlowId } from '../../schemas/ids.js';
+import { type ProcessEvidenceProjection } from '../../schemas/process-evidence.js';
+import { type RunEnvelopeRecord as RunEnvelopeRecordValue, type RunRequiredEvidence, type RunRequiredEvidenceKind } from '../../schemas/run-envelope.js';
+export declare const RUN_ENVELOPE_RELATIVE_PATH = "reports/run-envelope.json";
+export declare const RUN_SURFACE_RELATIVE_PATH = "reports/run-surface.md";
+export declare const RUN_DECISION_PACKET_RELATIVE_DIR = "reports/decision-packets";
+type SelectedProcess = {
+    readonly process_id: string;
+    readonly routed_by?: 'explicit';
+    readonly router_reason: string;
+    readonly entry_mode?: string;
+};
+type WrittenProcessEvidence = {
+    readonly path: string;
+    readonly projection: ProcessEvidenceProjection;
+};
+type MemoryContextInput = {
+    readonly used: boolean;
+    readonly memoryInputIds: readonly string[];
+};
+type MemoryUpdateInput = {
+    readonly event_id: string;
+    readonly scope: 'project' | 'flow';
+    readonly flow_id?: string;
+    readonly action: 'proposed' | 'recorded' | 'skipped' | 'rejected';
+    readonly reason: string;
+    readonly summary: string;
+    readonly operator_indicator?: string;
+};
+export type WriteRunEnvelopeRecordInput = {
+    readonly runFolder: string;
+    readonly operatorIntent: string;
+    readonly selectedProcess: SelectedProcess;
+    readonly processEvidence: WrittenProcessEvidence;
+    readonly recordedAt: string;
+    readonly memoryContext?: MemoryContextInput;
+    readonly memoryUpdates?: readonly MemoryUpdateInput[];
+    readonly recallMemoryIndicator?: string;
+    readonly flowOutcome?: string;
+    readonly flowOutcomeReason?: string;
+};
+export type WriteRunEnvelopeRecordResult = {
+    readonly path: string;
+    readonly processEvidencePath: string;
+    readonly surfacePath: string;
+    readonly decisionPacketPaths: readonly string[];
+    readonly record: RunEnvelopeRecordValue;
+};
+export type MissingRunEvidence = {
+    readonly claim_id: string;
+    readonly reason: string;
+    readonly missing_refs: readonly string[];
+};
+export declare function missingRunEvidence(projection: ProcessEvidenceProjection): MissingRunEvidence | undefined;
+export declare function requiredEvidenceKindForProcess(processId: string): RunRequiredEvidenceKind;
+export declare function deriveRequiredEvidence(processId: string, objective: string): RunRequiredEvidence[];
+export declare const RECOVERY_ROUTE_FOR_UNMET_EVIDENCE_KIND: Readonly<Record<RunRequiredEvidenceKind, string>>;
+export declare function recoveryRouteForUnmetKinds(unmetKinds: readonly RunRequiredEvidenceKind[]): string;
+export declare function followupProcessId(primaryProcessId: string): CompiledFlowId;
+export declare function writeRunEnvelopeRecord(input: WriteRunEnvelopeRecordInput): WriteRunEnvelopeRecordResult;
+export {};
+//# sourceMappingURL=source-record.d.ts.map

package/dist/app/run-envelope/source-record.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-record.d.ts","sourceRoot":"","sources":["../../../src/app/run-envelope/source-record.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,cAAc,EAAiB,MAAM,sBAAsB,CAAC;AACrE,OAAO,EAEL,KAAK,yBAAyB,EAE/B,MAAM,mCAAmC,CAAC;AAE3C,OAAO,EAGL,KAAK,iBAAiB,IAAI,sBAAsB,EAEhD,KAAK,mBAAmB,EACxB,KAAK,uBAAuB,EAC7B,MAAM,+BAA+B,CAAC;AAIvC,eAAO,MAAM,0BAA0B,8BAA8B,CAAC;AACtE,eAAO,MAAM,yBAAyB,2BAA2B,CAAC;AAClE,eAAO,MAAM,gCAAgC,6BAA6B,CAAC;AAE3E,KAAK,eAAe,GAAG;IACrB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,CAAC,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B,CAAC;AAEF,KAAK,sBAAsB,GAAG;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,yBAAyB,CAAC;CAChD,CAAC;AAEF,KAAK,kBAAkB,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;CAC5C,CAAC;AAEF,KAAK,iBAAiB,GAAG;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,CAAC;IACnC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,UAAU,GAAG,SAAS,GAAG,UAAU,CAAC;IAClE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC;CACtC,CAAC;AAEF,MAAM,MAAM,2BAA2B,GAAG;IACxC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC;IAC1C,QAAQ,CAAC,eAAe,EAAE,sBAAsB,CAAC;IACjD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,CAAC,EAAE,kBAAkB,CAAC;IAC5C,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAItD,QAAQ,CAAC,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAMxC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAK9B,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;CACrC,CAAC;AAEF,MAAM,MAAM,4BAA4B,GAAG;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,mBAAmB,EAAE,SAAS,MAAM,EAAE,CAAC;IAChD,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC;CACzC,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1C,CAAC;AAqEF,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,yBAAyB,GACpC,kBAAkB,GAAG,SAAS,CAUhC;AA4BD,wBAAgB,8BAA8B,CAAC,SAAS,EAAE,MAAM,GAAG,uBAAuB,CAczF;AAqBD,wBAAgB,sBAAsB,CACpC,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,GAChB,mBAAmB,EAAE,CAGvB;AAMD,eAAO,MAAM,sCAAsC,EAAE,QAAQ,CAC3D,MAAM,CAAC,uBAAuB,EAAE,MAAM,CAAC,CAOxC,CAAC;AAaF,wBAAgB,0BAA0B,CAAC,UAAU,EAAE,SAAS,uBAAuB,EAAE,GAAG,MAAM,CAKjG;AAoHD,wBAAgB,iBAAiB,CAAC,gBAAgB,EAAE,MAAM,GAAG,cAAc,CAM1E;AAyOD,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,2BAA2B,GACjC,4BAA4B,CA2L9B"}