npm - legend-doctor - Versions diffs - 0.1.3 → 0.2.0 - Mend

legend-doctor 0.1.3 → 0.2.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (95) hide show

package/dist/src/analysis/analyze-source.js CHANGED Viewed

@@ -162,7 +162,7 @@ function ownerBindingIndexes(sourceFile, imports) {
         useValueBindingsByOwner: collectUseValueBindings(sourceFile, imports),
     };
 }
-function analyzeParsedSource(sourceFile, fileName, options) {
+function findingsForPolicy(sourceFile, fileName, options) {
     const analysis = sourceAnalysisBase(sourceFile, fileName, options);
     const callbacks = collectOwnerEventCallbacks(analysis);
     const commands = collectCommandProofs(analysis);
@@ -181,4 +181,24 @@ function analyzeParsedSource(sourceFile, fileName, options) {
         ownership,
     });
 }
+/** Compare final outcomes so consumer thresholds and alternative proofs are accounted for. */
+function analyzeParsedSource(sourceFile, fileName, options) {
+    const findings = findingsForPolicy(sourceFile, fileName, options);
+    if (options.materiality?.tier !== "compact") {
+        return findings;
+    }
+    const broad = findingsForPolicy(sourceFile, fileName, {
+        ...options,
+        materiality: DEFAULT_MATERIALITY,
+        stateFlow: new StateFlowIndex(),
+    });
+    return findings.map((finding, index) => {
+        const baseline = broad[index];
+        return finding.disposition !== "keep" &&
+            (finding.action !== baseline?.action ||
+                finding.assumption?.ifConfirmed !== baseline?.assumption?.ifConfirmed)
+            ? { ...finding, materiality: "compact" }
+            : finding;
+    });
+}
 //# sourceMappingURL=analyze-source.js.map

package/dist/src/analysis/analyze-source.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"analyze-source.js","sourceRoot":"","sources":["../../../src/analysis/analyze-source.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAIrE,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAC5E,OAAO,EAAE,sBAAsB,EAAE,4BAA4B,EAAE,MAAM,iBAAiB,CAAC;AACvF,OAAO,EACL,0BAA0B,EAC1B,mCAAmC,EACnC,+BAA+B,EAC/B,kCAAkC,EAClC,uBAAuB,GACxB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAQlF,OAAO,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AAErE,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAClE,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAClE,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAChE,OAAO,EAAE,yBAAyB,EAAE,MAAM,kCAAkC,CAAC;AAC7E,OAAO,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EAAE,yBAAyB,EAAE,MAAM,+DAA+D,CAAC;AAC1G,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,sBAAsB,EAAE,MAAM,iDAAiD,CAAC;AACzF,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,aAAa,CAC3B,UAAkB,EAClB,QAAgB,EAChB,mBAAwC,IAAI,GAAG,EAAE;IAEjD,OAAO,iBAAiB,CAAC,UAAU,EAAE,QAAQ,EAAE,EAAE,gBAAgB,EAAE,CAAC,CAAC;AACvE,CAAC;AASD,MAAM,UAAU,iBAAiB,CAC/B,UAAkB,EAClB,QAAgB,EAChB,EACE,aAAa,GAAG,IAAI,EACpB,WAAW,GAAG,IAAI,EAClB,WAAW,GAAG,mBAAmB,EACjC,gBAAgB,GAAG,IAAI,GAAG,EAAE,GACF;IAE5B,MAAM,UAAU,GAAG,EAAE,CAAC,gBAAgB,CACpC,QAAQ,EACR,UAAU,EACV,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,iBAAiB,CAAC,QAAQ,CAAC,CAC5B,CAAC;IACF,OAAO,mBAAmB,CAAC,UAAU,EAAE,QAAQ,EAAE;QAC/C,cAAc,EAAE,IAAI;QACpB,aAAa;QACb,qBAAqB,EAAE,IAAI,GAAG,EAAE;QAChC,WAAW;QACX,kBAAkB,EAAE,IAAI,GAAG,EAAE;QAC7B,WAAW;QACX,gBAAgB;QAChB,SAAS,EAAE,IAAI,cAAc,EAAE;KAChC,CAAC,CAAC;AACL,CAAC;AAiBD,MAAM,UAAU,iBAAiB,CAAC,EAChC,YAAY,GAAG,IAAI,EACnB,cAAc,GAAG,IAAI,EACrB,aAAa,GAAG,IAAI,EACpB,qBAAqB,GAAG,IAAI,GAAG,EAAE,EACjC,IAAI,EACJ,WAAW,EACX,WAAW,GAAG,IAAI,EAClB,kBAAkB,GAAG,IAAI,GAAG,EAAE,EAC9B,WAAW,GAAG,mBAAmB,EACjC,cAAc,EACd,gBAAgB,GAAG,IAAI,GAAG,EAAE,EAC5B,SAAS,GAAG,IAAI,cAAc,EAAE,GACV;IACtB,OAAO,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,cAAc,EAAE;QAC1D,YAAY;QACZ,cAAc;QACd,aAAa;QACb,qBAAqB;QACrB,OAAO,EAAE,WAAW,IAAI,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC;QAC3D,WAAW;QACX,kBAAkB;QAClB,WAAW;QACX,gBAAgB;QAChB,SAAS;KACV,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAkB;IACnD,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACpD,OAAO,uBAAuB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5E,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAa,EAAE,OAAoB;IAClE,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,CAAC,kBAAkB,CAAC;YAClB,IAAI,EAAE,IAAI;YACV,UAAU,EAAE,OAAO,CAAC,QAAQ;YAC5B,cAAc,EAAE,OAAO,CAAC,eAAe;YACvC,aAAa,EAAE,UAAU;SAC1B,CAAC;YACA,kBAAkB,CAAC;gBACjB,IAAI,EAAE,IAAI;gBACV,UAAU,EAAE,OAAO,CAAC,SAAS;gBAC7B,cAAc,EAAE,OAAO,CAAC,eAAe;gBACvC,aAAa,EAAE,WAAW;aAC3B,CAAC,CAAC,EACL,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CACL,IAAI,CAAC,YAAY,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,uBAAuB,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,SAAS,CAAC,KAAK,IAAI,CAC5F,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,UAAyB,EACzB,QAAgB,EAChB,OAAoC;IAEpC,MAAM,EACJ,YAAY,GAAG,IAAI,EACnB,cAAc,EACd,aAAa,GAAG,IAAI,EACpB,qBAAqB,EACrB,OAAO,GAAG,kBAAkB,CAAC,UAAU,CAAC,EACxC,WAAW,EACX,kBAAkB,EAClB,WAAW,GAAG,mBAAmB,EACjC,gBAAgB,EAChB,SAAS,GACV,GAAG,OAAO,CAAC;IACZ,MAAM,EAAE,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,EAAE,mBAAmB,EAAE,YAAY,EAAE,GACxF,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;IAClD,OAAO;QACL,GAAG,mBAAmB,CAAC,UAAU,EAAE,OAAO,CAAC;QAC3C,GAAG,mBAAmB,CAAC,WAAW,EAAE,OAAO,CAAC;QAC5C,YAAY;QACZ,cAAc;QACd,aAAa;QACb,qBAAqB;QACrB,OAAO;QACP,QAAQ;QACR,OAAO;QACP,eAAe,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,eAAe,EAAE,GAAG,gBAAgB,CAAC,CAAC;QACnE,WAAW;QACX,kBAAkB;QAClB,eAAe;QACf,WAAW;QACX,oBAAoB,EAAE,sBAAsB,CAAC,QAAQ,CAAC;QACtD,qBAAqB,EAAE,IAAI,GAAG,CAAC;YAC7B,GAAG,4BAA4B,CAAC,UAAU,CAAC;YAC3C,GAAG,CAAC,cAAc,EAAE,sBAAsB,EAAE,IAAI,cAAc,CAAC;SAChE,CAAC;QACF,WAAW;QACX,gBAAgB;QAChB,UAAU;QACV,SAAS;QACT,MAAM;QACN,mBAAmB;QACnB,YAAY;KACb,CAAC;AACJ,CAAC;AAWD,sFAAsF;AACtF,SAAS,aAAa,CACpB,UAAyB,EACzB,OAAoB,EACpB,WAAwC;IAExC,MAAM,WAAW,GAAG,yBAAyB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACtF,MAAM,EAAE,MAAM,EAAE,mBAAmB,EAAE,GAAG,sBAAsB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACpF,MAAM,UAAU,GAAG,eAAe,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC;IACnF,OAAO;QACL,OAAO;QACP,eAAe,EAAE,sBAAsB,CAAC,UAAU,EAAE,OAAO,CAAC;QAC5D,WAAW;QACX,MAAM;QACN,mBAAmB;QACnB,YAAY,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,iBAAiB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;KAC5F,CAAC;AACJ,CAAC;AASD,SAAS,eAAe,CAAC,EACvB,OAAO,EACP,OAAO,EACP,WAAW,EACX,WAAW,GACM;IACjB,OAAO;QACL,WAAW,EAAE,WAAW,CAAC,gBAAgB;QACzC,OAAO;QACP,gBAAgB,EAAE,sBAAsB,CAAC,OAAO,EAAE,WAAW,CAAC;KAC/D,CAAC;AACJ,CAAC;AASD,SAAS,mBAAmB,CAC1B,WAA+B,EAC/B,OAAmC;IAEnC,OAAO;QACL,qBAAqB,EAAE,WAAW,CAAC,eAAe;QAClD,qBAAqB,EAAE,IAAI,GAAG,CAC5B,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CACxE;QACD,iBAAiB,EAAE,IAAI,GAAG,CAAC,WAAW,CAAC,WAAW,CAAC;QACnD,gBAAgB,EAAE,WAAW,CAAC,gBAAgB;KAC/C,CAAC;AACJ,CAAC;AAOD,SAAS,sBAAsB,CAC7B,UAAyB,EACzB,OAAoB;IAEpB,MAAM,MAAM,GAAqB,EAAE,CAAC;IACpC,MAAM,mBAAmB,GAAwB,EAAE,CAAC;IACpD,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAC1B,CAAC,kBAAkB,CAAC;gBAClB,IAAI,EAAE,IAAI;gBACV,UAAU,EAAE,OAAO,CAAC,QAAQ;gBAC5B,cAAc,EAAE,OAAO,CAAC,eAAe;gBACvC,aAAa,EAAE,UAAU;aAC1B,CAAC,EACF,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC;aAAM,CAAC;YACN,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC;AACzC,CAAC;AAUD,SAAS,mBAAmB,CAAC,UAAyB,EAAE,OAAoB;IAC1E,OAAO;QACL,mBAAmB,EAAE,0BAA0B,CAAC,UAAU,CAAC;QAC3D,8BAA8B,EAAE,mCAAmC,CAAC,UAAU,EAAE,OAAO,CAAC;QACxF,wBAAwB,EAAE,+BAA+B,CAAC,UAAU,CAAC;QACrE,4BAA4B,EAAE,kCAAkC,CAAC,UAAU,EAAE,OAAO,CAAC;QACrF,uBAAuB,EAAE,uBAAuB,CAAC,UAAU,EAAE,OAAO,CAAC;KACtE,CAAC;AACJ,CAAC;AAED,SAAS,~~mBAAmB~~,~~CAC1B~~,UAAyB,EACzB,QAAgB,EAChB,OAAoC;IAEpC,MAAM,QAAQ,GAAG,kBAAkB,CAAC,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,SAAS,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;IACvD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,sBAAsB,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IACxE,MAAM,MAAM,GAAG,EAAE,GAAG,QAAQ,EAAE,GAAG,SAAS,EAAE,CAAC;IAC7C,MAAM,MAAM,GAAG,yBAAyB,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IACtE,MAAM,QAAQ,GAAG,oBAAoB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACxD,MAAM,YAAY,GAAG,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC9D,OAAO,aAAa,CAAC;QACnB,QAAQ;QACR,SAAS;QACT,QAAQ;QACR,QAAQ;QACR,YAAY;QACZ,MAAM;QACN,SAAS;KACV,CAAC,CAAC;AACL,CAAC"}
1	+ {"version":3,"file":"analyze-source.js","sourceRoot":"","sources":["../../../src/analysis/analyze-source.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAIrE,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAC5E,OAAO,EAAE,sBAAsB,EAAE,4BAA4B,EAAE,MAAM,iBAAiB,CAAC;AACvF,OAAO,EACL,0BAA0B,EAC1B,mCAAmC,EACnC,+BAA+B,EAC/B,kCAAkC,EAClC,uBAAuB,GACxB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAQlF,OAAO,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AAErE,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAClE,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAClE,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAChE,OAAO,EAAE,yBAAyB,EAAE,MAAM,kCAAkC,CAAC;AAC7E,OAAO,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EAAE,yBAAyB,EAAE,MAAM,+DAA+D,CAAC;AAC1G,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,sBAAsB,EAAE,MAAM,iDAAiD,CAAC;AACzF,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,aAAa,CAC3B,UAAkB,EAClB,QAAgB,EAChB,mBAAwC,IAAI,GAAG,EAAE;IAEjD,OAAO,iBAAiB,CAAC,UAAU,EAAE,QAAQ,EAAE,EAAE,gBAAgB,EAAE,CAAC,CAAC;AACvE,CAAC;AASD,MAAM,UAAU,iBAAiB,CAC/B,UAAkB,EAClB,QAAgB,EAChB,EACE,aAAa,GAAG,IAAI,EACpB,WAAW,GAAG,IAAI,EAClB,WAAW,GAAG,mBAAmB,EACjC,gBAAgB,GAAG,IAAI,GAAG,EAAE,GACF;IAE5B,MAAM,UAAU,GAAG,EAAE,CAAC,gBAAgB,CACpC,QAAQ,EACR,UAAU,EACV,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,iBAAiB,CAAC,QAAQ,CAAC,CAC5B,CAAC;IACF,OAAO,mBAAmB,CAAC,UAAU,EAAE,QAAQ,EAAE;QAC/C,cAAc,EAAE,IAAI;QACpB,aAAa;QACb,qBAAqB,EAAE,IAAI,GAAG,EAAE;QAChC,WAAW;QACX,kBAAkB,EAAE,IAAI,GAAG,EAAE;QAC7B,WAAW;QACX,gBAAgB;QAChB,SAAS,EAAE,IAAI,cAAc,EAAE;KAChC,CAAC,CAAC;AACL,CAAC;AAiBD,MAAM,UAAU,iBAAiB,CAAC,EAChC,YAAY,GAAG,IAAI,EACnB,cAAc,GAAG,IAAI,EACrB,aAAa,GAAG,IAAI,EACpB,qBAAqB,GAAG,IAAI,GAAG,EAAE,EACjC,IAAI,EACJ,WAAW,EACX,WAAW,GAAG,IAAI,EAClB,kBAAkB,GAAG,IAAI,GAAG,EAAE,EAC9B,WAAW,GAAG,mBAAmB,EACjC,cAAc,EACd,gBAAgB,GAAG,IAAI,GAAG,EAAE,EAC5B,SAAS,GAAG,IAAI,cAAc,EAAE,GACV;IACtB,OAAO,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,cAAc,EAAE;QAC1D,YAAY;QACZ,cAAc;QACd,aAAa;QACb,qBAAqB;QACrB,OAAO,EAAE,WAAW,IAAI,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC;QAC3D,WAAW;QACX,kBAAkB;QAClB,WAAW;QACX,gBAAgB;QAChB,SAAS;KACV,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAkB;IACnD,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACpD,OAAO,uBAAuB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5E,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAa,EAAE,OAAoB;IAClE,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,CAAC,kBAAkB,CAAC;YAClB,IAAI,EAAE,IAAI;YACV,UAAU,EAAE,OAAO,CAAC,QAAQ;YAC5B,cAAc,EAAE,OAAO,CAAC,eAAe;YACvC,aAAa,EAAE,UAAU;SAC1B,CAAC;YACA,kBAAkB,CAAC;gBACjB,IAAI,EAAE,IAAI;gBACV,UAAU,EAAE,OAAO,CAAC,SAAS;gBAC7B,cAAc,EAAE,OAAO,CAAC,eAAe;gBACvC,aAAa,EAAE,WAAW;aAC3B,CAAC,CAAC,EACL,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CACL,IAAI,CAAC,YAAY,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,uBAAuB,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,SAAS,CAAC,KAAK,IAAI,CAC5F,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,UAAyB,EACzB,QAAgB,EAChB,OAAoC;IAEpC,MAAM,EACJ,YAAY,GAAG,IAAI,EACnB,cAAc,EACd,aAAa,GAAG,IAAI,EACpB,qBAAqB,EACrB,OAAO,GAAG,kBAAkB,CAAC,UAAU,CAAC,EACxC,WAAW,EACX,kBAAkB,EAClB,WAAW,GAAG,mBAAmB,EACjC,gBAAgB,EAChB,SAAS,GACV,GAAG,OAAO,CAAC;IACZ,MAAM,EAAE,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,EAAE,mBAAmB,EAAE,YAAY,EAAE,GACxF,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;IAClD,OAAO;QACL,GAAG,mBAAmB,CAAC,UAAU,EAAE,OAAO,CAAC;QAC3C,GAAG,mBAAmB,CAAC,WAAW,EAAE,OAAO,CAAC;QAC5C,YAAY;QACZ,cAAc;QACd,aAAa;QACb,qBAAqB;QACrB,OAAO;QACP,QAAQ;QACR,OAAO;QACP,eAAe,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,eAAe,EAAE,GAAG,gBAAgB,CAAC,CAAC;QACnE,WAAW;QACX,kBAAkB;QAClB,eAAe;QACf,WAAW;QACX,oBAAoB,EAAE,sBAAsB,CAAC,QAAQ,CAAC;QACtD,qBAAqB,EAAE,IAAI,GAAG,CAAC;YAC7B,GAAG,4BAA4B,CAAC,UAAU,CAAC;YAC3C,GAAG,CAAC,cAAc,EAAE,sBAAsB,EAAE,IAAI,cAAc,CAAC;SAChE,CAAC;QACF,WAAW;QACX,gBAAgB;QAChB,UAAU;QACV,SAAS;QACT,MAAM;QACN,mBAAmB;QACnB,YAAY;KACb,CAAC;AACJ,CAAC;AAWD,sFAAsF;AACtF,SAAS,aAAa,CACpB,UAAyB,EACzB,OAAoB,EACpB,WAAwC;IAExC,MAAM,WAAW,GAAG,yBAAyB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACtF,MAAM,EAAE,MAAM,EAAE,mBAAmB,EAAE,GAAG,sBAAsB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACpF,MAAM,UAAU,GAAG,eAAe,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC;IACnF,OAAO;QACL,OAAO;QACP,eAAe,EAAE,sBAAsB,CAAC,UAAU,EAAE,OAAO,CAAC;QAC5D,WAAW;QACX,MAAM;QACN,mBAAmB;QACnB,YAAY,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,iBAAiB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;KAC5F,CAAC;AACJ,CAAC;AASD,SAAS,eAAe,CAAC,EACvB,OAAO,EACP,OAAO,EACP,WAAW,EACX,WAAW,GACM;IACjB,OAAO;QACL,WAAW,EAAE,WAAW,CAAC,gBAAgB;QACzC,OAAO;QACP,gBAAgB,EAAE,sBAAsB,CAAC,OAAO,EAAE,WAAW,CAAC;KAC/D,CAAC;AACJ,CAAC;AASD,SAAS,mBAAmB,CAC1B,WAA+B,EAC/B,OAAmC;IAEnC,OAAO;QACL,qBAAqB,EAAE,WAAW,CAAC,eAAe;QAClD,qBAAqB,EAAE,IAAI,GAAG,CAC5B,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CACxE;QACD,iBAAiB,EAAE,IAAI,GAAG,CAAC,WAAW,CAAC,WAAW,CAAC;QACnD,gBAAgB,EAAE,WAAW,CAAC,gBAAgB;KAC/C,CAAC;AACJ,CAAC;AAOD,SAAS,sBAAsB,CAC7B,UAAyB,EACzB,OAAoB;IAEpB,MAAM,MAAM,GAAqB,EAAE,CAAC;IACpC,MAAM,mBAAmB,GAAwB,EAAE,CAAC;IACpD,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAC1B,CAAC,kBAAkB,CAAC;gBAClB,IAAI,EAAE,IAAI;gBACV,UAAU,EAAE,OAAO,CAAC,QAAQ;gBAC5B,cAAc,EAAE,OAAO,CAAC,eAAe;gBACvC,aAAa,EAAE,UAAU;aAC1B,CAAC,EACF,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC;aAAM,CAAC;YACN,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC;AACzC,CAAC;AAUD,SAAS,mBAAmB,CAAC,UAAyB,EAAE,OAAoB;IAC1E,OAAO;QACL,mBAAmB,EAAE,0BAA0B,CAAC,UAAU,CAAC;QAC3D,8BAA8B,EAAE,mCAAmC,CAAC,UAAU,EAAE,OAAO,CAAC;QACxF,wBAAwB,EAAE,+BAA+B,CAAC,UAAU,CAAC;QACrE,4BAA4B,EAAE,kCAAkC,CAAC,UAAU,EAAE,OAAO,CAAC;QACrF,uBAAuB,EAAE,uBAAuB,CAAC,UAAU,EAAE,OAAO,CAAC;KACtE,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,UAAyB,EACzB,QAAgB,EAChB,OAAoC;IAEpC,MAAM,QAAQ,GAAG,kBAAkB,CAAC,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,SAAS,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;IACvD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,sBAAsB,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IACxE,MAAM,MAAM,GAAG,EAAE,GAAG,QAAQ,EAAE,GAAG,SAAS,EAAE,CAAC;IAC7C,MAAM,MAAM,GAAG,yBAAyB,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IACtE,MAAM,QAAQ,GAAG,oBAAoB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACxD,MAAM,YAAY,GAAG,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC9D,OAAO,aAAa,CAAC;QACnB,QAAQ;QACR,SAAS;QACT,QAAQ;QACR,QAAQ;QACR,YAAY;QACZ,MAAM;QACN,SAAS;KACV,CAAC,CAAC;AACL,CAAC;AAED,8FAA8F;AAC9F,SAAS,mBAAmB,CAC1B,UAAyB,EACzB,QAAgB,EAChB,OAAoC;IAEpC,MAAM,QAAQ,GAAG,iBAAiB,CAAC,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IAClE,IAAI,OAAO,CAAC,WAAW,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5C,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,MAAM,KAAK,GAAG,iBAAiB,CAAC,UAAU,EAAE,QAAQ,EAAE;QACpD,GAAG,OAAO;QACV,WAAW,EAAE,mBAAmB;QAChC,SAAS,EAAE,IAAI,cAAc,EAAE;KAChC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;QACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QAC9B,OAAO,OAAO,CAAC,WAAW,KAAK,MAAM;YACnC,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,MAAM;gBAClC,OAAO,CAAC,UAAU,EAAE,WAAW,KAAK,QAAQ,EAAE,UAAU,EAAE,WAAW,CAAC;YACxE,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE;YACxC,CAAC,CAAC,OAAO,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/src/analysis/assumptions/group-assumptions.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"group-assumptions.d.ts","sourceRoot":"","sources":["../../../../src/analysis/assumptions/group-assumptions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,WAAW,EAGX,eAAe,EAChB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAGnE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAKvF,4FAA4F;AAC5F,wBAAgB,cAAc,CAC5B,KAAK,EAAE,cAAc,EACrB,QAAQ,EAAE,WAAW,CAAC,cAAc,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC,GACjE,SAAS,cAAc,EAAE,CAY3B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,aAAa,EAAE,eAAe,GAAG,IAAI,CAAC;IAC/C,QAAQ,CAAC,MAAM,EAAE,yBAAyB,CAAC;IAC3C,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;CAChC;AAQD,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,qGAAqG;IACrG,QAAQ,CAAC,SAAS,EAAE,eAAe,GAAG,IAAI,CAAC;IAC3C,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC;CAC1D;AAqDD,wBAAgB,OAAO,CACrB,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,SAAS,cAAc,EAAE,GACjC,MAAM,CAGR;~~AA2GD~~;;;GAGG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,oBAAoB,GAAG,qBAAqB,GAAG,IAAI,~~CA0BzF~~"}
1	+ {"version":3,"file":"group-assumptions.d.ts","sourceRoot":"","sources":["../../../../src/analysis/assumptions/group-assumptions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,WAAW,EAGX,eAAe,EAChB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAGnE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAKvF,4FAA4F;AAC5F,wBAAgB,cAAc,CAC5B,KAAK,EAAE,cAAc,EACrB,QAAQ,EAAE,WAAW,CAAC,cAAc,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC,GACjE,SAAS,cAAc,EAAE,CAY3B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,aAAa,EAAE,eAAe,GAAG,IAAI,CAAC;IAC/C,QAAQ,CAAC,MAAM,EAAE,yBAAyB,CAAC;IAC3C,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;CAChC;AAQD,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,qGAAqG;IACrG,QAAQ,CAAC,SAAS,EAAE,eAAe,GAAG,IAAI,CAAC;IAC3C,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC;CAC1D;AAqDD,wBAAgB,OAAO,CACrB,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,SAAS,cAAc,EAAE,GACjC,MAAM,CAGR;AAiHD;;;GAGG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,oBAAoB,GAAG,qBAAqB,GAAG,IAAI,CA2BzF"}

package/dist/src/analysis/assumptions/group-assumptions.js CHANGED Viewed

@@ -71,11 +71,17 @@ function memberResearch(scope, { alone, member }) {
             file: scope.reportFile,
             line: lineOf(member.call, sourceFile),
         },
-        ...lines.map((line) => ({
-            check: `this write to \`${member.valueName}\` runs in a handler that also writes other members of ${names}; confirm a render could never observe one member updated without the others`,
-            file: scope.reportFile,
-            line,
-        })),
+        ...(lines.length === 0
+            ? []
+            : [
+                {
+                    check: `this write to \`${member.valueName}\` runs in a handler that also writes other members of ${names}; confirm a render could never observe one member updated without the others`,
+                    file: scope.reportFile,
+                    line: lines[0],
+                    lines,
+                    total: new Set(writes.map((call) => call.getStart(sourceFile))).size,
+                },
+            ]),
     ];
 }
 function groupQuestion(owner, outcomes) {
@@ -134,7 +140,8 @@ export function groupAssumption(scope) {
     const { inputs, members, result } = scope;
     const outcomes = members.map((member) => ({ alone: result.classifyAlone(member), member }));
     const own = outcomes.find(({ member }) => member === inputs.state);
-    if (!own || convertingOutcomes(outcomes).length === 0) {
+    const [firstConversion] = convertingOutcomes(outcomes);
+    if (!own || !firstConversion) {
         return null;
     }
     const owner = runtimeFunctionName(inputs.state.owner) ?? "this owner";
@@ -145,7 +152,7 @@ export function groupAssumption(scope) {
             facts: [GROUP_REASON],
             fingerprint,
             id,
-            ifConfirmed: groupConversion(own.alone) ?? "review-state",
+            ifConfirmed: groupConversion(firstConversion.alone),
             members: outcomes.map((outcome) => outcomeLabel(outcome)),
             question: groupQuestion(owner, outcomes),
             renderCost: jsxElementCount(inputs.state.owner),

package/dist/src/analysis/assumptions/group-assumptions.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"group-assumptions.js","sourceRoot":"","sources":["../../../../src/analysis/assumptions/group-assumptions.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC5E,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAI3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,0CAA0C,CAAC;AAG3E,4FAA4F;AAC5F,MAAM,UAAU,cAAc,CAC5B,KAAqB,EACrB,QAAkE;IAElE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAiB,CAAC,KAAK,CAAC,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC;IACtB,KAAK,IAAI,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;QAC1D,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YAC/C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC1B,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBACrB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACtB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;AAC9F,CAAC;AA4BD,MAAM,YAAY,GAAG,4BAA4B,CAAC;AAElD,SAAS,MAAM,CAAC,IAAa,EAAE,UAAyB;IACtD,OAAO,UAAU,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;AACtF,CAAC;AAED,SAAS,UAAU,CAAC,KAAwB;IAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC;IAClD,OAAO,MAAM,CAAC,MAAM,IAAI,CAAC;QACvB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACjB,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC/D,CAAC;AAED,4FAA4F;AAC5F,SAAS,eAAe,CAAC,KAAsB;IAC7C,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,IACE,MAAM,KAAK,sBAAsB;QACjC,MAAM,KAAK,qBAAqB;QAChC,MAAM,KAAK,YAAY;QACvB,MAAM,KAAK,cAAc,EACzB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,kBAAkB,CAAC,QAAiC;IAC3D,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,cAAc,CAAC,KAAsB;IAC5C,OAAO,KAAK,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;AACjF,CAAC;AAED,SAAS,YAAY,CAAC,OAAqB;IACzC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;IAClC,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IAC1C,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACxB,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;IACzD,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,KAAK,cAAc;QACpC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,WAAW,EAAE,KAAK,CAAC,gBAAgB,EAAE,OAAO,EAAE,cAAc,EAAE;QAC1F,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,OAAO,CACrB,UAAkB,EAClB,KAAa,EACb,OAAkC;IAElC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClE,OAAO,GAAG,UAAU,KAAK,KAAK,MAAM,KAAK,MAAM,YAAY,EAAE,CAAC;AAChE,CAAC;AAED,SAAS,cAAc,CACrB,KAA2B,EAC3B,EAAE,KAAK,EAAE,MAAM,EAAgB;IAE/B,MAAM,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC;IACpC,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC;IAChF,MAAM,SAAS,GACb,eAAe,CAAC,KAAK,CAAC,KAAK,IAAI;QAC7B,CAAC,CAAC,0CAA0C,cAAc,CAAC,KAAK,CAAC,EAAE;QACnE,CAAC,CAAC,gCAAgC,KAAK,CAAC,MAAM,EAAE,CAAC;IACrD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,eAAe,IAAI,EAAE,CAAC;IACrF,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CACjF,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,GAAG,KAAK,CAC9B,CAAC;IACF,OAAO;QACL;YACE,KAAK,EAAE,KAAK,MAAM,CAAC,SAAS,0DAA0D,SAAS,EAAE;YACjG,IAAI,EAAE,KAAK,CAAC,UAAU;YACtB,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC;SACtC;QACD,GAAG,KAAK,CAAC,~~GAAG~~,CAAC,CAAC,~~IAAI~~,EAAE,~~EAAE,~~CAAC,CAAC;~~YACtB~~,KAAK,EAAE,mBAAmB,MAAM,CAAC,SAAS,0DAA0D,KAAK,8EAA8E;~~YACvL~~,IAAI,EAAE,KAAK,CAAC,UAAU;~~YACtB~~,IAAI;~~SACL~~,CAAC,CAAC;~~KACJ~~,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,KAAa,EAAE,QAAiC;IACrE,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;IACzE,MAAM,UAAU,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAChD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;IACtF,MAAM,QAAQ,GACZ,UAAU,CAAC,MAAM,GAAG,CAAC;QACnB,CAAC,CAAC,qBAAqB,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,+DAA+D;QAClJ,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3F,MAAM,OAAO,GACX,OAAO,CAAC,MAAM,GAAG,CAAC;QAChB,CAAC,CAAC,IAAI,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,kCAAkC,OAAO,oDAAoD;QACnM,CAAC,CAAC,EAAE,CAAC;IACT,OAAO,GAAG,KAAK,4BAA4B,KAAK,qGAAqG,QAAQ,GAAG,OAAO,EAAE,CAAC;AAC5K,CAAC;AAED,SAAS,gBAAgB,CACvB,OAAqB,EACrB,UAAqC,EACrC,SAAkB;IAElB,MAAM,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IAC1B,IAAI,eAAe,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;QACpC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAG,mBAAmB,CAC/B,UAAU,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,EAC5C,SAAS,CACV,CAAC;IACF,OAAO,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,GAAG,KAAK,UAAU,OAAO,CAAC,MAAM,CAAC,SAAS,OAAO,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;AACjG,CAAC;AAOD,SAAS,cAAc,CACrB,KAA2B,EAC3B,GAAiB,EACjB,QAAiC;IAEjC,MAAM,UAAU,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;IAC5E,MAAM,CAAC,OAAO,CAAC,GAAG,UAAU,CAAC;IAC7B,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC;IACrC,MAAM,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,UAAU,EAAE,mBAAmB,CAAC,KAAK,CAAC,IAAI,YAAY,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IAChG,OAAO;QACL,SAAS,EAAE,gBAAgB,CAAC,GAAG,EAAE,UAAU,EAAE,iBAAiB,CAAC,KAAK,CAAC,CAAC;QACtE,KAAK,EACH,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,IAAI,IAAI,OAAO;YAC5C,CAAC,CAAC;gBACE,EAAE;gBACF,IAAI,EAAE,eAAe;gBACrB,OAAO,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC;gBACrD,OAAO,EAAE,OAAO,KAAK,GAAG,CAAC,MAAM;aAChC;YACH,CAAC,CAAC,IAAI;KACX,CAAC;AACJ,CAAC;AAQD,SAAS,aAAa,CAAC,KAA2B,EAAE,KAAa;IAC/D,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IAC7D,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC/C,MAAM,WAAW,GAAG,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC5E,OAAO;QACL,WAAW;QACX,EAAE;QACF,MAAM,EAAE,gBAAgB,CAAC,aAAa,EAAE,eAAe,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,WAAW,CAAC;KAClF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,KAA2B;IACzD,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IAC1C,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAC5F,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC;IACnE,~~IAAI~~,CAAC,GAAG,~~IAAI,~~kBAAkB,CAAC,QAAQ,CAAC,CAAC,~~MAAM~~,~~KAAK~~,CAAC,EAAE,CAAC;~~QACtD~~,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,YAAY,CAAC;IACtE,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAChE,MAAM,OAAO,GAAG,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACrF,OAAO;QACL,UAAU,EAAE;YACV,KAAK,EAAE,CAAC,YAAY,CAAC;YACrB,WAAW;YACX,EAAE;YACF,WAAW,EAAE,eAAe,CAAC,~~GAAG~~,CAAC,KAAK,~~CAAC,IAAI,cAAc~~;~~YACzD~~,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;YACzD,QAAQ,EAAE,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC;YACxC,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;YAC/C,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YACvE,MAAM;YACN,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW;SACtC;QACD,SAAS,EAAE,OAAO,EAAE,SAAS,IAAI,IAAI;QACrC,KAAK,EAAE,OAAO,EAAE,KAAK,IAAI,IAAI;KAC9B,CAAC;AACJ,CAAC"}
1	+ {"version":3,"file":"group-assumptions.js","sourceRoot":"","sources":["../../../../src/analysis/assumptions/group-assumptions.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC5E,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAI3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,0CAA0C,CAAC;AAG3E,4FAA4F;AAC5F,MAAM,UAAU,cAAc,CAC5B,KAAqB,EACrB,QAAkE;IAElE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAiB,CAAC,KAAK,CAAC,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC;IACtB,KAAK,IAAI,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;QAC1D,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YAC/C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC1B,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBACrB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACtB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;AAC9F,CAAC;AA4BD,MAAM,YAAY,GAAG,4BAA4B,CAAC;AAElD,SAAS,MAAM,CAAC,IAAa,EAAE,UAAyB;IACtD,OAAO,UAAU,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;AACtF,CAAC;AAED,SAAS,UAAU,CAAC,KAAwB;IAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC;IAClD,OAAO,MAAM,CAAC,MAAM,IAAI,CAAC;QACvB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACjB,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC/D,CAAC;AAED,4FAA4F;AAC5F,SAAS,eAAe,CAAC,KAAsB;IAC7C,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,IACE,MAAM,KAAK,sBAAsB;QACjC,MAAM,KAAK,qBAAqB;QAChC,MAAM,KAAK,YAAY;QACvB,MAAM,KAAK,cAAc,EACzB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,kBAAkB,CAAC,QAAiC;IAC3D,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,cAAc,CAAC,KAAsB;IAC5C,OAAO,KAAK,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;AACjF,CAAC;AAED,SAAS,YAAY,CAAC,OAAqB;IACzC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;IAClC,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IAC1C,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACxB,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;IACzD,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,KAAK,cAAc;QACpC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,WAAW,EAAE,KAAK,CAAC,gBAAgB,EAAE,OAAO,EAAE,cAAc,EAAE;QAC1F,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,OAAO,CACrB,UAAkB,EAClB,KAAa,EACb,OAAkC;IAElC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClE,OAAO,GAAG,UAAU,KAAK,KAAK,MAAM,KAAK,MAAM,YAAY,EAAE,CAAC;AAChE,CAAC;AAED,SAAS,cAAc,CACrB,KAA2B,EAC3B,EAAE,KAAK,EAAE,MAAM,EAAgB;IAE/B,MAAM,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC;IACpC,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC;IAChF,MAAM,SAAS,GACb,eAAe,CAAC,KAAK,CAAC,KAAK,IAAI;QAC7B,CAAC,CAAC,0CAA0C,cAAc,CAAC,KAAK,CAAC,EAAE;QACnE,CAAC,CAAC,gCAAgC,KAAK,CAAC,MAAM,EAAE,CAAC;IACrD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,eAAe,IAAI,EAAE,CAAC;IACrF,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CACjF,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,GAAG,KAAK,CAC9B,CAAC;IACF,OAAO;QACL;YACE,KAAK,EAAE,KAAK,MAAM,CAAC,SAAS,0DAA0D,SAAS,EAAE;YACjG,IAAI,EAAE,KAAK,CAAC,UAAU;YACtB,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC;SACtC;QACD,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;YACpB,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE;oBACE,KAAK,EAAE,mBAAmB,MAAM,CAAC,SAAS,0DAA0D,KAAK,8EAA8E;oBACvL,IAAI,EAAE,KAAK,CAAC,UAAU;oBACtB,IAAI,EAAE,KAAK,CAAC,CAAC,CAAE;oBACf,KAAK;oBACL,KAAK,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI;iBACrE;aACF,CAAC;KACP,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,KAAa,EAAE,QAAiC;IACrE,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;IACzE,MAAM,UAAU,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAChD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;IACtF,MAAM,QAAQ,GACZ,UAAU,CAAC,MAAM,GAAG,CAAC;QACnB,CAAC,CAAC,qBAAqB,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,+DAA+D;QAClJ,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3F,MAAM,OAAO,GACX,OAAO,CAAC,MAAM,GAAG,CAAC;QAChB,CAAC,CAAC,IAAI,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,kCAAkC,OAAO,oDAAoD;QACnM,CAAC,CAAC,EAAE,CAAC;IACT,OAAO,GAAG,KAAK,4BAA4B,KAAK,qGAAqG,QAAQ,GAAG,OAAO,EAAE,CAAC;AAC5K,CAAC;AAED,SAAS,gBAAgB,CACvB,OAAqB,EACrB,UAAqC,EACrC,SAAkB;IAElB,MAAM,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IAC1B,IAAI,eAAe,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;QACpC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAG,mBAAmB,CAC/B,UAAU,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,EAC5C,SAAS,CACV,CAAC;IACF,OAAO,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,GAAG,KAAK,UAAU,OAAO,CAAC,MAAM,CAAC,SAAS,OAAO,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;AACjG,CAAC;AAOD,SAAS,cAAc,CACrB,KAA2B,EAC3B,GAAiB,EACjB,QAAiC;IAEjC,MAAM,UAAU,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;IAC5E,MAAM,CAAC,OAAO,CAAC,GAAG,UAAU,CAAC;IAC7B,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC;IACrC,MAAM,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,UAAU,EAAE,mBAAmB,CAAC,KAAK,CAAC,IAAI,YAAY,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IAChG,OAAO;QACL,SAAS,EAAE,gBAAgB,CAAC,GAAG,EAAE,UAAU,EAAE,iBAAiB,CAAC,KAAK,CAAC,CAAC;QACtE,KAAK,EACH,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,IAAI,IAAI,OAAO;YAC5C,CAAC,CAAC;gBACE,EAAE;gBACF,IAAI,EAAE,eAAe;gBACrB,OAAO,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC;gBACrD,OAAO,EAAE,OAAO,KAAK,GAAG,CAAC,MAAM;aAChC;YACH,CAAC,CAAC,IAAI;KACX,CAAC;AACJ,CAAC;AAQD,SAAS,aAAa,CAAC,KAA2B,EAAE,KAAa;IAC/D,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IAC7D,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC/C,MAAM,WAAW,GAAG,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC5E,OAAO;QACL,WAAW;QACX,EAAE;QACF,MAAM,EAAE,gBAAgB,CAAC,aAAa,EAAE,eAAe,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,WAAW,CAAC;KAClF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,KAA2B;IACzD,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IAC1C,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAC5F,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC;IACnE,MAAM,CAAC,eAAe,CAAC,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IACvD,IAAI,CAAC,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,YAAY,CAAC;IACtE,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAChE,MAAM,OAAO,GAAG,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACrF,OAAO;QACL,UAAU,EAAE;YACV,KAAK,EAAE,CAAC,YAAY,CAAC;YACrB,WAAW;YACX,EAAE;YACF,WAAW,EAAE,eAAe,CAAC,eAAe,CAAC,KAAK,CAAE;YACpD,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;YACzD,QAAQ,EAAE,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC;YACxC,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;YAC/C,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YACvE,MAAM;YACN,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW;SACtC;QACD,SAAS,EAAE,OAAO,EAAE,SAAS,IAAI,IAAI;QACrC,KAAK,EAAE,OAAO,EAAE,KAAK,IAAI,IAAI;KAC9B,CAAC;AACJ,CAAC"}

package/dist/src/analysis/assumptions/hypotheses.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"hypotheses.d.ts","sourceRoot":"","sources":["../../../../src/analysis/assumptions/hypotheses.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAC1E,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAGnE,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAMvF,+EAA+E;AAC/E,MAAM,WAAW,eAAe;IAC9B,yFAAyF;IACzF,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,MAAM,EAAE,yBAAyB,CAAC;IAC3C,iFAAiF;IACjF,QAAQ,CAAC,QAAQ,EAAE,SAAS,cAAc,EAAE,CAAC;IAC7C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,oGAAoG;AACpG,MAAM,WAAW,UAAU;IACzB,uGAAuG;IACvG,QAAQ,CAAC,aAAa,CAAC,EAAE,eAAe,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,yBAAyB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAC;CAC5C;~~AAsSD~~;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,eAAe,GAAG,UAAU,GAAG,IAAI,CA+C5E;AAYD,oFAAoF;AACpF,wBAAgB,aAAa,CAAC,MAAM,EAAE,gBAAgB,EAAE,KAAK,EAAE,eAAe,GAAG,UAAU,GAAG,IAAI,CAEjG"}
1	+ {"version":3,"file":"hypotheses.d.ts","sourceRoot":"","sources":["../../../../src/analysis/assumptions/hypotheses.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAC1E,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAGnE,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAMvF,+EAA+E;AAC/E,MAAM,WAAW,eAAe;IAC9B,yFAAyF;IACzF,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,MAAM,EAAE,yBAAyB,CAAC;IAC3C,iFAAiF;IACjF,QAAQ,CAAC,QAAQ,EAAE,SAAS,cAAc,EAAE,CAAC;IAC7C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,oGAAoG;AACpG,MAAM,WAAW,UAAU;IACzB,uGAAuG;IACvG,QAAQ,CAAC,aAAa,CAAC,EAAE,eAAe,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,yBAAyB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAC;CAC5C;AA+SD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,eAAe,GAAG,UAAU,GAAG,IAAI,CA+C5E;AAYD,oFAAoF;AACpF,wBAAgB,aAAa,CAAC,MAAM,EAAE,gBAAgB,EAAE,KAAK,EAAE,eAAe,GAAG,UAAU,GAAG,IAAI,CAEjG"}

package/dist/src/analysis/assumptions/hypotheses.js CHANGED Viewed

@@ -4,7 +4,6 @@ import { jsxElementCount } from "../../rules/state-proofs/jsx-subtrees.js";
 import path from "node:path";
 import { pathIdentityKey } from "../../core/path-identity.js";
 const RENDER_READ_LINE_PREVIEW = 5;
-const MAX_RESEARCH_STEPS = 20;
 function ownerName(inputs) {
     return runtimeFunctionName(inputs.state.owner) ?? "this owner";
 }
@@ -22,9 +21,19 @@ function sortedLines(nodes, sourceFile) {
     return [...new Set(nodes.map((node) => lineOf(node, sourceFile)))].toSorted((left, right) => left - right);
 }
 function stepsAt(scope, nodes, check) {
-    return sortedLines(nodes, scope.inputs.sourceFile)
-        .slice(0, MAX_RESEARCH_STEPS)
-        .map((line) => ({ check, file: scope.reportFile, line }));
+    const lines = sortedLines(nodes, scope.inputs.sourceFile);
+    const [line] = lines;
+    return line === undefined
+        ? []
+        : [
+            {
+                check,
+                file: scope.reportFile,
+                line,
+                lines,
+                total: new Set(nodes.map((node) => node.getStart(scope.inputs.sourceFile))).size,
+            },
+        ];
 }
 function declarationStep(scope) {
     const { state } = scope.inputs;

package/dist/src/analysis/assumptions/hypotheses.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"hypotheses.js","sourceRoot":"","sources":["../../../../src/analysis/assumptions/hypotheses.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAEnE,OAAO,EAAE,eAAe,EAAE,MAAM,0CAA0C,CAAC;AAC3E,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAsB9D,MAAM,wBAAwB,GAAG,CAAC,CAAC;AACnC,MAAM,kBAAkB,GAAG,EAAE,CAAC;AAI9B,SAAS,SAAS,CAAC,MAAiC;IAClD,OAAO,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,YAAY,CAAC;AACjE,CAAC;AAED,SAAS,SAAS,CAAC,KAAwB;IACzC,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC;IAClD,IAAI,MAAM,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACvB,OAAO,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAClE,CAAC;AAED,SAAS,MAAM,CAAC,IAAa,EAAE,aAA4B,IAAI,CAAC,aAAa,EAAE;IAC7E,OAAO,UAAU,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;AACtF,CAAC;AAED,SAAS,WAAW,CAAC,KAAyB,EAAE,UAAyB;IACvE,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CACzE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,GAAG,KAAK,CAC9B,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,KAAsB,EAAE,KAAyB,EAAE,KAAa;IAC/E,OAAO,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC;SAC/C,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC;SAC5B,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,eAAe,CAAC,KAAsB;IAC7C,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC;IAC/B,OAAO;QACL,KAAK,EAAE,KAAK,KAAK,CAAC,SAAS,qFAAqF;QAChH,IAAI,EAAE,KAAK,CAAC,UAAU;QACtB,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC;KAClD,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CAAC,KAAsB;IACxD,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;IACnC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IAChC,MAAM,YAAY,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAClE,MAAM,KAAK,GACT,YAAY,CAAC,MAAM,GAAG,CAAC;QACrB,CAAC,CAAC,aAAa,SAAS,CAAC,YAAY,CAAC,EAAE;QACxC,CAAC,CAAC,2CAA2C,CAAC;IAClD,OAAO;QACL,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,4BAA4B,EAAE,KAAK,EAAE;QACrF,QAAQ,EACN,KAAK,KAAK,CAAC,SAAS,iBAAiB,KAAK,2CAA2C;YACrF,sFAAsF;YACtF,8BAA8B;QAChC,QAAQ,EAAE;YACR,eAAe,CAAC,KAAK,CAAC;YACtB,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;gBAC5B,KAAK,EAAE,KAAK,OAAO,CAAC,SAAS,mDAAmD,KAAK,CAAC,SAAS,+DAA+D;gBAC9J,IAAI,EAAE,KAAK,CAAC,UAAU;gBACtB,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC;aAC9C,CAAC,CAAC;YACH,GAAG,OAAO,CACR,KAAK,EACL,KAAK,CAAC,eAAe,EACrB,mBAAmB,KAAK,CAAC,SAAS,6BAA6B,SAAS,CAAC,YAAY,CAAC,IAAI,gBAAgB,8DAA8D,CACzK;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,EAC5B,uBAAuB,EACvB,KAAK,EACL,KAAK,GACqB;IAC1B,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO;QAC3B,CAAC,CAAC;YACE,KAAK,KAAK,CAAC,SAAS,oOAAoO;SACzP;QACH,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,QAAQ,GAAG,uBAAuB;QACtC,CAAC,CAAC;YACE,mBAAmB,KAAK,CAAC,SAAS,8IAA8I;SACjL;QACH,CAAC,CAAC,EAAE,CAAC;IACP,OAAO,CAAC,GAAG,OAAO,EAAE,GAAG,QAAQ,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAsB;IACnD,MAAM,EAAE,uBAAuB,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC;IAC/D,MAAM,OAAO,GAAG,OAAO,CACrB,KAAK,EACL,KAAK,CAAC,WAAW,EACjB,KAAK,KAAK,CAAC,SAAS,6KAA6K,CAClM,CAAC;IACF,MAAM,QAAQ,GAAG,uBAAuB;QACtC,CAAC,CAAC,OAAO,CACL,KAAK,EACL,KAAK,CAAC,eAAe,EACrB,wBAAwB,KAAK,CAAC,SAAS,0FAA0F,CAClI;QACH,CAAC,CAAC,EAAE,CAAC;IACP,OAAO,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,GAAG,OAAO,EAAE,GAAG,QAAQ,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAsB;IACrD,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC1E,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,MAAM,EAAE;YACN,GAAG,MAAM;YACT,uBAAuB,EAAE,KAAK;YAC9B,KAAK,EAAE,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE;SAC3C;QACD,QAAQ,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QAClC,QAAQ,EAAE,qBAAqB,CAAC,KAAK,CAAC;KACvC,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAsB;IACnD,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IAChC,OAAO;QACL,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE,uBAAuB,EAAE,IAAI,EAAE;QACpD,QAAQ,EACN,gBAAgB,SAAS,CAAC,MAAM,CAAC,4BAA4B,KAAK,CAAC,SAAS,cAAc;YAC1F,2FAA2F;YAC3F,8CAA8C;QAChD,QAAQ,EAAE;YACR,eAAe,CAAC,KAAK,CAAC;YACtB,GAAG,OAAO,CACR,KAAK,EACL,KAAK,CAAC,gBAAgB,EACtB,wBAAwB,KAAK,CAAC,SAAS,8FAA8F,CACtI;YACD,GAAG,OAAO,CACR,KAAK,EACL,KAAK,CAAC,eAAe,EACrB,uBAAuB,KAAK,CAAC,SAAS,iGAAiG,CACxI;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAsB;IACtD,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IAChC,OAAO;QACL,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE;QAC5C,QAAQ,EACN,KAAK,KAAK,CAAC,SAAS,cAAc,KAAK,CAAC,aAAa,qCAAqC;YAC1F,sFAAsF;YACtF,6FAA6F;QAC/F,QAAQ,EAAE;YACR,eAAe,CAAC,KAAK,CAAC;YACtB,GAAG,OAAO,CACR,KAAK,EACL,KAAK,CAAC,iBAAiB,EACvB,2BAA2B,KAAK,CAAC,SAAS,kHAAkH,CAC7J;SACF;KACF,CAAC;AACJ,CAAC;AAED,sGAAsG;AACtG,SAAS,SAAS,CAAC,IAAY,EAAE,YAA2B;IAC1D,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,YAAY,CAAC,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;IACrF,OAAO,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAsB,EAAE,OAA0B;IAC/E,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC;IACtD,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;QAChC,MAAM,KAAK,GAAG,OAAO,CACnB,KAAK,EACL,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,EACtC,KAAK,KAAK,CAAC,SAAS,qBAAqB,MAAM,+EAA+E,CAC/H,CAAC;QACF,MAAM,MAAM,GAAG,cAAc,EAAE,gBAAgB,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;QAChE,MAAM,UAAU,GAAmB,MAAM;YACvC,CAAC,CAAC;gBACE;oBACE,KAAK,EAAE,UAAU,MAAM,sIAAsI;oBAC7J,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,YAAY,CAAC;oBAChD,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;iBAC3B;aACF;YACH,CAAC,CAAC,EAAE,CAAC;QACP,OAAO,CAAC,GAAG,KAAK,EAAE,GAAG,UAAU,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAsB;IACrD,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IAChD,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE,CAAC;IACjD,IAAI,CAAC,cAAc,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,MAAM,EAAE;YACN,GAAG,MAAM;YACT,cAAc,EAAE,IAAI,oBAAoB,CAAC,cAAc,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;SAC3E;QACD,QAAQ,EACN,KAAK,KAAK,CAAC,SAAS,mBAAmB,SAAS,CAAC,OAAO,CAAC,+BAA+B;YACxF,qFAAqF;YACrF,0FAA0F;YAC1F,sBAAsB;QACxB,QAAQ,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,GAAG,qBAAqB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;KAC7E,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAsB;IACrD,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IACzC,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE,CAAC;IACjD,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;IACtE,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAClF,OAAO;QACL,MAAM,EAAE;YACN,GAAG,MAAM;YACT,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI;YACzD,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,iBAAiB,EAAE,KAAK,EAAE;SAC9C;QACD,QAAQ,EACN,KAAK,KAAK,CAAC,SAAS,cAAc,KAAK,qDAAqD;YAC5F,uFAAuF;YACvF,qCAAqC;QACvC,QAAQ,EAAE;YACR,eAAe,CAAC,KAAK,CAAC;YACtB,GAAG,OAAO,CACR,KAAK,EACL,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAiB,EAClD,gHAAgH,CACjH;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,KAAyB,EAAE,UAAyB;IAC3E,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,wBAAwB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,wBAAwB,CAAC,CAAC,CAAC,GAAG,OAAO,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;IACnF,OAAO,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,IAAI,MAAM,EAAE,CAAC;AAC9D,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAsB;IACjD,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IACzD,IACE,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC;QAC9B,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC,aAAa;QACxD,KAAK,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,EACpC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,KAAK,CAAC,iBAAiB,CAAC,MAAM,CAAC;IAC7C,OAAO;QACL,aAAa,EAAE;YACb,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EACL,aAAa,KAAK,CAAC,SAAS,+DAA+D;gBAC3F,GAAG,KAAK,+EAA+E;gBACvF,wDAAwD,KAAK,gBAAgB;SAChF;QACD,MAAM;QACN,QAAQ,EACN,KAAK,KAAK,CAAC,SAAS,cAAc,KAAK,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,qBAAqB,KAAK,GAAG;YACtG,IAAI,eAAe,CAAC,KAAK,CAAC,iBAAiB,EAAE,UAAU,CAAC,mCAAmC;YAC3F,2EAA2E;QAC7E,QAAQ,EAAE;YACR,eAAe,CAAC,KAAK,CAAC;YACtB,GAAG,OAAO,CACR,KAAK,EACL,KAAK,CAAC,iBAAiB,EACvB,KAAK,KAAK,CAAC,SAAS,mJAAmJ,CACxK;SACF;KACF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAsB;IACvD,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IAC7C,MAAM,UAAU,GAAG,CAAC,GAAG,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7D,IACE,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC;QAC9B,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC,aAAa;QACxD,KAAK,CAAC,iBAAiB,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,KAAK,CAAC,EACxD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,KAAK,CAAC,iBAAiB,CAAC,MAAM,CAAC;IAC7C,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE,CAAC;IACjD,MAAM,KAAK,GAAG;QACZ,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,gBAAgB,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE;QACzE,UAAU,CAAC,MAAM,GAAG,CAAC;YACnB,CAAC,CAAC,GAAG,UAAU,CAAC,MAAM,mBAAmB,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,OAAO,CAAC,GAAG;YAC7G,CAAC,CAAC,EAAE;KACP,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACpC,OAAO;QACL,aAAa,EAAE;YACb,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EACL,aAAa,KAAK,CAAC,SAAS,+DAA+D;gBAC3F,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,uEAAuE;gBAC7F,6EAA6E,KAAK,gBAAgB;SACrG;QACD,MAAM;QACN,QAAQ,EACN,KAAK,KAAK,CAAC,SAAS,oBAAoB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,KAAK,0BAA0B;YACjG,6FAA6F;YAC7F,iDAAiD;QACnD,QAAQ,EAAE;YACR,GAAG,OAAO,CACR,KAAK,EACL,KAAK,CAAC,iBAAiB,EACvB,KAAK,KAAK,CAAC,SAAS,mJAAmJ,CACxK;YACD,GAAG,OAAO,CACR,KAAK,EACL,UAAU,EACV,KAAK,KAAK,CAAC,SAAS,0JAA0J,CAC/K;SACF;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,GAAqD,IAAI,GAAG,CAAC;IAC3E,CAAC,4BAA4B,EAAE,0BAA0B,CAAC;IAC1D,CAAC,4BAA4B,EAAE,wBAAwB,CAAC;IACxD,CAAC,2BAA2B,EAAE,uBAAuB,CAAC;IACtD,CAAC,mCAAmC,EAAE,qBAAqB,CAAC;IAC5D,CAAC,yBAAyB,EAAE,uBAAuB,CAAC;IACpD,CAAC,2BAA2B,EAAE,uBAAuB,CAAC;IACtD,CAAC,qBAAqB,EAAE,mBAAmB,CAAC;CAC7C,CAAC,CAAC;AAEH,oFAAoF;AACpF,MAAM,UAAU,aAAa,CAAC,MAAwB,EAAE,KAAsB;IAC5E,OAAO,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC;AACjD,CAAC"}
1	+ {"version":3,"file":"hypotheses.js","sourceRoot":"","sources":["../../../../src/analysis/assumptions/hypotheses.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAEnE,OAAO,EAAE,eAAe,EAAE,MAAM,0CAA0C,CAAC;AAC3E,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAsB9D,MAAM,wBAAwB,GAAG,CAAC,CAAC;AAInC,SAAS,SAAS,CAAC,MAAiC;IAClD,OAAO,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,YAAY,CAAC;AACjE,CAAC;AAED,SAAS,SAAS,CAAC,KAAwB;IACzC,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC;IAClD,IAAI,MAAM,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACvB,OAAO,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAClE,CAAC;AAED,SAAS,MAAM,CAAC,IAAa,EAAE,aAA4B,IAAI,CAAC,aAAa,EAAE;IAC7E,OAAO,UAAU,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;AACtF,CAAC;AAED,SAAS,WAAW,CAAC,KAAyB,EAAE,UAAyB;IACvE,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CACzE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,GAAG,KAAK,CAC9B,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,KAAsB,EAAE,KAAyB,EAAE,KAAa;IAC/E,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC1D,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IACrB,OAAO,IAAI,KAAK,SAAS;QACvB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC;YACE;gBACE,KAAK;gBACL,IAAI,EAAE,KAAK,CAAC,UAAU;gBACtB,IAAI;gBACJ,KAAK;gBACL,KAAK,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI;aACjF;SACF,CAAC;AACR,CAAC;AAED,SAAS,eAAe,CAAC,KAAsB;IAC7C,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC;IAC/B,OAAO;QACL,KAAK,EAAE,KAAK,KAAK,CAAC,SAAS,qFAAqF;QAChH,IAAI,EAAE,KAAK,CAAC,UAAU;QACtB,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC;KAClD,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CAAC,KAAsB;IACxD,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;IACnC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IAChC,MAAM,YAAY,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAClE,MAAM,KAAK,GACT,YAAY,CAAC,MAAM,GAAG,CAAC;QACrB,CAAC,CAAC,aAAa,SAAS,CAAC,YAAY,CAAC,EAAE;QACxC,CAAC,CAAC,2CAA2C,CAAC;IAClD,OAAO;QACL,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,4BAA4B,EAAE,KAAK,EAAE;QACrF,QAAQ,EACN,KAAK,KAAK,CAAC,SAAS,iBAAiB,KAAK,2CAA2C;YACrF,sFAAsF;YACtF,8BAA8B;QAChC,QAAQ,EAAE;YACR,eAAe,CAAC,KAAK,CAAC;YACtB,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;gBAC5B,KAAK,EAAE,KAAK,OAAO,CAAC,SAAS,mDAAmD,KAAK,CAAC,SAAS,+DAA+D;gBAC9J,IAAI,EAAE,KAAK,CAAC,UAAU;gBACtB,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC;aAC9C,CAAC,CAAC;YACH,GAAG,OAAO,CACR,KAAK,EACL,KAAK,CAAC,eAAe,EACrB,mBAAmB,KAAK,CAAC,SAAS,6BAA6B,SAAS,CAAC,YAAY,CAAC,IAAI,gBAAgB,8DAA8D,CACzK;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,EAC5B,uBAAuB,EACvB,KAAK,EACL,KAAK,GACqB;IAC1B,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO;QAC3B,CAAC,CAAC;YACE,KAAK,KAAK,CAAC,SAAS,oOAAoO;SACzP;QACH,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,QAAQ,GAAG,uBAAuB;QACtC,CAAC,CAAC;YACE,mBAAmB,KAAK,CAAC,SAAS,8IAA8I;SACjL;QACH,CAAC,CAAC,EAAE,CAAC;IACP,OAAO,CAAC,GAAG,OAAO,EAAE,GAAG,QAAQ,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAsB;IACnD,MAAM,EAAE,uBAAuB,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC;IAC/D,MAAM,OAAO,GAAG,OAAO,CACrB,KAAK,EACL,KAAK,CAAC,WAAW,EACjB,KAAK,KAAK,CAAC,SAAS,6KAA6K,CAClM,CAAC;IACF,MAAM,QAAQ,GAAG,uBAAuB;QACtC,CAAC,CAAC,OAAO,CACL,KAAK,EACL,KAAK,CAAC,eAAe,EACrB,wBAAwB,KAAK,CAAC,SAAS,0FAA0F,CAClI;QACH,CAAC,CAAC,EAAE,CAAC;IACP,OAAO,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,GAAG,OAAO,EAAE,GAAG,QAAQ,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAsB;IACrD,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC1E,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,MAAM,EAAE;YACN,GAAG,MAAM;YACT,uBAAuB,EAAE,KAAK;YAC9B,KAAK,EAAE,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE;SAC3C;QACD,QAAQ,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QAClC,QAAQ,EAAE,qBAAqB,CAAC,KAAK,CAAC;KACvC,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAsB;IACnD,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IAChC,OAAO;QACL,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE,uBAAuB,EAAE,IAAI,EAAE;QACpD,QAAQ,EACN,gBAAgB,SAAS,CAAC,MAAM,CAAC,4BAA4B,KAAK,CAAC,SAAS,cAAc;YAC1F,2FAA2F;YAC3F,8CAA8C;QAChD,QAAQ,EAAE;YACR,eAAe,CAAC,KAAK,CAAC;YACtB,GAAG,OAAO,CACR,KAAK,EACL,KAAK,CAAC,gBAAgB,EACtB,wBAAwB,KAAK,CAAC,SAAS,8FAA8F,CACtI;YACD,GAAG,OAAO,CACR,KAAK,EACL,KAAK,CAAC,eAAe,EACrB,uBAAuB,KAAK,CAAC,SAAS,iGAAiG,CACxI;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAsB;IACtD,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IAChC,OAAO;QACL,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE;QAC5C,QAAQ,EACN,KAAK,KAAK,CAAC,SAAS,cAAc,KAAK,CAAC,aAAa,qCAAqC;YAC1F,sFAAsF;YACtF,6FAA6F;QAC/F,QAAQ,EAAE;YACR,eAAe,CAAC,KAAK,CAAC;YACtB,GAAG,OAAO,CACR,KAAK,EACL,KAAK,CAAC,iBAAiB,EACvB,2BAA2B,KAAK,CAAC,SAAS,kHAAkH,CAC7J;SACF;KACF,CAAC;AACJ,CAAC;AAED,sGAAsG;AACtG,SAAS,SAAS,CAAC,IAAY,EAAE,YAA2B;IAC1D,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,YAAY,CAAC,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;IACrF,OAAO,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAsB,EAAE,OAA0B;IAC/E,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC;IACtD,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;QAChC,MAAM,KAAK,GAAG,OAAO,CACnB,KAAK,EACL,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,EACtC,KAAK,KAAK,CAAC,SAAS,qBAAqB,MAAM,+EAA+E,CAC/H,CAAC;QACF,MAAM,MAAM,GAAG,cAAc,EAAE,gBAAgB,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;QAChE,MAAM,UAAU,GAAmB,MAAM;YACvC,CAAC,CAAC;gBACE;oBACE,KAAK,EAAE,UAAU,MAAM,sIAAsI;oBAC7J,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,YAAY,CAAC;oBAChD,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;iBAC3B;aACF;YACH,CAAC,CAAC,EAAE,CAAC;QACP,OAAO,CAAC,GAAG,KAAK,EAAE,GAAG,UAAU,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAsB;IACrD,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IAChD,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE,CAAC;IACjD,IAAI,CAAC,cAAc,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,MAAM,EAAE;YACN,GAAG,MAAM;YACT,cAAc,EAAE,IAAI,oBAAoB,CAAC,cAAc,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;SAC3E;QACD,QAAQ,EACN,KAAK,KAAK,CAAC,SAAS,mBAAmB,SAAS,CAAC,OAAO,CAAC,+BAA+B;YACxF,qFAAqF;YACrF,0FAA0F;YAC1F,sBAAsB;QACxB,QAAQ,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,GAAG,qBAAqB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;KAC7E,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAsB;IACrD,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IACzC,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE,CAAC;IACjD,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;IACtE,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAClF,OAAO;QACL,MAAM,EAAE;YACN,GAAG,MAAM;YACT,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI;YACzD,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,iBAAiB,EAAE,KAAK,EAAE;SAC9C;QACD,QAAQ,EACN,KAAK,KAAK,CAAC,SAAS,cAAc,KAAK,qDAAqD;YAC5F,uFAAuF;YACvF,qCAAqC;QACvC,QAAQ,EAAE;YACR,eAAe,CAAC,KAAK,CAAC;YACtB,GAAG,OAAO,CACR,KAAK,EACL,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAiB,EAClD,gHAAgH,CACjH;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,KAAyB,EAAE,UAAyB;IAC3E,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,wBAAwB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,wBAAwB,CAAC,CAAC,CAAC,GAAG,OAAO,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;IACnF,OAAO,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,IAAI,MAAM,EAAE,CAAC;AAC9D,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAsB;IACjD,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IACzD,IACE,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC;QAC9B,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC,aAAa;QACxD,KAAK,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,EACpC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,KAAK,CAAC,iBAAiB,CAAC,MAAM,CAAC;IAC7C,OAAO;QACL,aAAa,EAAE;YACb,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EACL,aAAa,KAAK,CAAC,SAAS,+DAA+D;gBAC3F,GAAG,KAAK,+EAA+E;gBACvF,wDAAwD,KAAK,gBAAgB;SAChF;QACD,MAAM;QACN,QAAQ,EACN,KAAK,KAAK,CAAC,SAAS,cAAc,KAAK,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,qBAAqB,KAAK,GAAG;YACtG,IAAI,eAAe,CAAC,KAAK,CAAC,iBAAiB,EAAE,UAAU,CAAC,mCAAmC;YAC3F,2EAA2E;QAC7E,QAAQ,EAAE;YACR,eAAe,CAAC,KAAK,CAAC;YACtB,GAAG,OAAO,CACR,KAAK,EACL,KAAK,CAAC,iBAAiB,EACvB,KAAK,KAAK,CAAC,SAAS,mJAAmJ,CACxK;SACF;KACF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAsB;IACvD,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IAC7C,MAAM,UAAU,GAAG,CAAC,GAAG,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7D,IACE,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC;QAC9B,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC,aAAa;QACxD,KAAK,CAAC,iBAAiB,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,KAAK,CAAC,EACxD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,KAAK,CAAC,iBAAiB,CAAC,MAAM,CAAC;IAC7C,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE,CAAC;IACjD,MAAM,KAAK,GAAG;QACZ,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,gBAAgB,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE;QACzE,UAAU,CAAC,MAAM,GAAG,CAAC;YACnB,CAAC,CAAC,GAAG,UAAU,CAAC,MAAM,mBAAmB,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,OAAO,CAAC,GAAG;YAC7G,CAAC,CAAC,EAAE;KACP,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACpC,OAAO;QACL,aAAa,EAAE;YACb,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EACL,aAAa,KAAK,CAAC,SAAS,+DAA+D;gBAC3F,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,uEAAuE;gBAC7F,6EAA6E,KAAK,gBAAgB;SACrG;QACD,MAAM;QACN,QAAQ,EACN,KAAK,KAAK,CAAC,SAAS,oBAAoB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,KAAK,0BAA0B;YACjG,6FAA6F;YAC7F,iDAAiD;QACnD,QAAQ,EAAE;YACR,GAAG,OAAO,CACR,KAAK,EACL,KAAK,CAAC,iBAAiB,EACvB,KAAK,KAAK,CAAC,SAAS,mJAAmJ,CACxK;YACD,GAAG,OAAO,CACR,KAAK,EACL,UAAU,EACV,KAAK,KAAK,CAAC,SAAS,0JAA0J,CAC/K;SACF;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,GAAqD,IAAI,GAAG,CAAC;IAC3E,CAAC,4BAA4B,EAAE,0BAA0B,CAAC;IAC1D,CAAC,4BAA4B,EAAE,wBAAwB,CAAC;IACxD,CAAC,2BAA2B,EAAE,uBAAuB,CAAC;IACtD,CAAC,mCAAmC,EAAE,qBAAqB,CAAC;IAC5D,CAAC,yBAAyB,EAAE,uBAAuB,CAAC;IACpD,CAAC,2BAA2B,EAAE,uBAAuB,CAAC;IACtD,CAAC,qBAAqB,EAAE,mBAAmB,CAAC;CAC7C,CAAC,CAAC;AAEH,oFAAoF;AACpF,MAAM,UAAU,aAAa,CAAC,MAAwB,EAAE,KAAsB;IAC5E,OAAO,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC;AACjD,CAAC"}

package/dist/src/analysis/assumptions/ranked-questions.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"ranked-questions.d.ts","sourceRoot":"","sources":["../../../../src/analysis/assumptions/ranked-questions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAuCvE,8HAA8H;AAC9H,wBAAgB,eAAe,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,GAAG,cAAc,EAAE,~~CAiBlF~~"}
1	+ {"version":3,"file":"ranked-questions.d.ts","sourceRoot":"","sources":["../../../../src/analysis/assumptions/ranked-questions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAuCvE,8HAA8H;AAC9H,wBAAgB,eAAe,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,GAAG,cAAc,EAAE,CAuBlF"}

package/dist/src/analysis/assumptions/ranked-questions.js CHANGED Viewed

@@ -32,7 +32,7 @@ export function rankedQuestions(findings) {
         .map(({ finding, priority }, index) => {
         // SAFETY: the filter above keeps only findings whose assumption is present.
         const assumption = finding.assumption;
-        return {
+        const question = {
             file: finding.location.file,
             id: assumption.id,
             ifConfirmed: assumption.ifConfirmed,
@@ -41,6 +41,10 @@ export function rankedQuestions(findings) {
             priority,
             rank: index + 1,
         };
+        if (assumption.members) {
+            question.convertingCount = assumption.members.filter((member) => member.outcome !== "review-state").length;
+        }
+        return question;
     });
 }
 //# sourceMappingURL=ranked-questions.js.map

package/dist/src/analysis/assumptions/ranked-questions.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"ranked-questions.js","sourceRoot":"","sources":["../../../../src/analysis/assumptions/ranked-questions.ts"],"names":[],"mappings":"AAOA,gGAAgG;AAChG,SAAS,UAAU,CAAC,OAAoB;IACtC,MAAM,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;IAC/B,OAAO,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACtF,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAkB,EAAE,KAAmB;IAC/D,OAAO,CACL,KAAK,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ;QAC9B,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;QACrE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CACzD,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,OAAoB;IAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC;IAC1C,OAAO,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,OAAO,CAAC;AACjD,CAAC;AAED,sGAAsG;AACtG,SAAS,UAAU,CAAC,QAAgC;IAClD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE;QACjC,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;QAClC,IAAI,EAAE,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACrC,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACb,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,8HAA8H;AAC9H,MAAM,UAAU,eAAe,CAAC,QAAgC;IAC9D,OAAO,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC;SACvE,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;SAC9D,QAAQ,CAAC,gBAAgB,CAAC;SAC1B,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE;QACpC,4EAA4E;QAC5E,MAAM,UAAU,GAAG,OAAO,CAAC,UAAW,CAAC;QACvC,~~OAAO~~;~~YACL~~,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI;YAC3B,EAAE,EAAE,UAAU,CAAC,EAAE;YACjB,WAAW,EAAE,UAAU,CAAC,WAAW;YACnC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI;YAC3B,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,QAAQ;YACR,IAAI,EAAE,KAAK,GAAG,CAAC;SAChB,CAAC;~~IACJ~~,CAAC,CAAC,CAAC;AACP,CAAC"}
1	+ {"version":3,"file":"ranked-questions.js","sourceRoot":"","sources":["../../../../src/analysis/assumptions/ranked-questions.ts"],"names":[],"mappings":"AAOA,gGAAgG;AAChG,SAAS,UAAU,CAAC,OAAoB;IACtC,MAAM,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;IAC/B,OAAO,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACtF,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAkB,EAAE,KAAmB;IAC/D,OAAO,CACL,KAAK,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ;QAC9B,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;QACrE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CACzD,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,OAAoB;IAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC;IAC1C,OAAO,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,OAAO,CAAC;AACjD,CAAC;AAED,sGAAsG;AACtG,SAAS,UAAU,CAAC,QAAgC;IAClD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE;QACjC,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;QAClC,IAAI,EAAE,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACrC,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACb,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,8HAA8H;AAC9H,MAAM,UAAU,eAAe,CAAC,QAAgC;IAC9D,OAAO,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC;SACvE,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;SAC9D,QAAQ,CAAC,gBAAgB,CAAC;SAC1B,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE;QACpC,4EAA4E;QAC5E,MAAM,UAAU,GAAG,OAAO,CAAC,UAAW,CAAC;QACvC,MAAM,QAAQ,GAAmB;YAC/B,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI;YAC3B,EAAE,EAAE,UAAU,CAAC,EAAE;YACjB,WAAW,EAAE,UAAU,CAAC,WAAW;YACnC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI;YAC3B,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,QAAQ;YACR,IAAI,EAAE,KAAK,GAAG,CAAC;SAChB,CAAC;QACF,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;YACvB,QAAQ,CAAC,eAAe,GAAG,UAAU,CAAC,OAAO,CAAC,MAAM,CAClD,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,KAAK,cAAc,CAC9C,CAAC,MAAM,CAAC;QACX,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC,CAAC;AACP,CAAC"}

package/dist/src/analysis/assumptions/state-assumptions.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"state-assumptions.d.ts","sourceRoot":"","sources":["../../../../src/analysis/assumptions/state-assumptions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,gBAAgB,EAChB,gBAAgB,EAEhB,eAAe,EAChB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAExE,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAKvF,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,KAAK,WAAW,GAAG,OAAO,CAAC,eAAe,EAAE;IAAE,MAAM,EAAE,cAAc,CAAA;CAAE,CAAC,CAAC;AAExE,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,aAAa,EAAE,eAAe,GAAG,IAAI,CAAC;IAC/C,QAAQ,CAAC,MAAM,EAAE,yBAAyB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,SAAS,cAAc,EAAE,CAAC;IAC7C,uEAAuE;IACvE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,6FAA6F;AAC7F,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,eAAe,GAAG,IAAI,CAAC;CAC5C;AAoBD;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,MAAM,CAGlF;AAED,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,YAAY,GAAG,IAAI,EAC3B,WAAW,EAAE,MAAM,GAClB,gBAAgB,CAQlB;AAYD,wBAAgB,YAAY,CAC1B,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,yBAAyB,EACjC,KAAK,EAAE,SAAS,gBAAgB,EAAE,GACjC,MAAM,CAER;~~AAmID~~;;;GAGG;AACH,wBAAgB,eAAe,CAC7B,UAAU,EAAE,WAAW,EACvB,KAAK,EAAE,eAAe,GACrB,qBAAqB,GAAG,IAAI,CAwB9B"}
1	+ {"version":3,"file":"state-assumptions.d.ts","sourceRoot":"","sources":["../../../../src/analysis/assumptions/state-assumptions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,gBAAgB,EAChB,gBAAgB,EAEhB,eAAe,EAChB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAExE,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAKvF,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,KAAK,WAAW,GAAG,OAAO,CAAC,eAAe,EAAE;IAAE,MAAM,EAAE,cAAc,CAAA;CAAE,CAAC,CAAC;AAExE,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,aAAa,EAAE,eAAe,GAAG,IAAI,CAAC;IAC/C,QAAQ,CAAC,MAAM,EAAE,yBAAyB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,SAAS,cAAc,EAAE,CAAC;IAC7C,uEAAuE;IACvE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,6FAA6F;AAC7F,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,eAAe,GAAG,IAAI,CAAC;CAC5C;AAoBD;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,MAAM,CAGlF;AAED,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,YAAY,GAAG,IAAI,EAC3B,WAAW,EAAE,MAAM,GAClB,gBAAgB,CAQlB;AAYD,wBAAgB,YAAY,CAC1B,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,yBAAyB,EACjC,KAAK,EAAE,SAAS,gBAAgB,EAAE,GACjC,MAAM,CAER;AA2HD;;;GAGG;AACH,wBAAgB,eAAe,CAC7B,UAAU,EAAE,WAAW,EACvB,KAAK,EAAE,eAAe,GACrB,qBAAqB,GAAG,IAAI,CAwB9B"}

package/dist/src/analysis/assumptions/state-assumptions.js CHANGED Viewed

@@ -57,23 +57,14 @@ function resolveOnce(reason, scope, inputs) {
         verdict: hypothesis.directVerdict ?? classifyState(hypothesis.inputs),
     };
 }
-/**
- * One step per line. Chaining a second fact often reaches a line the first fact already named, and
- * both asks belong to whoever opens it, so distinct checks join instead of one displacing the other.
- */
+/** Chained hypotheses may repeat the same instruction and its source sites. */
 function dedupeResearch(steps) {
-    const byLine = new Map();
+    const distinct = new Map();
     for (const step of steps) {
-        const key = `${step.file}:${step.line}`;
-        const merged = byLine.get(key);
-        if (!merged) {
-            byLine.set(key, step);
-        }
-        else if (!merged.check.includes(step.check)) {
-            byLine.set(key, { ...merged, check: `${merged.check}; also ${step.check}` });
-        }
+        const key = JSON.stringify([step.file, step.check, step.lines ?? [step.line]]);
+        distinct.set(key, step);
     }
-    return [...byLine.values()];
+    return [...distinct.values()];
 }
 function chainSecond(first, reason, scope) {
     const next = first.verdict.action === "review-state" ? first.verdict.abstentionReason : null;

package/dist/src/analysis/assumptions/state-assumptions.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"state-assumptions.js","sourceRoot":"","sources":["../../../../src/analysis/assumptions/state-assumptions.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAEpE,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAC9D,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,eAAe,EAAE,MAAM,0CAA0C,CAAC;AAC3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAsBxD,MAAM,kBAAkB,GAAG,EAAE,CAAC;AAE9B,qGAAqG;AACrG,SAAS,iBAAiB,CAAC,UAA2B;IACpD,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,CAAC;IAC9B,IACE,MAAM,KAAK,sBAAsB;QACjC,MAAM,KAAK,qBAAqB;QAChC,MAAM,KAAK,YAAY;QACvB,MAAM,KAAK,cAAc,EACzB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAc,EAAE,UAAyB;IACxE,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAChE,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;AACpF,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,MAA2B,EAC3B,WAAmB;IAEnB,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS,IAAI,MAAM,CAAC,WAAW,KAAK,WAAW,EAAE,CAAC;QAC3E,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC;AAC5D,CAAC;AAED,SAAS,UAAU,CAAC,MAAiC;IACnD,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC;IAC/B,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,6BAA6B,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IAChG,OAAO,cAAc,IAAI,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,UAAkB,EAClB,MAAiC,EACjC,KAAkC;IAElC,OAAO,GAAG,UAAU,KAAK,UAAU,CAAC,MAAM,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC,SAAS,KAAK,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AAC/F,CAAC;AAUD,MAAM,iBAAiB,GAAG,CAAC,CAAC;AAE5B,SAAS,WAAW,CAClB,MAAwB,EACxB,KAAsB,EACtB,MAAiC;IAEjC,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,EAAE,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;IAC/D,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,KAAK,EAAE,CAAC,MAAM,CAAC;QACf,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,OAAO,EAAE,UAAU,CAAC,aAAa,IAAI,aAAa,CAAC,UAAU,CAAC,MAAM,CAAC;KACtE,CAAC;AACJ,CAAC;AAED~~;;;GAGG~~;~~AACH~~,SAAS,cAAc,CAAC,KAA8B;IACpD,MAAM,~~MAAM~~,GAAG,IAAI,GAAG,EAAwB,CAAC;~~IAC/C~~,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,~~GAAG,~~IAAI,CAAC,~~IAAI~~,~~IAAI~~,~~IAAI,~~CAAC,IAAI,~~EAAE,~~CAAC~~;QACxC~~,~~MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/B,~~IAAI,~~CAAC,MAAM,~~EAAE,~~CAAC;YACZ~~,~~MAAM,~~CAAC,~~GAAG~~,~~CAAC,GAAG,~~EAAE,IAAI,CAAC,~~CAAC;QACxB~~,~~CAAC;aAAM,~~IAAI,CAAC,~~MAAM~~,CAAC,~~KAAK~~,CAAC,~~QAAQ,~~CAAC,~~IAAI,~~CAAC,~~KAAK,~~CAAC~~,EAAE,CAAC~~;~~YAC9C~~,~~MAAM~~,CAAC,GAAG,CAAC,GAAG,EAAE,~~EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,KAAK,UAAU,~~IAAI,CAAC,~~KAAK,EAAE,EAAE,~~CAAC~~,CAAC~~;~~QAC/E~~,CAAC;~~IACH,CAAC;~~IACD,OAAO,CAAC,GAAG,~~MAAM~~,CAAC,MAAM,EAAE,CAAC,CAAC;~~AAC9B~~,CAAC;AAED,SAAS,WAAW,CAClB,KAAyB,EACzB,MAAwB,EACxB,KAAsB;IAEtB,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7F,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAChD,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,MAAM,IAAI,CAAC,UAAU,EAAE,CAAC;QACpD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IAC3D,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;QACxD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO;QACL,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC;QACxC,QAAQ,EAAE,GAAG,KAAK,CAAC,QAAQ,kBAAkB,MAAM,CAAC,QAAQ,EAAE;QAC9D,QAAQ,EAAE,cAAc,CAAC,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;QACjE,OAAO,EAAE,MAAM,CAAC,OAAO;KACxB,CAAC;AACJ,CAAC;AAED,mGAAmG;AACnG,SAAS,aAAa,CACpB,MAAwB,EACxB,KAAsB;IAEtB,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IACvC,OAAO,IAAI,EAAE,aAAa;QACxB,CAAC,CAAC;YACE,KAAK,EAAE,CAAC,MAAM,CAAC;YACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,OAAO,EAAE,IAAI,CAAC,aAAa;SAC5B;QACH,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED;;;GAGG;AACH,SAAS,gBAAgB,CACvB,KAAyB,EACzB,MAAwB,EACxB,KAAsB;IAEtB,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,CAAC,IAAI,EAAE,aAAa,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GACb,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,2BAA2B,CAAC;IAChG,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IACvE,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;QACzB,OAAO,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC;IAC7F,CAAC;IACD,OAAO;QACL,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,SAAS,CAAC;QAClC,QAAQ,EAAE,GAAG,KAAK,CAAC,QAAQ,kBAAkB,IAAI,CAAC,QAAQ,EAAE;QAC5D,QAAQ;QACR,OAAO,EAAE,IAAI,CAAC,aAAa;KAC5B,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CAAC,MAAwB,EAAE,KAAsB;IACpE,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACvD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,MAAM,KAAK,2BAA2B,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACtF,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,cAAc,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,IAAI,iBAAiB,EAAE,CAAC;QACvF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IAClD,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;QAC9C,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC;AAC3D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAC7B,UAAuB,EACvB,KAAsB;IAEtB,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,MAAM,QAAQ,GAAG,YAAY,CAAC,UAAU,CAAC,gBAAgB,EAAE,KAAK,CAAC,CAAC;IAClE,MAAM,WAAW,GAAG,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1E,IAAI,CAAC,QAAQ,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;QACtC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,EAAE,GAAG,YAAY,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;IAClE,MAAM,WAAW,GAAG,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC5E,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,aAAa,EAAE,eAAe,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,WAAW,CAAC,CAAC;IAC/F,OAAO;QACL,UAAU,EAAE;YACV,KAAK,EAAE,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC;YAC1B,WAAW;YACX,EAAE;YACF,WAAW;YACX,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;YAC/C,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC;YAChC,MAAM;YACN,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW;SACtC;QACD,SAAS,EAAE,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI;KAC5D,CAAC;AACJ,CAAC"}
1	+ {"version":3,"file":"state-assumptions.js","sourceRoot":"","sources":["../../../../src/analysis/assumptions/state-assumptions.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAEpE,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAC9D,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,eAAe,EAAE,MAAM,0CAA0C,CAAC;AAC3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAsBxD,MAAM,kBAAkB,GAAG,EAAE,CAAC;AAE9B,qGAAqG;AACrG,SAAS,iBAAiB,CAAC,UAA2B;IACpD,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,CAAC;IAC9B,IACE,MAAM,KAAK,sBAAsB;QACjC,MAAM,KAAK,qBAAqB;QAChC,MAAM,KAAK,YAAY;QACvB,MAAM,KAAK,cAAc,EACzB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAc,EAAE,UAAyB;IACxE,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAChE,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;AACpF,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,MAA2B,EAC3B,WAAmB;IAEnB,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS,IAAI,MAAM,CAAC,WAAW,KAAK,WAAW,EAAE,CAAC;QAC3E,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC;AAC5D,CAAC;AAED,SAAS,UAAU,CAAC,MAAiC;IACnD,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC;IAC/B,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,6BAA6B,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IAChG,OAAO,cAAc,IAAI,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,UAAkB,EAClB,MAAiC,EACjC,KAAkC;IAElC,OAAO,GAAG,UAAU,KAAK,UAAU,CAAC,MAAM,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC,SAAS,KAAK,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AAC/F,CAAC;AAUD,MAAM,iBAAiB,GAAG,CAAC,CAAC;AAE5B,SAAS,WAAW,CAClB,MAAwB,EACxB,KAAsB,EACtB,MAAiC;IAEjC,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,EAAE,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;IAC/D,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,KAAK,EAAE,CAAC,MAAM,CAAC;QACf,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,OAAO,EAAE,UAAU,CAAC,aAAa,IAAI,aAAa,CAAC,UAAU,CAAC,MAAM,CAAC;KACtE,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,SAAS,cAAc,CAAC,KAA8B;IACpD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAwB,CAAC;IACjD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/E,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,WAAW,CAClB,KAAyB,EACzB,MAAwB,EACxB,KAAsB;IAEtB,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7F,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAChD,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,MAAM,IAAI,CAAC,UAAU,EAAE,CAAC;QACpD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IAC3D,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;QACxD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO;QACL,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC;QACxC,QAAQ,EAAE,GAAG,KAAK,CAAC,QAAQ,kBAAkB,MAAM,CAAC,QAAQ,EAAE;QAC9D,QAAQ,EAAE,cAAc,CAAC,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;QACjE,OAAO,EAAE,MAAM,CAAC,OAAO;KACxB,CAAC;AACJ,CAAC;AAED,mGAAmG;AACnG,SAAS,aAAa,CACpB,MAAwB,EACxB,KAAsB;IAEtB,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IACvC,OAAO,IAAI,EAAE,aAAa;QACxB,CAAC,CAAC;YACE,KAAK,EAAE,CAAC,MAAM,CAAC;YACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,OAAO,EAAE,IAAI,CAAC,aAAa;SAC5B;QACH,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED;;;GAGG;AACH,SAAS,gBAAgB,CACvB,KAAyB,EACzB,MAAwB,EACxB,KAAsB;IAEtB,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,CAAC,IAAI,EAAE,aAAa,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GACb,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,2BAA2B,CAAC;IAChG,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IACvE,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;QACzB,OAAO,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC;IAC7F,CAAC;IACD,OAAO;QACL,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,SAAS,CAAC;QAClC,QAAQ,EAAE,GAAG,KAAK,CAAC,QAAQ,kBAAkB,IAAI,CAAC,QAAQ,EAAE;QAC5D,QAAQ;QACR,OAAO,EAAE,IAAI,CAAC,aAAa;KAC5B,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CAAC,MAAwB,EAAE,KAAsB;IACpE,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACvD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,MAAM,KAAK,2BAA2B,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACtF,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,cAAc,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,IAAI,iBAAiB,EAAE,CAAC;QACvF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IAClD,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;QAC9C,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC;AAC3D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAC7B,UAAuB,EACvB,KAAsB;IAEtB,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,MAAM,QAAQ,GAAG,YAAY,CAAC,UAAU,CAAC,gBAAgB,EAAE,KAAK,CAAC,CAAC;IAClE,MAAM,WAAW,GAAG,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1E,IAAI,CAAC,QAAQ,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;QACtC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,EAAE,GAAG,YAAY,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;IAClE,MAAM,WAAW,GAAG,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC5E,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,aAAa,EAAE,eAAe,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,WAAW,CAAC,CAAC;IAC/F,OAAO;QACL,UAAU,EAAE;YACV,KAAK,EAAE,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC;YAC1B,WAAW;YACX,EAAE;YACF,WAAW;YACX,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;YAC/C,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC;YAChC,MAAM;YACN,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW;SACtC;QACD,SAAS,EAAE,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI;KAC5D,CAAC;AACJ,CAAC"}

package/dist/src/analysis/finding-format.d.ts CHANGED Viewed

@@ -16,8 +16,6 @@ export interface StructuralCandidateScope {
 }
 export declare function isStructuralLegendCandidate(state: StateCandidate, usage: StateUsage, { materiality, sourceFile }: StructuralCandidateScope): boolean;
 export declare function legendCandidateMessage(state: StateCandidate, usage: StateUsage, sourceComponents?: ReadonlySet<string>): string;
-/** Marks findings the compact tier admitted below the default broad-owner size. */
-export declare function withMaterialityTier(finding: HookFinding, state: StateCandidate, materiality: MaterialityPolicy): HookFinding;
 export declare function stateEvidence(state: StateCandidate, usage: StateUsage, sourceFile: ts.SourceFile): readonly string[];
 export declare function effectEvidence(effect: EffectCandidate, sourceFile: ts.SourceFile, stateBySetter: ReadonlyMap<string, StateCandidate>): readonly string[];
 export {};

package/dist/src/analysis/finding-format.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"finding-format.d.ts","sourceRoot":"","sources":["../../../src/analysis/finding-format.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,gBAAgB,EAChB,eAAe,EACf,eAAe,EACf,cAAc,EACd,UAAU,EACX,MAAM,YAAY,CAAC;~~AAEpB~~,OAAO,KAAK,EAAc,WAAW,EAAe,MAAM,kBAAkB,CAAC;AAE7E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;~~AAKxD~~,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,UAAU,cAAc;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,WAAW,GAAG,UAAU,CAAC;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;CACpC;AAED,wBAAgB,UAAU,CACxB,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,cAAc,EAAE,eAAe,GAAG,gBAAgB,EAClD,OAAO,EAAE,cAAc,GACtB,WAAW,CAgCb;AAkBD,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAC;IACxC,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;CACpC;AAED,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,EAAE,WAAW,EAAE,UAAU,EAAE,EAAE,wBAAwB,GACpD,OAAO,CAOT;AAED,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,gBAAgB,GAAE,WAAW,CAAC,MAAM,CAAa,GAChD,MAAM,CAQR;AAiBD,~~mFAAmF;AACnF,~~wBAAgB,~~mBAAmB,CACjC,OAAO,EAAE,WAAW,EACpB,KAAK,EAAE,cAAc,EACrB,WAAW,EAAE,iBAAiB,GAC7B,WAAW,CAKb;AAED,wBAAgB,~~aAAa,CAC3B,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB,SAAS,MAAM,EAAE,CAOnB;AAED,wBAAgB,cAAc,CAC5B,MAAM,EAAE,eAAe,EACvB,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,GACjD,SAAS,MAAM,EAAE,CAMnB"}
1	+ {"version":3,"file":"finding-format.d.ts","sourceRoot":"","sources":["../../../src/analysis/finding-format.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,gBAAgB,EAChB,eAAe,EACf,eAAe,EACf,cAAc,EACd,UAAU,EACX,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAc,WAAW,EAAe,MAAM,kBAAkB,CAAC;AAE7E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAMxD,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,UAAU,cAAc;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,WAAW,GAAG,UAAU,CAAC;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;CACpC;AAED,wBAAgB,UAAU,CACxB,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,cAAc,EAAE,eAAe,GAAG,gBAAgB,EAClD,OAAO,EAAE,cAAc,GACtB,WAAW,CAgCb;AAkBD,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAC;IACxC,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;CACpC;AAED,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,EAAE,WAAW,EAAE,UAAU,EAAE,EAAE,wBAAwB,GACpD,OAAO,CAOT;AAED,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,gBAAgB,GAAE,WAAW,CAAC,MAAM,CAAa,GAChD,MAAM,CAQR;AAiBD,wBAAgB,aAAa,CAC3B,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB,SAAS,MAAM,EAAE,CAOnB;AAED,wBAAgB,cAAc,CAC5B,MAAM,EAAE,eAAe,EACvB,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,GACjD,SAAS,MAAM,EAAE,CAMnB"}

package/dist/src/analysis/finding-format.js CHANGED Viewed

@@ -1,5 +1,5 @@
-import { DEFAULT_MATERIALITY, WIDE_OWNER_LINE_SPAN } from "./constants.js";
 import { ownerLineSpan, runtimeFunctionName } from "./ast-helpers.js";
+import { WIDE_OWNER_LINE_SPAN } from "./constants.js";
 import { callbackHasCleanup } from "../rules/effects/effects.js";
 import { jsxElementCount } from "../rules/state-proofs/jsx-subtrees.js";
 import path from "node:path";
@@ -76,13 +76,6 @@ const STATE_MODEL_BY_ACTION = {
 function stateModelFor(action) {
     return { ...STATE_MODEL_BY_ACTION[action] };
 }
-/** Marks findings the compact tier admitted below the default broad-owner size. */
-export function withMaterialityTier(finding, state, materiality) {
-    return materiality.tier === "compact" &&
-        jsxElementCount(state.owner) < DEFAULT_MATERIALITY.broadOwnerJsx
-        ? { ...finding, materiality: "compact" }
-        : finding;
-}
 export function stateEvidence(state, usage, sourceFile) {
     return [
         `${ownerEvidence(state.owner, sourceFile)}, JSX elements ${jsxElementCount(state.owner)}`,

package/dist/src/analysis/finding-format.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"finding-format.js","sourceRoot":"","sources":["../../../src/analysis/finding-format.ts"],"names":[],"mappings":"~~AAOA~~,OAAO,EAAE,~~mBAAmB~~,EAAE,~~oBAAoB~~,EAAE,MAAM,~~gBAAgB~~,CAAC;~~AAE3E~~,OAAO,EAAE,~~aAAa~~,EAAE,~~mBAAmB,EAAE,~~MAAM,~~kBAAkB~~,CAAC;~~AAGtE~~,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,uCAAuC,CAAC;AACxE,OAAO,IAAI,MAAM,WAAW,CAAC;AAW7B,MAAM,UAAU,UAAU,CACxB,IAAuB,EACvB,cAAkD,EAClD,OAAuB;IAEvB,MAAM,EAAE,QAAQ,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;IACpE,MAAM,QAAQ,GAAG,UAAU,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;IACrF,MAAM,IAAI,GAAG;QACX,UAAU,EAAE,cAAc,CAAC,UAAU;QACrC,WAAW,EAAE,cAAc,CAAC,cAAc,CAAC,MAAM,CAAC;QAClD,QAAQ;QACR,IAAI;QACJ,QAAQ,EAAE;YACR,MAAM,EAAE,QAAQ,CAAC,SAAS,GAAG,CAAC;YAC9B,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC;YAC9B,IAAI,EAAE,QAAQ,CAAC,IAAI,GAAG,CAAC;SACxB;QACD,OAAO,EAAE,cAAc,CAAC,OAAO;QAC/B,IAAI;KACL,CAAC;IACF,IAAI,cAAc,CAAC,MAAM,KAAK,cAAc,IAAI,cAAc,CAAC,MAAM,KAAK,eAAe,EAAE,CAAC;QAC1F,MAAM,aAAa,GAAG;YACpB,GAAG,IAAI;YACP,MAAM,EAAE,cAAc,CAAC,MAAM;YAC7B,gBAAgB,EAAE,cAAc,CAAC,gBAAgB;SAClD,CAAC;QACF,OAAO,IAAI,KAAK,UAAU;YACxB,CAAC,CAAC,EAAE,GAAG,aAAa,EAAE,UAAU,EAAE,aAAa,CAAC,cAAc,CAAC,EAAE;YACjE,CAAC,CAAC,aAAa,CAAC;IACpB,CAAC;IACD,MAAM,MAAM,GAA0D,cAAc,CAAC,MAAM,CAAC;IAC5F,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;QACxB,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,CAAC;IAC7B,CAAC;IACD,qGAAqG;IACrG,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,aAAa,CAAC,MAAqB,CAAC,EAAE,CAAC;AAC/E,CAAC;AAED,SAAS,cAAc,CAAC,MAA6B;IACnD,IAAI,MAAM,KAAK,aAAa,IAAI,MAAM,KAAK,YAAY,EAAE,CAAC;QACxD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IACE,MAAM,KAAK,eAAe;QAC1B,MAAM,KAAK,cAAc;QACzB,MAAM,KAAK,oBAAoB;QAC/B,MAAM,KAAK,WAAW;QACtB,MAAM,KAAK,aAAa,EACxB,CAAC;QACD,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAOD,MAAM,UAAU,2BAA2B,CACzC,KAAqB,EACrB,KAAiB,EACjB,EAAE,WAAW,EAAE,UAAU,EAA4B;IAErD,OAAO,CACL,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,oBAAoB;QAC9D,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,aAAa;QACzD,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAC5B,KAAK,CAAC,sBAAsB,GAAG,CAAC,CACjC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,KAAqB,EACrB,KAAiB,EACjB,mBAAwC,IAAI,GAAG,EAAE;IAEjD,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,2BAA2B,CAAC;IAC3F,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACxF,MAAM,KAAK,GACT,QAAQ,CAAC,MAAM,GAAG,CAAC;QACjB,CAAC,CAAC,qCAAqC,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,wEAAwE;QAC7I,CAAC,CAAC,EAAE,CAAC;IACT,OAAO,gDAAgD,KAAK,CAAC,SAAS,6DAA6D,OAAO,kDAAkD,KAAK,EAAE,CAAC;AACtM,CAAC;AAED,MAAM,qBAAqB,GAAG;IAC5B,sBAAsB,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE;IACrE,qBAAqB,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE;IACpE,YAAY,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE;IACjE,iBAAiB,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE;IACrE,cAAc,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE;IAC/D,gBAAgB,EAAE,EAAE,SAAS,EAAE,kBAAkB,EAAE,YAAY,EAAE,gBAAgB,EAAE;IACnF,SAAS,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE;IACrD,WAAW,EAAE,EAAE,SAAS,EAAE,qBAAqB,EAAE,YAAY,EAAE,iBAAiB,EAAE;CACb,CAAC;AAExE,SAAS,aAAa,CAAC,MAAmB;IACxC,OAAO,EAAE,GAAG,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;AAC9C,CAAC;AAED,~~mFAAmF;AACnF,~~MAAM,UAAU,~~mBAAmB,CACjC,OAAoB,EACpB,KAAqB,EACrB,WAA8B;IAE9B,OAAO,WAAW,CAAC,IAAI,KAAK,SAAS;QACnC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,mBAAmB,CAAC,~~aAAa~~;QAChE~~,~~CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE;QACxC,CAAC,CAAC,OAAO,CAAC;AACd,CAAC;AAED,MAAM,UAAU,aAAa,~~CAC3B,KAAqB,EACrB,KAAiB,EACjB,UAAyB;IAEzB,OAAO;QACL,GAAG,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,UAAU,CAAC,kBAAkB,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE;QACzF,iBAAiB,KAAK,CAAC,gBAAgB,aAAa,KAAK,CAAC,WAAW,cAAc,KAAK,CAAC,aAAa,iBAAiB,KAAK,CAAC,sBAAsB,EAAE;QACrJ,wBAAwB,KAAK,CAAC,WAAW,mBAAmB,KAAK,CAAC,YAAY,EAAE;QAChF,sBAAsB,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE;KAC9E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,MAAuB,EACvB,UAAyB,EACzB,aAAkD;IAElD,OAAO;QACL,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,mBAAmB;QAC5E,iBAAiB,MAAM,CAAC,YAAY,EAAE,QAAQ,CAAC,MAAM,IAAI,YAAY,EAAE;QACvE,YAAY,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE;KAClG,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,KAA0B,EAAE,UAAyB;IAC1E,MAAM,KAAK,GAAG,UAAU,CAAC,6BAA6B,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;IAC5F,MAAM,GAAG,GAAG,UAAU,CAAC,6BAA6B,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;IACzE,OAAO,UAAU,mBAAmB,CAAC,KAAK,CAAC,IAAI,WAAW,WAAW,KAAK,IAAI,GAAG,EAAE,CAAC;AACtF,CAAC"}
1	+ {"version":3,"file":"finding-format.js","sourceRoot":"","sources":["../../../src/analysis/finding-format.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAGtE,OAAO,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,uCAAuC,CAAC;AACxE,OAAO,IAAI,MAAM,WAAW,CAAC;AAW7B,MAAM,UAAU,UAAU,CACxB,IAAuB,EACvB,cAAkD,EAClD,OAAuB;IAEvB,MAAM,EAAE,QAAQ,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;IACpE,MAAM,QAAQ,GAAG,UAAU,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;IACrF,MAAM,IAAI,GAAG;QACX,UAAU,EAAE,cAAc,CAAC,UAAU;QACrC,WAAW,EAAE,cAAc,CAAC,cAAc,CAAC,MAAM,CAAC;QAClD,QAAQ;QACR,IAAI;QACJ,QAAQ,EAAE;YACR,MAAM,EAAE,QAAQ,CAAC,SAAS,GAAG,CAAC;YAC9B,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC;YAC9B,IAAI,EAAE,QAAQ,CAAC,IAAI,GAAG,CAAC;SACxB;QACD,OAAO,EAAE,cAAc,CAAC,OAAO;QAC/B,IAAI;KACL,CAAC;IACF,IAAI,cAAc,CAAC,MAAM,KAAK,cAAc,IAAI,cAAc,CAAC,MAAM,KAAK,eAAe,EAAE,CAAC;QAC1F,MAAM,aAAa,GAAG;YACpB,GAAG,IAAI;YACP,MAAM,EAAE,cAAc,CAAC,MAAM;YAC7B,gBAAgB,EAAE,cAAc,CAAC,gBAAgB;SAClD,CAAC;QACF,OAAO,IAAI,KAAK,UAAU;YACxB,CAAC,CAAC,EAAE,GAAG,aAAa,EAAE,UAAU,EAAE,aAAa,CAAC,cAAc,CAAC,EAAE;YACjE,CAAC,CAAC,aAAa,CAAC;IACpB,CAAC;IACD,MAAM,MAAM,GAA0D,cAAc,CAAC,MAAM,CAAC;IAC5F,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;QACxB,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,CAAC;IAC7B,CAAC;IACD,qGAAqG;IACrG,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,aAAa,CAAC,MAAqB,CAAC,EAAE,CAAC;AAC/E,CAAC;AAED,SAAS,cAAc,CAAC,MAA6B;IACnD,IAAI,MAAM,KAAK,aAAa,IAAI,MAAM,KAAK,YAAY,EAAE,CAAC;QACxD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IACE,MAAM,KAAK,eAAe;QAC1B,MAAM,KAAK,cAAc;QACzB,MAAM,KAAK,oBAAoB;QAC/B,MAAM,KAAK,WAAW;QACtB,MAAM,KAAK,aAAa,EACxB,CAAC;QACD,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAOD,MAAM,UAAU,2BAA2B,CACzC,KAAqB,EACrB,KAAiB,EACjB,EAAE,WAAW,EAAE,UAAU,EAA4B;IAErD,OAAO,CACL,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,oBAAoB;QAC9D,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,aAAa;QACzD,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAC5B,KAAK,CAAC,sBAAsB,GAAG,CAAC,CACjC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,KAAqB,EACrB,KAAiB,EACjB,mBAAwC,IAAI,GAAG,EAAE;IAEjD,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,2BAA2B,CAAC;IAC3F,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACxF,MAAM,KAAK,GACT,QAAQ,CAAC,MAAM,GAAG,CAAC;QACjB,CAAC,CAAC,qCAAqC,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,wEAAwE;QAC7I,CAAC,CAAC,EAAE,CAAC;IACT,OAAO,gDAAgD,KAAK,CAAC,SAAS,6DAA6D,OAAO,kDAAkD,KAAK,EAAE,CAAC;AACtM,CAAC;AAED,MAAM,qBAAqB,GAAG;IAC5B,sBAAsB,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE;IACrE,qBAAqB,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE;IACpE,YAAY,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE;IACjE,iBAAiB,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE;IACrE,cAAc,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE;IAC/D,gBAAgB,EAAE,EAAE,SAAS,EAAE,kBAAkB,EAAE,YAAY,EAAE,gBAAgB,EAAE;IACnF,SAAS,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE;IACrD,WAAW,EAAE,EAAE,SAAS,EAAE,qBAAqB,EAAE,YAAY,EAAE,iBAAiB,EAAE;CACb,CAAC;AAExE,SAAS,aAAa,CAAC,MAAmB;IACxC,OAAO,EAAE,GAAG,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,KAAqB,EACrB,KAAiB,EACjB,UAAyB;IAEzB,OAAO;QACL,GAAG,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,UAAU,CAAC,kBAAkB,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE;QACzF,iBAAiB,KAAK,CAAC,gBAAgB,aAAa,KAAK,CAAC,WAAW,cAAc,KAAK,CAAC,aAAa,iBAAiB,KAAK,CAAC,sBAAsB,EAAE;QACrJ,wBAAwB,KAAK,CAAC,WAAW,mBAAmB,KAAK,CAAC,YAAY,EAAE;QAChF,sBAAsB,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE;KAC9E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,MAAuB,EACvB,UAAyB,EACzB,aAAkD;IAElD,OAAO;QACL,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,mBAAmB;QAC5E,iBAAiB,MAAM,CAAC,YAAY,EAAE,QAAQ,CAAC,MAAM,IAAI,YAAY,EAAE;QACvE,YAAY,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE;KAClG,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,KAA0B,EAAE,UAAyB;IAC1E,MAAM,KAAK,GAAG,UAAU,CAAC,6BAA6B,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;IAC5F,MAAM,GAAG,GAAG,UAAU,CAAC,6BAA6B,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;IACzE,OAAO,UAAU,mBAAmB,CAAC,KAAK,CAAC,IAAI,WAAW,WAAW,KAAK,IAAI,GAAG,EAAE,CAAC;AACtF,CAAC"}

package/dist/src/analysis/findings.js CHANGED Viewed

@@ -1,6 +1,6 @@
 import { attachClusterGroup, clusterStateClassification, findingsScope, stateClusterFor, } from "./finding-clusters.js";
 import { commitSensitiveStateClassification, stateIsCommitSensitive, } from "./commit-sensitive-state.js";
-import { findingFor, stateEvidence, withMaterialityTier } from "./finding-format.js";
+import { findingFor, stateEvidence } from "./finding-format.js";
 import { EMPTY_RUNTIME_FUNCTIONS } from "./constants.js";
 import { classifyState } from "./verdicts/classify-state.js";
 import { effectFindingFor } from "./effect-findings.js";
@@ -141,13 +141,13 @@ function stateFindingFor(state, result) {
         return null;
     }
     const resolved = resolveStateVerdict(state, usage, result);
-    const finding = withMaterialityTier(findingFor(state.call, resolved.classification, {
+    const finding = findingFor(state.call, resolved.classification, {
         evidence: [...stateEvidence(state, usage, analysis.sourceFile), ...resolved.evidence],
         fileName: analysis.fileName,
         hook: "useState",
         name: state.valueName,
         sourceFile: analysis.sourceFile,
-    }), state, analysis.materiality);
+    });
     withAssumption(finding, { analysis, resolved, state });
     attachGroup(finding, { cluster: stateClusterFor(state, result), resolved, state });
     return finding;

package/dist/src/analysis/findings.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"findings.js","sourceRoot":"","sources":["../../../src/analysis/findings.ts"],"names":[],"mappings":"AAQA,OAAO,EACL,kBAAkB,EAClB,0BAA0B,EAC1B,aAAa,EACb,eAAe,GAChB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,kCAAkC,EAClC,sBAAsB,GACvB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,~~mBAAmB,EAAE,~~MAAM,qBAAqB,CAAC;~~AACrF~~,OAAO,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAKzD,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,0BAA0B,EAAE,MAAM,qCAAqC,CAAC;AAEjF,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAEhE,MAAM,UAAU,aAAa,CAAC,MAA2B;IACvD,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC;IAC5B,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IAClF,MAAM,aAAa,GAAG,IAAI,GAAG,EAA+B,CAAC;IAC7D,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC9C,IAAI,OAAO,EAAE,CAAC;YACZ,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG;QACf,GAAG,aAAa,CAAC,MAAM,EAAE;QACzB,GAAG,QAAQ,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,qBAAqB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACpF,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,aAAa,CAAC,IAAI,EAAE,CAAC;KAC/F,CAAC;IACF,OAAO,QAAQ,CAAC,QAAQ,CACtB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,IAAI,CAAC,QAAQ,CAAC,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI;QACxC,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM;QAC5C,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CACtC,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAChC,KAAqB,EACrB,KAAiB,EACjB,MAA2B;IAE3B,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,CAAC;IAC9E,OAAO;QACL,4BAA4B,EAAE,SAAS,CAAC,yBAAyB,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC;QAClF,iBAAiB,EAAE,MAAM,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI;QAC/D,cAAc,EAAE,QAAQ,CAAC,cAAc;QACvC,qBAAqB,EAAE,QAAQ,CAAC,qBAAqB;QACrD,gBAAgB,EAAE,SAAS,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI;QAChE,wBAAwB,EACtB,SAAS,CAAC,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,uBAAuB;QAC7E,iCAAiC,EAAE,MAAM,CAAC,2BAA2B,CAAC,GAAG,CAAC,KAAK,CAAC;QAChF,gCAAgC,EAAE,MAAM,CAAC,0BAA0B,CAAC,GAAG,CAAC,KAAK,CAAC;QAC9E,GAAG,iBAAiB,CAAC,KAAK,EAAE,QAAQ,CAAC;QACrC,kBAAkB,EAAE,SAAS,CAAC,yBAAyB,CAAC,GAAG,CAAC,KAAK,CAAC;QAClE,8BAA8B,EAAE,MAAM,CAAC,sBAAsB,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC;QAC1F,uCAAuC,EACrC,MAAM,CAAC,sBAAsB,CAAC,0BAA0B,CAAC,GAAG,CAAC,KAAK,CAAC;QACrE,wBAAwB,EAAE,QAAQ,CAAC,2BAA2B,CAAC,GAAG,CAAC,KAAK,CAAC;QACzE,+BAA+B,EAAE,MAAM,CAAC,yBAAyB,CAAC,GAAG,CAAC,KAAK,CAAC;QAC5E,4BAA4B,EAAE,SAAS,CAAC,eAAe,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC;QAC7E,iCAAiC,EAAE,MAAM,CAAC,4BAA4B,CAAC,GAAG,CAAC,KAAK,CAAC;QACjF,uBAAuB,EAAE,QAAQ,CAAC,8BAA8B,CAAC,GAAG,CAAC,KAAK,CAAC;QAC3E,8BAA8B,EAAE,QAAQ,CAAC,yBAAyB,CAAC,GAAG,CAAC,KAAK,CAAC;QAC7E,eAAe,EAAE,QAAQ,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC;QACtD,6BAA6B,EAAE,MAAM,CAAC,uBAAuB,CAAC,GAAG,CAAC,KAAK,CAAC;QACxE,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC;QAC/D,qBAAqB,EAAE,MAAM,CAAC,iBAAiB,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC;QACnE,gBAAgB,EAAE,SAAS,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC;QAC3D,qBAAqB,EAAE,QAAQ,CAAC,eAAe,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC;QAC3E,iBAAiB,EAAE,QAAQ,CAAC,eAAe,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC;QACnE,iBAAiB,EAAE,QAAQ,CAAC,eAAe,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC;QACnE,0BAA0B,EAAE,QAAQ,CAAC,eAAe,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC;QACnF,0BAA0B,EAAE,SAAS,CAAC,yBAAyB,CAAC,GAAG,CAAC,KAAK,CAAC;QAC1E,uBAAuB,EAAE,QAAQ,CAAC,2BAA2B,CAAC,GAAG,CAAC,KAAK,CAAC;QACxE,qBAAqB,EAAE,MAAM,CAAC,iBAAiB,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC;QACnE,4BAA4B,EAAE,QAAQ,CAAC,8BAA8B,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;QAC3F,sBAAsB,EAAE,QAAQ,CAAC,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC;QACvE,gBAAgB,EAAE,QAAQ,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI;QAC/D,GAAG,YAAY,CAAC,QAAQ,CAAC;QACzB,KAAK;QACL,OAAO,EAAE,QAAQ,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI;QACnD,KAAK;KACN,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAqB,EAAE,MAA2B;IAC5E,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACtD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO;YACL,MAAM,EAAE,cAAc;YACtB,gBAAgB,EAAE,2BAA2B;YAC7C,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,EAAE;SACZ,CAAC;IACJ,CAAC;IACD,OAAO,aAAa,CAAC;QACnB,GAAG,yBAAyB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC;QAClD,kBAAkB,EAAE,KAAK;QACzB,4BAA4B,EAAE,KAAK;KACpC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,YAAY,CACnB,QAAwB;IAUxB,OAAO;QACL,QAAQ,EAAE,QAAQ,CAAC,OAAO;QAC1B,eAAe,EAAE,QAAQ,CAAC,eAAe;QACzC,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,qBAAqB,EAAE,QAAQ,CAAC,qBAAqB;QACrD,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;QAC3C,UAAU,EAAE,QAAQ,CAAC,UAAU;KAChC,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAiB,EACjB,QAAwB;IAExB,OAAO;QACL,aAAa,EAAE,QAAQ,CAAC,gBAAgB;QACxC,uBAAuB,EAAE,KAAK,CAAC,YAAY,GAAG,CAAC,IAAI,KAAK,CAAC,WAAW,KAAK,CAAC;KAC3E,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAqB,EACrB,MAAiC,EACjC,MAAqB;IAErB,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,GAAG,MAAM,CAAC;IACpD,OAAO,CACL,0BAA0B,CAAC,KAAK,EAAE,QAAQ,CAAC,oBAAoB,CAAC;QAChE,0BAA0B,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,KAAK,CAAC;QACjE,8BAA8B,CAC5B,KAAK,EACL,QAAQ,CAAC,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAC3C,QAAQ,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,CACtC;QACD,0BAA0B,CAAC,KAAK,EAAE,YAAY,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACxE,YAAY,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC;QAC1C,aAAa,CAAC,MAAM,CAAC,CACtB,CAAC;AACJ,CAAC;AAOD,SAAS,mBAAmB,CAC1B,KAAqB,EACrB,KAAiB,EACjB,MAAqB;IAErB,MAAM,MAAM,GAAG,yBAAyB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC/D,MAAM,QAAQ,GAAG,0BAA0B,CACzC,uBAAuB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,EAC9C,MAAM,EACN,MAAM,CACP,CAAC;IACF,MAAM,uBAAuB,GAC3B,sBAAsB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC;QACrD,QAAQ,CAAC,cAAc,CAAC,MAAM,KAAK,cAAc;QACjD,QAAQ,CAAC,cAAc,CAAC,MAAM,KAAK,YAAY,CAAC;IAClD,OAAO;QACL,GAAG,QAAQ;QACX,cAAc,EAAE,uBAAuB;YACrC,CAAC,CAAC,kCAAkC,CAAC,KAAK,CAAC;YAC3C,CAAC,CAAC,QAAQ,CAAC,cAAc;QAC3B,uBAAuB;KACxB,CAAC;AACJ,CAAC;AAQD,SAAS,WAAW,CAAC,OAAoB,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAmB;IACtF,IAAI,QAAQ,CAAC,uBAAuB,EAAE,CAAC;QACrC,OAAO;IACT,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QACnB,OAAO,CAAC,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC;QAC/B,OAAO;IACT,CAAC;IACD,kBAAkB,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,eAAe,CAAC,KAAqB,EAAE,MAAqB;IACnE,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC;IAC5B,MAAM,KAAK,GAAG,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC3D,MAAM,OAAO,GAAG,~~mBAAmB,CACjC,~~UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,cAAc,EAAE;~~QAC9C~~,QAAQ,EAAE,CAAC,GAAG,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,GAAG,QAAQ,CAAC,QAAQ,CAAC;QACrF,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,KAAK,CAAC,SAAS;QACrB,UAAU,EAAE,QAAQ,CAAC,UAAU;KAChC,CAAC,~~EACF,KAAK,EACL,QAAQ,~~CAAC~~,WAAW,CACrB,CAAC~~;~~IACF~~,cAAc,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IACvD,WAAW,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IACnF,OAAO,OAAO,CAAC;AACjB,CAAC;AAQD,qGAAqG;AACrG,SAAS,cAAc,CACrB,OAAoB,EACpB,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAwB;IAEnD,MAAM,EAAE,UAAU,EAAE,uBAAuB,EAAE,GAAG,QAAQ,CAAC;IACzD,IAAI,CAAC,UAAU,IAAI,uBAAuB,EAAE,CAAC;QAC3C,OAAO;IACT,CAAC;IACD,OAAO,CAAC,UAAU,GAAG,UAAU,CAAC;IAChC,IAAI,UAAU,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QACtC,OAAO,CAAC,YAAY,GAAG,eAAe,CACpC,UAAU,EACV,KAAK,KAAK,CAAC,SAAS,kBAAkB,EACtC,QAAQ,CAAC,QAAQ,CAClB,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAuB,EAAE,QAAwB;IAC9E,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;IACxD,OAAO,UAAU,CACf,IAAI,EACJ;QACE,MAAM,EAAE,cAAc;QACtB,gBAAgB,EAAE,2BAA2B;QAC7C,UAAU,EAAE,UAAU;QACtB,OAAO,EAAE,kBAAkB;YACzB,CAAC,CAAC,sCAAsC,kBAAkB,uMAAuM;YACjQ,CAAC,CAAC,uFAAuF;KAC5F,EACD,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,CAC/F,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,KAAqB,EACrB,oBAA6B;IAE7B,IAAI,CAAC,oBAAoB,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,MAAM,EAAE,YAAY;QACpB,UAAU,EAAE,SAAS;QACrB,OAAO,EAAE,UAAU,KAAK,CAAC,SAAS,mGAAmG;KACtI,CAAC;AACJ,CAAC;AAED,SAAS,8BAA8B,CACrC,KAAqB,EACrB,yBAAkC,EAClC,UAAwC;IAExC,IAAI,CAAC,yBAAyB,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,YAAY,GAAG,UAAU;QAC7B,CAAC,CAAC,sEAAsE,UAAU,CAAC,aAAa,qBAAqB,UAAU,CAAC,YAAY,qEAAqE;QACjN,CAAC,CAAC,wHAAwH,CAAC;IAC7H,MAAM,QAAQ,GAAG,uBAAuB,CAAC,KAAK,CAAC;QAC7C,CAAC,CAAC,gHAAgH;QAClH,CAAC,CAAC,EAAE,CAAC;IACP,OAAO;QACL,MAAM,EAAE,gBAAgB;QACxB,UAAU,EAAE,UAAU;QACtB,OAAO,EAAE,6CAA6C,KAAK,CAAC,SAAS,8GAA8G,YAAY,GAAG,QAAQ,EAAE;KAC7M,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,KAAqB,EACrB,SAAkB;IAElB,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,MAAM,EAAE,sBAAsB;QAC9B,UAAU,EAAE,SAAS;QACrB,OAAO,EAAE,wBAAwB,KAAK,CAAC,SAAS,mFAAmF;KACpI,CAAC;AACJ,CAAC"}
1	+ {"version":3,"file":"findings.js","sourceRoot":"","sources":["../../../src/analysis/findings.ts"],"names":[],"mappings":"AAQA,OAAO,EACL,kBAAkB,EAClB,0BAA0B,EAC1B,aAAa,EACb,eAAe,GAChB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,kCAAkC,EAClC,sBAAsB,GACvB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAChE,OAAO,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAKzD,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,0BAA0B,EAAE,MAAM,qCAAqC,CAAC;AAEjF,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAEhE,MAAM,UAAU,aAAa,CAAC,MAA2B;IACvD,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC;IAC5B,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IAClF,MAAM,aAAa,GAAG,IAAI,GAAG,EAA+B,CAAC;IAC7D,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC9C,IAAI,OAAO,EAAE,CAAC;YACZ,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG;QACf,GAAG,aAAa,CAAC,MAAM,EAAE;QACzB,GAAG,QAAQ,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,qBAAqB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACpF,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,aAAa,CAAC,IAAI,EAAE,CAAC;KAC/F,CAAC;IACF,OAAO,QAAQ,CAAC,QAAQ,CACtB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,IAAI,CAAC,QAAQ,CAAC,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI;QACxC,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM;QAC5C,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CACtC,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAChC,KAAqB,EACrB,KAAiB,EACjB,MAA2B;IAE3B,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,CAAC;IAC9E,OAAO;QACL,4BAA4B,EAAE,SAAS,CAAC,yBAAyB,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC;QAClF,iBAAiB,EAAE,MAAM,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI;QAC/D,cAAc,EAAE,QAAQ,CAAC,cAAc;QACvC,qBAAqB,EAAE,QAAQ,CAAC,qBAAqB;QACrD,gBAAgB,EAAE,SAAS,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI;QAChE,wBAAwB,EACtB,SAAS,CAAC,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,uBAAuB;QAC7E,iCAAiC,EAAE,MAAM,CAAC,2BAA2B,CAAC,GAAG,CAAC,KAAK,CAAC;QAChF,gCAAgC,EAAE,MAAM,CAAC,0BAA0B,CAAC,GAAG,CAAC,KAAK,CAAC;QAC9E,GAAG,iBAAiB,CAAC,KAAK,EAAE,QAAQ,CAAC;QACrC,kBAAkB,EAAE,SAAS,CAAC,yBAAyB,CAAC,GAAG,CAAC,KAAK,CAAC;QAClE,8BAA8B,EAAE,MAAM,CAAC,sBAAsB,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC;QAC1F,uCAAuC,EACrC,MAAM,CAAC,sBAAsB,CAAC,0BAA0B,CAAC,GAAG,CAAC,KAAK,CAAC;QACrE,wBAAwB,EAAE,QAAQ,CAAC,2BAA2B,CAAC,GAAG,CAAC,KAAK,CAAC;QACzE,+BAA+B,EAAE,MAAM,CAAC,yBAAyB,CAAC,GAAG,CAAC,KAAK,CAAC;QAC5E,4BAA4B,EAAE,SAAS,CAAC,eAAe,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC;QAC7E,iCAAiC,EAAE,MAAM,CAAC,4BAA4B,CAAC,GAAG,CAAC,KAAK,CAAC;QACjF,uBAAuB,EAAE,QAAQ,CAAC,8BAA8B,CAAC,GAAG,CAAC,KAAK,CAAC;QAC3E,8BAA8B,EAAE,QAAQ,CAAC,yBAAyB,CAAC,GAAG,CAAC,KAAK,CAAC;QAC7E,eAAe,EAAE,QAAQ,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC;QACtD,6BAA6B,EAAE,MAAM,CAAC,uBAAuB,CAAC,GAAG,CAAC,KAAK,CAAC;QACxE,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC;QAC/D,qBAAqB,EAAE,MAAM,CAAC,iBAAiB,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC;QACnE,gBAAgB,EAAE,SAAS,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC;QAC3D,qBAAqB,EAAE,QAAQ,CAAC,eAAe,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC;QAC3E,iBAAiB,EAAE,QAAQ,CAAC,eAAe,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC;QACnE,iBAAiB,EAAE,QAAQ,CAAC,eAAe,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC;QACnE,0BAA0B,EAAE,QAAQ,CAAC,eAAe,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC;QACnF,0BAA0B,EAAE,SAAS,CAAC,yBAAyB,CAAC,GAAG,CAAC,KAAK,CAAC;QAC1E,uBAAuB,EAAE,QAAQ,CAAC,2BAA2B,CAAC,GAAG,CAAC,KAAK,CAAC;QACxE,qBAAqB,EAAE,MAAM,CAAC,iBAAiB,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC;QACnE,4BAA4B,EAAE,QAAQ,CAAC,8BAA8B,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;QAC3F,sBAAsB,EAAE,QAAQ,CAAC,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC;QACvE,gBAAgB,EAAE,QAAQ,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI;QAC/D,GAAG,YAAY,CAAC,QAAQ,CAAC;QACzB,KAAK;QACL,OAAO,EAAE,QAAQ,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI;QACnD,KAAK;KACN,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAqB,EAAE,MAA2B;IAC5E,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACtD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO;YACL,MAAM,EAAE,cAAc;YACtB,gBAAgB,EAAE,2BAA2B;YAC7C,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,EAAE;SACZ,CAAC;IACJ,CAAC;IACD,OAAO,aAAa,CAAC;QACnB,GAAG,yBAAyB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC;QAClD,kBAAkB,EAAE,KAAK;QACzB,4BAA4B,EAAE,KAAK;KACpC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,YAAY,CACnB,QAAwB;IAUxB,OAAO;QACL,QAAQ,EAAE,QAAQ,CAAC,OAAO;QAC1B,eAAe,EAAE,QAAQ,CAAC,eAAe;QACzC,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,qBAAqB,EAAE,QAAQ,CAAC,qBAAqB;QACrD,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;QAC3C,UAAU,EAAE,QAAQ,CAAC,UAAU;KAChC,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAiB,EACjB,QAAwB;IAExB,OAAO;QACL,aAAa,EAAE,QAAQ,CAAC,gBAAgB;QACxC,uBAAuB,EAAE,KAAK,CAAC,YAAY,GAAG,CAAC,IAAI,KAAK,CAAC,WAAW,KAAK,CAAC;KAC3E,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAqB,EACrB,MAAiC,EACjC,MAAqB;IAErB,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,GAAG,MAAM,CAAC;IACpD,OAAO,CACL,0BAA0B,CAAC,KAAK,EAAE,QAAQ,CAAC,oBAAoB,CAAC;QAChE,0BAA0B,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,KAAK,CAAC;QACjE,8BAA8B,CAC5B,KAAK,EACL,QAAQ,CAAC,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAC3C,QAAQ,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,CACtC;QACD,0BAA0B,CAAC,KAAK,EAAE,YAAY,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACxE,YAAY,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC;QAC1C,aAAa,CAAC,MAAM,CAAC,CACtB,CAAC;AACJ,CAAC;AAOD,SAAS,mBAAmB,CAC1B,KAAqB,EACrB,KAAiB,EACjB,MAAqB;IAErB,MAAM,MAAM,GAAG,yBAAyB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC/D,MAAM,QAAQ,GAAG,0BAA0B,CACzC,uBAAuB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,EAC9C,MAAM,EACN,MAAM,CACP,CAAC;IACF,MAAM,uBAAuB,GAC3B,sBAAsB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC;QACrD,QAAQ,CAAC,cAAc,CAAC,MAAM,KAAK,cAAc;QACjD,QAAQ,CAAC,cAAc,CAAC,MAAM,KAAK,YAAY,CAAC;IAClD,OAAO;QACL,GAAG,QAAQ;QACX,cAAc,EAAE,uBAAuB;YACrC,CAAC,CAAC,kCAAkC,CAAC,KAAK,CAAC;YAC3C,CAAC,CAAC,QAAQ,CAAC,cAAc;QAC3B,uBAAuB;KACxB,CAAC;AACJ,CAAC;AAQD,SAAS,WAAW,CAAC,OAAoB,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAmB;IACtF,IAAI,QAAQ,CAAC,uBAAuB,EAAE,CAAC;QACrC,OAAO;IACT,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QACnB,OAAO,CAAC,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC;QAC/B,OAAO;IACT,CAAC;IACD,kBAAkB,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,eAAe,CAAC,KAAqB,EAAE,MAAqB;IACnE,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC;IAC5B,MAAM,KAAK,GAAG,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC3D,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,cAAc,EAAE;QAC9D,QAAQ,EAAE,CAAC,GAAG,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,GAAG,QAAQ,CAAC,QAAQ,CAAC;QACrF,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,KAAK,CAAC,SAAS;QACrB,UAAU,EAAE,QAAQ,CAAC,UAAU;KAChC,CAAC,CAAC;IACH,cAAc,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IACvD,WAAW,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IACnF,OAAO,OAAO,CAAC;AACjB,CAAC;AAQD,qGAAqG;AACrG,SAAS,cAAc,CACrB,OAAoB,EACpB,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAwB;IAEnD,MAAM,EAAE,UAAU,EAAE,uBAAuB,EAAE,GAAG,QAAQ,CAAC;IACzD,IAAI,CAAC,UAAU,IAAI,uBAAuB,EAAE,CAAC;QAC3C,OAAO;IACT,CAAC;IACD,OAAO,CAAC,UAAU,GAAG,UAAU,CAAC;IAChC,IAAI,UAAU,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QACtC,OAAO,CAAC,YAAY,GAAG,eAAe,CACpC,UAAU,EACV,KAAK,KAAK,CAAC,SAAS,kBAAkB,EACtC,QAAQ,CAAC,QAAQ,CAClB,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAuB,EAAE,QAAwB;IAC9E,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;IACxD,OAAO,UAAU,CACf,IAAI,EACJ;QACE,MAAM,EAAE,cAAc;QACtB,gBAAgB,EAAE,2BAA2B;QAC7C,UAAU,EAAE,UAAU;QACtB,OAAO,EAAE,kBAAkB;YACzB,CAAC,CAAC,sCAAsC,kBAAkB,uMAAuM;YACjQ,CAAC,CAAC,uFAAuF;KAC5F,EACD,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,CAC/F,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,KAAqB,EACrB,oBAA6B;IAE7B,IAAI,CAAC,oBAAoB,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,MAAM,EAAE,YAAY;QACpB,UAAU,EAAE,SAAS;QACrB,OAAO,EAAE,UAAU,KAAK,CAAC,SAAS,mGAAmG;KACtI,CAAC;AACJ,CAAC;AAED,SAAS,8BAA8B,CACrC,KAAqB,EACrB,yBAAkC,EAClC,UAAwC;IAExC,IAAI,CAAC,yBAAyB,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,YAAY,GAAG,UAAU;QAC7B,CAAC,CAAC,sEAAsE,UAAU,CAAC,aAAa,qBAAqB,UAAU,CAAC,YAAY,qEAAqE;QACjN,CAAC,CAAC,wHAAwH,CAAC;IAC7H,MAAM,QAAQ,GAAG,uBAAuB,CAAC,KAAK,CAAC;QAC7C,CAAC,CAAC,gHAAgH;QAClH,CAAC,CAAC,EAAE,CAAC;IACP,OAAO;QACL,MAAM,EAAE,gBAAgB;QACxB,UAAU,EAAE,UAAU;QACtB,OAAO,EAAE,6CAA6C,KAAK,CAAC,SAAS,8GAA8G,YAAY,GAAG,QAAQ,EAAE;KAC7M,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,KAAqB,EACrB,SAAkB;IAElB,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,MAAM,EAAE,sBAAsB;QAC9B,UAAU,EAAE,SAAS;QACrB,OAAO,EAAE,wBAAwB,KAAK,CAAC,SAAS,mFAAmF;KACpI,CAAC;AACJ,CAAC"}

package/dist/src/analysis/verdicts/classify-state.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"classify-state.d.ts","sourceRoot":"","sources":["../../../../src/analysis/verdicts/classify-state.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,yBAAyB,EAE1B,MAAM,6BAA6B,CAAC;AAkDrC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;~~AA0CnD~~,wBAAgB,aAAa,CAAC,MAAM,EAAE,yBAAyB,GAAG,eAAe,~~CAahF~~"}
1	+ {"version":3,"file":"classify-state.d.ts","sourceRoot":"","sources":["../../../../src/analysis/verdicts/classify-state.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,yBAAyB,EAE1B,MAAM,6BAA6B,CAAC;AAkDrC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AA2CnD,wBAAgB,aAAa,CAAC,MAAM,EAAE,yBAAyB,GAAG,eAAe,CAwBhF"}

package/dist/src/analysis/verdicts/classify-state.js CHANGED Viewed

@@ -5,6 +5,7 @@ import { cohesiveControlledLeafVerdict, controlledCallSiteProjectionVerdict, con
 import { compactTransportCutVerdict, descendantControlledCutVerdict, visibilityTransportVerdict, } from "./transport-verdicts.js";
 import { hookConsumerLeafVerdict, hookPresentationConsumerVerdict, smallOwnerEffectWrittenVerdict, } from "./small-owner-verdicts.js";
 import { stateCommandSnapshotEvidence, stateRenderCutEvidence } from "./classification-context.js";
+import { ownerHasMutableRenderRead } from "../../rules/state-proofs/render-purpose.js";
 import { siteSubscriptionVerdict } from "./site-subscription-verdict.js";
 const STATE_VERDICTS = [
     intrinsicStateVerdict,
@@ -53,6 +54,15 @@ export function classifyState(inputs) {
     for (const verdict of STATE_VERDICTS) {
         const classified = verdict(context);
         if (classified) {
+            if ((classified.action === "use-ref" || classified.action === "delete-unused-state") &&
+                ownerHasMutableRenderRead(inputs.state.owner)) {
+                return {
+                    action: "review-state",
+                    abstentionReason: "render-cut-unproven",
+                    confidence: "probable",
+                    message: `Review \`${inputs.state.valueName}\`; its render may refresh mutable refs or imperative reads even though the state value does not render. Preserve the update until every refreshed value has an independent subscription.`,
+                };
+            }
             return withDetachedEffectNote(classified, context);
         }
     }

package/dist/src/analysis/verdicts/classify-state.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"classify-state.js","sourceRoot":"","sources":["../../../../src/analysis/verdicts/classify-state.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,uBAAuB,EACvB,oBAAoB,EACpB,qBAAqB,EACrB,kBAAkB,EAClB,qBAAqB,EACrB,uBAAuB,EACvB,wBAAwB,EACxB,kBAAkB,GACnB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,sBAAsB,EACtB,sBAAsB,EACtB,8BAA8B,EAC9B,uBAAuB,EACvB,yBAAyB,EACzB,mBAAmB,EACnB,mBAAmB,EACnB,yBAAyB,EACzB,4BAA4B,EAC5B,sBAAsB,EACtB,yBAAyB,GAC1B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,iBAAiB,EACjB,oBAAoB,EACpB,4BAA4B,GAC7B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,6BAA6B,EAC7B,mCAAmC,EACnC,qBAAqB,EACrB,8BAA8B,GAC/B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,0BAA0B,EAC1B,8BAA8B,EAC9B,0BAA0B,GAC3B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,uBAAuB,EACvB,+BAA+B,EAC/B,8BAA8B,GAC/B,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,4BAA4B,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AAEnG,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAC;AAEzE,MAAM,cAAc,GAA4B;IAC9C,qBAAqB;IACrB,oBAAoB;IACpB,uBAAuB;IACvB,qBAAqB;IACrB,kBAAkB;IAClB,mBAAmB;IACnB,kBAAkB;IAClB,uBAAuB;IACvB,kBAAkB;IAClB,wBAAwB;IACxB,0BAA0B;IAC1B,8BAA8B;IAC9B,0BAA0B;IAC1B,qBAAqB;IACrB,6BAA6B;IAC7B,mCAAmC;IACnC,8BAA8B;IAC9B,yBAAyB;IACzB,yBAAyB;IACzB,8BAA8B;IAC9B,4BAA4B;IAC5B,uBAAuB;IACvB,sBAAsB;IACtB,8BAA8B;IAC9B,uBAAuB;IACvB,+BAA+B;IAC/B,sBAAsB;IACtB,sBAAsB;IACtB,mBAAmB;IACnB,mBAAmB;IACnB,yBAAyB;IACzB,uBAAuB;IACvB,qBAAqB;IACrB,iBAAiB;IACjB,4BAA4B;IAC5B,qBAAqB;CACtB,CAAC;AAEF,MAAM,UAAU,aAAa,CAAC,MAAiC;IAC7D,MAAM,OAAO,GAA+B;QAC1C,GAAG,MAAM;QACT,eAAe,EAAE,4BAA4B,CAAC,MAAM,CAAC;QACrD,SAAS,EAAE,sBAAsB,CAAC,MAAM,CAAC;KAC1C,CAAC;IACF,KAAK,MAAM,OAAO,IAAI,cAAc,EAAE,CAAC;QACrC,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;QACpC,IAAI,UAAU,EAAE,CAAC;YACf,OAAO,sBAAsB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IACD,OAAO,oBAAoB,CAAC,OAAO,CAAC,CAAC;AACvC,CAAC;AAED,MAAM,oBAAoB,GACxB,yMAAyM,CAAC;AAE5M;;;GAGG;AACH,SAAS,sBAAsB,CAC7B,UAA2B,EAC3B,EAAE,uBAAuB,EAA8B;IAEvD,IAAI,CAAC,uBAAuB,IAAI,UAAU,CAAC,MAAM,KAAK,gBAAgB,EAAE,CAAC;QACvE,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,OAAO,EAAE,GAAG,UAAU,EAAE,OAAO,EAAE,GAAG,UAAU,CAAC,OAAO,GAAG,oBAAoB,EAAE,EAAE,CAAC;AACpF,CAAC"}
1	+ {"version":3,"file":"classify-state.js","sourceRoot":"","sources":["../../../../src/analysis/verdicts/classify-state.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,uBAAuB,EACvB,oBAAoB,EACpB,qBAAqB,EACrB,kBAAkB,EAClB,qBAAqB,EACrB,uBAAuB,EACvB,wBAAwB,EACxB,kBAAkB,GACnB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,sBAAsB,EACtB,sBAAsB,EACtB,8BAA8B,EAC9B,uBAAuB,EACvB,yBAAyB,EACzB,mBAAmB,EACnB,mBAAmB,EACnB,yBAAyB,EACzB,4BAA4B,EAC5B,sBAAsB,EACtB,yBAAyB,GAC1B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,iBAAiB,EACjB,oBAAoB,EACpB,4BAA4B,GAC7B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,6BAA6B,EAC7B,mCAAmC,EACnC,qBAAqB,EACrB,8BAA8B,GAC/B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,0BAA0B,EAC1B,8BAA8B,EAC9B,0BAA0B,GAC3B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,uBAAuB,EACvB,+BAA+B,EAC/B,8BAA8B,GAC/B,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,4BAA4B,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AAEnG,OAAO,EAAE,yBAAyB,EAAE,MAAM,4CAA4C,CAAC;AACvF,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAC;AAEzE,MAAM,cAAc,GAA4B;IAC9C,qBAAqB;IACrB,oBAAoB;IACpB,uBAAuB;IACvB,qBAAqB;IACrB,kBAAkB;IAClB,mBAAmB;IACnB,kBAAkB;IAClB,uBAAuB;IACvB,kBAAkB;IAClB,wBAAwB;IACxB,0BAA0B;IAC1B,8BAA8B;IAC9B,0BAA0B;IAC1B,qBAAqB;IACrB,6BAA6B;IAC7B,mCAAmC;IACnC,8BAA8B;IAC9B,yBAAyB;IACzB,yBAAyB;IACzB,8BAA8B;IAC9B,4BAA4B;IAC5B,uBAAuB;IACvB,sBAAsB;IACtB,8BAA8B;IAC9B,uBAAuB;IACvB,+BAA+B;IAC/B,sBAAsB;IACtB,sBAAsB;IACtB,mBAAmB;IACnB,mBAAmB;IACnB,yBAAyB;IACzB,uBAAuB;IACvB,qBAAqB;IACrB,iBAAiB;IACjB,4BAA4B;IAC5B,qBAAqB;CACtB,CAAC;AAEF,MAAM,UAAU,aAAa,CAAC,MAAiC;IAC7D,MAAM,OAAO,GAA+B;QAC1C,GAAG,MAAM;QACT,eAAe,EAAE,4BAA4B,CAAC,MAAM,CAAC;QACrD,SAAS,EAAE,sBAAsB,CAAC,MAAM,CAAC;KAC1C,CAAC;IACF,KAAK,MAAM,OAAO,IAAI,cAAc,EAAE,CAAC;QACrC,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;QACpC,IAAI,UAAU,EAAE,CAAC;YACf,IACE,CAAC,UAAU,CAAC,MAAM,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,KAAK,qBAAqB,CAAC;gBAChF,yBAAyB,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAC7C,CAAC;gBACD,OAAO;oBACL,MAAM,EAAE,cAAc;oBACtB,gBAAgB,EAAE,qBAAqB;oBACvC,UAAU,EAAE,UAAU;oBACtB,OAAO,EAAE,YAAY,MAAM,CAAC,KAAK,CAAC,SAAS,2LAA2L;iBACvO,CAAC;YACJ,CAAC;YACD,OAAO,sBAAsB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IACD,OAAO,oBAAoB,CAAC,OAAO,CAAC,CAAC;AACvC,CAAC;AAED,MAAM,oBAAoB,GACxB,yMAAyM,CAAC;AAE5M;;;GAGG;AACH,SAAS,sBAAsB,CAC7B,UAA2B,EAC3B,EAAE,uBAAuB,EAA8B;IAEvD,IAAI,CAAC,uBAAuB,IAAI,UAAU,CAAC,MAAM,KAAK,gBAAgB,EAAE,CAAC;QACvE,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,OAAO,EAAE,GAAG,UAAU,EAAE,OAAO,EAAE,GAAG,UAAU,CAAC,OAAO,GAAG,oBAAoB,EAAE,EAAE,CAAC;AACpF,CAAC"}

package/dist/src/cli/help.d.ts CHANGED Viewed

@@ -1,2 +1,2 @@
-export declare const HELP = "legend-doctor \u2014 read-only React hook and Legend State triage for coding agents\n\nUsage\n  legend-doctor [<target>] [flags]\n\nExamples\n  legend-doctor src --actionable\n      Scan before editing: one JSON entry per edit, keep findings hidden\n  legend-doctor src --disposition change\n      Proven edits only, ready to apply mechanically\n  legend-doctor src --disposition candidate\n      Opportunities that need the agent to read the named source first\n  legend-doctor src --fail-on change\n      CI gate: exit 3 when any shown finding still has a proven edit\n  legend-doctor src --coverage\n      Add parsed files, functions, diagnostics, and skipped stages\n  legend-doctor src --actionable --changed\n      Report only files with uncommitted work; proofs still see the whole root\n  legend-doctor src --since origin/main\n      Report only files touched on this branch, including uncommitted work\n\nTarget\n  <target>  File or directory to scan (default: current directory)\n            Scan the smallest complete root that contains the relevant\n            components, hooks, imports, re-exports, and observables; a\n            single-file scan can hide the proof a safe finding needs.\n            Files must be .ts, .tsx, .js, .jsx, .mts, .cts, .mjs, or .cjs.\n            Directories named .git, .next, .turbo, build, coverage, dist,\n            node_modules, and vendor are skipped. Stdin is not read.\n\nFlags\n  --actionable              Hide keep findings and secondary members of\n                            finding groups, leaving one entry per edit\n  --disposition <value>     Show only findings with this disposition\n                            (candidate | change | keep | style)\n  --fail-on <value,...>     Exit 3 when any shown finding or practice has one\n                            of these dispositions; applied after filters\n  --ignore-action <a,...>   Hide findings and practices with these action names\n                            (for example use-ref,toggle-observable); hidden\n                            counts include them; repeatable. Project defaults\n                            live in the nearest legend-doctor.config.json at or\n                            above the target: { \"ignoreActions\": [...],\n                            \"materiality\": \"broad\" | \"compact\" }; flags win\n  --materiality <tier>      broad (default) needs 12+ JSX elements for a cut\n                            proven by owner size; compact lowers that to 8 and\n                            tags those findings with materiality: compact. Cuts\n                            proven by a transported read or a hook owner ignore\n                            the tier\n  --changed                 Analyze only files with uncommitted changes (staged,\n                            unstaged, or untracked) relative to HEAD\n  --staged                  Analyze only files in the git index, at their\n                            working-tree content\n  --since <ref>             Analyze only files changed since the merge base\n                            with <ref>, plus uncommitted work\n                            Scope flags need a directory target inside a git\n                            work tree, and at most one may be set. Every file\n                            under the target still loads, so cross-file proofs\n                            for the selected files stay complete.\n  --answer <id>=<yes|no>    Record an answer to an open review question with\n                            its current fingerprint, then report the scan that\n                            honours it; repeatable\n  --note <text>             Justification stored with every --answer this run\n  --confirm <file>          Honour answered review questions from a JSON file;\n                            without it, <root>/.legend-doctor/confirmations.json\n                            is used when present\n  --coverage                Add coverage and diagnostics to the JSON report\n  -h, --help                Show this help\n  -v, --version             Print the version\n\nOutput\n  Stdout is one JSON document, on success and on failure alike, and nothing\n  is written to stderr.\n\nJSON contract (schemaVersion 3)\n  A completed scan is the report object with:\n    status          \"ok\"\n    root            directory every location.file is relative to\n    analyzer        { version, build }; build digests the compiled analyzer,\n                    so two reports compare only when it matches\n    files, hooks    scan size; under a scope flag, files counts the analyzed\n                    subset and scope { mode, ref?, contextFiles } names the\n                    flag and how many files loaded for cross-file proofs\n    capabilities    { legendState, reactCompiler, disabledRules }: the\n                    installed @legendapp/state (version, useValue export, and\n                    sync export) or null, whether the root enables the React\n                    Compiler, and the rules those facts switched off, each\n                    with a stable reason and the number of files that skipped\n                    it\n    findings        useState and useEffect findings; every review-state and\n                    review-effect finding carries one stable, kebab-case\n                    abstentionReason naming its primary blocker or constraint.\n                    A review-state finding whose blocker is one confirmable\n                    fact (or two, listed in facts) also carries assumption\n                    { id, facts, fingerprint, question, ifConfirmed, research,\n                    renderCost, updateSites, status }:\n                    read every research step (file, line, check), answer the\n                    yes/no question, and a confirmed id turns the finding into\n                    ifConfirmed\n                    A review-effect finding whose verdict waits on a state\n                    lists that state's question ids in waitsOn instead\n                    A finding a confirmation converted carries verification\n                    { harness, steps, expect }: the jsdom recipe that checks it\n    questions       open review questions ranked by expected render saving\n                    (renderCost \u00D7 update sites), each with id, file, line\n    confirmations   { applied, rejected, stale, unmatched, source } when\n                    answers were read\n    practices       Legend State practice findings\n    hidden          { findings, practices } removed by --actionable or\n                    --disposition, so an empty list is not a clean scan\n    gate            { failOn, matched } when --fail-on is set\n    coverage,       present only with --coverage\n    diagnostics\n  A failure is { status: \"error\", reason, message, next? } where reason is:\n    invalid_usage       bad flag or value; nothing was scanned      exit 2\n    unsupported_target  file target is not a scannable source file  exit 2\n    target_not_found    the target path does not exist              exit 1\n    scope_unavailable   a scope flag ran outside a git work tree,\n                        without git, or with an unknown --since ref  exit 1\n    scan_failed         analysis could not complete                 exit 1\n\nDispositions\n  change     Apply the instruction; structural proof is complete\n  candidate  Inspect the named source; resolve the missing timing,\n             ownership, or type fact before editing\n  keep       Preserve the current React or lifecycle boundary\n  style      Apply only when the installed Legend State API supports the form\n\nAgent loop\n  1. Scan before editing:  legend-doctor <root> --actionable\n  2. Apply one group of change findings; inspect candidates against source\n  3. Run the application's formatter, typecheck, and relevant tests\n  4. Scan the same root again and report the finding delta, including zero\n\nConfirmations\n  Write answers as { \"confirmations\": [{ \"id\", \"answer\": \"yes\" | \"no\",\n  \"fingerprint\", \"note\"? }] } to <root>/.legend-doctor/confirmations.json, or\n  pass any file with --confirm. Ids are stable across line shifts (file,\n  owner, state name, blocker). Copy the fingerprint from the question: when\n  the owner changes, the answer is reported stale and the question is asked\n  again instead of silently applied. \"yes\" converts the finding with the\n  assumption recorded in its evidence; \"no\" keeps it under review and stops\n  the question. Work through report.questions in rank order.\n\nSuppression\n  Precede a deliberate React effect with `// legend-doctor keep-react-effect`\n  to suppress its review-effect finding.\n\nExit codes\n  0  scan completed; the report may contain zero or more findings\n  1  the scan failed (missing target, analysis error)\n  2  invalid usage; nothing was scanned\n  3  scan completed and a shown finding matched --fail-on\n";
+export declare const HELP = "legend-doctor \u2014 read-only React hook and Legend State triage for coding agents\n\nUsage\n  legend-doctor [<target>] [flags]\n\nExamples\n  legend-doctor src --actionable\n      Scan before editing: one JSON entry per edit, keep findings hidden\n  legend-doctor src --disposition change\n      Proven edits only, ready to apply mechanically\n  legend-doctor src --disposition candidate\n      Opportunities that need the agent to read the named source first\n  legend-doctor src --fail-on change\n      CI gate: exit 3 when any shown finding still has a proven edit\n  legend-doctor src --coverage\n      Add parsed files, functions, diagnostics, and skipped stages\n  legend-doctor src --actionable --changed\n      Report only files with uncommitted work; proofs still see the whole root\n  legend-doctor src --since origin/main\n      Report only files touched on this branch, including uncommitted work\n\nTarget\n  <target>  File or directory to scan (default: current directory)\n            Scan the smallest complete root that contains the relevant\n            components, hooks, imports, re-exports, and observables; a\n            single-file scan can hide the proof a safe finding needs.\n            Files must be .ts, .tsx, .js, .jsx, .mts, .cts, .mjs, or .cjs.\n            Directories named .git, .next, .turbo, build, coverage, dist,\n            node_modules, and vendor are skipped. Stdin is not read.\n\nFlags\n  --actionable              Hide keep findings and secondary members of\n                            finding groups, leaving one entry per edit\n  --disposition <value>     Show only findings with this disposition\n                            (candidate | change | keep | style)\n  --fail-on <value,...>     Exit 3 when any shown finding or practice has one\n                            of these dispositions; applied after filters\n  --ignore-action <a,...>   Hide findings and practices with these action names\n                            (for example use-ref,toggle-observable); hidden\n                            counts include them; repeatable. Project defaults\n                            live in the nearest legend-doctor.config.json at or\n                            above the target: { \"ignoreActions\": [...],\n                            \"materiality\": \"broad\" | \"compact\" }; flags win\n  --materiality <tier>      broad (default) needs 12+ JSX elements for a cut\n                            proven by owner size; compact lowers that to 8 and\n                            tags those findings with materiality: compact. Cuts\n                            proven by a transported read or a hook owner ignore\n                            the tier\n  --changed                 Analyze only files with uncommitted changes (staged,\n                            unstaged, or untracked) relative to HEAD\n  --staged                  Analyze only files in the git index, at their\n                            working-tree content\n  --since <ref>             Analyze only files changed since the merge base\n                            with <ref>, plus uncommitted work\n                            Scope flags need a directory target inside a git\n                            work tree, and at most one may be set. Every file\n                            under the target still loads, so cross-file proofs\n                            for the selected files stay complete.\n  --answer <id>=<yes|no>    Record an answer to an open review question with\n                            its current fingerprint, then report the scan that\n                            honours it; repeatable\n  --note <text>             Justification stored with every --answer this run\n  --confirm <file>          Honour answered review questions from a JSON file;\n                            without it, <root>/.legend-doctor/confirmations.json\n                            is used when present\n  --coverage                Add coverage and diagnostics to the JSON report\n  -h, --help                Show this help\n  -v, --version             Print the version\n\nOutput\n  Stdout is one JSON document, on success and on failure alike, and nothing\n  is written to stderr.\n\nJSON contract (schemaVersion 4)\n  A completed scan is the report object with:\n    status          \"ok\"\n    root            directory every location.file is relative to\n    analyzer        { version, build }; build digests the compiled analyzer,\n                    so two reports compare only when it matches\n    files, hooks    scan size; under a scope flag, files counts the analyzed\n                    subset and scope { mode, ref?, contextFiles } names the\n                    flag and how many files loaded for cross-file proofs\n    capabilities    { legendState, reactCompiler, disabledRules }: the\n                    installed @legendapp/state (version, useValue export, and\n                    sync export) or null, whether the root enables the React\n                    Compiler, and the rules those facts switched off, each\n                    with a stable reason and the number of files that skipped\n                    it\n    findings        useState and useEffect findings; every review-state and\n                    review-effect finding carries one stable, kebab-case\n                    abstentionReason naming its primary blocker or constraint.\n                    A review-state finding whose blocker is one confirmable\n                    fact (or two, listed in facts) also carries assumption\n                    { id, facts, fingerprint, question, ifConfirmed, research,\n                    renderCost, updateSites, status }:\n                    read every research step (file, line, optional lines and\n                    total, check), then answer the yes/no question. A group\n                    reports convertingCount in questions and each member's\n                    outcome in assumption.members; blocked members stay under\n                    review after confirmation\n                    A review-effect finding whose verdict waits on a state\n                    lists that state's question ids in waitsOn instead\n                    A finding a confirmation converted carries verification\n                    { harness, steps, expect }: the jsdom recipe that checks it\n    questions       open review questions ranked by expected render saving\n                    (renderCost \u00D7 update sites), each with id, file, line\n    confirmations   { applied, rejected, stale, unmatched, source } when\n                    answers were read\n    practices       Legend State practice findings\n    hidden          { findings, practices } removed by --actionable or\n                    --disposition, so an empty list is not a clean scan\n    gate            { failOn, matched } when --fail-on is set\n    coverage,       present only with --coverage\n    diagnostics\n  A failure is { status: \"error\", reason, message, next? } where reason is:\n    invalid_usage       bad flag or value; nothing was scanned      exit 2\n    unsupported_target  file target is not a scannable source file  exit 2\n    target_not_found    the target path does not exist              exit 1\n    scope_unavailable   a scope flag ran outside a git work tree,\n                        without git, or with an unknown --since ref  exit 1\n    scan_failed         analysis could not complete                 exit 1\n\nDispositions\n  change     Apply the instruction; structural proof is complete\n  candidate  Inspect the named source; resolve the missing timing,\n             ownership, or type fact before editing\n  keep       Preserve the current React or lifecycle boundary\n  style      Apply only when the installed Legend State API supports the form\n\nAgent loop\n  1. Scan before editing:  legend-doctor <root> --actionable\n  2. Apply one group of change findings; inspect candidates against source\n  3. Run the application's formatter, typecheck, and relevant tests\n  4. Scan the same root again and report the finding delta, including zero\n\nConfirmations\n  Write answers as { \"confirmations\": [{ \"id\", \"answer\": \"yes\" | \"no\",\n  \"fingerprint\", \"note\"? }] } to <root>/.legend-doctor/confirmations.json, or\n  pass any file with --confirm. Ids are stable across line shifts (file,\n  owner, state name, blocker). Copy the fingerprint from the question: when\n  the owner changes, the answer is reported stale and the question is asked\n  again instead of silently applied. \"yes\" converts the finding with the\n  assumption recorded in its evidence; \"no\" keeps it under review and stops\n  the question. Work through report.questions in rank order.\n\nSuppression\n  Precede a deliberate React effect with `// legend-doctor keep-react-effect`\n  to suppress its review-effect finding.\n\nExit codes\n  0  scan completed; the report may contain zero or more findings\n  1  the scan failed (missing target, analysis error)\n  2  invalid usage; nothing was scanned\n  3  scan completed and a shown finding matched --fail-on\n";
 //# sourceMappingURL=help.d.ts.map