@trevonistrevon/pi-loop 0.5.9 → 0.6.1

package/src/goal-coordinator.ts

@@ -1,58 +0,0 @@
-import type { ReducerEffect, ReducerEvent } from "./coordinator.js";
-import type { GoalReducerState } from "./goal-types.js";
-import { verifyGoal } from "./goal-verifier.js";
-import type { LoopReducerState } from "./loop-reducer.js";
-import type { MonitorReducerState } from "./monitor-reducer.js";
-import type { TaskReducerState } from "./task-reducer.js";
-
-export type GoalVerificationRequestedEvent = ReducerEvent<
-  "GOAL_VERIFICATION_REQUESTED",
-  { id: string }
->;
-
-export interface GoalCoordinatorSnapshot {
-  goalState: GoalReducerState;
-  taskState: TaskReducerState;
-  loopState: LoopReducerState;
-  monitorState: MonitorReducerState;
-}
-
-export function reduceGoalVerificationRequest(
-  event: GoalVerificationRequestedEvent,
-  snapshot: GoalCoordinatorSnapshot,
-): ReducerEffect[] {
-  if (event.type !== "GOAL_VERIFICATION_REQUESTED") return [];
-
-  const goal = snapshot.goalState.goalsById[event.payload.id];
-  if (!goal) return [];
-
-  return verifyGoal({
-    goal,
-    taskState: snapshot.taskState,
-    loopState: snapshot.loopState,
-    monitorState: snapshot.monitorState,
-    at: event.at,
-  }).effects;
-}
-
-export interface GoalCoordinatorOptions {
-  getGoalState: () => GoalReducerState;
-  getTaskState: () => TaskReducerState;
-  getLoopState: () => LoopReducerState;
-  getMonitorState: () => MonitorReducerState;
-}
-
-export function createGoalCoordinatorReducer(options: GoalCoordinatorOptions) {
-  const { getGoalState, getTaskState, getLoopState, getMonitorState } = options;
-
-  return (event: ReducerEvent): ReducerEffect[] => {
-    if (event.type !== "GOAL_VERIFICATION_REQUESTED") return [];
-
-    return reduceGoalVerificationRequest(event as GoalVerificationRequestedEvent, {
-      goalState: getGoalState(),
-      taskState: getTaskState(),
-      loopState: getLoopState(),
-      monitorState: getMonitorState(),
-    });
-  };
-}

package/src/goal-reducer.ts

@@ -1,299 +0,0 @@
-import type {
-  GoalCriteria,
-  GoalEntry,
-  GoalProgressSnapshot,
-  GoalReducerState,
-  GoalScope,
-  GoalVerificationState,
-} from "./goal-types.js";
-
-export type GoalReducerEvent =
-  | {
-    type: "GOAL_CREATED";
-    at: number;
-    source: "tool" | "command" | "scheduler" | "eventbus" | "monitor" | "session" | "coordinator" | "system";
-    entityType?: "goal";
-    entityId?: string;
-    payload: {
-      title: string;
-      description: string;
-      scope: GoalScope;
-      criteria: GoalCriteria;
-      metadata?: Record<string, unknown>;
-    };
-  }
-  | {
-    type: "GOAL_ACTIVATED" | "GOAL_VERIFICATION_STARTED" | "GOAL_UNBLOCKED";
-    at: number;
-    source: "tool" | "command" | "scheduler" | "eventbus" | "monitor" | "session" | "coordinator" | "system";
-    entityType?: "goal";
-    entityId?: string;
-    payload: { id: string };
-  }
-  | {
-    type: "GOAL_PROGRESS_RECORDED";
-    at: number;
-    source: "tool" | "command" | "scheduler" | "eventbus" | "monitor" | "session" | "coordinator" | "system";
-    entityType?: "goal";
-    entityId?: string;
-    payload: { id: string; progress: GoalProgressSnapshot };
-  }
-  | {
-    type: "GOAL_VERIFICATION_PASSED" | "GOAL_VERIFICATION_FAILED" | "GOAL_BLOCKED" | "GOAL_FAILED";
-    at: number;
-    source: "tool" | "command" | "scheduler" | "eventbus" | "monitor" | "session" | "coordinator" | "system";
-    entityType?: "goal";
-    entityId?: string;
-    payload: { id: string; reason: string; progress?: GoalProgressSnapshot };
-  }
-  | {
-    type: "GOAL_SATISFIED" | "GOAL_ARCHIVED";
-    at: number;
-    source: "tool" | "command" | "scheduler" | "eventbus" | "monitor" | "session" | "coordinator" | "system";
-    entityType?: "goal";
-    entityId?: string;
-    payload: { id: string; reason?: string };
-  }
-  | {
-    type: "GOAL_UPDATED";
-    at: number;
-    source: "tool" | "command" | "scheduler" | "eventbus" | "monitor" | "session" | "coordinator" | "system";
-    entityType?: "goal";
-    entityId?: string;
-    payload: {
-      id: string;
-      title?: string;
-      description?: string;
-      scope?: GoalScope;
-      criteria?: GoalCriteria;
-      metadata?: Record<string, unknown>;
-    };
-  };
-
-export type GoalReducerEffect =
-  | {
-    type: "PERSIST_GOAL";
-    entityType: "goal";
-    entityId: string;
-    payload: { goal: GoalEntry };
-  }
-  | {
-    type: "REQUEST_GOAL_VERIFICATION";
-    entityType: "goal";
-    entityId: string;
-    payload: { id: string };
-  }
-  | {
-    // Diagnostic: a transition was dropped because the goal is in a terminal
-    // state. Surfaced (rather than silently ignored) so the effect sink can log
-    // it. Carries no state change.
-    type: "GOAL_TRANSITION_REJECTED";
-    entityType: "goal";
-    entityId: string;
-    payload: { id: string; status: GoalEntry["status"]; attempted: string };
-  };
-
-export interface GoalReduceResult {
-  state: GoalReducerState;
-  effects: GoalReducerEffect[];
-}
-
-function cloneState(state: GoalReducerState): GoalReducerState {
-  return {
-    nextId: state.nextId,
-    goalsById: { ...state.goalsById },
-  };
-}
-
-function emptyProgress(): GoalProgressSnapshot {
-  return {
-    totalTasks: 0,
-    pendingTasks: 0,
-    inProgressTasks: 0,
-    completedTasks: 0,
-    activeLoops: 0,
-    pausedLoops: 0,
-    runningMonitors: 0,
-    completedMonitors: 0,
-    erroredMonitors: 0,
-    stoppedMonitors: 0,
-  };
-}
-
-function emptyVerification(): GoalVerificationState {
-  return {
-    attempts: 0,
-    passes: 0,
-    failures: 0,
-  };
-}
-
-function persist(goal: GoalEntry): GoalReducerEffect {
-  return {
-    type: "PERSIST_GOAL",
-    entityType: "goal",
-    entityId: goal.id,
-    payload: { goal },
-  };
-}
-
-function isTerminal(goal: GoalEntry): boolean {
-  return goal.status === "satisfied" || goal.status === "failed" || goal.status === "archived";
-}
-
-export function reduceGoalState(state: GoalReducerState, event: GoalReducerEvent): GoalReduceResult {
-  if (event.type === "GOAL_CREATED") {
-    const next = cloneState(state);
-    const id = String(next.nextId++);
-    const goal: GoalEntry = {
-      id,
-      title: event.payload.title,
-      description: event.payload.description,
-      status: "pending",
-      verificationStatus: "unknown",
-      createdAt: event.at,
-      updatedAt: event.at,
-      scope: event.payload.scope,
-      criteria: event.payload.criteria,
-      progress: emptyProgress(),
-      verification: emptyVerification(),
-      metadata: event.payload.metadata,
-    };
-    next.goalsById[id] = goal;
-    return {
-      state: next,
-      effects: [persist(goal)],
-    };
-  }
-
-  const id = event.payload.id;
-  const current = state.goalsById[id];
-  if (!current) return { state, effects: [] };
-  if (isTerminal(current) && event.type !== "GOAL_ARCHIVED") {
-    return {
-      state,
-      effects: [{
-        type: "GOAL_TRANSITION_REJECTED",
-        entityType: "goal",
-        entityId: id,
-        payload: { id, status: current.status, attempted: event.type },
-      }],
-    };
-  }
-
-  const next = cloneState(state);
-  const goal: GoalEntry = {
-    ...current,
-    progress: { ...current.progress },
-    verification: { ...current.verification },
-  };
-
-  let extraEffects: GoalReducerEffect[] = [];
-
-  if (event.type === "GOAL_ACTIVATED") {
-    goal.status = "active";
-    goal.activatedAt ??= event.at;
-    goal.updatedAt = event.at;
-    extraEffects = [{
-      type: "REQUEST_GOAL_VERIFICATION",
-      entityType: "goal",
-      entityId: id,
-      payload: { id },
-    }];
-  }
-
-  if (event.type === "GOAL_PROGRESS_RECORDED") {
-    goal.progress = event.payload.progress;
-    goal.updatedAt = event.at;
-  }
-
-  if (event.type === "GOAL_VERIFICATION_STARTED") {
-    goal.verificationStatus = "checking";
-    goal.verification.attempts += 1;
-    goal.verification.lastCheckedAt = event.at;
-    goal.updatedAt = event.at;
-  }
-
-  if (event.type === "GOAL_VERIFICATION_PASSED") {
-    if (event.payload.progress) goal.progress = event.payload.progress;
-    goal.status = "satisfied";
-    goal.verificationStatus = "verified";
-    goal.verification.passes += 1;
-    goal.verification.lastPassedAt = event.at;
-    goal.verification.lastCheckedAt = event.at;
-    goal.verification.lastReason = event.payload.reason;
-    goal.resolvedAt = event.at;
-    goal.updatedAt = event.at;
-  }
-
-  if (event.type === "GOAL_VERIFICATION_FAILED") {
-    if (event.payload.progress) goal.progress = event.payload.progress;
-    goal.verificationStatus = "unverified";
-    goal.verification.failures += 1;
-    goal.verification.lastFailedAt = event.at;
-    goal.verification.lastCheckedAt = event.at;
-    goal.verification.lastReason = event.payload.reason;
-    if (goal.status === "pending") goal.status = "active";
-    goal.updatedAt = event.at;
-  }
-
-  if (event.type === "GOAL_BLOCKED") {
-    if (event.payload.progress) goal.progress = event.payload.progress;
-    goal.status = "blocked";
-    goal.verificationStatus = "inconclusive";
-    goal.verification.failures += 1;
-    goal.verification.lastFailedAt = event.at;
-    goal.verification.lastCheckedAt = event.at;
-    goal.verification.lastReason = event.payload.reason;
-    goal.updatedAt = event.at;
-  }
-
-  if (event.type === "GOAL_UNBLOCKED") {
-    goal.status = "active";
-    goal.updatedAt = event.at;
-  }
-
-  if (event.type === "GOAL_SATISFIED") {
-    goal.status = "satisfied";
-    goal.verificationStatus = "verified";
-    goal.verification.lastReason = event.payload.reason ?? goal.verification.lastReason;
-    goal.resolvedAt = event.at;
-    goal.updatedAt = event.at;
-  }
-
-  if (event.type === "GOAL_FAILED") {
-    if (event.payload.progress) goal.progress = event.payload.progress;
-    goal.status = "failed";
-    goal.verificationStatus = "unverified";
-    goal.verification.failures += 1;
-    goal.verification.lastFailedAt = event.at;
-    goal.verification.lastCheckedAt = event.at;
-    goal.verification.lastReason = event.payload.reason;
-    goal.resolvedAt = event.at;
-    goal.updatedAt = event.at;
-  }
-
-  if (event.type === "GOAL_ARCHIVED") {
-    goal.status = "archived";
-    goal.resolvedAt = event.at;
-    goal.updatedAt = event.at;
-    if (event.payload.reason !== undefined) {
-      goal.verification.lastReason = event.payload.reason;
-    }
-  }
-
-  if (event.type === "GOAL_UPDATED") {
-    if (event.payload.title !== undefined) goal.title = event.payload.title;
-    if (event.payload.description !== undefined) goal.description = event.payload.description;
-    if (event.payload.scope !== undefined) goal.scope = event.payload.scope;
-    if (event.payload.criteria !== undefined) goal.criteria = event.payload.criteria;
-    if (event.payload.metadata !== undefined) goal.metadata = event.payload.metadata;
-    goal.updatedAt = event.at;
-  }
-
-  next.goalsById[id] = goal;
-  return {
-    state: next,
-    effects: [persist(goal), ...extraEffects],
-  };
-}

package/src/goal-store.ts

@@ -1,219 +0,0 @@
-import { homedir } from "node:os";
-import { join } from "node:path";
-import { type GoalReducerEvent, reduceGoalState } from "./goal-reducer.js";
-import type {
-  GoalCriteria,
-  GoalEntry,
-  GoalProgressSnapshot,
-  GoalReducerState,
-  GoalScope,
-  GoalStoreData,
-} from "./goal-types.js";
-import { ReducerBackedStore } from "./reducer-backed-store.js";
-
-const GOALS_DIR = join(homedir(), ".pi", "goals");
-const MAX_GOALS = 200;
-
-export class GoalStore extends ReducerBackedStore<GoalEntry, GoalReducerState, GoalReducerEvent, GoalStoreData> {
-  constructor(listIdOrPath?: string) {
-    super(
-      {
-        baseDir: GOALS_DIR,
-        reduce: (state, event) => reduceGoalState(state, event),
-        toReducerState: (nextId, entries) => ({ nextId, goalsById: Object.fromEntries(entries.entries()) }),
-        fromReducerState: (state) => ({ nextId: state.nextId, entries: new Map(Object.entries(state.goalsById)) }),
-        serialize: (nextId, entries) => ({ nextId, goals: Array.from(entries.values()) }),
-        deserialize: (data) => ({ nextId: data.nextId, entries: new Map(data.goals.map((g) => [g.id, g])) }),
-      },
-      listIdOrPath,
-    );
-  }
-
-  create(
-    title: string,
-    description: string,
-    scope: GoalScope,
-    criteria: GoalCriteria,
-    metadata?: Record<string, unknown>,
-  ): GoalEntry {
-    return this.withLock(() => {
-      if (this.entries.size >= MAX_GOALS) {
-        throw new Error(`Maximum of ${MAX_GOALS} goals reached. Archive some before creating new ones.`);
-      }
-      this.applyReducerEvent({
-        type: "GOAL_CREATED",
-        at: Date.now(),
-        source: "tool",
-        entityType: "goal",
-        payload: {
-          title,
-          description,
-          scope,
-          criteria,
-          metadata,
-        },
-      });
-      return this.entries.get(String(this.nextId - 1))!;
-    });
-  }
-
-  activate(id: string): GoalEntry | undefined {
-    return this.withLock(() => {
-      if (!this.entries.has(id)) return undefined;
-      this.applyReducerEvent({
-        type: "GOAL_ACTIVATED",
-        at: Date.now(),
-        source: "tool",
-        entityType: "goal",
-        entityId: id,
-        payload: { id },
-      });
-      return this.entries.get(id);
-    });
-  }
-
-  recordProgress(id: string, progress: GoalProgressSnapshot): GoalEntry | undefined {
-    return this.withLock(() => {
-      if (!this.entries.has(id)) return undefined;
-      this.applyReducerEvent({
-        type: "GOAL_PROGRESS_RECORDED",
-        at: Date.now(),
-        source: "coordinator",
-        entityType: "goal",
-        entityId: id,
-        payload: { id, progress },
-      });
-      return this.entries.get(id);
-    });
-  }
-
-  markVerificationStarted(id: string): GoalEntry | undefined {
-    return this.withLock(() => {
-      if (!this.entries.has(id)) return undefined;
-      this.applyReducerEvent({
-        type: "GOAL_VERIFICATION_STARTED",
-        at: Date.now(),
-        source: "coordinator",
-        entityType: "goal",
-        entityId: id,
-        payload: { id },
-      });
-      return this.entries.get(id);
-    });
-  }
-
-  markVerified(id: string, reason: string, progress?: GoalProgressSnapshot): GoalEntry | undefined {
-    return this.withLock(() => {
-      if (!this.entries.has(id)) return undefined;
-      this.applyReducerEvent({
-        type: "GOAL_VERIFICATION_PASSED",
-        at: Date.now(),
-        source: "coordinator",
-        entityType: "goal",
-        entityId: id,
-        payload: { id, reason, progress },
-      });
-      return this.entries.get(id);
-    });
-  }
-
-  markFailed(id: string, reason: string, progress?: GoalProgressSnapshot): GoalEntry | undefined {
-    return this.withLock(() => {
-      if (!this.entries.has(id)) return undefined;
-      this.applyReducerEvent({
-        type: "GOAL_FAILED",
-        at: Date.now(),
-        source: "coordinator",
-        entityType: "goal",
-        entityId: id,
-        payload: { id, reason, progress },
-      });
-      return this.entries.get(id);
-    });
-  }
-
-  markBlocked(id: string, reason: string, progress?: GoalProgressSnapshot): GoalEntry | undefined {
-    return this.withLock(() => {
-      if (!this.entries.has(id)) return undefined;
-      this.applyReducerEvent({
-        type: "GOAL_BLOCKED",
-        at: Date.now(),
-        source: "coordinator",
-        entityType: "goal",
-        entityId: id,
-        payload: { id, reason, progress },
-      });
-      return this.entries.get(id);
-    });
-  }
-
-  unblock(id: string): GoalEntry | undefined {
-    return this.withLock(() => {
-      if (!this.entries.has(id)) return undefined;
-      this.applyReducerEvent({
-        type: "GOAL_UNBLOCKED",
-        at: Date.now(),
-        source: "coordinator",
-        entityType: "goal",
-        entityId: id,
-        payload: { id },
-      });
-      return this.entries.get(id);
-    });
-  }
-
-  updateDetails(
-    id: string,
-    fields: {
-      title?: string;
-      description?: string;
-      scope?: GoalScope;
-      criteria?: GoalCriteria;
-      metadata?: Record<string, unknown>;
-    },
-  ): GoalEntry | undefined {
-    return this.withLock(() => {
-      if (!this.entries.has(id)) return undefined;
-      if (
-        fields.title === undefined
-        && fields.description === undefined
-        && fields.scope === undefined
-        && fields.criteria === undefined
-        && fields.metadata === undefined
-      ) {
-        return this.entries.get(id);
-      }
-      this.applyReducerEvent({
-        type: "GOAL_UPDATED",
-        at: Date.now(),
-        source: "tool",
-        entityType: "goal",
-        entityId: id,
-        payload: {
-          id,
-          title: fields.title,
-          description: fields.description,
-          scope: fields.scope,
-          criteria: fields.criteria,
-          metadata: fields.metadata,
-        },
-      });
-      return this.entries.get(id);
-    });
-  }
-
-  archive(id: string, reason?: string): GoalEntry | undefined {
-    return this.withLock(() => {
-      if (!this.entries.has(id)) return undefined;
-      this.applyReducerEvent({
-        type: "GOAL_ARCHIVED",
-        at: Date.now(),
-        source: "tool",
-        entityType: "goal",
-        entityId: id,
-        payload: { id, reason },
-      });
-      return this.entries.get(id);
-    });
-  }
-}

package/src/goal-types.ts

@@ -1,104 +0,0 @@
-export type GoalStatus =
-  | "pending"
-  | "active"
-  | "satisfied"
-  | "blocked"
-  | "failed"
-  | "archived";
-
-export type GoalVerificationStatus =
-  | "unknown"
-  | "checking"
-  | "verified"
-  | "unverified"
-  | "inconclusive";
-
-export interface GoalScope {
-  taskIds?: string[];
-  loopIds?: string[];
-  monitorIds?: string[];
-  tags?: string[];
-  subjectPrefixes?: string[];
-  includeFutureMatchingTasks?: boolean;
-  includeFutureMatchingLoops?: boolean;
-  includeFutureMatchingMonitors?: boolean;
-}
-
-export interface GoalSuccessCriteria {
-  minCompletedTasks?: number;
-  requiredTaskIds?: string[];
-  requiredMonitorIdsCompleted?: string[];
-  requiredLoopIdsPresent?: string[];
-  requireNoPendingTasksInScope?: boolean;
-  requireLatestVerificationPass?: boolean;
-}
-
-export interface GoalFailureCriteria {
-  anyMonitorIdsErrored?: string[];
-  maxVerificationFailures?: number;
-  failIfTaskIdsDeleted?: string[];
-}
-
-export interface GoalBlockedCriteria {
-  blockedIfAllTasksCompletedButVerificationFails?: boolean;
-  blockedIfNoScopedProgressSinceMs?: number;
-  blockedIfRequiredLoopMissing?: boolean;
-}
-
-export interface GoalCriteria {
-  success: GoalSuccessCriteria;
-  failure?: GoalFailureCriteria;
-  blocked?: GoalBlockedCriteria;
-}
-
-export interface GoalProgressSnapshot {
-  totalTasks: number;
-  pendingTasks: number;
-  inProgressTasks: number;
-  completedTasks: number;
-  activeLoops: number;
-  pausedLoops: number;
-  runningMonitors: number;
-  completedMonitors: number;
-  erroredMonitors: number;
-  stoppedMonitors: number;
-  lastProgressAt?: number;
-}
-
-export interface GoalVerificationState {
-  attempts: number;
-  passes: number;
-  failures: number;
-  lastCheckedAt?: number;
-  lastPassedAt?: number;
-  lastFailedAt?: number;
-  lastReason?: string;
-  nextCheckAfter?: number;
-}
-
-export interface GoalEntry {
-  id: string;
-  title: string;
-  description: string;
-  status: GoalStatus;
-  verificationStatus: GoalVerificationStatus;
-  createdAt: number;
-  updatedAt: number;
-  activatedAt?: number;
-  resolvedAt?: number;
-  scope: GoalScope;
-  criteria: GoalCriteria;
-  progress: GoalProgressSnapshot;
-  verification: GoalVerificationState;
-  metadata?: Record<string, unknown>;
-}
-
-export interface GoalReducerState {
-  nextId: number;
-  goalsById: Record<string, GoalEntry>;
-}
-
-export interface GoalStoreData {
-  nextId: number;
-  goals: GoalEntry[];
-}