@tyroneross/navgator 0.2.2 → 0.9.0

package/dist/audit/sampler.js

@@ -0,0 +1,298 @@
+/**
+ * NavGator audit sampler — Run 2 / D1
+ *
+ * Pure-math statistical sampling helpers. Zero deps.
+ *
+ * References:
+ *   - NIST/SEMATECH e-Handbook §6.2.2-3 (acceptance sampling, attributes)
+ *   - Wald 1945 — Sequential analysis (SPRT)
+ *   - Cochran 1977 — Sampling techniques (FPC, Neyman allocation)
+ */
+// ============================================================================
+// CONSTANTS
+// ============================================================================
+/** Standard normal quantiles for common confidence levels. */
+export const Z = {
+    /** 90% two-sided CI / 95% one-sided */
+    Z_90: 1.645,
+    /** 95% two-sided CI */
+    Z_95: 1.96,
+    /** 99% two-sided CI */
+    Z_99: 2.576,
+};
+// ============================================================================
+// BINOMIAL CDF (log-stable)
+// ============================================================================
+/**
+ * Log-gamma via Lanczos approximation (g=7, n=9).
+ * Accurate to ~1e-15 for x > 0.
+ */
+function lgamma(x) {
+    if (x < 0.5) {
+        // Reflection: ln Γ(x) = ln(π / sin(πx)) − ln Γ(1−x)
+        return Math.log(Math.PI / Math.sin(Math.PI * x)) - lgamma(1 - x);
+    }
+    const g = 7;
+    const c = [
+        0.99999999999980993, 676.5203681218851, -1259.1392167224028,
+        771.32342877765313, -176.61502916214059, 12.507343278686905,
+        -0.13857109526572012, 9.9843695780195716e-6, 1.5056327351493116e-7,
+    ];
+    x -= 1;
+    let a = c[0];
+    const t = x + g + 0.5;
+    for (let i = 1; i < 9; i++)
+        a += c[i] / (x + i);
+    return 0.5 * Math.log(2 * Math.PI) + (x + 0.5) * Math.log(t) - t + Math.log(a);
+}
+/** ln C(n, k) via lgamma. Stable for n up to ~1e6. */
+function logChoose(n, k) {
+    if (k < 0 || k > n)
+        return -Infinity;
+    if (k === 0 || k === n)
+        return 0;
+    return lgamma(n + 1) - lgamma(k + 1) - lgamma(n - k + 1);
+}
+/**
+ * Binomial CDF P(X ≤ c) where X ~ Binomial(n, p).
+ * Used for OC-curve calc: probability of acceptance at proportion-defective p.
+ */
+export function binomialCDF(n, p, c) {
+    if (p <= 0)
+        return 1;
+    if (p >= 1)
+        return c >= n ? 1 : 0;
+    if (c < 0)
+        return 0;
+    if (c >= n)
+        return 1;
+    const logP = Math.log(p);
+    const log1mP = Math.log(1 - p);
+    let sum = 0;
+    for (let k = 0; k <= c; k++) {
+        const logPmf = logChoose(n, k) + k * logP + (n - k) * log1mP;
+        sum += Math.exp(logPmf);
+    }
+    // Numerical safety: clamp.
+    if (sum > 1)
+        return 1;
+    if (sum < 0)
+        return 0;
+    return sum;
+}
+const AQL_TABLE = [
+    { maxN: 8, codeLetter: 'A', n: 2, c: 0, lotRange: '2-8' },
+    { maxN: 15, codeLetter: 'B', n: 3, c: 0, lotRange: '9-15' },
+    { maxN: 25, codeLetter: 'C', n: 5, c: 0, lotRange: '16-25' },
+    { maxN: 50, codeLetter: 'D', n: 8, c: 0, lotRange: '26-50' },
+    { maxN: 90, codeLetter: 'E', n: 13, c: 1, lotRange: '51-90' },
+    { maxN: 150, codeLetter: 'F', n: 20, c: 1, lotRange: '91-150' },
+    { maxN: 280, codeLetter: 'G', n: 32, c: 2, lotRange: '151-280' },
+    { maxN: 500, codeLetter: 'H', n: 50, c: 3, lotRange: '281-500' },
+    { maxN: 1200, codeLetter: 'J', n: 80, c: 5, lotRange: '501-1200' },
+    { maxN: 3200, codeLetter: 'K', n: 125, c: 7, lotRange: '1201-3200' },
+    { maxN: 10000, codeLetter: 'L', n: 200, c: 10, lotRange: '3201-10000' },
+    { maxN: 35000, codeLetter: 'M', n: 315, c: 14, lotRange: '10001-35000' },
+    { maxN: Infinity, codeLetter: 'N', n: 500, c: 21, lotRange: '35001+' },
+];
+/** Pick an AQL=2.5% sampling plan based on lot size. */
+export function chooseAQLPlan(lotSize) {
+    for (const row of AQL_TABLE) {
+        if (lotSize <= row.maxN) {
+            return {
+                n: Math.min(row.n, Math.max(1, lotSize)),
+                c: row.c,
+                plan: 'AQL',
+                codeLetter: row.codeLetter,
+                lotRange: row.lotRange,
+            };
+        }
+    }
+    // Unreachable (last row is Infinity), keeps TS happy.
+    const last = AQL_TABLE[AQL_TABLE.length - 1];
+    return { n: last.n, c: last.c, plan: 'AQL', codeLetter: last.codeLetter, lotRange: last.lotRange };
+}
+/**
+ * Run SPRT given the full observation sequence (1 = defect, 0 = clean).
+ * Continue while B < Λ < A. Accept H0 (p=p0) when Λ ≤ B; reject (p=p1) when Λ ≥ A.
+ *
+ * @param observations  array of 0/1 outcomes
+ * @param p0  null-hypothesis defect rate (e.g. 0.01)
+ * @param p1  alternative defect rate (e.g. 0.05)
+ * @param alpha  type-I error (default 0.05)
+ * @param beta  type-II error (default 0.05)
+ */
+export function sprtNext(observations, p0, p1, alpha = 0.05, beta = 0.05) {
+    if (p0 <= 0 || p0 >= 1 || p1 <= 0 || p1 >= 1 || p0 >= p1) {
+        throw new Error('sprtNext: require 0 < p0 < p1 < 1');
+    }
+    const A = (1 - beta) / alpha;
+    const B = beta / (1 - alpha);
+    // ln Λ_n = Σ [x_i ln(p1/p0) + (1-x_i) ln((1-p1)/(1-p0))]
+    const lnRatioDefect = Math.log(p1 / p0);
+    const lnRatioClean = Math.log((1 - p1) / (1 - p0));
+    let logLR = 0;
+    for (const x of observations) {
+        logLR += x === 1 ? lnRatioDefect : lnRatioClean;
+    }
+    const lnA = Math.log(A);
+    const lnB = Math.log(B);
+    let verdict = 'continue';
+    if (logLR >= lnA)
+        verdict = 'reject';
+    else if (logLR <= lnB)
+        verdict = 'accept';
+    return { verdict, logLR, A, B };
+}
+// ============================================================================
+// COCHRAN SAMPLE SIZE
+// ============================================================================
+/**
+ * Cochran's sample-size formula:  n = Z² · p(1-p) / e²
+ *   With finite-population correction (FPC) when populationSize given:
+ *   n_adj = n / (1 + (n-1) / N)
+ *
+ * @param p  expected proportion (use 0.5 for max variance / worst-case)
+ * @param e  margin of error (e.g., 0.05 for ±5%)
+ * @param z  z-score for desired confidence (default 1.96 for 95%)
+ * @param populationSize  optional finite-N for FPC adjustment
+ */
+export function cochranSize(p, e, z = Z.Z_95, populationSize) {
+    if (p < 0 || p > 1)
+        throw new Error('cochranSize: p must be in [0,1]');
+    if (e <= 0 || e >= 1)
+        throw new Error('cochranSize: e must be in (0,1)');
+    if (z <= 0)
+        throw new Error('cochranSize: z must be > 0');
+    const n0 = (z * z * p * (1 - p)) / (e * e);
+    if (!populationSize || populationSize <= 0) {
+        return Math.ceil(n0);
+    }
+    const adj = n0 / (1 + (n0 - 1) / populationSize);
+    return Math.ceil(adj);
+}
+// ============================================================================
+// NEYMAN ALLOCATION
+// ============================================================================
+/**
+ * Neyman optimal allocation:
+ *   n_h = n · (N_h · σ_h) / Σ (N_i · σ_i)
+ *
+ * Returns per-stratum sample sizes. Rounds in a way that preserves Σ n_h = n.
+ *
+ * @param n  total sample size
+ * @param strataSizes  N_h per stratum
+ * @param strataStdDevs  σ_h per stratum (use √(p(1-p)) for proportions)
+ */
+export function neymanAllocate(n, strataSizes, strataStdDevs) {
+    if (strataSizes.length !== strataStdDevs.length) {
+        throw new Error('neymanAllocate: strataSizes and strataStdDevs must align');
+    }
+    if (strataSizes.length === 0)
+        return [];
+    const denom = strataSizes.reduce((acc, N_h, i) => acc + N_h * (strataStdDevs[i] ?? 0), 0);
+    if (denom <= 0) {
+        // All-zero variance → equal split, capped by stratum size.
+        const base = Math.floor(n / strataSizes.length);
+        const rem = n - base * strataSizes.length;
+        return strataSizes.map((N_h, i) => Math.min(N_h, base + (i < rem ? 1 : 0)));
+    }
+    // Real-valued allocation
+    const real = strataSizes.map((N_h, i) => (n * (N_h * (strataStdDevs[i] ?? 0))) / denom);
+    // Cap at stratum size; floor; distribute remainder by largest fractional part.
+    const capped = real.map((r, i) => Math.min(r, strataSizes[i] ?? 0));
+    const floored = capped.map((r) => Math.floor(r));
+    let remaining = n - floored.reduce((a, b) => a + b, 0);
+    // Sort indices by descending fractional remainder.
+    const fracOrder = capped
+        .map((r, i) => ({ i, frac: r - Math.floor(r), room: (strataSizes[i] ?? 0) - (floored[i] ?? 0) }))
+        .sort((a, b) => b.frac - a.frac);
+    for (const { i, room } of fracOrder) {
+        if (remaining <= 0)
+            break;
+        if (room > 0) {
+            floored[i] = (floored[i] ?? 0) + 1;
+            remaining--;
+        }
+    }
+    // If we still owe samples (because of caps), spread them anywhere with room.
+    if (remaining > 0) {
+        for (let i = 0; i < floored.length && remaining > 0; i++) {
+            const room = (strataSizes[i] ?? 0) - (floored[i] ?? 0);
+            if (room > 0) {
+                const give = Math.min(room, remaining);
+                floored[i] = (floored[i] ?? 0) + give;
+                remaining -= give;
+            }
+        }
+    }
+    return floored;
+}
+// ============================================================================
+// STRATIFIED SAMPLING (D3 — pure helper)
+// ============================================================================
+/**
+ * Pick `count` items from `items` without replacement (Fisher-Yates partial shuffle).
+ */
+export function sampleWithoutReplacement(items, count, rand = Math.random) {
+    const n = items.length;
+    if (count <= 0 || n === 0)
+        return [];
+    if (count >= n)
+        return [...items];
+    const arr = [...items];
+    const out = [];
+    for (let i = 0; i < count; i++) {
+        const j = i + Math.floor(rand() * (n - i));
+        const tmp = arr[i];
+        arr[i] = arr[j];
+        arr[j] = tmp;
+        out.push(arr[i]);
+    }
+    return out;
+}
+/**
+ * Stratified sample selection.
+ *
+ * @param items        full population
+ * @param totalN       desired total sample
+ * @param strataKey    function (item) → stratum label
+ * @param priorRates   optional Record<stratum, defectRate> for variance estimation
+ * @param rand         RNG (test injection)
+ */
+export function selectAuditSample(items, totalN, strataKey, priorRates, rand = Math.random) {
+    if (items.length === 0 || totalN <= 0) {
+        return { samples: [], byStratum: {} };
+    }
+    // Group.
+    const buckets = new Map();
+    for (const item of items) {
+        const key = strataKey(item);
+        let arr = buckets.get(key);
+        if (!arr) {
+            arr = [];
+            buckets.set(key, arr);
+        }
+        arr.push(item);
+    }
+    const labels = [...buckets.keys()];
+    const sizes = labels.map((l) => buckets.get(l).length);
+    const stdDevs = labels.map((l) => {
+        const p = priorRates?.[l] ?? 0.5;
+        const clamped = Math.max(0, Math.min(1, p));
+        return Math.sqrt(clamped * (1 - clamped));
+    });
+    const allocations = neymanAllocate(Math.min(totalN, items.length), sizes, stdDevs);
+    const samples = [];
+    const byStratum = {};
+    for (let i = 0; i < labels.length; i++) {
+        const label = labels[i];
+        const want = allocations[i] ?? 0;
+        const have = buckets.get(label);
+        const picked = sampleWithoutReplacement(have, want, rand);
+        samples.push(...picked);
+        byStratum[label] = { sampled: picked.length, total: have.length };
+    }
+    return { samples, byStratum };
+}
+//# sourceMappingURL=sampler.js.map

package/dist/audit/sampler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sampler.js","sourceRoot":"","sources":["../../src/audit/sampler.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,+EAA+E;AAC/E,YAAY;AACZ,+EAA+E;AAE/E,8DAA8D;AAC9D,MAAM,CAAC,MAAM,CAAC,GAAG;IACf,uCAAuC;IACvC,IAAI,EAAE,KAAK;IACX,uBAAuB;IACvB,IAAI,EAAE,IAAI;IACV,uBAAuB;IACvB,IAAI,EAAE,KAAK;CACH,CAAC;AAEX,+EAA+E;AAC/E,4BAA4B;AAC5B,+EAA+E;AAE/E;;;GAGG;AACH,SAAS,MAAM,CAAC,CAAS;IACvB,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC;QACZ,oDAAoD;QACpD,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACnE,CAAC;IACD,MAAM,CAAC,GAAG,CAAC,CAAC;IACZ,MAAM,CAAC,GAAG;QACR,mBAAmB,EAAE,iBAAiB,EAAE,CAAC,kBAAkB;QAC3D,kBAAkB,EAAE,CAAC,kBAAkB,EAAE,kBAAkB;QAC3D,CAAC,mBAAmB,EAAE,qBAAqB,EAAE,qBAAqB;KACnE,CAAC;IACF,CAAC,IAAI,CAAC,CAAC;IACP,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;IACd,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;IACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;QAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjD,OAAO,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACjF,CAAC;AAED,sDAAsD;AACtD,SAAS,SAAS,CAAC,CAAS,EAAE,CAAS;IACrC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,CAAC,QAAQ,CAAC;IACrC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACjC,OAAO,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,CAAS,EAAE,CAAS,EAAE,CAAS;IACzD,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC;IACrB,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,CAAC,CAAC;IACpB,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC;IAErB,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACzB,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC;QAC7D,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1B,CAAC;IACD,2BAA2B;IAC3B,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO,CAAC,CAAC;IACtB,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO,CAAC,CAAC;IACtB,OAAO,GAAG,CAAC;AACb,CAAC;AAkBD,MAAM,SAAS,GAMV;IACH,EAAE,IAAI,EAAE,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE;IACzD,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE;IAC3D,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE;IAC5D,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE;IAC5D,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE;IAC7D,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE;IAC/D,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE;IAChE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE;IAChE,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE;IAClE,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE;IACpE,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE;IACvE,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,aAAa,EAAE;IACxE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE;CACvE,CAAC;AAEF,wDAAwD;AACxD,MAAM,UAAU,aAAa,CAAC,OAAe;IAC3C,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;QAC5B,IAAI,OAAO,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC;YACxB,OAAO;gBACL,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;gBACxC,CAAC,EAAE,GAAG,CAAC,CAAC;gBACR,IAAI,EAAE,KAAK;gBACX,UAAU,EAAE,GAAG,CAAC,UAAU;gBAC1B,QAAQ,EAAE,GAAG,CAAC,QAAQ;aACvB,CAAC;QACJ,CAAC;IACH,CAAC;IACD,sDAAsD;IACtD,MAAM,IAAI,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;IAC9C,OAAO,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;AACrG,CAAC;AAkBD;;;;;;;;;GASG;AACH,MAAM,UAAU,QAAQ,CACtB,YAAkC,EAClC,EAAU,EACV,EAAU,EACV,KAAK,GAAG,IAAI,EACZ,IAAI,GAAG,IAAI;IAEX,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;QACzD,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IACvD,CAAC;IAED,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,KAAK,CAAC;IAC7B,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;IAE7B,yDAAyD;IACzD,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACxC,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAEnD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;QAC7B,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY,CAAC;IAClD,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACxB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAExB,IAAI,OAAO,GAAgB,UAAU,CAAC;IACtC,IAAI,KAAK,IAAI,GAAG;QAAE,OAAO,GAAG,QAAQ,CAAC;SAChC,IAAI,KAAK,IAAI,GAAG;QAAE,OAAO,GAAG,QAAQ,CAAC;IAE1C,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAClC,CAAC;AAED,+EAA+E;AAC/E,sBAAsB;AACtB,+EAA+E;AAE/E;;;;;;;;;GASG;AACH,MAAM,UAAU,WAAW,CACzB,CAAS,EACT,CAAS,EACT,IAAY,CAAC,CAAC,IAAI,EAClB,cAAuB;IAEvB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;IACvE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;IACzE,IAAI,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAE1D,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3C,IAAI,CAAC,cAAc,IAAI,cAAc,IAAI,CAAC,EAAE,CAAC;QAC3C,OAAO,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvB,CAAC;IACD,MAAM,GAAG,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC;IACjD,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACxB,CAAC;AAED,+EAA+E;AAC/E,oBAAoB;AACpB,+EAA+E;AAE/E;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAC5B,CAAS,EACT,WAAkC,EAClC,aAAoC;IAEpC,IAAI,WAAW,CAAC,MAAM,KAAK,aAAa,CAAC,MAAM,EAAE,CAAC;QAChD,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IAC9E,CAAC;IACD,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAExC,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAE1F,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACf,2DAA2D;QAC3D,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;QAChD,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC;QAC1C,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAChC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACxC,CAAC;IACJ,CAAC;IAED,yBAAyB;IACzB,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;IAExF,+EAA+E;IAC/E,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpE,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,IAAI,SAAS,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAEvD,mDAAmD;IACnD,MAAM,SAAS,GAAG,MAAM;SACrB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;SAChG,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IAEnC,KAAK,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,SAAS,EAAE,CAAC;QACpC,IAAI,SAAS,IAAI,CAAC;YAAE,MAAM;QAC1B,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;YACb,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YACnC,SAAS,EAAE,CAAC;QACd,CAAC;IACH,CAAC;IAED,6EAA6E;IAC7E,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;QAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACzD,MAAM,IAAI,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACvD,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;gBACb,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;gBACvC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC;gBACtC,SAAS,IAAI,IAAI,CAAC;YACpB,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,+EAA+E;AAC/E,yCAAyC;AACzC,+EAA+E;AAE/E;;GAEG;AACH,MAAM,UAAU,wBAAwB,CAAI,KAAuB,EAAE,KAAa,EAAE,IAAI,GAAG,IAAI,CAAC,MAAM;IACpG,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;IACvB,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACrC,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;IAClC,MAAM,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;IACvB,MAAM,GAAG,GAAQ,EAAE,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC;QACpB,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC;QACjB,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,iBAAiB,CAC/B,KAAuB,EACvB,MAAc,EACd,SAA8B,EAC9B,UAAmC,EACnC,IAAI,GAAG,IAAI,CAAC,MAAM;IAElB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QACtC,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IACxC,CAAC;IAED,SAAS;IACT,MAAM,OAAO,GAAG,IAAI,GAAG,EAAe,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3B,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,GAAG,GAAG,EAAE,CAAC;YACT,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC/B,MAAM,CAAC,GAAG,UAAU,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;QACjC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5C,OAAO,IAAI,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,MAAM,WAAW,GAAG,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAEnF,MAAM,OAAO,GAAQ,EAAE,CAAC;IACxB,MAAM,SAAS,GAAuD,EAAE,CAAC;IAEzE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACzB,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC;QACjC,MAAM,MAAM,GAAG,wBAAwB,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC1D,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;QACxB,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;IACpE,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;AAChC,CAAC"}

package/dist/audit/spc.d.ts

@@ -0,0 +1,62 @@
+/**
+ * NavGator audit SPC — Run 2 / D5
+ *
+ * EWMA control chart for slow drift detection across scans.
+ *
+ * Reference:
+ *   - Hawkins & Wu, 2014 — EWMA chart performance for small mean shifts.
+ *   - Roberts 1959 — Original EWMA proposal.
+ */
+/**
+ * EWMA state, persisted on `index.json.ewma[stratum]`.
+ *
+ *   z_i = λ x_i + (1-λ) z_{i-1}
+ *   limits: μ ± L σ √(λ / (2-λ)) · √(1 - (1-λ)^{2i})   (with stabilization term)
+ *
+ * λ=0.2 and L=2.7 are Hawkins-Wu (2014) defaults that maximize ARL₁ for
+ * shifts of ~0.5σ to 1σ — the small-shift regime that dominates "graph drift"
+ * (e.g. defect rate creeping from 0.02 to 0.04).
+ */
+export interface EwmaState {
+    /** Smoothing factor (0,1]. Default 0.2. */
+    lambda: number;
+    /** Control-limit width in σ. Default 2.7. */
+    L: number;
+    /** Target mean (process expectation; updates as new clean obs arrive). */
+    mean: number;
+    /** Population variance estimate (running). */
+    variance: number;
+    /** Number of observations seen. */
+    n: number;
+    /** Most recent z values (last 50 for plotting). */
+    points: number[];
+    /** True if the last update breached UCL/LCL. */
+    breach_pending?: boolean;
+}
+/** Initial state for a new stratum. mean=0 and variance=0 are placeholders;
+ *  the first 5 observations are treated as warm-up (we never breach during
+ *  warm-up). */
+export declare function newEwmaState(lambda?: number, L?: number): EwmaState;
+export interface UpdateResult {
+    state: EwmaState;
+    /** True if z breached UCL/LCL on this update. */
+    breach: boolean;
+    /** EWMA statistic. */
+    z: number;
+    /** Upper control limit. */
+    ucl: number;
+    /** Lower control limit. */
+    lcl: number;
+}
+/**
+ * Update EWMA with a new observation (e.g., this run's defect rate for one stratum).
+ *
+ * Strategy:
+ *   - During warm-up (first 5 obs), accumulate sample mean+variance, no breach reporting.
+ *   - After warm-up, mean and variance are frozen (process target locked).
+ *     z is then the EWMA of (x - mean) deviations; limits are symmetric around 0.
+ *
+ * Returns a NEW state (immutable update).
+ */
+export declare function updateEwma(prev: EwmaState, x: number): UpdateResult;
+//# sourceMappingURL=spc.d.ts.map

package/dist/audit/spc.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"spc.d.ts","sourceRoot":"","sources":["../../src/audit/spc.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH;;;;;;;;;GASG;AACH,MAAM,WAAW,SAAS;IACxB,2CAA2C;IAC3C,MAAM,EAAE,MAAM,CAAC;IACf,6CAA6C;IAC7C,CAAC,EAAE,MAAM,CAAC;IACV,0EAA0E;IAC1E,IAAI,EAAE,MAAM,CAAC;IACb,8CAA8C;IAC9C,QAAQ,EAAE,MAAM,CAAC;IACjB,mCAAmC;IACnC,CAAC,EAAE,MAAM,CAAC;IACV,mDAAmD;IACnD,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,gDAAgD;IAChD,cAAc,CAAC,EAAE,OAAO,CAAC;CAC1B;AAED;;gBAEgB;AAChB,wBAAgB,YAAY,CAAC,MAAM,SAAM,EAAE,CAAC,SAAM,GAAG,SAAS,CAE7D;AAED,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,SAAS,CAAC;IACjB,iDAAiD;IACjD,MAAM,EAAE,OAAO,CAAC;IAChB,sBAAsB;IACtB,CAAC,EAAE,MAAM,CAAC;IACV,2BAA2B;IAC3B,GAAG,EAAE,MAAM,CAAC;IACZ,2BAA2B;IAC3B,GAAG,EAAE,MAAM,CAAC;CACb;AAKD;;;;;;;;;GASG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,GAAG,YAAY,CAwDnE"}

package/dist/audit/spc.js

@@ -0,0 +1,81 @@
+/**
+ * NavGator audit SPC — Run 2 / D5
+ *
+ * EWMA control chart for slow drift detection across scans.
+ *
+ * Reference:
+ *   - Hawkins & Wu, 2014 — EWMA chart performance for small mean shifts.
+ *   - Roberts 1959 — Original EWMA proposal.
+ */
+/** Initial state for a new stratum. mean=0 and variance=0 are placeholders;
+ *  the first 5 observations are treated as warm-up (we never breach during
+ *  warm-up). */
+export function newEwmaState(lambda = 0.2, L = 2.7) {
+    return { lambda, L, mean: 0, variance: 0, n: 0, points: [], breach_pending: false };
+}
+/** Number of warm-up observations before breaches are reported. */
+const WARMUP = 5;
+/**
+ * Update EWMA with a new observation (e.g., this run's defect rate for one stratum).
+ *
+ * Strategy:
+ *   - During warm-up (first 5 obs), accumulate sample mean+variance, no breach reporting.
+ *   - After warm-up, mean and variance are frozen (process target locked).
+ *     z is then the EWMA of (x - mean) deviations; limits are symmetric around 0.
+ *
+ * Returns a NEW state (immutable update).
+ */
+export function updateEwma(prev, x) {
+    const lambda = prev.lambda;
+    const L = prev.L;
+    const n = prev.n + 1;
+    let mean = prev.mean;
+    let variance = prev.variance;
+    let z;
+    let breach = false;
+    if (n <= WARMUP) {
+        // Welford's online mean+variance.
+        const delta = x - mean;
+        mean = mean + delta / n;
+        const delta2 = x - mean;
+        // Population variance (M2 / n). Sufficient for control limits at this scale.
+        variance = ((n - 1) * variance + delta * delta2) / n;
+        z = 0; // No EWMA yet; reported as 0 so plot starts on target.
+    }
+    else {
+        // Use deviation from frozen mean.
+        const dev = x - mean;
+        const prevZ = prev.points.length > 0 ? prev.points[prev.points.length - 1] : 0;
+        z = lambda * dev + (1 - lambda) * prevZ;
+        const sigma = Math.sqrt(Math.max(variance, 1e-12));
+        // Stabilized SE: σ √(λ/(2-λ) · (1 - (1-λ)^(2(n-WARMUP))))
+        const k = n - WARMUP;
+        const stabilizer = 1 - Math.pow(1 - lambda, 2 * k);
+        const se = sigma * Math.sqrt((lambda / (2 - lambda)) * stabilizer);
+        const ucl = L * se;
+        const lcl = -L * se;
+        if (z > ucl || z < lcl)
+            breach = true;
+        const points = [...prev.points, z];
+        if (points.length > 50)
+            points.shift();
+        return {
+            state: { lambda, L, mean, variance, n, points, breach_pending: breach },
+            breach,
+            z,
+            ucl,
+            lcl,
+        };
+    }
+    const points = [...prev.points, z];
+    if (points.length > 50)
+        points.shift();
+    return {
+        state: { lambda, L, mean, variance, n, points, breach_pending: false },
+        breach,
+        z,
+        ucl: 0, // limits not meaningful during warmup
+        lcl: 0,
+    };
+}
+//# sourceMappingURL=spc.js.map

package/dist/audit/spc.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"spc.js","sourceRoot":"","sources":["../../src/audit/spc.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AA6BH;;gBAEgB;AAChB,MAAM,UAAU,YAAY,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,GAAG;IAChD,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;AACtF,CAAC;AAcD,mEAAmE;AACnE,MAAM,MAAM,GAAG,CAAC,CAAC;AAEjB;;;;;;;;;GASG;AACH,MAAM,UAAU,UAAU,CAAC,IAAe,EAAE,CAAS;IACnD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAErB,IAAI,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACrB,IAAI,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC7B,IAAI,CAAS,CAAC;IACd,IAAI,MAAM,GAAG,KAAK,CAAC;IAEnB,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC;QAChB,kCAAkC;QAClC,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC;QACvB,IAAI,GAAG,IAAI,GAAG,KAAK,GAAG,CAAC,CAAC;QACxB,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC;QACxB,6EAA6E;QAC7E,QAAQ,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,GAAG,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QACrD,CAAC,GAAG,CAAC,CAAC,CAAC,uDAAuD;IAChE,CAAC;SAAM,CAAC;QACN,kCAAkC;QAClC,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC;QACrB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChF,CAAC,GAAG,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,KAAK,CAAC;QAExC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;QACnD,0DAA0D;QAC1D,MAAM,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC;QACrB,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACnD,MAAM,EAAE,GAAG,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC;QACnE,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,CAAC;QACnB,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAEpB,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,GAAG;YAAE,MAAM,GAAG,IAAI,CAAC;QAEtC,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACnC,IAAI,MAAM,CAAC,MAAM,GAAG,EAAE;YAAE,MAAM,CAAC,KAAK,EAAE,CAAC;QAEvC,OAAO;YACL,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE;YACvE,MAAM;YACN,CAAC;YACD,GAAG;YACH,GAAG;SACJ,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACnC,IAAI,MAAM,CAAC,MAAM,GAAG,EAAE;QAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IAEvC,OAAO;QACL,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE;QACtE,MAAM;QACN,CAAC;QACD,GAAG,EAAE,CAAC,EAAE,sCAAsC;QAC9C,GAAG,EAAE,CAAC;KACP,CAAC;AACJ,CAAC"}

package/dist/audit/verifiers.d.ts

@@ -0,0 +1,81 @@
+/**
+ * NavGator audit verifiers — Run 2 / D2
+ *
+ * Six defect classes. First five are deterministic (free); MISSED_EDGE
+ * is the only LLM-dependent one (skipped in CLI mode).
+ *
+ *   HALLUCINATED_COMPONENT — claimed component does not exist on disk
+ *   HALLUCINATED_EDGE      — connection's endpoints not in component graph
+ *   WRONG_ENDPOINT         — symbol not actually present in source file
+ *   STALE_REFERENCE        — file hash doesn't match recorded hash
+ *   DEDUP_COLLISION        — same (type,name,primary-config) appears twice
+ *   MISSED_EDGE            — LLM-only; emits a needs-verification payload
+ */
+import type { ArchitectureComponent, ArchitectureConnection, NavHashes } from '../types.js';
+export type DefectClass = 'HALLUCINATED_COMPONENT' | 'HALLUCINATED_EDGE' | 'WRONG_ENDPOINT' | 'STALE_REFERENCE' | 'DEDUP_COLLISION' | 'MISSED_EDGE';
+export interface SampleEvidence {
+    /** Component or connection id. */
+    id: string;
+    /** True if the verifier passes (no defect). */
+    ok: boolean;
+    /** When ok=false, machine-readable reason. */
+    reason?: string;
+}
+export interface VerifierOutcome {
+    class: DefectClass;
+    sampledCount: number;
+    defectCount: number;
+    samples: SampleEvidence[];
+    /** Set on MISSED_EDGE in CLI mode. */
+    llm_skipped?: boolean;
+    /** When llm_skipped=false, the structured payload that an MCP-side LLM judge
+     *  is expected to consume.  Shape: { files: [{path, recorded_outgoing_edges}] }. */
+    llm_payload?: unknown;
+}
+export interface VerifierContext {
+    projectRoot: string;
+    hashes: NavHashes | null;
+    /** O(1) lookup: component_id → component. */
+    componentById: Map<string, ArchitectureComponent>;
+    /** Whether this is an MCP session (LLM-judge enabled). */
+    isMcpMode: boolean;
+}
+export declare function verifyHallucinatedComponent(samples: ReadonlyArray<ArchitectureComponent>, ctx: VerifierContext): Promise<VerifierOutcome>;
+export declare function verifyHallucinatedEdge(samples: ReadonlyArray<ArchitectureConnection>, ctx: VerifierContext): VerifierOutcome;
+/**
+ * Re-checks that the connection's recorded source file still contains a
+ * reference to the target component's name (or the symbol). Cheap grep —
+ * not a syntactic AST check.
+ */
+export declare function verifyWrongEndpoint(samples: ReadonlyArray<ArchitectureConnection>, ctx: VerifierContext): Promise<VerifierOutcome>;
+export declare function verifyStaleReference(
+/** Sampled FILES (relative paths), not components. */
+sampledFiles: ReadonlyArray<string>, ctx: VerifierContext): Promise<VerifierOutcome>;
+/**
+ * Scans ALL components (not a sample — this is a graph-wide invariant) for
+ * duplicate (type, name, primary-config-file) triples. Returns one evidence
+ * row per collision pair.
+ */
+export declare function verifyDedupCollision(allComponents: ReadonlyArray<ArchitectureComponent>): VerifierOutcome;
+export interface MissedEdgePayload {
+    files: Array<{
+        path: string;
+        recorded_outgoing_edges: Array<{
+            connection_id: string;
+            target_component_id: string;
+            target_name: string | undefined;
+            symbol: string | undefined;
+        }>;
+    }>;
+    /** Instruction for the LLM judge. */
+    instruction: string;
+}
+/**
+ * Build a structured payload describing each sampled file's recorded outgoing
+ * edges, for an MCP-side LLM judge to set-diff against the file contents.
+ *
+ * In CLI mode we set `llm_skipped: true` and return zero defects; the audit
+ * report flags the skip but doesn't fail.
+ */
+export declare function verifyMissedEdge(sampledFiles: ReadonlyArray<string>, allConnections: ReadonlyArray<ArchitectureConnection>, ctx: VerifierContext): VerifierOutcome;
+//# sourceMappingURL=verifiers.d.ts.map

package/dist/audit/verifiers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifiers.d.ts","sourceRoot":"","sources":["../../src/audit/verifiers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAKH,OAAO,KAAK,EACV,qBAAqB,EACrB,sBAAsB,EAEtB,SAAS,EACV,MAAM,aAAa,CAAC;AAMrB,MAAM,MAAM,WAAW,GACnB,wBAAwB,GACxB,mBAAmB,GACnB,gBAAgB,GAChB,iBAAiB,GACjB,iBAAiB,GACjB,aAAa,CAAC;AAElB,MAAM,WAAW,cAAc;IAC7B,kCAAkC;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,+CAA+C;IAC/C,EAAE,EAAE,OAAO,CAAC;IACZ,8CAA8C;IAC9C,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,WAAW,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,cAAc,EAAE,CAAC;IAC1B,sCAAsC;IACtC,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB;wFACoF;IACpF,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB;AAED,MAAM,WAAW,eAAe;IAC9B,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB,6CAA6C;IAC7C,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;IAClD,0DAA0D;IAC1D,SAAS,EAAE,OAAO,CAAC;CACpB;AA6ED,wBAAsB,2BAA2B,CAC/C,OAAO,EAAE,aAAa,CAAC,qBAAqB,CAAC,EAC7C,GAAG,EAAE,eAAe,GACnB,OAAO,CAAC,eAAe,CAAC,CA2D1B;AAMD,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,aAAa,CAAC,sBAAsB,CAAC,EAC9C,GAAG,EAAE,eAAe,GACnB,eAAe,CAsBjB;AAMD;;;;GAIG;AACH,wBAAsB,mBAAmB,CACvC,OAAO,EAAE,aAAa,CAAC,sBAAsB,CAAC,EAC9C,GAAG,EAAE,eAAe,GACnB,OAAO,CAAC,eAAe,CAAC,CA0D1B;AAMD,wBAAsB,oBAAoB;AACxC,sDAAsD;AACtD,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,EACnC,GAAG,EAAE,eAAe,GACnB,OAAO,CAAC,eAAe,CAAC,CA2C1B;AAMD;;;;GAIG;AACH,wBAAgB,oBAAoB,CAClC,aAAa,EAAE,aAAa,CAAC,qBAAqB,CAAC,GAClD,eAAe,CA0BjB;AAMD,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,KAAK,CAAC;QACX,IAAI,EAAE,MAAM,CAAC;QACb,uBAAuB,EAAE,KAAK,CAAC;YAC7B,aAAa,EAAE,MAAM,CAAC;YACtB,mBAAmB,EAAE,MAAM,CAAC;YAC5B,WAAW,EAAE,MAAM,GAAG,SAAS,CAAC;YAChC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;SAC5B,CAAC,CAAC;KACJ,CAAC,CAAC;IACH,qCAAqC;IACrC,WAAW,EAAE,MAAM,CAAC;CACrB;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAC9B,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,EACnC,cAAc,EAAE,aAAa,CAAC,sBAAsB,CAAC,EACrD,GAAG,EAAE,eAAe,GACnB,eAAe,CAiDjB"}