@quolu/lattice 0.12.3 → 0.12.4

package/package.json

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

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;