perttool 0.1.0 → 0.3.0

package/dist/analysis/temporal-resource.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"temporal-resource.d.ts","sourceRoot":"","sources":["../../src/analysis/temporal-resource.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,mBAAmB,EACnB,6BAA6B,EAC9B,MAAM,yCAAyC,CAAC;AAEjD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAQrD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,KAAK,EACV,+BAA+B,EAChC,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAIL,KAAK,UAAU,EAChB,MAAM,YAAY,CAAC;AAOpB,eAAO,MAAM,qCAAqC;QAC5C,gCAAgC;aAC3B,CAAC;;EAEV,CAAC;AAEH,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC;IACjC,QAAQ,CAAC,YAAY,EAAE,QAAQ,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,YAAY,EAAE,QAAQ,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,QAAQ,CAAC,YAAY,EAAE,QAAQ,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACnD,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;CACtC;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;CAC1B;AAED,UAAU,sBAAsB;IAC9B,QAAQ,CAAC,SAAS,EAAE,OAAO,qCAAqC,CAAC;IACjE,QAAQ,CAAC,SAAS,EAAE;QAClB,QAAQ,CAAC,EAAE,EAAE,cAAc,CAAC;QAC5B,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;QACpB,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;KACzB,CAAC;IACF,QAAQ,CAAC,2BAA2B,EAAE,OAAO,CAAC;IAC9C,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,iBAAiB,EAAE,SAAS,mBAAmB,EAAE,CAAC;CAC5D;AAED,MAAM,WAAW,iCACf,SAAQ,sBAAsB;IAC9B,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,SAAS,wBAAwB,EAAE,CAAC;IACzD,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAChD,QAAQ,CAAC,UAAU,EAAE,SAAS,yBAAyB,EAAE,CAAC;CAC3D;AAED,MAAM,WAAW,mCACf,SAAQ,sBAAsB;IAC9B,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,SAAS,wBAAwB,EAAE,CAAC;IACzD,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAChD,QAAQ,CAAC,UAAU,EAAE,SAAS,yBAAyB,EAAE,CAAC;CAC3D;AAED,MAAM,MAAM,wBAAwB,GAChC,iCAAiC,GACjC,mCAAmC,CAAC;AAExC,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACzD,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAyUD,wBAAgB,+BAA+B,CAC7C,SAAS,EAAE,+BAA+B,EAC1C,MAAM,EAAE,6BAA6B,EACrC,OAAO,GAAE,uBAA4B,GACpC,wBAAwB,CA4D1B"}

package/dist/analysis/temporal-resource.js

@@ -0,0 +1,292 @@
+import { compareStableStrings } from "../model/diagnostics.js";
+import { ZERO, add, compare, maximum, subtract, } from "../model/rational.js";
+import { buildResidualGraph, } from "./graph.js";
+import { analyzePrecedence, } from "./precedence.js";
+export const TEMPORAL_RESOURCE_PROJECTION_IDENTITY = Object.freeze({
+    id: "perttool.temporal-parallel-sgs",
+    version: 1,
+    optimal: false,
+});
+function taskOrder(left, right, timingById) {
+    if (left.priority !== right.priority)
+        return right.priority - left.priority;
+    const byFloat = compare(timingById.get(left.id).totalFloat, timingById.get(right.id).totalFloat);
+    if (byFloat !== 0)
+        return byFloat;
+    const byDuration = compare(right.expected, left.expected);
+    return byDuration !== 0
+        ? byDuration
+        : compareStableStrings(left.id, right.id);
+}
+function effectiveCapacities(graph, overrides) {
+    for (const [id, capacity] of overrides) {
+        if (!graph.resources.has(id)) {
+            throw new TypeError(`unknown temporal resource capacity override ${id}`);
+        }
+        if (!Number.isSafeInteger(capacity) || capacity < 0) {
+            throw new TypeError(`temporal resource capacity override ${id} must be a nonnegative safe integer`);
+        }
+    }
+    const capacities = new Map([...graph.resources].map(([id, resource]) => [
+        id,
+        overrides.get(id) ?? resource.capacity,
+    ]));
+    for (const edge of graph.edges.filter(({ kind }) => kind === "task")) {
+        for (const requirement of edge.requirements) {
+            if (requirement.units > capacities.get(requirement.resourceId)) {
+                throw new TypeError(`temporal resource requirement ${edge.id}/${requirement.resourceId} exceeds capacity`);
+            }
+        }
+    }
+    return capacities;
+}
+function projectionCapacities(graph, capacities, overrides) {
+    return Object.freeze([...graph.resources].map(([id, resource]) => Object.freeze({
+        id,
+        declared: resource.capacity,
+        override: overrides.get(id) ?? null,
+        effective: capacities.get(id),
+    })));
+}
+function releaseInputs(graph, inputs) {
+    const byId = new Map(inputs.tasks.map((task) => [task.taskId, task]));
+    const bounds = new Map();
+    const unavailableCauses = [];
+    for (const edge of graph.edges) {
+        if (edge.kind !== "task" ||
+            edge.status === "active" ||
+            edge.status === "done") {
+            continue;
+        }
+        const input = byId.get(edge.id);
+        if (input === undefined) {
+            throw new Error(`temporal input projection omitted task ${edge.id}`);
+        }
+        if (input.release.state === "unavailable") {
+            unavailableCauses.push(...input.release.unavailableCauses);
+            continue;
+        }
+        if (input.release.state !== "available" || input.release.bound === null) {
+            throw new Error(`unfinished task ${edge.id} has no temporal release bound`);
+        }
+        bounds.set(edge.id, {
+            numerator: input.release.bound.numerator,
+            denominator: input.release.bound.denominator,
+        });
+    }
+    return {
+        bounds,
+        unavailableCauses: Object.freeze(unavailableCauses),
+    };
+}
+function minimumEvent(values) {
+    if (values.length === 0)
+        return null;
+    return values.reduce((result, value) => compare(value, result) < 0 ? value : result);
+}
+function schedule(graph, precedence, releaseBounds, capacities) {
+    const tasks = graph.edges.filter((edge) => edge.kind === "task");
+    const timingById = new Map(precedence.edges.map((timing) => [timing.id, timing]));
+    const satisfaction = new Map();
+    const reached = new Map(graph.frontier.map((id) => [id, ZERO]));
+    const scheduled = new Map();
+    const running = new Map();
+    const unscheduled = new Set(tasks
+        .filter(({ status }) => status === "planned" || status === "blocked")
+        .map(({ id }) => id));
+    const usage = new Map([...capacities.keys()].map((id) => [id, 0]));
+    const propagate = () => {
+        let changed = true;
+        while (changed) {
+            changed = false;
+            for (const edge of graph.edges) {
+                if (edge.kind !== "gate" || satisfaction.has(edge.id))
+                    continue;
+                const sourceTime = reached.get(edge.source);
+                if (sourceTime === undefined)
+                    continue;
+                satisfaction.set(edge.id, sourceTime);
+                changed = true;
+            }
+            for (const vertex of graph.topologicalOrder) {
+                if (reached.has(vertex))
+                    continue;
+                const incoming = graph.incoming.get(vertex);
+                const values = incoming.map((edge) => satisfaction.get(edge.id));
+                const satisfiedValues = values.filter((value) => value !== undefined);
+                if (values.length === 0 ||
+                    satisfiedValues.length !== values.length) {
+                    continue;
+                }
+                reached.set(vertex, satisfiedValues.reduce((result, value) => maximum(result, value), ZERO));
+                changed = true;
+            }
+        }
+    };
+    for (const task of tasks.filter(({ status }) => status === "done")) {
+        satisfaction.set(task.id, ZERO);
+        scheduled.set(task.id, Object.freeze({
+            id: task.id,
+            status: "done",
+            expected: task.expected,
+            sourceReached: ZERO,
+            releaseBound: null,
+            eligibleTime: ZERO,
+            start: ZERO,
+            finish: ZERO,
+            resourceWait: ZERO,
+            requirements: task.requirements,
+            conditionalBlocked: false,
+        }));
+    }
+    propagate();
+    for (const task of tasks
+        .filter(({ status }) => status === "active")
+        .sort((left, right) => compareStableStrings(left.id, right.id))) {
+        const finish = add(ZERO, task.expected);
+        running.set(task.id, { edge: task, start: ZERO, finish });
+        for (const requirement of task.requirements) {
+            usage.set(requirement.resourceId, usage.get(requirement.resourceId) + requirement.units);
+        }
+        scheduled.set(task.id, Object.freeze({
+            id: task.id,
+            status: "active",
+            expected: task.expected,
+            sourceReached: ZERO,
+            releaseBound: null,
+            eligibleTime: ZERO,
+            start: ZERO,
+            finish,
+            resourceWait: ZERO,
+            requirements: task.requirements,
+            conditionalBlocked: false,
+        }));
+    }
+    let current = ZERO;
+    while (!reached.has(graph.finish)) {
+        const completed = [...running.values()]
+            .filter(({ finish }) => compare(finish, current) === 0)
+            .sort((left, right) => compareStableStrings(left.edge.id, right.edge.id));
+        for (const entry of completed) {
+            running.delete(entry.edge.id);
+            for (const requirement of entry.edge.requirements) {
+                usage.set(requirement.resourceId, usage.get(requirement.resourceId) - requirement.units);
+            }
+            satisfaction.set(entry.edge.id, current);
+        }
+        propagate();
+        const candidates = tasks
+            .filter((task) => unscheduled.has(task.id) &&
+            reached.has(task.source) &&
+            compare(releaseBounds.get(task.id), current) <= 0)
+            .sort((left, right) => taskOrder(left, right, timingById));
+        for (const task of candidates) {
+            const fits = task.requirements.every((requirement) => usage.get(requirement.resourceId) + requirement.units <=
+                capacities.get(requirement.resourceId));
+            if (!fits)
+                continue;
+            const sourceReached = reached.get(task.source);
+            const releaseBound = releaseBounds.get(task.id);
+            const eligibleTime = maximum(sourceReached, releaseBound);
+            const resourceWait = subtract(current, eligibleTime);
+            if (compare(resourceWait, ZERO) < 0) {
+                throw new Error(`negative temporal resource wait for ${task.id}`);
+            }
+            unscheduled.delete(task.id);
+            for (const requirement of task.requirements) {
+                usage.set(requirement.resourceId, usage.get(requirement.resourceId) + requirement.units);
+            }
+            const finish = add(current, task.expected);
+            running.set(task.id, { edge: task, start: current, finish });
+            scheduled.set(task.id, Object.freeze({
+                id: task.id,
+                status: task.status,
+                expected: task.expected,
+                sourceReached,
+                releaseBound,
+                eligibleTime,
+                start: current,
+                finish,
+                resourceWait,
+                requirements: task.requirements,
+                conditionalBlocked: task.status === "blocked",
+            }));
+        }
+        if (reached.has(graph.finish))
+            break;
+        const completion = minimumEvent([...running.values()].map(({ finish }) => finish));
+        const release = minimumEvent(tasks
+            .filter((task) => unscheduled.has(task.id) &&
+            reached.has(task.source) &&
+            compare(releaseBounds.get(task.id), current) > 0)
+            .map((task) => releaseBounds.get(task.id)));
+        const next = minimumEvent([completion, release].filter((value) => value !== null));
+        if (next === null || compare(next, current) <= 0) {
+            throw new Error(`PTRES-301: ${unscheduled.size} temporal unfinished tasks cannot produce a next event`);
+        }
+        current = next;
+    }
+    const orderedTasks = [...scheduled.values()].sort((left, right) => {
+        const byStart = compare(left.start, right.start);
+        if (byStart !== 0)
+            return byStart;
+        const byFinish = compare(left.finish, right.finish);
+        return byFinish !== 0
+            ? byFinish
+            : compareStableStrings(left.id, right.id);
+    });
+    return {
+        makespan: reached.get(graph.finish),
+        tasks: Object.freeze(orderedTasks),
+        milestones: Object.freeze(graph.topologicalOrder.map((id) => Object.freeze({ id, reach: reached.get(id) }))),
+    };
+}
+export function analyzeTemporalResourceSchedule(validated, inputs, options = {}) {
+    if (validated.document.declarations.find(({ kind }) => kind === "project")
+        ?.id !== inputs.documentId ||
+        validated.grammarVersion !== inputs.grammarVersion) {
+        throw new TypeError("temporal input projection does not match the validated document");
+    }
+    const graph = buildResidualGraph(validated.document);
+    const maxPaths = options.maxPaths ?? 100;
+    if (!Number.isSafeInteger(maxPaths) || maxPaths < 1) {
+        throw new TypeError("temporal resource maxPaths must be a positive integer");
+    }
+    const precedence = analyzePrecedence(graph, maxPaths);
+    const overrides = options.capacityOverrides ?? new Map();
+    const capacities = effectiveCapacities(graph, overrides);
+    const projectedCapacities = projectionCapacities(graph, capacities, overrides);
+    const releases = releaseInputs(graph, inputs);
+    const common = {
+        algorithm: TEMPORAL_RESOURCE_PROJECTION_IDENTITY,
+        scheduler: Object.freeze({
+            id: "parallel-sgs",
+            version: 1,
+            optimal: false,
+        }),
+        conditionalOnBlocksResolved: graph.blockedTaskIds.length > 0,
+        blockedTaskIds: Object.freeze([...graph.blockedTaskIds]),
+    };
+    if (releases.unavailableCauses.length > 0) {
+        return Object.freeze({
+            ...common,
+            state: "unavailable",
+            capacities: projectedCapacities,
+            makespan: null,
+            tasks: Object.freeze([]),
+            milestones: Object.freeze([]),
+            unavailableCauses: releases.unavailableCauses,
+        });
+    }
+    const result = schedule(graph, precedence, releases.bounds, capacities);
+    return Object.freeze({
+        ...common,
+        state: "available",
+        capacities: projectedCapacities,
+        makespan: result.makespan,
+        tasks: result.tasks,
+        milestones: result.milestones,
+        unavailableCauses: Object.freeze([]),
+    });
+}
+//# sourceMappingURL=temporal-resource.js.map

package/dist/analysis/temporal-resource.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"temporal-resource.js","sourceRoot":"","sources":["../../src/analysis/temporal-resource.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAE/D,OAAO,EACL,IAAI,EACJ,GAAG,EACH,OAAO,EACP,OAAO,EACP,QAAQ,GACT,MAAM,sBAAsB,CAAC;AAK9B,OAAO,EACL,kBAAkB,GAInB,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,iBAAiB,GAGlB,MAAM,iBAAiB,CAAC;AAEzB,MAAM,CAAC,MAAM,qCAAqC,GAAG,MAAM,CAAC,MAAM,CAAC;IACjE,EAAE,EAAE,gCAAyC;IAC7C,OAAO,EAAE,CAAU;IACnB,OAAO,EAAE,KAAc;CACxB,CAAC,CAAC;AAyEH,SAAS,SAAS,CAChB,IAAkB,EAClB,KAAmB,EACnB,UAA2C;IAE3C,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC5E,MAAM,OAAO,GAAG,OAAO,CACrB,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAE,CAAC,UAAU,EACnC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAE,CAAC,UAAU,CACrC,CAAC;IACF,IAAI,OAAO,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC;IAClC,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC1D,OAAO,UAAU,KAAK,CAAC;QACrB,CAAC,CAAC,UAAU;QACZ,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAoB,EACpB,SAAsC;IAEtC,KAAK,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,SAAS,EAAE,CAAC;QACvC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,SAAS,CAAC,+CAA+C,EAAE,EAAE,CAAC,CAAC;QAC3E,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;YACpD,MAAM,IAAI,SAAS,CACjB,uCAAuC,EAAE,qCAAqC,CAC/E,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC;QAC3C,EAAE;QACF,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,QAAQ;KACvC,CAAC,CACH,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,CAAC;QACrE,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YAC5C,IAAI,WAAW,CAAC,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,CAAE,EAAE,CAAC;gBAChE,MAAM,IAAI,SAAS,CACjB,iCAAiC,IAAI,CAAC,EAAE,IAAI,WAAW,CAAC,UAAU,mBAAmB,CACtF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAoB,EACpB,UAAuC,EACvC,SAAsC;IAEtC,OAAO,MAAM,CAAC,MAAM,CAClB,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,CAC1C,MAAM,CAAC,MAAM,CAAC;QACZ,EAAE;QACF,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,QAAQ,EAAE,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI;QACnC,SAAS,EAAE,UAAU,CAAC,GAAG,CAAC,EAAE,CAAE;KAC/B,CAAC,CACH,CACF,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,KAAoB,EACpB,MAAqC;IAKrC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC3C,MAAM,iBAAiB,GAA0B,EAAE,CAAC;IACpD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IACE,IAAI,CAAC,IAAI,KAAK,MAAM;YACpB,IAAI,CAAC,MAAM,KAAK,QAAQ;YACxB,IAAI,CAAC,MAAM,KAAK,MAAM,EACtB,CAAC;YACD,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CAAC,0CAA0C,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QACvE,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,KAAK,aAAa,EAAE,CAAC;YAC1C,iBAAiB,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;YAC3D,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,KAAK,WAAW,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;YACxE,MAAM,IAAI,KAAK,CAAC,mBAAmB,IAAI,CAAC,EAAE,gCAAgC,CAAC,CAAC;QAC9E,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE;YAClB,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS;YACxC,WAAW,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW;SAC7C,CAAC,CAAC;IACL,CAAC;IACD,OAAO;QACL,MAAM;QACN,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC;KACpD,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,MAA2B;IAC/C,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CACrC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAC5C,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CACf,KAAoB,EACpB,UAA4B,EAC5B,aAA4C,EAC5C,UAAuC;IAMvC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IACjE,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CACtD,CAAC;IACF,MAAM,YAAY,GAAG,IAAI,GAAG,EAAoB,CAAC;IACjD,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CACvC,CAAC;IACF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAgC,CAAC;IAC1D,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC/C,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,KAAK;SACF,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,CAAC;SACpE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CACvB,CAAC;IACF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAEnE,MAAM,SAAS,GAAG,GAAS,EAAE;QAC3B,IAAI,OAAO,GAAG,IAAI,CAAC;QACnB,OAAO,OAAO,EAAE,CAAC;YACf,OAAO,GAAG,KAAK,CAAC;YAChB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;gBAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAAE,SAAS;gBAChE,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAC5C,IAAI,UAAU,KAAK,SAAS;oBAAE,SAAS;gBACvC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;gBACtC,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;YACD,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,gBAAgB,EAAE,CAAC;gBAC5C,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;oBAAE,SAAS;gBAClC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC;gBAC7C,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;gBACjE,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CACnC,CAAC,KAAK,EAAqB,EAAE,CAAC,KAAK,KAAK,SAAS,CAClD,CAAC;gBACF,IACE,MAAM,CAAC,MAAM,KAAK,CAAC;oBACnB,eAAe,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,EACxC,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,MAAM,CACxC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,EACzC,IAAI,CACL,CAAC,CAAC;gBACH,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,KAAK,MAAM,CAAC,EAAE,CAAC;QACnE,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAChC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC;YACnC,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,aAAa,EAAE,IAAI;YACnB,YAAY,EAAE,IAAI;YAClB,YAAY,EAAE,IAAI;YAClB,KAAK,EAAE,IAAI;YACX,MAAM,EAAE,IAAI;YACZ,YAAY,EAAE,IAAI;YAClB,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,kBAAkB,EAAE,KAAK;SAC1B,CAAC,CAAC,CAAC;IACN,CAAC;IACD,SAAS,EAAE,CAAC;IAEZ,KAAK,MAAM,IAAI,IAAI,KAAK;SACrB,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,KAAK,QAAQ,CAAC;SAC3C,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAClE,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QACxC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QAC1D,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YAC5C,KAAK,CAAC,GAAG,CACP,WAAW,CAAC,UAAU,EACtB,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,CAAE,GAAG,WAAW,CAAC,KAAK,CACvD,CAAC;QACJ,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC;YACnC,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,MAAM,EAAE,QAAQ;YAChB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,aAAa,EAAE,IAAI;YACnB,YAAY,EAAE,IAAI;YAClB,YAAY,EAAE,IAAI;YAClB,KAAK,EAAE,IAAI;YACX,MAAM;YACN,YAAY,EAAE,IAAI;YAClB,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,kBAAkB,EAAE,KAAK;SAC1B,CAAC,CAAC,CAAC;IACN,CAAC;IAED,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QAClC,MAAM,SAAS,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;aACpC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;aACtD,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5E,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;YAC9B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC9B,KAAK,MAAM,WAAW,IAAI,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;gBAClD,KAAK,CAAC,GAAG,CACP,WAAW,CAAC,UAAU,EACtB,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,CAAE,GAAG,WAAW,CAAC,KAAK,CACvD,CAAC;YACJ,CAAC;YACD,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QAC3C,CAAC;QACD,SAAS,EAAE,CAAC;QAEZ,MAAM,UAAU,GAAG,KAAK;aACrB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CACf,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;YACxB,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAE,EAAE,OAAO,CAAC,IAAI,CAAC,CACnD;aACA,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC;QAC7D,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,EAAE,CACnD,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,CAAE,GAAG,WAAW,CAAC,KAAK;gBACpD,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,CAAE,CAC1C,CAAC;YACF,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,MAAM,aAAa,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAE,CAAC;YAChD,MAAM,YAAY,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAE,CAAC;YACjD,MAAM,YAAY,GAAG,OAAO,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC;YAC1D,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;YACrD,IAAI,OAAO,CAAC,YAAY,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACpC,MAAM,IAAI,KAAK,CAAC,uCAAuC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;YACpE,CAAC;YACD,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC5B,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBAC5C,KAAK,CAAC,GAAG,CACP,WAAW,CAAC,UAAU,EACtB,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,CAAE,GAAG,WAAW,CAAC,KAAK,CACvD,CAAC;YACJ,CAAC;YACD,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC3C,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;YAC7D,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC;gBACnC,EAAE,EAAE,IAAI,CAAC,EAAE;gBACX,MAAM,EAAE,IAAI,CAAC,MAAO;gBACpB,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,aAAa;gBACb,YAAY;gBACZ,YAAY;gBACZ,KAAK,EAAE,OAAO;gBACd,MAAM;gBACN,YAAY;gBACZ,YAAY,EAAE,IAAI,CAAC,YAAY;gBAC/B,kBAAkB,EAAE,IAAI,CAAC,MAAM,KAAK,SAAS;aAC9C,CAAC,CAAC,CAAC;QACN,CAAC;QACD,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;YAAE,MAAM;QAErC,MAAM,UAAU,GAAG,YAAY,CAC7B,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAClD,CAAC;QACF,MAAM,OAAO,GAAG,YAAY,CAC1B,KAAK;aACF,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CACf,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;YACxB,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAE,EAAE,OAAO,CAAC,GAAG,CAAC,CAClD;aACA,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAE,CAAC,CAC9C,CAAC;QACF,MAAM,IAAI,GAAG,YAAY,CACvB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAqB,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,CAC3E,CAAC;QACF,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACjD,MAAM,IAAI,KAAK,CACb,cAAc,WAAW,CAAC,IAAI,wDAAwD,CACvF,CAAC;QACJ,CAAC;QACD,OAAO,GAAG,IAAI,CAAC;IACjB,CAAC;IAED,MAAM,YAAY,GAAG,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAChE,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACjD,IAAI,OAAO,KAAK,CAAC;YAAE,OAAO,OAAO,CAAC;QAClC,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACpD,OAAO,QAAQ,KAAK,CAAC;YACnB,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IACH,OAAO;QACL,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAE;QACpC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;QAClC,UAAU,EAAE,MAAM,CAAC,MAAM,CACvB,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAChC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAE,EAAE,CAAC,CAC/C,CACF;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,SAA0C,EAC1C,MAAqC,EACrC,OAAO,GAA4B,EAAE;IAErC,IACE,SAAS,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC;QACpE,EAAE,EAAE,KAAK,MAAM,CAAC,UAAU;QAC5B,SAAS,CAAC,cAAc,KAAK,MAAM,CAAC,cAAc,EAClD,CAAC;QACD,MAAM,IAAI,SAAS,CACjB,iEAAiE,CAClE,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,kBAAkB,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACrD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,GAAG,CAAC;IACzC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,SAAS,CAAC,uDAAuD,CAAC,CAAC;IAC/E,CAAC;IACD,MAAM,UAAU,GAAG,iBAAiB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACtD,MAAM,SAAS,GAAG,OAAO,CAAC,iBAAiB,IAAI,IAAI,GAAG,EAAE,CAAC;IACzD,MAAM,UAAU,GAAG,mBAAmB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACzD,MAAM,mBAAmB,GAAG,oBAAoB,CAC9C,KAAK,EACL,UAAU,EACV,SAAS,CACV,CAAC;IACF,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG;QACb,SAAS,EAAE,qCAAqC;QAChD,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC;YACvB,EAAE,EAAE,cAAuB;YAC3B,OAAO,EAAE,CAAU;YACnB,OAAO,EAAE,KAAc;SACxB,CAAC;QACF,2BAA2B,EAAE,KAAK,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;QAC5D,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,cAAc,CAAC,CAAC;KACzD,CAAC;IACF,IAAI,QAAQ,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1C,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,GAAG,MAAM;YACT,KAAK,EAAE,aAAa;YACpB,UAAU,EAAE,mBAAmB;YAC/B,QAAQ,EAAE,IAAI;YACd,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YACxB,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7B,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;SAC9C,CAAC,CAAC;IACL,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CACrB,KAAK,EACL,UAAU,EACV,QAAQ,CAAC,MAAM,EACf,UAAU,CACX,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,MAAM;QACT,KAAK,EAAE,WAAW;QAClB,UAAU,EAAE,mBAAmB;QAC/B,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;KACrC,CAAC,CAAC;AACL,CAAC"}

package/dist/application/analyze.js

@@ -19,7 +19,7 @@ function validateCapacityOverrides(graph, overrides) {
     const diagnostics = [];
     for (const [id] of overrides) {
         if (!graph.resources.has(id)) {
-            diagnostics.push(diagnostic("PTSEM-206", "error", `capacity overrideのresource ${id}が未定義です`, id));
+            diagnostics.push(diagnostic("PTSEM-206", "error", `resource ${id} in capacity override is undefined`, id));
         }
     }
     if (hasErrors(diagnostics))
@@ -32,7 +32,7 @@ function validateCapacityOverrides(graph, overrides) {
                 diagnostics.push({
                     code: "PTSEM-208",
                     severity: "error",
-                    message: `requirement ${requirement.units}がwhat-if capacity ${effective.get(requirement.resourceId)}を超えています`,
+                    message: `requirement ${requirement.units} exceeds what-if capacity ${effective.get(requirement.resourceId)}`,
                     entityId: declaration.id,
                     span: requirement.unitsSpan,
                     helpTopic: "analysis.resources",
@@ -50,7 +50,7 @@ function validateCapacityOverrides(graph, overrides) {
             diagnostics.push({
                 code: "PTRES-202",
                 severity: "error",
-                message: `what-if capacity ${effective.get(id)}がactive usage ${usage}未満です`,
+                message: `what-if capacity ${effective.get(id)} is less than active usage ${usage}`,
                 entityId: id,
                 span: fieldNamed(resource.declaration, "capacity").valueSpan,
                 helpTopic: "analysis.resources",
@@ -118,10 +118,10 @@ export function analyzeDocument(text, options = {}) {
         : analyzeResources(graph, internalPrecedence, overrides, maxPaths);
     const precedence = mode === "resource" ? null : internalPrecedence;
     if (precedence?.critical.pathsTruncated === true || resource?.scheduleCritical.pathsTruncated === true) {
-        diagnostics.push(diagnostic("PTDAG-302", "warning", `critical path列挙をmax-paths ${maxPaths}で打ち切りました`, undefined, undefined, "analysis"));
+        diagnostics.push(diagnostic("PTDAG-302", "warning", `critical path enumeration was truncated at max-paths ${maxPaths}`, undefined, undefined, "analysis"));
     }
     if (resource?.conditionalOnBlocksResolved === true) {
-        diagnostics.push(diagnostic("PTRES-303", "warning", "blocked taskは時刻0で解消する条件付きresource scheduleです", resource.blockedTaskIds[0]));
+        diagnostics.push(diagnostic("PTRES-303", "warning", "resource schedule is conditional on blocked tasks being resolved at time 0", resource.blockedTaskIds[0]));
     }
     const limited = limitDiagnostics(sortDiagnostics(diagnostics), maxDiagnostics);
     return {

package/dist/application/analyze.js.map

@@ -1 +1 @@
-{"version":3,"file":"analyze.js","sourceRoot":"","sources":["../../src/application/analyze.ts"],"names":[],"mappings":"AACA,OAAO,EACL,SAAS,EACT,gBAAgB,EAChB,uBAAuB,EACvB,eAAe,GAChB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAEhD,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAE1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAE9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAI3D,OAAO,EAAE,wBAAwB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AA6B3C,SAAS,UAAU,CACjB,IAAY,EACZ,QAA6B,EAC7B,OAAe,EACf,QAAiB,EACjB,OAAoC,EACpC,SAAS,GAAG,oBAAoB;IAEhC,OAAO;QACL,IAAI;QACJ,QAAQ;QACR,OAAO;QACP,SAAS;QACT,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC;QAC/C,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;KACtE,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAChC,KAAoB,EACpB,SAAsC;IAEtC,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,KAAK,MAAM,CAAC,EAAE,CAAC,IAAI,SAAS,EAAE,CAAC;QAC7B,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAC7B,WAAW,CAAC,IAAI,CACd,UAAU,CAAC,WAAW,EAAE,OAAO,EAAE,8BAA8B,EAAE,QAAQ,EAAE,EAAE,CAAC,CAC/E,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,SAAS,CAAC,WAAW,CAAC;QAAE,OAAO,WAAW,CAAC;IAC/C,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAC3F,CAAC;IACF,KAAK,MAAM,WAAW,IAAI,KAAK,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,CAAC;QACvG,MAAM,YAAY,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,UAAU,CAAC,EAAE,KAAK,IAAI,EAAE,CAAgC,CAAC;QACvG,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;YACvC,IAAI,WAAW,CAAC,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,CAAE,EAAE,CAAC;gBAC/D,WAAW,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,WAAW;oBACjB,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,eAAe,WAAW,CAAC,KAAK,qBAAqB,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,CAAE,SAAS;oBAC7G,QAAQ,EAAE,WAAW,CAAC,EAAE;oBACxB,IAAI,EAAE,WAAW,CAAC,SAAS;oBAC3B,SAAS,EAAE,oBAAoB;iBAChC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAC7C,MAAM,WAAW,GAAG,KAAK,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM,CACpD,CAAC,WAAW,EAAE,EAAE,CACd,WAAW,CAAC,IAAI,KAAK,MAAM,IAAI,UAAU,CAAC,WAAW,EAAE,QAAQ,CAAC,EAAE,KAAK,KAAK,QAAQ,CACvF,CAAC;QACF,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE;YAC7C,MAAM,YAAY,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,KAAK,IAAI,EAAE,CAAgC,CAAC;YAChG,OAAO,GAAG,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,UAAU,KAAK,EAAE,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC;QAC/F,CAAC,EAAE,CAAC,CAAC,CAAC;QACN,IAAI,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAE,EAAE,CAAC;YAC/B,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,WAAW;gBACjB,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,oBAAoB,SAAS,CAAC,GAAG,CAAC,EAAE,CAAE,iBAAiB,KAAK,MAAM;gBAC3E,QAAQ,EAAE,EAAE;gBACZ,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,WAAW,EAAE,UAAU,CAAE,CAAC,SAAS;gBAC7D,SAAS,EAAE,oBAAoB;gBAC/B,OAAO,EAAE,WAAW;qBACjB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;oBACf,MAAM,YAAY,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,KAAK,IAAI,EAAE,CAAgC,CAAC;oBAChG,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,UAAU,KAAK,EAAE,CAAC,CAAC;gBAC3E,CAAC,CAAC;qBACD,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,eAAe,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;aAC7E,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,IAAY,EACZ,OAAO,GAAmB,EAAE;IAE5B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,MAAM,CAAC;IACpC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC;IACvC,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC;IACzC,MAAM,cAAc,GAAG,uBAAuB,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IACvE,MAAM,SAAS,GAAG,OAAO,CAAC,iBAAiB,IAAI,IAAI,GAAG,EAAkB,CAAC;IACzE,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC;IACxD,MAAM,WAAW,GAAiB,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IAC3D,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;QAChB,OAAO;YACL,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,WAAW;YACX,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;YAClD,IAAI;YACJ,SAAS;YACT,iBAAiB,EAAE,SAAS;YAC5B,YAAY,EAAE,IAAI;YAClB,QAAQ,EAAE,IAAI;YACd,gBAAgB,EAAE,IAAI;YACtB,eAAe,EAAE,IAAI;YACrB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI;SACf,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,kBAAkB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACnD,WAAW,CAAC,IAAI,CAAC,GAAG,yBAAyB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;IACjE,IAAI,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,gBAAgB,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,cAAc,CAAC,CAAC;QAC/E,OAAO;YACL,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,oBAAoB,EAAE,OAAO,CAAC,oBAAoB,IAAI,OAAO,CAAC,SAAS;YACvE,IAAI;YACJ,SAAS;YACT,iBAAiB,EAAE,SAAS;YAC5B,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,gBAAgB,EAAE,wBAAwB,CAAC,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,QAAQ,CAAC;YAC9E,eAAe,EAAE,KAAK,CAAC,eAAe;YACtC,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI;SACf,CAAC;IACJ,CAAC;IACD,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC9D,MAAM,QAAQ,GACZ,IAAI,KAAK,YAAY;QACnB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,gBAAgB,CAAC,KAAK,EAAE,kBAAkB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IACvE,MAAM,UAAU,GAAG,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC;IACnE,IAAI,UAAU,EAAE,QAAQ,CAAC,cAAc,KAAK,IAAI,IAAI,QAAQ,EAAE,gBAAgB,CAAC,cAAc,KAAK,IAAI,EAAE,CAAC;QACvG,WAAW,CAAC,IAAI,CACd,UAAU,CACR,WAAW,EACX,SAAS,EACT,6BAA6B,QAAQ,UAAU,EAC/C,SAAS,EACT,SAAS,EACT,UAAU,CACX,CACF,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,EAAE,2BAA2B,KAAK,IAAI,EAAE,CAAC;QACnD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,WAAW,EACX,SAAS,EACT,8CAA8C,EAC9C,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAC3B,CACF,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,gBAAgB,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,cAAc,CAAC,CAAC;IAC/E,OAAO;QACL,EAAE,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC;QAC3B,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,oBAAoB,EAAE,OAAO,CAAC,oBAAoB,IAAI,OAAO,CAAC,SAAS;QACvE,IAAI;QACJ,SAAS;QACT,iBAAiB,EAAE,SAAS;QAC5B,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,gBAAgB,EAAE,wBAAwB,CAAC,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,QAAQ,CAAC;QAC9E,eAAe,EAAE,KAAK,CAAC,eAAe;QACtC,UAAU;QACV,QAAQ;KACT,CAAC;AACJ,CAAC"}
+{"version":3,"file":"analyze.js","sourceRoot":"","sources":["../../src/application/analyze.ts"],"names":[],"mappings":"AACA,OAAO,EACL,SAAS,EACT,gBAAgB,EAChB,uBAAuB,EACvB,eAAe,GAChB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAEhD,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAE1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAE9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAI3D,OAAO,EAAE,wBAAwB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AA6B3C,SAAS,UAAU,CACjB,IAAY,EACZ,QAA6B,EAC7B,OAAe,EACf,QAAiB,EACjB,OAAoC,EACpC,SAAS,GAAG,oBAAoB;IAEhC,OAAO;QACL,IAAI;QACJ,QAAQ;QACR,OAAO;QACP,SAAS;QACT,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC;QAC/C,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;KACtE,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAChC,KAAoB,EACpB,SAAsC;IAEtC,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,KAAK,MAAM,CAAC,EAAE,CAAC,IAAI,SAAS,EAAE,CAAC;QAC7B,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAC7B,WAAW,CAAC,IAAI,CACd,UAAU,CAAC,WAAW,EAAE,OAAO,EAAE,YAAY,EAAE,oCAAoC,EAAE,EAAE,CAAC,CACzF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,SAAS,CAAC,WAAW,CAAC;QAAE,OAAO,WAAW,CAAC;IAC/C,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAC3F,CAAC;IACF,KAAK,MAAM,WAAW,IAAI,KAAK,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,CAAC;QACvG,MAAM,YAAY,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,UAAU,CAAC,EAAE,KAAK,IAAI,EAAE,CAAgC,CAAC;QACvG,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;YACvC,IAAI,WAAW,CAAC,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,CAAE,EAAE,CAAC;gBAC/D,WAAW,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,WAAW;oBACjB,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,eAAe,WAAW,CAAC,KAAK,6BAA6B,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,CAAE,EAAE;oBAC9G,QAAQ,EAAE,WAAW,CAAC,EAAE;oBACxB,IAAI,EAAE,WAAW,CAAC,SAAS;oBAC3B,SAAS,EAAE,oBAAoB;iBAChC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAC7C,MAAM,WAAW,GAAG,KAAK,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM,CACpD,CAAC,WAAW,EAAE,EAAE,CACd,WAAW,CAAC,IAAI,KAAK,MAAM,IAAI,UAAU,CAAC,WAAW,EAAE,QAAQ,CAAC,EAAE,KAAK,KAAK,QAAQ,CACvF,CAAC;QACF,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE;YAC7C,MAAM,YAAY,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,KAAK,IAAI,EAAE,CAAgC,CAAC;YAChG,OAAO,GAAG,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,UAAU,KAAK,EAAE,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC;QAC/F,CAAC,EAAE,CAAC,CAAC,CAAC;QACN,IAAI,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAE,EAAE,CAAC;YAC/B,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,WAAW;gBACjB,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,oBAAoB,SAAS,CAAC,GAAG,CAAC,EAAE,CAAE,8BAA8B,KAAK,EAAE;gBACpF,QAAQ,EAAE,EAAE;gBACZ,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,WAAW,EAAE,UAAU,CAAE,CAAC,SAAS;gBAC7D,SAAS,EAAE,oBAAoB;gBAC/B,OAAO,EAAE,WAAW;qBACjB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;oBACf,MAAM,YAAY,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,KAAK,IAAI,EAAE,CAAgC,CAAC;oBAChG,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,UAAU,KAAK,EAAE,CAAC,CAAC;gBAC3E,CAAC,CAAC;qBACD,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,eAAe,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;aAC7E,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,IAAY,EACZ,OAAO,GAAmB,EAAE;IAE5B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,MAAM,CAAC;IACpC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC;IACvC,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC;IACzC,MAAM,cAAc,GAAG,uBAAuB,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IACvE,MAAM,SAAS,GAAG,OAAO,CAAC,iBAAiB,IAAI,IAAI,GAAG,EAAkB,CAAC;IACzE,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC;IACxD,MAAM,WAAW,GAAiB,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IAC3D,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;QAChB,OAAO;YACL,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,WAAW;YACX,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;YAClD,IAAI;YACJ,SAAS;YACT,iBAAiB,EAAE,SAAS;YAC5B,YAAY,EAAE,IAAI;YAClB,QAAQ,EAAE,IAAI;YACd,gBAAgB,EAAE,IAAI;YACtB,eAAe,EAAE,IAAI;YACrB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI;SACf,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,kBAAkB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACnD,WAAW,CAAC,IAAI,CAAC,GAAG,yBAAyB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;IACjE,IAAI,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,gBAAgB,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,cAAc,CAAC,CAAC;QAC/E,OAAO;YACL,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,oBAAoB,EAAE,OAAO,CAAC,oBAAoB,IAAI,OAAO,CAAC,SAAS;YACvE,IAAI;YACJ,SAAS;YACT,iBAAiB,EAAE,SAAS;YAC5B,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,gBAAgB,EAAE,wBAAwB,CAAC,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,QAAQ,CAAC;YAC9E,eAAe,EAAE,KAAK,CAAC,eAAe;YACtC,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI;SACf,CAAC;IACJ,CAAC;IACD,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC9D,MAAM,QAAQ,GACZ,IAAI,KAAK,YAAY;QACnB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,gBAAgB,CAAC,KAAK,EAAE,kBAAkB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IACvE,MAAM,UAAU,GAAG,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC;IACnE,IAAI,UAAU,EAAE,QAAQ,CAAC,cAAc,KAAK,IAAI,IAAI,QAAQ,EAAE,gBAAgB,CAAC,cAAc,KAAK,IAAI,EAAE,CAAC;QACvG,WAAW,CAAC,IAAI,CACd,UAAU,CACR,WAAW,EACX,SAAS,EACT,wDAAwD,QAAQ,EAAE,EAClE,SAAS,EACT,SAAS,EACT,UAAU,CACX,CACF,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,EAAE,2BAA2B,KAAK,IAAI,EAAE,CAAC;QACnD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,WAAW,EACX,SAAS,EACT,4EAA4E,EAC5E,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAC3B,CACF,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,gBAAgB,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,cAAc,CAAC,CAAC;IAC/E,OAAO;QACL,EAAE,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC;QAC3B,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,oBAAoB,EAAE,OAAO,CAAC,oBAAoB,IAAI,OAAO,CAAC,SAAS;QACvE,IAAI;QACJ,SAAS;QACT,iBAAiB,EAAE,SAAS;QAC5B,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,gBAAgB,EAAE,wBAAwB,CAAC,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,QAAQ,CAAC;QAC9E,eAAe,EAAE,KAAK,CAAC,eAAe;QACtC,UAAU;QACV,QAAQ;KACT,CAAC;AACJ,CAAC"}

package/dist/application/check.d.ts

@@ -1,5 +1,6 @@
 import type { Diagnostic } from "../model/diagnostics.js";
 import type { DocumentNode } from "../model/syntax.js";
+import type { TargetCalendarValue } from "../model/target-calendar.js";
 export interface CheckSummary {
     readonly resources: number;
     readonly milestones: number;
@@ -8,6 +9,20 @@ export interface CheckSummary {
     readonly errors: number;
     readonly warnings: number;
 }
+export interface MilestoneDeadlineInput {
+    readonly milestoneId: string;
+    readonly deadline: TargetCalendarValue;
+}
+export interface TaskTemporalConstraint {
+    readonly taskId: string;
+    readonly notBefore: TargetCalendarValue | null;
+    readonly deadline: TargetCalendarValue | null;
+}
+export interface TemporalInputs {
+    readonly anchor: TargetCalendarValue | null;
+    readonly milestoneDeadlines: readonly MilestoneDeadlineInput[];
+    readonly taskConstraints: readonly TaskTemporalConstraint[];
+}
 export interface CheckResult {
     readonly ok: boolean;
     readonly document: DocumentNode;
@@ -16,6 +31,7 @@ export interface CheckResult {
     readonly diagnostics: readonly Diagnostic[];
     readonly diagnosticsTruncated: boolean;
     readonly summary: CheckSummary;
+    readonly temporalInputs: TemporalInputs | null;
 }
 export interface CheckOptions {
     readonly maxDiagnostics?: number;

package/dist/application/check.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/application/check.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAO1D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAKvD,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;CAChC;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE,YAAiB,GAAG,WAAW,CAyCnF"}
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/application/check.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAO1D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEvD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAOvE,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC;CACxC;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,mBAAmB,GAAG,IAAI,CAAC;IAC/C,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,GAAG,IAAI,CAAC;CAC/C;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,MAAM,EAAE,mBAAmB,GAAG,IAAI,CAAC;IAC5C,QAAQ,CAAC,kBAAkB,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC/D,QAAQ,CAAC,eAAe,EAAE,SAAS,sBAAsB,EAAE,CAAC;CAC7D;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,cAAc,GAAG,IAAI,CAAC;CAChD;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC;AAsDD,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE,YAAiB,GAAG,WAAW,CA0CnF"}

package/dist/application/check.js

@@ -2,6 +2,56 @@ import { countDiagnostics, hasErrors, limitDiagnostics, normalizeMaxDiagnostics,
 import { fieldNamed } from "../model/syntax.js";
 import { parseDocument } from "../parser/document-parser.js";
 import { validateDocument } from "../semantic/validator.js";
+import { projectDeclaredCalendarValue, } from "../model/target-calendar.js";
+function temporalInputs(document, parseFailed) {
+    if (parseFailed)
+        return null;
+    const project = document.declarations.find((declaration) => declaration.kind === "project");
+    const anchorField = project === undefined
+        ? undefined
+        : fieldNamed(project, "as_of");
+    const anchor = anchorField === undefined
+        ? null
+        : projectDeclaredCalendarValue(anchorField.value);
+    if (anchorField !== undefined && anchor === null)
+        return null;
+    const milestoneDeadlines = [];
+    const taskConstraints = [];
+    for (const declaration of document.declarations) {
+        if (declaration.kind === "milestone") {
+            const deadlineField = fieldNamed(declaration, "deadline");
+            if (deadlineField === undefined)
+                continue;
+            const deadline = projectDeclaredCalendarValue(deadlineField.value);
+            if (deadline === null)
+                return null;
+            milestoneDeadlines.push({ milestoneId: declaration.id, deadline });
+            continue;
+        }
+        if (declaration.kind !== "task")
+            continue;
+        const notBeforeField = fieldNamed(declaration, "not_before");
+        const deadlineField = fieldNamed(declaration, "deadline");
+        if (notBeforeField === undefined && deadlineField === undefined)
+            continue;
+        const notBefore = notBeforeField === undefined
+            ? null
+            : projectDeclaredCalendarValue(notBeforeField.value);
+        const deadline = deadlineField === undefined
+            ? null
+            : projectDeclaredCalendarValue(deadlineField.value);
+        if ((notBeforeField !== undefined && notBefore === null) ||
+            (deadlineField !== undefined && deadline === null)) {
+            return null;
+        }
+        taskConstraints.push({
+            taskId: declaration.id,
+            notBefore,
+            deadline,
+        });
+    }
+    return { anchor, milestoneDeadlines, taskConstraints };
+}
 export function checkDocument(text, options = {}) {
     const maxDiagnostics = normalizeMaxDiagnostics(options.maxDiagnostics);
     const parsed = parseDocument(text, { maxDiagnostics });
@@ -38,6 +88,7 @@ export function checkDocument(text, options = {}) {
         diagnostics,
         diagnosticsTruncated: parsed.diagnosticsTruncated || limited.truncated,
         summary,
+        temporalInputs: temporalInputs(parsed.document, parseFailed),
     };
 }
 //# sourceMappingURL=check.js.map

package/dist/application/check.js.map

@@ -1 +1 @@
-{"version":3,"file":"check.js","sourceRoot":"","sources":["../../src/application/check.ts"],"names":[],"mappings":"AACA,OAAO,EACL,gBAAgB,EAChB,SAAS,EACT,gBAAgB,EAChB,uBAAuB,GACxB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAyB5D,MAAM,UAAU,aAAa,CAAC,IAAY,EAAE,OAAO,GAAiB,EAAE;IACpE,MAAM,cAAc,GAAG,uBAAuB,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IACvE,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC;IACvD,MAAM,oBAAoB,GAAG,gBAAgB,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IACnF,MAAM,OAAO,GAAG,gBAAgB,CAAC,oBAAoB,EAAE,cAAc,CAAC,CAAC;IACvE,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC;IACxC,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CACzC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,KAAK,OAAO,CAChD,CAAC;IACF,MAAM,gBAAgB,GAAG,WAAW;QAClC,CAAC,CAAC,MAAM,CAAC,gBAAgB;QACzB,CAAC,CAAC,gBAAgB,CAAC,oBAAoB,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAC/C,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,KAAK,SAAS,CAChD,CAAC;IACF,MAAM,OAAO,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,KAAK,CAAC;IAC1F,MAAM,OAAO,GAAiB;QAC5B,SAAS,EAAE,WAAW;YACpB,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,MAAM;QAChG,UAAU,EAAE,WAAW;YACrB,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,MAAM;QACjG,KAAK,EAAE,WAAW;YAChB,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,MAAM;QAC5F,KAAK,EAAE,WAAW;YAChB,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,MAAM;QAC5F,MAAM,EAAE,gBAAgB,CAAC,MAAM;QAC/B,QAAQ,EAAE,gBAAgB,CAAC,QAAQ;KACpC,CAAC;IACF,OAAO;QACL,EAAE,EAAE,CAAC,SAAS,CAAC,oBAAoB,CAAC;QACpC,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,UAAU,EAAE,OAAO,EAAE,EAAE,IAAI,IAAI;QAC/B,cAAc,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAC9E,WAAW;QACX,oBAAoB,EAAE,MAAM,CAAC,oBAAoB,IAAI,OAAO,CAAC,SAAS;QACtE,OAAO;KACR,CAAC;AACJ,CAAC"}
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../../src/application/check.ts"],"names":[],"mappings":"AACA,OAAO,EACL,gBAAgB,EAChB,SAAS,EACT,gBAAgB,EAChB,uBAAuB,GACxB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAEhD,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EACL,4BAA4B,GAC7B,MAAM,6BAA6B,CAAC;AA2CrC,SAAS,cAAc,CACrB,QAAsB,EACtB,WAAoB;IAEpB,IAAI,WAAW;QAAE,OAAO,IAAI,CAAC;IAC7B,MAAM,OAAO,GAAG,QAAQ,CAAC,YAAY,CAAC,IAAI,CACxC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,KAAK,SAAS,CAChD,CAAC;IACF,MAAM,WAAW,GAAG,OAAO,KAAK,SAAS;QACvC,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACjC,MAAM,MAAM,GAAG,WAAW,KAAK,SAAS;QACtC,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,4BAA4B,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IACpD,IAAI,WAAW,KAAK,SAAS,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAE9D,MAAM,kBAAkB,GAA6B,EAAE,CAAC;IACxD,MAAM,eAAe,GAA6B,EAAE,CAAC;IACrD,KAAK,MAAM,WAAW,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;QAChD,IAAI,WAAW,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACrC,MAAM,aAAa,GAAG,UAAU,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;YAC1D,IAAI,aAAa,KAAK,SAAS;gBAAE,SAAS;YAC1C,MAAM,QAAQ,GAAG,4BAA4B,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;YACnE,IAAI,QAAQ,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YACnC,kBAAkB,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,WAAW,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC;YACnE,SAAS;QACX,CAAC;QACD,IAAI,WAAW,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QAC1C,MAAM,cAAc,GAAG,UAAU,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC;QAC7D,MAAM,aAAa,GAAG,UAAU,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;QAC1D,IAAI,cAAc,KAAK,SAAS,IAAI,aAAa,KAAK,SAAS;YAAE,SAAS;QAC1E,MAAM,SAAS,GAAG,cAAc,KAAK,SAAS;YAC5C,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,4BAA4B,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QACvD,MAAM,QAAQ,GAAG,aAAa,KAAK,SAAS;YAC1C,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,4BAA4B,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QACtD,IACE,CAAC,cAAc,KAAK,SAAS,IAAI,SAAS,KAAK,IAAI,CAAC;YACpD,CAAC,aAAa,KAAK,SAAS,IAAI,QAAQ,KAAK,IAAI,CAAC,EAClD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,eAAe,CAAC,IAAI,CAAC;YACnB,MAAM,EAAE,WAAW,CAAC,EAAE;YACtB,SAAS;YACT,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,kBAAkB,EAAE,eAAe,EAAE,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAAY,EAAE,OAAO,GAAiB,EAAE;IACpE,MAAM,cAAc,GAAG,uBAAuB,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IACvE,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC;IACvD,MAAM,oBAAoB,GAAG,gBAAgB,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IACnF,MAAM,OAAO,GAAG,gBAAgB,CAAC,oBAAoB,EAAE,cAAc,CAAC,CAAC;IACvE,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC;IACxC,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CACzC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,KAAK,OAAO,CAChD,CAAC;IACF,MAAM,gBAAgB,GAAG,WAAW;QAClC,CAAC,CAAC,MAAM,CAAC,gBAAgB;QACzB,CAAC,CAAC,gBAAgB,CAAC,oBAAoB,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAC/C,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,KAAK,SAAS,CAChD,CAAC;IACF,MAAM,OAAO,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,KAAK,CAAC;IAC1F,MAAM,OAAO,GAAiB;QAC5B,SAAS,EAAE,WAAW;YACpB,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,MAAM;QAChG,UAAU,EAAE,WAAW;YACrB,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,MAAM;QACjG,KAAK,EAAE,WAAW;YAChB,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,MAAM;QAC5F,KAAK,EAAE,WAAW;YAChB,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,MAAM;QAC5F,MAAM,EAAE,gBAAgB,CAAC,MAAM;QAC/B,QAAQ,EAAE,gBAAgB,CAAC,QAAQ;KACpC,CAAC;IACF,OAAO;QACL,EAAE,EAAE,CAAC,SAAS,CAAC,oBAAoB,CAAC;QACpC,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,UAAU,EAAE,OAAO,EAAE,EAAE,IAAI,IAAI;QAC/B,cAAc,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAC9E,WAAW;QACX,oBAAoB,EAAE,MAAM,CAAC,oBAAoB,IAAI,OAAO,CAAC,SAAS;QACtE,OAAO;QACP,cAAc,EAAE,cAAc,CAAC,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC;KAC7D,CAAC;AACJ,CAAC"}

package/dist/application/contract4.d.ts

@@ -0,0 +1,17 @@
+import { type AnalysisResult, type AnalyzeOptions } from "./analyze.js";
+import { type NextOptions, type NextResultV3 } from "./next.js";
+import { TARGET_ANALYSIS_RESULT_SCHEMA_VERSION, TARGET_NEXT_RESULT_SCHEMA_VERSION, type TargetNextResultV4, type TargetTemporalAnalysis } from "./target-temporal-analysis.js";
+export interface AnalysisResultV3 extends AnalysisResult {
+    readonly schemaVersion: typeof TARGET_ANALYSIS_RESULT_SCHEMA_VERSION;
+    readonly grammarVersion: number | null;
+    readonly temporal: TargetTemporalAnalysis | null;
+}
+export interface NextResultV4Failure extends NextResultV3 {
+    readonly schemaVersion: typeof TARGET_NEXT_RESULT_SCHEMA_VERSION;
+    readonly grammarVersion: number | null;
+    readonly temporal: null;
+}
+export type NextResultV4 = TargetNextResultV4 | NextResultV4Failure;
+export declare function analyzeDocument(text: string, options?: AnalyzeOptions): AnalysisResultV3;
+export declare function selectNextTasks(text: string, options?: NextOptions): NextResultV4;
+//# sourceMappingURL=contract4.d.ts.map

package/dist/application/contract4.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract4.d.ts","sourceRoot":"","sources":["../../src/application/contract4.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,cAAc,EACnB,KAAK,cAAc,EACpB,MAAM,cAAc,CAAC;AACtB,OAAO,EAEL,KAAK,WAAW,EAChB,KAAK,YAAY,EAClB,MAAM,WAAW,CAAC;AACnB,OAAO,EAGL,qCAAqC,EACrC,iCAAiC,EACjC,KAAK,kBAAkB,EACvB,KAAK,sBAAsB,EAC5B,MAAM,+BAA+B,CAAC;AAKvC,MAAM,WAAW,gBAAiB,SAAQ,cAAc;IACtD,QAAQ,CAAC,aAAa,EAAE,OAAO,qCAAqC,CAAC;IACrE,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,GAAG,IAAI,CAAC;CAClD;AAED,MAAM,WAAW,mBAAoB,SAAQ,YAAY;IACvD,QAAQ,CAAC,aAAa,EAAE,OAAO,iCAAiC,CAAC;IACjE,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;CACzB;AAED,MAAM,MAAM,YAAY,GAAG,kBAAkB,GAAG,mBAAmB,CAAC;AAEpE,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,OAAO,GAAE,cAAmB,GAC3B,gBAAgB,CAalB;AAED,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,OAAO,GAAE,WAAgB,GACxB,YAAY,CAed"}

package/dist/application/contract4.js

@@ -0,0 +1,27 @@
+import { analyzeDocument as analyzeBaseDocument, } from "./analyze.js";
+import { selectNextTasks as selectBaseNextTasks, } from "./next.js";
+import { analyzeTargetTemporalDocument, selectTargetTemporalTasks, TARGET_ANALYSIS_RESULT_SCHEMA_VERSION, TARGET_NEXT_RESULT_SCHEMA_VERSION, } from "./target-temporal-analysis.js";
+import { TARGET_GRAMMAR_3_CAPABILITY, } from "../parser/document-parser.js";
+export function analyzeDocument(text, options = {}) {
+    const base = analyzeBaseDocument(text, options);
+    const target = analyzeTargetTemporalDocument(text, TARGET_GRAMMAR_3_CAPABILITY, options);
+    return Object.freeze({
+        ...base,
+        schemaVersion: TARGET_ANALYSIS_RESULT_SCHEMA_VERSION,
+        grammarVersion: target.grammarVersion,
+        temporal: target.ok ? target.temporal : null,
+    });
+}
+export function selectNextTasks(text, options = {}) {
+    const target = selectTargetTemporalTasks(text, TARGET_GRAMMAR_3_CAPABILITY, options);
+    if ("recommendation" in target)
+        return target;
+    const base = selectBaseNextTasks(text, options);
+    return Object.freeze({
+        ...base,
+        schemaVersion: TARGET_NEXT_RESULT_SCHEMA_VERSION,
+        grammarVersion: target.grammarVersion,
+        temporal: null,
+    });
+}
+//# sourceMappingURL=contract4.js.map

package/dist/application/contract4.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract4.js","sourceRoot":"","sources":["../../src/application/contract4.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,eAAe,IAAI,mBAAmB,GAGvC,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,eAAe,IAAI,mBAAmB,GAGvC,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,6BAA6B,EAC7B,yBAAyB,EACzB,qCAAqC,EACrC,iCAAiC,GAGlC,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,2BAA2B,GAC5B,MAAM,8BAA8B,CAAC;AAgBtC,MAAM,UAAU,eAAe,CAC7B,IAAY,EACZ,OAAO,GAAmB,EAAE;IAE5B,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,6BAA6B,CAC1C,IAAI,EACJ,2BAA2B,EAC3B,OAAO,CACR,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,IAAI;QACP,aAAa,EAAE,qCAAqC;QACpD,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI;KAC7C,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,IAAY,EACZ,OAAO,GAAgB,EAAE;IAEzB,MAAM,MAAM,GAAG,yBAAyB,CACtC,IAAI,EACJ,2BAA2B,EAC3B,OAAO,CACR,CAAC;IACF,IAAI,gBAAgB,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAE9C,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAChD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,IAAI;QACP,aAAa,EAAE,iCAAiC;QAChD,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,QAAQ,EAAE,IAAI;KACf,CAAC,CAAC;AACL,CAAC"}

package/dist/application/init.d.ts

@@ -0,0 +1,43 @@
+import type { DocumentWriteResult } from "../io/safe-write.js";
+import type { Diagnostic } from "../model/diagnostics.js";
+import type { TextEdit } from "../mutation/text-edits.js";
+export type ProjectInitDurationUnit = "day" | "hour" | "point";
+export interface ProjectInitRequest {
+    readonly projectId: string;
+    readonly title: string;
+    readonly durationUnit: ProjectInitDurationUnit;
+    readonly initialMilestone: string;
+    readonly initialMilestoneTitle: string;
+    readonly finish: string;
+    readonly version?: number;
+    readonly asOf?: string;
+    readonly velocity?: string;
+    readonly initialMilestoneDeadline?: string;
+}
+export interface ProjectInitWrite {
+    readonly mode: "preview" | "out";
+    readonly target: string | null;
+    readonly written: boolean;
+}
+export interface ProjectInitResult {
+    readonly schemaVersion: "Perttool.InitResult.v1";
+    readonly cliContractVersion: 4;
+    readonly toolVersion: string;
+    readonly operation: "project.init";
+    readonly ok: boolean;
+    readonly documentId: string | null;
+    readonly source: null;
+    readonly sourceDigest: null;
+    readonly candidateText: string | null;
+    readonly candidateDigest: string | null;
+    readonly edits: readonly TextEdit[];
+    readonly write: ProjectInitWrite;
+    readonly diagnostics: readonly Diagnostic[];
+    readonly diagnosticsTruncated: boolean;
+}
+export declare function planProjectInit(request: unknown): ProjectInitResult;
+export declare function withProjectInitOutput(value: ProjectInitResult, output: DocumentWriteResult): ProjectInitResult;
+export declare function projectInitResultToJson(value: ProjectInitResult): Readonly<Record<string, unknown>>;
+export declare function serializeProjectInitResult(value: ProjectInitResult): string;
+export declare function renderProjectInitResult(value: ProjectInitResult): string;
+//# sourceMappingURL=init.d.ts.map

package/dist/application/init.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"init.d.ts","sourceRoot":"","sources":["../../src/application/init.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC/D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAE1D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AAI1D,MAAM,MAAM,uBAAuB,GAAG,KAAK,GAAG,MAAM,GAAG,OAAO,CAAC;AAE/D,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,YAAY,EAAE,uBAAuB,CAAC;IAC/C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,wBAAwB,CAAC,EAAE,MAAM,CAAC;CAC5C;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,KAAK,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,aAAa,EAAE,wBAAwB,CAAC;IACjD,QAAQ,CAAC,kBAAkB,EAAE,CAAC,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,IAAI,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,QAAQ,CAAC,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;CACxC;AA6HD,wBAAgB,eAAe,CAAC,OAAO,EAAE,OAAO,GAAG,iBAAiB,CAyCnE;AAED,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,iBAAiB,EACxB,MAAM,EAAE,mBAAmB,GAC1B,iBAAiB,CAoBnB;AAqCD,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,iBAAiB,GACvB,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAyBnC;AAED,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,iBAAiB,GACvB,MAAM,CAER;AAED,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,iBAAiB,GACvB,MAAM,CAER"}