@quolu/lattice 0.39.1 → 0.39.3

package/docs/schemas/lattice.phase_todo_revision.v3.schema.json

@@ -250,8 +250,8 @@
         "from_task_id": { "$ref": "#/$defs/identifier" },
         "to_task_id": { "oneOf": [{ "const": "removed" }, { "$ref": "#/$defs/identifier" }] },
         "state_policy": {
-          "enum": ["carry", "carry_reconciled_metadata", "reset_pending", "removed"],
-          "$comment": "'removed'はto_task_id==='removed'の時だけ、他の3値はto_task_idがidentifierの時だけ許される（runtime cross-check）。runtime_task_migrationのdisposition投影とも一致していなければならない（validRuntimeTodoProjection）。"
+          "enum": ["carry", "carry_reconciled_metadata", "acquire_phase", "reset_pending", "removed"],
+          "$comment": "'removed'はto_task_id==='removed'の時だけ、他の4値はto_task_idがidentifierの時だけ許される（runtime cross-check）。runtime_task_migrationのdisposition投影とも一致していなければならない（validRuntimeTodoProjection）。"
         }
       }
     },

package/docs/schemas/lattice.todo_revision.v2.schema.json

@@ -191,8 +191,8 @@
         "from_task_id": { "$ref": "#/$defs/identifier" },
         "to_task_id": { "oneOf": [{ "const": "removed" }, { "$ref": "#/$defs/identifier" }] },
         "state_policy": {
-          "enum": ["carry", "carry_reconciled_metadata", "reset_pending", "removed"],
-          "$comment": "'removed'はto_task_id==='removed'の時だけ、他の3値はto_task_idがidentifierの時だけ許される（runtime cross-check）。"
+          "enum": ["carry", "carry_reconciled_metadata", "acquire_phase", "reset_pending", "removed"],
+          "$comment": "'removed'はto_task_id==='removed'の時だけ、他の4値はto_task_idがidentifierの時だけ許される（runtime cross-check）。"
         }
       }
     },

package/docs/schemas/lattice.todo_revision_set.v3.schema.json

@@ -209,7 +209,7 @@
       "properties": {
         "from_task_id": { "$ref": "#/$defs/identifier" },
         "to_task_id": { "oneOf": [{ "const": "removed" }, { "$ref": "#/$defs/identifier" }] },
-        "state_policy": { "enum": ["carry", "carry_reconciled_metadata", "reset_pending", "removed"] }
+        "state_policy": { "enum": ["carry", "carry_reconciled_metadata", "acquire_phase", "reset_pending", "removed"] }
       }
     },
     "phaseMigrationEntry": {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@quolu/lattice",
-  "version": "0.39.1",
+  "version": "0.39.3",
   "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-cli.mjs

@@ -2287,6 +2287,11 @@ export async function runManagedSupervisorDaemon({
         }
         activation = await activateController({ repoRoot, runId: request.request_id,
           adapterKind: legacyMeta.executor_adapter });
+        const activationDelayMs = process.env.NODE_ENV === 'test'
+          ? Number(process.env.LATTICE_INTERNAL_TEST_ACTIVATION_DELAY_MS ?? 0) : 0;
+        if (Number.isSafeInteger(activationDelayMs) && activationDelayMs > 0) {
+          await new Promise((resolve) => setTimeout(resolve, activationDelayMs));
+        }
         if (process.env.NODE_ENV === 'test'
           && process.env.LATTICE_INTERNAL_TEST_CONTROLLER_COUNT === '2') {
           additionalActivations = [await activateController({ repoRoot, runId: request.request_id,
@@ -3293,6 +3298,32 @@ export async function runManagedSupervisorDaemon({
         known = { ...known, state: 'in_progress', response: null };
       }
     }
+    // 初回activateがsocket timeoutを超えても、同一request_idの再照会を二重activateとして
+    // 実行しない。初回daemon（run_meta.v1）に残るin_progressは、activation代入前後のどちらでも
+    // 同じ処理がまだ走っている状態なのでunknownを返す。daemon再起動後（run_meta.v2）の
+    // in_progressだけは、直後のrecovery分岐がdurable ledgerから処理を再開する。
+    if (known?.state === 'in_progress' && controlRequest.operation === 'activate'
+      && !restarting) {
+      const events = await readBoundedJson(path.join(runDir, 'events.json'), 'run events').catch(() => []);
+      const journal = await eventStore.readEvents();
+      const result = buildControlResult({ operation: controlRequest.operation, outcome: 'unknown',
+        eventHeadDigest: events.at(-1)?.event_digest ?? null,
+        controlHeadDigest: journal.at(-1)?.event_digest ?? null, activeEpoch: 1,
+        unmet: ['RUN_OUTCOME_UNKNOWN', '同一request_idのactivateはまだ処理中'] });
+      return buildControlResponse(controlRequest, 'unknown', result,
+        journal.at(-1)?.event_digest ?? null);
+    }
+    // 初回daemonにはrestart candidate pointerが無い。完了後に元socketの応答だけを失った
+    // 同一requestをpointer recoveryへ流すと、既存activationをもう一度executeしてRUN_BUSYになる。
+    // ledgerのexact request digestへ束縛されたcompleted responseをそのまま返す。
+    if (known?.state === 'completed' && controlRequest.operation === 'activate'
+      && !restarting) {
+      if (known.request_digest !== controlRequest.request_digest) {
+        throw new ManagedRuntimeError('REQUEST_ID_CONFLICT',
+          '同一activate request_idへ異なるrequest digest');
+      }
+      return known.response;
+    }
     if (known !== null && controlRequest.operation === 'activate') {
       const active = await resolveActiveRuntimePaths({ runDir }).catch(() => null);
       if (active?.pointer?.activation_request_id === controlRequest.request_id

package/src/todo-store.mjs

@@ -2110,8 +2110,13 @@ function stateMigrationFor(previous, revision) {
       if (revision.schema === 'lattice.phase_todo_revision.v3') {
         validateAcquirePhaseCarry(previous, revision, migration, idMap);
       } else {
-        const before = taskSemantics(previous.plan, migration.from_task_id, idMap, {});
-        const after = taskSemantics(revision.desired_plan, migration.to_task_id, new Map(), {});
+        const predecessorTask = previous.plan.tasks
+          .find(({ task_id }) => task_id === migration.from_task_id);
+        const includeDesignMemo = typeof predecessorTask?.design_memo === 'string';
+        const before = taskSemantics(previous.plan, migration.from_task_id, idMap,
+          { includeDesignMemo });
+        const after = taskSemantics(revision.desired_plan, migration.to_task_id, new Map(),
+          { includeDesignMemo });
         if (canonicalizeTodoArtifact(before) !== canonicalizeTodoArtifact(after)) {
           fail('REVISION_INVALID', 'carry_semantics_changed', { from_task_id: migration.from_task_id });
         }