perttool 0.9.4 → 0.10.1

package/dist/application/contract9-assurance.js

@@ -0,0 +1,114 @@
+import { evaluatePlanAssurance } from "../assurance/evaluate.js";
+import { projectPlanAssuranceAnalysis } from "../assurance/authority.js";
+import { projectPlanAssuranceInput } from "../assurance/source.js";
+import { sha256DigestUtf8 } from "../model/sha256.js";
+import { inspectPlanAssurance as inspectContract8PlanAssurance } from "./contract8-milestone-acceptance.js";
+import { milestoneAcceptanceBaseText } from "../milestone-acceptance/source.js";
+import { TARGET_GRAMMAR_6_CAPABILITY } from "../parser/document-parser.js";
+import { validateTargetGrammar6Document } from "../semantic/target-validator.js";
+import { scanTemporalDeclarationBlocks, temporalScheduleBaseText } from "../temporal-schedule/source-lexical.js";
+import { parseTemporalScheduleSource, TEMPORAL_SCHEDULE_SOURCE_CAPABILITY } from "../temporal-schedule/source.js";
+function gcd(left, right) {
+    let a = left;
+    let b = right;
+    while (b !== 0n)
+        [a, b] = [b, a % b];
+    return a;
+}
+function calendar(value) {
+    const match = /^(\d{4})-(\d{2})-(\d{2})T(\d{2}):(\d{2}):(\d{2}(?:\.\d+)?)(Z|[+-]\d{2}:\d{2})$/u.exec(value.sourceText);
+    if (match === null)
+        throw new Error("validated Grammar 8 task bound is not canonical date-time source");
+    const secondText = match[6];
+    const [whole, fraction = ""] = secondText.split(".");
+    const denominator = 10n ** BigInt(fraction.length);
+    const rawNumerator = BigInt(whole) * denominator + BigInt(fraction || "0");
+    const divisor = gcd(rawNumerator, denominator);
+    const numerator = rawNumerator / divisor;
+    const reducedDenominator = denominator / divisor;
+    const offset = match[7] === "Z" ? 0 : (match[7].startsWith("-") ? -1 : 1) *
+        (Number(match[7].slice(1, 3)) * 60 + Number(match[7].slice(4, 6)));
+    return Object.freeze({ kind: "date_time", year: Number(match[1]), month: Number(match[2]), day: Number(match[3]),
+        hour: Number(match[4]), minute: Number(match[5]), second: Object.freeze({ numerator: numerator.toString(), denominator: reducedDenominator.toString() }),
+        offsetMinutes: offset });
+}
+function bound(bounds, taskId, event, direction) {
+    const value = bounds.find((item) => item.entityId === taskId && item.event === event && item.direction === direction);
+    return value === undefined ? null : calendar(value.value);
+}
+function contractV2(contract, bounds) {
+    const { notBefore: _notBefore, ...retained } = contract;
+    return Object.freeze({ ...retained, model: "Perttool.TaskPlanContract.v2", when: Object.freeze({
+            startEarliest: bound(bounds, contract.taskId, "start", "earliest"),
+            startLatest: bound(bounds, contract.taskId, "start", "latest"),
+            finishEarliest: bound(bounds, contract.taskId, "finish", "earliest"),
+            finishLatest: bound(bounds, contract.taskId, "finish", "latest"),
+        }) });
+}
+export function evaluateContract9PlanAssurance(text) {
+    const temporal = parseTemporalScheduleSource(text, TEMPORAL_SCHEDULE_SOURCE_CAPABILITY);
+    if (!temporal.ok || temporal.model === null || temporal.grammarVersion !== 8)
+        return null;
+    const grammar7 = temporalScheduleBaseText(text, scanTemporalDeclarationBlocks(text));
+    const grammar6 = milestoneAcceptanceBaseText(grammar7);
+    const checked = validateTargetGrammar6Document(grammar6, TARGET_GRAMMAR_6_CAPABILITY);
+    if (!checked.ok || checked.validatedDocument === null)
+        return null;
+    const input = projectPlanAssuranceInput(checked.validatedDocument);
+    const tasks = input.tasks.map((task) => Object.freeze({ ...task,
+        contract: contractV2(task.contract, temporal.model.taskBounds) }));
+    return evaluatePlanAssurance(Object.freeze({ ...input, tasks: Object.freeze(tasks) }));
+}
+function selectedProjection(value, ids) {
+    if (ids.length === 0)
+        return value;
+    const selected = new Set(ids);
+    const filter = (values) => Object.freeze(values.filter((id) => selected.has(id)));
+    const actions = Object.freeze(value.requiredActions.flatMap((action) => {
+        const affectedTaskIds = filter(action.affectedTaskIds);
+        return affectedTaskIds.length === 0 ? [] : [Object.freeze({ ...action, affectedTaskIds })];
+    }));
+    return Object.freeze({ ...value, taskResults: Object.freeze(value.taskResults.filter(({ taskId }) => selected.has(taskId))),
+        directMismatchTaskIds: filter(value.directMismatchTaskIds), inheritedMismatchTaskIds: filter(value.inheritedMismatchTaskIds),
+        replanRequiredTaskIds: filter(value.replanRequiredTaskIds), activeAttentionRequiredTaskIds: filter(value.activeAttentionRequiredTaskIds),
+        requiredActions: actions });
+}
+function inspectionDiagnostic(code, message, taskId) {
+    return Object.freeze({ code, severity: "error", message, entityId: taskId,
+        helpTopic: "plan-assurance", data: Object.freeze({ task_id: taskId }) });
+}
+export function inspectContract9PlanAssurance(text, request) {
+    const temporal = parseTemporalScheduleSource(text, TEMPORAL_SCHEDULE_SOURCE_CAPABILITY);
+    if (temporal.grammarVersion !== 8) {
+        const legacy = inspectContract8PlanAssurance(text, request, TARGET_GRAMMAR_6_CAPABILITY);
+        return Object.freeze({ ...legacy, schemaVersion: "Perttool.PlanAssuranceResult.v2", cliContractVersion: 9 });
+    }
+    const evaluation = evaluateContract9PlanAssurance(text);
+    const common = { schemaVersion: "Perttool.PlanAssuranceResult.v2", cliContractVersion: 9,
+        operation: request.operation, documentId: temporal.documentId, grammarVersion: 8, sourceDigest: sha256DigestUtf8(text) };
+    if (evaluation === null)
+        return Object.freeze({ ...common, ok: false, selectedTaskIds: Object.freeze([]), taskId: null,
+            kind: null, selectedHash: null, assurance: null, diagnostics: Object.freeze(temporal.diagnostics),
+            diagnosticsTruncated: temporal.diagnosticsTruncated });
+    const projected = projectPlanAssuranceAnalysis(evaluation, []).assurance;
+    const requestedIds = request.operation === "plan-assurance.show" ? [...new Set(request.taskIds ?? [])] : [request.taskId];
+    const known = new Set(projected.taskResults.map(({ taskId }) => taskId));
+    const unknown = requestedIds.find((id) => !known.has(id));
+    if (unknown !== undefined)
+        return Object.freeze({ ...common, ok: false, selectedTaskIds: Object.freeze(requestedIds),
+            taskId: request.operation === "plan-assurance.hash" ? request.taskId : null,
+            kind: request.operation === "plan-assurance.hash" ? request.kind : null, selectedHash: null, assurance: null,
+            diagnostics: Object.freeze([inspectionDiagnostic("PTASSURE-302", `task ${unknown} does not exist`, unknown)]), diagnosticsTruncated: false });
+    const selectedTaskIds = Object.freeze(projected.taskResults.filter(({ taskId }) => requestedIds.length === 0 || requestedIds.includes(taskId)).map(({ taskId }) => taskId));
+    const assurance = selectedProjection(projected, selectedTaskIds);
+    if (request.operation === "plan-assurance.show")
+        return Object.freeze({ ...common, ok: evaluation.ok, selectedTaskIds,
+            taskId: null, kind: null, selectedHash: null, assurance, diagnostics: Object.freeze([]), diagnosticsTruncated: false });
+    const task = assurance.taskResults[0];
+    const selectedHash = request.kind === "contract" ? task.contractHash
+        : request.kind === "computed-basis" ? task.computedBasisHash : task.exportedAssuranceHash;
+    const diagnostics = selectedHash === null ? Object.freeze([inspectionDiagnostic("PTASSURE-203", `task ${request.taskId} has no available ${request.kind} hash`, request.taskId)]) : Object.freeze([]);
+    return Object.freeze({ ...common, ok: selectedHash !== null, selectedTaskIds, taskId: request.taskId,
+        kind: request.kind, selectedHash, assurance, diagnostics, diagnosticsTruncated: false });
+}
+//# sourceMappingURL=contract9-assurance.js.map

package/dist/application/contract9-assurance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract9-assurance.js","sourceRoot":"","sources":["../../src/application/contract9-assurance.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,4BAA4B,EAAsC,MAAM,2BAA2B,CAAC;AAC7G,OAAO,EAAE,yBAAyB,EAAE,MAAM,wBAAwB,CAAC;AAGnE,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAGtD,OAAO,EAAE,oBAAoB,IAAI,6BAA6B,EAAE,MAAM,qCAAqC,CAAC;AAC5G,OAAO,EAAE,2BAA2B,EAAE,MAAM,mCAAmC,CAAC;AAChF,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,8BAA8B,EAAE,MAAM,iCAAiC,CAAC;AACjF,OAAO,EAAE,6BAA6B,EAAE,wBAAwB,EAAE,MAAM,wCAAwC,CAAC;AACjH,OAAO,EAAE,2BAA2B,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AAGlH,SAAS,GAAG,CAAC,IAAY,EAAE,KAAa;IACtC,IAAI,CAAC,GAAG,IAAI,CAAC;IAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IAC5B,OAAO,CAAC,KAAK,EAAE;QAAE,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrC,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,QAAQ,CAAC,KAA4B;IAC5C,MAAM,KAAK,GAAG,iFAAiF,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACvH,IAAI,KAAK,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,kEAAkE,CAAC,CAAC;IACxG,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;IAC7B,MAAM,CAAC,KAAK,EAAE,QAAQ,GAAG,EAAE,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACrD,MAAM,WAAW,GAAG,GAAG,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACnD,MAAM,YAAY,GAAG,MAAM,CAAC,KAAM,CAAC,GAAG,WAAW,GAAG,MAAM,CAAC,QAAQ,IAAI,GAAG,CAAC,CAAC;IAC5E,MAAM,OAAO,GAAG,GAAG,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;IAC/C,MAAM,SAAS,GAAG,YAAY,GAAG,OAAO,CAAC;IACzC,MAAM,kBAAkB,GAAG,WAAW,GAAG,OAAO,CAAC;IACjD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACvE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC9G,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,QAAQ,EAAE,EAAE,WAAW,EAAE,kBAAkB,CAAC,QAAQ,EAAE,EAAE,CAAC;QACxJ,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,KAAK,CAAC,MAAmC,EAAE,MAAc,EAAE,KAAyB,EAAE,SAAgC;IAC7H,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;IACtH,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,UAAU,CAAC,QAA4B,EAAE,MAAmC;IACnF,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,QAAQ,EAAE,GAAG,QAAQ,CAAC;IACxD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,QAAQ,EAAE,KAAK,EAAE,8BAA8B,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC;YAC7F,aAAa,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC;YAClE,WAAW,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC;YAC9D,cAAc,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,CAAC;YACpE,YAAY,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC;SACjE,CAAC,EAAE,CAAC,CAAC;AACR,CAAC;AAED,MAAM,UAAU,8BAA8B,CAAC,IAAY;IACzD,MAAM,QAAQ,GAAG,2BAA2B,CAAC,IAAI,EAAE,mCAAmC,CAAC,CAAC;IACxF,IAAI,CAAC,QAAQ,CAAC,EAAE,IAAI,QAAQ,CAAC,KAAK,KAAK,IAAI,IAAI,QAAQ,CAAC,cAAc,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1F,MAAM,QAAQ,GAAG,wBAAwB,CAAC,IAAI,EAAE,6BAA6B,CAAC,IAAI,CAAC,CAAC,CAAC;IACrF,MAAM,QAAQ,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAC;IACvD,MAAM,OAAO,GAAG,8BAA8B,CAAC,QAAQ,EAAE,2BAA2B,CAAC,CAAC;IACtF,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,OAAO,CAAC,iBAAiB,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACnE,MAAM,KAAK,GAAG,yBAAyB,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACnE,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI;QAC7D,QAAQ,EAAE,UAAU,CAAC,IAAI,CAAC,QAA8B,EAAE,QAAQ,CAAC,KAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5F,OAAO,qBAAqB,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AACzF,CAAC;AAmBD,SAAS,kBAAkB,CAAC,KAAgC,EAAE,GAAsB;IAClF,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACnC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAG,CAAC,MAAyB,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACrG,MAAM,OAAO,GAA6C,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;QAC/G,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;QACvD,OAAO,eAAe,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC;IAC7F,CAAC,CAAC,CAAC,CAAC;IACJ,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;QACzH,qBAAqB,EAAE,MAAM,CAAC,KAAK,CAAC,qBAAqB,CAAC,EAAE,wBAAwB,EAAE,MAAM,CAAC,KAAK,CAAC,wBAAwB,CAAC;QAC5H,qBAAqB,EAAE,MAAM,CAAC,KAAK,CAAC,qBAAqB,CAAC,EAAE,8BAA8B,EAAE,MAAM,CAAC,KAAK,CAAC,8BAA8B,CAAC;QACxI,eAAe,EAAE,OAAO,EAAE,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAqC,EAAE,OAAe,EAAE,MAAc;IAClG,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;QACvE,SAAS,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;AAC7E,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,IAAY,EAAE,OAAuC;IACjG,MAAM,QAAQ,GAAG,2BAA2B,CAAC,IAAI,EAAE,mCAAmC,CAAC,CAAC;IACxF,IAAI,QAAQ,CAAC,cAAc,KAAK,CAAC,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,6BAA6B,CAAC,IAAI,EAAE,OAAO,EAAE,2BAA2B,CAAC,CAAC;QACzF,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,aAAa,EAAE,iCAAiC,EAAE,kBAAkB,EAAE,CAAC,EAAE,CAAC,CAAC;IAC/G,CAAC;IACD,MAAM,UAAU,GAAG,8BAA8B,CAAC,IAAI,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,EAAE,aAAa,EAAE,iCAA0C,EAAE,kBAAkB,EAAE,CAAU;QACxG,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,cAAc,EAAE,CAAC,EAAE,YAAY,EAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;IAC3H,IAAI,UAAU,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI;YACpH,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAoC,CAAC;YAC1H,oBAAoB,EAAE,QAAQ,CAAC,oBAAoB,EAAE,CAAC,CAAC;IACzD,MAAM,SAAS,GAAG,4BAA4B,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,SAAU,CAAC;IAC1E,MAAM,YAAY,GAAG,OAAO,CAAC,SAAS,KAAK,qBAAqB,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC1H,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IACzE,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1D,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;YAClH,MAAM,EAAE,OAAO,CAAC,SAAS,KAAK,qBAAqB,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI;YAC3E,IAAI,EAAE,OAAO,CAAC,SAAS,KAAK,qBAAqB,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI;YAC5G,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,oBAAoB,CAAC,cAAc,EAAE,QAAQ,OAAO,iBAAiB,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC,CAAC;IAChJ,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAC5K,MAAM,SAAS,GAAG,kBAAkB,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC;IACjE,IAAI,OAAO,CAAC,SAAS,KAAK,qBAAqB;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,EAAE,EAAE,UAAU,CAAC,EAAE,EAAE,eAAe;YACnH,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC,CAAC;IAC1H,MAAM,IAAI,GAAG,SAAS,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC;IACvC,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY;QAClE,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC;IAC5F,MAAM,WAAW,GAAG,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,oBAAoB,CAAC,cAAc,EAC5F,QAAQ,OAAO,CAAC,MAAM,qBAAqB,OAAO,CAAC,IAAI,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACxG,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,EAAE,EAAE,YAAY,KAAK,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM;QAClG,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE,WAAW,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC,CAAC;AAC7F,CAAC"}

package/dist/application/contract9-candidate.d.ts

@@ -0,0 +1,33 @@
+import { type TextEdit } from "../mutation/text-edits.js";
+export interface Contract9CandidateShape {
+    readonly schemaVersion: string | undefined;
+    readonly ok: boolean;
+    readonly changed: boolean;
+    readonly originalDigest: string;
+    readonly updatedDigest: string | null;
+    readonly updatedText: string | null;
+    readonly diff: string | null;
+    readonly edits: readonly TextEdit[];
+    readonly diagnostics: readonly unknown[];
+    readonly diagnosticsTruncated: boolean;
+}
+export interface Contract9CandidateOptions {
+    readonly originalLabel?: string;
+    readonly updatedLabel?: string;
+}
+type Contract9Identity<T> = T extends {
+    readonly schemaVersion: "Perttool.MutationResult.v5";
+} ? Omit<T, "schemaVersion"> & {
+    readonly schemaVersion: "Perttool.MutationResult.v6";
+} : T extends {
+    readonly schemaVersion: "Perttool.UnitMigrationResult.v3";
+} ? Omit<T, "schemaVersion" | "unitMigration"> & {
+    readonly schemaVersion: "Perttool.UnitMigrationResult.v4";
+    readonly unitMigration: {
+        readonly id: "perttool.unit-migration";
+        readonly version: 4;
+    };
+} : T;
+export declare function liftContract9Candidate<T extends Contract9CandidateShape>(text: string, planner: (baseText: string) => T, options?: Contract9CandidateOptions): Contract9Identity<T>;
+export {};
+//# sourceMappingURL=contract9-candidate.d.ts.map

package/dist/application/contract9-candidate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract9-candidate.d.ts","sourceRoot":"","sources":["../../src/application/contract9-candidate.ts"],"names":[],"mappings":"AAEA,OAAO,EAAkB,KAAK,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AAI1E,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,SAAS,CAAC;IAC3C,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;IACpC,QAAQ,CAAC,WAAW,EAAE,SAAS,OAAO,EAAE,CAAC;IACzC,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;CACxC;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC;AAED,KAAK,iBAAiB,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,aAAa,EAAE,4BAA4B,CAAA;CAAE,GAC1F,IAAI,CAAC,CAAC,EAAE,eAAe,CAAC,GAAG;IAAE,QAAQ,CAAC,aAAa,EAAE,4BAA4B,CAAA;CAAE,GACnF,CAAC,SAAS;IAAE,QAAQ,CAAC,aAAa,EAAE,iCAAiC,CAAA;CAAE,GACrE,IAAI,CAAC,CAAC,EAAE,eAAe,GAAG,eAAe,CAAC,GAAG;IAC3C,QAAQ,CAAC,aAAa,EAAE,iCAAiC,CAAC;IAC1D,QAAQ,CAAC,aAAa,EAAE;QAAE,QAAQ,CAAC,EAAE,EAAE,yBAAyB,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;KAAE,CAAC;CACzF,GACD,CAAC,CAAC;AAaR,wBAAgB,sBAAsB,CAAC,CAAC,SAAS,uBAAuB,EACtE,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,CAAC,EAChC,OAAO,GAAE,yBAA8B,GACtC,iBAAiB,CAAC,CAAC,CAAC,CAqBtB"}

package/dist/application/contract9-candidate.js

@@ -0,0 +1,39 @@
+import { createUnifiedDiff } from "../editing/unified-diff.js";
+import { sha256DigestUtf8 } from "../model/sha256.js";
+import { applyTextEdits } from "../mutation/text-edits.js";
+import { scanTemporalDeclarationBlocks, temporalScheduleBaseText } from "../temporal-schedule/source-lexical.js";
+import { parseTemporalScheduleSource, TEMPORAL_SCHEDULE_SOURCE_CAPABILITY } from "../temporal-schedule/source.js";
+function identity(value) {
+    if (value.schemaVersion === "Perttool.MutationResult.v5") {
+        return Object.freeze({ ...value, schemaVersion: "Perttool.MutationResult.v6" });
+    }
+    if (value.schemaVersion === "Perttool.UnitMigrationResult.v3") {
+        return Object.freeze({ ...value, schemaVersion: "Perttool.UnitMigrationResult.v4",
+            unitMigration: Object.freeze({ id: "perttool.unit-migration", version: 4 }) });
+    }
+    return value;
+}
+export function liftContract9Candidate(text, planner, options = {}) {
+    const source = parseTemporalScheduleSource(text, TEMPORAL_SCHEDULE_SOURCE_CAPABILITY);
+    if (source.grammarVersion !== 8 || !source.ok || source.model === null)
+        return identity(planner(text));
+    const base = temporalScheduleBaseText(text, scanTemporalDeclarationBlocks(text));
+    const planned = planner(base);
+    const originalDigest = sha256DigestUtf8(text);
+    if (!planned.ok || planned.updatedText === null || planned.updatedDigest === null) {
+        return identity(Object.freeze({ ...planned, originalDigest }));
+    }
+    const candidateText = applyTextEdits(text, planned.edits);
+    const checked = parseTemporalScheduleSource(candidateText, TEMPORAL_SCHEDULE_SOURCE_CAPABILITY);
+    if (!checked.ok || checked.model === null) {
+        return identity(Object.freeze({ ...planned, ok: false, changed: false, originalDigest,
+            updatedDigest: null, updatedText: null, diff: null, edits: Object.freeze([]),
+            diagnostics: Object.freeze([...planned.diagnostics, ...checked.diagnostics]),
+            diagnosticsTruncated: planned.diagnosticsTruncated || checked.diagnosticsTruncated }));
+    }
+    return identity(Object.freeze({ ...planned, originalDigest, changed: candidateText !== text,
+        updatedDigest: sha256DigestUtf8(candidateText), updatedText: candidateText,
+        diff: createUnifiedDiff(text, candidateText, { originalLabel: options.originalLabel ?? "original",
+            updatedLabel: options.updatedLabel ?? "candidate" }) }));
+}
+//# sourceMappingURL=contract9-candidate.js.map

package/dist/application/contract9-candidate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract9-candidate.js","sourceRoot":"","sources":["../../src/application/contract9-candidate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,cAAc,EAAiB,MAAM,2BAA2B,CAAC;AAC1E,OAAO,EAAE,6BAA6B,EAAE,wBAAwB,EAAE,MAAM,wCAAwC,CAAC;AACjH,OAAO,EAAE,2BAA2B,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AA6BlH,SAAS,QAAQ,CAAoC,KAAQ;IAC3D,IAAI,KAAK,CAAC,aAAa,KAAK,4BAA4B,EAAE,CAAC;QACzD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,aAAa,EAAE,4BAA4B,EAAE,CAAyB,CAAC;IAC1G,CAAC;IACD,IAAI,KAAK,CAAC,aAAa,KAAK,iCAAiC,EAAE,CAAC;QAC9D,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,aAAa,EAAE,iCAAiC;YAC/E,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,yBAAyB,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAyB,CAAC;IAC3G,CAAC;IACD,OAAO,KAA6B,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,IAAY,EACZ,OAAgC,EAChC,OAAO,GAA8B,EAAE;IAEvC,MAAM,MAAM,GAAG,2BAA2B,CAAC,IAAI,EAAE,mCAAmC,CAAC,CAAC;IACtF,IAAI,MAAM,CAAC,cAAc,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI;QAAE,OAAO,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IACvG,MAAM,IAAI,GAAG,wBAAwB,CAAC,IAAI,EAAE,6BAA6B,CAAC,IAAI,CAAC,CAAC,CAAC;IACjF,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,cAAc,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,OAAO,CAAC,WAAW,KAAK,IAAI,IAAI,OAAO,CAAC,aAAa,KAAK,IAAI,EAAE,CAAC;QAClF,OAAO,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,OAAO,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC;IACjE,CAAC;IACD,MAAM,aAAa,GAAG,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC1D,MAAM,OAAO,GAAG,2BAA2B,CAAC,aAAa,EAAE,mCAAmC,CAAC,CAAC;IAChG,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QAC1C,OAAO,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,cAAc;YACnF,aAAa,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5E,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC,WAAW,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;YAC5E,oBAAoB,EAAE,OAAO,CAAC,oBAAoB,IAAI,OAAO,CAAC,oBAAoB,EAAE,CAAC,CAAC,CAAC;IAC3F,CAAC;IACD,OAAO,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,OAAO,EAAE,cAAc,EAAE,OAAO,EAAE,aAAa,KAAK,IAAI;QACzF,aAAa,EAAE,gBAAgB,CAAC,aAAa,CAAC,EAAE,WAAW,EAAE,aAAa;QAC1E,IAAI,EAAE,iBAAiB,CAAC,IAAI,EAAE,aAAa,EAAE,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,IAAI,UAAU;YAC/F,YAAY,EAAE,OAAO,CAAC,YAAY,IAAI,WAAW,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAC/D,CAAC"}

package/dist/application/contract9-format-migration.d.ts

@@ -0,0 +1,22 @@
+import { type TextEdit } from "../mutation/text-edits.js";
+import type { Diagnostic } from "../model/diagnostics.js";
+export interface Contract9SourceCandidate {
+    readonly ok: boolean;
+    readonly documentId: string | null;
+    readonly changed: boolean;
+    readonly originalDigest: string;
+    readonly updatedDigest: string | null;
+    readonly updatedText: string | null;
+    readonly diff: string | null;
+    readonly edits: readonly TextEdit[];
+    readonly diagnostics: readonly Diagnostic[];
+    readonly diagnosticsTruncated: boolean;
+}
+export declare function planContract9Format(text: string): Contract9SourceCandidate;
+export declare function planContract9GrammarMigration(text: string): Contract9SourceCandidate & Readonly<{
+    sourceGrammarVersion: number | null;
+    targetGrammarVersion: number | null;
+    migratedTaskIds: readonly string[];
+    requiredAction: string | null;
+}>;
+//# sourceMappingURL=contract9-format-migration.d.ts.map

package/dist/application/contract9-format-migration.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract9-format-migration.d.ts","sourceRoot":"","sources":["../../src/application/contract9-format-migration.ts"],"names":[],"mappings":"AAEA,OAAO,EAAsB,KAAK,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AAI9E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAE1D,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IACrH,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACzG,QAAQ,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAAC,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;CAC1H;AAeD,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,wBAAwB,CAM1E;AAqBD,wBAAgB,6BAA6B,CAAC,IAAI,EAAE,MAAM,GAAG,wBAAwB,GAAG,QAAQ,CAAC;IAAE,oBAAoB,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,oBAAoB,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAAC,CAShP"}

package/dist/application/contract9-format-migration.js

@@ -0,0 +1,52 @@
+import { createUnifiedDiff } from "../editing/unified-diff.js";
+import { sha256DigestUtf8 } from "../model/sha256.js";
+import { normalizeTextEdits } from "../mutation/text-edits.js";
+import { planTemporalConstraintMigration, TEMPORAL_CONSTRAINT_CAPABILITY } from "../temporal-schedule/constraint.js";
+import { formatTemporalScheduleSource } from "../temporal-schedule/format.js";
+import { TEMPORAL_SCHEDULE_SOURCE_CAPABILITY } from "../temporal-schedule/source.js";
+function successfulCandidate(text, updatedText, edits, documentId, diagnostics, diagnosticsTruncated) {
+    const originalDigest = sha256DigestUtf8(text);
+    return Object.freeze({ ok: true, documentId, changed: updatedText !== text, originalDigest,
+        updatedDigest: sha256DigestUtf8(updatedText), updatedText,
+        diff: createUnifiedDiff(text, updatedText, { originalLabel: "original", updatedLabel: "candidate" }),
+        edits: Object.freeze(edits), diagnostics: Object.freeze(diagnostics), diagnosticsTruncated });
+}
+function failedCandidate(text, documentId, diagnostics, diagnosticsTruncated) {
+    return Object.freeze({ ok: false, documentId, changed: false, originalDigest: sha256DigestUtf8(text),
+        updatedDigest: null, updatedText: null, diff: null, edits: Object.freeze([]),
+        diagnostics: Object.freeze(diagnostics), diagnosticsTruncated });
+}
+export function planContract9Format(text) {
+    const formatted = formatTemporalScheduleSource(text, TEMPORAL_SCHEDULE_SOURCE_CAPABILITY);
+    return !formatted.ok || formatted.formattedText === null
+        ? failedCandidate(text, formatted.documentId, formatted.diagnostics, formatted.diagnosticsTruncated)
+        : successfulCandidate(text, formatted.formattedText, formatted.edits, formatted.documentId, formatted.diagnostics, formatted.diagnosticsTruncated);
+}
+function migrationEdits(text, updatedText) {
+    if (updatedText === null || updatedText === text)
+        return Object.freeze([]);
+    return normalizeTextEdits(text, [Object.freeze({ startOffset: 0, endOffset: text.length, replacement: updatedText })], "Grammar 8 migration");
+}
+function sourceEvidence(source) {
+    if (source === null)
+        return Object.freeze({ documentId: null, diagnostics: Object.freeze([]), diagnosticsTruncated: false });
+    return Object.freeze({ documentId: source.documentId, diagnostics: source.diagnostics,
+        diagnosticsTruncated: source.diagnosticsTruncated });
+}
+function migrationBase(text, migrated, evidence, edits) {
+    if (!migrated.ok || migrated.updatedText === null) {
+        return failedCandidate(text, evidence.documentId, evidence.diagnostics, evidence.diagnosticsTruncated);
+    }
+    return successfulCandidate(text, migrated.updatedText, edits, evidence.documentId, evidence.diagnostics, evidence.diagnosticsTruncated);
+}
+export function planContract9GrammarMigration(text) {
+    const migrated = planTemporalConstraintMigration(text, TEMPORAL_CONSTRAINT_CAPABILITY);
+    const updatedText = migrated.updatedText;
+    const edits = migrationEdits(text, updatedText);
+    const evidence = sourceEvidence(migrated.source);
+    const base = migrationBase(text, migrated, evidence, edits);
+    return Object.freeze({ ...base,
+        sourceGrammarVersion: migrated.sourceGrammarVersion, targetGrammarVersion: migrated.targetGrammarVersion,
+        migratedTaskIds: migrated.migratedTaskIds, requiredAction: migrated.requiredAction });
+}
+//# sourceMappingURL=contract9-format-migration.js.map

package/dist/application/contract9-format-migration.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract9-format-migration.js","sourceRoot":"","sources":["../../src/application/contract9-format-migration.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAiB,MAAM,2BAA2B,CAAC;AAC9E,OAAO,EAAE,+BAA+B,EAAE,8BAA8B,EAAE,MAAM,oCAAoC,CAAC;AACrH,OAAO,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAC;AAC9E,OAAO,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AAQrF,SAAS,mBAAmB,CAAC,IAAY,EAAE,WAAmB,EAAE,KAA0B,EAAE,UAAyB,EACnH,WAAkC,EAAE,oBAA6B;IACjE,MAAM,cAAc,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC9C,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,WAAW,KAAK,IAAI,EAAE,cAAc;QACxF,aAAa,EAAE,gBAAgB,CAAC,WAAW,CAAC,EAAE,WAAW;QACzD,IAAI,EAAE,iBAAiB,CAAC,IAAI,EAAE,WAAW,EAAE,EAAE,aAAa,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,CAAC;QACpG,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,oBAAoB,EAAE,CAAC,CAAC;AAClG,CAAC;AACD,SAAS,eAAe,CAAC,IAAY,EAAE,UAAyB,EAAE,WAAkC,EAClG,oBAA6B;IAC7B,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,gBAAgB,CAAC,IAAI,CAAC;QAClG,aAAa,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5E,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,oBAAoB,EAAE,CAAC,CAAC;AACrE,CAAC;AACD,MAAM,UAAU,mBAAmB,CAAC,IAAY;IAC9C,MAAM,SAAS,GAAG,4BAA4B,CAAC,IAAI,EAAE,mCAAmC,CAAC,CAAC;IAC1F,OAAO,CAAC,SAAS,CAAC,EAAE,IAAI,SAAS,CAAC,aAAa,KAAK,IAAI;QACtD,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE,SAAS,CAAC,UAAU,EAAE,SAAS,CAAC,WAAoC,EAAE,SAAS,CAAC,oBAAoB,CAAC;QAC7H,CAAC,CAAC,mBAAmB,CAAC,IAAI,EAAE,SAAS,CAAC,aAAa,EAAE,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,UAAU,EACxF,SAAS,CAAC,WAAoC,EAAE,SAAS,CAAC,oBAAoB,CAAC,CAAC;AACtF,CAAC;AACD,SAAS,cAAc,CAAC,IAAY,EAAE,WAA0B;IAC9D,IAAI,WAAW,KAAK,IAAI,IAAI,WAAW,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC3E,OAAO,kBAAkB,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,EACnH,qBAAqB,CAAC,CAAC;AAC3B,CAAC;AACD,SAAS,cAAc,CAAC,MAAoE;IAG1F,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7H,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,WAAW,EAAE,MAAM,CAAC,WAAoC;QAC5G,oBAAoB,EAAE,MAAM,CAAC,oBAAoB,EAAE,CAAC,CAAC;AACzD,CAAC;AACD,SAAS,aAAa,CAAC,IAAY,EAAE,QAA4D,EAC/F,QAA2C,EAAE,KAA0B;IACvE,IAAI,CAAC,QAAQ,CAAC,EAAE,IAAI,QAAQ,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;QAClD,OAAO,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,oBAAoB,CAAC,CAAC;IACzG,CAAC;IACD,OAAO,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,WAAW,EAAE,KAAK,EAAE,QAAQ,CAAC,UAAU,EAC/E,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,oBAAoB,CAAC,CAAC;AACzD,CAAC;AACD,MAAM,UAAU,6BAA6B,CAAC,IAAY;IACxD,MAAM,QAAQ,GAAG,+BAA+B,CAAC,IAAI,EAAE,8BAA8B,CAAC,CAAC;IACvF,MAAM,WAAW,GAAG,QAAQ,CAAC,WAAW,CAAC;IACzC,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACjD,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC5D,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI;QAC5B,oBAAoB,EAAE,QAAQ,CAAC,oBAAoB,EAAE,oBAAoB,EAAE,QAAQ,CAAC,oBAAoB;QACxG,eAAe,EAAE,QAAQ,CAAC,eAAe,EAAE,cAAc,EAAE,QAAQ,CAAC,cAAc,EAAE,CAAC,CAAC;AAC1F,CAAC"}

package/dist/application/contract9-mixed-mutation.d.ts

@@ -0,0 +1,14 @@
+import type { TemporalScheduleMutationResult } from "../temporal-schedule/source-types.js";
+import type { MutationResultV5 } from "./contract8-milestone-acceptance.js";
+export type Contract9MutationResultV6 = Omit<MutationResultV5, "schemaVersion"> & {
+    readonly schemaVersion: "Perttool.MutationResult.v6";
+};
+export declare function composeContract9MixedMutation(text: string, legacyPlanner: (baseText: string) => MutationResultV5, temporalPlanner: (candidateText: string) => TemporalScheduleMutationResult, options?: Readonly<{
+    originalLabel?: string;
+    updatedLabel?: string;
+}>): Contract9MutationResultV6;
+export declare function composeContract9TemporalMutation(text: string, temporalPlanner: (candidateText: string) => TemporalScheduleMutationResult, options?: Readonly<{
+    originalLabel?: string;
+    updatedLabel?: string;
+}>): Contract9MutationResultV6;
+//# sourceMappingURL=contract9-mixed-mutation.d.ts.map

package/dist/application/contract9-mixed-mutation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract9-mixed-mutation.d.ts","sourceRoot":"","sources":["../../src/application/contract9-mixed-mutation.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,sCAAsC,CAAC;AAC3F,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qCAAqC,CAAC;AAI5E,MAAM,MAAM,yBAAyB,GAAG,IAAI,CAAC,gBAAgB,EAAE,eAAe,CAAC,GAAG;IAChF,QAAQ,CAAC,aAAa,EAAE,4BAA4B,CAAC;CACtD,CAAC;AAuDF,wBAAgB,6BAA6B,CAC3C,IAAI,EAAE,MAAM,EACZ,aAAa,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,gBAAgB,EACrD,eAAe,EAAE,CAAC,aAAa,EAAE,MAAM,KAAK,8BAA8B,EAC1E,OAAO,GAAE,QAAQ,CAAC;IAAE,aAAa,CAAC,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE,CAAM,GACxE,yBAAyB,CAiB3B;AAED,wBAAgB,gCAAgC,CAC9C,IAAI,EAAE,MAAM,EACZ,eAAe,EAAE,CAAC,aAAa,EAAE,MAAM,KAAK,8BAA8B,EAC1E,OAAO,GAAE,QAAQ,CAAC;IAAE,aAAa,CAAC,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE,CAAM,GACxE,yBAAyB,CAO3B"}

package/dist/application/contract9-mixed-mutation.js

@@ -0,0 +1,88 @@
+import { composePlanAssuranceMutationImpact } from "../assurance/authority.js";
+import { createUnifiedDiff } from "../editing/unified-diff.js";
+import { sha256DigestUtf8 } from "../model/sha256.js";
+import { applyTextEdits, normalizeTextEdits } from "../mutation/text-edits.js";
+import { fieldLine, scanTemporalDeclarationBlocks } from "../temporal-schedule/source-lexical.js";
+import { evaluateContract9PlanAssurance } from "./contract9-assurance.js";
+import { liftContract9Candidate } from "./contract9-candidate.js";
+function originalOffset(candidateOffset, edits) {
+    let delta = 0;
+    for (const edit of edits) {
+        const candidateStart = edit.startOffset + delta;
+        const candidateEnd = candidateStart + edit.replacement.length;
+        if (candidateOffset < candidateStart)
+            return candidateOffset - delta;
+        if (candidateOffset === candidateStart)
+            return edit.startOffset;
+        if (candidateOffset < candidateEnd)
+            return null;
+        if (candidateOffset === candidateEnd)
+            return edit.endOffset;
+        delta += edit.replacement.length - (edit.endOffset - edit.startOffset);
+    }
+    return candidateOffset - delta;
+}
+function rebaseTemporalEdits(text, legacy, temporal) {
+    const rebased = [];
+    for (const edit of temporal) {
+        const startOffset = originalOffset(edit.startOffset, legacy);
+        const endOffset = originalOffset(edit.endOffset, legacy);
+        if (startOffset === null || endOffset === null)
+            return null;
+        rebased.push(Object.freeze({ ...edit, startOffset, endOffset }));
+    }
+    try {
+        return normalizeTextEdits(text, [...legacy, ...rebased], "Contract 9 mixed mutation");
+    }
+    catch {
+        return null;
+    }
+}
+function activeTaskIds(text) {
+    return Object.freeze(scanTemporalDeclarationBlocks(text).filter(({ kind, lines }) => kind === "task" &&
+        lines.some((line) => fieldLine(line)?.name === "status" && fieldLine(line)?.rawValue === "active")).map(({ id }) => id));
+}
+function assuranceImpact(text, candidate) {
+    const before = evaluateContract9PlanAssurance(text);
+    const after = evaluateContract9PlanAssurance(candidate);
+    if (before === null || after === null)
+        return null;
+    const beforeById = new Map(before.taskResults.map((result) => [result.taskId, result]));
+    const affectedTaskIds = after.taskResults.filter((result) => JSON.stringify(beforeById.get(result.taskId)) !== JSON.stringify(result)).map(({ taskId }) => taskId);
+    return Object.freeze({ modelVersion: 1, affectedTaskIds: Object.freeze(affectedTaskIds), before, after,
+        projection: composePlanAssuranceMutationImpact(affectedTaskIds, before, after, activeTaskIds(text), activeTaskIds(candidate)) });
+}
+function failure(base, temporal, message) {
+    return Object.freeze({ ...base, ok: false, changed: false, updatedDigest: null, updatedText: null, diff: null,
+        edits: Object.freeze([]), assuranceImpact: null, diagnostics: Object.freeze([...base.diagnostics, ...temporal.diagnostics,
+            Object.freeze({ code: "PTSCH-110", severity: "error", message })]),
+        diagnosticsTruncated: base.diagnosticsTruncated || temporal.diagnosticsTruncated });
+}
+export function composeContract9MixedMutation(text, legacyPlanner, temporalPlanner, options = {}) {
+    const legacy = liftContract9Candidate(text, legacyPlanner, options);
+    if (!legacy.ok || legacy.updatedText === null)
+        return legacy;
+    const temporal = temporalPlanner(legacy.updatedText);
+    if (!temporal.ok || temporal.updatedText === null)
+        return failure(legacy, temporal, "temporal mutation failed after the legacy candidate");
+    const edits = rebaseTemporalEdits(text, legacy.edits, temporal.edits);
+    if (edits === null)
+        return failure(legacy, temporal, "legacy and temporal edits overlap");
+    const candidate = applyTextEdits(text, edits);
+    if (candidate !== temporal.updatedText)
+        return failure(legacy, temporal, "mixed mutation edit composition changed candidate bytes");
+    const impact = assuranceImpact(text, candidate);
+    const impactDiagnostics = impact?.projection.diagnostics ?? [];
+    return Object.freeze({ ...legacy, changed: candidate !== text, updatedDigest: sha256DigestUtf8(candidate),
+        updatedText: candidate, edits, diff: createUnifiedDiff(text, candidate, { originalLabel: options.originalLabel ?? "original", updatedLabel: options.updatedLabel ?? "candidate" }),
+        assuranceImpact: impact, diagnostics: Object.freeze([...legacy.diagnostics, ...impactDiagnostics]) });
+}
+export function composeContract9TemporalMutation(text, temporalPlanner, options = {}) {
+    const originalDigest = sha256DigestUtf8(text);
+    return composeContract9MixedMutation(text, () => Object.freeze({
+        schemaVersion: "Perttool.MutationResult.v5", ok: true, documentId: null, changed: false,
+        originalDigest, updatedDigest: originalDigest, updatedText: text, diff: "", edits: Object.freeze([]),
+        governance: null, lifecycle: null, assuranceImpact: null, diagnostics: Object.freeze([]), diagnosticsTruncated: false,
+    }), temporalPlanner, options);
+}
+//# sourceMappingURL=contract9-mixed-mutation.js.map

package/dist/application/contract9-mixed-mutation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract9-mixed-mutation.js","sourceRoot":"","sources":["../../src/application/contract9-mixed-mutation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kCAAkC,EAAE,MAAM,2BAA2B,CAAC;AAE/E,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAiB,MAAM,2BAA2B,CAAC;AAC9F,OAAO,EAAE,SAAS,EAAE,6BAA6B,EAAE,MAAM,wCAAwC,CAAC;AAGlG,OAAO,EAAE,8BAA8B,EAAE,MAAM,0BAA0B,CAAC;AAC1E,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAMlE,SAAS,cAAc,CAAC,eAAuB,EAAE,KAA0B;IACzE,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,GAAG,KAAK,CAAC;QAChD,MAAM,YAAY,GAAG,cAAc,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC;QAC9D,IAAI,eAAe,GAAG,cAAc;YAAE,OAAO,eAAe,GAAG,KAAK,CAAC;QACrE,IAAI,eAAe,KAAK,cAAc;YAAE,OAAO,IAAI,CAAC,WAAW,CAAC;QAChE,IAAI,eAAe,GAAG,YAAY;YAAE,OAAO,IAAI,CAAC;QAChD,IAAI,eAAe,KAAK,YAAY;YAAE,OAAO,IAAI,CAAC,SAAS,CAAC;QAC5D,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,eAAe,GAAG,KAAK,CAAC;AACjC,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAY,EAAE,MAA2B,EAAE,QAA6B;IACnG,MAAM,OAAO,GAAe,EAAE,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,MAAM,WAAW,GAAG,cAAc,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;QAC7D,MAAM,SAAS,GAAG,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QACzD,IAAI,WAAW,KAAK,IAAI,IAAI,SAAS,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5D,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,CAAC;QACH,OAAO,kBAAkB,CAAC,IAAI,EAAE,CAAC,GAAG,MAAM,EAAE,GAAG,OAAO,CAAC,EAAE,2BAA2B,CAAC,CAAC;IACxF,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,IAAY;IACjC,OAAO,MAAM,CAAC,MAAM,CAAC,6BAA6B,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM;QAClG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,KAAK,QAAQ,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAC7H,CAAC;AAED,SAAS,eAAe,CAAC,IAAY,EAAE,SAAiB;IACtD,MAAM,MAAM,GAAG,8BAA8B,CAAC,IAAI,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,8BAA8B,CAAC,SAAS,CAAC,CAAC;IACxD,IAAI,MAAM,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACnD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACxF,MAAM,eAAe,GAAG,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAC1D,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;IACxG,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE,MAAM,EAAE,KAAK;QACpG,UAAU,EAAE,kCAAkC,CAAC,eAAe,EAAE,MAAM,EAAE,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC;AACrI,CAAC;AAED,SAAS,OAAO,CAAC,IAA+B,EAAE,QAAwC,EACxF,OAAe;IACf,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI;QAC3G,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,WAAW,EAAE,GAAG,QAAQ,CAAC,WAAW;YACvH,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAgB,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QAC7E,oBAAoB,EAAE,IAAI,CAAC,oBAAoB,IAAI,QAAQ,CAAC,oBAAoB,EAAE,CAAC,CAAC;AACxF,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,IAAY,EACZ,aAAqD,EACrD,eAA0E,EAC1E,OAAO,GAAgE,EAAE;IAEzE,MAAM,MAAM,GAAG,sBAAsB,CAAC,IAAI,EAAE,aAAa,EAAE,OAAO,CAA8B,CAAC;IACjG,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,WAAW,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAC7D,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IACrD,IAAI,CAAC,QAAQ,CAAC,EAAE,IAAI,QAAQ,CAAC,WAAW,KAAK,IAAI;QAAE,OAAO,OAAO,CAAC,MAAM,EAAE,QAAQ,EAChF,qDAAqD,CAAC,CAAC;IACzD,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;IACtE,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,mCAAmC,CAAC,CAAC;IAC1F,MAAM,SAAS,GAAG,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC9C,IAAI,SAAS,KAAK,QAAQ,CAAC,WAAW;QAAE,OAAO,OAAO,CAAC,MAAM,EAAE,QAAQ,EACrE,yDAAyD,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAChD,MAAM,iBAAiB,GAAG,MAAM,EAAE,UAAU,CAAC,WAAW,IAAI,EAAE,CAAC;IAC/D,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,SAAS,KAAK,IAAI,EAAE,aAAa,EAAE,gBAAgB,CAAC,SAAS,CAAC;QACvG,WAAW,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,iBAAiB,CAAC,IAAI,EAAE,SAAS,EACpE,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,IAAI,UAAU,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,IAAI,WAAW,EAAE,CAAC;QAC5G,eAAe,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE,GAAG,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC;AAC1G,CAAC;AAED,MAAM,UAAU,gCAAgC,CAC9C,IAAY,EACZ,eAA0E,EAC1E,OAAO,GAAgE,EAAE;IAEzE,MAAM,cAAc,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC9C,OAAO,6BAA6B,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;QAC7D,aAAa,EAAE,4BAAqC,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK;QAChG,cAAc,EAAE,aAAa,EAAE,cAAc,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACpG,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,oBAAoB,EAAE,KAAK;KACtH,CAAC,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC;AAChC,CAAC"}

package/dist/application/contract9-project.d.ts

@@ -0,0 +1,15 @@
+import type { CheckOptions } from "./check.js";
+import type { TargetGovernanceProjectMetadata, TargetGovernanceProjectMetadataResult } from "./target-governance-project.js";
+import type { TemporalScheduleSourceModel } from "../temporal-schedule/source-types.js";
+export declare const CONTRACT9_PROJECT_RESULT: "Perttool.ProjectResult.v5";
+export interface Contract9ProjectMetadata extends Omit<TargetGovernanceProjectMetadata, "version"> {
+    readonly version: TargetGovernanceProjectMetadata["version"] | 8;
+}
+export interface Contract9ProjectResult extends Omit<TargetGovernanceProjectMetadataResult, "grammarVersion" | "project"> {
+    readonly schemaVersion: typeof CONTRACT9_PROJECT_RESULT;
+    readonly grammarVersion: TargetGovernanceProjectMetadataResult["grammarVersion"] | 8;
+    readonly project: Contract9ProjectMetadata | null;
+    readonly temporalSchedule: TemporalScheduleSourceModel | null;
+}
+export declare function getProjectMetadata(text: string, options?: CheckOptions): Contract9ProjectResult;
+//# sourceMappingURL=contract9-project.d.ts.map

package/dist/application/contract9-project.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract9-project.d.ts","sourceRoot":"","sources":["../../src/application/contract9-project.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE/C,OAAO,KAAK,EAAE,+BAA+B,EAAE,qCAAqC,EAAE,MAAM,gCAAgC,CAAC;AAG7H,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,sCAAsC,CAAC;AAExF,eAAO,MAAM,wBAAwB,EAAG,2BAAoC,CAAC;AAE7E,MAAM,WAAW,wBAAyB,SAAQ,IAAI,CAAC,+BAA+B,EAAE,SAAS,CAAC;IAChG,QAAQ,CAAC,OAAO,EAAE,+BAA+B,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;CAClE;AAED,MAAM,WAAW,sBAAuB,SAAQ,IAAI,CAAC,qCAAqC,EAAE,gBAAgB,GAAG,SAAS,CAAC;IACvH,QAAQ,CAAC,aAAa,EAAE,OAAO,wBAAwB,CAAC;IACxD,QAAQ,CAAC,cAAc,EAAE,qCAAqC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACrF,QAAQ,CAAC,OAAO,EAAE,wBAAwB,GAAG,IAAI,CAAC;IAClD,QAAQ,CAAC,gBAAgB,EAAE,2BAA2B,GAAG,IAAI,CAAC;CAC/D;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE,YAAiB,GAAG,sBAAsB,CAiBnG"}

package/dist/application/contract9-project.js

@@ -0,0 +1,24 @@
+import { getProjectMetadata as getContract8ProjectMetadata } from "./contract8-milestone-acceptance.js";
+import { scanTemporalDeclarationBlocks, temporalScheduleBaseText } from "../temporal-schedule/source-lexical.js";
+import { parseTemporalScheduleSource, TEMPORAL_SCHEDULE_SOURCE_CAPABILITY } from "../temporal-schedule/source.js";
+export const CONTRACT9_PROJECT_RESULT = "Perttool.ProjectResult.v5";
+export function getProjectMetadata(text, options = {}) {
+    const source = parseTemporalScheduleSource(text, TEMPORAL_SCHEDULE_SOURCE_CAPABILITY, options);
+    const grammar8 = source.grammarVersion === 8;
+    const base = getContract8ProjectMetadata(grammar8
+        ? temporalScheduleBaseText(text, scanTemporalDeclarationBlocks(text)) : text, options);
+    if (!grammar8)
+        return Object.freeze({ ...base, schemaVersion: CONTRACT9_PROJECT_RESULT, temporalSchedule: null });
+    const diagnostics = Object.freeze([...base.diagnostics,
+        ...source.diagnostics.filter(({ code }) => code.startsWith("PTSCH-10"))]);
+    if (!source.ok || source.model === null || !base.ok || base.project === null) {
+        return Object.freeze({ ...base, schemaVersion: CONTRACT9_PROJECT_RESULT, ok: false, grammarVersion: 8,
+            project: null, diagnostics, diagnosticsTruncated: base.diagnosticsTruncated || source.diagnosticsTruncated,
+            temporalSchedule: null });
+    }
+    return Object.freeze({ ...base, schemaVersion: CONTRACT9_PROJECT_RESULT, grammarVersion: 8,
+        project: Object.freeze({ ...base.project, version: 8 }), diagnostics,
+        diagnosticsTruncated: base.diagnosticsTruncated || source.diagnosticsTruncated,
+        temporalSchedule: source.model });
+}
+//# sourceMappingURL=contract9-project.js.map

package/dist/application/contract9-project.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract9-project.js","sourceRoot":"","sources":["../../src/application/contract9-project.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,IAAI,2BAA2B,EAAE,MAAM,qCAAqC,CAAC;AAExG,OAAO,EAAE,6BAA6B,EAAE,wBAAwB,EAAE,MAAM,wCAAwC,CAAC;AACjH,OAAO,EAAE,2BAA2B,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AAGlH,MAAM,CAAC,MAAM,wBAAwB,GAAG,2BAAoC,CAAC;AAa7E,MAAM,UAAU,kBAAkB,CAAC,IAAY,EAAE,OAAO,GAAiB,EAAE;IACzE,MAAM,MAAM,GAAG,2BAA2B,CAAC,IAAI,EAAE,mCAAmC,EAAE,OAAO,CAAC,CAAC;IAC/F,MAAM,QAAQ,GAAG,MAAM,CAAC,cAAc,KAAK,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,2BAA2B,CAAC,QAAQ;QAC/C,CAAC,CAAC,wBAAwB,CAAC,IAAI,EAAE,6BAA6B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACzF,IAAI,CAAC,QAAQ;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAAC;IAClH,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,WAAW;QACpD,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5E,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QAC7E,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,wBAAwB,EAAE,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC;YACnG,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,oBAAoB,EAAE,IAAI,CAAC,oBAAoB,IAAI,MAAM,CAAC,oBAAoB;YAC1G,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,wBAAwB,EAAE,cAAc,EAAE,CAAC;QACxF,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,CAAU,EAAE,CAAC,EAAE,WAAW;QAC7E,oBAAoB,EAAE,IAAI,CAAC,oBAAoB,IAAI,MAAM,CAAC,oBAAoB;QAC9E,gBAAgB,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;AACtC,CAAC"}

package/dist/application/contract9-projection.d.ts

@@ -0,0 +1,23 @@
+import type { TargetPostdueScheduleAnalysis } from "./target-postdue-analysis.js";
+import type { TargetScheduleAlertProjection } from "./target-postdue-projection.js";
+import type { TemporalScheduleSourceModel } from "../temporal-schedule/source-types.js";
+import type { Contract9CheckResult } from "./contract9-temporal.js";
+import type { Contract9AnalysisResult, Contract9NextResult } from "./contract9-temporal.js";
+import type { Contract9MutationResultV6 } from "./contract9-mixed-mutation.js";
+import type { Contract9ProjectResult } from "./contract9-project.js";
+export declare function contract9WireJson(value: unknown): unknown;
+export declare function contract9ProjectTemporalToJson(value: TemporalScheduleSourceModel | null): unknown;
+export declare function contract9AnalysisTemporalToJson(value: TargetPostdueScheduleAnalysis | null): unknown;
+export declare function contract9ScheduleAlertsToJson(value: TargetScheduleAlertProjection | null): unknown;
+export interface Contract9WireEnvelope {
+    readonly source: string;
+    readonly sourceDigest: string;
+    readonly ok?: boolean;
+}
+export declare function contract9ProjectResultToJson(result: Contract9ProjectResult, envelope: Contract9WireEnvelope): Readonly<Record<string, unknown>>;
+export declare function contract9CheckResultToJson(result: Contract9CheckResult, envelope: Contract9WireEnvelope): Readonly<Record<string, unknown>>;
+export declare function liftContract9AnalysisResultJson(base: Readonly<Record<string, unknown>>, result: Contract9AnalysisResult): Readonly<Record<string, unknown>>;
+export declare function liftContract9NextResultJson(base: Readonly<Record<string, unknown>>, result: Contract9NextResult): Readonly<Record<string, unknown>>;
+export declare function liftContract9MutationResultJson(base: Readonly<Record<string, unknown>>, result: Contract9MutationResultV6): Readonly<Record<string, unknown>>;
+export declare function renderContract9ScheduleAlerts(value: TargetScheduleAlertProjection | null): string;
+//# sourceMappingURL=contract9-projection.d.ts.map

package/dist/application/contract9-projection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract9-projection.d.ts","sourceRoot":"","sources":["../../src/application/contract9-projection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,8BAA8B,CAAC;AAClF,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,gCAAgC,CAAC;AACpF,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,sCAAsC,CAAC;AACxF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,KAAK,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC5F,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,+BAA+B,CAAC;AAC/E,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAUrE,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAUzD;AAED,wBAAgB,8BAA8B,CAAC,KAAK,EAAE,2BAA2B,GAAG,IAAI,GAAG,OAAO,CAEjG;AAED,wBAAgB,+BAA+B,CAAC,KAAK,EAAE,6BAA6B,GAAG,IAAI,GAAG,OAAO,CAEpG;AAED,wBAAgB,6BAA6B,CAAC,KAAK,EAAE,6BAA6B,GAAG,IAAI,GAAG,OAAO,CAElG;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC;CACvB;AAED,wBAAgB,4BAA4B,CAAC,MAAM,EAAE,sBAAsB,EAAE,QAAQ,EAAE,qBAAqB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAK/I;AAED,wBAAgB,0BAA0B,CAAC,MAAM,EAAE,oBAAoB,EAAE,QAAQ,EAAE,qBAAqB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAU3I;AAQD,wBAAgB,+BAA+B,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACrF,MAAM,EAAE,uBAAuB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAKpE;AAED,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACjF,MAAM,EAAE,mBAAmB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAIhE;AAED,wBAAgB,+BAA+B,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACrF,MAAM,EAAE,yBAAyB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAKtE;AAMD,wBAAgB,6BAA6B,CAAC,KAAK,EAAE,6BAA6B,GAAG,IAAI,GAAG,MAAM,CAWjG"}

package/dist/application/contract9-projection.js

@@ -0,0 +1,89 @@
+import { contract7ProjectResultToJson } from "./contract7-project.js";
+import { contract6WorkEventToJson } from "./contract6-projection.js";
+import { TOOL_VERSION } from "../version.js";
+function isPosition(value) {
+    return Object.keys(value).length === 3 && Number.isInteger(value["offset"]) &&
+        Number.isInteger(value["line"]) && Number.isInteger(value["column"]);
+}
+export function contract9WireJson(value) {
+    if (typeof value === "bigint")
+        return value.toString();
+    if (Array.isArray(value))
+        return value.map(contract9WireJson);
+    if (value === null || typeof value !== "object")
+        return value;
+    const source = value;
+    if (isPosition(source))
+        return Object.freeze({ offset: source["offset"],
+            line: source["line"] + 1, column: source["column"] + 1 });
+    return Object.freeze(Object.fromEntries(Object.entries(source).map(([key, item]) => [
+        key.replace(/([a-z0-9])([A-Z])/gu, "$1_$2").toLowerCase(), contract9WireJson(item),
+    ])));
+}
+export function contract9ProjectTemporalToJson(value) {
+    return contract9WireJson(value);
+}
+export function contract9AnalysisTemporalToJson(value) {
+    return contract9WireJson(value);
+}
+export function contract9ScheduleAlertsToJson(value) {
+    return contract9WireJson(value);
+}
+export function contract9ProjectResultToJson(result, envelope) {
+    const legacyCompatible = result;
+    return Object.freeze({ ...contract7ProjectResultToJson(legacyCompatible, envelope.source, envelope.sourceDigest, envelope.ok ?? result.ok),
+        schema_version: "Perttool.ProjectResult.v5", cli_contract_version: 9,
+        temporal_schedule: contract9ProjectTemporalToJson(result.temporalSchedule) });
+}
+export function contract9CheckResultToJson(result, envelope) {
+    return Object.freeze({ schema_version: "Perttool.CheckResult.v6", cli_contract_version: 9, tool_version: TOOL_VERSION,
+        operation: "document.check", ok: envelope.ok ?? result.ok, document_id: result.documentId, source: envelope.source,
+        source_digest: envelope.sourceDigest, diagnostics: contract9WireJson(result.diagnostics),
+        diagnostics_truncated: result.diagnosticsTruncated, grammar_version: result.grammarVersion, summary: result.summary,
+        temporal_inputs: contract9WireJson(result.temporalInputs),
+        actuals_inputs: result.actualsInputs === null ? null : Object.freeze({ model_version: result.actualsInputs.modelVersion,
+            events: result.actualsInputs.events.map(contract6WorkEventToJson) }), assurance: contract9WireJson(result.assurance),
+        assurance_state_counts: contract9WireJson(result.assuranceStateCounts), acceptance: contract9WireJson(result.acceptance),
+        schedule_alerts: contract9ScheduleAlertsToJson(result.scheduleAlerts) });
+}
+function replacement(base, expected, schemaVersion, additions) {
+    if (base["schema_version"] !== expected)
+        throw new TypeError(`expected ${expected} base projection`);
+    return Object.freeze({ ...base, ...additions, schema_version: schemaVersion, cli_contract_version: 9 });
+}
+export function liftContract9AnalysisResultJson(base, result) {
+    return replacement(base, "Perttool.AnalysisResult.v6", "Perttool.AnalysisResult.v7", Object.freeze({
+        temporal_schedule: contract9AnalysisTemporalToJson(result.temporalSchedule),
+        schedule_alerts: contract9ScheduleAlertsToJson(result.scheduleAlerts),
+    }));
+}
+export function liftContract9NextResultJson(base, result) {
+    return replacement(base, "Perttool.NextResult.v7", "Perttool.NextResult.v8", Object.freeze({
+        schedule_alerts: contract9ScheduleAlertsToJson(result.scheduleAlerts),
+    }));
+}
+export function liftContract9MutationResultJson(base, result) {
+    if (result.schemaVersion !== "Perttool.MutationResult.v6")
+        throw new TypeError("mutation result is not Contract 9");
+    return replacement(base, "Perttool.MutationResult.v5", "Perttool.MutationResult.v6", Object.freeze({
+        assurance_impact: contract9WireJson(result.assuranceImpact),
+    }));
+}
+function command(argv) {
+    return argv.map((value) => JSON.stringify(value)).join(" ");
+}
+export function renderContract9ScheduleAlerts(value) {
+    if (value === null)
+        return "";
+    const lines = [];
+    for (const occurrence of value.occurrences) {
+        lines.push(`${occurrence.kind} ${occurrence.subject.kind}=${occurrence.subject.id} event=${occurrence.event} target=${occurrence.target.targetKind}:${occurrence.target.sourceText} late_seconds=${occurrence.comparison.signedDifferenceSeconds.numerator}/${occurrence.comparison.signedDifferenceSeconds.denominator} proof=${occurrence.proof.kind}${occurrence.proof.optimal === false ? " optimal=false" : ""}`);
+        if (occurrence.driver.state !== "available" && occurrence.driver.analysisArgv !== null) {
+            lines.push(`ANALYZE ${command(occurrence.driver.analysisArgv)}`);
+        }
+    }
+    if (value.truncation.truncated)
+        lines.push(`SCHEDULE_ALERTS_TRUNCATED emitted=${value.truncation.emitted} total=${value.truncation.total ?? "unknown"}`);
+    return lines.length === 0 ? "" : `${lines.join("\n")}\n`;
+}
+//# sourceMappingURL=contract9-projection.js.map