@ocpp-debugkit/toolkit 0.2.0 → 0.3.0

package/dist/core/assertions.js

@@ -0,0 +1,335 @@
+/**
+ * Scenario assertions — declarative assertions for scenario evaluation.
+ *
+ * Supports 8 assertion types:
+ * - event_order: verify events appear in a specific order
+ * - event_count: verify the count of events (optionally filtered by action)
+ * - payload_field: verify a payload field value on a specific action
+ * - timing: verify timing gaps between two actions
+ * - session_state: verify session status
+ * - failure_severity: verify a specific failure has the expected severity
+ * - no_failures: verify no failures are detected
+ * - failure_count: verify the count of detected failures
+ *
+ * @module @ocpp-debugkit/toolkit/core
+ */
+import { parseTrace } from './parser.js';
+import { buildSessionTimeline } from './timeline.js';
+import { detectFailures } from './detection.js';
+import { summarizeSessions } from './summarizer.js';
+// ---------------------------------------------------------------------------
+// Deep equality (same limited implementation as diff.ts)
+// ---------------------------------------------------------------------------
+function deepEqual(a, b) {
+    if (a === b)
+        return true;
+    if (a === null || b === null)
+        return false;
+    if (typeof a !== typeof b)
+        return false;
+    if (Array.isArray(a) && Array.isArray(b)) {
+        if (a.length !== b.length)
+            return false;
+        return a.every((item, i) => deepEqual(item, b[i]));
+    }
+    if (typeof a === 'object' && typeof b === 'object') {
+        const objA = a;
+        const objB = b;
+        const keysA = Object.keys(objA);
+        const keysB = Object.keys(objB);
+        if (keysA.length !== keysB.length)
+            return false;
+        return keysA.every((key) => deepEqual(objA[key], objB[key]));
+    }
+    return false;
+}
+/** Safely access a nested field via dot notation (e.g., "idTagInfo.status"). */
+function getNestedValue(obj, path) {
+    const parts = path.split('.');
+    let current = obj;
+    for (const part of parts) {
+        if (current === null || typeof current !== 'object')
+            return undefined;
+        current = current[part];
+    }
+    return current;
+}
+/**
+ * Evaluate a single assertion against the analysis context.
+ */
+export function runAssertion(assertion, ctx) {
+    switch (assertion.type) {
+        case 'event_order':
+            return evalEventOrder(assertion, ctx);
+        case 'event_count':
+            return evalEventCount(assertion, ctx);
+        case 'payload_field':
+            return evalPayloadField(assertion, ctx);
+        case 'timing':
+            return evalTiming(assertion, ctx);
+        case 'session_state':
+            return evalSessionState(assertion, ctx);
+        case 'failure_severity':
+            return evalFailureSeverity(assertion, ctx);
+        case 'no_failures':
+            return evalNoFailures(assertion, ctx);
+        case 'failure_count':
+            return evalFailureCount(assertion, ctx);
+        default:
+            return {
+                assertion,
+                passed: false,
+                message: `Unknown assertion type: ${assertion.type}`,
+            };
+    }
+}
+function evalEventOrder(assertion, ctx) {
+    const { actions } = assertion.params;
+    const callActions = ctx.events
+        .filter((e) => e.messageType === 'Call' && e.action !== null)
+        .map((e) => e.action);
+    // Check if actions appear in order (not necessarily consecutive)
+    let searchFrom = 0;
+    for (const action of actions) {
+        const foundIndex = callActions.indexOf(action, searchFrom);
+        if (foundIndex === -1) {
+            return {
+                assertion,
+                passed: false,
+                message: `Expected action "${action}" in order after previous actions, but not found`,
+            };
+        }
+        searchFrom = foundIndex + 1;
+    }
+    return {
+        assertion,
+        passed: true,
+        message: `Actions [${actions.join(', ')}] appear in the correct order`,
+    };
+}
+function evalEventCount(assertion, ctx) {
+    const { min, max, action } = assertion.params;
+    const count = action
+        ? ctx.events.filter((e) => e.messageType === 'Call' && e.action === action).length
+        : ctx.events.length;
+    if (min !== undefined && count < min) {
+        return {
+            assertion,
+            passed: false,
+            message: `Expected at least ${min} ${action ? `"${action}" ` : ''}events, got ${count}`,
+        };
+    }
+    if (max !== undefined && count > max) {
+        return {
+            assertion,
+            passed: false,
+            message: `Expected at most ${max} ${action ? `"${action}" ` : ''}events, got ${count}`,
+        };
+    }
+    return {
+        assertion,
+        passed: true,
+        message: `Event count ${count} is within range [${min ?? 0}, ${max ?? '∞'}]${action ? ` for "${action}"` : ''}`,
+    };
+}
+function evalPayloadField(assertion, ctx) {
+    const { action, field, equals, contains } = assertion.params;
+    const matchingEvents = ctx.events.filter((e) => e.messageType === 'Call' && e.action === action);
+    if (matchingEvents.length === 0) {
+        return {
+            assertion,
+            passed: false,
+            message: `No events with action "${action}" found`,
+        };
+    }
+    for (const event of matchingEvents) {
+        const value = getNestedValue(event.payload, field);
+        if (value === undefined) {
+            return {
+                assertion,
+                passed: false,
+                message: `Field "${field}" not found in payload of "${action}" event`,
+            };
+        }
+        if (equals !== undefined && !deepEqual(value, equals)) {
+            return {
+                assertion,
+                passed: false,
+                message: `Field "${field}" in "${action}" expected to equal ${JSON.stringify(equals)}, got ${JSON.stringify(value)}`,
+            };
+        }
+        if (contains !== undefined) {
+            if (Array.isArray(value) && !value.some((v) => deepEqual(v, contains))) {
+                return {
+                    assertion,
+                    passed: false,
+                    message: `Field "${field}" in "${action}" expected to contain ${JSON.stringify(contains)}, got ${JSON.stringify(value)}`,
+                };
+            }
+            if (typeof value === 'string' && !value.includes(String(contains))) {
+                return {
+                    assertion,
+                    passed: false,
+                    message: `Field "${field}" in "${action}" expected to contain "${contains}", got "${value}"`,
+                };
+            }
+        }
+    }
+    return {
+        assertion,
+        passed: true,
+        message: `Payload field "${field}" in "${action}" matches expectations`,
+    };
+}
+function evalTiming(assertion, ctx) {
+    const { actionA, actionB, maxGapMs, minGapMs } = assertion.params;
+    const eventA = ctx.events.find((e) => e.messageType === 'Call' && e.action === actionA && e.timestamp !== null);
+    const eventB = ctx.events.find((e) => e.messageType === 'Call' && e.action === actionB && e.timestamp !== null);
+    if (!eventA || eventA.timestamp === null) {
+        return {
+            assertion,
+            passed: false,
+            message: `Action "${actionA}" not found or has no timestamp`,
+        };
+    }
+    if (!eventB || eventB.timestamp === null) {
+        return {
+            assertion,
+            passed: false,
+            message: `Action "${actionB}" not found or has no timestamp`,
+        };
+    }
+    const gap = eventB.timestamp - eventA.timestamp;
+    if (maxGapMs !== undefined && gap > maxGapMs) {
+        return {
+            assertion,
+            passed: false,
+            message: `Gap between "${actionA}" and "${actionB}" is ${gap}ms, exceeds max ${maxGapMs}ms`,
+        };
+    }
+    if (minGapMs !== undefined && gap < minGapMs) {
+        return {
+            assertion,
+            passed: false,
+            message: `Gap between "${actionA}" and "${actionB}" is ${gap}ms, below min ${minGapMs}ms`,
+        };
+    }
+    return {
+        assertion,
+        passed: true,
+        message: `Gap between "${actionA}" and "${actionB}" is ${gap}ms (within range)`,
+    };
+}
+function evalSessionState(assertion, ctx) {
+    const { expected } = assertion.params;
+    if (ctx.sessions.length === 0) {
+        return { assertion, passed: false, message: 'No sessions found' };
+    }
+    for (const session of ctx.sessions) {
+        if (session.status !== expected) {
+            return {
+                assertion,
+                passed: false,
+                message: `Session ${session.sessionId} has status "${session.status}", expected "${expected}"`,
+            };
+        }
+    }
+    return {
+        assertion,
+        passed: true,
+        message: `All sessions have status "${expected}"`,
+    };
+}
+function evalFailureSeverity(assertion, ctx) {
+    const { code, severity } = assertion.params;
+    const matching = ctx.failures.find((f) => f.code === code);
+    if (!matching) {
+        return {
+            assertion,
+            passed: false,
+            message: `Failure with code "${code}" not detected`,
+        };
+    }
+    if (matching.severity !== severity) {
+        return {
+            assertion,
+            passed: false,
+            message: `Failure "${code}" has severity "${matching.severity}", expected "${severity}"`,
+        };
+    }
+    return {
+        assertion,
+        passed: true,
+        message: `Failure "${code}" has severity "${severity}" as expected`,
+    };
+}
+function evalNoFailures(assertion, ctx) {
+    if (ctx.failures.length > 0) {
+        return {
+            assertion,
+            passed: false,
+            message: `Expected no failures, but ${ctx.failures.length} detected: ${ctx.failures.map((f) => f.code).join(', ')}`,
+        };
+    }
+    return { assertion, passed: true, message: 'No failures detected as expected' };
+}
+function evalFailureCount(assertion, ctx) {
+    const { min, max, code } = assertion.params;
+    const count = code ? ctx.failures.filter((f) => f.code === code).length : ctx.failures.length;
+    if (min !== undefined && count < min) {
+        return {
+            assertion,
+            passed: false,
+            message: `Expected at least ${min} ${code ? `"${code}" ` : ''}failures, got ${count}`,
+        };
+    }
+    if (max !== undefined && count > max) {
+        return {
+            assertion,
+            passed: false,
+            message: `Expected at most ${max} ${code ? `"${code}" ` : ''}failures, got ${count}`,
+        };
+    }
+    return {
+        assertion,
+        passed: true,
+        message: `Failure count ${count} ${code ? `for "${code}" ` : ''}is within range [${min ?? 0}, ${max ?? '∞'}]`,
+    };
+}
+// ---------------------------------------------------------------------------
+// Batch evaluation
+// ---------------------------------------------------------------------------
+/**
+ * Evaluate multiple assertions against the analysis context.
+ */
+export function runAssertions(ctx, assertions) {
+    return assertions.map((assertion) => runAssertion(assertion, ctx));
+}
+/**
+ * Evaluate a scenario: parse the trace, run detection, evaluate assertions,
+ * and compare detected vs expected failures.
+ */
+export function evaluateScenario(scenario) {
+    const { events } = parseTrace(JSON.stringify(scenario.trace));
+    const sessions = buildSessionTimeline(events);
+    const failures = detectFailures(events, sessions);
+    const detectedFailureCodes = [...new Set(failures.map((f) => f.code))];
+    // Compare detected vs expected failures (deduplicated)
+    const sortedDetected = [...detectedFailureCodes].sort();
+    const sortedExpected = [...scenario.expectedFailures].sort();
+    const expectedFailuresPassed = JSON.stringify(sortedDetected) === JSON.stringify(sortedExpected);
+    // Evaluate assertions
+    const ctx = { events, sessions, failures };
+    const assertions = scenario.assertions ? runAssertions(ctx, scenario.assertions) : [];
+    // Use summaries to ensure sessions are properly evaluated
+    summarizeSessions(sessions, failures);
+    const allPassed = expectedFailuresPassed && (assertions.length === 0 || assertions.every((a) => a.passed));
+    return {
+        assertions,
+        allPassed,
+        failures,
+        detectedFailureCodes,
+        expectedFailuresPassed,
+    };
+}
+//# sourceMappingURL=assertions.js.map

package/dist/core/assertions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assertions.js","sourceRoot":"","sources":["../../src/core/assertions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAaH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAEpD,8EAA8E;AAC9E,yDAAyD;AACzD,8EAA8E;AAE9E,SAAS,SAAS,CAAC,CAAU,EAAE,CAAU;IACvC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACzB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC3C,IAAI,OAAO,CAAC,KAAK,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IAExC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QACxC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC;IAED,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QACnD,MAAM,IAAI,GAAG,CAA4B,CAAC;QAC1C,MAAM,IAAI,GAAG,CAA4B,CAAC;QAC1C,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAChD,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,gFAAgF;AAChF,SAAS,cAAc,CAAC,GAAY,EAAE,IAAY;IAChD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,OAAO,GAAY,GAAG,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QACtE,OAAO,GAAI,OAAmC,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAaD;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,SAA4B,EAAE,GAAqB;IAC9E,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,aAAa;YAChB,OAAO,cAAc,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QACxC,KAAK,aAAa;YAChB,OAAO,cAAc,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QACxC,KAAK,eAAe;YAClB,OAAO,gBAAgB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QAC1C,KAAK,QAAQ;YACX,OAAO,UAAU,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QACpC,KAAK,eAAe;YAClB,OAAO,gBAAgB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QAC1C,KAAK,kBAAkB;YACrB,OAAO,mBAAmB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QAC7C,KAAK,aAAa;YAChB,OAAO,cAAc,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QACxC,KAAK,eAAe;YAClB,OAAO,gBAAgB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QAC1C;YACE,OAAO;gBACL,SAAS;gBACT,MAAM,EAAE,KAAK;gBACb,OAAO,EAAE,2BAA4B,SAA8B,CAAC,IAAI,EAAE;aAC3E,CAAC;IACN,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CACrB,SAAiE,EACjE,GAAqB;IAErB,MAAM,EAAE,OAAO,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC;IACrC,MAAM,WAAW,GAAG,GAAG,CAAC,MAAM;SAC3B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,MAAM,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC;SAC5D,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAgB,CAAC,CAAC;IAElC,iEAAiE;IACjE,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,UAAU,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC3D,IAAI,UAAU,KAAK,CAAC,CAAC,EAAE,CAAC;YACtB,OAAO;gBACL,SAAS;gBACT,MAAM,EAAE,KAAK;gBACb,OAAO,EAAE,oBAAoB,MAAM,kDAAkD;aACtF,CAAC;QACJ,CAAC;QACD,UAAU,GAAG,UAAU,GAAG,CAAC,CAAC;IAC9B,CAAC;IAED,OAAO;QACL,SAAS;QACT,MAAM,EAAE,IAAI;QACZ,OAAO,EAAE,YAAY,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,+BAA+B;KACvE,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,SAA2F,EAC3F,GAAqB;IAErB,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC;IAC9C,MAAM,KAAK,GAAG,MAAM;QAClB,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,MAAM,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM;QAClF,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC;IAEtB,IAAI,GAAG,KAAK,SAAS,IAAI,KAAK,GAAG,GAAG,EAAE,CAAC;QACrC,OAAO;YACL,SAAS;YACT,MAAM,EAAE,KAAK;YACb,OAAO,EAAE,qBAAqB,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,IAAI,CAAC,CAAC,CAAC,EAAE,eAAe,KAAK,EAAE;SACxF,CAAC;IACJ,CAAC;IAED,IAAI,GAAG,KAAK,SAAS,IAAI,KAAK,GAAG,GAAG,EAAE,CAAC;QACrC,OAAO;YACL,SAAS;YACT,MAAM,EAAE,KAAK;YACb,OAAO,EAAE,oBAAoB,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,IAAI,CAAC,CAAC,CAAC,EAAE,eAAe,KAAK,EAAE;SACvF,CAAC;IACJ,CAAC;IAED,OAAO;QACL,SAAS;QACT,MAAM,EAAE,IAAI;QACZ,OAAO,EAAE,eAAe,KAAK,qBAAqB,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,SAAS,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;KAChH,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,SAGC,EACD,GAAqB;IAErB,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC;IAC7D,MAAM,cAAc,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,MAAM,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IAEjG,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO;YACL,SAAS;YACT,MAAM,EAAE,KAAK;YACb,OAAO,EAAE,0BAA0B,MAAM,SAAS;SACnD,CAAC;IACJ,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACnD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO;gBACL,SAAS;gBACT,MAAM,EAAE,KAAK;gBACb,OAAO,EAAE,UAAU,KAAK,8BAA8B,MAAM,SAAS;aACtE,CAAC;QACJ,CAAC;QAED,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC;YACtD,OAAO;gBACL,SAAS;gBACT,MAAM,EAAE,KAAK;gBACb,OAAO,EAAE,UAAU,KAAK,SAAS,MAAM,uBAAuB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE;aACrH,CAAC;QACJ,CAAC;QAED,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC;gBACvE,OAAO;oBACL,SAAS;oBACT,MAAM,EAAE,KAAK;oBACb,OAAO,EAAE,UAAU,KAAK,SAAS,MAAM,yBAAyB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE;iBACzH,CAAC;YACJ,CAAC;YACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;gBACnE,OAAO;oBACL,SAAS;oBACT,MAAM,EAAE,KAAK;oBACb,OAAO,EAAE,UAAU,KAAK,SAAS,MAAM,0BAA0B,QAAQ,WAAW,KAAK,GAAG;iBAC7F,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,SAAS;QACT,MAAM,EAAE,IAAI;QACZ,OAAO,EAAE,kBAAkB,KAAK,SAAS,MAAM,wBAAwB;KACxE,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CACjB,SAGC,EACD,GAAqB;IAErB,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC;IAElE,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAC5B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,MAAM,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO,IAAI,CAAC,CAAC,SAAS,KAAK,IAAI,CAChF,CAAC;IACF,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAC5B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,MAAM,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO,IAAI,CAAC,CAAC,SAAS,KAAK,IAAI,CAChF,CAAC;IAEF,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QACzC,OAAO;YACL,SAAS;YACT,MAAM,EAAE,KAAK;YACb,OAAO,EAAE,WAAW,OAAO,iCAAiC;SAC7D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QACzC,OAAO;YACL,SAAS;YACT,MAAM,EAAE,KAAK;YACb,OAAO,EAAE,WAAW,OAAO,iCAAiC;SAC7D,CAAC;IACJ,CAAC;IAED,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC;IAEhD,IAAI,QAAQ,KAAK,SAAS,IAAI,GAAG,GAAG,QAAQ,EAAE,CAAC;QAC7C,OAAO;YACL,SAAS;YACT,MAAM,EAAE,KAAK;YACb,OAAO,EAAE,gBAAgB,OAAO,UAAU,OAAO,QAAQ,GAAG,mBAAmB,QAAQ,IAAI;SAC5F,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,KAAK,SAAS,IAAI,GAAG,GAAG,QAAQ,EAAE,CAAC;QAC7C,OAAO;YACL,SAAS;YACT,MAAM,EAAE,KAAK;YACb,OAAO,EAAE,gBAAgB,OAAO,UAAU,OAAO,QAAQ,GAAG,iBAAiB,QAAQ,IAAI;SAC1F,CAAC;IACJ,CAAC;IAED,OAAO;QACL,SAAS;QACT,MAAM,EAAE,IAAI;QACZ,OAAO,EAAE,gBAAgB,OAAO,UAAU,OAAO,QAAQ,GAAG,mBAAmB;KAChF,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,SAA8F,EAC9F,GAAqB;IAErB,MAAM,EAAE,QAAQ,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC;IAEtC,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,mBAAmB,EAAE,CAAC;IACpE,CAAC;IAED,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QACnC,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YAChC,OAAO;gBACL,SAAS;gBACT,MAAM,EAAE,KAAK;gBACb,OAAO,EAAE,WAAW,OAAO,CAAC,SAAS,gBAAgB,OAAO,CAAC,MAAM,gBAAgB,QAAQ,GAAG;aAC/F,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO;QACL,SAAS;QACT,MAAM,EAAE,IAAI;QACZ,OAAO,EAAE,6BAA6B,QAAQ,GAAG;KAClD,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,SAAiG,EACjG,GAAqB;IAErB,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC;IAC5C,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAE3D,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO;YACL,SAAS;YACT,MAAM,EAAE,KAAK;YACb,OAAO,EAAE,sBAAsB,IAAI,gBAAgB;SACpD,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACnC,OAAO;YACL,SAAS;YACT,MAAM,EAAE,KAAK;YACb,OAAO,EAAE,YAAY,IAAI,mBAAmB,QAAQ,CAAC,QAAQ,gBAAgB,QAAQ,GAAG;SACzF,CAAC;IACJ,CAAC;IAED,OAAO;QACL,SAAS;QACT,MAAM,EAAE,IAAI;QACZ,OAAO,EAAE,YAAY,IAAI,mBAAmB,QAAQ,eAAe;KACpE,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,SAAiE,EACjE,GAAqB;IAErB,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO;YACL,SAAS;YACT,MAAM,EAAE,KAAK;YACb,OAAO,EAAE,6BAA6B,GAAG,CAAC,QAAQ,CAAC,MAAM,cAAc,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;SACpH,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,kCAAkC,EAAE,CAAC;AAClF,CAAC;AAED,SAAS,gBAAgB,CACvB,SAAgG,EAChG,GAAqB;IAErB,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC;IAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC;IAE9F,IAAI,GAAG,KAAK,SAAS,IAAI,KAAK,GAAG,GAAG,EAAE,CAAC;QACrC,OAAO;YACL,SAAS;YACT,MAAM,EAAE,KAAK;YACb,OAAO,EAAE,qBAAqB,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,iBAAiB,KAAK,EAAE;SACtF,CAAC;IACJ,CAAC;IAED,IAAI,GAAG,KAAK,SAAS,IAAI,KAAK,GAAG,GAAG,EAAE,CAAC;QACrC,OAAO;YACL,SAAS;YACT,MAAM,EAAE,KAAK;YACb,OAAO,EAAE,oBAAoB,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,iBAAiB,KAAK,EAAE;SACrF,CAAC;IACJ,CAAC;IAED,OAAO;QACL,SAAS;QACT,MAAM,EAAE,IAAI;QACZ,OAAO,EAAE,iBAAiB,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,oBAAoB,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,GAAG,GAAG;KAC9G,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E;;GAEG;AACH,MAAM,UAAU,aAAa,CAC3B,GAAqB,EACrB,UAA+B;IAE/B,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC;AACrE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,QAAkB;IACjD,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAClD,MAAM,oBAAoB,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAEvE,uDAAuD;IACvD,MAAM,cAAc,GAAG,CAAC,GAAG,oBAAoB,CAAC,CAAC,IAAI,EAAE,CAAC;IACxD,MAAM,cAAc,GAAG,CAAC,GAAG,QAAQ,CAAC,gBAAgB,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7D,MAAM,sBAAsB,GAAG,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAEjG,sBAAsB;IACtB,MAAM,GAAG,GAAqB,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;IAC7D,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAEtF,0DAA0D;IAC1D,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAEtC,MAAM,SAAS,GACb,sBAAsB,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAE3F,OAAO;QACL,UAAU;QACV,SAAS;QACT,QAAQ;QACR,oBAAoB;QACpB,sBAAsB;KACvB,CAAC;AACJ,CAAC"}

package/dist/core/detection.d.ts

@@ -1,11 +1,28 @@
 /**
  * Failure detection — analyzes events and sessions for known failure patterns.
  *
- * Three detection rules in v0.1:
+ * 15 detection rules (v0.1 + v0.2 + v0.3):
+ *
+ * v0.1:
  * 1. FAILED_AUTHORIZATION — Authorize response with idTagInfo.status = "Invalid"
  * 2. CONNECTOR_FAULT — StatusNotification with status = "Faulted" during active session
- * 3. STATION_OFFLINE_DURING_SESSION — session has StartTransaction but no StopTransaction,
- *    or connector transitions to Unavailable/Offline during an active transaction
+ * 3. STATION_OFFLINE_DURING_SESSION — session has StartTransaction but no StopTransaction
+ *
+ * v0.2:
+ * 4. TIMEOUT_NO_HEARTBEAT — no Heartbeat within expected interval after BootNotification
+ * 5. METER_VALUE_GAP — no MeterValues during an active transaction
+ * 6. INVALID_STOP_REASON — StopTransaction with unexpected/invalid stop reason
+ * 7. UNEXPECTED_START — StartTransaction without preceding BootNotification or Authorize
+ * 8. STATUS_TRANSITION_VIOLATION — illegal connector status transition
+ * 9. DIAGNOSTICS_FAILURE — DiagnosticsStatusNotification indicating failure
+ * 10. FIRMWARE_UPDATE_FAILURE — FirmwareStatusNotification indicating failure
+ *
+ * v0.3:
+ * 11. SUSPICIOUS_SESSION_DURATION — session < 60s or > 24h
+ * 12. SLOW_RESPONSE — gap between Call and matching CallResult/CallError > 10s
+ * 13. HEARTBEAT_INTERVAL_VIOLATION — heartbeat intervals deviate >50% from expected
+ * 14. METER_VALUE_ANOMALY — non-monotonic or negative meter readings
+ * 15. UNRESPONSIVE_CSMS — Call with no matching CallResult or CallError
  *
  * @see ADR-0003
  */

package/dist/core/detection.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"detection.d.ts","sourceRoot":"","sources":["../../src/core/detection.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,OAAO,EAAgC,OAAO,EAAE,MAAM,YAAY,CAAC;AAqOxF;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,OAAO,EAAE,CAa9E"}
+{"version":3,"file":"detection.d.ts","sourceRoot":"","sources":["../../src/core/detection.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,OAAO,EAAgC,OAAO,EAAE,MAAM,YAAY,CAAC;AAiUxF;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,OAAO,EAAE,CAyB9E"}