@descryy/core 0.3.0 → 0.5.0

package/dist/budget/reply.d.ts

@@ -1,49 +1,16 @@
-/**
- * `applyReplySizeBudget` — the same discipline as `size.ts`, applied to the
- * *whole* serialized reply rather than to one field inside it.
- *
- * `applySerializedSizeBudget` bounds the sum of the payloads it is pointed at
- * and nothing else. That is what shipped as the fix for `get_git_diff`'s
- * missing aggregate cap, and re-running the same real 48-file branch diff
- * against it is what showed the fix was necessary but not sufficient: the
- * patch budget *was* enforced (13 files carried patch text where 44 had
- * before) and the call still failed outright, at 84,516 characters, because
- * the per-file status/additions/deletions rows for all 48 files, plus the
- * reply's own disclosures and envelope, sit outside that budget entirely.
- *
- * The lesson is the same one `size.ts` records one level down, and it has now
- * been learned twice: **a cap over one part of a reply bounds nothing about
- * the reply.** So this budget takes everything it does not own as
- * `overheadBytes` and shrinks in two stages, most-destructive last:
- *
- * 1. **Withhold payloads.** Prefix rule, exactly as `size.ts`: leading items
- *    keep theirs, later ones are withheld carrying a named reason.
- * 2. **Drop trailing items** — only when the fully-withheld list *still* does
- *    not fit, i.e. the metadata alone is over budget. Reported as a count, so
- *    a caller re-requests narrowed rather than reading a silently short list
- *    as a complete one.
- *
- * **Breadth before depth**: if stage 2 had to fire, no payload is restored for
- * the survivors even when bytes remain. Spending the last of a budget on patch
- * text while files are being dropped from the list is the wrong trade, and a
- * reply that is both short *and* deep is harder to act on than one that is
- * short and says so.
- */
+/** `applyReplySizeBudget` bounds the whole serialized reply, not one field
+ *  (unlike `size.ts`): `get_git_diff` still failed at 84,516 chars with
+ *  patches capped, since per-file metadata sat outside that budget. Shrinks
+ *  in stages — withhold payloads (prefix rule), then drop trailing items
+ *  (reported as a count) — and never restores a payload once items drop. */
 export interface ReplySizeBudgetOptions<T> {
     /** The cap on `overheadBytes` plus the serialized size of every kept item. */
     readonly maxTotalBytes: number;
-    /**
-     * What the rest of the reply costs — envelope, headline, disclosures,
-     * everything this budget does not own. Measured by the caller, not guessed:
-     * an under-stated overhead is exactly how the first fix came in over the
-     * ceiling anyway.
-     */
+    /** What the rest of the reply costs (envelope, headline, disclosures) —
+     *  measured by the caller, not guessed; under-stating it is how the first fix still failed. */
     readonly overheadBytes: number;
-    /**
-     * This item's own serialized cost in bytes, **including** whatever separator
-     * it carries in the encoded list (a comma, for JSON). Called on both the
-     * full and the withheld form of an item.
-     */
+    /** This item's serialized cost in bytes, including its list separator
+     *  (e.g. a JSON comma). Called on both the full and withheld form. */
     readonly sizeOf: (item: T) => number;
     /** True while this item still carries a payload the budget could withhold. */
     readonly hasPayload: (item: T) => boolean;
@@ -51,10 +18,8 @@ export interface ReplySizeBudgetOptions<T> {
     readonly withhold: (item: T, spentBytes: number) => T;
 }
 export interface ReplySizeBudgetResult<T> {
-    /**
-     * Order preserved. Shorter than the input exactly when `droppedCount > 0` —
-     * see that field, and never without it being reported.
-     */
+    /** Order preserved; shorter than input exactly when `droppedCount > 0`,
+     *  never silently. */
     readonly items: readonly T[];
     /** How many kept items had a payload withheld by this budget. */
     readonly withheldCount: number;

package/dist/budget/reply.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"reply.d.ts","sourceRoot":"","sources":["../../src/budget/reply.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,MAAM,WAAW,sBAAsB,CAAC,CAAC;IACvC,8EAA8E;IAC9E,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B;;;;;OAKG;IACH,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,MAAM,CAAC;IACrC,8EAA8E;IAC9E,QAAQ,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,OAAO,CAAC;IAC1C,oFAAoF;IACpF,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,UAAU,EAAE,MAAM,KAAK,CAAC,CAAC;CACvD;AAED,MAAM,WAAW,qBAAqB,CAAC,CAAC;IACtC;;;OAGG;IACH,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;IAC7B,iEAAiE;IACjE,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,gEAAgE;IAChE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,mFAAmF;IACnF,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,wBAAgB,oBAAoB,CAAC,CAAC,EACpC,KAAK,EAAE,SAAS,CAAC,EAAE,EACnB,OAAO,EAAE,sBAAsB,CAAC,CAAC,CAAC,GACjC,qBAAqB,CAAC,CAAC,CAAC,CA+C1B"}
+{"version":3,"file":"reply.d.ts","sourceRoot":"","sources":["../../src/budget/reply.ts"],"names":[],"mappings":"AAAA;;;;4EAI4E;AAE5E,MAAM,WAAW,sBAAsB,CAAC,CAAC;IACvC,8EAA8E;IAC9E,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B;mGAC+F;IAC/F,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B;0EACsE;IACtE,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,MAAM,CAAC;IACrC,8EAA8E;IAC9E,QAAQ,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,OAAO,CAAC;IAC1C,oFAAoF;IACpF,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,UAAU,EAAE,MAAM,KAAK,CAAC,CAAC;CACvD;AAED,MAAM,WAAW,qBAAqB,CAAC,CAAC;IACtC;0BACsB;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;IAC7B,iEAAiE;IACjE,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,gEAAgE;IAChE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,mFAAmF;IACnF,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,wBAAgB,oBAAoB,CAAC,CAAC,EACpC,KAAK,EAAE,SAAS,CAAC,EAAE,EACnB,OAAO,EAAE,sBAAsB,CAAC,CAAC,CAAC,GACjC,qBAAqB,CAAC,CAAC,CAAC,CA4C1B"}

package/dist/budget/reply.js

@@ -1,41 +1,13 @@
-/**
- * `applyReplySizeBudget` — the same discipline as `size.ts`, applied to the
- * *whole* serialized reply rather than to one field inside it.
- *
- * `applySerializedSizeBudget` bounds the sum of the payloads it is pointed at
- * and nothing else. That is what shipped as the fix for `get_git_diff`'s
- * missing aggregate cap, and re-running the same real 48-file branch diff
- * against it is what showed the fix was necessary but not sufficient: the
- * patch budget *was* enforced (13 files carried patch text where 44 had
- * before) and the call still failed outright, at 84,516 characters, because
- * the per-file status/additions/deletions rows for all 48 files, plus the
- * reply's own disclosures and envelope, sit outside that budget entirely.
- *
- * The lesson is the same one `size.ts` records one level down, and it has now
- * been learned twice: **a cap over one part of a reply bounds nothing about
- * the reply.** So this budget takes everything it does not own as
- * `overheadBytes` and shrinks in two stages, most-destructive last:
- *
- * 1. **Withhold payloads.** Prefix rule, exactly as `size.ts`: leading items
- *    keep theirs, later ones are withheld carrying a named reason.
- * 2. **Drop trailing items** — only when the fully-withheld list *still* does
- *    not fit, i.e. the metadata alone is over budget. Reported as a count, so
- *    a caller re-requests narrowed rather than reading a silently short list
- *    as a complete one.
- *
- * **Breadth before depth**: if stage 2 had to fire, no payload is restored for
- * the survivors even when bytes remain. Spending the last of a budget on patch
- * text while files are being dropped from the list is the wrong trade, and a
- * reply that is both short *and* deep is harder to act on than one that is
- * short and says so.
- */
+/** `applyReplySizeBudget` bounds the whole serialized reply, not one field
+ *  (unlike `size.ts`): `get_git_diff` still failed at 84,516 chars with
+ *  patches capped, since per-file metadata sat outside that budget. Shrinks
+ *  in stages — withhold payloads (prefix rule), then drop trailing items
+ *  (reported as a count) — and never restores a payload once items drop. */
 export function applyReplySizeBudget(items, options) {
     const { maxTotalBytes, overheadBytes, sizeOf, hasPayload, withhold } = options;
-    // The withheld form's size is measured with `maxTotalBytes` as the spent
-    // figure because the reason text carries that number and no figure this
-    // budget can report is wider than the cap itself. Measuring with the widest
-    // possible number can only over-estimate, and over-estimating is the safe
-    // direction: the fitted reply lands under the ceiling, never over it.
+    // Withheld size measured with `maxTotalBytes` as the spent figure (the
+    // widest number this budget can report) — over-estimates, which is safe:
+    // the fitted reply lands under the ceiling, never over.
     const bare = items.map((item) => (hasPayload(item) ? withhold(item, maxTotalBytes) : item));
     const bareBytes = bare.map(sizeOf);
     let total = overheadBytes;
@@ -67,9 +39,8 @@ export function applyReplySizeBudget(items, options) {
             withheldCount -= 1;
         }
     }
-    // Every item still withheld is rebuilt with the figure actually spent rather
-    // than the cap-width estimate above. `total <= maxTotalBytes` here, so the
-    // rebuilt reason is never wider than what was measured — the bound holds.
+    // Withheld items rebuilt with the actual spent figure, not the cap-width
+    // estimate — `total <= maxTotalBytes` here, so the bound holds.
     const finalItems = out.map((item, i) => item === items[i] || !hasPayload(items[i]) ? item : withhold(items[i], total));
     return { items: finalItems, withheldCount, droppedCount, totalBytes: total };
 }

package/dist/budget/reply.js.map

@@ -1 +1 @@
-{"version":3,"file":"reply.js","sourceRoot":"","sources":["../../src/budget/reply.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAsCH,MAAM,UAAU,oBAAoB,CAClC,KAAmB,EACnB,OAAkC;IAElC,MAAM,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IAE/E,yEAAyE;IACzE,wEAAwE;IACxE,4EAA4E;IAC5E,0EAA0E;IAC1E,sEAAsE;IACtE,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5F,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAEnC,IAAI,KAAK,GAAG,aAAa,CAAC;IAC1B,KAAK,MAAM,KAAK,IAAI,SAAS;QAAE,KAAK,IAAI,KAAK,CAAC;IAE9C,IAAI,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC;IACxB,OAAO,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG,aAAa,EAAE,CAAC;QACzC,IAAI,IAAI,CAAC,CAAC;QACV,KAAK,IAAI,SAAS,CAAC,IAAI,CAAE,CAAC;IAC5B,CAAC;IACD,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC;IAEzC,MAAM,GAAG,GAAQ,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACrC,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,IAAI,CAAC;QAAE,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;YAAE,aAAa,IAAI,CAAC,CAAC;IAEhF,IAAI,YAAY,KAAK,CAAC,EAAE,CAAC;QACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;YACvB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;gBAAE,SAAS;YAChC,uEAAuE;YACvE,uEAAuE;YACvE,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC,CAAE,CAAC;YAC3C,IAAI,KAAK,GAAG,KAAK,GAAG,aAAa;gBAAE,MAAM,CAAC,+BAA+B;YACzE,KAAK,IAAI,KAAK,CAAC;YACf,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;YACd,aAAa,IAAI,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,6EAA6E;IAC7E,2EAA2E;IAC3E,0EAA0E;IAC1E,MAAM,UAAU,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CACrC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,CAChF,CAAC;IAEF,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,YAAY,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;AAC/E,CAAC"}
+{"version":3,"file":"reply.js","sourceRoot":"","sources":["../../src/budget/reply.ts"],"names":[],"mappings":"AAAA;;;;4EAI4E;AA6B5E,MAAM,UAAU,oBAAoB,CAClC,KAAmB,EACnB,OAAkC;IAElC,MAAM,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IAE/E,uEAAuE;IACvE,yEAAyE;IACzE,wDAAwD;IACxD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5F,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAEnC,IAAI,KAAK,GAAG,aAAa,CAAC;IAC1B,KAAK,MAAM,KAAK,IAAI,SAAS;QAAE,KAAK,IAAI,KAAK,CAAC;IAE9C,IAAI,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC;IACxB,OAAO,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG,aAAa,EAAE,CAAC;QACzC,IAAI,IAAI,CAAC,CAAC;QACV,KAAK,IAAI,SAAS,CAAC,IAAI,CAAE,CAAC;IAC5B,CAAC;IACD,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC;IAEzC,MAAM,GAAG,GAAQ,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACrC,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,IAAI,CAAC;QAAE,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;YAAE,aAAa,IAAI,CAAC,CAAC;IAEhF,IAAI,YAAY,KAAK,CAAC,EAAE,CAAC;QACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;YACvB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;gBAAE,SAAS;YAChC,uEAAuE;YACvE,uEAAuE;YACvE,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC,CAAE,CAAC;YAC3C,IAAI,KAAK,GAAG,KAAK,GAAG,aAAa;gBAAE,MAAM,CAAC,+BAA+B;YACzE,KAAK,IAAI,KAAK,CAAC;YACf,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;YACd,aAAa,IAAI,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,yEAAyE;IACzE,gEAAgE;IAChE,MAAM,UAAU,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CACrC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,CAChF,CAAC;IAEF,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,YAAY,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;AAC/E,CAAC"}

package/dist/budget/size.d.ts

@@ -1,25 +1,6 @@
 /**
- * `applySerializedSizeBudget` — a total-bytes cap over a list of items whose
- * payloads dominate a reply's size.
- *
- * Written for `gitDiff`, which had two size controls and neither bounded the
- * sum: a per-file `maxPatchBytes` cap and a file-count `limit`. A real 48-file
- * branch diff, with 44 patches each *under* the 20,000-byte per-file cap,
- * summed to 229KB and hard-failed the call outright — the reply never reached
- * the caller at all. A per-item cap says nothing about a total, and a tool
- * that has only the first has no bound on its reply.
- *
- * Two deliberate shapes:
- *
- * - **Withhold, never drop.** An over-budget item stays in the list with its
- *   stats and a named reason; only the payload goes. §4's empty-denominator
- *   rule: a caller must never be unable to tell "this file did not change"
- *   from "this file's patch did not fit."
- * - **Prefix, not greedy backfill.** Once the budget is exhausted, every
- *   later item is withheld even if a small one would still fit. "The first N
- *   kept their payloads" is a rule a caller can act on — re-request the rest
- *   narrowed. A hole-filling subset is a rule no caller can predict, and it
- *   makes the reply's contents depend on the sizes of unrelated items.
+ * Total-bytes cap over item payloads. Written for `gitDiff`: per-file caps alone let a real 48-file diff (44 patches each under the per-file cap) sum to 229KB and hard-fail outright.
+ * Withholds, never drops (§4 empty-denominator rule — "unchanged" vs "didn't fit" must stay distinguishable); prefix order, not greedy backfill, so results stay predictable.
  */
 export interface SerializedSizeBudgetOptions<T> {
     /** The cap on the sum of `sizeOf` across kept items. */

package/dist/budget/size.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"size.d.ts","sourceRoot":"","sources":["../../src/budget/size.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,MAAM,WAAW,2BAA2B,CAAC,CAAC;IAC5C,wDAAwD;IACxD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,mFAAmF;IACnF,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,MAAM,CAAC;IACrC,oFAAoF;IACpF,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,UAAU,EAAE,MAAM,KAAK,CAAC,CAAC;CACvD;AAED,MAAM,WAAW,0BAA0B,CAAC,CAAC;IAC3C,wFAAwF;IACxF,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;IAC7B,iDAAiD;IACjD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,oFAAoF;IACpF,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,uFAAuF;IACvF,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AAED,wBAAgB,yBAAyB,CAAC,CAAC,EACzC,KAAK,EAAE,SAAS,CAAC,EAAE,EACnB,OAAO,EAAE,2BAA2B,CAAC,CAAC,CAAC,GACtC,0BAA0B,CAAC,CAAC,CAAC,CAiC/B"}
+{"version":3,"file":"size.d.ts","sourceRoot":"","sources":["../../src/budget/size.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,MAAM,WAAW,2BAA2B,CAAC,CAAC;IAC5C,wDAAwD;IACxD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,mFAAmF;IACnF,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,MAAM,CAAC;IACrC,oFAAoF;IACpF,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,UAAU,EAAE,MAAM,KAAK,CAAC,CAAC;CACvD;AAED,MAAM,WAAW,0BAA0B,CAAC,CAAC;IAC3C,wFAAwF;IACxF,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;IAC7B,iDAAiD;IACjD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,oFAAoF;IACpF,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,uFAAuF;IACvF,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AAED,wBAAgB,yBAAyB,CAAC,CAAC,EACzC,KAAK,EAAE,SAAS,CAAC,EAAE,EACnB,OAAO,EAAE,2BAA2B,CAAC,CAAC,CAAC,GACtC,0BAA0B,CAAC,CAAC,CAAC,CA+B/B"}

package/dist/budget/size.js

@@ -1,25 +1,6 @@
 /**
- * `applySerializedSizeBudget` — a total-bytes cap over a list of items whose
- * payloads dominate a reply's size.
- *
- * Written for `gitDiff`, which had two size controls and neither bounded the
- * sum: a per-file `maxPatchBytes` cap and a file-count `limit`. A real 48-file
- * branch diff, with 44 patches each *under* the 20,000-byte per-file cap,
- * summed to 229KB and hard-failed the call outright — the reply never reached
- * the caller at all. A per-item cap says nothing about a total, and a tool
- * that has only the first has no bound on its reply.
- *
- * Two deliberate shapes:
- *
- * - **Withhold, never drop.** An over-budget item stays in the list with its
- *   stats and a named reason; only the payload goes. §4's empty-denominator
- *   rule: a caller must never be unable to tell "this file did not change"
- *   from "this file's patch did not fit."
- * - **Prefix, not greedy backfill.** Once the budget is exhausted, every
- *   later item is withheld even if a small one would still fit. "The first N
- *   kept their payloads" is a rule a caller can act on — re-request the rest
- *   narrowed. A hole-filling subset is a rule no caller can predict, and it
- *   makes the reply's contents depend on the sizes of unrelated items.
+ * Total-bytes cap over item payloads. Written for `gitDiff`: per-file caps alone let a real 48-file diff (44 patches each under the per-file cap) sum to 229KB and hard-fail outright.
+ * Withholds, never drops (§4 empty-denominator rule — "unchanged" vs "didn't fit" must stay distinguishable); prefix order, not greedy backfill, so results stay predictable.
  */
 export function applySerializedSizeBudget(items, options) {
     const { maxTotalBytes, sizeOf, withhold } = options;
@@ -31,9 +12,7 @@ export function applySerializedSizeBudget(items, options) {
     for (const item of items) {
         const size = sizeOf(item);
         requestedBytes += size;
-        // An item with no payload of its own costs nothing and is not this
-        // budget's doing — its existing reason (binary, over the per-item cap)
-        // must survive untouched.
+        // No payload: costs nothing, not this budget's doing — existing reason survives.
         if (size === 0) {
             out.push(item);
             continue;

package/dist/budget/size.js.map

@@ -1 +1 @@
-{"version":3,"file":"size.js","sourceRoot":"","sources":["../../src/budget/size.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAsBH,MAAM,UAAU,yBAAyB,CACvC,KAAmB,EACnB,OAAuC;IAEvC,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IAEpD,MAAM,GAAG,GAAQ,EAAE,CAAC;IACpB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,SAAS,GAAG,KAAK,CAAC;IAEtB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC1B,cAAc,IAAI,IAAI,CAAC;QAEvB,mEAAmE;QACnE,uEAAuE;QACvE,0BAA0B;QAC1B,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;YACf,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACf,SAAS;QACX,CAAC;QAED,IAAI,SAAS,IAAI,UAAU,GAAG,IAAI,GAAG,aAAa,EAAE,CAAC;YACnD,SAAS,GAAG,IAAI,CAAC;YACjB,aAAa,IAAI,CAAC,CAAC;YACnB,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;YACrC,SAAS;QACX,CAAC;QAED,UAAU,IAAI,IAAI,CAAC;QACnB,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,cAAc,EAAE,aAAa,EAAE,CAAC;AACnE,CAAC"}
+{"version":3,"file":"size.js","sourceRoot":"","sources":["../../src/budget/size.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAsBH,MAAM,UAAU,yBAAyB,CACvC,KAAmB,EACnB,OAAuC;IAEvC,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IAEpD,MAAM,GAAG,GAAQ,EAAE,CAAC;IACpB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,SAAS,GAAG,KAAK,CAAC;IAEtB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC1B,cAAc,IAAI,IAAI,CAAC;QAEvB,iFAAiF;QACjF,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;YACf,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACf,SAAS;QACX,CAAC;QAED,IAAI,SAAS,IAAI,UAAU,GAAG,IAAI,GAAG,aAAa,EAAE,CAAC;YACnD,SAAS,GAAG,IAAI,CAAC;YACjB,aAAa,IAAI,CAAC,CAAC;YACnB,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;YACrC,SAAS;QACX,CAAC;QAED,UAAU,IAAI,IAAI,CAAC;QACnB,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,cAAc,EAAE,aAAa,EAAE,CAAC;AACnE,CAAC"}

package/dist/capabilities/preconditions.d.ts

@@ -1,47 +1,7 @@
 /**
- * A check declares what it needs; the engine refuses to run it if no loaded
- * producer can supply that. DEC-112's implementation.
- *
- * ## The defect this makes impossible
- *
- * Three static checks read their graph side with `nodesOfType("FILE")`. **No
- * shipped adapter emits a `FILE` node** — all nine use `MODULE`. So the graph
- * half of every one of them was dead on every real repository, and 48 tests and
- * three precision gates stayed green throughout, because all four instruments
- * minted the node type the check wanted.
- *
- * The fact was *already known*. `packages/core/src/tiers/ladder.ts` records it in
- * a comment, written after the tier ladder required `FILE` and failed every
- * adapter at Tier C. A comment is not reachable from the place the next person
- * writes a check.
- *
- * **`capabilities()` has declared `nodeTypes` since the adapter contract was
- * written** (`packages/ir/src/contracts.ts`). Nobody asked it. This module is
- * the asking.
- *
- * ## Declared, not emitted — and the distinction is the whole design
- *
- * The precondition is checked against what loaded producers **declare**, never
- * against what a particular run emitted. Those are different failures and only
- * one of them is a bug:
- *
- * | situation | verdict | why |
- * | --- | --- | --- |
- * | no loaded producer *declares* the type | **refuse** | the check can never work here; running it produces an empty result indistinguishable from a clean repository |
- * | a producer declares it, this run emitted none | **run** | a legitimately empty answer, disclosed by the check in the ordinary way |
- *
- * Conflating them would make every quiet repository look like a wiring bug, and
- * DEC-070 already machine-checks that a declaration matches what the adapter
- * emitted, so a declaration is evidence rather than a promise.
- *
- * ## Refusal is `not_analysable`, not a crash
- *
- * §20.2's four categories are the point: *"we found nothing"* and *"we cannot
- * look"* are different sentences. A refusal names the missing type and the
- * producers that were loaded, so the answer a user sees is the second sentence
- * rather than an empty list. It does not throw, because a repository analysed
- * with only a Ruby adapter legitimately lacks most types — that is degradation,
- * which is disclosed, not a defect.
+ * DEC-112: a check declares what it needs; refused unless a loaded producer *declares* that
+ * (`capabilities()`), never what a run emitted (DEC-070). Motivated by three checks reading
+ * `nodesOfType("FILE")` though no adapter emits it (all nine use `MODULE`) — dead on every real repo.
  */
 import type { CapabilityMatrix, EdgeType, NodeType } from "@descryy/ir";
 export interface CapabilityRequirement {
@@ -49,17 +9,7 @@ export interface CapabilityRequirement {
     readonly check: string;
     readonly nodeTypes?: readonly NodeType[];
     readonly edgeTypes?: readonly EdgeType[];
-    /**
-     * `attrs` keys the check reads, such as `envReads`.
-     *
-     * **Declared for the reader, never enforced**, and that asymmetry is
-     * deliberate: `capabilities()` describes node and edge types and says nothing
-     * about `attrs`, because nothing above the IR may read `attrs` (rule 9). So
-     * this cannot be machine-checked without extending the contract, and claiming
-     * to check it would be worse than not checking it. It is carried so a refusal
-     * can say *which attribute* is missing when the type is present and the data
-     * is not.
-     */
+    /** `attrs` keys the check reads. Declared for the reader, never enforced — nothing above the IR may read `attrs` (rule 9). */
     readonly attrKeys?: readonly string[];
 }
 export interface ProducerCapabilities {
@@ -75,22 +25,11 @@ export type PreconditionVerdict = {
     /** One sentence, in §20.2's *not analysable* voice. */
     readonly reason: string;
 };
-/**
- * Can this check run against the producers that are loaded?
- *
- * **An empty producer list refuses everything**, which is correct rather than
- * pedantic: a check run with no producers loaded returns an empty result, and an
- * empty result from no data reads exactly like an empty result from clean code.
- */
+/** Can this check run against the loaded producers? An empty producer list refuses everything — deliberate, not pedantic. */
 export declare function checkPreconditions(requirement: CapabilityRequirement, producers: readonly ProducerCapabilities[]): PreconditionVerdict;
 /**
- * The same question asked the other way, for an audit rather than for a run:
- * **which declared requirements can no loaded producer satisfy?**
- *
- * DEC-112's rule is that at least one gate per capability must consume what a
- * shipped producer actually emits. This is how you find the ones that do not,
- * on purpose rather than by accident — five instances were found by accident,
- * and that is only the count so far.
+ * Same question the other way, for an audit: which requirements can no loaded producer satisfy?
+ * DEC-112 requires at least one gate per capability to consume what a producer actually emits.
  */
 export declare function auditRequirements(requirements: readonly CapabilityRequirement[], producers: readonly ProducerCapabilities[]): readonly {
     readonly requirement: CapabilityRequirement;

package/dist/capabilities/preconditions.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"preconditions.d.ts","sourceRoot":"","sources":["../../src/capabilities/preconditions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAExE,MAAM,WAAW,qBAAqB;IACpC,gFAAgF;IAChF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC;IACzC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC;IACzC;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACvC;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,YAAY,EAAE,gBAAgB,CAAC;CACzC;AAED,MAAM,MAAM,mBAAmB,GAC3B;IAAE,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAA;CAAE,GAC5B;IACE,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,EAAE,SAAS,QAAQ,EAAE,CAAC;IAC/C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,QAAQ,EAAE,CAAC;IAC/C,uDAAuD;IACvD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEN;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAChC,WAAW,EAAE,qBAAqB,EAClC,SAAS,EAAE,SAAS,oBAAoB,EAAE,GACzC,mBAAmB,CA2BrB;AAED;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAC/B,YAAY,EAAE,SAAS,qBAAqB,EAAE,EAC9C,SAAS,EAAE,SAAS,oBAAoB,EAAE,GACzC,SAAS;IAAE,QAAQ,CAAC,WAAW,EAAE,qBAAqB,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAA;CAAE,EAAE,CAKnG"}
+{"version":3,"file":"preconditions.d.ts","sourceRoot":"","sources":["../../src/capabilities/preconditions.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAExE,MAAM,WAAW,qBAAqB;IACpC,gFAAgF;IAChF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC;IACzC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC;IACzC,8HAA8H;IAC9H,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACvC;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,YAAY,EAAE,gBAAgB,CAAC;CACzC;AAED,MAAM,MAAM,mBAAmB,GAC3B;IAAE,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAA;CAAE,GAC5B;IACE,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,EAAE,SAAS,QAAQ,EAAE,CAAC;IAC/C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,QAAQ,EAAE,CAAC;IAC/C,uDAAuD;IACvD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEN,6HAA6H;AAC7H,wBAAgB,kBAAkB,CAChC,WAAW,EAAE,qBAAqB,EAClC,SAAS,EAAE,SAAS,oBAAoB,EAAE,GACzC,mBAAmB,CA2BrB;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAC/B,YAAY,EAAE,SAAS,qBAAqB,EAAE,EAC9C,SAAS,EAAE,SAAS,oBAAoB,EAAE,GACzC,SAAS;IAAE,QAAQ,CAAC,WAAW,EAAE,qBAAqB,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAA;CAAE,EAAE,CAKnG"}

package/dist/capabilities/preconditions.js

@@ -1,55 +1,9 @@
 /**
- * A check declares what it needs; the engine refuses to run it if no loaded
- * producer can supply that. DEC-112's implementation.
- *
- * ## The defect this makes impossible
- *
- * Three static checks read their graph side with `nodesOfType("FILE")`. **No
- * shipped adapter emits a `FILE` node** — all nine use `MODULE`. So the graph
- * half of every one of them was dead on every real repository, and 48 tests and
- * three precision gates stayed green throughout, because all four instruments
- * minted the node type the check wanted.
- *
- * The fact was *already known*. `packages/core/src/tiers/ladder.ts` records it in
- * a comment, written after the tier ladder required `FILE` and failed every
- * adapter at Tier C. A comment is not reachable from the place the next person
- * writes a check.
- *
- * **`capabilities()` has declared `nodeTypes` since the adapter contract was
- * written** (`packages/ir/src/contracts.ts`). Nobody asked it. This module is
- * the asking.
- *
- * ## Declared, not emitted — and the distinction is the whole design
- *
- * The precondition is checked against what loaded producers **declare**, never
- * against what a particular run emitted. Those are different failures and only
- * one of them is a bug:
- *
- * | situation | verdict | why |
- * | --- | --- | --- |
- * | no loaded producer *declares* the type | **refuse** | the check can never work here; running it produces an empty result indistinguishable from a clean repository |
- * | a producer declares it, this run emitted none | **run** | a legitimately empty answer, disclosed by the check in the ordinary way |
- *
- * Conflating them would make every quiet repository look like a wiring bug, and
- * DEC-070 already machine-checks that a declaration matches what the adapter
- * emitted, so a declaration is evidence rather than a promise.
- *
- * ## Refusal is `not_analysable`, not a crash
- *
- * §20.2's four categories are the point: *"we found nothing"* and *"we cannot
- * look"* are different sentences. A refusal names the missing type and the
- * producers that were loaded, so the answer a user sees is the second sentence
- * rather than an empty list. It does not throw, because a repository analysed
- * with only a Ruby adapter legitimately lacks most types — that is degradation,
- * which is disclosed, not a defect.
- */
-/**
- * Can this check run against the producers that are loaded?
- *
- * **An empty producer list refuses everything**, which is correct rather than
- * pedantic: a check run with no producers loaded returns an empty result, and an
- * empty result from no data reads exactly like an empty result from clean code.
+ * DEC-112: a check declares what it needs; refused unless a loaded producer *declares* that
+ * (`capabilities()`), never what a run emitted (DEC-070). Motivated by three checks reading
+ * `nodesOfType("FILE")` though no adapter emits it (all nine use `MODULE`) — dead on every real repo.
  */
+/** Can this check run against the loaded producers? An empty producer list refuses everything — deliberate, not pedantic. */
 export function checkPreconditions(requirement, producers) {
     const declaredNodes = new Set();
     const declaredEdges = new Set();
@@ -77,13 +31,8 @@ export function checkPreconditions(requirement, producers) {
     };
 }
 /**
- * The same question asked the other way, for an audit rather than for a run:
- * **which declared requirements can no loaded producer satisfy?**
- *
- * DEC-112's rule is that at least one gate per capability must consume what a
- * shipped producer actually emits. This is how you find the ones that do not,
- * on purpose rather than by accident — five instances were found by accident,
- * and that is only the count so far.
+ * Same question the other way, for an audit: which requirements can no loaded producer satisfy?
+ * DEC-112 requires at least one gate per capability to consume what a producer actually emits.
  */
 export function auditRequirements(requirements, producers) {
     return requirements.map((requirement) => ({

package/dist/capabilities/preconditions.js.map

@@ -1 +1 @@
-{"version":3,"file":"preconditions.js","sourceRoot":"","sources":["../../src/capabilities/preconditions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AAsCH;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAChC,WAAkC,EAClC,SAA0C;IAE1C,MAAM,aAAa,GAAG,IAAI,GAAG,EAAY,CAAC;IAC1C,MAAM,aAAa,GAAG,IAAI,GAAG,EAAY,CAAC;IAC1C,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,YAAY,CAAC,SAAS;YAAE,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5E,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,YAAY,CAAC,SAAS;YAAE,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC9E,CAAC;IAED,MAAM,gBAAgB,GAAG,CAAC,WAAW,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5F,MAAM,gBAAgB,GAAG,CAAC,WAAW,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5F,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IAE/F,MAAM,OAAO,GAAG,CAAC,GAAG,gBAAgB,EAAE,GAAG,gBAAgB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,MAAM,GAAG,GACP,SAAS,CAAC,MAAM,KAAK,CAAC;QACpB,CAAC,CAAC,uBAAuB;QACzB,CAAC,CAAC,yBAAyB,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,wBAAwB,CAAC;IAE7F,OAAO;QACL,SAAS,EAAE,KAAK;QAChB,gBAAgB;QAChB,gBAAgB;QAChB,MAAM,EACJ,GAAG,WAAW,CAAC,KAAK,UAAU,OAAO,SAAS,GAAG,IAAI;YACrD,qFAAqF;YACrF,0EAA0E;KAC7E,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,iBAAiB,CAC/B,YAA8C,EAC9C,SAA0C;IAE1C,OAAO,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QACxC,WAAW;QACX,OAAO,EAAE,kBAAkB,CAAC,WAAW,EAAE,SAAS,CAAC;KACpD,CAAC,CAAC,CAAC;AACN,CAAC"}
+{"version":3,"file":"preconditions.js","sourceRoot":"","sources":["../../src/capabilities/preconditions.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AA4BH,6HAA6H;AAC7H,MAAM,UAAU,kBAAkB,CAChC,WAAkC,EAClC,SAA0C;IAE1C,MAAM,aAAa,GAAG,IAAI,GAAG,EAAY,CAAC;IAC1C,MAAM,aAAa,GAAG,IAAI,GAAG,EAAY,CAAC;IAC1C,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,YAAY,CAAC,SAAS;YAAE,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5E,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,YAAY,CAAC,SAAS;YAAE,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC9E,CAAC;IAED,MAAM,gBAAgB,GAAG,CAAC,WAAW,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5F,MAAM,gBAAgB,GAAG,CAAC,WAAW,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5F,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IAE/F,MAAM,OAAO,GAAG,CAAC,GAAG,gBAAgB,EAAE,GAAG,gBAAgB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,MAAM,GAAG,GACP,SAAS,CAAC,MAAM,KAAK,CAAC;QACpB,CAAC,CAAC,uBAAuB;QACzB,CAAC,CAAC,yBAAyB,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,wBAAwB,CAAC;IAE7F,OAAO;QACL,SAAS,EAAE,KAAK;QAChB,gBAAgB;QAChB,gBAAgB;QAChB,MAAM,EACJ,GAAG,WAAW,CAAC,KAAK,UAAU,OAAO,SAAS,GAAG,IAAI;YACrD,qFAAqF;YACrF,0EAA0E;KAC7E,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAC/B,YAA8C,EAC9C,SAA0C;IAE1C,OAAO,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QACxC,WAAW;QACX,OAAO,EAAE,kBAAkB,CAAC,WAAW,EAAE,SAAS,CAAC;KACpD,CAAC,CAAC,CAAC;AACN,CAAC"}

package/dist/contracts/engine.d.ts

@@ -29,22 +29,34 @@
  * | consumer | the `USES_API` edge | `attrs.requestType` / `attrs.responseType` — a node id — or `attrs.requestFields` / `attrs.responseFields`, a list of names |
  * | provider | the route's `USES_TYPE` edge | `attrs.roles`: a list containing `"request"`, `"response"`, or both |
  *
- * **The consumer half does not exist in any adapter yet**, and the report says so
- * by name rather than reporting "no mismatches" — the attribute and the edge, so
- * it reads as a task rather than a shrug:
+ * **Both halves are supplied now, and this paragraph said otherwise for longer
+ * than it was true.** It read *"the consumer half does not exist in any
+ * adapter yet"* while a language adapter was already attaching
+ * `attrs.requestType` / `attrs.responseType` to `USES_API` from a type checker,
+ * and an audit reading this file concluded the whole shape check was unfed. A blocker written in prose that no test checks goes stale silently and
+ * is then quoted back as a reason not to build on what already works.
  *
- * 1. `USES_API` currently carries `attrs.client` and nothing about shape.
- * 2. A route's `USES_TYPE` edges carry no direction, so a request DTO and a
- *    response DTO are indistinguishable. Comparing a caller's response
- *    expectation against a request schema would produce confident nonsense, so
- *    an unroled DTO is refused rather than assumed — even when a route names
- *    exactly one, because "one schema" does not say which direction it travels.
- *    **`adapter-openapi` now supplies `attrs.roles`**, so the provider half of
- *    this is closed; the consumer half is not.
+ * What each producer supplies today:
+ *
+ * 1. The consumer half is written at R3 wherever a producer has a type checker,
+ *    with `attrs.shapeResolution` alongside it so a shape claim is not capped
+ *    by the weaker path-matching evidence on the same edge.
+ * 2. The provider half is written by a contract-format producer. A route's
+ *    `USES_TYPE` edges
+ *    carry no direction without it, so a request DTO and a response DTO are
+ *    indistinguishable. Comparing a caller's response expectation against a
+ *    request schema would produce confident nonsense, so an unroled DTO is
+ *    still refused rather than assumed — even when a route names exactly one,
+ *    because "one schema" does not say which direction it travels.
+ *
+ * That is one producer on each side, not every adapter. The blockers this
+ * check reports name the attribute and the edge, so a gap in a third producer
+ * reads as a task rather than a shrug — and the count in `shapes.blockers` is
+ * what to trust about coverage, not this comment.
  */
 import type { IRNode, ResolutionLevel } from "@descryy/ir";
 import type { AdjacencyProvider, QueryResult } from "../query/provider.ts";
-import { type ContractReport, type OrphanOptions } from "./orphans.ts";
+import { type ContractClaim, type ContractReport, type OrphanOptions } from "./orphans.ts";
 import { type ShapeDifference } from "./shapes.ts";
 export type ShapeDirection = "request" | "response";
 export interface ShapeMismatch {
@@ -56,6 +68,8 @@ export interface ShapeMismatch {
     readonly writer: IRNode;
     readonly differences: readonly ShapeDifference[];
     readonly resolution: ResolutionLevel;
+    /** Always `"defect"` — see `ContractClaim`. Carried on the finding rather than assumed by its caller. */
+    readonly claim: ContractClaim;
 }
 export interface ShapeCheck {
     /** True when at least one endpoint had a comparable shape on both sides. */

package/dist/contracts/engine.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/contracts/engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE3D,OAAO,KAAK,EAAE,iBAAiB,EAAc,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAEvF,OAAO,EAGL,KAAK,cAAc,EACnB,KAAK,aAAa,EACnB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAwC,KAAK,eAAe,EAAE,MAAM,aAAa,CAAC;AAEzF,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,UAAU,CAAC;AAEpD,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,uEAAuE;IACvE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,iCAAiC;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,SAAS,eAAe,EAAE,CAAC;IACjD,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;CACtC;AAED,MAAM,WAAW,UAAU;IACzB,4EAA4E;IAC5E,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;IAC9C;;;OAGG;IACH,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,kFAAkF;IAClF,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B;;;OAGG;IACH,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,gFAAgF;IAChF,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC7B;AAED,MAAM,WAAW,eAAgB,SAAQ,aAAa;IACpD,8DAA8D;IAC9D,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;CAC9B;AAqGD,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,iBAAiB,EAC3B,OAAO,GAAE,eAAoB,GAC5B,WAAW,CAAC,aAAa,CAAC,CAwL5B"}
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/contracts/engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuDG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE3D,OAAO,KAAK,EAAE,iBAAiB,EAAc,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAEvF,OAAO,EAGL,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,KAAK,aAAa,EACnB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAwC,KAAK,eAAe,EAAE,MAAM,aAAa,CAAC;AAEzF,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,UAAU,CAAC;AAEpD,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,uEAAuE;IACvE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,iCAAiC;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,SAAS,eAAe,EAAE,CAAC;IACjD,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,yGAAyG;IACzG,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;CAC/B;AAED,MAAM,WAAW,UAAU;IACzB,4EAA4E;IAC5E,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;IAC9C;;;OAGG;IACH,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,kFAAkF;IAClF,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B;;;OAGG;IACH,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,gFAAgF;IAChF,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC7B;AAED,MAAM,WAAW,eAAgB,SAAQ,aAAa;IACpD,8DAA8D;IAC9D,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;CAC9B;AAqGD,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,iBAAiB,EAC3B,OAAO,GAAE,eAAoB,GAC5B,WAAW,CAAC,aAAa,CAAC,CA6L5B"}

package/dist/contracts/engine.js

@@ -29,18 +29,30 @@
  * | consumer | the `USES_API` edge | `attrs.requestType` / `attrs.responseType` — a node id — or `attrs.requestFields` / `attrs.responseFields`, a list of names |
  * | provider | the route's `USES_TYPE` edge | `attrs.roles`: a list containing `"request"`, `"response"`, or both |
  *
- * **The consumer half does not exist in any adapter yet**, and the report says so
- * by name rather than reporting "no mismatches" — the attribute and the edge, so
- * it reads as a task rather than a shrug:
+ * **Both halves are supplied now, and this paragraph said otherwise for longer
+ * than it was true.** It read *"the consumer half does not exist in any
+ * adapter yet"* while a language adapter was already attaching
+ * `attrs.requestType` / `attrs.responseType` to `USES_API` from a type checker,
+ * and an audit reading this file concluded the whole shape check was unfed. A blocker written in prose that no test checks goes stale silently and
+ * is then quoted back as a reason not to build on what already works.
  *
- * 1. `USES_API` currently carries `attrs.client` and nothing about shape.
- * 2. A route's `USES_TYPE` edges carry no direction, so a request DTO and a
- *    response DTO are indistinguishable. Comparing a caller's response
- *    expectation against a request schema would produce confident nonsense, so
- *    an unroled DTO is refused rather than assumed — even when a route names
- *    exactly one, because "one schema" does not say which direction it travels.
- *    **`adapter-openapi` now supplies `attrs.roles`**, so the provider half of
- *    this is closed; the consumer half is not.
+ * What each producer supplies today:
+ *
+ * 1. The consumer half is written at R3 wherever a producer has a type checker,
+ *    with `attrs.shapeResolution` alongside it so a shape claim is not capped
+ *    by the weaker path-matching evidence on the same edge.
+ * 2. The provider half is written by a contract-format producer. A route's
+ *    `USES_TYPE` edges
+ *    carry no direction without it, so a request DTO and a response DTO are
+ *    indistinguishable. Comparing a caller's response expectation against a
+ *    request schema would produce confident nonsense, so an unroled DTO is
+ *    still refused rather than assumed — even when a route names exactly one,
+ *    because "one schema" does not say which direction it travels.
+ *
+ * That is one producer on each side, not every adapter. The blockers this
+ * check reports name the attribute and the edge, so a gap in a third producer
+ * reads as a task rather than a shrug — and the count in `shapes.blockers` is
+ * what to trust about coverage, not this comment.
  */
 import { createResolutionFloor } from "../query/resolution-floor.js";
 import { findContractOrphans, PATH_LEVEL_ONLY_NOTE, } from "./orphans.js";
@@ -218,6 +230,11 @@ export function checkContracts(provider, options = {}) {
                     writer: writer.source,
                     differences: comparison.differences,
                     resolution,
+                    // Always a defect (UAT round 3, Suggestion 6 — see ContractClaim): a
+                    // field one side reads that the other's declared shape does not
+                    // send is provable from this graph and a type checker alone, with
+                    // no external system that could explain it away.
+                    claim: "defect",
                 });
             }
         }

package/dist/contracts/engine.js.map

@@ -1 +1 @@
-{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/contracts/engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAKH,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EACL,mBAAmB,EACnB,oBAAoB,GAGrB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,aAAa,EAAE,SAAS,EAAoC,MAAM,aAAa,CAAC;AA+CzF,qEAAqE;AACrE,SAAS,cAAc,CACrB,QAA2B,EAC3B,MAAc,EACd,SAAkC;IAElC,MAAM,GAAG,GAA2C,EAAE,CAAC;IAEvD,KAAK,MAAM,SAAS,IAAI,CAAC,SAAS,EAAE,UAAU,CAAU,EAAE,CAAC;QACzD,MAAM,KAAK,GAAG,GAAG,SAAS,MAAM,CAAC;QACjC,MAAM,SAAS,GAAG,GAAG,SAAS,QAAQ,CAAC;QAEvC,MAAM,EAAE,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC/B,MAAM,KAAK,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YAC1D,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACnB,GAAG,CAAC,SAAS,CAAC,GAAG,KAAK,CAAC;gBACvB,SAAS;YACX,CAAC;QACH,CAAC;QAED,6EAA6E;QAC7E,oEAAoE;QACpE,sDAAsD;QACtD,MAAM,KAAK,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;QACnC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YACjG,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;QACtF,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAED,mEAAmE;AACnE,SAAS,cAAc,CACrB,QAA2B,EAC3B,MAAyB;IAMzB,MAAM,MAAM,GAA2C,EAAE,CAAC;IAC1D,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,IAAI,OAAO,GAAG,CAAC,CAAC;IAEhB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC;YACzE,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACtC,IAAI,MAAM,KAAK,SAAS;gBAAE,SAAS;YACnC,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;YAChC,IAAI,KAAK,KAAK,IAAI;gBAAE,SAAS;YAE7B,4EAA4E;YAC5E,4EAA4E;YAC5E,4EAA4E;YAC5E,4EAA4E;YAC5E,4CAA4C;YAC5C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC;YAClC,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACjG,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAuB,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,UAAU,CAAC,CAAC;YAE/F,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvB,mEAAmE;gBACnE,uEAAuE;gBACvE,wEAAwE;gBACxE,wEAAwE;gBACxE,yCAAyC;gBACzC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC,CAAC;gBACxC,SAAS;YACX,CAAC;YAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;gBAC9B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;oBACrB,SAAS;gBACX,CAAC;gBACD,IAAI,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,KAAK,CAAC,MAAM,CAAC,EAAE;oBAAE,SAAS;gBACrD,iEAAiE;gBACjE,wEAAwE;gBACxE,wEAAwE;gBACxE,wEAAwE;gBACxE,yEAAyE;gBACzE,iEAAiE;gBACjE,wDAAwD;gBACxD,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC;gBACrC,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;YACtB,CAAC;QACH,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,4CAA4C;IAC5C,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,QAA2B,EAC3B,UAA2B,EAAE;IAE7B,MAAM,KAAK,GAAG,mBAAmB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACrD,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IAE/B,IAAI,OAAO,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QAC/B,OAAO,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,kCAAkC,CAAC,EAAE,KAAK,EAAE;YACxF,GAAG,KAAK;YACR,wEAAwE;SACzE,CAAC,CAAC;IACL,CAAC;IAED,6EAA6E;IAC7E,uEAAuE;IACvE,yEAAyE;IACzE,MAAM,GAAG,GAAG,QAAQ,CAAC,WAAW,CAC9B,cAAc,EACd,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,KAAK,CAAW,CAAC,CACnE,CAAC;IAEF,MAAM,UAAU,GAAoB,EAAE,CAAC;IACvC,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,mBAAmB,GAAG,CAAC,CAAC;IAC5B,qEAAqE;IACrE,MAAM,KAAK,GAAG,qBAAqB,EAAE,CAAC;IAEtC,KAAK,MAAM,QAAQ,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QACjC,MAAM,OAAO,GAAoF,EAAE,CAAC;QACpG,MAAM,MAAM,GAAa,EAAE,CAAC;QAE5B,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,UAAU,EAAE,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC;YACzF,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,KAAK,KAAK,SAAS;gBAAE,SAAS;YAClC,0EAA0E;YAC1E,yEAAyE;YACzE,qEAAqE;YACrE,iCAAiC;YACjC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC7B,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;YACtF,CAAC;;gBAAM,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAE1D,MAAM,QAAQ,GAAG,cAAc,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAClD,WAAW,IAAI,QAAQ,CAAC,OAAO,CAAC;QAChC,mBAAmB,IAAI,QAAQ,CAAC,SAAS,CAAC;QAE1C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAG,cAAc,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;YAEnE,KAAK,MAAM,SAAS,IAAI,CAAC,SAAS,EAAE,UAAU,CAAU,EAAE,CAAC;gBACzD,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;gBACnC,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;gBAE5C,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;oBAAE,SAAS;gBAC/D,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,YAAY,IAAI,CAAC,CAAC;oBAClB,SAAS;gBACX,CAAC;gBACD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,YAAY,IAAI,CAAC,CAAC;oBAClB,SAAS;gBACX,CAAC;gBAED,UAAU,IAAI,CAAC,CAAC;gBAChB,uEAAuE;gBACvE,oDAAoD;gBACpD,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GACpB,SAAS,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;gBACzE,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;gBAEjD,yEAAyE;gBACzE,qEAAqE;gBACrE,oCAAoC;gBACpC,oEAAoE;gBACpE,sEAAsE;gBACtE,yEAAyE;gBACzE,uEAAuE;gBACvE,6CAA6C;gBAC7C,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;gBACpD,MAAM,aAAa,GACjB,OAAO,WAAW,KAAK,QAAQ,IAAI,WAAW,IAAI,CAAC,IAAI,WAAW,IAAI,CAAC;oBACrE,CAAC,CAAE,WAA+B;oBAClC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;gBACxB,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CACzB,aAAa,EACb,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACxB,CAAC;gBACrB,sEAAsE;gBACtE,qEAAqE;gBACrE,sEAAsE;gBACtE,sEAAsE;gBACtE,yDAAyD;gBACzD,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;gBAC1B,IAAI,UAAU,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;oBAAE,SAAS;gBAElD,UAAU,CAAC,IAAI,CAAC;oBACd,QAAQ;oBACR,SAAS;oBACT,MAAM,EAAE,MAAM,CAAC,MAAM;oBACrB,MAAM,EAAE,MAAM,CAAC,MAAM;oBACrB,WAAW,EAAE,UAAU,CAAC,WAAW;oBACnC,UAAU;iBACX,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;QACrB,IAAI,YAAY,KAAK,CAAC,EAAE,CAAC;YACvB,QAAQ,CAAC,IAAI,CACX,wFAAwF;gBACtF,8EAA8E;gBAC9E,yFAAyF;gBACzF,6BAA6B,CAChC,CAAC;QACJ,CAAC;QACD,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;YACpB,QAAQ,CAAC,IAAI,CACX,GAAG,WAAW,2EAA2E;gBACvF,wFAAwF;gBACxF,qFAAqF;gBACrF,iEAAiE,CACpE,CAAC;QACJ,CAAC;QACD,IAAI,YAAY,GAAG,CAAC,IAAI,YAAY,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACpE,QAAQ,CAAC,IAAI,CACX,GAAG,YAAY,0EAA0E;gBACvF,mDAAmD,CACtD,CAAC;QACJ,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CACX,sFAAsF;gBACpF,4BAA4B,CAC/B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAe;QACzB,GAAG,EAAE,UAAU,GAAG,CAAC;QACnB,UAAU;QACV,UAAU,EAAE,UAAU,CAAC,IAAI,CACzB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU;YAC3B,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC9C,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CACzC;QACD,YAAY;QACZ,YAAY;QACZ,WAAW;QACX,mBAAmB;QACnB,QAAQ;KACT,CAAC;IAEF,KAAK,MAAM,OAAO,IAAI,QAAQ;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpD,IAAI,mBAAmB,GAAG,CAAC,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CACR,GAAG,mBAAmB,kEAAkE;YACtF,yFAAyF;YACzF,mEAAmE,CACtE,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC;QACf,0EAA0E;QAC1E,yEAAyE;QACzE,0EAA0E;QAC1E,0EAA0E;QAC1E,wEAAwE;QACxE,0EAA0E;QAC1E,sDAAsD;QACtD,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;QAClD,IAAI,KAAK,KAAK,CAAC,CAAC;YAAE,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACzC,KAAK,CAAC,IAAI,CACR,GAAG,UAAU,oCAAoC,UAAU,CAAC,MAAM,0BAA0B;YAC1F,yFAAyF;YACzF,uBAAuB,CAC1B,CAAC;IACJ,CAAC;IAED,OAAO,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,OAAO,CAAC,MAAc;IAC7B,OAAO;QACL,GAAG,EAAE,KAAK;QACV,UAAU,EAAE,CAAC;QACb,UAAU,EAAE,EAAE;QACd,YAAY,EAAE,CAAC;QACf,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,CAAC;QACd,mBAAmB,EAAE,CAAC;QACtB,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CACf,QAA2B,EAC3B,KAAqB,EACrB,MAAkB,EAClB,UAAuC,EACvC,KAAwB,EACxB,aAA8B,CAAC;IAE/B,2EAA2E;IAC3E,gFAAgF;IAChF,MAAM,eAAe,GAAG,IAAI,CAAC,GAAG,CAC9B,UAAU,CAAC,KAAK,CAAC,eAAe,EAChC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CACT,CAAC;IACrB,MAAM,KAAK,GAAe,EAAE,GAAG,QAAQ,CAAC,SAAS,EAAE,EAAE,eAAe,EAAE,CAAC;IACvE,OAAO;QACL,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE;QACvB,KAAK;QACL,SAAS,EAAE,UAAU,CAAC,SAAS;QAC/B,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC;KAClB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/contracts/engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuDG;AAKH,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EACL,mBAAmB,EACnB,oBAAoB,GAIrB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,aAAa,EAAE,SAAS,EAAoC,MAAM,aAAa,CAAC;AAiDzF,qEAAqE;AACrE,SAAS,cAAc,CACrB,QAA2B,EAC3B,MAAc,EACd,SAAkC;IAElC,MAAM,GAAG,GAA2C,EAAE,CAAC;IAEvD,KAAK,MAAM,SAAS,IAAI,CAAC,SAAS,EAAE,UAAU,CAAU,EAAE,CAAC;QACzD,MAAM,KAAK,GAAG,GAAG,SAAS,MAAM,CAAC;QACjC,MAAM,SAAS,GAAG,GAAG,SAAS,QAAQ,CAAC;QAEvC,MAAM,EAAE,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC/B,MAAM,KAAK,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YAC1D,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACnB,GAAG,CAAC,SAAS,CAAC,GAAG,KAAK,CAAC;gBACvB,SAAS;YACX,CAAC;QACH,CAAC;QAED,6EAA6E;QAC7E,oEAAoE;QACpE,sDAAsD;QACtD,MAAM,KAAK,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;QACnC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YACjG,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;QACtF,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAED,mEAAmE;AACnE,SAAS,cAAc,CACrB,QAA2B,EAC3B,MAAyB;IAMzB,MAAM,MAAM,GAA2C,EAAE,CAAC;IAC1D,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,IAAI,OAAO,GAAG,CAAC,CAAC;IAEhB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC;YACzE,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACtC,IAAI,MAAM,KAAK,SAAS;gBAAE,SAAS;YACnC,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;YAChC,IAAI,KAAK,KAAK,IAAI;gBAAE,SAAS;YAE7B,4EAA4E;YAC5E,4EAA4E;YAC5E,4EAA4E;YAC5E,4EAA4E;YAC5E,4CAA4C;YAC5C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC;YAClC,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACjG,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAuB,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,UAAU,CAAC,CAAC;YAE/F,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvB,mEAAmE;gBACnE,uEAAuE;gBACvE,wEAAwE;gBACxE,wEAAwE;gBACxE,yCAAyC;gBACzC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC,CAAC;gBACxC,SAAS;YACX,CAAC;YAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;gBAC9B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;oBACrB,SAAS;gBACX,CAAC;gBACD,IAAI,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,KAAK,CAAC,MAAM,CAAC,EAAE;oBAAE,SAAS;gBACrD,iEAAiE;gBACjE,wEAAwE;gBACxE,wEAAwE;gBACxE,wEAAwE;gBACxE,yEAAyE;gBACzE,iEAAiE;gBACjE,wDAAwD;gBACxD,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC;gBACrC,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;YACtB,CAAC;QACH,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,4CAA4C;IAC5C,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,QAA2B,EAC3B,UAA2B,EAAE;IAE7B,MAAM,KAAK,GAAG,mBAAmB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACrD,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IAE/B,IAAI,OAAO,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QAC/B,OAAO,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,kCAAkC,CAAC,EAAE,KAAK,EAAE;YACxF,GAAG,KAAK;YACR,wEAAwE;SACzE,CAAC,CAAC;IACL,CAAC;IAED,6EAA6E;IAC7E,uEAAuE;IACvE,yEAAyE;IACzE,MAAM,GAAG,GAAG,QAAQ,CAAC,WAAW,CAC9B,cAAc,EACd,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,KAAK,CAAW,CAAC,CACnE,CAAC;IAEF,MAAM,UAAU,GAAoB,EAAE,CAAC;IACvC,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,mBAAmB,GAAG,CAAC,CAAC;IAC5B,qEAAqE;IACrE,MAAM,KAAK,GAAG,qBAAqB,EAAE,CAAC;IAEtC,KAAK,MAAM,QAAQ,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QACjC,MAAM,OAAO,GAAoF,EAAE,CAAC;QACpG,MAAM,MAAM,GAAa,EAAE,CAAC;QAE5B,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,UAAU,EAAE,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC;YACzF,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,KAAK,KAAK,SAAS;gBAAE,SAAS;YAClC,0EAA0E;YAC1E,yEAAyE;YACzE,qEAAqE;YACrE,iCAAiC;YACjC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC7B,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;YACtF,CAAC;;gBAAM,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAE1D,MAAM,QAAQ,GAAG,cAAc,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAClD,WAAW,IAAI,QAAQ,CAAC,OAAO,CAAC;QAChC,mBAAmB,IAAI,QAAQ,CAAC,SAAS,CAAC;QAE1C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAG,cAAc,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;YAEnE,KAAK,MAAM,SAAS,IAAI,CAAC,SAAS,EAAE,UAAU,CAAU,EAAE,CAAC;gBACzD,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;gBACnC,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;gBAE5C,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;oBAAE,SAAS;gBAC/D,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,YAAY,IAAI,CAAC,CAAC;oBAClB,SAAS;gBACX,CAAC;gBACD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,YAAY,IAAI,CAAC,CAAC;oBAClB,SAAS;gBACX,CAAC;gBAED,UAAU,IAAI,CAAC,CAAC;gBAChB,uEAAuE;gBACvE,oDAAoD;gBACpD,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GACpB,SAAS,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;gBACzE,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;gBAEjD,yEAAyE;gBACzE,qEAAqE;gBACrE,oCAAoC;gBACpC,oEAAoE;gBACpE,sEAAsE;gBACtE,yEAAyE;gBACzE,uEAAuE;gBACvE,6CAA6C;gBAC7C,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;gBACpD,MAAM,aAAa,GACjB,OAAO,WAAW,KAAK,QAAQ,IAAI,WAAW,IAAI,CAAC,IAAI,WAAW,IAAI,CAAC;oBACrE,CAAC,CAAE,WAA+B;oBAClC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;gBACxB,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CACzB,aAAa,EACb,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACxB,CAAC;gBACrB,sEAAsE;gBACtE,qEAAqE;gBACrE,sEAAsE;gBACtE,sEAAsE;gBACtE,yDAAyD;gBACzD,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;gBAC1B,IAAI,UAAU,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;oBAAE,SAAS;gBAElD,UAAU,CAAC,IAAI,CAAC;oBACd,QAAQ;oBACR,SAAS;oBACT,MAAM,EAAE,MAAM,CAAC,MAAM;oBACrB,MAAM,EAAE,MAAM,CAAC,MAAM;oBACrB,WAAW,EAAE,UAAU,CAAC,WAAW;oBACnC,UAAU;oBACV,qEAAqE;oBACrE,gEAAgE;oBAChE,kEAAkE;oBAClE,iDAAiD;oBACjD,KAAK,EAAE,QAAQ;iBAChB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;QACrB,IAAI,YAAY,KAAK,CAAC,EAAE,CAAC;YACvB,QAAQ,CAAC,IAAI,CACX,wFAAwF;gBACtF,8EAA8E;gBAC9E,yFAAyF;gBACzF,6BAA6B,CAChC,CAAC;QACJ,CAAC;QACD,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;YACpB,QAAQ,CAAC,IAAI,CACX,GAAG,WAAW,2EAA2E;gBACvF,wFAAwF;gBACxF,qFAAqF;gBACrF,iEAAiE,CACpE,CAAC;QACJ,CAAC;QACD,IAAI,YAAY,GAAG,CAAC,IAAI,YAAY,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACpE,QAAQ,CAAC,IAAI,CACX,GAAG,YAAY,0EAA0E;gBACvF,mDAAmD,CACtD,CAAC;QACJ,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CACX,sFAAsF;gBACpF,4BAA4B,CAC/B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAe;QACzB,GAAG,EAAE,UAAU,GAAG,CAAC;QACnB,UAAU;QACV,UAAU,EAAE,UAAU,CAAC,IAAI,CACzB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU;YAC3B,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC9C,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CACzC;QACD,YAAY;QACZ,YAAY;QACZ,WAAW;QACX,mBAAmB;QACnB,QAAQ;KACT,CAAC;IAEF,KAAK,MAAM,OAAO,IAAI,QAAQ;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpD,IAAI,mBAAmB,GAAG,CAAC,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CACR,GAAG,mBAAmB,kEAAkE;YACtF,yFAAyF;YACzF,mEAAmE,CACtE,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC;QACf,0EAA0E;QAC1E,yEAAyE;QACzE,0EAA0E;QAC1E,0EAA0E;QAC1E,wEAAwE;QACxE,0EAA0E;QAC1E,sDAAsD;QACtD,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;QAClD,IAAI,KAAK,KAAK,CAAC,CAAC;YAAE,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACzC,KAAK,CAAC,IAAI,CACR,GAAG,UAAU,oCAAoC,UAAU,CAAC,MAAM,0BAA0B;YAC1F,yFAAyF;YACzF,uBAAuB,CAC1B,CAAC;IACJ,CAAC;IAED,OAAO,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,OAAO,CAAC,MAAc;IAC7B,OAAO;QACL,GAAG,EAAE,KAAK;QACV,UAAU,EAAE,CAAC;QACb,UAAU,EAAE,EAAE;QACd,YAAY,EAAE,CAAC;QACf,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,CAAC;QACd,mBAAmB,EAAE,CAAC;QACtB,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CACf,QAA2B,EAC3B,KAAqB,EACrB,MAAkB,EAClB,UAAuC,EACvC,KAAwB,EACxB,aAA8B,CAAC;IAE/B,2EAA2E;IAC3E,gFAAgF;IAChF,MAAM,eAAe,GAAG,IAAI,CAAC,GAAG,CAC9B,UAAU,CAAC,KAAK,CAAC,eAAe,EAChC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CACT,CAAC;IACrB,MAAM,KAAK,GAAe,EAAE,GAAG,QAAQ,CAAC,SAAS,EAAE,EAAE,eAAe,EAAE,CAAC;IACvE,OAAO;QACL,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE;QACvB,KAAK;QACL,SAAS,EAAE,UAAU,CAAC,SAAS;QAC/B,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC;KAClB,CAAC;AACJ,CAAC"}

package/dist/contracts/index.d.ts

@@ -3,7 +3,7 @@ export type { EndpointKey, NearMiss, NearMissKind } from "./paths.ts";
 export { readShape, compareShapes } from "./shapes.ts";
 export type { Shape, ShapeField, ShapeComparison, ShapeDifference, ShapeDifferenceKind, } from "./shapes.ts";
 export { findContractOrphans } from "./orphans.ts";
-export type { ContractFinding, ContractFindingKind, ContractReport, OrphanOptions, } from "./orphans.ts";
+export type { ContractClaim, ContractFinding, ContractFindingKind, ContractReport, OrphanOptions, } from "./orphans.ts";
 export { checkContracts } from "./engine.ts";
 export type { ContractCheck, ContractOptions, ShapeCheck, ShapeDirection, ShapeMismatch, } from "./engine.ts";
 //# sourceMappingURL=index.d.ts.map