audit-tools 0.52.5 → 0.54.0

package/dist/shared/prompts.js.map

@@ -1 +1 @@
-{"version":3,"file":"prompts.js","sourceRoot":"","sources":["../../src/shared/prompts.ts"],"names":[],"mappings":"AAqBA;;;;;;;;;;GAUG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAA2B;IAC9D,MAAM,EAAE,YAAY,EAAE,eAAe,EAAE,GAAG,KAAK,CAAC;IAChD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,eAAe,CAAC;IACzB,CAAC;IACD,OAAO,GAAG,YAAY,OAAO,eAAe,EAAE,CAAC;AACjD,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,4BAA4B,GACvC,yEAAyE;IACzE,6DAA6D;IAC7D,sFAAsF,CAAC;AAEzF;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,8BAA8B,CAC5C,KAAwB,EACxB,cAAiC,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,aAAa;IAEvF,IAAI,WAAW,KAAK,UAAU;QAAE,OAAO,EAAE,CAAC;IAC1C,IAAI,WAAW,KAAK,kBAAkB,EAAE,CAAC;QACvC,OAAO;;;CAGV,CAAC;IACA,CAAC;IACD,OAAO;;;;;CAKR,CAAC;AACF,CAAC;AAED;;;;;;;;GAQG;AACH,yFAAyF;AACzF,MAAM,UAAU,0BAA0B,CAAC,MAmB1C;IACC,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;IAC9B,4EAA4E;IAC5E,6EAA6E;IAC7E,2EAA2E;IAC3E,wBAAwB;IACxB,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACZ,OAAO;YACL,2GAA2G;SAC5G,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;IAClC,MAAM,WAAW,GACf,MAAM,CAAC,eAAe,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC;QACrC,CAAC,CAAC;YACE,iCAAiC,MAAM,CAAC,eAAe,qBAAqB;YAC5E,EAAE;SACH;QACH,CAAC,CAAC,EAAE,CAAC;IACT,OAAO;QACL,CAAC,MAAM,CAAC,oBAAoB,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,iBAAiB,KAAK,aAAa,CAAC,CAAC;YAClG,CAAC,CAAC,eAAe,CAAC,oBAAoB,MAAM,iYAAiY;YAC7a,CAAC,CAAC,eAAe,CAAC,oBAAoB,MAAM,+KAA+K;QAC7N,EAAE;QACF,GAAG,WAAW;QACd,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC;YACxD,CAAC,CAAC;gBACE,mMAAmM;gBACnM,EAAE;aACH;YACH,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CACjB,CAAC,IAAI,EAAE,EAAE,CACP,OAAO,IAAI,CAAC,KAAK,OAAO,IAAI,CAAC,UAAU,EAAE;YACzC,CAAC,IAAI,CAAC,MAAM;gBACV,CAAC,CAAC,kBAAkB,IAAI,CAAC,MAAM,CAAC,IAAI,gBAAgB,IAAI,CAAC,MAAM,CAAC,UAAU,UAAU,IAAI,CAAC,MAAM,CAAC,IAAI,GAAG;gBACvG,CAAC,CAAC,EAAE,CAAC;YACP,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,uBAAuB,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CACpE;QACD,EAAE;QACF,CAAC,MAAM,CAAC,oBAAoB,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,iBAAiB,KAAK,aAAa,CAAC,CAAC;YAClG,CAAC,CAAC,iLAAiL;YACnL,CAAC,CAAC,sSAAsS;KAC3S,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,qBAAqB,CAAC,cAAsB;IAC1D,OAAO,CACL,0EAA0E;QAC1E,8CAA8C,cAAc,OAAO;QACnE,yEAAyE,CAC1E,CAAC;AACJ,CAAC"}
+{"version":3,"file":"prompts.js","sourceRoot":"","sources":["../../src/shared/prompts.ts"],"names":[],"mappings":"AAoBA;;;;;;;;;;GAUG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAA2B;IAC9D,MAAM,EAAE,YAAY,EAAE,eAAe,EAAE,GAAG,KAAK,CAAC;IAChD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,eAAe,CAAC;IACzB,CAAC;IACD,OAAO,GAAG,YAAY,OAAO,eAAe,EAAE,CAAC;AACjD,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,sDAAsD,CAAC;AAC1F,MAAM,CAAC,MAAM,wBAAwB,GAAG,wDAAwD,CAAC;AAEjG;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,4BAA4B,GACvC,mGAAmG;IACnG,6DAA6D;IAC7D,sFAAsF,CAAC;AAEzF;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,8BAA8B,CAC5C,KAAwB,EACxB,cAAiC,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,aAAa;IAEvF,IAAI,WAAW,KAAK,UAAU;QAAE,OAAO,EAAE,CAAC;IAC1C,IAAI,WAAW,KAAK,kBAAkB,EAAE,CAAC;QACvC,OAAO;;;CAGV,CAAC;IACA,CAAC;IACD,OAAO;;;;;CAKR,CAAC;AACF,CAAC;AAED;;;;;;;;GAQG;AACH,yFAAyF;AACzF,MAAM,UAAU,0BAA0B,CAAC,MAmB1C;IACC,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;IAC9B,4EAA4E;IAC5E,6EAA6E;IAC7E,2EAA2E;IAC3E,wBAAwB;IACxB,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACZ,OAAO;YACL,2GAA2G;SAC5G,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;IAClC,MAAM,WAAW,GACf,MAAM,CAAC,eAAe,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC;QACrC,CAAC,CAAC;YACE,iCAAiC,MAAM,CAAC,eAAe,qBAAqB;YAC5E,EAAE;SACH;QACH,CAAC,CAAC,EAAE,CAAC;IACT,OAAO;QACL,CAAC,MAAM,CAAC,oBAAoB,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,iBAAiB,KAAK,aAAa,CAAC,CAAC;YAClG,CAAC,CAAC,eAAe,CAAC,oBAAoB,MAAM,aAAa,mBAAmB,mUAAmU;YAC/Y,CAAC,CAAC,eAAe,CAAC,oBAAoB,MAAM,gBAAgB,wBAAwB,uKAAuK;QAC7P,EAAE;QACF,GAAG,WAAW;QACd,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC;YACxD,CAAC,CAAC;gBACE,mMAAmM;gBACnM,EAAE;aACH;YACH,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CACjB,CAAC,IAAI,EAAE,EAAE,CACP,OAAO,IAAI,CAAC,KAAK,OAAO,IAAI,CAAC,UAAU,EAAE;YACzC,CAAC,IAAI,CAAC,MAAM;gBACV,CAAC,CAAC,kBAAkB,IAAI,CAAC,MAAM,CAAC,IAAI,gBAAgB,IAAI,CAAC,MAAM,CAAC,UAAU,UAAU,IAAI,CAAC,MAAM,CAAC,IAAI,GAAG;gBACvG,CAAC,CAAC,EAAE,CAAC;YACP,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,uBAAuB,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CACpE;QACD,EAAE;QACF,CAAC,MAAM,CAAC,oBAAoB,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,iBAAiB,KAAK,aAAa,CAAC,CAAC;YAClG,CAAC,CAAC,iLAAiL;YACnL,CAAC,CAAC,0SAA0S;KAC/S,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,qBAAqB,CAAC,cAAsB;IAC1D,OAAO,CACL,0EAA0E;QAC1E,8CAA8C,cAAc,OAAO;QACnE,yEAAyE,CAC1E,CAAC;AACJ,CAAC"}

package/dist/shared/reReview/projectionDiff.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"projectionDiff.d.ts","sourceRoot":"","sources":["../../../src/shared/reReview/projectionDiff.ts"],"names":[],"mappings":"AAoBA;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAYhE;AA2CD;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,GAAG,MAAM,EAAE,CAsB1E;AAID,6EAA6E;AAC7E,MAAM,WAAW,mBAAmB;IAClC,6EAA6E;IAC7E,KAAK,EAAE,MAAM,CAAC;IACd,gEAAgE;IAChE,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,MAAM,WAAW,oBAAoB;IACnC;;;OAGG;IACH,YAAY,EAAE,OAAO,CAAC;IACtB,mDAAmD;IACnD,aAAa,EAAE,mBAAmB,EAAE,CAAC;IACrC,8EAA8E;IAC9E,YAAY,EAAE,OAAO,CAAC;IACtB;;;;OAIG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;;;;;;;;;OAWG;IACH,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,oBAAoB,GAAG,MAAM,CAmC7E"}
+{"version":3,"file":"projectionDiff.d.ts","sourceRoot":"","sources":["../../../src/shared/reReview/projectionDiff.ts"],"names":[],"mappings":"AAYA;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAYhE;AA2CD;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,GAAG,MAAM,EAAE,CAsB1E;AAID,6EAA6E;AAC7E,MAAM,WAAW,mBAAmB;IAClC,6EAA6E;IAC7E,KAAK,EAAE,MAAM,CAAC;IACd,gEAAgE;IAChE,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,MAAM,WAAW,oBAAoB;IACnC;;;OAGG;IACH,YAAY,EAAE,OAAO,CAAC;IACtB,mDAAmD;IACnD,aAAa,EAAE,mBAAmB,EAAE,CAAC;IACrC,8EAA8E;IAC9E,YAAY,EAAE,OAAO,CAAC;IACtB;;;;OAIG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;;;;;;;;;OAWG;IACH,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,oBAAoB,GAAG,MAAM,CAmC7E"}

package/dist/shared/reReview/projectionDiff.js

@@ -1,20 +1,12 @@
 /**
- * Diff-based re-review primitives (shared, B2/B3).
+ * Diff-based re-review primitives.
  *
- * Both orchestrators make staleness content/semantics-aware: a dependency is
- * recorded and compared by the hash of its *semantic projection* (only the
- * load-bearing structure a downstream consumes), and a verdict-bearing review
- * that must re-run after a genuine upstream change is handed its prior verdict
- * plus the precise changed-since-last-review delta — so it re-affirms cheaply or
- * revises only the affected items, never a blind full re-run.
+ * Audit design review records and compares each dependency's semantic projection:
+ * the load-bearing structure consumed by the review. A changed input can then be
+ * shown with its prior verdict and exact delta rather than forcing a blind re-read.
  *
- * Each orchestrator owns its own *projection table* (which fields of which
- * artifact are load-bearing — remediate's `semanticProjection`, audit-code's
- * `designReviewProjection`), but the GENERIC machinery is single-sourced here:
- * the order-independent stable serialization, the leaf-level projection diff,
- * and the re-review prompt section. This keeps the two halves of the pipeline in
- * lockstep (one diff algorithm, one prompt shape) while leaving the
- * domain-specific projection to each side.
+ * Audit's designReviewProjection owns the domain-specific field selection. This
+ * module supplies stable serialization, leaf-level diffs and re-review prompt text.
  */
 import { compareCodeUnits } from "../compareCodeUnits.js";
 /**

package/dist/shared/reReview/projectionDiff.js.map

@@ -1 +1 @@
-{"version":3,"file":"projectionDiff.js","sourceRoot":"","sources":["../../../src/shared/reReview/projectionDiff.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE1D;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CAAC,KAAc;IACtD,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IACzD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAC/E,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC;SAC7D,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC;SACxC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9C,OAAO,IAAI,OAAO;SACf,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;SACjF,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAClB,CAAC;AAED,kFAAkF;AAElF,+DAA+D;AAC/D,SAAS,OAAO,CAAC,KAAc,EAAE,MAAc,EAAE,GAAwB;IACvE,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QAC1C,GAAG,CAAC,GAAG,CAAC,MAAM,IAAI,QAAQ,EAAE,MAAM,CAAC,CAAC;QACpC,OAAO;IACT,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,GAAG,CAAC,GAAG,CAAC,MAAM,IAAI,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QACnD,OAAO;IACT,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,GAAG,CAAC,GAAG,CAAC,MAAM,IAAI,QAAQ,EAAE,IAAI,CAAC,CAAC;YAClC,OAAO;QACT,CAAC;QACD,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAClE,OAAO;IACT,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAgC,CAAC,CAAC,IAAI,EAAE,CAAC;IAClE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,GAAG,CAAC,GAAG,CAAC,MAAM,IAAI,QAAQ,EAAE,IAAI,CAAC,CAAC;QAClC,OAAO;IACT,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,OAAO,CACJ,KAAiC,CAAC,GAAG,CAAC,EACvC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,EACjC,GAAG,CACJ,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,cAAc,GAAG,EAAE,CAAC;AAE1B,oEAAoE;AACpE,SAAS,KAAK,CAAC,KAAa;IAC1B,OAAO,KAAK,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;AAClE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,KAAc,EAAE,OAAgB;IAC9D,MAAM,CAAC,GAAG,IAAI,GAAG,EAAkB,CAAC;IACpC,MAAM,CAAC,GAAG,IAAI,GAAG,EAAkB,CAAC;IACpC,OAAO,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IACtB,OAAO,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IAExB,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAChE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1B,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACzB,IAAI,MAAM,KAAK,KAAK;YAAE,SAAS;QAC/B,IAAI,MAAM,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,KAAK,CAAC,KAAM,CAAC,EAAE,CAAC,CAAC;aAC9D,IAAI,KAAK,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;;YAClE,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,GAAG,cAAc,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,MAAM,GAAG,cAAc,yBAAyB,CAAC,CAAC;QAC5E,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AA2CD;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CAAC,KAA2B;IACnE,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,IAAI,QAAQ,CAAC;IAClD,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC9D,MAAM,UAAU,GAAG,KAAK,CAAC,YAAY;QACnC,CAAC,CAAC,8KAA8K;QAChL,CAAC,CAAC,KAAK,CAAC,aAAa;aAChB,GAAG,CACF,CAAC,KAAK,EAAE,EAAE,CACR,kBAAkB,KAAK,CAAC,KAAK,qBAAqB,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CACrF;aACA,IAAI,CAAC,MAAM,CAAC,CAAC;IAEpB,OAAO;;OAEF,WAAW;;;;;;EAMhB,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,yCAAyC,KAAK,CAAC,gBAAgB,QAAQ,CAAC,CAAC,CAAC,EAAE;EACrG,SAAS;;;;;EAKT,UAAU;;;;;;;;CAQX,CAAC;AACF,CAAC"}
+{"version":3,"file":"projectionDiff.js","sourceRoot":"","sources":["../../../src/shared/reReview/projectionDiff.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE1D;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CAAC,KAAc;IACtD,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IACzD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAC/E,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC;SAC7D,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC;SACxC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9C,OAAO,IAAI,OAAO;SACf,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;SACjF,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAClB,CAAC;AAED,kFAAkF;AAElF,+DAA+D;AAC/D,SAAS,OAAO,CAAC,KAAc,EAAE,MAAc,EAAE,GAAwB;IACvE,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QAC1C,GAAG,CAAC,GAAG,CAAC,MAAM,IAAI,QAAQ,EAAE,MAAM,CAAC,CAAC;QACpC,OAAO;IACT,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,GAAG,CAAC,GAAG,CAAC,MAAM,IAAI,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QACnD,OAAO;IACT,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,GAAG,CAAC,GAAG,CAAC,MAAM,IAAI,QAAQ,EAAE,IAAI,CAAC,CAAC;YAClC,OAAO;QACT,CAAC;QACD,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAClE,OAAO;IACT,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAgC,CAAC,CAAC,IAAI,EAAE,CAAC;IAClE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,GAAG,CAAC,GAAG,CAAC,MAAM,IAAI,QAAQ,EAAE,IAAI,CAAC,CAAC;QAClC,OAAO;IACT,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,OAAO,CACJ,KAAiC,CAAC,GAAG,CAAC,EACvC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,EACjC,GAAG,CACJ,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,cAAc,GAAG,EAAE,CAAC;AAE1B,oEAAoE;AACpE,SAAS,KAAK,CAAC,KAAa;IAC1B,OAAO,KAAK,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;AAClE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,KAAc,EAAE,OAAgB;IAC9D,MAAM,CAAC,GAAG,IAAI,GAAG,EAAkB,CAAC;IACpC,MAAM,CAAC,GAAG,IAAI,GAAG,EAAkB,CAAC;IACpC,OAAO,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IACtB,OAAO,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IAExB,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAChE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1B,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACzB,IAAI,MAAM,KAAK,KAAK;YAAE,SAAS;QAC/B,IAAI,MAAM,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,KAAK,CAAC,KAAM,CAAC,EAAE,CAAC,CAAC;aAC9D,IAAI,KAAK,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;;YAClE,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,GAAG,cAAc,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,MAAM,GAAG,cAAc,yBAAyB,CAAC,CAAC;QAC5E,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AA2CD;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CAAC,KAA2B;IACnE,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,IAAI,QAAQ,CAAC;IAClD,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC9D,MAAM,UAAU,GAAG,KAAK,CAAC,YAAY;QACnC,CAAC,CAAC,8KAA8K;QAChL,CAAC,CAAC,KAAK,CAAC,aAAa;aAChB,GAAG,CACF,CAAC,KAAK,EAAE,EAAE,CACR,kBAAkB,KAAK,CAAC,KAAK,qBAAqB,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CACrF;aACA,IAAI,CAAC,MAAM,CAAC,CAAC;IAEpB,OAAO;;OAEF,WAAW;;;;;;EAMhB,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,yCAAyC,KAAK,CAAC,gBAAgB,QAAQ,CAAC,CAAC,CAAC,EAAE;EACrG,SAAS;;;;;EAKT,UAAU;;;;;;;;CAQX,CAAC;AACF,CAAC"}

package/dist/shared/types/executionPlan.d.ts

@@ -0,0 +1,416 @@
+import { z } from "zod";
+/** Stable requirement identities are authored once, not derived from array position. */
+export declare const ExecutionRequirementSchema: z.ZodEffects<z.ZodObject<{
+    id: z.ZodString;
+    description: z.ZodString;
+    source_finding_ids: z.ZodArray<z.ZodString, "many">;
+    change_kind: z.ZodEnum<["behavior_change", "addition", "structural"]>;
+    assertions: z.ZodArray<z.ZodObject<{
+        kind: z.ZodEnum<["positive", "negative"]>;
+        description: z.ZodString;
+        scope_paths: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        kind: "positive" | "negative";
+        description: string;
+        scope_paths: string[];
+    }, {
+        kind: "positive" | "negative";
+        description: string;
+        scope_paths: string[];
+    }>, "many">;
+    inapplicable_reason: z.ZodOptional<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
+    id: string;
+    description: string;
+    source_finding_ids: string[];
+    change_kind: "structural" | "behavior_change" | "addition";
+    assertions: {
+        kind: "positive" | "negative";
+        description: string;
+        scope_paths: string[];
+    }[];
+    inapplicable_reason?: string | undefined;
+}, {
+    id: string;
+    description: string;
+    source_finding_ids: string[];
+    change_kind: "structural" | "behavior_change" | "addition";
+    assertions: {
+        kind: "positive" | "negative";
+        description: string;
+        scope_paths: string[];
+    }[];
+    inapplicable_reason?: string | undefined;
+}>, {
+    id: string;
+    description: string;
+    source_finding_ids: string[];
+    change_kind: "structural" | "behavior_change" | "addition";
+    assertions: {
+        kind: "positive" | "negative";
+        description: string;
+        scope_paths: string[];
+    }[];
+    inapplicable_reason?: string | undefined;
+}, {
+    id: string;
+    description: string;
+    source_finding_ids: string[];
+    change_kind: "structural" | "behavior_change" | "addition";
+    assertions: {
+        kind: "positive" | "negative";
+        description: string;
+        scope_paths: string[];
+    }[];
+    inapplicable_reason?: string | undefined;
+}>;
+export type ExecutionRequirement = z.infer<typeof ExecutionRequirementSchema>;
+/** The reviewed unit IS the implementation assignment; there is no later semantic planner. */
+export declare const ExecutionUnitSchema: z.ZodObject<{
+    id: z.ZodString;
+    title: z.ZodString;
+    description: z.ZodString;
+    source_finding_ids: z.ZodArray<z.ZodString, "many">;
+    requirement_ids: z.ZodArray<z.ZodString, "many">;
+    dependencies: z.ZodArray<z.ZodString, "many">;
+    /** Explicit reviewed integration checkpoint; absent means dependency-only execution. */
+    phase_ordinal: z.ZodOptional<z.ZodNumber>;
+    read_paths: z.ZodArray<z.ZodString, "many">;
+    allowed_files: z.ZodArray<z.ZodString, "many">;
+    required_tests: z.ZodArray<z.ZodString, "many">;
+    affected_interfaces: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        description: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        name: string;
+        description: string;
+    }, {
+        name: string;
+        description: string;
+    }>, "many">>;
+    addresses_counterexample_ids: z.ZodArray<z.ZodString, "many">;
+}, "strict", z.ZodTypeAny, {
+    id: string;
+    read_paths: string[];
+    title: string;
+    description: string;
+    source_finding_ids: string[];
+    requirement_ids: string[];
+    dependencies: string[];
+    allowed_files: string[];
+    required_tests: string[];
+    affected_interfaces: {
+        name: string;
+        description: string;
+    }[];
+    addresses_counterexample_ids: string[];
+    phase_ordinal?: number | undefined;
+}, {
+    id: string;
+    read_paths: string[];
+    title: string;
+    description: string;
+    source_finding_ids: string[];
+    requirement_ids: string[];
+    dependencies: string[];
+    allowed_files: string[];
+    required_tests: string[];
+    addresses_counterexample_ids: string[];
+    phase_ordinal?: number | undefined;
+    affected_interfaces?: {
+        name: string;
+        description: string;
+    }[] | undefined;
+}>;
+export type ExecutionUnit = z.infer<typeof ExecutionUnitSchema>;
+export declare const ExecutionRequestSchema: z.ZodObject<{
+    id: z.ZodString;
+    text: z.ZodString;
+    source_paths: z.ZodArray<z.ZodString, "many">;
+}, "strict", z.ZodTypeAny, {
+    id: string;
+    text: string;
+    source_paths: string[];
+}, {
+    id: string;
+    text: string;
+    source_paths: string[];
+}>;
+export type ExecutionRequest = z.infer<typeof ExecutionRequestSchema>;
+export declare const ExecutionSourceDispositionSchema: z.ZodObject<{
+    finding_id: z.ZodString;
+    status: z.ZodEnum<["already_fixed", "refuted", "deferred"]>;
+    reason: z.ZodString;
+    evidence: z.ZodArray<z.ZodString, "many">;
+}, "strict", z.ZodTypeAny, {
+    status: "refuted" | "already_fixed" | "deferred";
+    reason: string;
+    evidence: string[];
+    finding_id: string;
+}, {
+    status: "refuted" | "already_fixed" | "deferred";
+    reason: string;
+    evidence: string[];
+    finding_id: string;
+}>;
+export type ExecutionSourceDisposition = z.infer<typeof ExecutionSourceDispositionSchema>;
+export declare const ExecutionRequestDispositionSchema: z.ZodObject<{
+    status: z.ZodEnum<["already_satisfied", "deferred"]>;
+    reason: z.ZodString;
+    evidence: z.ZodArray<z.ZodString, "many">;
+}, "strict", z.ZodTypeAny, {
+    status: "deferred" | "already_satisfied";
+    reason: string;
+    evidence: string[];
+}, {
+    status: "deferred" | "already_satisfied";
+    reason: string;
+    evidence: string[];
+}>;
+/** Semantic authoring surface. Source provenance and accepted review receipts are tool-owned. */
+export declare const ExecutableChangePlanSchema: z.ZodObject<{
+    plan_id: z.ZodString;
+    objective: z.ZodString;
+    non_goals: z.ZodArray<z.ZodString, "many">;
+    requirements: z.ZodArray<z.ZodEffects<z.ZodObject<{
+        id: z.ZodString;
+        description: z.ZodString;
+        source_finding_ids: z.ZodArray<z.ZodString, "many">;
+        change_kind: z.ZodEnum<["behavior_change", "addition", "structural"]>;
+        assertions: z.ZodArray<z.ZodObject<{
+            kind: z.ZodEnum<["positive", "negative"]>;
+            description: z.ZodString;
+            scope_paths: z.ZodArray<z.ZodString, "many">;
+        }, "strict", z.ZodTypeAny, {
+            kind: "positive" | "negative";
+            description: string;
+            scope_paths: string[];
+        }, {
+            kind: "positive" | "negative";
+            description: string;
+            scope_paths: string[];
+        }>, "many">;
+        inapplicable_reason: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        description: string;
+        source_finding_ids: string[];
+        change_kind: "structural" | "behavior_change" | "addition";
+        assertions: {
+            kind: "positive" | "negative";
+            description: string;
+            scope_paths: string[];
+        }[];
+        inapplicable_reason?: string | undefined;
+    }, {
+        id: string;
+        description: string;
+        source_finding_ids: string[];
+        change_kind: "structural" | "behavior_change" | "addition";
+        assertions: {
+            kind: "positive" | "negative";
+            description: string;
+            scope_paths: string[];
+        }[];
+        inapplicable_reason?: string | undefined;
+    }>, {
+        id: string;
+        description: string;
+        source_finding_ids: string[];
+        change_kind: "structural" | "behavior_change" | "addition";
+        assertions: {
+            kind: "positive" | "negative";
+            description: string;
+            scope_paths: string[];
+        }[];
+        inapplicable_reason?: string | undefined;
+    }, {
+        id: string;
+        description: string;
+        source_finding_ids: string[];
+        change_kind: "structural" | "behavior_change" | "addition";
+        assertions: {
+            kind: "positive" | "negative";
+            description: string;
+            scope_paths: string[];
+        }[];
+        inapplicable_reason?: string | undefined;
+    }>, "many">;
+    units: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        title: z.ZodString;
+        description: z.ZodString;
+        source_finding_ids: z.ZodArray<z.ZodString, "many">;
+        requirement_ids: z.ZodArray<z.ZodString, "many">;
+        dependencies: z.ZodArray<z.ZodString, "many">;
+        /** Explicit reviewed integration checkpoint; absent means dependency-only execution. */
+        phase_ordinal: z.ZodOptional<z.ZodNumber>;
+        read_paths: z.ZodArray<z.ZodString, "many">;
+        allowed_files: z.ZodArray<z.ZodString, "many">;
+        required_tests: z.ZodArray<z.ZodString, "many">;
+        affected_interfaces: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            description: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            name: string;
+            description: string;
+        }, {
+            name: string;
+            description: string;
+        }>, "many">>;
+        addresses_counterexample_ids: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        read_paths: string[];
+        title: string;
+        description: string;
+        source_finding_ids: string[];
+        requirement_ids: string[];
+        dependencies: string[];
+        allowed_files: string[];
+        required_tests: string[];
+        affected_interfaces: {
+            name: string;
+            description: string;
+        }[];
+        addresses_counterexample_ids: string[];
+        phase_ordinal?: number | undefined;
+    }, {
+        id: string;
+        read_paths: string[];
+        title: string;
+        description: string;
+        source_finding_ids: string[];
+        requirement_ids: string[];
+        dependencies: string[];
+        allowed_files: string[];
+        required_tests: string[];
+        addresses_counterexample_ids: string[];
+        phase_ordinal?: number | undefined;
+        affected_interfaces?: {
+            name: string;
+            description: string;
+        }[] | undefined;
+    }>, "many">;
+    source_dispositions: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        finding_id: z.ZodString;
+        status: z.ZodEnum<["already_fixed", "refuted", "deferred"]>;
+        reason: z.ZodString;
+        evidence: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        status: "refuted" | "already_fixed" | "deferred";
+        reason: string;
+        evidence: string[];
+        finding_id: string;
+    }, {
+        status: "refuted" | "already_fixed" | "deferred";
+        reason: string;
+        evidence: string[];
+        finding_id: string;
+    }>, "many">>;
+    request_disposition: z.ZodOptional<z.ZodObject<{
+        status: z.ZodEnum<["already_satisfied", "deferred"]>;
+        reason: z.ZodString;
+        evidence: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        status: "deferred" | "already_satisfied";
+        reason: string;
+        evidence: string[];
+    }, {
+        status: "deferred" | "already_satisfied";
+        reason: string;
+        evidence: string[];
+    }>>;
+}, "strict", z.ZodTypeAny, {
+    plan_id: string;
+    objective: string;
+    non_goals: string[];
+    requirements: {
+        id: string;
+        description: string;
+        source_finding_ids: string[];
+        change_kind: "structural" | "behavior_change" | "addition";
+        assertions: {
+            kind: "positive" | "negative";
+            description: string;
+            scope_paths: string[];
+        }[];
+        inapplicable_reason?: string | undefined;
+    }[];
+    units: {
+        id: string;
+        read_paths: string[];
+        title: string;
+        description: string;
+        source_finding_ids: string[];
+        requirement_ids: string[];
+        dependencies: string[];
+        allowed_files: string[];
+        required_tests: string[];
+        affected_interfaces: {
+            name: string;
+            description: string;
+        }[];
+        addresses_counterexample_ids: string[];
+        phase_ordinal?: number | undefined;
+    }[];
+    source_dispositions: {
+        status: "refuted" | "already_fixed" | "deferred";
+        reason: string;
+        evidence: string[];
+        finding_id: string;
+    }[];
+    request_disposition?: {
+        status: "deferred" | "already_satisfied";
+        reason: string;
+        evidence: string[];
+    } | undefined;
+}, {
+    plan_id: string;
+    objective: string;
+    non_goals: string[];
+    requirements: {
+        id: string;
+        description: string;
+        source_finding_ids: string[];
+        change_kind: "structural" | "behavior_change" | "addition";
+        assertions: {
+            kind: "positive" | "negative";
+            description: string;
+            scope_paths: string[];
+        }[];
+        inapplicable_reason?: string | undefined;
+    }[];
+    units: {
+        id: string;
+        read_paths: string[];
+        title: string;
+        description: string;
+        source_finding_ids: string[];
+        requirement_ids: string[];
+        dependencies: string[];
+        allowed_files: string[];
+        required_tests: string[];
+        addresses_counterexample_ids: string[];
+        phase_ordinal?: number | undefined;
+        affected_interfaces?: {
+            name: string;
+            description: string;
+        }[] | undefined;
+    }[];
+    source_dispositions?: {
+        status: "refuted" | "already_fixed" | "deferred";
+        reason: string;
+        evidence: string[];
+        finding_id: string;
+    }[] | undefined;
+    request_disposition?: {
+        status: "deferred" | "already_satisfied";
+        reason: string;
+        evidence: string[];
+    } | undefined;
+}>;
+export type ExecutableChangePlan = z.infer<typeof ExecutableChangePlanSchema>;
+/** Pure graph/provenance constraints shared by authoring, persisted state and handoff. */
+export declare function executionPlanReferenceIssues(plan: ExecutableChangePlan, sourceFindingIds: readonly string[]): string[];
+//# sourceMappingURL=executionPlan.d.ts.map

package/dist/shared/types/executionPlan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"executionPlan.d.ts","sourceRoot":"","sources":["../../../src/shared/types/executionPlan.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAKxB,wFAAwF;AACxF,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAuBrC,CAAC;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAE9E,8FAA8F;AAC9F,eAAO,MAAM,mBAAmB;;;;;;;IAO9B,wFAAwF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAO/E,CAAC;AACZ,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEhE,eAAO,MAAM,sBAAsB;;;;;;;;;;;;EAA+D,CAAC;AACnG,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;EAKlC,CAAC;AACZ,MAAM,MAAM,0BAA0B,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gCAAgC,CAAC,CAAC;AAC1F,eAAO,MAAM,iCAAiC;;;;;;;;;;;;EAEnC,CAAC;AAEZ,iGAAiG;AACjG,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAzBrC,wFAAwF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAiC/E,CAAC;AACZ,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAE9E,0FAA0F;AAC1F,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,oBAAoB,EAC1B,gBAAgB,EAAE,SAAS,MAAM,EAAE,GAClC,MAAM,EAAE,CA0CV"}

package/dist/shared/types/executionPlan.js

@@ -0,0 +1,132 @@
+// sites-pinned: tests/shared/contractPipeline-types.test.ts, tests/shared/shared-core-invariants.test.ts, tests/remediate/executable-plan-identity.test.ts
+import { z } from "zod";
+const text = z.string().trim().min(1);
+const id = text.regex(/^[A-Za-z][A-Za-z0-9_.:-]*$/u);
+/** Stable requirement identities are authored once, not derived from array position. */
+export const ExecutionRequirementSchema = z.object({
+    id,
+    description: text,
+    source_finding_ids: z.array(text),
+    change_kind: z.enum(["behavior_change", "addition", "structural"]),
+    assertions: z.array(z.object({
+        kind: z.enum(["positive", "negative"]),
+        description: text,
+        scope_paths: z.array(text).min(1),
+    }).strict()),
+    inapplicable_reason: text.optional(),
+}).strict().superRefine((requirement, ctx) => {
+    if (requirement.inapplicable_reason) {
+        if (requirement.assertions.length)
+            ctx.addIssue({ code: "custom", message: "An inapplicability claim cannot also claim assertions." });
+        return;
+    }
+    const kinds = new Set(requirement.assertions.map(assertion => assertion.kind));
+    if (requirement.change_kind === "behavior_change" && (!kinds.has("positive") || !kinds.has("negative"))) {
+        ctx.addIssue({ code: "custom", message: "A behavior change needs scoped positive and negative assertions." });
+    }
+    if (requirement.change_kind === "addition" && !requirement.assertions.length) {
+        ctx.addIssue({ code: "custom", message: "An addition needs a falsifiable assertion." });
+    }
+});
+/** The reviewed unit IS the implementation assignment; there is no later semantic planner. */
+export const ExecutionUnitSchema = z.object({
+    id,
+    title: text,
+    description: text,
+    source_finding_ids: z.array(text),
+    requirement_ids: z.array(id).min(1),
+    dependencies: z.array(id),
+    /** Explicit reviewed integration checkpoint; absent means dependency-only execution. */
+    phase_ordinal: z.number().int().nonnegative().optional(),
+    read_paths: z.array(text).min(1),
+    allowed_files: z.array(text),
+    required_tests: z.array(text),
+    affected_interfaces: z.array(z.object({ name: text, description: text }).strict()).default([]),
+    addresses_counterexample_ids: z.array(id),
+}).strict();
+export const ExecutionRequestSchema = z.object({ id, text, source_paths: z.array(text) }).strict();
+export const ExecutionSourceDispositionSchema = z.object({
+    finding_id: text,
+    status: z.enum(["already_fixed", "refuted", "deferred"]),
+    reason: text,
+    evidence: z.array(text).min(1),
+}).strict();
+export const ExecutionRequestDispositionSchema = z.object({
+    status: z.enum(["already_satisfied", "deferred"]), reason: text, evidence: z.array(text).min(1),
+}).strict();
+/** Semantic authoring surface. Source provenance and accepted review receipts are tool-owned. */
+export const ExecutableChangePlanSchema = z.object({
+    plan_id: id,
+    objective: text,
+    non_goals: z.array(text),
+    requirements: z.array(ExecutionRequirementSchema),
+    units: z.array(ExecutionUnitSchema),
+    source_dispositions: z.array(ExecutionSourceDispositionSchema).default([]),
+    request_disposition: ExecutionRequestDispositionSchema.optional(),
+}).strict();
+/** Pure graph/provenance constraints shared by authoring, persisted state and handoff. */
+export function executionPlanReferenceIssues(plan, sourceFindingIds) {
+    const issues = [];
+    const sources = new Set(sourceFindingIds);
+    const requirements = new Set(plan.requirements.map(requirement => requirement.id));
+    const units = new Set(plan.units.map(unit => unit.id));
+    const unique = (values, label) => {
+        if (new Set(values).size !== values.length)
+            issues.push(`${label} must be unique.`);
+    };
+    unique(sourceFindingIds, "Source finding IDs");
+    unique(plan.requirements.map(requirement => requirement.id), "Requirement IDs");
+    unique(plan.units.map(unit => unit.id), "Execution unit IDs");
+    for (const requirement of plan.requirements) {
+        unique(requirement.source_finding_ids, `Requirement ${requirement.id} source references`);
+        for (const id of requirement.source_finding_ids)
+            if (!sources.has(id))
+                issues.push(`Requirement ${requirement.id} references unknown source finding ${id}.`);
+        if (!plan.units.some(unit => unit.requirement_ids.includes(requirement.id)))
+            issues.push(`Requirement ${requirement.id} has no execution unit.`);
+    }
+    for (const unit of plan.units) {
+        unique(unit.source_finding_ids, `Unit ${unit.id} source references`);
+        unique(unit.requirement_ids, `Unit ${unit.id} requirement references`);
+        unique(unit.dependencies, `Unit ${unit.id} dependencies`);
+        unique(unit.addresses_counterexample_ids, `Unit ${unit.id} counterexample references`);
+        for (const id of unit.source_finding_ids)
+            if (!sources.has(id))
+                issues.push(`Unit ${unit.id} references unknown source finding ${id}.`);
+        for (const id of unit.requirement_ids)
+            if (!requirements.has(id))
+                issues.push(`Unit ${unit.id} references unknown requirement ${id}.`);
+        for (const id of unit.dependencies)
+            if (!units.has(id) || id === unit.id)
+                issues.push(`Unit ${unit.id} has an invalid dependency ${id}.`);
+        const requiredSources = plan.requirements.filter(requirement => unit.requirement_ids.includes(requirement.id)).flatMap(requirement => requirement.source_finding_ids);
+        for (const id of new Set(requiredSources))
+            if (!unit.source_finding_ids.includes(id))
+                issues.push(`Unit ${unit.id} drops requirement source finding ${id}.`);
+    }
+    unique(plan.source_dispositions.map(disposition => disposition.finding_id), "Source dispositions");
+    for (const disposition of plan.source_dispositions) {
+        if (!sources.has(disposition.finding_id))
+            issues.push(`Disposition references unknown finding ${disposition.finding_id}.`);
+        if (plan.units.some(unit => unit.source_finding_ids.includes(disposition.finding_id)))
+            issues.push(`Source finding ${disposition.finding_id} has both execution units and a disposition.`);
+    }
+    const visited = new Set(), visiting = new Set();
+    const visit = (id) => {
+        if (visiting.has(id)) {
+            issues.push(`Execution dependency cycle at ${id}.`);
+            return;
+        }
+        if (visited.has(id))
+            return;
+        visiting.add(id);
+        for (const dependency of plan.units.find(unit => unit.id === id)?.dependencies ?? [])
+            visit(dependency);
+        visiting.delete(id);
+        visited.add(id);
+    };
+    for (const id of units)
+        visit(id);
+    return issues;
+}
+//# sourceMappingURL=executionPlan.js.map

package/dist/shared/types/executionPlan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"executionPlan.js","sourceRoot":"","sources":["../../../src/shared/types/executionPlan.ts"],"names":[],"mappings":"AAAA,2JAA2J;AAC3J,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACtC,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;AAErD,wFAAwF;AACxF,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC;IACjD,EAAE;IACF,WAAW,EAAE,IAAI;IACjB,kBAAkB,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;IACjC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,iBAAiB,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;IAClE,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QAC3B,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;QACtC,WAAW,EAAE,IAAI;QACjB,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;KAClC,CAAC,CAAC,MAAM,EAAE,CAAC;IACZ,mBAAmB,EAAE,IAAI,CAAC,QAAQ,EAAE;CACrC,CAAC,CAAC,MAAM,EAAE,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,GAAG,EAAE,EAAE;IAC3C,IAAI,WAAW,CAAC,mBAAmB,EAAE,CAAC;QACpC,IAAI,WAAW,CAAC,UAAU,CAAC,MAAM;YAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,wDAAwD,EAAE,CAAC,CAAC;QACvI,OAAO;IACT,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/E,IAAI,WAAW,CAAC,WAAW,KAAK,iBAAiB,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;QACxG,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,kEAAkE,EAAE,CAAC,CAAC;IAChH,CAAC;IACD,IAAI,WAAW,CAAC,WAAW,KAAK,UAAU,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;QAC7E,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,4CAA4C,EAAE,CAAC,CAAC;IAC1F,CAAC;AACH,CAAC,CAAC,CAAC;AAGH,8FAA8F;AAC9F,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,EAAE;IACF,KAAK,EAAE,IAAI;IACX,WAAW,EAAE,IAAI;IACjB,kBAAkB,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;IACjC,eAAe,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;IACzB,wFAAwF;IACxF,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;IACxD,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAChC,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;IAC5B,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;IAC7B,mBAAmB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAC9F,4BAA4B,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;CAC1C,CAAC,CAAC,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;AAGnG,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC,CAAC,MAAM,CAAC;IACvD,UAAU,EAAE,IAAI;IAChB,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,eAAe,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;IACxD,MAAM,EAAE,IAAI;IACZ,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CAC/B,CAAC,CAAC,MAAM,EAAE,CAAC;AAEZ,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAAC,CAAC,MAAM,CAAC;IACxD,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,mBAAmB,EAAE,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CAChG,CAAC,CAAC,MAAM,EAAE,CAAC;AAEZ,iGAAiG;AACjG,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC;IACjD,OAAO,EAAE,EAAE;IACX,SAAS,EAAE,IAAI;IACf,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;IACxB,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,0BAA0B,CAAC;IACjD,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC;IACnC,mBAAmB,EAAE,CAAC,CAAC,KAAK,CAAC,gCAAgC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAC1E,mBAAmB,EAAE,iCAAiC,CAAC,QAAQ,EAAE;CAClE,CAAC,CAAC,MAAM,EAAE,CAAC;AAGZ,0FAA0F;AAC1F,MAAM,UAAU,4BAA4B,CAC1C,IAA0B,EAC1B,gBAAmC;IAEnC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAC1C,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC;IACnF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACvD,MAAM,MAAM,GAAG,CAAC,MAAyB,EAAE,KAAa,EAAQ,EAAE;QAChE,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM;YAAE,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,kBAAkB,CAAC,CAAC;IACtF,CAAC,CAAC;IACF,MAAM,CAAC,gBAAgB,EAAE,oBAAoB,CAAC,CAAC;IAC/C,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;IAChF,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,oBAAoB,CAAC,CAAC;IAC9D,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QAC5C,MAAM,CAAC,WAAW,CAAC,kBAAkB,EAAE,eAAe,WAAW,CAAC,EAAE,oBAAoB,CAAC,CAAC;QAC1F,KAAK,MAAM,EAAE,IAAI,WAAW,CAAC,kBAAkB;YAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,eAAe,WAAW,CAAC,EAAE,sCAAsC,EAAE,GAAG,CAAC,CAAC;QAC7J,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,eAAe,WAAW,CAAC,EAAE,yBAAyB,CAAC,CAAC;IACnJ,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,MAAM,CAAC,IAAI,CAAC,kBAAkB,EAAE,QAAQ,IAAI,CAAC,EAAE,oBAAoB,CAAC,CAAC;QACrE,MAAM,CAAC,IAAI,CAAC,eAAe,EAAE,QAAQ,IAAI,CAAC,EAAE,yBAAyB,CAAC,CAAC;QACvE,MAAM,CAAC,IAAI,CAAC,YAAY,EAAE,QAAQ,IAAI,CAAC,EAAE,eAAe,CAAC,CAAC;QAC1D,MAAM,CAAC,IAAI,CAAC,4BAA4B,EAAE,QAAQ,IAAI,CAAC,EAAE,4BAA4B,CAAC,CAAC;QACvF,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,kBAAkB;YAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,sCAAsC,EAAE,GAAG,CAAC,CAAC;QACxI,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,eAAe;YAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,mCAAmC,EAAE,GAAG,CAAC,CAAC;QACvI,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,YAAY;YAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,IAAI,CAAC,EAAE;gBAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,8BAA8B,EAAE,GAAG,CAAC,CAAC;QAC1I,MAAM,eAAe,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAC;QACtK,KAAK,MAAM,EAAE,IAAI,IAAI,GAAG,CAAC,eAAe,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,qCAAqC,EAAE,GAAG,CAAC,CAAC;IAC/J,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,WAAW,CAAC,UAAU,CAAC,EAAE,qBAAqB,CAAC,CAAC;IACnG,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,mBAAmB,EAAE,CAAC;QACnD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,0CAA0C,WAAW,CAAC,UAAU,GAAG,CAAC,CAAC;QAC3H,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,kBAAkB,WAAW,CAAC,UAAU,8CAA8C,CAAC,CAAC;IAC7L,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,EAAE,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IAChE,MAAM,KAAK,GAAG,CAAC,EAAU,EAAQ,EAAE;QACjC,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,iCAAiC,EAAE,GAAG,CAAC,CAAC;YAAC,OAAO;QAAC,CAAC;QACtF,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO;QAC5B,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjB,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,YAAY,IAAI,EAAE;YAAE,KAAK,CAAC,UAAU,CAAC,CAAC;QACxG,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACvC,CAAC,CAAC;IACF,KAAK,MAAM,EAAE,IAAI,KAAK;QAAE,KAAK,CAAC,EAAE,CAAC,CAAC;IAClC,OAAO,MAAM,CAAC;AAChB,CAAC"}