@cat-factory/orchestration 0.142.0 → 0.143.1

package/dist/modules/execution/reproductionProof.logic.js

@@ -0,0 +1,264 @@
+import { REPRODUCTION_DEFAULT_MAX_ATTEMPTS, REPRODUCTION_MAX_COMMAND_CHARS, REPRODUCTION_MAX_TEST_PATHS, REPRODUCTION_MAX_TEST_PATH_CHARS, parseReproductionProofMode, parseReproductionReport, } from '@cat-factory/contracts';
+import { CODER_REPRODUCTION_PROOF_CONFIG_ID, reproTestOutcome } from '@cat-factory/agents';
+// Pure logic for the BUGFIX REPRODUCTION PROOF phase (docs/initiatives/bugfix-reproduction-proof.md).
+//
+// The engine resolves the per-task tri-state + the run's reproduction DECLARATION into the spec
+// the container executor forwards on a PR-opening coding job body. Side-effect-free so it is
+// unit- and conformance-testable without the engine's I/O.
+//
+// The declaration seam is deliberately singular: it is the prior `repro-test` step's structured
+// outcome, NOT a new structured tail on the coder (which is a side-effect kind that legitimately
+// ends with no final text). See the initiative's D3.
+/** The producer kind the proof phase attaches to (the Coder, which opens the PR). */
+export const REPRODUCTION_PROOF_PRODUCER_KIND = 'coder';
+/** The step kind whose structured outcome carries the reproduction declaration. */
+export const REPRO_DECLARATION_KIND = 'repro-test';
+/**
+ * The block's tri-state for the proof phase: the explicit `coder.reproductionProof` agent-config
+ * choice when set to a known value, else the default `auto`. Lenient (any unknown value falls
+ * back to `auto`) exactly like `resolveForkTriState` — an agent-config bag is free-form JSON, so
+ * a stale or hand-edited value must degrade rather than throw. Both the descriptor id and the
+ * union itself come from their owning packages rather than being restated here: a rename in
+ * `@cat-factory/agents` would otherwise leave the engine reading a key nothing writes.
+ */
+export function resolveReproductionTriState(agentConfig) {
+    return parseReproductionProofMode(agentConfig?.[CODER_REPRODUCTION_PROOF_CONFIG_ID]);
+}
+/**
+ * The reproduction DECLARATION carried by the run so far: the last prior `repro-test` step's
+ * structured outcome. `undefined` when no such step ran, or when its reply did not actually
+ * declare an outcome — which is the signal that `auto` must not run the phase (there is nothing
+ * to prove) AND that no infeasibility may be attributed to the agent.
+ *
+ * The raw `outcome` must be one of the three literals VERBATIM. `reproTestOutcome` falls back to
+ * `not_reproducible` for an unreadable reply — a deliberately conservative default for telling
+ * the coder there is no trustworthy failing test — but this feature PUBLISHES that value as the
+ * agent's own structural declaration, so a fallback must never reach it. Otherwise a malformed
+ * reply (`{}` parses fine) would be recorded as "the agent declared the bug non-reproducible"
+ * with a blank reason: a false attribution AND exactly the empty section this feature exists to
+ * eliminate.
+ *
+ * Reads the LAST matching step rather than the first: a retried/re-run reproduction step is the
+ * one whose declaration describes the branch as it now stands, mirroring `findStep` in
+ * `prReport.logic.ts`.
+ */
+export function reproductionDeclarationFrom(steps, currentStep) {
+    for (let i = Math.min(currentStep, steps.length) - 1; i >= 0; i -= 1) {
+        const step = steps[i];
+        if (step?.agentKind !== REPRO_DECLARATION_KIND)
+            continue;
+        if (!declaresOutcome(step.custom))
+            continue;
+        const parsed = reproTestOutcome.safeParse(step.custom);
+        if (parsed)
+            return parsed;
+    }
+    return undefined;
+}
+/** Whether a raw structured reply literally named an outcome (vs. the schema's fallback). */
+function declaresOutcome(custom) {
+    if (typeof custom !== 'object' || custom === null)
+        return false;
+    const outcome = custom.outcome;
+    return outcome === 'reproduced' || outcome === 'partial' || outcome === 'not_reproducible';
+}
+/**
+ * Resolve the spec a dispatch should carry, or `undefined` for "run the existing path unchanged".
+ *
+ * `undefined` is returned — and this is the feature's core compatibility promise — whenever:
+ * the tri-state is `off`; the dispatched kind is not the PR-opening producer; `auto` found no
+ * declaration; the declaration conceded (`not_reproducible`, which is recorded as a structural
+ * infeasibility declaration by the engine rather than verified here); or the declaration named
+ * no runnable command. In every one of those cases no context field is set, so no job-body field
+ * is set, so the harness runs byte-for-byte the code it ran before this feature existed.
+ *
+ * `always` deliberately does NOT invent a spec when there is no declaration: there is nothing to
+ * run, and fabricating a command would produce a false verdict. So TODAY it resolves identically
+ * to `auto` — the divergence arrives with the tracker-issue-type gating deferred in the
+ * initiative's D2, which is why the task-facing control is deferred with it rather than shipping
+ * two options a user cannot tell apart. The wire value is accepted now so the contract does not
+ * change when the control lands.
+ *
+ * The declared command and setup command are MODEL-AUTHORED strings the harness will run through
+ * `sh -c`, and the declared paths are applied onto a base worktree, so both are BOUNDED here at
+ * the resolution boundary — the last place the engine controls before they cross into a job body.
+ */
+export function resolveReproductionSpec(args) {
+    const { agentKind, agentConfig, steps, currentStep } = args;
+    if (agentKind !== REPRODUCTION_PROOF_PRODUCER_KIND)
+        return undefined;
+    if (resolveReproductionTriState(agentConfig) === 'off')
+        return undefined;
+    const declaration = reproductionDeclarationFrom(steps, currentStep);
+    if (!declaration)
+        return undefined;
+    // A concede is not something to VERIFY — it is a declaration the engine records as-is. Running
+    // a command for it would be running nothing.
+    if (declaration.outcome === 'not_reproducible')
+        return undefined;
+    const command = declaration.command?.trim();
+    if (!command || command.length > REPRODUCTION_MAX_COMMAND_CHARS)
+        return undefined;
+    const setupCommand = declaration.setupCommand?.trim();
+    // An over-long setup command declines the whole spec rather than being dropped: running the
+    // final tree with a setup the base tree never got is precisely the asymmetry that manufactures
+    // a false `reproduced` (the initiative's D4).
+    if (setupCommand && setupCommand.length > REPRODUCTION_MAX_COMMAND_CHARS)
+        return undefined;
+    const { paths: testPaths, omitted } = sanitizeTestPaths(declaration.testPaths);
+    return {
+        command,
+        testPaths,
+        ...(omitted > 0 ? { omittedTestPaths: omitted } : {}),
+        ...(setupCommand ? { setupCommand } : {}),
+        maxAttempts: args.maxAttempts ?? REPRODUCTION_DEFAULT_MAX_ATTEMPTS,
+    };
+}
+/**
+ * Bound and sanitize the declared test paths, reporting how many were DROPPED.
+ *
+ * These paths are not decoration: the harness applies them onto the base worktree to rebuild the
+ * pre-fix tree, so an absolute path or a `..` segment would write outside the checkout, and an
+ * over-cap list would rebuild that tree from an incomplete reproduction. Both are refused, and
+ * the count is carried on the spec — a dropped path can green the base and read as "the test does
+ * not capture the defect", so a silent truncation would launder a broken input into a verdict.
+ */
+function sanitizeTestPaths(declared) {
+    const paths = [];
+    let omitted = 0;
+    for (const raw of declared) {
+        if (paths.length >= REPRODUCTION_MAX_TEST_PATHS) {
+            omitted += 1;
+            continue;
+        }
+        const path = raw.trim().replace(/\\/g, '/');
+        if (!isSafeTestPath(path)) {
+            if (path.length > 0)
+                omitted += 1;
+            continue;
+        }
+        paths.push(path);
+    }
+    return { paths, omitted };
+}
+/** A repo-relative path with no traversal, no root/drive anchor and a sane length. */
+function isSafeTestPath(path) {
+    if (path.length === 0 || path.length > REPRODUCTION_MAX_TEST_PATH_CHARS)
+        return false;
+    if (path.startsWith('/') || path.startsWith('~') || /^[a-zA-Z]:\//.test(path))
+        return false;
+    return !path.split('/').includes('..');
+}
+/**
+ * The report to record for a run whose reproduction step CONCEDED — the structural
+ * infeasibility declaration. Built by the engine (not the harness, which never runs for a
+ * concede), so "could not be reproduced" reaches the pull request as a real statement with its
+ * reason and the agent's stated alternative verification, rather than as an empty section
+ * indistinguishable from a run that never tried.
+ *
+ * Returns `undefined` when the run carries no concede, so the caller can fold it in branch-free.
+ */
+export function concededReproductionReport(steps, currentStep, now) {
+    const declaration = reproductionDeclarationFrom(steps, currentStep);
+    if (!declaration || declaration.outcome !== 'not_reproducible')
+        return undefined;
+    const reason = declaration.notes?.trim();
+    const alternativeVerification = declaration.alternativeVerification?.trim();
+    return {
+        status: 'declared_infeasible',
+        command: '',
+        testPaths: [],
+        attempts: 0,
+        maxAttempts: 0,
+        ...(reason ? { reason } : {}),
+        ...(alternativeVerification ? { alternativeVerification } : {}),
+        // A concede that named NEITHER a reason nor an alternative is a declaration in form only.
+        // Say so, rather than rendering an infeasibility card whose body happens to be blank — the
+        // blank is indistinguishable from a rendering bug, which is how "nobody tried" creeps back in
+        // through the door this feature closed.
+        ...(reason || alternativeVerification
+            ? {}
+            : { note: 'The reproduction step declared the bug non-reproducible but gave no reason.' }),
+        at: now,
+    };
+}
+/**
+ * Fold a harness-produced reproduction report onto a step, returning whether anything changed.
+ *
+ * Applied on all three poll paths — the live republish (so a failed verification is visible while
+ * the repair loop still runs), the successful terminal result, and the failed terminal result (a
+ * job that died for an UNRELATED reason after the proof ran; a failed verification never fails a
+ * job by itself). Lenient by construction: a malformed or absent payload leaves the step
+ * untouched rather than failing the run, because the report is evidence, never a control signal.
+ */
+export function applyReproductionReport(step, raw) {
+    const report = coerceReproductionReport(raw);
+    if (!report)
+        return false;
+    if (sameReproductionReport(step.reproduction ?? null, report))
+        return false;
+    step.reproduction = report;
+    return true;
+}
+/** Parse a harness report defensively; `null` for absent/unparseable payloads. */
+export function coerceReproductionReport(raw) {
+    if (raw === undefined || raw === null)
+        return null;
+    try {
+        return parseReproductionReport(raw);
+    }
+    catch {
+        return null;
+    }
+}
+/**
+ * Record a settled coding step's reproduction outcome: the harness's verdict when one came back,
+ * else — for a run whose reproduction step CONCEDED, which dispatches no proof because there is
+ * nothing to run — the structural infeasibility declaration the engine mints itself.
+ *
+ * The concede branch is gated on the PR-opening producer kind, so every other step in the run
+ * doesn't pick up the same declaration and litter the timeline with duplicate cards.
+ *
+ * Lives here rather than inline in `RunDispatcher.recordStepResult` so the dispatcher keeps a
+ * one-line delegate and the whole "which report does this step get" rule sits with the rest of
+ * the feature's pure logic, where it is directly testable.
+ */
+export function recordReproductionOutcome(step, raw, run, now) {
+    if (applyReproductionReport(step, raw))
+        return;
+    // A report already on the step is never displaced by the minted concede. `applyReproductionReport`
+    // returns false BOTH for "nothing came back" and for "the terminal result re-offered the report
+    // the live poll already applied" — without this guard the second case would overwrite a proof
+    // that actually ran with the older, weaker declaration.
+    if (step.reproduction)
+        return;
+    if (step.agentKind !== REPRODUCTION_PROOF_PRODUCER_KIND)
+        return;
+    const conceded = concededReproductionReport(run.steps, run.currentStep, now);
+    if (conceded)
+        step.reproduction = conceded;
+}
+/**
+ * Whether two reports are the same publish. Compared on the verdict identity rather than
+ * deep-equality of the (potentially several KB of) captured output tails, so an idle poll
+ * re-offering the same report doesn't churn storage or the event stream — the
+ * `sameValidationReport` treatment, for the same reason.
+ *
+ * `at` participates, so the harness MUST stamp a fresh timestamp on every publish (a Phase B
+ * invariant); every other field compared here is one whose change a reviewer would actually see,
+ * so a same-timestamp republish that altered the verdict still lands.
+ */
+function sameReproductionReport(a, b) {
+    if (!a)
+        return false;
+    return (a.status === b.status &&
+        a.attempts === b.attempts &&
+        a.at === b.at &&
+        a.note === b.note &&
+        samePhase(a.base, b.base) &&
+        samePhase(a.final, b.final));
+}
+function samePhase(a, b) {
+    return a?.exitCode === b?.exitCode && a?.passed === b?.passed && a?.setupFailed === b?.setupFailed;
+}
+//# sourceMappingURL=reproductionProof.logic.js.map

package/dist/modules/execution/reproductionProof.logic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reproductionProof.logic.js","sourceRoot":"","sources":["../../../src/modules/execution/reproductionProof.logic.ts"],"names":[],"mappings":"AAOA,OAAO,EACL,iCAAiC,EACjC,8BAA8B,EAC9B,2BAA2B,EAC3B,gCAAgC,EAChC,0BAA0B,EAC1B,uBAAuB,GACxB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,kCAAkC,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAE1F,sGAAsG;AACtG,EAAE;AACF,gGAAgG;AAChG,6FAA6F;AAC7F,2DAA2D;AAC3D,EAAE;AACF,gGAAgG;AAChG,iGAAiG;AACjG,qDAAqD;AAErD,qFAAqF;AACrF,MAAM,CAAC,MAAM,gCAAgC,GAAG,OAAO,CAAA;AAEvD,mFAAmF;AACnF,MAAM,CAAC,MAAM,sBAAsB,GAAG,YAAY,CAAA;AAElD;;;;;;;GAOG;AACH,MAAM,UAAU,2BAA2B,CACzC,WAA0C;IAE1C,OAAO,0BAA0B,CAAC,WAAW,EAAE,CAAC,kCAAkC,CAAC,CAAC,CAAA;AACtF,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,2BAA2B,CACzC,KAA8B,EAC9B,WAAmB;IAEnB,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACrE,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;QACrB,IAAI,IAAI,EAAE,SAAS,KAAK,sBAAsB;YAAE,SAAQ;QACxD,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,SAAQ;QAC3C,MAAM,MAAM,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QACtD,IAAI,MAAM;YAAE,OAAO,MAAM,CAAA;IAC3B,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,6FAA6F;AAC7F,SAAS,eAAe,CAAC,MAAe;IACtC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,KAAK,CAAA;IAC/D,MAAM,OAAO,GAAI,MAAgC,CAAC,OAAO,CAAA;IACzD,OAAO,OAAO,KAAK,YAAY,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,kBAAkB,CAAA;AAC5F,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,uBAAuB,CAAC,IAMvC;IACC,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,IAAI,CAAA;IAC3D,IAAI,SAAS,KAAK,gCAAgC;QAAE,OAAO,SAAS,CAAA;IACpE,IAAI,2BAA2B,CAAC,WAAW,CAAC,KAAK,KAAK;QAAE,OAAO,SAAS,CAAA;IAExE,MAAM,WAAW,GAAG,2BAA2B,CAAC,KAAK,EAAE,WAAW,CAAC,CAAA;IACnE,IAAI,CAAC,WAAW;QAAE,OAAO,SAAS,CAAA;IAClC,+FAA+F;IAC/F,6CAA6C;IAC7C,IAAI,WAAW,CAAC,OAAO,KAAK,kBAAkB;QAAE,OAAO,SAAS,CAAA;IAEhE,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,EAAE,IAAI,EAAE,CAAA;IAC3C,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,8BAA8B;QAAE,OAAO,SAAS,CAAA;IAEjF,MAAM,YAAY,GAAG,WAAW,CAAC,YAAY,EAAE,IAAI,EAAE,CAAA;IACrD,4FAA4F;IAC5F,+FAA+F;IAC/F,8CAA8C;IAC9C,IAAI,YAAY,IAAI,YAAY,CAAC,MAAM,GAAG,8BAA8B;QAAE,OAAO,SAAS,CAAA;IAE1F,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,iBAAiB,CAAC,WAAW,CAAC,SAAS,CAAC,CAAA;IAE9E,OAAO;QACL,OAAO;QACP,SAAS;QACT,GAAG,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzC,WAAW,EAAE,IAAI,CAAC,WAAW,IAAI,iCAAiC;KACnE,CAAA;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,iBAAiB,CAAC,QAA2B;IACpD,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,IAAI,OAAO,GAAG,CAAC,CAAA;IACf,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,MAAM,IAAI,2BAA2B,EAAE,CAAC;YAChD,OAAO,IAAI,CAAC,CAAA;YACZ,SAAQ;QACV,CAAC;QACD,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;QAC3C,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC,CAAA;YACjC,SAAQ;QACV,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAClB,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAA;AAC3B,CAAC;AAED,sFAAsF;AACtF,SAAS,cAAc,CAAC,IAAY;IAClC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,gCAAgC;QAAE,OAAO,KAAK,CAAA;IACrF,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAA;IAC3F,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;AACxC,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,0BAA0B,CACxC,KAA8B,EAC9B,WAAmB,EACnB,GAAW;IAEX,MAAM,WAAW,GAAG,2BAA2B,CAAC,KAAK,EAAE,WAAW,CAAC,CAAA;IACnE,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,OAAO,KAAK,kBAAkB;QAAE,OAAO,SAAS,CAAA;IAChF,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,CAAA;IACxC,MAAM,uBAAuB,GAAG,WAAW,CAAC,uBAAuB,EAAE,IAAI,EAAE,CAAA;IAC3E,OAAO;QACL,MAAM,EAAE,qBAAqB;QAC7B,OAAO,EAAE,EAAE;QACX,SAAS,EAAE,EAAE;QACb,QAAQ,EAAE,CAAC;QACX,WAAW,EAAE,CAAC;QACd,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7B,GAAG,CAAC,uBAAuB,CAAC,CAAC,CAAC,EAAE,uBAAuB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/D,0FAA0F;QAC1F,2FAA2F;QAC3F,8FAA8F;QAC9F,wCAAwC;QACxC,GAAG,CAAC,MAAM,IAAI,uBAAuB;YACnC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,IAAI,EAAE,6EAA6E,EAAE,CAAC;QAC5F,EAAE,EAAE,GAAG;KACR,CAAA;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,uBAAuB,CAAC,IAAkB,EAAE,GAAY;IACtE,MAAM,MAAM,GAAG,wBAAwB,CAAC,GAAG,CAAC,CAAA;IAC5C,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAA;IACzB,IAAI,sBAAsB,CAAC,IAAI,CAAC,YAAY,IAAI,IAAI,EAAE,MAAM,CAAC;QAAE,OAAO,KAAK,CAAA;IAC3E,IAAI,CAAC,YAAY,GAAG,MAAM,CAAA;IAC1B,OAAO,IAAI,CAAA;AACb,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,wBAAwB,CAAC,GAAY;IACnD,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAA;IAClD,IAAI,CAAC;QACH,OAAO,uBAAuB,CAAC,GAAG,CAAC,CAAA;IACrC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAA;IACb,CAAC;AACH,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,yBAAyB,CACvC,IAAkB,EAClB,GAAY,EACZ,GAA4D,EAC5D,GAAW;IAEX,IAAI,uBAAuB,CAAC,IAAI,EAAE,GAAG,CAAC;QAAE,OAAM;IAC9C,mGAAmG;IACnG,gGAAgG;IAChG,8FAA8F;IAC9F,wDAAwD;IACxD,IAAI,IAAI,CAAC,YAAY;QAAE,OAAM;IAC7B,IAAI,IAAI,CAAC,SAAS,KAAK,gCAAgC;QAAE,OAAM;IAC/D,MAAM,QAAQ,GAAG,0BAA0B,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,CAAA;IAC5E,IAAI,QAAQ;QAAE,IAAI,CAAC,YAAY,GAAG,QAAQ,CAAA;AAC5C,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,sBAAsB,CAAC,CAA4B,EAAE,CAAqB;IACjF,IAAI,CAAC,CAAC;QAAE,OAAO,KAAK,CAAA;IACpB,OAAO,CACL,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;QACrB,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ;QACzB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE;QACb,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QACjB,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;QACzB,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAC5B,CAAA;AACH,CAAC;AAED,SAAS,SAAS,CAAC,CAA6B,EAAE,CAA6B;IAC7E,OAAO,CAAC,EAAE,QAAQ,KAAK,CAAC,EAAE,QAAQ,IAAI,CAAC,EAAE,MAAM,KAAK,CAAC,EAAE,MAAM,IAAI,CAAC,EAAE,WAAW,KAAK,CAAC,EAAE,WAAW,CAAA;AACpG,CAAC"}

package/dist/modules/modelPresets/ModelPresetService.d.ts

@@ -17,7 +17,7 @@ export interface ModelPresetServiceDependencies {
  * mapping from). A preset is one `baseModelId` applied to every agent kind plus
  * per-kind `overrides`. Maintains the invariant that a workspace always has at least
  * one preset, exactly one of which is the default: {@link list} lazily seeds the
- * built-in catalog ({@link seedModelPresets}: Kimi K2.7, GLM-5.2, Claude Opus 4.8) on
+ * built-in catalog ({@link seedModelPresets}: Kimi K2.7, GLM-5.2, Claude Opus 5) on
  * first use, with the deployment's {@link ModelPresetServiceDependencies.defaultPresetId}
  * flagged default, and the default cannot be deleted. The single-default promotion is
  * enforced in the repository. {@link reseed} restores a built-in to the current catalog

package/dist/modules/modelPresets/ModelPresetService.js

@@ -4,7 +4,7 @@ import { assertFound, ConflictError, DEFAULT_MODEL_PRESET_ID, modelForKindFromPr
  * mapping from). A preset is one `baseModelId` applied to every agent kind plus
  * per-kind `overrides`. Maintains the invariant that a workspace always has at least
  * one preset, exactly one of which is the default: {@link list} lazily seeds the
- * built-in catalog ({@link seedModelPresets}: Kimi K2.7, GLM-5.2, Claude Opus 4.8) on
+ * built-in catalog ({@link seedModelPresets}: Kimi K2.7, GLM-5.2, Claude Opus 5) on
  * first use, with the deployment's {@link ModelPresetServiceDependencies.defaultPresetId}
  * flagged default, and the default cannot be deleted. The single-default promotion is
  * enforced in the repository. {@link reseed} restores a built-in to the current catalog

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cat-factory/orchestration",
-  "version": "0.142.0",
+  "version": "0.143.1",
   "description": "Delivery-workflow engine for the Agent Architecture Board (execution, bootstrap, pipelines, board, boardScan, requirements, and composition root).",
   "repository": {
     "type": "git",
@@ -24,21 +24,21 @@
     "access": "public"
   },
   "dependencies": {
-    "ai": "^7.0.35",
-    "@cat-factory/agents": "0.69.10",
-    "@cat-factory/caching": "0.10.43",
-    "@cat-factory/contracts": "0.167.0",
-    "@cat-factory/integrations": "0.100.0",
-    "@cat-factory/kernel": "0.161.0",
-    "@cat-factory/prompt-fragments": "0.14.15",
-    "@cat-factory/sandbox": "0.9.148",
-    "@cat-factory/spend": "0.12.87",
-    "@cat-factory/workspaces": "0.18.3"
+    "ai": "^7.0.37",
+    "@cat-factory/agents": "0.70.1",
+    "@cat-factory/caching": "0.10.45",
+    "@cat-factory/contracts": "0.168.0",
+    "@cat-factory/integrations": "0.100.2",
+    "@cat-factory/kernel": "0.163.0",
+    "@cat-factory/prompt-fragments": "0.14.16",
+    "@cat-factory/sandbox": "0.9.150",
+    "@cat-factory/spend": "0.12.89",
+    "@cat-factory/workspaces": "0.18.5"
   },
   "devDependencies": {
     "typescript": "7.0.2",
     "vitest": "^4.1.10",
-    "@cat-factory/sandbox-fixtures": "0.7.198"
+    "@cat-factory/sandbox-fixtures": "0.7.199"
   },
   "scripts": {
     "build": "tsc -b tsconfig.build.json",