@quolu/lattice 0.12.5 → 0.12.7

package/README.md

@@ -82,6 +82,9 @@ required evidenceを束縛した`todo phase accept`で重監査の判断を記
 session開始時のtyped discoveryで使う`lattice status --json`と、actor環境変数を持つ通常のTODO操作は
 active projectを自動登録し、一つのloopback dashboard daemonを再利用します。
 `/projects/`の一覧からproject固有の工程図を開け、各projectのSSE更新は互いに分離されます。
+dashboardはmanifestのfile identityが変わらない間のstable store readを再利用します。
+巨大工程図のrender中にhealth応答が遅れても、生存中dashboardを新daemonで置き換えず
+`DASHBOARD_DAEMON_UNRESPONSIVE`としてtyped拒否します。
 最近のsession activityが期限切れでも、Lattice storeの`active_set`が非空なprojectは一覧へ残ります。
 長時間の外部処理中にCLI呼出しが途切れても進行中projectを休眠扱いしません。
 LANや外部reverse proxyから閲覧するoptional bridgeは既定で無効です。明示したIPにだけbindする初回設定、

package/bin/lattice-dashboard.mjs

@@ -1,5 +1,8 @@
 #!/usr/bin/env node
 
+import { stat } from 'node:fs/promises';
+import path from 'node:path';
+
 import { readTodoStoreStable } from '../src/todo-store.mjs';
 import { projectTodoStatus } from '../src/todo-status.mjs';
 import { renderTodoGanttForProject } from '../src/todo-cli.mjs';
@@ -29,12 +32,33 @@ const port = typeof configured === 'string' && /^(?:0|[1-9][0-9]{0,4})$/u.test(c
 const registry = createTodoGanttProjectRegistry();
 const roots = new Map();
 const reportedStoreReadFailures = new Set();
+const storeCache = new Map();
+
+function manifestFingerprint(value) {
+  return `${value.dev}:${value.ino}:${value.size}:${value.mtimeMs}:${value.ctimeMs}`;
+}
+
+async function readCachedStore(repoRoot) {
+  const manifestRef = path.join(repoRoot, '.lattice', 'todo', 'manifest.json');
+  for (let attempt = 0; attempt < 3; attempt += 1) {
+    const beforeFingerprint = manifestFingerprint(await stat(manifestRef));
+    const cached = storeCache.get(repoRoot);
+    if (cached?.fingerprint === beforeFingerprint) return cached.store;
+    const store = await readTodoStoreStable({ repoRoot });
+    const afterFingerprint = manifestFingerprint(await stat(manifestRef));
+    if (beforeFingerprint === afterFingerprint) {
+      storeCache.set(repoRoot, { fingerprint: afterFingerprint, store });
+      return store;
+    }
+  }
+  return readTodoStoreStable({ repoRoot });
+}
 
 async function synchronize() {
   const active = await readVisibleTodoDashboardProjects({ env,
     projectHasActiveRun: async (entry) => {
       try {
-        const active = projectTodoStatus(await readTodoStoreStable({ repoRoot: entry.repo_root })).active_set.length > 0;
+        const active = projectTodoStatus(await readCachedStore(entry.repo_root)).active_set.length > 0;
         reportedStoreReadFailures.delete(entry.project_id);
         return active;
       } catch (error) {
@@ -62,11 +86,12 @@ async function synchronize() {
       projectId: entry.project_id,
       displayName: entry.display_name,
       render: async ({ displayName }) => {
+        const store = await readCachedStore(entry.repo_root);
         const result = await renderTodoGanttForProject({ repoRoot: entry.repo_root,
-          stable: true, displayName });
+          stable: true, displayName, readModel: store });
         return { html: result.rendered.html, head_digest: result.metadata.manifest_digest };
       },
-      readHead: async () => (await readTodoStoreStable({ repoRoot: entry.repo_root })).manifest.manifest_digest,
+      readHead: async () => (await readCachedStore(entry.repo_root)).manifest.manifest_digest,
     });
     roots.set(entry.project_id, binding);
   }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@quolu/lattice",
-  "version": "0.12.5",
+  "version": "0.12.7",
   "description": "Lattice — phase-aware TODO graph compiler and conflict-aware orchestration runtime",
   "type": "module",
   "license": "MIT",

package/src/bridge-server.mjs

@@ -67,7 +67,9 @@ async function readDashboardDescriptor(ref) {
   } finally { await handle?.close(); }
 }
 
-export async function resolveBridgeUpstream(upstream, { env = process.env } = {}) {
+export async function resolveBridgeUpstream(upstream, {
+  env = process.env, healthTimeoutMs = 2_000,
+} = {}) {
   if (upstream.mode === 'url') return new URL(upstream.url);
   let descriptor;
   try {
@@ -84,7 +86,7 @@ export async function resolveBridgeUpstream(upstream, { env = process.env } = {}
   }
   try {
     const response = await fetch(`http://127.0.0.1:${descriptor.port}/__lattice/health`, {
-      signal: AbortSignal.timeout(500),
+      signal: AbortSignal.timeout(healthTimeoutMs),
     });
     const health = response.status === 200 ? await response.json() : null;
     if (health?.schema !== 'lattice.todo_dashboard_health.v1' || health.pid !== descriptor.pid

package/src/runtime-hold-recompile.mjs

@@ -77,6 +77,14 @@ function sortedUnique(values, predicate) {
       || canonicalizeArtifact(values[index - 1]) < canonicalizeArtifact(value));
 }
 
+function primaryFirstUnique(values, predicate) {
+  if (!Array.isArray(values) || !values.every(predicate)
+    || new Set(values).size !== values.length) return false;
+  const tail = values.slice(1);
+  return tail.every((value, index) => index === 0
+    || canonicalizeArtifact(tail[index - 1]) < canonicalizeArtifact(value));
+}
+
 /** ADR 0064 Decision 5のfull predecessor→successor mapping。 */
 export function validateRuntimeTaskMigration(value, { predecessorTaskIds = null,
   successorTaskIds = null } = {}) {
@@ -92,7 +100,7 @@ export function validateRuntimeTaskMigration(value, { predecessorTaskIds = null,
       || !IDENTIFIER.test(entry.predecessor_task_id ?? '')
       || !['carry', 'replace', 'split', 'retire', 'stay'].includes(entry.disposition)
       || typeof entry.reason !== 'string' || entry.reason.length === 0
-      || !sortedUnique(entry.successor_task_ids, (id) => IDENTIFIER.test(id))
+      || !primaryFirstUnique(entry.successor_task_ids, (id) => IDENTIFIER.test(id))
       || !sortedUnique(entry.evidence_digests, (digest) => HEX_DIGEST.test(digest))) return false;
     if (['carry', 'stay'].includes(entry.disposition)
       && canonicalizeArtifact(entry.successor_task_ids) !== canonicalizeArtifact([entry.predecessor_task_id])) return false;

package/src/todo-cli.mjs

@@ -634,9 +634,10 @@ function parseGanttDescriptor(bytes, descriptorRef) {
 }
 
 export async function renderTodoGanttForProject({
-  repoRoot, stable = false, displayName = null, env = process.env,
+  repoRoot, stable = false, displayName = null, env = process.env, readModel = null,
 }) {
-  const store = stable ? await readTodoStoreStable({ repoRoot }) : await readTodoStore({ repoRoot });
+  const store = readModel
+    ?? (stable ? await readTodoStoreStable({ repoRoot }) : await readTodoStore({ repoRoot }));
   const identity = displayName === null
     ? await resolveProjectIdentity({ repoRoot, projectId: store.project_id, env })
     : { displayName };

package/src/todo-dashboard-registry.mjs

@@ -171,11 +171,11 @@ function validDaemonDescriptor(descriptor) {
     && typeof descriptor.started_at === 'string' && Number.isFinite(Date.parse(descriptor.started_at));
 }
 
-async function daemonAttestation(descriptor) {
+async function daemonAttestation(descriptor, { timeoutMs = 2_000 } = {}) {
   if (!validDaemonDescriptor(descriptor)) return null;
   try {
     const response = await fetch(`http://127.0.0.1:${descriptor.port}/__lattice/health`, {
-      signal: AbortSignal.timeout(500),
+      signal: AbortSignal.timeout(timeoutMs),
     });
     if (response.status !== 200) return null;
     const body = await response.json();
@@ -257,13 +257,20 @@ export async function writeTodoDashboardDaemonDescriptor({ port, env = process.e
 
 export async function ensureTodoDashboardDaemon({ env = process.env, spawnDaemon = spawn,
   signalProcess = process.kill, isProcessAlive = processIsAlive, startupTimeoutMs = 4_000,
-  legacyStopTimeoutMs = 3_000, replacementIsProcessAlive = processIsAlive } = {}) {
+  legacyStopTimeoutMs = 3_000, replacementIsProcessAlive = processIsAlive,
+  attestationTimeoutMs = 2_000 } = {}) {
   const refs = paths(env);
   await mkdir(refs.root, { recursive: true, mode: 0o700 });
   return withLock(refs.startupLock, async () => {
     const existing = await readJson(refs.descriptor, null);
-    const existingAttestation = await daemonAttestation(existing);
+    const existingAttestation = await daemonAttestation(existing, { timeoutMs: attestationTimeoutMs });
     if (existingAttestation === 'current') return existing;
+    if (validDaemonDescriptor(existing) && existingAttestation === null
+      && await isProcessAlive(existing.pid)) {
+      const error = new Error('dashboard daemon is alive but temporarily unresponsive');
+      error.code = 'DASHBOARD_DAEMON_UNRESPONSIVE';
+      throw error;
+    }
     const legacy = existingAttestation === 'legacy' ? existing : null;
     const portText = env.LATTICE_DASHBOARD_PORT;
     const configuredPort = typeof portText === 'string' && /^(?:0|[1-9][0-9]{0,4})$/u.test(portText)

package/src/todo-revision.mjs

@@ -228,6 +228,8 @@ function validRuntimeTaskMigration(value) {
     || value.migration_digest !== todoSelfDigest(value, 'migration_digest')) return false;
   const targets = [];
   for (const [index, entry] of value.entries.entries()) {
+    const successorTail = Array.isArray(entry.successor_task_ids)
+      ? entry.successor_task_ids.slice(1) : [];
     if (!exactRecord(entry, [
       'predecessor_task_id', 'disposition', 'successor_task_ids', 'reason', 'evidence_digests',
     ]) || !isTodoIdentifier(entry.predecessor_task_id)
@@ -235,8 +237,8 @@ function validRuntimeTaskMigration(value) {
       || !Array.isArray(entry.successor_task_ids) || entry.successor_task_ids.length > 512
       || !entry.successor_task_ids.every(isTodoIdentifier)
       || new Set(entry.successor_task_ids).size !== entry.successor_task_ids.length
-      || entry.successor_task_ids.some((id, targetIndex) => targetIndex > 0
-        && compareText(entry.successor_task_ids[targetIndex - 1], id) >= 0)
+      || successorTail.some((id, targetIndex) => targetIndex > 0
+        && compareText(successorTail[targetIndex - 1], id) >= 0)
       || !boundedText(entry.reason) || !Array.isArray(entry.evidence_digests)
       || entry.evidence_digests.length < 1 || entry.evidence_digests.length > 512
       || !entry.evidence_digests.every(isTodoDigest)