@quolu/lattice 0.52.3 → 0.53.0

package/src/todo-independence.mjs

@@ -1,640 +1,640 @@
-import { digestTodoArtifact, isTodoIdentifier, todoSelfDigest } from './todo-contracts.mjs';
-import {
-  TODO_INDEPENDENCE_SCHEMA,
-  isGitSha,
-  isTodoIndependenceLegacyMarker,
-  severabilityOfConflictKind,
-  synthesizeWitnessRunRequest,
-  validateTodoIndependence,
-  validateTodoWitnessSet,
-} from './todo-independence-contracts.mjs';
-import { compileRuntimePlanV1, evidenceFromCollectedOutcomes } from './runtime-front-end.mjs';
-import { collectSensorEvidence } from './sensor-adapter.mjs';
-
-export class TodoIndependenceError extends Error {
-  constructor(code, reason, detail = {}) {
-    super(reason);
-    this.name = 'TodoIndependenceError';
-    this.code = code;
-    this.detail = { reason, ...detail };
-  }
-}
-
-function fail(code, reason, detail) {
-  throw new TodoIndependenceError(code, reason, detail);
-}
-
-const compareText = (left, right) => left < right ? -1 : left > right ? 1 : 0;
-
-/**
- * compile一回を識別するid。plan identityとwitness digestだけから決まるので、
- * 同じ入力からは同じrequest bytesが出る。run lifecycleへは登録しない。
- */
-export function witnessRequestId(witnessSet, planVersion) {
-  const digest = digestTodoArtifact({
-    schema: 'lattice.todo_independence_request_id.v1',
-    project_id: witnessSet.project_id,
-    plan_key: witnessSet.plan_key,
-    plan_version: planVersion,
-    witness_set_digest: witnessSet.witness_set_digest,
-  });
-  return `independence-${digest.slice(0, 24)}`;
-}
-
-/** 実sensorを引いてfront-end evidence契約へ整形する。失敗をunknownへ丸めない。 */
-export async function collectWitnessSensorEvidence({ cwd, witnessSet, execute = undefined }) {
-  const querySet = witnessSet.sensor_query_set;
-  const collected = await collectSensorEvidence({
-    cwd, querySet, ...(execute === undefined ? {} : { execute }),
-  });
-  return evidenceFromCollectedOutcomes({ querySet, collected });
-}
-
-/**
- * conflictから参照されるnormalized resourceを正規化してartifactへ載せる。
- *
- * `graph.conflicts`はresource_idしか持たず、宣言由来のstate resource idは任意文字列なので
- * prefixからkindを復元できない。normalized resourceを引けない場合は、切断可能性を
- * 不明のまま記録するのでなくtyped failで止める。
- */
-function conflictsFrom(verdicts, resources) {
-  const resourceById = new Map();
-  for (const resource of Array.isArray(resources) ? resources : []) {
-    const resourceId = resource?.resource_id;
-    if (resourceById.has(resourceId)) {
-      const previous = resourceById.get(resourceId);
-      if (previous.kind !== resource?.kind) {
-        fail('INDEPENDENCE_RESOURCE_KIND_MISMATCH', 'conflict_resource_kind_mismatch', {
-          resource_id: resourceId ?? null,
-          observed_kinds: [previous.kind ?? null, resource?.kind ?? null],
-        });
-      }
-      if (previous.target !== resource?.target) {
-        fail('INDEPENDENCE_RESOURCE_TARGET_MISMATCH', 'conflict_resource_target_mismatch', {
-          resource_id: resourceId ?? null,
-          observed_targets: [previous.target ?? null, resource?.target ?? null],
-        });
-      }
-      fail('INDEPENDENCE_RESOURCE_DUPLICATE', 'conflict_resource_duplicate', {
-        resource_id: resourceId ?? null,
-      });
-    }
-    resourceById.set(resourceId, { kind: resource?.kind, target: resource?.target });
-  }
-  const conflicts = verdicts
-    .filter((verdict) => verdict.type === 'conflict')
-    .map((verdict) => {
-      const resource = resourceById.get(verdict.resource_id);
-      const kind = resource?.kind;
-      if (!['symbol', 'path', 'state', 'effect', 'line'].includes(kind)) {
-        fail('INDEPENDENCE_RESOURCE_KIND_UNRESOLVED', 'conflict_resource_kind_unresolved', {
-          resource_id: verdict.resource_id, observed_kind: kind ?? null,
-        });
-      }
-      if (typeof resource.target !== 'string' || resource.target.length === 0) {
-        fail('INDEPENDENCE_RESOURCE_TARGET_UNRESOLVED', 'conflict_resource_target_unresolved', {
-          resource_id: verdict.resource_id, observed_target: resource.target ?? null,
-        });
-      }
-      return {
-        task_ids: [...verdict.todo_ids].sort(compareText),
-        resource_id: verdict.resource_id,
-      };
-    })
-    .sort((left, right) => compareText(
-      `${left.task_ids[0]}\0${left.task_ids[1]}\0${left.resource_id}`,
-      `${right.task_ids[0]}\0${right.task_ids[1]}\0${right.resource_id}`,
-    ));
-  const used = new Set(conflicts.map(({ resource_id: resourceId }) => resourceId));
-  const conflictResources = [...used]
-    .map((resourceId) => ({ resource_id: resourceId, ...resourceById.get(resourceId) }))
-    .sort((left, right) => compareText(left.resource_id, right.resource_id));
-  return { conflicts, conflictResources };
-}
-
-/**
- * witnessが宣言した境界pathを集める。
- *
- * 鮮度のdiff交差判定に使うので、observationへ効くpathを漏れなく採る——所有path、
- * 書き込み、読み取り、affected test、sensor queryのexpect path。symbol owns自体は
- * pathを持たないが、それを裏取りするqueryのexpect pathが同じ効果を持つ。
- */
-function boundaryPathsOf(witness) {
-  const paths = new Set();
-  for (const own of witness.owns) {
-    if (own.kind === 'path') paths.add(own.target);
-  }
-  for (const path of witness.writes) paths.add(path);
-  for (const path of witness.reads) paths.add(path);
-  for (const path of witness.affected_tests) paths.add(path);
-  for (const entry of witness.sensor_provenance.queries) paths.add(entry.expect.path);
-  for (const line of witness.lines ?? []) {
-    for (const anchor of line.anchors) paths.add(anchor.path);
-  }
-  return [...paths].sort(compareText);
-}
-
-function precedencesFrom(verdicts) {
-  return verdicts
-    .filter((verdict) => verdict.type === 'precedence')
-    .map((verdict) => ({
-      from_task_id: verdict.from_todo_id,
-      to_task_id: verdict.to_todo_id,
-      reason: verdict.reason,
-    }))
-    .sort((left, right) => compareText(
-      `${left.from_task_id}\0${left.to_task_id}\0${left.reason}`,
-      `${right.from_task_id}\0${right.to_task_id}\0${right.reason}`,
-    ));
-}
-
-function unknownsFrom(detail) {
-  const entries = [
-    ...(Array.isArray(detail?.unknowns) ? detail.unknowns : []),
-    ...(Array.isArray(detail?.unresolved_witnesses) ? detail.unresolved_witnesses : []),
-  ]
-    .filter((entry) => entry !== null && typeof entry === 'object'
-      && typeof entry.todo_id === 'string' && typeof entry.kind === 'string'
-      && typeof entry.ref === 'string')
-    .map((entry) => ({
-      task_id: entry.todo_id,
-      kind: entry.kind,
-      ref: entry.ref,
-    }));
-  const seen = new Set();
-  return entries
-    .filter((entry) => {
-      const key = `${entry.task_id}\0${entry.kind}\0${entry.ref}`;
-      if (seen.has(key)) return false;
-      seen.add(key);
-      return true;
-    })
-    .sort((left, right) => compareText(
-      `${left.task_id}\0${left.kind}\0${left.ref}`,
-      `${right.task_id}\0${right.kind}\0${right.ref}`,
-    ));
-}
-
-/**
- * witness setとsensor evidenceから`lattice.todo_independence.v5`を作る。
- *
- * compileは宣言済みtaskの部分集合へ閉じる（ADR 0127 Decision 4）。未宣言taskを混ぜると、
- * unknownが1件でも出た時点で宣言済みtask同士の判定まで失われるためである。
- * `dispatchable`ならpairwise verdictとwave planを写し、`BOUNDARY_UNKNOWN`なら
- * unknownをtask単位で記録してwave planを持たない。それ以外のnon-dispatchableは
- * 契約違反または観測不成立であり、artifactへ丸めずtyped errorで止める。
- */
-/**
- * 前回artifactと今回の宣言を突き合わせて、task別の膨張を事実だけ記録する（s1）。
- *
- * **判定しない。** 上流の契約確定に追従した膨張・自分の変更の後始末・元から在った面の見落とし・
- * 思いつきで盛った分は、**機械には区別できない**（2026-08-09の実測: 1つのtaskへ前3種が同時に出た）。
- * 装置が言えるのは「増えた」「何が増減した」「何回目か」「合流点か」までで、仕分けはAIがやる。
- *
- * 前回が無い（初回・plan version違い・legacy版）時は、比較相手なしとして今回の宣言を初回として置く。
- * **「前回が読めなかった」を「膨張ゼロ」に化かさない**ため、compared_witness_digestで区別できる。
- */
-function scopeExpansionFrom({ taskIds, boundaries, previousArtifact, plan }) {
-  const comparable = previousArtifact !== null && previousArtifact !== undefined
-    && previousArtifact.schema === TODO_INDEPENDENCE_SCHEMA
-    && previousArtifact.plan_key === plan.plan_key
-    && previousArtifact.plan_version === plan.plan_version
-    && previousArtifact.topology_digest === plan.topology_digest;
-  const previousBoundaries = new Map(comparable
-    ? previousArtifact.task_boundaries.map((entry) => [entry.task_id, entry.paths])
-    : []);
-  const previousExpansion = new Map(comparable
-    ? previousArtifact.scope_expanded.map((entry) => [entry.task_id, entry])
-    : []);
-  // 合流点（gate形）はplanのtopologyが持つ事実で、宣言とは独立に決まる。
-  const incoming = new Map(taskIds.map((taskId) => [taskId, 0]));
-  for (const edge of plan.hard_dependencies ?? []) {
-    const to = edge?.to?.task_id ?? edge?.to_task_id;
-    if (incoming.has(to)) incoming.set(to, incoming.get(to) + 1);
-  }
-  return taskIds.map((taskId) => {
-    const current = boundaries.get(taskId) ?? [];
-    const previous = previousBoundaries.get(taskId) ?? null;
-    const prior = previousExpansion.get(taskId) ?? null;
-    // **subset入替を「初回」へ偽装しない。** witnessはwave単位のsubsetで書き出せるので、
-    // A→B→Aと入れ替わると直前artifactにAが居ない。そこで今回を初回と置くと、
-    // **本当の初回宣言数と膨張回数が消える**（suzune の監査で実測・room [1152]）。
-    // 比較相手はあるのにこのtaskが居ない時は、**数を主張せずnullで「分からない」と言う。**
-    if (comparable && previous === null) {
-      return {
-        task_id: taskId,
-        compared_witness_digest: previousArtifact.witness_set_digest,
-        first_seen_path_count: null,
-        path_count: current.length,
-        added_paths: [],
-        removed_paths: [],
-        growth_events: null,
-        gate_shape: (incoming.get(taskId) ?? 0) >= 2,
-      };
-    }
-    const currentSet = new Set(current);
-    const previousSet = new Set(previous ?? []);
-    const added = previous === null ? [] : current.filter((path) => !previousSet.has(path));
-    const removed = previous === null ? [] : previous.filter((path) => !currentSet.has(path));
-    return {
-      task_id: taskId,
-      compared_witness_digest: comparable ? previousArtifact.witness_set_digest : null,
-      // **unknown は後続へ伝播する。** 一度 subset gap で累計が分からなくなった task は、
-      // 次の compile で `(null ?? 0) + 1` のように既知へ戻してはいけない——
-      // **欠落前の累計が分からないことは、その後も分からないまま**である（suzune [1173]）。
-      first_seen_path_count: prior === null
-        ? current.length
-        : prior.first_seen_path_count,
-      path_count: current.length,
-      added_paths: [...added].sort(compareText),
-      removed_paths: [...removed].sort(compareText),
-      growth_events: prior !== null && prior.growth_events === null
-        ? null
-        : (prior?.growth_events ?? 0) + (added.length > 0 ? 1 : 0),
-      gate_shape: (incoming.get(taskId) ?? 0) >= 2,
-    };
-  });
-}
-
-export function compileTodoIndependence(options = {}) {
-  const { witnessSet, plan, baseSha, compiledAt, sensorEvidence, previousArtifact = null } = options;
-  if (!validateTodoWitnessSet(witnessSet)) {
-    fail('INDEPENDENCE_WITNESS_INVALID', 'witness_set_invalid');
-  }
-  if (!isGitSha(baseSha)) fail('INDEPENDENCE_BASE_INVALID', 'base_sha_invalid');
-  if (witnessSet.project_id !== plan.project_id || witnessSet.plan_key !== plan.plan_key) {
-    fail('INDEPENDENCE_PLAN_MISMATCH', 'witness_set_plan_mismatch', {
-      witness_plan_key: witnessSet.plan_key, plan_key: plan.plan_key,
-    });
-  }
-
-  const planTaskIds = new Set(plan.tasks.map(({ task_id: taskId }) => taskId));
-  const taskIds = Object.keys(witnessSet.manual_witness).sort(compareText);
-  const absent = taskIds.filter((taskId) => !planTaskIds.has(taskId));
-  if (absent.length > 0) {
-    fail('INDEPENDENCE_TASK_ABSENT', 'witness_task_absent_from_plan', { task_ids: absent });
-  }
-
-  const request = synthesizeWitnessRunRequest(witnessSet, {
-    baseSha, requestId: witnessRequestId(witnessSet, plan.plan_version),
-  });
-  const compiled = compileRuntimePlanV1({
-    request,
-    sensorEvidence,
-    planRef: witnessRequestId(witnessSet, plan.plan_version),
-    planEpoch: 0,
-    predecessorRefs: [],
-  });
-
-  if (compiled.outcome !== 'dispatchable'
-    && !(compiled.outcome === 'non_dispatchable' && compiled.code === 'BOUNDARY_UNKNOWN')) {
-    fail('INDEPENDENCE_COMPILE_FAILED', 'boundary_compile_not_dispatchable', {
-      code: compiled.code ?? null, compile_detail: compiled.detail ?? null,
-    });
-  }
-
-  const dispatchable = compiled.outcome === 'dispatchable';
-  const conflictProjection = dispatchable
-    ? conflictsFrom(compiled.pairwise_verdicts, compiled.resources)
-    : { conflicts: [], conflictResources: [] };
-  const boundaryEntries = taskIds.map((taskId) => ({
-    task_id: taskId,
-    paths: boundaryPathsOf(witnessSet.manual_witness[taskId]),
-  }));
-  const artifact = {
-    schema: TODO_INDEPENDENCE_SCHEMA,
-    project_id: plan.project_id,
-    plan_key: plan.plan_key,
-    plan_version: plan.plan_version,
-    topology_digest: plan.topology_digest,
-    base_sha: baseSha,
-    witness_set_digest: witnessSet.witness_set_digest,
-    compiled_at: compiledAt,
-    task_ids: taskIds,
-    task_boundaries: boundaryEntries,
-    conflict_resources: conflictProjection.conflictResources,
-    conflicts: conflictProjection.conflicts,
-    precedences: dispatchable ? precedencesFrom(compiled.pairwise_verdicts) : [],
-    unknowns: dispatchable ? [] : unknownsFrom(compiled.detail),
-    wave_plan: dispatchable
-      ? {
-        waves: compiled.schedule.waves.map((wave) => ({
-          task_ids: [...wave.todo_ids].sort(compareText),
-        })),
-        minimum_feasible_waves: compiled.schedule.minimum_feasible_waves,
-      }
-      : null,
-    scope_expanded: scopeExpansionFrom({
-      taskIds,
-      boundaries: new Map(boundaryEntries.map((entry) => [entry.task_id, entry.paths])),
-      previousArtifact,
-      plan,
-    }),
-    outcome: dispatchable ? 'compiled' : 'unknown',
-    result_digest: '',
-  };
-  artifact.result_digest = todoSelfDigest(artifact, 'result_digest');
-
-  // unknownを1件も持たないのに非dispatchableという状態は、原因を失った成功扱いになる。
-  if (!dispatchable && artifact.unknowns.length === 0) {
-    fail('INDEPENDENCE_COMPILE_FAILED', 'boundary_unknown_without_cause', {
-      compile_detail: compiled.detail ?? null,
-    });
-  }
-  if (!validateTodoIndependence(artifact)) {
-    fail('INDEPENDENCE_ARTIFACT_INVALID', 'independence_artifact_invalid');
-  }
-  return artifact;
-}
-
-function pairKey(left, right) {
-  return left < right ? `${left}\0${right}` : `${right}\0${left}`;
-}
-
-/**
- * 変更pathが宣言境界に触れたかを判定する。
- *
- * 完全一致か、宣言側が`dir/`形式のprefixで変更pathを覆う場合に交差とみなす
- * （runtime diff observerのscope判定と同一規則）。
- */
-function boundaryTouches(declaredPaths, changedPath) {
-  return declaredPaths.some((declared) => declared === changedPath
-    || (declared.endsWith('/') && changedPath.startsWith(declared)));
-}
-
-/**
- * ready frontierを、記録済みartifactだけを根拠に
- * 「検証済み独立」「直列化すべき組」「進行中との競合」「未検査」へ分けて投影する。
- *
- * sensorは引かない。artifactが無い／planが進んだ場合はcoverageで示す。
- * HEADが動いた場合は`changedPaths`と宣言境界の交差を見て、交差したtaskだけを未検査へ落とす
- * （ADR 0128 Decision 4）。宣言境界に触れないdiffは観測を変えないため、
- * 交差しなかったtaskのverified独立は維持する。
- *
- * @param {object} options
- * @param {object|null} options.artifact 記録済みindependence artifact（v2）
- * @param {string[]} options.readyTaskIds 同一plan内のready task
- * @param {string[]} options.activeTaskIds 同一plan内のin-progress task
- * @param {object} options.plan plan_versionとtopology_digestを持つactive plan
- * @param {string} options.currentBaseSha 現在のHEAD
- * @param {string[]|null} options.changedPaths base_sha..HEADの変更path。
- *   nullはdiffを確定できなかったこと（base到達不能）を意味し、全taskを交差扱いにする。
- */
-export function projectIndependenceFrontier({
-  artifact, readyTaskIds, activeTaskIds = [], plan, currentBaseSha, changedPaths = null,
-}) {
-  const ready = [...readyTaskIds].sort(compareText);
-  const active = [...activeTaskIds].sort(compareText);
-  if (!isGitSha(currentBaseSha)) fail('INDEPENDENCE_BASE_INVALID', 'current_base_sha_invalid');
-
-  const emptyFrontier = () => ({
-    parallel_groups: [],
-    serialize_pairs: [],
-    conflicts_with_active: [],
-    unknown: ready.map((taskId) => ({
-      task_id: taskId,
-      unknowns: [{ kind: 'witness_missing', ref: 'no_independence_record' }],
-    })),
-  });
-
-  if (artifact === null) {
-    return {
-      coverage: 'missing',
-      drift: null,
-      active_task_ids: active,
-      uncovered_active_task_ids: active,
-      frontier: emptyFrontier(),
-    };
-  }
-
-  if (isTodoIndependenceLegacyMarker(artifact)) {
-    return {
-      coverage: 'superseded',
-      drift: null,
-      active_task_ids: active,
-      uncovered_active_task_ids: active,
-      frontier: {
-        parallel_groups: [],
-        serialize_pairs: [],
-        conflicts_with_active: [],
-        unknown: ready.map((taskId) => ({
-          task_id: taskId,
-          unknowns: [{ kind: 'record_superseded', ref: artifact.legacy_schema }],
-        })),
-      },
-    };
-  }
-
-  const superseded = artifact.plan_version !== plan.plan_version
-    || artifact.topology_digest !== plan.topology_digest;
-  const coverage = superseded ? 'superseded'
-    : artifact.base_sha === currentBaseSha ? 'verified' : 'stale';
-
-  const covered = new Set(artifact.task_ids);
-  const boundariesByTask = new Map(artifact.task_boundaries
-    .map((entry) => [entry.task_id, entry.paths]));
-
-  // 宣言境界とdiffの交差。coverage==='stale'のときだけ意味を持つ。
-  let drift = null;
-  const intersecting = new Set();
-  if (coverage === 'stale') {
-    const baseReachable = changedPaths !== null;
-    if (!baseReachable) {
-      // 差分を確定できないなら、記録が今も有効だと主張する根拠が無い。
-      for (const taskId of artifact.task_ids) intersecting.add(taskId);
-    } else {
-      for (const taskId of artifact.task_ids) {
-        const declared = boundariesByTask.get(taskId) ?? [];
-        if (changedPaths.some((changed) => boundaryTouches(declared, changed))) {
-          intersecting.add(taskId);
-        }
-      }
-    }
-    drift = {
-      base_reachable: baseReachable,
-      changed_path_count: baseReachable ? changedPaths.length : 0,
-      intersecting_task_ids: [...intersecting].sort(compareText),
-    };
-  }
-
-  const unknownByTask = new Map();
-  const noteUnknown = (taskId, kind, ref) => {
-    if (!unknownByTask.has(taskId)) unknownByTask.set(taskId, []);
-    unknownByTask.get(taskId).push({ kind, ref });
-  };
-  for (const taskId of ready) {
-    if (!covered.has(taskId)) noteUnknown(taskId, 'witness_missing', 'task_not_in_witness_set');
-  }
-  for (const entry of artifact.unknowns) {
-    if (ready.includes(entry.task_id)) noteUnknown(entry.task_id, entry.kind, entry.ref);
-  }
-  // 記録全体がverdictを持たない場合、どのpairについても判定は存在しない。
-  //
-  // compileがBOUNDARY_UNKNOWNで止まると、front endはpairwise verdictを1つも返さないので
-  // artifact.conflictsは空になる。この空をそのまま読むと、自分にunknownが無いreadyどうしが
-  // 「ぶつかる記録が無い＝独立」として並列グループへ入る。実際には**誰についても判定していない**。
-  // 新規fileを1つ宣言したToDoが混ざるだけで、無関係なToDoの実competitionが消えて
-  // 検証済み並列に見える——不在を証拠に読み替える、最も危険な向きの誤りである。
-  if (artifact.outcome !== 'compiled') {
-    for (const taskId of ready) {
-      if (covered.has(taskId)) noteUnknown(taskId, 'plan_verdicts_absent', artifact.outcome);
-    }
-  }
-  // planが進んだ記録はtask単位に救えない（topology自体が別物）。
-  // HEADだけが進んだ場合は、宣言境界に触れたtaskだけを落とす。
-  if (coverage === 'superseded') {
-    for (const taskId of ready) {
-      if (covered.has(taskId)) noteUnknown(taskId, 'record_superseded', artifact.base_sha);
-    }
-  } else if (coverage === 'stale') {
-    for (const taskId of ready) {
-      if (covered.has(taskId) && intersecting.has(taskId)) {
-        noteUnknown(taskId, 'record_stale', artifact.base_sha);
-      }
-    }
-  }
-
-  // 記録が今のtaskへ有効か。無効な相手との競合は「競合なし」でなく「判定不能」であり、
-  // conflicts_with_activeではなくuncovered_activeとして示す。
-  const usable = (taskId) => covered.has(taskId)
-    && !(coverage === 'superseded')
-    && !(coverage === 'stale' && intersecting.has(taskId));
-  const uncoveredActive = active.filter((taskId) => !usable(taskId));
-
-  const readySet = new Set(ready);
-  const activeSet = new Set(active);
-  const serializePairs = [];
-  const activeConflicts = [];
-  const blocked = new Set();
-
-  const notePair = (left, right, type, detail, kind) => {
-    const severability = type === 'conflict' ? severabilityOfConflictKind(kind) : 'serial';
-    const pairKind = type === 'conflict' ? kind : null;
-    if (readySet.has(left) && readySet.has(right)) {
-      const pair = [left, right].sort(compareText);
-      serializePairs.push({
-        task_ids: pair, type, detail, kind: pairKind, severability,
-      });
-      blocked.add(pairKey(left, right));
-      return;
-    }
-    // 片端がactiveなら着手時の警告面へ回す。v1はここで黙って捨てていた。
-    const readyId = readySet.has(left) ? left : readySet.has(right) ? right : null;
-    const activeId = activeSet.has(left) ? left : activeSet.has(right) ? right : null;
-    if (readyId === null || activeId === null || readyId === activeId) return;
-    if (!usable(readyId) || !usable(activeId)) return;
-    activeConflicts.push({
-      ready_task_id: readyId, active_task_id: activeId, type, detail,
-      kind: pairKind, severability,
-    });
-  };
-
-  const conflictResourceById = new Map(artifact.conflict_resources
-    .map((resource) => [resource.resource_id, resource]));
-  for (const conflict of artifact.conflicts) {
-    const resource = conflictResourceById.get(conflict.resource_id);
-    if (resource === undefined) {
-      fail('INDEPENDENCE_RESOURCE_KIND_UNRESOLVED', 'conflict_resource_kind_unresolved', {
-        resource_id: conflict.resource_id, observed_kind: null,
-      });
-    }
-    notePair(conflict.task_ids[0], conflict.task_ids[1], 'conflict', conflict.resource_id,
-      resource.kind);
-  }
-  for (const precedence of artifact.precedences) {
-    notePair(precedence.from_task_id, precedence.to_task_id, 'precedence', precedence.reason, null);
-  }
-  serializePairs.sort((left, right) => compareText(
-    `${left.task_ids[0]}\0${left.task_ids[1]}\0${left.type}\0${left.detail}`,
-    `${right.task_ids[0]}\0${right.task_ids[1]}\0${right.type}\0${right.detail}`,
-  ));
-  activeConflicts.sort((left, right) => compareText(
-    `${left.ready_task_id}\0${left.active_task_id}\0${left.type}\0${left.detail}`,
-    `${right.ready_task_id}\0${right.active_task_id}\0${right.type}\0${right.detail}`,
-  ));
-
-  // 未検査を並列グループへ入れない。verdictの不在を独立の証拠にできるのは、
-  // 両taskがcompile対象であり、どちらにもunknownが無いときだけである。
-  const eligible = ready.filter((taskId) => !unknownByTask.has(taskId));
-  const groups = [];
-  for (const taskId of eligible) {
-    const target = groups.find((group) => group.every((member) => !blocked.has(pairKey(member, taskId))));
-    if (target === undefined) groups.push([taskId]); else target.push(taskId);
-  }
-
-  return {
-    coverage,
-    drift,
-    active_task_ids: active,
-    uncovered_active_task_ids: uncoveredActive,
-    frontier: {
-      parallel_groups: groups.map((task_ids) => ({ task_ids: [...task_ids].sort(compareText) }))
-        .sort((left, right) => compareText(left.task_ids[0], right.task_ids[0])),
-      serialize_pairs: serializePairs,
-      conflicts_with_active: activeConflicts,
-      unknown: [...unknownByTask.entries()]
-        .map(([taskId, unknowns]) => ({ task_id: taskId, unknowns }))
-        .sort((left, right) => compareText(left.task_id, right.task_id)),
-    },
-  };
-}
-
-export function isIndependenceIdentifier(value) {
-  return isTodoIdentifier(value);
-}
-
-/**
- * revisionのtask migrationでwitness宣言のtask_idを写す（ADR 0128 Decision 6）。
- *
- * 写像だけを担い、宣言内容が改訂後も意味的に妥当かは主張しない——それは機械には判定できない。
- * 解決できないIDはfail closedにする。既に新IDになっている宣言はそのまま通す（冪等）。
- *
- * @param {object} options
- * @param {object} options.witnessSet 現在の宣言
- * @param {Array<{from_task_id: string, to_task_id: string}>} options.taskMigration
- * @param {string[]} options.planTaskIds 移行後planのtask_id集合
- */
-export function migrateWitnessSetTaskIds({ witnessSet, taskMigration, planTaskIds }) {
-  const mapping = new Map(taskMigration.map((entry) => [entry.from_task_id, entry.to_task_id]));
-  const current = new Set(planTaskIds);
-  const migrated = {};
-  const unresolved = [];
-  let migratedCount = 0;
-  let removedCount = 0;
-  let unchangedCount = 0;
-
-  for (const taskId of Object.keys(witnessSet.manual_witness).sort(compareText)) {
-    const witness = witnessSet.manual_witness[taskId];
-    if (mapping.has(taskId)) {
-      const target = mapping.get(taskId);
-      if (target === 'removed') { removedCount += 1; continue; }
-      migrated[target] = witness;
-      if (target === taskId) unchangedCount += 1; else migratedCount += 1;
-      continue;
-    }
-    // 移行表に無くても、既に現planのtaskなら再実行とみなして通す。
-    if (current.has(taskId)) { migrated[taskId] = witness; unchangedCount += 1; continue; }
-    unresolved.push(taskId);
-  }
-  if (unresolved.length > 0) {
-    fail('WITNESS_MIGRATION_UNRESOLVED', 'witness_task_id_unresolved', {
-      task_ids: unresolved.sort(compareText),
-      next_action: 'update_witness_set_manually',
-    });
-  }
-  if (Object.keys(migrated).length === 0) {
-    fail('WITNESS_MIGRATION_EMPTY', 'witness_set_would_be_empty');
-  }
-
-  const next = { ...witnessSet, manual_witness: migrated, witness_set_digest: '' };
-  next.witness_set_digest = todoSelfDigest(next, 'witness_set_digest');
-  if (!validateTodoWitnessSet(next)) {
-    fail('INVALID_TODO_WITNESS_SET', 'migrated_witness_set_invalid');
-  }
-  return {
-    witnessSet: next,
-    migrated_count: migratedCount,
-    removed_count: removedCount,
-    unchanged_count: unchangedCount,
-  };
-}
+import { digestTodoArtifact, isTodoIdentifier, todoSelfDigest } from './todo-contracts.mjs';
+import {
+  TODO_INDEPENDENCE_SCHEMA,
+  isGitSha,
+  isTodoIndependenceLegacyMarker,
+  severabilityOfConflictKind,
+  synthesizeWitnessRunRequest,
+  validateTodoIndependence,
+  validateTodoWitnessSet,
+} from './todo-independence-contracts.mjs';
+import { compileRuntimePlanV1, evidenceFromCollectedOutcomes } from './runtime-front-end.mjs';
+import { collectSensorEvidence } from './sensor-adapter.mjs';
+
+export class TodoIndependenceError extends Error {
+  constructor(code, reason, detail = {}) {
+    super(reason);
+    this.name = 'TodoIndependenceError';
+    this.code = code;
+    this.detail = { reason, ...detail };
+  }
+}
+
+function fail(code, reason, detail) {
+  throw new TodoIndependenceError(code, reason, detail);
+}
+
+const compareText = (left, right) => left < right ? -1 : left > right ? 1 : 0;
+
+/**
+ * compile一回を識別するid。plan identityとwitness digestだけから決まるので、
+ * 同じ入力からは同じrequest bytesが出る。run lifecycleへは登録しない。
+ */
+export function witnessRequestId(witnessSet, planVersion) {
+  const digest = digestTodoArtifact({
+    schema: 'lattice.todo_independence_request_id.v1',
+    project_id: witnessSet.project_id,
+    plan_key: witnessSet.plan_key,
+    plan_version: planVersion,
+    witness_set_digest: witnessSet.witness_set_digest,
+  });
+  return `independence-${digest.slice(0, 24)}`;
+}
+
+/** 実sensorを引いてfront-end evidence契約へ整形する。失敗をunknownへ丸めない。 */
+export async function collectWitnessSensorEvidence({ cwd, witnessSet, execute = undefined }) {
+  const querySet = witnessSet.sensor_query_set;
+  const collected = await collectSensorEvidence({
+    cwd, querySet, ...(execute === undefined ? {} : { execute }),
+  });
+  return evidenceFromCollectedOutcomes({ querySet, collected });
+}
+
+/**
+ * conflictから参照されるnormalized resourceを正規化してartifactへ載せる。
+ *
+ * `graph.conflicts`はresource_idしか持たず、宣言由来のstate resource idは任意文字列なので
+ * prefixからkindを復元できない。normalized resourceを引けない場合は、切断可能性を
+ * 不明のまま記録するのでなくtyped failで止める。
+ */
+function conflictsFrom(verdicts, resources) {
+  const resourceById = new Map();
+  for (const resource of Array.isArray(resources) ? resources : []) {
+    const resourceId = resource?.resource_id;
+    if (resourceById.has(resourceId)) {
+      const previous = resourceById.get(resourceId);
+      if (previous.kind !== resource?.kind) {
+        fail('INDEPENDENCE_RESOURCE_KIND_MISMATCH', 'conflict_resource_kind_mismatch', {
+          resource_id: resourceId ?? null,
+          observed_kinds: [previous.kind ?? null, resource?.kind ?? null],
+        });
+      }
+      if (previous.target !== resource?.target) {
+        fail('INDEPENDENCE_RESOURCE_TARGET_MISMATCH', 'conflict_resource_target_mismatch', {
+          resource_id: resourceId ?? null,
+          observed_targets: [previous.target ?? null, resource?.target ?? null],
+        });
+      }
+      fail('INDEPENDENCE_RESOURCE_DUPLICATE', 'conflict_resource_duplicate', {
+        resource_id: resourceId ?? null,
+      });
+    }
+    resourceById.set(resourceId, { kind: resource?.kind, target: resource?.target });
+  }
+  const conflicts = verdicts
+    .filter((verdict) => verdict.type === 'conflict')
+    .map((verdict) => {
+      const resource = resourceById.get(verdict.resource_id);
+      const kind = resource?.kind;
+      if (!['symbol', 'path', 'state', 'effect', 'line'].includes(kind)) {
+        fail('INDEPENDENCE_RESOURCE_KIND_UNRESOLVED', 'conflict_resource_kind_unresolved', {
+          resource_id: verdict.resource_id, observed_kind: kind ?? null,
+        });
+      }
+      if (typeof resource.target !== 'string' || resource.target.length === 0) {
+        fail('INDEPENDENCE_RESOURCE_TARGET_UNRESOLVED', 'conflict_resource_target_unresolved', {
+          resource_id: verdict.resource_id, observed_target: resource.target ?? null,
+        });
+      }
+      return {
+        task_ids: [...verdict.todo_ids].sort(compareText),
+        resource_id: verdict.resource_id,
+      };
+    })
+    .sort((left, right) => compareText(
+      `${left.task_ids[0]}\0${left.task_ids[1]}\0${left.resource_id}`,
+      `${right.task_ids[0]}\0${right.task_ids[1]}\0${right.resource_id}`,
+    ));
+  const used = new Set(conflicts.map(({ resource_id: resourceId }) => resourceId));
+  const conflictResources = [...used]
+    .map((resourceId) => ({ resource_id: resourceId, ...resourceById.get(resourceId) }))
+    .sort((left, right) => compareText(left.resource_id, right.resource_id));
+  return { conflicts, conflictResources };
+}
+
+/**
+ * witnessが宣言した境界pathを集める。
+ *
+ * 鮮度のdiff交差判定に使うので、observationへ効くpathを漏れなく採る——所有path、
+ * 書き込み、読み取り、affected test、sensor queryのexpect path。symbol owns自体は
+ * pathを持たないが、それを裏取りするqueryのexpect pathが同じ効果を持つ。
+ */
+function boundaryPathsOf(witness) {
+  const paths = new Set();
+  for (const own of witness.owns) {
+    if (own.kind === 'path') paths.add(own.target);
+  }
+  for (const path of witness.writes) paths.add(path);
+  for (const path of witness.reads) paths.add(path);
+  for (const path of witness.affected_tests) paths.add(path);
+  for (const entry of witness.sensor_provenance.queries) paths.add(entry.expect.path);
+  for (const line of witness.lines ?? []) {
+    for (const anchor of line.anchors) paths.add(anchor.path);
+  }
+  return [...paths].sort(compareText);
+}
+
+function precedencesFrom(verdicts) {
+  return verdicts
+    .filter((verdict) => verdict.type === 'precedence')
+    .map((verdict) => ({
+      from_task_id: verdict.from_todo_id,
+      to_task_id: verdict.to_todo_id,
+      reason: verdict.reason,
+    }))
+    .sort((left, right) => compareText(
+      `${left.from_task_id}\0${left.to_task_id}\0${left.reason}`,
+      `${right.from_task_id}\0${right.to_task_id}\0${right.reason}`,
+    ));
+}
+
+function unknownsFrom(detail) {
+  const entries = [
+    ...(Array.isArray(detail?.unknowns) ? detail.unknowns : []),
+    ...(Array.isArray(detail?.unresolved_witnesses) ? detail.unresolved_witnesses : []),
+  ]
+    .filter((entry) => entry !== null && typeof entry === 'object'
+      && typeof entry.todo_id === 'string' && typeof entry.kind === 'string'
+      && typeof entry.ref === 'string')
+    .map((entry) => ({
+      task_id: entry.todo_id,
+      kind: entry.kind,
+      ref: entry.ref,
+    }));
+  const seen = new Set();
+  return entries
+    .filter((entry) => {
+      const key = `${entry.task_id}\0${entry.kind}\0${entry.ref}`;
+      if (seen.has(key)) return false;
+      seen.add(key);
+      return true;
+    })
+    .sort((left, right) => compareText(
+      `${left.task_id}\0${left.kind}\0${left.ref}`,
+      `${right.task_id}\0${right.kind}\0${right.ref}`,
+    ));
+}
+
+/**
+ * witness setとsensor evidenceから`lattice.todo_independence.v5`を作る。
+ *
+ * compileは宣言済みtaskの部分集合へ閉じる（ADR 0127 Decision 4）。未宣言taskを混ぜると、
+ * unknownが1件でも出た時点で宣言済みtask同士の判定まで失われるためである。
+ * `dispatchable`ならpairwise verdictとwave planを写し、`BOUNDARY_UNKNOWN`なら
+ * unknownをtask単位で記録してwave planを持たない。それ以外のnon-dispatchableは
+ * 契約違反または観測不成立であり、artifactへ丸めずtyped errorで止める。
+ */
+/**
+ * 前回artifactと今回の宣言を突き合わせて、task別の膨張を事実だけ記録する（s1）。
+ *
+ * **判定しない。** 上流の契約確定に追従した膨張・自分の変更の後始末・元から在った面の見落とし・
+ * 思いつきで盛った分は、**機械には区別できない**（2026-08-09の実測: 1つのtaskへ前3種が同時に出た）。
+ * 装置が言えるのは「増えた」「何が増減した」「何回目か」「合流点か」までで、仕分けはAIがやる。
+ *
+ * 前回が無い（初回・plan version違い・legacy版）時は、比較相手なしとして今回の宣言を初回として置く。
+ * **「前回が読めなかった」を「膨張ゼロ」に化かさない**ため、compared_witness_digestで区別できる。
+ */
+function scopeExpansionFrom({ taskIds, boundaries, previousArtifact, plan }) {
+  const comparable = previousArtifact !== null && previousArtifact !== undefined
+    && previousArtifact.schema === TODO_INDEPENDENCE_SCHEMA
+    && previousArtifact.plan_key === plan.plan_key
+    && previousArtifact.plan_version === plan.plan_version
+    && previousArtifact.topology_digest === plan.topology_digest;
+  const previousBoundaries = new Map(comparable
+    ? previousArtifact.task_boundaries.map((entry) => [entry.task_id, entry.paths])
+    : []);
+  const previousExpansion = new Map(comparable
+    ? previousArtifact.scope_expanded.map((entry) => [entry.task_id, entry])
+    : []);
+  // 合流点（gate形）はplanのtopologyが持つ事実で、宣言とは独立に決まる。
+  const incoming = new Map(taskIds.map((taskId) => [taskId, 0]));
+  for (const edge of plan.hard_dependencies ?? []) {
+    const to = edge?.to?.task_id ?? edge?.to_task_id;
+    if (incoming.has(to)) incoming.set(to, incoming.get(to) + 1);
+  }
+  return taskIds.map((taskId) => {
+    const current = boundaries.get(taskId) ?? [];
+    const previous = previousBoundaries.get(taskId) ?? null;
+    const prior = previousExpansion.get(taskId) ?? null;
+    // **subset入替を「初回」へ偽装しない。** witnessはwave単位のsubsetで書き出せるので、
+    // A→B→Aと入れ替わると直前artifactにAが居ない。そこで今回を初回と置くと、
+    // **本当の初回宣言数と膨張回数が消える**（suzune の監査で実測・room [1152]）。
+    // 比較相手はあるのにこのtaskが居ない時は、**数を主張せずnullで「分からない」と言う。**
+    if (comparable && previous === null) {
+      return {
+        task_id: taskId,
+        compared_witness_digest: previousArtifact.witness_set_digest,
+        first_seen_path_count: null,
+        path_count: current.length,
+        added_paths: [],
+        removed_paths: [],
+        growth_events: null,
+        gate_shape: (incoming.get(taskId) ?? 0) >= 2,
+      };
+    }
+    const currentSet = new Set(current);
+    const previousSet = new Set(previous ?? []);
+    const added = previous === null ? [] : current.filter((path) => !previousSet.has(path));
+    const removed = previous === null ? [] : previous.filter((path) => !currentSet.has(path));
+    return {
+      task_id: taskId,
+      compared_witness_digest: comparable ? previousArtifact.witness_set_digest : null,
+      // **unknown は後続へ伝播する。** 一度 subset gap で累計が分からなくなった task は、
+      // 次の compile で `(null ?? 0) + 1` のように既知へ戻してはいけない——
+      // **欠落前の累計が分からないことは、その後も分からないまま**である（suzune [1173]）。
+      first_seen_path_count: prior === null
+        ? current.length
+        : prior.first_seen_path_count,
+      path_count: current.length,
+      added_paths: [...added].sort(compareText),
+      removed_paths: [...removed].sort(compareText),
+      growth_events: prior !== null && prior.growth_events === null
+        ? null
+        : (prior?.growth_events ?? 0) + (added.length > 0 ? 1 : 0),
+      gate_shape: (incoming.get(taskId) ?? 0) >= 2,
+    };
+  });
+}
+
+export function compileTodoIndependence(options = {}) {
+  const { witnessSet, plan, baseSha, compiledAt, sensorEvidence, previousArtifact = null } = options;
+  if (!validateTodoWitnessSet(witnessSet)) {
+    fail('INDEPENDENCE_WITNESS_INVALID', 'witness_set_invalid');
+  }
+  if (!isGitSha(baseSha)) fail('INDEPENDENCE_BASE_INVALID', 'base_sha_invalid');
+  if (witnessSet.project_id !== plan.project_id || witnessSet.plan_key !== plan.plan_key) {
+    fail('INDEPENDENCE_PLAN_MISMATCH', 'witness_set_plan_mismatch', {
+      witness_plan_key: witnessSet.plan_key, plan_key: plan.plan_key,
+    });
+  }
+
+  const planTaskIds = new Set(plan.tasks.map(({ task_id: taskId }) => taskId));
+  const taskIds = Object.keys(witnessSet.manual_witness).sort(compareText);
+  const absent = taskIds.filter((taskId) => !planTaskIds.has(taskId));
+  if (absent.length > 0) {
+    fail('INDEPENDENCE_TASK_ABSENT', 'witness_task_absent_from_plan', { task_ids: absent });
+  }
+
+  const request = synthesizeWitnessRunRequest(witnessSet, {
+    baseSha, requestId: witnessRequestId(witnessSet, plan.plan_version),
+  });
+  const compiled = compileRuntimePlanV1({
+    request,
+    sensorEvidence,
+    planRef: witnessRequestId(witnessSet, plan.plan_version),
+    planEpoch: 0,
+    predecessorRefs: [],
+  });
+
+  if (compiled.outcome !== 'dispatchable'
+    && !(compiled.outcome === 'non_dispatchable' && compiled.code === 'BOUNDARY_UNKNOWN')) {
+    fail('INDEPENDENCE_COMPILE_FAILED', 'boundary_compile_not_dispatchable', {
+      code: compiled.code ?? null, compile_detail: compiled.detail ?? null,
+    });
+  }
+
+  const dispatchable = compiled.outcome === 'dispatchable';
+  const conflictProjection = dispatchable
+    ? conflictsFrom(compiled.pairwise_verdicts, compiled.resources)
+    : { conflicts: [], conflictResources: [] };
+  const boundaryEntries = taskIds.map((taskId) => ({
+    task_id: taskId,
+    paths: boundaryPathsOf(witnessSet.manual_witness[taskId]),
+  }));
+  const artifact = {
+    schema: TODO_INDEPENDENCE_SCHEMA,
+    project_id: plan.project_id,
+    plan_key: plan.plan_key,
+    plan_version: plan.plan_version,
+    topology_digest: plan.topology_digest,
+    base_sha: baseSha,
+    witness_set_digest: witnessSet.witness_set_digest,
+    compiled_at: compiledAt,
+    task_ids: taskIds,
+    task_boundaries: boundaryEntries,
+    conflict_resources: conflictProjection.conflictResources,
+    conflicts: conflictProjection.conflicts,
+    precedences: dispatchable ? precedencesFrom(compiled.pairwise_verdicts) : [],
+    unknowns: dispatchable ? [] : unknownsFrom(compiled.detail),
+    wave_plan: dispatchable
+      ? {
+        waves: compiled.schedule.waves.map((wave) => ({
+          task_ids: [...wave.todo_ids].sort(compareText),
+        })),
+        minimum_feasible_waves: compiled.schedule.minimum_feasible_waves,
+      }
+      : null,
+    scope_expanded: scopeExpansionFrom({
+      taskIds,
+      boundaries: new Map(boundaryEntries.map((entry) => [entry.task_id, entry.paths])),
+      previousArtifact,
+      plan,
+    }),
+    outcome: dispatchable ? 'compiled' : 'unknown',
+    result_digest: '',
+  };
+  artifact.result_digest = todoSelfDigest(artifact, 'result_digest');
+
+  // unknownを1件も持たないのに非dispatchableという状態は、原因を失った成功扱いになる。
+  if (!dispatchable && artifact.unknowns.length === 0) {
+    fail('INDEPENDENCE_COMPILE_FAILED', 'boundary_unknown_without_cause', {
+      compile_detail: compiled.detail ?? null,
+    });
+  }
+  if (!validateTodoIndependence(artifact)) {
+    fail('INDEPENDENCE_ARTIFACT_INVALID', 'independence_artifact_invalid');
+  }
+  return artifact;
+}
+
+function pairKey(left, right) {
+  return left < right ? `${left}\0${right}` : `${right}\0${left}`;
+}
+
+/**
+ * 変更pathが宣言境界に触れたかを判定する。
+ *
+ * 完全一致か、宣言側が`dir/`形式のprefixで変更pathを覆う場合に交差とみなす
+ * （runtime diff observerのscope判定と同一規則）。
+ */
+function boundaryTouches(declaredPaths, changedPath) {
+  return declaredPaths.some((declared) => declared === changedPath
+    || (declared.endsWith('/') && changedPath.startsWith(declared)));
+}
+
+/**
+ * ready frontierを、記録済みartifactだけを根拠に
+ * 「検証済み独立」「直列化すべき組」「進行中との競合」「未検査」へ分けて投影する。
+ *
+ * sensorは引かない。artifactが無い／planが進んだ場合はcoverageで示す。
+ * HEADが動いた場合は`changedPaths`と宣言境界の交差を見て、交差したtaskだけを未検査へ落とす
+ * （ADR 0128 Decision 4）。宣言境界に触れないdiffは観測を変えないため、
+ * 交差しなかったtaskのverified独立は維持する。
+ *
+ * @param {object} options
+ * @param {object|null} options.artifact 記録済みindependence artifact（v2）
+ * @param {string[]} options.readyTaskIds 同一plan内のready task
+ * @param {string[]} options.activeTaskIds 同一plan内のin-progress task
+ * @param {object} options.plan plan_versionとtopology_digestを持つactive plan
+ * @param {string} options.currentBaseSha 現在のHEAD
+ * @param {string[]|null} options.changedPaths base_sha..HEADの変更path。
+ *   nullはdiffを確定できなかったこと（base到達不能）を意味し、全taskを交差扱いにする。
+ */
+export function projectIndependenceFrontier({
+  artifact, readyTaskIds, activeTaskIds = [], plan, currentBaseSha, changedPaths = null,
+}) {
+  const ready = [...readyTaskIds].sort(compareText);
+  const active = [...activeTaskIds].sort(compareText);
+  if (!isGitSha(currentBaseSha)) fail('INDEPENDENCE_BASE_INVALID', 'current_base_sha_invalid');
+
+  const emptyFrontier = () => ({
+    parallel_groups: [],
+    serialize_pairs: [],
+    conflicts_with_active: [],
+    unknown: ready.map((taskId) => ({
+      task_id: taskId,
+      unknowns: [{ kind: 'witness_missing', ref: 'no_independence_record' }],
+    })),
+  });
+
+  if (artifact === null) {
+    return {
+      coverage: 'missing',
+      drift: null,
+      active_task_ids: active,
+      uncovered_active_task_ids: active,
+      frontier: emptyFrontier(),
+    };
+  }
+
+  if (isTodoIndependenceLegacyMarker(artifact)) {
+    return {
+      coverage: 'superseded',
+      drift: null,
+      active_task_ids: active,
+      uncovered_active_task_ids: active,
+      frontier: {
+        parallel_groups: [],
+        serialize_pairs: [],
+        conflicts_with_active: [],
+        unknown: ready.map((taskId) => ({
+          task_id: taskId,
+          unknowns: [{ kind: 'record_superseded', ref: artifact.legacy_schema }],
+        })),
+      },
+    };
+  }
+
+  const superseded = artifact.plan_version !== plan.plan_version
+    || artifact.topology_digest !== plan.topology_digest;
+  const coverage = superseded ? 'superseded'
+    : artifact.base_sha === currentBaseSha ? 'verified' : 'stale';
+
+  const covered = new Set(artifact.task_ids);
+  const boundariesByTask = new Map(artifact.task_boundaries
+    .map((entry) => [entry.task_id, entry.paths]));
+
+  // 宣言境界とdiffの交差。coverage==='stale'のときだけ意味を持つ。
+  let drift = null;
+  const intersecting = new Set();
+  if (coverage === 'stale') {
+    const baseReachable = changedPaths !== null;
+    if (!baseReachable) {
+      // 差分を確定できないなら、記録が今も有効だと主張する根拠が無い。
+      for (const taskId of artifact.task_ids) intersecting.add(taskId);
+    } else {
+      for (const taskId of artifact.task_ids) {
+        const declared = boundariesByTask.get(taskId) ?? [];
+        if (changedPaths.some((changed) => boundaryTouches(declared, changed))) {
+          intersecting.add(taskId);
+        }
+      }
+    }
+    drift = {
+      base_reachable: baseReachable,
+      changed_path_count: baseReachable ? changedPaths.length : 0,
+      intersecting_task_ids: [...intersecting].sort(compareText),
+    };
+  }
+
+  const unknownByTask = new Map();
+  const noteUnknown = (taskId, kind, ref) => {
+    if (!unknownByTask.has(taskId)) unknownByTask.set(taskId, []);
+    unknownByTask.get(taskId).push({ kind, ref });
+  };
+  for (const taskId of ready) {
+    if (!covered.has(taskId)) noteUnknown(taskId, 'witness_missing', 'task_not_in_witness_set');
+  }
+  for (const entry of artifact.unknowns) {
+    if (ready.includes(entry.task_id)) noteUnknown(entry.task_id, entry.kind, entry.ref);
+  }
+  // 記録全体がverdictを持たない場合、どのpairについても判定は存在しない。
+  //
+  // compileがBOUNDARY_UNKNOWNで止まると、front endはpairwise verdictを1つも返さないので
+  // artifact.conflictsは空になる。この空をそのまま読むと、自分にunknownが無いreadyどうしが
+  // 「ぶつかる記録が無い＝独立」として並列グループへ入る。実際には**誰についても判定していない**。
+  // 新規fileを1つ宣言したToDoが混ざるだけで、無関係なToDoの実competitionが消えて
+  // 検証済み並列に見える——不在を証拠に読み替える、最も危険な向きの誤りである。
+  if (artifact.outcome !== 'compiled') {
+    for (const taskId of ready) {
+      if (covered.has(taskId)) noteUnknown(taskId, 'plan_verdicts_absent', artifact.outcome);
+    }
+  }
+  // planが進んだ記録はtask単位に救えない（topology自体が別物）。
+  // HEADだけが進んだ場合は、宣言境界に触れたtaskだけを落とす。
+  if (coverage === 'superseded') {
+    for (const taskId of ready) {
+      if (covered.has(taskId)) noteUnknown(taskId, 'record_superseded', artifact.base_sha);
+    }
+  } else if (coverage === 'stale') {
+    for (const taskId of ready) {
+      if (covered.has(taskId) && intersecting.has(taskId)) {
+        noteUnknown(taskId, 'record_stale', artifact.base_sha);
+      }
+    }
+  }
+
+  // 記録が今のtaskへ有効か。無効な相手との競合は「競合なし」でなく「判定不能」であり、
+  // conflicts_with_activeではなくuncovered_activeとして示す。
+  const usable = (taskId) => covered.has(taskId)
+    && !(coverage === 'superseded')
+    && !(coverage === 'stale' && intersecting.has(taskId));
+  const uncoveredActive = active.filter((taskId) => !usable(taskId));
+
+  const readySet = new Set(ready);
+  const activeSet = new Set(active);
+  const serializePairs = [];
+  const activeConflicts = [];
+  const blocked = new Set();
+
+  const notePair = (left, right, type, detail, kind) => {
+    const severability = type === 'conflict' ? severabilityOfConflictKind(kind) : 'serial';
+    const pairKind = type === 'conflict' ? kind : null;
+    if (readySet.has(left) && readySet.has(right)) {
+      const pair = [left, right].sort(compareText);
+      serializePairs.push({
+        task_ids: pair, type, detail, kind: pairKind, severability,
+      });
+      blocked.add(pairKey(left, right));
+      return;
+    }
+    // 片端がactiveなら着手時の警告面へ回す。v1はここで黙って捨てていた。
+    const readyId = readySet.has(left) ? left : readySet.has(right) ? right : null;
+    const activeId = activeSet.has(left) ? left : activeSet.has(right) ? right : null;
+    if (readyId === null || activeId === null || readyId === activeId) return;
+    if (!usable(readyId) || !usable(activeId)) return;
+    activeConflicts.push({
+      ready_task_id: readyId, active_task_id: activeId, type, detail,
+      kind: pairKind, severability,
+    });
+  };
+
+  const conflictResourceById = new Map(artifact.conflict_resources
+    .map((resource) => [resource.resource_id, resource]));
+  for (const conflict of artifact.conflicts) {
+    const resource = conflictResourceById.get(conflict.resource_id);
+    if (resource === undefined) {
+      fail('INDEPENDENCE_RESOURCE_KIND_UNRESOLVED', 'conflict_resource_kind_unresolved', {
+        resource_id: conflict.resource_id, observed_kind: null,
+      });
+    }
+    notePair(conflict.task_ids[0], conflict.task_ids[1], 'conflict', conflict.resource_id,
+      resource.kind);
+  }
+  for (const precedence of artifact.precedences) {
+    notePair(precedence.from_task_id, precedence.to_task_id, 'precedence', precedence.reason, null);
+  }
+  serializePairs.sort((left, right) => compareText(
+    `${left.task_ids[0]}\0${left.task_ids[1]}\0${left.type}\0${left.detail}`,
+    `${right.task_ids[0]}\0${right.task_ids[1]}\0${right.type}\0${right.detail}`,
+  ));
+  activeConflicts.sort((left, right) => compareText(
+    `${left.ready_task_id}\0${left.active_task_id}\0${left.type}\0${left.detail}`,
+    `${right.ready_task_id}\0${right.active_task_id}\0${right.type}\0${right.detail}`,
+  ));
+
+  // 未検査を並列グループへ入れない。verdictの不在を独立の証拠にできるのは、
+  // 両taskがcompile対象であり、どちらにもunknownが無いときだけである。
+  const eligible = ready.filter((taskId) => !unknownByTask.has(taskId));
+  const groups = [];
+  for (const taskId of eligible) {
+    const target = groups.find((group) => group.every((member) => !blocked.has(pairKey(member, taskId))));
+    if (target === undefined) groups.push([taskId]); else target.push(taskId);
+  }
+
+  return {
+    coverage,
+    drift,
+    active_task_ids: active,
+    uncovered_active_task_ids: uncoveredActive,
+    frontier: {
+      parallel_groups: groups.map((task_ids) => ({ task_ids: [...task_ids].sort(compareText) }))
+        .sort((left, right) => compareText(left.task_ids[0], right.task_ids[0])),
+      serialize_pairs: serializePairs,
+      conflicts_with_active: activeConflicts,
+      unknown: [...unknownByTask.entries()]
+        .map(([taskId, unknowns]) => ({ task_id: taskId, unknowns }))
+        .sort((left, right) => compareText(left.task_id, right.task_id)),
+    },
+  };
+}
+
+export function isIndependenceIdentifier(value) {
+  return isTodoIdentifier(value);
+}
+
+/**
+ * revisionのtask migrationでwitness宣言のtask_idを写す（ADR 0128 Decision 6）。
+ *
+ * 写像だけを担い、宣言内容が改訂後も意味的に妥当かは主張しない——それは機械には判定できない。
+ * 解決できないIDはfail closedにする。既に新IDになっている宣言はそのまま通す（冪等）。
+ *
+ * @param {object} options
+ * @param {object} options.witnessSet 現在の宣言
+ * @param {Array<{from_task_id: string, to_task_id: string}>} options.taskMigration
+ * @param {string[]} options.planTaskIds 移行後planのtask_id集合
+ */
+export function migrateWitnessSetTaskIds({ witnessSet, taskMigration, planTaskIds }) {
+  const mapping = new Map(taskMigration.map((entry) => [entry.from_task_id, entry.to_task_id]));
+  const current = new Set(planTaskIds);
+  const migrated = {};
+  const unresolved = [];
+  let migratedCount = 0;
+  let removedCount = 0;
+  let unchangedCount = 0;
+
+  for (const taskId of Object.keys(witnessSet.manual_witness).sort(compareText)) {
+    const witness = witnessSet.manual_witness[taskId];
+    if (mapping.has(taskId)) {
+      const target = mapping.get(taskId);
+      if (target === 'removed') { removedCount += 1; continue; }
+      migrated[target] = witness;
+      if (target === taskId) unchangedCount += 1; else migratedCount += 1;
+      continue;
+    }
+    // 移行表に無くても、既に現planのtaskなら再実行とみなして通す。
+    if (current.has(taskId)) { migrated[taskId] = witness; unchangedCount += 1; continue; }
+    unresolved.push(taskId);
+  }
+  if (unresolved.length > 0) {
+    fail('WITNESS_MIGRATION_UNRESOLVED', 'witness_task_id_unresolved', {
+      task_ids: unresolved.sort(compareText),
+      next_action: 'update_witness_set_manually',
+    });
+  }
+  if (Object.keys(migrated).length === 0) {
+    fail('WITNESS_MIGRATION_EMPTY', 'witness_set_would_be_empty');
+  }
+
+  const next = { ...witnessSet, manual_witness: migrated, witness_set_digest: '' };
+  next.witness_set_digest = todoSelfDigest(next, 'witness_set_digest');
+  if (!validateTodoWitnessSet(next)) {
+    fail('INVALID_TODO_WITNESS_SET', 'migrated_witness_set_invalid');
+  }
+  return {
+    witnessSet: next,
+    migrated_count: migratedCount,
+    removed_count: removedCount,
+    unchanged_count: unchangedCount,
+  };
+}