nduka 1.0.0

package/dist/validation/route-inventory.js

@@ -0,0 +1,413 @@
+/**
+ * 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
+ */
+// ─── Complete Route Inventory ────────────────────────────────────────────────
+export const ROUTE_INVENTORY = [
+    // ─── AI Router ──────────────────────────────────────────────────────────
+    {
+        id: 'ROUTE-AI-001',
+        component: 'AiRouter',
+        name: 'decide - happy path (ai_candidate)',
+        description: 'Message classified as ai_candidate, rate limits OK, cooldowns OK',
+        inputs: ['MessageReceivedPayload'],
+        dependencies: ['classify()', 'checkRateLimit()', 'checkCooldown()'],
+        stateMutations: ['userRateCounters++', 'chatRateCounters++'],
+        outputs: ['routeToAi: true', 'denialReasons: []'],
+        externalServices: [],
+        failurePoints: ['classification false positive', 'rate counter overflow'],
+        retries: [],
+        recovery: 'N/A - stateless decision',
+        tested: true,
+        priority: 'P0',
+    },
+    {
+        id: 'ROUTE-AI-002',
+        component: 'AiRouter',
+        name: 'decide - prompt injection detected',
+        description: 'Message matched against prompt injection patterns',
+        inputs: ['MessageReceivedPayload(text=injection)'],
+        dependencies: ['classify()', 'PROMPT_INJECTION_PATTERNS'],
+        stateMutations: [],
+        outputs: ['routeToAi: false', 'denialReasons: [prompt_injection]'],
+        externalServices: [],
+        failurePoints: ['regex false positive', 'regex catastrophic backtracking'],
+        retries: [],
+        recovery: 'N/A',
+        tested: true,
+        priority: 'P0',
+    },
+    {
+        id: 'ROUTE-AI-003',
+        component: 'AiRouter',
+        name: 'decide - user rate limited',
+        description: 'User exceeded 10 messages/minute',
+        inputs: ['senderJid (spammer)'],
+        dependencies: ['checkRateLimit()', 'RATE_LIMIT config'],
+        stateMutations: ['userRateCounters[spammer].count>=10'],
+        outputs: ['routeToAi: false', 'remaining: 0'],
+        externalServices: [],
+        failurePoints: ['counter not reset on window expiry'],
+        retries: [],
+        recovery: 'Wait for window reset (60s)',
+        tested: true,
+        priority: 'P0',
+    },
+    {
+        id: 'ROUTE-AI-004',
+        component: 'AiRouter',
+        name: 'decide - cooldown active',
+        description: 'AI responded too recently for same user/chat',
+        inputs: ['senderJid', 'chatJid (recently responded)'],
+        dependencies: ['checkCooldown()', 'COOLDOWN_MS config'],
+        stateMutations: [],
+        outputs: ['routeToAi: false', 'cooldown remainingMs'],
+        externalServices: [],
+        failurePoints: ['stale cooldown never cleared'],
+        retries: [],
+        recovery: 'Wait for cooldown expiry',
+        tested: true,
+        priority: 'P0',
+    },
+    // ─── Database ────────────────────────────────────────────────────────────
+    {
+        id: 'ROUTE-DB-001',
+        component: 'DatabaseManager',
+        name: 'getInstance - first call',
+        description: 'Singleton creation with directory and DB file initialization',
+        inputs: ['dbPath'],
+        dependencies: ['better-sqlite3', 'fs.mkdirSync'],
+        stateMutations: ['creates DB file on disk', 'creates singleton reference'],
+        outputs: ['DatabaseManager instance'],
+        externalServices: [],
+        failurePoints: ['disk full', 'permission denied', 'directory creation fails'],
+        retries: [],
+        recovery: 'App restart with valid path',
+        tested: true,
+        priority: 'P0',
+    },
+    {
+        id: 'ROUTE-DB-002',
+        component: 'DatabaseManager',
+        name: 'insertMessage - normal insert',
+        description: 'Store a WhatsApp message in SQLite',
+        inputs: ['MessageRow fields'],
+        dependencies: ['prepare()', 'run()'],
+        stateMutations: ['messages table INSERT OR REPLACE'],
+        outputs: ['void'],
+        externalServices: [],
+        failurePoints: ['disk full', 'constraint violation'],
+        retries: [],
+        recovery: 'Prepare failure → app-level retry',
+        tested: true,
+        priority: 'P0',
+    },
+    {
+        id: 'ROUTE-DB-003',
+        component: 'DatabaseManager',
+        name: 'deleteMessages - empty array bug',
+        description: 'Calling deleteMessages with empty messageIds array',
+        inputs: ['remoteJid', 'messageIds=[]'],
+        dependencies: ['prepare()'],
+        stateMutations: ['SQL syntax error (no placeholders)'],
+        outputs: ['throws Error'],
+        externalServices: [],
+        failurePoints: ['empty messageIds causes SQL error'],
+        retries: [],
+        recovery: 'Guard with early return on empty array',
+        tested: false,
+        priority: 'P1',
+    },
+    // ─── Gateway ─────────────────────────────────────────────────────────────
+    {
+        id: 'ROUTE-GW-001',
+        component: 'Gateway',
+        name: 'start - full happy path',
+        description: 'Ownership acquired, auth loaded, socket connected, snapshots start',
+        inputs: [],
+        dependencies: ['SessionManager', 'AuthStore', 'SocketManager', 'SnapshotService'],
+        stateMutations: [
+            'lock file created',
+            'auth loaded',
+            'socket connected',
+            'periodic save interval started',
+        ],
+        outputs: ['Gateway running'],
+        externalServices: ['WhatsApp WebSocket'],
+        failurePoints: ['ownership denied', 'auth load fails', 'socket creation throws'],
+        retries: ['reconnectManager.onReconnect'],
+        recovery: 'Reconnect with backoff',
+        tested: true,
+        priority: 'P0',
+    },
+    {
+        id: 'ROUTE-GW-002',
+        component: 'Gateway',
+        name: 'start - ownership denied (hard exit)',
+        description: 'Another process owns session → process.exit(1)',
+        inputs: [],
+        dependencies: ['SessionManager.acquireOwnership'],
+        stateMutations: ['process.exit(1) - no cleanup'],
+        outputs: ['Process terminated'],
+        externalServices: [],
+        failurePoints: ['process.exit(1) bypasses cleanup handlers'],
+        retries: [],
+        recovery: 'Manual intervention — kill other process',
+        tested: false,
+        priority: 'P0',
+    },
+    {
+        id: 'ROUTE-GW-003',
+        component: 'Gateway',
+        name: 'shutdown - clean sequence',
+        description: 'Full graceful shutdown: intervals cleared, reconnect stopped, snapshots stopped, auth saved, socket closed, ownership released',
+        inputs: [],
+        dependencies: ['all subsystems'],
+        stateMutations: [
+            'shuttingDown=true',
+            'intervals cleared',
+            'reconnect.destroy()',
+            'snapshots stopped',
+            'auth saved',
+            'socket disconnected',
+            'lock released',
+        ],
+        outputs: ['clean exit'],
+        externalServices: [],
+        failurePoints: ['auth save fails', 'socket disconnect hangs', 'lock file delete fails'],
+        retries: ['auth save errors caught and logged'],
+        recovery: 'Process terminates regardless',
+        tested: true,
+        priority: 'P0',
+    },
+    {
+        id: 'ROUTE-GW-004',
+        component: 'Gateway',
+        name: 'connect - socket creation',
+        description: 'Create Baileys socket, wire event handlers, start save interval',
+        inputs: [],
+        dependencies: ['SocketManager', 'Baileys makeWASocket'],
+        stateMutations: ['new socket', 'event handlers registered', 'save interval created'],
+        outputs: ['connected socket'],
+        externalServices: ['WhatsApp WebSocket'],
+        failurePoints: ['makeWASocket throws', 'event handler throws'],
+        retries: ['reconnectManager triggered on error'],
+        recovery: 'Reconnect with backoff',
+        tested: false,
+        priority: 'P0',
+    },
+    // ─── Auth Store ──────────────────────────────────────────────────────────
+    {
+        id: 'ROUTE-AUTH-001',
+        component: 'SingleFileAuthStore',
+        name: 'loadSync - valid file with sentinel binary',
+        description: 'Load auth state from disk with properly serialized binary fields',
+        inputs: ['filePath exists'],
+        dependencies: ['fs.readFileSync', 'deepDeserialize'],
+        stateMutations: ['this.creds set', 'this.keyData set'],
+        outputs: ['true'],
+        externalServices: [],
+        failurePoints: ['corrupt JSON', 'missing BIN sentinel', 'invalid base64'],
+        retries: [],
+        recovery: 'Reset to initAuthCreds() on failure',
+        tested: true,
+        priority: 'P0',
+    },
+    {
+        id: 'ROUTE-AUTH-002',
+        component: 'SingleFileAuthStore',
+        name: 'save - mutex-protected write',
+        description: 'Persist auth state with deep binary serialization under mutex',
+        inputs: [],
+        dependencies: ['deepSerialize', 'fs.writeFileSync', 'Mutex.runExclusive'],
+        stateMutations: ['file written to disk'],
+        outputs: ['void'],
+        externalServices: [],
+        failurePoints: ['disk full', 'mutex deadlock', 'directory missing'],
+        retries: [],
+        recovery: 'Throws — caller must retry',
+        tested: true,
+        priority: 'P0',
+    },
+    // ─── Session Recovery ────────────────────────────────────────────────────
+    {
+        id: 'ROUTE-SR-001',
+        component: 'SessionRecoveryService',
+        name: 'decideRecovery - loggedOut → repair',
+        description: 'Disconnect code 401 → trigger re-pair workflow',
+        inputs: ['disconnectReason=logged out', 'statusCode=401'],
+        dependencies: ['DisconnectReason enum'],
+        stateMutations: ['retryCount++'],
+        outputs: ['action: trigger_repair'],
+        externalServices: [],
+        failurePoints: ['status code extraction fails (regex mismatch)'],
+        retries: [],
+        recovery: 'User must scan new QR code',
+        tested: true,
+        priority: 'P0',
+    },
+    {
+        id: 'ROUTE-SR-002',
+        component: 'SessionRecoveryService',
+        name: 'decideRecovery - badSession → reload',
+        description: 'Disconnect code 500 → reload credentials from disk',
+        inputs: ['disconnectReason=bad session', 'statusCode=500'],
+        dependencies: ['authStore.loadSync()', 'SessionValidator'],
+        stateMutations: ['retryCount++', 'authStore state reloaded'],
+        outputs: ['action: reload_credentials'],
+        externalServices: [],
+        failurePoints: ['loadSync returns false', 'validation fails after reload'],
+        retries: ['escalates to rollback_snapshot after more retries'],
+        recovery: 'Rollback to snapshot if reload fails',
+        tested: true,
+        priority: 'P0',
+    },
+    {
+        id: 'ROUTE-SR-003',
+        component: 'SessionRecoveryService',
+        name: 'reloadCredentials - validation failure',
+        description: 'Reloaded credentials fail SessionValidator check',
+        inputs: [],
+        dependencies: ['authStore.loadSync()', 'validator.validateCredentials()'],
+        stateMutations: ['authStore state set from disk (potentially invalid)'],
+        outputs: ['false'],
+        externalServices: [],
+        failurePoints: ['validator false negative', 'authStore has stale in-memory state'],
+        retries: [],
+        recovery: 'Next step: try snapshot rollback',
+        tested: false,
+        priority: 'P1',
+    },
+    // ─── Event Bus ───────────────────────────────────────────────────────────
+    {
+        id: 'ROUTE-EB-001',
+        component: 'InMemoryEventBus',
+        name: 'emit - handler throws',
+        description: 'A type-specific handler throws during emit — other handlers still run',
+        inputs: ['event with handler that throws'],
+        dependencies: [],
+        stateMutations: [],
+        outputs: ['error logged, subsequent handlers execute'],
+        externalServices: [],
+        failurePoints: ['one handler blocks all others (sequential execution)'],
+        retries: [],
+        recovery: 'Error is caught and logged; handler isolation',
+        tested: true,
+        priority: 'P1',
+    },
+    // ─── Media ───────────────────────────────────────────────────────────────
+    {
+        id: 'ROUTE-MD-001',
+        component: 'MediaService',
+        name: 'downloadFromMessage - CDN URL expired',
+        description: 'Media URL has expired → download fails',
+        inputs: ['WAMessage with expired URL'],
+        dependencies: ['downloadContentFromMessage', 'Baileys CDN'],
+        stateMutations: [],
+        outputs: ['null'],
+        externalServices: ['WhatsApp CDN'],
+        failurePoints: ['expired URL returns 404', 'network timeout'],
+        retries: ['MediaReliabilityEngine retries 3x'],
+        recovery: 'MediaReliabilityEngine retry queue',
+        tested: false,
+        priority: 'P1',
+    },
+    // ─── Message Dedupe ──────────────────────────────────────────────────────
+    {
+        id: 'ROUTE-DD-001',
+        component: 'MessageDeduplicationEngine',
+        name: 'isDuplicate - DB unavailable',
+        description: 'Database not available → fall through to store-as-new',
+        inputs: ['DedupeKey'],
+        dependencies: ['DatabaseManager.getSession()'],
+        stateMutations: ['in-memory cache updated'],
+        outputs: ['false (treats as new — potential duplicate)'],
+        externalServices: [],
+        failurePoints: ['DB unavailable → duplicate processing possible'],
+        retries: [],
+        recovery: 'Duplicate caught on next call if DB comes back',
+        tested: false,
+        priority: 'P1',
+    },
+    {
+        id: 'ROUTE-DD-002',
+        component: 'MessageDeduplicationEngine',
+        name: 'isDuplicate - 10K replay',
+        description: '10,000 messages replayed — all detected as duplicates',
+        inputs: ['10000 DedupeKeys (replay)'],
+        dependencies: ['in-memory cache', 'DB session store'],
+        stateMutations: ['cache grows, stats updated'],
+        outputs: ['all duplicates detected'],
+        externalServices: [],
+        failurePoints: ['cache eviction under high load', 'DB latency spikes'],
+        retries: [],
+        recovery: 'LRU cache with 10K capacity',
+        tested: true,
+        priority: 'P0',
+    },
+    // ─── Group Intel ─────────────────────────────────────────────────────────
+    {
+        id: 'ROUTE-GI-001',
+        component: 'GroupContextEngine',
+        name: 'analyzeMessage - AI tries to respond to self',
+        description: 'AI JID sends message → denied with ai_sender',
+        inputs: ['payload(senderJid=AI_JID)'],
+        dependencies: ['isAiSender()'],
+        stateMutations: [],
+        outputs: ['permission: denied, denialReason: ai_sender'],
+        externalServices: [],
+        failurePoints: ['isAiSender heuristic false positive'],
+        retries: [],
+        recovery: 'N/A',
+        tested: true,
+        priority: 'P0',
+    },
+    // ─── Session Snapshot ────────────────────────────────────────────────────
+    {
+        id: 'ROUTE-SS-001',
+        component: 'SessionSnapshotService',
+        name: 'rollback - concurrent save corruption',
+        description: 'Rollback while auth store is saving (race condition)',
+        inputs: ['snapshotId'],
+        dependencies: ['copyFileSync', 'SingleFileAuthStore.save()'],
+        stateMutations: ['file overwritten mid-save'],
+        outputs: ['potentially corrupted auth file'],
+        externalServices: [],
+        failurePoints: ['no coordination between save and rollback'],
+        retries: [],
+        recovery: 'Next validation should catch corruption',
+        tested: false,
+        priority: 'P0',
+    },
+];
+// ─── Route Stats ─────────────────────────────────────────────────────────────
+export function getRouteStats() {
+    const total = ROUTE_INVENTORY.length;
+    const tested = ROUTE_INVENTORY.filter((r) => r.tested).length;
+    const untested = total - tested;
+    const p0 = ROUTE_INVENTORY.filter((r) => r.priority === 'P0').length;
+    const p1 = ROUTE_INVENTORY.filter((r) => r.priority === 'P1').length;
+    const p2 = ROUTE_INVENTORY.filter((r) => r.priority === 'P2').length;
+    return {
+        total,
+        tested,
+        untested,
+        p0,
+        p1,
+        p2,
+        coverage: Math.round((tested / total) * 100),
+    };
+}
+export function getUntestedRoutes() {
+    return ROUTE_INVENTORY.filter((r) => !r.tested);
+}
+export function getP0Routes() {
+    return ROUTE_INVENTORY.filter((r) => r.priority === 'P0');
+}
+//# sourceMappingURL=route-inventory.js.map

package/dist/validation/route-inventory.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"route-inventory.js","sourceRoot":"","sources":["../../src/validation/route-inventory.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAqBH,gFAAgF;AAEhF,MAAM,CAAC,MAAM,eAAe,GAAsB;IAChD,2EAA2E;IAC3E;QACE,EAAE,EAAE,cAAc;QAClB,SAAS,EAAE,UAAU;QACrB,IAAI,EAAE,oCAAoC;QAC1C,WAAW,EAAE,kEAAkE;QAC/E,MAAM,EAAE,CAAC,wBAAwB,CAAC;QAClC,YAAY,EAAE,CAAC,YAAY,EAAE,kBAAkB,EAAE,iBAAiB,CAAC;QACnE,cAAc,EAAE,CAAC,oBAAoB,EAAE,oBAAoB,CAAC;QAC5D,OAAO,EAAE,CAAC,iBAAiB,EAAE,mBAAmB,CAAC;QACjD,gBAAgB,EAAE,EAAE;QACpB,aAAa,EAAE,CAAC,+BAA+B,EAAE,uBAAuB,CAAC;QACzE,OAAO,EAAE,EAAE;QACX,QAAQ,EAAE,0BAA0B;QACpC,MAAM,EAAE,IAAI;QACZ,QAAQ,EAAE,IAAI;KACf;IACD;QACE,EAAE,EAAE,cAAc;QAClB,SAAS,EAAE,UAAU;QACrB,IAAI,EAAE,oCAAoC;QAC1C,WAAW,EAAE,mDAAmD;QAChE,MAAM,EAAE,CAAC,wCAAwC,CAAC;QAClD,YAAY,EAAE,CAAC,YAAY,EAAE,2BAA2B,CAAC;QACzD,cAAc,EAAE,EAAE;QAClB,OAAO,EAAE,CAAC,kBAAkB,EAAE,mCAAmC,CAAC;QAClE,gBAAgB,EAAE,EAAE;QACpB,aAAa,EAAE,CAAC,sBAAsB,EAAE,iCAAiC,CAAC;QAC1E,OAAO,EAAE,EAAE;QACX,QAAQ,EAAE,KAAK;QACf,MAAM,EAAE,IAAI;QACZ,QAAQ,EAAE,IAAI;KACf;IACD;QACE,EAAE,EAAE,cAAc;QAClB,SAAS,EAAE,UAAU;QACrB,IAAI,EAAE,4BAA4B;QAClC,WAAW,EAAE,kCAAkC;QAC/C,MAAM,EAAE,CAAC,qBAAqB,CAAC;QAC/B,YAAY,EAAE,CAAC,kBAAkB,EAAE,mBAAmB,CAAC;QACvD,cAAc,EAAE,CAAC,qCAAqC,CAAC;QACvD,OAAO,EAAE,CAAC,kBAAkB,EAAE,cAAc,CAAC;QAC7C,gBAAgB,EAAE,EAAE;QACpB,aAAa,EAAE,CAAC,oCAAoC,CAAC;QACrD,OAAO,EAAE,EAAE;QACX,QAAQ,EAAE,6BAA6B;QACvC,MAAM,EAAE,IAAI;QACZ,QAAQ,EAAE,IAAI;KACf;IACD;QACE,EAAE,EAAE,cAAc;QAClB,SAAS,EAAE,UAAU;QACrB,IAAI,EAAE,0BAA0B;QAChC,WAAW,EAAE,8CAA8C;QAC3D,MAAM,EAAE,CAAC,WAAW,EAAE,8BAA8B,CAAC;QACrD,YAAY,EAAE,CAAC,iBAAiB,EAAE,oBAAoB,CAAC;QACvD,cAAc,EAAE,EAAE;QAClB,OAAO,EAAE,CAAC,kBAAkB,EAAE,sBAAsB,CAAC;QACrD,gBAAgB,EAAE,EAAE;QACpB,aAAa,EAAE,CAAC,8BAA8B,CAAC;QAC/C,OAAO,EAAE,EAAE;QACX,QAAQ,EAAE,0BAA0B;QACpC,MAAM,EAAE,IAAI;QACZ,QAAQ,EAAE,IAAI;KACf;IAED,4EAA4E;IAC5E;QACE,EAAE,EAAE,cAAc;QAClB,SAAS,EAAE,iBAAiB;QAC5B,IAAI,EAAE,0BAA0B;QAChC,WAAW,EAAE,8DAA8D;QAC3E,MAAM,EAAE,CAAC,QAAQ,CAAC;QAClB,YAAY,EAAE,CAAC,gBAAgB,EAAE,cAAc,CAAC;QAChD,cAAc,EAAE,CAAC,yBAAyB,EAAE,6BAA6B,CAAC;QAC1E,OAAO,EAAE,CAAC,0BAA0B,CAAC;QACrC,gBAAgB,EAAE,EAAE;QACpB,aAAa,EAAE,CAAC,WAAW,EAAE,mBAAmB,EAAE,0BAA0B,CAAC;QAC7E,OAAO,EAAE,EAAE;QACX,QAAQ,EAAE,6BAA6B;QACvC,MAAM,EAAE,IAAI;QACZ,QAAQ,EAAE,IAAI;KACf;IACD;QACE,EAAE,EAAE,cAAc;QAClB,SAAS,EAAE,iBAAiB;QAC5B,IAAI,EAAE,+BAA+B;QACrC,WAAW,EAAE,oCAAoC;QACjD,MAAM,EAAE,CAAC,mBAAmB,CAAC;QAC7B,YAAY,EAAE,CAAC,WAAW,EAAE,OAAO,CAAC;QACpC,cAAc,EAAE,CAAC,kCAAkC,CAAC;QACpD,OAAO,EAAE,CAAC,MAAM,CAAC;QACjB,gBAAgB,EAAE,EAAE;QACpB,aAAa,EAAE,CAAC,WAAW,EAAE,sBAAsB,CAAC;QACpD,OAAO,EAAE,EAAE;QACX,QAAQ,EAAE,mCAAmC;QAC7C,MAAM,EAAE,IAAI;QACZ,QAAQ,EAAE,IAAI;KACf;IACD;QACE,EAAE,EAAE,cAAc;QAClB,SAAS,EAAE,iBAAiB;QAC5B,IAAI,EAAE,kCAAkC;QACxC,WAAW,EAAE,oDAAoD;QACjE,MAAM,EAAE,CAAC,WAAW,EAAE,eAAe,CAAC;QACtC,YAAY,EAAE,CAAC,WAAW,CAAC;QAC3B,cAAc,EAAE,CAAC,oCAAoC,CAAC;QACtD,OAAO,EAAE,CAAC,cAAc,CAAC;QACzB,gBAAgB,EAAE,EAAE;QACpB,aAAa,EAAE,CAAC,mCAAmC,CAAC;QACpD,OAAO,EAAE,EAAE;QACX,QAAQ,EAAE,wCAAwC;QAClD,MAAM,EAAE,KAAK;QACb,QAAQ,EAAE,IAAI;KACf;IAED,4EAA4E;IAC5E;QACE,EAAE,EAAE,cAAc;QAClB,SAAS,EAAE,SAAS;QACpB,IAAI,EAAE,yBAAyB;QAC/B,WAAW,EAAE,oEAAoE;QACjF,MAAM,EAAE,EAAE;QACV,YAAY,EAAE,CAAC,gBAAgB,EAAE,WAAW,EAAE,eAAe,EAAE,iBAAiB,CAAC;QACjF,cAAc,EAAE;YACd,mBAAmB;YACnB,aAAa;YACb,kBAAkB;YAClB,gCAAgC;SACjC;QACD,OAAO,EAAE,CAAC,iBAAiB,CAAC;QAC5B,gBAAgB,EAAE,CAAC,oBAAoB,CAAC;QACxC,aAAa,EAAE,CAAC,kBAAkB,EAAE,iBAAiB,EAAE,wBAAwB,CAAC;QAChF,OAAO,EAAE,CAAC,8BAA8B,CAAC;QACzC,QAAQ,EAAE,wBAAwB;QAClC,MAAM,EAAE,IAAI;QACZ,QAAQ,EAAE,IAAI;KACf;IACD;QACE,EAAE,EAAE,cAAc;QAClB,SAAS,EAAE,SAAS;QACpB,IAAI,EAAE,sCAAsC;QAC5C,WAAW,EAAE,gDAAgD;QAC7D,MAAM,EAAE,EAAE;QACV,YAAY,EAAE,CAAC,iCAAiC,CAAC;QACjD,cAAc,EAAE,CAAC,8BAA8B,CAAC;QAChD,OAAO,EAAE,CAAC,oBAAoB,CAAC;QAC/B,gBAAgB,EAAE,EAAE;QACpB,aAAa,EAAE,CAAC,2CAA2C,CAAC;QAC5D,OAAO,EAAE,EAAE;QACX,QAAQ,EAAE,0CAA0C;QACpD,MAAM,EAAE,KAAK;QACb,QAAQ,EAAE,IAAI;KACf;IACD;QACE,EAAE,EAAE,cAAc;QAClB,SAAS,EAAE,SAAS;QACpB,IAAI,EAAE,2BAA2B;QACjC,WAAW,EAAE,gIAAgI;QAC7I,MAAM,EAAE,EAAE;QACV,YAAY,EAAE,CAAC,gBAAgB,CAAC;QAChC,cAAc,EAAE;YACd,mBAAmB;YACnB,mBAAmB;YACnB,qBAAqB;YACrB,mBAAmB;YACnB,YAAY;YACZ,qBAAqB;YACrB,eAAe;SAChB;QACD,OAAO,EAAE,CAAC,YAAY,CAAC;QACvB,gBAAgB,EAAE,EAAE;QACpB,aAAa,EAAE,CAAC,iBAAiB,EAAE,yBAAyB,EAAE,wBAAwB,CAAC;QACvF,OAAO,EAAE,CAAC,oCAAoC,CAAC;QAC/C,QAAQ,EAAE,+BAA+B;QACzC,MAAM,EAAE,IAAI;QACZ,QAAQ,EAAE,IAAI;KACf;IACD;QACE,EAAE,EAAE,cAAc;QAClB,SAAS,EAAE,SAAS;QACpB,IAAI,EAAE,2BAA2B;QACjC,WAAW,EAAE,iEAAiE;QAC9E,MAAM,EAAE,EAAE;QACV,YAAY,EAAE,CAAC,eAAe,EAAE,sBAAsB,CAAC;QACvD,cAAc,EAAE,CAAC,YAAY,EAAE,2BAA2B,EAAE,uBAAuB,CAAC;QACpF,OAAO,EAAE,CAAC,kBAAkB,CAAC;QAC7B,gBAAgB,EAAE,CAAC,oBAAoB,CAAC;QACxC,aAAa,EAAE,CAAC,qBAAqB,EAAE,sBAAsB,CAAC;QAC9D,OAAO,EAAE,CAAC,qCAAqC,CAAC;QAChD,QAAQ,EAAE,wBAAwB;QAClC,MAAM,EAAE,KAAK;QACb,QAAQ,EAAE,IAAI;KACf;IAED,4EAA4E;IAC5E;QACE,EAAE,EAAE,gBAAgB;QACpB,SAAS,EAAE,qBAAqB;QAChC,IAAI,EAAE,4CAA4C;QAClD,WAAW,EAAE,kEAAkE;QAC/E,MAAM,EAAE,CAAC,iBAAiB,CAAC;QAC3B,YAAY,EAAE,CAAC,iBAAiB,EAAE,iBAAiB,CAAC;QACpD,cAAc,EAAE,CAAC,gBAAgB,EAAE,kBAAkB,CAAC;QACtD,OAAO,EAAE,CAAC,MAAM,CAAC;QACjB,gBAAgB,EAAE,EAAE;QACpB,aAAa,EAAE,CAAC,cAAc,EAAE,sBAAsB,EAAE,gBAAgB,CAAC;QACzE,OAAO,EAAE,EAAE;QACX,QAAQ,EAAE,qCAAqC;QAC/C,MAAM,EAAE,IAAI;QACZ,QAAQ,EAAE,IAAI;KACf;IACD;QACE,EAAE,EAAE,gBAAgB;QACpB,SAAS,EAAE,qBAAqB;QAChC,IAAI,EAAE,8BAA8B;QACpC,WAAW,EAAE,+DAA+D;QAC5E,MAAM,EAAE,EAAE;QACV,YAAY,EAAE,CAAC,eAAe,EAAE,kBAAkB,EAAE,oBAAoB,CAAC;QACzE,cAAc,EAAE,CAAC,sBAAsB,CAAC;QACxC,OAAO,EAAE,CAAC,MAAM,CAAC;QACjB,gBAAgB,EAAE,EAAE;QACpB,aAAa,EAAE,CAAC,WAAW,EAAE,gBAAgB,EAAE,mBAAmB,CAAC;QACnE,OAAO,EAAE,EAAE;QACX,QAAQ,EAAE,4BAA4B;QACtC,MAAM,EAAE,IAAI;QACZ,QAAQ,EAAE,IAAI;KACf;IAED,4EAA4E;IAC5E;QACE,EAAE,EAAE,cAAc;QAClB,SAAS,EAAE,wBAAwB;QACnC,IAAI,EAAE,qCAAqC;QAC3C,WAAW,EAAE,gDAAgD;QAC7D,MAAM,EAAE,CAAC,6BAA6B,EAAE,gBAAgB,CAAC;QACzD,YAAY,EAAE,CAAC,uBAAuB,CAAC;QACvC,cAAc,EAAE,CAAC,cAAc,CAAC;QAChC,OAAO,EAAE,CAAC,wBAAwB,CAAC;QACnC,gBAAgB,EAAE,EAAE;QACpB,aAAa,EAAE,CAAC,+CAA+C,CAAC;QAChE,OAAO,EAAE,EAAE;QACX,QAAQ,EAAE,4BAA4B;QACtC,MAAM,EAAE,IAAI;QACZ,QAAQ,EAAE,IAAI;KACf;IACD;QACE,EAAE,EAAE,cAAc;QAClB,SAAS,EAAE,wBAAwB;QACnC,IAAI,EAAE,sCAAsC;QAC5C,WAAW,EAAE,oDAAoD;QACjE,MAAM,EAAE,CAAC,8BAA8B,EAAE,gBAAgB,CAAC;QAC1D,YAAY,EAAE,CAAC,sBAAsB,EAAE,kBAAkB,CAAC;QAC1D,cAAc,EAAE,CAAC,cAAc,EAAE,0BAA0B,CAAC;QAC5D,OAAO,EAAE,CAAC,4BAA4B,CAAC;QACvC,gBAAgB,EAAE,EAAE;QACpB,aAAa,EAAE,CAAC,wBAAwB,EAAE,+BAA+B,CAAC;QAC1E,OAAO,EAAE,CAAC,mDAAmD,CAAC;QAC9D,QAAQ,EAAE,sCAAsC;QAChD,MAAM,EAAE,IAAI;QACZ,QAAQ,EAAE,IAAI;KACf;IACD;QACE,EAAE,EAAE,cAAc;QAClB,SAAS,EAAE,wBAAwB;QACnC,IAAI,EAAE,wCAAwC;QAC9C,WAAW,EAAE,kDAAkD;QAC/D,MAAM,EAAE,EAAE;QACV,YAAY,EAAE,CAAC,sBAAsB,EAAE,iCAAiC,CAAC;QACzE,cAAc,EAAE,CAAC,qDAAqD,CAAC;QACvE,OAAO,EAAE,CAAC,OAAO,CAAC;QAClB,gBAAgB,EAAE,EAAE;QACpB,aAAa,EAAE,CAAC,0BAA0B,EAAE,qCAAqC,CAAC;QAClF,OAAO,EAAE,EAAE;QACX,QAAQ,EAAE,kCAAkC;QAC5C,MAAM,EAAE,KAAK;QACb,QAAQ,EAAE,IAAI;KACf;IAED,4EAA4E;IAC5E;QACE,EAAE,EAAE,cAAc;QAClB,SAAS,EAAE,kBAAkB;QAC7B,IAAI,EAAE,uBAAuB;QAC7B,WAAW,EAAE,uEAAuE;QACpF,MAAM,EAAE,CAAC,gCAAgC,CAAC;QAC1C,YAAY,EAAE,EAAE;QAChB,cAAc,EAAE,EAAE;QAClB,OAAO,EAAE,CAAC,2CAA2C,CAAC;QACtD,gBAAgB,EAAE,EAAE;QACpB,aAAa,EAAE,CAAC,sDAAsD,CAAC;QACvE,OAAO,EAAE,EAAE;QACX,QAAQ,EAAE,+CAA+C;QACzD,MAAM,EAAE,IAAI;QACZ,QAAQ,EAAE,IAAI;KACf;IAED,4EAA4E;IAC5E;QACE,EAAE,EAAE,cAAc;QAClB,SAAS,EAAE,cAAc;QACzB,IAAI,EAAE,uCAAuC;QAC7C,WAAW,EAAE,wCAAwC;QACrD,MAAM,EAAE,CAAC,4BAA4B,CAAC;QACtC,YAAY,EAAE,CAAC,4BAA4B,EAAE,aAAa,CAAC;QAC3D,cAAc,EAAE,EAAE;QAClB,OAAO,EAAE,CAAC,MAAM,CAAC;QACjB,gBAAgB,EAAE,CAAC,cAAc,CAAC;QAClC,aAAa,EAAE,CAAC,yBAAyB,EAAE,iBAAiB,CAAC;QAC7D,OAAO,EAAE,CAAC,mCAAmC,CAAC;QAC9C,QAAQ,EAAE,oCAAoC;QAC9C,MAAM,EAAE,KAAK;QACb,QAAQ,EAAE,IAAI;KACf;IAED,4EAA4E;IAC5E;QACE,EAAE,EAAE,cAAc;QAClB,SAAS,EAAE,4BAA4B;QACvC,IAAI,EAAE,8BAA8B;QACpC,WAAW,EAAE,uDAAuD;QACpE,MAAM,EAAE,CAAC,WAAW,CAAC;QACrB,YAAY,EAAE,CAAC,8BAA8B,CAAC;QAC9C,cAAc,EAAE,CAAC,yBAAyB,CAAC;QAC3C,OAAO,EAAE,CAAC,6CAA6C,CAAC;QACxD,gBAAgB,EAAE,EAAE;QACpB,aAAa,EAAE,CAAC,gDAAgD,CAAC;QACjE,OAAO,EAAE,EAAE;QACX,QAAQ,EAAE,gDAAgD;QAC1D,MAAM,EAAE,KAAK;QACb,QAAQ,EAAE,IAAI;KACf;IACD;QACE,EAAE,EAAE,cAAc;QAClB,SAAS,EAAE,4BAA4B;QACvC,IAAI,EAAE,0BAA0B;QAChC,WAAW,EAAE,uDAAuD;QACpE,MAAM,EAAE,CAAC,2BAA2B,CAAC;QACrC,YAAY,EAAE,CAAC,iBAAiB,EAAE,kBAAkB,CAAC;QACrD,cAAc,EAAE,CAAC,4BAA4B,CAAC;QAC9C,OAAO,EAAE,CAAC,yBAAyB,CAAC;QACpC,gBAAgB,EAAE,EAAE;QACpB,aAAa,EAAE,CAAC,gCAAgC,EAAE,mBAAmB,CAAC;QACtE,OAAO,EAAE,EAAE;QACX,QAAQ,EAAE,6BAA6B;QACvC,MAAM,EAAE,IAAI;QACZ,QAAQ,EAAE,IAAI;KACf;IAED,4EAA4E;IAC5E;QACE,EAAE,EAAE,cAAc;QAClB,SAAS,EAAE,oBAAoB;QAC/B,IAAI,EAAE,8CAA8C;QACpD,WAAW,EAAE,8CAA8C;QAC3D,MAAM,EAAE,CAAC,2BAA2B,CAAC;QACrC,YAAY,EAAE,CAAC,cAAc,CAAC;QAC9B,cAAc,EAAE,EAAE;QAClB,OAAO,EAAE,CAAC,6CAA6C,CAAC;QACxD,gBAAgB,EAAE,EAAE;QACpB,aAAa,EAAE,CAAC,qCAAqC,CAAC;QACtD,OAAO,EAAE,EAAE;QACX,QAAQ,EAAE,KAAK;QACf,MAAM,EAAE,IAAI;QACZ,QAAQ,EAAE,IAAI;KACf;IAED,4EAA4E;IAC5E;QACE,EAAE,EAAE,cAAc;QAClB,SAAS,EAAE,wBAAwB;QACnC,IAAI,EAAE,uCAAuC;QAC7C,WAAW,EAAE,sDAAsD;QACnE,MAAM,EAAE,CAAC,YAAY,CAAC;QACtB,YAAY,EAAE,CAAC,cAAc,EAAE,4BAA4B,CAAC;QAC5D,cAAc,EAAE,CAAC,2BAA2B,CAAC;QAC7C,OAAO,EAAE,CAAC,iCAAiC,CAAC;QAC5C,gBAAgB,EAAE,EAAE;QACpB,aAAa,EAAE,CAAC,2CAA2C,CAAC;QAC5D,OAAO,EAAE,EAAE;QACX,QAAQ,EAAE,yCAAyC;QACnD,MAAM,EAAE,KAAK;QACb,QAAQ,EAAE,IAAI;KACf;CACF,CAAC;AAEF,gFAAgF;AAEhF,MAAM,UAAU,aAAa;IAS3B,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,CAAC;IACrC,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;IAC9D,MAAM,QAAQ,GAAG,KAAK,GAAG,MAAM,CAAC;IAChC,MAAM,EAAE,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;IACrE,MAAM,EAAE,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;IACrE,MAAM,EAAE,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;IAErE,OAAO;QACL,KAAK;QACL,MAAM;QACN,QAAQ;QACR,EAAE;QACF,EAAE;QACF,EAAE;QACF,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,KAAK,CAAC,GAAG,GAAG,CAAC;KAC7C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB;IAC/B,OAAO,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,WAAW;IACzB,OAAO,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;AAC5D,CAAC"}

package/dist/validation/state-machine.d.ts

@@ -0,0 +1,51 @@
+/**
+ * State Machine Validator (Prompt E)
+ *
+ * Models the lifecycle states for: Session, Message, Media, AI Job, Group, Tenant.
+ * Validates that all state transitions are legal and no corruption is possible.
+ */
+export type StateMachineName = 'session' | 'message' | 'media' | 'ai_job' | 'group' | 'tenant';
+export interface StateDefinition {
+    name: string;
+    allowedTransitions: string[];
+    forbiddenTransitions: string[];
+    timeoutMs?: number;
+}
+export interface TransitionResult {
+    from: string;
+    to: string;
+    allowed: boolean;
+    error?: string;
+}
+export interface StateMachineModel {
+    name: StateMachineName;
+    states: Map<string, StateDefinition>;
+    initialState: string;
+    terminalStates: string[];
+}
+export interface StateMachineReport {
+    model: StateMachineName;
+    totalStates: number;
+    totalTransitions: number;
+    allowedTransitions: number;
+    forbiddenTransitions: number;
+    testedTransitions: number;
+    failedTransitions: number;
+}
+export declare const STATE_MACHINES: StateMachineModel[];
+export declare class StateMachineValidator {
+    private transitionResults;
+    /**
+     * Attempt a state transition and record if it was allowed/forbidden.
+     */
+    attemptTransition(model: StateMachineModel, fromState: string, toState: string): TransitionResult;
+    /**
+     * Validate all transitions for a given model.
+     */
+    validateModel(model: StateMachineModel): StateMachineReport;
+    /**
+     * Validate all defined state machines.
+     */
+    validateAll(): StateMachineReport[];
+}
+//# sourceMappingURL=state-machine.d.ts.map

package/dist/validation/state-machine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-machine.d.ts","sourceRoot":"","sources":["../../src/validation/state-machine.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,MAAM,MAAM,gBAAgB,GAAG,SAAS,GAAG,SAAS,GAAG,OAAO,GAAG,QAAQ,GAAG,OAAO,GAAG,QAAQ,CAAC;AAE/F,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,gBAAgB,CAAC;IACvB,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACrC,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,gBAAgB,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,gBAAgB,EAAE,MAAM,CAAC;IACzB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAoJD,eAAO,MAAM,cAAc,EAAE,iBAAiB,EAI7C,CAAC;AAIF,qBAAa,qBAAqB;IAChC,OAAO,CAAC,iBAAiB,CAA0B;IAEnD;;OAEG;IACH,iBAAiB,CACf,KAAK,EAAE,iBAAiB,EACxB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,GACd,gBAAgB;IAoBnB;;OAEG;IACH,aAAa,CAAC,KAAK,EAAE,iBAAiB,GAAG,kBAAkB;IA6B3D;;OAEG;IACH,WAAW,IAAI,kBAAkB,EAAE;CAOpC"}