@quolu/lattice 0.12.2 → 0.12.3

package/package.json

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

package/src/bridge-server.mjs

@@ -252,10 +252,13 @@ export async function startBridgeServer({
     throw new BridgeConfigError(error?.code === 'EADDRINUSE' ? 'BRIDGE_PORT_UNAVAILABLE' : 'BRIDGE_BIND_FAILED',
       'bridge listen failed', { ...config.listen }, error);
   });
+  const boundAddress = server.address();
+  const actualPort = typeof boundAddress === 'object' && boundAddress !== null
+    ? boundAddress.port : config.listen.port;
   let closed = false;
   return Object.freeze({
     address: config.listen.address,
-    port: config.listen.port,
+    port: actualPort,
     updateConfig(next) {
       if (next?.enabled !== true || next.listen.address !== config.listen.address
         || next.listen.port !== config.listen.port) {

package/src/todo-cli.mjs

@@ -38,7 +38,7 @@ import {
   readTodoStore,
   readTodoStoreStable,
   rebuildTodoSnapshot,
-  verifyPhaseTodoRevisionSources,
+  verifyEffectivePhaseTodoRevisionSources,
   verifyTodoRevisionSources,
 } from './todo-store.mjs';
 import {
@@ -803,6 +803,7 @@ async function ensureActiveProjectDashboard({ repoRoot, env }) {
 async function verify({ repoRoot, requestedPlanKey }) {
   const store = await readTodoStore({ repoRoot });
   const members = selectMembers(store, requestedPlanKey);
+  const verifiedSourceInventories = new Map();
   for (const member of members) {
     const unverified = member.tasks.find((task) => task.evidence_unverified);
     if (unverified !== undefined) {
@@ -816,12 +817,14 @@ async function verify({ repoRoot, requestedPlanKey }) {
         case 'lattice.todo_revision.v1':
         case 'lattice.todo_revision.v2':
           await verifyTodoRevisionSources({ repoRoot, revision: member.revision });
+          verifiedSourceInventories.set(member.descriptor.plan_key,
+            member.revision.source_inventory);
           break;
         case 'lattice.phase_todo_revision.v1':
         case 'lattice.phase_todo_revision.v2':
-          break;
         case 'lattice.phase_todo_revision.v3':
-          await verifyPhaseTodoRevisionSources({ repoRoot, revision: member.revision });
+          verifiedSourceInventories.set(member.descriptor.plan_key,
+            await verifyEffectivePhaseTodoRevisionSources({ repoRoot, member }));
           break;
         default:
           throw new TodoStoreError('REVISION_INVALID', 'revision_schema_or_digest_invalid');
@@ -830,6 +833,7 @@ async function verify({ repoRoot, requestedPlanKey }) {
   }
   const verifiedMembers = members.map((member) => {
     const reconciled = member.revision !== null;
+    const sourceInventory = verifiedSourceInventories.get(member.descriptor.plan_key) ?? null;
     const phaseRevision = ['lattice.phase_todo_revision.v1', 'lattice.phase_todo_revision.v2',
       'lattice.phase_todo_revision.v3']
       .includes(member.revision?.schema);
@@ -848,15 +852,11 @@ async function verify({ repoRoot, requestedPlanKey }) {
         : todoLegacyReconciliationDigest({ planDigest: member.plan.plan_digest,
           journalHeadDigest: member.journal.events.at(-1).event_digest }),
       source_inventory_count: reconciled
-        ? phaseRevision && member.revision.schema !== 'lattice.phase_todo_revision.v3' ? 0
-          : member.revision.source_inventory.active.length
-          + member.revision.source_inventory.excluded_tombstones.length : null,
+        ? sourceInventory.active.length + sourceInventory.excluded_tombstones.length : null,
       active_task_count: reconciled
-        ? phaseRevision && member.revision.schema !== 'lattice.phase_todo_revision.v3'
-          ? 0 : member.revision.source_inventory.active.length : null,
+        ? sourceInventory.active.length : null,
       excluded_tombstone_count: reconciled
-        ? phaseRevision && member.revision.schema !== 'lattice.phase_todo_revision.v3'
-          ? 0 : member.revision.source_inventory.excluded_tombstones.length : null,
+        ? sourceInventory.excluded_tombstones.length : null,
     };
   });
   const result = {

package/src/todo-store.mjs

@@ -2552,6 +2552,21 @@ async function predecessorSourceInventory(repoRoot, previous) {
   return { active: [], excluded_tombstones: [] };
 }
 
+export async function verifyEffectivePhaseTodoRevisionSources(options = {}) {
+  const repoRoot = path.resolve(options.repoRoot ?? process.cwd());
+  const member = options.member;
+  const revision = member?.revision;
+  if (!validatePhaseTodoRevision(revision)
+    || canonicalizeTodoArtifact(revision.desired_plan)
+      !== canonicalizeTodoArtifact(member?.plan)) {
+    fail('REVISION_INVALID', 'phase_revision_schema_or_digest_invalid');
+  }
+  const inventory = revision.schema === 'lattice.phase_todo_revision.v3'
+    ? revision.source_inventory : await predecessorSourceInventory(repoRoot, member);
+  await verifyRevisionSources(repoRoot, inventory);
+  return inventory;
+}
+
 function validatePhaseV3SourceInventoryDiff(previousInventory, revision) {
   const desired = revision.source_inventory;
   const previousActive = new Map(previousInventory.active.map((entry) => [entry.task_id, entry]));
@@ -2655,7 +2670,9 @@ async function applyPhaseTodoRevisionV3(options, revision, repoRoot) {
           journalHeadDigest: previous.journal.events.at(-1).event_digest });
     if (revision.reconciliation.predecessor_reconciliation_digest
       !== predecessorReconciliationDigest) fail('STORE_WRITE_CONFLICT', 'stale_predecessor');
-    validatePhaseV3SourceInventoryDiff(await predecessorSourceInventory(repoRoot, previous), revision);
+    const previousInventory = await predecessorSourceInventory(repoRoot, previous);
+    await verifyRevisionSources(repoRoot, previousInventory);
+    validatePhaseV3SourceInventoryDiff(previousInventory, revision);
     await rejectCompetingPhaseV3Transaction(repoRoot, revision);
     verifyPlanNarrativeAnchors(repoRoot, revision.desired_plan, previous.plan);
     const stateMigration = stateMigrationFor(previous, revision);