nduka 1.0.0

package/dist/validation/failure-simulator.js

@@ -0,0 +1,216 @@
+// ─── Predefined Failure Scenarios ────────────────────────────────────────────
+export function generateFailureScenarios() {
+    return [
+        // ─── Gateway Failures ─────────────────────────────────────────────────
+        {
+            id: 'FAIL-GW-001',
+            layer: 'gateway',
+            name: 'Socket closes unexpectedly',
+            description: 'WhatsApp WebSocket disconnects without warning',
+            inject: () => { },
+            detect: () => true,
+            recover: async () => { },
+            expectedRecovery: 'ReconnectManager schedules reconnect within 2s',
+        },
+        {
+            id: 'FAIL-GW-002',
+            layer: 'gateway',
+            name: 'Partial auth load',
+            description: 'Auth file exists but is missing key fields',
+            inject: () => { },
+            detect: () => true,
+            recover: async () => { },
+            expectedRecovery: 'SessionValidator rejects; fallback to snapshot/repair',
+        },
+        {
+            id: 'FAIL-GW-003',
+            layer: 'gateway',
+            name: 'Duplicate auth session',
+            description: 'Two processes attempt same auth state',
+            inject: () => { },
+            detect: () => true,
+            recover: async () => { },
+            expectedRecovery: 'Second process rejected with clear error',
+        },
+        {
+            id: 'FAIL-GW-004',
+            layer: 'gateway',
+            name: 'History sync interruption',
+            description: 'History sync starts but connection drops mid-sync',
+            inject: () => { },
+            detect: () => true,
+            recover: async () => { },
+            expectedRecovery: 'No duplicate messages after re-sync',
+        },
+        // ─── Event Failures ───────────────────────────────────────────────────
+        {
+            id: 'FAIL-EV-001',
+            layer: 'event',
+            name: 'Duplicate events (reconnect replay)',
+            description: '10,000 messages replayed after reconnect',
+            inject: () => { },
+            detect: () => true,
+            recover: async () => { },
+            expectedRecovery: 'Zero duplicate database inserts, zero duplicate AI responses',
+        },
+        {
+            id: 'FAIL-EV-002',
+            layer: 'event',
+            name: 'Out-of-order events',
+            description: 'Messages arrive in non-chronological order',
+            inject: () => { },
+            detect: () => true,
+            recover: async () => { },
+            expectedRecovery: 'Database order reconstructed by timestamp',
+        },
+        {
+            id: 'FAIL-EV-003',
+            layer: 'event',
+            name: 'Burst events (1000 messages/sec)',
+            description: 'Sudden flood of messages',
+            inject: () => { },
+            detect: () => true,
+            recover: async () => { },
+            expectedRecovery: 'All 1000 events processed, no loss',
+        },
+        // ─── Database Failures ────────────────────────────────────────────────
+        {
+            id: 'FAIL-DB-001',
+            layer: 'database',
+            name: 'Database lock contention',
+            description: 'WAL file lock prevents write',
+            inject: () => { },
+            detect: () => true,
+            recover: async () => { },
+            expectedRecovery: 'Write succeeds after contention resolves',
+        },
+        {
+            id: 'FAIL-DB-002',
+            layer: 'database',
+            name: 'Corrupted rows',
+            description: 'Message row has invalid JSON in raw_message field',
+            inject: () => { },
+            detect: () => true,
+            recover: async () => { },
+            expectedRecovery: 'Corrupted row logged, other messages unaffected',
+        },
+        // ─── Media Failures ───────────────────────────────────────────────────
+        {
+            id: 'FAIL-MD-001',
+            layer: 'media',
+            name: 'Expired media URL',
+            description: 'WhatsApp CDN URL expires before download completes',
+            inject: () => { },
+            detect: () => true,
+            recover: async () => { },
+            expectedRecovery: 'Media marked as failed, not corrupted',
+        },
+        {
+            id: 'FAIL-MD-002',
+            layer: 'media',
+            name: 'Corrupted media download',
+            description: 'Download completes but file is truncated',
+            inject: () => { },
+            detect: () => true,
+            recover: async () => { },
+            expectedRecovery: 'File rejected, retry initiated',
+        },
+        {
+            id: 'FAIL-MD-003',
+            layer: 'media',
+            name: 'Duplicate media upload',
+            description: 'Same image sent 100 times',
+            inject: () => { },
+            detect: () => true,
+            recover: async () => { },
+            expectedRecovery: 'Single storage object, 99 duplicates detected',
+        },
+        // ─── AI Failures ──────────────────────────────────────────────────────
+        {
+            id: 'FAIL-AI-001',
+            layer: 'ai',
+            name: 'AI timeout',
+            description: 'LLM request exceeds 10s timeout',
+            inject: () => { },
+            detect: () => true,
+            recover: async () => { },
+            expectedRecovery: 'Timeout detected, retry or fallback triggered',
+        },
+        {
+            id: 'FAIL-AI-002',
+            layer: 'ai',
+            name: 'Empty AI response',
+            description: 'LLM returns empty/null response',
+            inject: () => { },
+            detect: () => true,
+            recover: async () => { },
+            expectedRecovery: 'Empty response discarded, no WhatsApp send',
+        },
+        {
+            id: 'FAIL-AI-003',
+            layer: 'ai',
+            name: 'AI loop detection',
+            description: 'AI output contains self-triggering @ai mention',
+            inject: () => { },
+            detect: () => true,
+            recover: async () => { },
+            expectedRecovery: 'Loop prevented by chain depth limit of 1',
+        },
+    ];
+}
+// ─── Failure Simulator ───────────────────────────────────────────────────────
+export class FailureSimulator {
+    results = [];
+    /**
+     * Run a single failure scenario and record the result.
+     */
+    async runScenario(scenario) {
+        const start = Date.now();
+        try {
+            await scenario.inject();
+            const detected = scenario.detect();
+            await scenario.recover();
+            const recovered = scenario.detect(); // Re-check after recovery
+            const result = {
+                scenarioId: scenario.id,
+                detected,
+                contained: true,
+                recovered,
+                durationMs: Date.now() - start,
+            };
+            this.results.push(result);
+            return result;
+        }
+        catch (err) {
+            const result = {
+                scenarioId: scenario.id,
+                detected: false,
+                contained: false,
+                recovered: false,
+                durationMs: Date.now() - start,
+                error: err.message,
+            };
+            this.results.push(result);
+            return result;
+        }
+    }
+    /**
+     * Generate a pass/fail report.
+     */
+    generateReport() {
+        const total = this.results.length;
+        const passed = this.results.filter((r) => r.detected && r.recovered).length;
+        const failed = total - passed;
+        const detectedCount = this.results.filter((r) => r.detected).length;
+        const recoveredCount = this.results.filter((r) => r.recovered).length;
+        return {
+            totalScenarios: total,
+            passed,
+            failed,
+            detectedRate: total > 0 ? (detectedCount / total) * 100 : 0,
+            recoveryRate: total > 0 ? (recoveredCount / total) * 100 : 0,
+            results: this.results,
+        };
+    }
+}
+//# sourceMappingURL=failure-simulator.js.map

package/dist/validation/failure-simulator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"failure-simulator.js","sourceRoot":"","sources":["../../src/validation/failure-simulator.ts"],"names":[],"mappings":"AA6CA,gFAAgF;AAEhF,MAAM,UAAU,wBAAwB;IACtC,OAAO;QACL,yEAAyE;QACzE;YACE,EAAE,EAAE,aAAa;YACjB,KAAK,EAAE,SAAS;YAChB,IAAI,EAAE,4BAA4B;YAClC,WAAW,EAAE,gDAAgD;YAC7D,MAAM,EAAE,GAAG,EAAE,GAAoC,CAAC;YAClD,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI;YAClB,OAAO,EAAE,KAAK,IAAI,EAAE,GAAyC,CAAC;YAC9D,gBAAgB,EAAE,gDAAgD;SACnE;QACD;YACE,EAAE,EAAE,aAAa;YACjB,KAAK,EAAE,SAAS;YAChB,IAAI,EAAE,mBAAmB;YACzB,WAAW,EAAE,4CAA4C;YACzD,MAAM,EAAE,GAAG,EAAE,GAAmC,CAAC;YACjD,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI;YAClB,OAAO,EAAE,KAAK,IAAI,EAAE,GAAwC,CAAC;YAC7D,gBAAgB,EAAE,uDAAuD;SAC1E;QACD;YACE,EAAE,EAAE,aAAa;YACjB,KAAK,EAAE,SAAS;YAChB,IAAI,EAAE,wBAAwB;YAC9B,WAAW,EAAE,uCAAuC;YACpD,MAAM,EAAE,GAAG,EAAE,GAA8C,CAAC;YAC5D,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI;YAClB,OAAO,EAAE,KAAK,IAAI,EAAE,GAAyC,CAAC;YAC9D,gBAAgB,EAAE,0CAA0C;SAC7D;QACD;YACE,EAAE,EAAE,aAAa;YACjB,KAAK,EAAE,SAAS;YAChB,IAAI,EAAE,2BAA2B;YACjC,WAAW,EAAE,mDAAmD;YAChE,MAAM,EAAE,GAAG,EAAE,GAAwC,CAAC;YACtD,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI;YAClB,OAAO,EAAE,KAAK,IAAI,EAAE,GAAsD,CAAC;YAC3E,gBAAgB,EAAE,qCAAqC;SACxD;QAED,yEAAyE;QACzE;YACE,EAAE,EAAE,aAAa;YACjB,KAAK,EAAE,OAAO;YACd,IAAI,EAAE,qCAAqC;YAC3C,WAAW,EAAE,0CAA0C;YACvD,MAAM,EAAE,GAAG,EAAE,GAAmC,CAAC;YACjD,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI;YAClB,OAAO,EAAE,KAAK,IAAI,EAAE,GAA8C,CAAC;YACnE,gBAAgB,EAAE,8DAA8D;SACjF;QACD;YACE,EAAE,EAAE,aAAa;YACjB,KAAK,EAAE,OAAO;YACd,IAAI,EAAE,qBAAqB;YAC3B,WAAW,EAAE,4CAA4C;YACzD,MAAM,EAAE,GAAG,EAAE,GAAqC,CAAC;YACnD,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI;YAClB,OAAO,EAAE,KAAK,IAAI,EAAE,GAAwC,CAAC;YAC7D,gBAAgB,EAAE,2CAA2C;SAC9D;QACD;YACE,EAAE,EAAE,aAAa;YACjB,KAAK,EAAE,OAAO;YACd,IAAI,EAAE,kCAAkC;YACxC,WAAW,EAAE,0BAA0B;YACvC,MAAM,EAAE,GAAG,EAAE,GAAkC,CAAC;YAChD,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI;YAClB,OAAO,EAAE,KAAK,IAAI,EAAE,GAAgC,CAAC;YACrD,gBAAgB,EAAE,oCAAoC;SACvD;QAED,yEAAyE;QACzE;YACE,EAAE,EAAE,aAAa;YACjB,KAAK,EAAE,UAAU;YACjB,IAAI,EAAE,0BAA0B;YAChC,WAAW,EAAE,8BAA8B;YAC3C,MAAM,EAAE,GAAG,EAAE,GAAiC,CAAC;YAC/C,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI;YAClB,OAAO,EAAE,KAAK,IAAI,EAAE,GAAwC,CAAC;YAC7D,gBAAgB,EAAE,0CAA0C;SAC7D;QACD;YACE,EAAE,EAAE,aAAa;YACjB,KAAK,EAAE,UAAU;YACjB,IAAI,EAAE,gBAAgB;YACtB,WAAW,EAAE,mDAAmD;YAChE,MAAM,EAAE,GAAG,EAAE,GAAsC,CAAC;YACpD,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI;YAClB,OAAO,EAAE,KAAK,IAAI,EAAE,GAAmC,CAAC;YACxD,gBAAgB,EAAE,iDAAiD;SACpE;QAED,yEAAyE;QACzE;YACE,EAAE,EAAE,aAAa;YACjB,KAAK,EAAE,OAAO;YACd,IAAI,EAAE,mBAAmB;YACzB,WAAW,EAAE,oDAAoD;YACjE,MAAM,EAAE,GAAG,EAAE,GAA+B,CAAC;YAC7C,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI;YAClB,OAAO,EAAE,KAAK,IAAI,EAAE,GAAkC,CAAC;YACvD,gBAAgB,EAAE,uCAAuC;SAC1D;QACD;YACE,EAAE,EAAE,aAAa;YACjB,KAAK,EAAE,OAAO;YACd,IAAI,EAAE,0BAA0B;YAChC,WAAW,EAAE,0CAA0C;YACvD,MAAM,EAAE,GAAG,EAAE,GAA8B,CAAC;YAC5C,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI;YAClB,OAAO,EAAE,KAAK,IAAI,EAAE,GAAwC,CAAC;YAC7D,gBAAgB,EAAE,gCAAgC;SACnD;QACD;YACE,EAAE,EAAE,aAAa;YACjB,KAAK,EAAE,OAAO;YACd,IAAI,EAAE,wBAAwB;YAC9B,WAAW,EAAE,2BAA2B;YACxC,MAAM,EAAE,GAAG,EAAE,GAA2C,CAAC;YACzD,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI;YAClB,OAAO,EAAE,KAAK,IAAI,EAAE,GAAuC,CAAC;YAC5D,gBAAgB,EAAE,+CAA+C;SAClE;QAED,yEAAyE;QACzE;YACE,EAAE,EAAE,aAAa;YACjB,KAAK,EAAE,IAAI;YACX,IAAI,EAAE,YAAY;YAClB,WAAW,EAAE,iCAAiC;YAC9C,MAAM,EAAE,GAAG,EAAE,GAA0B,CAAC;YACxC,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI;YAClB,OAAO,EAAE,KAAK,IAAI,EAAE,GAAiC,CAAC;YACtD,gBAAgB,EAAE,+CAA+C;SAClE;QACD;YACE,EAAE,EAAE,aAAa;YACjB,KAAK,EAAE,IAAI;YACX,IAAI,EAAE,mBAAmB;YACzB,WAAW,EAAE,iCAAiC;YAC9C,MAAM,EAAE,GAAG,EAAE,GAAqB,CAAC;YACnC,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI;YAClB,OAAO,EAAE,KAAK,IAAI,EAAE,GAAiD,CAAC;YACtE,gBAAgB,EAAE,4CAA4C;SAC/D;QACD;YACE,EAAE,EAAE,aAAa;YACjB,KAAK,EAAE,IAAI;YACX,IAAI,EAAE,mBAAmB;YACzB,WAAW,EAAE,gDAAgD;YAC7D,MAAM,EAAE,GAAG,EAAE,GAAoC,CAAC;YAClD,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI;YAClB,OAAO,EAAE,KAAK,IAAI,EAAE,GAAgD,CAAC;YACrE,gBAAgB,EAAE,0CAA0C;SAC7D;KACF,CAAC;AACJ,CAAC;AAED,gFAAgF;AAEhF,MAAM,OAAO,gBAAgB;IACnB,OAAO,GAAuB,EAAE,CAAC;IAEzC;;OAEG;IACH,KAAK,CAAC,WAAW,CAAC,QAAyB;QACzC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAEzB,IAAI,CAAC;YACH,MAAM,QAAQ,CAAC,MAAM,EAAE,CAAC;YACxB,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;YACnC,MAAM,QAAQ,CAAC,OAAO,EAAE,CAAC;YACzB,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,0BAA0B;YAE/D,MAAM,MAAM,GAAqB;gBAC/B,UAAU,EAAE,QAAQ,CAAC,EAAE;gBACvB,QAAQ;gBACR,SAAS,EAAE,IAAI;gBACf,SAAS;gBACT,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAC/B,CAAC;YACF,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC1B,OAAO,MAAM,CAAC;QAChB,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,MAAM,GAAqB;gBAC/B,UAAU,EAAE,QAAQ,CAAC,EAAE;gBACvB,QAAQ,EAAE,KAAK;gBACf,SAAS,EAAE,KAAK;gBAChB,SAAS,EAAE,KAAK;gBAChB,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;gBAC9B,KAAK,EAAG,GAAa,CAAC,OAAO;aAC9B,CAAC;YACF,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC1B,OAAO,MAAM,CAAC;QAChB,CAAC;IACH,CAAC;IAED;;OAEG;IACH,cAAc;QACZ,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QAClC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC;QAC5E,MAAM,MAAM,GAAG,KAAK,GAAG,MAAM,CAAC;QAC9B,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC;QACpE,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC;QAEtE,OAAO;YACL,cAAc,EAAE,KAAK;YACrB,MAAM;YACN,MAAM;YACN,YAAY,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,GAAG,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;YAC3D,YAAY,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,GAAG,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;YAC5D,OAAO,EAAE,IAAI,CAAC,OAAO;SACtB,CAAC;IACJ,CAAC;CACF"}

package/dist/validation/function-verifier.d.ts

@@ -0,0 +1,48 @@
+export type InputClass = 'valid' | 'null' | 'undefined' | 'malformed' | 'empty' | 'duplicate' | 'stale' | 'oversized' | 'concurrent' | 'unknown_schema';
+export interface FunctionTestResult {
+    routeId: string;
+    inputClass: InputClass;
+    passed: boolean;
+    error?: string;
+    durationMs: number;
+}
+export interface FunctionCoverage {
+    functionName: string;
+    totalTests: number;
+    passed: number;
+    failed: number;
+    inputsTested: InputClass[];
+    inputsMissing: InputClass[];
+    coverage: number;
+}
+export interface VerifierReport {
+    totalFunctions: number;
+    testedFunctions: number;
+    totalTests: number;
+    passed: number;
+    failed: number;
+    coverage: number;
+    details: FunctionCoverage[];
+    untestedRoutes: string[];
+}
+export declare class FunctionVerifier {
+    private results;
+    /**
+     * Record a test result for a route/function.
+     */
+    record(routeId: string, inputClass: InputClass, passed: boolean, error?: string): void;
+    /**
+     * Record a batch of test results for a function.
+     * Tests all required input classes.
+     */
+    recordBatch(routeId: string, tests: Partial<Record<InputClass, () => void | Promise<void>>>): void;
+    /**
+     * Generate a comprehensive coverage report.
+     */
+    generateReport(): VerifierReport;
+    /**
+     * Generate a pass/fail/untested report for all routes.
+     */
+    generateRouteReport(): Map<string, 'PASS' | 'FAIL' | 'UNTESTED'>;
+}
+//# sourceMappingURL=function-verifier.d.ts.map

package/dist/validation/function-verifier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"function-verifier.d.ts","sourceRoot":"","sources":["../../src/validation/function-verifier.ts"],"names":[],"mappings":"AAiBA,MAAM,MAAM,UAAU,GAClB,OAAO,GACP,MAAM,GACN,WAAW,GACX,WAAW,GACX,OAAO,GACP,WAAW,GACX,OAAO,GACP,WAAW,GACX,YAAY,GACZ,gBAAgB,CAAC;AAErB,MAAM,WAAW,kBAAkB;IACjC,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,UAAU,CAAC;IACvB,MAAM,EAAE,OAAO,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,gBAAgB;IAC/B,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,UAAU,EAAE,CAAC;IAC3B,aAAa,EAAE,UAAU,EAAE,CAAC;IAC5B,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,cAAc;IAC7B,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAC5B,cAAc,EAAE,MAAM,EAAE,CAAC;CAC1B;AAeD,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,OAAO,CAAgD;IAE/D;;OAEG;IACH,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI;IAetF;;;OAGG;IACH,WAAW,CACT,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,GAC7D,IAAI;IAiBP;;OAEG;IACH,cAAc,IAAI,cAAc;IAkDhC;;OAEG;IACH,mBAAmB,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,UAAU,CAAC;CAgBjE"}

package/dist/validation/function-verifier.js

@@ -0,0 +1,128 @@
+/**
+ * Function-by-Function Verifier (Prompt B)
+ *
+ * For every function in the codebase, tests:
+ *  - valid input (happy path)
+ *  - null input
+ *  - undefined input
+ *  - malformed input
+ *  - duplicate input
+ *  - stale input
+ *
+ * Generates a coverage report identifying untested functions.
+ */
+import { ROUTE_INVENTORY } from './route-inventory.js';
+// ─── Required Input Classes ──────────────────────────────────────────────────
+const REQUIRED_INPUTS = [
+    'valid',
+    'null',
+    'undefined',
+    'malformed',
+    'empty',
+    'duplicate',
+];
+// ─── Function Verifier ───────────────────────────────────────────────────────
+export class FunctionVerifier {
+    results = new Map();
+    /**
+     * Record a test result for a route/function.
+     */
+    record(routeId, inputClass, passed, error) {
+        const result = {
+            routeId,
+            inputClass,
+            passed,
+            error,
+            durationMs: 0,
+        };
+        if (!this.results.has(routeId)) {
+            this.results.set(routeId, []);
+        }
+        this.results.get(routeId).push(result);
+    }
+    /**
+     * Record a batch of test results for a function.
+     * Tests all required input classes.
+     */
+    recordBatch(routeId, tests) {
+        for (const inputClass of REQUIRED_INPUTS) {
+            const testFn = tests[inputClass];
+            if (!testFn) {
+                this.record(routeId, inputClass, false, 'Test not implemented');
+                continue;
+            }
+            try {
+                testFn();
+                this.record(routeId, inputClass, true);
+            }
+            catch (err) {
+                this.record(routeId, inputClass, false, err.message);
+            }
+        }
+    }
+    /**
+     * Generate a comprehensive coverage report.
+     */
+    generateReport() {
+        const details = [];
+        const routeMap = new Map(ROUTE_INVENTORY.map((r) => [r.id, r]));
+        let totalTests = 0;
+        let passed = 0;
+        let failed = 0;
+        for (const [routeId, results] of this.results.entries()) {
+            const inputsTested = results.map((r) => r.inputClass);
+            const inputsMissing = REQUIRED_INPUTS.filter((i) => !inputsTested.includes(i));
+            const fnPassed = results.filter((r) => r.passed).length;
+            const fnFailed = results.filter((r) => !r.passed).length;
+            const fnTotal = results.length;
+            totalTests += fnTotal;
+            passed += fnPassed;
+            failed += fnFailed;
+            const route = routeMap.get(routeId);
+            details.push({
+                functionName: route?.name || routeId,
+                totalTests: fnTotal,
+                passed: fnPassed,
+                failed: fnFailed,
+                inputsTested,
+                inputsMissing,
+                coverage: REQUIRED_INPUTS.length > 0
+                    ? Math.round((inputsTested.length / REQUIRED_INPUTS.length) * 100)
+                    : 100,
+            });
+        }
+        const untestedRouteIds = ROUTE_INVENTORY.filter((r) => !this.results.has(r.id)).map((r) => r.id);
+        return {
+            totalFunctions: ROUTE_INVENTORY.length,
+            testedFunctions: this.results.size,
+            totalTests,
+            passed,
+            failed,
+            coverage: ROUTE_INVENTORY.length > 0
+                ? Math.round((this.results.size / ROUTE_INVENTORY.length) * 100)
+                : 0,
+            details,
+            untestedRoutes: untestedRouteIds,
+        };
+    }
+    /**
+     * Generate a pass/fail/untested report for all routes.
+     */
+    generateRouteReport() {
+        const report = new Map();
+        for (const route of ROUTE_INVENTORY) {
+            const results = this.results.get(route.id);
+            if (!results) {
+                report.set(route.id, 'UNTESTED');
+            }
+            else if (results.some((r) => !r.passed)) {
+                report.set(route.id, 'FAIL');
+            }
+            else {
+                report.set(route.id, 'PASS');
+            }
+        }
+        return report;
+    }
+}
+//# sourceMappingURL=function-verifier.js.map

package/dist/validation/function-verifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"function-verifier.js","sourceRoot":"","sources":["../../src/validation/function-verifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAqB,eAAe,EAAE,MAAM,sBAAsB,CAAC;AA6C1E,gFAAgF;AAEhF,MAAM,eAAe,GAAiB;IACpC,OAAO;IACP,MAAM;IACN,WAAW;IACX,WAAW;IACX,OAAO;IACP,WAAW;CACZ,CAAC;AAEF,gFAAgF;AAEhF,MAAM,OAAO,gBAAgB;IACnB,OAAO,GAAsC,IAAI,GAAG,EAAE,CAAC;IAE/D;;OAEG;IACH,MAAM,CAAC,OAAe,EAAE,UAAsB,EAAE,MAAe,EAAE,KAAc;QAC7E,MAAM,MAAM,GAAuB;YACjC,OAAO;YACP,UAAU;YACV,MAAM;YACN,KAAK;YACL,UAAU,EAAE,CAAC;SACd,CAAC;QAEF,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAChC,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1C,CAAC;IAED;;;OAGG;IACH,WAAW,CACT,OAAe,EACf,KAA8D;QAE9D,KAAK,MAAM,UAAU,IAAI,eAAe,EAAE,CAAC;YACzC,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC;YACjC,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,sBAAsB,CAAC,CAAC;gBAChE,SAAS;YACX,CAAC;YAED,IAAI,CAAC;gBACH,MAAM,EAAE,CAAC;gBACT,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;YACzC,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,UAAU,EAAE,KAAK,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;YAClE,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACH,cAAc;QACZ,MAAM,OAAO,GAAuB,EAAE,CAAC;QACvC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,IAAI,MAAM,GAAG,CAAC,CAAC;QAEf,KAAK,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;YACxD,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;YACtD,MAAM,aAAa,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/E,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;YACxD,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;YACzD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;YAE/B,UAAU,IAAI,OAAO,CAAC;YACtB,MAAM,IAAI,QAAQ,CAAC;YACnB,MAAM,IAAI,QAAQ,CAAC;YAEnB,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACpC,OAAO,CAAC,IAAI,CAAC;gBACX,YAAY,EAAE,KAAK,EAAE,IAAI,IAAI,OAAO;gBACpC,UAAU,EAAE,OAAO;gBACnB,MAAM,EAAE,QAAQ;gBAChB,MAAM,EAAE,QAAQ;gBAChB,YAAY;gBACZ,aAAa;gBACb,QAAQ,EAAE,eAAe,CAAC,MAAM,GAAG,CAAC;oBAClC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC;oBAClE,CAAC,CAAC,GAAG;aACR,CAAC,CAAC;QACL,CAAC;QAED,MAAM,gBAAgB,GAAG,eAAe,CAAC,MAAM,CAC7C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAC/B,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAEnB,OAAO;YACL,cAAc,EAAE,eAAe,CAAC,MAAM;YACtC,eAAe,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI;YAClC,UAAU;YACV,MAAM;YACN,MAAM;YACN,QAAQ,EAAE,eAAe,CAAC,MAAM,GAAG,CAAC;gBAClC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,GAAG,eAAe,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC;gBAChE,CAAC,CAAC,CAAC;YACL,OAAO;YACP,cAAc,EAAE,gBAAgB;SACjC,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,mBAAmB;QACjB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwC,CAAC;QAE/D,KAAK,MAAM,KAAK,IAAI,eAAe,EAAE,CAAC;YACpC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC3C,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;YACnC,CAAC;iBAAM,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC1C,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YAC/B,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;CACF"}

package/dist/validation/index.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Validation Framework — Barrel Export
+ */
+export { ROUTE_INVENTORY, getRouteStats, getUntestedRoutes, getP0Routes } from './route-inventory.js';
+export type { RouteDefinition } from './route-inventory.js';
+export { FunctionVerifier } from './function-verifier.js';
+export type { FunctionCoverage, VerifierReport, FunctionTestResult, InputClass } from './function-verifier.js';
+export { EventMatrixValidator, generateEventMatrix } from './event-matrix.js';
+export type { WhatsAppEventType, EventMatrixEntry, EventMatrixReport } from './event-matrix.js';
+export { FailureSimulator, generateFailureScenarios } from './failure-simulator.js';
+export type { FailureLayer, FailureScenario, FailureSimResult, FailureSimReport } from './failure-simulator.js';
+export { StateMachineValidator, STATE_MACHINES } from './state-machine.js';
+export type { StateMachineName, StateMachineModel, StateMachineReport, TransitionResult } from './state-machine.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/validation/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/validation/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACtG,YAAY,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,YAAY,EAAE,gBAAgB,EAAE,cAAc,EAAE,kBAAkB,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAC/G,OAAO,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC9E,YAAY,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAChG,OAAO,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AACpF,YAAY,EAAE,YAAY,EAAE,eAAe,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAChH,OAAO,EAAE,qBAAqB,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAC3E,YAAY,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/validation/index.js

@@ -0,0 +1,9 @@
+/**
+ * Validation Framework — Barrel Export
+ */
+export { ROUTE_INVENTORY, getRouteStats, getUntestedRoutes, getP0Routes } from './route-inventory.js';
+export { FunctionVerifier } from './function-verifier.js';
+export { EventMatrixValidator, generateEventMatrix } from './event-matrix.js';
+export { FailureSimulator, generateFailureScenarios } from './failure-simulator.js';
+export { StateMachineValidator, STATE_MACHINES } from './state-machine.js';
+//# sourceMappingURL=index.js.map

package/dist/validation/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/validation/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAEtG,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE1D,OAAO,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAE9E,OAAO,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAEpF,OAAO,EAAE,qBAAqB,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/validation/route-inventory.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Route Inventory & Execution Matrix
+ *
+ * Prompt A + Prompt F from next_step_b.md.
+ *
+ * Enumerates every executable path in the codebase, assigns route IDs,
+ * tracks dependencies, state mutations, failure points, and recovery logic.
+ *
+ * Used by: Function Verifier, Route Exhaustion engine
+ */
+export interface RouteDefinition {
+    id: string;
+    component: string;
+    name: string;
+    description: string;
+    inputs: string[];
+    dependencies: string[];
+    stateMutations: string[];
+    outputs: string[];
+    externalServices: string[];
+    failurePoints: string[];
+    retries: string[];
+    recovery: string;
+    tested: boolean;
+    priority: 'P0' | 'P1' | 'P2';
+}
+export declare const ROUTE_INVENTORY: RouteDefinition[];
+export declare function getRouteStats(): {
+    total: number;
+    tested: number;
+    untested: number;
+    p0: number;
+    p1: number;
+    p2: number;
+    coverage: number;
+};
+export declare function getUntestedRoutes(): RouteDefinition[];
+export declare function getP0Routes(): RouteDefinition[];
+//# sourceMappingURL=route-inventory.d.ts.map

package/dist/validation/route-inventory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"route-inventory.d.ts","sourceRoot":"","sources":["../../src/validation/route-inventory.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,OAAO,CAAC;IAChB,QAAQ,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;CAC9B;AAID,eAAO,MAAM,eAAe,EAAE,eAAe,EAiY5C,CAAC;AAIF,wBAAgB,aAAa,IAAI;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,MAAM,CAAC;CAClB,CAiBA;AAED,wBAAgB,iBAAiB,IAAI,eAAe,EAAE,CAErD;AAED,wBAAgB,WAAW,IAAI,eAAe,EAAE,CAE/C"}