@quolu/lattice 0.13.0 → 0.15.0

package/bin/lattice.mjs

@@ -14,6 +14,11 @@ if (help !== null) {
   process.stdout.write(help);
 } else if (args.length === 1 && args[0] === '--version') {
   process.stdout.write(`${packageJson.version}\n`);
+} else if (args.length === 2 && args[0] === 'session-context' && args[1] === '--json') {
+  const { runSessionContext } = await import('../src/project-cli.mjs');
+  process.exitCode = await runSessionContext({
+    cwd: process.cwd(), stdout: process.stdout, cliVersion: packageJson.version,
+  });
 } else if (args.length === 2 && args[0] === 'status' && args[1] === '--json') {
   const { projectStatusFailure, runProjectStatus } = await import('../src/project-cli.mjs');
   try {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@quolu/lattice",
-  "version": "0.13.0",
+  "version": "0.15.0",
   "description": "Lattice — phase-aware TODO graph compiler and conflict-aware orchestration runtime",
   "type": "module",
   "license": "MIT",
@@ -60,7 +60,7 @@
     "test": "node scripts/run-product-tests.mjs",
     "test:sensor": "npm --prefix sensor test",
     "precheck": "node --check src/bridge-launch-agent.mjs",
-    "check": "node --check bin/lattice.mjs && node --check bin/lattice-mcp.mjs && node --check bin/lattice-dashboard.mjs && node --check bin/lattice-bridge.mjs && node --check bin/lattice-scripted-adapter.mjs && node --check src/cli-stdio.mjs && node --check src/bridge-address.mjs && node --check src/bridge-registrar.mjs && node --check src/todo-independence-guidance.mjs && node --check src/todo-independence.mjs && node --check src/todo-independence-contracts.mjs && node --check src/todo-gantt-layout.mjs && node --check src/todo-gantt-scope.mjs && node --check src/bridge-config.mjs && node --check src/bridge-server.mjs && node --check src/bridge-daemon.mjs && node --check src/bridge-cli.mjs && node --check src/project-cli.mjs && node --check src/sensor-cli.mjs && node --check src/sensor-runtime.mjs && node --check src/sensor-adapter.mjs && node --check src/factory-diagnostics.mjs && node --check src/runtime-errors.mjs && node --check src/runtime-contracts.mjs && node --check src/runtime-event-store.mjs && node --check src/runtime-adapter-registry.mjs && node --check src/runtime-scripted-adapter-controller.mjs && node --check src/hash-chain.mjs && node --check src/dag-chain.mjs && node --check src/todo-contracts.mjs && node --check src/todo-chain.mjs && node --check src/todo-store.mjs && node --check src/todo-migration.mjs && node --check src/todo-revision.mjs && node --check src/todo-status.mjs && node --check src/todo-cli.mjs && node --check src/todo-dashboard-registry.mjs && node --check src/todo-gantt-presentation.mjs && node --check src/todo-gantt-live.mjs && node --check src/bounded-seam.mjs && node --check src/todo-narrative-anchor.mjs && node --check src/todo-markdown-renderer.mjs && node --check src/todo-gantt-svg.mjs && node --check src/todo-gantt-html.mjs && node --check src/runtime-projection.mjs && node --check src/runtime-decision-verifier.mjs && node --check src/runtime-front-end.mjs && node --check src/runtime-cli.mjs && node --check src/rc3-dogfood-scaffold.mjs && node --check src/runtime-engine.mjs && node --check src/runtime-scripted-executor.mjs && node --check src/runtime-diff-observer.mjs && node --check src/runtime-worktree-executor.mjs && node --check src/runtime-hold-recompile.mjs && node --check src/rc3-scripted-campaign.mjs && node --check src/rc3-actual-dogfood.mjs && node --check src/rc4-stage1-dogfood.mjs && node --check research/fixtures/dispatch-record/src/dispatch-record.mjs && node --check test/research-dispatch-record.test.mjs",
+    "check": "node --check bin/lattice.mjs && node --check bin/lattice-mcp.mjs && node --check bin/lattice-dashboard.mjs && node --check bin/lattice-bridge.mjs && node --check bin/lattice-scripted-adapter.mjs && node --check src/cli-stdio.mjs && node --check src/bridge-address.mjs && node --check src/bridge-registrar.mjs && node --check src/todo-independence-guidance.mjs && node --check src/todo-independence.mjs && node --check src/todo-independence-contracts.mjs && node --check src/seam-proposal-contracts.mjs && node --check src/seam-proposal-queries.mjs && node --check src/seam-proposal.mjs && node --check src/todo-gantt-layout.mjs && node --check src/todo-gantt-scope.mjs && node --check src/bridge-config.mjs && node --check src/bridge-server.mjs && node --check src/bridge-daemon.mjs && node --check src/bridge-cli.mjs && node --check src/project-cli.mjs && node --check src/sensor-cli.mjs && node --check src/sensor-runtime.mjs && node --check src/sensor-adapter.mjs && node --check src/factory-diagnostics.mjs && node --check src/runtime-errors.mjs && node --check src/runtime-contracts.mjs && node --check src/runtime-event-store.mjs && node --check src/runtime-adapter-registry.mjs && node --check src/runtime-scripted-adapter-controller.mjs && node --check src/hash-chain.mjs && node --check src/dag-chain.mjs && node --check src/todo-contracts.mjs && node --check src/todo-chain.mjs && node --check src/todo-store.mjs && node --check src/todo-migration.mjs && node --check src/todo-revision.mjs && node --check src/todo-status.mjs && node --check src/todo-cli.mjs && node --check src/todo-dashboard-registry.mjs && node --check src/todo-gantt-presentation.mjs && node --check src/todo-gantt-live.mjs && node --check src/bounded-seam.mjs && node --check src/todo-narrative-anchor.mjs && node --check src/todo-markdown-renderer.mjs && node --check src/todo-gantt-svg.mjs && node --check src/todo-gantt-html.mjs && node --check src/runtime-projection.mjs && node --check src/runtime-decision-verifier.mjs && node --check src/runtime-front-end.mjs && node --check src/runtime-cli.mjs && node --check src/rc3-dogfood-scaffold.mjs && node --check src/runtime-engine.mjs && node --check src/runtime-scripted-executor.mjs && node --check src/runtime-diff-observer.mjs && node --check src/runtime-worktree-executor.mjs && node --check src/runtime-hold-recompile.mjs && node --check src/rc3-scripted-campaign.mjs && node --check src/rc3-actual-dogfood.mjs && node --check src/rc4-stage1-dogfood.mjs && node --check research/fixtures/dispatch-record/src/dispatch-record.mjs && node --check test/research-dispatch-record.test.mjs",
     "check:project-identity": "node --check src/project-identity.mjs",
     "ci": "npm run test && npm run test:sensor && npm run check && npm run check:project-identity"
   }

package/src/cli-help.mjs

@@ -4,6 +4,7 @@ const ROOT_HELP = `Usage: lattice <command> [options]
 
 Commands:
   status --json                 Discover the current project and next action
+  session-context --json        Session開始時の現在地を1プロセスで返す（工程状態＋並列可否）
   plan <command>                Create, compile, or verify plans
   run <command>                 Start or observe compiled runs
   event verify                  Verify a runtime event log
@@ -52,6 +53,7 @@ Read commands:
   status [--json]
   bindings [--plan <key>] [--json]   # compile_binding付きTaskをTODO identityつきで投影する
   independence [--plan <key>] [--json]  # readyを検証済み並列・要直列・未検査へ分けて投影する
+  seam-proposal [--plan <key>] [--json]  # 記録済みseam提案をsensor無しで投影する
   verify [--plan <key>] [--json]
   snapshot --rebuild --plan <key>
   gantt [--out <file>] [--scope live|all]  # 既定live: 完走した工程を図から除く（一覧には残る）
@@ -68,6 +70,7 @@ Write commands:
   evidence promote --plan <key> --task <id> --evidence <file>
   independence compile --plan <key> --input <file>  # witness setとsensorから並列可否を記録する
   independence witness migrate --plan <key>  # revision後の宣言をtask migrationで写す
+  seam-proposal compile --plan <key>  # 並列可否記録と実sensorからseam提案を記録する
   revise --plan <key> --input <file>
   revise-phase --plan <key> --input <file>
   revise-set --input <file>
@@ -129,6 +132,7 @@ const SUBCOMMAND_USAGE = Object.freeze({
   'todo status': 'todo status [--json]',
   'todo bindings': 'todo bindings [--plan <key>] [--json]',
   'todo independence': 'todo independence [--plan <key>] [--json] | compile --plan <key> --input <file> | witness migrate --plan <key>',
+  'todo seam-proposal': 'todo seam-proposal [--plan <key>] [--json] | compile --plan <key>',
   'todo verify': 'todo verify [--plan <key>] [--json]',
   'todo snapshot': 'todo snapshot --rebuild --plan <key>',
   'todo gantt': 'todo gantt [--out <file>] [--scope live|all] | status [--out <file>] | serve --port <port> [--scope live|all]',

package/src/project-cli.mjs

@@ -13,12 +13,16 @@ import {
   todoSelfDigest,
 } from './todo-contracts.mjs';
 import { projectTodoStatus } from './todo-status.mjs';
+import { projectIndependenceFrontier } from './todo-independence.mjs';
+import { isTodoIndependenceLegacyMarker } from './todo-independence-contracts.mjs';
+import { selectIndependenceGuidance } from './todo-independence-guidance.mjs';
 import { ensureTodoDashboardActivity } from './todo-dashboard-registry.mjs';
 import { resolveProjectIdentity } from './project-identity.mjs';
 import {
   buildTodoPlan,
   createTodoStoreWriter,
   initializeAuthoredTodoStore,
+  readTodoIndependenceArtifact,
   readTodoStore,
   TodoStoreError,
 } from './todo-store.mjs';
@@ -27,6 +31,9 @@ const STORE_REF = '.lattice/todo';
 const MANIFEST_REF = `${STORE_REF}/manifest.json`;
 const MAX_INPUT_BYTES = 8_388_608;
 const STATUS_SCHEMA = 'lattice.project_status.v1';
+const SESSION_CONTEXT_SCHEMA = 'lattice.session_context.v1';
+/** HEADが読めない環境でも投影を組めるようにする。記録があるときは実HEADで置き換わる。 */
+const PLACEHOLDER_SHA = '0'.repeat(40);
 const CREATE_INPUT_SCHEMA = 'lattice.plan_create_input.v1';
 const PHASE_CREATE_INPUT_SCHEMA = 'lattice.plan_create_input.v2';
 const DECOUPLED_PHASE_CREATE_INPUT_SCHEMA = 'lattice.plan_create_input.v3';
@@ -106,6 +113,74 @@ export function validateProjectStatus(value) {
   } catch { return false; }
 }
 
+/**
+ * readyのあるplanについてだけ並列可否を要約する（ADR 0131 Decision 5）。
+ *
+ * store読みは呼び出し側が済ませている。ここが払うのはplanごとの小さな記録ファイルと、
+ * 記録があるときだけのHEAD照合である。readyが無いplanは述べる対象が無いので載せない。
+ */
+async function summarizeIndependence({ repoRoot, store, todo }) {
+  const readyPlanKeys = [...new Set(todo.next_ready.map(({ plan_key: key }) => key))].sort();
+  if (readyPlanKeys.length === 0) return [];
+  const activeByPlan = new Map();
+  for (const task of todo.active_set) {
+    if (!activeByPlan.has(task.plan_key)) activeByPlan.set(task.plan_key, []);
+    activeByPlan.get(task.plan_key).push(task.task_id);
+  }
+  let currentBaseSha = null;
+  const summaries = [];
+  for (const planKey of readyPlanKeys) {
+    const member = store.members.find(({ descriptor }) => descriptor.plan_key === planKey);
+    if (member === undefined) continue;
+    let artifact = null;
+    try {
+      artifact = await readTodoIndependenceArtifact({ repoRoot, store, planKey });
+    } catch (error) {
+      // 読めない記録を「記録なし」へ丸めない。理由を載せて先へ進む。
+      summaries.push({
+        plan_key: planKey, coverage: null,
+        guidance: { code: 'independence_unrecorded', message: null, next_action: 'none' },
+        unreadable_reason: error instanceof TodoStoreError
+          ? `${error.code}:${error.detail?.reason ?? error.message}` : 'independence_unreadable',
+        parallel_groups: [], serialize_pair_count: 0,
+        conflict_with_active_count: 0, unknown_task_ids: [],
+      });
+      continue;
+    }
+    if (currentBaseSha === null && artifact !== null) currentBaseSha = gitHead(repoRoot);
+    const projected = projectIndependenceFrontier({
+      artifact,
+      readyTaskIds: todo.next_ready.filter((task) => task.plan_key === planKey)
+        .map(({ task_id: taskId }) => taskId),
+      activeTaskIds: activeByPlan.get(planKey) ?? [],
+      plan: member.plan,
+      currentBaseSha: currentBaseSha ?? PLACEHOLDER_SHA,
+      changedPaths: null,
+    });
+    summaries.push({
+      plan_key: planKey,
+      coverage: projected.coverage,
+      guidance: selectIndependenceGuidance({
+        coverage: projected.coverage,
+        contractSuperseded: isTodoIndependenceLegacyMarker(artifact),
+        readyCount: todo.next_ready.filter((task) => task.plan_key === planKey).length,
+        taskDeclared: projected.frontier.unknown
+          .every(({ unknowns }) => !unknowns.some(({ kind }) => kind === 'witness_missing')),
+        taskStale: projected.frontier.unknown
+          .some(({ unknowns }) => unknowns.some(({ kind }) => kind === 'record_stale')),
+        conflictWithActive: projected.frontier.conflicts_with_active[0]?.severability ?? null,
+        conflictBetweenReady: projected.frontier.serialize_pairs[0]?.severability ?? null,
+      }),
+      unreadable_reason: null,
+      parallel_groups: projected.frontier.parallel_groups.map(({ task_ids: ids }) => [...ids]),
+      serialize_pair_count: projected.frontier.serialize_pairs.length,
+      conflict_with_active_count: projected.frontier.conflicts_with_active.length,
+      unknown_task_ids: projected.frontier.unknown.map(({ task_id: taskId }) => taskId),
+    });
+  }
+  return summaries;
+}
+
 function statusResult(fields) {
   const result = { schema: STATUS_SCHEMA, ...fields, result_digest: '' };
   result.result_digest = resultDigest(result);
@@ -124,12 +199,18 @@ function invalidStatus({ cliVersion, repoRoot, reason }) {
   });
 }
 
-export async function runProjectStatus({ cwd, stdout, cliVersion, env = process.env,
-  ensureDashboardActivity = ensureTodoDashboardActivity }) {
+/**
+ * discoveryとstore読みを1回で済ませ、status結果と（読めたなら）storeを返す。
+ *
+ * `runProjectStatus`と`runSessionContext`が同じ判定を二度書かないための共有点。
+ * store読みはここでしか行わない——session開始経路が同じstoreを二度払っていたのが
+ * ADR 0131で直した欠陥である。
+ */
+async function resolveProjectState({ cwd, cliVersion }) {
   const repoRoot = resolveRepoRoot(cwd);
   if (repoRoot === null) {
-    stdout.write(`${JSON.stringify(invalidStatus({ cliVersion, repoRoot, reason: 'git_repository_unresolved' }))}\n`);
-    return 1;
+    return { exitCode: 1, repoRoot: null, store: null, todo: null,
+      result: invalidStatus({ cliVersion, repoRoot: null, reason: 'git_repository_unresolved' }) };
   }
   const storeAbsolute = path.join(repoRoot, STORE_REF);
   const manifestAbsolute = path.join(repoRoot, MANIFEST_REF);
@@ -137,30 +218,24 @@ export async function runProjectStatus({ cwd, stdout, cliVersion, env = process.
   let latticeState;
   let storeState;
   let manifestState;
+  const invalid = (reason) => ({
+    exitCode: 1, repoRoot, store: null, todo: null,
+    result: invalidStatus({ cliVersion, repoRoot, reason }),
+  });
   try { latticeState = await lstat(latticeAbsolute); } catch (error) {
-    if (error?.code !== 'ENOENT') {
-      stdout.write(`${JSON.stringify(invalidStatus({ cliVersion, repoRoot, reason: 'lattice_root_unreadable' }))}\n`);
-      return 1;
-    }
+    if (error?.code !== 'ENOENT') return invalid('lattice_root_unreadable');
   }
   if (latticeState !== undefined && (latticeState.isSymbolicLink() || !latticeState.isDirectory())) {
-    stdout.write(`${JSON.stringify(invalidStatus({ cliVersion, repoRoot, reason: 'lattice_root_invalid' }))}\n`);
-    return 1;
+    return invalid('lattice_root_invalid');
   }
   try { storeState = await lstat(storeAbsolute); } catch (error) {
-    if (error?.code !== 'ENOENT') {
-      stdout.write(`${JSON.stringify(invalidStatus({ cliVersion, repoRoot, reason: 'store_unreadable' }))}\n`);
-      return 1;
-    }
+    if (error?.code !== 'ENOENT') return invalid('store_unreadable');
   }
   try { manifestState = await lstat(manifestAbsolute); } catch (error) {
-    if (error?.code !== 'ENOENT') {
-      stdout.write(`${JSON.stringify(invalidStatus({ cliVersion, repoRoot, reason: 'manifest_unreadable' }))}\n`);
-      return 1;
-    }
+    if (error?.code !== 'ENOENT') return invalid('manifest_unreadable');
   }
   if (storeState === undefined && manifestState === undefined) {
-    const result = statusResult({
+    return { exitCode: 0, repoRoot, store: null, todo: null, result: statusResult({
       cli: { available: true, version: cliVersion },
       project: { root: repoRoot, git_head: gitHead(repoRoot), project_id: null },
       state: 'uninitialized',
@@ -171,14 +246,11 @@ export async function runProjectStatus({ cwd, stdout, cliVersion, env = process.
         input_schema: CURRENT_CREATE_INPUT_SCHEMA,
         schema_command: CURRENT_CREATE_SCHEMA_COMMAND,
       },
-    });
-    stdout.write(`${JSON.stringify(result)}\n`);
-    return 0;
+    }) };
   }
   if (storeState?.isSymbolicLink() || !storeState?.isDirectory()
     || manifestState?.isSymbolicLink() || !manifestState?.isFile()) {
-    stdout.write(`${JSON.stringify(invalidStatus({ cliVersion, repoRoot, reason: 'store_layout_invalid' }))}\n`);
-    return 1;
+    return invalid('store_layout_invalid');
   }
   try {
     const store = await readTodoStore({ repoRoot });
@@ -205,21 +277,60 @@ export async function runProjectStatus({ cwd, stdout, cliVersion, env = process.
       can_create_plan: false,
       next_action: next,
     });
-    if (env.LATTICE_DASHBOARD_AUTOSTART !== '0') {
-      const identity = await resolveProjectIdentity({ repoRoot, projectId: store.project_id, env });
-      const actorSession = env.LATTICE_TODO_ACTOR_SESSION;
-      await ensureDashboardActivity({
-        repoRoot, projectId: store.project_id, displayName: identity.displayName,
-        sessionId: isTodoIdentifier(actorSession) ? actorSession : `status-${process.pid}`, env,
-      });
-    }
-    stdout.write(`${JSON.stringify(result)}\n`);
-    return 0;
+    return { exitCode: 0, repoRoot, store, todo, result };
   } catch (error) {
-    const reason = error instanceof TodoStoreError ? `${error.code}:${error.detail?.reason ?? error.message}` : 'store_validation_failed';
-    stdout.write(`${JSON.stringify(invalidStatus({ cliVersion, repoRoot, reason }))}\n`);
-    return 1;
+    const reason = error instanceof TodoStoreError
+      ? `${error.code}:${error.detail?.reason ?? error.message}` : 'store_validation_failed';
+    return invalid(reason);
+  }
+}
+
+export async function runProjectStatus({ cwd, stdout, cliVersion, env = process.env,
+  ensureDashboardActivity = ensureTodoDashboardActivity }) {
+  const state = await resolveProjectState({ cwd, cliVersion });
+  // dashboard活動の登録はdiscovery面の副作用として維持する（ADR 0131 Decision 4で
+  // session-context側だけが持たない、と決めた面である）。
+  if (state.store !== null && env.LATTICE_DASHBOARD_AUTOSTART !== '0') {
+    const identity = await resolveProjectIdentity({
+      repoRoot: state.repoRoot, projectId: state.store.project_id, env,
+    });
+    const actorSession = env.LATTICE_TODO_ACTOR_SESSION;
+    await ensureDashboardActivity({
+      repoRoot: state.repoRoot, projectId: state.store.project_id,
+      displayName: identity.displayName,
+      sessionId: isTodoIdentifier(actorSession) ? actorSession : `status-${process.pid}`, env,
+    });
   }
+  stdout.write(`${JSON.stringify(state.result)}\n`);
+  return state.exitCode;
+}
+
+/**
+ * session開始時の現在地を1プロセス・1 store読みで返す（ADR 0131）。
+ *
+ * `lattice status`と`lattice todo status`は同じ`readTodoStore`を別プロセスで二重に払う。
+ * hostのSessionStartはその両方を呼ぶため、storeが育ったprojectでは実行枠を超えて
+ * 案内ごと捨てられていた。ここは合成であって置き換えではない——既存2面は不変で、
+ * それぞれの消費者を持ち続ける。
+ *
+ * dashboard活動の登録は行わない。現在地を知るために呼ぶ面であり、常駐面を起こす面ではない。
+ */
+export async function runSessionContext({ cwd, stdout, cliVersion }) {
+  const state = await resolveProjectState({ cwd, cliVersion });
+  const independence = state.store === null || state.todo === null
+    ? [] : await summarizeIndependence({ repoRoot: state.repoRoot, store: state.store, todo: state.todo });
+  const result = {
+    schema: SESSION_CONTEXT_SCHEMA,
+    // project discoveryの答えをそのまま埋める。hostは既存の検証器を再利用できる。
+    status: state.result,
+    // todoは`todo_status_result.v4`そのもの。新しい意味論を発明しない。
+    todo: state.todo,
+    independence,
+    result_digest: '',
+  };
+  result.result_digest = todoSelfDigest(result, 'result_digest');
+  stdout.write(`${JSON.stringify(result)}\n`);
+  return state.exitCode;
 }
 
 async function readCanonicalInput(repoRoot, inputRef) {