@quolu/lattice 0.12.5 → 0.12.6

package/package.json

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

package/src/runtime-hold-recompile.mjs

@@ -77,6 +77,14 @@ function sortedUnique(values, predicate) {
       || canonicalizeArtifact(values[index - 1]) < canonicalizeArtifact(value));
 }
 
+function primaryFirstUnique(values, predicate) {
+  if (!Array.isArray(values) || !values.every(predicate)
+    || new Set(values).size !== values.length) return false;
+  const tail = values.slice(1);
+  return tail.every((value, index) => index === 0
+    || canonicalizeArtifact(tail[index - 1]) < canonicalizeArtifact(value));
+}
+
 /** ADR 0064 Decision 5のfull predecessor→successor mapping。 */
 export function validateRuntimeTaskMigration(value, { predecessorTaskIds = null,
   successorTaskIds = null } = {}) {
@@ -92,7 +100,7 @@ export function validateRuntimeTaskMigration(value, { predecessorTaskIds = null,
       || !IDENTIFIER.test(entry.predecessor_task_id ?? '')
       || !['carry', 'replace', 'split', 'retire', 'stay'].includes(entry.disposition)
       || typeof entry.reason !== 'string' || entry.reason.length === 0
-      || !sortedUnique(entry.successor_task_ids, (id) => IDENTIFIER.test(id))
+      || !primaryFirstUnique(entry.successor_task_ids, (id) => IDENTIFIER.test(id))
       || !sortedUnique(entry.evidence_digests, (digest) => HEX_DIGEST.test(digest))) return false;
     if (['carry', 'stay'].includes(entry.disposition)
       && canonicalizeArtifact(entry.successor_task_ids) !== canonicalizeArtifact([entry.predecessor_task_id])) return false;

package/src/todo-revision.mjs

@@ -228,6 +228,8 @@ function validRuntimeTaskMigration(value) {
     || value.migration_digest !== todoSelfDigest(value, 'migration_digest')) return false;
   const targets = [];
   for (const [index, entry] of value.entries.entries()) {
+    const successorTail = Array.isArray(entry.successor_task_ids)
+      ? entry.successor_task_ids.slice(1) : [];
     if (!exactRecord(entry, [
       'predecessor_task_id', 'disposition', 'successor_task_ids', 'reason', 'evidence_digests',
     ]) || !isTodoIdentifier(entry.predecessor_task_id)
@@ -235,8 +237,8 @@ function validRuntimeTaskMigration(value) {
       || !Array.isArray(entry.successor_task_ids) || entry.successor_task_ids.length > 512
       || !entry.successor_task_ids.every(isTodoIdentifier)
       || new Set(entry.successor_task_ids).size !== entry.successor_task_ids.length
-      || entry.successor_task_ids.some((id, targetIndex) => targetIndex > 0
-        && compareText(entry.successor_task_ids[targetIndex - 1], id) >= 0)
+      || successorTail.some((id, targetIndex) => targetIndex > 0
+        && compareText(successorTail[targetIndex - 1], id) >= 0)
       || !boundedText(entry.reason) || !Array.isArray(entry.evidence_digests)
       || entry.evidence_digests.length < 1 || entry.evidence_digests.length > 512
       || !entry.evidence_digests.every(isTodoDigest)