luckytri 1.0.0 → 1.0.1

package/server/mind/senses.js

@@ -1,53 +1,53 @@
-import { text } from "./util.js";
-
-const LIMIT = 4;
-const LINE = 80;
-
-// What the world is telling her right now: weather, a song, a room.
-// Kept in memory, never written into who she is. A private line stays out of
-// group conversations.
-export class Senses {
-  constructor() {
-    this.rows = new Map();
-  }
-  set(pluginId, key, sense, now = Date.now()) {
-    const id = `${pluginId}:${String(key || "now").slice(0, 40)}`;
-    const line = text(sense?.text, LINE);
-    if (!line) {
-      this.rows.delete(id);
-      return;
-    }
-    const ttl = Number(sense?.ttlMinutes);
-    this.rows.set(id, {
-      pluginId,
-      text: line,
-      discretion: sense?.discretion === "private" ? "private" : "open",
-      until:
-        Number.isFinite(ttl) && ttl > 0 ? now + Math.min(ttl, 1440) * 60000 : 0,
-    });
-  }
-  clear(pluginId, key) {
-    if (key == null) {
-      for (const [id, row] of this.rows)
-        if (row.pluginId === pluginId) this.rows.delete(id);
-      return;
-    }
-    this.rows.delete(`${pluginId}:${String(key).slice(0, 40)}`);
-  }
-  clearPlugin(pluginId) {
-    this.clear(pluginId, null);
-  }
-  lines({ kind = "group", now = Date.now() } = {}) {
-    const out = [];
-    for (const [id, row] of this.rows) {
-      if (row.until && row.until <= now) {
-        this.rows.delete(id);
-        continue;
-      }
-      if (kind === "group" && row.discretion === "private") continue;
-      out.push(row.text);
-      if (out.length >= LIMIT) break;
-    }
-    return out;
-  }
-}
+import { text } from "./util.js";
+
+const LIMIT = 4;
+const LINE = 80;
+
+// What the world is telling her right now: weather, a song, a room.
+// Kept in memory, never written into who she is. A private line stays out of
+// group conversations.
+export class Senses {
+  constructor() {
+    this.rows = new Map();
+  }
+  set(pluginId, key, sense, now = Date.now()) {
+    const id = `${pluginId}:${String(key || "now").slice(0, 40)}`;
+    const line = text(sense?.text, LINE);
+    if (!line) {
+      this.rows.delete(id);
+      return;
+    }
+    const ttl = Number(sense?.ttlMinutes);
+    this.rows.set(id, {
+      pluginId,
+      text: line,
+      discretion: sense?.discretion === "private" ? "private" : "open",
+      until:
+        Number.isFinite(ttl) && ttl > 0 ? now + Math.min(ttl, 1440) * 60000 : 0,
+    });
+  }
+  clear(pluginId, key) {
+    if (key == null) {
+      for (const [id, row] of this.rows)
+        if (row.pluginId === pluginId) this.rows.delete(id);
+      return;
+    }
+    this.rows.delete(`${pluginId}:${String(key).slice(0, 40)}`);
+  }
+  clearPlugin(pluginId) {
+    this.clear(pluginId, null);
+  }
+  lines({ kind = "group", now = Date.now() } = {}) {
+    const out = [];
+    for (const [id, row] of this.rows) {
+      if (row.until && row.until <= now) {
+        this.rows.delete(id);
+        continue;
+      }
+      if (kind === "group" && row.discretion === "private") continue;
+      out.push(row.text);
+      if (out.length >= LIMIT) break;
+    }
+    return out;
+  }
+}

package/server/mind/time/activity-clock.js

@@ -1,196 +1,196 @@
-import { text } from "../util.js";
-import { activityMinutes } from "./kinds.js";
-const MINUTE = 60000;
-export function activityEstimate(activity, hint, speed = 1.25) {
-  const fallback = activityMinutes(activity),
-    proposed = Number(hint?.minutes);
-  const referenceMinutes =
-    Number.isFinite(proposed) && proposed >= 5 && proposed <= 240
-      ? proposed
-      : fallback[0];
-  const pace =
-    Number.isFinite(speed) && speed >= 1 && speed <= 2 ? speed : 1.25;
-  return {
-    referenceMinutes,
-    plannedMs: Math.ceil((referenceMinutes * MINUTE) / pace),
-    speed: pace,
-    basis: text(hint?.basis, 240) || fallback[1],
-    scope: "本段",
-    chapterMinutes:
-      Number.isFinite(hint?.chapterMinutes) &&
-      hint.chapterMinutes >= referenceMinutes &&
-      hint.chapterMinutes <= 6000
-        ? hint.chapterMinutes
-        : null,
-  };
-}
-export class ActivityClock {
-  constructor(time) {
-    this.time = time;
-    this.db = time.db;
-  }
-  committed(id) {
-    return this.db
-      .prepare(
-        "SELECT COALESCE(SUM(engaged_ms),0) n FROM mind_time_spans WHERE task_id=?",
-      )
-      .get(id).n;
-  }
-  record(span, ms) {
-    if (ms > 0)
-      this.db
-        .prepare(
-          "INSERT OR IGNORE INTO mind_time_activity_ticks(span_id,started,ended) VALUES(?,?,?)",
-        )
-        .run(span.id, span.updated, span.updated + ms);
-  }
-  today(spanId, start, now) {
-    return this.db
-      .prepare(
-        "SELECT COALESCE(SUM(MAX(0,MIN(ended,?)-MAX(started,?))),0) n FROM mind_time_activity_ticks WHERE span_id=? AND ended>? AND started<?",
-      )
-      .get(now, start, spanId, start, now).n;
-  }
-  credit(task, delta) {
-    const clock = task.checkpoint?.activityClock;
-    if (
-      !clock ||
-      clock.phase !== "engaged" ||
-      task.lease ||
-      task.state !== "doing"
-    )
-      return 0;
-    return Math.max(
-      0,
-      Math.min(
-        delta,
-        Math.round(
-          clock.plannedMs - (this.committed(task.id) - clock.baselineMs),
-        ),
-      ),
-    );
-  }
-  elapsed(task, now = this.time.now()) {
-    const total = this.committed(task.id),
-      span = this.db
-        .prepare(
-          "SELECT updated FROM mind_time_spans WHERE task_id=? AND ended IS NULL",
-        )
-        .get(task.id);
-    return (
-      total +
-      (span
-        ? this.credit(task, Math.max(0, Math.min(MINUTE, now - span.updated)))
-        : 0)
-    );
-  }
-  plan(task, hint, now) {
-    const estimate = activityEstimate(
-      task.activity,
-      hint,
-      this.time.settings().paceSpeed,
-    );
-    if (task.checkpoint.schedule?.chosenAt) {
-      const used =
-        this.db
-          .prepare(
-            "SELECT engaged_ms FROM mind_time_spans WHERE task_id=? AND ended IS NULL",
-          )
-          .get(task.id)?.engaged_ms || 0;
-      estimate.plannedMs = Math.min(
-        estimate.plannedMs,
-        Math.max(MINUTE, this.time.focusMs(task) - used),
-      );
-    }
-    return {
-      version: 1,
-      phase: "engaged",
-      ...estimate,
-      baselineMs: this.committed(task.id),
-      started: now,
-    };
-  }
-  view(task, now = this.time.now()) {
-    const clock = task.checkpoint?.activityClock;
-    if (!clock)
-      return {
-        phase:
-          !this.time.fixtureImmediate &&
-          this.time.operationElapsed(task.id, now) > 0
-            ? "legacy"
-            : "unstarted",
-        elapsedMs: this.time.fixtureImmediate
-          ? this.time.operationElapsed(task.id, now)
-          : null,
-        plannedMs: null,
-      };
-    const elapsedMs = this.elapsed(task, now),
-      stepMs = Math.max(0, elapsedMs - clock.baselineMs);
-    return {
-      phase: clock.phase,
-      elapsedMs,
-      stepMs,
-      plannedMs: clock.plannedMs,
-      remainingMs: Math.max(0, Math.round(clock.plannedMs - stepMs)),
-      progress: clock.plannedMs > 0 ? Math.min(1, stepMs / clock.plannedMs) : 0,
-      referenceMinutes: clock.referenceMinutes,
-      speed: clock.speed,
-      basis: clock.basis,
-      chapterMinutes: clock.chapterMinutes,
-    };
-  }
-  remaining(task, now) {
-    return this.view(task, now).remainingMs || 0;
-  }
-  release(task, checkpoint, now) {
-    const slot = checkpoint.schedule,
-      clock = checkpoint.activityClock;
-    if (
-      task.activity !== "game" &&
-      slot?.chosenAt &&
-      clock.phase === "engaged"
-    ) {
-      const base = Math.max(clock.baselineMs, slot.baselineMs || 0);
-      const remainingAtStart = Math.max(
-        0,
-        clock.plannedMs - (base - clock.baselineMs),
-      );
-      const quota = Math.max(
-        MINUTE,
-        this.time.focusMs(task) - Math.max(0, base - (slot.baselineMs || 0)),
-      );
-      if (remainingAtStart > quota)
-        checkpoint = {
-          ...checkpoint,
-          activityClock: {
-            ...clock,
-            originalEstimateMs: clock.originalEstimateMs || clock.plannedMs,
-            baselineMs: base,
-            plannedMs: quota,
-          },
-        };
-    }
-    this.db
-      .prepare(
-        "UPDATE mind_time_spans SET updated=? WHERE task_id=? AND ended IS NULL",
-      )
-      .run(now, task.id);
-    const rest = this.time.focusMs(task),
-      remaining = Math.max(
-        0,
-        Math.round(
-          checkpoint.activityClock.plannedMs -
-            (this.committed(task.id) - checkpoint.activityClock.baselineMs),
-        ),
-      );
-    this.db
-      .prepare(
-        "UPDATE mind_time_tasks SET checkpoint=?,next_step=?,lease=NULL,lease_at=NULL,revision=revision+1 WHERE id=?",
-      )
-      .run(
-        JSON.stringify(checkpoint),
-        now + Math.min(rest, remaining),
-        task.id,
-      );
-  }
-}
+import { text } from "../util.js";
+import { activityMinutes } from "./kinds.js";
+const MINUTE = 60000;
+export function activityEstimate(activity, hint, speed = 1.25) {
+  const fallback = activityMinutes(activity),
+    proposed = Number(hint?.minutes);
+  const referenceMinutes =
+    Number.isFinite(proposed) && proposed >= 5 && proposed <= 240
+      ? proposed
+      : fallback[0];
+  const pace =
+    Number.isFinite(speed) && speed >= 1 && speed <= 2 ? speed : 1.25;
+  return {
+    referenceMinutes,
+    plannedMs: Math.ceil((referenceMinutes * MINUTE) / pace),
+    speed: pace,
+    basis: text(hint?.basis, 240) || fallback[1],
+    scope: "本段",
+    chapterMinutes:
+      Number.isFinite(hint?.chapterMinutes) &&
+      hint.chapterMinutes >= referenceMinutes &&
+      hint.chapterMinutes <= 6000
+        ? hint.chapterMinutes
+        : null,
+  };
+}
+export class ActivityClock {
+  constructor(time) {
+    this.time = time;
+    this.db = time.db;
+  }
+  committed(id) {
+    return this.db
+      .prepare(
+        "SELECT COALESCE(SUM(engaged_ms),0) n FROM mind_time_spans WHERE task_id=?",
+      )
+      .get(id).n;
+  }
+  record(span, ms) {
+    if (ms > 0)
+      this.db
+        .prepare(
+          "INSERT OR IGNORE INTO mind_time_activity_ticks(span_id,started,ended) VALUES(?,?,?)",
+        )
+        .run(span.id, span.updated, span.updated + ms);
+  }
+  today(spanId, start, now) {
+    return this.db
+      .prepare(
+        "SELECT COALESCE(SUM(MAX(0,MIN(ended,?)-MAX(started,?))),0) n FROM mind_time_activity_ticks WHERE span_id=? AND ended>? AND started<?",
+      )
+      .get(now, start, spanId, start, now).n;
+  }
+  credit(task, delta) {
+    const clock = task.checkpoint?.activityClock;
+    if (
+      !clock ||
+      clock.phase !== "engaged" ||
+      task.lease ||
+      task.state !== "doing"
+    )
+      return 0;
+    return Math.max(
+      0,
+      Math.min(
+        delta,
+        Math.round(
+          clock.plannedMs - (this.committed(task.id) - clock.baselineMs),
+        ),
+      ),
+    );
+  }
+  elapsed(task, now = this.time.now()) {
+    const total = this.committed(task.id),
+      span = this.db
+        .prepare(
+          "SELECT updated FROM mind_time_spans WHERE task_id=? AND ended IS NULL",
+        )
+        .get(task.id);
+    return (
+      total +
+      (span
+        ? this.credit(task, Math.max(0, Math.min(MINUTE, now - span.updated)))
+        : 0)
+    );
+  }
+  plan(task, hint, now) {
+    const estimate = activityEstimate(
+      task.activity,
+      hint,
+      this.time.settings().paceSpeed,
+    );
+    if (task.checkpoint.schedule?.chosenAt) {
+      const used =
+        this.db
+          .prepare(
+            "SELECT engaged_ms FROM mind_time_spans WHERE task_id=? AND ended IS NULL",
+          )
+          .get(task.id)?.engaged_ms || 0;
+      estimate.plannedMs = Math.min(
+        estimate.plannedMs,
+        Math.max(MINUTE, this.time.focusMs(task) - used),
+      );
+    }
+    return {
+      version: 1,
+      phase: "engaged",
+      ...estimate,
+      baselineMs: this.committed(task.id),
+      started: now,
+    };
+  }
+  view(task, now = this.time.now()) {
+    const clock = task.checkpoint?.activityClock;
+    if (!clock)
+      return {
+        phase:
+          !this.time.fixtureImmediate &&
+          this.time.operationElapsed(task.id, now) > 0
+            ? "legacy"
+            : "unstarted",
+        elapsedMs: this.time.fixtureImmediate
+          ? this.time.operationElapsed(task.id, now)
+          : null,
+        plannedMs: null,
+      };
+    const elapsedMs = this.elapsed(task, now),
+      stepMs = Math.max(0, elapsedMs - clock.baselineMs);
+    return {
+      phase: clock.phase,
+      elapsedMs,
+      stepMs,
+      plannedMs: clock.plannedMs,
+      remainingMs: Math.max(0, Math.round(clock.plannedMs - stepMs)),
+      progress: clock.plannedMs > 0 ? Math.min(1, stepMs / clock.plannedMs) : 0,
+      referenceMinutes: clock.referenceMinutes,
+      speed: clock.speed,
+      basis: clock.basis,
+      chapterMinutes: clock.chapterMinutes,
+    };
+  }
+  remaining(task, now) {
+    return this.view(task, now).remainingMs || 0;
+  }
+  release(task, checkpoint, now) {
+    const slot = checkpoint.schedule,
+      clock = checkpoint.activityClock;
+    if (
+      task.activity !== "game" &&
+      slot?.chosenAt &&
+      clock.phase === "engaged"
+    ) {
+      const base = Math.max(clock.baselineMs, slot.baselineMs || 0);
+      const remainingAtStart = Math.max(
+        0,
+        clock.plannedMs - (base - clock.baselineMs),
+      );
+      const quota = Math.max(
+        MINUTE,
+        this.time.focusMs(task) - Math.max(0, base - (slot.baselineMs || 0)),
+      );
+      if (remainingAtStart > quota)
+        checkpoint = {
+          ...checkpoint,
+          activityClock: {
+            ...clock,
+            originalEstimateMs: clock.originalEstimateMs || clock.plannedMs,
+            baselineMs: base,
+            plannedMs: quota,
+          },
+        };
+    }
+    this.db
+      .prepare(
+        "UPDATE mind_time_spans SET updated=? WHERE task_id=? AND ended IS NULL",
+      )
+      .run(now, task.id);
+    const rest = this.time.focusMs(task),
+      remaining = Math.max(
+        0,
+        Math.round(
+          checkpoint.activityClock.plannedMs -
+            (this.committed(task.id) - checkpoint.activityClock.baselineMs),
+        ),
+      );
+    this.db
+      .prepare(
+        "UPDATE mind_time_tasks SET checkpoint=?,next_step=?,lease=NULL,lease_at=NULL,revision=revision+1 WHERE id=?",
+      )
+      .run(
+        JSON.stringify(checkpoint),
+        now + Math.min(rest, remaining),
+        task.id,
+      );
+  }
+}

package/server/mind/time/availability.js

@@ -1,69 +1,69 @@
-import { gameTopic } from "./intent.js";
-import { isExecutable, needsEnergy } from "./kinds.js";
-export function unsupportedAction(task) {
-  return task.activity === "unknown" &&
-    /点.{0,8}外卖|下单|购买|实拍|拍照给|尝.{0,6}(?:味道|好吃)/.test(task.title)
-    ? "除了她此刻真正能做的事，没有下单或实拍的执行能力，需要调整这条约定；仍未兑现"
-    : "";
-}
-export function gameName(time, task) {
-  return (
-    task.checkpoint.topic ||
-    gameTopic(task.title) ||
-    (task.project_id && time.works.project(task.project_id)?.bible?.topic) ||
-    ""
-  );
-}
-export function executionBlock(time, task, now) {
-  const life = time.search.life;
-  const unsupported = unsupportedAction(task);
-  if (unsupported) return unsupported;
-  if (task.activity === "unknown" || !isExecutable(task.activity))
-    return task.activity === "unknown"
-      ? "需要把行动内容想具体"
-      : "所需插件已停用";
-  if (!time.allowed(task, now)) return "来源已经撤销";
-  if (task.depends_on && time.tasks.get(task.depends_on)?.state !== "done")
-    return "等待前一件事完成";
-  if (
-    task.checkpoint.pendingStep?.chunk &&
-    !time.db
-      .prepare("SELECT 1 FROM core_chunks WHERE id=?")
-      .get(task.checkpoint.pendingStep.chunk.id)
-  )
-    return "书架这段内容已不可用";
-  if (life?.closed) return "实例已停止";
-  if (life && (!life.settings().solitude || life.repo.store.settings().demo))
-    return "自己的活动目前关闭";
-  if (
-    task.session_id &&
-    life &&
-    !life.chat.enabled(task.session_id, { simulated: false })
-  )
-    return "来源会话目前未启用";
-  if (!task.checkpoint.pendingStep && !time.mind.budget.allows("inner", now))
-    return "今日独处预算不足";
-  if (needsEnergy(task.activity) && time.mind.affect.state(now).energy < 0.18)
-    return "精力较低，先恢复一会儿再投入";
-  if (
-    task.activity === "read" &&
-    !task.checkpoint.pendingStep?.chunk &&
-    !time.mind.reading.unreadCount()
-  )
-    return "书架没有可读资料";
-  if (task.activity === "game") {
-    if (!gameName(time, task)) return "需要自己选定要玩的游戏";
-    if (!task.checkpoint.sourceIds?.length) {
-      const why = time.search.ready(now);
-      if (why) return why;
-    }
-  }
-  if (life && !task.checkpoint.pendingStep) {
-    try {
-      life.profile();
-    } catch {
-      return "等待可用模型";
-    }
-  }
-  return "";
-}
+import { gameTopic } from "./intent.js";
+import { isExecutable, needsEnergy } from "./kinds.js";
+export function unsupportedAction(task) {
+  return task.activity === "unknown" &&
+    /点.{0,8}外卖|下单|购买|实拍|拍照给|尝.{0,6}(?:味道|好吃)/.test(task.title)
+    ? "除了她此刻真正能做的事，没有下单或实拍的执行能力，需要调整这条约定；仍未兑现"
+    : "";
+}
+export function gameName(time, task) {
+  return (
+    task.checkpoint.topic ||
+    gameTopic(task.title) ||
+    (task.project_id && time.works.project(task.project_id)?.bible?.topic) ||
+    ""
+  );
+}
+export function executionBlock(time, task, now) {
+  const life = time.search.life;
+  const unsupported = unsupportedAction(task);
+  if (unsupported) return unsupported;
+  if (task.activity === "unknown" || !isExecutable(task.activity))
+    return task.activity === "unknown"
+      ? "需要把行动内容想具体"
+      : "所需插件已停用";
+  if (!time.allowed(task, now)) return "来源已经撤销";
+  if (task.depends_on && time.tasks.get(task.depends_on)?.state !== "done")
+    return "等待前一件事完成";
+  if (
+    task.checkpoint.pendingStep?.chunk &&
+    !time.db
+      .prepare("SELECT 1 FROM core_chunks WHERE id=?")
+      .get(task.checkpoint.pendingStep.chunk.id)
+  )
+    return "书架这段内容已不可用";
+  if (life?.closed) return "实例已停止";
+  if (life && (!life.settings().solitude || life.repo.store.settings().demo))
+    return "自己的活动目前关闭";
+  if (
+    task.session_id &&
+    life &&
+    !life.chat.enabled(task.session_id, { simulated: false })
+  )
+    return "来源会话目前未启用";
+  if (!task.checkpoint.pendingStep && !time.mind.budget.allows("inner", now))
+    return "今日独处预算不足";
+  if (needsEnergy(task.activity) && time.mind.affect.state(now).energy < 0.18)
+    return "精力较低，先恢复一会儿再投入";
+  if (
+    task.activity === "read" &&
+    !task.checkpoint.pendingStep?.chunk &&
+    !time.mind.reading.unreadCount()
+  )
+    return "书架没有可读资料";
+  if (task.activity === "game") {
+    if (!gameName(time, task)) return "需要自己选定要玩的游戏";
+    if (!task.checkpoint.sourceIds?.length) {
+      const why = time.search.ready(now);
+      if (why) return why;
+    }
+  }
+  if (life && !task.checkpoint.pendingStep) {
+    try {
+      life.profile();
+    } catch {
+      return "等待可用模型";
+    }
+  }
+  return "";
+}