perttool 0.9.4 → 0.10.0

package/dist/application/contract9-temporal-context.d.ts

@@ -0,0 +1,15 @@
+import { type DocumentNode, type TargetDeclarationKind } from "../model/syntax.js";
+import type { TemporalScheduleSourceResult } from "../temporal-schedule/source-types.js";
+export type Contract9DriverLevel = "none" | "compact" | "full";
+export declare function composeContract9TemporalContext(text: string, document: DocumentNode<TargetDeclarationKind>, operand: string, driverLevel: Contract9DriverLevel, capacityOverrides?: ReadonlyMap<string, number>): Readonly<{
+    source: TemporalScheduleSourceResult;
+    scheduler: null;
+    required: null;
+    alerts: null;
+}> | Readonly<{
+    source: TemporalScheduleSourceResult;
+    scheduler: import("../temporal-schedule/scheduler-types.js").CalendarSchedulerResult;
+    required: import("../temporal-schedule/required-types.js").RequiredScheduleResult;
+    alerts: import("../temporal-schedule/alert-types.js").ScheduleAlertResult;
+}>;
+//# sourceMappingURL=contract9-temporal-context.d.ts.map

package/dist/application/contract9-temporal-context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract9-temporal-context.d.ts","sourceRoot":"","sources":["../../src/application/contract9-temporal-context.ts"],"names":[],"mappings":"AACA,OAAO,EAAc,KAAK,YAAY,EAAE,KAAK,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAW/F,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AAEzF,MAAM,MAAM,oBAAoB,GAAG,MAAM,GAAG,SAAS,GAAG,MAAM,CAAC;AA2F/D,wBAAgB,+BAA+B,CAC7C,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,YAAY,CAAC,qBAAqB,CAAC,EAC7C,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,oBAAoB,EACjC,iBAAiB,GAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAa;;;;;;;;;;GAwB3D"}

package/dist/application/contract9-temporal-context.js

@@ -0,0 +1,127 @@
+import { buildResidualGraph } from "../analysis/graph.js";
+import { fieldNamed } from "../model/syntax.js";
+import { parseDeclaredCalendarValue } from "../model/calendar.js";
+import { add, divide, multiply, rational } from "../model/rational.js";
+import { sha256DigestUtf8 } from "../model/sha256.js";
+import { analyzeTemporalConstraints, TEMPORAL_CONSTRAINT_CAPABILITY } from "../temporal-schedule/constraint.js";
+import { analyzeRequiredSchedule, REQUIRED_SCHEDULE_CAPABILITY } from "../temporal-schedule/required.js";
+import { analyzeCalendarSchedule, TEMPORAL_SCHEDULE_SCHEDULER_CAPABILITY } from "../temporal-schedule/scheduler.js";
+import { evaluateScheduleAlerts, SCHEDULE_ALERT_CAPABILITY } from "../temporal-schedule/alert.js";
+import { parseTemporalScheduleSource, TEMPORAL_SCHEDULE_SOURCE_CAPABILITY } from "../temporal-schedule/source.js";
+function instant(value) {
+    if (value === undefined || value.kind === "date")
+        return null;
+    const whole = Date.UTC(value.year, value.month - 1, value.day, value.hour, value.minute, 0) / 1000
+        - value.offsetMinutes * 60;
+    return add(rational(BigInt(whole)), value.second);
+}
+function workSeconds(expected, graph, source) {
+    if (graph.durationUnit === "hour")
+        return multiply(expected, rational(3600n));
+    const model = source.model;
+    const workday = model.profile.kind === "named_zone" ? model.profile.workdayHours : null;
+    if (graph.durationUnit === "day")
+        return workday === null ? null : multiply(multiply(expected, workday), rational(3600n));
+    if (graph.velocity === null)
+        return null;
+    const periodSeconds = graph.velocity.periodUnit === "hour"
+        ? multiply(graph.velocity.period, rational(3600n))
+        : workday === null ? null : multiply(multiply(graph.velocity.period, workday), rational(3600n));
+    return periodSeconds === null ? null : multiply(divide(expected, graph.velocity.points), periodSeconds);
+}
+function schedulerInput(document, source, capacityOverrides) {
+    const graph = buildResidualGraph(document);
+    const asOf = source.model?.asOf?.instantSeconds;
+    if (asOf === undefined)
+        return null;
+    const edges = graph.edges.map((edge) => {
+        if (edge.kind === "gate")
+            return Object.freeze({ kind: "gate", id: edge.id, source: edge.source, target: edge.target });
+        const expectedWorkSeconds = workSeconds(edge.expected, graph, source);
+        return expectedWorkSeconds === null ? null : Object.freeze({
+            kind: "task", id: edge.id, source: edge.source, target: edge.target,
+            status: edge.status, expectedWorkSeconds, priority: edge.priority, totalFloat: rational(0n),
+            requirements: Object.freeze(edge.requirements.map(({ resourceId, units }) => Object.freeze({ resourceId, units }))),
+        });
+    });
+    if (edges.some((edge) => edge === null))
+        return null;
+    return Object.freeze({
+        documentId: source.documentId, asOf, horizonEnd: rational(4102444800n), finishMilestoneId: graph.finish,
+        frontierMilestoneIds: Object.freeze([...graph.frontier]), milestoneIds: Object.freeze([...graph.vertices.keys()]),
+        resources: Object.freeze([...graph.resources.values()].map(({ id, capacity }) => Object.freeze({ id, capacity }))),
+        edges: Object.freeze(edges), capacityOverrides,
+    });
+}
+function targets(document, source) {
+    const result = [];
+    for (const declaration of document.declarations) {
+        if (declaration.kind !== "task" && declaration.kind !== "milestone")
+            continue;
+        const deadline = fieldNamed(declaration, "deadline");
+        if (deadline !== undefined) {
+            const parsed = typeof deadline.value === "string" ? parseDeclaredCalendarValue(deadline.value) : deadline.value;
+            result.push(Object.freeze({
+                subjectKind: declaration.kind, subjectId: declaration.id,
+                event: declaration.kind === "task" ? "finish" : "reach", targetKind: "deadline",
+                temporalKind: parsed?.kind === "date_time" ? "instant" : "date", instant: instant(parsed),
+                sourceText: parsed?.sourceText ?? "", sourceRange: deadline.valueSpan,
+            }));
+        }
+    }
+    for (const bound of [...source.model.taskBounds, ...source.model.milestoneBounds]) {
+        if (bound.direction !== "latest")
+            continue;
+        result.push(Object.freeze({
+            subjectKind: bound.entityKind, subjectId: bound.entityId, event: bound.event,
+            targetKind: "latest", temporalKind: "instant", instant: bound.value.instantSeconds,
+            sourceText: bound.value.sourceText, sourceRange: bound.span,
+        }));
+    }
+    return Object.freeze(result);
+}
+function eventStates(document) {
+    const graph = buildResidualGraph(document);
+    const result = [];
+    for (const declaration of document.declarations) {
+        if (declaration.kind === "task") {
+            const status = (fieldNamed(declaration, "status")?.value ?? "planned");
+            result.push(Object.freeze({ subjectKind: "task", subjectId: declaration.id, event: "start",
+                complete: status === "active" || status === "done", actualInstant: null }));
+            result.push(Object.freeze({ subjectKind: "task", subjectId: declaration.id, event: "finish",
+                complete: status === "done", actualInstant: null }));
+        }
+        else if (declaration.kind === "milestone") {
+            result.push(Object.freeze({ subjectKind: "milestone", subjectId: declaration.id, event: "reach",
+                complete: graph.effectiveReached.has(declaration.id), actualInstant: null }));
+        }
+    }
+    return Object.freeze(result);
+}
+export function composeContract9TemporalContext(text, document, operand, driverLevel, capacityOverrides = new Map()) {
+    const source = parseTemporalScheduleSource(text, TEMPORAL_SCHEDULE_SOURCE_CAPABILITY);
+    if (!source.ok || source.model === null || source.grammarVersion !== 8)
+        return Object.freeze({ source, scheduler: null, required: null, alerts: null });
+    const schedule = schedulerInput(document, source, capacityOverrides);
+    if (schedule === null)
+        return Object.freeze({ source, scheduler: null, required: null, alerts: null });
+    const scheduler = analyzeCalendarSchedule(source, schedule, TEMPORAL_SCHEDULE_SCHEDULER_CAPABILITY);
+    const constraints = analyzeTemporalConstraints(source, schedule, TEMPORAL_CONSTRAINT_CAPABILITY);
+    const graph = buildResidualGraph(document);
+    const finishDeclaration = document.declarations.find(({ kind, id }) => kind === "milestone" && id === graph.finish);
+    const deadlineField = finishDeclaration === undefined ? undefined : fieldNamed(finishDeclaration, "deadline");
+    const deadlineValue = deadlineField === undefined ? undefined
+        : typeof deadlineField.value === "string" ? parseDeclaredCalendarValue(deadlineField.value)
+            : deadlineField.value;
+    const required = analyzeRequiredSchedule(source, {
+        schedule, horizonStart: rational(0n), finishDeadline: instant(deadlineValue),
+        precedenceForward: constraints.precedence, resourceForward: scheduler.resource,
+    }, REQUIRED_SCHEDULE_CAPABILITY);
+    const alerts = evaluateScheduleAlerts({
+        source, sourceDigest: sha256DigestUtf8(text), operand, schedule, targets: targets(document, source),
+        eventStates: eventStates(document), precedenceForward: constraints.precedence,
+        resourceForward: scheduler.resource, requiredSchedule: required, driverLevel,
+    }, SCHEDULE_ALERT_CAPABILITY);
+    return Object.freeze({ source, scheduler, required, alerts });
+}
+//# sourceMappingURL=contract9-temporal-context.js.map

package/dist/application/contract9-temporal-context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract9-temporal-context.js","sourceRoot":"","sources":["../../src/application/contract9-temporal-context.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,UAAU,EAAiD,MAAM,oBAAoB,CAAC;AAC/F,OAAO,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AAClE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAiB,MAAM,sBAAsB,CAAC;AACtF,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,0BAA0B,EAAE,8BAA8B,EAAE,MAAM,oCAAoC,CAAC;AAChH,OAAO,EAAE,uBAAuB,EAAE,4BAA4B,EAAE,MAAM,kCAAkC,CAAC;AACzG,OAAO,EAAE,uBAAuB,EAAE,sCAAsC,EAAE,MAAM,mCAAmC,CAAC;AACpH,OAAO,EAAE,sBAAsB,EAAE,yBAAyB,EAAE,MAAM,+BAA+B,CAAC;AAGlG,OAAO,EAAE,2BAA2B,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AAKlH,SAAS,OAAO,CAAC,KAAoD;IACnE,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAC9D,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,IAAI;UAC9F,KAAK,CAAC,aAAa,GAAG,EAAE,CAAC;IAC7B,OAAO,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,WAAW,CAAC,QAAkB,EAAE,KAA4C,EAAE,MAAoC;IACzH,IAAI,KAAK,CAAC,YAAY,KAAK,MAAM;QAAE,OAAO,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IAC9E,MAAM,KAAK,GAAG,MAAM,CAAC,KAAM,CAAC;IAC5B,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;IACxF,IAAI,KAAK,CAAC,YAAY,KAAK,KAAK;QAAE,OAAO,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1H,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,aAAa,GAAG,KAAK,CAAC,QAAQ,CAAC,UAAU,KAAK,MAAM;QACxD,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;QAClD,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IAClG,OAAO,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,CAAC;AAC1G,CAAC;AAED,SAAS,cAAc,CACrB,QAA6C,EAC7C,MAAoC,EACpC,iBAA8C;IAE9C,MAAM,KAAK,GAAG,kBAAkB,CAAC,QAAwB,CAAC,CAAC;IAC3D,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,cAAc,CAAC;IAChD,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACrC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QACjI,MAAM,mBAAmB,GAAG,WAAW,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QACtE,OAAO,mBAAmB,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;YACzD,IAAI,EAAE,MAAe,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM;YAC5E,MAAM,EAAE,IAAI,CAAC,MAAO,EAAE,mBAAmB,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC;YAC5F,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;SACpH,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACrD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,UAAU,EAAE,MAAM,CAAC,UAAW,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,iBAAiB,EAAE,KAAK,CAAC,MAAM;QACxG,oBAAoB,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;QACjH,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;QAClH,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAA8C,CAAC,EAAE,iBAAiB;KACxF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,OAAO,CAAC,QAA6C,EAAE,MAAoC;IAClG,MAAM,MAAM,GAA0B,EAAE,CAAC;IACzC,KAAK,MAAM,WAAW,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;QAChD,IAAI,WAAW,CAAC,IAAI,KAAK,MAAM,IAAI,WAAW,CAAC,IAAI,KAAK,WAAW;YAAE,SAAS;QAC9E,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;QACrD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAG,OAAO,QAAQ,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,0BAA0B,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAsD,CAAC;YACjK,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACxB,WAAW,EAAE,WAAW,CAAC,IAAI,EAAE,SAAS,EAAE,WAAW,CAAC,EAAE;gBACxD,KAAK,EAAE,WAAW,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,UAAU;gBAC/E,YAAY,EAAE,MAAM,EAAE,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC;gBACzF,UAAU,EAAE,MAAM,EAAE,UAAU,IAAI,EAAE,EAAE,WAAW,EAAE,QAAQ,CAAC,SAAS;aACtE,CAAC,CAAC,CAAC;QACN,CAAC;IACH,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,MAAM,CAAC,KAAM,CAAC,UAAU,EAAE,GAAG,MAAM,CAAC,KAAM,CAAC,eAAe,CAAC,EAAE,CAAC;QACpF,IAAI,KAAK,CAAC,SAAS,KAAK,QAAQ;YAAE,SAAS;QAC3C,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;YACxB,WAAW,EAAE,KAAK,CAAC,UAAU,EAAE,SAAS,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK;YAC5E,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,cAAc;YAClF,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,UAAU,EAAE,WAAW,EAAE,KAAK,CAAC,IAAI;SAC5D,CAAC,CAAC,CAAC;IACN,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,WAAW,CAAC,QAA6C;IAChE,MAAM,KAAK,GAAG,kBAAkB,CAAC,QAAwB,CAAC,CAAC;IAC3D,MAAM,MAAM,GAA8B,EAAE,CAAC;IAC7C,KAAK,MAAM,WAAW,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;QAChD,IAAI,WAAW,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAChC,MAAM,MAAM,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,QAAQ,CAAC,EAAE,KAAK,IAAI,SAAS,CAAW,CAAC;YACjF,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO;gBACxF,QAAQ,EAAE,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YAC9E,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ;gBACzF,QAAQ,EAAE,MAAM,KAAK,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACzD,CAAC;aAAM,IAAI,WAAW,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC5C,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO;gBAC7F,QAAQ,EAAE,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAClF,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,IAAY,EACZ,QAA6C,EAC7C,OAAe,EACf,WAAiC,EACjC,iBAAiB,GAAgC,IAAI,GAAG,EAAE;IAE1D,MAAM,MAAM,GAAG,2BAA2B,CAAC,IAAI,EAAE,mCAAmC,CAAC,CAAC;IACtF,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,cAAc,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IACxJ,MAAM,QAAQ,GAAG,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,iBAAiB,CAAC,CAAC;IACrE,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IACvG,MAAM,SAAS,GAAG,uBAAuB,CAAC,MAAM,EAAE,QAAQ,EAAE,sCAAsC,CAAC,CAAC;IACpG,MAAM,WAAW,GAAG,0BAA0B,CAAC,MAAM,EAAE,QAAQ,EAAE,8BAA8B,CAAC,CAAC;IACjG,MAAM,KAAK,GAAG,kBAAkB,CAAC,QAAwB,CAAC,CAAC;IAC3D,MAAM,iBAAiB,GAAG,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,WAAW,IAAI,EAAE,KAAK,KAAK,CAAC,MAAM,CAAC,CAAC;IACpH,MAAM,aAAa,GAAG,iBAAiB,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,iBAAiB,EAAE,UAAU,CAAC,CAAC;IAC9G,MAAM,aAAa,GAAG,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS;QAC3D,CAAC,CAAC,OAAO,aAAa,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,0BAA0B,CAAC,aAAa,CAAC,KAAK,CAAC;YACzF,CAAC,CAAC,aAAa,CAAC,KAAsD,CAAC;IAC3E,MAAM,QAAQ,GAAG,uBAAuB,CAAC,MAAM,EAAE;QAC/C,QAAQ,EAAE,YAAY,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE,cAAc,EAAE,OAAO,CAAC,aAAa,CAAC;QAC5E,iBAAiB,EAAE,WAAW,CAAC,UAAU,EAAE,eAAe,EAAE,SAAS,CAAC,QAAQ;KAC/E,EAAE,4BAA4B,CAAC,CAAC;IACjC,MAAM,MAAM,GAAG,sBAAsB,CAAC;QACpC,MAAM,EAAE,YAAY,EAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC;QACnG,WAAW,EAAE,WAAW,CAAC,QAAQ,CAAC,EAAE,iBAAiB,EAAE,WAAW,CAAC,UAAU;QAC7E,eAAe,EAAE,SAAS,CAAC,QAAQ,EAAE,gBAAgB,EAAE,QAAQ,EAAE,WAAW;KAC7E,EAAE,yBAAyB,CAAC,CAAC;IAC9B,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;AAChE,CAAC"}

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

@@ -0,0 +1,20 @@
+import type { Contract9CommandInvocationValidation } from "../command/contract9-usage.js";
+import { type CalendarMutationRequest } from "../temporal-schedule/calendar-mutation.js";
+import { type TemporalEntityMutation } from "../temporal-schedule/entity-mutation.js";
+import type { TemporalScheduleMutationResult } from "../temporal-schedule/source-types.js";
+export type Contract9TemporalMutationRequest = Readonly<{
+    kind: "calendar";
+    request: CalendarMutationRequest;
+}> | Readonly<{
+    kind: "entity";
+    request: TemporalEntityMutation;
+}>;
+export declare function contract9TemporalMutationRequest(invocation: Extract<Contract9CommandInvocationValidation, {
+    readonly ok: true;
+}>): Contract9TemporalMutationRequest | null;
+export declare function planContract9TemporalMutation(text: string, invocation: Extract<Contract9CommandInvocationValidation, {
+    readonly ok: true;
+}>, options?: Readonly<{
+    maxDiagnostics?: number;
+}>): TemporalScheduleMutationResult | null;
+//# sourceMappingURL=contract9-temporal-mutation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"contract9-temporal-mutation.d.ts","sourceRoot":"","sources":["../../src/application/contract9-temporal-mutation.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,oCAAoC,EAAE,MAAM,+BAA+B,CAAC;AAC1F,OAAO,EAAwB,KAAK,uBAAuB,EAAE,MAAM,2CAA2C,CAAC;AAC/G,OAAO,EAA8B,KAAK,sBAAsB,EAAE,MAAM,yCAAyC,CAAC;AAElH,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,sCAAsC,CAAC;AAE3F,MAAM,MAAM,gCAAgC,GACxC,QAAQ,CAAC;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,OAAO,EAAE,uBAAuB,CAAA;CAAE,CAAC,GAChE,QAAQ,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE,sBAAsB,CAAA;CAAE,CAAC,CAAC;AA+DlE,wBAAgB,gCAAgC,CAC9C,UAAU,EAAE,OAAO,CAAC,oCAAoC,EAAE;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAA;CAAE,CAAC,GAC/E,gCAAgC,GAAG,IAAI,CAIzC;AAED,wBAAgB,6BAA6B,CAAC,IAAI,EAAE,MAAM,EACxD,UAAU,EAAE,OAAO,CAAC,oCAAoC,EAAE;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAA;CAAE,CAAC,EAChF,OAAO,GAAE,QAAQ,CAAC;IAAE,cAAc,CAAC,EAAE,MAAM,CAAA;CAAE,CAAM,GAAG,8BAA8B,GAAG,IAAI,CAM5F"}

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

@@ -0,0 +1,78 @@
+import { planCalendarMutation } from "../temporal-schedule/calendar-mutation.js";
+import { planTemporalEntityMutation } from "../temporal-schedule/entity-mutation.js";
+import { TEMPORAL_SCHEDULE_SOURCE_CAPABILITY } from "../temporal-schedule/source.js";
+function values(options, name) {
+    return Object.freeze(options.flatMap((option) => option.name === name && option.value !== null ? [option.value] : []));
+}
+function cleared(options, name) {
+    return values(options, "clear").includes(name);
+}
+function optional(options, name, clearName = name.replaceAll("-", "_")) {
+    const selected = values(options, name);
+    if (selected.length > 0 && cleared(options, clearName))
+        throw new TypeError(`--${name} conflicts with --clear ${clearName}`);
+    return selected[0] ?? (cleared(options, clearName) ? null : undefined);
+}
+function calendarRequest(operation, operands, options) {
+    return Object.freeze({ kind: "calendar", request: Object.freeze({
+            action: operation.slice("calendar.".length), id: operands[1],
+            ...(operation === "calendar.remove" ? {} : {
+                weekdays: values(options, "weekday"), exceptions: values(options, "except"),
+            }),
+        }) });
+}
+function entityRequest(operation, operands, options) {
+    if (operation === "project.set") {
+        const set = { timeZone: optional(options, "time-zone"), tzdb: optional(options, "tzdb"),
+            calendar: optional(options, "calendar"), workday: optional(options, "workday") };
+        if (Object.values(set).every((value) => value === undefined))
+            return null;
+        return Object.freeze({ kind: "entity", request: Object.freeze({ kind: "project.set", set: Object.freeze({
+                    ...(set.timeZone === undefined ? {} : { timeZone: set.timeZone === null ? null : JSON.stringify(set.timeZone) }),
+                    ...(set.tzdb === undefined ? {} : { tzdb: set.tzdb === null ? null : JSON.stringify(set.tzdb) }),
+                    ...(set.calendar === undefined ? {} : { calendar: set.calendar }),
+                    ...(set.workday === undefined ? {} : { workday: set.workday }),
+                }) }) });
+    }
+    if (operation === "resource.set") {
+        const set = { calendar: optional(options, "calendar"), availableFrom: optional(options, "available-from"),
+            availableUntil: optional(options, "available-until") };
+        const availability = values(options, "availability");
+        if (availability.length > 0 && cleared(options, "availability"))
+            throw new TypeError("--availability conflicts with --clear availability");
+        if (Object.values(set).every((value) => value === undefined) && availability.length === 0 && !cleared(options, "availability"))
+            return null;
+        return Object.freeze({ kind: "entity", request: Object.freeze({ kind: "resource.set", id: operands[1], set: Object.freeze({
+                    ...(set.calendar === undefined ? {} : { calendar: set.calendar }),
+                    ...(set.availableFrom === undefined ? {} : { availableFrom: set.availableFrom }),
+                    ...(set.availableUntil === undefined ? {} : { availableUntil: set.availableUntil }),
+                    ...(availability.length > 0 || cleared(options, "availability") ? { availability } : {}),
+                }) }) });
+    }
+    if (operation === "task.set" || operation === "milestone.set") {
+        const when = values(options, "when");
+        if (when.length > 0 && cleared(options, "when"))
+            throw new TypeError("--when conflicts with --clear when");
+        if (when.length === 0 && !cleared(options, "when"))
+            return null;
+        return Object.freeze({ kind: "entity", request: Object.freeze(operation === "task.set"
+                ? { kind: "task.set", id: operands[1], when }
+                : { kind: "milestone.set", id: operands[1], when }) });
+    }
+    return null;
+}
+export function contract9TemporalMutationRequest(invocation) {
+    const { operation } = invocation.descriptor;
+    if (operation.startsWith("calendar."))
+        return calendarRequest(operation, invocation.operands, invocation.options);
+    return entityRequest(operation, invocation.operands, invocation.options);
+}
+export function planContract9TemporalMutation(text, invocation, options = {}) {
+    const mutation = contract9TemporalMutationRequest(invocation);
+    if (mutation === null)
+        return null;
+    return mutation.kind === "calendar"
+        ? planCalendarMutation(text, mutation.request, TEMPORAL_SCHEDULE_SOURCE_CAPABILITY, options)
+        : planTemporalEntityMutation(text, mutation.request, TEMPORAL_SCHEDULE_SOURCE_CAPABILITY, options);
+}
+//# sourceMappingURL=contract9-temporal-mutation.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"contract9-temporal-mutation.js","sourceRoot":"","sources":["../../src/application/contract9-temporal-mutation.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,oBAAoB,EAAgC,MAAM,2CAA2C,CAAC;AAC/G,OAAO,EAAE,0BAA0B,EAA+B,MAAM,yCAAyC,CAAC;AAClH,OAAO,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AAOrF,SAAS,MAAM,CAAC,OAA2C,EAAE,IAAY;IACvE,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACzH,CAAC;AAED,SAAS,OAAO,CAAC,OAA2C,EAAE,IAAY;IACxE,OAAO,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,QAAQ,CAAC,OAA2C,EAAE,IAAY,EAAE,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC;IAChH,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACvC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC;QACpD,MAAM,IAAI,SAAS,CAAC,KAAK,IAAI,2BAA2B,SAAS,EAAE,CAAC,CAAC;IACvE,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AACzE,CAAC;AAED,SAAS,eAAe,CAAC,SAAiB,EAAE,QAA2B,EAAE,OAA2C;IAClH,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;YAC9D,MAAM,EAAE,SAAS,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAsC,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAE;YAClG,GAAG,CAAC,SAAS,KAAK,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACzC,QAAQ,EAAE,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC;aAC5E,CAAC;SACH,CAAC,EAAE,CAAC,CAAC;AACR,CAAC;AAED,SAAS,aAAa,CAAC,SAAiB,EAAE,QAA2B,EAAE,OAA2C;IAChH,IAAI,SAAS,KAAK,aAAa,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,EAAE,QAAQ,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;YACrF,QAAQ,EAAE,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC;QACnF,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC;YAAE,OAAO,IAAI,CAAC;QAC1E,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC;oBACtG,GAAG,CAAC,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAChH,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAChG,GAAG,CAAC,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC;oBACjE,GAAG,CAAC,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC;iBAC/D,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACX,CAAC;IACD,IAAI,SAAS,KAAK,cAAc,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,EAAE,QAAQ,EAAE,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,aAAa,EAAE,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;YACvG,cAAc,EAAE,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC,EAAE,CAAC;QACzD,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QACrD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,cAAc,CAAC;YAC7D,MAAM,IAAI,SAAS,CAAC,oDAAoD,CAAC,CAAC;QAC5E,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,cAAc,CAAC;YAAE,OAAO,IAAI,CAAC;QAC5I,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC;oBACzH,GAAG,CAAC,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC;oBACjE,GAAG,CAAC,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,GAAG,CAAC,aAAa,EAAE,CAAC;oBAChF,GAAG,CAAC,GAAG,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,GAAG,CAAC,cAAc,EAAE,CAAC;oBACnF,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACzF,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACX,CAAC;IACD,IAAI,SAAS,KAAK,UAAU,IAAI,SAAS,KAAK,eAAe,EAAE,CAAC;QAC9D,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QACrC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,oCAAoC,CAAC,CAAC;QAC3G,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QAChE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,KAAK,UAAU;gBACpF,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE;gBAC9C,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,gCAAgC,CAC9C,UAAgF;IAEhF,MAAM,EAAE,SAAS,EAAE,GAAG,UAAU,CAAC,UAAU,CAAC;IAC5C,IAAI,SAAS,CAAC,UAAU,CAAC,WAAW,CAAC;QAAE,OAAO,eAAe,CAAC,SAAS,EAAE,UAAU,CAAC,QAAQ,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC;IAClH,OAAO,aAAa,CAAC,SAAS,EAAE,UAAU,CAAC,QAAQ,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,IAAY,EACxD,UAAgF,EAChF,OAAO,GAA0C,EAAE;IACnD,MAAM,QAAQ,GAAG,gCAAgC,CAAC,UAAU,CAAC,CAAC;IAC9D,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACnC,OAAO,QAAQ,CAAC,IAAI,KAAK,UAAU;QACjC,CAAC,CAAC,oBAAoB,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,mCAAmC,EAAE,OAAO,CAAC;QAC5F,CAAC,CAAC,0BAA0B,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,mCAAmC,EAAE,OAAO,CAAC,CAAC;AACvG,CAAC"}

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

@@ -0,0 +1,17 @@
+import type { AnalyzeOptions } from "./analyze.js";
+import type { CheckOptions } from "./check.js";
+import type { NextOptions } from "./next.js";
+import { type TargetPostdueAnalysisResultV7 } from "./target-postdue-analysis.js";
+import { type TargetPostdueCheckResultV6 } from "./target-postdue-check.js";
+import { type TargetPostdueNextResultV8 } from "./target-postdue-next.js";
+export type Contract9CheckResult = TargetPostdueCheckResultV6;
+export type Contract9AnalysisResult = TargetPostdueAnalysisResultV7;
+export type Contract9NextResult = TargetPostdueNextResultV8;
+type Contract9SourceOptions = {
+    readonly sourceOperand?: string;
+};
+export declare function checkDocument(text: string, options?: CheckOptions & Contract9SourceOptions): Contract9CheckResult;
+export declare function analyzeDocument(text: string, options?: AnalyzeOptions & Contract9SourceOptions): Contract9AnalysisResult;
+export declare function selectNextTasks(text: string, options?: AnalyzeOptions & NextOptions & Contract9SourceOptions): Contract9NextResult;
+export {};
+//# sourceMappingURL=contract9-temporal.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"contract9-temporal.d.ts","sourceRoot":"","sources":["../../src/application/contract9-temporal.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAE7C,OAAO,EAAgC,KAAK,6BAA6B,EAAE,MAAM,8BAA8B,CAAC;AAChH,OAAO,EAA6B,KAAK,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AACvG,OAAO,EAA4B,KAAK,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AAmBpG,MAAM,MAAM,oBAAoB,GAAG,0BAA0B,CAAC;AAC9D,MAAM,MAAM,uBAAuB,GAAG,6BAA6B,CAAC;AACpE,MAAM,MAAM,mBAAmB,GAAG,yBAAyB,CAAC;AAC5D,KAAK,sBAAsB,GAAG;IAAE,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAElE,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE,YAAY,GAAG,sBAA2B,GAAG,oBAAoB,CAerH;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE,cAAc,GAAG,sBAA2B,GAAG,uBAAuB,CAS5H;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE,cAAc,GAAG,WAAW,GAAG,sBAA2B,GAAG,mBAAmB,CAStI"}

package/dist/application/contract9-temporal.js

@@ -0,0 +1,65 @@
+import { limitDiagnostics, normalizeMaxDiagnostics, sortDiagnostics } from "../model/diagnostics.js";
+import { temporalScheduleBaseText, scanTemporalDeclarationBlocks } from "../temporal-schedule/source-lexical.js";
+import { parseTemporalScheduleSource, TEMPORAL_SCHEDULE_SOURCE_CAPABILITY } from "../temporal-schedule/source.js";
+import { analyzeDocument as analyzeContract8Document, checkDocument as checkContract8Document, selectNextTasks as selectContract8NextTasks, } from "./contract8-milestone-acceptance.js";
+import { composeContract9TemporalContext } from "./contract9-temporal-context.js";
+import { projectTargetPostdueAnalysis } from "./target-postdue-analysis.js";
+import { projectTargetPostdueCheck } from "./target-postdue-check.js";
+import { projectTargetPostdueNext } from "./target-postdue-next.js";
+function isGrammar8(text) {
+    return /^  version 8$/mu.test(text);
+}
+function baseText(text) {
+    return temporalScheduleBaseText(text, scanTemporalDeclarationBlocks(text));
+}
+function temporalDiagnostics(text, maximum) {
+    const source = parseTemporalScheduleSource(text, TEMPORAL_SCHEDULE_SOURCE_CAPABILITY, { maxDiagnostics: maximum });
+    return Object.freeze(source.diagnostics.filter(({ code }) => code.startsWith("PTSCH-10")).map((item) => Object.freeze({
+        code: item.code, severity: item.severity, message: item.message,
+        ...(item.entityId === undefined ? {} : { entityId: item.entityId }),
+        ...(item.span === undefined ? {} : { span: item.span }), helpTopic: "syntax", data: item.data ?? Object.freeze({}),
+    })));
+}
+export function checkDocument(text, options = {}) {
+    if (!isGrammar8(text))
+        return projectTargetPostdueCheck(checkContract8Document(text, options), null);
+    const maximum = normalizeMaxDiagnostics(options.maxDiagnostics);
+    const base = checkContract8Document(baseText(text), options);
+    const extra = temporalDiagnostics(text, maximum);
+    const limited = limitDiagnostics(sortDiagnostics([...base.diagnostics, ...extra]), maximum);
+    const errors = extra.filter(({ severity }) => severity === "error").length;
+    const warnings = extra.filter(({ severity }) => severity === "warning").length;
+    const candidate = Object.freeze({ ...base, document: Object.freeze({ ...base.document, text }), documentId: base.documentId,
+        grammarVersion: 8, ok: base.ok && errors === 0, diagnostics: limited.diagnostics,
+        diagnosticsTruncated: base.diagnosticsTruncated || limited.truncated,
+        summary: Object.freeze({ ...base.summary, errors: base.summary.errors + errors, warnings: base.summary.warnings + warnings }) });
+    if (!candidate.ok)
+        return projectTargetPostdueCheck(candidate, null);
+    const context = composeContract9TemporalContext(text, base.document, options.sourceOperand ?? "FILE", "compact");
+    return projectTargetPostdueCheck(candidate, context.alerts);
+}
+export function analyzeDocument(text, options = {}) {
+    if (!isGrammar8(text))
+        return projectTargetPostdueAnalysis(analyzeContract8Document(text, options), null, null, null);
+    const base = analyzeContract8Document(baseText(text), options);
+    const extra = temporalDiagnostics(text, normalizeMaxDiagnostics(options.maxDiagnostics));
+    const candidate = Object.freeze({ ...base, grammarVersion: 8, ok: base.ok && !extra.some(({ severity }) => severity === "error"),
+        diagnostics: Object.freeze([...base.diagnostics, ...extra]) });
+    if (!candidate.ok)
+        return projectTargetPostdueAnalysis(candidate, null, null, null);
+    const context = composeContract9TemporalContext(text, base.document, options.sourceOperand ?? "FILE", "full", options.capacityOverrides);
+    return projectTargetPostdueAnalysis(candidate, context.scheduler, context.required, context.alerts);
+}
+export function selectNextTasks(text, options = {}) {
+    if (!isGrammar8(text))
+        return projectTargetPostdueNext(selectContract8NextTasks(text, options), null);
+    const base = selectContract8NextTasks(baseText(text), options);
+    const extra = temporalDiagnostics(text, normalizeMaxDiagnostics(options.maxDiagnostics));
+    const candidate = Object.freeze({ ...base, grammarVersion: 8, ok: base.ok && !extra.some(({ severity }) => severity === "error"),
+        diagnostics: Object.freeze([...base.diagnostics, ...extra]) });
+    if (!candidate.ok)
+        return projectTargetPostdueNext(candidate, null);
+    const context = composeContract9TemporalContext(text, base.document, options.sourceOperand ?? "FILE", "compact", options.capacityOverrides);
+    return projectTargetPostdueNext(candidate, context.alerts);
+}
+//# sourceMappingURL=contract9-temporal.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"contract9-temporal.js","sourceRoot":"","sources":["../../src/application/contract9-temporal.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,eAAe,EAAmB,MAAM,yBAAyB,CAAC;AACtH,OAAO,EAAE,wBAAwB,EAAE,6BAA6B,EAAE,MAAM,wCAAwC,CAAC;AACjH,OAAO,EAAE,2BAA2B,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AAClH,OAAO,EACL,eAAe,IAAI,wBAAwB,EAC3C,aAAa,IAAI,sBAAsB,EACvC,eAAe,IAAI,wBAAwB,GAC5C,MAAM,qCAAqC,CAAC;AAI7C,OAAO,EAAE,+BAA+B,EAAE,MAAM,iCAAiC,CAAC;AAClF,OAAO,EAAE,4BAA4B,EAAsC,MAAM,8BAA8B,CAAC;AAChH,OAAO,EAAE,yBAAyB,EAAmC,MAAM,2BAA2B,CAAC;AACvG,OAAO,EAAE,wBAAwB,EAAkC,MAAM,0BAA0B,CAAC;AAEpG,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACtC,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,wBAAwB,CAAC,IAAI,EAAE,6BAA6B,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAY,EAAE,OAAe;IACxD,MAAM,MAAM,GAAG,2BAA2B,CAAC,IAAI,EAAE,mCAAmC,EAAE,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,CAAC;IACnH,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAc,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;QAChI,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO;QAC/D,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACnE,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;KACnH,CAAC,CAAC,CAAC,CAAC;AACP,CAAC;AAOD,MAAM,UAAU,aAAa,CAAC,IAAY,EAAE,OAAO,GAA0C,EAAE;IAC7F,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,yBAAyB,CAAC,sBAAsB,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC;IACrG,MAAM,OAAO,GAAG,uBAAuB,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,MAAM,OAAO,GAAG,gBAAgB,CAAC,eAAe,CAAC,CAAC,GAAG,IAAI,CAAC,WAAW,EAAE,GAAG,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAC5F,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;IAC3E,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;IAC/E,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU;QACzH,cAAc,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,IAAI,MAAM,KAAK,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW;QAChF,oBAAoB,EAAE,IAAI,CAAC,oBAAoB,IAAI,OAAO,CAAC,SAAS;QACpE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,GAAG,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;IACnI,IAAI,CAAC,SAAS,CAAC,EAAE;QAAE,OAAO,yBAAyB,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IACrE,MAAM,OAAO,GAAG,+BAA+B,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,aAAa,IAAI,MAAM,EAAE,SAAS,CAAC,CAAC;IACjH,OAAO,yBAAyB,CAAC,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAAY,EAAE,OAAO,GAA4C,EAAE;IACjG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,4BAA4B,CAAC,wBAAwB,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACtH,MAAM,IAAI,GAAG,wBAAwB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,EAAE,uBAAuB,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC;IACzF,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE,cAAc,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,KAAK,OAAO,CAAC;QAC9H,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,WAAW,EAAE,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;IACjE,IAAI,CAAC,SAAS,CAAC,EAAE;QAAE,OAAO,4BAA4B,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACpF,MAAM,OAAO,GAAG,+BAA+B,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,aAAa,IAAI,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACzI,OAAO,4BAA4B,CAAC,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;AACtG,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAAY,EAAE,OAAO,GAA0D,EAAE;IAC/G,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,wBAAwB,CAAC,wBAAwB,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC;IACtG,MAAM,IAAI,GAAG,wBAAwB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,EAAE,uBAAuB,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC;IACzF,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE,cAAc,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,KAAK,OAAO,CAAC;QAC9H,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,WAAW,EAAE,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;IACjE,IAAI,CAAC,SAAS,CAAC,EAAE;QAAE,OAAO,wBAAwB,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IACpE,MAAM,OAAO,GAAG,+BAA+B,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,aAAa,IAAI,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAC5I,OAAO,wBAAwB,CAAC,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;AAC7D,CAAC"}

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

@@ -0,0 +1,28 @@
+export interface Contract9WritableCandidate {
+    readonly ok: boolean;
+    readonly changed: boolean;
+    readonly originalDigest: string;
+    readonly updatedDigest: string | null;
+    readonly updatedText: string | null;
+    readonly governance?: Readonly<{
+        readonly writeAuthorized: boolean;
+        readonly intent: string;
+    }> | null;
+}
+export type Contract9WriteRequest = Readonly<{
+    mode: "preview";
+}> | Readonly<{
+    mode: "in_place";
+    target: string;
+    expectedDigest?: string;
+}> | Readonly<{
+    mode: "out";
+    target: string;
+}>;
+export interface Contract9WriteProjection {
+    readonly mode: "preview" | "in_place" | "out";
+    readonly target: string | null;
+    readonly written: boolean;
+}
+export declare function persistContract9Mutation(result: Contract9WritableCandidate, request: Contract9WriteRequest): Promise<Contract9WriteProjection>;
+//# sourceMappingURL=contract9-write.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"contract9-write.d.ts","sourceRoot":"","sources":["../../src/application/contract9-write.ts"],"names":[],"mappings":"AAGA,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IACxH,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC;QAAE,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,GAAG,IAAI,CAAC;CAC5I;AAED,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC,GAAG,QAAQ,CAAC;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,cAAc,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,GACvI,QAAQ,CAAC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAC9C,MAAM,WAAW,wBAAwB;IAAG,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,UAAU,GAAG,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE;AAEtJ,wBAAsB,wBAAwB,CAAC,MAAM,EAAE,0BAA0B,EAC/E,OAAO,EAAE,qBAAqB,GAAG,OAAO,CAAC,wBAAwB,CAAC,CAenE"}

package/dist/application/contract9-write.js

@@ -0,0 +1,25 @@
+import { digestDocumentBytes } from "../io/document-file.js";
+import { createValidatedDocumentFile, replaceValidatedDocumentFile } from "../io/safe-write.js";
+import { parseTemporalScheduleSource, TEMPORAL_SCHEDULE_SOURCE_CAPABILITY } from "../temporal-schedule/source.js";
+export async function persistContract9Mutation(result, request) {
+    if (request.mode === "preview" || !result.changed)
+        return Object.freeze({ mode: request.mode, target: request.mode === "preview" ? null : request.target, written: false });
+    if (!result.ok || result.updatedText === null || result.updatedDigest === null ||
+        (result.governance !== undefined && result.governance !== null && (!result.governance.writeAuthorized || result.governance.intent !== "persist"))) {
+        throw new TypeError("authorized Contract 9 result does not contain a writable candidate");
+    }
+    if (digestDocumentBytes(Buffer.from(result.updatedText, "utf8")) !== result.updatedDigest)
+        throw new TypeError("Contract 9 candidate digest mismatch");
+    const validator = (text) => {
+        const parsed = parseTemporalScheduleSource(text, TEMPORAL_SCHEDULE_SOURCE_CAPABILITY);
+        return { ok: parsed.ok && parsed.grammarVersion === 8 && parsed.model !== null, diagnostics: [] };
+    };
+    const output = request.mode === "in_place"
+        ? await replaceValidatedDocumentFile(request.target, result.updatedText, { initialDigest: result.originalDigest,
+            ...(request.expectedDigest === undefined ? {} : { expectedDigest: request.expectedDigest }) }, validator)
+        : await createValidatedDocumentFile(request.target, result.updatedText, validator);
+    if (output.digest !== result.updatedDigest)
+        throw new TypeError("Contract 9 safe-write digest mismatch");
+    return Object.freeze({ mode: request.mode, target: request.target, written: output.written });
+}
+//# sourceMappingURL=contract9-write.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"contract9-write.js","sourceRoot":"","sources":["../../src/application/contract9-write.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,2BAA2B,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AAChG,OAAO,EAAE,2BAA2B,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AAUlH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAAC,MAAkC,EAC/E,OAA8B;IAC9B,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,OAAO;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;IAC5K,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,WAAW,KAAK,IAAI,IAAI,MAAM,CAAC,aAAa,KAAK,IAAI;QAC5E,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,eAAe,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC;QACpJ,MAAM,IAAI,SAAS,CAAC,oEAAoE,CAAC,CAAC;IAC5F,CAAC;IACD,IAAI,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,KAAK,MAAM,CAAC,aAAa;QAAE,MAAM,IAAI,SAAS,CAAC,sCAAsC,CAAC,CAAC;IACvJ,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,EAAE;QAAG,MAAM,MAAM,GAAG,2BAA2B,CAAC,IAAI,EAAE,mCAAmC,CAAC,CAAC;QAC1H,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,cAAc,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;IAAC,CAAC,CAAC;IACvG,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,KAAK,UAAU;QACxC,CAAC,CAAC,MAAM,4BAA4B,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,WAAW,EAAE,EAAE,aAAa,EAAE,MAAM,CAAC,cAAc;YAC7G,GAAG,CAAC,OAAO,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE,CAAC,EAAE,EAAE,SAAS,CAAC;QAC3G,CAAC,CAAC,MAAM,2BAA2B,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IACrF,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,aAAa;QAAE,MAAM,IAAI,SAAS,CAAC,uCAAuC,CAAC,CAAC;IACzG,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;AAChG,CAAC"}

package/dist/application/editor-milestone-acceptance.d.ts

@@ -4,6 +4,7 @@ export declare const EDITOR_MILESTONE_ACCEPTANCE_MODEL_VERSION: 1;
 export interface EditorMilestoneAcceptanceDocumentPreparationV1 {
     readonly analysisText: string;
     readonly diagnostics: readonly Diagnostic[];
+    readonly semanticFingerprintExtensions: readonly unknown[];
 }
 export interface EditorMilestoneAcceptanceSourceBindingV1 {
     readonly bindingId: string;
@@ -71,5 +72,8 @@ export interface EditorMilestoneAcceptanceInspectionV1 {
     readonly acceptance: EditorMilestoneAcceptanceProjectionV1 | null;
 }
 export declare function prepareEditorMilestoneAcceptanceDocument(text: string, maxDiagnostics?: number): EditorMilestoneAcceptanceDocumentPreparationV1;
+/** Coordinate-preserving Grammar 8 preparation for the private editor adapters. */
+export declare function prepareEditorContract9Document(text: string, maxDiagnostics?: number): EditorMilestoneAcceptanceDocumentPreparationV1;
+export declare function formatEditorContract9Document(text: string): import("../formatter/source-formatter.js").FormatResult;
 export declare function inspectEditorMilestoneAcceptance(text: string, expectedDigest: string): EditorMilestoneAcceptanceInspectionV1;
 //# sourceMappingURL=editor-milestone-acceptance.d.ts.map

package/dist/application/editor-milestone-acceptance.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"editor-milestone-acceptance.d.ts","sourceRoot":"","sources":["../../src/application/editor-milestone-acceptance.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAGtE,OAAO,EAIL,KAAK,qBAAqB,EAI3B,MAAM,mCAAmC,CAAC;AAK3C,eAAO,MAAM,yCAAyC,EAAG,CAAU,CAAC;AAEpE,MAAM,WAAW,8CAA8C;IAC7D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C;AAED,MAAM,WAAW,wCAAwC;IACvD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,eAAe,EACpB,WAAW,GACX,yBAAyB,GACzB,WAAW,GACX,8BAA8B,GAC9B,gCAAgC,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAC3B;AAED,MAAM,WAAW,oCAAoC;IACnD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,qBAAqB,CAAC;IAC7C,QAAQ,CAAC,UAAU,EAAE,UAAU,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,WAAW,GAAG,QAAQ,GAAG,aAAa,GAAG,QAAQ,CAAC;IAC9E,QAAQ,CAAC,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3C,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,yBAAyB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClD,QAAQ,CAAC,wBAAwB,EAAE,SAAS,MAAM,EAAE,CAAC;CACtD;AAED,MAAM,WAAW,oCAAoC;IACnD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,WAAW,GAAG,SAAS,CAAC;IAC1C,QAAQ,CAAC,UAAU,EACf,gBAAgB,GAChB,cAAc,GACd,SAAS,GACT,UAAU,GACV,QAAQ,GACR,aAAa,CAAC;IAClB,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5C,QAAQ,CAAC,sBAAsB,EAAE,UAAU,MAAM,EAAE,GAAG,IAAI,CAAC;IAC3D,QAAQ,CAAC,QAAQ,EAAE,SAAS,oCAAoC,EAAE,CAAC;IACnE,QAAQ,CAAC,4BAA4B,EAAE,SAAS,MAAM,EAAE,CAAC;IACzD,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;CAC/C;AAED,MAAM,WAAW,oCAAoC;IACnD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,QAAQ,CAAC;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,UAAU,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,eAAe,EAAE,UAAU,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,yBAAyB,EAAE,SAAS,MAAM,EAAE,CAAC;IACtD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CAClC;AAED,MAAM,WAAW,qCAAqC;IACpD,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC;IACzB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,WAAW,GAAG,gBAAgB,CAAC;IACtD,QAAQ,CAAC,UAAU,EAAE,SAAS,oCAAoC,EAAE,CAAC;IACrE,QAAQ,CAAC,SAAS,EAAE,oCAAoC,GAAG,IAAI,CAAC;IAChE,QAAQ,CAAC,cAAc,EAAE,SAAS,wCAAwC,EAAE,CAAC;CAC9E;AAED,MAAM,WAAW,qCAAqC;IACpD,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,SAAS,GAAG,aAAa,CAAC;IACvD,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,qCAAqC,GAAG,IAAI,CAAC;CACnE;AA4DD,wBAAgB,wCAAwC,CACtD,IAAI,EAAE,MAAM,EACZ,cAAc,CAAC,EAAE,MAAM,GACtB,8CAA8C,CAQhD;AAED,wBAAgB,gCAAgC,CAC9C,IAAI,EAAE,MAAM,EACZ,cAAc,EAAE,MAAM,GACrB,qCAAqC,CAmKvC"}
+{"version":3,"file":"editor-milestone-acceptance.d.ts","sourceRoot":"","sources":["../../src/application/editor-milestone-acceptance.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAGtE,OAAO,EAIL,KAAK,qBAAqB,EAI3B,MAAM,mCAAmC,CAAC;AAQ3C,eAAO,MAAM,yCAAyC,EAAG,CAAU,CAAC;AAEpE,MAAM,WAAW,8CAA8C;IAC7D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,6BAA6B,EAAE,SAAS,OAAO,EAAE,CAAC;CAC5D;AAED,MAAM,WAAW,wCAAwC;IACvD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,eAAe,EACpB,WAAW,GACX,yBAAyB,GACzB,WAAW,GACX,8BAA8B,GAC9B,gCAAgC,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAC3B;AAED,MAAM,WAAW,oCAAoC;IACnD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,qBAAqB,CAAC;IAC7C,QAAQ,CAAC,UAAU,EAAE,UAAU,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,WAAW,GAAG,QAAQ,GAAG,aAAa,GAAG,QAAQ,CAAC;IAC9E,QAAQ,CAAC,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3C,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,yBAAyB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClD,QAAQ,CAAC,wBAAwB,EAAE,SAAS,MAAM,EAAE,CAAC;CACtD;AAED,MAAM,WAAW,oCAAoC;IACnD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,WAAW,GAAG,SAAS,CAAC;IAC1C,QAAQ,CAAC,UAAU,EACf,gBAAgB,GAChB,cAAc,GACd,SAAS,GACT,UAAU,GACV,QAAQ,GACR,aAAa,CAAC;IAClB,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5C,QAAQ,CAAC,sBAAsB,EAAE,UAAU,MAAM,EAAE,GAAG,IAAI,CAAC;IAC3D,QAAQ,CAAC,QAAQ,EAAE,SAAS,oCAAoC,EAAE,CAAC;IACnE,QAAQ,CAAC,4BAA4B,EAAE,SAAS,MAAM,EAAE,CAAC;IACzD,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;CAC/C;AAED,MAAM,WAAW,oCAAoC;IACnD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,QAAQ,CAAC;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,UAAU,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,eAAe,EAAE,UAAU,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,yBAAyB,EAAE,SAAS,MAAM,EAAE,CAAC;IACtD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CAClC;AAED,MAAM,WAAW,qCAAqC;IACpD,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC;IACzB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,WAAW,GAAG,gBAAgB,CAAC;IACtD,QAAQ,CAAC,UAAU,EAAE,SAAS,oCAAoC,EAAE,CAAC;IACrE,QAAQ,CAAC,SAAS,EAAE,oCAAoC,GAAG,IAAI,CAAC;IAChE,QAAQ,CAAC,cAAc,EAAE,SAAS,wCAAwC,EAAE,CAAC;CAC9E;AAED,MAAM,WAAW,qCAAqC;IACpD,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,SAAS,GAAG,aAAa,CAAC;IACvD,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,qCAAqC,GAAG,IAAI,CAAC;CACnE;AA4DD,wBAAgB,wCAAwC,CACtD,IAAI,EAAE,MAAM,EACZ,cAAc,CAAC,EAAE,MAAM,GACtB,8CAA8C,CAmEhD;AAED,mFAAmF;AACnF,wBAAgB,8BAA8B,CAC5C,IAAI,EAAE,MAAM,EACZ,cAAc,CAAC,EAAE,MAAM,GACtB,8CAA8C,CAoBhD;AAED,wBAAgB,6BAA6B,CAC3C,IAAI,EAAE,MAAM,GACX,OAAO,kCAAkC,EAAE,YAAY,CAYzD;AAED,wBAAgB,gCAAgC,CAC9C,IAAI,EAAE,MAAM,EACZ,cAAc,EAAE,MAAM,GACrB,qCAAqC,CAmKvC"}

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

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