@cat-factory/contracts 0.166.0 → 0.168.0

package/dist/notifications.js

@@ -1,6 +1,7 @@
 import * as v from 'valibot';
 import { mergeAssessmentSchema } from './merge.js';
 import { platformAlertReasonSchema, platformObservabilityWindowSchema } from './observability.js';
+import { changeClassSchema, reviewEffortSchema } from './mergeTrackRecord.js';
 import { onCallAssessmentSchema, releaseSignalSchema } from './release.js';
 // ---------------------------------------------------------------------------
 // Notification wire contracts. A notification is a first-class, human-actionable
@@ -58,6 +59,10 @@ import { onCallAssessmentSchema, releaseSignalSchema } from './release.js';
 //                          when the account recovers, and re-notifies only when the firing set
 //                          of conditions changes (not every sweep). Informational: clicking it
 //                          opens the operator dashboard; `act` just marks it read.
+//   - `merge_tag_request`— a pull request cat-factory opened was merged DIRECTLY on the VCS
+//                          provider (bypassing the merge card), so the merge track record has
+//                          no reviewer-effort tag. A lightweight, dismissible nudge asking for
+//                          one tap; it gates nothing and the record stays valid untagged.
 //   - `budget_paused`    — one or more runs were paused by the spend safeguard (the workspace,
 //                          account, or user budget is exhausted). Workspace-scoped (one card,
 //                          not one per run) and purely informational: the sweeper never re-drives
@@ -93,6 +98,7 @@ export const notificationTypeSchema = v.picklist([
     'platform_health',
     'budget_paused',
     'key_drift',
+    'merge_tag_request',
 ]);
 /**
  * The closed set of notification types that count as "a task is waiting on a human review"
@@ -106,7 +112,9 @@ export const notificationTypeSchema = v.picklist([
  * Deliberately EXCLUDED: failure-remediation cards (`ci_failed`, `test_failed`,
  * `release_regression`) — "the machine needs help", not "a human owes a review" — and
  * block-less/system cards (`platform_health`, `budget_paused`, `key_drift`, `initiative`) that
- * aren't tied to a reviewable task.
+ * aren't tied to a reviewable task. `merge_tag_request` is excluded too: the PR it concerns has
+ * ALREADY merged, so it is a post-hoc nudge for one tap — counting it as review debt would
+ * friction task authoring over work that is finished.
  */
 export const REVIEW_WAIT_NOTIFICATION_TYPES = [
     'merge_review',
@@ -222,6 +230,18 @@ export const notificationPayloadSchema = v.object({
      * (D6.3) targets. Sorted by `(source, id)` so the identity is stable across sweeps.
      */
     driftAffected: v.optional(v.array(keyDriftAffectedSchema)),
+    /**
+     * The run's deterministic change class, on a `merge_review` / `pipeline_complete` /
+     * `merge_tag_request` card — so the human sees WHAT KIND of change they are being asked to
+     * review or tag, and the SPA can show that class's accumulated track record alongside.
+     */
+    changeClass: v.optional(changeClassSchema),
+    /**
+     * The merge track record the card's effort tag applies to. Carried on the merge-decision
+     * cards (so acting on one can tag in the same tap) and on a `merge_tag_request` (whose whole
+     * purpose is to tag it). Absent when no record was written (a best-effort side channel).
+     */
+    mergeTrackRecordId: v.optional(v.string()),
 });
 /** A human-actionable item surfaced on the board. */
 export const notificationSchema = v.object({
@@ -250,6 +270,18 @@ export const notificationSchema = v.object({
 // ---- Request bodies -------------------------------------------------------
 /** How a human resolved a notification from its card. */
 export const resolveNotificationActionSchema = v.picklist(['act', 'dismiss']);
+/**
+ * Body of `POST /notifications/:id/act`. Every field is optional, so `{}` is the historical
+ * no-body behaviour.
+ *
+ * On a `merge_review` / `pipeline_complete` card, `reviewEffort` records — in the SAME tap that
+ * confirms the merge — how much review the PR actually needed, onto the run's merge track
+ * record. Omitting it is always fine: the record keeps a null tag and nothing downstream breaks
+ * (tagging is a nudge, never a gate).
+ */
+export const actNotificationSchema = v.object({
+    reviewEffort: v.optional(v.nullable(reviewEffortSchema)),
+});
 // Remediation of a drifted sealed credential (ADR 0026 D6.3) is explicit + per-secret but has NO
 // HTTP contract: the in-app `key_drift` card action drops every credential it lists (batch), and
 // the `key-drift:drop` operator CLI drops a single `(source, id)`. Neither takes a wire body, so

package/dist/notifications.js.map

@@ -1 +1 @@
-{"version":3,"file":"notifications.js","sourceRoot":"","sources":["../src/notifications.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,SAAS,CAAA;AAC5B,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAA;AAClD,OAAO,EAAE,yBAAyB,EAAE,iCAAiC,EAAE,MAAM,oBAAoB,CAAA;AACjG,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAA;AAE1E,8EAA8E;AAC9E,iFAAiF;AACjF,wEAAwE;AACxE,8EAA8E;AAC9E,iEAAiE;AACjE,2EAA2E;AAC3E,oFAAoF;AACpF,8EAA8E;AAC9E,8EAA8E;AAC9E,iFAAiF;AACjF,gEAAgE;AAChE,oFAAoF;AACpF,qFAAqF;AACrF,+DAA+D;AAC/D,kFAAkF;AAClF,iFAAiF;AACjF,+EAA+E;AAC/E,kFAAkF;AAClF,iFAAiF;AACjF,uFAAuF;AACvF,4FAA4F;AAC5F,wFAAwF;AACxF,yFAAyF;AACzF,4FAA4F;AAC5F,0FAA0F;AAC1F,0FAA0F;AAC1F,4FAA4F;AAC5F,2FAA2F;AAC3F,6FAA6F;AAC7F,sFAAsF;AACtF,sFAAsF;AACtF,4FAA4F;AAC5F,gGAAgG;AAChG,6FAA6F;AAC7F,qFAAqF;AACrF,+FAA+F;AAC/F,gGAAgG;AAChG,+FAA+F;AAC/F,kGAAkG;AAClG,2FAA2F;AAC3F,6FAA6F;AAC7F,8FAA8F;AAC9F,0FAA0F;AAC1F,uFAAuF;AACvF,wFAAwF;AACxF,uFAAuF;AACvF,wFAAwF;AACxF,yFAAyF;AACzF,qEAAqE;AACrE,0FAA0F;AAC1F,4FAA4F;AAC5F,6FAA6F;AAC7F,gGAAgG;AAChG,+FAA+F;AAC/F,+FAA+F;AAC/F,mFAAmF;AACnF,+FAA+F;AAC/F,8FAA8F;AAC9F,kGAAkG;AAClG,8FAA8F;AAC9F,kGAAkG;AAClG,qDAAqD;AACrD,EAAE;AACF,iFAAiF;AACjF,4EAA4E;AAC5E,4DAA4D;AAC5D,8EAA8E;AAE9E;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,QAAQ,CAAC;IAC/C,cAAc;IACd,mBAAmB;IACnB,WAAW;IACX,aAAa;IACb,oBAAoB;IACpB,gBAAgB;IAChB,oBAAoB;IACpB,mBAAmB;IACnB,kBAAkB;IAClB,2BAA2B;IAC3B,cAAc;IACd,kBAAkB;IAClB,uBAAuB;IACvB,iBAAiB;IACjB,YAAY;IACZ,iBAAiB;IACjB,eAAe;IACf,WAAW;CACZ,CAAC,CAAA;AAGF;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG;IAC5C,cAAc;IACd,mBAAmB;IACnB,oBAAoB;IACpB,gBAAgB;IAChB,mBAAmB;IACnB,kBAAkB;IAClB,2BAA2B;IAC3B,cAAc;IACd,kBAAkB;IAClB,uBAAuB;IACvB,iBAAiB;CAC6B,CAAA;AAIhD,MAAM,iCAAiC,GAAkC,IAAI,GAAG,CAC9E,8BAA8B,CAC/B,CAAA;AAED,wFAAwF;AACxF,MAAM,UAAU,4BAA4B,CAAC,IAAsB;IACjE,OAAO,iCAAiC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;AACpD,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,qGAAqG;IACrG,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;IAClB,2DAA2D;IAC3D,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,+DAA+D;IAC/D,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB;;;;OAIG;IACH,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;IAC/C,6FAA6F;IAC7F,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;CACjC,CAAC,CAAA;AAGF;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,CAAA;AAGlF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAA;AAG1E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IAChD,4DAA4D;IAC5D,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC,qBAAqB,CAAC;IAC7C,sEAAsE;IACtE,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC7B,gFAAgF;IAChF,YAAY,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACpC,0DAA0D;IAC1D,YAAY,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACpC,kGAAkG;IAClG,SAAS,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACjC,iFAAiF;IACjF,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAClC,mEAAmE;IACnE,gBAAgB,EAAE,CAAC,CAAC,QAAQ,CAAC,sBAAsB,CAAC;IACpD,mEAAmE;IACnE,cAAc,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;IACxD,4EAA4E;IAC5E,SAAS,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACjC;;;;OAIG;IACH,YAAY,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IAChD,gFAAgF;IAChF,gBAAgB,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,cAAc,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC,CAAC;IACpF;;;;OAIG;IACH,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5C,yGAAyG;IACzG,aAAa,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9C,uFAAuF;IACvF,cAAc,EAAE,CAAC,CAAC,QAAQ,CAAC,iCAAiC,CAAC;IAC7D;;;;;;;OAOG;IACH,cAAc,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC;IAC9D;;;;;OAKG;IACH,aAAa,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC;CAC3D,CAAC,CAAA;AAGF,qDAAqD;AACrD,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,IAAI,EAAE,sBAAsB;IAC5B,MAAM,EAAE,wBAAwB;IAChC;;;OAGG;IACH,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,0BAA0B,CAAC;IAChD,iFAAiF;IACjF,OAAO,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC/B,yDAAyD;IACzD,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACnC,wCAAwC;IACxC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,mCAAmC;IACnC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,wFAAwF;IACxF,OAAO,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,yBAAyB,CAAC,CAAC;IAC1D,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,8DAA8D;IAC9D,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;CACnC,CAAC,CAAA;AAGF,8EAA8E;AAE9E,yDAAyD;AACzD,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAA;AAG7E,iGAAiG;AACjG,iGAAiG;AACjG,iGAAiG;AACjG,iGAAiG;AACjG,+BAA+B"}
+{"version":3,"file":"notifications.js","sourceRoot":"","sources":["../src/notifications.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,SAAS,CAAA;AAC5B,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAA;AAClD,OAAO,EAAE,yBAAyB,EAAE,iCAAiC,EAAE,MAAM,oBAAoB,CAAA;AACjG,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAA;AAC7E,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAA;AAE1E,8EAA8E;AAC9E,iFAAiF;AACjF,wEAAwE;AACxE,8EAA8E;AAC9E,iEAAiE;AACjE,2EAA2E;AAC3E,oFAAoF;AACpF,8EAA8E;AAC9E,8EAA8E;AAC9E,iFAAiF;AACjF,gEAAgE;AAChE,oFAAoF;AACpF,qFAAqF;AACrF,+DAA+D;AAC/D,kFAAkF;AAClF,iFAAiF;AACjF,+EAA+E;AAC/E,kFAAkF;AAClF,iFAAiF;AACjF,uFAAuF;AACvF,4FAA4F;AAC5F,wFAAwF;AACxF,yFAAyF;AACzF,4FAA4F;AAC5F,0FAA0F;AAC1F,0FAA0F;AAC1F,4FAA4F;AAC5F,2FAA2F;AAC3F,6FAA6F;AAC7F,sFAAsF;AACtF,sFAAsF;AACtF,4FAA4F;AAC5F,gGAAgG;AAChG,6FAA6F;AAC7F,qFAAqF;AACrF,+FAA+F;AAC/F,gGAAgG;AAChG,+FAA+F;AAC/F,kGAAkG;AAClG,2FAA2F;AAC3F,6FAA6F;AAC7F,8FAA8F;AAC9F,0FAA0F;AAC1F,uFAAuF;AACvF,wFAAwF;AACxF,uFAAuF;AACvF,wFAAwF;AACxF,yFAAyF;AACzF,qEAAqE;AACrE,0FAA0F;AAC1F,4FAA4F;AAC5F,6FAA6F;AAC7F,gGAAgG;AAChG,+FAA+F;AAC/F,+FAA+F;AAC/F,mFAAmF;AACnF,4FAA4F;AAC5F,8FAA8F;AAC9F,+FAA+F;AAC/F,0FAA0F;AAC1F,+FAA+F;AAC/F,8FAA8F;AAC9F,kGAAkG;AAClG,8FAA8F;AAC9F,kGAAkG;AAClG,qDAAqD;AACrD,EAAE;AACF,iFAAiF;AACjF,4EAA4E;AAC5E,4DAA4D;AAC5D,8EAA8E;AAE9E;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,QAAQ,CAAC;IAC/C,cAAc;IACd,mBAAmB;IACnB,WAAW;IACX,aAAa;IACb,oBAAoB;IACpB,gBAAgB;IAChB,oBAAoB;IACpB,mBAAmB;IACnB,kBAAkB;IAClB,2BAA2B;IAC3B,cAAc;IACd,kBAAkB;IAClB,uBAAuB;IACvB,iBAAiB;IACjB,YAAY;IACZ,iBAAiB;IACjB,eAAe;IACf,WAAW;IACX,mBAAmB;CACpB,CAAC,CAAA;AAGF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG;IAC5C,cAAc;IACd,mBAAmB;IACnB,oBAAoB;IACpB,gBAAgB;IAChB,mBAAmB;IACnB,kBAAkB;IAClB,2BAA2B;IAC3B,cAAc;IACd,kBAAkB;IAClB,uBAAuB;IACvB,iBAAiB;CAC6B,CAAA;AAIhD,MAAM,iCAAiC,GAAkC,IAAI,GAAG,CAC9E,8BAA8B,CAC/B,CAAA;AAED,wFAAwF;AACxF,MAAM,UAAU,4BAA4B,CAAC,IAAsB;IACjE,OAAO,iCAAiC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;AACpD,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,qGAAqG;IACrG,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;IAClB,2DAA2D;IAC3D,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,+DAA+D;IAC/D,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB;;;;OAIG;IACH,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;IAC/C,6FAA6F;IAC7F,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;CACjC,CAAC,CAAA;AAGF;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,CAAA;AAGlF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAA;AAG1E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IAChD,4DAA4D;IAC5D,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC,qBAAqB,CAAC;IAC7C,sEAAsE;IACtE,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC7B,gFAAgF;IAChF,YAAY,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACpC,0DAA0D;IAC1D,YAAY,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACpC,kGAAkG;IAClG,SAAS,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACjC,iFAAiF;IACjF,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAClC,mEAAmE;IACnE,gBAAgB,EAAE,CAAC,CAAC,QAAQ,CAAC,sBAAsB,CAAC;IACpD,mEAAmE;IACnE,cAAc,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;IACxD,4EAA4E;IAC5E,SAAS,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACjC;;;;OAIG;IACH,YAAY,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IAChD,gFAAgF;IAChF,gBAAgB,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,cAAc,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC,CAAC;IACpF;;;;OAIG;IACH,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5C,yGAAyG;IACzG,aAAa,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9C,uFAAuF;IACvF,cAAc,EAAE,CAAC,CAAC,QAAQ,CAAC,iCAAiC,CAAC;IAC7D;;;;;;;OAOG;IACH,cAAc,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC;IAC9D;;;;;OAKG;IACH,aAAa,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC;IAC1D;;;;OAIG;IACH,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,iBAAiB,CAAC;IAC1C;;;;OAIG;IACH,kBAAkB,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;CAC3C,CAAC,CAAA;AAGF,qDAAqD;AACrD,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,IAAI,EAAE,sBAAsB;IAC5B,MAAM,EAAE,wBAAwB;IAChC;;;OAGG;IACH,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,0BAA0B,CAAC;IAChD,iFAAiF;IACjF,OAAO,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC/B,yDAAyD;IACzD,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACnC,wCAAwC;IACxC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,mCAAmC;IACnC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,wFAAwF;IACxF,OAAO,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,yBAAyB,CAAC,CAAC;IAC1D,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,8DAA8D;IAC9D,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;CACnC,CAAC,CAAA;AAGF,8EAA8E;AAE9E,yDAAyD;AACzD,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAA;AAG7E;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5C,YAAY,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC;CACzD,CAAC,CAAA;AAGF,iGAAiG;AACjG,iGAAiG;AACjG,iGAAiG;AACjG,iGAAiG;AACjG,+BAA+B"}

package/dist/public-api.d.ts

@@ -269,7 +269,7 @@ export type PublicPipelineList = v.InferOutput<typeof publicPipelineListSchema>;
 export declare const publicNotificationListSchema: v.ObjectSchema<{
     readonly notifications: v.ArraySchema<v.ObjectSchema<{
         readonly id: v.StringSchema<undefined>;
-        readonly type: v.PicklistSchema<["merge_review", "pipeline_complete", "ci_failed", "test_failed", "requirement_review", "clarity_review", "release_regression", "decision_required", "human_test_ready", "visual_confirmation_ready", "human_review", "followup_pending", "fork_decision_pending", "pr_review_ready", "initiative", "platform_health", "budget_paused", "key_drift"], undefined>;
+        readonly type: v.PicklistSchema<["merge_review", "pipeline_complete", "ci_failed", "test_failed", "requirement_review", "clarity_review", "release_regression", "decision_required", "human_test_ready", "visual_confirmation_ready", "human_review", "followup_pending", "fork_decision_pending", "pr_review_ready", "initiative", "platform_health", "budget_paused", "key_drift", "merge_tag_request"], undefined>;
         readonly status: v.PicklistSchema<["open", "acted", "dismissed"], undefined>;
         readonly severity: v.OptionalSchema<v.PicklistSchema<["normal", "urgent"], undefined>, undefined>;
         readonly blockId: v.NullableSchema<v.StringSchema<undefined>, undefined>;
@@ -315,6 +315,8 @@ export declare const publicNotificationListSchema: v.ObjectSchema<{
                 readonly reason: v.PicklistSchema<["key-mismatch", "corrupt"], undefined>;
                 readonly sealedAt: v.NullableSchema<v.NumberSchema<undefined>, undefined>;
             }, undefined>, undefined>, undefined>;
+            readonly changeClass: v.OptionalSchema<v.PicklistSchema<["docs", "test", "dependency", "config", "source", "schema", "unknown"], undefined>, undefined>;
+            readonly mergeTrackRecordId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
         }, undefined>, undefined>, undefined>;
         readonly createdAt: v.NumberSchema<undefined>;
         readonly resolvedAt: v.NullableSchema<v.NumberSchema<undefined>, undefined>;

package/dist/public-api.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"public-api.d.ts","sourceRoot":"","sources":["../src/public-api.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,SAAS,CAAA;AAoB5B,+BAA+B;AAC/B,eAAO,MAAM,yBAAyB;IACpC,wEAAwE;;IAExE,iEAAiE;;IAEjE,kFAAkF;;aAElF,CAAA;AACF,MAAM,MAAM,wBAAwB,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAEtF;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,iEAAiD,CAAA;AACnF,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEzE,2EAA2E;AAC3E,eAAO,MAAM,qBAAqB;IAChC,kDAAkD;;IAElD,iFAAiF;;aAEjF,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEzE,8EAA8E;AAC9E,eAAO,MAAM,eAAe;;;;;IAK1B,kFAAkF;;QAblF,kDAAkD;;QAElD,iFAAiF;;;IAajF,yDAAyD;;;;;aAEzD,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,eAAe,CAAC,CAAA;AAE7D,kFAAkF;AAClF,eAAO,MAAM,wBAAwB;;;;;;;aAInC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAM/E;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB,iGAOjC,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAE3E,uGAAuG;AACvG,eAAO,MAAM,mBAAmB;;;;IAI9B,qFAAqF;;;aAGrF,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAErE,eAAO,MAAM,uBAAuB;;;;;QANlC,qFAAqF;;;;aAMI,CAAA;AAC3F,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAE7E,iFAAiF;AACjF,eAAO,MAAM,gBAAgB;;IAE3B,wDAAwD;;;;;;IAMxD,mEAAmE;;IAEnE,8EAA8E;;IAE9E,6EAA6E;;aAE7E,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,gBAAgB,CAAC,CAAA;AAE/D,eAAO,MAAM,oBAAoB;;;QAf/B,wDAAwD;;;;;;QAMxD,mEAAmE;;QAEnE,8EAA8E;;QAE9E,6EAA6E;;;aAKG,CAAA;AAClF,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEvE;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB;;;IAGjC,gFAAgF;;aAEhF,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAEhF;;;GAGG;AACH,eAAO,MAAM,qBAAqB;;aAEhC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAE9E;;;;;;GAMG;AACH,eAAO,MAAM,sBAAsB;;;aAGjC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAMhF;;;;;;GAMG;AACH,eAAO,MAAM,qBAAqB,iFAAiE,CAAA;AACnG,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEzE,uFAAuF;AACvF,eAAO,MAAM,mBAAmB;IAC9B,sFAAsF;;IAEtF,4EAA4E;;IAE5E,kCAAkC;;IAElC,gFAAgF;;;;;;aAIhF,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAErE;;;;;GAKG;AACH,eAAO,MAAM,eAAe;;;;;IAK1B,iDAAiD;;;QAxBjD,sFAAsF;;QAEtF,4EAA4E;;QAE5E,kCAAkC;;QAElC,gFAAgF;;;;;;;IAqBhF,8DAA8D;;;;;IAE9D,sFAAsF;;;;;aAEtF,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,eAAe,CAAC,CAAA;AAM7D;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB;;;IAG/B,6DAA6D;;IAE7D;;;OAGG;;IAEH;;;;OAIG;;aAEH,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEvE,eAAO,MAAM,wBAAwB;;;;QAhBnC,6DAA6D;;QAE7D;;;WAGG;;QAEH;;;;WAIG;;;aAKyF,CAAA;AAC9F,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAM/E;;;;;;GAMG;AACH,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;aAEvC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,4BAA4B,CAAC,CAAA"}
+{"version":3,"file":"public-api.d.ts","sourceRoot":"","sources":["../src/public-api.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,SAAS,CAAA;AAoB5B,+BAA+B;AAC/B,eAAO,MAAM,yBAAyB;IACpC,wEAAwE;;IAExE,iEAAiE;;IAEjE,kFAAkF;;aAElF,CAAA;AACF,MAAM,MAAM,wBAAwB,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAEtF;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,iEAAiD,CAAA;AACnF,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEzE,2EAA2E;AAC3E,eAAO,MAAM,qBAAqB;IAChC,kDAAkD;;IAElD,iFAAiF;;aAEjF,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEzE,8EAA8E;AAC9E,eAAO,MAAM,eAAe;;;;;IAK1B,kFAAkF;;QAblF,kDAAkD;;QAElD,iFAAiF;;;IAajF,yDAAyD;;;;;aAEzD,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,eAAe,CAAC,CAAA;AAE7D,kFAAkF;AAClF,eAAO,MAAM,wBAAwB;;;;;;;aAInC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAM/E;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB,iGAOjC,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAE3E,uGAAuG;AACvG,eAAO,MAAM,mBAAmB;;;;IAI9B,qFAAqF;;;aAGrF,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAErE,eAAO,MAAM,uBAAuB;;;;;QANlC,qFAAqF;;;;aAMI,CAAA;AAC3F,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAE7E,iFAAiF;AACjF,eAAO,MAAM,gBAAgB;;IAE3B,wDAAwD;;;;;;IAMxD,mEAAmE;;IAEnE,8EAA8E;;IAE9E,6EAA6E;;aAE7E,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,gBAAgB,CAAC,CAAA;AAE/D,eAAO,MAAM,oBAAoB;;;QAf/B,wDAAwD;;;;;;QAMxD,mEAAmE;;QAEnE,8EAA8E;;QAE9E,6EAA6E;;;aAKG,CAAA;AAClF,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEvE;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB;;;IAGjC,gFAAgF;;aAEhF,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAEhF;;;GAGG;AACH,eAAO,MAAM,qBAAqB;;aAEhC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAE9E;;;;;;GAMG;AACH,eAAO,MAAM,sBAAsB;;;aAGjC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAMhF;;;;;;GAMG;AACH,eAAO,MAAM,qBAAqB,iFAAiE,CAAA;AACnG,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEzE,uFAAuF;AACvF,eAAO,MAAM,mBAAmB;IAC9B,sFAAsF;;IAEtF,4EAA4E;;IAE5E,kCAAkC;;IAElC,gFAAgF;;;;;;aAIhF,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAErE;;;;;GAKG;AACH,eAAO,MAAM,eAAe;;;;;IAK1B,iDAAiD;;;QAxBjD,sFAAsF;;QAEtF,4EAA4E;;QAE5E,kCAAkC;;QAElC,gFAAgF;;;;;;;IAqBhF,8DAA8D;;;;;IAE9D,sFAAsF;;;;;aAEtF,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,eAAe,CAAC,CAAA;AAM7D;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB;;;IAG/B,6DAA6D;;IAE7D;;;OAGG;;IAEH;;;;OAIG;;aAEH,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEvE,eAAO,MAAM,wBAAwB;;;;QAhBnC,6DAA6D;;QAE7D;;;WAGG;;QAEH;;;;WAIG;;;aAKyF,CAAA;AAC9F,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAM/E;;;;;;GAMG;AACH,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;aAEvC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,4BAA4B,CAAC,CAAA"}

package/dist/reproduction.d.ts

@@ -0,0 +1,163 @@
+import * as v from 'valibot';
+/** The per-task tri-state that opts a run into the proof phase (an `agentConfig` value). */
+export declare const reproductionProofModeSchema: v.PicklistSchema<["auto", "always", "off"], undefined>;
+export type ReproductionProofMode = v.InferOutput<typeof reproductionProofModeSchema>;
+/**
+ * Read the tri-state out of a free-form `agentConfig` value, degrading any unknown/stale/
+ * hand-edited entry to the default `auto` rather than throwing. THE single place the union is
+ * interpreted — an engine that hand-rolled its own literal comparison would silently drift from
+ * the schema the moment a fourth mode is added.
+ */
+export declare function parseReproductionProofMode(value: unknown): ReproductionProofMode;
+/**
+ * How many agent+verify rounds the proof loop may run before it gives up and records
+ * `inconclusive`. Shares the pre-PR validation budget's shape and default so an operator meets
+ * one concept, not two.
+ */
+export declare const REPRODUCTION_DEFAULT_MAX_ATTEMPTS = 3;
+/**
+ * At most this many declared test paths — the loop applies them one by one, so the list stays
+ * short. Anything beyond the cap is DROPPED, and the count of what was dropped rides
+ * {@link resolvedReproductionSchema}'s `omittedTestPaths` so the harness (and the PR report) can
+ * say the pre-fix tree was reconstructed from an incomplete set. A silent truncation here would
+ * be worse than a visible one: a dropped path can leave the base tree without the reproduction,
+ * which greens it and reads as "the test does not capture the defect".
+ */
+export declare const REPRODUCTION_MAX_TEST_PATHS = 20;
+/**
+ * Longest accepted declared command / setup command. These are MODEL-AUTHORED strings that the
+ * harness runs through `sh -c`, so they are bounded at the engine's resolution boundary before
+ * they ever reach a job body: a "command" past this length is not the narrow test invocation the
+ * prompt asks for, and the engine declines the whole spec rather than shipping it (no proof is
+ * strictly better than a proof built on a command nobody can read).
+ */
+export declare const REPRODUCTION_MAX_COMMAND_CHARS = 2000;
+/** Longest accepted declared test path. Beyond it the path is dropped and counted as omitted. */
+export declare const REPRODUCTION_MAX_TEST_PATH_CHARS = 400;
+/**
+ * The RESOLVED reproduction spec a dispatch carries: what to run and which files constitute the
+ * reproduction. Folded onto the agent run context and forwarded on the coding job body ONLY for
+ * the dispatch that opens the PR (the same rule as `validationChecks`). Absent ⇒ the run is not
+ * opted in, or carries no declaration, so the harness runs its existing path unchanged.
+ */
+export declare const resolvedReproductionSchema: v.ObjectSchema<{
+    /**
+     * The command that runs EXACTLY the declared reproduction test(s), as `sh -c` in the checkout.
+     * Run identically against both trees — the symmetry is what stops an environment defect from
+     * masquerading as a reproduction (see the initiative's D4).
+     */
+    readonly command: v.StringSchema<undefined>;
+    /**
+     * The test file(s) that constitute the reproduction, each a repo-relative path with no `..`
+     * segment (the engine drops anything else — see `omittedTestPaths`). Used to reconstruct the
+     * pre-fix tree when the run did NOT resume a branch that already carries them: the declared
+     * paths are applied onto the base worktree, never a whole-tree checkout (which would drag the
+     * fix across and green the base).
+     */
+    readonly testPaths: v.ArraySchema<v.StringSchema<undefined>, undefined>;
+    /**
+     * How many declared paths the engine DROPPED while resolving this spec (over the cap, empty,
+     * absolute, traversing, or over-long). Present only when non-zero, and carried so the proof
+     * can state that the pre-fix tree was rebuilt from an incomplete reproduction rather than
+     * quietly reporting a verdict about it. See {@link REPRODUCTION_MAX_TEST_PATHS}.
+     */
+    readonly omittedTestPaths: v.OptionalSchema<v.NumberSchema<undefined>, undefined>;
+    /**
+     * Optional command that makes a FRESH worktree runnable (a dependency install). Run in BOTH
+     * worktrees or neither — an asymmetric setup is exactly how a false `reproduced` is produced.
+     */
+    readonly setupCommand: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+    /** Repair-round budget; see {@link REPRODUCTION_DEFAULT_MAX_ATTEMPTS}. */
+    readonly maxAttempts: v.NumberSchema<undefined>;
+}, undefined>;
+export type ResolvedReproduction = v.InferOutput<typeof resolvedReproductionSchema>;
+/**
+ * The verdict, computed by the harness from the two exit codes:
+ *
+ * - `reproduced` — RED on the pre-fix tree, GREEN on the final tree. The only shape that is proof.
+ * - `inconclusive` — any other shape (green at base ⇒ the test does not capture the defect;
+ *   red at both ⇒ the fix does not resolve it, or the environment is broken). Recorded honestly
+ *   rather than dressed up; it never fails the step (see the initiative's D6).
+ * - `declared_infeasible` — the agent structurally declared reproduction impossible, with a
+ *   reason and what it verified instead. Nothing was run.
+ */
+export declare const reproductionStatusSchema: v.PicklistSchema<["reproduced", "inconclusive", "declared_infeasible"], undefined>;
+export type ReproductionStatus = v.InferOutput<typeof reproductionStatusSchema>;
+/** One tree's run of the reproduction command. */
+export declare const reproductionPhaseOutcomeSchema: v.ObjectSchema<{
+    /** Exit code (0 = pass); 124 on watchdog timeout, 127 on spawn failure, 130 on abort. */
+    readonly exitCode: v.SchemaWithFallback<v.NumberSchema<undefined>, 1>;
+    readonly passed: v.SchemaWithFallback<v.BooleanSchema<undefined>, false>;
+    /** Bounded, secret-scrubbed tail of the command's combined stdout+stderr. */
+    readonly outputTail: v.SchemaWithFallback<v.OptionalSchema<v.StringSchema<undefined>, undefined>, undefined>;
+    /** Wall-clock of the command, ms. */
+    readonly durationMs: v.SchemaWithFallback<v.OptionalSchema<v.NumberSchema<undefined>, undefined>, undefined>;
+    /** Set when the command was killed by the per-command watchdog. */
+    readonly timedOut: v.SchemaWithFallback<v.OptionalSchema<v.BooleanSchema<undefined>, undefined>, undefined>;
+    /** Set when the phase's setup command failed, so the tree never ran the check meaningfully. */
+    readonly setupFailed: v.SchemaWithFallback<v.OptionalSchema<v.BooleanSchema<undefined>, undefined>, undefined>;
+}, undefined>;
+export type ReproductionPhaseOutcome = v.InferOutput<typeof reproductionPhaseOutcomeSchema>;
+/**
+ * The harness-computed reproduction report. Lenient throughout (`v.fallback`) so a
+ * partially-malformed payload from an older harness image degrades to a sensible shape rather
+ * than failing a run whose actual deliverable — the fix — is fine.
+ */
+export declare const reproductionReportSchema: v.ObjectSchema<{
+    readonly status: v.SchemaWithFallback<v.PicklistSchema<["reproduced", "inconclusive", "declared_infeasible"], undefined>, "inconclusive">;
+    /** The command that was run against both trees (empty for `declared_infeasible`). */
+    readonly command: v.SchemaWithFallback<v.StringSchema<undefined>, "">;
+    readonly testPaths: v.SchemaWithFallback<v.ArraySchema<v.SchemaWithFallback<v.StringSchema<undefined>, "">, undefined>, readonly []>;
+    /**
+     * How many declared paths were dropped before the proof ran (see the resolved spec's field of
+     * the same name). Non-zero means the pre-fix tree was rebuilt from an INCOMPLETE reproduction,
+     * which the report must say rather than imply — an omission is exactly what turns a green base
+     * into a misleading "the test does not capture the defect".
+     */
+    readonly omittedTestPaths: v.SchemaWithFallback<v.OptionalSchema<v.NumberSchema<undefined>, undefined>, undefined>;
+    /** The pre-fix tree's run. Absent for `declared_infeasible`. */
+    readonly base: v.SchemaWithFallback<v.OptionalSchema<v.ObjectSchema<{
+        /** Exit code (0 = pass); 124 on watchdog timeout, 127 on spawn failure, 130 on abort. */
+        readonly exitCode: v.SchemaWithFallback<v.NumberSchema<undefined>, 1>;
+        readonly passed: v.SchemaWithFallback<v.BooleanSchema<undefined>, false>;
+        /** Bounded, secret-scrubbed tail of the command's combined stdout+stderr. */
+        readonly outputTail: v.SchemaWithFallback<v.OptionalSchema<v.StringSchema<undefined>, undefined>, undefined>;
+        /** Wall-clock of the command, ms. */
+        readonly durationMs: v.SchemaWithFallback<v.OptionalSchema<v.NumberSchema<undefined>, undefined>, undefined>;
+        /** Set when the command was killed by the per-command watchdog. */
+        readonly timedOut: v.SchemaWithFallback<v.OptionalSchema<v.BooleanSchema<undefined>, undefined>, undefined>;
+        /** Set when the phase's setup command failed, so the tree never ran the check meaningfully. */
+        readonly setupFailed: v.SchemaWithFallback<v.OptionalSchema<v.BooleanSchema<undefined>, undefined>, undefined>;
+    }, undefined>, undefined>, undefined>;
+    /** The final tree's run. Absent for `declared_infeasible`, or when the base run settled it. */
+    readonly final: v.SchemaWithFallback<v.OptionalSchema<v.ObjectSchema<{
+        /** Exit code (0 = pass); 124 on watchdog timeout, 127 on spawn failure, 130 on abort. */
+        readonly exitCode: v.SchemaWithFallback<v.NumberSchema<undefined>, 1>;
+        readonly passed: v.SchemaWithFallback<v.BooleanSchema<undefined>, false>;
+        /** Bounded, secret-scrubbed tail of the command's combined stdout+stderr. */
+        readonly outputTail: v.SchemaWithFallback<v.OptionalSchema<v.StringSchema<undefined>, undefined>, undefined>;
+        /** Wall-clock of the command, ms. */
+        readonly durationMs: v.SchemaWithFallback<v.OptionalSchema<v.NumberSchema<undefined>, undefined>, undefined>;
+        /** Set when the command was killed by the per-command watchdog. */
+        readonly timedOut: v.SchemaWithFallback<v.OptionalSchema<v.BooleanSchema<undefined>, undefined>, undefined>;
+        /** Set when the phase's setup command failed, so the tree never ran the check meaningfully. */
+        readonly setupFailed: v.SchemaWithFallback<v.OptionalSchema<v.BooleanSchema<undefined>, undefined>, undefined>;
+    }, undefined>, undefined>, undefined>;
+    /** How many agent+verify rounds ran (1 = settled on the first pass). */
+    readonly attempts: v.SchemaWithFallback<v.NumberSchema<undefined>, 1>;
+    readonly maxAttempts: v.SchemaWithFallback<v.NumberSchema<undefined>, 3>;
+    /** For `declared_infeasible`: WHY the bug could not be reproduced, verbatim from the agent. */
+    readonly reason: v.SchemaWithFallback<v.OptionalSchema<v.StringSchema<undefined>, undefined>, undefined>;
+    /**
+     * For `declared_infeasible`: what the agent verified INSTEAD, verbatim. This is the field that
+     * makes an infeasibility declaration reviewable rather than an empty section.
+     */
+    readonly alternativeVerification: v.SchemaWithFallback<v.OptionalSchema<v.StringSchema<undefined>, undefined>, undefined>;
+    /** For `inconclusive`: which shape was observed, in one line, for the report and the step card. */
+    readonly note: v.SchemaWithFallback<v.OptionalSchema<v.StringSchema<undefined>, undefined>, undefined>;
+    readonly at: v.SchemaWithFallback<v.NumberSchema<undefined>, 0>;
+}, undefined>;
+export type ReproductionReport = v.InferOutput<typeof reproductionReportSchema>;
+/** Parse an untrusted reproduction report (a harness payload), or `null` when unusable. */
+export declare function parseReproductionReport(input: unknown): ReproductionReport | null;
+//# sourceMappingURL=reproduction.d.ts.map

package/dist/reproduction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reproduction.d.ts","sourceRoot":"","sources":["../src/reproduction.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,SAAS,CAAA;AAyB5B,4FAA4F;AAC5F,eAAO,MAAM,2BAA2B,wDAAwC,CAAA;AAChF,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAErF;;;;;GAKG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,OAAO,GAAG,qBAAqB,CAEhF;AAED;;;;GAIG;AACH,eAAO,MAAM,iCAAiC,IAAI,CAAA;AAElD;;;;;;;GAOG;AACH,eAAO,MAAM,2BAA2B,KAAK,CAAA;AAE7C;;;;;;GAMG;AACH,eAAO,MAAM,8BAA8B,OAAQ,CAAA;AAEnD,iGAAiG;AACjG,eAAO,MAAM,gCAAgC,MAAM,CAAA;AAEnD;;;;;GAKG;AACH,eAAO,MAAM,0BAA0B;IACrC;;;;OAIG;;IAEH;;;;;;OAMG;;IAEH;;;;;OAKG;;IAEH;;;OAGG;;IAEH,0EAA0E;;aAE1E,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAInF;;;;;;;;;GASG;AACH,eAAO,MAAM,wBAAwB,oFAInC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAE/E,kDAAkD;AAClD,eAAO,MAAM,8BAA8B;IACzC,yFAAyF;;;IAGzF,6EAA6E;;IAE7E,qCAAqC;;IAErC,mEAAmE;;IAEnE,+FAA+F;;aAE/F,CAAA;AACF,MAAM,MAAM,wBAAwB,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,8BAA8B,CAAC,CAAA;AAE3F;;;;GAIG;AACH,eAAO,MAAM,wBAAwB;;IAEnC,qFAAqF;;;IAGrF;;;;;OAKG;;IAEH,gEAAgE;;QA/BhE,yFAAyF;;;QAGzF,6EAA6E;;QAE7E,qCAAqC;;QAErC,mEAAmE;;QAEnE,+FAA+F;;;IAwB/F,+FAA+F;;QAjC/F,yFAAyF;;;QAGzF,6EAA6E;;QAE7E,qCAAqC;;QAErC,mEAAmE;;QAEnE,+FAA+F;;;IA0B/F,wEAAwE;;;IAGxE,+FAA+F;;IAE/F;;;OAGG;;IAEH,mGAAmG;;;aAGnG,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAE/E,2FAA2F;AAC3F,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,OAAO,GAAG,kBAAkB,GAAG,IAAI,CAGjF"}

package/dist/reproduction.js

@@ -0,0 +1,166 @@
+import * as v from 'valibot';
+// ---------------------------------------------------------------------------
+// Bugfix REPRODUCTION PROOF.
+//
+// A bugfix run's pull request states that a change fixes a defect. Everything the
+// verification report captures today proves the state of the work at the END — the CI
+// verdict, the pre-PR validation output, the tester report. None of it shows that the
+// defect ever manifested, or that this change is what made it stop.
+//
+// This is the missing half: the executor-harness runs the run's DECLARED reproduction
+// command twice — once against the pre-fix tree, once against the final tree — and reports
+// the two exit codes with their captured output. Only red-then-green is proof. The verdict
+// is computed by the harness from exit codes, never self-reported by the model, which is the
+// whole point (the `repro-test` kind's `outcome` field has always been the model's own claim).
+//
+// A run for which reproduction is genuinely infeasible declares that STRUCTURALLY, with a
+// reason and the alternative verification performed, so "could not be reproduced" is never
+// indistinguishable from "nobody tried".
+//
+// The spec travels to the container IN THE JOB BODY (containers have no DB access), so all
+// three transports work with no transport-specific wiring. See
+// docs/initiatives/bugfix-reproduction-proof.md.
+// ---------------------------------------------------------------------------
+/** The per-task tri-state that opts a run into the proof phase (an `agentConfig` value). */
+export const reproductionProofModeSchema = v.picklist(['auto', 'always', 'off']);
+/**
+ * Read the tri-state out of a free-form `agentConfig` value, degrading any unknown/stale/
+ * hand-edited entry to the default `auto` rather than throwing. THE single place the union is
+ * interpreted — an engine that hand-rolled its own literal comparison would silently drift from
+ * the schema the moment a fourth mode is added.
+ */
+export function parseReproductionProofMode(value) {
+    return v.parse(v.fallback(reproductionProofModeSchema, 'auto'), value);
+}
+/**
+ * How many agent+verify rounds the proof loop may run before it gives up and records
+ * `inconclusive`. Shares the pre-PR validation budget's shape and default so an operator meets
+ * one concept, not two.
+ */
+export const REPRODUCTION_DEFAULT_MAX_ATTEMPTS = 3;
+/**
+ * At most this many declared test paths — the loop applies them one by one, so the list stays
+ * short. Anything beyond the cap is DROPPED, and the count of what was dropped rides
+ * {@link resolvedReproductionSchema}'s `omittedTestPaths` so the harness (and the PR report) can
+ * say the pre-fix tree was reconstructed from an incomplete set. A silent truncation here would
+ * be worse than a visible one: a dropped path can leave the base tree without the reproduction,
+ * which greens it and reads as "the test does not capture the defect".
+ */
+export const REPRODUCTION_MAX_TEST_PATHS = 20;
+/**
+ * Longest accepted declared command / setup command. These are MODEL-AUTHORED strings that the
+ * harness runs through `sh -c`, so they are bounded at the engine's resolution boundary before
+ * they ever reach a job body: a "command" past this length is not the narrow test invocation the
+ * prompt asks for, and the engine declines the whole spec rather than shipping it (no proof is
+ * strictly better than a proof built on a command nobody can read).
+ */
+export const REPRODUCTION_MAX_COMMAND_CHARS = 2_000;
+/** Longest accepted declared test path. Beyond it the path is dropped and counted as omitted. */
+export const REPRODUCTION_MAX_TEST_PATH_CHARS = 400;
+/**
+ * The RESOLVED reproduction spec a dispatch carries: what to run and which files constitute the
+ * reproduction. Folded onto the agent run context and forwarded on the coding job body ONLY for
+ * the dispatch that opens the PR (the same rule as `validationChecks`). Absent ⇒ the run is not
+ * opted in, or carries no declaration, so the harness runs its existing path unchanged.
+ */
+export const resolvedReproductionSchema = v.object({
+    /**
+     * The command that runs EXACTLY the declared reproduction test(s), as `sh -c` in the checkout.
+     * Run identically against both trees — the symmetry is what stops an environment defect from
+     * masquerading as a reproduction (see the initiative's D4).
+     */
+    command: v.string(),
+    /**
+     * The test file(s) that constitute the reproduction, each a repo-relative path with no `..`
+     * segment (the engine drops anything else — see `omittedTestPaths`). Used to reconstruct the
+     * pre-fix tree when the run did NOT resume a branch that already carries them: the declared
+     * paths are applied onto the base worktree, never a whole-tree checkout (which would drag the
+     * fix across and green the base).
+     */
+    testPaths: v.array(v.string()),
+    /**
+     * How many declared paths the engine DROPPED while resolving this spec (over the cap, empty,
+     * absolute, traversing, or over-long). Present only when non-zero, and carried so the proof
+     * can state that the pre-fix tree was rebuilt from an incomplete reproduction rather than
+     * quietly reporting a verdict about it. See {@link REPRODUCTION_MAX_TEST_PATHS}.
+     */
+    omittedTestPaths: v.optional(v.number()),
+    /**
+     * Optional command that makes a FRESH worktree runnable (a dependency install). Run in BOTH
+     * worktrees or neither — an asymmetric setup is exactly how a false `reproduced` is produced.
+     */
+    setupCommand: v.optional(v.string()),
+    /** Repair-round budget; see {@link REPRODUCTION_DEFAULT_MAX_ATTEMPTS}. */
+    maxAttempts: v.number(),
+});
+// ---- The harness-produced report ------------------------------------------
+/**
+ * The verdict, computed by the harness from the two exit codes:
+ *
+ * - `reproduced` — RED on the pre-fix tree, GREEN on the final tree. The only shape that is proof.
+ * - `inconclusive` — any other shape (green at base ⇒ the test does not capture the defect;
+ *   red at both ⇒ the fix does not resolve it, or the environment is broken). Recorded honestly
+ *   rather than dressed up; it never fails the step (see the initiative's D6).
+ * - `declared_infeasible` — the agent structurally declared reproduction impossible, with a
+ *   reason and what it verified instead. Nothing was run.
+ */
+export const reproductionStatusSchema = v.picklist([
+    'reproduced',
+    'inconclusive',
+    'declared_infeasible',
+]);
+/** One tree's run of the reproduction command. */
+export const reproductionPhaseOutcomeSchema = v.object({
+    /** Exit code (0 = pass); 124 on watchdog timeout, 127 on spawn failure, 130 on abort. */
+    exitCode: v.fallback(v.number(), 1),
+    passed: v.fallback(v.boolean(), false),
+    /** Bounded, secret-scrubbed tail of the command's combined stdout+stderr. */
+    outputTail: v.fallback(v.optional(v.string()), undefined),
+    /** Wall-clock of the command, ms. */
+    durationMs: v.fallback(v.optional(v.number()), undefined),
+    /** Set when the command was killed by the per-command watchdog. */
+    timedOut: v.fallback(v.optional(v.boolean()), undefined),
+    /** Set when the phase's setup command failed, so the tree never ran the check meaningfully. */
+    setupFailed: v.fallback(v.optional(v.boolean()), undefined),
+});
+/**
+ * The harness-computed reproduction report. Lenient throughout (`v.fallback`) so a
+ * partially-malformed payload from an older harness image degrades to a sensible shape rather
+ * than failing a run whose actual deliverable — the fix — is fine.
+ */
+export const reproductionReportSchema = v.object({
+    status: v.fallback(reproductionStatusSchema, 'inconclusive'),
+    /** The command that was run against both trees (empty for `declared_infeasible`). */
+    command: v.fallback(v.string(), ''),
+    testPaths: v.fallback(v.array(v.fallback(v.string(), '')), []),
+    /**
+     * How many declared paths were dropped before the proof ran (see the resolved spec's field of
+     * the same name). Non-zero means the pre-fix tree was rebuilt from an INCOMPLETE reproduction,
+     * which the report must say rather than imply — an omission is exactly what turns a green base
+     * into a misleading "the test does not capture the defect".
+     */
+    omittedTestPaths: v.fallback(v.optional(v.number()), undefined),
+    /** The pre-fix tree's run. Absent for `declared_infeasible`. */
+    base: v.fallback(v.optional(reproductionPhaseOutcomeSchema), undefined),
+    /** The final tree's run. Absent for `declared_infeasible`, or when the base run settled it. */
+    final: v.fallback(v.optional(reproductionPhaseOutcomeSchema), undefined),
+    /** How many agent+verify rounds ran (1 = settled on the first pass). */
+    attempts: v.fallback(v.number(), 1),
+    maxAttempts: v.fallback(v.number(), REPRODUCTION_DEFAULT_MAX_ATTEMPTS),
+    /** For `declared_infeasible`: WHY the bug could not be reproduced, verbatim from the agent. */
+    reason: v.fallback(v.optional(v.string()), undefined),
+    /**
+     * For `declared_infeasible`: what the agent verified INSTEAD, verbatim. This is the field that
+     * makes an infeasibility declaration reviewable rather than an empty section.
+     */
+    alternativeVerification: v.fallback(v.optional(v.string()), undefined),
+    /** For `inconclusive`: which shape was observed, in one line, for the report and the step card. */
+    note: v.fallback(v.optional(v.string()), undefined),
+    at: v.fallback(v.number(), 0),
+});
+/** Parse an untrusted reproduction report (a harness payload), or `null` when unusable. */
+export function parseReproductionReport(input) {
+    const parsed = v.safeParse(reproductionReportSchema, input);
+    return parsed.success ? parsed.output : null;
+}
+//# sourceMappingURL=reproduction.js.map

package/dist/reproduction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reproduction.js","sourceRoot":"","sources":["../src/reproduction.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,SAAS,CAAA;AAE5B,8EAA8E;AAC9E,6BAA6B;AAC7B,EAAE;AACF,kFAAkF;AAClF,sFAAsF;AACtF,sFAAsF;AACtF,oEAAoE;AACpE,EAAE;AACF,sFAAsF;AACtF,2FAA2F;AAC3F,2FAA2F;AAC3F,6FAA6F;AAC7F,+FAA+F;AAC/F,EAAE;AACF,0FAA0F;AAC1F,2FAA2F;AAC3F,yCAAyC;AACzC,EAAE;AACF,2FAA2F;AAC3F,+DAA+D;AAC/D,iDAAiD;AACjD,8EAA8E;AAE9E,4FAA4F;AAC5F,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAA;AAGhF;;;;;GAKG;AACH,MAAM,UAAU,0BAA0B,CAAC,KAAc;IACvD,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,2BAA2B,EAAE,MAAM,CAAC,EAAE,KAAK,CAAC,CAAA;AACxE,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAAC,CAAA;AAElD;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,EAAE,CAAA;AAE7C;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,KAAK,CAAA;AAEnD,iGAAiG;AACjG,MAAM,CAAC,MAAM,gCAAgC,GAAG,GAAG,CAAA;AAEnD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC;IACjD;;;;OAIG;IACH,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB;;;;;;OAMG;IACH,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC9B;;;;;OAKG;IACH,gBAAgB,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACxC;;;OAGG;IACH,YAAY,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACpC,0EAA0E;IAC1E,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;CACxB,CAAC,CAAA;AAGF,8EAA8E;AAE9E;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,QAAQ,CAAC;IACjD,YAAY;IACZ,cAAc;IACd,qBAAqB;CACtB,CAAC,CAAA;AAGF,kDAAkD;AAClD,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC,CAAC,MAAM,CAAC;IACrD,yFAAyF;IACzF,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACnC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,KAAK,CAAC;IACtC,6EAA6E;IAC7E,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,SAAS,CAAC;IACzD,qCAAqC;IACrC,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,SAAS,CAAC;IACzD,mEAAmE;IACnE,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,SAAS,CAAC;IACxD,+FAA+F;IAC/F,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,SAAS,CAAC;CAC5D,CAAC,CAAA;AAGF;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/C,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,wBAAwB,EAAE,cAAc,CAAC;IAC5D,qFAAqF;IACrF,OAAO,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC;IACnC,SAAS,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;IAC9D;;;;;OAKG;IACH,gBAAgB,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,SAAS,CAAC;IAC/D,gEAAgE;IAChE,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,8BAA8B,CAAC,EAAE,SAAS,CAAC;IACvE,+FAA+F;IAC/F,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,8BAA8B,CAAC,EAAE,SAAS,CAAC;IACxE,wEAAwE;IACxE,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACnC,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,iCAAiC,CAAC;IACtE,+FAA+F;IAC/F,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,SAAS,CAAC;IACrD;;;OAGG;IACH,uBAAuB,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,SAAS,CAAC;IACtE,mGAAmG;IACnG,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,SAAS,CAAC;IACnD,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;CAC9B,CAAC,CAAA;AAGF,2FAA2F;AAC3F,MAAM,UAAU,uBAAuB,CAAC,KAAc;IACpD,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,CAAC,wBAAwB,EAAE,KAAK,CAAC,CAAA;IAC3D,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAA;AAC9C,CAAC"}

package/dist/routes/agent-runs.d.ts

@@ -465,6 +465,34 @@ export declare const retryAgentRunContract: {
                         }, undefined>, undefined>, readonly []>;
                         readonly at: v.SchemaWithFallback<v.OptionalSchema<v.NumberSchema<undefined>, undefined>, undefined>;
                     }, undefined>, undefined>, undefined>;
+                    readonly reproduction: v.OptionalSchema<v.NullableSchema<v.ObjectSchema<{
+                        readonly status: v.SchemaWithFallback<v.PicklistSchema<["reproduced", "inconclusive", "declared_infeasible"], undefined>, "inconclusive">;
+                        readonly command: v.SchemaWithFallback<v.StringSchema<undefined>, "">;
+                        readonly testPaths: v.SchemaWithFallback<v.ArraySchema<v.SchemaWithFallback<v.StringSchema<undefined>, "">, undefined>, readonly []>;
+                        readonly omittedTestPaths: v.SchemaWithFallback<v.OptionalSchema<v.NumberSchema<undefined>, undefined>, undefined>;
+                        readonly base: v.SchemaWithFallback<v.OptionalSchema<v.ObjectSchema<{
+                            readonly exitCode: v.SchemaWithFallback<v.NumberSchema<undefined>, 1>;
+                            readonly passed: v.SchemaWithFallback<v.BooleanSchema<undefined>, false>;
+                            readonly outputTail: v.SchemaWithFallback<v.OptionalSchema<v.StringSchema<undefined>, undefined>, undefined>;
+                            readonly durationMs: v.SchemaWithFallback<v.OptionalSchema<v.NumberSchema<undefined>, undefined>, undefined>;
+                            readonly timedOut: v.SchemaWithFallback<v.OptionalSchema<v.BooleanSchema<undefined>, undefined>, undefined>;
+                            readonly setupFailed: v.SchemaWithFallback<v.OptionalSchema<v.BooleanSchema<undefined>, undefined>, undefined>;
+                        }, undefined>, undefined>, undefined>;
+                        readonly final: v.SchemaWithFallback<v.OptionalSchema<v.ObjectSchema<{
+                            readonly exitCode: v.SchemaWithFallback<v.NumberSchema<undefined>, 1>;
+                            readonly passed: v.SchemaWithFallback<v.BooleanSchema<undefined>, false>;
+                            readonly outputTail: v.SchemaWithFallback<v.OptionalSchema<v.StringSchema<undefined>, undefined>, undefined>;
+                            readonly durationMs: v.SchemaWithFallback<v.OptionalSchema<v.NumberSchema<undefined>, undefined>, undefined>;
+                            readonly timedOut: v.SchemaWithFallback<v.OptionalSchema<v.BooleanSchema<undefined>, undefined>, undefined>;
+                            readonly setupFailed: v.SchemaWithFallback<v.OptionalSchema<v.BooleanSchema<undefined>, undefined>, undefined>;
+                        }, undefined>, undefined>, undefined>;
+                        readonly attempts: v.SchemaWithFallback<v.NumberSchema<undefined>, 1>;
+                        readonly maxAttempts: v.SchemaWithFallback<v.NumberSchema<undefined>, 3>;
+                        readonly reason: v.SchemaWithFallback<v.OptionalSchema<v.StringSchema<undefined>, undefined>, undefined>;
+                        readonly alternativeVerification: v.SchemaWithFallback<v.OptionalSchema<v.StringSchema<undefined>, undefined>, undefined>;
+                        readonly note: v.SchemaWithFallback<v.OptionalSchema<v.StringSchema<undefined>, undefined>, undefined>;
+                        readonly at: v.SchemaWithFallback<v.NumberSchema<undefined>, 0>;
+                    }, undefined>, undefined>, undefined>;
                     readonly pendingForkChat: v.OptionalSchema<v.NullableSchema<v.ObjectSchema<{
                         readonly messageId: v.StringSchema<undefined>;
                     }, undefined>, undefined>, undefined>;
@@ -1401,6 +1429,34 @@ export declare const stopAgentRunContract: {
                         }, undefined>, undefined>, readonly []>;
                         readonly at: v.SchemaWithFallback<v.OptionalSchema<v.NumberSchema<undefined>, undefined>, undefined>;
                     }, undefined>, undefined>, undefined>;
+                    readonly reproduction: v.OptionalSchema<v.NullableSchema<v.ObjectSchema<{
+                        readonly status: v.SchemaWithFallback<v.PicklistSchema<["reproduced", "inconclusive", "declared_infeasible"], undefined>, "inconclusive">;
+                        readonly command: v.SchemaWithFallback<v.StringSchema<undefined>, "">;
+                        readonly testPaths: v.SchemaWithFallback<v.ArraySchema<v.SchemaWithFallback<v.StringSchema<undefined>, "">, undefined>, readonly []>;
+                        readonly omittedTestPaths: v.SchemaWithFallback<v.OptionalSchema<v.NumberSchema<undefined>, undefined>, undefined>;
+                        readonly base: v.SchemaWithFallback<v.OptionalSchema<v.ObjectSchema<{
+                            readonly exitCode: v.SchemaWithFallback<v.NumberSchema<undefined>, 1>;
+                            readonly passed: v.SchemaWithFallback<v.BooleanSchema<undefined>, false>;
+                            readonly outputTail: v.SchemaWithFallback<v.OptionalSchema<v.StringSchema<undefined>, undefined>, undefined>;
+                            readonly durationMs: v.SchemaWithFallback<v.OptionalSchema<v.NumberSchema<undefined>, undefined>, undefined>;
+                            readonly timedOut: v.SchemaWithFallback<v.OptionalSchema<v.BooleanSchema<undefined>, undefined>, undefined>;
+                            readonly setupFailed: v.SchemaWithFallback<v.OptionalSchema<v.BooleanSchema<undefined>, undefined>, undefined>;
+                        }, undefined>, undefined>, undefined>;
+                        readonly final: v.SchemaWithFallback<v.OptionalSchema<v.ObjectSchema<{
+                            readonly exitCode: v.SchemaWithFallback<v.NumberSchema<undefined>, 1>;
+                            readonly passed: v.SchemaWithFallback<v.BooleanSchema<undefined>, false>;
+                            readonly outputTail: v.SchemaWithFallback<v.OptionalSchema<v.StringSchema<undefined>, undefined>, undefined>;
+                            readonly durationMs: v.SchemaWithFallback<v.OptionalSchema<v.NumberSchema<undefined>, undefined>, undefined>;
+                            readonly timedOut: v.SchemaWithFallback<v.OptionalSchema<v.BooleanSchema<undefined>, undefined>, undefined>;
+                            readonly setupFailed: v.SchemaWithFallback<v.OptionalSchema<v.BooleanSchema<undefined>, undefined>, undefined>;
+                        }, undefined>, undefined>, undefined>;
+                        readonly attempts: v.SchemaWithFallback<v.NumberSchema<undefined>, 1>;
+                        readonly maxAttempts: v.SchemaWithFallback<v.NumberSchema<undefined>, 3>;
+                        readonly reason: v.SchemaWithFallback<v.OptionalSchema<v.StringSchema<undefined>, undefined>, undefined>;
+                        readonly alternativeVerification: v.SchemaWithFallback<v.OptionalSchema<v.StringSchema<undefined>, undefined>, undefined>;
+                        readonly note: v.SchemaWithFallback<v.OptionalSchema<v.StringSchema<undefined>, undefined>, undefined>;
+                        readonly at: v.SchemaWithFallback<v.NumberSchema<undefined>, 0>;
+                    }, undefined>, undefined>, undefined>;
                     readonly pendingForkChat: v.OptionalSchema<v.NullableSchema<v.ObjectSchema<{
                         readonly messageId: v.StringSchema<undefined>;
                     }, undefined>, undefined>, undefined>;

package/dist/routes/agent-runs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"agent-runs.d.ts","sourceRoot":"","sources":["../../src/routes/agent-runs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAqB,MAAM,yBAAyB,CAAA;AAC3E,OAAO,KAAK,CAAC,MAAM,SAAS,CAAA;AAsB5B,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAMhC,CAAA;AAEF,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAM/B,CAAA"}
+{"version":3,"file":"agent-runs.d.ts","sourceRoot":"","sources":["../../src/routes/agent-runs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAqB,MAAM,yBAAyB,CAAA;AAC3E,OAAO,KAAK,CAAC,MAAM,SAAS,CAAA;AAsB5B,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAMhC,CAAA;AAEF,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAM/B,CAAA"}