@trevonistrevon/pi-loop 0.4.11 → 0.5.1

package/dist/goal-verifier.js

@@ -0,0 +1,198 @@
+function uniqueById(items) {
+    const seen = new Set();
+    const result = [];
+    for (const item of items) {
+        if (seen.has(item.id))
+            continue;
+        seen.add(item.id);
+        result.push(item);
+    }
+    return result;
+}
+function selectTasks(goal, taskState) {
+    const selected = [];
+    for (const id of goal.scope.taskIds ?? []) {
+        const task = taskState.tasksById[id];
+        if (task)
+            selected.push(task);
+    }
+    for (const prefix of goal.scope.subjectPrefixes ?? []) {
+        for (const task of Object.values(taskState.tasksById)) {
+            if (task.subject.startsWith(prefix))
+                selected.push(task);
+        }
+    }
+    return uniqueById(selected);
+}
+function selectLoops(goal, loopState) {
+    const selected = [];
+    for (const id of goal.scope.loopIds ?? []) {
+        const loop = loopState.loopsById[id];
+        if (loop)
+            selected.push(loop);
+    }
+    return uniqueById(selected);
+}
+function selectMonitors(goal, monitorState) {
+    const selected = [];
+    for (const id of goal.scope.monitorIds ?? []) {
+        const monitor = monitorState.monitorsById[id];
+        if (monitor)
+            selected.push(monitor);
+    }
+    return uniqueById(selected);
+}
+export function projectGoalProgress(goal, taskState, loopState, monitorState) {
+    const tasks = selectTasks(goal, taskState);
+    const loops = selectLoops(goal, loopState);
+    const monitors = selectMonitors(goal, monitorState);
+    const timestamps = [];
+    for (const task of tasks)
+        timestamps.push(task.updatedAt);
+    for (const loop of loops)
+        timestamps.push(loop.updatedAt);
+    for (const monitor of monitors)
+        timestamps.push(monitor.completedAt ?? monitor.startedAt);
+    return {
+        totalTasks: tasks.length,
+        pendingTasks: tasks.filter(task => task.status === "pending").length,
+        inProgressTasks: tasks.filter(task => task.status === "in_progress").length,
+        completedTasks: tasks.filter(task => task.status === "completed").length,
+        activeLoops: loops.filter(loop => loop.status === "active").length,
+        pausedLoops: loops.filter(loop => loop.status === "paused").length,
+        runningMonitors: monitors.filter(monitor => monitor.status === "running").length,
+        completedMonitors: monitors.filter(monitor => monitor.status === "completed").length,
+        erroredMonitors: monitors.filter(monitor => monitor.status === "error").length,
+        stoppedMonitors: monitors.filter(monitor => monitor.status === "stopped").length,
+        lastProgressAt: timestamps.length > 0 ? Math.max(...timestamps) : undefined,
+    };
+}
+function dispatchEffect(event) {
+    return {
+        type: "DISPATCH_EVENT",
+        entityType: "goal",
+        entityId: event.entityId,
+        payload: { event },
+    };
+}
+function buildEffects(goal, at, progress, resultType, reason) {
+    return [
+        dispatchEffect({
+            type: "GOAL_VERIFICATION_STARTED",
+            at,
+            source: "coordinator",
+            entityType: "goal",
+            entityId: goal.id,
+            payload: { id: goal.id },
+        }),
+        dispatchEffect({
+            type: "GOAL_PROGRESS_RECORDED",
+            at,
+            source: "coordinator",
+            entityType: "goal",
+            entityId: goal.id,
+            payload: { id: goal.id, progress },
+        }),
+        dispatchEffect({
+            type: resultType,
+            at,
+            source: "coordinator",
+            entityType: "goal",
+            entityId: goal.id,
+            payload: { id: goal.id, reason, progress },
+        }),
+    ];
+}
+export function verifyGoal(input) {
+    const { goal, taskState, loopState, monitorState, at } = input;
+    const progress = projectGoalProgress(goal, taskState, loopState, monitorState);
+    if (goal.criteria.failure?.maxVerificationFailures !== undefined
+        && goal.verification.failures >= goal.criteria.failure.maxVerificationFailures) {
+        return {
+            progress,
+            verdict: "failed",
+            reason: "maximum verification failures reached",
+            effects: buildEffects(goal, at, progress, "GOAL_FAILED", "maximum verification failures reached"),
+        };
+    }
+    for (const monitorId of goal.criteria.failure?.anyMonitorIdsErrored ?? []) {
+        if (monitorState.monitorsById[monitorId]?.status === "error") {
+            return {
+                progress,
+                verdict: "failed",
+                reason: `monitor #${monitorId} errored`,
+                effects: buildEffects(goal, at, progress, "GOAL_FAILED", `monitor #${monitorId} errored`),
+            };
+        }
+    }
+    for (const taskId of goal.criteria.failure?.failIfTaskIdsDeleted ?? []) {
+        if (!taskState.tasksById[taskId]) {
+            return {
+                progress,
+                verdict: "failed",
+                reason: `task #${taskId} missing`,
+                effects: buildEffects(goal, at, progress, "GOAL_FAILED", `task #${taskId} missing`),
+            };
+        }
+    }
+    const requiredTasksDone = (goal.criteria.success.requiredTaskIds ?? [])
+        .every(taskId => taskState.tasksById[taskId]?.status === "completed");
+    const requiredMonitorsDone = (goal.criteria.success.requiredMonitorIdsCompleted ?? [])
+        .every(monitorId => monitorState.monitorsById[monitorId]?.status === "completed");
+    const requiredLoopsPresent = (goal.criteria.success.requiredLoopIdsPresent ?? [])
+        .every(loopId => Boolean(loopState.loopsById[loopId]));
+    const minCompletedTasksMet = progress.completedTasks >= (goal.criteria.success.minCompletedTasks ?? 0);
+    const noPendingWork = !goal.criteria.success.requireNoPendingTasksInScope
+        || (progress.pendingTasks === 0 && progress.inProgressTasks === 0);
+    const latestVerificationPass = !goal.criteria.success.requireLatestVerificationPass
+        || goal.verificationStatus === "verified";
+    const success = requiredTasksDone
+        && requiredMonitorsDone
+        && requiredLoopsPresent
+        && minCompletedTasksMet
+        && noPendingWork
+        && latestVerificationPass;
+    if (success) {
+        return {
+            progress,
+            verdict: "passed",
+            reason: "success criteria satisfied",
+            effects: buildEffects(goal, at, progress, "GOAL_VERIFICATION_PASSED", "success criteria satisfied"),
+        };
+    }
+    if (goal.criteria.blocked?.blockedIfRequiredLoopMissing && !requiredLoopsPresent) {
+        return {
+            progress,
+            verdict: "blocked",
+            reason: "required loop missing",
+            effects: buildEffects(goal, at, progress, "GOAL_BLOCKED", "required loop missing"),
+        };
+    }
+    if (goal.criteria.blocked?.blockedIfNoScopedProgressSinceMs !== undefined
+        && progress.lastProgressAt !== undefined
+        && at - progress.lastProgressAt >= goal.criteria.blocked.blockedIfNoScopedProgressSinceMs) {
+        return {
+            progress,
+            verdict: "blocked",
+            reason: "no scoped progress within configured interval",
+            effects: buildEffects(goal, at, progress, "GOAL_BLOCKED", "no scoped progress within configured interval"),
+        };
+    }
+    if (goal.criteria.blocked?.blockedIfAllTasksCompletedButVerificationFails
+        && progress.totalTasks > 0
+        && progress.pendingTasks === 0
+        && progress.inProgressTasks === 0) {
+        return {
+            progress,
+            verdict: "blocked",
+            reason: "all scoped tasks completed but verification has not passed",
+            effects: buildEffects(goal, at, progress, "GOAL_BLOCKED", "all scoped tasks completed but verification has not passed"),
+        };
+    }
+    return {
+        progress,
+        verdict: "failed",
+        reason: "success criteria not yet satisfied",
+        effects: buildEffects(goal, at, progress, "GOAL_VERIFICATION_FAILED", "success criteria not yet satisfied"),
+    };
+}