@quolu/lattice 0.46.1 → 0.47.0

package/README.ja.md

@@ -1,5 +1,7 @@
 <p align="center">
-  <img src=".github/og.png" alt="Lattice — 見かけだけの競合で作業を直列化しない" width="100%">
+  <img src=".github/og.png" alt="Lattice — 閉ざされて見えた山岳地形から複数の進行経路が現れる" width="100%">
+  <br>
+  <sub><em>この画像は、閉ざされているように見えた場所から複数の進行経路が現れ、自律した実行者たちが協調して動き出す瞬間を表しています。</em></sub>
 </p>
 
 # Lattice

package/README.md

@@ -1,5 +1,7 @@
 <p align="center">
-  <img src=".github/og.png" alt="Lattice — stop serializing work that only looks like it conflicts" width="100%">
+  <img src=".github/og.png" alt="Lattice — several viable routes emerging through an apparently blocked mountain valley" width="100%">
+  <br>
+  <sub><em>This image represents several viable paths emerging from terrain that first appeared blocked, as autonomous executors begin moving in coordination.</em></sub>
 </p>
 
 # Lattice

package/bin/lattice.mjs

@@ -1,16 +1,24 @@
 #!/usr/bin/env node
 
+import { fileURLToPath } from 'node:url';
 import { installPipeCloseGuard } from '../src/cli-stdio.mjs';
 import { runRuntimeCli } from '../src/runtime-cli.mjs';
 import { renderCliHelp } from '../src/cli-help.mjs';
+import { relaunchSensorForNode22IfNeeded } from '../src/sensor-node-runtime.mjs';
 import packageJson from '../package.json' with { type: 'json' };
 
 installPipeCloseGuard();
 
 const args = process.argv.slice(2);
+const sensorRelaunchStatus = relaunchSensorForNode22IfNeeded({
+  args,
+  scriptPath: fileURLToPath(import.meta.url),
+});
 const help = renderCliHelp(args);
 
-if (help !== null) {
+if (sensorRelaunchStatus !== null) {
+  process.exitCode = sensorRelaunchStatus;
+} else if (help !== null) {
   process.stdout.write(help);
 } else if (args.length === 1 && args[0] === '--version') {
   process.stdout.write(`${packageJson.version}\n`);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@quolu/lattice",
-  "version": "0.46.1",
+  "version": "0.47.0",
   "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/artifact-contracts.mjs

@@ -111,9 +111,6 @@ function inspectArray(value, state, depth) {
   if (Object.getPrototypeOf(value) !== Array.prototype) {
     invalidArtifact('array prototypeが不正');
   }
-  if (value.length > MAX_COLLECTION_ITEMS) {
-    invalidArtifact('array item数が上限を超えている');
-  }
 
   const ownKeys = Reflect.ownKeys(value);
   if (ownKeys.some((key) => typeof key !== 'string')) {

package/src/hooks-cli.mjs

@@ -427,18 +427,41 @@ function hostHandler(host, command) {
     : { type: 'command', command, timeout: 5, async: false, statusMessage: null };
 }
 
-async function resolveCanonical(host, source) {
+export async function resolveStableNodePath(execPath, {
+  platform = process.platform,
+  accessImpl = access,
+  realpathImpl = realpath,
+} = {}) {
+  await accessImpl(execPath, fsConstants.X_OK);
+  if (platform !== 'darwin') return execPath;
+  const match = execPath.match(/^\/(opt\/homebrew|usr\/local)\/Cellar\/([^/]+)\/[^/]+\/bin\/node$/u);
+  if (match === null) return execPath;
+  const prefix = `/${match[1]}`;
+  const candidates = [path.join(prefix, 'bin/node'), path.join(prefix, 'opt', match[2], 'bin/node')];
+  const resolvedExec = await realpathImpl(execPath);
+  for (const candidate of candidates) {
+    try {
+      await accessImpl(candidate, fsConstants.X_OK);
+      if (await realpathImpl(candidate) === resolvedExec) return candidate;
+    } catch {
+      // A candidate is usable only when it exists and resolves to this running Node binary.
+    }
+  }
+  return execPath;
+}
+
+async function resolveCanonical(host, source, platform) {
   const sourcePaths = [source.execPath, source.binPath];
   if (sourcePaths.some((entry) => typeof entry !== 'string' || !path.isAbsolute(entry)
     || /[\0\r\n]/u.test(entry))) {
     throw Object.assign(new Error('install source is not absolute'), { code: 'INSTALL_SOURCE_UNRESOLVED' });
   }
   try {
-    await access(source.execPath, fsConstants.X_OK);
+    const executable = await resolveStableNodePath(source.execPath, { platform });
     const script = await realpath(source.binPath);
     if (/[\0\r\n]/u.test(script)) throw new Error('resolved install source has unsafe characters');
     await access(script, fsConstants.R_OK | fsConstants.X_OK);
-    return [source.execPath, script, 'hooks', 'emit', '--host', host];
+    return [executable, script, 'hooks', 'emit', '--host', host];
   } catch (error) {
     throw Object.assign(error, { code: 'INSTALL_SOURCE_UNRESOLVED' });
   }
@@ -613,13 +636,13 @@ async function hostDirectory(home, host) {
   }
 }
 
-async function mutate(host, env, stdout, uninstall, source, testHooks) {
+async function mutate(host, env, stdout, uninstall, source, platform, testHooks) {
   const home = env.HOME ?? os.homedir();
   if (await hostDirectory(home, host) === null) {
     return failure(stdout, 'HOST_NOT_PRESENT', 'host home directory is not present');
   }
   let current;
-  try { current = await resolveCanonical(host, source); } catch {
+  try { current = await resolveCanonical(host, source, platform); } catch {
     return failure(stdout, 'INSTALL_SOURCE_UNRESOLVED', 'install source cannot be resolved');
   }
   const target = configPath(home, host);
@@ -708,7 +731,7 @@ async function status(host, env, stdout, source, platform, testHooks) {
   const home = env.HOME ?? os.homedir();
   const target = configPath(home, host);
   let argv;
-  try { argv = await resolveCanonical(host, source); } catch {
+  try { argv = await resolveCanonical(host, source, platform); } catch {
     writeJson(stdout, statusResult(host, target, null, 'unreadable', 0, false, 0));
     return 1;
   }
@@ -1023,8 +1046,8 @@ export async function runHooksCli({
     if (command === 'status') return status(host, env, stdout, source, platform, testHooks);
     return failure(stdout, 'HOST_PLATFORM_UNSUPPORTED', 'native Windows hooks are unsupported');
   }
-  if (command === 'install') return mutate(host, env, stdout, false, source, testHooks);
-  if (command === 'uninstall') return mutate(host, env, stdout, true, source, testHooks);
+  if (command === 'install') return mutate(host, env, stdout, false, source, platform, testHooks);
+  if (command === 'uninstall') return mutate(host, env, stdout, true, source, platform, testHooks);
   if (command === 'status') return status(host, env, stdout, source, platform, testHooks);
   return emit(host, env, stdin, stdout, spawnImpl, gitTimeoutMs, testHooks);
 }

package/src/project-cli.mjs

@@ -275,7 +275,17 @@ async function resolveProjectState({ cwd, cliVersion }) {
       : todo.next_ready.length > 0
         ? { command: `lattice todo start --plan ${todo.next_ready[0].plan_key} --task ${todo.next_ready[0].task_id}${todo.next_ready.length > 1 ? ' --parallel-frontier' : ''}`,
           reason: todo.next_ready.length > 1 ? 'parallel_frontier_present' : 'next_ready_present' }
-        : { command: 'lattice todo status', reason: 'no_ready_task' };
+        // 監査待ちが在る限り「残作業なし」と答えない。優先順位はactive_run > next_ready >
+        // audit_pending > なしで、ready frontierが在る間はADR 0063の並列開始コマンドが勝つ
+        // ——ここを監査で上書きするとdispatchが再直列化する。監査待ちはtodo statusの
+        // audit_pending欄に常在するので、順位を下げても消えない。
+        // commandはverbatim実行可能で読み取り専用のものにする。`phase review`は
+        // `--reason <text>`のplaceholderを含みjournalを書き換えるので置かない
+        // （`todo phase status`の結果には既に両分岐のguidanceが載っている）。
+        : todo.audit_pending.length > 0
+          ? { command: `lattice todo phase status --plan ${todo.audit_pending[0].plan_key}`,
+            reason: 'audit_pending' }
+          : { command: 'lattice todo status', reason: 'no_ready_task' };
     const result = statusResult({
       cli: { available: true, version: cliVersion },
       project: { root: repoRoot, git_head: gitHead(repoRoot), project_id: store.project_id },
@@ -334,7 +344,7 @@ export async function runSessionContext({ cwd, stdout, cliVersion }) {
     schema: SESSION_CONTEXT_SCHEMA,
     // project discoveryの答えをそのまま埋める。hostは既存の検証器を再利用できる。
     status: state.result,
-    // todoは`todo_status_result.v4`そのもの。新しい意味論を発明しない。
+    // todoは`lattice todo status`のresultそのもの。新しい意味論を発明しない。
     todo: state.todo,
     independence,
     result_digest: '',

package/src/rc3-scripted-campaign.mjs

@@ -467,31 +467,30 @@ async function runScopeViolation({ scaffold }) {
     runId, plan, events, packets, todoId: 'TA', detect: detectCheckpointFindings, recordedAt: RUN_TIMESTAMP,
   });
   events = classified.events;
-  const held = decideHoldAndCarryOver({
-    runId, request, plan, manifests, packets, events, recordedAt: RUN_TIMESTAMP,
-  });
-  events = held.events;
+  events = await driveToClose({ runId, plan, events, packets, manifests, adapter });
+  const state = projectRuntimeState({ events });
   return {
     request,
     plan,
     manifests,
-    holdDecision: held.holdDecision,
     events,
     record: conditionRecord({
       condition: 'scope_violation',
-      // offenderとそのaffected closure（ここではTAのみ）をhold。closure外のTBは
-      // witnessを実証してcontinueする（plan条件表「offenderとaffected closure hold」）。
+      // directory名はRC3 artifact互換のため維持する。現契約では単独の予測超過は
+      // conflictではなく、観測を残したまま有効なreceiptを受理する。
       expected: {
-        finding_kinds: ['undeclared_write'],
-        hold_includes_offender: true,
-        hold: ['TA'],
-        continue: ['TB'],
+        observation_kinds: ['prediction_excess'],
+        conflict_finding_kinds: [],
+        frozen: false,
+        accepted: ['TA', 'TB'],
+        closed: true,
       },
       actual: {
-        finding_kinds: [...new Set(classified.findings.map(({ kind }) => kind))],
-        hold_includes_offender: held.holdDecision.hold_set.includes('TA'),
-        hold: held.holdDecision.hold_set,
-        continue: held.holdDecision.continue_set,
+        observation_kinds: [...new Set(classified.observations.map(({ kind }) => kind))],
+        conflict_finding_kinds: [...new Set(classified.findings.map(({ kind }) => kind))],
+        frozen: state.freeze !== null,
+        accepted: state.accepted,
+        closed: state.closed,
       },
       events,
       plan,
@@ -1334,7 +1333,7 @@ export async function runRc3ScriptedCampaign(options = {}) {
   const clean = await timed('clean_parallel', () => runCleanParallel({ scaffold }));
   const late = await timed('late_path_conflict', () => runLateConflict({ scaffold }));
   // 条件名`scope_violation`はRC3 manifestのdirectory名として凍結されているので動かさない。
-  // 中で期待するfinding種別だけが製品に追従して`undeclared_write`になる。
+  // 中では単独の予測超過を観測し、conflictへ昇格しない現契約を検証する。
   const scope = await timed('scope_violation', () => runScopeViolation({ scaffold }));
   const semantic = await timed('semantic_unknown', () => runSemanticUnknown({ scaffold }));
   const stale = await timed('stale_receipt', () => runStaleReceipt({ scaffold }));