npm - perttool - Versions diffs - 0.9.3 → 0.10.0 - Mend

perttool 0.9.3 → 0.10.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 (233) hide show

package/dist/application/editor-milestone-acceptance.js CHANGED Viewed

@@ -1,7 +1,11 @@
 import { computeEffectiveReached } from "../analysis/graph.js";
+import { formatDocument as formatCoreDocument } from "../core/source.js";
 import { sha256DigestUtf8 } from "../model/sha256.js";
 import { MILESTONE_ACCEPTANCE_SOURCE_CAPABILITY, milestoneAcceptanceBaseText, parseMilestoneAcceptanceSource, } from "../milestone-acceptance/source.js";
 import { checkDocument, } from "./contract8-milestone-acceptance.js";
+import { checkDocument as checkContract9Document } from "./contract9-temporal.js";
+import { planContract9Format } from "./contract9-format-migration.js";
+import { scanTemporalDeclarationBlocks, temporalScheduleBaseText } from "../temporal-schedule/source-lexical.js";
 export const EDITOR_MILESTONE_ACCEPTANCE_MODEL_VERSION = 1;
 function fieldValue(declaration, name) {
     return declaration.fields.find((field) => field.name === name)?.value;
@@ -48,9 +52,95 @@ export function prepareEditorMilestoneAcceptanceDocument(text, maxDiagnostics) {
     const checked = checkDocument(text, {
         ...(maxDiagnostics === undefined ? {} : { maxDiagnostics }),
     });
+    const source = parseMilestoneAcceptanceSource(text, MILESTONE_ACCEPTANCE_SOURCE_CAPABILITY);
+    const records = source.records.map((record) => {
+        if (record.kind === "milestone_criterion_set") {
+            return Object.freeze({
+                kind: record.kind,
+                id: record.id,
+                milestoneId: record.milestoneId,
+                revisionId: record.revisionId,
+                commitment: record.commitment,
+                criteria: Object.freeze(record.criteria.map((criterion) => Object.freeze({
+                    criterionId: criterion.criterionId,
+                    required: criterion.required,
+                    evidenceKind: criterion.evidenceKind,
+                    description: criterion.description,
+                    commitment: criterion.commitment,
+                }))),
+            });
+        }
+        if (record.kind === "milestone_acceptance_migration") {
+            return Object.freeze({
+                kind: record.kind,
+                id: record.id,
+                model: record.model,
+                repositoryId: record.repositoryId,
+                path: record.path,
+                objectFormat: record.objectFormat,
+                head: record.head,
+                blob: record.blob,
+                sourceDigest: record.sourceDigest,
+                candidateDigest: record.candidateDigest,
+                grandfatheredMilestoneIds: record.grandfatheredMilestoneIds,
+            });
+        }
+        return Object.freeze({
+            kind: record.kind,
+            id: record.id,
+            model: record.model,
+            setId: record.setId,
+            setCommitment: record.setCommitment,
+            criterionId: record.criterionId,
+            criterionCommitment: record.criterionCommitment,
+            action: record.action,
+            evidenceKind: record.evidenceKind,
+            evidenceReference: record.evidenceReference,
+            evidenceRevision: record.evidenceRevision,
+            verifier: record.verifier,
+            occurredAt: record.occurredAt,
+            reason: record.reason,
+            revokes: record.revokes,
+        });
+    });
     return Object.freeze({
         analysisText: milestoneAcceptanceBaseText(text),
         diagnostics: checked.diagnostics,
+        semanticFingerprintExtensions: Object.freeze([Object.freeze({
+                schemaVersion: "Perttool.MilestoneAcceptanceSemanticFingerprintInput.v1",
+                grammarVersion: source.grammarVersion,
+                records: Object.freeze(records),
+            })]),
+    });
+}
+/** Coordinate-preserving Grammar 8 preparation for the private editor adapters. */
+export function prepareEditorContract9Document(text, maxDiagnostics) {
+    if (!/^  version 8$/mu.test(text)) {
+        return prepareEditorMilestoneAcceptanceDocument(text, maxDiagnostics);
+    }
+    const checked = checkContract9Document(text, {
+        ...(maxDiagnostics === undefined ? {} : { maxDiagnostics }),
+    });
+    const temporalBase = temporalScheduleBaseText(text, scanTemporalDeclarationBlocks(text));
+    const acceptance = prepareEditorMilestoneAcceptanceDocument(temporalBase, maxDiagnostics);
+    return Object.freeze({
+        analysisText: acceptance.analysisText,
+        diagnostics: checked.diagnostics,
+        semanticFingerprintExtensions: acceptance.semanticFingerprintExtensions,
+    });
+}
+export function formatEditorContract9Document(text) {
+    if (!/^  version 8$/mu.test(text))
+        return formatCoreDocument(text);
+    const planned = planContract9Format(text);
+    return Object.freeze({
+        ok: planned.ok,
+        documentId: planned.documentId,
+        changed: planned.changed,
+        formattedText: planned.updatedText,
+        edits: planned.edits,
+        diagnostics: planned.diagnostics,
+        diagnosticsTruncated: planned.diagnosticsTruncated,
     });
 }
 export function inspectEditorMilestoneAcceptance(text, expectedDigest) {

package/dist/application/editor-milestone-acceptance.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"editor-milestone-acceptance.js","sourceRoot":"","sources":["../../src/application/editor-milestone-acceptance.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAE/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAEtD,OAAO,EACL,sCAAsC,EACtC,2BAA2B,EAC3B,8BAA8B,GAK/B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,aAAa,GACd,MAAM,qCAAqC,CAAC;AAE7C,MAAM,CAAC,MAAM,yCAAyC,GAAG,CAAU,CAAC;AA2FpE,SAAS,UAAU,CAAQ,WAA8B,EAAE,IAAY;IACrE,OAAO,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,KAA0B,CAAC;AAC7F,CAAC;AAED,SAAS,OAAO,CACd,SAAiB,EACjB,eAA4E,EAC5E,QAAgB,EAChB,gBAA+B,EAC/B,gBAA+B,EAC/B,IAAgB;IAEhB,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,SAAS;QACT,eAAe;QACf,QAAQ;QACR,gBAAgB;QAChB,gBAAgB;QAChB,IAAI;KACL,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CAAC,WAAmB;IAC7C,OAAO,aAAa,WAAW,EAAE,CAAC;AACpC,CAAC;AAED,SAAS,YAAY,CAAC,KAAa;IACjC,OAAO,2BAA2B,KAAK,EAAE,CAAC;AAC5C,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAa,EAAE,WAAmB;IAC5D,OAAO,aAAa,KAAK,IAAI,WAAW,EAAE,CAAC;AAC7C,CAAC;AAED,SAAS,gBAAgB,CAAC,SAAiB;IACzC,OAAO,gCAAgC,SAAS,EAAE,CAAC;AACrD,CAAC;AAED,SAAS,mBAAmB,CAC1B,SAA2D;IAE3D,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACzC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,WAAW,EAAE,SAAS,CAAC,EAAE;QACzB,YAAY,EAAE,SAAS,CAAC,YAAY;QACpC,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,YAAY,EAAE,SAAS,CAAC,YAAY;QACpC,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,YAAY,EAAE,SAAS,CAAC,YAAY;QACpC,eAAe,EAAE,SAAS,CAAC,eAAe;QAC1C,yBAAyB,EAAE,SAAS,CAAC,yBAAyB;QAC9D,eAAe,EAAE,kCAAkC,SAAS,CAAC,EAAE,EAAE;KAClE,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,wCAAwC,CACtD,IAAY,EACZ,cAAuB;IAEvB,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,EAAE;QAClC,GAAG,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC;KAC5D,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,YAAY,EAAE,2BAA2B,CAAC,IAAI,CAAC;QAC/C,WAAW,EAAE,OAAO,CAAC,WAAW;KACjC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,gCAAgC,CAC9C,IAAY,EACZ,cAAsB;IAEtB,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,cAAc,EAAE,CAAC;QAC9C,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,MAAM,EAAE,aAAa;YACrB,MAAM,EAAE,kFAAkF;YAC1F,UAAU,EAAE,IAAI;SACjB,CAAC,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,OAAO,CAAC,cAAc,KAAK,IAAI,EAAE,CAAC;QACnD,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,uCAAuC;YAC/C,UAAU,EAAE,IAAI;SACjB,CAAC,CAAC;IACL,CAAC;IACD,IAAI,OAAO,CAAC,UAAU,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;QAC1D,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,iDAAiD;YACzD,UAAU,EAAE,IAAI;SACjB,CAAC,CAAC;IACL,CAAC;IAED,MAAM,qBAAqB,GAAG,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM,CAChE,CAAC,WAAW,EAAoC,EAAE,CAAC,WAAW,CAAC,IAAI,KAAK,WAAW,CACpF,CAAC;IACF,MAAM,OAAO,GAAG,uBAAuB,CAAC,OAAO,CAAC,QAAiB,CAAC,CAAC;IACnE,MAAM,MAAM,GAAG,8BAA8B,CAC3C,IAAI,EACJ,sCAAsC,CACvC,CAAC;IACF,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAChC,CAAC,MAAM,EAA2C,EAAE,CAClD,MAAM,CAAC,IAAI,KAAK,yBAAyB,CAC5C,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CACpC,CAAC,MAAM,EAAgD,EAAE,CACvD,MAAM,CAAC,IAAI,KAAK,8BAA8B,CACjD,CAAC;IACF,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CACnC,CAAC,MAAM,EAAkD,EAAE,CACzD,MAAM,CAAC,IAAI,KAAK,gCAAgC,CACnD,CAAC;IACF,MAAM,cAAc,GAA+C,qBAAqB;SACrF,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,OAAO,CAC3B,kBAAkB,CAAC,WAAW,CAAC,EAAE,CAAC,EAClC,WAAW,EACX,WAAW,CAAC,EAAE,EACd,WAAW,CAAC,EAAE,EACd,IAAI,EACJ,WAAW,CAAC,IAAI,CACjB,CAAC,CAAC;IAEL,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,cAAc,CAAC,IAAI,CAAC,OAAO,CACzB,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,EACpB,yBAAyB,EACzB,GAAG,CAAC,EAAE,EACN,GAAG,CAAC,WAAW,EACf,IAAI,EACJ,GAAG,CAAC,IAAI,CACT,CAAC,CAAC;QACH,KAAK,MAAM,SAAS,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YACrC,cAAc,CAAC,IAAI,CAAC,OAAO,CACzB,kBAAkB,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,CAAC,WAAW,CAAC,EACjD,WAAW,EACX,SAAS,CAAC,WAAW,EACrB,GAAG,CAAC,WAAW,EACf,SAAS,CAAC,WAAW,EACrB,SAAS,CAAC,IAAI,CACf,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,OAAO,CAAC,KAAK,CAAC,CAAC;QACxD,cAAc,CAAC,IAAI,CAAC,OAAO,CACzB,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC,EAC5B,8BAA8B,EAC9B,OAAO,CAAC,EAAE,EACV,GAAG,EAAE,WAAW,IAAI,IAAI,EACxB,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,IAAI,CACb,CAAC,CAAC;IACL,CAAC;IACD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,cAAc,CAAC,IAAI,CAAC,OAAO,CACzB,kCAAkC,SAAS,CAAC,EAAE,EAAE,EAChD,gCAAgC,EAChC,SAAS,CAAC,EAAE,EACZ,IAAI,EACJ,IAAI,EACJ,SAAS,CAAC,IAAI,CACf,CAAC,CAAC;IACL,CAAC;IACD,IAAI,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM,EAAE,CAAC;QAC7F,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAC;IACvF,CAAC;IAED,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,OAAO,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,CAC7E,CAAC;IACF,MAAM,UAAU,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC,WAAW,EAAwC,EAAE;QACjG,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QACpD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,WAAW,EAAE,WAAW,CAAC,EAAE;gBAC3B,KAAK,EAAE,UAAU,CAAS,WAAW,EAAE,OAAO,CAAC,IAAI,WAAW,CAAC,EAAE;gBACjE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW;gBAC9D,UAAU,EAAE,gBAAgB;gBAC5B,aAAa,EAAE,KAAK;gBACpB,cAAc,EAAE,IAAI;gBACpB,mBAAmB,EAAE,IAAI;gBACzB,sBAAsB,EAAE,IAAI;gBAC5B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC3B,4BAA4B,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC/C,kBAAkB,EAAE,kBAAkB,CAAC,WAAW,CAAC,EAAE,CAAC;gBACtD,qBAAqB,EAAE,IAAI;aAC5B,CAAC,CAAC;QACL,CAAC;QACD,MAAM,GAAG,GAAG,SAAS,CAAC,cAAc,KAAK,IAAI;YAC3C,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,SAAS,CAAC,cAAc,CAAC,CAAC;QAC3D,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,EAAwC,EAAE;YAC1F,MAAM,eAAe,GAAG,GAAG,EAAE,QAAQ,CAAC,IAAI,CACxC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,SAAS,CAAC,WAAW,CACtD,CAAC;YACF,IAAI,GAAG,KAAK,SAAS,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;gBACvD,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;YACjF,CAAC;YACD,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,GAAG,SAAS;gBACZ,WAAW,EAAE,eAAe,CAAC,WAAW;gBACxC,kBAAkB,EAAE,kBAAkB,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,CAAC,WAAW,CAAC;gBACrE,yBAAyB,EAAE,SAAS,CAAC,kBAAkB,KAAK,IAAI;oBAC9D,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,gBAAgB,CAAC,SAAS,CAAC,kBAAkB,CAAC;gBAClD,wBAAwB,EAAE,MAAM,CAAC,MAAM,CACrC,SAAS,CAAC,iBAAiB,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAClD;aACF,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,GAAG,SAAS;YACZ,KAAK,EAAE,UAAU,CAAS,WAAW,EAAE,OAAO,CAAC,IAAI,WAAW,CAAC,EAAE;YACjE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;YACjC,kBAAkB,EAAE,kBAAkB,CAAC,WAAW,CAAC,EAAE,CAAC;YACtD,qBAAqB,EAAE,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;SACvE,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM,EAAE,SAAS;QACjB,MAAM,EAAE,IAAI;QACZ,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC;YACxB,YAAY,EAAE,yCAAyC;YACvD,cAAc,EAAE,OAAO,CAAC,cAAc;YACtC,YAAY,EAAE,OAAO,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,WAAW;YAC1E,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;YACrC,SAAS,EAAE,mBAAmB,CAAC,SAAS,CAAC;YACzC,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC;SAC9C,CAAC;KACH,CAAC,CAAC;AACL,CAAC"}
1	+ {"version":3,"file":"editor-milestone-acceptance.js","sourceRoot":"","sources":["../../src/application/editor-milestone-acceptance.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,EAAE,cAAc,IAAI,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAEzE,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAEtD,OAAO,EACL,sCAAsC,EACtC,2BAA2B,EAC3B,8BAA8B,GAK/B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,aAAa,GACd,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,aAAa,IAAI,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AAClF,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,EAAE,6BAA6B,EAAE,wBAAwB,EAAE,MAAM,wCAAwC,CAAC;AAEjH,MAAM,CAAC,MAAM,yCAAyC,GAAG,CAAU,CAAC;AA4FpE,SAAS,UAAU,CAAQ,WAA8B,EAAE,IAAY;IACrE,OAAO,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,KAA0B,CAAC;AAC7F,CAAC;AAED,SAAS,OAAO,CACd,SAAiB,EACjB,eAA4E,EAC5E,QAAgB,EAChB,gBAA+B,EAC/B,gBAA+B,EAC/B,IAAgB;IAEhB,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,SAAS;QACT,eAAe;QACf,QAAQ;QACR,gBAAgB;QAChB,gBAAgB;QAChB,IAAI;KACL,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CAAC,WAAmB;IAC7C,OAAO,aAAa,WAAW,EAAE,CAAC;AACpC,CAAC;AAED,SAAS,YAAY,CAAC,KAAa;IACjC,OAAO,2BAA2B,KAAK,EAAE,CAAC;AAC5C,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAa,EAAE,WAAmB;IAC5D,OAAO,aAAa,KAAK,IAAI,WAAW,EAAE,CAAC;AAC7C,CAAC;AAED,SAAS,gBAAgB,CAAC,SAAiB;IACzC,OAAO,gCAAgC,SAAS,EAAE,CAAC;AACrD,CAAC;AAED,SAAS,mBAAmB,CAC1B,SAA2D;IAE3D,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACzC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,WAAW,EAAE,SAAS,CAAC,EAAE;QACzB,YAAY,EAAE,SAAS,CAAC,YAAY;QACpC,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,YAAY,EAAE,SAAS,CAAC,YAAY;QACpC,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,YAAY,EAAE,SAAS,CAAC,YAAY;QACpC,eAAe,EAAE,SAAS,CAAC,eAAe;QAC1C,yBAAyB,EAAE,SAAS,CAAC,yBAAyB;QAC9D,eAAe,EAAE,kCAAkC,SAAS,CAAC,EAAE,EAAE;KAClE,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,wCAAwC,CACtD,IAAY,EACZ,cAAuB;IAEvB,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,EAAE;QAClC,GAAG,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC;KAC5D,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,8BAA8B,CAC3C,IAAI,EACJ,sCAAsC,CACvC,CAAC;IACF,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QAC5C,IAAI,MAAM,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;YAC9C,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,EAAE,EAAE,MAAM,CAAC,EAAE;gBACb,WAAW,EAAE,MAAM,CAAC,WAAW;gBAC/B,UAAU,EAAE,MAAM,CAAC,UAAU;gBAC7B,UAAU,EAAE,MAAM,CAAC,UAAU;gBAC7B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;oBACvE,WAAW,EAAE,SAAS,CAAC,WAAW;oBAClC,QAAQ,EAAE,SAAS,CAAC,QAAQ;oBAC5B,YAAY,EAAE,SAAS,CAAC,YAAY;oBACpC,WAAW,EAAE,SAAS,CAAC,WAAW;oBAClC,UAAU,EAAE,SAAS,CAAC,UAAU;iBACjC,CAAC,CAAC,CAAC;aACL,CAAC,CAAC;QACL,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,gCAAgC,EAAE,CAAC;YACrD,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,EAAE,EAAE,MAAM,CAAC,EAAE;gBACb,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,YAAY,EAAE,MAAM,CAAC,YAAY;gBACjC,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,YAAY,EAAE,MAAM,CAAC,YAAY;gBACjC,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,YAAY,EAAE,MAAM,CAAC,YAAY;gBACjC,eAAe,EAAE,MAAM,CAAC,eAAe;gBACvC,yBAAyB,EAAE,MAAM,CAAC,yBAAyB;aAC5D,CAAC,CAAC;QACL,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,EAAE,EAAE,MAAM,CAAC,EAAE;YACb,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;YAC/C,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,YAAY,EAAE,MAAM,CAAC,YAAY;YACjC,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;YAC3C,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;YACzC,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,OAAO,EAAE,MAAM,CAAC,OAAO;SACxB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,YAAY,EAAE,2BAA2B,CAAC,IAAI,CAAC;QAC/C,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,6BAA6B,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;gBAC1D,aAAa,EAAE,yDAAyD;gBACxE,cAAc,EAAE,MAAM,CAAC,cAAc;gBACrC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;aAChC,CAAC,CAAC,CAAC;KACL,CAAC,CAAC;AACL,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,8BAA8B,CAC5C,IAAY,EACZ,cAAuB;IAEvB,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,OAAO,wCAAwC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,EAAE;QAC3C,GAAG,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC;KAC5D,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,wBAAwB,CAC3C,IAAI,EACJ,6BAA6B,CAAC,IAAI,CAAC,CACpC,CAAC;IACF,MAAM,UAAU,GAAG,wCAAwC,CACzD,YAAY,EACZ,cAAc,CACf,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,YAAY,EAAE,UAAU,CAAC,YAAY;QACrC,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,6BAA6B,EAAE,UAAU,CAAC,6BAA6B;KACxE,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,IAAY;IAEZ,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC1C,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,OAAO,CAAC,EAAE;QACd,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,aAAa,EAAE,OAAO,CAAC,WAAW;QAClC,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;KACnD,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,gCAAgC,CAC9C,IAAY,EACZ,cAAsB;IAEtB,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,cAAc,EAAE,CAAC;QAC9C,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,MAAM,EAAE,aAAa;YACrB,MAAM,EAAE,kFAAkF;YAC1F,UAAU,EAAE,IAAI;SACjB,CAAC,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,OAAO,CAAC,cAAc,KAAK,IAAI,EAAE,CAAC;QACnD,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,uCAAuC;YAC/C,UAAU,EAAE,IAAI;SACjB,CAAC,CAAC;IACL,CAAC;IACD,IAAI,OAAO,CAAC,UAAU,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;QAC1D,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,iDAAiD;YACzD,UAAU,EAAE,IAAI;SACjB,CAAC,CAAC;IACL,CAAC;IAED,MAAM,qBAAqB,GAAG,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM,CAChE,CAAC,WAAW,EAAoC,EAAE,CAAC,WAAW,CAAC,IAAI,KAAK,WAAW,CACpF,CAAC;IACF,MAAM,OAAO,GAAG,uBAAuB,CAAC,OAAO,CAAC,QAAiB,CAAC,CAAC;IACnE,MAAM,MAAM,GAAG,8BAA8B,CAC3C,IAAI,EACJ,sCAAsC,CACvC,CAAC;IACF,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAChC,CAAC,MAAM,EAA2C,EAAE,CAClD,MAAM,CAAC,IAAI,KAAK,yBAAyB,CAC5C,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CACpC,CAAC,MAAM,EAAgD,EAAE,CACvD,MAAM,CAAC,IAAI,KAAK,8BAA8B,CACjD,CAAC;IACF,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CACnC,CAAC,MAAM,EAAkD,EAAE,CACzD,MAAM,CAAC,IAAI,KAAK,gCAAgC,CACnD,CAAC;IACF,MAAM,cAAc,GAA+C,qBAAqB;SACrF,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,OAAO,CAC3B,kBAAkB,CAAC,WAAW,CAAC,EAAE,CAAC,EAClC,WAAW,EACX,WAAW,CAAC,EAAE,EACd,WAAW,CAAC,EAAE,EACd,IAAI,EACJ,WAAW,CAAC,IAAI,CACjB,CAAC,CAAC;IAEL,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,cAAc,CAAC,IAAI,CAAC,OAAO,CACzB,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,EACpB,yBAAyB,EACzB,GAAG,CAAC,EAAE,EACN,GAAG,CAAC,WAAW,EACf,IAAI,EACJ,GAAG,CAAC,IAAI,CACT,CAAC,CAAC;QACH,KAAK,MAAM,SAAS,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YACrC,cAAc,CAAC,IAAI,CAAC,OAAO,CACzB,kBAAkB,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,CAAC,WAAW,CAAC,EACjD,WAAW,EACX,SAAS,CAAC,WAAW,EACrB,GAAG,CAAC,WAAW,EACf,SAAS,CAAC,WAAW,EACrB,SAAS,CAAC,IAAI,CACf,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,OAAO,CAAC,KAAK,CAAC,CAAC;QACxD,cAAc,CAAC,IAAI,CAAC,OAAO,CACzB,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC,EAC5B,8BAA8B,EAC9B,OAAO,CAAC,EAAE,EACV,GAAG,EAAE,WAAW,IAAI,IAAI,EACxB,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,IAAI,CACb,CAAC,CAAC;IACL,CAAC;IACD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,cAAc,CAAC,IAAI,CAAC,OAAO,CACzB,kCAAkC,SAAS,CAAC,EAAE,EAAE,EAChD,gCAAgC,EAChC,SAAS,CAAC,EAAE,EACZ,IAAI,EACJ,IAAI,EACJ,SAAS,CAAC,IAAI,CACf,CAAC,CAAC;IACL,CAAC;IACD,IAAI,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM,EAAE,CAAC;QAC7F,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAC;IACvF,CAAC;IAED,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,OAAO,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,CAC7E,CAAC;IACF,MAAM,UAAU,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC,WAAW,EAAwC,EAAE;QACjG,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QACpD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,WAAW,EAAE,WAAW,CAAC,EAAE;gBAC3B,KAAK,EAAE,UAAU,CAAS,WAAW,EAAE,OAAO,CAAC,IAAI,WAAW,CAAC,EAAE;gBACjE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW;gBAC9D,UAAU,EAAE,gBAAgB;gBAC5B,aAAa,EAAE,KAAK;gBACpB,cAAc,EAAE,IAAI;gBACpB,mBAAmB,EAAE,IAAI;gBACzB,sBAAsB,EAAE,IAAI;gBAC5B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC3B,4BAA4B,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC/C,kBAAkB,EAAE,kBAAkB,CAAC,WAAW,CAAC,EAAE,CAAC;gBACtD,qBAAqB,EAAE,IAAI;aAC5B,CAAC,CAAC;QACL,CAAC;QACD,MAAM,GAAG,GAAG,SAAS,CAAC,cAAc,KAAK,IAAI;YAC3C,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,SAAS,CAAC,cAAc,CAAC,CAAC;QAC3D,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,EAAwC,EAAE;YAC1F,MAAM,eAAe,GAAG,GAAG,EAAE,QAAQ,CAAC,IAAI,CACxC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,SAAS,CAAC,WAAW,CACtD,CAAC;YACF,IAAI,GAAG,KAAK,SAAS,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;gBACvD,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;YACjF,CAAC;YACD,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,GAAG,SAAS;gBACZ,WAAW,EAAE,eAAe,CAAC,WAAW;gBACxC,kBAAkB,EAAE,kBAAkB,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,CAAC,WAAW,CAAC;gBACrE,yBAAyB,EAAE,SAAS,CAAC,kBAAkB,KAAK,IAAI;oBAC9D,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,gBAAgB,CAAC,SAAS,CAAC,kBAAkB,CAAC;gBAClD,wBAAwB,EAAE,MAAM,CAAC,MAAM,CACrC,SAAS,CAAC,iBAAiB,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAClD;aACF,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,GAAG,SAAS;YACZ,KAAK,EAAE,UAAU,CAAS,WAAW,EAAE,OAAO,CAAC,IAAI,WAAW,CAAC,EAAE;YACjE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;YACjC,kBAAkB,EAAE,kBAAkB,CAAC,WAAW,CAAC,EAAE,CAAC;YACtD,qBAAqB,EAAE,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;SACvE,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM,EAAE,SAAS;QACjB,MAAM,EAAE,IAAI;QACZ,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC;YACxB,YAAY,EAAE,yCAAyC;YACvD,cAAc,EAAE,OAAO,CAAC,cAAc;YACtC,YAAY,EAAE,OAAO,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,WAAW;YAC1E,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;YACrC,SAAS,EAAE,mBAAmB,CAAC,SAAS,CAAC;YACzC,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC;SAC9C,CAAC;KACH,CAAC,CAAC;AACL,CAAC"}

package/dist/application/editor-repair.d.ts ADDED Viewed

@@ -0,0 +1,12 @@
+import { type EditorRepairCandidateV1, type EditorRepairDocumentBindingV1, type EditorRepairInteraction } from "../editor/repair.js";
+export interface EditorRepairApplicationRequestV1 {
+    readonly binding: EditorRepairDocumentBindingV1;
+    readonly interaction: EditorRepairInteraction;
+    readonly automatic: boolean;
+    readonly matchingDiagnosticCount: number;
+    readonly requestedRangeIntersectsDiagnostic: boolean;
+}
+export declare function planEditorRepair(text: string, request: EditorRepairApplicationRequestV1, options?: {
+    readonly maxDiagnostics?: number;
+}): EditorRepairCandidateV1;
+//# sourceMappingURL=editor-repair.d.ts.map

package/dist/application/editor-repair.d.ts.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"editor-repair.d.ts","sourceRoot":"","sources":["../../src/application/editor-repair.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,uBAAuB,EAC5B,KAAK,6BAA6B,EAClC,KAAK,uBAAuB,EAC7B,MAAM,qBAAqB,CAAC;AAgB7B,MAAM,WAAW,gCAAgC;IAC/C,QAAQ,CAAC,OAAO,EAAE,6BAA6B,CAAC;IAChD,QAAQ,CAAC,WAAW,EAAE,uBAAuB,CAAC;IAC9C,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,uBAAuB,EAAE,MAAM,CAAC;IACzC,QAAQ,CAAC,kCAAkC,EAAE,OAAO,CAAC;CACtD;AAwDD,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,gCAAgC,EACzC,OAAO,GAAE;IAAE,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAA;CAAO,GACjD,uBAAuB,CAkDzB"}

package/dist/application/editor-repair.js ADDED Viewed

@@ -0,0 +1,74 @@
+import { evaluateEditorRepairCandidate, } from "../editor/repair.js";
+import { MILESTONE_ACCEPTANCE_SOURCE_CAPABILITY, milestoneAcceptanceBaseText, parseMilestoneAcceptanceSource, } from "../milestone-acceptance/source.js";
+import { normalizeMaxDiagnostics } from "../model/diagnostics.js";
+import { TARGET_GRAMMAR_6_CAPABILITY } from "../parser/document-parser.js";
+import { analyzeTargetPlanAssuranceDocument } from "./target-assurance-analysis.js";
+import { checkDocument, planUnitMigration, } from "./contract8-milestone-acceptance.js";
+function assurance(text, maximum) {
+    const source = parseMilestoneAcceptanceSource(text, MILESTONE_ACCEPTANCE_SOURCE_CAPABILITY);
+    if (!source.ok || (source.grammarVersion !== 6 && source.grammarVersion !== 7)) {
+        return null;
+    }
+    return analyzeTargetPlanAssuranceDocument(source.grammarVersion === 7 ? milestoneAcceptanceBaseText(text) : text, TARGET_GRAMMAR_6_CAPABILITY, { maxDiagnostics: maximum }).evaluation;
+}
+function declarationIdentities(text, declarations) {
+    const source = parseMilestoneAcceptanceSource(text, MILESTONE_ACCEPTANCE_SOURCE_CAPABILITY);
+    return Object.freeze([
+        ...declarations.map(({ kind, id }) => `${kind}:${id}`),
+        ...source.records.map(({ kind, id }) => `${kind}:${id}`),
+    ]);
+}
+function protectedRecordKinds(text, declarations) {
+    const protectedKinds = new Set();
+    for (const declaration of declarations) {
+        if (declaration.kind === "plan_seal" ||
+            declaration.kind === "task_outcome" ||
+            declaration.kind === "assurance_receipt")
+            protectedKinds.add(declaration.kind);
+    }
+    const source = parseMilestoneAcceptanceSource(text, MILESTONE_ACCEPTANCE_SOURCE_CAPABILITY);
+    for (const record of source.records) {
+        if (record.kind === "milestone_criterion_set" ||
+            record.kind === "milestone_acceptance_receipt")
+            protectedKinds.add(record.kind);
+    }
+    return Object.freeze([...protectedKinds].sort());
+}
+export function planEditorRepair(text, request, options = {}) {
+    const maximum = normalizeMaxDiagnostics(options.maxDiagnostics);
+    const source = checkDocument(text, { maxDiagnostics: maximum });
+    const migration = planUnitMigration(text, { targetUnit: "point", replacementVelocity: null }, { maxDiagnostics: maximum });
+    const candidateText = migration.updatedText;
+    const candidate = candidateText === null
+        ? null
+        : checkDocument(candidateText, { maxDiagnostics: maximum });
+    const sourceProtected = protectedRecordKinds(text, source.document.declarations);
+    const candidateProtected = candidate === null
+        ? Object.freeze([])
+        : protectedRecordKinds(candidateText, candidate.document.declarations);
+    return evaluateEditorRepairCandidate({
+        binding: request.binding,
+        sourceText: text,
+        sourceOk: source.ok,
+        sourceDiagnostics: source.diagnostics,
+        sourceDiagnosticsTruncated: source.diagnosticsTruncated,
+        migration,
+        candidateOk: candidate?.ok ?? false,
+        candidateDiagnostics: candidate?.diagnostics ?? Object.freeze([]),
+        candidateDiagnosticsTruncated: candidate?.diagnosticsTruncated ?? migration.diagnosticsTruncated,
+        sourceAssurance: assurance(text, maximum),
+        candidateAssurance: candidateText === null ? null : assurance(candidateText, maximum),
+        sourceDeclarationIdentities: declarationIdentities(text, source.document.declarations),
+        candidateDeclarationIdentities: candidate === null || candidateText === null
+            ? Object.freeze([])
+            : declarationIdentities(candidateText, candidate.document.declarations),
+        protectedRecordKinds: Object.freeze([
+            ...new Set([...sourceProtected, ...candidateProtected]),
+        ]),
+        interaction: request.interaction,
+        automatic: request.automatic,
+        matchingDiagnosticCount: request.matchingDiagnosticCount,
+        requestedRangeIntersectsDiagnostic: request.requestedRangeIntersectsDiagnostic,
+    });
+}
+//# sourceMappingURL=editor-repair.js.map

package/dist/application/editor-repair.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"editor-repair.js","sourceRoot":"","sources":["../../src/application/editor-repair.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,6BAA6B,GAI9B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,sCAAsC,EACtC,2BAA2B,EAC3B,8BAA8B,GAC/B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAElE,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,kCAAkC,EAAE,MAC3C,gCAAgC,CAAC;AACnC,OAAO,EACL,aAAa,EACb,iBAAiB,GAClB,MAAM,qCAAqC,CAAC;AAU7C,SAAS,SAAS,CAAC,IAAY,EAAE,OAAe;IAC9C,MAAM,MAAM,GAAG,8BAA8B,CAC3C,IAAI,EACJ,sCAAsC,CACvC,CAAC;IACF,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,cAAc,KAAK,CAAC,IAAI,MAAM,CAAC,cAAc,KAAK,CAAC,CAAC,EAAE,CAAC;QAC/E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,kCAAkC,CACvC,MAAM,CAAC,cAAc,KAAK,CAAC,CAAC,CAAC,CAAC,2BAA2B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EACtE,2BAA2B,EAC3B,EAAE,cAAc,EAAE,OAAO,EAAE,CAC5B,CAAC,UAAU,CAAC;AACf,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAAY,EACZ,YAAsF;IAEtF,MAAM,MAAM,GAAG,8BAA8B,CAC3C,IAAI,EACJ,sCAAsC,CACvC,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,EAAE,EAAE,CAAC;QACtD,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,EAAE,EAAE,CAAC;KACzD,CAAC,CAAC;AACL,CAAC;AAED,SAAS,oBAAoB,CAC3B,IAAY,EACZ,YAAiE;IAEjE,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;QACvC,IACE,WAAW,CAAC,IAAI,KAAK,WAAW;YAChC,WAAW,CAAC,IAAI,KAAK,cAAc;YACnC,WAAW,CAAC,IAAI,KAAK,mBAAmB;YACxC,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC;IACD,MAAM,MAAM,GAAG,8BAA8B,CAC3C,IAAI,EACJ,sCAAsC,CACvC,CAAC;IACF,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACpC,IACE,MAAM,CAAC,IAAI,KAAK,yBAAyB;YACzC,MAAM,CAAC,IAAI,KAAK,8BAA8B;YAC9C,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,IAAY,EACZ,OAAyC,EACzC,OAAO,GAAyC,EAAE;IAElD,MAAM,OAAO,GAAG,uBAAuB,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,EAAE,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,CAAC;IAChE,MAAM,SAAS,GAAG,iBAAiB,CACjC,IAAI,EACJ,EAAE,UAAU,EAAE,OAAO,EAAE,mBAAmB,EAAE,IAAI,EAAE,EAClD,EAAE,cAAc,EAAE,OAAO,EAAE,CAC5B,CAAC;IACF,MAAM,aAAa,GAAG,SAAS,CAAC,WAAW,CAAC;IAC5C,MAAM,SAAS,GAAG,aAAa,KAAK,IAAI;QACtC,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,aAAa,CAAC,aAAa,EAAE,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,CAAC;IAC9D,MAAM,eAAe,GAAG,oBAAoB,CAC1C,IAAI,EACJ,MAAM,CAAC,QAAQ,CAAC,YAAY,CAC7B,CAAC;IACF,MAAM,kBAAkB,GAAG,SAAS,KAAK,IAAI;QAC3C,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACnB,CAAC,CAAC,oBAAoB,CAAC,aAAc,EAAE,SAAS,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;IAE1E,OAAO,6BAA6B,CAAC;QACnC,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,UAAU,EAAE,IAAI;QAChB,QAAQ,EAAE,MAAM,CAAC,EAAE;QACnB,iBAAiB,EAAE,MAAM,CAAC,WAAW;QACrC,0BAA0B,EAAE,MAAM,CAAC,oBAAoB;QACvD,SAAS;QACT,WAAW,EAAE,SAAS,EAAE,EAAE,IAAI,KAAK;QACnC,oBAAoB,EAAE,SAAS,EAAE,WAAW,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACjE,6BAA6B,EAC3B,SAAS,EAAE,oBAAoB,IAAI,SAAS,CAAC,oBAAoB;QACnE,eAAe,EAAE,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC;QACzC,kBAAkB,EAChB,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,EAAE,OAAO,CAAC;QACnE,2BAA2B,EAAE,qBAAqB,CAChD,IAAI,EACJ,MAAM,CAAC,QAAQ,CAAC,YAAY,CAC7B;QACD,8BAA8B,EAAE,SAAS,KAAK,IAAI,IAAI,aAAa,KAAK,IAAI;YAC1E,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YACnB,CAAC,CAAC,qBAAqB,CAAC,aAAa,EAAE,SAAS,CAAC,QAAQ,CAAC,YAAY,CAAC;QACzE,oBAAoB,EAAE,MAAM,CAAC,MAAM,CAAC;YAClC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,eAAe,EAAE,GAAG,kBAAkB,CAAC,CAAC;SACxD,CAAC;QACF,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,uBAAuB,EAAE,OAAO,CAAC,uBAAuB;QACxD,kCAAkC,EAChC,OAAO,CAAC,kCAAkC;KAC7C,CAAC,CAAC;AACL,CAAC"}

package/dist/application/target-postdue-analysis.d.ts ADDED Viewed

@@ -0,0 +1,18 @@
+import type { AnalysisResultV6 } from "./contract8-milestone-acceptance.js";
+import { type TargetScheduleAlertProjection } from "./target-postdue-projection.js";
+import type { ScheduleAlertResult } from "../temporal-schedule/alert-types.js";
+import type { RequiredScheduleResult } from "../temporal-schedule/required-types.js";
+import type { CalendarSchedulerResult } from "../temporal-schedule/scheduler-types.js";
+export declare const TARGET_POSTDUE_ANALYSIS_RESULT: "Perttool.AnalysisResult.v7";
+export interface TargetPostdueScheduleAnalysis {
+    readonly precedence: CalendarSchedulerResult["precedence"];
+    readonly resource: CalendarSchedulerResult["resource"];
+    readonly required: RequiredScheduleResult;
+}
+export type TargetPostdueAnalysisResultV7 = Omit<AnalysisResultV6, "schemaVersion"> & {
+    readonly schemaVersion: typeof TARGET_POSTDUE_ANALYSIS_RESULT;
+    readonly temporalSchedule: TargetPostdueScheduleAnalysis | null;
+    readonly scheduleAlerts: TargetScheduleAlertProjection | null;
+};
+export declare function projectTargetPostdueAnalysis(base: AnalysisResultV6, scheduler: CalendarSchedulerResult | null, required: RequiredScheduleResult | null, alerts: ScheduleAlertResult | null): TargetPostdueAnalysisResultV7;
+//# sourceMappingURL=target-postdue-analysis.d.ts.map

package/dist/application/target-postdue-analysis.d.ts.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"target-postdue-analysis.d.ts","sourceRoot":"","sources":["../../src/application/target-postdue-analysis.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAA+B,KAAK,6BAA6B,EAAE,MAAM,gCAAgC,CAAC;AACjH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAC/E,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AACrF,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAEvF,eAAO,MAAM,8BAA8B,EAAG,4BAAqC,CAAC;AAEpF,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,UAAU,EAAE,uBAAuB,CAAC,YAAY,CAAC,CAAC;IAC3D,QAAQ,CAAC,QAAQ,EAAE,uBAAuB,CAAC,UAAU,CAAC,CAAC;IACvD,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,CAAC;CAC3C;AAED,MAAM,MAAM,6BAA6B,GAAG,IAAI,CAAC,gBAAgB,EAAE,eAAe,CAAC,GAAG;IACpF,QAAQ,CAAC,aAAa,EAAE,OAAO,8BAA8B,CAAC;IAC9D,QAAQ,CAAC,gBAAgB,EAAE,6BAA6B,GAAG,IAAI,CAAC;IAChE,QAAQ,CAAC,cAAc,EAAE,6BAA6B,GAAG,IAAI,CAAC;CAC/D,CAAC;AAEF,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,gBAAgB,EACtB,SAAS,EAAE,uBAAuB,GAAG,IAAI,EACzC,QAAQ,EAAE,sBAAsB,GAAG,IAAI,EACvC,MAAM,EAAE,mBAAmB,GAAG,IAAI,GACjC,6BAA6B,CAsB/B"}

package/dist/application/target-postdue-analysis.js ADDED Viewed

@@ -0,0 +1,26 @@
+import { projectTargetScheduleAlerts } from "./target-postdue-projection.js";
+export const TARGET_POSTDUE_ANALYSIS_RESULT = "Perttool.AnalysisResult.v7";
+export function projectTargetPostdueAnalysis(base, scheduler, required, alerts) {
+    const identities = [scheduler?.documentId, required?.documentId, alerts?.documentId]
+        .filter((value) => value !== undefined);
+    if (identities.some((value) => value !== base.documentId)) {
+        throw new TypeError("Analysis and temporal schedule document identities differ");
+    }
+    if ((scheduler === null) !== (required === null) || (required === null) !== (alerts === null)) {
+        throw new TypeError("Analysis temporal schedule inputs must be complete");
+    }
+    if (alerts !== null && alerts.occurrences.some(({ driver }) => driver.state === "not_computed")) {
+        throw new TypeError("Analysis requires computed or unavailable full driver evidence");
+    }
+    return Object.freeze({
+        ...base,
+        schemaVersion: TARGET_POSTDUE_ANALYSIS_RESULT,
+        temporalSchedule: scheduler === null || required === null ? null : Object.freeze({
+            precedence: scheduler.precedence,
+            resource: scheduler.resource,
+            required,
+        }),
+        scheduleAlerts: alerts === null ? null : projectTargetScheduleAlerts(alerts),
+    });
+}
+//# sourceMappingURL=target-postdue-analysis.js.map

package/dist/application/target-postdue-analysis.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"target-postdue-analysis.js","sourceRoot":"","sources":["../../src/application/target-postdue-analysis.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,2BAA2B,EAAsC,MAAM,gCAAgC,CAAC;AAKjH,MAAM,CAAC,MAAM,8BAA8B,GAAG,4BAAqC,CAAC;AAcpF,MAAM,UAAU,4BAA4B,CAC1C,IAAsB,EACtB,SAAyC,EACzC,QAAuC,EACvC,MAAkC;IAElC,MAAM,UAAU,GAAG,CAAC,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,CAAC;SACjF,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;IAC3D,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,SAAS,CAAC,2DAA2D,CAAC,CAAC;IACnF,CAAC;IACD,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,KAAK,CAAC,QAAQ,KAAK,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,EAAE,CAAC;QAC9F,MAAM,IAAI,SAAS,CAAC,oDAAoD,CAAC,CAAC;IAC5E,CAAC;IACD,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,cAAc,CAAC,EAAE,CAAC;QAChG,MAAM,IAAI,SAAS,CAAC,gEAAgE,CAAC,CAAC;IACxF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,IAAI;QACP,aAAa,EAAE,8BAA8B;QAC7C,gBAAgB,EAAE,SAAS,KAAK,IAAI,IAAI,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;YAC/E,UAAU,EAAE,SAAS,CAAC,UAAU;YAChC,QAAQ,EAAE,SAAS,CAAC,QAAQ;YAC5B,QAAQ;SACT,CAAC;QACF,cAAc,EAAE,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,2BAA2B,CAAC,MAAM,CAAC;KAC7E,CAAC,CAAC;AACL,CAAC"}

package/dist/application/target-postdue-check.d.ts ADDED Viewed

@@ -0,0 +1,10 @@
+import type { CheckResultV5 } from "./contract8-milestone-acceptance.js";
+import { type TargetScheduleAlertProjection } from "./target-postdue-projection.js";
+import type { ScheduleAlertResult } from "../temporal-schedule/alert-types.js";
+export declare const TARGET_POSTDUE_CHECK_RESULT: "Perttool.CheckResult.v6";
+export type TargetPostdueCheckResultV6 = Omit<CheckResultV5, "schemaVersion"> & {
+    readonly schemaVersion: typeof TARGET_POSTDUE_CHECK_RESULT;
+    readonly scheduleAlerts: TargetScheduleAlertProjection | null;
+};
+export declare function projectTargetPostdueCheck(base: CheckResultV5, alerts: ScheduleAlertResult | null): TargetPostdueCheckResultV6;
+//# sourceMappingURL=target-postdue-check.d.ts.map

package/dist/application/target-postdue-check.d.ts.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"target-postdue-check.d.ts","sourceRoot":"","sources":["../../src/application/target-postdue-check.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AACzE,OAAO,EAA+B,KAAK,6BAA6B,EAAE,MAAM,gCAAgC,CAAC;AACjH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAE/E,eAAO,MAAM,2BAA2B,EAAG,yBAAkC,CAAC;AAE9E,MAAM,MAAM,0BAA0B,GAAG,IAAI,CAAC,aAAa,EAAE,eAAe,CAAC,GAAG;IAC9E,QAAQ,CAAC,aAAa,EAAE,OAAO,2BAA2B,CAAC;IAC3D,QAAQ,CAAC,cAAc,EAAE,6BAA6B,GAAG,IAAI,CAAC;CAC/D,CAAC;AAEF,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,aAAa,EACnB,MAAM,EAAE,mBAAmB,GAAG,IAAI,GACjC,0BAA0B,CAc5B"}

package/dist/application/target-postdue-check.js ADDED Viewed

@@ -0,0 +1,18 @@
+import { projectTargetScheduleAlerts } from "./target-postdue-projection.js";
+export const TARGET_POSTDUE_CHECK_RESULT = "Perttool.CheckResult.v6";
+export function projectTargetPostdueCheck(base, alerts) {
+    if (!base.ok && alerts !== null)
+        throw new TypeError("invalid Check cannot carry schedule alerts");
+    if (alerts !== null && base.documentId !== alerts.documentId) {
+        throw new TypeError("Check and schedule-alert document identities differ");
+    }
+    if (alerts !== null && alerts.occurrences.some(({ driver }) => driver.state === "available" && driver.steps.length > 64)) {
+        throw new TypeError("Check schedule-alert driver exceeds the compact limit");
+    }
+    return Object.freeze({
+        ...base,
+        schemaVersion: TARGET_POSTDUE_CHECK_RESULT,
+        scheduleAlerts: alerts === null ? null : projectTargetScheduleAlerts(alerts),
+    });
+}
+//# sourceMappingURL=target-postdue-check.js.map

package/dist/application/target-postdue-check.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"target-postdue-check.js","sourceRoot":"","sources":["../../src/application/target-postdue-check.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,2BAA2B,EAAsC,MAAM,gCAAgC,CAAC;AAGjH,MAAM,CAAC,MAAM,2BAA2B,GAAG,yBAAkC,CAAC;AAO9E,MAAM,UAAU,yBAAyB,CACvC,IAAmB,EACnB,MAAkC;IAElC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,MAAM,KAAK,IAAI;QAAE,MAAM,IAAI,SAAS,CAAC,4CAA4C,CAAC,CAAC;IACnG,IAAI,MAAM,KAAK,IAAI,IAAI,IAAI,CAAC,UAAU,KAAK,MAAM,CAAC,UAAU,EAAE,CAAC;QAC7D,MAAM,IAAI,SAAS,CAAC,qDAAqD,CAAC,CAAC;IAC7E,CAAC;IACD,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAC5D,MAAM,CAAC,KAAK,KAAK,WAAW,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,EAAE,CAAC,EAAE,CAAC;QAC5D,MAAM,IAAI,SAAS,CAAC,uDAAuD,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,IAAI;QACP,aAAa,EAAE,2BAA2B;QAC1C,cAAc,EAAE,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,2BAA2B,CAAC,MAAM,CAAC;KAC7E,CAAC,CAAC;AACL,CAAC"}

package/dist/application/target-postdue-next.d.ts ADDED Viewed

@@ -0,0 +1,10 @@
+import type { NextResultV7 } from "./contract8-milestone-acceptance.js";
+import { type TargetScheduleAlertProjection } from "./target-postdue-projection.js";
+import type { ScheduleAlertResult } from "../temporal-schedule/alert-types.js";
+export declare const TARGET_POSTDUE_NEXT_RESULT: "Perttool.NextResult.v8";
+export type TargetPostdueNextResultV8 = Omit<NextResultV7, "schemaVersion"> & {
+    readonly schemaVersion: typeof TARGET_POSTDUE_NEXT_RESULT;
+    readonly scheduleAlerts: TargetScheduleAlertProjection | null;
+};
+export declare function projectTargetPostdueNext(base: NextResultV7, alerts: ScheduleAlertResult | null): TargetPostdueNextResultV8;
+//# sourceMappingURL=target-postdue-next.d.ts.map

package/dist/application/target-postdue-next.d.ts.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"target-postdue-next.d.ts","sourceRoot":"","sources":["../../src/application/target-postdue-next.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AACxE,OAAO,EAA+B,KAAK,6BAA6B,EAAE,MAAM,gCAAgC,CAAC;AACjH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAE/E,eAAO,MAAM,0BAA0B,EAAG,wBAAiC,CAAC;AAE5E,MAAM,MAAM,yBAAyB,GAAG,IAAI,CAAC,YAAY,EAAE,eAAe,CAAC,GAAG;IAC5E,QAAQ,CAAC,aAAa,EAAE,OAAO,0BAA0B,CAAC;IAC1D,QAAQ,CAAC,cAAc,EAAE,6BAA6B,GAAG,IAAI,CAAC;CAC/D,CAAC;AAEF,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,YAAY,EAClB,MAAM,EAAE,mBAAmB,GAAG,IAAI,GACjC,yBAAyB,CAS3B"}

package/dist/application/target-postdue-next.js ADDED Viewed

@@ -0,0 +1,13 @@
+import { projectTargetScheduleAlerts } from "./target-postdue-projection.js";
+export const TARGET_POSTDUE_NEXT_RESULT = "Perttool.NextResult.v8";
+export function projectTargetPostdueNext(base, alerts) {
+    if (alerts !== null && base.documentId !== alerts.documentId) {
+        throw new TypeError("Next and schedule-alert document identities differ");
+    }
+    return Object.freeze({
+        ...base,
+        schemaVersion: TARGET_POSTDUE_NEXT_RESULT,
+        scheduleAlerts: alerts === null ? null : projectTargetScheduleAlerts(alerts),
+    });
+}
+//# sourceMappingURL=target-postdue-next.js.map

package/dist/application/target-postdue-next.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"target-postdue-next.js","sourceRoot":"","sources":["../../src/application/target-postdue-next.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,2BAA2B,EAAsC,MAAM,gCAAgC,CAAC;AAGjH,MAAM,CAAC,MAAM,0BAA0B,GAAG,wBAAiC,CAAC;AAO5E,MAAM,UAAU,wBAAwB,CACtC,IAAkB,EAClB,MAAkC;IAElC,IAAI,MAAM,KAAK,IAAI,IAAI,IAAI,CAAC,UAAU,KAAK,MAAM,CAAC,UAAU,EAAE,CAAC;QAC7D,MAAM,IAAI,SAAS,CAAC,oDAAoD,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,IAAI;QACP,aAAa,EAAE,0BAA0B;QACzC,cAAc,EAAE,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,2BAA2B,CAAC,MAAM,CAAC;KAC7E,CAAC,CAAC;AACL,CAAC"}

package/dist/application/target-postdue-projection.d.ts ADDED Viewed

@@ -0,0 +1,11 @@
+import type { ScheduleAlertOccurrence, ScheduleAlertResult } from "../temporal-schedule/alert-types.js";
+export interface TargetScheduleAlertProjection {
+    readonly evaluator: ScheduleAlertResult["evaluator"];
+    readonly state: ScheduleAlertResult["state"];
+    readonly summary: ScheduleAlertResult["summary"];
+    readonly occurrences: readonly ScheduleAlertOccurrence[];
+    readonly truncation: ScheduleAlertResult["truncation"];
+    readonly unavailableCauses: ScheduleAlertResult["unavailableCauses"];
+}
+export declare function projectTargetScheduleAlerts(alerts: ScheduleAlertResult): TargetScheduleAlertProjection;
+//# sourceMappingURL=target-postdue-projection.d.ts.map

package/dist/application/target-postdue-projection.d.ts.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"target-postdue-projection.d.ts","sourceRoot":"","sources":["../../src/application/target-postdue-projection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAExG,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,SAAS,EAAE,mBAAmB,CAAC,WAAW,CAAC,CAAC;IACrD,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC7C,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC,SAAS,CAAC,CAAC;IACjD,QAAQ,CAAC,WAAW,EAAE,SAAS,uBAAuB,EAAE,CAAC;IACzD,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC,YAAY,CAAC,CAAC;IACvD,QAAQ,CAAC,iBAAiB,EAAE,mBAAmB,CAAC,mBAAmB,CAAC,CAAC;CACtE;AAED,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,mBAAmB,GAAG,6BAA6B,CAetG"}

package/dist/application/target-postdue-projection.js ADDED Viewed

@@ -0,0 +1,17 @@
+export function projectTargetScheduleAlerts(alerts) {
+    if (alerts.evaluator.id !== "perttool.schedule-alert" || alerts.evaluator.version !== 1) {
+        throw new TypeError("unsupported schedule-alert evaluator");
+    }
+    if (alerts.truncation.emitted !== alerts.occurrences.length || alerts.summary.total < alerts.occurrences.length) {
+        throw new TypeError("inconsistent schedule-alert projection");
+    }
+    return Object.freeze({
+        evaluator: alerts.evaluator,
+        state: alerts.state,
+        summary: alerts.summary,
+        occurrences: alerts.occurrences,
+        truncation: alerts.truncation,
+        unavailableCauses: alerts.unavailableCauses,
+    });
+}
+//# sourceMappingURL=target-postdue-projection.js.map

package/dist/application/target-postdue-projection.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"target-postdue-projection.js","sourceRoot":"","sources":["../../src/application/target-postdue-projection.ts"],"names":[],"mappings":"AAWA,MAAM,UAAU,2BAA2B,CAAC,MAA2B;IACrE,IAAI,MAAM,CAAC,SAAS,CAAC,EAAE,KAAK,yBAAyB,IAAI,MAAM,CAAC,SAAS,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;QACxF,MAAM,IAAI,SAAS,CAAC,sCAAsC,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,CAAC,OAAO,KAAK,MAAM,CAAC,WAAW,CAAC,MAAM,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;QAChH,MAAM,IAAI,SAAS,CAAC,wCAAwC,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;KAC5C,CAAC,CAAC;AACL,CAAC"}

package/dist/assurance/canonical.d.ts CHANGED Viewed

@@ -1,9 +1,9 @@
-import type { AcceptedPlanningInputV1, FrontierAssuranceReceiptContractV1, Sha256Digest, TaskPlanContractV1 } from "./types.js";
+import type { AcceptedPlanningInputV1, FrontierAssuranceReceiptContractV1, Sha256Digest, TaskPlanContract } from "./types.js";
 export declare function canonicalJson(value: unknown): string;
 export declare function sha256Canonical(value: unknown): Sha256Digest;
 export declare function isSha256Digest(value: string): value is Sha256Digest;
-export declare function taskPlanContractRecord(contract: TaskPlanContractV1): unknown;
-export declare function hashTaskPlanContract(contract: TaskPlanContractV1): Sha256Digest;
+export declare function taskPlanContractRecord(contract: TaskPlanContract): unknown;
+export declare function hashTaskPlanContract(contract: TaskPlanContract): Sha256Digest;
 export declare function taskPlanBasisRecord(contractHash: Sha256Digest, planningInputs: readonly AcceptedPlanningInputV1[]): unknown;
 export declare function hashTaskPlanBasis(contractHash: Sha256Digest, planningInputs: readonly AcceptedPlanningInputV1[]): Sha256Digest;
 export declare function hashChangedOutcomeContract(summary: string): Sha256Digest;

package/dist/assurance/canonical.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"canonical.d.ts","sourceRoot":"","sources":["../../src/assurance/canonical.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,uBAAuB,EAIvB,kCAAkC,EAClC,YAAY,EACZ,~~kBAAkB~~,~~EACnB~~,MAAM,YAAY,CAAC;AA8DpB,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAEpD;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,YAAY,CAE5D;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,YAAY,CAEnE;AAgHD,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,~~kBAAkB~~,GAAG,OAAO,~~CAoE5E~~;AAED,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,~~kBAAkB~~,~~GAC3B~~,YAAY,CAEd;AAED,wBAAgB,mBAAmB,CACjC,YAAY,EAAE,YAAY,EAC1B,cAAc,EAAE,SAAS,uBAAuB,EAAE,GACjD,OAAO,CAgCT;AAED,wBAAgB,iBAAiB,CAC/B,YAAY,EAAE,YAAY,EAC1B,cAAc,EAAE,SAAS,uBAAuB,EAAE,GACjD,YAAY,CAEd;AAED,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,MAAM,GAAG,YAAY,CASxE;AAED,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,MAAM,EACd,gBAAgB,EAAE,YAAY,EAC9B,OAAO,EAAE,MAAM,GACd,YAAY,CAad;AAED,wBAAgB,8BAA8B,CAC5C,OAAO,EAAE,kCAAkC,GAC1C,OAAO,CA8CT;AAED,wBAAgB,4BAA4B,CAC1C,OAAO,EAAE,kCAAkC,GAC1C,YAAY,CAEd"}
1	+ {"version":3,"file":"canonical.d.ts","sourceRoot":"","sources":["../../src/assurance/canonical.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,uBAAuB,EAIvB,kCAAkC,EAClC,YAAY,EACZ,gBAAgB,EACjB,MAAM,YAAY,CAAC;AA8DpB,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAEpD;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,YAAY,CAE5D;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,YAAY,CAEnE;AAgHD,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,gBAAgB,GAAG,OAAO,CAiF1E;AAED,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,gBAAgB,GACzB,YAAY,CAEd;AAED,wBAAgB,mBAAmB,CACjC,YAAY,EAAE,YAAY,EAC1B,cAAc,EAAE,SAAS,uBAAuB,EAAE,GACjD,OAAO,CAgCT;AAED,wBAAgB,iBAAiB,CAC/B,YAAY,EAAE,YAAY,EAC1B,cAAc,EAAE,SAAS,uBAAuB,EAAE,GACjD,YAAY,CAEd;AAED,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,MAAM,GAAG,YAAY,CASxE;AAED,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,MAAM,EACd,gBAAgB,EAAE,YAAY,EAC9B,OAAO,EAAE,MAAM,GACd,YAAY,CAad;AAED,wBAAgB,8BAA8B,CAC5C,OAAO,EAAE,kCAAkC,GAC1C,OAAO,CA8CT;AAED,wBAAgB,4BAA4B,CAC1C,OAAO,EAAE,kCAAkC,GAC1C,YAAY,CAEd"}

package/dist/assurance/canonical.js CHANGED Viewed

@@ -161,7 +161,7 @@ function calendarRecord(value) {
     };
 }
 export function taskPlanContractRecord(contract) {
-    if (contract.model !== "Perttool.TaskPlanContract.v1") {
+    if (contract.model !== "Perttool.TaskPlanContract.v1" && contract.model !== "Perttool.TaskPlanContract.v2") {
         throw new Error("unknown task plan contract model");
     }
     for (const value of [
@@ -197,17 +197,16 @@ export function taskPlanContractRecord(contract) {
     if (tags.some((tag, index) => index > 0 && tags[index - 1] === tag)) {
         throw new Error("task tags must be unique");
     }
-    return {
-        model: "Perttool.TaskPlanContract.v1",
+    const prefix = {
+        model: contract.model,
         task_id: contract.taskId,
         from_milestone_id: contract.fromMilestoneId,
         to_milestone_id: contract.toMilestoneId,
         title: contract.title,
         description: contract.description,
         duration_or_estimate: timingRecord(contract.durationOrEstimate),
-        not_before: contract.notBefore === null
-            ? null
-            : calendarRecord(contract.notBefore),
+    };
+    const suffix = {
         deadline: contract.deadline === null
             ? null
             : calendarRecord(contract.deadline),
@@ -220,6 +219,20 @@ export function taskPlanContractRecord(contract) {
         tags,
         source: contract.source,
     };
+    return contract.model === "Perttool.TaskPlanContract.v1" ? {
+        ...prefix,
+        not_before: contract.notBefore === null ? null : calendarRecord(contract.notBefore),
+        ...suffix,
+    } : {
+        ...prefix,
+        when: {
+            start_earliest: contract.when.startEarliest === null ? null : calendarRecord(contract.when.startEarliest),
+            start_latest: contract.when.startLatest === null ? null : calendarRecord(contract.when.startLatest),
+            finish_earliest: contract.when.finishEarliest === null ? null : calendarRecord(contract.when.finishEarliest),
+            finish_latest: contract.when.finishLatest === null ? null : calendarRecord(contract.when.finishLatest),
+        },
+        ...suffix,
+    };
 }
 export function hashTaskPlanContract(contract) {
     return sha256Canonical(taskPlanContractRecord(contract));

package/dist/assurance/canonical.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"canonical.js","sourceRoot":"","sources":["../../src/assurance/canonical.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAW/D,MAAM,wBAAwB,GAAG,qBAAqB,CAAC;AACvD,MAAM,mBAAmB,GAAG,uBAAuB,CAAC;AAEpD,SAAS,qBAAqB,CAAC,IAAY,EAAE,KAAa;IACxD,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,CAAC;IACvE,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,CAAC;IACzE,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;IACjE,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC/C,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,CAAE,GAAG,YAAY,CAAC,KAAK,CAAE,CAAC;QAC9D,IAAI,UAAU,KAAK,CAAC;YAAE,OAAO,UAAU,CAAC;IAC1C,CAAC;IACD,OAAO,WAAW,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC;AAClD,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAa;IACzC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,CAAC;IACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YACzC,IAAI,CAAC,CAAC,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,CAAC,EAAE,CAAC;gBACxC,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;YAC1E,CAAC;YACD,KAAK,IAAI,CAAC,CAAC;QACb,CAAC;aAAM,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;QACzE,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAc;IACzC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,oBAAoB,CAAC,KAAK,CAAC,CAAC;QAC5B,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAChE,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;QAClE,CAAC;QACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACzE,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACzD,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAA0C,CAAC,CAAC;IAC3E,OAAO,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE;QACrC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,wBAAwB,GAAG,eAAe,CAAC,CAAC;QAC9D,CAAC;QACD,OAAO,GAAG,mBAAmB,CAAC,GAAG,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;IACpE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,OAAO,mBAAmB,CAAC,KAAK,CAAC,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,OAAO,gBAAgB,CAAC,aAAa,CAAC,KAAK,CAAC,CAAiB,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAAa;IAC1C,OAAO,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAY,EAAE,KAAa;IACxD,IAAI,CAAC,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACjC,IAAI,CAAC,GAAG,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;IACpC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC;QAChB,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,gBAAgB,CACvB,KAA4B,EAC5B,OAAe;IAEf,IACE,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ;QACnC,OAAO,KAAK,CAAC,WAAW,KAAK,QAAQ;QACrC,CAAC,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC;QAC/C,CAAC,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;QACjD,KAAK,CAAC,WAAW,KAAK,GAAG,EACzB,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,GAAG,OAAO,kCAAkC,CAAC,CAAC;IAChE,CAAC;IACD,IACE,qBAAqB,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QACzE,EAAE,EACF,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,GAAG,OAAO,6BAA6B,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,CAAE,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CAAC,GAAG,OAAO,sBAAsB,CAAC,CAAC;IACpD,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,KAA4B;IACpD,OAAO;QACL,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;KACjB,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,KAAoC;IACxD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC9B,gBAAgB,CAAC,KAAK,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QAC1C,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;IACpE,CAAC;IACD,gBAAgB,CAAC,KAAK,CAAC,UAAU,EAAE,qBAAqB,CAAC,CAAC;IAC1D,gBAAgB,CAAC,KAAK,CAAC,UAAU,EAAE,sBAAsB,CAAC,CAAC;IAC3D,gBAAgB,CAAC,KAAK,CAAC,WAAW,EAAE,sBAAsB,CAAC,CAAC;IAC5D,IACE,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU,CAAC,IAAI;QAC/C,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,CAAC,WAAW,CAAC,IAAI,EAChD,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,UAAU,EAAE,gBAAgB,CAAC,KAAK,CAAC,UAAU,CAAC;QAC9C,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,UAAU,CAAC;QAC/C,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,WAAW,CAAC;KACjD,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,KAA+B;IACrD,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IACxD,CAAC;IACD,MAAM,QAAQ,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IACtD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC1B,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,GAAG,EAAE,KAAK,CAAC,GAAG;SACf,CAAC;IACJ,CAAC;IACD,IACE,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC;QACjC,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC;QACnC,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,aAAa,CAAC;QAC1C,OAAO,KAAK,CAAC,MAAM,CAAC,SAAS,KAAK,QAAQ;QAC1C,OAAO,KAAK,CAAC,MAAM,CAAC,WAAW,KAAK,QAAQ;QAC5C,CAAC,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC;QACtD,CAAC,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC;QACxD,KAAK,CAAC,MAAM,CAAC,WAAW,KAAK,GAAG;QAChC,qBAAqB,CACnB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,EAC9B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CACjC,KAAK,EAAE,EACR,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,GAAG,EAAE,KAAK,CAAC,GAAG;QACd,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,MAAM,EAAE;YACN,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,SAAS;YACjC,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,WAAW;SACtC;QACD,cAAc,EAAE,KAAK,CAAC,aAAa;KACpC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,QAA4B;IACjE,IAAI,QAAQ,CAAC,KAAK,KAAK,8BAA8B,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IACtD,CAAC;IACD,KAAK,MAAM,KAAK,IAAI;QAClB,QAAQ,CAAC,MAAM;QACf,QAAQ,CAAC,eAAe;QACxB,QAAQ,CAAC,aAAa;QACtB,QAAQ,CAAC,KAAK;QACd,QAAQ,CAAC,WAAW;QACpB,QAAQ,CAAC,KAAK;QACd,QAAQ,CAAC,MAAM;QACf,GAAG,QAAQ,CAAC,IAAI;QAChB,GAAG,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC;KAC7D,EAAE,CAAC;QACF,IAAI,KAAK,KAAK,IAAI;YAAE,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAClD,CAAC;IACD,IACE,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAC5B,QAAQ,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC;QACrC,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EACnC,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;IAC1D,CAAC;IACD,MAAM,YAAY,GAAG,CAAC,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACnE,oBAAoB,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CACxD,CAAC;IACF,IACE,YAAY,CAAC,IAAI,CACf,CAAC,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,CACnB,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC;QAC5B,KAAK,IAAI,CAAC;QACV,CAAC,KAAK,GAAG,CAAC;YACR,YAAY,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,UAAU,KAAK,YAAY,CAAC,KAAK,CAAE,CAAC,UAAU,CAAC,CAC7E,EACD,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAC5D,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;QACpE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO;QACL,KAAK,EAAE,8BAA8B;QACrC,OAAO,EAAE,QAAQ,CAAC,MAAM;QACxB,iBAAiB,EAAE,QAAQ,CAAC,eAAe;QAC3C,eAAe,EAAE,QAAQ,CAAC,aAAa;QACvC,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,oBAAoB,EAAE,YAAY,CAAC,QAAQ,CAAC,kBAAkB,CAAC;QAC/D,UAAU,EAAE,QAAQ,CAAC,SAAS,KAAK,IAAI;YACrC,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,SAAS,CAAC;QACtC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,KAAK,IAAI;YAClC,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,QAAQ,CAAC;QACrC,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,YAAY,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;YACzD,WAAW,EAAE,UAAU;YACvB,KAAK;SACN,CAAC,CAAC;QACH,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,IAAI;QACJ,MAAM,EAAE,QAAQ,CAAC,MAAM;KACxB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,QAA4B;IAE5B,OAAO,eAAe,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,YAA0B,EAC1B,cAAkD;IAElD,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,GAAG,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACtD,oBAAoB,CAAC,IAAI,CAAC,iBAAiB,EAAE,KAAK,CAAC,iBAAiB,CAAC,CACtE,CAAC;IACF,IACE,MAAM,CAAC,IAAI,CACT,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CACf,OAAO,KAAK,CAAC,iBAAiB,KAAK,QAAQ;QAC3C,KAAK,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC;QACpC,CAAC,KAAK,CAAC,YAAY,KAAK,MAAM;YAC5B,KAAK,CAAC,YAAY,KAAK,eAAe,CAAC;QACzC,CAAC,cAAc,CAAC,KAAK,CAAC,aAAa,CAAC;QACpC,CAAC,KAAK,GAAG,CAAC;YACR,MAAM,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,iBAAiB,KAAK,KAAK,CAAC,iBAAiB,CAAC,CACtE,EACD,CAAC;QACD,MAAM,IAAI,KAAK,CACb,0FAA0F,CAC3F,CAAC;IACJ,CAAC;IACD,OAAO;QACL,KAAK,EAAE,2BAA2B;QAClC,kBAAkB,EAAE,YAAY;QAChC,eAAe,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACtC,mBAAmB,EAAE,KAAK,CAAC,iBAAiB;YAC5C,aAAa,EAAE,KAAK,CAAC,YAAY;YACjC,cAAc,EAAE,KAAK,CAAC,aAAa;SACpC,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,YAA0B,EAC1B,cAAkD;IAElD,OAAO,eAAe,CAAC,mBAAmB,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,OAAe;IACxD,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IAC/D,CAAC;IACD,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAC9B,OAAO,eAAe,CAAC;QACrB,KAAK,EAAE,wCAAwC;QAC/C,OAAO;KACR,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,MAAc,EACd,gBAA8B,EAC9B,OAAe;IAEf,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IACvD,CAAC;IACD,IAAI,CAAC,cAAc,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,eAAe,CAAC;QACrB,KAAK,EAAE,mCAAmC;QAC1C,OAAO,EAAE,MAAM;QACf,kBAAkB,EAAE,gBAAgB;QACpC,6BAA6B,EAAE,0BAA0B,CAAC,OAAO,CAAC;KACnE,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,OAA2C;IAE3C,IAAI,OAAO,CAAC,KAAK,KAAK,sCAAsC,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IAC9D,CAAC;IACD,IACE,OAAO,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC;QACnC,CAAC,cAAc,CAAC,OAAO,CAAC,wBAAwB,CAAC;QACjD,CAAC,cAAc,CAAC,OAAO,CAAC,qBAAqB,CAAC;QAC9C,CAAC,OAAO,CAAC,OAAO,KAAK,YAAY,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC,EACnE,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IAC7E,CAAC;IACD,MAAM,SAAS,GAAG,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC5D,oBAAoB,CAAC,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,cAAc,CAAC,CAChE,CAAC;IACF,IACE,SAAS,CAAC,IAAI,CACZ,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAClB,QAAQ,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC;QACpC,CAAC,QAAQ,CAAC,YAAY,KAAK,MAAM;YAC/B,QAAQ,CAAC,YAAY,KAAK,eAAe,CAAC;QAC5C,CAAC,KAAK,GAAG,CAAC;YACR,SAAS,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,cAAc,KAAK,QAAQ,CAAC,cAAc,CAAC,CACtE,EACD,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IACtE,CAAC;IACD,KAAK,MAAM,KAAK,IAAI;QAClB,OAAO,CAAC,cAAc;QACtB,OAAO,CAAC,iBAAiB;QACzB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC;KACzD,EAAE,CAAC;QACF,IAAI,KAAK,KAAK,IAAI;YAAE,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAClD,CAAC;IACD,OAAO;QACL,KAAK,EAAE,sCAAsC;QAC7C,gBAAgB,EAAE,OAAO,CAAC,cAAc;QACxC,2BAA2B,EAAE,OAAO,CAAC,wBAAwB;QAC7D,uBAAuB,EAAE,OAAO,CAAC,qBAAqB;QACtD,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,cAAc,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,CAAC;YAC9D,gBAAgB,EAAE,cAAc;YAChC,aAAa,EAAE,YAAY;SAC5B,CAAC,CAAC;QACH,mBAAmB,EAAE,OAAO,CAAC,iBAAiB;KAC/C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,OAA2C;IAE3C,OAAO,eAAe,CAAC,8BAA8B,CAAC,OAAO,CAAC,CAAC,CAAC;AAClE,CAAC"}
1	+ {"version":3,"file":"canonical.js","sourceRoot":"","sources":["../../src/assurance/canonical.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAW/D,MAAM,wBAAwB,GAAG,qBAAqB,CAAC;AACvD,MAAM,mBAAmB,GAAG,uBAAuB,CAAC;AAEpD,SAAS,qBAAqB,CAAC,IAAY,EAAE,KAAa;IACxD,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,CAAC;IACvE,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,CAAC;IACzE,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;IACjE,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC/C,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,CAAE,GAAG,YAAY,CAAC,KAAK,CAAE,CAAC;QAC9D,IAAI,UAAU,KAAK,CAAC;YAAE,OAAO,UAAU,CAAC;IAC1C,CAAC;IACD,OAAO,WAAW,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC;AAClD,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAa;IACzC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,CAAC;IACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YACzC,IAAI,CAAC,CAAC,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,CAAC,EAAE,CAAC;gBACxC,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;YAC1E,CAAC;YACD,KAAK,IAAI,CAAC,CAAC;QACb,CAAC;aAAM,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;QACzE,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAc;IACzC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,oBAAoB,CAAC,KAAK,CAAC,CAAC;QAC5B,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAChE,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;QAClE,CAAC;QACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACzE,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACzD,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAA0C,CAAC,CAAC;IAC3E,OAAO,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE;QACrC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,wBAAwB,GAAG,eAAe,CAAC,CAAC;QAC9D,CAAC;QACD,OAAO,GAAG,mBAAmB,CAAC,GAAG,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;IACpE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,OAAO,mBAAmB,CAAC,KAAK,CAAC,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,OAAO,gBAAgB,CAAC,aAAa,CAAC,KAAK,CAAC,CAAiB,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAAa;IAC1C,OAAO,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAY,EAAE,KAAa;IACxD,IAAI,CAAC,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACjC,IAAI,CAAC,GAAG,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;IACpC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC;QAChB,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,gBAAgB,CACvB,KAA4B,EAC5B,OAAe;IAEf,IACE,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ;QACnC,OAAO,KAAK,CAAC,WAAW,KAAK,QAAQ;QACrC,CAAC,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC;QAC/C,CAAC,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;QACjD,KAAK,CAAC,WAAW,KAAK,GAAG,EACzB,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,GAAG,OAAO,kCAAkC,CAAC,CAAC;IAChE,CAAC;IACD,IACE,qBAAqB,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QACzE,EAAE,EACF,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,GAAG,OAAO,6BAA6B,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,CAAE,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CAAC,GAAG,OAAO,sBAAsB,CAAC,CAAC;IACpD,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,KAA4B;IACpD,OAAO;QACL,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;KACjB,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,KAAoC;IACxD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC9B,gBAAgB,CAAC,KAAK,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QAC1C,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;IACpE,CAAC;IACD,gBAAgB,CAAC,KAAK,CAAC,UAAU,EAAE,qBAAqB,CAAC,CAAC;IAC1D,gBAAgB,CAAC,KAAK,CAAC,UAAU,EAAE,sBAAsB,CAAC,CAAC;IAC3D,gBAAgB,CAAC,KAAK,CAAC,WAAW,EAAE,sBAAsB,CAAC,CAAC;IAC5D,IACE,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU,CAAC,IAAI;QAC/C,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,CAAC,WAAW,CAAC,IAAI,EAChD,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,UAAU,EAAE,gBAAgB,CAAC,KAAK,CAAC,UAAU,CAAC;QAC9C,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,UAAU,CAAC;QAC/C,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,WAAW,CAAC;KACjD,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,KAA+B;IACrD,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IACxD,CAAC;IACD,MAAM,QAAQ,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IACtD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC1B,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,GAAG,EAAE,KAAK,CAAC,GAAG;SACf,CAAC;IACJ,CAAC;IACD,IACE,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC;QACjC,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC;QACnC,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,aAAa,CAAC;QAC1C,OAAO,KAAK,CAAC,MAAM,CAAC,SAAS,KAAK,QAAQ;QAC1C,OAAO,KAAK,CAAC,MAAM,CAAC,WAAW,KAAK,QAAQ;QAC5C,CAAC,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC;QACtD,CAAC,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC;QACxD,KAAK,CAAC,MAAM,CAAC,WAAW,KAAK,GAAG;QAChC,qBAAqB,CACnB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,EAC9B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CACjC,KAAK,EAAE,EACR,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,GAAG,EAAE,KAAK,CAAC,GAAG;QACd,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,MAAM,EAAE;YACN,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,SAAS;YACjC,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,WAAW;SACtC;QACD,cAAc,EAAE,KAAK,CAAC,aAAa;KACpC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,QAA0B;IAC/D,IAAI,QAAQ,CAAC,KAAK,KAAK,8BAA8B,IAAI,QAAQ,CAAC,KAAK,KAAK,8BAA8B,EAAE,CAAC;QAC3G,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IACtD,CAAC;IACD,KAAK,MAAM,KAAK,IAAI;QAClB,QAAQ,CAAC,MAAM;QACf,QAAQ,CAAC,eAAe;QACxB,QAAQ,CAAC,aAAa;QACtB,QAAQ,CAAC,KAAK;QACd,QAAQ,CAAC,WAAW;QACpB,QAAQ,CAAC,KAAK;QACd,QAAQ,CAAC,MAAM;QACf,GAAG,QAAQ,CAAC,IAAI;QAChB,GAAG,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC;KAC7D,EAAE,CAAC;QACF,IAAI,KAAK,KAAK,IAAI;YAAE,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAClD,CAAC;IACD,IACE,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAC5B,QAAQ,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC;QACrC,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EACnC,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;IAC1D,CAAC;IACD,MAAM,YAAY,GAAG,CAAC,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACnE,oBAAoB,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CACxD,CAAC;IACF,IACE,YAAY,CAAC,IAAI,CACf,CAAC,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,CACnB,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC;QAC5B,KAAK,IAAI,CAAC;QACV,CAAC,KAAK,GAAG,CAAC;YACR,YAAY,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,UAAU,KAAK,YAAY,CAAC,KAAK,CAAE,CAAC,UAAU,CAAC,CAC7E,EACD,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAC5D,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;QACpE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;IAC9C,CAAC;IACD,MAAM,MAAM,GAAG;QACb,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,OAAO,EAAE,QAAQ,CAAC,MAAM;QACxB,iBAAiB,EAAE,QAAQ,CAAC,eAAe;QAC3C,eAAe,EAAE,QAAQ,CAAC,aAAa;QACvC,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,oBAAoB,EAAE,YAAY,CAAC,QAAQ,CAAC,kBAAkB,CAAC;KAChE,CAAC;IACF,MAAM,MAAM,GAAG;QACb,QAAQ,EAAE,QAAQ,CAAC,QAAQ,KAAK,IAAI;YAClC,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,QAAQ,CAAC;QACrC,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,YAAY,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;YACzD,WAAW,EAAE,UAAU;YACvB,KAAK;SACN,CAAC,CAAC;QACH,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,IAAI;QACJ,MAAM,EAAE,QAAQ,CAAC,MAAM;KACxB,CAAC;IACF,OAAO,QAAQ,CAAC,KAAK,KAAK,8BAA8B,CAAC,CAAC,CAAC;QACzD,GAAG,MAAM;QACT,UAAU,EAAE,QAAQ,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,SAAS,CAAC;QACnF,GAAG,MAAM;KACV,CAAC,CAAC,CAAC;QACF,GAAG,MAAM;QACT,IAAI,EAAE;YACJ,cAAc,EAAE,QAAQ,CAAC,IAAI,CAAC,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC;YACzG,YAAY,EAAE,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC;YACnG,eAAe,EAAE,QAAQ,CAAC,IAAI,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC;YAC5G,aAAa,EAAE,QAAQ,CAAC,IAAI,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC;SACvG;QACD,GAAG,MAAM;KACV,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,QAA0B;IAE1B,OAAO,eAAe,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,YAA0B,EAC1B,cAAkD;IAElD,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,GAAG,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACtD,oBAAoB,CAAC,IAAI,CAAC,iBAAiB,EAAE,KAAK,CAAC,iBAAiB,CAAC,CACtE,CAAC;IACF,IACE,MAAM,CAAC,IAAI,CACT,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CACf,OAAO,KAAK,CAAC,iBAAiB,KAAK,QAAQ;QAC3C,KAAK,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC;QACpC,CAAC,KAAK,CAAC,YAAY,KAAK,MAAM;YAC5B,KAAK,CAAC,YAAY,KAAK,eAAe,CAAC;QACzC,CAAC,cAAc,CAAC,KAAK,CAAC,aAAa,CAAC;QACpC,CAAC,KAAK,GAAG,CAAC;YACR,MAAM,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,iBAAiB,KAAK,KAAK,CAAC,iBAAiB,CAAC,CACtE,EACD,CAAC;QACD,MAAM,IAAI,KAAK,CACb,0FAA0F,CAC3F,CAAC;IACJ,CAAC;IACD,OAAO;QACL,KAAK,EAAE,2BAA2B;QAClC,kBAAkB,EAAE,YAAY;QAChC,eAAe,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACtC,mBAAmB,EAAE,KAAK,CAAC,iBAAiB;YAC5C,aAAa,EAAE,KAAK,CAAC,YAAY;YACjC,cAAc,EAAE,KAAK,CAAC,aAAa;SACpC,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,YAA0B,EAC1B,cAAkD;IAElD,OAAO,eAAe,CAAC,mBAAmB,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,OAAe;IACxD,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IAC/D,CAAC;IACD,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAC9B,OAAO,eAAe,CAAC;QACrB,KAAK,EAAE,wCAAwC;QAC/C,OAAO;KACR,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,MAAc,EACd,gBAA8B,EAC9B,OAAe;IAEf,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IACvD,CAAC;IACD,IAAI,CAAC,cAAc,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,eAAe,CAAC;QACrB,KAAK,EAAE,mCAAmC;QAC1C,OAAO,EAAE,MAAM;QACf,kBAAkB,EAAE,gBAAgB;QACpC,6BAA6B,EAAE,0BAA0B,CAAC,OAAO,CAAC;KACnE,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,OAA2C;IAE3C,IAAI,OAAO,CAAC,KAAK,KAAK,sCAAsC,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IAC9D,CAAC;IACD,IACE,OAAO,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC;QACnC,CAAC,cAAc,CAAC,OAAO,CAAC,wBAAwB,CAAC;QACjD,CAAC,cAAc,CAAC,OAAO,CAAC,qBAAqB,CAAC;QAC9C,CAAC,OAAO,CAAC,OAAO,KAAK,YAAY,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC,EACnE,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IAC7E,CAAC;IACD,MAAM,SAAS,GAAG,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC5D,oBAAoB,CAAC,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,cAAc,CAAC,CAChE,CAAC;IACF,IACE,SAAS,CAAC,IAAI,CACZ,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAClB,QAAQ,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC;QACpC,CAAC,QAAQ,CAAC,YAAY,KAAK,MAAM;YAC/B,QAAQ,CAAC,YAAY,KAAK,eAAe,CAAC;QAC5C,CAAC,KAAK,GAAG,CAAC;YACR,SAAS,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,cAAc,KAAK,QAAQ,CAAC,cAAc,CAAC,CACtE,EACD,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IACtE,CAAC;IACD,KAAK,MAAM,KAAK,IAAI;QAClB,OAAO,CAAC,cAAc;QACtB,OAAO,CAAC,iBAAiB;QACzB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC;KACzD,EAAE,CAAC;QACF,IAAI,KAAK,KAAK,IAAI;YAAE,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAClD,CAAC;IACD,OAAO;QACL,KAAK,EAAE,sCAAsC;QAC7C,gBAAgB,EAAE,OAAO,CAAC,cAAc;QACxC,2BAA2B,EAAE,OAAO,CAAC,wBAAwB;QAC7D,uBAAuB,EAAE,OAAO,CAAC,qBAAqB;QACtD,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,cAAc,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,CAAC;YAC9D,gBAAgB,EAAE,cAAc;YAChC,aAAa,EAAE,YAAY;SAC5B,CAAC,CAAC;QACH,mBAAmB,EAAE,OAAO,CAAC,iBAAiB;KAC/C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,OAA2C;IAE3C,OAAO,eAAe,CAAC,8BAA8B,CAAC,OAAO,CAAC,CAAC,CAAC;AAClE,CAAC"}

package/dist/assurance/evaluate.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"evaluate.d.ts","sourceRoot":"","sources":["../../src/assurance/evaluate.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAMV,yBAAyB,EACzB,oBAAoB,EAEpB,yBAAyB,EAKzB,oBAAoB,EACrB,MAAM,YAAY,CAAC;~~AA2bpB~~,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,oBAAoB,GAC1B,yBAAyB,~~CA0Z3B~~;AAED,wBAAgB,cAAc,CAC5B,MAAM,EAAE,yBAAyB,GAChC,WAAW,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAS3C"}
1	+ {"version":3,"file":"evaluate.d.ts","sourceRoot":"","sources":["../../src/assurance/evaluate.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAMV,yBAAyB,EACzB,oBAAoB,EAEpB,yBAAyB,EAKzB,oBAAoB,EACrB,MAAM,YAAY,CAAC;AAmcpB,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,oBAAoB,GAC1B,yBAAyB,CAuZ3B;AAED,wBAAgB,cAAc,CAC5B,MAAM,EAAE,yBAAyB,GAChC,WAAW,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAS3C"}

package/dist/assurance/evaluate.js CHANGED Viewed

@@ -307,6 +307,15 @@ function failure(input, diagnostics) {
         diagnostics,
     };
 }
+function supportedAssuranceModel(input) {
+    if (input.modelVersion !== PLAN_ASSURANCE_MODEL_VERSION)
+        return false;
+    if (input.hashModelVersion !== PLAN_ASSURANCE_HASH_MODEL_VERSION && input.hashModelVersion !== 2)
+        return false;
+    const contractModel = input.hashModelVersion === 1
+        ? "Perttool.TaskPlanContract.v1" : "Perttool.TaskPlanContract.v2";
+    return input.tasks.every(({ contract }) => contract.model === contractModel);
+}
 export function evaluatePlanAssurance(input) {
     const tasksById = new Map();
     const diagnostics = [];
@@ -410,8 +419,7 @@ export function evaluatePlanAssurance(input) {
         return failure(input, [diagnostic("PTASSURE-101", "assurance model identities must be positive integers", null)]);
     }
     const coverage = coverageFor(input.tasks, input.frontierInputs);
-    if (input.modelVersion !== PLAN_ASSURANCE_MODEL_VERSION ||
-        input.hashModelVersion !== PLAN_ASSURANCE_HASH_MODEL_VERSION) {
+    if (!supportedAssuranceModel(input)) {
         const taskResults = taskIds.map((taskId) => unavailableResult(taskId, tasksById.get(taskId).seal?.acceptedBasisHash ?? null, directCause("unknown_model", taskId)));
         return {
             ok: true,