@quolu/lattice 0.24.0 → 0.26.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@quolu/lattice",
-  "version": "0.24.0",
+  "version": "0.26.0",
   "description": "Lattice — phase-aware TODO graph compiler and conflict-aware orchestration runtime",
   "type": "module",
   "license": "MIT",
@@ -59,10 +59,8 @@
     "prepublishOnly": "npm run verify:release-commit",
     "test": "node scripts/run-product-tests.mjs",
     "test:sensor": "npm --prefix sensor test",
-    "precheck": "node --check src/bridge-launch-agent.mjs",
-    "check": "node --check bin/lattice.mjs && node --check bin/lattice-mcp.mjs && node --check bin/lattice-dashboard.mjs && node --check bin/lattice-bridge.mjs && node --check bin/lattice-scripted-adapter.mjs && node --check src/cli-stdio.mjs && node --check src/bridge-address.mjs && node --check src/bridge-registrar.mjs && node --check src/todo-independence-guidance.mjs && node --check src/todo-independence.mjs && node --check src/todo-independence-contracts.mjs && node --check src/seam-proposal-contracts.mjs && node --check src/seam-proposal-queries.mjs && node --check src/seam-proposal.mjs && node --check src/todo-gantt-layout.mjs && node --check src/todo-gantt-scope.mjs && node --check src/bridge-config.mjs && node --check src/bridge-server.mjs && node --check src/bridge-daemon.mjs && node --check src/bridge-cli.mjs && node --check src/project-cli.mjs && node --check src/sensor-cli.mjs && node --check src/sensor-runtime.mjs && node --check src/sensor-adapter.mjs && node --check src/factory-diagnostics.mjs && node --check src/runtime-errors.mjs && node --check src/runtime-contracts.mjs && node --check src/runtime-event-store.mjs && node --check src/runtime-adapter-registry.mjs && node --check src/runtime-scripted-adapter-controller.mjs && node --check src/hash-chain.mjs && node --check src/dag-chain.mjs && node --check src/todo-contracts.mjs && node --check src/todo-chain.mjs && node --check src/todo-store.mjs && node --check src/todo-migration.mjs && node --check src/todo-revision.mjs && node --check src/todo-status.mjs && node --check src/todo-cli.mjs && node --check src/todo-dashboard-registry.mjs && node --check src/todo-gantt-presentation.mjs && node --check src/todo-gantt-live.mjs && node --check src/bounded-seam.mjs && node --check src/todo-narrative-anchor.mjs && node --check src/todo-markdown-renderer.mjs && node --check src/todo-gantt-svg.mjs && node --check src/todo-gantt-html.mjs && node --check src/runtime-projection.mjs && node --check src/runtime-decision-verifier.mjs && node --check src/runtime-front-end.mjs && node --check src/runtime-cli.mjs && node --check src/rc3-dogfood-scaffold.mjs && node --check src/runtime-engine.mjs && node --check src/runtime-scripted-executor.mjs && node --check src/runtime-diff-observer.mjs && node --check src/runtime-worktree-executor.mjs && node --check src/runtime-hold-recompile.mjs && node --check src/rc3-scripted-campaign.mjs && node --check src/rc3-actual-dogfood.mjs && node --check src/rc4-stage1-dogfood.mjs && node --check research/fixtures/dispatch-record/src/dispatch-record.mjs && node --check test/research-dispatch-record.test.mjs",
-    "check:project-identity": "node --check src/project-identity.mjs",
-    "ci": "npm run test && npm run test:sensor && npm run check && npm run check:project-identity && npm run verify:todo-store",
+    "check": "node scripts/check-syntax.mjs",
+    "ci": "npm run test && npm run test:sensor && npm run check && npm run verify:todo-store",
     "verify:todo-store": "node bin/lattice.mjs todo verify --json"
   }
 }

package/src/cli-help.mjs

@@ -70,6 +70,7 @@ Write commands:
   evidence promote --plan <key> --task <id> --evidence <file>
   independence compile --plan <key> --input <file>  # witness setとsensorから並列可否を記録する
   independence witness migrate --plan <key>  # revision後の宣言をtask migrationで写す
+  independence witness scaffold --plan <key> --input <draft>  # 下書きとfresh観測から宣言を書き出す
   seam-proposal compile --plan <key>  # 並列可否記録と実sensorからseam提案を記録する
   seam-proposal apply --plan <key>  # 記録済み提案を隔離worktreeで適用し五条件で採否を決める
   seam-proposal land --plan <key> --names <file>  # 採用された変換を本ツリーへ着地させる

package/src/runtime-hold-recompile.mjs

@@ -65,6 +65,7 @@ function sha16(value) {
 
 const WITNESS_KINDS = Object.freeze(['state', 'schema', 'invariant', 'effect', 'external_effect']);
 const HEX_DIGEST = /^[0-9a-f]{64}$/u;
+const HEX_SHA1 = /^[0-9a-f]{40}$/u;
 const IDENTIFIER = /^[0-9A-Za-z](?:[0-9A-Za-z._-]{0,127})$/u;
 const compareText = (left, right) => left < right ? -1 : left > right ? 1 : 0;
 
@@ -620,12 +621,19 @@ export function recompileNextEpochPlan(options = {}) {
   if (!exactRecord(options, [
     'runId', 'request', 'plan', 'manifests', 'packets', 'events', 'holdDecision',
     'additionalConflicts', 'recordedAt',
+  ]) && !exactRecord(options, [
+    'runId', 'request', 'plan', 'manifests', 'packets', 'events', 'holdDecision',
+    'additionalConflicts', 'recordedAt', 'successorBaseSha',
   ])) {
     fail('recompileNextEpochPlan optionsがexact shapeでない');
   }
   const {
     runId, request, plan, manifests, packets, events, holdDecision, additionalConflicts, recordedAt,
+    successorBaseSha = null,
   } = options;
+  if (successorBaseSha !== null && !HEX_SHA1.test(successorBaseSha)) {
+    fail('successorBaseShaがgit shaでない');
+  }
   if (!validateRuntimePlan(plan)) fail('planがruntime_plan.v1 contractを満たさない');
   if (!validateHoldDecision(holdDecision)) fail('holdDecisionがcontractを満たさない');
   if (!Array.isArray(additionalConflicts)) fail('additionalConflictsがarrayではない');
@@ -673,7 +681,11 @@ export function recompileNextEpochPlan(options = {}) {
     plan_ref: newPlanRef,
     plan_epoch: newEpoch,
     request_digest: request.request_digest,
-    base_sha: plan.base_sha,
+    // 変換でsourceの構造が変わったなら、再開先は変換を含むbaseでなければならない。
+    // 旧baseのまま再開させると、splitが所有を宣言した新pathがworktreeに存在しない（ADR 0141）。
+    // carry-over側のrebind packetはcontent不変が要件なので、そちらは触らない——
+    // 継続する作業は自分のworktreeで走り続けており、baseを付け替える対象ではない。
+    base_sha: successorBaseSha ?? plan.base_sha,
     nodes: structuredClone(plan.nodes),
     precedence: structuredClone(plan.precedence),
     conflicts: mergedConflicts,

package/src/runtime-seam-treatment.mjs

@@ -98,7 +98,8 @@ export function buildRuntimeSeamSplit({
 export async function resolveRuntimeSeamTreatment(options = {}) {
   const {
     finding, witnessSet, pathNames = {}, predeclaredTreatments = [],
-    applyConflict, baseSha, manifestDigest, affectedTests = [], taskMigrationDigest,
+    applyConflict, commitTransform, baseSha, manifestDigest, affectedTests = [],
+    taskMigrationDigest,
   } = options;
 
   if (finding?.kind === 'observed_write_conflict' && typeof finding.path === 'string') {
@@ -122,6 +123,13 @@ export async function resolveRuntimeSeamTreatment(options = {}) {
   }
 
   const applied = await applyConflict({ conflict });
+  if (applied?.outcome?.decision === 'accepted' && typeof commitTransform !== 'function') {
+    // 確定する手段が無いまま採用すると、splitは所有を宣言するのに再開先へその成果が無い。
+    // 「変換した」と言いながら再開できない状態を作らない（ADR 0141）。
+    return {
+      lane: 'intentional_serial', treatment: null, split: null, reasons: ['committer_absent'],
+    };
+  }
   if (applied?.outcome?.decision !== 'accepted') {
     return {
       lane: 'intentional_serial',
@@ -140,6 +148,15 @@ export async function resolveRuntimeSeamTreatment(options = {}) {
   if (built.split === null) {
     return { lane: 'intentional_serial', treatment: null, split: null, reasons: built.reasons };
   }
+  // 再開先が実在するbaseを要る。branchを動かさずcommitとして確定し、そのshaを後継planへ渡す。
+  const committed = await commitTransform({
+    conflict, files: applied.files ?? {}, candidateId: conflict.candidateId,
+  });
+  if (!/^[0-9a-f]{40}$/u.test(committed?.commitSha ?? '')) {
+    return {
+      lane: 'intentional_serial', treatment: null, split: null, reasons: ['transform_not_committed'],
+    };
+  }
   return {
     lane: 'seam_transform',
     treatment: {
@@ -148,6 +165,8 @@ export async function resolveRuntimeSeamTreatment(options = {}) {
     },
     split: built.split,
     files: applied.files ?? null,
+    successor_base_sha: committed.commitSha,
+    successor_base_ref: committed.ref ?? null,
     reasons: [],
   };
 }

package/src/todo-cli.mjs

@@ -85,7 +85,12 @@ import {
   validateSeamProposalProjection,
 } from './seam-proposal-contracts.mjs';
 import { compileSeamProposalArtifact, declaredConcernSymbols } from './seam-proposal.mjs';
+import { collectSensorEvidence } from './sensor-adapter.mjs';
 import { applySeamProposal } from './seam-apply.mjs';
+import {
+  WITNESS_DRAFT_SCHEMA, buildWitnessObservationQuerySet, buildWitnessSet, serializeWitnessSet,
+  validateWitnessDraft,
+} from './witness-scaffold.mjs';
 import {
   parseTodoSourceRef, todoLegacyReconciliationDigest, validatePhaseTodoRevision,
   validateTodoRevision, validateTodoRevisionSet,
@@ -938,6 +943,53 @@ async function seamProposalCompile({ repoRoot, planKey }) {
   return result;
 }
 
+/**
+ * 下書きとfresh観測から、そのまま通るwitness setを書き出す。
+ *
+ * 推定はしない。何を所有し何を触るかは下書きが述べ、ここが供給するのはAIには作れないもの——
+ * affected testのfresh観測、query setとprovenanceの配線、canonical bytesと自己digest——だけである。
+ */
+async function witnessScaffold({ repoRoot, planKey, inputRef }) {
+  const draft = await readJsonInput(repoRoot, inputRef, {
+    validate: validateWitnessDraft,
+    invalidCode: 'WITNESS_DRAFT_INVALID',
+  });
+  if (draft.plan_key !== planKey) {
+    throw new TodoStoreError('INPUT_INVALID', 'witness_draft_plan_mismatch', undefined, {
+      draft_plan_key: draft.plan_key, plan_key: planKey,
+    });
+  }
+  const { queries, paths } = buildWitnessObservationQuerySet(draft);
+  const collected = await collectSensorEvidence({ cwd: repoRoot, querySet: { queries } });
+  const affectedTestsByPath = {};
+  queries.forEach((query, index) => {
+    if (query.operation !== 'affected') return;
+    const entry = collected.outcomes[index]?.targets?.[0];
+    // 観測できていないものを空配列へ丸めない。丸めるとdriftでcompileが落ちる。
+    if (entry?.path_state === 'absent' || !Array.isArray(entry?.data?.affectedTests)) return;
+    affectedTestsByPath[query.target] = [...entry.data.affectedTests];
+  });
+  const { witnessSet, reasons } = buildWitnessSet({ draft, affectedTestsByPath });
+  if (witnessSet === null) {
+    throw new TodoStoreError('WITNESS_SCAFFOLD_INCOMPLETE', 'witness_scaffold_incomplete', undefined, {
+      reasons, next_action: 'resolve_declaration_then_retry',
+    });
+  }
+  const ref = todoWitnessRef(planKey);
+  await mkdir(path.dirname(path.join(repoRoot, ref)), { recursive: true });
+  await writeFile(path.join(repoRoot, ref), serializeWitnessSet(witnessSet));
+  return {
+    schema: 'lattice.todo_witness_scaffold_result.v1',
+    project_id: draft.project_id,
+    plan_key: planKey,
+    witness_ref: ref,
+    observed_paths: paths,
+    task_count: Object.keys(witnessSet.manual_witness).length,
+    witness_set_digest: witnessSet.witness_set_digest,
+    next_action: 'compile_independence',
+  };
+}
+
 /**
  * 着地時に使うsurface名。提案が出すhash由来の仮名を、人が読む名前へ置き換える。
  *
@@ -1729,6 +1781,10 @@ export async function runTodoCli({ argv, cwd, stdout, stderr, env = process.env
   } else if (argv.length === 4 && argv[0] === 'seam-proposal' && argv[1] === 'apply'
     && argv[2] === '--plan' && isTodoIdentifier(argv[3])) {
     action = (repoRoot) => seamProposalApply({ repoRoot, planKey: argv[3] });
+  } else if (argv.length === 7 && argv[0] === 'independence' && argv[1] === 'witness'
+    && argv[2] === 'scaffold' && argv[3] === '--plan' && isTodoIdentifier(argv[4])
+    && argv[5] === '--input' && isTodoRef(argv[6])) {
+    action = (repoRoot) => witnessScaffold({ repoRoot, planKey: argv[4], inputRef: argv[6] });
   } else if (argv.length === 6 && argv[0] === 'seam-proposal' && argv[1] === 'land'
     && argv[2] === '--plan' && isTodoIdentifier(argv[3])
     && argv[4] === '--names' && isTodoRef(argv[5])) {

package/src/witness-scaffold.mjs

@@ -0,0 +1,150 @@
+/**
+ * 宣言を書くための道具（AGENTS.md「装置の境界」）。
+ *
+ * 推定はしない。何を所有し、係争資源の中で何を触るかはAIが決める——Latticeを操作するAIは装置の
+ * 一部であり、そこへ同じ能力を二重化しない。ここが供給するのは、AIには作れないものだけである。
+ *
+ * - `affected_tests`のfresh観測。宣言と観測はbinding単位でexact比較されるので、手で当てると外れる。
+ * - `sensor_query_set`と`sensor_provenance`の配線。宣言と観測の裏付けが別の資源を指す事故を防ぐ。
+ * - canonical bytesと自己digest。非canonicalな宣言は独立性判定を通ってseam提案でだけ落ちる。
+ *
+ * この3つは2026-07-27の作業で実際に踏んだ摩擦であり、道具が無いと毎回踏む。
+ */
+
+import { canonicalizeTodoArtifact, isTodoIdentifier, isTodoRef, todoSelfDigest } from './todo-contracts.mjs';
+import { TODO_WITNESS_SET_SCHEMA } from './todo-independence-contracts.mjs';
+
+const compareText = (left, right) => left < right ? -1 : left > right ? 1 : 0;
+const sortedUnique = (values) => [...new Set(values)].sort(compareText);
+
+export const WITNESS_DRAFT_SCHEMA = 'lattice.todo_witness_draft.v1';
+
+function reject(reasons) {
+  return { witnessSet: null, queries: [], reasons: sortedUnique(reasons) };
+}
+
+/** 下書きの形。AIが書く欄だけを持ち、観測で埋まる欄は持たない。 */
+export function validateWitnessDraft(value) {
+  if (value === null || typeof value !== 'object' || Array.isArray(value)) return false;
+  if (value.schema !== WITNESS_DRAFT_SCHEMA) return false;
+  if (!isTodoIdentifier(value.project_id) || !isTodoIdentifier(value.plan_key)) return false;
+  if (value.capacity === null || typeof value.capacity !== 'object'
+    || !Number.isSafeInteger(value.capacity.executors) || value.capacity.executors < 1) return false;
+  if (value.tasks === null || typeof value.tasks !== 'object' || Array.isArray(value.tasks)) return false;
+  const entries = Object.entries(value.tasks);
+  if (entries.length === 0) return false;
+  return entries.every(([taskId, task]) => isTodoIdentifier(taskId)
+    && task !== null && typeof task === 'object' && !Array.isArray(task)
+    && Array.isArray(task.owns) && task.owns.every(isTodoRef)
+    && (task.reads === undefined || (Array.isArray(task.reads) && task.reads.every(isTodoRef)))
+    && (task.unknowns === undefined || (Array.isArray(task.unknowns)
+      && task.unknowns.every((entry) => entry !== null && typeof entry === 'object'
+        && isTodoIdentifier(entry.kind) && typeof entry.ref === 'string' && entry.ref.length > 0)))
+    && (task.concern_anchors === undefined || (Array.isArray(task.concern_anchors)
+      && task.concern_anchors.every((anchor) => anchor !== null && typeof anchor === 'object'
+        && isTodoRef(anchor.within) && Array.isArray(anchor.symbols)
+        && anchor.symbols.length > 0 && anchor.symbols.every(isTodoIdentifier)))));
+}
+
+function queryIdFor(index) {
+  return `witness-affected-${String(index).padStart(3, '0')}`;
+}
+
+/** 下書きから、観測に要るquery setを組む。所有pathごとに1つのaffected queryを引く。 */
+export function buildWitnessObservationQuerySet(draft) {
+  const paths = sortedUnique(Object.values(draft.tasks).flatMap(({ owns }) => owns));
+  return {
+    queries: [
+      { id: 'witness-status', operation: 'status' },
+      ...paths.map((target, index) => ({
+        id: queryIdFor(index), operation: 'affected', target,
+      })),
+    ],
+    paths,
+  };
+}
+
+/**
+ * 下書きと観測から、そのまま通るwitness setを組む。
+ *
+ * @param {object} options
+ * @param {object} options.draft `lattice.todo_witness_draft.v1`
+ * @param {object} options.affectedTestsByPath 所有pathごとのfresh観測
+ */
+export function buildWitnessSet({ draft, affectedTestsByPath } = {}) {
+  if (!validateWitnessDraft(draft)) return reject(['draft_invalid']);
+  const { paths } = buildWitnessObservationQuerySet(draft);
+  const queryIdByPath = new Map(paths.map((target, index) => [target, queryIdFor(index)]));
+
+  const reasons = [];
+  const manualWitness = {};
+  for (const [taskId, task] of Object.entries(draft.tasks).sort(([left], [right]) => compareText(left, right))) {
+    const owns = sortedUnique(task.owns);
+    if (owns.length === 0) { reasons.push(`owns_empty:${taskId}`); continue; }
+    // affected_testsは宣言とfresh観測をbinding単位でexact比較する。複数pathを所有すると
+    // 観測集合が一致しない限り必ず落ちるので、今の契約では表現できない（2026-07-27の実測）。
+    if (owns.length > 1) { reasons.push(`multiple_owned_paths_unsupported:${taskId}`); continue; }
+    const [target] = owns;
+    const affected = affectedTestsByPath?.[target];
+    // 観測できていないことを空配列へ丸めない。丸めるとdriftでcompileが落ちる。
+    if (!Array.isArray(affected)) { reasons.push(`affected_tests_unobserved:${target}`); continue; }
+    for (const anchor of task.concern_anchors ?? []) {
+      // `within`は自分が所有している資源に限る。所有していない資源の内側に担当を主張させない。
+      if (!owns.includes(anchor.within)) reasons.push(`anchor_outside_owned:${taskId}:${anchor.within}`);
+    }
+    manualWitness[taskId] = {
+      owns: [{ kind: 'path', target }],
+      reads: sortedUnique(task.reads ?? []),
+      writes: [target],
+      resources: [],
+      state_effects: [],
+      sensor_provenance: {
+        queries: [{
+          query_id: queryIdByPath.get(target),
+          expect: { kind: 'affected', path: target },
+        }],
+      },
+      affected_tests: sortedUnique(affected),
+      // 明示unknownは下書きが持つ。観測で埋まる欄ではなく、書き手が「ここは確定していない」と
+      // 述べる欄なので、道具が発明も削除もしない。
+      unknowns: [...(task.unknowns ?? [])]
+        .map(({ kind, ref }) => ({ kind, ref }))
+        .sort((left, right) => compareText(`${left.kind}\u0000${left.ref}`, `${right.kind}\u0000${right.ref}`)),
+      ...(Array.isArray(task.concern_anchors) && task.concern_anchors.length > 0
+        ? {
+          concern_anchors: [...task.concern_anchors]
+            .map((anchor) => ({
+              within: { kind: 'path', target: anchor.within },
+              symbols: sortedUnique(anchor.symbols),
+            }))
+            .sort((left, right) => compareText(left.within.target, right.within.target)),
+        }
+        : {}),
+    };
+  }
+  if (reasons.length > 0) return reject(reasons);
+
+  const witnessSet = {
+    schema: TODO_WITNESS_SET_SCHEMA,
+    project_id: draft.project_id,
+    plan_key: draft.plan_key,
+    capacity: { executors: draft.capacity.executors },
+    sensor_query_set: {
+      queries: [
+        ...paths.map((target) => ({
+          id: queryIdByPath.get(target), operation: 'affected', target,
+        })),
+        { id: 'witness-status', operation: 'status' },
+      ].sort((left, right) => compareText(left.id, right.id)),
+    },
+    manual_witness: manualWitness,
+    witness_set_digest: '',
+  };
+  witnessSet.witness_set_digest = todoSelfDigest(witnessSet, 'witness_set_digest');
+  return { witnessSet, reasons: [] };
+}
+
+/** storeへ置くbytes。canonical＋末尾LFでないと、判定は通るのにseam提案で落ちる。 */
+export function serializeWitnessSet(witnessSet) {
+  return `${canonicalizeTodoArtifact(witnessSet)}\n`;
+}