@claudexor/schema 3.0.3 → 3.1.0

package/dist/decision.d.ts

@@ -40,7 +40,7 @@ export type ReviewState = z.infer<typeof ReviewState>;
 /** Typed reason on non-clean terminals (replaces the old reason-as-status
  * values exhausted/not_converged/stuck_no_progress/...). Null on a clean
  * success. */
-export declare const RunReason: z.ZodEnum<["harness_failed", "no_changes", "review_blocked", "checks_failed", "budget_exhausted", "budget_overshoot", "cost_unverifiable", "not_converged", "stuck_no_progress", "wall_clock_exceeded", "user_cancelled", "crash_interrupted"]>;
+export declare const RunReason: z.ZodEnum<["harness_failed", "no_changes", "review_blocked", "checks_failed", "budget_exhausted", "budget_overshoot", "cost_unverifiable", "not_converged", "stuck_no_progress", "wall_clock_exceeded", "user_cancelled", "crash_interrupted", "input_required", "work_incomplete", "context_capacity_exhausted", "work_report_contract"]>;
 export type RunReason = z.infer<typeof RunReason>;
 /** The v3 terminal truth (D8): independent axes instead of one mixed enum.
  * lifecycle says how far the PROCESS got; noChanges/checks/review say what
@@ -51,19 +51,77 @@ export declare const RunOutcomeFacts: z.ZodObject<{
     noChanges: z.ZodDefault<z.ZodBoolean>;
     checks: z.ZodDefault<z.ZodEnum<["passed", "failed", "not_configured"]>>;
     review: z.ZodDefault<z.ZodEnum<["approved", "blocked", "not_run"]>>;
-    reason: z.ZodDefault<z.ZodNullable<z.ZodEnum<["harness_failed", "no_changes", "review_blocked", "checks_failed", "budget_exhausted", "budget_overshoot", "cost_unverifiable", "not_converged", "stuck_no_progress", "wall_clock_exceeded", "user_cancelled", "crash_interrupted"]>>>;
+    reason: z.ZodDefault<z.ZodNullable<z.ZodEnum<["harness_failed", "no_changes", "review_blocked", "checks_failed", "budget_exhausted", "budget_overshoot", "cost_unverifiable", "not_converged", "stuck_no_progress", "wall_clock_exceeded", "user_cancelled", "crash_interrupted", "input_required", "work_incomplete", "context_capacity_exhausted", "work_report_contract"]>>>;
+    /**
+     * D-16 work_state axis (INV-116): the model-attested work outcome,
+     * orthogonal to `lifecycle`. Absent on runs with no work_report transport
+     * (legacy/pre-D16 terminals). A `needs_input`/`incomplete` state makes an
+     * otherwise-succeeded run non-applyable and forces a non-zero CLI exit via
+     * the outcome-aware exit projection, WITHOUT flipping the lifecycle.
+     */
+    work_state: z.ZodOptional<z.ZodObject<{
+        state: z.ZodEnum<["completed", "needs_input", "incomplete", "unverified"]>;
+        source: z.ZodEnum<["constrained", "validated", "absent"]>;
+        required_inputs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            kind: z.ZodEnum<["file", "context", "credential", "permission", "decision", "external_dependency"]>;
+            locator: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+            description: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+            description: string;
+            locator: string | null;
+        }, {
+            kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+            description: string;
+            locator?: string | null | undefined;
+        }>, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        source: "constrained" | "validated" | "absent";
+        state: "completed" | "needs_input" | "incomplete" | "unverified";
+        required_inputs?: {
+            kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+            description: string;
+            locator: string | null;
+        }[] | undefined;
+    }, {
+        source: "constrained" | "validated" | "absent";
+        state: "completed" | "needs_input" | "incomplete" | "unverified";
+        required_inputs?: {
+            kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+            description: string;
+            locator?: string | null | undefined;
+        }[] | undefined;
+    }>>;
 }, "strict", z.ZodTypeAny, {
     review: "not_run" | "approved" | "blocked";
-    reason: "harness_failed" | "no_changes" | "review_blocked" | "checks_failed" | "budget_exhausted" | "budget_overshoot" | "cost_unverifiable" | "not_converged" | "stuck_no_progress" | "wall_clock_exceeded" | "user_cancelled" | "crash_interrupted" | null;
+    reason: "harness_failed" | "no_changes" | "review_blocked" | "checks_failed" | "budget_exhausted" | "budget_overshoot" | "cost_unverifiable" | "not_converged" | "stuck_no_progress" | "wall_clock_exceeded" | "user_cancelled" | "crash_interrupted" | "input_required" | "work_incomplete" | "context_capacity_exhausted" | "work_report_contract" | null;
     checks: "passed" | "failed" | "not_configured";
     lifecycle: "failed" | "cancelled" | "succeeded" | "interrupted";
     noChanges: boolean;
+    work_state?: {
+        source: "constrained" | "validated" | "absent";
+        state: "completed" | "needs_input" | "incomplete" | "unverified";
+        required_inputs?: {
+            kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+            description: string;
+            locator: string | null;
+        }[] | undefined;
+    } | undefined;
 }, {
     lifecycle: "failed" | "cancelled" | "succeeded" | "interrupted";
     review?: "not_run" | "approved" | "blocked" | undefined;
-    reason?: "harness_failed" | "no_changes" | "review_blocked" | "checks_failed" | "budget_exhausted" | "budget_overshoot" | "cost_unverifiable" | "not_converged" | "stuck_no_progress" | "wall_clock_exceeded" | "user_cancelled" | "crash_interrupted" | null | undefined;
+    reason?: "harness_failed" | "no_changes" | "review_blocked" | "checks_failed" | "budget_exhausted" | "budget_overshoot" | "cost_unverifiable" | "not_converged" | "stuck_no_progress" | "wall_clock_exceeded" | "user_cancelled" | "crash_interrupted" | "input_required" | "work_incomplete" | "context_capacity_exhausted" | "work_report_contract" | null | undefined;
     checks?: "passed" | "failed" | "not_configured" | undefined;
     noChanges?: boolean | undefined;
+    work_state?: {
+        source: "constrained" | "validated" | "absent";
+        state: "completed" | "needs_input" | "incomplete" | "unverified";
+        required_inputs?: {
+            kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+            description: string;
+            locator?: string | null | undefined;
+        }[] | undefined;
+    } | undefined;
 }>;
 export type RunOutcomeFacts = z.infer<typeof RunOutcomeFacts>;
 export declare const ApplyRecommendation: z.ZodEnum<["apply", "inspect", "continue", "human_review"]>;
@@ -130,34 +188,126 @@ export declare const DecisionRecord: z.ZodObject<{
         noChanges: z.ZodDefault<z.ZodBoolean>;
         checks: z.ZodDefault<z.ZodEnum<["passed", "failed", "not_configured"]>>;
         review: z.ZodDefault<z.ZodEnum<["approved", "blocked", "not_run"]>>;
-        reason: z.ZodDefault<z.ZodNullable<z.ZodEnum<["harness_failed", "no_changes", "review_blocked", "checks_failed", "budget_exhausted", "budget_overshoot", "cost_unverifiable", "not_converged", "stuck_no_progress", "wall_clock_exceeded", "user_cancelled", "crash_interrupted"]>>>;
+        reason: z.ZodDefault<z.ZodNullable<z.ZodEnum<["harness_failed", "no_changes", "review_blocked", "checks_failed", "budget_exhausted", "budget_overshoot", "cost_unverifiable", "not_converged", "stuck_no_progress", "wall_clock_exceeded", "user_cancelled", "crash_interrupted", "input_required", "work_incomplete", "context_capacity_exhausted", "work_report_contract"]>>>;
+        /**
+         * D-16 work_state axis (INV-116): the model-attested work outcome,
+         * orthogonal to `lifecycle`. Absent on runs with no work_report transport
+         * (legacy/pre-D16 terminals). A `needs_input`/`incomplete` state makes an
+         * otherwise-succeeded run non-applyable and forces a non-zero CLI exit via
+         * the outcome-aware exit projection, WITHOUT flipping the lifecycle.
+         */
+        work_state: z.ZodOptional<z.ZodObject<{
+            state: z.ZodEnum<["completed", "needs_input", "incomplete", "unverified"]>;
+            source: z.ZodEnum<["constrained", "validated", "absent"]>;
+            required_inputs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                kind: z.ZodEnum<["file", "context", "credential", "permission", "decision", "external_dependency"]>;
+                locator: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+                description: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+                description: string;
+                locator: string | null;
+            }, {
+                kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+                description: string;
+                locator?: string | null | undefined;
+            }>, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            source: "constrained" | "validated" | "absent";
+            state: "completed" | "needs_input" | "incomplete" | "unverified";
+            required_inputs?: {
+                kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+                description: string;
+                locator: string | null;
+            }[] | undefined;
+        }, {
+            source: "constrained" | "validated" | "absent";
+            state: "completed" | "needs_input" | "incomplete" | "unverified";
+            required_inputs?: {
+                kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+                description: string;
+                locator?: string | null | undefined;
+            }[] | undefined;
+        }>>;
     }, "strict", z.ZodTypeAny, {
         review: "not_run" | "approved" | "blocked";
-        reason: "harness_failed" | "no_changes" | "review_blocked" | "checks_failed" | "budget_exhausted" | "budget_overshoot" | "cost_unverifiable" | "not_converged" | "stuck_no_progress" | "wall_clock_exceeded" | "user_cancelled" | "crash_interrupted" | null;
+        reason: "harness_failed" | "no_changes" | "review_blocked" | "checks_failed" | "budget_exhausted" | "budget_overshoot" | "cost_unverifiable" | "not_converged" | "stuck_no_progress" | "wall_clock_exceeded" | "user_cancelled" | "crash_interrupted" | "input_required" | "work_incomplete" | "context_capacity_exhausted" | "work_report_contract" | null;
         checks: "passed" | "failed" | "not_configured";
         lifecycle: "failed" | "cancelled" | "succeeded" | "interrupted";
         noChanges: boolean;
+        work_state?: {
+            source: "constrained" | "validated" | "absent";
+            state: "completed" | "needs_input" | "incomplete" | "unverified";
+            required_inputs?: {
+                kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+                description: string;
+                locator: string | null;
+            }[] | undefined;
+        } | undefined;
     }, {
         lifecycle: "failed" | "cancelled" | "succeeded" | "interrupted";
         review?: "not_run" | "approved" | "blocked" | undefined;
-        reason?: "harness_failed" | "no_changes" | "review_blocked" | "checks_failed" | "budget_exhausted" | "budget_overshoot" | "cost_unverifiable" | "not_converged" | "stuck_no_progress" | "wall_clock_exceeded" | "user_cancelled" | "crash_interrupted" | null | undefined;
+        reason?: "harness_failed" | "no_changes" | "review_blocked" | "checks_failed" | "budget_exhausted" | "budget_overshoot" | "cost_unverifiable" | "not_converged" | "stuck_no_progress" | "wall_clock_exceeded" | "user_cancelled" | "crash_interrupted" | "input_required" | "work_incomplete" | "context_capacity_exhausted" | "work_report_contract" | null | undefined;
         checks?: "passed" | "failed" | "not_configured" | undefined;
         noChanges?: boolean | undefined;
+        work_state?: {
+            source: "constrained" | "validated" | "absent";
+            state: "completed" | "needs_input" | "incomplete" | "unverified";
+            required_inputs?: {
+                kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+                description: string;
+                locator?: string | null | undefined;
+            }[] | undefined;
+        } | undefined;
     }>;
     why_winner: z.ZodDefault<z.ZodString>;
     why_not_others: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+    ranking_policy_version: z.ZodDefault<z.ZodNumber>;
+    score_axes: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    ranking_scorecard: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        attempt_id: z.ZodString;
+        label: z.ZodString;
+        axes: z.ZodRecord<z.ZodString, z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        label: string;
+        attempt_id: string;
+        axes: Record<string, string>;
+    }, {
+        label: string;
+        attempt_id: string;
+        axes: Record<string, string>;
+    }>, "many">>;
+    decisive_axis: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+        key: z.ZodString;
+        winner_value: z.ZodString;
+        runner_up_value: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        key: string;
+        winner_value: string;
+        runner_up_value: string;
+    }, {
+        key: string;
+        winner_value: string;
+        runner_up_value: string;
+    }>>>;
     accepted_risks: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
     final_checks: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
     evidence_facts: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
     budget_summary: z.ZodDefault<z.ZodObject<{
         spend_usd: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
         estimated: z.ZodDefault<z.ZodBoolean>;
+        cash_usd: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+        valuation_usd: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
     }, "strip", z.ZodTypeAny, {
         estimated: boolean;
         spend_usd: number | null;
+        cash_usd: number | null;
+        valuation_usd: number | null;
     }, {
         estimated?: boolean | undefined;
         spend_usd?: number | null | undefined;
+        cash_usd?: number | null | undefined;
+        valuation_usd?: number | null | undefined;
     }>>;
     apply_recommendation: z.ZodDefault<z.ZodEnum<["apply", "inspect", "continue", "human_review"]>>;
     verification_basis: z.ZodDefault<z.ZodEnum<["none", "cross_family_review", "both"]>>;
@@ -207,19 +357,42 @@ export declare const DecisionRecord: z.ZodObject<{
     winner: string | null;
     facts: {
         review: "not_run" | "approved" | "blocked";
-        reason: "harness_failed" | "no_changes" | "review_blocked" | "checks_failed" | "budget_exhausted" | "budget_overshoot" | "cost_unverifiable" | "not_converged" | "stuck_no_progress" | "wall_clock_exceeded" | "user_cancelled" | "crash_interrupted" | null;
+        reason: "harness_failed" | "no_changes" | "review_blocked" | "checks_failed" | "budget_exhausted" | "budget_overshoot" | "cost_unverifiable" | "not_converged" | "stuck_no_progress" | "wall_clock_exceeded" | "user_cancelled" | "crash_interrupted" | "input_required" | "work_incomplete" | "context_capacity_exhausted" | "work_report_contract" | null;
         checks: "passed" | "failed" | "not_configured";
         lifecycle: "failed" | "cancelled" | "succeeded" | "interrupted";
         noChanges: boolean;
+        work_state?: {
+            source: "constrained" | "validated" | "absent";
+            state: "completed" | "needs_input" | "incomplete" | "unverified";
+            required_inputs?: {
+                kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+                description: string;
+                locator: string | null;
+            }[] | undefined;
+        } | undefined;
     };
     why_winner: string;
     why_not_others: Record<string, string>;
+    ranking_policy_version: number;
+    score_axes: string[];
+    ranking_scorecard: {
+        label: string;
+        attempt_id: string;
+        axes: Record<string, string>;
+    }[];
+    decisive_axis: {
+        key: string;
+        winner_value: string;
+        runner_up_value: string;
+    } | null;
     accepted_risks: string[];
     final_checks: string[];
     evidence_facts: string[];
     budget_summary: {
         estimated: boolean;
         spend_usd: number | null;
+        cash_usd: number | null;
+        valuation_usd: number | null;
     };
     apply_recommendation: "apply" | "inspect" | "continue" | "human_review";
     verification_basis: "none" | "cross_family_review" | "both";
@@ -240,18 +413,41 @@ export declare const DecisionRecord: z.ZodObject<{
     facts: {
         lifecycle: "failed" | "cancelled" | "succeeded" | "interrupted";
         review?: "not_run" | "approved" | "blocked" | undefined;
-        reason?: "harness_failed" | "no_changes" | "review_blocked" | "checks_failed" | "budget_exhausted" | "budget_overshoot" | "cost_unverifiable" | "not_converged" | "stuck_no_progress" | "wall_clock_exceeded" | "user_cancelled" | "crash_interrupted" | null | undefined;
+        reason?: "harness_failed" | "no_changes" | "review_blocked" | "checks_failed" | "budget_exhausted" | "budget_overshoot" | "cost_unverifiable" | "not_converged" | "stuck_no_progress" | "wall_clock_exceeded" | "user_cancelled" | "crash_interrupted" | "input_required" | "work_incomplete" | "context_capacity_exhausted" | "work_report_contract" | null | undefined;
         checks?: "passed" | "failed" | "not_configured" | undefined;
         noChanges?: boolean | undefined;
+        work_state?: {
+            source: "constrained" | "validated" | "absent";
+            state: "completed" | "needs_input" | "incomplete" | "unverified";
+            required_inputs?: {
+                kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+                description: string;
+                locator?: string | null | undefined;
+            }[] | undefined;
+        } | undefined;
     };
     why_winner?: string | undefined;
     why_not_others?: Record<string, string> | undefined;
+    ranking_policy_version?: number | undefined;
+    score_axes?: string[] | undefined;
+    ranking_scorecard?: {
+        label: string;
+        attempt_id: string;
+        axes: Record<string, string>;
+    }[] | undefined;
+    decisive_axis?: {
+        key: string;
+        winner_value: string;
+        runner_up_value: string;
+    } | null | undefined;
     accepted_risks?: string[] | undefined;
     final_checks?: string[] | undefined;
     evidence_facts?: string[] | undefined;
     budget_summary?: {
         estimated?: boolean | undefined;
         spend_usd?: number | null | undefined;
+        cash_usd?: number | null | undefined;
+        valuation_usd?: number | null | undefined;
     } | undefined;
     apply_recommendation?: "apply" | "inspect" | "continue" | "human_review" | undefined;
     verification_basis?: "none" | "cross_family_review" | "both" | undefined;

package/dist/decision.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"decision.d.ts","sourceRoot":"","sources":["../src/decision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;EAciD,CAAC;AACjF,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAEpE;;uEAEuE;AACvE,eAAO,MAAM,WAAW,mDAIrB,CAAC;AACJ,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,CAAC;AAEtD;wEACwE;AACxE,eAAO,MAAM,WAAW,+CAIrB,CAAC;AACJ,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,CAAC;AAEtD;;cAEc;AACd,eAAO,MAAM,SAAS,iPAe+D,CAAC;AACtF,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAC;AAElD;;;+EAG+E;AAC/E,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;EAgBuC,CAAC;AACpE,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAE9D,eAAO,MAAM,mBAAmB,6DAI7B,CAAC;AACJ,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAStE,eAAO,MAAM,iBAAiB,oDAI3B,CAAC;AACJ,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAElE;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB;;IAG1B,8EAA8E;;;;;;;;;;;;;;;IAgC9E,0FAA0F;;;;;;;;;;;;;;;;;;;;;;;;EAW3F,CAAC;AACJ,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAElE,eAAO,MAAM,cAAc;;IAGvB;;0DAEsD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAnDtD,8EAA8E;;;;;;;;;;;;;;;QAgC9E,0FAA0F;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAoE3F,CAAC;AACJ,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC"}
+{"version":3,"file":"decision.d.ts","sourceRoot":"","sources":["../src/decision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;EAciD,CAAC;AACjF,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAEpE;;uEAEuE;AACvE,eAAO,MAAM,WAAW,mDAIrB,CAAC;AACJ,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,CAAC;AAEtD;wEACwE;AACxE,eAAO,MAAM,WAAW,+CAIrB,CAAC;AACJ,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,CAAC;AAEtD;;cAEc;AACd,eAAO,MAAM,SAAS,4UAoB+D,CAAC;AACtF,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAC;AAElD;;;+EAG+E;AAC/E,eAAO,MAAM,eAAe;;;;;;IAcxB;;;;;;OAMG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAM4D,CAAC;AACpE,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAE9D,eAAO,MAAM,mBAAmB,6DAI7B,CAAC;AACJ,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAStE,eAAO,MAAM,iBAAiB,oDAI3B,CAAC;AACJ,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAElE;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB;;IAG1B,8EAA8E;;;;;;;;;;;;;;;IAgC9E,0FAA0F;;;;;;;;;;;;;;;;;;;;;;;;EAW3F,CAAC;AACJ,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAElE,eAAO,MAAM,cAAc;;IAGvB;;0DAEsD;;;;;;;QAjGtD;;;;;;WAMG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAwCH,8EAA8E;;;;;;;;;;;;;;;QAgC9E,0FAA0F;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAkI3F,CAAC;AACJ,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC"}

package/dist/decision.js

@@ -1,5 +1,6 @@
 import { z } from "zod";
 import { Id } from "./primitives.js";
+import { WorkState } from "./work-report.js";
 export const PairwiseComparison = z
     .object({
     candidate_a: Id.describe("First candidate in the comparison."),
@@ -40,6 +41,11 @@ export const RunReason = z
     "wall_clock_exceeded",
     "user_cancelled",
     "crash_interrupted",
+    // D-16 work_state / context reasons.
+    "input_required",
+    "work_incomplete",
+    "context_capacity_exhausted",
+    "work_report_contract",
 ])
     .describe("Typed reason qualifying a non-clean terminal; null on a clean success.");
 /** The v3 terminal truth (D8): independent axes instead of one mixed enum.
@@ -60,6 +66,14 @@ export const RunOutcomeFacts = z
     reason: RunReason.nullable()
         .default(null)
         .describe("Typed reason qualifying a non-clean terminal; null on a clean success."),
+    /**
+     * D-16 work_state axis (INV-116): the model-attested work outcome,
+     * orthogonal to `lifecycle`. Absent on runs with no work_report transport
+     * (legacy/pre-D16 terminals). A `needs_input`/`incomplete` state makes an
+     * otherwise-succeeded run non-applyable and forces a non-zero CLI exit via
+     * the outcome-aware exit projection, WITHOUT flipping the lifecycle.
+     */
+    work_state: WorkState.optional().describe("D-16 model-attested work outcome, orthogonal to lifecycle; a needs_input/incomplete state vetoes applyability and exit 0. Absent on runs with no work_report transport."),
 })
     .strict()
     .describe("Independent terminal outcome axes of a run (D8/D18).");
@@ -136,6 +150,44 @@ export const DecisionRecord = z
         .record(z.string(), z.string())
         .default({})
         .describe("Per-candidate reasons the others lost, keyed by candidate id."),
+    // QA-028 transparency: the full, versioned ranking scorecard so a decision is
+    // self-contained. `score_axes` names every compared ranking axis in
+    // precedence order; `ranking_scorecard` carries every axis value for every
+    // candidate; `decisive_axis` names the FIRST axis that separated the winner
+    // from the runner-up (null on an exact tie, where route order — disclosed in
+    // final_checks — decided). Producer: arbitration. A hidden non-tie axis can
+    // no longer read as an unexplained pick among equals.
+    ranking_policy_version: z
+        .number()
+        .int()
+        .positive()
+        .default(1)
+        .describe("Version of the ranking axis registry the scorecard was produced under."),
+    score_axes: z
+        .array(z.string())
+        .default([])
+        .describe("Every compared ranking axis key, in precedence (best-first) order."),
+    ranking_scorecard: z
+        .array(z.object({
+        attempt_id: Id.describe("Candidate attempt id (stable key; labels may localize)."),
+        label: z.string().describe("Anonymized candidate label shown to the arbiter."),
+        axes: z
+            .record(z.string(), z.string())
+            .describe("Formatted value for every ranking axis, keyed by axis key."),
+    }))
+        .default([])
+        .describe("Per-candidate full ranking scorecard, in final ranking order."),
+    decisive_axis: z
+        .object({
+        key: z.string().describe("The first ranking axis that separated winner from runner-up."),
+        winner_value: z.string().describe("The winner's formatted value on the decisive axis."),
+        runner_up_value: z
+            .string()
+            .describe("The runner-up's formatted value on the decisive axis."),
+    })
+        .nullable()
+        .default(null)
+        .describe("The axis that actually decided the winner vs the runner-up; null on an exact tie (route order decided, disclosed in final_checks)."),
     accepted_risks: z
         .array(z.string())
         .default([])
@@ -161,8 +213,24 @@ export const DecisionRecord = z
             .boolean()
             .default(false)
             .describe("True when any of the spend is token-derived rather than natively reported."),
+        // QA-010b: the settled CASH vs subscription-VALUATION split, so the
+        // terminal decision record is self-contained. `spend_usd` above is the
+        // cash figure (0 on native-subscription routes); `valuation_usd`
+        // carries the subscription-equivalent total INCLUDING the reviewer
+        // panel, which used to live only in raw events. Optional/nullable so
+        // older records and ledgerless paths stay valid.
+        cash_usd: z
+            .number()
+            .nullable()
+            .default(null)
+            .describe("Settled cash spend in USD (0 on native-subscription routes); null when unknown."),
+        valuation_usd: z
+            .number()
+            .nullable()
+            .default(null)
+            .describe("Settled subscription-equivalent valuation in USD (includes the reviewer panel); null when unknown."),
     })
-        .default({ spend_usd: null, estimated: false })
+        .default({ spend_usd: null, estimated: false, cash_usd: null, valuation_usd: null })
         .describe("Settled spend for the run; estimates are disclosed, never presented as exact."),
     apply_recommendation: ApplyRecommendation.default("inspect"),
     // Honest disclosure of WHAT verified an applyable run (gates, cross-family

package/dist/decision.js.map

@@ -1 +1 @@
-{"version":3,"file":"decision.js","sourceRoot":"","sources":["../src/decision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,EAAE,EAAE,MAAM,iBAAiB,CAAC;AAErC,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,WAAW,EAAE,EAAE,CAAC,QAAQ,CAAC,oCAAoC,CAAC;IAC9D,WAAW,EAAE,EAAE,CAAC,QAAQ,CAAC,qCAAqC,CAAC;IAC/D,QAAQ,EAAE,CAAC;SACR,MAAM,CACL,CAAC,CAAC,MAAM,EAAE,EACV,CAAC,CAAC,MAAM,CAAC;QACP,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,6CAA6C,CAAC;QACzF,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,0CAA0C,CAAC;KACxE,CAAC,CACH;SACA,QAAQ,CAAC,iDAAiD,CAAC;CAC/D,CAAC;KACD,QAAQ,CAAC,mEAAmE,CAAC,CAAC;AAGjF;;uEAEuE;AACvE,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC;KACzB,IAAI,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC;KAC5C,QAAQ,CACP,mJAAmJ,CACpJ,CAAC;AAGJ;wEACwE;AACxE,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC;KACzB,IAAI,CAAC,CAAC,UAAU,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;KACxC,QAAQ,CACP,2GAA2G,CAC5G,CAAC;AAGJ;;cAEc;AACd,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC;KACvB,IAAI,CAAC;IACJ,gBAAgB;IAChB,YAAY;IACZ,gBAAgB;IAChB,eAAe;IACf,kBAAkB;IAClB,kBAAkB;IAClB,mBAAmB;IACnB,eAAe;IACf,mBAAmB;IACnB,qBAAqB;IACrB,gBAAgB;IAChB,mBAAmB;CACpB,CAAC;KACD,QAAQ,CAAC,wEAAwE,CAAC,CAAC;AAGtF;;;+EAG+E;AAC/E,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC;KAC7B,MAAM,CAAC;IACN,SAAS,EAAE,CAAC;SACT,IAAI,CAAC,CAAC,WAAW,EAAE,QAAQ,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;SACzD,QAAQ,CAAC,gCAAgC,CAAC;IAC7C,SAAS,EAAE,CAAC;SACT,OAAO,EAAE;SACT,OAAO,CAAC,KAAK,CAAC;SACd,QAAQ,CAAC,4EAA4E,CAAC;IACzF,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,gBAAgB,CAAC;IAC7C,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC;IACtC,MAAM,EAAE,SAAS,CAAC,QAAQ,EAAE;SACzB,OAAO,CAAC,IAAI,CAAC;SACb,QAAQ,CAAC,wEAAwE,CAAC;CACtF,CAAC;KACD,MAAM,EAAE;KACR,QAAQ,CAAC,sDAAsD,CAAC,CAAC;AAGpE,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC;KACjC,IAAI,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,cAAc,CAAC,CAAC;KACtD,QAAQ,CACP,qHAAqH,CACtH,CAAC;AAGJ,iFAAiF;AACjF,kFAAkF;AAClF,+EAA+E;AAC/E,iFAAiF;AACjF,6EAA6E;AAC7E,8EAA8E;AAC9E,0EAA0E;AAC1E,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC;KAC/B,IAAI,CAAC,CAAC,MAAM,EAAE,qBAAqB,EAAE,MAAM,CAAC,CAAC;KAC7C,QAAQ,CACP,oKAAoK,CACrK,CAAC;AAGJ;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC;KAC/B,MAAM,CAAC;IACN,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,yCAAyC,CAAC;IAC1E,8EAA8E;IAC9E,QAAQ,EAAE,CAAC;SACR,MAAM,EAAE;SACR,QAAQ,EAAE;SACV,OAAO,CAAC,IAAI,CAAC;SACb,QAAQ,CAAC,yEAAyE,CAAC;IACtF,eAAe,EAAE,CAAC;SACf,OAAO,EAAE;SACT,QAAQ,EAAE;SACV,OAAO,CAAC,IAAI,CAAC;SACb,QAAQ,CAAC,iFAAiF,CAAC;IAC9F,YAAY,EAAE,CAAC;SACZ,OAAO,EAAE;SACT,QAAQ,EAAE;SACV,OAAO,CAAC,IAAI,CAAC;SACb,QAAQ,CAAC,yEAAyE,CAAC;IACtF,KAAK,EAAE,CAAC;SACL,KAAK,CACJ,CAAC,CAAC,MAAM,CAAC;QACP,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC;QACnC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,cAAc,CAAC;KAC5C,CAAC,CACH;SACA,OAAO,CAAC,EAAE,CAAC;SACX,QAAQ,CAAC,0BAA0B,CAAC;IACvC,WAAW,EAAE,CAAC;SACX,MAAM,EAAE;SACR,GAAG,EAAE;SACL,WAAW,EAAE;SACb,QAAQ,EAAE;SACV,OAAO,CAAC,IAAI,CAAC;SACb,QAAQ,CAAC,4CAA4C,CAAC;IACzD,0FAA0F;IAC1F,MAAM,EAAE,CAAC;SACN,MAAM,EAAE;SACR,QAAQ,EAAE;SACV,OAAO,CAAC,IAAI,CAAC;SACb,QAAQ,CACP,qFAAqF,CACtF;CACJ,CAAC;KACD,QAAQ,CACP,iLAAiL,CAClL,CAAC;AAGJ,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC;KAC5B,MAAM,CAAC;IACN,MAAM,EAAE,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,sDAAsD,CAAC;IACtF;;0DAEsD;IACtD,KAAK,EAAE,eAAe;IACtB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,4BAA4B,CAAC;IACzE,cAAc,EAAE,CAAC;SACd,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;SAC9B,OAAO,CAAC,EAAE,CAAC;SACX,QAAQ,CAAC,+DAA+D,CAAC;IAC5E,cAAc,EAAE,CAAC;SACd,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,OAAO,CAAC,EAAE,CAAC;SACX,QAAQ,CAAC,4CAA4C,CAAC;IACzD,YAAY,EAAE,CAAC;SACZ,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,OAAO,CAAC,EAAE,CAAC;SACX,QAAQ,CAAC,6CAA6C,CAAC;IAC1D,cAAc,EAAE,CAAC;SACd,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,OAAO,CAAC,EAAE,CAAC;SACX,QAAQ,CAAC,uCAAuC,CAAC;IACpD,cAAc,EAAE,CAAC;SACd,MAAM,CAAC;QACN,2EAA2E;QAC3E,mFAAmF;QACnF,SAAS,EAAE,CAAC;aACT,MAAM,EAAE;aACR,QAAQ,EAAE;aACV,OAAO,CAAC,IAAI,CAAC;aACb,QAAQ,CAAC,gDAAgD,CAAC;QAC7D,SAAS,EAAE,CAAC;aACT,OAAO,EAAE;aACT,OAAO,CAAC,KAAK,CAAC;aACd,QAAQ,CAAC,4EAA4E,CAAC;KAC1F,CAAC;SACD,OAAO,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;SAC9C,QAAQ,CAAC,+EAA+E,CAAC;IAC5F,oBAAoB,EAAE,mBAAmB,CAAC,OAAO,CAAC,SAAS,CAAC;IAC5D,2EAA2E;IAC3E,8EAA8E;IAC9E,kBAAkB,EAAE,iBAAiB,CAAC,OAAO,CAAC,MAAM,CAAC;IACrD,sEAAsE;IACtE,kEAAkE;IAClE,YAAY,EAAE,iBAAiB,CAAC,QAAQ,EAAE;SACvC,OAAO,CAAC,IAAI,CAAC;SACb,QAAQ,CACP,oHAAoH,CACrH;CACJ,CAAC;KACD,QAAQ,CACP,yHAAyH,CAC1H,CAAC"}
+{"version":3,"file":"decision.js","sourceRoot":"","sources":["../src/decision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,EAAE,EAAE,MAAM,iBAAiB,CAAC;AACrC,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAE7C,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,WAAW,EAAE,EAAE,CAAC,QAAQ,CAAC,oCAAoC,CAAC;IAC9D,WAAW,EAAE,EAAE,CAAC,QAAQ,CAAC,qCAAqC,CAAC;IAC/D,QAAQ,EAAE,CAAC;SACR,MAAM,CACL,CAAC,CAAC,MAAM,EAAE,EACV,CAAC,CAAC,MAAM,CAAC;QACP,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,6CAA6C,CAAC;QACzF,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,0CAA0C,CAAC;KACxE,CAAC,CACH;SACA,QAAQ,CAAC,iDAAiD,CAAC;CAC/D,CAAC;KACD,QAAQ,CAAC,mEAAmE,CAAC,CAAC;AAGjF;;uEAEuE;AACvE,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC;KACzB,IAAI,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC;KAC5C,QAAQ,CACP,mJAAmJ,CACpJ,CAAC;AAGJ;wEACwE;AACxE,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC;KACzB,IAAI,CAAC,CAAC,UAAU,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;KACxC,QAAQ,CACP,2GAA2G,CAC5G,CAAC;AAGJ;;cAEc;AACd,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC;KACvB,IAAI,CAAC;IACJ,gBAAgB;IAChB,YAAY;IACZ,gBAAgB;IAChB,eAAe;IACf,kBAAkB;IAClB,kBAAkB;IAClB,mBAAmB;IACnB,eAAe;IACf,mBAAmB;IACnB,qBAAqB;IACrB,gBAAgB;IAChB,mBAAmB;IACnB,qCAAqC;IACrC,gBAAgB;IAChB,iBAAiB;IACjB,4BAA4B;IAC5B,sBAAsB;CACvB,CAAC;KACD,QAAQ,CAAC,wEAAwE,CAAC,CAAC;AAGtF;;;+EAG+E;AAC/E,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC;KAC7B,MAAM,CAAC;IACN,SAAS,EAAE,CAAC;SACT,IAAI,CAAC,CAAC,WAAW,EAAE,QAAQ,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;SACzD,QAAQ,CAAC,gCAAgC,CAAC;IAC7C,SAAS,EAAE,CAAC;SACT,OAAO,EAAE;SACT,OAAO,CAAC,KAAK,CAAC;SACd,QAAQ,CAAC,4EAA4E,CAAC;IACzF,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,gBAAgB,CAAC;IAC7C,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC;IACtC,MAAM,EAAE,SAAS,CAAC,QAAQ,EAAE;SACzB,OAAO,CAAC,IAAI,CAAC;SACb,QAAQ,CAAC,wEAAwE,CAAC;IACrF;;;;;;OAMG;IACH,UAAU,EAAE,SAAS,CAAC,QAAQ,EAAE,CAAC,QAAQ,CACvC,yKAAyK,CAC1K;CACF,CAAC;KACD,MAAM,EAAE;KACR,QAAQ,CAAC,sDAAsD,CAAC,CAAC;AAGpE,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC;KACjC,IAAI,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,cAAc,CAAC,CAAC;KACtD,QAAQ,CACP,qHAAqH,CACtH,CAAC;AAGJ,iFAAiF;AACjF,kFAAkF;AAClF,+EAA+E;AAC/E,iFAAiF;AACjF,6EAA6E;AAC7E,8EAA8E;AAC9E,0EAA0E;AAC1E,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC;KAC/B,IAAI,CAAC,CAAC,MAAM,EAAE,qBAAqB,EAAE,MAAM,CAAC,CAAC;KAC7C,QAAQ,CACP,oKAAoK,CACrK,CAAC;AAGJ;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC;KAC/B,MAAM,CAAC;IACN,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,yCAAyC,CAAC;IAC1E,8EAA8E;IAC9E,QAAQ,EAAE,CAAC;SACR,MAAM,EAAE;SACR,QAAQ,EAAE;SACV,OAAO,CAAC,IAAI,CAAC;SACb,QAAQ,CAAC,yEAAyE,CAAC;IACtF,eAAe,EAAE,CAAC;SACf,OAAO,EAAE;SACT,QAAQ,EAAE;SACV,OAAO,CAAC,IAAI,CAAC;SACb,QAAQ,CAAC,iFAAiF,CAAC;IAC9F,YAAY,EAAE,CAAC;SACZ,OAAO,EAAE;SACT,QAAQ,EAAE;SACV,OAAO,CAAC,IAAI,CAAC;SACb,QAAQ,CAAC,yEAAyE,CAAC;IACtF,KAAK,EAAE,CAAC;SACL,KAAK,CACJ,CAAC,CAAC,MAAM,CAAC;QACP,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC;QACnC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,cAAc,CAAC;KAC5C,CAAC,CACH;SACA,OAAO,CAAC,EAAE,CAAC;SACX,QAAQ,CAAC,0BAA0B,CAAC;IACvC,WAAW,EAAE,CAAC;SACX,MAAM,EAAE;SACR,GAAG,EAAE;SACL,WAAW,EAAE;SACb,QAAQ,EAAE;SACV,OAAO,CAAC,IAAI,CAAC;SACb,QAAQ,CAAC,4CAA4C,CAAC;IACzD,0FAA0F;IAC1F,MAAM,EAAE,CAAC;SACN,MAAM,EAAE;SACR,QAAQ,EAAE;SACV,OAAO,CAAC,IAAI,CAAC;SACb,QAAQ,CACP,qFAAqF,CACtF;CACJ,CAAC;KACD,QAAQ,CACP,iLAAiL,CAClL,CAAC;AAGJ,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC;KAC5B,MAAM,CAAC;IACN,MAAM,EAAE,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,sDAAsD,CAAC;IACtF;;0DAEsD;IACtD,KAAK,EAAE,eAAe;IACtB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,4BAA4B,CAAC;IACzE,cAAc,EAAE,CAAC;SACd,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;SAC9B,OAAO,CAAC,EAAE,CAAC;SACX,QAAQ,CAAC,+DAA+D,CAAC;IAC5E,8EAA8E;IAC9E,oEAAoE;IACpE,2EAA2E;IAC3E,4EAA4E;IAC5E,6EAA6E;IAC7E,4EAA4E;IAC5E,sDAAsD;IACtD,sBAAsB,EAAE,CAAC;SACtB,MAAM,EAAE;SACR,GAAG,EAAE;SACL,QAAQ,EAAE;SACV,OAAO,CAAC,CAAC,CAAC;SACV,QAAQ,CAAC,wEAAwE,CAAC;IACrF,UAAU,EAAE,CAAC;SACV,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,OAAO,CAAC,EAAE,CAAC;SACX,QAAQ,CAAC,oEAAoE,CAAC;IACjF,iBAAiB,EAAE,CAAC;SACjB,KAAK,CACJ,CAAC,CAAC,MAAM,CAAC;QACP,UAAU,EAAE,EAAE,CAAC,QAAQ,CAAC,yDAAyD,CAAC;QAClF,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,kDAAkD,CAAC;QAC9E,IAAI,EAAE,CAAC;aACJ,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;aAC9B,QAAQ,CAAC,4DAA4D,CAAC;KAC1E,CAAC,CACH;SACA,OAAO,CAAC,EAAE,CAAC;SACX,QAAQ,CAAC,+DAA+D,CAAC;IAC5E,aAAa,EAAE,CAAC;SACb,MAAM,CAAC;QACN,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,8DAA8D,CAAC;QACxF,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,oDAAoD,CAAC;QACvF,eAAe,EAAE,CAAC;aACf,MAAM,EAAE;aACR,QAAQ,CAAC,uDAAuD,CAAC;KACrE,CAAC;SACD,QAAQ,EAAE;SACV,OAAO,CAAC,IAAI,CAAC;SACb,QAAQ,CACP,oIAAoI,CACrI;IACH,cAAc,EAAE,CAAC;SACd,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,OAAO,CAAC,EAAE,CAAC;SACX,QAAQ,CAAC,4CAA4C,CAAC;IACzD,YAAY,EAAE,CAAC;SACZ,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,OAAO,CAAC,EAAE,CAAC;SACX,QAAQ,CAAC,6CAA6C,CAAC;IAC1D,cAAc,EAAE,CAAC;SACd,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,OAAO,CAAC,EAAE,CAAC;SACX,QAAQ,CAAC,uCAAuC,CAAC;IACpD,cAAc,EAAE,CAAC;SACd,MAAM,CAAC;QACN,2EAA2E;QAC3E,mFAAmF;QACnF,SAAS,EAAE,CAAC;aACT,MAAM,EAAE;aACR,QAAQ,EAAE;aACV,OAAO,CAAC,IAAI,CAAC;aACb,QAAQ,CAAC,gDAAgD,CAAC;QAC7D,SAAS,EAAE,CAAC;aACT,OAAO,EAAE;aACT,OAAO,CAAC,KAAK,CAAC;aACd,QAAQ,CAAC,4EAA4E,CAAC;QACzF,oEAAoE;QACpE,uEAAuE;QACvE,iEAAiE;QACjE,mEAAmE;QACnE,qEAAqE;QACrE,iDAAiD;QACjD,QAAQ,EAAE,CAAC;aACR,MAAM,EAAE;aACR,QAAQ,EAAE;aACV,OAAO,CAAC,IAAI,CAAC;aACb,QAAQ,CACP,iFAAiF,CAClF;QACH,aAAa,EAAE,CAAC;aACb,MAAM,EAAE;aACR,QAAQ,EAAE;aACV,OAAO,CAAC,IAAI,CAAC;aACb,QAAQ,CACP,oGAAoG,CACrG;KACJ,CAAC;SACD,OAAO,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC;SACnF,QAAQ,CAAC,+EAA+E,CAAC;IAC5F,oBAAoB,EAAE,mBAAmB,CAAC,OAAO,CAAC,SAAS,CAAC;IAC5D,2EAA2E;IAC3E,8EAA8E;IAC9E,kBAAkB,EAAE,iBAAiB,CAAC,OAAO,CAAC,MAAM,CAAC;IACrD,sEAAsE;IACtE,kEAAkE;IAClE,YAAY,EAAE,iBAAiB,CAAC,QAAQ,EAAE;SACvC,OAAO,CAAC,IAAI,CAAC;SACb,QAAQ,CACP,oHAAoH,CACrH;CACJ,CAAC;KACD,QAAQ,CACP,yHAAyH,CAC1H,CAAC"}

package/dist/deep-scan.d.ts

@@ -0,0 +1,27 @@
+import { z } from "zod";
+/**
+ * Deep-scan reducer outcome (#27 / D-6). A multi-scout `ask --deep-scan` runs
+ * ONE bounded synthesis reducer over the raw scout reports so the final artifact
+ * is a real merge, not a concatenation. `succeeded` = the reducer merged the
+ * scouts; `failed` = the reducer errored/timed-out/was budget-denied (or no
+ * synthesize-capable route existed) and the final artifact is an HONEST raw
+ * scout bundle, never a fake synthesis; `skipped` = a single scout report needs
+ * no merge (width-1). Null on non-deep-scan runs and legacy artifacts.
+ */
+export declare const DeepScanSynthesisStatus: z.ZodEnum<["succeeded", "failed", "skipped"]>;
+export type DeepScanSynthesisStatus = z.infer<typeof DeepScanSynthesisStatus>;
+export declare const DeepScanSynthesis: z.ZodObject<{
+    status: z.ZodEnum<["succeeded", "failed", "skipped"]>;
+    reducer_attempt_id: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    reason: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+}, "strip", z.ZodTypeAny, {
+    status: "failed" | "succeeded" | "skipped";
+    reason: string | null;
+    reducer_attempt_id: string | null;
+}, {
+    status: "failed" | "succeeded" | "skipped";
+    reason?: string | null | undefined;
+    reducer_attempt_id?: string | null | undefined;
+}>;
+export type DeepScanSynthesis = z.infer<typeof DeepScanSynthesis>;
+//# sourceMappingURL=deep-scan.d.ts.map

package/dist/deep-scan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"deep-scan.d.ts","sourceRoot":"","sources":["../src/deep-scan.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;;;;;;GAQG;AACH,eAAO,MAAM,uBAAuB,+CAA6C,CAAC;AAClF,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAE9E,eAAO,MAAM,iBAAiB;;;;;;;;;;;;EAkB3B,CAAC;AACJ,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC"}

package/dist/deep-scan.js

@@ -0,0 +1,27 @@
+import { z } from "zod";
+/**
+ * Deep-scan reducer outcome (#27 / D-6). A multi-scout `ask --deep-scan` runs
+ * ONE bounded synthesis reducer over the raw scout reports so the final artifact
+ * is a real merge, not a concatenation. `succeeded` = the reducer merged the
+ * scouts; `failed` = the reducer errored/timed-out/was budget-denied (or no
+ * synthesize-capable route existed) and the final artifact is an HONEST raw
+ * scout bundle, never a fake synthesis; `skipped` = a single scout report needs
+ * no merge (width-1). Null on non-deep-scan runs and legacy artifacts.
+ */
+export const DeepScanSynthesisStatus = z.enum(["succeeded", "failed", "skipped"]);
+export const DeepScanSynthesis = z
+    .object({
+    status: DeepScanSynthesisStatus.describe("succeeded = reducer merged the scouts; failed = honest raw bundle; skipped = single report, no merge."),
+    reducer_attempt_id: z
+        .string()
+        .nullable()
+        .default(null)
+        .describe("The reducer attempt id (roster/cost visible); null when no reducer attempt ran."),
+    reason: z
+        .string()
+        .nullable()
+        .default(null)
+        .describe("Why the reducer failed or was skipped; null on a clean merge."),
+})
+    .describe("Deep-scan reducer outcome: whether the scout reports were merged into a real synthesis, degraded to an honest raw bundle, or skipped as a single report.");
+//# sourceMappingURL=deep-scan.js.map

package/dist/deep-scan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"deep-scan.js","sourceRoot":"","sources":["../src/deep-scan.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;AAGlF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC;KAC/B,MAAM,CAAC;IACN,MAAM,EAAE,uBAAuB,CAAC,QAAQ,CACtC,uGAAuG,CACxG;IACD,kBAAkB,EAAE,CAAC;SAClB,MAAM,EAAE;SACR,QAAQ,EAAE;SACV,OAAO,CAAC,IAAI,CAAC;SACb,QAAQ,CAAC,iFAAiF,CAAC;IAC9F,MAAM,EAAE,CAAC;SACN,MAAM,EAAE;SACR,QAAQ,EAAE;SACV,OAAO,CAAC,IAAI,CAAC;SACb,QAAQ,CAAC,+DAA+D,CAAC;CAC7E,CAAC;KACD,QAAQ,CACP,0JAA0J,CAC3J,CAAC"}

package/dist/delivery.d.ts

@@ -9,6 +9,15 @@ export declare const DeliveryReceipt: z.ZodObject<{
     detail: z.ZodOptional<z.ZodString>;
     treeMutated: z.ZodOptional<z.ZodBoolean>;
     refused: z.ZodOptional<z.ZodBoolean>;
+    /** #26: TRUE when this delivery was an idempotent already-applied no-op —
+     * the tree was already this patch's exact postimage (reverse `git apply
+     * --check` clean), so `applied:true` with NO mutation. Distinguishes a
+     * fresh apply from a replay so a surface never claims it just changed files
+     * it did not. Defaults false. */
+    alreadyApplied: z.ZodDefault<z.ZodBoolean>;
+    /** #26: coarse typed delivery disposition, so a consumer reads the outcome
+     * without parsing `detail` prose. Optional (older receipts omit it). */
+    deliveryStatus: z.ZodOptional<z.ZodEnum<["applied", "already_applied", "refused"]>>;
     finalVerify: z.ZodObject<{
         attempted: z.ZodBoolean;
         base_sha: z.ZodDefault<z.ZodNullable<z.ZodString>>;
@@ -53,6 +62,7 @@ export declare const DeliveryReceipt: z.ZodObject<{
 }, "strict", z.ZodTypeAny, {
     mode: "apply" | "commit" | "branch" | "pr";
     applied: boolean;
+    alreadyApplied: boolean;
     finalVerify: {
         reason: string | null;
         duration_ms: number | null;
@@ -72,6 +82,7 @@ export declare const DeliveryReceipt: z.ZodObject<{
     prUrl?: string | undefined;
     treeMutated?: boolean | undefined;
     refused?: boolean | undefined;
+    deliveryStatus?: "applied" | "refused" | "already_applied" | undefined;
 }, {
     mode: "apply" | "commit" | "branch" | "pr";
     applied: boolean;
@@ -94,6 +105,8 @@ export declare const DeliveryReceipt: z.ZodObject<{
     prUrl?: string | undefined;
     treeMutated?: boolean | undefined;
     refused?: boolean | undefined;
+    alreadyApplied?: boolean | undefined;
+    deliveryStatus?: "applied" | "refused" | "already_applied" | undefined;
 }>;
 export type DeliveryReceipt = z.infer<typeof DeliveryReceipt>;
 //# sourceMappingURL=delivery.d.ts.map

package/dist/delivery.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"delivery.d.ts","sourceRoot":"","sources":["../src/delivery.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,yFAAyF;AACzF,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAc6C,CAAC;AAC1E,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC"}
+{"version":3,"file":"delivery.d.ts","sourceRoot":"","sources":["../src/delivery.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,yFAAyF;AACzF,eAAO,MAAM,eAAe;;;;;;;;;IAUxB;;;;qCAIiC;;IAKjC;4EACwE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EASH,CAAC;AAC1E,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC"}

package/dist/delivery.js

@@ -11,6 +11,21 @@ export const DeliveryReceipt = z
     detail: z.string().optional(),
     treeMutated: z.boolean().optional(),
     refused: z.boolean().optional(),
+    /** #26: TRUE when this delivery was an idempotent already-applied no-op —
+     * the tree was already this patch's exact postimage (reverse `git apply
+     * --check` clean), so `applied:true` with NO mutation. Distinguishes a
+     * fresh apply from a replay so a surface never claims it just changed files
+     * it did not. Defaults false. */
+    alreadyApplied: z
+        .boolean()
+        .default(false)
+        .describe("True when delivery was an idempotent already-applied no-op (no files changed)."),
+    /** #26: coarse typed delivery disposition, so a consumer reads the outcome
+     * without parsing `detail` prose. Optional (older receipts omit it). */
+    deliveryStatus: z
+        .enum(["applied", "already_applied", "refused"])
+        .optional()
+        .describe("Coarse typed delivery disposition (applied / already_applied / refused)."),
     finalVerify: FinalVerifyRecord.describe("Fresh verifier evidence for this delivery attempt."),
     targetPreimageSha: z.string().describe("Target snapshot verified immediately before delivery."),
 })

package/dist/delivery.js.map

@@ -1 +1 @@
-{"version":3,"file":"delivery.js","sourceRoot":"","sources":["../src/delivery.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAElD,yFAAyF;AACzF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC;KAC7B,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IACjD,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE;IACpB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B,WAAW,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IACnC,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAC/B,WAAW,EAAE,iBAAiB,CAAC,QAAQ,CAAC,oDAAoD,CAAC;IAC7F,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,uDAAuD,CAAC;CAChG,CAAC;KACD,MAAM,EAAE;KACR,QAAQ,CAAC,4DAA4D,CAAC,CAAC"}
+{"version":3,"file":"delivery.js","sourceRoot":"","sources":["../src/delivery.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAElD,yFAAyF;AACzF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC;KAC7B,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IACjD,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE;IACpB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B,WAAW,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IACnC,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAC/B;;;;qCAIiC;IACjC,cAAc,EAAE,CAAC;SACd,OAAO,EAAE;SACT,OAAO,CAAC,KAAK,CAAC;SACd,QAAQ,CAAC,gFAAgF,CAAC;IAC7F;4EACwE;IACxE,cAAc,EAAE,CAAC;SACd,IAAI,CAAC,CAAC,SAAS,EAAE,iBAAiB,EAAE,SAAS,CAAC,CAAC;SAC/C,QAAQ,EAAE;SACV,QAAQ,CAAC,0EAA0E,CAAC;IACvF,WAAW,EAAE,iBAAiB,CAAC,QAAQ,CAAC,oDAAoD,CAAC;IAC7F,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,uDAAuD,CAAC;CAChG,CAAC;KACD,MAAM,EAAE;KACR,QAAQ,CAAC,4DAA4D,CAAC,CAAC"}