perttool 0.9.3 → 0.10.0

package/dist/command/contract9-discovery.d.ts

@@ -0,0 +1,17 @@
+import type { CommandHelpQuery } from "./discovery.js";
+import type { AssuranceCommandDescriptor, AssuranceCommandHelpResult } from "./assurance-discovery.js";
+export type Contract9CommandDescriptor = Omit<AssuranceCommandDescriptor, "contractVersion"> & {
+    readonly contractVersion: 9;
+};
+export type Contract9CommandHelpResult = Omit<AssuranceCommandHelpResult, "cliContractVersion" | "commands"> & {
+    readonly cliContractVersion: 9;
+    readonly commands: readonly Contract9CommandDescriptor[];
+};
+export declare const CONTRACT9_COMMAND_REGISTRY: readonly Contract9CommandDescriptor[];
+export declare function getContract9CommandDiscovery(query: CommandHelpQuery): Contract9CommandHelpResult;
+export declare function contract9CommandHelpResultToJson(value: Contract9CommandHelpResult): Readonly<Record<string, unknown>>;
+export declare function contract9CommandDescriptorToJson(value: Contract9CommandDescriptor): Readonly<Record<string, unknown>>;
+export declare function contract9CommandRegistryToJson(): readonly Readonly<Record<string, unknown>>[];
+export declare function serializeContract9CommandHelpResult(value: Contract9CommandHelpResult): string;
+export declare function renderContract9CommandHelpResult(value: Contract9CommandHelpResult): string;
+//# sourceMappingURL=contract9-discovery.d.ts.map

package/dist/command/contract9-discovery.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract9-discovery.d.ts","sourceRoot":"","sources":["../../src/command/contract9-discovery.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAA0B,MAAM,gBAAgB,CAAC;AAC/E,OAAO,KAAK,EAAE,0BAA0B,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AAGvG,MAAM,MAAM,0BAA0B,GAAG,IAAI,CAAC,0BAA0B,EAAE,iBAAiB,CAAC,GAAG;IAAE,QAAQ,CAAC,eAAe,EAAE,CAAC,CAAA;CAAE,CAAC;AAC/H,MAAM,MAAM,0BAA0B,GAAG,IAAI,CAAC,0BAA0B,EAAE,oBAAoB,GAAG,UAAU,CAAC,GAAG;IAC7G,QAAQ,CAAC,kBAAkB,EAAE,CAAC,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,SAAS,0BAA0B,EAAE,CAAC;CAC1D,CAAC;AA6EF,eAAO,MAAM,0BAA0B,EAAE,SAAS,0BAA0B,EAE1E,CAAC;AAiBH,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,gBAAgB,GAAG,0BAA0B,CAchG;AACD,wBAAgB,gCAAgC,CAAC,KAAK,EAAE,0BAA0B,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAErH;AACD,wBAAgB,gCAAgC,CAAC,KAAK,EAAE,0BAA0B,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAErH;AACD,wBAAgB,8BAA8B,IAAI,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAE7F;AACD,wBAAgB,mCAAmC,CAAC,KAAK,EAAE,0BAA0B,GAAG,MAAM,CAE7F;AACD,wBAAgB,gCAAgC,CAAC,KAAK,EAAE,0BAA0B,GAAG,MAAM,CAE1F"}

package/dist/command/contract9-discovery.js

@@ -0,0 +1,126 @@
+import { TOOL_VERSION } from "../version.js";
+import { ASSURANCE_COMMAND_REGISTRY, assuranceCommandDescriptorToJson, assuranceCommandHelpResultToJson, renderAssuranceCommandHelpResult } from "./assurance-discovery.js";
+const replacements = new Map([
+    ["Perttool.ProjectResult.v4", "Perttool.ProjectResult.v5"],
+    ["Perttool.CheckResult.v5", "Perttool.CheckResult.v6"],
+    ["Perttool.AnalysisResult.v6", "Perttool.AnalysisResult.v7"],
+    ["Perttool.NextResult.v7", "Perttool.NextResult.v8"],
+    ["Perttool.MutationResult.v5", "Perttool.MutationResult.v6"],
+    ["Perttool.PlanAssuranceResult.v1", "Perttool.PlanAssuranceResult.v2"],
+    ["Perttool.UnitMigrationResult.v3", "Perttool.UnitMigrationResult.v4"],
+]);
+function temporalOption(name, valueType, repeatable = false) {
+    return Object.freeze({
+        name, kind: "value", valueType, required: false, repeatable, defaultValue: null,
+        enumValues: Object.freeze(name === "tzdb" ? ["2026c"] : []), conflicts: Object.freeze([]), requires: Object.freeze([]),
+        sharedGroup: null, description: null,
+        spelling: Object.freeze({ cli: `--${name}`, dsl: name.replaceAll("-", "_"), json: name.replaceAll("-", "_") }),
+    });
+}
+const temporalOptions = Object.freeze({
+    "project.set": Object.freeze([
+        temporalOption("time-zone", "iana-time-zone"), temporalOption("tzdb", "tzdb-release"),
+        temporalOption("calendar", "calendar-id"), temporalOption("workday", "duration"),
+    ]),
+    "resource.set": Object.freeze([
+        temporalOption("calendar", "calendar-id"), temporalOption("available-from", "date-time"),
+        temporalOption("available-until", "date-time"), temporalOption("availability", "availability-window", true),
+    ]),
+    "task.set": Object.freeze([temporalOption("when", "task-event-bound", true)]),
+    "milestone.set": Object.freeze([temporalOption("when", "milestone-event-bound", true)]),
+});
+function contract9Options(descriptor) {
+    const additions = temporalOptions[descriptor.operation];
+    if (additions === undefined)
+        return descriptor.options;
+    return Object.freeze(descriptor.options.map((option) => option.name !== "clear" ? option : Object.freeze({ ...option,
+        enumValues: Object.freeze([...option.enumValues, ...additions.map(({ spelling }) => spelling.dsl)]) }))
+        .concat(additions));
+}
+function converted(descriptor) {
+    const migration = descriptor.operation === "document.migrate";
+    return Object.freeze({ ...descriptor, contractVersion: 9,
+        ...(migration ? { summary: "Prepares a complete document for Grammar 8." } : {}),
+        options: Object.freeze(contract9Options(descriptor).map((option) => migration && option.name === "target-grammar"
+            ? Object.freeze({ ...option, enumValues: Object.freeze(["8"]) }) : option)),
+        examples: migration ? Object.freeze([Object.freeze({ id: "preview",
+                invocation: "perttool document migrate plan.pert --target-grammar 8",
+                summary: "Preview the Grammar 8 migration candidate." })]) : descriptor.examples,
+        resultSchemas: Object.freeze(descriptor.resultSchemas.map((schema) => replacements.get(schema) ?? schema)) });
+}
+const template = ASSURANCE_COMMAND_REGISTRY.find(({ operation }) => operation === "task.add");
+if (template === undefined)
+    throw new Error("Contract 9 mutation descriptor template is unavailable");
+const shared = template.options.filter(({ sharedGroup }) => sharedGroup !== null);
+const calendarCommand = (action) => Object.freeze({
+    ...converted(template), path: Object.freeze(["calendar", action]), operation: `calendar.${action}`,
+    summary: `${action === "remove" ? "Removes" : action === "add" ? "Adds" : "Changes"} one working-time calendar.`,
+    operands: Object.freeze([
+        Object.freeze({ name: "file", position: 0, valueType: "path-or-stdin", required: true }),
+        Object.freeze({ name: "id", position: 1, valueType: "identifier", required: true }),
+    ]),
+    options: Object.freeze(action === "remove" ? shared : [
+        Object.freeze({ ...template.options.find(({ name }) => name === "title"), name: "weekday", required: false, repeatable: true,
+            valueType: "weekday-windows", spelling: Object.freeze({ cli: "--weekday", dsl: "weekday windows", json: "weekday" }) }),
+        Object.freeze({ ...template.options.find(({ name }) => name === "title"), name: "except", required: false, repeatable: true,
+            valueType: "date-windows", spelling: Object.freeze({ cli: "--except", dsl: "except date windows", json: "except" }) }),
+        ...shared,
+    ]),
+    examples: Object.freeze([Object.freeze({ id: action, invocation: action === "remove"
+                ? "perttool calendar remove plan.pert STANDARD --diff"
+                : `perttool calendar ${action} plan.pert STANDARD --weekday 'mon 09:00..17:00' --diff`,
+            summary: `${action} a source-preserving calendar declaration.` })]),
+});
+export const CONTRACT9_COMMAND_REGISTRY = Object.freeze([
+    ...ASSURANCE_COMMAND_REGISTRY.map(converted), calendarCommand("add"), calendarCommand("set"), calendarCommand("remove"),
+]);
+const resources = Object.freeze([...new Set(CONTRACT9_COMMAND_REGISTRY
+        .filter(({ path }) => path.length >= 2).map(({ path }) => path[0]))].sort().map((name) => Object.freeze({
+    name, summary: name === "calendar" ? "Maintains working-time calendars." : `${name} commands.`,
+    actions: Object.freeze(CONTRACT9_COMMAND_REGISTRY.filter(({ path }) => path.length >= 2 && path[0] === name)
+        .map(({ path }) => path.slice(1).join(" ")).sort()),
+})));
+const byPath = new Map(CONTRACT9_COMMAND_REGISTRY.map((descriptor) => [descriptor.path.join("\0"), descriptor]));
+function diagnostic(code, message, query) {
+    return Object.freeze({ code, severity: "error", message, data: Object.freeze({ resource: query.resource, action: query.action }) });
+}
+function result(query, selectedResources, commands, diagnostics) {
+    return Object.freeze({ schemaVersion: "Perttool.CommandHelpResult.v1", cliContractVersion: 9, toolVersion: TOOL_VERSION,
+        operation: "help", ok: diagnostics.length === 0, query: Object.freeze({ ...query }), resources: Object.freeze([...selectedResources]),
+        commands: Object.freeze([...commands]), diagnostics: Object.freeze([...diagnostics]) });
+}
+export function getContract9CommandDiscovery(query) {
+    if (query.resource === null)
+        return query.action === null ? result(query, resources, CONTRACT9_COMMAND_REGISTRY, [])
+            : result(query, [], [], [diagnostic("PTHLP-002", "a command action requires a resource", query)]);
+    if (query.action === null) {
+        const top = byPath.get(query.resource);
+        if (top?.path.length === 1)
+            return result(query, [], [top], []);
+        const resource = resources.find(({ name }) => name === query.resource);
+        return resource === undefined ? result(query, [], [], [diagnostic("PTHLP-002", `unknown command resource or top-level command: ${query.resource}`, query)])
+            : result(query, [resource], CONTRACT9_COMMAND_REGISTRY.filter(({ path }) => path.length >= 2 && path[0] === query.resource), []);
+    }
+    const resource = resources.find(({ name }) => name === query.resource);
+    if (resource === undefined)
+        return result(query, [], [], [diagnostic("PTHLP-002", `unknown command resource: ${query.resource}`, query)]);
+    const command = byPath.get(`${query.resource}\0${query.action.replaceAll(" ", "\0")}`);
+    return command === undefined ? result(query, [], [], [diagnostic("PTHLP-003", `unknown action ${query.action} for command resource ${query.resource}`, query)])
+        : result(query, [resource], [command], []);
+}
+export function contract9CommandHelpResultToJson(value) {
+    return assuranceCommandHelpResultToJson(value);
+}
+export function contract9CommandDescriptorToJson(value) {
+    return assuranceCommandDescriptorToJson(value);
+}
+export function contract9CommandRegistryToJson() {
+    return CONTRACT9_COMMAND_REGISTRY.map(contract9CommandDescriptorToJson);
+}
+export function serializeContract9CommandHelpResult(value) {
+    return `${JSON.stringify(contract9CommandHelpResultToJson(value), null, 2)}\n`;
+}
+export function renderContract9CommandHelpResult(value) {
+    return renderAssuranceCommandHelpResult(value).replaceAll("CLI Contract 8", "CLI Contract 9");
+}
+//# sourceMappingURL=contract9-discovery.js.map

package/dist/command/contract9-discovery.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract9-discovery.js","sourceRoot":"","sources":["../../src/command/contract9-discovery.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAG7C,OAAO,EAAE,0BAA0B,EAAE,gCAAgC,EAAE,gCAAgC,EAAE,gCAAgC,EAAE,MAAM,0BAA0B,CAAC;AAQ5K,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC;IAC3B,CAAC,2BAA2B,EAAE,2BAA2B,CAAC;IAC1D,CAAC,yBAAyB,EAAE,yBAAyB,CAAC;IACtD,CAAC,4BAA4B,EAAE,4BAA4B,CAAC;IAC5D,CAAC,wBAAwB,EAAE,wBAAwB,CAAC;IACpD,CAAC,4BAA4B,EAAE,4BAA4B,CAAC;IAC5D,CAAC,iCAAiC,EAAE,iCAAiC,CAAC;IACtE,CAAC,iCAAiC,EAAE,iCAAiC,CAAC;CACvE,CAAC,CAAC;AAEH,SAAS,cAAc,CAAC,IAAY,EAAE,SAAiB,EAAE,UAAU,GAAG,KAAK;IACzE,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,IAAI;QAC/E,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACtH,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI;QACpC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,KAAK,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;KAC/G,CAAC,CAAC;AACL,CAAC;AAED,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;IACpC,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC;QAC3B,cAAc,CAAC,WAAW,EAAE,gBAAgB,CAAC,EAAE,cAAc,CAAC,MAAM,EAAE,cAAc,CAAC;QACrF,cAAc,CAAC,UAAU,EAAE,aAAa,CAAC,EAAE,cAAc,CAAC,SAAS,EAAE,UAAU,CAAC;KACjF,CAAC;IACF,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC;QAC5B,cAAc,CAAC,UAAU,EAAE,aAAa,CAAC,EAAE,cAAc,CAAC,gBAAgB,EAAE,WAAW,CAAC;QACxF,cAAc,CAAC,iBAAiB,EAAE,WAAW,CAAC,EAAE,cAAc,CAAC,cAAc,EAAE,qBAAqB,EAAE,IAAI,CAAC;KAC5G,CAAC;IACF,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,cAAc,CAAC,MAAM,EAAE,kBAAkB,EAAE,IAAI,CAAC,CAAC,CAAC;IAC7E,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,cAAc,CAAC,MAAM,EAAE,uBAAuB,EAAE,IAAI,CAAC,CAAC,CAAC;CACK,CAAC,CAAC;AAEhG,SAAS,gBAAgB,CAAC,UAAsC;IAC9D,MAAM,SAAS,GAAG,eAAe,CAAC,UAAU,CAAC,SAAyC,CAAC,CAAC;IACxF,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,UAAU,CAAC,OAAO,CAAC;IACvD,OAAO,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM;QAClH,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,UAAU,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SACvG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;AACxB,CAAC;AAED,SAAS,SAAS,CAAC,UAAsC;IACvD,MAAM,SAAS,GAAG,UAAU,CAAC,SAAS,KAAK,kBAAkB,CAAC;IAC9D,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,UAAU,EAAE,eAAe,EAAE,CAAU;QAC/D,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,6CAA6C,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChF,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,gBAAgB;YAC/G,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC7E,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,SAAS;gBAChE,UAAU,EAAE,wDAAwD;gBACpE,OAAO,EAAE,4CAA4C,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ;QAClF,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;AAClH,CAAC;AAED,MAAM,QAAQ,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,KAAK,UAAU,CAAC,CAAC;AAC9F,IAAI,QAAQ,KAAK,SAAS;IAAE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;AACtG,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC;AAClF,MAAM,eAAe,GAAG,CAAC,MAAgC,EAA8B,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;IACtG,GAAG,SAAS,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,MAAM,CAAU,CAAC,EAAE,SAAS,EAAE,YAAY,MAAM,EAAE;IAC3G,OAAO,EAAE,GAAG,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,6BAA6B;IAChH,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC;QACtB,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,eAAe,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QACxF,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;KACpF,CAAC;IACF,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,OAAO,CAAE,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI;YAC3H,SAAS,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,iBAAiB,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;QACzH,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,OAAO,CAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI;YAC1H,SAAS,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,qBAAqB,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QACxH,GAAG,MAAM;KACV,CAAC;IACF,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,KAAK,QAAQ;gBAClF,CAAC,CAAC,oDAAoD;gBACtD,CAAC,CAAC,qBAAqB,MAAM,yDAAyD;YACtF,OAAO,EAAE,GAAG,MAAM,4CAA4C,EAAE,CAAC,CAAC,CAAC;CACtE,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,0BAA0B,GAA0C,MAAM,CAAC,MAAM,CAAC;IAC7F,GAAG,0BAA0B,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,eAAe,CAAC,KAAK,CAAC,EAAE,eAAe,CAAC,KAAK,CAAC,EAAE,eAAe,CAAC,QAAQ,CAAC;CACxH,CAAC,CAAC;AAEH,MAAM,SAAS,GAAsC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,0BAA0B;SACtG,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;IACtG,IAAI,EAAE,OAAO,EAAE,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,mCAAmC,CAAC,CAAC,CAAC,GAAG,IAAI,YAAY;IAC9F,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,0BAA0B,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;SACzG,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;CACtD,CAAC,CAAC,CAAC,CAAC;AACP,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,0BAA0B,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;AACjH,SAAS,UAAU,CAAC,IAA+B,EAAE,OAAe,EAAE,KAAuB;IAC3F,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;AACtI,CAAC;AACD,SAAS,MAAM,CAAC,KAAuB,EAAE,iBAAoD,EAAE,QAA+C,EAAE,WAAkC;IAChL,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,+BAA+B,EAAE,kBAAkB,EAAE,CAAC,EAAE,WAAW,EAAE,YAAY;QACrH,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,iBAAiB,CAAC,CAAC;QACrI,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC;AAC5F,CAAC;AACD,MAAM,UAAU,4BAA4B,CAAC,KAAuB;IAClE,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,0BAA0B,EAAE,EAAE,CAAC;YAClH,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,sCAAsC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACpG,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAAC,IAAI,GAAG,EAAE,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QACxG,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC,QAAQ,CAAC,CAAC;QACvE,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,kDAAkD,KAAK,CAAC,QAAQ,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC;YACzJ,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE,0BAA0B,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;IACrI,CAAC;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC,QAAQ,CAAC,CAAC;IACvE,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,6BAA6B,KAAK,CAAC,QAAQ,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC1I,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IACvF,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,kBAAkB,KAAK,CAAC,MAAM,yBAAyB,KAAK,CAAC,QAAQ,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC;QAC7J,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;AAC/C,CAAC;AACD,MAAM,UAAU,gCAAgC,CAAC,KAAiC;IAChF,OAAO,gCAAgC,CAAC,KAA8C,CAAC,CAAC;AAC1F,CAAC;AACD,MAAM,UAAU,gCAAgC,CAAC,KAAiC;IAChF,OAAO,gCAAgC,CAAC,KAA8C,CAAC,CAAC;AAC1F,CAAC;AACD,MAAM,UAAU,8BAA8B;IAC5C,OAAO,0BAA0B,CAAC,GAAG,CAAC,gCAAgC,CAAC,CAAC;AAC1E,CAAC;AACD,MAAM,UAAU,mCAAmC,CAAC,KAAiC;IACnF,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,gCAAgC,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;AACjF,CAAC;AACD,MAAM,UAAU,gCAAgC,CAAC,KAAiC;IAChF,OAAO,gCAAgC,CAAC,KAA8C,CAAC,CAAC,UAAU,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,CAAC;AACzI,CAAC"}

package/dist/command/contract9-usage.d.ts

@@ -0,0 +1,24 @@
+import type { CommandOptionOccurrence, CommandUsageError } from "./usage.js";
+import { renderCommandUsageError } from "./usage.js";
+import { type Contract9CommandDescriptor } from "./contract9-discovery.js";
+export type Contract9CommandInvocationValidation = {
+    readonly ok: true;
+    readonly descriptor: Contract9CommandDescriptor;
+    readonly helpAlias: boolean;
+    readonly operands: readonly string[];
+    readonly options: readonly CommandOptionOccurrence[];
+} | {
+    readonly ok: false;
+    readonly error: CommandUsageError;
+};
+export type Contract9ValidCommandInvocation = Extract<Contract9CommandInvocationValidation, {
+    readonly ok: true;
+}>;
+export type Contract9InvalidCommandInvocation = Extract<Contract9CommandInvocationValidation, {
+    readonly ok: false;
+}>;
+export declare function validateContract9CommandInvocation(argv: readonly string[]): Contract9CommandInvocationValidation;
+export declare function serializeContract9CommandUsageError(error: CommandUsageError): string;
+export declare function contract9CommandUsageErrorToJson(error: CommandUsageError): Readonly<Record<string, unknown>>;
+export { renderCommandUsageError as renderContract9CommandUsageError };
+//# sourceMappingURL=contract9-usage.d.ts.map

package/dist/command/contract9-usage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract9-usage.d.ts","sourceRoot":"","sources":["../../src/command/contract9-usage.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAC7E,OAAO,EAAsC,uBAAuB,EAA4C,MAAM,YAAY,CAAC;AACnI,OAAO,EAA8B,KAAK,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AAGvG,MAAM,MAAM,oCAAoC,GAC5C;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,0BAA0B,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,uBAAuB,EAAE,CAAA;CAAE,GAC/L;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAA;CAAE,CAAC;AAC9D,MAAM,MAAM,+BAA+B,GAAG,OAAO,CAAC,oCAAoC,EAAE;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAA;CAAE,CAAC,CAAC;AACnH,MAAM,MAAM,iCAAiC,GAAG,OAAO,CAAC,oCAAoC,EAAE;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAA;CAAE,CAAC,CAAC;AAItH,wBAAgB,kCAAkC,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,oCAAoC,CAMhH;AACD,wBAAgB,mCAAmC,CAAC,KAAK,EAAE,iBAAiB,GAAG,MAAM,CAEpF;AACD,wBAAgB,gCAAgC,CAAC,KAAK,EAAE,iBAAiB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAE5G;AACD,OAAO,EAAE,uBAAuB,IAAI,gCAAgC,EAAE,CAAC"}

package/dist/command/contract9-usage.js

@@ -0,0 +1,23 @@
+import { commandUsageErrorToJsonForContract, renderCommandUsageError, validateCommandInvocationAgainstRegistry } from "./usage.js";
+import { CONTRACT9_COMMAND_REGISTRY } from "./contract9-discovery.js";
+import { validateAssuranceCommandInvocation } from "./assurance-usage.js";
+const contract9ExtendedOperations = new Set([
+    "calendar.add", "calendar.set", "calendar.remove", "project.set", "resource.set", "task.set", "milestone.set", "document.migrate",
+]);
+export function validateContract9CommandInvocation(argv) {
+    const generic = validateCommandInvocationAgainstRegistry(argv, CONTRACT9_COMMAND_REGISTRY);
+    if (!generic.ok || contract9ExtendedOperations.has(generic.descriptor.operation))
+        return generic;
+    const legacy = validateAssuranceCommandInvocation(argv);
+    if (!legacy.ok)
+        return legacy;
+    return Object.freeze({ ...legacy, descriptor: generic.descriptor });
+}
+export function serializeContract9CommandUsageError(error) {
+    return `${JSON.stringify(commandUsageErrorToJsonForContract(error, 9), null, 2)}\n`;
+}
+export function contract9CommandUsageErrorToJson(error) {
+    return commandUsageErrorToJsonForContract(error, 9);
+}
+export { renderCommandUsageError as renderContract9CommandUsageError };
+//# sourceMappingURL=contract9-usage.js.map

package/dist/command/contract9-usage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract9-usage.js","sourceRoot":"","sources":["../../src/command/contract9-usage.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kCAAkC,EAAE,uBAAuB,EAAE,wCAAwC,EAAE,MAAM,YAAY,CAAC;AACnI,OAAO,EAAE,0BAA0B,EAAmC,MAAM,0BAA0B,CAAC;AACvG,OAAO,EAAE,kCAAkC,EAAE,MAAM,sBAAsB,CAAC;AAO1E,MAAM,2BAA2B,GAAG,IAAI,GAAG,CAAC;IAC1C,cAAc,EAAE,cAAc,EAAE,iBAAiB,EAAE,aAAa,EAAE,cAAc,EAAE,UAAU,EAAE,eAAe,EAAE,kBAAkB;CAClI,CAAC,CAAC;AACH,MAAM,UAAU,kCAAkC,CAAC,IAAuB;IACxE,MAAM,OAAO,GAAG,wCAAwC,CAAC,IAAI,EAAE,0BAAmC,CAAyC,CAAC;IAC5I,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,2BAA2B,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC;QAAE,OAAO,OAAO,CAAC;IACjG,MAAM,MAAM,GAAG,kCAAkC,CAAC,IAAI,CAAC,CAAC;IACxD,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,MAA8C,CAAC;IACtE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAyC,CAAC;AAC9G,CAAC;AACD,MAAM,UAAU,mCAAmC,CAAC,KAAwB;IAC1E,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,kCAAkC,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;AACtF,CAAC;AACD,MAAM,UAAU,gCAAgC,CAAC,KAAwB;IACvE,OAAO,kCAAkC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;AACtD,CAAC;AACD,OAAO,EAAE,uBAAuB,IAAI,gCAAgC,EAAE,CAAC"}

package/dist/core/index.d.ts

@@ -3,7 +3,7 @@ export { buildResidualGraph, computeEffectiveReached } from "../analysis/graph.j
 export { analyzePrecedence } from "../analysis/precedence.js";
 export { analyzeResources } from "../analysis/resource.js";
 export { getHelp } from "../help/registry.js";
-export { assuranceGuideResultToJson as guideResultToJson, getAssuranceGuide as getGuide, renderAssuranceGuideResult as renderGuideResult, serializeAssuranceGuideResult as serializeGuideResult, } from "../help/assurance-guide.js";
+export { contract9GuideResultToJson as guideResultToJson, getContract9Guide as getGuide, renderContract9GuideResult as renderGuideResult, serializeContract9GuideResult as serializeGuideResult, } from "../help/contract9-guide.js";
 export { recommendationAnalysisToJson } from "../recommendation/json.js";
 export { DEFAULT_MAX_DIAGNOSTICS, MAX_DIAGNOSTICS_LIMIT, compareStableStrings, countDiagnostics, hasErrors, limitDiagnostics, normalizeMaxDiagnostics, sortDiagnostics, } from "../model/diagnostics.js";
 export * from "../model/rational.js";
@@ -19,7 +19,7 @@ export type { ParseOptions } from "../parser/document-parser.js";
 export type { FormatOptions, FormatResult, } from "../formatter/source-formatter.js";
 export type { TextEdit } from "../mutation/text-edits.js";
 export type { HelpExample, HelpLevel, HelpNode, HelpResult, HelpSection, } from "../help/registry.js";
-export type { AssuranceGuideResult as GuideResult, } from "../help/assurance-guide.js";
+export type { Contract9GuideResult as GuideResult, } from "../help/contract9-guide.js";
 export type { RecommendationAnalysis, RecommendationComparison, RecommendationDecisionStep, RecommendationDescription, RecommendationExpression, RecommendationFact, RecommendationReasonOccurrence, RecommendationRelation, RecommendationResultDecision, } from "../recommendation/explanation-types.js";
 export type { CheckOptions as BaseCheckOptions, CheckResult as BaseCheckResult, CheckSummary, TemporalInputs, } from "../semantic/check.js";
 export type { AnalysisResult as BaseAnalysisResult, AnalyzeOptions as BaseAnalyzeOptions, AnalysisMode, } from "../analysis/service.js";
@@ -29,5 +29,6 @@ export type { ProjectHistoryCoreResult as ProjectHistoryResult, } from "../histo
 export type { VelocityObservationCoreResult as VelocityObservationResult, } from "../history/velocity-observation.js";
 export type { PlanAssuranceGovernanceDecisionV2 as GovernanceDecision, } from "../assurance/governance.js";
 export type { PlanAssuranceProjectionV1, PlanAssuranceStartAuthorityV1, PlanAssuranceStateCountsV1, } from "../assurance/authority.js";
-export type { DocumentAnalysisMode, DocumentAnalysisOptions, DocumentAnalysisProjection, DocumentBinding, DocumentContentChange, DocumentPosition, DocumentProjectionRequest, DocumentProjectionResult, DocumentProjectionStatus, DocumentRange, DocumentSemanticResult, DocumentSession, DocumentSessionAnalysisResult, DocumentSessionChange, DocumentSessionFailureReason, DocumentSessionTransition, DocumentSnapshot, DocumentSnapshotInput, DocumentSnapshotOptions, DocumentSnapshotPreparation, DocumentSourceDigest, } from "../session/document-session.js";
+export type { DocumentFormatResult, DocumentFormatSemanticEvidenceV1, DocumentAnalysisMode, DocumentAnalysisOptions, DocumentAnalysisProjection, DocumentBinding, DocumentContentChange, DocumentPosition, DocumentProjectionRequest, DocumentProjectionResult, DocumentProjectionStatus, DocumentRange, DocumentSemanticResult, DocumentSession, DocumentSessionAnalysisResult, DocumentSessionChange, DocumentSessionFailureReason, DocumentSessionTransition, DocumentSnapshot, DocumentSnapshotInput, DocumentSnapshotOptions, DocumentSnapshotPreparation, DocumentSourceDigest, } from "../session/document-session.js";
+export type { EditorSemanticFingerprintV1, } from "../editor/semantic-fingerprint.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/core/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/core/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,cAAc,EACd,aAAa,EACb,gBAAgB,GACjB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AACnF,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EACL,0BAA0B,IAAI,iBAAiB,EAC/C,iBAAiB,IAAI,QAAQ,EAC7B,0BAA0B,IAAI,iBAAiB,EAC/C,6BAA6B,IAAI,oBAAoB,GACtD,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,4BAA4B,EAAE,MAAM,2BAA2B,CAAC;AACzE,OAAO,EACL,uBAAuB,EACvB,qBAAqB,EACrB,oBAAoB,EACpB,gBAAgB,EAChB,SAAS,EACT,gBAAgB,EAChB,uBAAuB,EACvB,eAAe,GAChB,MAAM,yBAAyB,CAAC;AACjC,cAAc,sBAAsB,CAAC;AACrC,cAAc,mBAAmB,CAAC;AAClC,OAAO,EAAE,8BAA8B,EAAE,MAAM,2BAA2B,CAAC;AAC3E,OAAO,EACL,uBAAuB,EACvB,qBAAqB,EACrB,sBAAsB,EACtB,wBAAwB,EACxB,wBAAwB,GACzB,MAAM,gCAAgC,CAAC;AAExC,YAAY,EACV,YAAY,EACZ,gBAAgB,EAChB,aAAa,EACb,UAAU,GACX,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,YAAY,EACZ,cAAc,EACd,UAAU,EACV,eAAe,EACf,gBAAgB,GACjB,MAAM,2BAA2B,CAAC;AACnC,YAAY,EACV,WAAW,EACX,gBAAgB,EAChB,sBAAsB,EACtB,iBAAiB,EACjB,qBAAqB,EACrB,sBAAsB,EACtB,aAAa,EACb,YAAY,GACb,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,UAAU,EACV,gBAAgB,EAChB,cAAc,EACd,UAAU,GACX,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,eAAe,EACf,YAAY,EACZ,SAAS,EACT,WAAW,EACX,qBAAqB,EACrB,UAAU,EACV,aAAa,GACd,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AACjE,YAAY,EACV,aAAa,EACb,YAAY,GACb,MAAM,kCAAkC,CAAC;AAC1C,YAAY,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AAC1D,YAAY,EACV,WAAW,EACX,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,GACZ,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EACV,oBAAoB,IAAI,WAAW,GACpC,MAAM,4BAA4B,CAAC;AACpC,YAAY,EACV,sBAAsB,EACtB,wBAAwB,EACxB,0BAA0B,EAC1B,yBAAyB,EACzB,wBAAwB,EACxB,kBAAkB,EAClB,8BAA8B,EAC9B,sBAAsB,EACtB,4BAA4B,GAC7B,MAAM,wCAAwC,CAAC;AAChD,YAAY,EACV,YAAY,IAAI,gBAAgB,EAChC,WAAW,IAAI,eAAe,EAC9B,YAAY,EACZ,cAAc,GACf,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,cAAc,IAAI,kBAAkB,EACpC,cAAc,IAAI,kBAAkB,EACpC,YAAY,GACb,MAAM,wBAAwB,CAAC;AAChC,YAAY,EACV,sBAAsB,EACtB,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AAC/B,YAAY,EACV,yBAAyB,EACzB,UAAU,EACV,sBAAsB,EACtB,eAAe,EACf,aAAa,EACb,kBAAkB,EAClB,mBAAmB,EACnB,YAAY,GACb,MAAM,uBAAuB,CAAC;AAC/B,YAAY,EACV,wBAAwB,IAAI,oBAAoB,GACjD,MAAM,+BAA+B,CAAC;AACvC,YAAY,EACV,6BAA6B,IAAI,yBAAyB,GAC3D,MAAM,oCAAoC,CAAC;AAC5C,YAAY,EACV,iCAAiC,IAAI,kBAAkB,GACxD,MAAM,4BAA4B,CAAC;AACpC,YAAY,EACV,yBAAyB,EACzB,6BAA6B,EAC7B,0BAA0B,GAC3B,MAAM,2BAA2B,CAAC;AACnC,YAAY,EACV,oBAAoB,EACpB,uBAAuB,EACvB,0BAA0B,EAC1B,eAAe,EACf,qBAAqB,EACrB,gBAAgB,EAChB,yBAAyB,EACzB,wBAAwB,EACxB,wBAAwB,EACxB,aAAa,EACb,sBAAsB,EACtB,eAAe,EACf,6BAA6B,EAC7B,qBAAqB,EACrB,4BAA4B,EAC5B,yBAAyB,EACzB,gBAAgB,EAChB,qBAAqB,EACrB,uBAAuB,EACvB,2BAA2B,EAC3B,oBAAoB,GACrB,MAAM,gCAAgC,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/core/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,cAAc,EACd,aAAa,EACb,gBAAgB,GACjB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AACnF,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EACL,0BAA0B,IAAI,iBAAiB,EAC/C,iBAAiB,IAAI,QAAQ,EAC7B,0BAA0B,IAAI,iBAAiB,EAC/C,6BAA6B,IAAI,oBAAoB,GACtD,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,4BAA4B,EAAE,MAAM,2BAA2B,CAAC;AACzE,OAAO,EACL,uBAAuB,EACvB,qBAAqB,EACrB,oBAAoB,EACpB,gBAAgB,EAChB,SAAS,EACT,gBAAgB,EAChB,uBAAuB,EACvB,eAAe,GAChB,MAAM,yBAAyB,CAAC;AACjC,cAAc,sBAAsB,CAAC;AACrC,cAAc,mBAAmB,CAAC;AAClC,OAAO,EAAE,8BAA8B,EAAE,MAAM,2BAA2B,CAAC;AAC3E,OAAO,EACL,uBAAuB,EACvB,qBAAqB,EACrB,sBAAsB,EACtB,wBAAwB,EACxB,wBAAwB,GACzB,MAAM,gCAAgC,CAAC;AAExC,YAAY,EACV,YAAY,EACZ,gBAAgB,EAChB,aAAa,EACb,UAAU,GACX,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,YAAY,EACZ,cAAc,EACd,UAAU,EACV,eAAe,EACf,gBAAgB,GACjB,MAAM,2BAA2B,CAAC;AACnC,YAAY,EACV,WAAW,EACX,gBAAgB,EAChB,sBAAsB,EACtB,iBAAiB,EACjB,qBAAqB,EACrB,sBAAsB,EACtB,aAAa,EACb,YAAY,GACb,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,UAAU,EACV,gBAAgB,EAChB,cAAc,EACd,UAAU,GACX,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,eAAe,EACf,YAAY,EACZ,SAAS,EACT,WAAW,EACX,qBAAqB,EACrB,UAAU,EACV,aAAa,GACd,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AACjE,YAAY,EACV,aAAa,EACb,YAAY,GACb,MAAM,kCAAkC,CAAC;AAC1C,YAAY,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AAC1D,YAAY,EACV,WAAW,EACX,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,GACZ,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EACV,oBAAoB,IAAI,WAAW,GACpC,MAAM,4BAA4B,CAAC;AACpC,YAAY,EACV,sBAAsB,EACtB,wBAAwB,EACxB,0BAA0B,EAC1B,yBAAyB,EACzB,wBAAwB,EACxB,kBAAkB,EAClB,8BAA8B,EAC9B,sBAAsB,EACtB,4BAA4B,GAC7B,MAAM,wCAAwC,CAAC;AAChD,YAAY,EACV,YAAY,IAAI,gBAAgB,EAChC,WAAW,IAAI,eAAe,EAC9B,YAAY,EACZ,cAAc,GACf,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,cAAc,IAAI,kBAAkB,EACpC,cAAc,IAAI,kBAAkB,EACpC,YAAY,GACb,MAAM,wBAAwB,CAAC;AAChC,YAAY,EACV,sBAAsB,EACtB,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AAC/B,YAAY,EACV,yBAAyB,EACzB,UAAU,EACV,sBAAsB,EACtB,eAAe,EACf,aAAa,EACb,kBAAkB,EAClB,mBAAmB,EACnB,YAAY,GACb,MAAM,uBAAuB,CAAC;AAC/B,YAAY,EACV,wBAAwB,IAAI,oBAAoB,GACjD,MAAM,+BAA+B,CAAC;AACvC,YAAY,EACV,6BAA6B,IAAI,yBAAyB,GAC3D,MAAM,oCAAoC,CAAC;AAC5C,YAAY,EACV,iCAAiC,IAAI,kBAAkB,GACxD,MAAM,4BAA4B,CAAC;AACpC,YAAY,EACV,yBAAyB,EACzB,6BAA6B,EAC7B,0BAA0B,GAC3B,MAAM,2BAA2B,CAAC;AACnC,YAAY,EACV,oBAAoB,EACpB,gCAAgC,EAChC,oBAAoB,EACpB,uBAAuB,EACvB,0BAA0B,EAC1B,eAAe,EACf,qBAAqB,EACrB,gBAAgB,EAChB,yBAAyB,EACzB,wBAAwB,EACxB,wBAAwB,EACxB,aAAa,EACb,sBAAsB,EACtB,eAAe,EACf,6BAA6B,EAC7B,qBAAqB,EACrB,4BAA4B,EAC5B,yBAAyB,EACzB,gBAAgB,EAChB,qBAAqB,EACrB,uBAAuB,EACvB,2BAA2B,EAC3B,oBAAoB,GACrB,MAAM,gCAAgC,CAAC;AACxC,YAAY,EACV,2BAA2B,GAC5B,MAAM,mCAAmC,CAAC"}

package/dist/core/index.js

@@ -3,7 +3,7 @@ export { buildResidualGraph, computeEffectiveReached } from "../analysis/graph.j
 export { analyzePrecedence } from "../analysis/precedence.js";
 export { analyzeResources } from "../analysis/resource.js";
 export { getHelp } from "../help/registry.js";
-export { assuranceGuideResultToJson as guideResultToJson, getAssuranceGuide as getGuide, renderAssuranceGuideResult as renderGuideResult, serializeAssuranceGuideResult as serializeGuideResult, } from "../help/assurance-guide.js";
+export { contract9GuideResultToJson as guideResultToJson, getContract9Guide as getGuide, renderContract9GuideResult as renderGuideResult, serializeContract9GuideResult as serializeGuideResult, } from "../help/contract9-guide.js";
 export { recommendationAnalysisToJson } from "../recommendation/json.js";
 export { DEFAULT_MAX_DIAGNOSTICS, MAX_DIAGNOSTICS_LIMIT, compareStableStrings, countDiagnostics, hasErrors, limitDiagnostics, normalizeMaxDiagnostics, sortDiagnostics, } from "../model/diagnostics.js";
 export * from "../model/rational.js";

package/dist/editor/repair.d.ts

@@ -0,0 +1,95 @@
+import type { Diagnostic } from "../model/diagnostics.js";
+import { type TextEdit } from "../mutation/text-edits.js";
+import type { EffectivePlanDependencyV1, PlanAssuranceEvaluationV1 } from "../assurance/types.js";
+export declare const EDITOR_REPAIR_REGISTRY: Readonly<{
+    readonly id: "perttool.editor-repair";
+    readonly version: 1;
+}>;
+export declare const EDITOR_REPAIR_ID: "duration_unit_to_point";
+export declare const EDITOR_REPAIR_QUICK_FIX_TITLE: "Migrate duration unit to point";
+export declare const EDITOR_REPAIR_FIX_ALL_KIND: "source.fixAll.perttool";
+export type EditorRepairInteraction = "quickfix" | typeof EDITOR_REPAIR_FIX_ALL_KIND;
+export interface EditorRepairDocumentBindingV1 {
+    readonly documentUri: string;
+    readonly documentGeneration: string;
+    readonly documentVersion: number;
+    readonly sourceDigest: `sha256:${string}`;
+}
+export interface EditorRepairConvertedFieldV1 {
+    readonly entityKind: "project" | "task" | "work_event";
+    readonly entityId: string;
+    readonly fieldPath: string;
+    readonly canonicalToken: string;
+}
+export interface EditorRepairMigrationInputV1 {
+    readonly ok: boolean;
+    readonly changed: boolean;
+    readonly sourceGrammarVersion: number | null;
+    readonly targetGrammarVersion: number | null;
+    readonly sourceUnit: string | null;
+    readonly targetUnit: string;
+    readonly velocityDisposition: string | null;
+    readonly updatedDigest: string | null;
+    readonly updatedText: string | null;
+    readonly diff: string | null;
+    readonly edits: readonly TextEdit[];
+    readonly convertedFields: readonly EditorRepairConvertedFieldV1[];
+    readonly diagnostics: readonly Diagnostic[];
+    readonly diagnosticsTruncated: boolean;
+}
+export interface EditorRepairEvaluationInputV1 {
+    readonly binding: EditorRepairDocumentBindingV1;
+    readonly sourceText: string;
+    readonly sourceOk: boolean;
+    readonly sourceDiagnostics: readonly Diagnostic[];
+    readonly sourceDiagnosticsTruncated: boolean;
+    readonly migration: EditorRepairMigrationInputV1;
+    readonly candidateOk: boolean;
+    readonly candidateDiagnostics: readonly Diagnostic[];
+    readonly candidateDiagnosticsTruncated: boolean;
+    readonly sourceAssurance: PlanAssuranceEvaluationV1 | null;
+    readonly candidateAssurance: PlanAssuranceEvaluationV1 | null;
+    readonly sourceDeclarationIdentities: readonly string[];
+    readonly candidateDeclarationIdentities: readonly string[];
+    readonly protectedRecordKinds: readonly string[];
+    readonly interaction: EditorRepairInteraction;
+    readonly automatic: boolean;
+    readonly matchingDiagnosticCount: number;
+    readonly requestedRangeIntersectsDiagnostic: boolean;
+}
+export type EditorRepairDiagnosticCode = "PTEDM-102" | "PTEDM-104" | "PTEDM-105" | "PTEDM-107" | "PTEDM-108" | "PTEDM-110";
+export interface EditorRepairUnavailableCauseV1 {
+    readonly diagnosticCode: EditorRepairDiagnosticCode;
+    readonly reason: string;
+}
+export interface EditorRepairAffectedTaskV1 {
+    readonly taskId: string;
+    readonly pathTaskIds: readonly string[];
+    readonly sourceContractHash: string;
+    readonly candidateContractHash: string;
+    readonly sourceComputedBasisHash: string;
+    readonly candidateComputedBasisHash: string;
+    readonly sourceStatus: "unsealed";
+    readonly candidateStatus: "unsealed";
+}
+export interface EditorRepairCandidateV1 {
+    readonly registry: typeof EDITOR_REPAIR_REGISTRY;
+    readonly repairId: typeof EDITOR_REPAIR_ID;
+    readonly binding: EditorRepairDocumentBindingV1;
+    readonly interaction: EditorRepairInteraction;
+    readonly automatic: boolean;
+    readonly status: "applicable" | "unavailable";
+    readonly complete: boolean;
+    readonly strictClass: "E1" | null;
+    readonly candidateSourceDigest: `sha256:${string}` | null;
+    readonly convertedFields: readonly EditorRepairConvertedFieldV1[];
+    readonly affectedTasks: readonly EditorRepairAffectedTaskV1[];
+    readonly planningRelations: readonly EffectivePlanDependencyV1[];
+    readonly governanceScopes: readonly [];
+    readonly destructiveRecordRanges: readonly [];
+    readonly forwardEdits: readonly TextEdit[];
+    readonly inverseEdits: readonly TextEdit[];
+    readonly unavailableCauses: readonly EditorRepairUnavailableCauseV1[];
+}
+export declare function evaluateEditorRepairCandidate(input: EditorRepairEvaluationInputV1): EditorRepairCandidateV1;
+//# sourceMappingURL=repair.d.ts.map

package/dist/editor/repair.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"repair.d.ts","sourceRoot":"","sources":["../../src/editor/repair.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAE1D,OAAO,EAGL,KAAK,QAAQ,EACd,MAAM,2BAA2B,CAAC;AACnC,OAAO,KAAK,EACV,yBAAyB,EACzB,yBAAyB,EAE1B,MAAM,uBAAuB,CAAC;AAE/B,eAAO,MAAM,sBAAsB;iBAC7B,wBAAwB;sBACnB,CAAC;EACD,CAAC;AAEZ,eAAO,MAAM,gBAAgB,EAAG,wBAAiC,CAAC;AAClE,eAAO,MAAM,6BAA6B,EACxC,gCAAyC,CAAC;AAC5C,eAAO,MAAM,0BAA0B,EACrC,wBAAiC,CAAC;AASpC,MAAM,MAAM,uBAAuB,GAC/B,UAAU,GACV,OAAO,0BAA0B,CAAC;AAEtC,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,YAAY,EAAE,UAAU,MAAM,EAAE,CAAC;CAC3C;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,UAAU,EAAE,SAAS,GAAG,MAAM,GAAG,YAAY,CAAC;IACvD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,oBAAoB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7C,QAAQ,CAAC,oBAAoB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7C,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5C,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,eAAe,EAAE,SAAS,4BAA4B,EAAE,CAAC;IAClE,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;CACxC;AAED,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,OAAO,EAAE,6BAA6B,CAAC;IAChD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,iBAAiB,EAAE,SAAS,UAAU,EAAE,CAAC;IAClD,QAAQ,CAAC,0BAA0B,EAAE,OAAO,CAAC;IAC7C,QAAQ,CAAC,SAAS,EAAE,4BAA4B,CAAC;IACjD,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,oBAAoB,EAAE,SAAS,UAAU,EAAE,CAAC;IACrD,QAAQ,CAAC,6BAA6B,EAAE,OAAO,CAAC;IAChD,QAAQ,CAAC,eAAe,EAAE,yBAAyB,GAAG,IAAI,CAAC;IAC3D,QAAQ,CAAC,kBAAkB,EAAE,yBAAyB,GAAG,IAAI,CAAC;IAC9D,QAAQ,CAAC,2BAA2B,EAAE,SAAS,MAAM,EAAE,CAAC;IACxD,QAAQ,CAAC,8BAA8B,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3D,QAAQ,CAAC,oBAAoB,EAAE,SAAS,MAAM,EAAE,CAAC;IACjD,QAAQ,CAAC,WAAW,EAAE,uBAAuB,CAAC;IAC9C,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,uBAAuB,EAAE,MAAM,CAAC;IACzC,QAAQ,CAAC,kCAAkC,EAAE,OAAO,CAAC;CACtD;AAED,MAAM,MAAM,0BAA0B,GAClC,WAAW,GACX,WAAW,GACX,WAAW,GACX,WAAW,GACX,WAAW,GACX,WAAW,CAAC;AAEhB,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,cAAc,EAAE,0BAA0B,CAAC;IACpD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,uBAAuB,EAAE,MAAM,CAAC;IACzC,QAAQ,CAAC,0BAA0B,EAAE,MAAM,CAAC;IAC5C,QAAQ,CAAC,YAAY,EAAE,UAAU,CAAC;IAClC,QAAQ,CAAC,eAAe,EAAE,UAAU,CAAC;CACtC;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,QAAQ,EAAE,OAAO,sBAAsB,CAAC;IACjD,QAAQ,CAAC,QAAQ,EAAE,OAAO,gBAAgB,CAAC;IAC3C,QAAQ,CAAC,OAAO,EAAE,6BAA6B,CAAC;IAChD,QAAQ,CAAC,WAAW,EAAE,uBAAuB,CAAC;IAC9C,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,YAAY,GAAG,aAAa,CAAC;IAC9C,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,IAAI,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,qBAAqB,EAAE,UAAU,MAAM,EAAE,GAAG,IAAI,CAAC;IAC1D,QAAQ,CAAC,eAAe,EAAE,SAAS,4BAA4B,EAAE,CAAC;IAClE,QAAQ,CAAC,aAAa,EAAE,SAAS,0BAA0B,EAAE,CAAC;IAC9D,QAAQ,CAAC,iBAAiB,EAAE,SAAS,yBAAyB,EAAE,CAAC;IACjE,QAAQ,CAAC,gBAAgB,EAAE,SAAS,EAAE,CAAC;IACvC,QAAQ,CAAC,uBAAuB,EAAE,SAAS,EAAE,CAAC;IAC9C,QAAQ,CAAC,YAAY,EAAE,SAAS,QAAQ,EAAE,CAAC;IAC3C,QAAQ,CAAC,YAAY,EAAE,SAAS,QAAQ,EAAE,CAAC;IAC3C,QAAQ,CAAC,iBAAiB,EAAE,SAAS,8BAA8B,EAAE,CAAC;CACvE;AAyGD,wBAAgB,6BAA6B,CAC3C,KAAK,EAAE,6BAA6B,GACnC,uBAAuB,CAiNzB"}

package/dist/editor/repair.js

@@ -0,0 +1,232 @@
+import { sha256DigestUtf8 } from "../model/sha256.js";
+import { applyTextEdits, normalizeTextEdits, } from "../mutation/text-edits.js";
+export const EDITOR_REPAIR_REGISTRY = Object.freeze({
+    id: "perttool.editor-repair",
+    version: 1,
+});
+export const EDITOR_REPAIR_ID = "duration_unit_to_point";
+export const EDITOR_REPAIR_QUICK_FIX_TITLE = "Migrate duration unit to point";
+export const EDITOR_REPAIR_FIX_ALL_KIND = "source.fixAll.perttool";
+const MAX_SOURCE_BYTES = 8_388_608;
+const MAX_CANDIDATE_BYTES = 8_388_608;
+const MAX_EDITS = 10_000;
+const MAX_REPLACEMENT_BYTES = 8_388_608;
+const MAX_AFFECTED_IDENTITIES = 20_000;
+const MAX_DIFF_BYTES = 1_048_576;
+function utf8Bytes(text) {
+    return new TextEncoder().encode(text).byteLength;
+}
+function cause(diagnosticCode, reason) {
+    return Object.freeze({ diagnosticCode, reason });
+}
+function unavailable(input, causes) {
+    return Object.freeze({
+        registry: EDITOR_REPAIR_REGISTRY,
+        repairId: EDITOR_REPAIR_ID,
+        binding: input.binding,
+        interaction: input.interaction,
+        automatic: input.automatic,
+        status: "unavailable",
+        complete: false,
+        strictClass: null,
+        candidateSourceDigest: null,
+        convertedFields: Object.freeze([]),
+        affectedTasks: Object.freeze([]),
+        planningRelations: Object.freeze([]),
+        governanceScopes: Object.freeze([]),
+        destructiveRecordRanges: Object.freeze([]),
+        forwardEdits: Object.freeze([]),
+        inverseEdits: Object.freeze([]),
+        unavailableCauses: Object.freeze([...causes]),
+    });
+}
+function relationIdentity(relation) {
+    return [
+        relation.relationId ?? "",
+        relation.predecessorTaskId,
+        relation.successorTaskId,
+        relation.mode,
+        relation.explicit ? "explicit" : "derived",
+    ].join("\u0000");
+}
+function exactUnsealedAssurance(evaluation) {
+    return evaluation !== null &&
+        evaluation.ok &&
+        evaluation.modelVersion === 1 &&
+        evaluation.hashModelVersion === 1 &&
+        evaluation.coverage === "unsealed" &&
+        evaluation.directMismatchTaskIds.length === 0 &&
+        evaluation.inheritedMismatchTaskIds.length === 0 &&
+        evaluation.replanRequiredTaskIds.length === 0 &&
+        evaluation.unavailableTaskIds.length === 0 &&
+        evaluation.taskResults.every((task) => task.status === "unsealed" &&
+            task.outcomeStatus === "unfinished" &&
+            task.contractHash !== null &&
+            task.computedBasisHash !== null &&
+            task.acceptedBasisHash === null &&
+            task.directCauses.length === 0 &&
+            task.inheritedCauses.length === 0);
+}
+function taskById(tasks) {
+    return new Map(tasks.map((task) => [task.taskId, task]));
+}
+function inverseEdits(sourceText, candidateText, forward) {
+    let delta = 0;
+    const values = forward.map((edit) => {
+        const startOffset = edit.startOffset + delta;
+        const endOffset = startOffset + edit.replacement.length;
+        const replacement = sourceText.slice(edit.startOffset, edit.endOffset);
+        delta += edit.replacement.length - (edit.endOffset - edit.startOffset);
+        return Object.freeze({ startOffset, endOffset, replacement });
+    });
+    return Object.freeze([
+        ...normalizeTextEdits(candidateText, values, "editor repair inverse"),
+    ]);
+}
+function sameOrderedStrings(left, right) {
+    return left.length === right.length &&
+        left.every((value, index) => value === right[index]);
+}
+export function evaluateEditorRepairCandidate(input) {
+    const causes = [];
+    const migration = input.migration;
+    if (sha256DigestUtf8(input.sourceText) !== input.binding.sourceDigest) {
+        causes.push(cause("PTEDM-104", "the repair request does not match the bound source digest"));
+    }
+    if (input.automatic && input.interaction !== EDITOR_REPAIR_FIX_ALL_KIND ||
+        !input.automatic && input.interaction === "quickfix" &&
+            !input.requestedRangeIntersectsDiagnostic) {
+        causes.push(cause("PTEDM-107", "the requested repair interaction is not eligible"));
+    }
+    if (input.matchingDiagnosticCount < 1) {
+        causes.push(cause("PTEDM-107", "the request does not carry a current matching PTSEM-114 diagnostic"));
+    }
+    if (!input.sourceOk ||
+        input.sourceDiagnosticsTruncated ||
+        !migration.ok ||
+        !migration.changed ||
+        migration.updatedText === null ||
+        migration.updatedDigest === null ||
+        migration.diff === null ||
+        migration.diagnosticsTruncated ||
+        !input.candidateOk ||
+        input.candidateDiagnosticsTruncated) {
+        causes.push(cause("PTEDM-110", "the complete source or final repair candidate is invalid or incomplete"));
+    }
+    const sourceDiagnosticCount = input.sourceDiagnostics.filter(({ code }) => code === "PTSEM-114").length;
+    const candidateDiagnosticCount = input.candidateDiagnostics.filter(({ code }) => code === "PTSEM-114").length;
+    if (sourceDiagnosticCount !== 1 || candidateDiagnosticCount !== 0) {
+        causes.push(cause("PTEDM-110", "the repair must remove exactly one actionable PTSEM-114 diagnostic"));
+    }
+    if ((migration.sourceGrammarVersion !== 6 &&
+        migration.sourceGrammarVersion !== 7) ||
+        migration.targetGrammarVersion !== migration.sourceGrammarVersion ||
+        (migration.sourceUnit !== "day" && migration.sourceUnit !== "hour") ||
+        migration.targetUnit !== "point" ||
+        migration.velocityDisposition !== "retained") {
+        causes.push(cause("PTEDM-102", "the migration is outside the registered Grammar, unit, or velocity boundary"));
+    }
+    if (input.protectedRecordKinds.length > 0 ||
+        migration.convertedFields.some(({ entityKind }) => entityKind === "work_event")) {
+        causes.push(cause("PTEDM-102", "protected evidence or work-event state makes the candidate stricter than E1"));
+    }
+    if (!sameOrderedStrings(input.sourceDeclarationIdentities, input.candidateDeclarationIdentities)) {
+        causes.push(cause("PTEDM-102", "the candidate changed the declaration identity set or order"));
+    }
+    if (!exactUnsealedAssurance(input.sourceAssurance) ||
+        !exactUnsealedAssurance(input.candidateAssurance)) {
+        causes.push(cause("PTEDM-102", "complete before-and-after unsealed assurance was not proved"));
+    }
+    const candidateText = migration.updatedText;
+    let forward = Object.freeze([]);
+    let inverse = Object.freeze([]);
+    if (candidateText !== null) {
+        try {
+            forward = Object.freeze([
+                ...normalizeTextEdits(input.sourceText, migration.edits, "editor repair"),
+            ]);
+            if (forward.length !== migration.edits.length ||
+                applyTextEdits(input.sourceText, forward) !== candidateText ||
+                sha256DigestUtf8(candidateText) !== migration.updatedDigest)
+                throw new Error("forward proof mismatch");
+            inverse = inverseEdits(input.sourceText, candidateText, forward);
+            if (applyTextEdits(candidateText, inverse) !== input.sourceText) {
+                throw new Error("inverse proof mismatch");
+            }
+        }
+        catch {
+            causes.push(cause("PTEDM-105", "normalized forward or inverse recovery evidence does not match"));
+        }
+    }
+    const sourceAssurance = input.sourceAssurance;
+    const candidateAssurance = input.candidateAssurance;
+    let affectedTasks = Object.freeze([]);
+    let relations = Object.freeze([]);
+    if (exactUnsealedAssurance(sourceAssurance) &&
+        exactUnsealedAssurance(candidateAssurance)) {
+        const sourceIds = sourceAssurance.taskResults.map(({ taskId }) => taskId);
+        const candidateIds = candidateAssurance.taskResults.map(({ taskId }) => taskId);
+        const sourceRelations = sourceAssurance.effectiveDependencies.map(relationIdentity);
+        const candidateRelations = candidateAssurance.effectiveDependencies.map(relationIdentity);
+        if (!sameOrderedStrings(sourceIds, candidateIds) ||
+            !sameOrderedStrings(sourceRelations, candidateRelations)) {
+            causes.push(cause("PTEDM-102", "the complete task or planning-relation closure changed"));
+        }
+        else {
+            const candidateTasks = taskById(candidateAssurance.taskResults);
+            affectedTasks = Object.freeze(sourceAssurance.taskResults.map((sourceTask) => {
+                const candidateTask = candidateTasks.get(sourceTask.taskId);
+                return Object.freeze({
+                    taskId: sourceTask.taskId,
+                    pathTaskIds: Object.freeze([sourceTask.taskId]),
+                    sourceContractHash: sourceTask.contractHash,
+                    candidateContractHash: candidateTask.contractHash,
+                    sourceComputedBasisHash: sourceTask.computedBasisHash,
+                    candidateComputedBasisHash: candidateTask.computedBasisHash,
+                    sourceStatus: "unsealed",
+                    candidateStatus: "unsealed",
+                });
+            }));
+            relations = Object.freeze([...sourceAssurance.effectiveDependencies]);
+        }
+    }
+    if (candidateText !== null && migration.diff !== null) {
+        const forwardReplacementBytes = forward.reduce((total, edit) => total + utf8Bytes(edit.replacement), 0);
+        const inverseReplacementBytes = inverse.reduce((total, edit) => total + utf8Bytes(edit.replacement), 0);
+        const affectedIdentities = migration.convertedFields.length +
+            affectedTasks.length + relations.length;
+        if (utf8Bytes(input.sourceText) > MAX_SOURCE_BYTES ||
+            utf8Bytes(candidateText) > MAX_CANDIDATE_BYTES ||
+            forward.length > MAX_EDITS ||
+            inverse.length > MAX_EDITS ||
+            forwardReplacementBytes > MAX_REPLACEMENT_BYTES ||
+            inverseReplacementBytes > MAX_REPLACEMENT_BYTES ||
+            affectedIdentities > MAX_AFFECTED_IDENTITIES ||
+            utf8Bytes(migration.diff) > MAX_DIFF_BYTES) {
+            causes.push(cause("PTEDM-108", "the repair exceeds an editor-mutation hard limit"));
+        }
+    }
+    if (causes.length > 0 || candidateText === null) {
+        return unavailable(input, causes);
+    }
+    return Object.freeze({
+        registry: EDITOR_REPAIR_REGISTRY,
+        repairId: EDITOR_REPAIR_ID,
+        binding: input.binding,
+        interaction: input.interaction,
+        automatic: input.automatic,
+        status: "applicable",
+        complete: true,
+        strictClass: "E1",
+        candidateSourceDigest: migration.updatedDigest,
+        convertedFields: Object.freeze([...migration.convertedFields]),
+        affectedTasks,
+        planningRelations: relations,
+        governanceScopes: Object.freeze([]),
+        destructiveRecordRanges: Object.freeze([]),
+        forwardEdits: forward,
+        inverseEdits: inverse,
+        unavailableCauses: Object.freeze([]),
+    });
+}
+//# sourceMappingURL=repair.js.map