perttool 0.2.0 → 0.4.0

package/dist/analysis/temporal-deadline.js

@@ -0,0 +1,387 @@
+import { projectRelativeCalendarValue, subtractCalendarValues, } from "../model/calendar-arithmetic.js";
+import { ZERO, compare, divide, maximum, multiply, rational, } from "../model/rational.js";
+import { fieldNamed } from "../model/syntax.js";
+export const DEADLINE_EVALUATION_IDENTITY = Object.freeze({
+    id: "perttool.deadline-evaluation",
+    version: 1,
+});
+function exactValue(value, unit) {
+    return Object.freeze({
+        numerator: value.numerator,
+        denominator: value.denominator,
+        unit,
+    });
+}
+function differenceValue(value) {
+    return Object.freeze({
+        kind: value.kind,
+        exact: Object.freeze({
+            numerator: value.exact.numerator,
+            denominator: value.exact.denominator,
+        }),
+    });
+}
+function deadlineCause(cause, underlyingCause, subject, taskId = null) {
+    return Object.freeze({
+        cause,
+        underlyingCause,
+        subjectKind: subject.kind,
+        subjectId: subject.id,
+        taskId,
+    });
+}
+function declaredCalendar(value) {
+    if (value.kind === "date") {
+        return {
+            kind: "date",
+            sourceText: value.sourceText ?? "",
+            year: value.year,
+            month: value.month,
+            day: value.day,
+        };
+    }
+    return {
+        kind: "date_time",
+        sourceText: value.sourceText ?? "",
+        year: value.year,
+        month: value.month,
+        day: value.day,
+        hour: value.hour,
+        minute: value.minute,
+        second: rational(BigInt(value.second.numerator), BigInt(value.second.denominator)),
+        offsetMinutes: value.offsetMinutes,
+    };
+}
+function velocityFromProjection(projection) {
+    const value = projection.velocity;
+    return value === null
+        ? null
+        : {
+            points: {
+                numerator: value.points.numerator,
+                denominator: value.points.denominator,
+            },
+            period: {
+                numerator: value.period.numerator,
+                denominator: value.period.denominator,
+            },
+            periodUnit: value.period.unit,
+        };
+}
+function baseUnitValue(difference, projection) {
+    if (difference.kind === "calendar_days" &&
+        projection.effectiveUnit === "hour") {
+        return { value: null, cause: "date_anchor_has_no_clock" };
+    }
+    const effective = difference.kind === "calendar_days"
+        ? difference.exact
+        : divide(difference.exact, rational(projection.effectiveUnit === "day" ? 86400n : 3600n));
+    const velocity = velocityFromProjection(projection);
+    return {
+        value: projection.baseUnit === "point"
+            ? multiply(effective, divide(velocity.points, velocity.period))
+            : effective,
+        cause: null,
+    };
+}
+function effectiveRelative(relative, projection) {
+    if (projection.baseUnit !== "point")
+        return relative;
+    const velocity = velocityFromProjection(projection);
+    return multiply(relative, divide(velocity.period, velocity.points));
+}
+function currentState(subject, anchor, projection) {
+    if (subject.input.completionState === "complete_actual_time_unavailable") {
+        return Object.freeze({
+            state: "not_applicable",
+            signedWindow: null,
+            baseUnitWindow: null,
+            unavailableCauses: Object.freeze([
+                deadlineCause("complete_actual_time_unavailable", null, subject, subject.kind === "task" ? subject.id : null),
+            ]),
+        });
+    }
+    if (anchor === null) {
+        return Object.freeze({
+            state: "unavailable",
+            signedWindow: null,
+            baseUnitWindow: null,
+            unavailableCauses: Object.freeze([
+                deadlineCause("missing_temporal_anchor", null, subject, subject.kind === "task" ? subject.id : null),
+            ]),
+        });
+    }
+    const relationship = subtractCalendarValues(declaredCalendar(subject.input.deadline), declaredCalendar(anchor));
+    if (relationship.state === "unavailable") {
+        return Object.freeze({
+            state: "unavailable",
+            signedWindow: null,
+            baseUnitWindow: null,
+            unavailableCauses: Object.freeze([
+                deadlineCause(relationship.cause, null, subject, subject.kind === "task" ? subject.id : null),
+            ]),
+        });
+    }
+    const conversion = baseUnitValue(relationship.difference, projection);
+    const order = compare(relationship.difference.exact, ZERO);
+    return Object.freeze({
+        state: order > 0 ? "not_due" : order < 0 ? "overdue" : "due_now",
+        signedWindow: differenceValue(relationship.difference),
+        baseUnitWindow: conversion.value === null
+            ? null
+            : exactValue(conversion.value, projection.baseUnit),
+        unavailableCauses: conversion.cause === null
+            ? Object.freeze([])
+            : Object.freeze([
+                deadlineCause("margin_unit_unavailable", conversion.cause, subject, subject.kind === "task" ? subject.id : null),
+            ]),
+    });
+}
+function notApplicableView(subject, blockedTaskIds, optimal) {
+    return Object.freeze({
+        state: "not_applicable",
+        projectedCompletion: null,
+        forecastRelation: null,
+        signedMargin: null,
+        baseUnitMargin: null,
+        remainingMargin: null,
+        lateness: null,
+        assessment: null,
+        optimal,
+        conditionalOnBlocksResolved: blockedTaskIds.length > 0,
+        blockedTaskIds,
+        unavailableCauses: Object.freeze([
+            deadlineCause("complete_actual_time_unavailable", null, subject, subject.kind === "task" ? subject.id : null),
+        ]),
+    });
+}
+function unavailableView(subject, blockedTaskIds, view, underlyingCause) {
+    return Object.freeze({
+        state: "unavailable",
+        projectedCompletion: null,
+        forecastRelation: null,
+        signedMargin: null,
+        baseUnitMargin: null,
+        remainingMargin: null,
+        lateness: null,
+        assessment: null,
+        optimal: view === "resource" ? false : null,
+        conditionalOnBlocksResolved: blockedTaskIds.length > 0,
+        blockedTaskIds,
+        unavailableCauses: Object.freeze([
+            deadlineCause(view === "precedence"
+                ? "precedence_projection_unavailable"
+                : "resource_projection_unavailable", underlyingCause, subject, subject.kind === "task" ? subject.id : null),
+        ]),
+    });
+}
+function deadlineView(subject, relative, schedule, view, anchor, projection, blockedTaskIds) {
+    if (subject.input.completionState === "complete_actual_time_unavailable") {
+        return notApplicableView(subject, blockedTaskIds, view === "resource" ? false : null);
+    }
+    if (schedule.state === "unavailable" || relative === null || anchor === null) {
+        return unavailableView(subject, blockedTaskIds, view, schedule.unavailableCauses[0]?.cause ??
+            (anchor === null ? "missing_temporal_anchor" : null));
+    }
+    const projected = projectRelativeCalendarValue(declaredCalendar(anchor), projection.effectiveUnit, effectiveRelative(relative, projection));
+    if (projected.state === "unavailable") {
+        return unavailableView(subject, blockedTaskIds, view, projected.unavailableCauses[0] ?? null);
+    }
+    const margin = subtractCalendarValues(declaredCalendar(subject.input.deadline), declaredCalendar(projected.value));
+    if (margin.state === "unavailable") {
+        return unavailableView(subject, blockedTaskIds, view, margin.cause);
+    }
+    const conversion = baseUnitValue(margin.difference, projection);
+    const sign = compare(margin.difference.exact, ZERO);
+    const relation = sign > 0
+        ? "before_deadline"
+        : sign < 0
+            ? "after_deadline"
+            : "on_deadline";
+    const base = conversion.value;
+    const causes = [];
+    for (const cause of projected.unavailableCauses) {
+        causes.push(deadlineCause(cause, null, subject, subject.kind === "task" ? subject.id : null));
+    }
+    if (conversion.cause !== null) {
+        causes.push(deadlineCause("margin_unit_unavailable", conversion.cause, subject, subject.kind === "task" ? subject.id : null));
+    }
+    return Object.freeze({
+        state: "available",
+        projectedCompletion: projected.value,
+        forecastRelation: relation,
+        signedMargin: differenceValue(margin.difference),
+        baseUnitMargin: base === null
+            ? null
+            : exactValue(base, projection.baseUnit),
+        remainingMargin: base === null
+            ? null
+            : exactValue(maximum(base, ZERO), projection.baseUnit),
+        lateness: base === null
+            ? null
+            : exactValue(maximum({
+                numerator: -base.numerator,
+                denominator: base.denominator,
+            }, ZERO), projection.baseUnit),
+        assessment: view === "precedence"
+            ? sign < 0
+                ? "lower_bound_late"
+                : "lower_bound_on_time"
+            : sign < 0
+                ? "heuristic_late"
+                : "heuristic_on_time",
+        optimal: view === "resource" ? false : null,
+        conditionalOnBlocksResolved: blockedTaskIds.length > 0,
+        blockedTaskIds,
+        unavailableCauses: Object.freeze(causes),
+    });
+}
+function predecessorBlockedTaskIds(document, subject) {
+    const incoming = new Map();
+    for (const declaration of document.declarations) {
+        if (declaration.kind === "task" || declaration.kind === "gate") {
+            const list = incoming.get(declaration.to) ?? [];
+            list.push(declaration);
+            incoming.set(declaration.to, list);
+        }
+    }
+    const blocked = new Set();
+    const visited = new Set();
+    const visit = (milestoneId) => {
+        if (visited.has(milestoneId))
+            return;
+        visited.add(milestoneId);
+        for (const edge of incoming.get(milestoneId) ?? []) {
+            if (edge.kind === "task" &&
+                fieldNamed(edge, "status")?.value === "blocked") {
+                blocked.add(edge.id);
+            }
+            visit(edge.from);
+        }
+    };
+    if (subject.kind === "task") {
+        if (fieldNamed(subject.declaration, "status")?.value === "blocked") {
+            blocked.add(subject.id);
+        }
+        visit(subject.declaration.from);
+    }
+    else {
+        visit(subject.id);
+    }
+    return Object.freeze([...blocked].sort());
+}
+function completionRelative(subject, schedule) {
+    if (schedule.state !== "available")
+        return null;
+    if (subject.kind === "task") {
+        return schedule.tasks.find(({ id }) => id === subject.id)?.finish ?? null;
+    }
+    return schedule.milestones.find(({ id }) => id === subject.id)?.reach ?? null;
+}
+function destinationRelationship(subject, milestoneDeadlineById) {
+    if (subject.kind !== "task")
+        return null;
+    const milestoneId = subject.declaration.to;
+    const destination = milestoneDeadlineById.get(milestoneId);
+    if (destination === undefined) {
+        return Object.freeze({ milestoneId, relation: "deadline_absent" });
+    }
+    const relationship = subtractCalendarValues(declaredCalendar(subject.input.deadline), declaredCalendar(destination.deadline));
+    if (relationship.state === "unavailable") {
+        return Object.freeze({ milestoneId, relation: "unavailable" });
+    }
+    const order = compare(relationship.difference.exact, ZERO);
+    return Object.freeze({
+        milestoneId,
+        relation: order < 0
+            ? "task_deadline_before_milestone"
+            : order > 0
+                ? "task_deadline_after_milestone"
+                : "same_deadline",
+    });
+}
+function combined(completionState, current, precedence, resource) {
+    if (completionState === "complete_actual_time_unavailable") {
+        return "not_applicable";
+    }
+    if (current.state === "overdue")
+        return "overdue";
+    if (precedence.assessment === "lower_bound_late") {
+        return "forecast_infeasible";
+    }
+    if (resource.assessment === "heuristic_late")
+        return "at_risk";
+    if (resource.assessment === "heuristic_on_time") {
+        return "forecast_on_time";
+    }
+    if (precedence.assessment === "lower_bound_on_time") {
+        return "not_proven_late";
+    }
+    return "unavailable";
+}
+export function evaluateTemporalDeadlines(validated, inputs, precedenceSchedule, resourceSchedule) {
+    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 declarationById = new Map(validated.document.declarations.map((declaration) => [
+        `${declaration.kind}:${declaration.id}`,
+        declaration,
+    ]));
+    const subjects = [
+        ...inputs.tasks.flatMap((task) => {
+            if (task.deadline === null)
+                return [];
+            return [{
+                    declaration: declarationById.get(`task:${task.taskId}`),
+                    kind: "task",
+                    id: task.taskId,
+                    input: task.deadline,
+                }];
+        }),
+        ...inputs.milestoneDeadlines.map((milestone) => ({
+            declaration: declarationById.get(`milestone:${milestone.milestoneId}`),
+            kind: "milestone",
+            id: milestone.milestoneId,
+            input: milestone.deadline,
+        })),
+    ];
+    const project = validated.document.declarations.find(({ kind }) => kind === "project");
+    const finishId = fieldNamed(project, "finish").value;
+    const milestoneDeadlineById = new Map(inputs.milestoneDeadlines.map((item) => [
+        item.milestoneId,
+        item.deadline,
+    ]));
+    return Object.freeze(subjects.map((subject) => {
+        const blockedTaskIds = predecessorBlockedTaskIds(validated.document, subject);
+        const current = currentState(subject, inputs.anchor, inputs.effectiveProjection);
+        const precedence = deadlineView(subject, completionRelative(subject, precedenceSchedule), precedenceSchedule, "precedence", inputs.anchor, inputs.effectiveProjection, blockedTaskIds);
+        const resource = deadlineView(subject, completionRelative(subject, resourceSchedule), resourceSchedule, "resource", inputs.anchor, inputs.effectiveProjection, blockedTaskIds);
+        const roles = subject.kind === "task"
+            ? ["task"]
+            : [
+                "milestone",
+                ...(subject.id === finishId
+                    ? ["project_finish"]
+                    : []),
+            ];
+        return Object.freeze({
+            subject: Object.freeze({
+                kind: subject.kind,
+                id: subject.id,
+                roles: Object.freeze(roles),
+            }),
+            deadline: subject.input.deadline,
+            completionState: subject.input.completionState,
+            current,
+            precedence,
+            resource,
+            combinedAssessment: combined(subject.input.completionState, current, precedence, resource),
+            conditionalOnBlocksResolved: blockedTaskIds.length > 0,
+            blockedTaskIds,
+            destinationRelationship: destinationRelationship(subject, milestoneDeadlineById),
+        });
+    }));
+}
+//# sourceMappingURL=temporal-deadline.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"temporal-deadline.js","sourceRoot":"","sources":["../../src/analysis/temporal-deadline.ts"],"names":[],"mappings":"AAOA,OAAO,EACL,4BAA4B,EAC5B,sBAAsB,GAGvB,MAAM,iCAAiC,CAAC;AAGzC,OAAO,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,OAAO,EACP,QAAQ,EACR,QAAQ,GACT,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAchD,MAAM,CAAC,MAAM,4BAA4B,GAAG,MAAM,CAAC,MAAM,CAAC;IACxD,EAAE,EAAE,8BAAuC;IAC3C,OAAO,EAAE,CAAU;CACpB,CAAC,CAAC;AA+FH,SAAS,UAAU,CACjB,KAAe,EACf,IAAkB;IAElB,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,IAAI;KACL,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CACtB,KAAyB;IAEzB,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;YACnB,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS;YAChC,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW;SACrC,CAAC;KACH,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CACpB,KAAoB,EACpB,eAA8B,EAC9B,OAAwB,EACxB,MAAM,GAAkB,IAAI;IAE5B,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,KAAK;QACL,eAAe;QACf,WAAW,EAAE,OAAO,CAAC,IAAI;QACzB,SAAS,EAAE,OAAO,CAAC,EAAE;QACrB,MAAM;KACP,CAAC,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CACvB,KAA0B;IAE1B,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC1B,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,UAAU,EAAE,KAAK,CAAC,UAAU,IAAI,EAAE;YAClC,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,GAAG,EAAE,KAAK,CAAC,GAAG;SACf,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,UAAU,EAAE,KAAK,CAAC,UAAU,IAAI,EAAE;QAClC,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,GAAG,EAAE,KAAK,CAAC,GAAG;QACd,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,MAAM,EAAE,QAAQ,CACd,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,EAC9B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CACjC;QACD,aAAa,EAAE,KAAK,CAAC,aAAa;KACnC,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,UAAqC;IAErC,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC;IAClC,OAAO,KAAK,KAAK,IAAI;QACnB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC;YACE,MAAM,EAAE;gBACN,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,SAAS;gBACjC,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,WAAW;aACtC;YACD,MAAM,EAAE;gBACN,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,SAAS;gBACjC,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,WAAW;aACtC;YACD,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI;SAC9B,CAAC;AACR,CAAC;AAED,SAAS,aAAa,CACpB,UAA8B,EAC9B,UAAqC;IAErC,IACE,UAAU,CAAC,IAAI,KAAK,eAAe;QACnC,UAAU,CAAC,aAAa,KAAK,MAAM,EACnC,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,0BAA0B,EAAE,CAAC;IAC5D,CAAC;IACD,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,KAAK,eAAe;QACnD,CAAC,CAAC,UAAU,CAAC,KAAK;QAClB,CAAC,CAAC,MAAM,CACJ,UAAU,CAAC,KAAK,EAChB,QAAQ,CAAC,UAAU,CAAC,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,MAAO,CAAC,CAAC,CAAC,KAAM,CAAC,CAChE,CAAC;IACN,MAAM,QAAQ,GAAG,sBAAsB,CAAC,UAAU,CAAC,CAAC;IACpD,OAAO;QACL,KAAK,EAAE,UAAU,CAAC,QAAQ,KAAK,OAAO;YACpC,CAAC,CAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,QAAS,CAAC,MAAM,EAAE,QAAS,CAAC,MAAM,CAAC,CAAC;YACjE,CAAC,CAAC,SAAS;QACb,KAAK,EAAE,IAAI;KACZ,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,QAAkB,EAClB,UAAqC;IAErC,IAAI,UAAU,CAAC,QAAQ,KAAK,OAAO;QAAE,OAAO,QAAQ,CAAC;IACrD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,UAAU,CAAE,CAAC;IACrD,OAAO,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,YAAY,CACnB,OAAwB,EACxB,MAAkC,EAClC,UAAqC;IAErC,IAAI,OAAO,CAAC,KAAK,CAAC,eAAe,KAAK,kCAAkC,EAAE,CAAC;QACzE,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,KAAK,EAAE,gBAAgB;YACvB,YAAY,EAAE,IAAI;YAClB,cAAc,EAAE,IAAI;YACpB,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC;gBAC/B,aAAa,CACX,kCAAkC,EAClC,IAAI,EACJ,OAAO,EACP,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAC5C;aACF,CAAC;SACH,CAAC,CAAC;IACL,CAAC;IACD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,KAAK,EAAE,aAAa;YACpB,YAAY,EAAE,IAAI;YAClB,cAAc,EAAE,IAAI;YACpB,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC;gBAC/B,aAAa,CACX,yBAAyB,EACzB,IAAI,EACJ,OAAO,EACP,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAC5C;aACF,CAAC;SACH,CAAC,CAAC;IACL,CAAC;IACD,MAAM,YAAY,GAAG,sBAAsB,CACzC,gBAAgB,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,EACxC,gBAAgB,CAAC,MAAM,CAAC,CACzB,CAAC;IACF,IAAI,YAAY,CAAC,KAAK,KAAK,aAAa,EAAE,CAAC;QACzC,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,KAAK,EAAE,aAAa;YACpB,YAAY,EAAE,IAAI;YAClB,cAAc,EAAE,IAAI;YACpB,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC;gBAC/B,aAAa,CACX,YAAY,CAAC,KAAK,EAClB,IAAI,EACJ,OAAO,EACP,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAC5C;aACF,CAAC;SACH,CAAC,CAAC;IACL,CAAC;IACD,MAAM,UAAU,GAAG,aAAa,CAAC,YAAY,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IACtE,MAAM,KAAK,GAAG,OAAO,CAAC,YAAY,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC3D,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;QAChE,YAAY,EAAE,eAAe,CAAC,YAAY,CAAC,UAAU,CAAC;QACtD,cAAc,EAAE,UAAU,CAAC,KAAK,KAAK,IAAI;YACvC,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC;QACrD,iBAAiB,EAAE,UAAU,CAAC,KAAK,KAAK,IAAI;YAC1C,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YACnB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;gBACZ,aAAa,CACX,yBAAyB,EACzB,UAAU,CAAC,KAAK,EAChB,OAAO,EACP,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAC5C;aACF,CAAC;KACP,CAAC,CAAC;AACL,CAAC;AAED,SAAS,iBAAiB,CACxB,OAAwB,EACxB,cAAiC,EACjC,OAAuB;IAEvB,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,KAAK,EAAE,gBAAgB;QACvB,mBAAmB,EAAE,IAAI;QACzB,gBAAgB,EAAE,IAAI;QACtB,YAAY,EAAE,IAAI;QAClB,cAAc,EAAE,IAAI;QACpB,eAAe,EAAE,IAAI;QACrB,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,IAAI;QAChB,OAAO;QACP,2BAA2B,EAAE,cAAc,CAAC,MAAM,GAAG,CAAC;QACtD,cAAc;QACd,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC;YAC/B,aAAa,CACX,kCAAkC,EAClC,IAAI,EACJ,OAAO,EACP,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAC5C;SACF,CAAC;KACH,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CACtB,OAAwB,EACxB,cAAiC,EACjC,IAA+B,EAC/B,eAA8B;IAE9B,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,KAAK,EAAE,aAAa;QACpB,mBAAmB,EAAE,IAAI;QACzB,gBAAgB,EAAE,IAAI;QACtB,YAAY,EAAE,IAAI;QAClB,cAAc,EAAE,IAAI;QACpB,eAAe,EAAE,IAAI;QACrB,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,IAAI;QAChB,OAAO,EAAE,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI;QAC3C,2BAA2B,EAAE,cAAc,CAAC,MAAM,GAAG,CAAC;QACtD,cAAc;QACd,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC;YAC/B,aAAa,CACX,IAAI,KAAK,YAAY;gBACnB,CAAC,CAAC,mCAAmC;gBACrC,CAAC,CAAC,iCAAiC,EACrC,eAAe,EACf,OAAO,EACP,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAC5C;SACF,CAAC;KACH,CAAC,CAAC;AACL,CAAC;AAED,SAAS,YAAY,CACnB,OAAwB,EACxB,QAAyB,EACzB,QAA+D,EAC/D,IAA+B,EAC/B,MAAkC,EAClC,UAAqC,EACrC,cAAiC;IAEjC,IAAI,OAAO,CAAC,KAAK,CAAC,eAAe,KAAK,kCAAkC,EAAE,CAAC;QACzE,OAAO,iBAAiB,CACtB,OAAO,EACP,cAAc,EACd,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CACnC,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,KAAK,aAAa,IAAI,QAAQ,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QAC7E,OAAO,eAAe,CACpB,OAAO,EACP,cAAc,EACd,IAAI,EACJ,QAAQ,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,KAAK;YAClC,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,IAAI,CAAC,CACvD,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,4BAA4B,CAC5C,gBAAgB,CAAC,MAAM,CAAC,EACxB,UAAU,CAAC,aAAa,EACxB,iBAAiB,CAAC,QAAQ,EAAE,UAAU,CAAC,CACxC,CAAC;IACF,IAAI,SAAS,CAAC,KAAK,KAAK,aAAa,EAAE,CAAC;QACtC,OAAO,eAAe,CACpB,OAAO,EACP,cAAc,EACd,IAAI,EACJ,SAAS,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,IAAI,CACvC,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,sBAAsB,CACnC,gBAAgB,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,EACxC,gBAAgB,CAAC,SAAS,CAAC,KAAK,CAAC,CAClC,CAAC;IACF,IAAI,MAAM,CAAC,KAAK,KAAK,aAAa,EAAE,CAAC;QACnC,OAAO,eAAe,CACpB,OAAO,EACP,cAAc,EACd,IAAI,EACJ,MAAM,CAAC,KAAK,CACb,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACpD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC;QACvB,CAAC,CAAC,iBAAiB;QACnB,CAAC,CAAC,IAAI,GAAG,CAAC;YACR,CAAC,CAAC,gBAAgB;YAClB,CAAC,CAAC,aAAa,CAAC;IACpB,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC;IAC9B,MAAM,MAAM,GAA+B,EAAE,CAAC;IAC9C,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,iBAAiB,EAAE,CAAC;QAChD,MAAM,CAAC,IAAI,CACT,aAAa,CACX,KAAK,EACL,IAAI,EACJ,OAAO,EACP,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAC5C,CACF,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QAC9B,MAAM,CAAC,IAAI,CACT,aAAa,CACX,yBAAyB,EACzB,UAAU,CAAC,KAAK,EAChB,OAAO,EACP,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAC5C,CACF,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,KAAK,EAAE,WAAW;QAClB,mBAAmB,EAAE,SAAS,CAAC,KAAK;QACpC,gBAAgB,EAAE,QAAQ;QAC1B,YAAY,EAAE,eAAe,CAAC,MAAM,CAAC,UAAU,CAAC;QAChD,cAAc,EAAE,IAAI,KAAK,IAAI;YAC3B,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC;QACzC,eAAe,EAAE,IAAI,KAAK,IAAI;YAC5B,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,UAAU,CAAC,QAAQ,CAAC;QACxD,QAAQ,EAAE,IAAI,KAAK,IAAI;YACrB,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,UAAU,CACR,OAAO,CACL;gBACE,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS;gBAC1B,WAAW,EAAE,IAAI,CAAC,WAAW;aAC9B,EACD,IAAI,CACL,EACD,UAAU,CAAC,QAAQ,CACpB;QACL,UAAU,EAAE,IAAI,KAAK,YAAY;YAC/B,CAAC,CAAC,IAAI,GAAG,CAAC;gBACR,CAAC,CAAC,kBAAkB;gBACpB,CAAC,CAAC,qBAAqB;YACzB,CAAC,CAAC,IAAI,GAAG,CAAC;gBACR,CAAC,CAAC,gBAAgB;gBAClB,CAAC,CAAC,mBAAmB;QACzB,OAAO,EAAE,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI;QAC3C,2BAA2B,EAAE,cAAc,CAAC,MAAM,GAAG,CAAC;QACtD,cAAc;QACd,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;KACzC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,yBAAyB,CAChC,QAE+C,EAC/C,OAAwB;IAExB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA6B,CAAC;IACtD,KAAK,MAAM,WAAW,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;QAChD,IAAI,WAAW,CAAC,IAAI,KAAK,MAAM,IAAI,WAAW,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC/D,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,EAAG,CAAC,IAAI,EAAE,CAAC;YACjD,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACvB,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,EAAG,EAAE,IAAI,CAAC,CAAC;QACtC,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAAG,CAAC,WAAmB,EAAQ,EAAE;QAC1C,IAAI,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC;YAAE,OAAO;QACrC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC;YACnD,IACE,IAAI,CAAC,IAAI,KAAK,MAAM;gBACpB,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,KAAK,KAAK,SAAS,EAC/C,CAAC;gBACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACvB,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,IAAK,CAAC,CAAC;QACpB,CAAC;IACH,CAAC,CAAC;IACF,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC5B,IAAI,UAAU,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,CAAC,EAAE,KAAK,KAAK,SAAS,EAAE,CAAC;YACnE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC1B,CAAC;QACD,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,IAAK,CAAC,CAAC;IACnC,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,kBAAkB,CACzB,OAAwB,EACxB,QAA+D;IAE/D,IAAI,QAAQ,CAAC,KAAK,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAChD,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,OAAO,CAAC,EAAE,CAAC,EAAE,MAAM,IAAI,IAAI,CAAC;IAC5E,CAAC;IACD,OAAO,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,OAAO,CAAC,EAAE,CAAC,EAAE,KAAK,IAAI,IAAI,CAAC;AAChF,CAAC;AAED,SAAS,uBAAuB,CAC9B,OAAwB,EACxB,qBAA+D;IAE/D,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,EAAG,CAAC;IAC5C,MAAM,WAAW,GAAG,qBAAqB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAC3D,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,iBAAiB,EAAE,CAAC,CAAC;IACrE,CAAC;IACD,MAAM,YAAY,GAAG,sBAAsB,CACzC,gBAAgB,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,EACxC,gBAAgB,CAAC,WAAW,CAAC,QAAQ,CAAC,CACvC,CAAC;IACF,IAAI,YAAY,CAAC,KAAK,KAAK,aAAa,EAAE,CAAC;QACzC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,CAAC;IACjE,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,YAAY,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC3D,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,WAAW;QACX,QAAQ,EAAE,KAAK,GAAG,CAAC;YACjB,CAAC,CAAC,gCAAgC;YAClC,CAAC,CAAC,KAAK,GAAG,CAAC;gBACT,CAAC,CAAC,+BAA+B;gBACjC,CAAC,CAAC,eAAe;KACtB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,QAAQ,CACf,eAAsD,EACtD,OAA6B,EAC7B,UAAwB,EACxB,QAAsB;IAEtB,IAAI,eAAe,KAAK,kCAAkC,EAAE,CAAC;QAC3D,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAClD,IAAI,UAAU,CAAC,UAAU,KAAK,kBAAkB,EAAE,CAAC;QACjD,OAAO,qBAAqB,CAAC;IAC/B,CAAC;IACD,IAAI,QAAQ,CAAC,UAAU,KAAK,gBAAgB;QAAE,OAAO,SAAS,CAAC;IAC/D,IAAI,QAAQ,CAAC,UAAU,KAAK,mBAAmB,EAAE,CAAC;QAChD,OAAO,kBAAkB,CAAC;IAC5B,CAAC;IACD,IAAI,UAAU,CAAC,UAAU,KAAK,qBAAqB,EAAE,CAAC;QACpD,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,SAEmC,EACnC,MAAqC,EACrC,kBAA8C,EAC9C,gBAA0C;IAE1C,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,eAAe,GAAG,IAAI,GAAG,CAC7B,SAAS,CAAC,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;QACnD,GAAG,WAAW,CAAC,IAAI,IAAI,WAAW,CAAC,EAAE,EAAE;QACvC,WAAW;KACZ,CAAC,CACH,CAAC;IACF,MAAM,QAAQ,GAAsB;QAClC,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;YAC/B,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI;gBAAE,OAAO,EAAE,CAAC;YACtC,OAAO,CAAC;oBACN,WAAW,EAAE,eAAe,CAAC,GAAG,CAAC,QAAQ,IAAI,CAAC,MAAM,EAAE,CAAE;oBACxD,IAAI,EAAE,MAAe;oBACrB,EAAE,EAAE,IAAI,CAAC,MAAM;oBACf,KAAK,EAAE,IAAI,CAAC,QAAQ;iBACrB,CAAC,CAAC;QACL,CAAC,CAAC;QACF,GAAG,MAAM,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YAC/C,WAAW,EAAE,eAAe,CAAC,GAAG,CAC9B,aAAa,SAAS,CAAC,WAAW,EAAE,CACpC;YACF,IAAI,EAAE,WAAoB;YAC1B,EAAE,EAAE,SAAS,CAAC,WAAW;YACzB,KAAK,EAAE,SAAS,CAAC,QAAQ;SAC1B,CAAC,CAAC;KACJ,CAAC;IACF,MAAM,OAAO,GAAG,SAAS,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAClD,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAChC,CAAC;IACH,MAAM,QAAQ,GAAG,UAAU,CAAC,OAAO,EAAE,QAAQ,CAAE,CAAC,KAAe,CAAC;IAChE,MAAM,qBAAqB,GAAG,IAAI,GAAG,CACnC,MAAM,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACtC,IAAI,CAAC,WAAW;QAChB,IAAI,CAAC,QAAQ;KACd,CAAC,CACH,CAAC;IAEF,OAAO,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAsB,EAAE;QAChE,MAAM,cAAc,GAAG,yBAAyB,CAC9C,SAAS,CAAC,QAAQ,EAClB,OAAO,CACR,CAAC;QACF,MAAM,OAAO,GAAG,YAAY,CAC1B,OAAO,EACP,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,mBAAmB,CAC3B,CAAC;QACF,MAAM,UAAU,GAAG,YAAY,CAC7B,OAAO,EACP,kBAAkB,CAAC,OAAO,EAAE,kBAAkB,CAAC,EAC/C,kBAAkB,EAClB,YAAY,EACZ,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,mBAAmB,EAC1B,cAAc,CACf,CAAC;QACF,MAAM,QAAQ,GAAG,YAAY,CAC3B,OAAO,EACP,kBAAkB,CAAC,OAAO,EAAE,gBAAgB,CAAC,EAC7C,gBAAgB,EAChB,UAAU,EACV,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,mBAAmB,EAC1B,cAAc,CACf,CAAC;QACF,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,KAAK,MAAM;YACnC,CAAC,CAAC,CAAC,MAAe,CAAC;YACnB,CAAC,CAAC;gBACE,WAAoB;gBACpB,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,QAAQ;oBACzB,CAAC,CAAC,CAAC,gBAAyB,CAAC;oBAC7B,CAAC,CAAC,EAAE,CAAC;aACR,CAAC;QACN,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;gBACrB,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,EAAE,EAAE,OAAO,CAAC,EAAE;gBACd,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;aAC5B,CAAC;YACF,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,QAAQ;YAChC,eAAe,EAAE,OAAO,CAAC,KAAK,CAAC,eAAe;YAC9C,OAAO;YACP,UAAU;YACV,QAAQ;YACR,kBAAkB,EAAE,QAAQ,CAC1B,OAAO,CAAC,KAAK,CAAC,eAAe,EAC7B,OAAO,EACP,UAAU,EACV,QAAQ,CACT;YACD,2BAA2B,EAAE,cAAc,CAAC,MAAM,GAAG,CAAC;YACtD,cAAc;YACd,uBAAuB,EAAE,uBAAuB,CAC9C,OAAO,EACP,qBAAqB,CACtB;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC,CAAC;AACN,CAAC"}

package/dist/analysis/temporal-precedence.d.ts

@@ -0,0 +1,45 @@
+import type { TargetTemporalCause, TargetTemporalInputProjection } from "../application/target-temporal-input.js";
+import type { Rational } from "../model/rational.js";
+import type { TargetGrammar3ValidatedDocument, TargetGrammar4ValidatedDocument } from "../semantic/target-validator.js";
+import { type TaskStatus } from "./graph.js";
+export declare const TEMPORAL_PRECEDENCE_PROJECTION_IDENTITY: Readonly<{
+    id: "perttool.temporal-precedence-earliest";
+    version: 1;
+    optimal: null;
+}>;
+export interface TemporalPrecedenceTask {
+    readonly id: string;
+    readonly status: TaskStatus;
+    readonly expected: Rational;
+    readonly sourceReached: Rational;
+    readonly releaseBound: Rational | null;
+    readonly start: Rational;
+    readonly finish: Rational;
+    readonly conditionalBlocked: boolean;
+}
+export interface TemporalPrecedenceMilestone {
+    readonly id: string;
+    readonly reach: Rational;
+}
+interface TemporalPrecedenceCommon {
+    readonly algorithm: typeof TEMPORAL_PRECEDENCE_PROJECTION_IDENTITY;
+    readonly conditionalOnBlocksResolved: boolean;
+    readonly blockedTaskIds: readonly string[];
+    readonly unavailableCauses: readonly TargetTemporalCause[];
+}
+export interface AvailableTemporalPrecedenceSchedule extends TemporalPrecedenceCommon {
+    readonly state: "available";
+    readonly makespan: Rational;
+    readonly tasks: readonly TemporalPrecedenceTask[];
+    readonly milestones: readonly TemporalPrecedenceMilestone[];
+}
+export interface UnavailableTemporalPrecedenceSchedule extends TemporalPrecedenceCommon {
+    readonly state: "unavailable";
+    readonly makespan: null;
+    readonly tasks: readonly TemporalPrecedenceTask[];
+    readonly milestones: readonly TemporalPrecedenceMilestone[];
+}
+export type TemporalPrecedenceSchedule = AvailableTemporalPrecedenceSchedule | UnavailableTemporalPrecedenceSchedule;
+export declare function analyzeTemporalPrecedenceSchedule(validated: TargetGrammar3ValidatedDocument | TargetGrammar4ValidatedDocument, inputs: TargetTemporalInputProjection): TemporalPrecedenceSchedule;
+export {};
+//# sourceMappingURL=temporal-precedence.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"temporal-precedence.d.ts","sourceRoot":"","sources":["../../src/analysis/temporal-precedence.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,mBAAmB,EACnB,6BAA6B,EAC9B,MAAM,yCAAyC,CAAC;AACjD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAErD,OAAO,KAAK,EACV,+BAA+B,EAC/B,+BAA+B,EAChC,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAGL,KAAK,UAAU,EAChB,MAAM,YAAY,CAAC;AAEpB,eAAO,MAAM,uCAAuC;QAC9C,uCAAuC;aAClC,CAAC;;EAEV,CAAC;AAEH,MAAM,WAAW,sBAAsB;IACrC,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,KAAK,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;CACtC;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;CAC1B;AAED,UAAU,wBAAwB;IAChC,QAAQ,CAAC,SAAS,EAAE,OAAO,uCAAuC,CAAC;IACnE,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,mCACf,SAAQ,wBAAwB;IAChC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAClD,QAAQ,CAAC,UAAU,EAAE,SAAS,2BAA2B,EAAE,CAAC;CAC7D;AAED,MAAM,WAAW,qCACf,SAAQ,wBAAwB;IAChC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAClD,QAAQ,CAAC,UAAU,EAAE,SAAS,2BAA2B,EAAE,CAAC;CAC7D;AAED,MAAM,MAAM,0BAA0B,GAClC,mCAAmC,GACnC,qCAAqC,CAAC;AAoH1C,wBAAgB,iCAAiC,CAC/C,SAAS,EACL,+BAA+B,GAC/B,+BAA+B,EACnC,MAAM,EAAE,6BAA6B,GACpC,0BAA0B,CAoC5B"}

package/dist/analysis/temporal-precedence.js

@@ -0,0 +1,123 @@
+import { ZERO, add, maximum } from "../model/rational.js";
+import { buildResidualGraph, } from "./graph.js";
+export const TEMPORAL_PRECEDENCE_PROJECTION_IDENTITY = Object.freeze({
+    id: "perttool.temporal-precedence-earliest",
+    version: 1,
+    optimal: null,
+});
+function releaseInputs(graph, inputs) {
+    const inputById = 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 = inputById.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 schedule(graph, releaseBounds) {
+    const milestoneTimes = new Map();
+    const satisfaction = new Map();
+    const taskRecords = new Map();
+    for (const vertex of graph.topologicalOrder) {
+        let reach;
+        if (graph.frontier.includes(vertex)) {
+            reach = ZERO;
+        }
+        else {
+            const incoming = graph.incoming.get(vertex);
+            if (incoming.length === 0) {
+                throw new Error(`temporal precedence root ${vertex} is not frontier`);
+            }
+            reach = incoming.reduce((result, edge) => maximum(result, satisfaction.get(edge.id)), ZERO);
+        }
+        milestoneTimes.set(vertex, reach);
+        for (const edge of graph.outgoing.get(vertex)) {
+            if (edge.kind === "gate") {
+                satisfaction.set(edge.id, reach);
+                continue;
+            }
+            const status = edge.status;
+            const releaseBound = status === "planned" || status === "blocked"
+                ? releaseBounds.get(edge.id)
+                : null;
+            const start = status === "active" || status === "done"
+                ? ZERO
+                : maximum(reach, releaseBound);
+            const finish = status === "done" ? ZERO : add(start, edge.expected);
+            satisfaction.set(edge.id, finish);
+            taskRecords.set(edge.id, Object.freeze({
+                id: edge.id,
+                status,
+                expected: edge.expected,
+                sourceReached: reach,
+                releaseBound,
+                start,
+                finish,
+                conditionalBlocked: status === "blocked",
+            }));
+        }
+    }
+    return {
+        makespan: milestoneTimes.get(graph.finish),
+        tasks: Object.freeze(graph.topologicalOrder.flatMap((vertex) => graph.outgoing.get(vertex)
+            .filter(({ kind }) => kind === "task")
+            .map((edge) => taskRecords.get(edge.id)))),
+        milestones: Object.freeze(graph.topologicalOrder.map((id) => Object.freeze({ id, reach: milestoneTimes.get(id) }))),
+    };
+}
+export function analyzeTemporalPrecedenceSchedule(validated, inputs) {
+    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 releases = releaseInputs(graph, inputs);
+    const common = {
+        algorithm: TEMPORAL_PRECEDENCE_PROJECTION_IDENTITY,
+        conditionalOnBlocksResolved: graph.blockedTaskIds.length > 0,
+        blockedTaskIds: Object.freeze([...graph.blockedTaskIds]),
+    };
+    if (releases.unavailableCauses.length > 0) {
+        return Object.freeze({
+            ...common,
+            state: "unavailable",
+            makespan: null,
+            tasks: Object.freeze([]),
+            milestones: Object.freeze([]),
+            unavailableCauses: releases.unavailableCauses,
+        });
+    }
+    const result = schedule(graph, releases.bounds);
+    return Object.freeze({
+        ...common,
+        state: "available",
+        makespan: result.makespan,
+        tasks: result.tasks,
+        milestones: result.milestones,
+        unavailableCauses: Object.freeze([]),
+    });
+}
+//# sourceMappingURL=temporal-precedence.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"temporal-precedence.js","sourceRoot":"","sources":["../../src/analysis/temporal-precedence.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAK1D,OAAO,EACL,kBAAkB,GAGnB,MAAM,YAAY,CAAC;AAEpB,MAAM,CAAC,MAAM,uCAAuC,GAAG,MAAM,CAAC,MAAM,CAAC;IACnE,EAAE,EAAE,uCAAgD;IACpD,OAAO,EAAE,CAAU;IACnB,OAAO,EAAE,IAAI;CACd,CAAC,CAAC;AA6CH,SAAS,aAAa,CACpB,KAAoB,EACpB,MAAqC;IAKrC,MAAM,SAAS,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;IAC3E,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,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrC,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,QAAQ,CACf,KAAoB,EACpB,aAA4C;IAM5C,MAAM,cAAc,GAAG,IAAI,GAAG,EAAoB,CAAC;IACnD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAoB,CAAC;IACjD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkC,CAAC;IAE9D,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,gBAAgB,EAAE,CAAC;QAC5C,IAAI,KAAe,CAAC;QACpB,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACpC,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;aAAM,CAAC;YACN,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC;YAC7C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC1B,MAAM,IAAI,KAAK,CAAC,4BAA4B,MAAM,kBAAkB,CAAC,CAAC;YACxE,CAAC;YACD,KAAK,GAAG,QAAQ,CAAC,MAAM,CACrB,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAE,CAAC,EAC7D,IAAI,CACL,CAAC;QACJ,CAAC;QACD,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAElC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAE,EAAE,CAAC;YAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACzB,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;gBACjC,SAAS;YACX,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAO,CAAC;YAC5B,MAAM,YAAY,GAChB,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;gBAC1C,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAE;gBAC7B,CAAC,CAAC,IAAI,CAAC;YACX,MAAM,KAAK,GACT,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,MAAM;gBACtC,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,YAAa,CAAC,CAAC;YACpC,MAAM,MAAM,GAAG,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;YACpE,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YAClC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC;gBACrC,EAAE,EAAE,IAAI,CAAC,EAAE;gBACX,MAAM;gBACN,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,aAAa,EAAE,KAAK;gBACpB,YAAY;gBACZ,KAAK;gBACL,MAAM;gBACN,kBAAkB,EAAE,MAAM,KAAK,SAAS;aACzC,CAAC,CAAC,CAAC;QACN,CAAC;IACH,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAE;QAC3C,KAAK,EAAE,MAAM,CAAC,MAAM,CAClB,KAAK,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACxC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAE;aACxB,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC;aACrC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAE,CAAC,CAC5C,CACF;QACD,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,cAAc,CAAC,GAAG,CAAC,EAAE,CAAE,EAAE,CAAC,CACtD,CACF;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iCAAiC,CAC/C,SAEmC,EACnC,MAAqC;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,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG;QACb,SAAS,EAAE,uCAAuC;QAClD,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,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,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IAChD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,MAAM;QACT,KAAK,EAAE,WAAW;QAClB,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/analysis/temporal-resource.d.ts

@@ -0,0 +1,66 @@
+import type { TargetTemporalCause, TargetTemporalInputProjection } from "../application/target-temporal-input.js";
+import type { Rational } from "../model/rational.js";
+import type { RequirementValue } from "../model/syntax.js";
+import type { TargetGrammar3ValidatedDocument, TargetGrammar4ValidatedDocument } from "../semantic/target-validator.js";
+import { type TaskStatus } from "./graph.js";
+export declare const TEMPORAL_RESOURCE_PROJECTION_IDENTITY: Readonly<{
+    id: "perttool.temporal-parallel-sgs";
+    version: 1;
+    optimal: false;
+}>;
+export interface TemporalResourceCapacity {
+    readonly id: string;
+    readonly declared: number;
+    readonly override: number | null;
+    readonly effective: number;
+}
+export interface TemporalResourceTask {
+    readonly id: string;
+    readonly status: TaskStatus;
+    readonly expected: Rational;
+    readonly sourceReached: Rational;
+    readonly releaseBound: Rational | null;
+    readonly eligibleTime: Rational;
+    readonly start: Rational;
+    readonly finish: Rational;
+    readonly resourceWait: Rational;
+    readonly requirements: readonly RequirementValue[];
+    readonly conditionalBlocked: boolean;
+}
+export interface TemporalResourceMilestone {
+    readonly id: string;
+    readonly reach: Rational;
+}
+interface TemporalResourceCommon {
+    readonly algorithm: typeof TEMPORAL_RESOURCE_PROJECTION_IDENTITY;
+    readonly scheduler: {
+        readonly id: "parallel-sgs";
+        readonly version: 1;
+        readonly optimal: false;
+    };
+    readonly conditionalOnBlocksResolved: boolean;
+    readonly blockedTaskIds: readonly string[];
+    readonly unavailableCauses: readonly TargetTemporalCause[];
+}
+export interface AvailableTemporalResourceSchedule extends TemporalResourceCommon {
+    readonly state: "available";
+    readonly capacities: readonly TemporalResourceCapacity[];
+    readonly makespan: Rational;
+    readonly tasks: readonly TemporalResourceTask[];
+    readonly milestones: readonly TemporalResourceMilestone[];
+}
+export interface UnavailableTemporalResourceSchedule extends TemporalResourceCommon {
+    readonly state: "unavailable";
+    readonly capacities: readonly TemporalResourceCapacity[];
+    readonly makespan: null;
+    readonly tasks: readonly TemporalResourceTask[];
+    readonly milestones: readonly TemporalResourceMilestone[];
+}
+export type TemporalResourceSchedule = AvailableTemporalResourceSchedule | UnavailableTemporalResourceSchedule;
+export interface TemporalResourceOptions {
+    readonly capacityOverrides?: ReadonlyMap<string, number>;
+    readonly maxPaths?: number;
+}
+export declare function analyzeTemporalResourceSchedule(validated: TargetGrammar3ValidatedDocument | TargetGrammar4ValidatedDocument, inputs: TargetTemporalInputProjection, options?: TemporalResourceOptions): TemporalResourceSchedule;
+export {};
+//# sourceMappingURL=temporal-resource.d.ts.map