@quolu/lattice 0.12.2 → 0.12.4

package/package.json

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

package/src/bridge-server.mjs

@@ -252,10 +252,13 @@ export async function startBridgeServer({
     throw new BridgeConfigError(error?.code === 'EADDRINUSE' ? 'BRIDGE_PORT_UNAVAILABLE' : 'BRIDGE_BIND_FAILED',
       'bridge listen failed', { ...config.listen }, error);
   });
+  const boundAddress = server.address();
+  const actualPort = typeof boundAddress === 'object' && boundAddress !== null
+    ? boundAddress.port : config.listen.port;
   let closed = false;
   return Object.freeze({
     address: config.listen.address,
-    port: config.listen.port,
+    port: actualPort,
     updateConfig(next) {
       if (next?.enabled !== true || next.listen.address !== config.listen.address
         || next.listen.port !== config.listen.port) {

package/src/runtime-cli.mjs

@@ -27,6 +27,7 @@ import {
   validateRunRequest,
   validateRuntimeBoundaryManifest,
   validateRuntimePlan,
+  validRuntimeAbandonReason,
   verifyRuntimePlanBinding,
   selfDigest,
 } from './runtime-contracts.mjs';
@@ -107,7 +108,6 @@ const CLI_ERROR_SCHEMA = 'lattice.cli_error.v2';
 // 現役run storeは対象Git repo内のLattice-owned・ignored rootへ限定する。
 const RUN_STORE_ROOT = ['.lattice', 'runs'];
 const RUN_REF = /^\.lattice\/runs\/([0-9A-Za-z](?:[0-9A-Za-z._-]{0,127}))$/u;
-const ABANDON_REASON = /^[0-9A-Za-z](?:[0-9A-Za-z._:-]{0,127})$/u;
 const KNOWN_ADAPTERS = Object.freeze(['scripted', 'isolated-worktree', 'actual-agent']);
 
 class CliContractError extends Error {
@@ -866,8 +866,11 @@ async function runClose({ runDir, repoRoot, stdout, requestId = null }) {
 }
 
 async function runAbandon({ runDir, runRef, reason, stdout, requestId = null }) {
-  if (!ABANDON_REASON.test(reason)) {
-    throw new CliContractError('INVALID_ABANDON_REASON', 'reasonは128文字以下の識別子でなければならない');
+  if (!validRuntimeAbandonReason(reason)) {
+    throw new CliContractError(
+      'INVALID_ABANDON_REASON',
+      'reasonは前後空白・制御文字を含まない1〜256文字の説明でなければならない',
+    );
   }
   return withLifecycleLock(runDir, async () => {
     const current = await readRunStore(runDir);
@@ -2126,7 +2129,11 @@ export async function runManagedSupervisorDaemon({
         const active = await readCommittedEpochStore(runDir);
         const state = projectRuntimeState({ events });
         const shutdownReason = controlRequest.payload.shutdown_reason;
-        if (typeof shutdownReason !== 'string' || shutdownReason.length === 0) {
+        if (controlRequest.operation === 'abandon' && !validRuntimeAbandonReason(shutdownReason)) {
+          throw new ManagedRuntimeError('INVALID_ABANDON_REASON', 'abandon reasonが監査文字列規律を満たさない');
+        }
+        if (controlRequest.operation === 'close'
+          && (typeof shutdownReason !== 'string' || shutdownReason.length === 0)) {
           throw new ManagedRuntimeError('MANAGED_SHUTDOWN_INCOMPLETE', 'shutdown reason不足');
         }
         let proposed;
@@ -2789,7 +2796,7 @@ export async function runRuntimeCli({ argv, cwd, stdout, stderr }) {
   } else if (argv.length === 6
     && argv[0] === 'run' && argv[1] === 'abandon'
     && argv[2] === '--run' && typeof argv[3] === 'string' && argv[3].length > 0
-    && argv[4] === '--reason' && typeof argv[5] === 'string' && argv[5].length > 0) {
+    && argv[4] === '--reason' && typeof argv[5] === 'string') {
     action = async () => {
       const { runDir } = await resolveRunStore(cwd, argv[3]);
       return runAbandon({ runDir, runRef: argv[3], reason: argv[5], stdout,

package/src/runtime-contracts.mjs

@@ -12,6 +12,19 @@ const IDENTIFIER = /^[0-9A-Za-z](?:[0-9A-Za-z._-]{0,127})$/;
 const MAX_COLLECTION = 256;
 const MAX_NODES_PER_PLAN = 8;
 
+// 人間向けaudit reasonは表示を偽装できる制御文字を拒否しつつ、通常のUnicode説明を保持する。
+const AUDIT_BIDI_CONTROLS = /[\u061c\u200e\u200f\u202a-\u202e\u2066-\u2069]/u;
+
+export function validRuntimeAbandonReason(value) {
+  return typeof value === 'string'
+    && value === value.trim()
+    && [...value].length >= 1
+    && [...value].length <= 256
+    && !/\p{Cc}/u.test(value)
+    && !/[\u2028\u2029]/u.test(value)
+    && !AUDIT_BIDI_CONTROLS.test(value);
+}
+
 // ADR 0044 Decision 3.2のclosed event kind set。拡張はrun_event.v2＋新ADRでだけ行う。
 export const RUN_EVENT_KINDS = Object.freeze([
   'run_initialized',

package/src/runtime-controller-protocol.mjs

@@ -1,5 +1,10 @@
 import { canonicalizeArtifact, digestArtifact } from './artifact-contracts.mjs';
-import { selfDigest, validateEpochRebindPacket, validateExecutorPacket } from './runtime-contracts.mjs';
+import {
+  selfDigest,
+  validRuntimeAbandonReason,
+  validateEpochRebindPacket,
+  validateExecutorPacket,
+} from './runtime-contracts.mjs';
 
 const SHA256 = /^[0-9a-f]{64}$/;
 const ID = /^[0-9A-Za-z](?:[0-9A-Za-z._-]{0,127})$/;
@@ -247,9 +252,11 @@ function validateRuntimeControlOperation(value) {
       ? digest(value.checkpoint_digest) : value.checkpoint_digest === null)
     && Number.isSafeInteger(value.expected_epoch) && value.expected_epoch > 0
     && nullableDigest(value.expected_queue_digest)
-    && (['close', 'abandon'].includes(value.operation)
-      ? typeof value.shutdown_reason === 'string' && value.shutdown_reason.length > 0
-      : value.shutdown_reason === null)
+    && (value.operation === 'abandon'
+      ? validRuntimeAbandonReason(value.shutdown_reason)
+      : value.operation === 'close'
+        ? typeof value.shutdown_reason === 'string' && value.shutdown_reason.length > 0
+        : value.shutdown_reason === null)
     && selfValid(value, 'operation_digest');
 }
 

package/src/runtime-front-end.mjs

@@ -250,6 +250,14 @@ function affectedPayload(raw, expectPath) {
   return plainRecord(payload) ? payload : null;
 }
 
+function affectedTarget(raw, expectPath) {
+  if (!plainRecord(raw) || !Array.isArray(raw.targets)) return null;
+  const entry = raw.targets.find((candidate) => (
+    plainRecord(candidate) && candidate.target === expectPath
+  ));
+  return plainRecord(entry) ? entry : null;
+}
+
 function rawEntries(raw) {
   const payload = rawPayload(raw);
   return Array.isArray(payload) ? payload : null;
@@ -269,6 +277,7 @@ function resolveBindingStatus(binding, outcome) {
   if (outcome.status !== 'ready') return outcome.status;
   const { expect } = binding;
   if (expect.kind === 'affected') {
+    if (affectedTarget(outcome.raw, expect.path)?.path_state === 'absent') return 'path_absent';
     const payload = affectedPayload(outcome.raw, expect.path);
     if (payload === null
       || !Array.isArray(payload.changedFiles)
@@ -676,7 +685,29 @@ export function compileRuntimePlanV1(options = {}) {
     return nonDispatchable('NODE_LIMIT_EXCEEDED', { todo_count: todoIds.length });
   }
   if (compiled.outcome === 'unknown') {
-    return nonDispatchable('BOUNDARY_UNKNOWN', { unknowns: compiled.unknowns });
+    const hasFreshAbsentPath = todoIds.some((todoId) => (
+      bindingsByTodo.get(todoId).some((binding) => {
+        if (!['path', 'affected'].includes(binding.expect.kind)) return false;
+        const query = queryById.get(binding.query_id);
+        const outcome = outcomeByQueryId.get(binding.query_id);
+        return query.operation === 'affected'
+          && outcome.status === 'empty'
+          && affectedTarget(outcome.raw, binding.expect.path)?.path_state === 'absent';
+      })
+    ));
+    return nonDispatchable('BOUNDARY_UNKNOWN', {
+      unknowns: compiled.unknowns,
+      unresolved_witnesses: unknowns,
+      guidance: hasFreshAbsentPath
+        ? {
+          code: 'BOOTSTRAP_OWNERSHIP_SEAM',
+          message: 'fresh path観測で不存在の新規pathは親が空の専用seamをbase commitへ先行追加し、sensor sync後に同じrequestを再compileする',
+        }
+        : {
+          code: 'ACQUIRE_OWNERSHIP_EVIDENCE',
+          message: '既存path・symbol・未束縛ownershipはfresh Sensor queryを追加して同じrequestを再compileする',
+        },
+    });
   }
   if (compiled.outcome === 'unsupported' && compiled.code === 'SEARCH_BUDGET_EXHAUSTED') {
     return nonDispatchable('SEARCH_BUDGET_EXHAUSTED', {});

package/src/sensor-adapter.mjs

@@ -291,6 +291,7 @@ async function collectOne({ cwd, query, execute, inspectAffectedPath }) {
         results.push({
           target: targetPath,
           outcome: 'empty',
+          path_state: 'absent',
           data: emptyAffectedData(targetPath),
         });
         continue;

package/src/todo-cli.mjs

@@ -38,7 +38,7 @@ import {
   readTodoStore,
   readTodoStoreStable,
   rebuildTodoSnapshot,
-  verifyPhaseTodoRevisionSources,
+  verifyEffectivePhaseTodoRevisionSources,
   verifyTodoRevisionSources,
 } from './todo-store.mjs';
 import {
@@ -803,6 +803,7 @@ async function ensureActiveProjectDashboard({ repoRoot, env }) {
 async function verify({ repoRoot, requestedPlanKey }) {
   const store = await readTodoStore({ repoRoot });
   const members = selectMembers(store, requestedPlanKey);
+  const verifiedSourceInventories = new Map();
   for (const member of members) {
     const unverified = member.tasks.find((task) => task.evidence_unverified);
     if (unverified !== undefined) {
@@ -816,12 +817,14 @@ async function verify({ repoRoot, requestedPlanKey }) {
         case 'lattice.todo_revision.v1':
         case 'lattice.todo_revision.v2':
           await verifyTodoRevisionSources({ repoRoot, revision: member.revision });
+          verifiedSourceInventories.set(member.descriptor.plan_key,
+            member.revision.source_inventory);
           break;
         case 'lattice.phase_todo_revision.v1':
         case 'lattice.phase_todo_revision.v2':
-          break;
         case 'lattice.phase_todo_revision.v3':
-          await verifyPhaseTodoRevisionSources({ repoRoot, revision: member.revision });
+          verifiedSourceInventories.set(member.descriptor.plan_key,
+            await verifyEffectivePhaseTodoRevisionSources({ repoRoot, member }));
           break;
         default:
           throw new TodoStoreError('REVISION_INVALID', 'revision_schema_or_digest_invalid');
@@ -830,6 +833,7 @@ async function verify({ repoRoot, requestedPlanKey }) {
   }
   const verifiedMembers = members.map((member) => {
     const reconciled = member.revision !== null;
+    const sourceInventory = verifiedSourceInventories.get(member.descriptor.plan_key) ?? null;
     const phaseRevision = ['lattice.phase_todo_revision.v1', 'lattice.phase_todo_revision.v2',
       'lattice.phase_todo_revision.v3']
       .includes(member.revision?.schema);
@@ -848,15 +852,11 @@ async function verify({ repoRoot, requestedPlanKey }) {
         : todoLegacyReconciliationDigest({ planDigest: member.plan.plan_digest,
           journalHeadDigest: member.journal.events.at(-1).event_digest }),
       source_inventory_count: reconciled
-        ? phaseRevision && member.revision.schema !== 'lattice.phase_todo_revision.v3' ? 0
-          : member.revision.source_inventory.active.length
-          + member.revision.source_inventory.excluded_tombstones.length : null,
+        ? sourceInventory.active.length + sourceInventory.excluded_tombstones.length : null,
       active_task_count: reconciled
-        ? phaseRevision && member.revision.schema !== 'lattice.phase_todo_revision.v3'
-          ? 0 : member.revision.source_inventory.active.length : null,
+        ? sourceInventory.active.length : null,
       excluded_tombstone_count: reconciled
-        ? phaseRevision && member.revision.schema !== 'lattice.phase_todo_revision.v3'
-          ? 0 : member.revision.source_inventory.excluded_tombstones.length : null,
+        ? sourceInventory.excluded_tombstones.length : null,
     };
   });
   const result = {

package/src/todo-store.mjs

@@ -2552,6 +2552,21 @@ async function predecessorSourceInventory(repoRoot, previous) {
   return { active: [], excluded_tombstones: [] };
 }
 
+export async function verifyEffectivePhaseTodoRevisionSources(options = {}) {
+  const repoRoot = path.resolve(options.repoRoot ?? process.cwd());
+  const member = options.member;
+  const revision = member?.revision;
+  if (!validatePhaseTodoRevision(revision)
+    || canonicalizeTodoArtifact(revision.desired_plan)
+      !== canonicalizeTodoArtifact(member?.plan)) {
+    fail('REVISION_INVALID', 'phase_revision_schema_or_digest_invalid');
+  }
+  const inventory = revision.schema === 'lattice.phase_todo_revision.v3'
+    ? revision.source_inventory : await predecessorSourceInventory(repoRoot, member);
+  await verifyRevisionSources(repoRoot, inventory);
+  return inventory;
+}
+
 function validatePhaseV3SourceInventoryDiff(previousInventory, revision) {
   const desired = revision.source_inventory;
   const previousActive = new Map(previousInventory.active.map((entry) => [entry.task_id, entry]));
@@ -2655,7 +2670,9 @@ async function applyPhaseTodoRevisionV3(options, revision, repoRoot) {
           journalHeadDigest: previous.journal.events.at(-1).event_digest });
     if (revision.reconciliation.predecessor_reconciliation_digest
       !== predecessorReconciliationDigest) fail('STORE_WRITE_CONFLICT', 'stale_predecessor');
-    validatePhaseV3SourceInventoryDiff(await predecessorSourceInventory(repoRoot, previous), revision);
+    const previousInventory = await predecessorSourceInventory(repoRoot, previous);
+    await verifyRevisionSources(repoRoot, previousInventory);
+    validatePhaseV3SourceInventoryDiff(previousInventory, revision);
     await rejectCompetingPhaseV3Transaction(repoRoot, revision);
     verifyPlanNarrativeAnchors(repoRoot, revision.desired_plan, previous.plan);
     const stateMigration = stateMigrationFor(previous, revision);