pi-fovea 0.22.1 → 0.22.2

package/README.md

@@ -552,9 +552,28 @@ Exact contract topology: **Protocol Buffers (`.proto`) and GraphQL (`.graphql`,
 ```sh
 bun install
 bun run check        # typecheck + full vitest suite
-bun run bench        # rate–distortion bench against ../pi-fabric
+bun run bench        # rate–distortion and refresh bench against ../pi-fabric
+bun run bench tests/fixtures/mini  # self-contained smoke run
 ```
 
+The developer benchmark gates timings on semantic equivalence: cold versus
+cached builds, and forced refresh versus clean rebuild after unchanged,
+location-only, semantic, added-file, and deleted-file scenarios in disposable
+copies of the cross-language fixture. It checks facts, weighted edges and
+evidence, coverage, operator contents, and fixture navigation; extraction-order
+permutations and opaque rebuild hashes are not semantic differences. Runtime
+ordering and generation invalidation are unchanged.
+
+Reports include focus/dwell and refresh median/p95 samples, actual estimated
+output tokens, and process peak RSS (including the validation work). Cold and
+disk-warm target builds are single samples; three-sample refresh p95s are only
+smoke diagnostics. The outline gets no more tokens than Fovea actually used.
+`fidelity@16k` measures disclosed node IDs against a finite larger Fovea response,
+**not independently labeled relevance**. Timing results are informational, never
+a flaky CI gate; deterministic equivalence tests run in `bun run check`.
+The bench clears the target's disposable facts cache to measure cold loading,
+but edits only temporary fixture copies.
+
 pi loads the extension straight from `src/` through jiti, so nothing needs
 building. Per-repo JSONL caches live in `$TMPDIR`, guarded by per-file content
 sha1 values and stat manifests. Cache I/O streams. Only dirty files re-run

package/dist/cli.mjs

@@ -403,10 +403,13 @@ var buildCsr = (g) => {
   }
   return { n, rowPtr, col, w, deg };
 };
-var applyNegP = (csr, x) => {
-  const { n, rowPtr, col, w, deg } = csr;
-  const invSqrt = new Float64Array(n);
-  for (let i = 0; i < n; i++) invSqrt[i] = deg[i] > 0 ? 1 / Math.sqrt(deg[i]) : 0;
+var inverseDegrees = ({ n, deg }) => {
+  const out = new Float64Array(n);
+  for (let i = 0; i < n; i++) out[i] = deg[i] > 0 ? 1 / Math.sqrt(deg[i]) : 0;
+  return out;
+};
+var applyNegP = (csr, x, invSqrt = inverseDegrees(csr)) => {
+  const { n, rowPtr, col, w } = csr;
   const y = new Float64Array(n);
   for (let i = 0; i < n; i++) {
     let acc = 0;
@@ -464,13 +467,14 @@ var heatCoeff = (k, t) => {
 var chebyshevVectors = (csr, s, K) => {
   const tk = new Array(K + 1);
   tk[0] = Float64Array.from(s);
-  if (K >= 1) tk[1] = applyNegP(csr, tk[0]);
+  if (K === 0) return tk;
+  const invSqrt = inverseDegrees(csr);
+  if (K >= 1) tk[1] = applyNegP(csr, tk[0], invSqrt);
   for (let k = 2; k <= K; k++) {
     const prev = tk[k - 1];
-    const mv = applyNegP(csr, prev);
-    const out = new Float64Array(csr.n);
+    const out = applyNegP(csr, prev, invSqrt);
     const p2 = tk[k - 2];
-    for (let i = 0; i < csr.n; i++) out[i] = 2 * mv[i] - p2[i];
+    for (let i = 0; i < csr.n; i++) out[i] = 2 * out[i] - p2[i];
     tk[k] = out;
   }
   return tk;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "pi-fovea",
-  "version": "0.22.1",
+  "version": "0.22.2",
   "description": "Token-budgeted repo mapping for agent sessions: foveated heat diffusion over a cross-language code graph, with progressive disclosure.",
   "type": "module",
   "license": "MIT",

package/src/core/heat.ts

@@ -64,11 +64,15 @@ export const buildCsr = (g: Graph): Csr => {
   return { n, rowPtr, col, w, deg };
 };
 
-// y = -P~ x where P~ = D^{-1/2} W D^{-1/2}. Isolated nodes (deg 0) map to themselves under heat.
-const applyNegP = (csr: Csr, x: Float64Array): Float64Array => {
-  const { n, rowPtr, col, w, deg } = csr;
-  const invSqrt = new Float64Array(n);
-  for (let i = 0; i < n; i++) invSqrt[i] = deg[i]! > 0 ? 1 / Math.sqrt(deg[i]!) : 0;
+const inverseDegrees = ({ n, deg }: Csr): Float64Array => {
+  const out = new Float64Array(n);
+  for (let i = 0; i < n; i++) out[i] = deg[i]! > 0 ? 1 / Math.sqrt(deg[i]!) : 0;
+  return out;
+};
+
+// y = -P~ x where P~ = D^{-1/2} W D^{-1/2}.
+const applyNegP = (csr: Csr, x: Float64Array, invSqrt = inverseDegrees(csr)): Float64Array => {
+  const { n, rowPtr, col, w } = csr;
   const y = new Float64Array(n);
   for (let i = 0; i < n; i++) {
     let acc = 0;
@@ -130,13 +134,16 @@ const heatCoeff = (k: number, t: number): number => {
 export const chebyshevVectors = (csr: Csr, s: Float64Array, K: number): Float64Array[] => {
   const tk: Float64Array[] = new Array(K + 1);
   tk[0] = Float64Array.from(s);
-  if (K >= 1) tk[1] = applyNegP(csr, tk[0]!);
+  // Invocation-local normalization preserves compatibility with mutable/synthetic CSR
+  // callers without adding a persistent cache or a new invalidation boundary.
+  if (K === 0) return tk;
+  const invSqrt = inverseDegrees(csr);
+  if (K >= 1) tk[1] = applyNegP(csr, tk[0]!, invSqrt);
   for (let k = 2; k <= K; k++) {
     const prev = tk[k - 1]!;
-    const mv = applyNegP(csr, prev);
-    const out = new Float64Array(csr.n);
+    const out = applyNegP(csr, prev, invSqrt);
     const p2 = tk[k - 2]!;
-    for (let i = 0; i < csr.n; i++) out[i] = 2 * mv[i]! - p2[i]!;
+    for (let i = 0; i < csr.n; i++) out[i] = 2 * out[i]! - p2[i]!;
     tk[k] = out;
   }
   return tk;