@quolu/lattice 0.12.21 → 0.12.23

package/package.json

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

package/src/cli-help.mjs

@@ -45,6 +45,7 @@ Commands:
 
 Read commands:
   status [--json]
+  bindings [--plan <key>] [--json]   # compile_binding付きTaskをTODO identityつきで投影する
   verify [--plan <key>] [--json]
   snapshot --rebuild --plan <key>
   gantt [--out <file>] [--scope live|all]  # 既定live: 完走した工程を図から除く（一覧には残る）
@@ -110,6 +111,7 @@ const SUBCOMMAND_USAGE = Object.freeze({
   'run list': 'run list --json',
   'event verify': 'event verify --run .lattice/runs/<id>',
   'todo status': 'todo status [--json]',
+  'todo bindings': 'todo bindings [--plan <key>] [--json]',
   '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/runtime-cli.mjs

@@ -1230,6 +1230,20 @@ export function reconstructHoldResultFromJournal({ journal, runId, requestId, in
   return result;
 }
 
+/** 現在registryが持つadapter kindを返す。registryが無ければ空配列（推測で埋めない）。 */
+async function registeredAdapterKinds(repoRoot) {
+  try {
+    const registry = JSON.parse(await readFile(
+      path.join(repoRoot, '.lattice/runtime/adapter-registry/registry.json'), 'utf8',
+    ));
+    if (!Array.isArray(registry?.entries)) return [];
+    return registry.entries
+      .map((entry) => entry?.adapter_kind)
+      .filter((kind) => typeof kind === 'string')
+      .sort();
+  } catch { return []; }
+}
+
 async function runActivate({ runDir, runRef, repoRoot, stdout, requestId = null }) {
   return withLifecycleLock(runDir, async () => {
   const { events, meta, managed } = await readRunStore(runDir);
@@ -1280,6 +1294,17 @@ async function runActivate({ runDir, runRef, repoRoot, stdout, requestId = null
       }
       await new Promise((resolve) => setTimeout(resolve, 20));
     }
+    // ADAPTER_NOT_REGISTEREDは「registryが無い／そのadapterのentryが無い」だけを意味し、
+    // 何をどこへ置けば解決するかをそれ自体は伝えない。行き止まりにしないため、
+    // 必要な成果物と現在registryが持つadapterを返す（ADR 0123と同じdiagnosability規律）。
+    if (code === 'ADAPTER_NOT_REGISTERED') {
+      throw new CliContractError(code, `managed activateが${response.outcome}で終了した: ${response.result?.unmet?.[1] ?? code}`, {
+        adapter_kind: meta?.executor_adapter ?? null,
+        required_artifact: '.lattice/runtime/adapter-registry/registry.json',
+        registered_adapters: await registeredAdapterKinds(repoRoot),
+        reason: 'run activateは登録済みexecutor adapterを要求する。adapter登録は現時点で公開CLI面ではない',
+      });
+    }
     throw new CliContractError(code, `managed activateが${response.outcome}で終了した: ${response.result?.unmet?.[1] ?? code}`);
   }
   // daemonがpointerまでcommitしたことを再読してから成功を返す。

package/src/todo-cli.mjs

@@ -46,7 +46,7 @@ import {
   appendTodoExtraction,
   validateTodoExtraction,
 } from './todo-migration.mjs';
-import { projectTodoStatus } from './todo-status.mjs';
+import { projectTodoBindings, projectTodoStatus } from './todo-status.mjs';
 import {
   parseTodoSourceRef, todoLegacyReconciliationDigest, validatePhaseTodoRevision,
   validateTodoRevision, validateTodoRevisionSet,
@@ -474,6 +474,10 @@ async function status({ repoRoot }) {
   return projectTodoStatus(await readTodoStore({ repoRoot }));
 }
 
+async function bindings({ repoRoot, requestedPlanKey }) {
+  return projectTodoBindings(await readTodoStore({ repoRoot }), { requestedPlanKey });
+}
+
 async function readNarrative(repoRoot, ref) {
   const canonicalRoot = await realpath(repoRoot);
   const source = parseTodoSourceRef(ref);
@@ -926,6 +930,13 @@ export async function runTodoCli({ argv, cwd, stdout, stderr, env = process.env
   if ((argv.length === 1 && argv[0] === 'status')
     || (argv.length === 2 && argv[0] === 'status' && argv[1] === '--json')) {
     action = (repoRoot) => status({ repoRoot });
+  } else if ((argv.length === 1 && argv[0] === 'bindings')
+    || (argv.length === 2 && argv[0] === 'bindings' && argv[1] === '--json')) {
+    action = (repoRoot) => bindings({ repoRoot, requestedPlanKey: null });
+  } else if ((argv.length === 3 || argv.length === 4) && argv[0] === 'bindings'
+    && argv[1] === '--plan' && isTodoIdentifier(argv[2])
+    && (argv.length === 3 || argv[3] === '--json')) {
+    action = (repoRoot) => bindings({ repoRoot, requestedPlanKey: argv[2] });
   } else if ((argv.length === 1 && argv[0] === 'verify')
     || (argv.length === 2 && argv[0] === 'verify' && argv[1] === '--json')) {
     action = (repoRoot) => verify({ repoRoot, requestedPlanKey: null });

package/src/todo-status.mjs

@@ -338,3 +338,63 @@ export function projectTodoStatus(readModel) {
   }
   return result;
 }
+
+export const TODO_BINDING_PROJECTION_SCHEMA = 'lattice.todo_binding_projection.v1';
+
+/**
+ * `compile_binding`が設定されたTaskだけを、TODO正本のidentityつきで投影する（ADR 0124）。
+ *
+ * これはTODO工程storeとruntime実行を結ぶ唯一の公開読み取り面である。host は
+ * `compiled_plan_digest`で`runtime_plan.v1`を、`base_sha`でrun requestのbaseを照合し、
+ * plan→`executor_packet.v1`→`executor_receipt.v1`（`packet_digest`帰属）まで辿れる。
+ *
+ * `todo_status_result.v4`は変更しない。binding投影は加算の別面とし、v4を受理する
+ * 既存hostを壊さない。
+ */
+export function projectTodoBindings(readModel, { requestedPlanKey = null } = {}) {
+  if (!plain(readModel) || readModel.schema !== 'lattice.todo_store_read.v1'
+    || !isTodoIdentifier(readModel.project_id) || !Array.isArray(readModel.members)) {
+    fail('TODO_STATUS_INVALID_INPUT', 'todo_status_read_model_invalid');
+  }
+  if (requestedPlanKey !== null && !isTodoIdentifier(requestedPlanKey)) {
+    fail('TODO_STATUS_INVALID_INPUT', 'todo_binding_plan_key_invalid');
+  }
+  const members = [...readModel.members].sort((left, right) => {
+    const leftKey = left?.plan?.plan_key ?? '';
+    const rightKey = right?.plan?.plan_key ?? '';
+    return leftKey < rightKey ? -1 : leftKey > rightKey ? 1 : 0;
+  });
+  const bindings = [];
+  let matchedPlan = requestedPlanKey === null;
+  for (const member of members) {
+    const plan = member?.plan;
+    if (!plain(plan) || !Array.isArray(plan.tasks)) continue;
+    if (requestedPlanKey !== null && plan.plan_key !== requestedPlanKey) continue;
+    if (requestedPlanKey !== null) matchedPlan = true;
+    for (const task of plan.tasks) {
+      if (!plain(task) || task.compile_binding === null || task.compile_binding === undefined) continue;
+      bindings.push({
+        project_id: plan.project_id,
+        plan_key: plan.plan_key,
+        plan_version: plan.plan_version,
+        task_id: task.task_id,
+        compile_binding: task.compile_binding,
+      });
+      if (bindings.length > TODO_STATUS_LIST_LIMIT) {
+        fail('TODO_SCALE_EXCEEDED', 'todo_binding_projection_limit_exceeded', {
+          binding_limit: TODO_STATUS_LIST_LIMIT,
+        });
+      }
+    }
+  }
+  if (!matchedPlan) fail('TODO_STATUS_INVALID_INPUT', 'todo_binding_plan_not_found');
+  const result = {
+    schema: TODO_BINDING_PROJECTION_SCHEMA,
+    project_id: readModel.project_id,
+    plan_key: requestedPlanKey,
+    bindings,
+    result_digest: '',
+  };
+  result.result_digest = todoSelfDigest(result, 'result_digest');
+  return result;
+}