vericify 1.2.0 → 1.3.0

package/src/index.js

@@ -8,6 +8,8 @@ import {
   loadWorkspaceState,
 } from "./adapters/index.js";
 import { buildRunComparison, findRunById } from "./compare/engine.js";
+import { buildCompactDelta } from "./context/delta.js";
+import { buildCompactPacket } from "./context/packet.js";
 import { appendProcessPost } from "./post/process-posts.js";
 import { publishRunArtifact } from "./publish/artifact.js";
 import { projectWorkspaceState } from "./projection/runs.js";
@@ -27,10 +29,13 @@ function parseArgs(argv) {
     adapter: undefined,
     sessionId: undefined,
     captureMode: undefined,
+    pretty: false,
+    format: undefined,
     label: undefined,
     notes: undefined,
     runId: undefined,
     compareRunId: undefined,
+    since: undefined,
     agentId: undefined,
     kind: undefined,
     summary: undefined,
@@ -76,6 +81,10 @@ function parseArgs(argv) {
       options.feedFile = resolve(args[++i]);
     } else if (arg === "--adapter" && args[i + 1]) {
       options.adapter = args[++i];
+    } else if (arg === "--pretty") {
+      options.pretty = true;
+    } else if (arg === "--format" && args[i + 1]) {
+      options.format = args[++i];
     } else if (arg === "--session-id" && args[i + 1]) {
       options.sessionId = args[++i];
     } else if (arg === "--capture-mode" && args[i + 1]) {
@@ -88,6 +97,8 @@ function parseArgs(argv) {
       options.runId = args[++i];
     } else if (arg === "--compare-run-id" && args[i + 1]) {
       options.compareRunId = args[++i];
+    } else if (arg === "--since" && args[i + 1]) {
+      options.since = args[++i];
     } else if (arg === "--agent-id" && args[i + 1]) {
       options.agentId = args[++i];
     } else if (arg === "--kind" && args[i + 1]) {
@@ -178,6 +189,10 @@ function buildProjectedState(workspaceRoot) {
   return projectWorkspaceState(loadWorkspaceState(workspaceRoot));
 }
 
+function writeJson(value, { pretty = true } = {}) {
+  process.stdout.write(`${JSON.stringify(value, null, pretty ? 2 : 0)}\n`);
+}
+
 function printHelp() {
   process.stdout.write(
     [
@@ -189,6 +204,8 @@ function printHelp() {
       "  hub       Launch the terminal hub (default)",
       "  adapters  List available adapter contracts and current workspace status",
       "  attach    Attach an adapter profile to this workspace",
+      "  context   Print the compact bootstrap packet as JSON",
+      "  delta     Print the compact resume packet since a prior id",
       "  compare   Print a structured comparison between two runs",
       "  publish   Materialize a shareable run artifact under .vericify/published/",
       "  sync      Queue a published run artifact into .vericify/sync-outbox/",
@@ -197,17 +214,20 @@ function printHelp() {
       "  ledger    Append a native run-ledger entry into .vericify/run-ledger.json",
       "  event     Append a native status event into .vericify/status-events.ndjson",
       "  post      Append a structured process post into .vericify/process-posts.json",
-      "  snapshot  Print the current projected run state as JSON",
+      "  snapshot  Print the current projected run state as JSON, or compact JSON with --format compact",
       "  help      Show this help",
       "",
       "Options:",
       "  --workspace-root <path>  Read workspace input artifacts from the given root",
       "  --feed <path>            Execute startup commands from a text file before returning control to keyboard",
       "  --adapter <id>           Adapter id for adapters/attach commands",
+      "  --pretty                 Pretty-print compact JSON output for humans",
+      "  --format <name>          Snapshot format override, including compact",
       "  --session-id <id>        Optional adapter session identifier",
       "  --capture-mode <mode>    Adapter capture mode override",
       "  --label <text>           Human label for attached adapter or publish title",
       "  --notes <text>           Freeform note for attached adapter",
+      "  --since <id>             Prior compact context id for delta queries",
       "  --id <id>                Handoff/todo record id",
       "  --title <text>           Handoff/todo title",
       "  --status <value>         Handoff/todo/event status",
@@ -258,14 +278,36 @@ function printHelp() {
   );
 }
 
-async function printSnapshot(workspaceRoot) {
-  const projected = buildProjectedState(workspaceRoot);
-  process.stdout.write(`${JSON.stringify(projected, null, 2)}\n`);
+async function printSnapshot(options) {
+  if (options.format === "compact") {
+    const packet = buildCompactPacket(buildProjectedState(options.workspaceRoot), {
+      runId: options.runId,
+    });
+    writeJson(packet, { pretty: options.pretty });
+    return;
+  }
+  const projected = buildProjectedState(options.workspaceRoot);
+  writeJson(projected, { pretty: true });
+}
+
+async function printContext(options) {
+  const packet = buildCompactPacket(buildProjectedState(options.workspaceRoot), {
+    runId: options.runId,
+  });
+  writeJson(packet, { pretty: options.pretty });
+}
+
+async function printDelta(options) {
+  const delta = buildCompactDelta(buildProjectedState(options.workspaceRoot), {
+    runId: options.runId,
+    since: options.since,
+  });
+  writeJson(delta, { pretty: options.pretty });
 }
 
 async function printAdapters(workspaceRoot) {
   const adapters = detectAdapters(workspaceRoot);
-  process.stdout.write(`${JSON.stringify({ workspace_root: workspaceRoot, adapters }, null, 2)}\n`);
+  writeJson({ workspace_root: workspaceRoot, adapters }, { pretty: true });
 }
 
 async function writeAdapterAttachment(options) {
@@ -276,7 +318,7 @@ async function writeAdapterAttachment(options) {
     label: options.label,
     notes: options.notes,
   });
-  process.stdout.write(`${JSON.stringify(result, null, 2)}\n`);
+  writeJson(result, { pretty: true });
 }
 
 async function printComparison(options) {
@@ -286,7 +328,7 @@ async function printComparison(options) {
   if (!left) throw new Error(`Unknown run id: ${options.runId}`);
   if (!right) throw new Error(`Unknown compare run id: ${options.compareRunId}`);
   const compare_report = buildRunComparison(left, right);
-  process.stdout.write(`${JSON.stringify({ generated_at: projected.generated_at, workspace: projected.workspace, compare_report }, null, 2)}\n`);
+  writeJson({ generated_at: projected.generated_at, workspace: projected.workspace, compare_report }, { pretty: true });
 }
 
 async function writePublishedArtifact(options) {
@@ -298,7 +340,7 @@ async function writePublishedArtifact(options) {
     compareRunId: options.compareRunId,
     title: options.title ?? options.label,
   });
-  process.stdout.write(`${JSON.stringify(result, null, 2)}\n`);
+  writeJson(result, { pretty: true });
 }
 
 async function queueSyncArtifact(options) {
@@ -317,7 +359,7 @@ async function queueSyncArtifact(options) {
     endpoint: options.endpoint,
     target: options.target,
   });
-  process.stdout.write(`${JSON.stringify({ published, sync }, null, 2)}\n`);
+  writeJson({ published, sync }, { pretty: true });
 }
 
 async function writeProcessPost(options) {
@@ -332,7 +374,7 @@ async function writeProcessPost(options) {
     evidence_refs: options.evidenceRefs,
     checkpoint_ref: options.checkpointRef,
   });
-  process.stdout.write(`${JSON.stringify(result, null, 2)}\n`);
+  writeJson(result, { pretty: true });
 }
 
 async function writeHandoff(options) {
@@ -350,7 +392,7 @@ async function writeHandoff(options) {
     agent_id: options.agentId,
     timestamp: options.timestamp,
   });
-  process.stdout.write(`${JSON.stringify(result, null, 2)}\n`);
+  writeJson(result, { pretty: true });
 }
 
 async function writeTodo(options) {
@@ -364,7 +406,7 @@ async function writeTodo(options) {
     priority: options.priority,
     source_todo_path: options.sourceTodoPath,
   });
-  process.stdout.write(`${JSON.stringify(result, null, 2)}\n`);
+  writeJson(result, { pretty: true });
 }
 
 async function writeLedgerEntry(options) {
@@ -377,7 +419,7 @@ async function writeLedgerEntry(options) {
     artifacts: options.artifacts,
     metadata: parseOptionalJson(options.metadataJson, "metadata-json"),
   });
-  process.stdout.write(`${JSON.stringify(result, null, 2)}\n`);
+  writeJson(result, { pretty: true });
 }
 
 async function writeStatusEvent(options) {
@@ -392,7 +434,7 @@ async function writeStatusEvent(options) {
     decision_id: options.decisionId,
     payload: parseOptionalJson(options.payloadJson, "payload-json"),
   });
-  process.stdout.write(`${JSON.stringify(result, null, 2)}\n`);
+  writeJson(result, { pretty: true });
 }
 
 async function main() {
@@ -409,8 +451,16 @@ async function main() {
     await writeAdapterAttachment(options);
     return;
   }
+  if (command === "context") {
+    await printContext(options);
+    return;
+  }
+  if (command === "delta") {
+    await printDelta(options);
+    return;
+  }
   if (command === "snapshot") {
-    await printSnapshot(options.workspaceRoot);
+    await printSnapshot(options);
     return;
   }
   if (command === "compare") {

package/src/projection/runs.js

@@ -70,6 +70,7 @@ const OBSERVER_STATUS_EVENT_TYPES = new Set([
   "HUB_SESSION_STARTED",
   "HUB_SESSION_STOPPED",
   "HUB_SESSION_RESUMED",
+  "TOOL_COMPLETED",
 ]);
 
 const OBSERVER_LEDGER_CATEGORIES = new Set([
@@ -89,8 +90,7 @@ const PRIMARY_PROCESS_POST_KINDS = new Set([
 ]);
 
 function isObserverStatusEvent(event) {
-  return event?.payload?.observer_telemetry === true ||
-    (event?.source_module === "vericify-hub" && OBSERVER_STATUS_EVENT_TYPES.has(event?.event_type));
+  return event?.payload?.observer_telemetry === true || OBSERVER_STATUS_EVENT_TYPES.has(event?.event_type);
 }
 
 function isObserverLedgerEntry(entry) {