perttool 0.6.0 → 0.7.1

package/dist/assurance/authority.js

@@ -0,0 +1,269 @@
+import { compareStableStrings, } from "../model/diagnostics.js";
+export const PLAN_ASSURANCE_AUTHORITY_POLICY = "recommendation_v1_plus_release_gate_plus_plan_assurance_v1";
+const BASE_AUTHORITY_POLICY = "recommendation_v1_plus_release_gate";
+const RANKING_ALGORITHM_ID = "perttool.recommendation-ranking.lexicographic-frontier";
+function sortedUnique(values) {
+    return Object.freeze([...new Set(values)].sort(compareStableStrings));
+}
+function taskIdsWithStatus(evaluation, status) {
+    return evaluation.taskResults
+        .filter((result) => result.status === status)
+        .map((result) => result.taskId);
+}
+function rootTaskIds(results) {
+    return sortedUnique(results.flatMap((result) => [
+        ...result.directCauses,
+        ...result.inheritedCauses,
+    ].map((cause) => cause.rootTaskId)));
+}
+function requiredActions(evaluation) {
+    const unsealed = taskIdsWithStatus(evaluation, "unsealed");
+    const unavailable = taskIdsWithStatus(evaluation, "unavailable");
+    const actions = [];
+    if (evaluation.coverage === "unsealed" &&
+        unsealed.length === evaluation.taskResults.length) {
+        actions.push(Object.freeze({
+            kind: "initial_seal",
+            rootTaskIds: Object.freeze([]),
+            affectedTaskIds: sortedUnique(unsealed),
+        }));
+    }
+    else {
+        const affected = sortedUnique([
+            ...evaluation.replanRequiredTaskIds,
+            ...unsealed,
+        ]);
+        if (affected.length > 0) {
+            const affectedSet = new Set(affected);
+            const affectedResults = evaluation.taskResults.filter(({ taskId }) => affectedSet.has(taskId));
+            const roots = sortedUnique([
+                ...rootTaskIds(affectedResults),
+                ...unsealed,
+            ]);
+            actions.push(Object.freeze({
+                kind: "replan_and_reseal",
+                rootTaskIds: roots,
+                affectedTaskIds: affected,
+            }));
+        }
+    }
+    if (unavailable.length > 0) {
+        const unavailableSet = new Set(unavailable);
+        const unavailableResults = evaluation.taskResults.filter(({ taskId }) => unavailableSet.has(taskId));
+        const roots = rootTaskIds(unavailableResults);
+        actions.push(Object.freeze({
+            kind: "restore_assurance_evidence",
+            rootTaskIds: roots.length === 0 ? sortedUnique(unavailable) : roots,
+            affectedTaskIds: sortedUnique(unavailable),
+        }));
+    }
+    return Object.freeze(actions);
+}
+function projection(evaluation, activeTaskIds) {
+    if (!evaluation.ok || evaluation.coverage === null)
+        return null;
+    const active = new Set(activeTaskIds);
+    const activeAttentionRequiredTaskIds = evaluation.taskResults
+        .filter(({ taskId, status }) => active.has(taskId) &&
+        (status === "review_required" || status === "unavailable"))
+        .map(({ taskId }) => taskId);
+    return Object.freeze({
+        modelVersion: evaluation.modelVersion,
+        hashModelVersion: evaluation.hashModelVersion,
+        coverage: evaluation.coverage,
+        taskResults: evaluation.taskResults,
+        directMismatchTaskIds: evaluation.directMismatchTaskIds,
+        inheritedMismatchTaskIds: evaluation.inheritedMismatchTaskIds,
+        replanRequiredTaskIds: evaluation.replanRequiredTaskIds,
+        activeAttentionRequiredTaskIds: Object.freeze(activeAttentionRequiredTaskIds),
+        requiredActions: requiredActions(evaluation),
+    });
+}
+function assuranceDiagnostic(code, message, data) {
+    return Object.freeze({
+        code,
+        severity: "warning",
+        message,
+        data,
+        helpTopic: "plan-assurance",
+    });
+}
+function evaluationDiagnostics(evaluation, projected) {
+    const diagnostics = evaluation.diagnostics.map((item) => Object.freeze({
+        code: item.code,
+        severity: "error",
+        message: item.message,
+        ...(item.entityId === null ? {} : { entityId: item.entityId }),
+        data: item.data,
+        helpTopic: "plan-assurance",
+    }));
+    if (projected === null)
+        return Object.freeze(diagnostics);
+    if (projected.coverage === "unsealed" ||
+        projected.coverage === "partial") {
+        diagnostics.push(assuranceDiagnostic("PTASSURE-201", "enabled plan assurance has an unsealed or partially sealed task set", { coverage: projected.coverage }));
+    }
+    if (projected.replanRequiredTaskIds.length > 0) {
+        diagnostics.push(assuranceDiagnostic("PTASSURE-202", "accepted and computed planning bases differ", { task_ids: projected.replanRequiredTaskIds }));
+    }
+    const unavailableTaskIds = projected.taskResults
+        .filter(({ status }) => status === "unavailable")
+        .map(({ taskId }) => taskId);
+    if (unavailableTaskIds.length > 0) {
+        diagnostics.push(assuranceDiagnostic("PTASSURE-203", "plan assurance is unavailable for one or more tasks", { task_ids: unavailableTaskIds }));
+    }
+    if (projected.activeAttentionRequiredTaskIds.length > 0) {
+        diagnostics.push(assuranceDiagnostic("PTASSURE-204", "active work requires attention because its planning basis is no longer usable", { task_ids: projected.activeAttentionRequiredTaskIds }));
+    }
+    return Object.freeze(diagnostics);
+}
+function stateCounts(evaluation) {
+    const task = {
+        not_applicable: 0,
+        unsealed: 0,
+        conditional: 0,
+        verified: 0,
+        review_required: 0,
+        unavailable: 0,
+    };
+    const outcome = {
+        unfinished: 0,
+        conformant: 0,
+        changed: 0,
+        unavailable: 0,
+    };
+    for (const result of evaluation.taskResults) {
+        task[result.status] += 1;
+        outcome[result.outcomeStatus] += 1;
+    }
+    return Object.freeze({
+        task: Object.freeze(task),
+        outcome: Object.freeze(outcome),
+    });
+}
+export function projectPlanAssuranceCheck(evaluation, activeTaskIds = []) {
+    const assurance = projection(evaluation, activeTaskIds);
+    return Object.freeze({
+        ok: evaluation.ok,
+        assurance,
+        stateCounts: stateCounts(evaluation),
+        diagnostics: evaluationDiagnostics(evaluation, assurance),
+    });
+}
+export function projectPlanAssuranceAnalysis(evaluation, activeTaskIds = []) {
+    const assurance = projection(evaluation, activeTaskIds);
+    return Object.freeze({
+        ok: evaluation.ok,
+        assurance,
+        diagnostics: evaluationDiagnostics(evaluation, assurance),
+    });
+}
+function hasDuplicates(values) {
+    return new Set(values).size !== values.length;
+}
+function baseSafeStopReasons(input, evaluation) {
+    const reasons = [];
+    if (input.recommendationInterfaceVersion !== 1) {
+        reasons.push("unknown_recommendation_interface");
+    }
+    if (input.rankingAlgorithm.id !== RANKING_ALGORITHM_ID ||
+        input.rankingAlgorithm.version !== 1) {
+        reasons.push("unknown_ranking_algorithm");
+    }
+    if (input.reasonTaxonomyVersion !== "1.0" ||
+        input.explanationModelVersion !== 1 ||
+        input.expressionVersion !== 1 ||
+        input.descriptionRegistryVersion !== 1 ||
+        input.descriptionLocale !== "en") {
+        reasons.push("unknown_recommendation_contract");
+    }
+    if (input.temporalPolicy !== BASE_AUTHORITY_POLICY) {
+        reasons.push("unknown_temporal_authority_policy");
+    }
+    if (!input.traceComplete || input.diagnosticsTruncated) {
+        reasons.push("incomplete_recommendation_trace");
+    }
+    const raw = new Set(input.rawRecommendedTaskIds);
+    if (hasDuplicates(input.rawRecommendedTaskIds) ||
+        hasDuplicates(input.temporalStartableRecommendedTaskIds) ||
+        input.temporalStartableRecommendedTaskIds.some((id) => !raw.has(id))) {
+        reasons.push("invalid_recommendation_authority");
+    }
+    if (!evaluation.ok || evaluation.coverage === null) {
+        reasons.push("invalid_assurance_evaluation");
+    }
+    if (evaluation.modelVersion !== null &&
+        (evaluation.modelVersion !== 1 || evaluation.hashModelVersion !== 1)) {
+        reasons.push("unknown_assurance_model");
+    }
+    const resultIds = new Set(evaluation.taskResults.map(({ taskId }) => taskId));
+    if (input.temporalStartableRecommendedTaskIds.some((id) => !resultIds.has(id))) {
+        reasons.push("missing_assurance_task_result");
+    }
+    return Object.freeze([...new Set(reasons)]);
+}
+function authoritySafeStopDiagnostic(reasons, taskIds) {
+    return reasons.length === 0
+        ? null
+        : assuranceDiagnostic("PTASSURE-203", "plan-assurance start authority is unavailable for an unknown or incomplete input", { reason_codes: reasons, task_ids: taskIds });
+}
+export function composePlanAssuranceNextAuthority(evaluation, base, activeTaskIds = []) {
+    const assurance = projection(evaluation, activeTaskIds);
+    const reasons = baseSafeStopReasons(base, evaluation);
+    const complete = reasons.length === 0 && assurance !== null;
+    const statusById = new Map(evaluation.taskResults.map((result) => [result.taskId, result.status]));
+    const eligible = complete
+        ? evaluation.taskResults
+            .filter(({ status }) => status === "not_applicable" ||
+            status === "conditional" ||
+            status === "verified")
+            .map(({ taskId }) => taskId)
+        : [];
+    const eligibleSet = new Set(eligible);
+    const startable = complete
+        ? base.temporalStartableRecommendedTaskIds.filter((id) => eligibleSet.has(id))
+        : [];
+    const withheld = complete
+        ? base.temporalStartableRecommendedTaskIds.filter((id) => !eligibleSet.has(id))
+        : [...base.temporalStartableRecommendedTaskIds];
+    const unavailable = complete
+        ? withheld.filter((id) => statusById.get(id) === "unavailable")
+        : [...base.temporalStartableRecommendedTaskIds];
+    const authority = Object.freeze({
+        policy: PLAN_ASSURANCE_AUTHORITY_POLICY,
+        complete,
+        recommendationAlgorithm: Object.freeze({
+            id: base.rankingAlgorithm.id,
+            version: base.rankingAlgorithm.version,
+        }),
+        rawRecommendedTaskIds: Object.freeze([...base.rawRecommendedTaskIds]),
+        temporalStartableRecommendedTaskIds: Object.freeze([...base.temporalStartableRecommendedTaskIds]),
+        assuranceEligibleTaskIds: Object.freeze(eligible),
+        startableRecommendedTaskIds: Object.freeze(startable),
+        assuranceWithheldRecommendedTaskIds: Object.freeze(withheld),
+        assuranceUnavailableRecommendedTaskIds: Object.freeze(unavailable),
+        safeStopReasons: reasons,
+    });
+    const diagnostics = [...evaluationDiagnostics(evaluation, assurance)];
+    const safeStop = authoritySafeStopDiagnostic(reasons, base.temporalStartableRecommendedTaskIds);
+    if (safeStop !== null)
+        diagnostics.push(safeStop);
+    return Object.freeze({
+        ok: evaluation.ok,
+        assurance,
+        authority,
+        diagnostics: Object.freeze(diagnostics),
+    });
+}
+export function composePlanAssuranceMutationImpact(affectedTaskIds, before, after, activeTaskIdsBefore = [], activeTaskIdsAfter = activeTaskIdsBefore) {
+    const beforeProjection = projection(before, activeTaskIdsBefore);
+    const afterProjection = projection(after, activeTaskIdsAfter);
+    return Object.freeze({
+        modelVersion: 1,
+        affectedTaskIds: sortedUnique(affectedTaskIds),
+        before: beforeProjection,
+        after: afterProjection,
+        diagnostics: evaluationDiagnostics(after, afterProjection),
+    });
+}
+//# sourceMappingURL=authority.js.map

package/dist/assurance/authority.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"authority.js","sourceRoot":"","sources":["../../src/assurance/authority.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,GAErB,MAAM,yBAAyB,CAAC;AAQjC,MAAM,CAAC,MAAM,+BAA+B,GAC1C,4DAAqE,CAAC;AAExE,MAAM,qBAAqB,GAAG,qCAA8C,CAAC;AAC7E,MAAM,oBAAoB,GACxB,wDAAiE,CAAC;AAuGpE,SAAS,YAAY,CAAC,MAAyB;IAC7C,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,iBAAiB,CACxB,UAAqC,EACrC,MAA+B;IAE/B,OAAO,UAAU,CAAC,WAAW;SAC1B,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC;SAC5C,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,WAAW,CAClB,OAA6C;IAE7C,OAAO,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAC9C,GAAG,MAAM,CAAC,YAAY;QACtB,GAAG,MAAM,CAAC,eAAe;KAC1B,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;AACvC,CAAC;AAED,SAAS,eAAe,CACtB,UAAqC;IAErC,MAAM,QAAQ,GAAG,iBAAiB,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IAC3D,MAAM,WAAW,GAAG,iBAAiB,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;IACjE,MAAM,OAAO,GAAoC,EAAE,CAAC;IACpD,IACE,UAAU,CAAC,QAAQ,KAAK,UAAU;QAClC,QAAQ,CAAC,MAAM,KAAK,UAAU,CAAC,WAAW,CAAC,MAAM,EACjD,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;YACzB,IAAI,EAAE,cAAuB;YAC7B,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9B,eAAe,EAAE,YAAY,CAAC,QAAQ,CAAC;SACxC,CAAC,CAAC,CAAC;IACN,CAAC;SAAM,CAAC;QACN,MAAM,QAAQ,GAAG,YAAY,CAAC;YAC5B,GAAG,UAAU,CAAC,qBAAqB;YACnC,GAAG,QAAQ;SACZ,CAAC,CAAC;QACH,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;YACtC,MAAM,eAAe,GAAG,UAAU,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CACnE,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CACxB,CAAC;YACF,MAAM,KAAK,GAAG,YAAY,CAAC;gBACzB,GAAG,WAAW,CAAC,eAAe,CAAC;gBAC/B,GAAG,QAAQ;aACZ,CAAC,CAAC;YACH,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACzB,IAAI,EAAE,mBAA4B;gBAClC,WAAW,EAAE,KAAK;gBAClB,eAAe,EAAE,QAAQ;aAC1B,CAAC,CAAC,CAAC;QACN,CAAC;IACH,CAAC;IACD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,CAAC;QAC5C,MAAM,kBAAkB,GAAG,UAAU,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CACtE,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAC3B,CAAC;QACF,MAAM,KAAK,GAAG,WAAW,CAAC,kBAAkB,CAAC,CAAC;QAC9C,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;YACzB,IAAI,EAAE,4BAAqC;YAC3C,WAAW,EAAE,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,KAAK;YACnE,eAAe,EAAE,YAAY,CAAC,WAAW,CAAC;SAC3C,CAAC,CAAC,CAAC;IACN,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,UAAU,CACjB,UAAqC,EACrC,aAAgC;IAEhC,IAAI,CAAC,UAAU,CAAC,EAAE,IAAI,UAAU,CAAC,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC;IACtC,MAAM,8BAA8B,GAAG,UAAU,CAAC,WAAW;SAC1D,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,CAC7B,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;QAClB,CAAC,MAAM,KAAK,iBAAiB,IAAI,MAAM,KAAK,aAAa,CAAC,CAC3D;SACA,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;IAC/B,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,YAAY,EAAE,UAAU,CAAC,YAAY;QACrC,gBAAgB,EAAE,UAAU,CAAC,gBAAgB;QAC7C,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,WAAW,EAAE,UAAU,CAAC,WAAW;QACnC,qBAAqB,EAAE,UAAU,CAAC,qBAAqB;QACvD,wBAAwB,EAAE,UAAU,CAAC,wBAAwB;QAC7D,qBAAqB,EAAE,UAAU,CAAC,qBAAqB;QACvD,8BAA8B,EAC5B,MAAM,CAAC,MAAM,CAAC,8BAA8B,CAAC;QAC/C,eAAe,EAAE,eAAe,CAAC,UAAU,CAAC;KAC7C,CAAC,CAAC;AACL,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAAuE,EACvE,OAAe,EACf,IAAuC;IAEvC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI;QACJ,QAAQ,EAAE,SAAkB;QAC5B,OAAO;QACP,IAAI;QACJ,SAAS,EAAE,gBAAgB;KAC5B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAC5B,UAAqC,EACrC,SAA2C;IAE3C,MAAM,WAAW,GAAiB,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACpE,MAAM,CAAC,MAAM,CAAC;QACZ,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,QAAQ,EAAE,OAAgB;QAC1B,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC9D,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,SAAS,EAAE,gBAAgB;KAC5B,CAAC,CACH,CAAC;IACF,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAC1D,IACE,SAAS,CAAC,QAAQ,KAAK,UAAU;QACjC,SAAS,CAAC,QAAQ,KAAK,SAAS,EAChC,CAAC;QACD,WAAW,CAAC,IAAI,CAAC,mBAAmB,CAClC,cAAc,EACd,qEAAqE,EACrE,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,CACjC,CAAC,CAAC;IACL,CAAC;IACD,IAAI,SAAS,CAAC,qBAAqB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/C,WAAW,CAAC,IAAI,CAAC,mBAAmB,CAClC,cAAc,EACd,6CAA6C,EAC7C,EAAE,QAAQ,EAAE,SAAS,CAAC,qBAAqB,EAAE,CAC9C,CAAC,CAAC;IACL,CAAC;IACD,MAAM,kBAAkB,GAAG,SAAS,CAAC,WAAW;SAC7C,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,KAAK,aAAa,CAAC;SAChD,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;IAC/B,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,WAAW,CAAC,IAAI,CAAC,mBAAmB,CAClC,cAAc,EACd,qDAAqD,EACrD,EAAE,QAAQ,EAAE,kBAAkB,EAAE,CACjC,CAAC,CAAC;IACL,CAAC;IACD,IAAI,SAAS,CAAC,8BAA8B,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxD,WAAW,CAAC,IAAI,CAAC,mBAAmB,CAClC,cAAc,EACd,+EAA+E,EAC/E,EAAE,QAAQ,EAAE,SAAS,CAAC,8BAA8B,EAAE,CACvD,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,WAAW,CAClB,UAAqC;IAErC,MAAM,IAAI,GAA4C;QACpD,cAAc,EAAE,CAAC;QACjB,QAAQ,EAAE,CAAC;QACX,WAAW,EAAE,CAAC;QACd,QAAQ,EAAE,CAAC;QACX,eAAe,EAAE,CAAC;QAClB,WAAW,EAAE,CAAC;KACf,CAAC;IACF,MAAM,OAAO,GAA+C;QAC1D,UAAU,EAAE,CAAC;QACb,UAAU,EAAE,CAAC;QACb,OAAO,EAAE,CAAC;QACV,WAAW,EAAE,CAAC;KACf,CAAC;IACF,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;QAC5C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACzB,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;QACzB,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;KAChC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,UAAqC,EACrC,aAAa,GAAsB,EAAE;IAErC,MAAM,SAAS,GAAG,UAAU,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;IACxD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,UAAU,CAAC,EAAE;QACjB,SAAS;QACT,WAAW,EAAE,WAAW,CAAC,UAAU,CAAC;QACpC,WAAW,EAAE,qBAAqB,CAAC,UAAU,EAAE,SAAS,CAAC;KAC1D,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,UAAqC,EACrC,aAAa,GAAsB,EAAE;IAErC,MAAM,SAAS,GAAG,UAAU,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;IACxD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,UAAU,CAAC,EAAE;QACjB,SAAS;QACT,WAAW,EAAE,qBAAqB,CAAC,UAAU,EAAE,SAAS,CAAC;KAC1D,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CAAC,MAAyB;IAC9C,OAAO,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM,CAAC;AAChD,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAwC,EACxC,UAAqC;IAErC,MAAM,OAAO,GAA2C,EAAE,CAAC;IAC3D,IAAI,KAAK,CAAC,8BAA8B,KAAK,CAAC,EAAE,CAAC;QAC/C,OAAO,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;IACnD,CAAC;IACD,IACE,KAAK,CAAC,gBAAgB,CAAC,EAAE,KAAK,oBAAoB;QAClD,KAAK,CAAC,gBAAgB,CAAC,OAAO,KAAK,CAAC,EACpC,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;IAC5C,CAAC;IACD,IACE,KAAK,CAAC,qBAAqB,KAAK,KAAK;QACrC,KAAK,CAAC,uBAAuB,KAAK,CAAC;QACnC,KAAK,CAAC,iBAAiB,KAAK,CAAC;QAC7B,KAAK,CAAC,0BAA0B,KAAK,CAAC;QACtC,KAAK,CAAC,iBAAiB,KAAK,IAAI,EAChC,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,KAAK,CAAC,cAAc,KAAK,qBAAqB,EAAE,CAAC;QACnD,OAAO,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,aAAa,IAAI,KAAK,CAAC,oBAAoB,EAAE,CAAC;QACvD,OAAO,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAClD,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;IACjD,IACE,aAAa,CAAC,KAAK,CAAC,qBAAqB,CAAC;QAC1C,aAAa,CAAC,KAAK,CAAC,mCAAmC,CAAC;QACxD,KAAK,CAAC,mCAAmC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EACpE,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;IACnD,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,EAAE,IAAI,UAAU,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QACnD,OAAO,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IAC/C,CAAC;IACD,IACE,UAAU,CAAC,YAAY,KAAK,IAAI;QAChC,CAAC,UAAU,CAAC,YAAY,KAAK,CAAC,IAAI,UAAU,CAAC,gBAAgB,KAAK,CAAC,CAAC,EACpE,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IAC1C,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9E,IACE,KAAK,CAAC,mCAAmC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAC1E,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,2BAA2B,CAClC,OAAwD,EACxD,OAA0B;IAE1B,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC;QACzB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,mBAAmB,CACjB,cAAc,EACd,kFAAkF,EAClF,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAC7C,CAAC;AACR,CAAC;AAED,MAAM,UAAU,iCAAiC,CAC/C,UAAqC,EACrC,IAAuC,EACvC,aAAa,GAAsB,EAAE;IAErC,MAAM,SAAS,GAAG,UAAU,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,mBAAmB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,KAAK,IAAI,CAAC;IAC5D,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CACvE,CAAC;IACF,MAAM,QAAQ,GAAG,QAAQ;QACvB,CAAC,CAAC,UAAU,CAAC,WAAW;aACnB,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CACrB,MAAM,KAAK,gBAAgB;YAC3B,MAAM,KAAK,aAAa;YACxB,MAAM,KAAK,UAAU,CACtB;aACA,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC;QAChC,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;IACtC,MAAM,SAAS,GAAG,QAAQ;QACxB,CAAC,CAAC,IAAI,CAAC,mCAAmC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CACrD,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CACpB;QACH,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,QAAQ,GAAG,QAAQ;QACvB,CAAC,CAAC,IAAI,CAAC,mCAAmC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CACrD,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CACrB;QACH,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAClD,MAAM,WAAW,GAAG,QAAQ;QAC1B,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,aAAa,CAAC;QAC/D,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC;QAC9B,MAAM,EAAE,+BAA+B;QACvC,QAAQ;QACR,uBAAuB,EAAE,MAAM,CAAC,MAAM,CAAC;YACrC,EAAE,EAAE,IAAI,CAAC,gBAAgB,CAAC,EAAE;YAC5B,OAAO,EAAE,IAAI,CAAC,gBAAgB,CAAC,OAAO;SACvC,CAAC;QACF,qBAAqB,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,qBAAqB,CAAC,CAAC;QACrE,mCAAmC,EACjC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,mCAAmC,CAAC,CAAC;QAC9D,wBAAwB,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;QACjD,2BAA2B,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC;QACrD,mCAAmC,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;QAC5D,sCAAsC,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;QAClE,eAAe,EAAE,OAAO;KACzB,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,CAAC,GAAG,qBAAqB,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;IACtE,MAAM,QAAQ,GAAG,2BAA2B,CAC1C,OAAO,EACP,IAAI,CAAC,mCAAmC,CACzC,CAAC;IACF,IAAI,QAAQ,KAAK,IAAI;QAAE,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,UAAU,CAAC,EAAE;QACjB,SAAS;QACT,SAAS;QACT,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;KACxC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,kCAAkC,CAChD,eAAkC,EAClC,MAAiC,EACjC,KAAgC,EAChC,mBAAmB,GAAsB,EAAE,EAC3C,kBAAkB,GAAsB,mBAAmB;IAE3D,MAAM,gBAAgB,GAAG,UAAU,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;IACjE,MAAM,eAAe,GAAG,UAAU,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;IAC9D,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,YAAY,EAAE,CAAU;QACxB,eAAe,EAAE,YAAY,CAAC,eAAe,CAAC;QAC9C,MAAM,EAAE,gBAAgB;QACxB,KAAK,EAAE,eAAe;QACtB,WAAW,EAAE,qBAAqB,CAAC,KAAK,EAAE,eAAe,CAAC;KAC3D,CAAC,CAAC;AACL,CAAC"}

package/dist/assurance/canonical.d.ts

@@ -0,0 +1,13 @@
+import type { AcceptedPlanningInputV1, FrontierAssuranceReceiptContractV1, Sha256Digest, TaskPlanContractV1 } 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 taskPlanBasisRecord(contractHash: Sha256Digest, planningInputs: readonly AcceptedPlanningInputV1[]): unknown;
+export declare function hashTaskPlanBasis(contractHash: Sha256Digest, planningInputs: readonly AcceptedPlanningInputV1[]): Sha256Digest;
+export declare function hashChangedOutcomeContract(summary: string): Sha256Digest;
+export declare function hashTaskOutcomeCommitment(taskId: string, againstBasisHash: Sha256Digest, summary: string): Sha256Digest;
+export declare function frontierAssuranceReceiptRecord(receipt: FrontierAssuranceReceiptContractV1): unknown;
+export declare function hashFrontierAssuranceReceipt(receipt: FrontierAssuranceReceiptContractV1): Sha256Digest;
+//# sourceMappingURL=canonical.d.ts.map

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

@@ -0,0 +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"}

package/dist/assurance/canonical.js

@@ -0,0 +1,320 @@
+import { createHash } from "node:crypto";
+import { compareStableStrings } from "../model/diagnostics.js";
+const canonicalUnsignedInteger = /^(?:0|[1-9][0-9]*)$/;
+const sha256DigestPattern = /^sha256:[0-9a-f]{64}$/;
+function compareUnicodeScalars(left, right) {
+    const leftScalars = Array.from(left, (value) => value.codePointAt(0));
+    const rightScalars = Array.from(right, (value) => value.codePointAt(0));
+    const common = Math.min(leftScalars.length, rightScalars.length);
+    for (let index = 0; index < common; index += 1) {
+        const difference = leftScalars[index] - rightScalars[index];
+        if (difference !== 0)
+            return difference;
+    }
+    return leftScalars.length - rightScalars.length;
+}
+function assertUnicodeScalars(value) {
+    if (typeof value !== "string") {
+        throw new Error("canonical JSON string value is not a string");
+    }
+    for (let index = 0; index < value.length; index += 1) {
+        const code = value.charCodeAt(index);
+        if (code >= 0xd800 && code <= 0xdbff) {
+            const next = value.charCodeAt(index + 1);
+            if (!(next >= 0xdc00 && next <= 0xdfff)) {
+                throw new Error("canonical JSON string contains a lone high surrogate");
+            }
+            index += 1;
+        }
+        else if (code >= 0xdc00 && code <= 0xdfff) {
+            throw new Error("canonical JSON string contains a lone low surrogate");
+        }
+    }
+}
+function encodeCanonicalJson(value) {
+    if (value === null)
+        return "null";
+    if (typeof value === "string") {
+        assertUnicodeScalars(value);
+        return JSON.stringify(value);
+    }
+    if (typeof value === "boolean")
+        return value ? "true" : "false";
+    if (typeof value === "number") {
+        if (!Number.isSafeInteger(value)) {
+            throw new Error("canonical JSON numbers must be safe integers");
+        }
+        return String(value);
+    }
+    if (Array.isArray(value)) {
+        return `[${value.map((item) => encodeCanonicalJson(item)).join(",")}]`;
+    }
+    if (typeof value !== "object") {
+        throw new Error("canonical JSON value is unsupported");
+    }
+    const entries = Object.entries(value);
+    return `{${entries.map(([key, item]) => {
+        if (item === undefined) {
+            throw new Error(`canonical JSON field ${key} is undefined`);
+        }
+        return `${encodeCanonicalJson(key)}:${encodeCanonicalJson(item)}`;
+    }).join(",")}}`;
+}
+export function canonicalJson(value) {
+    return encodeCanonicalJson(value);
+}
+export function sha256Canonical(value) {
+    return `sha256:${createHash("sha256").update(canonicalJson(value), "utf8").digest("hex")}`;
+}
+export function isSha256Digest(value) {
+    return sha256DigestPattern.test(value);
+}
+function greatestCommonDivisor(left, right) {
+    let a = left < 0n ? -left : left;
+    let b = right < 0n ? -right : right;
+    while (b !== 0n) {
+        [a, b] = [b, a % b];
+    }
+    return a;
+}
+function assertExactValue(value, context) {
+    if (typeof value.numerator !== "string" ||
+        typeof value.denominator !== "string" ||
+        !canonicalUnsignedInteger.test(value.numerator) ||
+        !canonicalUnsignedInteger.test(value.denominator) ||
+        value.denominator === "0") {
+        throw new Error(`${context} has a non-canonical exact value`);
+    }
+    if (greatestCommonDivisor(BigInt(value.numerator), BigInt(value.denominator)) !==
+        1n) {
+        throw new Error(`${context} exact value is not reduced`);
+    }
+    if (!["day", "hour", "point"].includes(value.unit)) {
+        throw new Error(`${context} has an unknown unit`);
+    }
+}
+function exactValueRecord(value) {
+    return {
+        numerator: value.numerator,
+        denominator: value.denominator,
+        unit: value.unit,
+    };
+}
+function timingRecord(value) {
+    if (value.kind === "duration") {
+        assertExactValue(value.value, "duration");
+        return { kind: "duration", value: exactValueRecord(value.value) };
+    }
+    assertExactValue(value.optimistic, "optimistic estimate");
+    assertExactValue(value.mostLikely, "most-likely estimate");
+    assertExactValue(value.pessimistic, "pessimistic estimate");
+    if (value.optimistic.unit !== value.mostLikely.unit ||
+        value.optimistic.unit !== value.pessimistic.unit) {
+        throw new Error("estimate components use different units");
+    }
+    return {
+        kind: "estimate",
+        optimistic: exactValueRecord(value.optimistic),
+        most_likely: exactValueRecord(value.mostLikely),
+        pessimistic: exactValueRecord(value.pessimistic),
+    };
+}
+function calendarRecord(value) {
+    if (value.kind !== "date" && value.kind !== "date_time") {
+        throw new Error("calendar value has an unknown kind");
+    }
+    const integers = [value.year, value.month, value.day];
+    if (!integers.every(Number.isSafeInteger)) {
+        throw new Error("calendar value contains a non-integer field");
+    }
+    if (value.kind === "date") {
+        return {
+            kind: "date",
+            year: value.year,
+            month: value.month,
+            day: value.day,
+        };
+    }
+    if (!Number.isSafeInteger(value.hour) ||
+        !Number.isSafeInteger(value.minute) ||
+        !Number.isSafeInteger(value.offsetMinutes) ||
+        typeof value.second.numerator !== "string" ||
+        typeof value.second.denominator !== "string" ||
+        !canonicalUnsignedInteger.test(value.second.numerator) ||
+        !canonicalUnsignedInteger.test(value.second.denominator) ||
+        value.second.denominator === "0" ||
+        greatestCommonDivisor(BigInt(value.second.numerator), BigInt(value.second.denominator)) !== 1n) {
+        throw new Error("date-time contains a non-canonical field");
+    }
+    return {
+        kind: "date_time",
+        year: value.year,
+        month: value.month,
+        day: value.day,
+        hour: value.hour,
+        minute: value.minute,
+        second: {
+            numerator: value.second.numerator,
+            denominator: value.second.denominator,
+        },
+        offset_minutes: value.offsetMinutes,
+    };
+}
+export function taskPlanContractRecord(contract) {
+    if (contract.model !== "Perttool.TaskPlanContract.v1") {
+        throw new Error("unknown task plan contract model");
+    }
+    for (const value of [
+        contract.taskId,
+        contract.fromMilestoneId,
+        contract.toMilestoneId,
+        contract.title,
+        contract.description,
+        contract.owner,
+        contract.source,
+        ...contract.tags,
+        ...contract.requirements.map(({ resourceId }) => resourceId),
+    ]) {
+        if (value !== null)
+            assertUnicodeScalars(value);
+    }
+    if (contract.taskId.length === 0 ||
+        contract.fromMilestoneId.length === 0 ||
+        contract.toMilestoneId.length === 0) {
+        throw new Error("task and milestone IDs must not be empty");
+    }
+    if (!Number.isSafeInteger(contract.priority)) {
+        throw new Error("task priority must be a safe integer");
+    }
+    const requirements = [...contract.requirements].sort((left, right) => compareStableStrings(left.resourceId, right.resourceId));
+    if (requirements.some(({ units }, index) => !Number.isSafeInteger(units) ||
+        units <= 0 ||
+        (index > 0 &&
+            requirements[index - 1].resourceId === requirements[index].resourceId))) {
+        throw new Error("task requirements must be unique positive integers");
+    }
+    const tags = [...contract.tags].sort(compareUnicodeScalars);
+    if (tags.some((tag, index) => index > 0 && tags[index - 1] === tag)) {
+        throw new Error("task tags must be unique");
+    }
+    return {
+        model: "Perttool.TaskPlanContract.v1",
+        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),
+        deadline: contract.deadline === null
+            ? null
+            : calendarRecord(contract.deadline),
+        priority: contract.priority,
+        requirements: requirements.map(({ resourceId, units }) => ({
+            resource_id: resourceId,
+            units,
+        })),
+        owner: contract.owner,
+        tags,
+        source: contract.source,
+    };
+}
+export function hashTaskPlanContract(contract) {
+    return sha256Canonical(taskPlanContractRecord(contract));
+}
+export function taskPlanBasisRecord(contractHash, planningInputs) {
+    if (!isSha256Digest(contractHash)) {
+        throw new Error("task contract hash is not canonical SHA-256");
+    }
+    const inputs = [...planningInputs].sort((left, right) => compareStableStrings(left.predecessorTaskId, right.predecessorTaskId));
+    if (inputs.some((input, index) => typeof input.predecessorTaskId !== "string" ||
+        input.predecessorTaskId.length === 0 ||
+        (input.relationMode !== "both" &&
+            input.relationMode !== "planning_only") ||
+        !isSha256Digest(input.assuranceHash) ||
+        (index > 0 &&
+            inputs[index - 1].predecessorTaskId === input.predecessorTaskId))) {
+        throw new Error("planning inputs must have nonempty IDs, planning modes, and unique canonical commitments");
+    }
+    return {
+        model: "Perttool.TaskPlanBasis.v1",
+        task_contract_hash: contractHash,
+        planning_inputs: inputs.map((input) => ({
+            predecessor_task_id: input.predecessorTaskId,
+            relation_mode: input.relationMode,
+            assurance_hash: input.assuranceHash,
+        })),
+    };
+}
+export function hashTaskPlanBasis(contractHash, planningInputs) {
+    return sha256Canonical(taskPlanBasisRecord(contractHash, planningInputs));
+}
+export function hashChangedOutcomeContract(summary) {
+    if (typeof summary !== "string" || summary.length === 0) {
+        throw new Error("changed outcome summary must not be empty");
+    }
+    assertUnicodeScalars(summary);
+    return sha256Canonical({
+        model: "Perttool.ChangedTaskOutcomeContract.v1",
+        summary,
+    });
+}
+export function hashTaskOutcomeCommitment(taskId, againstBasisHash, summary) {
+    if (typeof taskId !== "string" || taskId.length === 0) {
+        throw new Error("outcome task ID must not be empty");
+    }
+    if (!isSha256Digest(againstBasisHash)) {
+        throw new Error("outcome basis hash is not canonical SHA-256");
+    }
+    return sha256Canonical({
+        model: "Perttool.TaskOutcomeCommitment.v1",
+        task_id: taskId,
+        against_basis_hash: againstBasisHash,
+        changed_outcome_contract_hash: hashChangedOutcomeContract(summary),
+    });
+}
+export function frontierAssuranceReceiptRecord(receipt) {
+    if (receipt.model !== "Perttool.FrontierAssuranceReceipt.v1") {
+        throw new Error("unknown frontier assurance receipt model");
+    }
+    if (receipt.producerTaskId.length === 0 ||
+        !isSha256Digest(receipt.producerTaskContractHash) ||
+        !isSha256Digest(receipt.producerAssuranceHash) ||
+        (receipt.outcome !== "conformant" && receipt.outcome !== "changed")) {
+        throw new Error("frontier assurance receipt contains an invalid producer");
+    }
+    const consumers = [...receipt.consumers].sort((left, right) => compareStableStrings(left.consumerTaskId, right.consumerTaskId));
+    if (consumers.some((consumer, index) => consumer.consumerTaskId.length === 0 ||
+        (consumer.relationMode !== "both" &&
+            consumer.relationMode !== "planning_only") ||
+        (index > 0 &&
+            consumers[index - 1].consumerTaskId === consumer.consumerTaskId))) {
+        throw new Error("frontier assurance receipt consumers are invalid");
+    }
+    for (const value of [
+        receipt.producerTaskId,
+        receipt.sourceMilestoneId,
+        ...consumers.map(({ consumerTaskId }) => consumerTaskId),
+    ]) {
+        if (value !== null)
+            assertUnicodeScalars(value);
+    }
+    return {
+        model: "Perttool.FrontierAssuranceReceipt.v1",
+        producer_task_id: receipt.producerTaskId,
+        producer_task_contract_hash: receipt.producerTaskContractHash,
+        producer_assurance_hash: receipt.producerAssuranceHash,
+        outcome: receipt.outcome,
+        consumers: consumers.map(({ consumerTaskId, relationMode }) => ({
+            consumer_task_id: consumerTaskId,
+            relation_mode: relationMode,
+        })),
+        source_milestone_id: receipt.sourceMilestoneId,
+    };
+}
+export function hashFrontierAssuranceReceipt(receipt) {
+    return sha256Canonical(frontierAssuranceReceiptRecord(receipt));
+}
+//# sourceMappingURL=canonical.js.map

package/dist/assurance/canonical.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonical.js","sourceRoot":"","sources":["../../src/assurance/canonical.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,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,UAAU,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AAC7F,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"}