@quolu/lattice 0.66.1 → 0.67.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@quolu/lattice",
-  "version": "0.66.1",
+  "version": "0.67.0",
   "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

@@ -110,6 +110,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で写す
@@ -281,6 +282,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':
@@ -3713,6 +3751,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() },