audit-tools 0.51.11 → 0.52.1

package/dist/shared/types/contractPipeline/obligations.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"obligations.d.ts","sourceRoot":"","sources":["../../../../src/shared/types/contractPipeline/obligations.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,eAAO,MAAM,2CAA2C,EACtD,6DAAsE,CAAC;AAEzE,eAAO,MAAM,6CAA6C,EACxD,+DAAwE,CAAC;AAE3E,eAAO,MAAM,oDAAoD,EAC/D,sEAA+E,CAAC;AAElF,eAAO,MAAM,wCAAwC,EACnD,0DAAmE,CAAC;AAEtE,eAAO,MAAM,sCAAsC,EACjD,wDAAiE,CAAC;AAIpE;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,8BAA8B;IAC7C,iFAAiF;IACjF,WAAW,EAAE,QAAQ,GAAG,UAAU,CAAC;IACnC;;;;OAIG;IACH,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B;;;OAGG;IACH,aAAa,EACT,yBAAyB,GACzB,oBAAoB,GACpB,eAAe,GACf,cAAc,CAAC;IACnB,mFAAmF;IACnF,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,6DAA6D;AAC7D,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,WAAW,GAAG,YAAY,GAAG,YAAY,GAAG,MAAM,CAAC;IACzD,6DAA6D;IAC7D,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,yCAAyC;IACzC,MAAM,EAAE,SAAS,GAAG,WAAW,GAAG,QAAQ,CAAC;IAC3C,qEAAqE;IACrE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,sDAAsD;IACtD,MAAM,CAAC,EAAE,aAAa,GAAG,UAAU,GAAG,gBAAgB,GAAG,QAAQ,CAAC;IAClE;;;;;;;OAOG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;;;;OAOG;IACH,qBAAqB,CAAC,EAAE,8BAA8B,CAAC;CACxD;AAED,MAAM,WAAW,gBAAgB;IAC/B,gBAAgB,EAAE,OAAO,2CAA2C,CAAC;IACrE,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,eAAe,EAAE,CAAC;IAC/B,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;CACpB;AAID,iFAAiF;AACjF,MAAM,WAAW,QAAQ;IACvB,yEAAyE;IACzE,aAAa,EAAE,MAAM,CAAC;IACtB,gCAAgC;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,oBAAoB;IACpB,IAAI,EAAE,MAAM,GAAG,aAAa,GAAG,QAAQ,GAAG,WAAW,GAAG,KAAK,CAAC;IAC9D,gFAAgF;IAChF,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB;;;;OAIG;IACH,kBAAkB,CAAC,EAAE;QACnB,8EAA8E;QAC9E,aAAa,EAAE,MAAM,CAAC;QACtB,uEAAuE;QACvE,MAAM,EAAE,MAAM,CAAC;KAChB,CAAC;CACH;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,gBAAgB,EAAE,OAAO,6CAA6C,CAAC;IACvE,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,QAAQ,EAAE,CAAC;IACvB,qDAAqD;IACrD,UAAU,EAAE,MAAM,CAAC;CACpB;AAID,mEAAmE;AACnE,MAAM,WAAW,yBAAyB;IACxC,aAAa,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,WAAW,GAAG,UAAU,GAAG,WAAW,CAAC;IAC/C,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,wBAAwB;IACvC,gBAAgB,EAAE,OAAO,oDAAoD,CAAC;IAC9E,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,yBAAyB,EAAE,CAAC;IACtC,6DAA6D;IAC7D,OAAO,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;IACzC,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;CACpB;AAID,2FAA2F;AAC3F,MAAM,WAAW,cAAc;IAC7B,iFAAiF;IACjF,EAAE,EAAE,MAAM,CAAC;IACX,wCAAwC;IACxC,KAAK,EAAE,MAAM,CAAC;IACd,iDAAiD;IACjD,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,oCAAoC;IACpC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,wDAAwD;IACxD,uBAAuB,EAAE,MAAM,EAAE,CAAC;CACnC;AAED,wFAAwF;AACxF,MAAM,WAAW,oBAAoB;IACnC,gBAAgB,EAAE,OAAO,wCAAwC,CAAC;IAClE,OAAO,EAAE,MAAM,CAAC;IAChB,gEAAgE;IAChE,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;CACpB;AAID,kDAAkD;AAClD,MAAM,MAAM,4BAA4B,GACpC,UAAU,GACV,cAAc,GACd,WAAW,GACX,SAAS,GACT,eAAe,CAAC;AAEpB,MAAM,WAAW,oBAAoB;IACnC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,cAAc,EAAE,4BAA4B,CAAC;IAC7C,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,uBAAuB,6HAM1B,CAAC;AAEX;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,8BAA8B,0BAA2B,CAAC;AAEvE;;;;;;;GAOG;AACH,eAAO,MAAM,+BAA+B,0HAG3C,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,uBAAuB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEzE,+EAA+E;AAC/E,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,iBAAiB,CAAC;IAC1B,uDAAuD;IACvD,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,iEAAiE;AACjE,MAAM,WAAW,WAAW;IAC1B,gBAAgB,EAAE,OAAO,sCAAsC,CAAC;IAChE,OAAO,EAAE,MAAM,CAAC;IAChB;;;;;OAKG;IACH,OAAO,EAAE,UAAU,GAAG,cAAc,CAAC;IACrC,oDAAoD;IACpD,eAAe,EAAE,oBAAoB,EAAE,CAAC;IACxC,iFAAiF;IACjF,gBAAgB,CAAC,EAAE,oBAAoB,CAAC;IACxC,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;CACpB"}
+{"version":3,"file":"obligations.d.ts","sourceRoot":"","sources":["../../../../src/shared/types/contractPipeline/obligations.ts"],"names":[],"mappings":"AACA;;;;;;;;GAQG;AAIH,eAAO,MAAM,2CAA2C,EACtD,6DAAsE,CAAC;AAEzE,eAAO,MAAM,6CAA6C,EACxD,+DAAwE,CAAC;AAE3E,eAAO,MAAM,oDAAoD,EAC/D,sEAA+E,CAAC;AAElF,eAAO,MAAM,wCAAwC,EACnD,0DAAmE,CAAC;AAEtE,eAAO,MAAM,sCAAsC,EACjD,wDAAiE,CAAC;AAIpE;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,8BAA8B;IAC7C,iFAAiF;IACjF,WAAW,EAAE,QAAQ,GAAG,UAAU,CAAC;IACnC;;;;OAIG;IACH,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B;;;OAGG;IACH,aAAa,EACT,yBAAyB,GACzB,oBAAoB,GACpB,eAAe,GACf,cAAc,CAAC;IACnB,mFAAmF;IACnF,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,6DAA6D;AAC7D,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,WAAW,GAAG,YAAY,GAAG,YAAY,GAAG,MAAM,CAAC;IACzD,6DAA6D;IAC7D,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,yCAAyC;IACzC,MAAM,EAAE,SAAS,GAAG,WAAW,GAAG,QAAQ,CAAC;IAC3C,qEAAqE;IACrE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,sDAAsD;IACtD,MAAM,CAAC,EAAE,aAAa,GAAG,UAAU,GAAG,gBAAgB,GAAG,QAAQ,CAAC;IAClE;;;;;;;OAOG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;;;;OAOG;IACH,qBAAqB,CAAC,EAAE,8BAA8B,CAAC;CACxD;AAED,MAAM,WAAW,gBAAgB;IAC/B,gBAAgB,EAAE,OAAO,2CAA2C,CAAC;IACrE,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,eAAe,EAAE,CAAC;IAC/B,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;CACpB;AAID;;;;;;GAMG;AACH,MAAM,MAAM,QAAQ,GAAG,kBAAkB,GAAG,oBAAoB,CAAC;AAEjE,UAAU,gBAAgB;IACxB,yEAAyE;IACzE,aAAa,EAAE,MAAM,CAAC;IACtB,gCAAgC;IAChC,IAAI,EAAE,MAAM,CAAC;CACd;AAED,UAAU,kBAAmB,SAAQ,gBAAgB;IACnD,oBAAoB;IACpB,IAAI,EAAE,MAAM,GAAG,aAAa,GAAG,QAAQ,GAAG,WAAW,GAAG,KAAK,CAAC;IAC9D,gFAAgF;IAChF,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,kBAAkB,CAAC,EAAE,SAAS,CAAC;CAChC;AAED,UAAU,oBAAqB,SAAQ,gBAAgB;IACrD,IAAI,CAAC,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAClC,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB;;;;OAIG;IACH,kBAAkB,EAAE;QAClB,8EAA8E;QAC9E,aAAa,EAAE,MAAM,CAAC;QACtB,uEAAuE;QACvE,MAAM,EAAE,MAAM,CAAC;KAChB,CAAC;CACH;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,gBAAgB,EAAE,OAAO,6CAA6C,CAAC;IACvE,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,QAAQ,EAAE,CAAC;IACvB,qDAAqD;IACrD,UAAU,EAAE,MAAM,CAAC;CACpB;AAID,mEAAmE;AACnE,MAAM,WAAW,yBAAyB;IACxC,aAAa,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,WAAW,GAAG,UAAU,GAAG,WAAW,CAAC;IAC/C,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,wBAAwB;IACvC,gBAAgB,EAAE,OAAO,oDAAoD,CAAC;IAC9E,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,yBAAyB,EAAE,CAAC;IACtC,6DAA6D;IAC7D,OAAO,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;IACzC,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;CACpB;AAID,2FAA2F;AAC3F,MAAM,WAAW,cAAc;IAC7B,iFAAiF;IACjF,EAAE,EAAE,MAAM,CAAC;IACX,wCAAwC;IACxC,KAAK,EAAE,MAAM,CAAC;IACd,iDAAiD;IACjD,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,oCAAoC;IACpC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,wDAAwD;IACxD,uBAAuB,EAAE,MAAM,EAAE,CAAC;CACnC;AAED,wFAAwF;AACxF,MAAM,WAAW,oBAAoB;IACnC,gBAAgB,EAAE,OAAO,wCAAwC,CAAC;IAClE,OAAO,EAAE,MAAM,CAAC;IAChB,gEAAgE;IAChE,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;CACpB;AAID,kDAAkD;AAClD,MAAM,MAAM,4BAA4B,GACpC,UAAU,GACV,cAAc,GACd,WAAW,GACX,SAAS,GACT,eAAe,CAAC;AAEpB,MAAM,WAAW,oBAAoB;IACnC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,cAAc,EAAE,4BAA4B,CAAC;IAC7C,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,eAAO,MAAM,uBAAuB,2GAK1B,CAAC;AAEX;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,8BAA8B,0BAA2B,CAAC;AAEvE;;;;;;;GAOG;AACH,eAAO,MAAM,+BAA+B,uGAG3C,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,uBAAuB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEzE,+EAA+E;AAC/E,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,iBAAiB,CAAC;IAC1B,uDAAuD;IACvD,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,iEAAiE;AACjE,MAAM,WAAW,WAAW;IAC1B,gBAAgB,EAAE,OAAO,sCAAsC,CAAC;IAChE,OAAO,EAAE,MAAM,CAAC;IAChB;;;;;OAKG;IACH,OAAO,EAAE,UAAU,GAAG,cAAc,CAAC;IACrC,oDAAoD;IACpD,eAAe,EAAE,oBAAoB,EAAE,CAAC;IACxC,iFAAiF;IACjF,gBAAgB,CAAC,EAAE,oBAAoB,CAAC;IACxC,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;CACpB"}

package/dist/shared/types/contractPipeline/obligations.js

@@ -1,3 +1,4 @@
+// sites-pinned: tests/remediate/step-prompt-sketch-drift.test.ts, tests/remediate/contract-pipeline.test.ts
 /**
  * Contract-pipeline artifact: obligations phase.
  *
@@ -29,12 +30,16 @@ export const CONTRACT_PIPELINE_JUDGE_REPORT_VERSION = "remediate-code-contract-p
  * ({@link CONTRACT_REPAIR_TARGETS_OFFERED}), because no new report should be
  * authored against a name the repair loop normalizes away — the asymmetry is
  * the same accept-legacy / emit-current split the store's version policy uses.
+ *
+ * `counterexample` is NOT a member. The judge rules on the critic's report, so
+ * it cannot order that report rewritten, and the repair loop can regenerate only
+ * the three contract artifacts. It was admitted once and then swapped for an
+ * inferred target in silence; the validator now refuses it with that reason.
  */
 export const CONTRACT_REPAIR_TARGETS = [
     "finalized_module_contracts",
     "obligation_ledger",
     "contract_assessment_report",
-    "counterexample",
     "design_spec",
 ];
 /**

package/dist/shared/types/contractPipeline/obligations.js.map

@@ -1 +1 @@
-{"version":3,"file":"obligations.js","sourceRoot":"","sources":["../../../../src/shared/types/contractPipeline/obligations.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,gFAAgF;AAEhF,MAAM,CAAC,MAAM,2CAA2C,GACtD,6DAAsE,CAAC;AAEzE,MAAM,CAAC,MAAM,6CAA6C,GACxD,+DAAwE,CAAC;AAE3E,MAAM,CAAC,MAAM,oDAAoD,GAC/D,sEAA+E,CAAC;AAElF,MAAM,CAAC,MAAM,wCAAwC,GACnD,0DAAmE,CAAC;AAEtE,MAAM,CAAC,MAAM,sCAAsC,GACjD,wDAAiE,CAAC;AAuLpE;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,4BAA4B;IAC5B,mBAAmB;IACnB,4BAA4B;IAC5B,gBAAgB;IAChB,aAAa;CACL,CAAC;AAEX;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC,aAAa,CAAU,CAAC;AAEvE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,uBAAuB,CAAC,MAAM,CAC3E,CAAC,MAAM,EAAE,EAAE,CACT,CAAE,8BAAoD,CAAC,QAAQ,CAAC,MAAM,CAAC,CAC1E,CAAC"}
+{"version":3,"file":"obligations.js","sourceRoot":"","sources":["../../../../src/shared/types/contractPipeline/obligations.ts"],"names":[],"mappings":"AAAA,4GAA4G;AAC5G;;;;;;;;GAQG;AAEH,gFAAgF;AAEhF,MAAM,CAAC,MAAM,2CAA2C,GACtD,6DAAsE,CAAC;AAEzE,MAAM,CAAC,MAAM,6CAA6C,GACxD,+DAAwE,CAAC;AAE3E,MAAM,CAAC,MAAM,oDAAoD,GAC/D,sEAA+E,CAAC;AAElF,MAAM,CAAC,MAAM,wCAAwC,GACnD,0DAAmE,CAAC;AAEtE,MAAM,CAAC,MAAM,sCAAsC,GACjD,wDAAiE,CAAC;AAwMpE;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,4BAA4B;IAC5B,mBAAmB;IACnB,4BAA4B;IAC5B,aAAa;CACL,CAAC;AAEX;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC,aAAa,CAAU,CAAC;AAEvE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,uBAAuB,CAAC,MAAM,CAC3E,CAAC,MAAM,EAAE,EAAE,CACT,CAAE,8BAAoD,CAAC,QAAQ,CAAC,MAAM,CAAC,CAC1E,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"contractPropertyShapes.d.ts","sourceRoot":"","sources":["../../../src/shared/types/contractPropertyShapes.ts"],"names":[],"mappings":"AA0CA;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IACpC,kBAAkB;IAClB,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,GAAG,QAAQ,GAAG,OAAO,CAAC;IACvD,mDAAmD;IACnD,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,mEAAmE;IACnE,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC;IACnC,QAAQ,CAAC,KAAK,CAAC,EAAE,qBAAqB,CAAC;IACvC,QAAQ,CAAC,GAAG,CAAC,EAAE,qBAAqB,CAAC;IACrC,QAAQ,CAAC,KAAK,CAAC,EAAE,qBAAqB,CAAC;IACvC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC,CAAC;CAClE;AAED,4FAA4F;AAC5F,MAAM,WAAW,iBAAiB;IAChC,oFAAoF;IACpF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;;OAKG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,0DAA0D;IAC1D,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC,CAAC;CACtE;AAwND,0FAA0F;AAC1F,eAAO,MAAM,wBAAwB,EAAE,SAAS,iBAAiB,EAehE,CAAC"}
+{"version":3,"file":"contractPropertyShapes.d.ts","sourceRoot":"","sources":["../../../src/shared/types/contractPropertyShapes.ts"],"names":[],"mappings":"AA0CA;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IACpC,kBAAkB;IAClB,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,GAAG,QAAQ,GAAG,OAAO,CAAC;IACvD,mDAAmD;IACnD,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,mEAAmE;IACnE,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC;IACnC,QAAQ,CAAC,KAAK,CAAC,EAAE,qBAAqB,CAAC;IACvC,QAAQ,CAAC,GAAG,CAAC,EAAE,qBAAqB,CAAC;IACrC,QAAQ,CAAC,KAAK,CAAC,EAAE,qBAAqB,CAAC;IACvC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC,CAAC;CAClE;AAED,4FAA4F;AAC5F,MAAM,WAAW,iBAAiB;IAChC,oFAAoF;IACpF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;;OAKG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,0DAA0D;IAC1D,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC,CAAC;CACtE;AAwOD,0FAA0F;AAC1F,eAAO,MAAM,wBAAwB,EAAE,SAAS,iBAAiB,EAehE,CAAC"}

package/dist/shared/types/contractPropertyShapes.js

@@ -59,6 +59,7 @@ const FINDING_LOCATION_SHAPE = {
     line_end: str(true),
     symbol: str(true),
     quoted_text: str(true),
+    no_quotable_span: str(true),
     hash_at_plan_time: str(true),
 };
 /**
@@ -185,6 +186,18 @@ const AUDIT_TASK_TYPE = {
         // Found by the widened optionality half (D5) — the row was never checked
         // against its own schema before, because the test skipped `AuditTask`.
         file_line_counts: { kind: "record", value: str(), allowsUndefined: true },
+        // The two selective-lane fields. `coverage_policy` states whether the
+        // result must cover every bound file; `file_metrics` carries what the tool
+        // already knows about each file on the surface, so a selective reviewer
+        // chooses from evidence rather than from a name.
+        coverage_policy: str(true),
+        file_metrics: arrayOf(object({
+            path: str(),
+            total_lines: str(),
+            score: str(),
+            signals: arrayOf(str()),
+            prior_findings: { kind: "record", value: str() },
+        }), true),
         line_ranges: arrayOf(object({ path: str(), start: str(), end: str() }), true),
         inputs: { kind: "record", value: str(), allowsUndefined: true },
         rationale: str(),

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

@@ -1 +1 @@
-{"version":3,"file":"contractPropertyShapes.js","sourceRoot":"","sources":["../../../src/shared/types/contractPropertyShapes.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,8CAA8C;AAC9C,EAAE;AACF,iFAAiF;AACjF,kFAAkF;AAClF,8EAA8E;AAC9E,4FAA4F;AAC5F,iFAAiF;AACjF,8EAA8E;AAC9E,WAAW;AACX,EAAE;AACF,iFAAiF;AACjF,8EAA8E;AAC9E,wEAAwE;AACxE,+EAA+E;AAC/E,6EAA6E;AAC7E,SAAS;AACT,EAAE;AACF,gFAAgF;AAChF,kFAAkF;AAClF,2EAA2E;AAC3E,yEAAyE;AACzE,+EAA+E;AAC/E,+EAA+E;AAC/E,mEAAmE;AACnE,iFAAiF;AACjF,8EAA8E;AAC9E,0CAA0C;AAC1C,EAAE;AACF,+EAA+E;AAC/E,iFAAiF;AACjF,gFAAgF;AAChF,yEAAyE;AACzE,iFAAiF;AACjF,kFAAkF;AAClF,qBAAqB;AAwCrB,8FAA8F;AAC9F,MAAM,MAAM,GAAG,CACb,KAA4C,EAC5C,eAAe,GAAG,KAAK,EACA,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC,CAAC;AAEzE,4EAA4E;AAC5E,MAAM,MAAM,GAAG,CAAC,QAAgB,EAAE,KAA4C,EAAyB,EAAE,CAAC,CAAC;IACzG,IAAI,EAAE,QAAQ;IACd,QAAQ;IACR,KAAK;CACN,CAAC,CAAC;AAEH,iFAAiF;AACjF,MAAM,OAAO,GAAG,CAAC,KAA4B,EAAE,eAAe,GAAG,KAAK,EAAyB,EAAE,CAAC,CAAC;IACjG,IAAI,EAAE,OAAO;IACb,KAAK;IACL,eAAe;CAChB,CAAC,CAAC;AAEH,8EAA8E;AAC9E,MAAM,GAAG,GAAG,CAAC,eAAe,GAAG,KAAK,EAAyB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAAC;AAErG,6EAA6E;AAC7E,+EAA+E;AAC/E,6CAA6C;AAC7C,MAAM,sBAAsB,GAAG;IAC7B,IAAI,EAAE,GAAG,EAAE;IACX,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC;IACrB,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC;IACnB,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC;IACjB,WAAW,EAAE,GAAG,CAAC,IAAI,CAAC;IACtB,iBAAiB,EAAE,GAAG,CAAC,IAAI,CAAC;CAC7B,CAAC;AACF;;;;;;GAMG;AACH,MAAM,wBAAwB,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;AAClE,MAAM,uBAAuB,GAAG;IAC9B,OAAO,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC,wBAAwB,CAAC;IAC5C,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC;CACjB,CAAC;AACF,MAAM,8BAA8B,GAAG;IACrC,WAAW,EAAE,GAAG,EAAE;IAClB,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC;IACf,IAAI,EAAE,GAAG,EAAE;IACX,YAAY,EAAE,GAAG,EAAE;CACpB,CAAC;AACF,MAAM,uBAAuB,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;AACrE,MAAM,6BAA6B,GAAG;IACpC,gBAAgB,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACrC,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;CACpC,CAAC;AACF,MAAM,0BAA0B,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;AAClG,MAAM,wBAAwB,GAAG;IAC/B,QAAQ,EAAE,GAAG,EAAE;IACf,cAAc,EAAE,GAAG,EAAE;IACrB,QAAQ,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;IACxB,iBAAiB,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;IACjC,mBAAmB,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;IACnC,cAAc,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;CACpC,CAAC;AAEF;;;;GAIG;AACH,MAAM,aAAa,GAA0C;IAC3D,EAAE,EAAE,GAAG,EAAE;IACT,KAAK,EAAE,GAAG,EAAE;IACZ,QAAQ,EAAE,GAAG,EAAE;IACf,QAAQ,EAAE,GAAG,EAAE;IACf,wBAAwB,EAAE,GAAG,CAAC,IAAI,CAAC;IACnC,UAAU,EAAE,GAAG,EAAE;IACjB,IAAI,EAAE,GAAG,EAAE;IACX,OAAO,EAAE,GAAG,EAAE;IACd,cAAc,EAAE,OAAO,CAAC,MAAM,CAAC,uBAAuB,EAAE,sBAAsB,CAAC,CAAC;IAChF,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC;IACjB,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC;IACrB,0EAA0E;IAC1E,+EAA+E;IAC/E,8EAA8E;IAC9E,6EAA6E;IAC7E,QAAQ,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;IAC9B,YAAY,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;IAClC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC;IACnB,gBAAgB,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;IACtC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC;IACnB,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC;IACvB,iBAAiB,EAAE,GAAG,CAAC,IAAI,CAAC;IAC5B,SAAS,EAAE,MAAM,CAAC,uBAAuB,EAAE,IAAI,CAAC;IAChD,aAAa,EAAE,GAAG,CAAC,IAAI,CAAC;IACxB,mBAAmB,EAAE,GAAG,CAAC,IAAI,CAAC;IAC9B,iBAAiB,EAAE,MAAM,CAAC,uBAAuB,EAAE,IAAI,CAAC;IACxD,gBAAgB,EAAE,GAAG,CAAC,IAAI,CAAC;IAC3B,uBAAuB,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;IAC7C,2BAA2B,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;IACjD,iBAAiB,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;IACvC,mBAAmB,EAAE,MAAM,CAAC,8BAA8B,EAAE,IAAI,CAAC;IACjE,YAAY,EAAE,MAAM,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC;CACpE,CAAC;AAEF,+EAA+E;AAC/E,6EAA6E;AAC7E,sDAAsD;AACtD,MAAM,qBAAqB,GAAsB;IAC/C,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,6BAA6B;IACrC,UAAU,EAAE,sBAAsB;CACnC,CAAC;AACF,MAAM,sBAAsB,GAAsB;IAChD,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,wBAAwB;IAChC,UAAU,EAAE,uBAAuB;CACpC,CAAC;AACF,MAAM,6BAA6B,GAAsB;IACvD,IAAI,EAAE,wBAAwB;IAC9B,MAAM,EAAE,8BAA8B;IACtC,UAAU,EAAE,8BAA8B;CAC3C,CAAC;AACF,MAAM,sBAAsB,GAAsB;IAChD,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,wBAAwB;IAChC,UAAU,EAAE,uBAAuB;CACpC,CAAC;AACF,MAAM,4BAA4B,GAAsB;IACtD,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,6BAA6B;IACrC,UAAU,EAAE,6BAA6B;CAC1C,CAAC;AAEF,+DAA+D;AAC/D,MAAM,uBAAuB,GAAsB;IACjD,IAAI,EAAE,mBAAmB;IACzB,MAAM,EAAE,yBAAyB;IACjC,UAAU,EAAE,wBAAwB;CACrC,CAAC;AACF,MAAM,yBAAyB,GAAsB;IACnD,IAAI,EAAE,oBAAoB;IAC1B,MAAM,EAAE,0BAA0B;IAClC,UAAU,EAAE,0BAA0B;CACvC,CAAC;AACF,MAAM,eAAe,GAAsB;IACzC,IAAI,EAAE,WAAW;IACjB,MAAM,EAAE,iBAAiB;IACzB,UAAU,EAAE;QACV,OAAO,EAAE,GAAG,EAAE;QACd,OAAO,EAAE,GAAG,EAAE;QACd,OAAO,EAAE,GAAG,EAAE;QACd,IAAI,EAAE,GAAG,EAAE;QACX,UAAU,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;QAC1B,0EAA0E;QAC1E,yEAAyE;QACzE,uEAAuE;QACvE,gBAAgB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE;QACzE,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC;QAC7E,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE;QAC/D,SAAS,EAAE,GAAG,EAAE;QAChB,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC;QACnB,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC;QACzB,aAAa,EAAE,GAAG,CAAC,IAAI,CAAC;QACxB,IAAI,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;QAC1B,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC;QACjB,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC;QACvB,iBAAiB,EAAE,GAAG,CAAC,IAAI,CAAC;KAC7B;CACF,CAAC;AAEF,MAAM,iBAAiB,GAAsB;IAC3C,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,mBAAmB;IAC3B,UAAU,EAAE;QACV,OAAO,EAAE,GAAG,EAAE;QACd,OAAO,EAAE,GAAG,EAAE;QACd,OAAO,EAAE,GAAG,EAAE;QACd,IAAI,EAAE,GAAG,EAAE;QACX,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC;QACrB,mEAAmE;QACnE,aAAa,EAAE,OAAO,CAAC,MAAM,CAAC,0BAA0B,CAAC,CAAC;QAC1D,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;QAC1C,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC;QACzB,8EAA8E;QAC9E,0EAA0E;QAC1E,yEAAyE;QACzE,cAAc;QACd,KAAK,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;QAC3B,iBAAiB,EAAE,GAAG,CAAC,IAAI,CAAC;QAC5B,cAAc,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;QACpC,YAAY,EAAE,EAAE,GAAG,MAAM,CAAC,yBAAyB,CAAC,EAAE,eAAe,EAAE,IAAI,EAAE;QAC7E,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC;QACjB,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC;QACvB,WAAW,EAAE,GAAG,CAAC,IAAI,CAAC;QACtB,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC;QACvB,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC;QAC1B,WAAW,EAAE,GAAG,CAAC,IAAI,CAAC;QACtB,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC;KACnB;CACF,CAAC;AAEF;;;;GAIG;AACH,SAAS,MAAM,CAAC,UAAkB;IAChC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AAClD,CAAC;AAED,0FAA0F;AAC1F,MAAM,CAAC,MAAM,wBAAwB,GAAiC;IACpE;QACE,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,eAAe;QACvB,UAAU,EAAE,aAAa;KAC1B;IACD,qBAAqB;IACrB,sBAAsB;IACtB,6BAA6B;IAC7B,sBAAsB;IACtB,4BAA4B;IAC5B,iBAAiB;IACjB,eAAe;IACf,uBAAuB;IACvB,yBAAyB;CAC1B,CAAC"}
+{"version":3,"file":"contractPropertyShapes.js","sourceRoot":"","sources":["../../../src/shared/types/contractPropertyShapes.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,8CAA8C;AAC9C,EAAE;AACF,iFAAiF;AACjF,kFAAkF;AAClF,8EAA8E;AAC9E,4FAA4F;AAC5F,iFAAiF;AACjF,8EAA8E;AAC9E,WAAW;AACX,EAAE;AACF,iFAAiF;AACjF,8EAA8E;AAC9E,wEAAwE;AACxE,+EAA+E;AAC/E,6EAA6E;AAC7E,SAAS;AACT,EAAE;AACF,gFAAgF;AAChF,kFAAkF;AAClF,2EAA2E;AAC3E,yEAAyE;AACzE,+EAA+E;AAC/E,+EAA+E;AAC/E,mEAAmE;AACnE,iFAAiF;AACjF,8EAA8E;AAC9E,0CAA0C;AAC1C,EAAE;AACF,+EAA+E;AAC/E,iFAAiF;AACjF,gFAAgF;AAChF,yEAAyE;AACzE,iFAAiF;AACjF,kFAAkF;AAClF,qBAAqB;AAwCrB,8FAA8F;AAC9F,MAAM,MAAM,GAAG,CACb,KAA4C,EAC5C,eAAe,GAAG,KAAK,EACA,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC,CAAC;AAEzE,4EAA4E;AAC5E,MAAM,MAAM,GAAG,CAAC,QAAgB,EAAE,KAA4C,EAAyB,EAAE,CAAC,CAAC;IACzG,IAAI,EAAE,QAAQ;IACd,QAAQ;IACR,KAAK;CACN,CAAC,CAAC;AAEH,iFAAiF;AACjF,MAAM,OAAO,GAAG,CAAC,KAA4B,EAAE,eAAe,GAAG,KAAK,EAAyB,EAAE,CAAC,CAAC;IACjG,IAAI,EAAE,OAAO;IACb,KAAK;IACL,eAAe;CAChB,CAAC,CAAC;AAEH,8EAA8E;AAC9E,MAAM,GAAG,GAAG,CAAC,eAAe,GAAG,KAAK,EAAyB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAAC;AAErG,6EAA6E;AAC7E,+EAA+E;AAC/E,6CAA6C;AAC7C,MAAM,sBAAsB,GAAG;IAC7B,IAAI,EAAE,GAAG,EAAE;IACX,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC;IACrB,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC;IACnB,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC;IACjB,WAAW,EAAE,GAAG,CAAC,IAAI,CAAC;IACtB,gBAAgB,EAAE,GAAG,CAAC,IAAI,CAAC;IAC3B,iBAAiB,EAAE,GAAG,CAAC,IAAI,CAAC;CAC7B,CAAC;AACF;;;;;;GAMG;AACH,MAAM,wBAAwB,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;AAClE,MAAM,uBAAuB,GAAG;IAC9B,OAAO,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC,wBAAwB,CAAC;IAC5C,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC;CACjB,CAAC;AACF,MAAM,8BAA8B,GAAG;IACrC,WAAW,EAAE,GAAG,EAAE;IAClB,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC;IACf,IAAI,EAAE,GAAG,EAAE;IACX,YAAY,EAAE,GAAG,EAAE;CACpB,CAAC;AACF,MAAM,uBAAuB,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;AACrE,MAAM,6BAA6B,GAAG;IACpC,gBAAgB,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACrC,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;CACpC,CAAC;AACF,MAAM,0BAA0B,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;AAClG,MAAM,wBAAwB,GAAG;IAC/B,QAAQ,EAAE,GAAG,EAAE;IACf,cAAc,EAAE,GAAG,EAAE;IACrB,QAAQ,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;IACxB,iBAAiB,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;IACjC,mBAAmB,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;IACnC,cAAc,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;CACpC,CAAC;AAEF;;;;GAIG;AACH,MAAM,aAAa,GAA0C;IAC3D,EAAE,EAAE,GAAG,EAAE;IACT,KAAK,EAAE,GAAG,EAAE;IACZ,QAAQ,EAAE,GAAG,EAAE;IACf,QAAQ,EAAE,GAAG,EAAE;IACf,wBAAwB,EAAE,GAAG,CAAC,IAAI,CAAC;IACnC,UAAU,EAAE,GAAG,EAAE;IACjB,IAAI,EAAE,GAAG,EAAE;IACX,OAAO,EAAE,GAAG,EAAE;IACd,cAAc,EAAE,OAAO,CAAC,MAAM,CAAC,uBAAuB,EAAE,sBAAsB,CAAC,CAAC;IAChF,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC;IACjB,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC;IACrB,0EAA0E;IAC1E,+EAA+E;IAC/E,8EAA8E;IAC9E,6EAA6E;IAC7E,QAAQ,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;IAC9B,YAAY,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;IAClC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC;IACnB,gBAAgB,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;IACtC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC;IACnB,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC;IACvB,iBAAiB,EAAE,GAAG,CAAC,IAAI,CAAC;IAC5B,SAAS,EAAE,MAAM,CAAC,uBAAuB,EAAE,IAAI,CAAC;IAChD,aAAa,EAAE,GAAG,CAAC,IAAI,CAAC;IACxB,mBAAmB,EAAE,GAAG,CAAC,IAAI,CAAC;IAC9B,iBAAiB,EAAE,MAAM,CAAC,uBAAuB,EAAE,IAAI,CAAC;IACxD,gBAAgB,EAAE,GAAG,CAAC,IAAI,CAAC;IAC3B,uBAAuB,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;IAC7C,2BAA2B,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;IACjD,iBAAiB,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;IACvC,mBAAmB,EAAE,MAAM,CAAC,8BAA8B,EAAE,IAAI,CAAC;IACjE,YAAY,EAAE,MAAM,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC;CACpE,CAAC;AAEF,+EAA+E;AAC/E,6EAA6E;AAC7E,sDAAsD;AACtD,MAAM,qBAAqB,GAAsB;IAC/C,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,6BAA6B;IACrC,UAAU,EAAE,sBAAsB;CACnC,CAAC;AACF,MAAM,sBAAsB,GAAsB;IAChD,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,wBAAwB;IAChC,UAAU,EAAE,uBAAuB;CACpC,CAAC;AACF,MAAM,6BAA6B,GAAsB;IACvD,IAAI,EAAE,wBAAwB;IAC9B,MAAM,EAAE,8BAA8B;IACtC,UAAU,EAAE,8BAA8B;CAC3C,CAAC;AACF,MAAM,sBAAsB,GAAsB;IAChD,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,wBAAwB;IAChC,UAAU,EAAE,uBAAuB;CACpC,CAAC;AACF,MAAM,4BAA4B,GAAsB;IACtD,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,6BAA6B;IACrC,UAAU,EAAE,6BAA6B;CAC1C,CAAC;AAEF,+DAA+D;AAC/D,MAAM,uBAAuB,GAAsB;IACjD,IAAI,EAAE,mBAAmB;IACzB,MAAM,EAAE,yBAAyB;IACjC,UAAU,EAAE,wBAAwB;CACrC,CAAC;AACF,MAAM,yBAAyB,GAAsB;IACnD,IAAI,EAAE,oBAAoB;IAC1B,MAAM,EAAE,0BAA0B;IAClC,UAAU,EAAE,0BAA0B;CACvC,CAAC;AACF,MAAM,eAAe,GAAsB;IACzC,IAAI,EAAE,WAAW;IACjB,MAAM,EAAE,iBAAiB;IACzB,UAAU,EAAE;QACV,OAAO,EAAE,GAAG,EAAE;QACd,OAAO,EAAE,GAAG,EAAE;QACd,OAAO,EAAE,GAAG,EAAE;QACd,IAAI,EAAE,GAAG,EAAE;QACX,UAAU,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;QAC1B,0EAA0E;QAC1E,yEAAyE;QACzE,uEAAuE;QACvE,gBAAgB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE;QACzE,sEAAsE;QACtE,2EAA2E;QAC3E,wEAAwE;QACxE,iDAAiD;QACjD,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC;QAC1B,YAAY,EAAE,OAAO,CACnB,MAAM,CAAC;YACL,IAAI,EAAE,GAAG,EAAE;YACX,WAAW,EAAE,GAAG,EAAE;YAClB,KAAK,EAAE,GAAG,EAAE;YACZ,OAAO,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;YACvB,cAAc,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE;SACjD,CAAC,EACF,IAAI,CACL;QACD,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC;QAC7E,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE;QAC/D,SAAS,EAAE,GAAG,EAAE;QAChB,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC;QACnB,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC;QACzB,aAAa,EAAE,GAAG,CAAC,IAAI,CAAC;QACxB,IAAI,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;QAC1B,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC;QACjB,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC;QACvB,iBAAiB,EAAE,GAAG,CAAC,IAAI,CAAC;KAC7B;CACF,CAAC;AAEF,MAAM,iBAAiB,GAAsB;IAC3C,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,mBAAmB;IAC3B,UAAU,EAAE;QACV,OAAO,EAAE,GAAG,EAAE;QACd,OAAO,EAAE,GAAG,EAAE;QACd,OAAO,EAAE,GAAG,EAAE;QACd,IAAI,EAAE,GAAG,EAAE;QACX,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC;QACrB,mEAAmE;QACnE,aAAa,EAAE,OAAO,CAAC,MAAM,CAAC,0BAA0B,CAAC,CAAC;QAC1D,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;QAC1C,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC;QACzB,8EAA8E;QAC9E,0EAA0E;QAC1E,yEAAyE;QACzE,cAAc;QACd,KAAK,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;QAC3B,iBAAiB,EAAE,GAAG,CAAC,IAAI,CAAC;QAC5B,cAAc,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;QACpC,YAAY,EAAE,EAAE,GAAG,MAAM,CAAC,yBAAyB,CAAC,EAAE,eAAe,EAAE,IAAI,EAAE;QAC7E,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC;QACjB,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC;QACvB,WAAW,EAAE,GAAG,CAAC,IAAI,CAAC;QACtB,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC;QACvB,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC;QAC1B,WAAW,EAAE,GAAG,CAAC,IAAI,CAAC;QACtB,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC;KACnB;CACF,CAAC;AAEF;;;;GAIG;AACH,SAAS,MAAM,CAAC,UAAkB;IAChC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AAClD,CAAC;AAED,0FAA0F;AAC1F,MAAM,CAAC,MAAM,wBAAwB,GAAiC;IACpE;QACE,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,eAAe;QACvB,UAAU,EAAE,aAAa;KAC1B;IACD,qBAAqB;IACrB,sBAAsB;IACtB,6BAA6B;IAC7B,sBAAsB;IACtB,4BAA4B;IAC5B,iBAAiB;IACjB,eAAe;IACf,uBAAuB;IACvB,yBAAyB;CAC1B,CAAC"}