@quolu/lattice 0.46.2 → 0.48.0

package/bin/lattice-dashboard.mjs

@@ -4,7 +4,7 @@ import { stat } from 'node:fs/promises';
 import path from 'node:path';
 
 import { readTodoStoreStable } from '../src/todo-store.mjs';
-import { projectTodoStatus } from '../src/todo-status.mjs';
+import { TODO_STATUS_DISPATCH_ONLY, projectTodoStatus } from '../src/todo-status.mjs';
 import { ganttLiveHeadDigest, renderTodoGanttForProject } from '../src/todo-cli.mjs';
 import {
   forgetTodoDashboardDaemonRecord,
@@ -61,7 +61,7 @@ async function synchronize() {
     projectHasActiveRun: async (entry) => {
       try {
         const store = await readCachedStore(entry.repo_root);
-        const active = projectTodoStatus(store).active_set.length > 0
+        const active = projectTodoStatus(store, TODO_STATUS_DISPATCH_ONLY).active_set.length > 0
           || store.members.some(todoDashboardMemberNeedsVisibility);
         reportedStoreReadFailures.delete(entry.project_id);
         return active;

package/package.json

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

@@ -75,7 +75,7 @@ Read commands:
 
 Write commands:
   dashboard adopt --json  # 衝突したproject_idの配信元rootを現在repoへ明示的に移す
-  note --plan <key> --task <id> (--message <text>|--input <file>)
+  note --plan <key> [--task <id>] (--message <text>|--input <file>)
       # ToDoへ作業継続に必要な方針・調査結果・注意をappend-onlyで追記する
   migrate --input <extraction.json> [--serialization-reviewed]
   migrate --input <extraction.json> --dry-run --json [--serialization-reviewed]
@@ -190,7 +190,7 @@ const SUBCOMMAND_USAGE = Object.freeze({
   'event verify': 'event verify --run .lattice/runs/<id>',
   'todo status': 'todo status [--json]',
   'todo show': 'todo show --plan <key> --task <id> --json',
-  'todo note': 'todo note --plan <key> --task <id> (--message <text>|--input <file>) | list --plan <key> [--task <id>] --json',
+  'todo note': 'todo note --plan <key> [--task <id>] (--message <text>|--input <file>) | list --plan <key> [--task <id>] --json',
   'todo note list': 'todo note list --plan <key> [--task <id>] --json',
   'todo bindings': 'todo bindings [--plan <key>] [--json]',
   'todo independence': 'todo independence [--plan <key>] [--json] | compile --plan <key> --input <file> | witness migrate --plan <key>',

package/src/project-cli.mjs

@@ -16,7 +16,9 @@ import {
   todoSelfDigest,
 } from './todo-contracts.mjs';
 import { projectTodoStatus } from './todo-status.mjs';
+import { readTodoPlanNotesForStatus } from './todo-note-store.mjs';
 import { projectIndependenceFrontier } from './todo-independence.mjs';
+import { readTodoParallelCandidatesForStatus } from './todo-parallel-candidates.mjs';
 import { isTodoIndependenceLegacyMarker } from './todo-independence-contracts.mjs';
 import { selectIndependenceGuidance } from './todo-independence-guidance.mjs';
 import { ensureTodoDashboardActivity } from './todo-dashboard-registry.mjs';
@@ -179,6 +181,7 @@ async function summarizeIndependence({ repoRoot, store, todo }) {
           .some(({ unknowns }) => unknowns.some(({ kind }) => kind === 'record_stale')),
         conflictWithActive: projected.frontier.conflicts_with_active[0]?.severability ?? null,
         conflictBetweenReady: projected.frontier.serialize_pairs[0]?.severability ?? null,
+        coordinationMode: member.coordination?.mode ?? null,
       }),
       unreadable_reason: null,
       parallel_groups: projected.frontier.parallel_groups.map(({ task_ids: ids }) => [...ids]),
@@ -265,7 +268,10 @@ async function resolveProjectState({ cwd, cliVersion }) {
   }
   try {
     const store = await readTodoStore({ repoRoot });
-    const todo = projectTodoStatus(store);
+    const todo = projectTodoStatus(store, {
+      planNotes: await readTodoPlanNotesForStatus({ repoRoot, store }),
+      parallelCandidates: await readTodoParallelCandidatesForStatus({ repoRoot, store, gitHead }),
+    });
     const activeRuns = todo.active_set.map((entry) => ({
       plan_key: entry.plan_key, task_id: entry.task_id, label: entry.label,
     }));
@@ -275,7 +281,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 +350,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 }));