perttool 0.7.1 → 0.8.0

package/dist/actuals/reduction.js

@@ -0,0 +1,175 @@
+import { instantKey } from "../model/calendar-arithmetic.js";
+import { compareStableStrings } from "../model/diagnostics.js";
+import { add, compare, divide, rational, subtract, ZERO, } from "../model/rational.js";
+import { fieldNamed } from "../model/syntax.js";
+import { projectActualsSourceModel, workEventsForTask, } from "./source.js";
+const eventKindOrder = Object.freeze({
+    start: 0,
+    suspend: 1,
+    resume: 2,
+    finish: 3,
+});
+export function actualsDiagnostic(code, message, cause, entityId, span, data = {}) {
+    return Object.freeze({
+        code,
+        severity: "error",
+        message,
+        ...(entityId === null ? {} : { entityId }),
+        ...(span === undefined ? {} : { span }),
+        helpTopic: "syntax.work-event",
+        data: Object.freeze({ cause, ...data }),
+    });
+}
+function eventInstant(event) {
+    return instantKey(event.occurredAt);
+}
+function compareEvents(left, right) {
+    const instantOrder = compare(eventInstant(left), eventInstant(right));
+    if (instantOrder !== 0)
+        return instantOrder;
+    const kindOrder = eventKindOrder[left.kind] - eventKindOrder[right.kind];
+    return kindOrder !== 0
+        ? kindOrder
+        : compareStableStrings(left.id, right.id);
+}
+function sequenceFailure(event, cause) {
+    return Object.freeze({
+        ok: false,
+        coverage: "unavailable",
+        state: null,
+        derivedActiveTime: null,
+        diagnostics: Object.freeze([
+            actualsDiagnostic("PTACT-104", "invalid work-event lifecycle sequence", cause, event.id, event.idSpan),
+        ]),
+    });
+}
+export function reduceTaskLifecycle(events) {
+    if (events.length === 0) {
+        return Object.freeze({
+            ok: true,
+            coverage: "unrecorded",
+            state: null,
+            derivedActiveTime: null,
+            diagnostics: Object.freeze([]),
+        });
+    }
+    const ordered = [...events].sort(compareEvents);
+    for (let index = 1; index < ordered.length; index += 1) {
+        const previous = ordered[index - 1];
+        const current = ordered[index];
+        if (compare(eventInstant(previous), eventInstant(current)) === 0 &&
+            previous.kind === current.kind) {
+            return sequenceFailure(current, "duplicate_kind_at_instant");
+        }
+    }
+    let state = null;
+    let coverage = "open";
+    let activeIntervalStart = null;
+    let derivedActiveTime = ZERO;
+    for (const [index, event] of ordered.entries()) {
+        const instant = eventInstant(event);
+        if (state === "done")
+            return sequenceFailure(event, "event_after_finish");
+        switch (event.kind) {
+            case "start":
+                if (index !== 0 || state !== null) {
+                    return sequenceFailure(event, "invalid_transition");
+                }
+                state = "active";
+                activeIntervalStart = instant;
+                break;
+            case "suspend":
+                if (state !== "active" || activeIntervalStart === null) {
+                    return sequenceFailure(event, "invalid_transition");
+                }
+                derivedActiveTime = add(derivedActiveTime, subtract(instant, activeIntervalStart));
+                if (derivedActiveTime.numerator < 0n) {
+                    return sequenceFailure(event, "invalid_transition");
+                }
+                state = "suspended";
+                activeIntervalStart = null;
+                break;
+            case "resume":
+                if (state !== "suspended") {
+                    return sequenceFailure(event, "invalid_transition");
+                }
+                state = "active";
+                activeIntervalStart = instant;
+                break;
+            case "finish":
+                if (index === 0 && state === null) {
+                    state = "done";
+                    coverage = "finish_only";
+                    break;
+                }
+                if (state !== "active" && state !== "suspended") {
+                    return sequenceFailure(event, "invalid_transition");
+                }
+                if (state === "active" && activeIntervalStart !== null) {
+                    derivedActiveTime = add(derivedActiveTime, subtract(instant, activeIntervalStart));
+                    if (derivedActiveTime.numerator < 0n) {
+                        return sequenceFailure(event, "invalid_transition");
+                    }
+                }
+                state = "done";
+                activeIntervalStart = null;
+                coverage = "complete";
+                break;
+        }
+    }
+    return Object.freeze({
+        ok: true,
+        coverage,
+        state,
+        derivedActiveTime: coverage === "complete"
+            ? divide(derivedActiveTime, rational(3600n))
+            : null,
+        diagnostics: Object.freeze([]),
+    });
+}
+export function taskStatus(task) {
+    return (fieldNamed(task, "status")?.value ?? "planned");
+}
+export function taskStatusSpan(task) {
+    return fieldNamed(task, "status")?.valueSpan ?? task.idSpan;
+}
+export function validateStoredLifecycleState(validated) {
+    const model = projectActualsSourceModel(validated);
+    const diagnostics = [];
+    for (const task of validated.document.declarations) {
+        if (task.kind !== "task")
+            continue;
+        const events = workEventsForTask(model, task.id);
+        const reduction = reduceTaskLifecycle(events);
+        if (!reduction.ok) {
+            diagnostics.push(...reduction.diagnostics);
+            continue;
+        }
+        if (reduction.coverage === "unrecorded")
+            continue;
+        const stored = taskStatus(task);
+        if (reduction.state !== stored) {
+            diagnostics.push(actualsDiagnostic("PTACT-104", "invalid work-event lifecycle sequence", "state_event_mismatch", task.id, taskStatusSpan(task), {
+                stored_state: stored,
+                event_state: reduction.state,
+            }));
+            continue;
+        }
+        if (reduction.coverage !== "complete")
+            continue;
+        const finish = events.find(({ kind }) => kind === "finish");
+        if (finish?.activeTime !== null &&
+            finish?.activeTime !== undefined &&
+            reduction.derivedActiveTime !== null &&
+            compare(finish.activeTime.value, reduction.derivedActiveTime) !== 0) {
+            diagnostics.push(actualsDiagnostic("PTACT-107", "explicit active time differs from the event-derived active time", "active_time_mismatch", finish.id, finish.activeTime.valueSpan, {
+                explicit_numerator: finish.activeTime.value.numerator.toString(),
+                explicit_denominator: finish.activeTime.value.denominator.toString(),
+                derived_numerator: reduction.derivedActiveTime.numerator.toString(),
+                derived_denominator: reduction.derivedActiveTime.denominator.toString(),
+            }));
+        }
+    }
+    return Object.freeze(diagnostics);
+}
+//# sourceMappingURL=reduction.js.map

package/dist/actuals/reduction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reduction.js","sourceRoot":"","sources":["../../src/actuals/reduction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAE7D,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EACL,GAAG,EACH,OAAO,EACP,MAAM,EACN,QAAQ,EACR,QAAQ,EACR,IAAI,GAEL,MAAM,sBAAsB,CAAC;AAM9B,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAEhD,OAAO,EACL,yBAAyB,EACzB,iBAAiB,GAElB,MAAM,aAAa,CAAC;AAErB,MAAM,cAAc,GAA4C,MAAM,CAAC,MAAM,CAAC;IAC5E,KAAK,EAAE,CAAC;IACR,OAAO,EAAE,CAAC;IACV,MAAM,EAAE,CAAC;IACT,MAAM,EAAE,CAAC;CACV,CAAC,CAAC;AAwBH,MAAM,UAAU,iBAAiB,CAC/B,IAKe,EACf,OAAe,EACf,KAAa,EACb,QAAuB,EACvB,IAAiB,EACjB,IAAI,GAAsC,EAAE;IAE5C,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI;QACJ,QAAQ,EAAE,OAAO;QACjB,OAAO;QACP,GAAG,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC;QAC1C,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;QACvC,SAAS,EAAE,mBAAmB;QAC9B,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,CAAC;KACxC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,YAAY,CAAC,KAAsB;IAC1C,OAAO,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;AACtC,CAAC;AAED,SAAS,aAAa,CAAC,IAAqB,EAAE,KAAsB;IAClE,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;IACtE,IAAI,YAAY,KAAK,CAAC;QAAE,OAAO,YAAY,CAAC;IAC5C,MAAM,SAAS,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACzE,OAAO,SAAS,KAAK,CAAC;QACpB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,eAAe,CACtB,KAAsB,EACtB,KAAgF;IAEhF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,KAAK;QACT,QAAQ,EAAE,aAAa;QACvB,KAAK,EAAE,IAAI;QACX,iBAAiB,EAAE,IAAI;QACvB,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC;YACzB,iBAAiB,CACf,WAAW,EACX,uCAAuC,EACvC,KAAK,EACL,KAAK,CAAC,EAAE,EACR,KAAK,CAAC,MAAM,CACb;SACF,CAAC;KACH,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,MAAkC;IAElC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,EAAE,EAAE,IAAI;YACR,QAAQ,EAAE,YAAY;YACtB,KAAK,EAAE,IAAI;YACX,iBAAiB,EAAE,IAAI;YACvB,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;SAC/B,CAAC,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAChD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACvD,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC;QACrC,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAE,CAAC;QAChC,IACE,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC;YAC5D,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,EAC9B,CAAC;YACD,OAAO,eAAe,CAAC,OAAO,EAAE,2BAA2B,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IAED,IAAI,KAAK,GAA2C,IAAI,CAAC;IACzD,IAAI,QAAQ,GAAoB,MAAM,CAAC;IACvC,IAAI,mBAAmB,GAAoB,IAAI,CAAC;IAChD,IAAI,iBAAiB,GAAG,IAAI,CAAC;IAC7B,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QAC/C,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,KAAK,KAAK,MAAM;YAAE,OAAO,eAAe,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAC;QAC1E,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,OAAO;gBACV,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;oBAClC,OAAO,eAAe,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAC;gBACtD,CAAC;gBACD,KAAK,GAAG,QAAQ,CAAC;gBACjB,mBAAmB,GAAG,OAAO,CAAC;gBAC9B,MAAM;YACR,KAAK,SAAS;gBACZ,IAAI,KAAK,KAAK,QAAQ,IAAI,mBAAmB,KAAK,IAAI,EAAE,CAAC;oBACvD,OAAO,eAAe,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAC;gBACtD,CAAC;gBACD,iBAAiB,GAAG,GAAG,CACrB,iBAAiB,EACjB,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC,CACvC,CAAC;gBACF,IAAI,iBAAiB,CAAC,SAAS,GAAG,EAAE,EAAE,CAAC;oBACrC,OAAO,eAAe,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAC;gBACtD,CAAC;gBACD,KAAK,GAAG,WAAW,CAAC;gBACpB,mBAAmB,GAAG,IAAI,CAAC;gBAC3B,MAAM;YACR,KAAK,QAAQ;gBACX,IAAI,KAAK,KAAK,WAAW,EAAE,CAAC;oBAC1B,OAAO,eAAe,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAC;gBACtD,CAAC;gBACD,KAAK,GAAG,QAAQ,CAAC;gBACjB,mBAAmB,GAAG,OAAO,CAAC;gBAC9B,MAAM;YACR,KAAK,QAAQ;gBACX,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;oBAClC,KAAK,GAAG,MAAM,CAAC;oBACf,QAAQ,GAAG,aAAa,CAAC;oBACzB,MAAM;gBACR,CAAC;gBACD,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,WAAW,EAAE,CAAC;oBAChD,OAAO,eAAe,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAC;gBACtD,CAAC;gBACD,IAAI,KAAK,KAAK,QAAQ,IAAI,mBAAmB,KAAK,IAAI,EAAE,CAAC;oBACvD,iBAAiB,GAAG,GAAG,CACrB,iBAAiB,EACjB,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC,CACvC,CAAC;oBACF,IAAI,iBAAiB,CAAC,SAAS,GAAG,EAAE,EAAE,CAAC;wBACrC,OAAO,eAAe,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAC;oBACtD,CAAC;gBACH,CAAC;gBACD,KAAK,GAAG,MAAM,CAAC;gBACf,mBAAmB,GAAG,IAAI,CAAC;gBAC3B,QAAQ,GAAG,UAAU,CAAC;gBACtB,MAAM;QACV,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,IAAI;QACR,QAAQ;QACR,KAAK;QACL,iBAAiB,EACf,QAAQ,KAAK,UAAU;YACrB,CAAC,CAAC,MAAM,CAAC,iBAAiB,EAAE,QAAQ,CAAC,KAAM,CAAC,CAAC;YAC7C,CAAC,CAAC,IAAI;QACV,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;KAC/B,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,IAA4C;IAE5C,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,KAAK,IAAI,SAAS,CAAuB,CAAC;AAChF,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,IAA4C;IAE5C,OAAO,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,SAAS,IAAI,IAAI,CAAC,MAAM,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,SAA0C;IAE1C,MAAM,KAAK,GAAG,yBAAyB,CAAC,SAAS,CAAC,CAAC;IACnD,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,QAAQ,CAAC,YAAY,EAAE,CAAC;QACnD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QACnC,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QACjD,MAAM,SAAS,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;QAC9C,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC;YAClB,WAAW,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,WAAW,CAAC,CAAC;YAC3C,SAAS;QACX,CAAC;QACD,IAAI,SAAS,CAAC,QAAQ,KAAK,YAAY;YAAE,SAAS;QAClD,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,SAAS,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;YAC/B,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,WAAW,EACX,uCAAuC,EACvC,sBAAsB,EACtB,IAAI,CAAC,EAAE,EACP,cAAc,CAAC,IAAI,CAAC,EACpB;gBACE,YAAY,EAAE,MAAM;gBACpB,WAAW,EAAE,SAAS,CAAC,KAAK;aAC7B,CACF,CACF,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,SAAS,CAAC,QAAQ,KAAK,UAAU;YAAE,SAAS;QAChD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;QAC5D,IACE,MAAM,EAAE,UAAU,KAAK,IAAI;YAC3B,MAAM,EAAE,UAAU,KAAK,SAAS;YAChC,SAAS,CAAC,iBAAiB,KAAK,IAAI;YACpC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,iBAAiB,CAAC,KAAK,CAAC,EACnE,CAAC;YACD,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,WAAW,EACX,iEAAiE,EACjE,sBAAsB,EACtB,MAAM,CAAC,EAAE,EACT,MAAM,CAAC,UAAU,CAAC,SAAS,EAC3B;gBACE,kBAAkB,EAAE,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,EAAE;gBAChE,oBAAoB,EAAE,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE;gBACpE,iBAAiB,EAAE,SAAS,CAAC,iBAAiB,CAAC,SAAS,CAAC,QAAQ,EAAE;gBACnE,mBAAmB,EACjB,SAAS,CAAC,iBAAiB,CAAC,WAAW,CAAC,QAAQ,EAAE;aACrD,CACF,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;AACpC,CAAC"}

package/dist/analysis/service.d.ts

@@ -0,0 +1,33 @@
+import type { Diagnostic } from "../model/diagnostics.js";
+import type { DocumentNode } from "../model/syntax.js";
+import type { PrecedenceResult } from "../analysis/precedence.js";
+import type { ResourceScheduleResult } from "../analysis/resource.js";
+import type { Rational } from "../model/rational.js";
+import type { DurationUnit, Velocity, VelocityConversion } from "../model/units.js";
+export type AnalysisMode = "precedence" | "resource" | "both";
+export interface AnalyzeOptions {
+    readonly mode?: AnalysisMode;
+    readonly capacityOverrides?: ReadonlyMap<string, number>;
+    readonly maxPaths?: number;
+    readonly precision?: number;
+    readonly maxDiagnostics?: number;
+}
+export interface AnalysisResult {
+    readonly ok: boolean;
+    readonly document: DocumentNode;
+    readonly documentId: string | null;
+    readonly diagnostics: readonly Diagnostic[];
+    readonly diagnosticsTruncated: boolean;
+    readonly mode: AnalysisMode;
+    readonly precision: number;
+    readonly capacityOverrides: ReadonlyMap<string, number>;
+    readonly durationUnit: DurationUnit | null;
+    readonly velocity: Velocity | null;
+    readonly velocityForecast: VelocityConversion | null;
+    readonly criticalEpsilon: Rational | null;
+    readonly precedence: PrecedenceResult | null;
+    readonly resource: ResourceScheduleResult | null;
+}
+export declare function analyzeValidatedDocument(document: DocumentNode, documentId: string, initialDiagnostics: readonly Diagnostic[], diagnosticsAlreadyTruncated: boolean, options?: AnalyzeOptions): AnalysisResult;
+export declare function analyzeDocument(text: string, options?: AnalyzeOptions): AnalysisResult;
+//# sourceMappingURL=service.d.ts.map

package/dist/analysis/service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"service.d.ts","sourceRoot":"","sources":["../../src/analysis/service.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAmB,MAAM,yBAAyB,CAAC;AAQ3E,OAAO,KAAK,EAAE,YAAY,EAAoB,MAAM,oBAAoB,CAAC;AAIzE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAElE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AACtE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAIpF,MAAM,MAAM,YAAY,GAAG,YAAY,GAAG,UAAU,GAAG,MAAM,CAAC;AAE9D,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC;IAC7B,QAAQ,CAAC,iBAAiB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACzD,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC;AAED,MAAM,WAAW,cAAc;IAC7B,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,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACxD,QAAQ,CAAC,YAAY,EAAE,YAAY,GAAG,IAAI,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,gBAAgB,EAAE,kBAAkB,GAAG,IAAI,CAAC;IACrD,QAAQ,CAAC,eAAe,EAAE,QAAQ,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,gBAAgB,GAAG,IAAI,CAAC;IAC7C,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,GAAG,IAAI,CAAC;CAClD;AAgFD,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,YAAY,EACtB,UAAU,EAAE,MAAM,EAClB,kBAAkB,EAAE,SAAS,UAAU,EAAE,EACzC,2BAA2B,EAAE,OAAO,EACpC,OAAO,GAAE,cAAmB,GAC3B,cAAc,CAoFhB;AAED,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,OAAO,GAAE,cAAmB,GAC3B,cAAc,CAgChB"}

package/dist/analysis/service.js

@@ -0,0 +1,153 @@
+import { hasErrors, limitDiagnostics, normalizeMaxDiagnostics, sortDiagnostics, } from "../model/diagnostics.js";
+import { fieldNamed } from "../model/syntax.js";
+import { buildResidualGraph } from "../analysis/graph.js";
+import { analyzePrecedence } from "../analysis/precedence.js";
+import { analyzeResources } from "../analysis/resource.js";
+import { createVelocityConversion } from "../model/units.js";
+import { checkDocument } from "../semantic/check.js";
+function diagnostic(code, severity, message, entityId, related, helpTopic = "analysis.resources") {
+    return {
+        code,
+        severity,
+        message,
+        helpTopic,
+        ...(entityId === undefined ? {} : { entityId }),
+        ...(related === undefined || related.length === 0 ? {} : { related }),
+    };
+}
+function validateCapacityOverrides(graph, overrides) {
+    const diagnostics = [];
+    for (const [id] of overrides) {
+        if (!graph.resources.has(id)) {
+            diagnostics.push(diagnostic("PTSEM-206", "error", `resource ${id} in capacity override is undefined`, id));
+        }
+    }
+    if (hasErrors(diagnostics))
+        return diagnostics;
+    const effective = new Map([...graph.resources].map(([id, resource]) => [id, overrides.get(id) ?? resource.capacity]));
+    for (const declaration of graph.document.declarations.filter((candidate) => candidate.kind === "task")) {
+        const requirements = (fieldNamed(declaration, "requires")?.value ?? []);
+        for (const requirement of requirements) {
+            if (requirement.units > effective.get(requirement.resourceId)) {
+                diagnostics.push({
+                    code: "PTSEM-208",
+                    severity: "error",
+                    message: `requirement ${requirement.units} exceeds what-if capacity ${effective.get(requirement.resourceId)}`,
+                    entityId: declaration.id,
+                    span: requirement.unitsSpan,
+                    helpTopic: "analysis.resources",
+                });
+            }
+        }
+    }
+    for (const [id, resource] of graph.resources) {
+        const activeTasks = graph.document.declarations.filter((declaration) => declaration.kind === "task" && fieldNamed(declaration, "status")?.value === "active");
+        const usage = activeTasks.reduce((sum, task) => {
+            const requirements = (fieldNamed(task, "requires")?.value ?? []);
+            return sum + (requirements.find((requirement) => requirement.resourceId === id)?.units ?? 0);
+        }, 0);
+        if (usage > effective.get(id)) {
+            diagnostics.push({
+                code: "PTRES-202",
+                severity: "error",
+                message: `what-if capacity ${effective.get(id)} is less than active usage ${usage}`,
+                entityId: id,
+                span: fieldNamed(resource.declaration, "capacity").valueSpan,
+                helpTopic: "analysis.resources",
+                related: activeTasks
+                    .filter((task) => {
+                    const requirements = (fieldNamed(task, "requires")?.value ?? []);
+                    return requirements.some((requirement) => requirement.resourceId === id);
+                })
+                    .map((task) => ({ message: `active task ${task.id}`, span: task.idSpan })),
+            });
+        }
+    }
+    return diagnostics;
+}
+export function analyzeValidatedDocument(document, documentId, initialDiagnostics, diagnosticsAlreadyTruncated, options = {}) {
+    const mode = options.mode ?? "both";
+    const maxPaths = options.maxPaths ?? 1;
+    const precision = options.precision ?? 3;
+    const maxDiagnostics = normalizeMaxDiagnostics(options.maxDiagnostics);
+    const overrides = options.capacityOverrides ?? new Map();
+    const diagnostics = [...initialDiagnostics];
+    const graph = buildResidualGraph(document);
+    diagnostics.push(...validateCapacityOverrides(graph, overrides));
+    if (hasErrors(diagnostics)) {
+        const limited = limitDiagnostics(sortDiagnostics(diagnostics), maxDiagnostics);
+        return {
+            ok: false,
+            document,
+            documentId,
+            diagnostics: limited.diagnostics,
+            diagnosticsTruncated: diagnosticsAlreadyTruncated || limited.truncated,
+            mode,
+            precision,
+            capacityOverrides: overrides,
+            durationUnit: graph.durationUnit,
+            velocity: graph.velocity,
+            velocityForecast: createVelocityConversion(graph.durationUnit, graph.velocity),
+            criticalEpsilon: graph.criticalEpsilon,
+            precedence: null,
+            resource: null,
+        };
+    }
+    const internalPrecedence = analyzePrecedence(graph, maxPaths);
+    const resource = mode === "precedence"
+        ? null
+        : 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 enumeration was truncated at max-paths ${maxPaths}`, undefined, undefined, "analysis"));
+    }
+    if (resource?.conditionalOnBlocksResolved === true) {
+        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 {
+        ok: !hasErrors(diagnostics),
+        document,
+        documentId,
+        diagnostics: limited.diagnostics,
+        diagnosticsTruncated: diagnosticsAlreadyTruncated || limited.truncated,
+        mode,
+        precision,
+        capacityOverrides: overrides,
+        durationUnit: graph.durationUnit,
+        velocity: graph.velocity,
+        velocityForecast: createVelocityConversion(graph.durationUnit, graph.velocity),
+        criticalEpsilon: graph.criticalEpsilon,
+        precedence,
+        resource,
+    };
+}
+export function analyzeDocument(text, options = {}) {
+    const mode = options.mode ?? "both";
+    const precision = options.precision ?? 3;
+    const maxDiagnostics = normalizeMaxDiagnostics(options.maxDiagnostics);
+    const overrides = options.capacityOverrides ?? new Map();
+    const checked = checkDocument(text, { maxDiagnostics });
+    const diagnostics = [...checked.diagnostics];
+    if (!checked.ok) {
+        return {
+            ok: false,
+            document: checked.document,
+            documentId: checked.documentId,
+            diagnostics,
+            diagnosticsTruncated: checked.diagnosticsTruncated,
+            mode,
+            precision,
+            capacityOverrides: overrides,
+            durationUnit: null,
+            velocity: null,
+            velocityForecast: null,
+            criticalEpsilon: null,
+            precedence: null,
+            resource: null,
+        };
+    }
+    return analyzeValidatedDocument(checked.document, checked.documentId, diagnostics, checked.diagnosticsTruncated, options);
+}
+//# sourceMappingURL=service.js.map

package/dist/analysis/service.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"service.js","sourceRoot":"","sources":["../../src/analysis/service.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,sBAAsB,CAAC;AA6BrD,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,wBAAwB,CACtC,QAAsB,EACtB,UAAkB,EAClB,kBAAyC,EACzC,2BAAoC,EACpC,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,WAAW,GAAiB,CAAC,GAAG,kBAAkB,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAC3C,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;YACR,UAAU;YACV,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,oBAAoB,EAClB,2BAA2B,IAAI,OAAO,CAAC,SAAS;YAClD,IAAI;YACJ,SAAS;YACT,iBAAiB,EAAE,SAAS;YAC5B,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,gBAAgB,EAAE,wBAAwB,CACxC,KAAK,CAAC,YAAY,EAClB,KAAK,CAAC,QAAQ,CACf;YACD,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,IACE,UAAU,EAAE,QAAQ,CAAC,cAAc,KAAK,IAAI;QAC5C,QAAQ,EAAE,gBAAgB,CAAC,cAAc,KAAK,IAAI,EAClD,CAAC;QACD,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;QACR,UAAU;QACV,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,oBAAoB,EAClB,2BAA2B,IAAI,OAAO,CAAC,SAAS;QAClD,IAAI;QACJ,SAAS;QACT,iBAAiB,EAAE,SAAS;QAC5B,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,gBAAgB,EAAE,wBAAwB,CACxC,KAAK,CAAC,YAAY,EAClB,KAAK,CAAC,QAAQ,CACf;QACD,eAAe,EAAE,KAAK,CAAC,eAAe;QACtC,UAAU;QACV,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,IAAY,EACZ,OAAO,GAAmB,EAAE;IAE5B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,MAAM,CAAC;IACpC,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,OAAO,wBAAwB,CAC7B,OAAO,CAAC,QAAQ,EAChB,OAAO,CAAC,UAAW,EACnB,WAAW,EACX,OAAO,CAAC,oBAAoB,EAC5B,OAAO,CACR,CAAC;AACJ,CAAC"}

package/dist/analysis/target-temporal-input.d.ts

@@ -0,0 +1,88 @@
+import type { Diagnostic } from "../model/diagnostics.js";
+import type { DocumentNode, TargetDeclarationKind } from "../model/syntax.js";
+import { CALENDAR_ARITHMETIC_IDENTITY, type CalendarDifference, type CalendarUnavailableCause } from "../model/calendar-arithmetic.js";
+import { type TargetCalendarValue } from "../model/target-calendar.js";
+import type { CalendarUnit, DurationUnit } from "../model/units.js";
+import type { TargetGrammar3Capability, TargetGrammar4Capability } from "../parser/document-parser.js";
+import { type TargetGrammar3ValidatedDocument, type TargetGrammar4ValidatedDocument, type TargetGrammar5ValidatedDocument, type TargetValidationOptions } from "../semantic/target-validator.js";
+export interface TargetTemporalCause {
+    readonly cause: CalendarUnavailableCause;
+    readonly underlyingCause: null;
+    readonly subjectKind: "project" | "milestone" | "task" | null;
+    readonly subjectId: string | null;
+    readonly taskId: string | null;
+}
+export interface TargetTemporalExactValue {
+    readonly numerator: bigint;
+    readonly denominator: bigint;
+    readonly unit: DurationUnit;
+}
+export interface TargetCalendarDifference {
+    readonly kind: CalendarDifference["kind"];
+    readonly exact: {
+        readonly numerator: bigint;
+        readonly denominator: bigint;
+    };
+}
+export interface TargetEffectiveProjection {
+    readonly baseUnit: DurationUnit;
+    readonly effectiveUnit: CalendarUnit;
+    readonly qualifier: "base_unit" | "velocity_forecast";
+    readonly velocity: {
+        readonly points: TargetTemporalExactValue & {
+            readonly unit: "point";
+        };
+        readonly period: TargetTemporalExactValue & {
+            readonly unit: CalendarUnit;
+        };
+    } | null;
+}
+export interface TargetTemporalRelationship {
+    readonly state: "unavailable" | "available";
+    readonly calendarDifference: TargetCalendarDifference | null;
+    readonly baseUnitValue: TargetTemporalExactValue | null;
+    readonly unavailableCauses: readonly TargetTemporalCause[];
+}
+export interface TargetReleaseInput {
+    readonly state: "not_applicable" | "unavailable" | "available";
+    readonly bound: TargetTemporalExactValue | null;
+    readonly relationship: TargetTemporalRelationship | null;
+    readonly unavailableCauses: readonly TargetTemporalCause[];
+}
+export interface TargetDeadlineInput {
+    readonly deadline: TargetCalendarValue;
+    readonly completionState: "incomplete" | "complete_actual_time_unavailable";
+    readonly anchorRelationship: TargetTemporalRelationship | null;
+}
+export interface TargetMilestoneTemporalInput {
+    readonly milestoneId: string;
+    readonly deadline: TargetDeadlineInput;
+}
+export interface TargetTaskTemporalInput {
+    readonly taskId: string;
+    readonly status: "planned" | "active" | "blocked" | "suspended" | "done";
+    readonly declaredNotBefore: TargetCalendarValue | null;
+    readonly release: TargetReleaseInput;
+    readonly deadline: TargetDeadlineInput | null;
+}
+export interface TargetTemporalInputProjection {
+    readonly calendar: typeof CALENDAR_ARITHMETIC_IDENTITY;
+    readonly documentId: string;
+    readonly grammarVersion: 1 | 2 | 3 | 4 | 5;
+    readonly anchor: TargetCalendarValue | null;
+    readonly effectiveProjection: TargetEffectiveProjection;
+    readonly milestoneDeadlines: readonly TargetMilestoneTemporalInput[];
+    readonly tasks: readonly TargetTaskTemporalInput[];
+}
+export interface TargetTemporalInputResult {
+    readonly ok: boolean;
+    readonly documentId: string | null;
+    readonly grammarVersion: number | null;
+    readonly projection: TargetTemporalInputProjection | null;
+    readonly diagnostics: readonly Diagnostic[];
+    readonly diagnosticsTruncated: boolean;
+}
+export declare function assertTemporalScheduleStatusProjection(document: DocumentNode<TargetDeclarationKind>): void;
+export declare function projectTargetTemporalInputs(validated: TargetGrammar3ValidatedDocument | TargetGrammar4ValidatedDocument | TargetGrammar5ValidatedDocument): TargetTemporalInputProjection;
+export declare function prepareTargetTemporalInputs(text: string, capability: TargetGrammar3Capability | TargetGrammar4Capability, options?: TargetValidationOptions): TargetTemporalInputResult;
+//# sourceMappingURL=target-temporal-input.d.ts.map

package/dist/analysis/target-temporal-input.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"target-temporal-input.d.ts","sourceRoot":"","sources":["../../src/analysis/target-temporal-input.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,KAAK,EAEV,YAAY,EAEZ,qBAAqB,EAEtB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACL,4BAA4B,EAE5B,KAAK,kBAAkB,EACvB,KAAK,wBAAwB,EAC9B,MAAM,iCAAiC,CAAC;AAczC,OAAO,EAEL,KAAK,mBAAmB,EACzB,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EACV,YAAY,EACZ,YAAY,EAEb,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EACV,wBAAwB,EACxB,wBAAwB,EACzB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAGL,KAAK,+BAA+B,EACpC,KAAK,+BAA+B,EACpC,KAAK,+BAA+B,EACpC,KAAK,uBAAuB,EAC7B,MAAM,iCAAiC,CAAC;AAEzC,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,KAAK,EAAE,wBAAwB,CAAC;IACzC,QAAQ,CAAC,eAAe,EAAE,IAAI,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,SAAS,GAAG,WAAW,GAAG,MAAM,GAAG,IAAI,CAAC;IAC9D,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CAChC;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;CAC7B;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC1C,QAAQ,CAAC,KAAK,EAAE;QACd,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;KAC9B,CAAC;CACH;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,aAAa,EAAE,YAAY,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,WAAW,GAAG,mBAAmB,CAAC;IACtD,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,MAAM,EAAE,wBAAwB,GAAG;YAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;SAAE,CAAC;QACvE,QAAQ,CAAC,MAAM,EAAE,wBAAwB,GAAG;YAC1C,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;SAC7B,CAAC;KACH,GAAG,IAAI,CAAC;CACV;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,KAAK,EAAE,aAAa,GAAG,WAAW,CAAC;IAC5C,QAAQ,CAAC,kBAAkB,EAAE,wBAAwB,GAAG,IAAI,CAAC;IAC7D,QAAQ,CAAC,aAAa,EAAE,wBAAwB,GAAG,IAAI,CAAC;IACxD,QAAQ,CAAC,iBAAiB,EAAE,SAAS,mBAAmB,EAAE,CAAC;CAC5D;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,KAAK,EAAE,gBAAgB,GAAG,aAAa,GAAG,WAAW,CAAC;IAC/D,QAAQ,CAAC,KAAK,EAAE,wBAAwB,GAAG,IAAI,CAAC;IAChD,QAAQ,CAAC,YAAY,EAAE,0BAA0B,GAAG,IAAI,CAAC;IACzD,QAAQ,CAAC,iBAAiB,EAAE,SAAS,mBAAmB,EAAE,CAAC;CAC5D;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC;IACvC,QAAQ,CAAC,eAAe,EACpB,YAAY,GACZ,kCAAkC,CAAC;IACvC,QAAQ,CAAC,kBAAkB,EAAE,0BAA0B,GAAG,IAAI,CAAC;CAChE;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC;CACxC;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EACX,SAAS,GACT,QAAQ,GACR,SAAS,GACT,WAAW,GACX,MAAM,CAAC;IACX,QAAQ,CAAC,iBAAiB,EAAE,mBAAmB,GAAG,IAAI,CAAC;IACvD,QAAQ,CAAC,OAAO,EAAE,kBAAkB,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,GAAG,IAAI,CAAC;CAC/C;AAED,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,QAAQ,EAAE,OAAO,4BAA4B,CAAC;IACvD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3C,QAAQ,CAAC,MAAM,EAAE,mBAAmB,GAAG,IAAI,CAAC;IAC5C,QAAQ,CAAC,mBAAmB,EAAE,yBAAyB,CAAC;IACxD,QAAQ,CAAC,kBAAkB,EAAE,SAAS,4BAA4B,EAAE,CAAC;IACrE,QAAQ,CAAC,KAAK,EAAE,SAAS,uBAAuB,EAAE,CAAC;CACpD;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,6BAA6B,GAAG,IAAI,CAAC;IAC1D,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;CACxC;AAED,wBAAgB,sCAAsC,CACpD,QAAQ,EAAE,YAAY,CAAC,qBAAqB,CAAC,GAC5C,IAAI,CAWN;AAoMD,wBAAgB,2BAA2B,CACzC,SAAS,EACL,+BAA+B,GAC/B,+BAA+B,GAC/B,+BAA+B,GAClC,6BAA6B,CAmI/B;AAED,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,wBAAwB,GAAG,wBAAwB,EAC/D,OAAO,GAAE,uBAA4B,GACpC,yBAAyB,CAc3B"}