@quolu/lattice 0.18.0 → 0.19.0

package/package.json

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

package/src/todo-cli.mjs

@@ -461,6 +461,7 @@ async function startAdvisory({ repoRoot, store, projection, planKey, taskId }) {
       contractSuperseded: isTodoIndependenceLegacyMarker(artifact),
       conflictWithActive: conflictsWithActive[0]?.severability ?? null,
       conflictBetweenReady: readyConflict?.severability ?? null,
+      verdictsAbsent: selfUnknowns.some(({ kind }) => kind === 'plan_verdicts_absent'),
     }),
   };
 }
@@ -836,6 +837,8 @@ async function independence({ repoRoot, requestedPlanKey }) {
         .some(({ unknowns }) => unknowns.some(({ kind }) => kind === 'record_stale')),
       conflictWithActive: projected.frontier.conflicts_with_active[0]?.severability ?? null,
       conflictBetweenReady: projected.frontier.serialize_pairs[0]?.severability ?? null,
+      verdictsAbsent: projected.frontier.unknown
+        .some(({ unknowns }) => unknowns.some(({ kind }) => kind === 'plan_verdicts_absent')),
     }),
     frontier: projected.frontier,
     result_digest: '',

package/src/todo-independence-guidance.mjs

@@ -17,6 +17,7 @@ export const TODO_INDEPENDENCE_GUIDANCE_CODES = Object.freeze([
   'independence_stale_for_task',
   'independence_conflict_with_active',
   'independence_conflict_between_ready',
+  'independence_verdicts_absent',
   'independence_verified',
 ]);
 
@@ -90,6 +91,10 @@ const CATALOG = Object.freeze({
     message: '他のready工程と同じ資源を書く記録がある。同時に着手すると衝突する。',
     next_action: 'serialize_or_split_boundary',
   }),
+  independence_verdicts_absent: Object.freeze({
+    message: '判定が途中で止まっており、記録はどの組についてもverdictを持たない。自分にunknownが無いことは、他と干渉しない証拠にならない。',
+    next_action: 'resolve_unknowns_then_recompile',
+  }),
   independence_verified: Object.freeze({
     message: '記録時点の宣言境界では、他のready工程と干渉しない。',
     next_action: 'none',
@@ -164,7 +169,7 @@ export function todoIndependenceGuidance(code, { severability = null } = {}) {
  */
 export function selectIndependenceGuidance({
   coverage, taskDeclared, taskStale, conflictWithActive = null, conflictBetweenReady = null,
-  contractSuperseded = false, readyCount = null,
+  contractSuperseded = false, readyCount = null, verdictsAbsent = false,
 }) {
   // 着手候補が無いなら述べる対象が無い。ここを通さないと、readyが空のとき
   // 「未検査taskが1件も無い」が空虚に真になり、記録が古くても検証済みへ倒れる。
@@ -186,6 +191,9 @@ export function selectIndependenceGuidance({
   if (coverage === 'superseded') return todoIndependenceGuidance('independence_superseded');
   if (!taskDeclared) return todoIndependenceGuidance('independence_task_undeclared');
   if (taskStale) return todoIndependenceGuidance('independence_stale_for_task');
+  // 記録は新しく、この工程自身にも問題が無い。それでもverdictが1つも無いなら、
+  // 述べられるのは「干渉しない」ではなく「まだ何も判定していない」である。
+  if (verdictsAbsent) return todoIndependenceGuidance('independence_verdicts_absent');
   return todoIndependenceGuidance('independence_verified');
 }
 

package/src/todo-independence.mjs

@@ -386,6 +386,18 @@ export function projectIndependenceFrontier({
   for (const entry of artifact.unknowns) {
     if (ready.includes(entry.task_id)) noteUnknown(entry.task_id, entry.kind, entry.ref);
   }
+  // 記録全体がverdictを持たない場合、どのpairについても判定は存在しない。
+  //
+  // compileがBOUNDARY_UNKNOWNで止まると、front endはpairwise verdictを1つも返さないので
+  // artifact.conflictsは空になる。この空をそのまま読むと、自分にunknownが無いreadyどうしが
+  // 「ぶつかる記録が無い＝独立」として並列グループへ入る。実際には**誰についても判定していない**。
+  // 新規fileを1つ宣言したToDoが混ざるだけで、無関係なToDoの実competitionが消えて
+  // 検証済み並列に見える——不在を証拠に読み替える、最も危険な向きの誤りである。
+  if (artifact.outcome !== 'compiled') {
+    for (const taskId of ready) {
+      if (covered.has(taskId)) noteUnknown(taskId, 'plan_verdicts_absent', artifact.outcome);
+    }
+  }
   // planが進んだ記録はtask単位に救えない（topology自体が別物）。
   // HEADだけが進んだ場合は、宣言境界に触れたtaskだけを落とす。
   if (coverage === 'superseded') {