pi-fovea 0.18.2 → 0.18.4

package/README.md

@@ -205,7 +205,7 @@ next user prompt instead; it never restarts an idle agent. The compact update
 names changed files, route deltas, and newly relevant files. Shell commands,
 external editors, and agents without Fovea remain `unattributed` rather than
 being guessed, while the path scope still keeps unrelated sibling sandboxes
-quiet. Provenance journals accept either intercepted mutations or explicit trusted SHA-1 transitions, write one bounded replacement per event batch, expire after seven days, and live in
+quiet. Provenance journals accept either intercepted mutations or explicit trusted SHA-1 transitions, preserve supplied commit order, write one bounded replacement per event batch, expire after seven days, and live in
 `$TMPDIR`; repository content remains the drift oracle. Updates list causal
 channels such as calls, imports, shared literals, tests, or co-change history.
 By default Fovea also embeds the refreshed focus context of the top drift target

package/dist/cli.mjs

@@ -1769,6 +1769,7 @@ import { join as join3 } from "node:path";
 import { createHash as createHash3, randomUUID } from "node:crypto";
 import { createReadStream } from "node:fs";
 import { mkdir as mkdir2, open, readFile as readFile4, readdir, rename, rm, stat } from "node:fs/promises";
+import { performance } from "node:perf_hooks";
 import { createInterface } from "node:readline";
 import { tmpdir as tmpdir3 } from "node:os";
 import { dirname as dirname2, join as joinPath3 } from "node:path";
@@ -2585,6 +2586,8 @@ var promote = (sigs, pack = []) => {
 };
 
 // src/core/build.ts
+var buildObserver;
+var observe = (event) => buildObserver?.(event);
 var CACHE_VERSION = 11;
 var IGNORE_DIRS = /* @__PURE__ */ new Set([".git", "node_modules", "dist", "vendor", ".venv", "venv", "target", "coverage", ".next", "build", "__pycache__", ".pi", ".pi-fovea", "deps", "_build", ".tox", "Pods", ".cargo"]);
 var MAX_FILES = envInt("FOVEA_MAX_FILES", 8e3, 100, 1e5);
@@ -2896,6 +2899,7 @@ var extractInto = async (root, store, files, contents, packRules) => {
     batches.push(files.slice(start, start + EXTRACTION_BATCH));
   }
   const extracted = await mapLimit(batches, SPAWN_CONCURRENCY, async (batch) => {
+    const tBatch = performance.now();
     const code = batch.filter((f) => !isConfigFile(f));
     const anchorPlan = anchorScanPlan(code, packRules.pack);
     const rules = [...coreScanRules(code), ...anchorPlan.rules];
@@ -2933,6 +2937,7 @@ var extractInto = async (root, store, files, contents, packRules) => {
         extractAnchors(code, root, enclosingId, packRules.pack)
       ]);
     }
+    observe({ phase: "extract", files: batch.length, ms: performance.now() - tBatch, at: tBatch });
     return { batch, symbols, imports, calls, literals, anchors, fileRouteAnchors };
   });
   for (const result of extracted) {
@@ -3043,7 +3048,9 @@ var loadFacts = async (root, files) => {
       cacheDirty = true;
     }
   }
+  const tStat = performance.now();
   const stats = await statMany(root, files);
+  observe({ phase: "stat", files: files.length, ms: performance.now() - tStat, at: tStat });
   const needHashed = [];
   const unreadable = [];
   const oversized = [];
@@ -3078,6 +3085,7 @@ var loadFacts = async (root, files) => {
   const contents = /* @__PURE__ */ new Map();
   const dirty = [];
   const spend = makeTextBudget();
+  const tHash = performance.now();
   await mapLimit(needHashed, IO_CONCURRENCY, async (rel) => {
     const got = await sha1Of(root, rel);
     const meta = stats.get(rel);
@@ -3113,6 +3121,7 @@ var loadFacts = async (root, files) => {
     store.meta.set(rel, meta);
     store.facts.set(rel, pendingFileFacts(rel, got.sha1, got.text));
   });
+  observe({ phase: "hash", files: needHashed.length, ms: performance.now() - tHash, at: tHash });
   const active = resolveRulePack(store, await loadRepoRules(root));
   clearTaint(store, dirty);
   await extractInto(root, store, dirty, contents, active);
@@ -3135,7 +3144,11 @@ var loadFacts = async (root, files) => {
   store.oversized.forEach((f) => {
     if (!oversized.includes(f) && files.includes(f)) store.oversized.delete(f);
   });
-  if (cacheDirty) await persistFacts(store);
+  if (cacheDirty) {
+    const tPersist = performance.now();
+    await persistFacts(store);
+    observe({ phase: "persist", files: store.facts.size, ms: performance.now() - tPersist, at: tPersist });
+  }
   return {
     store,
     report: {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "pi-fovea",
-  "version": "0.18.2",
+  "version": "0.18.4",
   "description": "Token-budgeted repo mapping for agent sessions: foveated heat diffusion over a cross-language code graph, with progressive disclosure.",
   "type": "module",
   "license": "MIT",
@@ -52,8 +52,8 @@
     "fovea": "dist/cli.mjs"
   },
   "devDependencies": {
-    "@earendil-works/pi-coding-agent": "0.84.2",
-    "@earendil-works/pi-tui": "0.84.2",
+    "@earendil-works/pi-coding-agent": "0.84.3",
+    "@earendil-works/pi-tui": "0.84.3",
     "@types/node": "^22.0.0",
     "esbuild": "^0.28.1",
     "knip": "^6.32.0",

package/src/core/build.ts

@@ -16,6 +16,7 @@
 import { createHash, randomUUID } from "node:crypto";
 import { createReadStream } from "node:fs";
 import { mkdir, open, readFile, readdir, rename, rm, stat } from "node:fs/promises";
+import { performance } from "node:perf_hooks";
 import { createInterface } from "node:readline";
 import { tmpdir } from "node:os";
 import { dirname, join as joinPath } from "node:path";
@@ -65,6 +66,22 @@ export interface FileFacts {
   sigs?: FileSigs;
 }
 
+/** Opt-in build-phase timing for benchmarks and profiling. Unset observers
+ * cost one optional call per checkpoint; no allocations, no clock reads. */
+export interface BuildPhaseEvent {
+  phase: "stat" | "hash" | "extract" | "persist";
+  /** Files the phase covered (batch size for extract events). */
+  files: number;
+  ms: number;
+  /** performance.now() at phase start, for wall-window reconstruction. */
+  at: number;
+}
+let buildObserver: ((event: BuildPhaseEvent) => void) | undefined;
+export const setBuildObserver = (observer: typeof buildObserver): void => {
+  buildObserver = observer;
+};
+const observe = (event: BuildPhaseEvent): void => buildObserver?.(event);
+
 const CACHE_VERSION = 11; // bump when extractor semantics or the cache schema change (v11: generated-source skip for minified bundles)
 
 // Honest coverage: what the extractor could NOT see. Tools and status render
@@ -517,6 +534,7 @@ const extractInto = async (
     batches.push(files.slice(start, start + EXTRACTION_BATCH));
   }
   const extracted = await mapLimit(batches, SPAWN_CONCURRENCY, async (batch) => {
+    const tBatch = performance.now();
     const code = batch.filter((f) => !isConfigFile(f));
     const anchorPlan = anchorScanPlan(code, packRules.pack);
     const rules = [...coreScanRules(code), ...anchorPlan.rules];
@@ -556,6 +574,7 @@ const extractInto = async (
       ]);
     }
 
+    observe({ phase: "extract", files: batch.length, ms: performance.now() - tBatch, at: tBatch });
     return { batch, symbols, imports, calls, literals, anchors, fileRouteAnchors };
   });
 
@@ -718,7 +737,9 @@ export const loadFacts = async (root: string, files: string[]): Promise<FactsOut
     }
   }
 
+  const tStat = performance.now();
   const stats = await statMany(root, files);
+  observe({ phase: "stat", files: files.length, ms: performance.now() - tStat, at: tStat });
   const needHashed: string[] = [];
   const unreadable: string[] = [];
   const oversized: string[] = [];
@@ -754,6 +775,7 @@ export const loadFacts = async (root: string, files: string[]): Promise<FactsOut
   const contents = new Map<string, string>();
   const dirty: string[] = [];
   const spend = makeTextBudget();
+  const tHash = performance.now();
   await mapLimit(needHashed, IO_CONCURRENCY, async (rel) => {
     const got = await sha1Of(root, rel);
     const meta = stats.get(rel)!;
@@ -790,6 +812,7 @@ export const loadFacts = async (root: string, files: string[]): Promise<FactsOut
     store.meta.set(rel, meta);
     store.facts.set(rel, pendingFileFacts(rel, got.sha1, got.text));
   });
+  observe({ phase: "hash", files: needHashed.length, ms: performance.now() - tHash, at: tHash });
 
   const active = resolveRulePack(store, await loadRepoRules(root));
   clearTaint(store, dirty);
@@ -812,7 +835,11 @@ export const loadFacts = async (root: string, files: string[]): Promise<FactsOut
   store.unreadable.forEach((f) => { if (!unreadable.includes(f) && files.includes(f)) store.unreadable.delete(f); });
   store.oversized.forEach((f) => { if (!oversized.includes(f) && files.includes(f)) store.oversized.delete(f); });
 
-  if (cacheDirty) await persistFacts(store);
+  if (cacheDirty) {
+    const tPersist = performance.now();
+    await persistFacts(store);
+    observe({ phase: "persist", files: store.facts.size, ms: performance.now() - tPersist, at: tPersist });
+  }
   return {
     store,
     report: {

package/src/core/provenance.ts

@@ -13,6 +13,7 @@ interface MutationRecord {
   afterSha?: string;
   owner: string;
   toolCallId: string;
+  commitOrder?: number;
   at: number;
 }
 
@@ -34,6 +35,7 @@ export interface MutationTransition {
   path: string;
   beforeSha?: string | undefined;
   afterSha?: string | undefined;
+  commitOrder?: number | undefined;
 }
 
 type ProvenanceKind = "current-session" | "other-session" | "mixed" | "unattributed";
@@ -114,6 +116,7 @@ export const recordMutationTransitions = async (
       afterSha: transition.afterSha,
       owner,
       toolCallId,
+      ...(transition.commitOrder === undefined ? {} : { commitOrder: transition.commitOrder }),
       at,
     }];
   });
@@ -179,7 +182,10 @@ const readRecords = async (root: string, since: number): Promise<MutationRecord[
       // A concurrent atomic replacement or malformed journal is unattributed.
     }
   }));
-  return records.sort((a, b) => a.at - b.at || a.toolCallId.localeCompare(b.toolCallId));
+  return records.sort((a, b) => a.at - b.at
+    || a.owner.localeCompare(b.owner)
+    || (a.commitOrder ?? Number.MAX_SAFE_INTEGER) - (b.commitOrder ?? Number.MAX_SAFE_INTEGER)
+    || a.toolCallId.localeCompare(b.toolCallId));
 };
 
 const kindForOwners = (owners: Set<string>, currentOwner: string): ProvenanceKind => {