@tyroneross/navgator 0.2.2 → 0.9.0

package/dist/__tests__/architecture-insights.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"architecture-insights.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/architecture-insights.test.ts"],"names":[],"mappings":""}

package/dist/__tests__/architecture-insights.test.js

@@ -0,0 +1,46 @@
+import { describe, expect, it } from 'vitest';
+import { detectImportCycles, detectLayerViolations, getTopFanOut, getTopHotspots, } from '../architecture-insights.js';
+import { createComponent, createConnection } from './helpers.js';
+describe('architecture insights', () => {
+    it('surfaces internal hotspots by import fan-in', () => {
+        const core = createComponent({ name: 'core/types', type: 'component', file: 'src/core/types.ts' });
+        const a = createComponent({ name: 'cdp/driver', type: 'component', file: 'src/cdp/driver.ts' });
+        const b = createComponent({ name: 'mcp/server', type: 'component', file: 'src/mcp/server.ts' });
+        const c = createComponent({ name: 'media/session', type: 'component', file: 'src/media/session.ts' });
+        const hotspots = getTopHotspots([core, a, b, c], [
+            createConnection(a, core, { connection_type: 'imports' }),
+            createConnection(b, core, { connection_type: 'imports' }),
+            createConnection(c, core, { connection_type: 'imports' }),
+        ]);
+        expect(hotspots[0].component.name).toBe('core/types');
+        expect(hotspots[0].count).toBe(3);
+    });
+    it('surfaces high fan-out internal modules', () => {
+        const driver = createComponent({ name: 'cdp/driver', type: 'component', file: 'src/cdp/driver.ts' });
+        const deps = Array.from({ length: 8 }, (_, index) => createComponent({ name: `core/dep-${index}`, type: 'component', file: `src/core/dep-${index}.ts` }));
+        const fanOut = getTopFanOut([driver, ...deps], deps.map((dep) => createConnection(driver, dep, { connection_type: 'imports' })));
+        expect(fanOut[0].component.name).toBe('cdp/driver');
+        expect(fanOut[0].count).toBe(8);
+    });
+    it('detects upward inferred layer imports', () => {
+        const core = createComponent({ name: 'core/types', type: 'component', file: 'src/core/types.ts' });
+        const cdp = createComponent({ name: 'cdp/driver', type: 'component', file: 'src/cdp/driver.ts' });
+        const violations = detectLayerViolations([core, cdp], [createConnection(cdp, core, { connection_type: 'imports' }), createConnection(core, cdp, { connection_type: 'imports' })]);
+        expect(violations).toHaveLength(1);
+        expect(violations[0].from.name).toBe('cdp/driver');
+        expect(violations[0].to.name).toBe('core/types');
+    });
+    it('detects import cycles', () => {
+        const a = createComponent({ name: 'core/a', type: 'component', file: 'src/core/a.ts' });
+        const b = createComponent({ name: 'core/b', type: 'component', file: 'src/core/b.ts' });
+        const c = createComponent({ name: 'core/c', type: 'component', file: 'src/core/c.ts' });
+        const cycles = detectImportCycles([a, b, c], [
+            createConnection(a, b, { connection_type: 'imports' }),
+            createConnection(b, c, { connection_type: 'imports' }),
+            createConnection(c, a, { connection_type: 'imports' }),
+        ]);
+        expect(cycles).toHaveLength(1);
+        expect(cycles[0]).toEqual(['core/a', 'core/b', 'core/c', 'core/a']);
+    });
+});
+//# sourceMappingURL=architecture-insights.test.js.map

package/dist/__tests__/architecture-insights.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"architecture-insights.test.js","sourceRoot":"","sources":["../../src/__tests__/architecture-insights.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,kBAAkB,EAClB,qBAAqB,EACrB,YAAY,EACZ,cAAc,GACf,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEjE,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,IAAI,GAAG,eAAe,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC,CAAC;QACnG,MAAM,CAAC,GAAG,eAAe,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC,CAAC;QAChG,MAAM,CAAC,GAAG,eAAe,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC,CAAC;QAChG,MAAM,CAAC,GAAG,eAAe,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,sBAAsB,EAAE,CAAC,CAAC;QAEtG,MAAM,QAAQ,GAAG,cAAc,CAC7B,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EACf;YACE,gBAAgB,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC;YACzD,gBAAgB,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC;YACzD,gBAAgB,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC;SAC1D,CACF,CAAC;QAEF,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACtD,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,MAAM,GAAG,eAAe,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC,CAAC;QACrG,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAClD,eAAe,CAAC,EAAE,IAAI,EAAE,YAAY,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,gBAAgB,KAAK,KAAK,EAAE,CAAC,CACpG,CAAC;QAEF,MAAM,MAAM,GAAG,YAAY,CACzB,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,EACjB,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,gBAAgB,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC,CAAC,CACjF,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACpD,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,IAAI,GAAG,eAAe,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC,CAAC;QACnG,MAAM,GAAG,GAAG,eAAe,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC,CAAC;QAElG,MAAM,UAAU,GAAG,qBAAqB,CACtC,CAAC,IAAI,EAAE,GAAG,CAAC,EACX,CAAC,gBAAgB,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC,EAAE,gBAAgB,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC,CAAC,CAC3H,CAAC;QAEF,MAAM,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACnD,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,GAAG,eAAe,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC;QACxF,MAAM,CAAC,GAAG,eAAe,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC;QACxF,MAAM,CAAC,GAAG,eAAe,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC;QAExF,MAAM,MAAM,GAAG,kBAAkB,CAC/B,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EACT;YACE,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC;YACtD,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC;YACtD,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC;SACvD,CACF,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/audit-sampler.test.d.ts

@@ -0,0 +1,10 @@
+/**
+ * NavGator audit sampler tests — Run 2 / D6
+ *
+ * Math values verified against:
+ *   - NIST/SEMATECH e-Handbook §6.2.2-3 (AQL=2.5%, single sampling, GIL II)
+ *   - Wald 1945 — SPRT bounds A=(1-β)/α, B=β/(1-α)
+ *   - Cochran 1977 — sample-size formula + FPC
+ */
+export {};
+//# sourceMappingURL=audit-sampler.test.d.ts.map

package/dist/__tests__/audit-sampler.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"audit-sampler.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/audit-sampler.test.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG"}

package/dist/__tests__/audit-sampler.test.js

@@ -0,0 +1,172 @@
+/**
+ * NavGator audit sampler tests — Run 2 / D6
+ *
+ * Math values verified against:
+ *   - NIST/SEMATECH e-Handbook §6.2.2-3 (AQL=2.5%, single sampling, GIL II)
+ *   - Wald 1945 — SPRT bounds A=(1-β)/α, B=β/(1-α)
+ *   - Cochran 1977 — sample-size formula + FPC
+ */
+import { describe, it, expect } from 'vitest';
+import { binomialCDF, chooseAQLPlan, cochranSize, neymanAllocate, selectAuditSample, sprtNext, Z, } from '../audit/sampler.js';
+describe('binomialCDF', () => {
+    it('returns 1 when c >= n', () => {
+        expect(binomialCDF(10, 0.5, 10)).toBe(1);
+    });
+    it('returns 0 when c < 0', () => {
+        expect(binomialCDF(10, 0.5, -1)).toBe(0);
+    });
+    it('matches manual calc for small n', () => {
+        // P(X ≤ 1 | n=5, p=0.2) = (0.8)^5 + 5·0.2·(0.8)^4
+        const expected = Math.pow(0.8, 5) + 5 * 0.2 * Math.pow(0.8, 4);
+        expect(binomialCDF(5, 0.2, 1)).toBeCloseTo(expected, 10);
+    });
+    it('AQL n=80, c=5, p=0.025 has high acceptance probability (≥ 0.99)', () => {
+        // OC curve: at AQL itself, the plan should accept with high probability.
+        // For n=80, c=5, p=0.025, P(X≤5) ≈ 0.987 — comfortably above 0.95.
+        const p = binomialCDF(80, 0.025, 5);
+        expect(p).toBeGreaterThan(0.95);
+    });
+    it('AQL n=80, c=5 rejects high defect rates (p=0.15)', () => {
+        const p = binomialCDF(80, 0.15, 5);
+        expect(p).toBeLessThan(0.05);
+    });
+});
+describe('chooseAQLPlan (MIL-STD-105E lookup)', () => {
+    it('lot of 100 → code letter F: n=20, c=1', () => {
+        const plan = chooseAQLPlan(100);
+        expect(plan.codeLetter).toBe('F');
+        expect(plan.n).toBe(20);
+        expect(plan.c).toBe(1);
+    });
+    it('lot of 1000 → code letter J: n=80, c=5', () => {
+        const plan = chooseAQLPlan(1000);
+        expect(plan.codeLetter).toBe('J');
+        expect(plan.n).toBe(80);
+        expect(plan.c).toBe(5);
+    });
+    it('lot of 5000 → code letter L: n=200, c=10', () => {
+        const plan = chooseAQLPlan(5000);
+        expect(plan.codeLetter).toBe('L');
+        expect(plan.n).toBe(200);
+        expect(plan.c).toBe(10);
+    });
+    it('caps n to lotSize for tiny populations', () => {
+        const plan = chooseAQLPlan(2);
+        // Table row for N≤8 has n=2; we already lot-size cap.
+        expect(plan.n).toBe(2);
+    });
+});
+describe('sprtNext (Wald 1945)', () => {
+    it('A=19, B≈0.0526 for α=β=0.05', () => {
+        const step = sprtNext([0], 0.01, 0.05, 0.05, 0.05);
+        expect(step.A).toBeCloseTo(19, 6);
+        expect(step.B).toBeCloseTo(0.0526315789, 6);
+    });
+    it('continues with no observations', () => {
+        const step = sprtNext([], 0.01, 0.05);
+        expect(step.verdict).toBe('continue');
+        expect(step.logLR).toBe(0);
+    });
+    it('accepts H0 when many cleans observed (negligible defects)', () => {
+        // With α=β=0.05 and p0=0.01, p1=0.05: each clean contributes
+        // ln((1-p1)/(1-p0)) ≈ -0.0412 to logLR. Need ≥ |ln B| / 0.0412 ≈ 72 cleans
+        // to drop below ln B = ln(0.0526) ≈ -2.944 and accept.
+        const obs = Array(80).fill(0);
+        const step = sprtNext(obs, 0.01, 0.05);
+        expect(step.verdict).toBe('accept');
+    });
+    it('rejects (i.e., supports H1) when many defects observed', () => {
+        // 20 defects in 20 → strongly supports H1
+        const obs = Array(20).fill(1);
+        const step = sprtNext(obs, 0.01, 0.05);
+        expect(step.verdict).toBe('reject');
+    });
+    it('throws on invalid p0/p1', () => {
+        expect(() => sprtNext([], 0.5, 0.3)).toThrow();
+        expect(() => sprtNext([], 0, 0.5)).toThrow();
+        expect(() => sprtNext([], 0.5, 1)).toThrow();
+    });
+});
+describe('cochranSize', () => {
+    it('p=0.5 e=0.05 Z=1.96 → 385 (no FPC)', () => {
+        // Textbook: n = 1.96² · 0.25 / 0.0025 = 384.16 → ceil = 385
+        expect(cochranSize(0.5, 0.05, 1.96)).toBe(385);
+    });
+    it('p=0.5 e=0.05 Z=1.96 N=2000 → 322 (textbook FPC value)', () => {
+        // Cochran (1977): n_adj = 384.16 / (1 + 383.16/2000) = 384.16 / 1.1916 = 322.55 → ceil = 323
+        // Textbook frequently rounds intermediate to 384, giving exactly 322.
+        // Either 322 or 323 is acceptable depending on rounding strategy; we ceil
+        // the FPC-adjusted real value, which yields 323.
+        const n = cochranSize(0.5, 0.05, 1.96, 2000);
+        expect(n).toBeGreaterThanOrEqual(322);
+        expect(n).toBeLessThanOrEqual(323);
+    });
+    it('p=0.5 e=0.10 Z=1.96 → 97', () => {
+        // 1.96² · 0.25 / 0.01 = 96.04 → ceil = 97
+        expect(cochranSize(0.5, 0.10, 1.96)).toBe(97);
+    });
+    it('Z constants match standard normal quantiles', () => {
+        expect(Z.Z_95).toBeCloseTo(1.96, 3);
+        expect(Z.Z_99).toBeCloseTo(2.576, 3);
+        expect(Z.Z_90).toBeCloseTo(1.645, 3);
+    });
+    it('throws on invalid inputs', () => {
+        expect(() => cochranSize(-0.1, 0.05)).toThrow();
+        expect(() => cochranSize(0.5, 0)).toThrow();
+        expect(() => cochranSize(0.5, 1.5)).toThrow();
+        expect(() => cochranSize(0.5, 0.05, -1)).toThrow();
+    });
+});
+describe('neymanAllocate', () => {
+    it('preserves Σ n_h = n', () => {
+        const out = neymanAllocate(100, [200, 300, 500], [0.1, 0.2, 0.3]);
+        const total = out.reduce((a, b) => a + b, 0);
+        expect(total).toBe(100);
+    });
+    it('allocates more to higher-variance strata', () => {
+        // Equal stratum sizes; only σ differs.
+        const out = neymanAllocate(60, [100, 100, 100], [0.1, 0.3, 0.5]);
+        expect(out[0]).toBeLessThan(out[1]);
+        expect(out[1]).toBeLessThan(out[2]);
+    });
+    it('handles all-zero σ (returns equal split)', () => {
+        const out = neymanAllocate(9, [10, 10, 10], [0, 0, 0]);
+        expect(out.reduce((a, b) => a + b, 0)).toBe(9);
+        // Equal-ish split (3,3,3)
+        expect(Math.max(...out) - Math.min(...out)).toBeLessThanOrEqual(1);
+    });
+    it('caps allocation at stratum size', () => {
+        // Want 100 from a stratum that only has 10 elements
+        const out = neymanAllocate(50, [10, 1000], [0.5, 0.1]);
+        expect(out[0]).toBeLessThanOrEqual(10);
+    });
+    it('returns empty for empty inputs', () => {
+        expect(neymanAllocate(10, [], [])).toEqual([]);
+    });
+});
+describe('selectAuditSample', () => {
+    it('respects total N and stratifies by key', () => {
+        const items = Array(200).fill(0).map((_, i) => ({ id: i, kind: i < 50 ? 'A' : i < 150 ? 'B' : 'C' }));
+        const { samples, byStratum } = selectAuditSample(items, 30, (it) => it.kind);
+        expect(samples.length).toBeLessThanOrEqual(30);
+        expect(samples.length).toBeGreaterThan(0);
+        expect(Object.keys(byStratum).sort()).toEqual(['A', 'B', 'C']);
+    });
+    it('returns empty when totalN=0', () => {
+        const items = [{ id: 1 }];
+        const { samples } = selectAuditSample(items, 0, () => 'x');
+        expect(samples).toEqual([]);
+    });
+    it('returns empty when items empty', () => {
+        const { samples } = selectAuditSample([], 10, () => 'x');
+        expect(samples).toEqual([]);
+    });
+    it('honors prior defect rates for variance estimation', () => {
+        const items = Array(100).fill(0).map((_, i) => ({ id: i, kind: i < 50 ? 'safe' : 'risky' }));
+        // Risky stratum has higher prior defect rate → higher σ → more samples.
+        const { byStratum } = selectAuditSample(items, 20, (it) => it.kind, { safe: 0.01, risky: 0.40 });
+        // We don't pin exact values — RNG-dependent — but risky should get >= safe.
+        expect(byStratum.risky.sampled).toBeGreaterThanOrEqual(byStratum.safe.sampled);
+    });
+});
+//# sourceMappingURL=audit-sampler.test.js.map

package/dist/__tests__/audit-sampler.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"audit-sampler.test.js","sourceRoot":"","sources":["../../src/__tests__/audit-sampler.test.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,WAAW,EACX,aAAa,EACb,WAAW,EACX,cAAc,EACd,iBAAiB,EACjB,QAAQ,EACR,CAAC,GACF,MAAM,qBAAqB,CAAC;AAE7B,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,WAAW,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,WAAW,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,kDAAkD;QAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAC/D,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,yEAAyE;QACzE,mEAAmE;QACnE,MAAM,CAAC,GAAG,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,WAAW,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxB,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxB,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACzB,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,IAAI,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QAC9B,sDAAsD;QACtD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACnD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,6DAA6D;QAC7D,2EAA2E;QAC3E,uDAAuD;QACvD,MAAM,GAAG,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAiB,CAAC;QAC9C,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,0CAA0C;QAC1C,MAAM,GAAG,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAiB,CAAC;QAC9C,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC/C,MAAM,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC7C,MAAM,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,4DAA4D;QAC5D,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,6FAA6F;QAC7F,sEAAsE;QACtE,0EAA0E;QAC1E,iDAAiD;QACjD,MAAM,CAAC,GAAG,WAAW,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7C,MAAM,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC;QACtC,MAAM,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,0CAA0C;QAC1C,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAChD,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC5C,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC9C,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,GAAG,GAAG,cAAc,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAClE,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,uCAAuC;QACvC,MAAM,GAAG,GAAG,cAAc,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/C,0BAA0B;QAC1B,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,oDAAoD;QACpD,MAAM,GAAG,GAAG,cAAc,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,cAAc,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACtG,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,iBAAiB,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC7E,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;QAC/C,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC1C,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,KAAK,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1B,MAAM,EAAE,OAAO,EAAE,GAAG,iBAAiB,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC;QAC3D,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,EAAE,OAAO,EAAE,GAAG,iBAAiB,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC;QACzD,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAC7F,wEAAwE;QACxE,MAAM,EAAE,SAAS,EAAE,GAAG,iBAAiB,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACjG,4EAA4E;QAC5E,MAAM,CAAC,SAAS,CAAC,KAAM,CAAC,OAAO,CAAC,CAAC,sBAAsB,CAAC,SAAS,CAAC,IAAK,CAAC,OAAO,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/audit-spc.test.d.ts

@@ -0,0 +1,5 @@
+/**
+ * NavGator audit SPC tests — Run 2 / D6
+ */
+export {};
+//# sourceMappingURL=audit-spc.test.d.ts.map

package/dist/__tests__/audit-spc.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"audit-spc.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/audit-spc.test.ts"],"names":[],"mappings":"AAAA;;GAEG"}

package/dist/__tests__/audit-spc.test.js

@@ -0,0 +1,94 @@
+/**
+ * NavGator audit SPC tests — Run 2 / D6
+ */
+import { describe, it, expect } from 'vitest';
+import { newEwmaState, updateEwma } from '../audit/spc.js';
+describe('newEwmaState', () => {
+    it('default lambda=0.2, L=2.7', () => {
+        const s = newEwmaState();
+        expect(s.lambda).toBeCloseTo(0.2, 6);
+        expect(s.L).toBeCloseTo(2.7, 6);
+        expect(s.n).toBe(0);
+        expect(s.points).toEqual([]);
+    });
+    it('honors overrides', () => {
+        const s = newEwmaState(0.1, 3);
+        expect(s.lambda).toBe(0.1);
+        expect(s.L).toBe(3);
+    });
+});
+describe('updateEwma — warm-up phase', () => {
+    it('does not breach during the first 5 observations even with extreme values', () => {
+        let s = newEwmaState();
+        for (const x of [0.5, 0.6, 0.7, 0.8, 0.9]) {
+            const r = updateEwma(s, x);
+            expect(r.breach).toBe(false);
+            s = r.state;
+        }
+        expect(s.n).toBe(5);
+    });
+    it('estimates mean and variance from the warm-up window', () => {
+        let s = newEwmaState();
+        for (const x of [0.02, 0.02, 0.02, 0.02, 0.02]) {
+            s = updateEwma(s, x).state;
+        }
+        expect(s.mean).toBeCloseTo(0.02, 6);
+        expect(s.variance).toBeCloseTo(0, 6);
+    });
+});
+describe('updateEwma — control phase', () => {
+    it('stays in control for stable observations', () => {
+        let s = newEwmaState();
+        // Warm-up with mean=0.02, σ≈0.005
+        const warm = [0.015, 0.020, 0.025, 0.020, 0.020];
+        for (const x of warm)
+            s = updateEwma(s, x).state;
+        // 10 more stable points
+        for (let i = 0; i < 10; i++) {
+            const r = updateEwma(s, 0.02 + (Math.random() - 0.5) * 0.002);
+            expect(r.breach).toBe(false);
+            s = r.state;
+        }
+    });
+    it('breaches on a sustained large shift', () => {
+        let s = newEwmaState();
+        const warm = [0.020, 0.020, 0.020, 0.020, 0.020];
+        for (const x of warm)
+            s = updateEwma(s, x).state;
+        // Even with σ→0 (perfectly stable warm-up) the variance floors at 1e-12,
+        // so any meaningful shift breaches. We force a shift to 0.10.
+        let breached = false;
+        for (let i = 0; i < 5; i++) {
+            const r = updateEwma(s, 0.10);
+            s = r.state;
+            if (r.breach) {
+                breached = true;
+                break;
+            }
+        }
+        expect(breached).toBe(true);
+    });
+    it('records control limits as ±L·σ·√(λ/(2-λ))·stabilizer', () => {
+        let s = newEwmaState();
+        // Warm-up with non-zero variance.
+        const warm = [0.02, 0.04, 0.02, 0.04, 0.02];
+        for (const x of warm)
+            s = updateEwma(s, x).state;
+        const r = updateEwma(s, 0.03);
+        // After warm-up + 1 obs, k=1, stabilizer=1 - (0.8)^2 = 0.36
+        // se = σ · √(0.2/1.8 · 0.36) = σ · √0.04 = σ · 0.2
+        // ucl = 2.7 · σ · 0.2
+        const sigma = Math.sqrt(s.variance);
+        const expectedUcl = 2.7 * sigma * Math.sqrt((0.2 / 1.8) * (1 - Math.pow(0.8, 2)));
+        expect(r.ucl).toBeCloseTo(expectedUcl, 6);
+        expect(r.lcl).toBeCloseTo(-expectedUcl, 6);
+    });
+    it('caps points history at 50', () => {
+        let s = newEwmaState();
+        for (let i = 0; i < 80; i++) {
+            s = updateEwma(s, 0.02).state;
+        }
+        expect(s.points.length).toBe(50);
+    });
+});
+//# sourceMappingURL=audit-spc.test.js.map

package/dist/__tests__/audit-spc.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"audit-spc.test.js","sourceRoot":"","sources":["../../src/__tests__/audit-spc.test.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE3D,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,CAAC,GAAG,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3B,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,IAAI,CAAC,GAAG,YAAY,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;YAC1C,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC3B,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC7B,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;QACd,CAAC;QACD,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,IAAI,CAAC,GAAG,YAAY,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YAC/C,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;QAC7B,CAAC;QACD,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAI,CAAC,GAAG,YAAY,EAAE,CAAC;QACvB,kCAAkC;QAClC,MAAM,IAAI,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACjD,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;QAEjD,wBAAwB;QACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;YAC9D,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC7B,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;QACd,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAI,CAAC,GAAG,YAAY,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACjD,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;QAEjD,yEAAyE;QACzE,8DAA8D;QAC9D,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YAC9B,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;YACZ,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;gBACb,QAAQ,GAAG,IAAI,CAAC;gBAChB,MAAM;YACR,CAAC;QACH,CAAC;QACD,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,IAAI,CAAC,GAAG,YAAY,EAAE,CAAC;QACvB,kCAAkC;QAClC,MAAM,IAAI,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5C,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;QAEjD,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC9B,4DAA4D;QAC5D,mDAAmD;QACnD,sBAAsB;QACtB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACpC,MAAM,WAAW,GAAG,GAAG,GAAG,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAClF,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QAC1C,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAI,CAAC,GAAG,YAAY,EAAE,CAAC;QACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC;QAChC,CAAC;QACD,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/audit-verifiers.test.d.ts

@@ -0,0 +1,5 @@
+/**
+ * NavGator audit verifiers tests — Run 2 / D6
+ */
+export {};
+//# sourceMappingURL=audit-verifiers.test.d.ts.map

package/dist/__tests__/audit-verifiers.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"audit-verifiers.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/audit-verifiers.test.ts"],"names":[],"mappings":"AAAA;;GAEG"}

package/dist/__tests__/audit-verifiers.test.js

@@ -0,0 +1,248 @@
+/**
+ * NavGator audit verifiers tests — Run 2 / D6
+ */
+import * as fs from 'fs';
+import * as os from 'os';
+import * as path from 'path';
+import * as crypto from 'crypto';
+import { afterEach, beforeEach, describe, expect, it } from 'vitest';
+import { verifyDedupCollision, verifyHallucinatedComponent, verifyHallucinatedEdge, verifyMissedEdge, verifyStaleReference, verifyWrongEndpoint, } from '../audit/verifiers.js';
+// ============================================================================
+// FIXTURES
+// ============================================================================
+let workDir;
+beforeEach(() => {
+    workDir = fs.mkdtempSync(path.join(os.tmpdir(), 'navgator-audit-test-'));
+});
+afterEach(() => {
+    fs.rmSync(workDir, { recursive: true, force: true });
+});
+function makeComponent(overrides = {}) {
+    return {
+        component_id: 'COMP_npm_x_1234',
+        name: 'x',
+        type: 'npm',
+        role: { purpose: 'pkg', layer: 'backend', critical: false },
+        source: { detection_method: 'auto', config_files: ['package.json'], confidence: 1 },
+        ...overrides,
+    };
+}
+function makeConnection(overrides = {}) {
+    return {
+        connection_id: 'CONN_imports_abc',
+        from: { component_id: 'COMP_a', location: { file: 'a.ts', line: 1 } },
+        to: { component_id: 'COMP_b', location: { file: 'b.ts', line: 1 } },
+        connection_type: 'imports',
+        code_reference: { file: 'a.ts', symbol: 'foo', line_start: 1, line_end: 1 },
+        detected_from: 'test',
+        confidence: 0.9,
+        timestamp: 0,
+        last_verified: 0,
+        ...overrides,
+    };
+}
+function ctxFor(overrides = {}) {
+    return {
+        projectRoot: workDir,
+        hashes: null,
+        componentById: new Map(),
+        isMcpMode: false,
+        ...overrides,
+    };
+}
+// ============================================================================
+// V1 — HALLUCINATED_COMPONENT
+// ============================================================================
+describe('verifyHallucinatedComponent', () => {
+    it('positive case: config file does not exist on disk → defect', async () => {
+        const comp = makeComponent({ component_id: 'COMP_npm_ghost', source: { detection_method: 'auto', config_files: ['does-not-exist.json'], confidence: 1 } });
+        const out = await verifyHallucinatedComponent([comp], ctxFor());
+        expect(out.defectCount).toBe(1);
+        expect(out.samples[0].ok).toBe(false);
+    });
+    it('negative case: config file exists → clean', async () => {
+        fs.writeFileSync(path.join(workDir, 'package.json'), '{}');
+        const comp = makeComponent();
+        const out = await verifyHallucinatedComponent([comp], ctxFor());
+        expect(out.defectCount).toBe(0);
+        expect(out.samples[0].ok).toBe(true);
+    });
+});
+// ============================================================================
+// V2 — HALLUCINATED_EDGE
+// ============================================================================
+describe('verifyHallucinatedEdge', () => {
+    it('positive case: from/to component_ids unresolved → defect', () => {
+        const conn = makeConnection({
+            from: { component_id: 'GHOST_FROM', location: { file: 'a.ts', line: 1 } },
+            to: { component_id: 'GHOST_TO' },
+        });
+        const out = verifyHallucinatedEdge([conn], ctxFor());
+        expect(out.defectCount).toBe(1);
+        expect(out.samples[0].reason).toContain('both endpoints unresolved');
+    });
+    it('negative case: both endpoints resolve → clean', () => {
+        const a = makeComponent({ component_id: 'COMP_a' });
+        const b = makeComponent({ component_id: 'COMP_b' });
+        const map = new Map();
+        map.set('COMP_a', a);
+        map.set('COMP_b', b);
+        const out = verifyHallucinatedEdge([makeConnection()], ctxFor({ componentById: map }));
+        expect(out.defectCount).toBe(0);
+    });
+});
+// ============================================================================
+// V3 — WRONG_ENDPOINT
+// ============================================================================
+describe('verifyWrongEndpoint', () => {
+    it('positive case: file present but symbol absent → defect', async () => {
+        fs.writeFileSync(path.join(workDir, 'a.ts'), '// nothing relevant here');
+        const target = makeComponent({ component_id: 'COMP_b', name: 'targetThingDef' });
+        const map = new Map([['COMP_b', target]]);
+        const conn = makeConnection({ code_reference: { file: 'a.ts', symbol: 'fooMissingSymbol' } });
+        const out = await verifyWrongEndpoint([conn], ctxFor({ componentById: map }));
+        expect(out.defectCount).toBe(1);
+    });
+    it('negative case: symbol present in file → clean', async () => {
+        fs.writeFileSync(path.join(workDir, 'a.ts'), 'export function foo() {}');
+        const target = makeComponent({ component_id: 'COMP_b', name: 'foo' });
+        const map = new Map([['COMP_b', target]]);
+        const conn = makeConnection({ code_reference: { file: 'a.ts', symbol: 'foo' } });
+        const out = await verifyWrongEndpoint([conn], ctxFor({ componentById: map }));
+        expect(out.defectCount).toBe(0);
+    });
+    // Run 3 D2a: path-style symbol regression — \b fails on non-word boundaries
+    it('Run 3 path-style symbol present in file → clean (no false defect)', async () => {
+        fs.writeFileSync(path.join(workDir, 'caller.ts'), "import { foo } from './entity-analysis-service';\n");
+        const target = makeComponent({ component_id: 'COMP_t', name: 'services/entity-analysis-service' });
+        const map = new Map([['COMP_t', target]]);
+        const conn = makeConnection({
+            code_reference: { file: 'caller.ts', symbol: './entity-analysis-service' },
+        });
+        const out = await verifyWrongEndpoint([conn], ctxFor({ componentById: map }));
+        expect(out.defectCount).toBe(0);
+    });
+    it('Run 3 path-style symbol with hyphens (../fixtures/factories) → clean', async () => {
+        fs.writeFileSync(path.join(workDir, 'test.ts'), "import { make } from '../fixtures/factories';\n");
+        const map = new Map();
+        const conn = makeConnection({
+            code_reference: { file: 'test.ts', symbol: '../fixtures/factories' },
+        });
+        const out = await verifyWrongEndpoint([conn], ctxFor({ componentById: map }));
+        expect(out.defectCount).toBe(0);
+    });
+    it('Run 3 scoped package symbol (@scope/pkg) present → clean', async () => {
+        fs.writeFileSync(path.join(workDir, 'a.ts'), "import x from '@radix-ui/react-dialog';\n");
+        const target = makeComponent({ component_id: 'COMP_pkg', name: '@radix-ui/react-dialog' });
+        const map = new Map([['COMP_pkg', target]]);
+        const conn = makeConnection({
+            code_reference: { file: 'a.ts', symbol: '@radix-ui/react-dialog' },
+        });
+        const out = await verifyWrongEndpoint([conn], ctxFor({ componentById: map }));
+        expect(out.defectCount).toBe(0);
+    });
+    it('Run 3 identifier symbol still uses \\b — substring of larger word does NOT match', async () => {
+        // File contains `foobar` only; symbol `foo` should NOT match (false-positive
+        // resistance for plain identifiers — keeps the safety the original regex provided).
+        fs.writeFileSync(path.join(workDir, 'a.ts'), 'const x = foobar;\n');
+        const map = new Map();
+        const conn = makeConnection({ code_reference: { file: 'a.ts', symbol: 'foo' } });
+        const out = await verifyWrongEndpoint([conn], ctxFor({ componentById: map }));
+        expect(out.defectCount).toBe(1);
+    });
+});
+// ============================================================================
+// V4 — STALE_REFERENCE
+// ============================================================================
+describe('verifyStaleReference', () => {
+    it('positive case: hash mismatch → defect', async () => {
+        const file = path.join(workDir, 'src/foo.ts');
+        fs.mkdirSync(path.dirname(file), { recursive: true });
+        fs.writeFileSync(file, 'current content');
+        const recorded = crypto.createHash('sha256').update('OLD content').digest('hex');
+        const hashes = {
+            version: '1.0',
+            generatedAt: 0,
+            projectPath: workDir,
+            files: { 'src/foo.ts': { hash: recorded, lastScanned: 0, size: 0 } },
+        };
+        const out = await verifyStaleReference(['src/foo.ts'], ctxFor({ hashes }));
+        expect(out.defectCount).toBe(1);
+        expect(out.samples[0].reason).toContain('hash mismatch');
+    });
+    it('positive case: file deleted → defect', async () => {
+        const recorded = crypto.createHash('sha256').update('was here').digest('hex');
+        const hashes = {
+            version: '1.0',
+            generatedAt: 0,
+            projectPath: workDir,
+            files: { 'gone.ts': { hash: recorded, lastScanned: 0, size: 0 } },
+        };
+        const out = await verifyStaleReference(['gone.ts'], ctxFor({ hashes }));
+        expect(out.defectCount).toBe(1);
+    });
+    it('negative case: hash matches → clean', async () => {
+        const file = path.join(workDir, 'foo.ts');
+        fs.writeFileSync(file, 'stable content');
+        const recorded = crypto.createHash('sha256').update('stable content').digest('hex');
+        const hashes = {
+            version: '1.0',
+            generatedAt: 0,
+            projectPath: workDir,
+            files: { 'foo.ts': { hash: recorded, lastScanned: 0, size: 0 } },
+        };
+        const out = await verifyStaleReference(['foo.ts'], ctxFor({ hashes }));
+        expect(out.defectCount).toBe(0);
+    });
+    it('handles missing hashes.json (no defect)', async () => {
+        const out = await verifyStaleReference(['x.ts'], ctxFor({ hashes: null }));
+        expect(out.defectCount).toBe(0);
+    });
+});
+// ============================================================================
+// V5 — DEDUP_COLLISION
+// ============================================================================
+describe('verifyDedupCollision', () => {
+    it('positive case: duplicate (type,name,primary-config) triple → defect', () => {
+        const a = makeComponent({ component_id: 'COMP_1', type: 'npm', name: 'react', source: { detection_method: 'auto', config_files: ['package.json'], confidence: 1 } });
+        const b = makeComponent({ component_id: 'COMP_2', type: 'npm', name: 'react', source: { detection_method: 'auto', config_files: ['package.json'], confidence: 1 } });
+        const out = verifyDedupCollision([a, b]);
+        expect(out.defectCount).toBe(1);
+        expect(out.samples[0].reason).toContain('dedup-key collision');
+    });
+    it('negative case: same name, different type → clean', () => {
+        const a = makeComponent({ component_id: 'COMP_1', type: 'npm', name: 'prisma' });
+        const b = makeComponent({ component_id: 'COMP_2', type: 'database', name: 'prisma' });
+        const out = verifyDedupCollision([a, b]);
+        expect(out.defectCount).toBe(0);
+    });
+    it('negative case: same name + type, different file → clean', () => {
+        const a = makeComponent({ component_id: 'COMP_1', source: { detection_method: 'auto', config_files: ['app/proxy.ts'], confidence: 1 } });
+        const b = makeComponent({ component_id: 'COMP_2', source: { detection_method: 'auto', config_files: ['lib/proxy.ts'], confidence: 1 } });
+        const out = verifyDedupCollision([a, b]);
+        expect(out.defectCount).toBe(0);
+    });
+});
+// ============================================================================
+// V6 — MISSED_EDGE (LLM-judge)
+// ============================================================================
+describe('verifyMissedEdge', () => {
+    it('CLI mode: returns llm_skipped=true with zero defects', () => {
+        const out = verifyMissedEdge(['foo.ts'], [], ctxFor({ isMcpMode: false }));
+        expect(out.llm_skipped).toBe(true);
+        expect(out.defectCount).toBe(0);
+    });
+    it('MCP mode: returns structured llm_payload with recorded edges', () => {
+        const conn = makeConnection({
+            connection_id: 'CONN_abc',
+            code_reference: { file: 'src/index.ts', symbol: 'doThing' },
+        });
+        const out = verifyMissedEdge(['src/index.ts'], [conn], ctxFor({ isMcpMode: true }));
+        expect(out.llm_skipped).toBeUndefined();
+        expect(out.llm_payload).toBeDefined();
+        const payload = out.llm_payload;
+        expect(payload.files[0].path).toBe('src/index.ts');
+        expect(payload.files[0].recorded_outgoing_edges.length).toBe(1);
+    });
+});
+//# sourceMappingURL=audit-verifiers.test.js.map