@petepetrash/circuit 0.1.0

package/dist/shared/operator-summary/text.d.ts

@@ -0,0 +1,11 @@
+export declare function plural(count: number, singular: string, pluralText?: string): string;
+export declare function capitalized(value: string): string;
+export declare function sentence(value: string): string;
+export declare function withoutFinalPunctuation(value: string): string;
+export declare function friendlyRunNote(flowId: string, summary: string): string;
+export declare function friendlyResultSummary(summary: string): string;
+export declare function friendlyReviewStatus(status: string): string;
+export declare function friendlyVerificationStatus(status: string): string;
+export declare function friendlyRegressionStatus(status: string): string;
+export declare function friendlyFixOutcome(outcome: string): string;
+//# sourceMappingURL=text.d.ts.map

package/dist/shared/operator-summary/text.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"text.d.ts","sourceRoot":"","sources":["../../../src/shared/operator-summary/text.ts"],"names":[],"mappings":"AASA,wBAAgB,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,SAAiB,GAAG,MAAM,CAE3F;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAIjD;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAE9C;AAED,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAE7D;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAMvE;AAED,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAK7D;AAED,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAQ3D;AAED,wBAAgB,0BAA0B,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAIjE;AAOD,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAM/D;AAMD,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAQ1D"}

package/dist/shared/operator-summary/text.js

@@ -0,0 +1,92 @@
+// Text-projection helpers used across per-flow summary projectors.
+//
+// Two categories:
+//   - small primitives (sentence, plural, capitalized, withoutFinalPunctuation)
+//     that mostly enforce surface conventions
+//   - friendly-* projections that translate machine-shaped values
+//     (status enums, summary prefixes, run-result framing) into operator-
+//     readable phrases
+export function plural(count, singular, pluralText = `${singular}s`) {
+    return `${count} ${count === 1 ? singular : pluralText}`;
+}
+export function capitalized(value) {
+    const first = value[0];
+    if (first === undefined)
+        return value;
+    return `${first.toUpperCase()}${value.slice(1)}`;
+}
+export function sentence(value) {
+    return /[.!?]$/.test(value) ? value : `${value}.`;
+}
+export function withoutFinalPunctuation(value) {
+    return value.replace(/[.!?]\s*$/, '');
+}
+export function friendlyRunNote(flowId, summary) {
+    const match = /^([a-z-]+) v[\d.]+ closed (\d+) step\(s\) for goal ".+"\.$/.exec(summary);
+    if (match !== null) {
+        return `Completed ${match[2]} ${capitalized(flowId)} steps for this goal.`;
+    }
+    return summary;
+}
+export function friendlyResultSummary(summary) {
+    return summary
+        .replace(/^(?:Build|Fix|Review|Explore|Pursuits?) result for .+?:\s*/, '')
+        .replace(/^Explore '[\s\S]*?':\s*/, '')
+        .replace(/^Explore .+?:\s*/, '');
+}
+export function friendlyReviewStatus(status) {
+    if (status === 'accept')
+        return 'accepted';
+    if (status === 'accept-with-fixes')
+        return 'requested follow-up fixes';
+    if (status === 'accept-with-fold-ins')
+        return 'accepted with follow-up notes';
+    if (status === 'release-approved')
+        return 'approved for release';
+    if (status === 'release-with-followups')
+        return 'approved with follow-ups';
+    if (status === 'release-blocked')
+        return 'blocked from release';
+    return status;
+}
+export function friendlyVerificationStatus(status) {
+    if (status === 'passed')
+        return 'passed';
+    if (status === 'failed')
+        return 'failed';
+    return status;
+}
+// Fix's regression rerun proves the change is relevant to the bug: the bug's
+// command failed before the fix and passes after. On the default path (no
+// regression command in the goal) it defaults to 'deferred', so 'passed'
+// verification alone does not mean the change did the thing. These phrases say
+// so plainly.
+export function friendlyRegressionStatus(status) {
+    if (status === 'cleared')
+        return 'reproduced before the fix and cleared after';
+    if (status === 'deferred')
+        return 'not proven by a command, so the relevance of the change to the bug is unverified';
+    if (status === 'still-failing')
+        return 'the regression command still fails after the fix';
+    return status;
+}
+// Fix's domain outcome taxonomy ('fixed', 'partial', 'not-reproduced', ...)
+// collides with the run-level vocabulary on words like 'partial' that read as
+// "incomplete" to a casual operator. The phrases below describe the *change*
+// the run produced rather than parroting the schema enum value.
+export function friendlyFixOutcome(outcome) {
+    if (outcome === 'fixed')
+        return 'fix complete';
+    if (outcome === 'partial')
+        return 'fix applied with follow-ups';
+    if (outcome === 'not-reproduced')
+        return 'could not reproduce the issue';
+    if (outcome === 'failed')
+        return 'fix attempt failed verification';
+    if (outcome === 'stopped')
+        return 'fix stopped';
+    if (outcome === 'handoff')
+        return 'fix handed off';
+    return outcome;
+}
+//# sourceMappingURL=text.js.map

package/dist/shared/operator-summary/text.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"text.js","sourceRoot":"","sources":["../../../src/shared/operator-summary/text.ts"],"names":[],"mappings":"AAAA,mEAAmE;AACnE,EAAE;AACF,kBAAkB;AAClB,gFAAgF;AAChF,8CAA8C;AAC9C,kEAAkE;AAClE,0EAA0E;AAC1E,uBAAuB;AAEvB,MAAM,UAAU,MAAM,CAAC,KAAa,EAAE,QAAgB,EAAE,UAAU,GAAG,GAAG,QAAQ,GAAG;IACjF,OAAO,GAAG,KAAK,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,KAAa;IACvC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACvB,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtC,OAAO,GAAG,KAAK,CAAC,WAAW,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,KAAa;IACpC,OAAO,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC;AACpD,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,KAAa;IACnD,OAAO,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,MAAc,EAAE,OAAe;IAC7D,MAAM,KAAK,GAAG,4DAA4D,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzF,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO,aAAa,KAAK,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,MAAM,CAAC,uBAAuB,CAAC;IAC7E,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,OAAe;IACnD,OAAO,OAAO;SACX,OAAO,CAAC,4DAA4D,EAAE,EAAE,CAAC;SACzE,OAAO,CAAC,yBAAyB,EAAE,EAAE,CAAC;SACtC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,MAAc;IACjD,IAAI,MAAM,KAAK,QAAQ;QAAE,OAAO,UAAU,CAAC;IAC3C,IAAI,MAAM,KAAK,mBAAmB;QAAE,OAAO,2BAA2B,CAAC;IACvE,IAAI,MAAM,KAAK,sBAAsB;QAAE,OAAO,+BAA+B,CAAC;IAC9E,IAAI,MAAM,KAAK,kBAAkB;QAAE,OAAO,sBAAsB,CAAC;IACjE,IAAI,MAAM,KAAK,wBAAwB;QAAE,OAAO,0BAA0B,CAAC;IAC3E,IAAI,MAAM,KAAK,iBAAiB;QAAE,OAAO,sBAAsB,CAAC;IAChE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,MAAc;IACvD,IAAI,MAAM,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IACzC,IAAI,MAAM,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IACzC,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,6EAA6E;AAC7E,0EAA0E;AAC1E,yEAAyE;AACzE,+EAA+E;AAC/E,cAAc;AACd,MAAM,UAAU,wBAAwB,CAAC,MAAc;IACrD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,6CAA6C,CAAC;IAC/E,IAAI,MAAM,KAAK,UAAU;QACvB,OAAO,kFAAkF,CAAC;IAC5F,IAAI,MAAM,KAAK,eAAe;QAAE,OAAO,kDAAkD,CAAC;IAC1F,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,4EAA4E;AAC5E,8EAA8E;AAC9E,6EAA6E;AAC7E,gEAAgE;AAChE,MAAM,UAAU,kBAAkB,CAAC,OAAe;IAChD,IAAI,OAAO,KAAK,OAAO;QAAE,OAAO,cAAc,CAAC;IAC/C,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,6BAA6B,CAAC;IAChE,IAAI,OAAO,KAAK,gBAAgB;QAAE,OAAO,+BAA+B,CAAC;IACzE,IAAI,OAAO,KAAK,QAAQ;QAAE,OAAO,iCAAiC,CAAC;IACnE,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,aAAa,CAAC;IAChD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,gBAAgB,CAAC;IACnD,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/shared/outcome.d.ts

@@ -0,0 +1,13 @@
+/**
+ * True when an outcome string denotes a failure in EITHER outcome vocabulary.
+ * Neutral outcomes (`stopped`, `handoff`, `needs_attention`) and `complete`
+ * are not failures. `undefined` (no recorded outcome) is not a failure.
+ */
+export declare function isFailureOutcome(outcome: string | undefined): boolean;
+/**
+ * True when a flow's primary-result outcome word denotes a non-clean
+ * completion that the run surface should name even though the run reached
+ * @complete. `undefined` (no recorded flow outcome) is not degraded.
+ */
+export declare function isDegradedCompletionOutcome(outcome: string | undefined): boolean;
+//# sourceMappingURL=outcome.d.ts.map

package/dist/shared/outcome.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"outcome.d.ts","sourceRoot":"","sources":["../../src/shared/outcome.ts"],"names":[],"mappings":"AAgCA;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAErE;AA+BD;;;;GAIG;AACH,wBAAgB,2BAA2B,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAEhF"}

package/dist/shared/outcome.js

@@ -0,0 +1,76 @@
+// Failure-outcome reconciliation across Circuit's two outcome vocabularies.
+//
+// Circuit carries two outcome enums that mean overlapping things:
+//   - RunClosedOutcome  (schemas/trace-entry.ts): complete | aborted | handoff
+//                        | stopped | escalated
+//   - RunEnvelopeOutcome (schemas/run-envelope.ts): complete | needs_attention
+//                        | blocked | failed | handoff
+//
+// History/recall code receives the raw `outcome` string from whichever source
+// produced it (result.json outcome/status/verdict, the trace run.closed
+// outcome, or a report body), so it sees a MIX of both vocabularies. The
+// canonical RunClosedOutcome -> RunEnvelopeOutcome mapping the codebase already
+// uses (mapChildOutcome, attemptOutcomeFromProjection) is:
+//
+//   complete  -> complete          (success)
+//   handoff   -> handoff           (neutral)
+//   stopped   -> needs_attention   (neutral: a deliberate pause)
+//   aborted   -> failed            (FAILURE)
+//   escalated -> blocked           (FAILURE)
+//
+// So the faithful failure set, expressed across both vocabularies, is the
+// union below. `escalated` is included deliberately: it maps to `blocked` and
+// is emitted for @escalate terminals (graph-runner.ts); omitting it would leave
+// a latent variant of the recall miss this reconciliation exists to fix. See
+// docs/ideas/memory-phase0-failure-legibility-spec.md.
+const FAILURE_OUTCOMES = new Set([
+    'aborted',
+    'escalated',
+    'failed',
+    'blocked',
+]);
+/**
+ * True when an outcome string denotes a failure in EITHER outcome vocabulary.
+ * Neutral outcomes (`stopped`, `handoff`, `needs_attention`) and `complete`
+ * are not failures. `undefined` (no recorded outcome) is not a failure.
+ */
+export function isFailureOutcome(outcome) {
+    return outcome !== undefined && FAILURE_OUTCOMES.has(outcome);
+}
+// Outcomes a FLOW can report on its primary result that mean "the work did not
+// cleanly succeed," even when the run itself reached @complete. A Fix, for
+// example, can close @complete (its required process evidence, a passing
+// verification command, is present) while its own result reports `partial`
+// because the independent review was skipped. The run surface uses this set to
+// qualify an otherwise-clean "Done" so a degraded flow result cannot read as an
+// unqualified pass one layer up from the operator digest.
+//
+// This enumerates the DEGRADED words on purpose, not the clean ones: a flow
+// outcome NOT in this set leaves the surface unchanged, so a clean success word
+// (`fixed`, `complete`, `not-reproduced`) never false-qualifies a good run, and
+// a future success word fails safe by reading as clean rather than degraded.
+//
+// Fix is the flow that actually reaches this path with a `complete` run outcome,
+// because it does not bind its run outcome to its primary result. So its whole
+// non-clean set must be covered: `partial`, `stopped`, `handoff`, and `failed`.
+// (`handoff` means the work was paused back to the operator, not finished, so it
+// is degraded here even though it is not a failure in the run-lifecycle sense
+// above.) The remaining words cover the other flows defensively in case their
+// bind logic ever changes.
+const DEGRADED_COMPLETION_OUTCOMES = new Set([
+    'partial',
+    'needs_attention',
+    'failed',
+    'blocked',
+    'stopped',
+    'handoff',
+]);
+/**
+ * True when a flow's primary-result outcome word denotes a non-clean
+ * completion that the run surface should name even though the run reached
+ * @complete. `undefined` (no recorded flow outcome) is not degraded.
+ */
+export function isDegradedCompletionOutcome(outcome) {
+    return outcome !== undefined && DEGRADED_COMPLETION_OUTCOMES.has(outcome);
+}
+//# sourceMappingURL=outcome.js.map

package/dist/shared/outcome.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"outcome.js","sourceRoot":"","sources":["../../src/shared/outcome.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,EAAE;AACF,kEAAkE;AAClE,+EAA+E;AAC/E,+CAA+C;AAC/C,+EAA+E;AAC/E,sDAAsD;AACtD,EAAE;AACF,8EAA8E;AAC9E,wEAAwE;AACxE,yEAAyE;AACzE,gFAAgF;AAChF,2DAA2D;AAC3D,EAAE;AACF,6CAA6C;AAC7C,6CAA6C;AAC7C,iEAAiE;AACjE,6CAA6C;AAC7C,6CAA6C;AAC7C,EAAE;AACF,0EAA0E;AAC1E,8EAA8E;AAC9E,gFAAgF;AAChF,6EAA6E;AAC7E,uDAAuD;AACvD,MAAM,gBAAgB,GAAwB,IAAI,GAAG,CAAC;IACpD,SAAS;IACT,WAAW;IACX,QAAQ;IACR,SAAS;CACV,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAA2B;IAC1D,OAAO,OAAO,KAAK,SAAS,IAAI,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;AAChE,CAAC;AAED,+EAA+E;AAC/E,2EAA2E;AAC3E,yEAAyE;AACzE,2EAA2E;AAC3E,+EAA+E;AAC/E,gFAAgF;AAChF,0DAA0D;AAC1D,EAAE;AACF,4EAA4E;AAC5E,gFAAgF;AAChF,gFAAgF;AAChF,6EAA6E;AAC7E,EAAE;AACF,iFAAiF;AACjF,+EAA+E;AAC/E,gFAAgF;AAChF,iFAAiF;AACjF,8EAA8E;AAC9E,8EAA8E;AAC9E,2BAA2B;AAC3B,MAAM,4BAA4B,GAAwB,IAAI,GAAG,CAAC;IAChE,SAAS;IACT,iBAAiB;IACjB,QAAQ;IACR,SAAS;IACT,SAAS;IACT,SAAS;CACV,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,UAAU,2BAA2B,CAAC,OAA2B;IACrE,OAAO,OAAO,KAAK,SAAS,IAAI,4BAA4B,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;AAC5E,CAAC"}

package/dist/shared/progress-output.d.ts

@@ -0,0 +1,12 @@
+import { type ProgressDisplay, type ProgressEvent, type ProgressPresentation } from '../schemas/progress-event.js';
+import type { ProgressReporter } from './relay-runtime-types.js';
+export declare function reportProgress(progress: ProgressReporter | undefined, event: ProgressEvent): void;
+export declare function progressDisplay(text: string, importance: ProgressDisplay['importance'], tone: ProgressDisplay['tone']): ProgressDisplay;
+export declare function progressPresentation(input: {
+    readonly blockId: string;
+    readonly lineMode?: ProgressPresentation['line_mode'];
+    readonly slotId?: string;
+    readonly statusText?: string;
+    readonly depth?: number;
+}): ProgressPresentation;
+//# sourceMappingURL=progress-output.d.ts.map

package/dist/shared/progress-output.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"progress-output.d.ts","sourceRoot":"","sources":["../../src/shared/progress-output.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,KAAK,oBAAoB,EAC1B,MAAM,8BAA8B,CAAC;AACtC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAEjE,wBAAgB,cAAc,CAAC,QAAQ,EAAE,gBAAgB,GAAG,SAAS,EAAE,KAAK,EAAE,aAAa,GAAG,IAAI,CAQjG;AAED,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,eAAe,CAAC,YAAY,CAAC,EACzC,IAAI,EAAE,eAAe,CAAC,MAAM,CAAC,GAC5B,eAAe,CAOjB;AAmBD,wBAAgB,oBAAoB,CAAC,KAAK,EAAE;IAC1C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,oBAAoB,CAAC,WAAW,CAAC,CAAC;IACtD,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB,GAAG,oBAAoB,CAWvB"}

package/dist/shared/progress-output.js

@@ -0,0 +1,50 @@
+import { MAX_DISPLAY_TEXT_CHARS, MAX_STATUS_TEXT_CHARS, } from '../schemas/progress-event.js';
+export function reportProgress(progress, event) {
+    if (progress === undefined)
+        return;
+    try {
+        progress(event);
+    }
+    catch {
+        // Progress is a host-facing side channel. A broken renderer must not
+        // corrupt the run or change terminal behavior.
+    }
+}
+export function progressDisplay(text, importance, tone) {
+    if (text.length <= MAX_DISPLAY_TEXT_CHARS)
+        return { text, importance, tone };
+    return {
+        text: `${text.slice(0, MAX_DISPLAY_TEXT_CHARS - 14)} [truncated]`,
+        importance,
+        tone,
+    };
+}
+function truncateStatusText(text) {
+    if (text.length <= MAX_STATUS_TEXT_CHARS)
+        return text;
+    return `${text.slice(0, MAX_STATUS_TEXT_CHARS - 14)} [truncated]`;
+}
+// Used at the progress-event boundary: input may already be a status line
+// (with or without `Circuit:` / `⎿` chrome). Strips chrome, then truncates.
+// Does NOT enforce sentence-final punctuation — that is the caller's concern
+// and would risk double-period output if applied here.
+function normalizeStatusText(text) {
+    const withoutChrome = text
+        .replace(/^Circuit:\s*/i, '')
+        .replace(/^⎿\s*/, '')
+        .trim();
+    return truncateStatusText(withoutChrome);
+}
+export function progressPresentation(input) {
+    const lineMode = input.lineMode ?? 'append';
+    return {
+        block_id: input.blockId,
+        line_mode: lineMode,
+        ...(input.slotId === undefined ? {} : { slot_id: input.slotId }),
+        ...(input.statusText === undefined
+            ? {}
+            : { status_text: normalizeStatusText(input.statusText) }),
+        ...(input.depth === undefined ? {} : { depth: input.depth }),
+    };
+}
+//# sourceMappingURL=progress-output.js.map

package/dist/shared/progress-output.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"progress-output.js","sourceRoot":"","sources":["../../src/shared/progress-output.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,sBAAsB,EACtB,qBAAqB,GAItB,MAAM,8BAA8B,CAAC;AAGtC,MAAM,UAAU,cAAc,CAAC,QAAsC,EAAE,KAAoB;IACzF,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO;IACnC,IAAI,CAAC;QACH,QAAQ,CAAC,KAAK,CAAC,CAAC;IAClB,CAAC;IAAC,MAAM,CAAC;QACP,qEAAqE;QACrE,+CAA+C;IACjD,CAAC;AACH,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,IAAY,EACZ,UAAyC,EACzC,IAA6B;IAE7B,IAAI,IAAI,CAAC,MAAM,IAAI,sBAAsB;QAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IAC7E,OAAO;QACL,IAAI,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,sBAAsB,GAAG,EAAE,CAAC,cAAc;QACjE,UAAU;QACV,IAAI;KACL,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAY;IACtC,IAAI,IAAI,CAAC,MAAM,IAAI,qBAAqB;QAAE,OAAO,IAAI,CAAC;IACtD,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,qBAAqB,GAAG,EAAE,CAAC,cAAc,CAAC;AACpE,CAAC;AAED,0EAA0E;AAC1E,4EAA4E;AAC5E,6EAA6E;AAC7E,uDAAuD;AACvD,SAAS,mBAAmB,CAAC,IAAY;IACvC,MAAM,aAAa,GAAG,IAAI;SACvB,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC;SAC5B,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;SACpB,IAAI,EAAE,CAAC;IACV,OAAO,kBAAkB,CAAC,aAAa,CAAC,CAAC;AAC3C,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAMpC;IACC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAI,QAAQ,CAAC;IAC5C,OAAO;QACL,QAAQ,EAAE,KAAK,CAAC,OAAO;QACvB,SAAS,EAAE,QAAQ;QACnB,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;QAChE,GAAG,CAAC,KAAK,CAAC,UAAU,KAAK,SAAS;YAChC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,WAAW,EAAE,mBAAmB,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3D,GAAG,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;KAC7D,CAAC;AACJ,CAAC"}

package/dist/shared/proof-assessment.d.ts

@@ -0,0 +1,7 @@
+import { type ClaimId, type Evidence as EvidenceValue } from '../schemas/proof-assessment.js';
+import type { CheckEvaluatedTraceEntry } from '../schemas/trace-entry.js';
+export declare function evidenceFromAcceptanceCriteriaTrace(input: {
+    readonly entry: CheckEvaluatedTraceEntry;
+    readonly coversClaims: readonly ClaimId[];
+}): EvidenceValue;
+//# sourceMappingURL=proof-assessment.d.ts.map

package/dist/shared/proof-assessment.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof-assessment.d.ts","sourceRoot":"","sources":["../../src/shared/proof-assessment.ts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,OAAO,EAEZ,KAAK,QAAQ,IAAI,aAAa,EAC/B,MAAM,gCAAgC,CAAC;AAExC,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AA+C1E,wBAAgB,mCAAmC,CAAC,KAAK,EAAE;IACzD,QAAQ,CAAC,KAAK,EAAE,wBAAwB,CAAC;IACzC,QAAQ,CAAC,YAAY,EAAE,SAAS,OAAO,EAAE,CAAC;CAC3C,GAAG,aAAa,CAuBhB"}

package/dist/shared/proof-assessment.js

@@ -0,0 +1,67 @@
+import { sha256OfJson } from '../schemas/hashing.js';
+import { Evidence, } from '../schemas/proof-assessment.js';
+function sha256(value) {
+    return sha256OfJson(value);
+}
+function traceRef(entry) {
+    return {
+        kind: 'trace',
+        ref: `trace.ndjson#sequence=${entry.sequence}`,
+        run_id: entry.run_id,
+        step_id: entry.step_id,
+        attempt: entry.attempt,
+        sequence: entry.sequence,
+    };
+}
+function commandRef(entry) {
+    if (entry.criterion_id === undefined) {
+        throw new Error('acceptance command evidence requires criterion_id');
+    }
+    return {
+        kind: 'command',
+        ref: `acceptance-criteria/${entry.step_id}/${entry.attempt}/${entry.criterion_id}/command`,
+        sha256: sha256({
+            check_kind: entry.check_kind,
+            criterion_id: entry.criterion_id,
+            criterion_kind: entry.criterion_kind,
+            exit_code: entry.exit_code,
+            status: entry.status,
+            stdout_summary: entry.stdout_summary,
+            stderr_summary: entry.stderr_summary,
+            outcome: entry.outcome,
+        }),
+        run_id: entry.run_id,
+        step_id: entry.step_id,
+        attempt: entry.attempt,
+    };
+}
+function requireAcceptanceCriterionKind(criterionKind) {
+    if (criterionKind === 'command' || criterionKind === 'report_field')
+        return criterionKind;
+    throw new Error('acceptance criteria evidence requires criterion_kind');
+}
+export function evidenceFromAcceptanceCriteriaTrace(input) {
+    const { entry } = input;
+    if (entry.kind !== 'check.evaluated' || entry.check_kind !== 'acceptance_criteria') {
+        throw new Error('acceptance criteria evidence requires a check.evaluated acceptance entry');
+    }
+    if (entry.criterion_id === undefined) {
+        throw new Error('acceptance criteria evidence requires criterion_id');
+    }
+    const kind = requireAcceptanceCriterionKind(entry.criterion_kind);
+    const inputRef = traceRef(entry);
+    const ref = kind === 'command' ? commandRef(entry) : inputRef;
+    return Evidence.parse({
+        schema_version: 1,
+        id: `evidence.acceptance:${entry.step_id}:${entry.attempt}:${entry.criterion_id}`,
+        kind,
+        producer: 'runtime',
+        independence: 'runtime',
+        ref,
+        input_refs: [inputRef],
+        covers_claims: input.coversClaims,
+        result: entry.outcome === 'pass' ? 'pass' : 'fail',
+        ...(entry.reason === undefined ? {} : { summary: entry.reason }),
+    });
+}
+//# sourceMappingURL=proof-assessment.js.map

package/dist/shared/proof-assessment.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof-assessment.js","sourceRoot":"","sources":["../../src/shared/proof-assessment.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAEL,QAAQ,GAET,MAAM,gCAAgC,CAAC;AAIxC,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,QAAQ,CAAC,KAA+B;IAC/C,OAAO;QACL,IAAI,EAAE,OAAO;QACb,GAAG,EAAE,yBAAyB,KAAK,CAAC,QAAQ,EAAE;QAC9C,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,QAAQ,EAAE,KAAK,CAAC,QAAQ;KACzB,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,KAA+B;IACjD,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvE,CAAC;IACD,OAAO;QACL,IAAI,EAAE,SAAS;QACf,GAAG,EAAE,uBAAuB,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,YAAY,UAAU;QAC1F,MAAM,EAAE,MAAM,CAAC;YACb,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,cAAc,EAAE,KAAK,CAAC,cAAc;YACpC,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,cAAc,EAAE,KAAK,CAAC,cAAc;YACpC,cAAc,EAAE,KAAK,CAAC,cAAc;YACpC,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC;QACF,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,OAAO,EAAE,KAAK,CAAC,OAAO;KACvB,CAAC;AACJ,CAAC;AAED,SAAS,8BAA8B,CACrC,aAAyD;IAEzD,IAAI,aAAa,KAAK,SAAS,IAAI,aAAa,KAAK,cAAc;QAAE,OAAO,aAAa,CAAC;IAC1F,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;AAC1E,CAAC;AAED,MAAM,UAAU,mCAAmC,CAAC,KAGnD;IACC,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACxB,IAAI,KAAK,CAAC,IAAI,KAAK,iBAAiB,IAAI,KAAK,CAAC,UAAU,KAAK,qBAAqB,EAAE,CAAC;QACnF,MAAM,IAAI,KAAK,CAAC,0EAA0E,CAAC,CAAC;IAC9F,CAAC;IACD,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,IAAI,GAAG,8BAA8B,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IAClE,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IACjC,MAAM,GAAG,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC9D,OAAO,QAAQ,CAAC,KAAK,CAAC;QACpB,cAAc,EAAE,CAAC;QACjB,EAAE,EAAE,uBAAuB,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,YAAY,EAAE;QACjF,IAAI;QACJ,QAAQ,EAAE,SAAS;QACnB,YAAY,EAAE,SAAS;QACvB,GAAG;QACH,UAAU,EAAE,CAAC,QAAQ,CAAC;QACtB,aAAa,EAAE,KAAK,CAAC,YAAY;QACjC,MAAM,EAAE,KAAK,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;QAClD,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;KACjE,CAAC,CAAC;AACL,CAAC"}

package/dist/shared/proof-plan.d.ts

@@ -0,0 +1,26 @@
+export declare class ProofPlanBlockedError extends Error {
+    constructor(message: string);
+}
+export declare function isProofPlanBlockedError(error: unknown): error is ProofPlanBlockedError;
+export interface ProofPlanCommandObservation {
+    readonly command: ProofPlanCommand;
+    readonly exit_code: number;
+    readonly status: 'passed' | 'failed';
+    readonly duration_ms: number;
+    readonly stdout_summary: string;
+    readonly stderr_summary: string;
+    readonly timed_out: boolean;
+}
+export interface ProofPlanCommand {
+    readonly id: string;
+    readonly cwd: string;
+    readonly argv: readonly string[];
+    readonly timeout_ms: number;
+    readonly max_output_bytes: number;
+    readonly env: Readonly<Record<string, string>>;
+}
+export declare function resolveProjectRelativeProofCwd(projectRoot: string, cwd: string): string;
+export declare function packageScriptInvocation(command: ProofPlanCommand): string | undefined;
+export declare function preflightProofPlanCommand(command: ProofPlanCommand, cwdAbs: string): void;
+export declare function runProofPlanCommand(command: ProofPlanCommand, projectRoot: string): ProofPlanCommandObservation;
+//# sourceMappingURL=proof-plan.d.ts.map

package/dist/shared/proof-plan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof-plan.d.ts","sourceRoot":"","sources":["../../src/shared/proof-plan.ts"],"names":[],"mappings":"AAaA,qBAAa,qBAAsB,SAAQ,KAAK;gBAClC,OAAO,EAAE,MAAM;CAI5B;AAED,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,qBAAqB,CAKtF;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,QAAQ,CAAC;IACrC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAKhC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CAChD;AAOD,wBAAgB,8BAA8B,CAAC,WAAW,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CA2CvF;AAsBD,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,gBAAgB,GAAG,MAAM,GAAG,SAAS,CAarF;AAED,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAiCzF;AAmBD,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,gBAAgB,EACzB,WAAW,EAAE,MAAM,GAClB,2BAA2B,CA0C7B"}

package/dist/shared/proof-plan.js

@@ -0,0 +1,164 @@
+import { spawnSync } from 'node:child_process';
+import { existsSync, lstatSync, readFileSync, realpathSync } from 'node:fs';
+import { isAbsolute, join, relative, resolve } from 'node:path';
+const PROOF_PLAN_ENV_INHERIT_ALLOWLIST = [
+    'PATH',
+    'SystemRoot',
+    'TEMP',
+    'TMP',
+    'TMPDIR',
+    'WINDIR',
+];
+export class ProofPlanBlockedError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'ProofPlanBlockedError';
+    }
+}
+export function isProofPlanBlockedError(error) {
+    return (error instanceof ProofPlanBlockedError ||
+        (error instanceof Error && error.name === 'ProofPlanBlockedError'));
+}
+function isInsideOrSame(root, target) {
+    const fromRoot = relative(root, target);
+    return fromRoot === '' || (!fromRoot.startsWith('..') && !isAbsolute(fromRoot));
+}
+export function resolveProjectRelativeProofCwd(projectRoot, cwd) {
+    const rootAbs = resolve(projectRoot);
+    const targetAbs = resolve(rootAbs, cwd);
+    if (!isInsideOrSame(rootAbs, targetAbs)) {
+        throw new ProofPlanBlockedError(`verification cwd rejected: ${JSON.stringify(cwd)} escapes project root`);
+    }
+    if (!existsSync(rootAbs)) {
+        throw new ProofPlanBlockedError(`verification project root rejected: ${rootAbs} does not exist`);
+    }
+    const rootReal = realpathSync.native(rootAbs);
+    let cursor = rootAbs;
+    for (const segment of cwd.split('/')) {
+        if (segment === '.')
+            continue;
+        cursor = resolve(cursor, segment);
+        if (!existsSync(cursor)) {
+            throw new ProofPlanBlockedError(`verification cwd rejected: ${JSON.stringify(cwd)} does not exist`);
+        }
+        const stat = lstatSync(cursor);
+        if (stat.isSymbolicLink()) {
+            throw new ProofPlanBlockedError(`verification cwd rejected: ${JSON.stringify(cwd)} crosses symlink ${JSON.stringify(cursor)}`);
+        }
+        const cursorReal = realpathSync.native(cursor);
+        if (!isInsideOrSame(rootReal, cursorReal)) {
+            throw new ProofPlanBlockedError(`verification cwd rejected: ${JSON.stringify(cwd)} escapes real project root through ${JSON.stringify(cursor)}`);
+        }
+    }
+    const targetReal = realpathSync.native(targetAbs);
+    if (!isInsideOrSame(rootReal, targetReal)) {
+        throw new ProofPlanBlockedError(`verification cwd rejected: ${JSON.stringify(cwd)} escapes real project root`);
+    }
+    return targetReal;
+}
+function proofPlanEnvironment(commandEnv) {
+    const env = {};
+    for (const key of PROOF_PLAN_ENV_INHERIT_ALLOWLIST) {
+        const value = process.env[key];
+        if (value !== undefined)
+            env[key] = value;
+    }
+    return { ...env, ...commandEnv };
+}
+function summarizeOutput(value, maxBytes) {
+    const bytes = Buffer.from(value);
+    if (bytes.length <= maxBytes)
+        return value;
+    return bytes.subarray(0, maxBytes).toString('utf8');
+}
+function commandBinaryName(argv0) {
+    const normalized = argv0.replaceAll('\\', '/');
+    return normalized.slice(normalized.lastIndexOf('/') + 1).toLowerCase();
+}
+export function packageScriptInvocation(command) {
+    const argv0 = command.argv[0];
+    if (argv0 === undefined)
+        return undefined;
+    const binary = commandBinaryName(argv0);
+    if (binary !== 'npm' && binary !== 'pnpm' && binary !== 'yarn')
+        return undefined;
+    if (command.argv[1] !== 'run')
+        return undefined;
+    const script = command.argv[2];
+    if (script === undefined) {
+        throw new ProofPlanBlockedError(`Proof plan blocked: verification command '${command.id}' invokes ${binary} run without a script name.`);
+    }
+    return script;
+}
+export function preflightProofPlanCommand(command, cwdAbs) {
+    const script = packageScriptInvocation(command);
+    if (script === undefined)
+        return;
+    const packageJsonPath = join(cwdAbs, 'package.json');
+    if (!existsSync(packageJsonPath)) {
+        throw new ProofPlanBlockedError(`Proof plan blocked: verification command '${command.id}' requires package.json at cwd ${JSON.stringify(command.cwd)}.`);
+    }
+    let parsed;
+    try {
+        parsed = JSON.parse(readFileSync(packageJsonPath, 'utf8'));
+    }
+    catch (error) {
+        const message = error instanceof Error ? error.message : String(error);
+        throw new ProofPlanBlockedError(`Proof plan blocked: verification command '${command.id}' could not parse package.json at cwd ${JSON.stringify(command.cwd)}: ${message}.`);
+    }
+    const scripts = parsed && typeof parsed === 'object' ? parsed.scripts : undefined;
+    if (scripts === null || typeof scripts !== 'object' || Array.isArray(scripts)) {
+        throw new ProofPlanBlockedError(`Proof plan blocked: verification command '${command.id}' requires package.json scripts at cwd ${JSON.stringify(command.cwd)}.`);
+    }
+    if (typeof scripts[script] !== 'string') {
+        throw new ProofPlanBlockedError(`Proof plan blocked: verification command '${command.id}' references missing package script "${script}" at cwd ${JSON.stringify(command.cwd)}.`);
+    }
+}
+function isLaunchError(error) {
+    const code = error.code;
+    return code === 'ENOENT' || code === 'EACCES' || code === 'ENOTDIR';
+}
+function commandTimedOut(input) {
+    if (input.error !== undefined && input.error.code === 'ETIMEDOUT') {
+        return true;
+    }
+    return input.signal !== null && input.durationMs >= input.timeoutMs;
+}
+export function runProofPlanCommand(command, projectRoot) {
+    const started = Date.now();
+    const cwd = resolveProjectRelativeProofCwd(projectRoot, command.cwd);
+    preflightProofPlanCommand(command, cwd);
+    const result = spawnSync(command.argv[0], command.argv.slice(1), {
+        cwd,
+        env: proofPlanEnvironment(command.env),
+        encoding: 'utf8',
+        maxBuffer: command.max_output_bytes,
+        shell: false,
+        timeout: command.timeout_ms,
+    });
+    if (result.error !== undefined && isLaunchError(result.error)) {
+        throw new ProofPlanBlockedError(`Proof plan blocked: verification command '${command.id}' could not launch ${JSON.stringify(command.argv[0])}: ${result.error.message}`);
+    }
+    const exitCode = typeof result.status === 'number' && result.error === undefined ? result.status : 1;
+    const durationMs = Math.max(0, Date.now() - started);
+    const stderrParts = [
+        typeof result.stderr === 'string' ? result.stderr : '',
+        result.error === undefined ? '' : result.error.message,
+        result.signal === null ? '' : `signal: ${result.signal}`,
+    ].filter((part) => part.length > 0);
+    return {
+        command,
+        exit_code: exitCode,
+        status: exitCode === 0 ? 'passed' : 'failed',
+        duration_ms: durationMs,
+        stdout_summary: summarizeOutput(typeof result.stdout === 'string' ? result.stdout : '', command.max_output_bytes),
+        stderr_summary: summarizeOutput(stderrParts.join('\n'), command.max_output_bytes),
+        timed_out: commandTimedOut({
+            error: result.error,
+            signal: result.signal,
+            durationMs,
+            timeoutMs: command.timeout_ms,
+        }),
+    };
+}
+//# sourceMappingURL=proof-plan.js.map

package/dist/shared/proof-plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof-plan.js","sourceRoot":"","sources":["../../src/shared/proof-plan.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAC5E,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEhE,MAAM,gCAAgC,GAAG;IACvC,MAAM;IACN,YAAY;IACZ,MAAM;IACN,KAAK;IACL,QAAQ;IACR,QAAQ;CACA,CAAC;AAEX,MAAM,OAAO,qBAAsB,SAAQ,KAAK;IAC9C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;IACtC,CAAC;CACF;AAED,MAAM,UAAU,uBAAuB,CAAC,KAAc;IACpD,OAAO,CACL,KAAK,YAAY,qBAAqB;QACtC,CAAC,KAAK,YAAY,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,uBAAuB,CAAC,CACnE,CAAC;AACJ,CAAC;AAyBD,SAAS,cAAc,CAAC,IAAY,EAAE,MAAc;IAClD,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACxC,OAAO,QAAQ,KAAK,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;AAClF,CAAC;AAED,MAAM,UAAU,8BAA8B,CAAC,WAAmB,EAAE,GAAW;IAC7E,MAAM,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACxC,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,qBAAqB,CAC7B,8BAA8B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,uBAAuB,CACzE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,qBAAqB,CAC7B,uCAAuC,OAAO,iBAAiB,CAChE,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC9C,IAAI,MAAM,GAAG,OAAO,CAAC;IACrB,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QACrC,IAAI,OAAO,KAAK,GAAG;YAAE,SAAS;QAC9B,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAClC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,qBAAqB,CAC7B,8BAA8B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,iBAAiB,CACnE,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,IAAI,CAAC,cAAc,EAAE,EAAE,CAAC;YAC1B,MAAM,IAAI,qBAAqB,CAC7B,8BAA8B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,oBAAoB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAC9F,CAAC;QACJ,CAAC;QACD,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC/C,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,CAAC;YAC1C,MAAM,IAAI,qBAAqB,CAC7B,8BAA8B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,sCAAsC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAChH,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAClD,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,qBAAqB,CAC7B,8BAA8B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,4BAA4B,CAC9E,CAAC;IACJ,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,oBAAoB,CAAC,UAA4C;IACxE,MAAM,GAAG,GAAsB,EAAE,CAAC;IAClC,KAAK,MAAM,GAAG,IAAI,gCAAgC,EAAE,CAAC;QACnD,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,KAAK,KAAK,SAAS;YAAE,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IAC5C,CAAC;IACD,OAAO,EAAE,GAAG,GAAG,EAAE,GAAG,UAAU,EAAE,CAAC;AACnC,CAAC;AAED,SAAS,eAAe,CAAC,KAAa,EAAE,QAAgB;IACtD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjC,IAAI,KAAK,CAAC,MAAM,IAAI,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC3C,OAAO,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAa;IACtC,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC/C,OAAO,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;AACzE,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,OAAyB;IAC/D,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,MAAM,KAAK,KAAK,IAAI,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC;IACjF,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK;QAAE,OAAO,SAAS,CAAC;IAChD,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,IAAI,qBAAqB,CAC7B,6CAA6C,OAAO,CAAC,EAAE,aAAa,MAAM,6BAA6B,CACxG,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,OAAyB,EAAE,MAAc;IACjF,MAAM,MAAM,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;IAChD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO;IAEjC,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACrD,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,qBAAqB,CAC7B,6CAA6C,OAAO,CAAC,EAAE,kCAAkC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CACxH,CAAC;IACJ,CAAC;IAED,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC;IAC7D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACvE,MAAM,IAAI,qBAAqB,CAC7B,6CAA6C,OAAO,CAAC,EAAE,yCAAyC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,OAAO,GAAG,CAC3I,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GACX,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAE,MAAgC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/F,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9E,MAAM,IAAI,qBAAqB,CAC7B,6CAA6C,OAAO,CAAC,EAAE,0CAA0C,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAChI,CAAC;IACJ,CAAC;IACD,IAAI,OAAQ,OAAmC,CAAC,MAAM,CAAC,KAAK,QAAQ,EAAE,CAAC;QACrE,MAAM,IAAI,qBAAqB,CAC7B,6CAA6C,OAAO,CAAC,EAAE,wCAAwC,MAAM,YAAY,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAChJ,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,KAAY;IACjC,MAAM,IAAI,GAAI,KAA+B,CAAC,IAAI,CAAC;IACnD,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS,CAAC;AACtE,CAAC;AAED,SAAS,eAAe,CAAC,KAKxB;IACC,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,IAAK,KAAK,CAAC,KAA+B,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC7F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,SAAS,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,OAAyB,EACzB,WAAmB;IAEnB,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC3B,MAAM,GAAG,GAAG,8BAA8B,CAAC,WAAW,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;IACrE,yBAAyB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAW,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;QACzE,GAAG;QACH,GAAG,EAAE,oBAAoB,CAAC,OAAO,CAAC,GAAG,CAAC;QACtC,QAAQ,EAAE,MAAM;QAChB,SAAS,EAAE,OAAO,CAAC,gBAAgB;QACnC,KAAK,EAAE,KAAK;QACZ,OAAO,EAAE,OAAO,CAAC,UAAU;KAC5B,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,qBAAqB,CAC7B,6CAA6C,OAAO,CAAC,EAAE,sBAAsB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,CACxI,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GACZ,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACtF,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC,CAAC;IACrD,MAAM,WAAW,GAAG;QAClB,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;QACtD,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO;QACtD,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,MAAM,CAAC,MAAM,EAAE;KACzD,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACpC,OAAO;QACL,OAAO;QACP,SAAS,EAAE,QAAQ;QACnB,MAAM,EAAE,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;QAC5C,WAAW,EAAE,UAAU;QACvB,cAAc,EAAE,eAAe,CAC7B,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EACtD,OAAO,CAAC,gBAAgB,CACzB;QACD,cAAc,EAAE,eAAe,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,gBAAgB,CAAC;QACjF,SAAS,EAAE,eAAe,CAAC;YACzB,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,UAAU;YACV,SAAS,EAAE,OAAO,CAAC,UAAU;SAC9B,CAAC;KACH,CAAC;AACJ,CAAC"}

package/dist/shared/relay-runtime-types.d.ts

@@ -0,0 +1,30 @@
+import type { CompiledFlow } from '../schemas/compiled-flow.js';
+import type { ResolvedConnector } from '../schemas/connector.js';
+import type { ProgressEvent } from '../schemas/progress-event.js';
+import type { ResolvedSelection } from '../schemas/selection-policy.js';
+import type { ConnectorRelayInput, RelayResult } from './connector-relay.js';
+export interface RelayFn {
+    readonly connectorName: string;
+    readonly connector?: ResolvedConnector;
+    readonly relay: (input: RelayInput) => Promise<RelayResult>;
+}
+export interface RelayInput extends ConnectorRelayInput {
+    readonly connector?: string;
+    readonly resolvedSelection?: ResolvedSelection;
+}
+export type ProgressReporter = (event: ProgressEvent) => void;
+export interface RuntimeEvidencePolicy {
+    readonly includeUntrackedFileContent?: boolean;
+}
+export interface ComposeWriterInput {
+    readonly runFolder: string;
+    readonly flow: CompiledFlow;
+    readonly step: CompiledFlow['steps'][number] & {
+        kind: 'compose';
+    };
+    readonly goal: string;
+    readonly projectRoot?: string;
+    readonly evidencePolicy?: RuntimeEvidencePolicy;
+}
+export type ComposeWriterFn = (input: ComposeWriterInput) => void;
+//# sourceMappingURL=relay-runtime-types.d.ts.map

package/dist/shared/relay-runtime-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"relay-runtime-types.d.ts","sourceRoot":"","sources":["../../src/shared/relay-runtime-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAClE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,KAAK,EAAE,mBAAmB,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAI7E,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,SAAS,CAAC,EAAE,iBAAiB,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,UAAU,KAAK,OAAO,CAAC,WAAW,CAAC,CAAC;CAC7D;AAED,MAAM,WAAW,UAAW,SAAQ,mBAAmB;IACrD,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;CAChD;AAED,MAAM,MAAM,gBAAgB,GAAG,CAAC,KAAK,EAAE,aAAa,KAAK,IAAI,CAAC;AAE9D,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,2BAA2B,CAAC,EAAE,OAAO,CAAC;CAChD;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,GAAG;QAAE,IAAI,EAAE,SAAS,CAAA;KAAE,CAAC;IACnE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,cAAc,CAAC,EAAE,qBAAqB,CAAC;CACjD;AAED,MAAM,MAAM,eAAe,GAAG,CAAC,KAAK,EAAE,kBAAkB,KAAK,IAAI,CAAC"}

package/dist/shared/relay-runtime-types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=relay-runtime-types.js.map

package/dist/shared/relay-runtime-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"relay-runtime-types.js","sourceRoot":"","sources":["../../src/shared/relay-runtime-types.ts"],"names":[],"mappings":""}

package/dist/shared/result-path.d.ts

@@ -0,0 +1,3 @@
+export declare const RUN_RESULT_RELATIVE_PATH = "reports/result.json";
+export declare function runResultPath(runFolder: string): string;
+//# sourceMappingURL=result-path.d.ts.map