@quolu/lattice 0.67.2 → 0.67.4

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@quolu/lattice",
-  "version": "0.67.2",
+  "version": "0.67.4",
   "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/runtime-diff-observer.mjs

@@ -23,33 +23,6 @@ const MAX_TRACKED_FILE_BYTES = 4_194_304;
 const GIT_SHA1 = /^[0-9a-f]{40}$/;
 const LINE_ID = /^[0-9A-Za-z](?:[0-9A-Za-z._-]{0,127})$/;
 
-/**
- * gitignore 済みのコンパイラ／ツール出力 directory 名。
- * 観測から外すのは ignored かつこの segment を持つ path だけ。
- * tracked な `bin/`（CLI の正本）は status code が `!!` ではないので残る。
- * gitignore 迂回の検知（ignored なソース相当 file）は残す。
- */
-export const GENERATED_OUTPUT_DIR_NAMES = Object.freeze([
-  'obj', 'bin', 'node_modules', '.vs', 'TestResults',
-  '__pycache__', '.pytest_cache', 'dist', 'coverage',
-]);
-
-export function isGeneratedOutputPath(relativePath) {
-  if (typeof relativePath !== 'string' || relativePath.length === 0) return false;
-  return relativePath.replace(/\/$/u, '').split('/').some(
-    (segment) => GENERATED_OUTPUT_DIR_NAMES.includes(segment),
-  );
-}
-
-function isIgnoredStatus(code) {
-  return typeof code === 'string' && code.includes('!');
-}
-
-function keepObservedEntry(entry) {
-  if (!isIgnoredStatus(entry.code)) return true;
-  return !isGeneratedOutputPath(entry.path);
-}
-
 function fail(reason) {
   throw new TypeError(`diff observer契約違反: ${reason}`);
 }
@@ -199,14 +172,12 @@ export async function captureWorktreeDiff(options = {}) {
       fail(`worktree HEADがbaseの子孫でない（reset・branch切替・rebase）: ${head}`);
     }
   }
-  // ignored fileへのwriteもwrite sensorの対象にする（gitignore経由の
-  // scope violation迂回を塞ぐ。isolation-runnerと同じ--ignored=matching）。
-  // ただし obj/bin/node_modules 等のコンパイラ出力は成果ではない。
-  // 展開すると MAX_DIFF_ENTRIES を踏み、accept が undeclared_write で hold する。
+  // gitignore済みfileは観測しない（オーナー裁定 2026-08-29: gitignore迂回という脅威は
+  // 実在せず、ignored観測はツールキャッシュで正当なacceptをholdする実害だけを生んだ）。
   const statusBytes = await run('git', [
-    'status', '--porcelain=v1', '-z', '--untracked-files=all', '--ignored=matching',
+    'status', '--porcelain=v1', '-z', '--untracked-files=all',
   ], worktreePath);
-  const entries = statusEntries(statusBytes).filter(keepObservedEntry);
+  const entries = statusEntries(statusBytes);
   // commit済みの変更はstatusへ出ない。base..HEADの範囲も観測へ入れないと、
   // commitした瞬間に変更が観測から消える。
   if (head !== baseSha) {
@@ -221,28 +192,7 @@ export async function captureWorktreeDiff(options = {}) {
   if (entries.length > MAX_DIFF_ENTRIES) {
     fail(`diff entry数が上限を超える: ${entries.length}`);
   }
-  // ignored directoryは`!! dir/`の集約entryで届くため、内包fileへ展開する
-  // （集約のまま扱うとdirectoryをspecial file扱いで落とし、write pathを特定できない）。
-  const expanded = [];
-  for (const entry of entries) {
-    if (isIgnoredStatus(entry.code) && isGeneratedOutputPath(entry.path)) continue;
-    if (!entry.path.endsWith('/')) {
-      expanded.push(entry);
-      continue;
-    }
-    const inner = await run('git', [
-      'ls-files', '--others', '--ignored', '--exclude-standard', '-z', '--', entry.path,
-    ], worktreePath);
-    for (const innerPath of inner.toString('utf8').split('\0')) {
-      if (innerPath.length === 0) continue;
-      const innerEntry = { path: innerPath, code: entry.code };
-      if (!keepObservedEntry(innerEntry)) continue;
-      expanded.push(innerEntry);
-    }
-  }
-  if (expanded.length > MAX_DIFF_ENTRIES) {
-    fail(`diff entry数が上限を超える: ${expanded.length}`);
-  }
+  const expanded = entries;
   const seen = new Set();
   const records = [];
   for (const entry of expanded) {

package/src/todo-cli.mjs

@@ -1052,7 +1052,8 @@ async function dependencyConnect({
 async function dependencyDisconnect({
   repoRoot, env, fromPlanKey, fromTaskId, toPlanKey, toTaskId, reason,
 }) {
-  const store = await readTodoStore({ repoRoot });
+  // 修理扉: 越境依存の固定digestが陳腐化した store でも disconnect だけは通す（todo-store.mjs 参照）
+  const store = await readTodoStore({ repoRoot, tolerateStaleBindings: true });
   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
@@ -1068,6 +1069,7 @@ async function dependencyDisconnect({
     .some((event) => event.event_digest === target.event_digest));
   const { event } = await appendTodoEvent({
     repoRoot, writer: createTodoStoreWriter({ caller: 'g5-authoring' }), planKey: owner.plan.plan_key,
+    tolerateStaleBindings: true,
     event: {
       kind: 'cross_plan_dependency_removed', actor: mutationActor(env),
       payload: { target_event_digest: target.event_digest, reason },

package/src/todo-store.mjs

@@ -879,7 +879,13 @@ function snapshotFor(plan, events, tasks) {
   return snapshot;
 }
 
-function validateMergedGraph(members, crossPlanDependencies = []) {
+function validateMergedGraph(members, crossPlanDependencies = [], options = {}) {
+  // tolerateStaleBindings は dependency disconnect 専用の修理扉。plan revise が越境依存の
+  // 固定digestを陳腐化させると、通常loadは binding_stale で fail closed するが、その修理
+  // コマンド自身も load を要するため、扉が無いと修理経路が存在しない（実被弾 2026-08-29:
+  // evidence-2 改訂で store 全体が読めなくなり、disconnect も同エラーで詰んだ）。
+  // 許容するのは digest 不一致だけで、dangling / missing は修理扉でも fail する。
+  const tolerateStale = options.tolerateStaleBindings === true;
   const tasks = new Map();
   for (const member of members) for (const task of member.plan.tasks) {
     tasks.set(`${member.plan.project_id}\0${member.plan.plan_key}\0${task.task_id}`, member.plan.topology_digest);
@@ -900,7 +906,7 @@ function validateMergedGraph(members, crossPlanDependencies = []) {
     if (topology === undefined) fail('STORE_INCONSISTENT', 'dangling_dependency');
     if ((ref.project_id !== ownerPlan.project_id || ref.plan_key !== ownerPlan.plan_key)
       && ref.expected_topology_digest === undefined) fail('STORE_INCONSISTENT', 'cross_plan_binding_missing');
-    if (ref.expected_topology_digest !== undefined && topology !== ref.expected_topology_digest) {
+    if (!tolerateStale && ref.expected_topology_digest !== undefined && topology !== ref.expected_topology_digest) {
       fail('STORE_INCONSISTENT', 'binding_stale');
     }
     return key;
@@ -911,7 +917,7 @@ function validateMergedGraph(members, crossPlanDependencies = []) {
     if (topology === undefined) fail('STORE_INCONSISTENT', 'dangling_phase_dependency');
     if ((ref.project_id !== ownerPlan.project_id || ref.plan_key !== ownerPlan.plan_key)
       && ref.expected_topology_digest === undefined) fail('STORE_INCONSISTENT', 'cross_plan_binding_missing');
-    if (ref.expected_topology_digest !== undefined && topology !== ref.expected_topology_digest) {
+    if (!tolerateStale && ref.expected_topology_digest !== undefined && topology !== ref.expected_topology_digest) {
       fail('STORE_INCONSISTENT', 'binding_stale');
     }
     return key;
@@ -1629,7 +1635,9 @@ export async function readTodoStore(options = {}) {
       snapshot: snapshotStale ? expectedSnapshot : snapshot,
       tasks, phases, coordination, snapshot_stale: snapshotStale });
   }
-  validateMergedGraph(loaded, projectTodoCrossPlanDependencies(loaded));
+  validateMergedGraph(loaded, projectTodoCrossPlanDependencies(loaded), {
+    tolerateStaleBindings: options.tolerateStaleBindings === true,
+  });
   return {
     schema: 'lattice.todo_store_read.v1', project_id: manifest.project_id, manifest,
     members: loaded, snapshot_stale: loaded.some((member) => member.snapshot_stale),
@@ -2036,6 +2044,10 @@ export async function appendTodoEvent(options = {}) {
     const store = await readTodoStore({
       repoRoot, forWrite: true, now: options.now, evidenceRepair,
       evidenceRepairCapability: EVIDENCE_REPAIR_CAPABILITY,
+      // 修理扉は除去event（tombstone）の書込みだけに開く。それ以外の書込みは従来どおり
+      // binding_stale で fail closed する（validateMergedGraph の注記を参照）
+      tolerateStaleBindings: options.tolerateStaleBindings === true
+        && options.event.kind === 'cross_plan_dependency_removed',
     });
     const member = store.members.find(({ descriptor }) => descriptor.plan_key === options.planKey);
     if (!member) fail('STORE_INCONSISTENT', 'plan_not_active');