proofscan 0.10.52 → 0.10.53

package/dist/filter/evaluator.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Filter DSL v0.1 Evaluator
+ *
+ * Evaluates parsed FilterAst against a FilterContext record.
+ * All conditions are ANDed together.
+ *
+ * No DOM dependencies - can be reused in CLI/Ledger.
+ */
+import type { FilterAst, FilterContext } from './types.js';
+/**
+ * Evaluate a filter AST against a context record
+ * @param ast - Parsed filter AST
+ * @param ctx - Context record to evaluate
+ * @returns true if record matches all conditions (implicit AND)
+ */
+export declare function evaluateFilter(ast: FilterAst, ctx: FilterContext): boolean;
+//# sourceMappingURL=evaluator.d.ts.map

package/dist/filter/evaluator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluator.d.ts","sourceRoot":"","sources":["../../src/filter/evaluator.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAmB,aAAa,EAAE,MAAM,YAAY,CAAC;AAE5E;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAQ1E"}

package/dist/filter/evaluator.js

@@ -0,0 +1,73 @@
+/**
+ * Filter DSL v0.1 Evaluator
+ *
+ * Evaluates parsed FilterAst against a FilterContext record.
+ * All conditions are ANDed together.
+ *
+ * No DOM dependencies - can be reused in CLI/Ledger.
+ */
+/**
+ * Evaluate a filter AST against a context record
+ * @param ast - Parsed filter AST
+ * @param ctx - Context record to evaluate
+ * @returns true if record matches all conditions (implicit AND)
+ */
+export function evaluateFilter(ast, ctx) {
+    // Empty filter matches everything
+    if (ast.conditions.length === 0) {
+        return true;
+    }
+    // All conditions must match (implicit AND)
+    return ast.conditions.every((cond) => evaluateCondition(cond, ctx));
+}
+/**
+ * Evaluate a single condition against a context
+ */
+function evaluateCondition(cond, ctx) {
+    const val = ctx[cond.field];
+    // null/undefined handling:
+    // - != returns true (field doesn't equal anything if it doesn't exist)
+    // - all other operators return false
+    if (val === null || val === undefined) {
+        return cond.operator === '!=';
+    }
+    switch (cond.operator) {
+        case '==':
+            return compareEqual(val, cond.value);
+        case '!=':
+            return !compareEqual(val, cond.value);
+        case '~=':
+            return compareSubstring(val, cond.value);
+        case '>':
+            return compareNumeric(val, cond.value, (a, b) => a > b);
+        case '<':
+            return compareNumeric(val, cond.value, (a, b) => a < b);
+        default:
+            return false;
+    }
+}
+/**
+ * Case-insensitive equality comparison
+ */
+function compareEqual(fieldValue, condValue) {
+    return String(fieldValue).toLowerCase() === String(condValue).toLowerCase();
+}
+/**
+ * Case-insensitive substring match
+ */
+function compareSubstring(fieldValue, condValue) {
+    return String(fieldValue).toLowerCase().includes(String(condValue).toLowerCase());
+}
+/**
+ * Numeric comparison with NaN guard
+ * Returns false if either value is not a valid number
+ */
+function compareNumeric(fieldValue, condValue, compareFn) {
+    const numField = typeof fieldValue === 'number' ? fieldValue : Number(fieldValue);
+    const numCond = typeof condValue === 'number' ? condValue : Number(condValue);
+    if (isNaN(numField) || isNaN(numCond)) {
+        return false;
+    }
+    return compareFn(numField, numCond);
+}
+//# sourceMappingURL=evaluator.js.map

package/dist/filter/evaluator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluator.js","sourceRoot":"","sources":["../../src/filter/evaluator.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,GAAc,EAAE,GAAkB;IAC/D,kCAAkC;IAClC,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,2CAA2C;IAC3C,OAAO,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;AACtE,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CAAC,IAAqB,EAAE,GAAkB;IAClE,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAE5B,2BAA2B;IAC3B,uEAAuE;IACvE,qCAAqC;IACrC,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtC,OAAO,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC;IAChC,CAAC;IAED,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;QACtB,KAAK,IAAI;YACP,OAAO,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,KAAK,IAAI;YACP,OAAO,CAAC,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACxC,KAAK,IAAI;YACP,OAAO,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3C,KAAK,GAAG;YACN,OAAO,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1D,KAAK,GAAG;YACN,OAAO,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1D;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,YAAY,CAAC,UAA2B,EAAE,SAA0B;IAC3E,OAAO,MAAM,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,KAAK,MAAM,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;AAC9E,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CAAC,UAA2B,EAAE,SAA0B;IAC/E,OAAO,MAAM,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;AACpF,CAAC;AAED;;;GAGG;AACH,SAAS,cAAc,CACrB,UAA2B,EAC3B,SAA0B,EAC1B,SAA4C;IAE5C,MAAM,QAAQ,GAAG,OAAO,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAClF,MAAM,OAAO,GAAG,OAAO,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAE9E,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QACtC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;AACtC,CAAC"}

package/dist/filter/fields.d.ts

@@ -0,0 +1,31 @@
+/**
+ * Filter Field Definitions
+ *
+ * Provides metadata for autocomplete and validation.
+ * No DOM dependencies - can be reused in CLI/Ledger.
+ */
+import type { FilterField } from './types.js';
+/** Field definition for autocomplete and validation */
+export interface FieldDefinition {
+    name: FilterField;
+    description: string;
+    type: 'string' | 'number';
+    examples?: string[];
+}
+/** All supported filter fields with metadata */
+export declare const FILTER_FIELDS: FieldDefinition[];
+/** Set of valid field names for fast lookup */
+export declare const VALID_FIELDS: Set<string>;
+/**
+ * Suggest fields matching a prefix (for autocomplete)
+ * @param prefix - The prefix to match (case-insensitive)
+ * @returns Array of matching field definitions
+ */
+export declare function suggestFields(prefix: string): FieldDefinition[];
+/**
+ * Check if a field name is valid
+ * @param field - Field name to check
+ * @returns true if valid
+ */
+export declare function isValidField(field: string): field is FilterField;
+//# sourceMappingURL=fields.d.ts.map

package/dist/filter/fields.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fields.d.ts","sourceRoot":"","sources":["../../src/filter/fields.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE9C,uDAAuD;AACvD,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,WAAW,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,QAAQ,GAAG,QAAQ,CAAC;IAC1B,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,gDAAgD;AAChD,eAAO,MAAM,aAAa,EAAE,eAAe,EA6D1C,CAAC;AAEF,+CAA+C;AAC/C,eAAO,MAAM,YAAY,EAAE,GAAG,CAAC,MAAM,CAA6C,CAAC;AAEnF;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,eAAe,EAAE,CAG/D;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,WAAW,CAEhE"}

package/dist/filter/fields.js

@@ -0,0 +1,89 @@
+/**
+ * Filter Field Definitions
+ *
+ * Provides metadata for autocomplete and validation.
+ * No DOM dependencies - can be reused in CLI/Ledger.
+ */
+/** All supported filter fields with metadata */
+export const FILTER_FIELDS = [
+    {
+        name: 'session.id',
+        description: 'Session ID (ULID)',
+        type: 'string',
+    },
+    {
+        name: 'session.latency',
+        description: 'Total session latency (ms)',
+        type: 'number',
+    },
+    {
+        name: 'rpc.id',
+        description: 'RPC call ID',
+        type: 'string',
+    },
+    {
+        name: 'rpc.method',
+        description: 'RPC method name',
+        type: 'string',
+        examples: ['initialize', 'tools/call', 'tools/list', 'resources/list', 'prompts/list'],
+    },
+    {
+        name: 'rpc.status',
+        description: 'RPC status',
+        type: 'string',
+        examples: ['ok', 'err', 'pending'],
+    },
+    {
+        name: 'rpc.latency',
+        description: 'RPC latency (ms)',
+        type: 'number',
+    },
+    {
+        name: 'tools.method',
+        description: 'Tool method (alias of tools.name)',
+        type: 'string',
+    },
+    {
+        name: 'tools.name',
+        description: 'Called tool name',
+        type: 'string',
+    },
+    {
+        name: 'event.kind',
+        description: 'Event kind',
+        type: 'string',
+        examples: ['request', 'response', 'notification', 'transport_event'],
+    },
+    {
+        name: 'event.type',
+        description: 'Transport event type',
+        type: 'string',
+        examples: ['connected', 'disconnected'],
+    },
+    {
+        name: 'direction',
+        description: 'Message direction',
+        type: 'string',
+        examples: ['req', 'res', 'trans'],
+    },
+];
+/** Set of valid field names for fast lookup */
+export const VALID_FIELDS = new Set(FILTER_FIELDS.map((f) => f.name));
+/**
+ * Suggest fields matching a prefix (for autocomplete)
+ * @param prefix - The prefix to match (case-insensitive)
+ * @returns Array of matching field definitions
+ */
+export function suggestFields(prefix) {
+    const lower = prefix.toLowerCase();
+    return FILTER_FIELDS.filter((f) => f.name.startsWith(lower));
+}
+/**
+ * Check if a field name is valid
+ * @param field - Field name to check
+ * @returns true if valid
+ */
+export function isValidField(field) {
+    return VALID_FIELDS.has(field);
+}
+//# sourceMappingURL=fields.js.map

package/dist/filter/fields.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fields.js","sourceRoot":"","sources":["../../src/filter/fields.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAYH,gDAAgD;AAChD,MAAM,CAAC,MAAM,aAAa,GAAsB;IAC9C;QACE,IAAI,EAAE,YAAY;QAClB,WAAW,EAAE,mBAAmB;QAChC,IAAI,EAAE,QAAQ;KACf;IACD;QACE,IAAI,EAAE,iBAAiB;QACvB,WAAW,EAAE,4BAA4B;QACzC,IAAI,EAAE,QAAQ;KACf;IACD;QACE,IAAI,EAAE,QAAQ;QACd,WAAW,EAAE,aAAa;QAC1B,IAAI,EAAE,QAAQ;KACf;IACD;QACE,IAAI,EAAE,YAAY;QAClB,WAAW,EAAE,iBAAiB;QAC9B,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,CAAC,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,gBAAgB,EAAE,cAAc,CAAC;KACvF;IACD;QACE,IAAI,EAAE,YAAY;QAClB,WAAW,EAAE,YAAY;QACzB,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC;KACnC;IACD;QACE,IAAI,EAAE,aAAa;QACnB,WAAW,EAAE,kBAAkB;QAC/B,IAAI,EAAE,QAAQ;KACf;IACD;QACE,IAAI,EAAE,cAAc;QACpB,WAAW,EAAE,mCAAmC;QAChD,IAAI,EAAE,QAAQ;KACf;IACD;QACE,IAAI,EAAE,YAAY;QAClB,WAAW,EAAE,kBAAkB;QAC/B,IAAI,EAAE,QAAQ;KACf;IACD;QACE,IAAI,EAAE,YAAY;QAClB,WAAW,EAAE,YAAY;QACzB,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,cAAc,EAAE,iBAAiB,CAAC;KACrE;IACD;QACE,IAAI,EAAE,YAAY;QAClB,WAAW,EAAE,sBAAsB;QACnC,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,CAAC,WAAW,EAAE,cAAc,CAAC;KACxC;IACD;QACE,IAAI,EAAE,WAAW;QACjB,WAAW,EAAE,mBAAmB;QAChC,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC;KAClC;CACF,CAAC;AAEF,+CAA+C;AAC/C,MAAM,CAAC,MAAM,YAAY,GAAgB,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAEnF;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,MAAc;IAC1C,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IACnC,OAAO,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;AAC/D,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,KAAa;IACxC,OAAO,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AACjC,CAAC"}

package/dist/filter/index.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Filter DSL v0.1
+ *
+ * Public API for filter parsing and evaluation.
+ * No DOM dependencies - can be reused in CLI/Ledger.
+ */
+export type { FilterAst, FilterCondition, FilterContext, FilterField, FilterOperator, ParseResult, } from './types.js';
+export type { FieldDefinition } from './fields.js';
+export { FILTER_FIELDS, VALID_FIELDS, isValidField, suggestFields } from './fields.js';
+export { parseFilter } from './parser.js';
+export { evaluateFilter } from './evaluator.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/filter/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,YAAY,EACV,SAAS,EACT,eAAe,EACf,aAAa,EACb,WAAW,EACX,cAAc,EACd,WAAW,GACZ,MAAM,YAAY,CAAC;AAGpB,YAAY,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAGvF,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAG1C,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/filter/index.js

@@ -0,0 +1,12 @@
+/**
+ * Filter DSL v0.1
+ *
+ * Public API for filter parsing and evaluation.
+ * No DOM dependencies - can be reused in CLI/Ledger.
+ */
+export { FILTER_FIELDS, VALID_FIELDS, isValidField, suggestFields } from './fields.js';
+// Parser
+export { parseFilter } from './parser.js';
+// Evaluator
+export { evaluateFilter } from './evaluator.js';
+//# sourceMappingURL=index.js.map

package/dist/filter/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/filter/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAcH,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAEvF,SAAS;AACT,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1C,YAAY;AACZ,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/filter/parser.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Filter DSL v0.1 Parser
+ *
+ * Grammar:
+ *   filter     = condition ( condition )*
+ *   condition  = field operator value
+ *   field      = identifier ( '.' identifier )?
+ *   operator   = '==' | '!=' | '~=' | '>' | '<'
+ *   value      = string_literal | number_literal
+ *
+ * String literals: "value" or 'value'
+ * Numbers: 123 or 123.45 or -123
+ *
+ * No DOM dependencies - can be reused in CLI/Ledger.
+ */
+import type { ParseResult } from './types.js';
+/**
+ * Parse a filter expression into an AST
+ * @param input - The filter expression (optionally prefixed with "filter:")
+ * @returns ParseResult with AST or error
+ */
+export declare function parseFilter(input: string): ParseResult;
+//# sourceMappingURL=parser.d.ts.map

package/dist/filter/parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../src/filter/parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,EAA2D,WAAW,EAAE,MAAM,YAAY,CAAC;AAMvG;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAuDtD"}

package/dist/filter/parser.js

@@ -0,0 +1,195 @@
+/**
+ * Filter DSL v0.1 Parser
+ *
+ * Grammar:
+ *   filter     = condition ( condition )*
+ *   condition  = field operator value
+ *   field      = identifier ( '.' identifier )?
+ *   operator   = '==' | '!=' | '~=' | '>' | '<'
+ *   value      = string_literal | number_literal
+ *
+ * String literals: "value" or 'value'
+ * Numbers: 123 or 123.45 or -123
+ *
+ * No DOM dependencies - can be reused in CLI/Ledger.
+ */
+import { isValidField } from './fields.js';
+/** Valid operators in order of length (longest first for matching) */
+const OPERATORS = ['==', '!=', '~=', '>', '<'];
+/**
+ * Parse a filter expression into an AST
+ * @param input - The filter expression (optionally prefixed with "filter:")
+ * @returns ParseResult with AST or error
+ */
+export function parseFilter(input) {
+    // Strip optional "filter:" prefix for copy/paste compatibility
+    let trimmed = input.trim();
+    if (trimmed.toLowerCase().startsWith('filter:')) {
+        trimmed = trimmed.slice(7).trim();
+    }
+    // Empty filter matches everything
+    if (!trimmed) {
+        return { ok: true, ast: { conditions: [] } };
+    }
+    const conditions = [];
+    let pos = 0;
+    while (pos < trimmed.length) {
+        // Skip whitespace
+        pos = skipWhitespace(trimmed, pos);
+        if (pos >= trimmed.length)
+            break;
+        // Parse field
+        const fieldResult = parseField(trimmed, pos);
+        if (!fieldResult.ok) {
+            return { ok: false, error: fieldResult.error, position: fieldResult.position };
+        }
+        pos = fieldResult.pos;
+        // Skip whitespace
+        pos = skipWhitespace(trimmed, pos);
+        // Parse operator
+        const opResult = parseOperator(trimmed, pos);
+        if (!opResult.ok) {
+            return { ok: false, error: opResult.error, position: opResult.position };
+        }
+        pos = opResult.pos;
+        // Skip whitespace
+        pos = skipWhitespace(trimmed, pos);
+        // Parse value
+        const valResult = parseValue(trimmed, pos);
+        if (!valResult.ok) {
+            return { ok: false, error: valResult.error, position: valResult.position };
+        }
+        pos = valResult.pos;
+        conditions.push({
+            field: fieldResult.field,
+            operator: opResult.operator,
+            value: valResult.value,
+        });
+    }
+    return { ok: true, ast: { conditions } };
+}
+/** Skip whitespace characters */
+function skipWhitespace(input, pos) {
+    while (pos < input.length && /\s/.test(input[pos])) {
+        pos++;
+    }
+    return pos;
+}
+/** Parse a field name (e.g., "rpc.method") */
+function parseField(input, pos) {
+    const start = pos;
+    // Read identifier characters (letters, digits, dots, underscores)
+    while (pos < input.length && /[a-zA-Z0-9_.]/.test(input[pos])) {
+        pos++;
+    }
+    if (pos === start) {
+        return { ok: false, error: `Expected field name at char ${start + 1}`, position: start };
+    }
+    const field = input.slice(start, pos);
+    if (!isValidField(field)) {
+        return { ok: false, error: `Unknown field '${field}' at char ${start + 1}`, position: start };
+    }
+    return { ok: true, field, pos };
+}
+/** Parse an operator (==, !=, ~=, >, <) */
+function parseOperator(input, pos) {
+    for (const op of OPERATORS) {
+        if (input.slice(pos, pos + op.length) === op) {
+            return { ok: true, operator: op, pos: pos + op.length };
+        }
+    }
+    return {
+        ok: false,
+        error: `Expected operator (==, !=, ~=, >, <) at char ${pos + 1}`,
+        position: pos,
+    };
+}
+/** Parse a value (string literal or number) */
+function parseValue(input, pos) {
+    if (pos >= input.length) {
+        return { ok: false, error: `Expected value at char ${pos + 1}`, position: pos };
+    }
+    const char = input[pos];
+    // String literal with double quotes
+    if (char === '"') {
+        return parseStringLiteral(input, pos, '"');
+    }
+    // String literal with single quotes
+    if (char === "'") {
+        return parseStringLiteral(input, pos, "'");
+    }
+    // Number (including negative)
+    if (/[0-9\-]/.test(char)) {
+        return parseNumber(input, pos);
+    }
+    // Unquoted identifier (for convenience)
+    if (/[a-zA-Z_]/.test(char)) {
+        return parseUnquotedValue(input, pos);
+    }
+    return { ok: false, error: `Unexpected character '${char}' at char ${pos + 1}`, position: pos };
+}
+/** Parse a quoted string literal */
+function parseStringLiteral(input, pos, quote) {
+    const start = pos;
+    pos++; // Skip opening quote
+    let value = '';
+    while (pos < input.length) {
+        const char = input[pos];
+        if (char === quote) {
+            return { ok: true, value, pos: pos + 1 };
+        }
+        if (char === '\\' && pos + 1 < input.length) {
+            // Handle escape sequences
+            const next = input[pos + 1];
+            if (next === quote || next === '\\') {
+                value += next;
+                pos += 2;
+                continue;
+            }
+        }
+        value += char;
+        pos++;
+    }
+    return { ok: false, error: `Unterminated string starting at char ${start + 1}`, position: start };
+}
+/** Parse a number (integer or decimal) */
+function parseNumber(input, pos) {
+    const start = pos;
+    // Optional negative sign
+    if (input[pos] === '-') {
+        pos++;
+    }
+    // Must have at least one digit
+    if (pos >= input.length || !/[0-9]/.test(input[pos])) {
+        return { ok: false, error: `Expected number at char ${start + 1}`, position: start };
+    }
+    // Integer part
+    while (pos < input.length && /[0-9]/.test(input[pos])) {
+        pos++;
+    }
+    // Optional decimal part
+    if (pos < input.length && input[pos] === '.') {
+        pos++;
+        while (pos < input.length && /[0-9]/.test(input[pos])) {
+            pos++;
+        }
+    }
+    const numStr = input.slice(start, pos);
+    const value = Number(numStr);
+    if (isNaN(value)) {
+        return { ok: false, error: `Invalid number '${numStr}' at char ${start + 1}`, position: start };
+    }
+    return { ok: true, value, pos };
+}
+/** Parse an unquoted value (for convenience, e.g., ok instead of "ok") */
+function parseUnquotedValue(input, pos) {
+    const start = pos;
+    while (pos < input.length && /[a-zA-Z0-9_/\-]/.test(input[pos])) {
+        pos++;
+    }
+    if (pos === start) {
+        return { ok: false, error: `Expected value at char ${start + 1}`, position: start };
+    }
+    return { ok: true, value: input.slice(start, pos), pos };
+}
+//# sourceMappingURL=parser.js.map

package/dist/filter/parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.js","sourceRoot":"","sources":["../../src/filter/parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C,sEAAsE;AACtE,MAAM,SAAS,GAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAEjE;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,KAAa;IACvC,+DAA+D;IAC/D,IAAI,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IAC3B,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAChD,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACpC,CAAC;IAED,kCAAkC;IAClC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,CAAC;IAC/C,CAAC;IAED,MAAM,UAAU,GAAsB,EAAE,CAAC;IACzC,IAAI,GAAG,GAAG,CAAC,CAAC;IAEZ,OAAO,GAAG,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QAC5B,kBAAkB;QAClB,GAAG,GAAG,cAAc,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACnC,IAAI,GAAG,IAAI,OAAO,CAAC,MAAM;YAAE,MAAM;QAEjC,cAAc;QACd,MAAM,WAAW,GAAG,UAAU,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC7C,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC;YACpB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,QAAQ,EAAE,WAAW,CAAC,QAAQ,EAAE,CAAC;QACjF,CAAC;QACD,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC;QAEtB,kBAAkB;QAClB,GAAG,GAAG,cAAc,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAEnC,iBAAiB;QACjB,MAAM,QAAQ,GAAG,aAAa,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC7C,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YACjB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC;QAC3E,CAAC;QACD,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC;QAEnB,kBAAkB;QAClB,GAAG,GAAG,cAAc,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAEnC,cAAc;QACd,MAAM,SAAS,GAAG,UAAU,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC3C,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC;YAClB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,CAAC;QAC7E,CAAC;QACD,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC;QAEpB,UAAU,CAAC,IAAI,CAAC;YACd,KAAK,EAAE,WAAW,CAAC,KAAK;YACxB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,KAAK,EAAE,SAAS,CAAC,KAAK;SACvB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,UAAU,EAAE,EAAE,CAAC;AAC3C,CAAC;AAED,iCAAiC;AACjC,SAAS,cAAc,CAAC,KAAa,EAAE,GAAW;IAChD,OAAO,GAAG,GAAG,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACnD,GAAG,EAAE,CAAC;IACR,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,8CAA8C;AAC9C,SAAS,UAAU,CACjB,KAAa,EACb,GAAW;IAEX,MAAM,KAAK,GAAG,GAAG,CAAC;IAElB,kEAAkE;IAClE,OAAO,GAAG,GAAG,KAAK,CAAC,MAAM,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QAC9D,GAAG,EAAE,CAAC;IACR,CAAC;IAED,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;QAClB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,+BAA+B,KAAK,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAC3F,CAAC;IAED,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAEtC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,kBAAkB,KAAK,aAAa,KAAK,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAChG,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;AAClC,CAAC;AAED,2CAA2C;AAC3C,SAAS,aAAa,CACpB,KAAa,EACb,GAAW;IAEX,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC;YAC7C,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC;QAC1D,CAAC;IACH,CAAC;IAED,OAAO;QACL,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,gDAAgD,GAAG,GAAG,CAAC,EAAE;QAChE,QAAQ,EAAE,GAAG;KACd,CAAC;AACJ,CAAC;AAED,+CAA+C;AAC/C,SAAS,UAAU,CACjB,KAAa,EACb,GAAW;IAEX,IAAI,GAAG,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACxB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,0BAA0B,GAAG,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;IAClF,CAAC;IAED,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;IAExB,oCAAoC;IACpC,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;QACjB,OAAO,kBAAkB,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC7C,CAAC;IAED,oCAAoC;IACpC,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;QACjB,OAAO,kBAAkB,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC7C,CAAC;IAED,8BAA8B;IAC9B,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACjC,CAAC;IAED,wCAAwC;IACxC,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,kBAAkB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACxC,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,yBAAyB,IAAI,aAAa,GAAG,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;AAClG,CAAC;AAED,oCAAoC;AACpC,SAAS,kBAAkB,CACzB,KAAa,EACb,GAAW,EACX,KAAgB;IAEhB,MAAM,KAAK,GAAG,GAAG,CAAC;IAClB,GAAG,EAAE,CAAC,CAAC,qBAAqB;IAE5B,IAAI,KAAK,GAAG,EAAE,CAAC;IACf,OAAO,GAAG,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;QAExB,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;YACnB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC;QAC3C,CAAC;QAED,IAAI,IAAI,KAAK,IAAI,IAAI,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;YAC5C,0BAA0B;YAC1B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;YAC5B,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBACpC,KAAK,IAAI,IAAI,CAAC;gBACd,GAAG,IAAI,CAAC,CAAC;gBACT,SAAS;YACX,CAAC;QACH,CAAC;QAED,KAAK,IAAI,IAAI,CAAC;QACd,GAAG,EAAE,CAAC;IACR,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,wCAAwC,KAAK,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AACpG,CAAC;AAED,0CAA0C;AAC1C,SAAS,WAAW,CAClB,KAAa,EACb,GAAW;IAEX,MAAM,KAAK,GAAG,GAAG,CAAC;IAElB,yBAAyB;IACzB,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,GAAG,EAAE,CAAC;QACvB,GAAG,EAAE,CAAC;IACR,CAAC;IAED,+BAA+B;IAC/B,IAAI,GAAG,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACrD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,2BAA2B,KAAK,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACvF,CAAC;IAED,eAAe;IACf,OAAO,GAAG,GAAG,KAAK,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACtD,GAAG,EAAE,CAAC;IACR,CAAC;IAED,wBAAwB;IACxB,IAAI,GAAG,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,GAAG,EAAE,CAAC;QAC7C,GAAG,EAAE,CAAC;QACN,OAAO,GAAG,GAAG,KAAK,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YACtD,GAAG,EAAE,CAAC;QACR,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACvC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAE7B,IAAI,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACjB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,mBAAmB,MAAM,aAAa,KAAK,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAClG,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;AAClC,CAAC;AAED,0EAA0E;AAC1E,SAAS,kBAAkB,CACzB,KAAa,EACb,GAAW;IAEX,MAAM,KAAK,GAAG,GAAG,CAAC;IAElB,OAAO,GAAG,GAAG,KAAK,CAAC,MAAM,IAAI,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QAChE,GAAG,EAAE,CAAC;IACR,CAAC;IAED,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;QAClB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,0BAA0B,KAAK,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACtF,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;AAC3D,CAAC"}

package/dist/filter/types.d.ts

@@ -0,0 +1,35 @@
+/**
+ * Filter DSL v0.1 Types
+ *
+ * Single-line expression: `rpc.method == "tools/call" rpc.status == "ok"`
+ * Conditions are space-separated (implicit AND).
+ */
+/** Supported comparison operators */
+export type FilterOperator = '==' | '!=' | '~=' | '>' | '<';
+/** Supported field paths */
+export type FilterField = 'session.id' | 'session.latency' | 'rpc.id' | 'rpc.method' | 'rpc.status' | 'rpc.latency' | 'tools.method' | 'tools.name' | 'event.kind' | 'event.type' | 'direction';
+/** Single condition in the filter expression */
+export interface FilterCondition {
+    field: FilterField;
+    operator: FilterOperator;
+    value: string | number;
+}
+/** Parsed filter AST (implicit AND of all conditions) */
+export interface FilterAst {
+    conditions: FilterCondition[];
+}
+/** Parser result with success/error status */
+export type ParseResult = {
+    ok: true;
+    ast: FilterAst;
+} | {
+    ok: false;
+    error: string;
+    position?: number;
+};
+/**
+ * Evaluation context - the data record to evaluate.
+ * Uses FilterField as keys for direct access in evaluator.
+ */
+export type FilterContext = Partial<Record<FilterField, string | number | null>>;
+//# sourceMappingURL=types.d.ts.map

package/dist/filter/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/filter/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,qCAAqC;AACrC,MAAM,MAAM,cAAc,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,GAAG,GAAG,GAAG,CAAC;AAE5D,4BAA4B;AAC5B,MAAM,MAAM,WAAW,GACnB,YAAY,GACZ,iBAAiB,GACjB,QAAQ,GACR,YAAY,GACZ,YAAY,GACZ,aAAa,GACb,cAAc,GACd,YAAY,GACZ,YAAY,GACZ,YAAY,GACZ,WAAW,CAAC;AAEhB,gDAAgD;AAChD,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,WAAW,CAAC;IACnB,QAAQ,EAAE,cAAc,CAAC;IACzB,KAAK,EAAE,MAAM,GAAG,MAAM,CAAC;CACxB;AAED,yDAAyD;AACzD,MAAM,WAAW,SAAS;IACxB,UAAU,EAAE,eAAe,EAAE,CAAC;CAC/B;AAED,8CAA8C;AAC9C,MAAM,MAAM,WAAW,GACnB;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,GAAG,EAAE,SAAS,CAAA;CAAE,GAC5B;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpD;;;GAGG;AACH,MAAM,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC"}

package/dist/filter/types.js

@@ -0,0 +1,8 @@
+/**
+ * Filter DSL v0.1 Types
+ *
+ * Single-line expression: `rpc.method == "tools/call" rpc.status == "ok"`
+ * Conditions are space-separated (implicit AND).
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/filter/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/filter/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}

package/dist/html/templates.js

@@ -2572,7 +2572,7 @@ function renderTopTools(topTools) {
     const rows = topTools.items
         .map((tool, idx) => {
         return `
-      <div class="top-tool-row">
+      <div class="top-tool-row" data-tool-name="${escapeHtml(tool.name)}">
         <span class="top-tool-rank">${idx + 1}.</span>
         <span class="top-tool-name" title="${escapeHtml(tool.name)}">${escapeHtml(tool.name)}</span>
         <div class="top-tool-bar-container">