@quolu/lattice 0.66.1 → 0.67.1

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@quolu/lattice",
-  "version": "0.66.1",
+  "version": "0.67.1",
   "description": "Schedulability compiler for multi-agent development: observe real code boundaries, refactor the conflicting seam, recompile the plan for parallel execution",
   "author": {
     "name": "Quo / クオ at kitepon.dev",

package/src/cli-help.mjs

@@ -88,6 +88,7 @@ Read commands:
 Write commands:
   repair-eol --json  # Git checkoutでCRLF化された既存storeをcanonical LFへ戻し、EOL保護を追加する
   dashboard adopt --json  # 衝突したproject_idの配信元rootを現在repoへ明示的に移す
+  dashboard ensure --json  # daemon生存保証の冪等入口（launchd等の周期実行向け）
   dashboard remove <project_id> --json  # 登録簿から1件外す（対象repoの外からも叩ける）
   note --plan <key> [--task <id>] (--message <text>|--input <file>)
       # ToDoへ作業継続に必要な方針・調査結果・注意をappend-onlyで追記する
@@ -110,6 +111,7 @@ Write commands:
   evidence promote --plan <key> --task <id> --evidence <file>
       # done状態と完了時刻を維持し、最新doneへ追記eventで証拠を再束縛する
   dependency connect --from-plan <key> --from-task <id> --to-plan <key> --to-task <id> --reason <text>
+  dependency disconnect --from-plan <key> --from-task <id> --to-plan <key> --to-task <id> --reason <text>
       # 開発中に発見した依存を明示接続する（同一plan内・plan跨ぎとも）。依存の自動推定は行わない
   independence compile --plan <key> --input <file>  # witness setとsensorから並列可否を記録する
   independence witness migrate --plan <key>  # revision後の宣言をtask migrationで写す
@@ -257,7 +259,7 @@ const SUBCOMMAND_USAGE = Object.freeze({
   'todo snapshot': 'todo snapshot --rebuild --plan <key>',
   'todo gantt': 'todo gantt serve --port <port> [--scope live|all]  # 動的表示のみ。静的HTML生成は廃止',
   'todo gantt serve': 'todo gantt serve --port <0..65535> [--scope live|all]  # loopback動的viewer',
-  'todo dashboard': 'todo dashboard adopt --json | remove <project_id> --json'
+  'todo dashboard': 'todo dashboard adopt --json | ensure --json | remove <project_id> --json'
     + '  # 配信元rootの衝突を明示的に解消／登録簿から1件外す',
   'todo dashboard adopt': 'todo dashboard adopt --json  # 現在repoをproject_idの配信元として明示採用',
   'todo dashboard remove': 'todo dashboard remove <project_id> --json  # 登録簿から1件外す（対象repo不在でも可）',
@@ -281,6 +283,7 @@ const SUBCOMMAND_USAGE = Object.freeze({
   'todo evidence promote': 'todo evidence promote --plan <key> --task <id> --evidence <file>',
   'todo dependency': 'todo dependency connect --from-plan <key> --from-task <id> --to-plan <key> --to-task <id> --reason <text>',
   'todo dependency connect': 'todo dependency connect --from-plan <key> --from-task <id> --to-plan <key> --to-task <id> --reason <text>',
+  'todo dependency disconnect': 'todo dependency disconnect --from-plan <key> --from-task <id> --to-plan <key> --to-task <id> --reason <text>',
   'todo split': 'todo split --plan <key> --input <file>',
   'todo revise': 'todo revise --plan <key> --input <file> | --schema --json',
   'todo revise-phase': 'todo revise-phase --plan <key> --input <file> | --schema --json',

package/src/todo-cli.mjs

@@ -1047,6 +1047,44 @@ async function dependencyConnect({
   return result;
 }
 
+// connectの対。誤って張った線の除去（tombstone）。端点で一意に生きた接続を特定し、
+// その接続eventが積まれているplanのplan-scoped chainへ除去eventを積む。
+async function dependencyDisconnect({
+  repoRoot, env, fromPlanKey, fromTaskId, toPlanKey, toTaskId, reason,
+}) {
+  const store = await readTodoStore({ repoRoot });
+  const live = projectTodoCrossPlanDependencies(store.members).filter((dependency) => (
+    dependency.from.plan_key === fromPlanKey && dependency.from.task_id === fromTaskId
+    && dependency.to.plan_key === toPlanKey && dependency.to.task_id === toTaskId
+  ));
+  if (live.length === 0) {
+    throw new TodoStoreError('DEPENDENCY_INVALID', 'cross_plan_dependency_not_found', undefined, {
+      from: { plan_key: fromPlanKey, task_id: fromTaskId },
+      to: { plan_key: toPlanKey, task_id: toTaskId },
+    });
+  }
+  const [target] = live;
+  const owner = store.members.find((member) => (member.plan_scoped?.events ?? [])
+    .some((event) => event.event_digest === target.event_digest));
+  const { event } = await appendTodoEvent({
+    repoRoot, writer: createTodoStoreWriter({ caller: 'g5-authoring' }), planKey: owner.plan.plan_key,
+    event: {
+      kind: 'cross_plan_dependency_removed', actor: mutationActor(env),
+      payload: { target_event_digest: target.event_digest, reason },
+    },
+  });
+  const result = {
+    schema: 'lattice.todo_dependency_disconnect_result.v1', project_id: store.project_id,
+    from: target.from, to: target.to, reason,
+    removed_event_digest: target.event_digest,
+    disconnected_by: event.actor, disconnected_at: event.recorded_at,
+    event_digest: event.event_digest,
+    result_digest: '',
+  };
+  result.result_digest = todoSelfDigest(result, 'result_digest');
+  return result;
+}
+
 async function phaseStatus({ repoRoot, planKey }) {
   const store = await readTodoStore({ repoRoot });
   const [member] = selectMembers(store, planKey);
@@ -3434,7 +3472,7 @@ function writesTodoStore(argv) {
       || (second === 'input' && !argv.includes('--dry-run'));
     case 'seam-proposal': return ['compile', 'apply', 'land'].includes(second);
     case 'evidence': return second === 'promote';
-    case 'dependency': return second === 'connect';
+    case 'dependency': return ['connect', 'disconnect'].includes(second);
     case 'phase': return second !== 'status';
     case 'start': case 'retract': case 'block': case 'unblock': case 'retire': case 'done':
     case 'reopen': case 'split': case 'revise': case 'revise-phase': case 'revise-set':
@@ -3657,6 +3695,16 @@ export async function runTodoCli({ argv, cwd, stdout, stderr, env = process.env
   } else if (argv.length === 3 && argv[0] === 'dashboard'
     && argv[1] === 'adopt' && argv[2] === '--json') {
     action = (repoRoot) => adoptDashboardRoot({ repoRoot, env });
+  } else if (argv.length === 3 && argv[0] === 'dashboard'
+    && argv[1] === 'ensure' && argv[2] === '--json') {
+    // 生存保証の独立入口（2026-08-29 オーナー裁定「死んだら自動で起こせ」）。従来は書込み
+    // コマンドの副作用でしか daemon を ensure できず、OS再起動後に誰も書込まなければ
+    // 公開工程図が503のまま沈黙した。launchd等の周期実行から叩く冪等な入口。
+    action = async (repoRoot) => {
+      const ensured = await ensureActiveProjectDashboard({ repoRoot, env });
+      return { schema: 'lattice.todo_dashboard_ensure_result.v1',
+        ensured: ensured !== null, activity: ensured };
+    };
   } else if (argv.length === 6 && argv[0] === 'show'
     && argv[1] === '--plan' && isTodoIdentifier(argv[2])
     && argv[3] === '--task' && isTodoIdentifier(argv[4]) && argv[5] === '--json') {
@@ -3713,6 +3761,16 @@ export async function runTodoCli({ argv, cwd, stdout, stderr, env = process.env
       repoRoot, env, fromPlanKey: argv[3], fromTaskId: argv[5],
       toPlanKey: argv[7], toTaskId: argv[9], reason: argv[11],
     });
+  } else if (argv.length === 12 && argv[0] === 'dependency' && argv[1] === 'disconnect'
+    && argv[2] === '--from-plan' && isTodoIdentifier(argv[3])
+    && argv[4] === '--from-task' && isTodoIdentifier(argv[5])
+    && argv[6] === '--to-plan' && isTodoIdentifier(argv[7])
+    && argv[8] === '--to-task' && isTodoIdentifier(argv[9])
+    && argv[10] === '--reason' && argv[11].length > 0) {
+    action = (repoRoot) => dependencyDisconnect({
+      repoRoot, env, fromPlanKey: argv[3], fromTaskId: argv[5],
+      toPlanKey: argv[7], toTaskId: argv[9], reason: argv[11],
+    });
   } else if (argv[0] === 'independence' && argv[1] === 'compile') {
     const flags = matchFlagCommand(argv, ['independence', 'compile'], {
       known: ['plan', 'input'], required: ['plan', 'input'],

package/src/todo-contracts.mjs

@@ -16,11 +16,14 @@ export const TODO_EVENT_KINDS = Object.freeze([
   // 開発中に発見したplan跨ぎの依存を、active plan topologyの追記改変ではなく
   // version-boundなplan-scoped eventとして接続する。推定はせず、AIが発見した時だけ積む。
   'cross_plan_dependency',
+  // 誤って張った接続の除去（connectの対・2026-08-29オーナー裁定系）。対象eventのdigestを指す
+  // tombstoneとして積み、projectionが両方を読んで線を消す。歴史は書き換えない。
+  'cross_plan_dependency_removed',
 ]);
 
 /** planへ帰属し、taskにもPhaseにも属さないevent kind。 */
 export const TODO_PLAN_SCOPED_EVENT_KINDS = Object.freeze([
-  'coordination_mode', 'cross_plan_dependency',
+  'coordination_mode', 'cross_plan_dependency', 'cross_plan_dependency_removed',
 ]);
 
 /** 調整方式。witness=独立性を宣言し検証して並列する／conversation=会話で調整する。 */
@@ -524,6 +527,11 @@ function validPayload(event) {
       && dependencyRef(payload.from) && dependencyRef(payload.to)
       && nullableText(payload.reason) && payload.reason !== null;
   }
+  if (event.kind === 'cross_plan_dependency_removed') {
+    return exactRecord(payload, ['target_event_digest', 'reason'])
+      && isTodoDigest(payload.target_event_digest)
+      && nullableText(payload.reason) && payload.reason !== null;
+  }
   if (event.kind === 'start') return exactRecord(payload, ['override_reason']) && nullableText(payload.override_reason);
   if (event.kind === 'start_retracted') return exactRecord(payload, ['reason', 'target_start_digest'])
     && nullableText(payload.reason) && payload.reason !== null

package/src/todo-store.mjs

@@ -407,9 +407,15 @@ export function projectTodoCoordination(events) {
  * 記録された線だけを返す。順序はtask identityで固定し、status/Ganttが同じ入力を見る。
  */
 export function projectTodoCrossPlanDependencies(members) {
+  // 除去tombstoneを先に集め、指された接続を線として数えない（歴史は両eventとも残る）
+  const removed = new Set();
+  for (const member of members) for (const event of member.plan_scoped?.events ?? []) {
+    if (event.kind === 'cross_plan_dependency_removed') removed.add(event.payload.target_event_digest);
+  }
   const dependencies = [];
   for (const member of members) for (const event of member.plan_scoped?.events ?? []) {
     if (event.kind !== 'cross_plan_dependency') continue;
+    if (removed.has(event.event_digest)) continue;
     dependencies.push({
       from: event.payload.from,
       to: event.payload.to,
@@ -2040,6 +2046,19 @@ export async function appendTodoEvent(options = {}) {
       if (options.event.kind === 'cross_plan_dependency') {
         validateCrossPlanDependencyTransition(store, member, options.event);
       }
+      if (options.event.kind === 'cross_plan_dependency_removed') {
+        const digest = options.event.payload.target_event_digest;
+        const events = member.plan_scoped?.events ?? [];
+        const target = events.find((entry) => entry.kind === 'cross_plan_dependency'
+          && entry.event_digest === digest);
+        if (target === undefined) {
+          fail('DEPENDENCY_INVALID', 'cross_plan_dependency_not_found', { target_event_digest: digest });
+        }
+        if (events.some((entry) => entry.kind === 'cross_plan_dependency_removed'
+          && entry.payload.target_event_digest === digest)) {
+          fail('DEPENDENCY_INVALID', 'cross_plan_dependency_already_removed', { target_event_digest: digest });
+        }
+      }
       return appendPlanScopedEvent({
         repoRoot, member,
         input: { ...options.event, recorded_at: options.event.recorded_at ?? new Date().toISOString() },