@quolu/lattice 0.63.4 → 0.63.6

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@quolu/lattice",
-  "version": "0.63.4",
+  "version": "0.63.6",
   "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-decision-verifier.mjs

@@ -3,6 +3,7 @@ import path from 'node:path';
 import { digestArtifact } from './artifact-contracts.mjs';
 import { validateCarryOverWitness } from './runtime-contracts.mjs';
 import { projectRuntimeState } from './runtime-projection.mjs';
+import { coveredBy } from './runtime-diff-observer.mjs';
 
 // RC3 runtime decision verifier（ADR 0044 Decision 4〜7）。
 // dispatch／hold／continue／invalidate裁定を、保存planとevent prefixだけから
@@ -102,12 +103,11 @@ export function computeReadyFrontier(options = {}) {
   return { dispatchable };
 }
 
-function declaredWriteCovers(declaredWrites, observedPath) {
-  return declaredWrites.some((declared) => (
-    declared === observedPath
-    || (declared.endsWith('/') && observedPath.startsWith(declared))
-  ));
-}
+// 宣言 write の被覆判定は runtime-diff-observer の coveredBy（唯一の述語）へ一本化する。
+// 述語が分かれると「警報は出たが checkpoint では競合にならない」種類のずれが生まれる
+// （coveredBy の docstring と同じ理由。実際に 2026-08-22、複製3個のうち1個だけ直して
+// 同じ hold を踏み直した）。
+const declaredWriteCovers = coveredBy;
 
 function witnessSet(manifest, kinds) {
   const resources = new Set(manifest?.resources ?? []);

package/src/runtime-diff-observer.mjs

@@ -279,10 +279,14 @@ export async function captureWorktreeDiff(options = {}) {
  * どちらが正しいのか誰にも分からなくなる。
  */
 export function coveredBy(declaredWrites, observedPath) {
-  return declaredWrites.some((declared) => (
-    declared === observedPath
-    || (declared.endsWith('/') && observedPath.startsWith(declared))
-  ));
+  // 宣言はファイルにも素のディレクトリ名（`templates` 等）にも成り得る。末尾 `/` の時だけ
+  // prefix 扱いにすると、境界内で作った配下ファイルが全部 undeclared_write になる
+  // （2026-08-22 実測: accept のたびに hold → worker SIGSTOP で卓が凍った）。
+  return declaredWrites.some((declared) => {
+    if (declared === observedPath) return true;
+    const prefix = declared.endsWith('/') ? declared : `${declared}/`;
+    return observedPath.startsWith(prefix);
+  });
 }
 
 function lineGroupsFor(manifests, todoIds) {

package/src/runtime-pull-intake.mjs

@@ -371,10 +371,14 @@ function boundaryFor(artifact, taskId) {
   return artifact?.task_boundaries?.find((entry) => entry.task_id === taskId) ?? null;
 }
 
+// boundary / changed のどちらも素のディレクトリ名で来る（末尾 `/` は保証されない）。
+// 末尾 `/` の時だけ prefix 扱いにすると、ディレクトリ境界の配下変更が「触れていない」へ
+// 誤判定される（declaredWriteCovers と同族。2026-08-22 実測）。
 function pathTouches(boundary, changed) {
-  return boundary === changed
-    || (boundary.endsWith('/') && changed.startsWith(boundary))
-    || (changed.endsWith('/') && boundary.startsWith(changed));
+  if (boundary === changed) return true;
+  const boundaryPrefix = boundary.endsWith('/') ? boundary : `${boundary}/`;
+  const changedPrefix = changed.endsWith('/') ? changed : `${changed}/`;
+  return changed.startsWith(boundaryPrefix) || boundary.startsWith(changedPrefix);
 }
 
 async function boundaryVerdict({ repoRoot, store, member, meta, taskId, intakeBase }) {