audit-tools 0.52.3 → 0.52.4

package/dist/audit/orchestrator/designReviewSnapshot.d.ts

@@ -1,10 +1,32 @@
+/**
+ * Diff-based re-review for audit-code's design-review passes (B2 parity port).
+ *
+ * Friction (the audit-code half of remediate-code's B2): when the structural
+ * inputs to a design-review pass genuinely change, the verdict-bearing pass
+ * (contract-assessment / conceptual-design-critique) re-runs as a FULL pass — an
+ * expensive LLM review (or a multi-perspective fan-out + judge) burned from
+ * scratch even when the change touches only a small part of what the review
+ * reasoned about. Before this port the opposite failure also lurked: the
+ * `*_reviewed` flags were carried forward unconditionally, so a real structural
+ * change never re-triggered the review at all.
+ *
+ * Fix (mirrors `contractPipeline/reviewSnapshot.ts`): when a design-review pass
+ * completes, snapshot the SEMANTIC PROJECTIONS of the exact structural inputs it
+ * reviewed plus its own verdict (the findings it produced). The pass's staleness
+ * is then keyed on those projections — a cosmetic upstream edit projects
+ * identically and keeps the review fresh; a real structural change re-stales it.
+ * When it does re-stale, the re-emit prompt carries the prior verdict + the
+ * precise changed-since-last-review delta and instructs re-affirm-or-revise-only-
+ * affected — never a blind full re-run. Enforced by the tool, not host memory.
+ */
+import { projectDesignReviewTask } from "./designReviewTask.js";
 import { type ProjectionDiffEntry } from "audit-tools/shared";
 import type { Finding } from "../types.js";
 import { type DesignReviewBundle, type DesignReviewInput } from "./designReviewProjection.js";
 /** The two verdict-bearing design-review passes (each snapshots independently). */
 export declare const DESIGN_REVIEW_PASSES: readonly ["contract", "conceptual"];
 export type DesignReviewPass = (typeof DESIGN_REVIEW_PASSES)[number];
-declare const SNAPSHOT_SCHEMA_VERSION: "audit-code/design-review-snapshot/v1alpha1";
+declare const SNAPSHOT_SCHEMA_VERSION: "audit-code/design-review-snapshot/v2alpha1";
 export interface DesignReviewSnapshot {
     schema_version: typeof SNAPSHOT_SCHEMA_VERSION;
     pass: DesignReviewPass;
@@ -14,6 +36,7 @@ export interface DesignReviewSnapshot {
     prior_findings: Finding[];
     /** Semantic projection of each structural input at review time. */
     reviewed_inputs: Record<DesignReviewInput, unknown>;
+    reviewed_task: ReturnType<typeof projectDesignReviewTask>;
 }
 /** Bundle-side view: the loaded snapshots, keyed by pass (absent until captured). */
 export type DesignReviewSnapshotBundle = Partial<Record<DesignReviewPass, DesignReviewSnapshot>>;

package/dist/audit/orchestrator/designReviewSnapshot.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"designReviewSnapshot.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/designReviewSnapshot.ts"],"names":[],"mappings":"AAuBA,OAAO,EAOL,KAAK,mBAAmB,EACzB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAIL,KAAK,kBAAkB,EACvB,KAAK,iBAAiB,EACvB,MAAM,6BAA6B,CAAC;AAErC,mFAAmF;AACnF,eAAO,MAAM,oBAAoB,qCAAsC,CAAC;AACxE,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC;AAErE,QAAA,MAAM,uBAAuB,EAAG,4CAAqD,CAAC;AAEtF,MAAM,WAAW,oBAAoB;IACnC,cAAc,EAAE,OAAO,uBAAuB,CAAC;IAC/C,IAAI,EAAE,gBAAgB,CAAC;IACvB,uEAAuE;IACvE,WAAW,EAAE,MAAM,CAAC;IACpB,oEAAoE;IACpE,cAAc,EAAE,OAAO,EAAE,CAAC;IAC1B,mEAAmE;IACnE,eAAe,EAAE,MAAM,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC;CACrD;AAED,qFAAqF;AACrF,MAAM,MAAM,0BAA0B,GAAG,OAAO,CAC9C,MAAM,CAAC,gBAAgB,EAAE,oBAAoB,CAAC,CAC/C,CAAC;AAQF,wBAAgB,wBAAwB,CACtC,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,gBAAgB,GACrB,MAAM,CAER;AAED,wBAAsB,wBAAwB,CAC5C,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,gBAAgB,GACrB,OAAO,CAAC,oBAAoB,GAAG,IAAI,CAAC,CAWtC;AAED;;;;GAIG;AACH,wBAAsB,yBAAyB,CAC7C,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,0BAA0B,CAAC,CAOrC;AAED;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,gBAAgB,EACtB,aAAa,EAAE,OAAO,EAAE,EACxB,MAAM,EAAE,kBAAkB,EAC1B,UAAU,EAAE,MAAM,GACjB,oBAAoB,CAQtB;AAED,yEAAyE;AACzE,wBAAsB,yBAAyB,CAC7C,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,oBAAoB,GAC7B,OAAO,CAAC,IAAI,CAAC,CAMf;AAED,MAAM,WAAW,mBAAmB;IAClC,sEAAsE;IACtE,aAAa,EAAE,mBAAmB,EAAE,CAAC;IACrC,iEAAiE;IACjE,YAAY,EAAE,OAAO,CAAC;CACvB;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,CACxC,QAAQ,EAAE,oBAAoB,EAC9B,MAAM,EAAE,kBAAkB,GACzB,mBAAmB,CASrB;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,oBAAoB,EAC9B,MAAM,EAAE,kBAAkB,GACzB,OAAO,CAST;AAED;;;;;GAKG;AACH,wBAAgB,2BAA2B,CACzC,QAAQ,EAAE,oBAAoB,EAC9B,KAAK,EAAE,mBAAmB,GACzB,MAAM,CAOR;AAED;;;;;;;GAOG;AACH,wBAAsB,0BAA0B,CAC9C,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,kBAAkB,EAC1B,IAAI,EAAE,gBAAgB,GACrB,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAK7B"}
+{"version":3,"file":"designReviewSnapshot.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/designReviewSnapshot.ts"],"names":[],"mappings":"AACA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAGhE,OAAO,EAOL,KAAK,mBAAmB,EACzB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAIL,KAAK,kBAAkB,EACvB,KAAK,iBAAiB,EACvB,MAAM,6BAA6B,CAAC;AAErC,mFAAmF;AACnF,eAAO,MAAM,oBAAoB,qCAAsC,CAAC;AACxE,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC;AAErE,QAAA,MAAM,uBAAuB,EAAG,4CAAqD,CAAC;AAEtF,MAAM,WAAW,oBAAoB;IACnC,cAAc,EAAE,OAAO,uBAAuB,CAAC;IAC/C,IAAI,EAAE,gBAAgB,CAAC;IACvB,uEAAuE;IACvE,WAAW,EAAE,MAAM,CAAC;IACpB,oEAAoE;IACpE,cAAc,EAAE,OAAO,EAAE,CAAC;IAC1B,mEAAmE;IACnE,eAAe,EAAE,MAAM,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC;IACpD,aAAa,EAAE,UAAU,CAAC,OAAO,uBAAuB,CAAC,CAAC;CAC3D;AAED,qFAAqF;AACrF,MAAM,MAAM,0BAA0B,GAAG,OAAO,CAC9C,MAAM,CAAC,gBAAgB,EAAE,oBAAoB,CAAC,CAC/C,CAAC;AAQF,wBAAgB,wBAAwB,CACtC,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,gBAAgB,GACrB,MAAM,CAER;AAED,wBAAsB,wBAAwB,CAC5C,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,gBAAgB,GACrB,OAAO,CAAC,oBAAoB,GAAG,IAAI,CAAC,CAWtC;AAED;;;;GAIG;AACH,wBAAsB,yBAAyB,CAC7C,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,0BAA0B,CAAC,CAOrC;AAED;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,gBAAgB,EACtB,aAAa,EAAE,OAAO,EAAE,EACxB,MAAM,EAAE,kBAAkB,EAC1B,UAAU,EAAE,MAAM,GACjB,oBAAoB,CAStB;AAED,yEAAyE;AACzE,wBAAsB,yBAAyB,CAC7C,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,oBAAoB,GAC7B,OAAO,CAAC,IAAI,CAAC,CAMf;AAED,MAAM,WAAW,mBAAmB;IAClC,sEAAsE;IACtE,aAAa,EAAE,mBAAmB,EAAE,CAAC;IACrC,iEAAiE;IACjE,YAAY,EAAE,OAAO,CAAC;CACvB;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,CACxC,QAAQ,EAAE,oBAAoB,EAC9B,MAAM,EAAE,kBAAkB,GACzB,mBAAmB,CAWrB;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,oBAAoB,EAC9B,MAAM,EAAE,kBAAkB,GACzB,OAAO,CAST;AAED;;;;;GAKG;AACH,wBAAgB,2BAA2B,CACzC,QAAQ,EAAE,oBAAoB,EAC9B,KAAK,EAAE,mBAAmB,GACzB,MAAM,CAOR;AAED;;;;;;;GAOG;AACH,wBAAsB,0BAA0B,CAC9C,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,kBAAkB,EAC1B,IAAI,EAAE,gBAAgB,GACrB,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAK7B"}

package/dist/audit/orchestrator/designReviewSnapshot.js

@@ -1,3 +1,4 @@
+// sites-pinned: tests/audit/review-submission.test.ts, tests/audit/design-review-diff-rereview.test.ts
 /**
  * Diff-based re-review for audit-code's design-review passes (B2 parity port).
  *
@@ -19,13 +20,14 @@
  * precise changed-since-last-review delta and instructs re-affirm-or-revise-only-
  * affected — never a blind full re-run. Enforced by the tool, not host memory.
  */
+import { projectDesignReviewTask } from "./designReviewTask.js";
 import { mkdir } from "node:fs/promises";
 import { join } from "node:path";
 import { diffProjections, readOptionalJsonFile, discardOnSchemaVersionMismatch, renderDiffReReviewSection, stableStringifyProjection, writeJsonFile, } from "audit-tools/shared";
 import { DESIGN_REVIEW_INPUTS, projectDesignReviewInput, projectDesignReviewInputs, } from "./designReviewProjection.js";
 /** The two verdict-bearing design-review passes (each snapshots independently). */
 export const DESIGN_REVIEW_PASSES = ["contract", "conceptual"];
-const SNAPSHOT_SCHEMA_VERSION = "audit-code/design-review-snapshot/v1alpha1";
+const SNAPSHOT_SCHEMA_VERSION = "audit-code/design-review-snapshot/v2alpha1";
 const SNAPSHOT_DIRNAME = "design-review-snapshots";
 function snapshotDir(artifactsDir) {
     return join(artifactsDir, SNAPSHOT_DIRNAME);
@@ -67,6 +69,7 @@ export function buildDesignReviewSnapshot(pass, priorFindings, bundle, reviewedA
         reviewed_at: reviewedAt,
         prior_findings: priorFindings,
         reviewed_inputs: projectDesignReviewInputs(bundle),
+        reviewed_task: projectDesignReviewTask(bundle, pass),
     };
 }
 /** Write one snapshot to its on-disk home (the commit-phase IO half). */
@@ -88,6 +91,9 @@ export function computeDesignReReviewDelta(snapshot, bundle) {
         if (lines.length > 0)
             changedInputs.push({ label: input, lines });
     }
+    const taskLines = diffProjections(snapshot.reviewed_task, projectDesignReviewTask(bundle, snapshot.pass));
+    if (taskLines.length > 0)
+        changedInputs.push({ label: "review_task", lines: taskLines });
     return { changedInputs, allUnchanged: changedInputs.length === 0 };
 }
 /**
@@ -102,7 +108,7 @@ export function isDesignReviewStale(snapshot, bundle) {
         if (prior !== current)
             return true;
     }
-    return false;
+    return stableStringifyProjection(snapshot.reviewed_task) !== stableStringifyProjection(projectDesignReviewTask(bundle, snapshot.pass));
 }
 /**
  * Render the diff-based re-review section appended to a design-review pass's

package/dist/audit/orchestrator/designReviewSnapshot.js.map

@@ -1 +1 @@
-{"version":3,"file":"designReviewSnapshot.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/designReviewSnapshot.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EACL,eAAe,EACf,oBAAoB,EACpB,8BAA8B,EAC9B,yBAAyB,EACzB,yBAAyB,EACzB,aAAa,GAEd,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACL,oBAAoB,EACpB,wBAAwB,EACxB,yBAAyB,GAG1B,MAAM,6BAA6B,CAAC;AAErC,mFAAmF;AACnF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,UAAU,EAAE,YAAY,CAAU,CAAC;AAGxE,MAAM,uBAAuB,GAAG,4CAAqD,CAAC;AAkBtF,MAAM,gBAAgB,GAAG,yBAAyB,CAAC;AAEnD,SAAS,WAAW,CAAC,YAAoB;IACvC,OAAO,IAAI,CAAC,YAAY,EAAE,gBAAgB,CAAC,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,YAAoB,EACpB,IAAsB;IAEtB,OAAO,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,YAAoB,EACpB,IAAsB;IAEtB,gFAAgF;IAChF,kFAAkF;IAClF,OAAO,CACL,8BAA8B,CAC5B,MAAM,oBAAoB,CACxB,wBAAwB,CAAC,YAAY,EAAE,IAAI,CAAC,CAC7C,EACD,uBAAuB,CACxB,IAAI,IAAI,CACV,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,YAAoB;IAEpB,MAAM,GAAG,GAA+B,EAAE,CAAC;IAC3C,KAAK,MAAM,IAAI,IAAI,oBAAoB,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAG,MAAM,wBAAwB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;QACpE,IAAI,QAAQ;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC;IACrC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,yBAAyB,CACvC,IAAsB,EACtB,aAAwB,EACxB,MAA0B,EAC1B,UAAkB;IAElB,OAAO;QACL,cAAc,EAAE,uBAAuB;QACvC,IAAI;QACJ,WAAW,EAAE,UAAU;QACvB,cAAc,EAAE,aAAa;QAC7B,eAAe,EAAE,yBAAyB,CAAC,MAAM,CAAC;KACnD,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,YAAoB,EACpB,QAA8B;IAE9B,MAAM,KAAK,CAAC,WAAW,CAAC,YAAY,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5D,MAAM,aAAa,CACjB,wBAAwB,CAAC,YAAY,EAAE,QAAQ,CAAC,IAAI,CAAC,EACrD,QAAQ,CACT,CAAC;AACJ,CAAC;AASD;;;;GAIG;AACH,MAAM,UAAU,0BAA0B,CACxC,QAA8B,EAC9B,MAA0B;IAE1B,MAAM,aAAa,GAA0B,EAAE,CAAC;IAChD,KAAK,MAAM,KAAK,IAAI,oBAAoB,EAAE,CAAC;QACzC,MAAM,OAAO,GAAG,wBAAwB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACxD,MAAM,KAAK,GAAG,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC9C,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,aAAa,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;AACrE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CACjC,QAA8B,EAC9B,MAA0B;IAE1B,KAAK,MAAM,KAAK,IAAI,oBAAoB,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,yBAAyB,CAAC,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC;QACzE,MAAM,OAAO,GAAG,yBAAyB,CACvC,wBAAwB,CAAC,KAAK,EAAE,MAAM,CAAC,CACxC,CAAC;QACF,IAAI,KAAK,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC;IACrC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,2BAA2B,CACzC,QAA8B,EAC9B,KAA0B;IAE1B,OAAO,yBAAyB,CAAC;QAC/B,YAAY,EAAE,QAAQ,CAAC,cAAc;QACrC,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,WAAW,EAAE,oBAAoB;KAClC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,YAAoB,EACpB,MAA0B,EAC1B,IAAsB;IAEtB,MAAM,QAAQ,GAAG,MAAM,wBAAwB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;IACpE,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChC,MAAM,KAAK,GAAG,0BAA0B,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC3D,OAAO,2BAA2B,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;AACtD,CAAC"}
+{"version":3,"file":"designReviewSnapshot.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/designReviewSnapshot.ts"],"names":[],"mappings":"AAAA,uGAAuG;AACvG;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EACL,eAAe,EACf,oBAAoB,EACpB,8BAA8B,EAC9B,yBAAyB,EACzB,yBAAyB,EACzB,aAAa,GAEd,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACL,oBAAoB,EACpB,wBAAwB,EACxB,yBAAyB,GAG1B,MAAM,6BAA6B,CAAC;AAErC,mFAAmF;AACnF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,UAAU,EAAE,YAAY,CAAU,CAAC;AAGxE,MAAM,uBAAuB,GAAG,4CAAqD,CAAC;AAmBtF,MAAM,gBAAgB,GAAG,yBAAyB,CAAC;AAEnD,SAAS,WAAW,CAAC,YAAoB;IACvC,OAAO,IAAI,CAAC,YAAY,EAAE,gBAAgB,CAAC,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,YAAoB,EACpB,IAAsB;IAEtB,OAAO,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,YAAoB,EACpB,IAAsB;IAEtB,gFAAgF;IAChF,kFAAkF;IAClF,OAAO,CACL,8BAA8B,CAC5B,MAAM,oBAAoB,CACxB,wBAAwB,CAAC,YAAY,EAAE,IAAI,CAAC,CAC7C,EACD,uBAAuB,CACxB,IAAI,IAAI,CACV,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,YAAoB;IAEpB,MAAM,GAAG,GAA+B,EAAE,CAAC;IAC3C,KAAK,MAAM,IAAI,IAAI,oBAAoB,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAG,MAAM,wBAAwB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;QACpE,IAAI,QAAQ;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC;IACrC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,yBAAyB,CACvC,IAAsB,EACtB,aAAwB,EACxB,MAA0B,EAC1B,UAAkB;IAElB,OAAO;QACL,cAAc,EAAE,uBAAuB;QACvC,IAAI;QACJ,WAAW,EAAE,UAAU;QACvB,cAAc,EAAE,aAAa;QAC7B,eAAe,EAAE,yBAAyB,CAAC,MAAM,CAAC;QAClD,aAAa,EAAE,uBAAuB,CAAC,MAAM,EAAE,IAAI,CAAC;KACrD,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,YAAoB,EACpB,QAA8B;IAE9B,MAAM,KAAK,CAAC,WAAW,CAAC,YAAY,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5D,MAAM,aAAa,CACjB,wBAAwB,CAAC,YAAY,EAAE,QAAQ,CAAC,IAAI,CAAC,EACrD,QAAQ,CACT,CAAC;AACJ,CAAC;AASD;;;;GAIG;AACH,MAAM,UAAU,0BAA0B,CACxC,QAA8B,EAC9B,MAA0B;IAE1B,MAAM,aAAa,GAA0B,EAAE,CAAC;IAChD,KAAK,MAAM,KAAK,IAAI,oBAAoB,EAAE,CAAC;QACzC,MAAM,OAAO,GAAG,wBAAwB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACxD,MAAM,KAAK,GAAG,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC9C,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,aAAa,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IACpE,CAAC;IACD,MAAM,SAAS,GAAG,eAAe,CAAC,QAAQ,CAAC,aAAa,EAAE,uBAAuB,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1G,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC;QAAE,aAAa,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;IACzF,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;AACrE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CACjC,QAA8B,EAC9B,MAA0B;IAE1B,KAAK,MAAM,KAAK,IAAI,oBAAoB,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,yBAAyB,CAAC,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC;QACzE,MAAM,OAAO,GAAG,yBAAyB,CACvC,wBAAwB,CAAC,KAAK,EAAE,MAAM,CAAC,CACxC,CAAC;QACF,IAAI,KAAK,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC;IACrC,CAAC;IACD,OAAO,yBAAyB,CAAC,QAAQ,CAAC,aAAa,CAAC,KAAK,yBAAyB,CAAC,uBAAuB,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;AACzI,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,2BAA2B,CACzC,QAA8B,EAC9B,KAA0B;IAE1B,OAAO,yBAAyB,CAAC;QAC/B,YAAY,EAAE,QAAQ,CAAC,cAAc;QACrC,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,WAAW,EAAE,oBAAoB;KAClC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,YAAoB,EACpB,MAA0B,EAC1B,IAAsB;IAEtB,MAAM,QAAQ,GAAG,MAAM,wBAAwB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;IACpE,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChC,MAAM,KAAK,GAAG,0BAA0B,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC3D,OAAO,2BAA2B,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;AACtD,CAAC"}

package/dist/audit/orchestrator/designReviewTask.d.ts

@@ -0,0 +1,46 @@
+import { type IntentCheckpoint } from "audit-tools/shared";
+import { type AnalyzerCapabilityRecord } from "../types/analyzerCapability.js";
+import type { CharterRegister } from "../types/charterRegister.js";
+export interface DesignReviewTaskBundle {
+    intent_checkpoint?: IntentCheckpoint;
+    charter_register?: CharterRegister;
+    analyzer_capability?: AnalyzerCapabilityRecord;
+}
+/** Effective task choices only: confirmation timestamps and notices are provenance. */
+export declare function resolveDesignReviewChoices(bundle: DesignReviewTaskBundle): {
+    lenses: string[] | undefined;
+    conceptual_depth: "shallow" | "deep";
+    perspectives: number | (string | {
+        name: string;
+        lens: string;
+    })[] | undefined;
+};
+/** The linked accounts actually rendered to conceptual reviewers, in rendered order. */
+export declare function projectConceptualCharterContext(bundle: DesignReviewTaskBundle): {
+    correspondence_id: string;
+    accounts: {
+        kind: "stated" | "structural" | "revealed";
+        purpose: string;
+        files: string[];
+        disposition: "opine" | "flag_for_human";
+    }[];
+}[];
+export declare function projectDesignReviewTask(bundle: DesignReviewTaskBundle, pass: "contract" | "conceptual"): {
+    lenses: string[] | null;
+    degraded_analyzers: string[];
+} | {
+    conceptual_depth: "shallow" | "deep";
+    perspectives: import("../../shared/types/conceptualPerspective.js").ConceptualPerspective[];
+    charter_context: {
+        correspondence_id: string;
+        accounts: {
+            kind: "stated" | "structural" | "revealed";
+            purpose: string;
+            files: string[];
+            disposition: "opine" | "flag_for_human";
+        }[];
+    }[];
+    lenses: string[] | null;
+    degraded_analyzers: string[];
+};
+//# sourceMappingURL=designReviewTask.d.ts.map

package/dist/audit/orchestrator/designReviewTask.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"designReviewTask.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/designReviewTask.ts"],"names":[],"mappings":"AACA,OAAO,EAAyD,KAAK,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAElH,OAAO,EAA2B,KAAK,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AACxG,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAGnE,MAAM,WAAW,sBAAsB;IACrC,iBAAiB,CAAC,EAAE,gBAAgB,CAAC;IACrC,gBAAgB,CAAC,EAAE,eAAe,CAAC;IACnC,mBAAmB,CAAC,EAAE,wBAAwB,CAAC;CAChD;AAED,uFAAuF;AACvF,wBAAgB,0BAA0B,CAAC,MAAM,EAAE,sBAAsB;;;;;;;EAOxE;AAED,wFAAwF;AACxF,wBAAgB,+BAA+B,CAAC,MAAM,EAAE,sBAAsB;;;;;;;;IAa7E;AAED,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,sBAAsB,EAAE,IAAI,EAAE,UAAU,GAAG,YAAY;;;;;;;;;;;;;;;;;EAYtG"}

package/dist/audit/orchestrator/designReviewTask.js

@@ -0,0 +1,44 @@
+// sites-pinned: tests/audit/review-submission.test.ts, tests/audit/conceptual-charter-context.test.ts
+import { charterReviewDisposition, resolveRunBoundDesignReview } from "audit-tools/shared";
+import { selectPerspectives } from "../../shared/types/conceptualPerspective.js";
+import { degradedAnalyzerEntries } from "../types/analyzerCapability.js";
+import { resolveIntentLensSelection } from "./lensSelection.js";
+/** Effective task choices only: confirmation timestamps and notices are provenance. */
+export function resolveDesignReviewChoices(bundle) {
+    const settings = resolveRunBoundDesignReview(bundle.intent_checkpoint);
+    return {
+        lenses: resolveIntentLensSelection(bundle.intent_checkpoint?.lens_selection),
+        conceptual_depth: settings?.conceptual_depth ?? (Array.isArray(settings?.perspectives) ? "deep" : "shallow"),
+        perspectives: settings?.perspectives,
+    };
+}
+/** The linked accounts actually rendered to conceptual reviewers, in rendered order. */
+export function projectConceptualCharterContext(bundle) {
+    const register = bundle.charter_register;
+    if (!register || register.status === "omitted")
+        return [];
+    return (register.correspondences ?? []).map((correspondence) => ({
+        correspondence_id: correspondence.correspondence_id,
+        accounts: correspondence.members.flatMap((member) => {
+            const graph = register.lanes.find((lane) => lane.kind === member.kind);
+            return member.node_ids.flatMap((id) => {
+                const node = graph?.nodes.find((candidate) => candidate.node_id === id);
+                return node ? [{ kind: member.kind, purpose: node.purpose, files: [...(node.files ?? [])].sort(), disposition: charterReviewDisposition(node) }] : [];
+            });
+        }),
+    }));
+}
+export function projectDesignReviewTask(bundle, pass) {
+    const choices = resolveDesignReviewChoices(bundle);
+    const common = {
+        lenses: choices.lenses ? [...choices.lenses].sort() : null,
+        degraded_analyzers: [...new Set(degradedAnalyzerEntries(bundle.analyzer_capability).map((entry) => entry.id))].sort(),
+    };
+    return pass === "contract" ? common : {
+        ...common,
+        conceptual_depth: choices.conceptual_depth,
+        perspectives: choices.conceptual_depth === "deep" ? selectPerspectives(choices.perspectives) : [],
+        charter_context: projectConceptualCharterContext(bundle),
+    };
+}
+//# sourceMappingURL=designReviewTask.js.map

package/dist/audit/orchestrator/designReviewTask.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"designReviewTask.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/designReviewTask.ts"],"names":[],"mappings":"AAAA,sGAAsG;AACtG,OAAO,EAAE,wBAAwB,EAAE,2BAA2B,EAAyB,MAAM,oBAAoB,CAAC;AAClH,OAAO,EAAE,kBAAkB,EAAE,MAAM,6CAA6C,CAAC;AACjF,OAAO,EAAE,uBAAuB,EAAiC,MAAM,gCAAgC,CAAC;AAExG,OAAO,EAAE,0BAA0B,EAAE,MAAM,oBAAoB,CAAC;AAQhE,uFAAuF;AACvF,MAAM,UAAU,0BAA0B,CAAC,MAA8B;IACvE,MAAM,QAAQ,GAAG,2BAA2B,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;IACvE,OAAO;QACL,MAAM,EAAE,0BAA0B,CAAC,MAAM,CAAC,iBAAiB,EAAE,cAAc,CAAC;QAC5E,gBAAgB,EAAE,QAAQ,EAAE,gBAAgB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,MAAe,CAAC,CAAC,CAAC,SAAkB,CAAC;QAC9H,YAAY,EAAE,QAAQ,EAAE,YAAY;KACrC,CAAC;AACJ,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,+BAA+B,CAAC,MAA8B;IAC5E,MAAM,QAAQ,GAAG,MAAM,CAAC,gBAAgB,CAAC;IACzC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAC1D,OAAO,CAAC,QAAQ,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;QAC/D,iBAAiB,EAAE,cAAc,CAAC,iBAAiB;QACnD,QAAQ,EAAE,cAAc,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;YAClD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC;YACvE,OAAO,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE;gBACpC,MAAM,IAAI,GAAG,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,KAAK,EAAE,CAAC,CAAC;gBACxE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,WAAW,EAAE,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACxJ,CAAC,CAAC,CAAC;QACL,CAAC,CAAC;KACH,CAAC,CAAC,CAAC;AACN,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,MAA8B,EAAE,IAA+B;IACrG,MAAM,OAAO,GAAG,0BAA0B,CAAC,MAAM,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG;QACb,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI;QAC1D,kBAAkB,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,uBAAuB,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;KACtH,CAAC;IACF,OAAO,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACpC,GAAG,MAAM;QACT,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;QAC1C,YAAY,EAAE,OAAO,CAAC,gBAAgB,KAAK,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE;QACjG,eAAe,EAAE,+BAA+B,CAAC,MAAM,CAAC;KACzD,CAAC;AACJ,CAAC"}

package/dist/audit/orchestrator/intentCheckpointGate.d.ts

@@ -30,7 +30,7 @@ export interface NormalizeConfig {
  */
 export declare const DEFAULT_NORMALIZE_CONFIG: NormalizeConfig;
 /** Static prompt-template version — bump on any judge-prompt change. */
-export declare const INTENT_GATE_PROMPT_TEMPLATE_VERSION = "intent-checkpoint-judge-prompt/v1";
+export declare const INTENT_GATE_PROMPT_TEMPLATE_VERSION = "intent-checkpoint-judge-prompt/v2";
 /**
  * The locally-resolved judge id (conversation-first: the host agent is always
  * the judge). A constant so every `gate_version` component is derivable at

package/dist/audit/orchestrator/intentCheckpointGate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"intentCheckpointGate.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/intentCheckpointGate.ts"],"names":[],"mappings":"AAuCA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAE3D;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B,6EAA6E;IAC7E,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB;;;OAGG;IACH,QAAQ,CAAC,gBAAgB,EAAE,SAAS,CAAC,MAAM,gBAAgB,CAAC,EAAE,CAAC;IAC/D;;;OAGG;IACH,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,MAAM,gBAAgB,CAAC,EAAE,CAAC;CAC3D;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,wBAAwB,EAAE,eA2BtC,CAAC;AAEF,wEAAwE;AACxE,eAAO,MAAM,mCAAmC,sCAAsC,CAAC;AAEvF;;;;GAIG;AACH,eAAO,MAAM,aAAa,SAAS,CAAC;AAEpC,6DAA6D;AAC7D,MAAM,WAAW,qBAAqB;IACpC,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;CACf;AAkDD;;;;GAIG;AACH,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,gBAAgB,GAAG,SAAS,EACxC,MAAM,GAAE,eAA0C,GACjD,qBAAqB,CASvB;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,CAAC,EAAE;IACzC,eAAe,CAAC,EAAE,eAAe,CAAC;IAClC,oFAAoF;IACpF,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,qBAAqB,CAAC,EAAE,MAAM,CAAC;CAChC,GAAG,MAAM,CAOT;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAEzD"}
+{"version":3,"file":"intentCheckpointGate.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/intentCheckpointGate.ts"],"names":[],"mappings":"AAwCA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAE3D;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B,6EAA6E;IAC7E,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB;;;OAGG;IACH,QAAQ,CAAC,gBAAgB,EAAE,SAAS,CAAC,MAAM,gBAAgB,CAAC,EAAE,CAAC;IAC/D;;;OAGG;IACH,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,MAAM,gBAAgB,CAAC,EAAE,CAAC;CAC3D;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,wBAAwB,EAAE,eA4BtC,CAAC;AAEF,wEAAwE;AACxE,eAAO,MAAM,mCAAmC,sCAAsC,CAAC;AAEvF;;;;GAIG;AACH,eAAO,MAAM,aAAa,SAAS,CAAC;AAEpC,6DAA6D;AAC7D,MAAM,WAAW,qBAAqB;IACpC,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;CACf;AAkDD;;;;GAIG;AACH,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,gBAAgB,GAAG,SAAS,EACxC,MAAM,GAAE,eAA0C,GACjD,qBAAqB,CASvB;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,CAAC,EAAE;IACzC,eAAe,CAAC,EAAE,eAAe,CAAC;IAClC,oFAAoF;IACpF,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,qBAAqB,CAAC,EAAE,MAAM,CAAC;CAChC,GAAG,MAAM,CAOT;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAEzD"}

package/dist/audit/orchestrator/intentCheckpointGate.js

@@ -1,3 +1,4 @@
+// sites-pinned: tests/audit/intent-equivalence-executor.test.ts, tests/audit/intent-checkpoint-gate.test.ts
 /**
  * O2 — the intent_checkpoint semantic-equivalence gate (DD-9, wired).
  *
@@ -48,7 +49,7 @@ import { DESIGN_REVIEW_PROVENANCE_FIELDS } from 'audit-tools/shared';
  * reinterpretation, not provenance).
  */
 export const DEFAULT_NORMALIZE_CONFIG = {
-    version: 'intent-checkpoint-normalize/v4',
+    version: 'intent-checkpoint-normalize/v5',
     structuredFields: [
         'schema_version',
         'excluded_scope',
@@ -61,6 +62,7 @@ export const DEFAULT_NORMALIZE_CONFIG = {
         // a `custom` choice runs: a changed closing action or command is a
         // deterministic delta, never a judged rephrase.
         'closing_action',
+        'conformance_review',
         'closing_custom_command',
     ],
     // `constraint_clauses` is PROSE per DD-9's explicit listing (host_answer
@@ -76,7 +78,7 @@ export const DEFAULT_NORMALIZE_CONFIG = {
     ],
 };
 /** Static prompt-template version — bump on any judge-prompt change. */
-export const INTENT_GATE_PROMPT_TEMPLATE_VERSION = 'intent-checkpoint-judge-prompt/v1';
+export const INTENT_GATE_PROMPT_TEMPLATE_VERSION = 'intent-checkpoint-judge-prompt/v2';
 /**
  * The locally-resolved judge id (conversation-first: the host agent is always
  * the judge). A constant so every `gate_version` component is derivable at

package/dist/audit/orchestrator/intentCheckpointGate.js.map

@@ -1 +1 @@
-{"version":3,"file":"intentCheckpointGate.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/intentCheckpointGate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAClE,OAAO,EAAE,+BAA+B,EAAE,MAAM,oBAAoB,CAAC;AAuBrE;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAoB;IACvD,OAAO,EAAE,gCAAgC;IACzC,gBAAgB,EAAE;QAChB,gBAAgB;QAChB,gBAAgB;QAChB,gBAAgB;QAChB,SAAS;QACT,uBAAuB;QACvB,gBAAgB;QAChB,eAAe;QACf,2EAA2E;QAC3E,mEAAmE;QACnE,gDAAgD;QAChD,gBAAgB;QAChB,wBAAwB;KACzB;IACD,yEAAyE;IACzE,4EAA4E;IAC5E,2EAA2E;IAC3E,+EAA+E;IAC/E,eAAe;IACf,WAAW,EAAE;QACX,eAAe;QACf,gBAAgB;QAChB,kBAAkB;QAClB,oBAAoB;KACrB;CACF,CAAC;AAEF,wEAAwE;AACxE,MAAM,CAAC,MAAM,mCAAmC,GAAG,mCAAmC,CAAC;AAEvF;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC;AAQpC;;;;;;;;;;;;;;GAcG;AACH,SAAS,2BAA2B,CAAC,KAAc;IACjD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,+BAA+B,CAAC,CAAC;IACtD,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,CAAC,MAAM,CACrD,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAC1B,CACF,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,UAA4B,EAC5B,MAA2C;IAE3C,MAAM,UAAU,GAA4B,EAAE,CAAC;IAC/C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,sEAAsE;YACtE,yEAAyE;YACzE,UAAU,CAAC,KAAe,CAAC;gBACzB,OAAO,KAAK,KAAK,QAAQ;oBACvB,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE;oBACd,CAAC,CAAC,KAAK,KAAK,eAAe;wBACzB,CAAC,CAAC,2BAA2B,CAAC,KAAK,CAAC;wBACpC,CAAC,CAAC,KAAK,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,eAAe,CAAC,UAAU,CAAC,CAAC;AACrC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CACtC,UAAwC,EACxC,SAA0B,wBAAwB;IAElD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,MAAM,GAAG,eAAe,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QACnD,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAC/C,CAAC;IACD,OAAO;QACL,UAAU,EAAE,aAAa,CAAC,UAAU,EAAE,MAAM,CAAC,gBAAgB,CAAC;QAC9D,KAAK,EAAE,aAAa,CAAC,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC;KACrD,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAKlC;IACC,MAAM,eAAe,GAAG,KAAK,EAAE,eAAe,IAAI,wBAAwB,CAAC;IAC3E,MAAM,OAAO,GAAG,KAAK,EAAE,OAAO,IAAI,aAAa,CAAC;IAChD,MAAM,qBAAqB,GACzB,KAAK,EAAE,qBAAqB,IAAI,mCAAmC,CAAC;IACtE,MAAM,UAAU,GAAG,WAAW,CAAC,eAAe,CAAC,eAAe,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IACjF,OAAO,GAAG,UAAU,IAAI,OAAO,IAAI,qBAAqB,EAAE,CAAC;AAC7D,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,UAAkB;IAC/C,OAAO,WAAW,CAAC,UAAU,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;AACjD,CAAC"}
+{"version":3,"file":"intentCheckpointGate.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/intentCheckpointGate.ts"],"names":[],"mappings":"AAAA,4GAA4G;AAC5G;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAClE,OAAO,EAAE,+BAA+B,EAAE,MAAM,oBAAoB,CAAC;AAuBrE;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAoB;IACvD,OAAO,EAAE,gCAAgC;IACzC,gBAAgB,EAAE;QAChB,gBAAgB;QAChB,gBAAgB;QAChB,gBAAgB;QAChB,SAAS;QACT,uBAAuB;QACvB,gBAAgB;QAChB,eAAe;QACf,2EAA2E;QAC3E,mEAAmE;QACnE,gDAAgD;QAChD,gBAAgB;QAChB,oBAAoB;QACpB,wBAAwB;KACzB;IACD,yEAAyE;IACzE,4EAA4E;IAC5E,2EAA2E;IAC3E,+EAA+E;IAC/E,eAAe;IACf,WAAW,EAAE;QACX,eAAe;QACf,gBAAgB;QAChB,kBAAkB;QAClB,oBAAoB;KACrB;CACF,CAAC;AAEF,wEAAwE;AACxE,MAAM,CAAC,MAAM,mCAAmC,GAAG,mCAAmC,CAAC;AAEvF;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC;AAQpC;;;;;;;;;;;;;;GAcG;AACH,SAAS,2BAA2B,CAAC,KAAc;IACjD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,+BAA+B,CAAC,CAAC;IACtD,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,CAAC,MAAM,CACrD,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAC1B,CACF,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,UAA4B,EAC5B,MAA2C;IAE3C,MAAM,UAAU,GAA4B,EAAE,CAAC;IAC/C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,sEAAsE;YACtE,yEAAyE;YACzE,UAAU,CAAC,KAAe,CAAC;gBACzB,OAAO,KAAK,KAAK,QAAQ;oBACvB,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE;oBACd,CAAC,CAAC,KAAK,KAAK,eAAe;wBACzB,CAAC,CAAC,2BAA2B,CAAC,KAAK,CAAC;wBACpC,CAAC,CAAC,KAAK,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,eAAe,CAAC,UAAU,CAAC,CAAC;AACrC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CACtC,UAAwC,EACxC,SAA0B,wBAAwB;IAElD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,MAAM,GAAG,eAAe,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QACnD,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAC/C,CAAC;IACD,OAAO;QACL,UAAU,EAAE,aAAa,CAAC,UAAU,EAAE,MAAM,CAAC,gBAAgB,CAAC;QAC9D,KAAK,EAAE,aAAa,CAAC,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC;KACrD,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAKlC;IACC,MAAM,eAAe,GAAG,KAAK,EAAE,eAAe,IAAI,wBAAwB,CAAC;IAC3E,MAAM,OAAO,GAAG,KAAK,EAAE,OAAO,IAAI,aAAa,CAAC;IAChD,MAAM,qBAAqB,GACzB,KAAK,EAAE,qBAAqB,IAAI,mCAAmC,CAAC;IACtE,MAAM,UAAU,GAAG,WAAW,CAAC,eAAe,CAAC,eAAe,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IACjF,OAAO,GAAG,UAAU,IAAI,OAAO,IAAI,qBAAqB,EAAE,CAAC;AAC7D,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,UAAkB;IAC/C,OAAO,WAAW,CAAC,UAAU,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;AACjD,CAAC"}

package/dist/audit/orchestrator/intentEquivalenceExecutor.d.ts

@@ -30,6 +30,7 @@ import type { ArtifactBundle } from "../io/artifacts.js";
 import type { ExecutorRunResult } from "./executorResult.js";
 export declare const IntentEquivalenceVerdictSchema: z.ZodObject<{
     verdict: z.ZodEnum<["equivalent", "changed"]>;
+    rationale: z.ZodOptional<z.ZodString>;
     judged_pair: z.ZodObject<{
         prior_hash: z.ZodString;
         new_hash: z.ZodString;
@@ -46,12 +47,14 @@ export declare const IntentEquivalenceVerdictSchema: z.ZodObject<{
         prior_hash: string;
         new_hash: string;
     };
+    rationale?: string | undefined;
 }, {
     verdict: "equivalent" | "changed";
     judged_pair: {
         prior_hash: string;
         new_hash: string;
     };
+    rationale?: string | undefined;
 }>;
 export type IntentEquivalenceVerdictSubmission = z.infer<typeof IntentEquivalenceVerdictSchema>;
 export type IntentEquivalenceStatus = {

package/dist/audit/orchestrator/intentEquivalenceExecutor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"intentEquivalenceExecutor.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/intentEquivalenceExecutor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAQ7D,eAAO,MAAM,8BAA8B;;;;;;;;;;;;;;;;;;;;;;;;EAUhC,CAAC;AACZ,MAAM,MAAM,kCAAkC,GAAG,CAAC,CAAC,KAAK,CACtD,OAAO,8BAA8B,CACtC,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAC/B;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,GACrB;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,GAC1B;IAAE,IAAI,EAAE,oBAAoB,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,oBAAoB,CAAA;CAAE,GAC9B;IACE,IAAI,EAAE,wBAAwB,CAAC;IAC/B,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC;AAEN,sEAAsE;AACtE,wBAAgB,6BAA6B,CAC3C,MAAM,EAAE,cAAc,GACrB,uBAAuB,CAsBzB;AAsBD;;;;GAIG;AACH,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,cAAc,EACtB,OAAO,CAAC,EAAE,kCAAkC,GAC3C,iBAAiB,CAsHnB"}
+{"version":3,"file":"intentEquivalenceExecutor.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/intentEquivalenceExecutor.ts"],"names":[],"mappings":"AACA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAQ7D,eAAO,MAAM,8BAA8B;;;;;;;;;;;;;;;;;;;;;;;;;;;EAWhC,CAAC;AACZ,MAAM,MAAM,kCAAkC,GAAG,CAAC,CAAC,KAAK,CACtD,OAAO,8BAA8B,CACtC,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAC/B;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,GACrB;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,GAC1B;IAAE,IAAI,EAAE,oBAAoB,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,oBAAoB,CAAA;CAAE,GAC9B;IACE,IAAI,EAAE,wBAAwB,CAAC;IAC/B,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC;AAEN,sEAAsE;AACtE,wBAAgB,6BAA6B,CAC3C,MAAM,EAAE,cAAc,GACrB,uBAAuB,CAsBzB;AAsBD;;;;GAIG;AACH,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,cAAc,EACtB,OAAO,CAAC,EAAE,kCAAkC,GAC3C,iBAAiB,CAsHnB"}

package/dist/audit/orchestrator/intentEquivalenceExecutor.js

@@ -1,3 +1,4 @@
+// sites-pinned: tests/audit/intent-equivalence-executor.test.ts
 /**
  * DD-9 — the intent-equivalence obligation's executor.
  *
@@ -32,6 +33,7 @@ import { hashArtifactValue } from "../../shared/artifactFreshness.js";
 export const IntentEquivalenceVerdictSchema = z
     .object({
     verdict: z.enum(["equivalent", "changed"]),
+    rationale: z.string().optional(),
     judged_pair: z
         .object({
         prior_hash: z.string(),

package/dist/audit/orchestrator/intentEquivalenceExecutor.js.map

@@ -1 +1 @@
-{"version":3,"file":"intentEquivalenceExecutor.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/intentEquivalenceExecutor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AAIvE,OAAO,EACL,kBAAkB,EAClB,wBAAwB,EACxB,cAAc,GACf,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,iBAAiB,EAAE,MAAM,mCAAmC,CAAC;AAEtE,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC;KAC5C,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;IAC1C,WAAW,EAAE,CAAC;SACX,MAAM,CAAC;QACN,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;QACtB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;KACrB,CAAC;SACD,MAAM,EAAE;CACZ,CAAC;KACD,MAAM,EAAE,CAAC;AAkBZ,sEAAsE;AACtE,MAAM,UAAU,6BAA6B,CAC3C,MAAsB;IAEtB,MAAM,UAAU,GAAG,MAAM,CAAC,iBAAiB,CAAC;IAC5C,IAAI,CAAC,UAAU;QAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IAC9C,MAAM,QAAQ,GAAG,MAAM,CAAC,iBAAiB,EAAE,eAAe,CAAC;IAC3D,IAAI,CAAC,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC;IACjD,IAAI,QAAQ,CAAC,YAAY,KAAK,kBAAkB,EAAE,EAAE,CAAC;QACnD,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,CAAC;IACxC,CAAC;IACD,MAAM,KAAK,GAAG,wBAAwB,CAAC,UAAU,CAAC,CAAC;IACnD,IAAI,KAAK,CAAC,UAAU,KAAK,QAAQ,CAAC,qBAAqB,EAAE,CAAC;QACxD,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,CAAC;IACxC,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,gBAAgB,EAAE,CAAC;QAC9C,OAAO;YACL,IAAI,EAAE,wBAAwB;YAC9B,WAAW,EAAE,QAAQ,CAAC,gBAAgB;YACtC,aAAa,EAAE,KAAK,CAAC,KAAK;YAC1B,UAAU,EAAE,cAAc,CAAC,QAAQ,CAAC,gBAAgB,CAAC;YACrD,QAAQ,EAAE,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC;SACtC,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;AAC/B,CAAC;AAED,SAAS,YAAY,CACnB,MAAsB,EACtB,QAAwB;IAExB,MAAM,QAAQ,GAAG,MAAM,CAAC,iBAAiB,IAAI;QAC3C,uBAAuB,EAAE,uBAAuB;QAChD,SAAS,EAAE,EAAE;KACd,CAAC;IACF,OAAO;QACL,GAAG,MAAM;QACT,iBAAiB,EAAE,EAAE,GAAG,QAAQ,EAAE,eAAe,EAAE,QAAQ,EAAE;KAC9D,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAsB;IAClD,OAAO,CACL,MAAM,CAAC,iBAAiB,EAAE,SAAS,CAAC,wBAAwB,CAAC,EAAE,QAAQ,IAAI,CAAC,CAC7E,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,2BAA2B,CACzC,MAAsB,EACtB,OAA4C;IAE5C,MAAM,MAAM,GAAG,6BAA6B,CAAC,MAAM,CAAC,CAAC;IACrD,MAAM,UAAU,GAAG,MAAM,CAAC,iBAAiB,CAAC;IAC5C,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,UAAU,EAAE,CAAC;QAC/C,OAAO;YACL,OAAO,EAAE,MAAM;YACf,iBAAiB,EAAE,EAAE;YACrB,gBAAgB,EACd,kEAAkE;SACrE,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,wBAAwB,CAAC,UAAU,CAAC,CAAC;IACnD,MAAM,WAAW,GAAG,kBAAkB,EAAE,CAAC;IAEzC,MAAM,cAAc,GAAG,CAAC,GAAW,EAAqB,EAAE;QACxD,MAAM,QAAQ,GAAmB;YAC/B,qBAAqB,EAAE,KAAK,CAAC,UAAU;YACvC,gBAAgB,EAAE,KAAK,CAAC,KAAK;YAC7B,QAAQ,EAAE,oBAAoB,CAAC,MAAM,CAAC,GAAG,CAAC;YAC1C,YAAY,EAAE,WAAW;SAC1B,CAAC;QACF,OAAO;YACL,OAAO,EAAE,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC;YACvC,iBAAiB,EAAE,EAAE;YACrB,gBAAgB,EAAE,0CAA0C,GAAG,iDAAiD;SACjH,CAAC;IACJ,CAAC,CAAC;IAEF,IAAI,MAAM,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACrC,oEAAoE;QACpE,2EAA2E;QAC3E,yEAAyE;QACzE,mEAAmE;QACnE,0EAA0E;QAC1E,sEAAsE;QACtE,wEAAwE;QACxE,MAAM,KAAK,GACT,MAAM,CAAC,iBAAiB,EAAE,SAAS,CAAC,wBAAwB,CAAC,CAAC;QAChE,IACE,KAAK;YACL,KAAK,CAAC,YAAY,KAAK,iBAAiB,CAAC,wBAAwB,EAAE,UAAU,CAAC,EAC9E,CAAC;YACD,OAAO,cAAc,CACnB,4EAA4E,CAC7E,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAmB;YAC/B,qBAAqB,EAAE,KAAK,CAAC,UAAU;YACvC,gBAAgB,EAAE,KAAK,CAAC,KAAK;YAC7B,yEAAyE;YACzE,0EAA0E;YAC1E,kBAAkB;YAClB,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACnD,YAAY,EAAE,WAAW;SAC1B,CAAC;QACF,OAAO;YACL,OAAO,EAAE,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC;YACvC,iBAAiB,EAAE,EAAE;YACrB,gBAAgB,EACd,sFAAsF;SACzF,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;QACzC,OAAO,cAAc,CAAC,qEAAqE,CAAC,CAAC;IAC/F,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;QACzC,OAAO,cAAc,CAAC,mEAAmE,CAAC,CAAC;IAC7F,CAAC;IAED,yBAAyB;IACzB,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CACb,iFAAiF,CAClF,CAAC;IACJ,CAAC;IACD,IACE,OAAO,CAAC,WAAW,CAAC,UAAU,KAAK,MAAM,CAAC,UAAU;QACpD,OAAO,CAAC,WAAW,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ,EAChD,CAAC;QACD,0EAA0E;QAC1E,yEAAyE;QACzE,2EAA2E;QAC3E,qEAAqE;QACrE,oBAAoB;QACpB,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,oEAAoE;YAClE,GAAG,OAAO,CAAC,WAAW,CAAC,UAAU,IAAI,OAAO,CAAC,WAAW,CAAC,QAAQ,wBAAwB;YACzF,GAAG,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,QAAQ,gDAAgD;YACvF,kDAAkD,CACrD,CAAC;QACF,OAAO;YACL,OAAO,EAAE,MAAM;YACf,iBAAiB,EAAE,EAAE;YACrB,gBAAgB,EACd,qIAAqI;SACxI,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,cAAc,CAAC,6BAA6B,CAAC,CAAC;IACvD,CAAC;IACD,6EAA6E;IAC7E,gFAAgF;IAChF,MAAM,QAAQ,GAAmB;QAC/B,qBAAqB,EAAE,KAAK,CAAC,UAAU;QACvC,gBAAgB,EAAE,KAAK,CAAC,KAAK;QAC7B,QAAQ,EACN,MAAM,CAAC,iBAAiB,EAAE,eAAe,EAAE,QAAQ;YACnD,IAAI,CAAC,GAAG,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC3C,YAAY,EAAE,WAAW;KAC1B,CAAC;IACF,OAAO;QACL,OAAO,EAAE,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC;QACvC,iBAAiB,EAAE,EAAE;QACrB,gBAAgB,EACd,+HAA+H;KAClI,CAAC;AACJ,CAAC"}
+{"version":3,"file":"intentEquivalenceExecutor.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/intentEquivalenceExecutor.ts"],"names":[],"mappings":"AAAA,gEAAgE;AAChE;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AAIvE,OAAO,EACL,kBAAkB,EAClB,wBAAwB,EACxB,cAAc,GACf,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,iBAAiB,EAAE,MAAM,mCAAmC,CAAC;AAEtE,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC;KAC5C,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;IAC1C,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAChC,WAAW,EAAE,CAAC;SACX,MAAM,CAAC;QACN,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;QACtB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;KACrB,CAAC;SACD,MAAM,EAAE;CACZ,CAAC;KACD,MAAM,EAAE,CAAC;AAkBZ,sEAAsE;AACtE,MAAM,UAAU,6BAA6B,CAC3C,MAAsB;IAEtB,MAAM,UAAU,GAAG,MAAM,CAAC,iBAAiB,CAAC;IAC5C,IAAI,CAAC,UAAU;QAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IAC9C,MAAM,QAAQ,GAAG,MAAM,CAAC,iBAAiB,EAAE,eAAe,CAAC;IAC3D,IAAI,CAAC,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC;IACjD,IAAI,QAAQ,CAAC,YAAY,KAAK,kBAAkB,EAAE,EAAE,CAAC;QACnD,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,CAAC;IACxC,CAAC;IACD,MAAM,KAAK,GAAG,wBAAwB,CAAC,UAAU,CAAC,CAAC;IACnD,IAAI,KAAK,CAAC,UAAU,KAAK,QAAQ,CAAC,qBAAqB,EAAE,CAAC;QACxD,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,CAAC;IACxC,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,gBAAgB,EAAE,CAAC;QAC9C,OAAO;YACL,IAAI,EAAE,wBAAwB;YAC9B,WAAW,EAAE,QAAQ,CAAC,gBAAgB;YACtC,aAAa,EAAE,KAAK,CAAC,KAAK;YAC1B,UAAU,EAAE,cAAc,CAAC,QAAQ,CAAC,gBAAgB,CAAC;YACrD,QAAQ,EAAE,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC;SACtC,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;AAC/B,CAAC;AAED,SAAS,YAAY,CACnB,MAAsB,EACtB,QAAwB;IAExB,MAAM,QAAQ,GAAG,MAAM,CAAC,iBAAiB,IAAI;QAC3C,uBAAuB,EAAE,uBAAuB;QAChD,SAAS,EAAE,EAAE;KACd,CAAC;IACF,OAAO;QACL,GAAG,MAAM;QACT,iBAAiB,EAAE,EAAE,GAAG,QAAQ,EAAE,eAAe,EAAE,QAAQ,EAAE;KAC9D,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAsB;IAClD,OAAO,CACL,MAAM,CAAC,iBAAiB,EAAE,SAAS,CAAC,wBAAwB,CAAC,EAAE,QAAQ,IAAI,CAAC,CAC7E,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,2BAA2B,CACzC,MAAsB,EACtB,OAA4C;IAE5C,MAAM,MAAM,GAAG,6BAA6B,CAAC,MAAM,CAAC,CAAC;IACrD,MAAM,UAAU,GAAG,MAAM,CAAC,iBAAiB,CAAC;IAC5C,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,UAAU,EAAE,CAAC;QAC/C,OAAO;YACL,OAAO,EAAE,MAAM;YACf,iBAAiB,EAAE,EAAE;YACrB,gBAAgB,EACd,kEAAkE;SACrE,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,wBAAwB,CAAC,UAAU,CAAC,CAAC;IACnD,MAAM,WAAW,GAAG,kBAAkB,EAAE,CAAC;IAEzC,MAAM,cAAc,GAAG,CAAC,GAAW,EAAqB,EAAE;QACxD,MAAM,QAAQ,GAAmB;YAC/B,qBAAqB,EAAE,KAAK,CAAC,UAAU;YACvC,gBAAgB,EAAE,KAAK,CAAC,KAAK;YAC7B,QAAQ,EAAE,oBAAoB,CAAC,MAAM,CAAC,GAAG,CAAC;YAC1C,YAAY,EAAE,WAAW;SAC1B,CAAC;QACF,OAAO;YACL,OAAO,EAAE,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC;YACvC,iBAAiB,EAAE,EAAE;YACrB,gBAAgB,EAAE,0CAA0C,GAAG,iDAAiD;SACjH,CAAC;IACJ,CAAC,CAAC;IAEF,IAAI,MAAM,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACrC,oEAAoE;QACpE,2EAA2E;QAC3E,yEAAyE;QACzE,mEAAmE;QACnE,0EAA0E;QAC1E,sEAAsE;QACtE,wEAAwE;QACxE,MAAM,KAAK,GACT,MAAM,CAAC,iBAAiB,EAAE,SAAS,CAAC,wBAAwB,CAAC,CAAC;QAChE,IACE,KAAK;YACL,KAAK,CAAC,YAAY,KAAK,iBAAiB,CAAC,wBAAwB,EAAE,UAAU,CAAC,EAC9E,CAAC;YACD,OAAO,cAAc,CACnB,4EAA4E,CAC7E,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAmB;YAC/B,qBAAqB,EAAE,KAAK,CAAC,UAAU;YACvC,gBAAgB,EAAE,KAAK,CAAC,KAAK;YAC7B,yEAAyE;YACzE,0EAA0E;YAC1E,kBAAkB;YAClB,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACnD,YAAY,EAAE,WAAW;SAC1B,CAAC;QACF,OAAO;YACL,OAAO,EAAE,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC;YACvC,iBAAiB,EAAE,EAAE;YACrB,gBAAgB,EACd,sFAAsF;SACzF,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;QACzC,OAAO,cAAc,CAAC,qEAAqE,CAAC,CAAC;IAC/F,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;QACzC,OAAO,cAAc,CAAC,mEAAmE,CAAC,CAAC;IAC7F,CAAC;IAED,yBAAyB;IACzB,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CACb,iFAAiF,CAClF,CAAC;IACJ,CAAC;IACD,IACE,OAAO,CAAC,WAAW,CAAC,UAAU,KAAK,MAAM,CAAC,UAAU;QACpD,OAAO,CAAC,WAAW,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ,EAChD,CAAC;QACD,0EAA0E;QAC1E,yEAAyE;QACzE,2EAA2E;QAC3E,qEAAqE;QACrE,oBAAoB;QACpB,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,oEAAoE;YAClE,GAAG,OAAO,CAAC,WAAW,CAAC,UAAU,IAAI,OAAO,CAAC,WAAW,CAAC,QAAQ,wBAAwB;YACzF,GAAG,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,QAAQ,gDAAgD;YACvF,kDAAkD,CACrD,CAAC;QACF,OAAO;YACL,OAAO,EAAE,MAAM;YACf,iBAAiB,EAAE,EAAE;YACrB,gBAAgB,EACd,qIAAqI;SACxI,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,cAAc,CAAC,6BAA6B,CAAC,CAAC;IACvD,CAAC;IACD,6EAA6E;IAC7E,gFAAgF;IAChF,MAAM,QAAQ,GAAmB;QAC/B,qBAAqB,EAAE,KAAK,CAAC,UAAU;QACvC,gBAAgB,EAAE,KAAK,CAAC,KAAK;QAC7B,QAAQ,EACN,MAAM,CAAC,iBAAiB,EAAE,eAAe,EAAE,QAAQ;YACnD,IAAI,CAAC,GAAG,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC3C,YAAY,EAAE,WAAW;KAC1B,CAAC;IACF,OAAO;QACL,OAAO,EAAE,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC;QACvC,iBAAiB,EAAE,EAAE;QACrB,gBAAgB,EACd,+HAA+H;KAClI,CAAC;AACJ,CAAC"}

package/dist/audit/orchestrator/intentInterpreter.d.ts

@@ -21,14 +21,6 @@ import type { ConstraintClauseRecord, FreeFormIntentInterpretation, IntentCheckp
  * @param freeFormIntent - Raw free_form_intent from IntentCheckpoint (may be empty).
  */
 export declare function interpretFreeFormIntentForAudit(freeFormIntent: string): FreeFormIntentInterpretation;
-/**
- * A blocking checkpoint question that the host has not yet answered.
- * Alias of the shared {@link ConstraintClauseRecord}: the identity-keyed
- * resolution semantics (CE-004) live in audit-tools/shared
- * (`intent/constraintClauses.ts`) so remediate's sidecar consumer and this
- * gate cannot drift.
- */
-export type UnresolvedConstraintClause = ConstraintClauseRecord;
 /**
  * Compute the blocking checkpoint questions raised by an intent checkpoint's
  * `free_form_intent` that the host has NOT yet resolved.
@@ -49,5 +41,5 @@ export type UnresolvedConstraintClause = ConstraintClauseRecord;
  * single shared authority (`interpretFreeFormIntentForAudit` → shared
  * `interpretIntent`).
  */
-export declare function unresolvedConstraintClauses(checkpoint: IntentCheckpoint | undefined): UnresolvedConstraintClause[];
+export declare function unresolvedConstraintClauses(checkpoint: IntentCheckpoint | undefined): ConstraintClauseRecord[];
 //# sourceMappingURL=intentInterpreter.d.ts.map

package/dist/audit/orchestrator/intentInterpreter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"intentInterpreter.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/intentInterpreter.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAOH,OAAO,KAAK,EACV,sBAAsB,EACtB,4BAA4B,EAE5B,gBAAgB,EACjB,MAAM,oBAAoB,CAAC;AAsB5B;;;;;;;GAOG;AACH,wBAAgB,+BAA+B,CAC7C,cAAc,EAAE,MAAM,GACrB,4BAA4B,CAyB9B;AAMD;;;;;;GAMG;AACH,MAAM,MAAM,0BAA0B,GAAG,sBAAsB,CAAC;AAEhE;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,2BAA2B,CACzC,UAAU,EAAE,gBAAgB,GAAG,SAAS,GACvC,0BAA0B,EAAE,CAoB9B"}
+{"version":3,"file":"intentInterpreter.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/intentInterpreter.ts"],"names":[],"mappings":"AACA;;;;;;;;;;;;GAYG;AAQH,OAAO,KAAK,EACV,sBAAsB,EACtB,4BAA4B,EAE5B,gBAAgB,EACjB,MAAM,oBAAoB,CAAC;AAsB5B;;;;;;;GAOG;AACH,wBAAgB,+BAA+B,CAC7C,cAAc,EAAE,MAAM,GACrB,4BAA4B,CAyB9B;AAMD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,2BAA2B,CACzC,UAAU,EAAE,gBAAgB,GAAG,SAAS,GACvC,sBAAsB,EAAE,CAY1B"}

package/dist/audit/orchestrator/intentInterpreter.js

@@ -1,3 +1,4 @@
+// sites-pinned: tests/audit/free-form-intent-escalation.test.ts
 /**
  * audit-code free_form_intent interpreter consumer.
  *
@@ -11,7 +12,7 @@
  * charge's plan/prompt/workload scope, and the guarded boundary is the
  * worker-facing prompt surface, not every derived field.
  */
-import { interpretIntent, unresolvedFromClauses, FREE_FORM_INTENT_INTERPRETATION_VERSION, } from "audit-tools/shared";
+import { interpretIntent, unresolvedFromClauses, constraintClausesFromIntent, FREE_FORM_INTENT_INTERPRETATION_VERSION, } from "audit-tools/shared";
 // ---------------------------------------------------------------------------
 // Internal helpers
 // ---------------------------------------------------------------------------
@@ -61,6 +62,9 @@ export function interpretFreeFormIntentForAudit(freeFormIntent) {
         has_unencodable: result.has_unencodable,
     };
 }
+// ---------------------------------------------------------------------------
+// Blocking-escalation gate
+// ---------------------------------------------------------------------------
 /**
  * Compute the blocking checkpoint questions raised by an intent checkpoint's
  * `free_form_intent` that the host has NOT yet resolved.
@@ -89,16 +93,7 @@ export function unresolvedConstraintClauses(checkpoint) {
     const result = interpretIntent(freeForm);
     if (!result.has_unencodable)
         return [];
-    const records = [];
-    for (const clause of result.clauses) {
-        if (clause.encodable || !clause.checkpoint_question)
-            continue;
-        records.push({
-            clause_id: clause.clause_id,
-            text: clause.text,
-            checkpoint_question: clause.checkpoint_question,
-        });
-    }
+    const records = constraintClausesFromIntent(result.clauses);
     // Identity-keyed resolution (CE-004) is the shared core — one matcher for
     // this gate and remediate's sidecar consumer.
     return unresolvedFromClauses(records, checkpoint);

package/dist/audit/orchestrator/intentInterpreter.js.map

@@ -1 +1 @@
-{"version":3,"file":"intentInterpreter.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/intentInterpreter.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EACL,eAAe,EACf,qBAAqB,EACrB,uCAAuC,GACxC,MAAM,oBAAoB,CAAC;AAS5B,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E,MAAM,cAAc,GAAG,yCAAyC,CAAC;AAEjE,gFAAgF;AAChF,SAAS,WAAW,CAAC,MAAc;IACjC,MAAM,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IAClC,oFAAoF;IACpF,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;IACzC,OAAO,KAAyB,CAAC;AACnC,CAAC;AAED,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E;;;;;;;GAOG;AACH,MAAM,UAAU,+BAA+B,CAC7C,cAAsB;IAEtB,MAAM,MAAM,GAAG,eAAe,CAAC,cAAc,CAAC,CAAC;IAE/C,MAAM,eAAe,GAAoB,EAAE,CAAC;IAE5C,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACpC,IAAI,CAAC,MAAM,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,UAAU;YAAE,SAAS;QACtD,MAAM,KAAK,GAAkB;YAC3B,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC,IAAI;YAC5B,MAAM,EAAE,MAAM,CAAC,UAAU,CAAC,MAAM;SACjC,CAAC;QACF,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACvC,IAAI,IAAI;gBAAE,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC;QAC9B,CAAC;QACD,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;IAED,OAAO;QACL,cAAc,EAAE,uCAAuC;QACvD,eAAe;QACf,oBAAoB,EAAE,MAAM,CAAC,oBAAoB;QACjD,eAAe,EAAE,MAAM,CAAC,eAAe;KACxC,CAAC;AACJ,CAAC;AAeD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,2BAA2B,CACzC,UAAwC;IAExC,MAAM,QAAQ,GAAG,UAAU,EAAE,gBAAgB,IAAI,EAAE,CAAC;IACpD,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE;QAAE,OAAO,EAAE,CAAC;IAEhC,+EAA+E;IAC/E,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;IACzC,IAAI,CAAC,MAAM,CAAC,eAAe;QAAE,OAAO,EAAE,CAAC;IAEvC,MAAM,OAAO,GAA6B,EAAE,CAAC;IAC7C,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACpC,IAAI,MAAM,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,mBAAmB;YAAE,SAAS;QAC9D,OAAO,CAAC,IAAI,CAAC;YACX,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;SAChD,CAAC,CAAC;IACL,CAAC;IACD,0EAA0E;IAC1E,8CAA8C;IAC9C,OAAO,qBAAqB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;AACpD,CAAC"}
+{"version":3,"file":"intentInterpreter.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/intentInterpreter.ts"],"names":[],"mappings":"AAAA,gEAAgE;AAChE;;;;;;;;;;;;GAYG;AAEH,OAAO,EACL,eAAe,EACf,qBAAqB,EACrB,2BAA2B,EAC3B,uCAAuC,GACxC,MAAM,oBAAoB,CAAC;AAS5B,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E,MAAM,cAAc,GAAG,yCAAyC,CAAC;AAEjE,gFAAgF;AAChF,SAAS,WAAW,CAAC,MAAc;IACjC,MAAM,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IAClC,oFAAoF;IACpF,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;IACzC,OAAO,KAAyB,CAAC;AACnC,CAAC;AAED,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E;;;;;;;GAOG;AACH,MAAM,UAAU,+BAA+B,CAC7C,cAAsB;IAEtB,MAAM,MAAM,GAAG,eAAe,CAAC,cAAc,CAAC,CAAC;IAE/C,MAAM,eAAe,GAAoB,EAAE,CAAC;IAE5C,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACpC,IAAI,CAAC,MAAM,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,UAAU;YAAE,SAAS;QACtD,MAAM,KAAK,GAAkB;YAC3B,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC,IAAI;YAC5B,MAAM,EAAE,MAAM,CAAC,UAAU,CAAC,MAAM;SACjC,CAAC;QACF,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACvC,IAAI,IAAI;gBAAE,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC;QAC9B,CAAC;QACD,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;IAED,OAAO;QACL,cAAc,EAAE,uCAAuC;QACvD,eAAe;QACf,oBAAoB,EAAE,MAAM,CAAC,oBAAoB;QACjD,eAAe,EAAE,MAAM,CAAC,eAAe;KACxC,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,2BAA2B;AAC3B,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,2BAA2B,CACzC,UAAwC;IAExC,MAAM,QAAQ,GAAG,UAAU,EAAE,gBAAgB,IAAI,EAAE,CAAC;IACpD,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE;QAAE,OAAO,EAAE,CAAC;IAEhC,+EAA+E;IAC/E,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;IACzC,IAAI,CAAC,MAAM,CAAC,eAAe;QAAE,OAAO,EAAE,CAAC;IAEvC,MAAM,OAAO,GAAG,2BAA2B,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC5D,0EAA0E;IAC1E,8CAA8C;IAC9C,OAAO,qBAAqB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;AACpD,CAAC"}

package/dist/audit/orchestrator/selectiveDeepening/shared.d.ts

@@ -1,10 +1,10 @@
-import type { AuditResult, AuditTask, Finding, Lens } from "../../types.js";
+import type { AuditResult, AuditTask, Finding } from "../../types.js";
 import type { ExternalAnalyzerResults } from "audit-tools/shared";
 export declare const DEEPENING_TAG = "selective_deepening";
 export declare const LENS_VERIFICATION_TAG = "lens_verification";
 export declare const LENS_VERIFICATION_FOLLOWUP_TAG = "lens_verification_followup";
 export declare const MAX_VERIFICATION_FOLLOWUP_TASKS_PER_RESULT = 4;
-export declare const IMPORTANT_LENS_VERIFICATION_LENSES: Set<Lens>;
+export declare const IMPORTANT_LENS_VERIFICATION_LENSES: Set<"architecture" | "correctness" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability">;
 export declare const SEVERITY_RANK: Record<Finding["severity"], number>;
 export declare const CONFIDENCE_RANK: Record<Finding["confidence"], number>;
 export declare function priorityRank(priority: AuditTask["priority"]): number;

package/dist/audit/orchestrator/selectiveDeepening/shared.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../../../src/audit/orchestrator/selectiveDeepening/shared.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAC5E,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAOlE,eAAO,MAAM,aAAa,wBAAwB,CAAC;AACnD,eAAO,MAAM,qBAAqB,sBAAsB,CAAC;AACzD,eAAO,MAAM,8BAA8B,+BAA+B,CAAC;AAS3E,eAAO,MAAM,0CAA0C,IAAI,CAAC;AAC5D,eAAO,MAAM,kCAAkC,WAI7C,CAAC;AAKH,eAAO,MAAM,aAAa,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,MAAM,CAI3D,CAAC;AAEJ,eAAO,MAAM,eAAe,EAAE,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,MAAM,CAI/D,CAAC;AAEJ,wBAAgB,YAAY,CAAC,QAAQ,EAAE,SAAS,CAAC,UAAU,CAAC,GAAG,MAAM,CAUpE;AAED,MAAM,WAAW,kCAAkC;IACjD,aAAa,CAAC,EAAE,SAAS,EAAE,CAAC;IAC5B,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,sBAAsB,CAAC,EAAE,OAAO,kCAAkC,EAAE,6BAA6B,CAAC;IAClG,uBAAuB,CAAC,EAAE,OAAO,kCAAkC,EAAE,uBAAuB,CAAC;IAC7F,uBAAuB,CAAC,EAAE,uBAAuB,EAAE,CAAC;CACrD;AAED,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,WAAW,CAAC;IACpB,IAAI,CAAC,EAAE,SAAS,CAAC;IACjB,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,GAAG,OAAO,CAEpE;AAED,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,GAAG,OAAO,CAE3E;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAKrD;AAID,wBAAgB,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE,CAE/D;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,OAAO,CAGnE;AAED,wBAAgB,eAAe,CAC7B,OAAO,EAAE,OAAO,EAChB,MAAM,EAAE,WAAW,EACnB,IAAI,EAAE,SAAS,GAAG,SAAS,GAC1B,MAAM,EAAE,CAaV;AAED,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAKlE;AAGD,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAKrE;AAED,wBAAgB,aAAa,CAC3B,QAAQ,EAAE,SAAS,CAAC,UAAU,CAAC,GAC9B,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAEpC;AAED,wBAAgB,wBAAwB,CACtC,uBAAuB,CAAC,EAAE,uBAAuB,EAAE,GAClD,GAAG,CAAC,MAAM,CAAC,CAWb;AAED,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,OAAO,EACd,QAAQ,GAAE,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,CAAY,GACtD,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAIpC"}
+{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../../../src/audit/orchestrator/selectiveDeepening/shared.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,OAAO,EAAQ,MAAM,gBAAgB,CAAC;AAC5E,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAOlE,eAAO,MAAM,aAAa,wBAAwB,CAAC;AACnD,eAAO,MAAM,qBAAqB,sBAAsB,CAAC;AACzD,eAAO,MAAM,8BAA8B,+BAA+B,CAAC;AAS3E,eAAO,MAAM,0CAA0C,IAAI,CAAC;AAC5D,eAAO,MAAM,kCAAkC,2LAI7C,CAAC;AAKH,eAAO,MAAM,aAAa,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,MAAM,CAI3D,CAAC;AAEJ,eAAO,MAAM,eAAe,EAAE,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,MAAM,CAI/D,CAAC;AAEJ,wBAAgB,YAAY,CAAC,QAAQ,EAAE,SAAS,CAAC,UAAU,CAAC,GAAG,MAAM,CAUpE;AAED,MAAM,WAAW,kCAAkC;IACjD,aAAa,CAAC,EAAE,SAAS,EAAE,CAAC;IAC5B,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,sBAAsB,CAAC,EAAE,OAAO,kCAAkC,EAAE,6BAA6B,CAAC;IAClG,uBAAuB,CAAC,EAAE,OAAO,kCAAkC,EAAE,uBAAuB,CAAC;IAC7F,uBAAuB,CAAC,EAAE,uBAAuB,EAAE,CAAC;CACrD;AAED,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,WAAW,CAAC;IACpB,IAAI,CAAC,EAAE,SAAS,CAAC;IACjB,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,GAAG,OAAO,CAEpE;AAED,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,GAAG,OAAO,CAE3E;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAKrD;AAID,wBAAgB,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE,CAE/D;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,OAAO,CAGnE;AAED,wBAAgB,eAAe,CAC7B,OAAO,EAAE,OAAO,EAChB,MAAM,EAAE,WAAW,EACnB,IAAI,EAAE,SAAS,GAAG,SAAS,GAC1B,MAAM,EAAE,CAaV;AAED,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAKlE;AAGD,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAKrE;AAED,wBAAgB,aAAa,CAC3B,QAAQ,EAAE,SAAS,CAAC,UAAU,CAAC,GAC9B,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAEpC;AAED,wBAAgB,wBAAwB,CACtC,uBAAuB,CAAC,EAAE,uBAAuB,EAAE,GAClD,GAAG,CAAC,MAAM,CAAC,CAWb;AAED,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,OAAO,EACd,QAAQ,GAAE,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,CAAY,GACtD,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAIpC"}

package/dist/audit/orchestrator/staleness.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"staleness.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/staleness.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AA6BzD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,qBAAa,gBAAiB,SAAQ,GAAG,CAAC,MAAM,CAAC;IAC/C,iGAAiG;IACjG,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;gBAE3B,KAAK,GAAE,QAAQ,CAAC,MAAM,CAAM,EAAE,QAAQ,GAAE,QAAQ,CAAC,MAAM,CAAM;CAe1E;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,GAC5C,WAAW,CAAC,MAAM,CAAC,GAAG,SAAS,CAEjC;AA4FD,0EAA0E;AAC1E,MAAM,WAAW,gBAAgB;IAC/B;;;;;;OAMG;IACH,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB;AAgBD;;;;GAIG;AACH,wBAAgB,mBAAmB,IAAI,IAAI,CAE1C;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,WAAW,iBAAiB;IAChC,4EAA4E;IAC5E,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,qEAAqE;IACrE,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,EAC1B,MAAM,EAAE,cAAc,GACrB,iBAAiB,GAAG,SAAS,CA2C/B;AAED,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAClB,MAAM,CAAC,EAAE,MAAM,EACf,MAAM,CAAC,EAAE,cAAc,GACtB,IAAI,CA0CN;AAED;;;;;GAKG;AACH,wBAAgB,4BAA4B,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAG5E;AAED,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,cAAc,EACtB,OAAO,GAAE,gBAAqB,GAC7B,gBAAgB,CA+MlB"}
+{"version":3,"file":"staleness.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/staleness.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AA6BzD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,qBAAa,gBAAiB,SAAQ,GAAG,CAAC,MAAM,CAAC;IAC/C,iGAAiG;IACjG,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;gBAE3B,KAAK,GAAE,QAAQ,CAAC,MAAM,CAAM,EAAE,QAAQ,GAAE,QAAQ,CAAC,MAAM,CAAM;CAe1E;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,GAC5C,WAAW,CAAC,MAAM,CAAC,GAAG,SAAS,CAEjC;AA4FD,0EAA0E;AAC1E,MAAM,WAAW,gBAAgB;IAC/B;;;;;;OAMG;IACH,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB;AAgBD;;;;GAIG;AACH,wBAAgB,mBAAmB,IAAI,IAAI,CAE1C;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,WAAW,iBAAiB;IAChC,4EAA4E;IAC5E,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,qEAAqE;IACrE,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,EAC1B,MAAM,EAAE,cAAc,GACrB,iBAAiB,GAAG,SAAS,CA2C/B;AAED,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAClB,MAAM,CAAC,EAAE,MAAM,EACf,MAAM,CAAC,EAAE,cAAc,GACtB,IAAI,CA0CN;AAED;;;;;GAKG;AACH,wBAAgB,4BAA4B,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAG5E;AAED,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,cAAc,EACtB,OAAO,GAAE,gBAAqB,GAC7B,gBAAgB,CAwMlB"}

package/dist/audit/orchestrator/staleness.js

@@ -1,3 +1,5 @@
+// sites-pinned: tests/audit/staleness.test.ts, tests/audit/dependency-slices.test.ts
+import { propagateReachability } from "../../shared/graph/orderedReachability.js";
 import { getArtifactValue } from "../io/artifacts.js";
 import { ALL_DAG_ARTIFACTS, ARTIFACT_DEPENDENTS_MAP, ARTIFACT_DEPENDS_ON_MAP, } from "./dependencyMap.js";
 import { present } from "./artifactMetadata.js";
@@ -429,47 +431,37 @@ export function computeStaleArtifacts(bundle, options = {}) {
             }
         }
     }
-    let changed = true;
-    while (changed) {
-        changed = false;
-        for (const [upstream, downstreamList] of Object.entries(ARTIFACT_DEPENDENTS_MAP)) {
-            if (!downstreamList)
-                continue;
-            if (!stale.has(upstream)) {
-                continue;
-            }
-            for (const downstream of downstreamList) {
-                if (!present(bundle, downstream) || stale.has(downstream))
-                    continue;
-                // A slice-protected edge blocks TRANSITIVE propagation too: the
-                // downstream's staleness across this edge is decided by the slice
-                // compare AFTER the upstream re-derives, not pre-emptively while the
-                // upstream is merely pending (the pre-emptive mark was the live
-                // re-fire chain: manifest churn → structure stale → charter re-fired
-                // over a byte-identical subsystem set). Safe under PRIORITY ordering:
-                // every slice-projected upstream's obligation runs before the
-                // downstream's, and staleness re-derives each drain iteration, so a
-                // slice moved by the upstream's re-derivation still fires the per-edge
-                // compare before the downstream's obligation is reached.
-                //
-                // That deferral is a DECISION POSTPONED, not a verdict of "fresh", so it
-                // is REPORTED rather than silent: the downstream is recorded as deferred
-                // and rides out on the result (INV-SSP-DEFERRED-SET-REPORTED). This
-                // module states the ordering it is safe under; it does not police it —
-                // the PRIORITY-ordering guarantee is the CALLER's precondition, owned and
-                // tested there. What this module owes the caller is that a held-back
-                // downstream is never mistaken for a decided-clean one.
-                const entry = metadata?.artifacts[downstream];
-                if (entry?.dependency_slices?.[upstream] !== undefined &&
-                    hasDependencySliceProjection(downstream, upstream)) {
-                    deferred.add(downstream);
-                    continue;
-                }
-                stale.add(downstream);
-                changed = true;
-            }
+    // Preserve the existing upstream-then-downstream scan order.
+    const edges = Object.entries(ARTIFACT_DEPENDENTS_MAP).flatMap(([upstream, downstreams]) => (downstreams ?? []).map((downstream) => [upstream, downstream]));
+    propagateReachability(stale, edges, (upstream, downstream) => {
+        if (!present(bundle, downstream))
+            return false;
+        // A slice-protected edge blocks TRANSITIVE propagation too: the
+        // downstream's staleness across this edge is decided by the slice
+        // compare AFTER the upstream re-derives, not pre-emptively while the
+        // upstream is merely pending (the pre-emptive mark was the live
+        // re-fire chain: manifest churn → structure stale → charter re-fired
+        // over a byte-identical subsystem set). Safe under PRIORITY ordering:
+        // every slice-projected upstream's obligation runs before the
+        // downstream's, and staleness re-derives each drain iteration, so a
+        // slice moved by the upstream's re-derivation still fires the per-edge
+        // compare before the downstream's obligation is reached.
+        //
+        // That deferral is a DECISION POSTPONED, not a verdict of "fresh", so it
+        // is REPORTED rather than silent: the downstream is recorded as deferred
+        // and rides out on the result (INV-SSP-DEFERRED-SET-REPORTED). This
+        // module states the ordering it is safe under; it does not police it —
+        // the PRIORITY-ordering guarantee is the CALLER's precondition, owned and
+        // tested there. What this module owes the caller is that a held-back
+        // downstream is never mistaken for a decided-clean one.
+        const entry = metadata?.artifacts[downstream];
+        if (entry?.dependency_slices?.[upstream] !== undefined &&
+            hasDependencySliceProjection(downstream, upstream)) {
+            deferred.add(downstream);
+            return false;
         }
-    }
+        return true;
+    });
     const result = new StaleArtifactSet(stale, deferred);
     if (emit)
         emitStalenessRecord(result);