@defai.digital/ax-cli 4.4.6 → 4.4.10

package/dist/mcp/invariants.js

@@ -1,243 +0,0 @@
-/**
- * Runtime Invariant Validation
- *
- * This file provides runtime checks for logical invariants that TypeScript
- * cannot verify at compile-time. These catch the "30% logic bugs" that
- * slip through type checking.
- *
- * Philosophy: Fail Fast & Loud
- * - Detect bugs immediately when invariant is violated
- * - Throw descriptive errors with context
- * - Better to crash than silently corrupt data
- */
-/**
- * Invariant check - throws if condition is false
- *
- * Use this for conditions that MUST be true for correctness
- */
-export function invariant(condition, message, context) {
-    if (!condition) {
-        const fullMessage = context
-            ? `Invariant violation: ${message}\nContext: ${JSON.stringify(context, null, 2)}`
-            : `Invariant violation: ${message}`;
-        throw new InvariantViolationError(fullMessage);
-    }
-}
-/**
- * Custom error for invariant violations
- */
-export class InvariantViolationError extends Error {
-    constructor(message) {
-        super(message);
-        this.name = 'InvariantViolationError';
-    }
-}
-/**
- * Assert array is non-empty
- */
-export function assertNonEmpty(array, message = 'Array must not be empty') {
-    invariant(array.length > 0, message, { arrayLength: array.length });
-}
-/**
- * Assert value is defined (not null or undefined)
- */
-export function assertDefined(value, message = 'Value must be defined') {
-    invariant(value !== null && value !== undefined, message, { value });
-}
-/**
- * Assert number is positive
- */
-export function assertPositive(value, message = 'Number must be positive') {
-    invariant(value > 0, message, { value });
-}
-/**
- * Assert number is non-negative
- */
-export function assertNonNegative(value, message = 'Number must be non-negative') {
-    invariant(value >= 0, message, { value });
-}
-/**
- * Assert string is non-empty
- */
-export function assertNonEmptyString(value, message = 'String must not be empty') {
-    invariant(value.trim().length > 0, message, { value, length: value.length });
-}
-/**
- * Assert value is within range
- */
-export function assertInRange(value, min, max, message) {
-    const msg = message || `Value must be between ${min} and ${max}`;
-    invariant(value >= min && value <= max, msg, { value, min, max });
-}
-/**
- * Assert map has key
- */
-export function assertHasKey(map, key, message) {
-    const msg = message || `Map must contain key`;
-    invariant(map.has(key), msg, { key, mapSize: map.size });
-}
-/**
- * Assert object has property
- */
-export function assertHasProperty(obj, key, message) {
-    const msg = message || `Object must have property "${key}"`;
-    invariant(key in obj, msg, { key, objectKeys: Object.keys(obj) });
-}
-/**
- * MCP-SPECIFIC INVARIANTS
- */
-/**
- * Assert connection state is valid
- */
-export function assertValidConnectionState(state, validStates) {
-    invariant(validStates.includes(state), `Invalid connection state: "${state}"`, { state, validStates });
-}
-/**
- * Assert server name is valid format
- */
-export function assertValidServerName(name) {
-    invariant(/^[a-z0-9-_]+$/i.test(name), `Invalid server name format: "${name}"`, { name, pattern: '^[a-z0-9-_]+$' });
-    invariant(name.length >= 1 && name.length <= 64, `Server name length must be between 1 and 64 characters`, { name, length: name.length });
-}
-/**
- * Assert migration result is successful
- */
-export function assertMigrationSuccess(result, context) {
-    const message = context
-        ? `Migration must succeed: ${context}`
-        : 'Migration must succeed';
-    invariant(result.success, message, { error: result.error });
-}
-/**
- * Assert no duplicate server names
- */
-export function assertNoDuplicates(servers, message = 'Server names must be unique') {
-    const names = servers.map(s => s.name);
-    const unique = new Set(names);
-    invariant(names.length === unique.size, message, {
-        totalServers: names.length,
-        uniqueServers: unique.size,
-        duplicates: names.filter((name, index) => names.indexOf(name) !== index)
-    });
-}
-/**
- * Assert mutex is locked
- */
-export function assertMutexLocked(isLocked, key, message = 'Mutex must be locked before operation') {
-    invariant(isLocked, message, { key });
-}
-/**
- * Assert mutex is unlocked
- */
-export function assertMutexUnlocked(isLocked, key, message = 'Mutex must be unlocked before operation') {
-    invariant(!isLocked, message, { key });
-}
-/**
- * Assert resource is not disposed
- */
-export function assertNotDisposed(disposed, resourceName, message) {
-    const msg = message || `Resource "${resourceName}" must not be disposed`;
-    invariant(!disposed, msg, { resourceName, disposed });
-}
-/**
- * Assert exactly one of multiple conditions is true
- */
-export function assertExactlyOne(conditions, labels, message = 'Exactly one condition must be true') {
-    const trueCount = conditions.filter(Boolean).length;
-    invariant(trueCount === 1, message, {
-        trueCount,
-        conditions: conditions.map((cond, i) => ({ label: labels[i], value: cond }))
-    });
-}
-/**
- * Assert at least one condition is true
- */
-export function assertAtLeastOne(conditions, labels, message = 'At least one condition must be true') {
-    const trueCount = conditions.filter(Boolean).length;
-    invariant(trueCount >= 1, message, {
-        trueCount,
-        conditions: conditions.map((cond, i) => ({ label: labels[i], value: cond }))
-    });
-}
-/**
- * Assert config is in expected format
- */
-export function assertConfigFormat(config, expectedFormat, serverName) {
-    const isLegacy = config.command && !config.transport;
-    const isModern = config.transport && config.transport.type;
-    if (expectedFormat === 'legacy') {
-        invariant(isLegacy, `Config for "${serverName}" must be in legacy format`, { config, serverName });
-    }
-    else {
-        invariant(isModern, `Config for "${serverName}" must be in modern format`, { config, serverName });
-    }
-}
-/**
- * Assert config has required fields
- */
-export function assertConfigHasFields(config, requiredFields, serverName) {
-    for (const field of requiredFields) {
-        invariant(field in config && config[field] !== undefined, `Config for "${serverName}" missing required field: ${field}`, { config, serverName, missingField: field, requiredFields });
-    }
-}
-/**
- * USAGE PATTERNS
- */
-/**
- * Pattern 1: Guard functions
- */
-export function guardedConnect(serverName, config) {
-    // Runtime checks that complement TypeScript
-    assertValidServerName(serverName);
-    assertDefined(config, `Config for "${serverName}" must be defined`);
-    assertConfigHasFields(config, ['name', 'transport'], serverName);
-    // Now safe to proceed - invariants verified
-    console.log(`Connecting to ${serverName}`);
-}
-/**
- * Pattern 2: State validation
- */
-export function validateConnectionState(state, expectedStates) {
-    assertValidConnectionState(state, expectedStates);
-}
-/**
- * Pattern 3: Pre/Post conditions
- */
-export function criticalOperation(value) {
-    // Precondition
-    assertPositive(value, 'Input must be positive');
-    const result = value * 2;
-    // Postcondition
-    assertPositive(result, 'Result must be positive');
-    invariant(result > value, 'Result must be greater than input', { value, result });
-    return result;
-}
-/**
- * Pattern 4: Loop invariants
- */
-export function processServers(servers) {
-    assertNonEmpty(servers, 'Must have at least one server');
-    for (let i = 0; i < servers.length; i++) {
-        // Loop invariant: i is in valid range
-        assertInRange(i, 0, servers.length - 1, `Index out of bounds`);
-        const server = servers[i];
-        assertDefined(server, `Server at index ${i} must be defined`);
-        assertValidServerName(server.name);
-        // Process server...
-    }
-}
-/**
- * Pattern 5: Resource management
- */
-export class Resource {
-    disposed = false;
-    use() {
-        assertNotDisposed(this.disposed, 'Resource');
-        // Use resource...
-    }
-    dispose() {
-        assertNotDisposed(this.disposed, 'Resource');
-        this.disposed = true;
-    }
-}
-//# sourceMappingURL=invariants.js.map

package/dist/mcp/invariants.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"invariants.js","sourceRoot":"","sources":["../../src/mcp/invariants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH;;;;GAIG;AACH,MAAM,UAAU,SAAS,CACvB,SAAkB,EAClB,OAAe,EACf,OAAiC;IAEjC,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,WAAW,GAAG,OAAO;YACzB,CAAC,CAAC,wBAAwB,OAAO,cAAc,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE;YACjF,CAAC,CAAC,wBAAwB,OAAO,EAAE,CAAC;QAEtC,MAAM,IAAI,uBAAuB,CAAC,WAAW,CAAC,CAAC;IACjD,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,OAAO,uBAAwB,SAAQ,KAAK;IAChD,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;IACxC,CAAC;CACF;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAC5B,KAAU,EACV,UAAkB,yBAAyB;IAE3C,SAAS,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,OAAO,EAAE,EAAE,WAAW,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;AACtE,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAC3B,KAA2B,EAC3B,UAAkB,uBAAuB;IAEzC,SAAS,CAAC,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;AACvE,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAC5B,KAAa,EACb,UAAkB,yBAAyB;IAE3C,SAAS,CAAC,KAAK,GAAG,CAAC,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;AAC3C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAC/B,KAAa,EACb,UAAkB,6BAA6B;IAE/C,SAAS,CAAC,KAAK,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;AAC5C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAClC,KAAa,EACb,UAAkB,0BAA0B;IAE5C,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;AAC/E,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAC3B,KAAa,EACb,GAAW,EACX,GAAW,EACX,OAAgB;IAEhB,MAAM,GAAG,GAAG,OAAO,IAAI,yBAAyB,GAAG,QAAQ,GAAG,EAAE,CAAC;IACjE,SAAS,CAAC,KAAK,IAAI,GAAG,IAAI,KAAK,IAAI,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACpE,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAC1B,GAAc,EACd,GAAM,EACN,OAAgB;IAEhB,MAAM,GAAG,GAAG,OAAO,IAAI,sBAAsB,CAAC;IAC9C,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;AAC3D,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAC/B,GAAM,EACN,GAAM,EACN,OAAgB;IAEhB,MAAM,GAAG,GAAG,OAAO,IAAI,8BAA8B,GAAG,GAAG,CAAC;IAC5D,SAAS,CAAC,GAAG,IAAI,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACpE,CAAC;AAED;;GAEG;AAEH;;GAEG;AACH,MAAM,UAAU,0BAA0B,CACxC,KAAa,EACb,WAA8B;IAE9B,SAAS,CACP,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,EAC3B,8BAA8B,KAAK,GAAG,EACtC,EAAE,KAAK,EAAE,WAAW,EAAE,CACvB,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,SAAS,CACP,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAC3B,gCAAgC,IAAI,GAAG,EACvC,EAAE,IAAI,EAAE,OAAO,EAAE,eAAe,EAAE,CACnC,CAAC;IAEF,SAAS,CACP,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,IAAI,EAAE,EACrC,wDAAwD,EACxD,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAC9B,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,sBAAsB,CACpC,MAAoD,EACpD,OAAgB;IAEhB,MAAM,OAAO,GAAG,OAAO;QACrB,CAAC,CAAC,2BAA2B,OAAO,EAAE;QACtC,CAAC,CAAC,wBAAwB,CAAC;IAE7B,SAAS,CACP,MAAM,CAAC,OAAO,EACd,OAAO,EACP,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CACxB,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAChC,OAAgC,EAChC,UAAkB,6BAA6B;IAE/C,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAE9B,SAAS,CACP,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,EAC5B,OAAO,EACP;QACE,YAAY,EAAE,KAAK,CAAC,MAAM;QAC1B,aAAa,EAAE,MAAM,CAAC,IAAI;QAC1B,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC;KACzE,CACF,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAC/B,QAAiB,EACjB,GAAW,EACX,UAAkB,uCAAuC;IAEzD,SAAS,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;AACxC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CACjC,QAAiB,EACjB,GAAW,EACX,UAAkB,yCAAyC;IAE3D,SAAS,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;AACzC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAC/B,QAAiB,EACjB,YAAoB,EACpB,OAAgB;IAEhB,MAAM,GAAG,GAAG,OAAO,IAAI,aAAa,YAAY,wBAAwB,CAAC;IACzE,SAAS,CAAC,CAAC,QAAQ,EAAE,GAAG,EAAE,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC,CAAC;AACxD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAC9B,UAAqB,EACrB,MAAgB,EAChB,UAAkB,oCAAoC;IAEtD,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;IAEpD,SAAS,CACP,SAAS,KAAK,CAAC,EACf,OAAO,EACP;QACE,SAAS;QACT,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;KAC7E,CACF,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAC9B,UAAqB,EACrB,MAAgB,EAChB,UAAkB,qCAAqC;IAEvD,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;IAEpD,SAAS,CACP,SAAS,IAAI,CAAC,EACd,OAAO,EACP;QACE,SAAS;QACT,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;KAC7E,CACF,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAChC,MAAW,EACX,cAAmC,EACnC,UAAkB;IAElB,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC;IACrD,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC;IAE3D,IAAI,cAAc,KAAK,QAAQ,EAAE,CAAC;QAChC,SAAS,CACP,QAAQ,EACR,eAAe,UAAU,4BAA4B,EACrD,EAAE,MAAM,EAAE,UAAU,EAAE,CACvB,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,SAAS,CACP,QAAQ,EACR,eAAe,UAAU,4BAA4B,EACrD,EAAE,MAAM,EAAE,UAAU,EAAE,CACvB,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CACnC,MAAW,EACX,cAAwB,EACxB,UAAkB;IAElB,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;QACnC,SAAS,CACP,KAAK,IAAI,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,SAAS,EAC9C,eAAe,UAAU,6BAA6B,KAAK,EAAE,EAC7D,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,KAAK,EAAE,cAAc,EAAE,CAC5D,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;GAEG;AAEH;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,UAAkB,EAAE,MAAW;IAC5D,4CAA4C;IAC5C,qBAAqB,CAAC,UAAU,CAAC,CAAC;IAClC,aAAa,CAAC,MAAM,EAAE,eAAe,UAAU,mBAAmB,CAAC,CAAC;IACpE,qBAAqB,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,UAAU,CAAC,CAAC;IAEjE,4CAA4C;IAC5C,OAAO,CAAC,GAAG,CAAC,iBAAiB,UAAU,EAAE,CAAC,CAAC;AAC7C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,uBAAuB,CACrC,KAAa,EACb,cAAwB;IAExB,0BAA0B,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;AACpD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAa;IAC7C,eAAe;IACf,cAAc,CAAC,KAAK,EAAE,wBAAwB,CAAC,CAAC;IAEhD,MAAM,MAAM,GAAG,KAAK,GAAG,CAAC,CAAC;IAEzB,gBAAgB;IAChB,cAAc,CAAC,MAAM,EAAE,yBAAyB,CAAC,CAAC;IAClD,SAAS,CAAC,MAAM,GAAG,KAAK,EAAE,mCAAmC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;IAElF,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,OAAgC;IAC7D,cAAc,CAAC,OAAO,EAAE,+BAA+B,CAAC,CAAC;IAEzD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,sCAAsC;QACtC,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,qBAAqB,CAAC,CAAC;QAE/D,MAAM,MAAM,GAAqB,OAAO,CAAC,CAAC,CAAC,CAAC;QAC5C,aAAa,CAAC,MAAM,EAAE,mBAAmB,CAAC,kBAAkB,CAAC,CAAC;QAC9D,qBAAqB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAEnC,oBAAoB;IACtB,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,OAAO,QAAQ;IACX,QAAQ,GAAG,KAAK,CAAC;IAEzB,GAAG;QACD,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QAC7C,kBAAkB;IACpB,CAAC;IAED,OAAO;QACL,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QAC7C,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;IACvB,CAAC;CACF"}

package/dist/mcp/mutex-safe.d.ts

@@ -1,151 +0,0 @@
-/**
- * Type-Safe Mutex Implementation
- *
- * This is an improved version of mutex.ts that uses advanced TypeScript
- * techniques to prevent logic bugs at compile-time.
- *
- * Improvements over basic mutex:
- * 1. Branded types for lock tokens (proves lock is held)
- * 2. Linear types (ensures release is called exactly once)
- * 3. Result types (explicit error handling)
- * 4. State tracking (prevents double-release)
- */
-import { Result } from './type-safety.js';
-/**
- * Lock Token - Opaque type that proves caller holds the lock
- *
- * This token can ONLY be created by the Mutex class when a lock is acquired.
- * Functions that require the lock can demand this token, proving at compile-time
- * that the caller has acquired the lock.
- */
-export declare class LockToken {
-    readonly key: string;
-    private readonly releaseFn;
-    private readonly __brand;
-    private _released;
-    private constructor();
-    /**
-     * Release the lock (can only be called once)
-     * This is a linear type - calling twice is a bug
-     */
-    release(): void;
-    /**
-     * Check if already released (for debugging)
-     */
-    isReleased(): boolean;
-    /**
-     * Internal factory - only Mutex can create tokens
-     */
-    static _create(key: string, releaseFn: () => void): LockToken;
-}
-/**
- * Improved Mutex with Type Safety
- *
- * Key improvements:
- * - Lock tokens prove ownership at compile-time
- * - Linear types prevent double-release
- * - State tracking prevents invalid operations
- * - Result types for explicit error handling
- */
-export declare class SafeMutex {
-    private state;
-    private queue;
-    /**
-     * Acquire the mutex lock
-     *
-     * Returns a LockToken that:
-     * 1. Proves the lock is held (compile-time)
-     * 2. Must be released exactly once (runtime check)
-     * 3. Cannot be counterfeited (private constructor)
-     */
-    acquire(key?: string): Promise<LockToken>;
-    /**
-     * Release the mutex lock
-     * Should only be called via LockToken.release()
-     */
-    private release;
-    /**
-     * Execute function with automatic lock management
-     *
-     * This is safer than manual acquire/release because:
-     * 1. Guarantees release even if fn throws
-     * 2. Prevents forgetting to release
-     * 3. Returns Result type for explicit error handling
-     */
-    runExclusive<T>(key: string, fn: () => Promise<T>): Promise<Result<T, Error>>;
-    /**
-     * Check if mutex is currently locked
-     */
-    isLocked(): boolean;
-    /**
-     * Get lock holder (for debugging)
-     */
-    getLockHolder(): string | null;
-    /**
-     * Get number of operations waiting for lock
-     */
-    getQueueLength(): number;
-    /**
-     * Get lock duration in milliseconds
-     */
-    getLockDuration(): number | null;
-}
-/**
- * Per-key mutex manager with type safety
- */
-export declare class SafeKeyedMutex {
-    private mutexes;
-    /** Get or create mutex for a key */
-    private getMutex;
-    /**
-     * Acquire mutex for a specific key
-     * Returns a LockToken that proves ownership
-     */
-    acquire(key: string): Promise<LockToken>;
-    /**
-     * Execute function with mutex protection for a specific key
-     * Returns Result type for explicit error handling
-     */
-    runExclusive<T>(key: string, fn: () => Promise<T>): Promise<Result<T, Error>>;
-    /**
-     * Check if a key is currently locked
-     */
-    isLocked(key: string): boolean;
-    /**
-     * Get lock holder for a key
-     */
-    getLockHolder(key: string): string | null;
-    /**
-     * Get number of operations waiting for a key
-     */
-    getQueueLength(key: string): number;
-    /**
-     * Get lock duration for a key
-     */
-    getLockDuration(key: string): number | null;
-    /**
-     * Clear mutex for a key (cleanup)
-     */
-    clear(key: string): void;
-    /**
-     * Clear all mutexes (cleanup)
-     */
-    clearAll(): void;
-    /**
-     * Get all active keys
-     */
-    getKeys(): string[];
-    /**
-     * Get diagnostic info for all locks
-     */
-    getDiagnostics(): Array<{
-        key: string;
-        locked: boolean;
-        holder: string | null;
-        queueLength: number;
-        duration: number | null;
-    }>;
-}
-/**
- * USAGE EXAMPLES - See tests/mcp/safe-mutex.bench.ts for comprehensive examples
- */

package/dist/mcp/mutex-safe.js

@@ -1,260 +0,0 @@
-/**
- * Type-Safe Mutex Implementation
- *
- * This is an improved version of mutex.ts that uses advanced TypeScript
- * techniques to prevent logic bugs at compile-time.
- *
- * Improvements over basic mutex:
- * 1. Branded types for lock tokens (proves lock is held)
- * 2. Linear types (ensures release is called exactly once)
- * 3. Result types (explicit error handling)
- * 4. State tracking (prevents double-release)
- */
-import { Ok, Err } from './type-safety.js';
-/**
- * Lock Token - Opaque type that proves caller holds the lock
- *
- * This token can ONLY be created by the Mutex class when a lock is acquired.
- * Functions that require the lock can demand this token, proving at compile-time
- * that the caller has acquired the lock.
- */
-export class LockToken {
-    key;
-    releaseFn;
-    // @ts-expect-error - Brand field is intentionally unused (for type safety only)
-    __brand;
-    // Track if released (for linear type checking)
-    _released = false;
-    constructor(key, releaseFn) {
-        this.key = key;
-        this.releaseFn = releaseFn;
-    }
-    /**
-     * Release the lock (can only be called once)
-     * This is a linear type - calling twice is a bug
-     */
-    release() {
-        if (this._released) {
-            throw new Error(`Lock token already released! Linear type violation for key: ${this.key}`);
-        }
-        this._released = true;
-        this.releaseFn();
-    }
-    /**
-     * Check if already released (for debugging)
-     */
-    isReleased() {
-        return this._released;
-    }
-    /**
-     * Internal factory - only Mutex can create tokens
-     */
-    static _create(key, releaseFn) {
-        return new LockToken(key, releaseFn);
-    }
-}
-/**
- * Improved Mutex with Type Safety
- *
- * Key improvements:
- * - Lock tokens prove ownership at compile-time
- * - Linear types prevent double-release
- * - State tracking prevents invalid operations
- * - Result types for explicit error handling
- */
-export class SafeMutex {
-    state = { status: 'unlocked' };
-    queue = [];
-    /**
-     * Acquire the mutex lock
-     *
-     * Returns a LockToken that:
-     * 1. Proves the lock is held (compile-time)
-     * 2. Must be released exactly once (runtime check)
-     * 3. Cannot be counterfeited (private constructor)
-     */
-    async acquire(key = 'default') {
-        // If locked, wait in queue
-        if (this.state.status === 'locked') {
-            await new Promise(resolve => {
-                this.queue.push(resolve);
-            });
-        }
-        // Acquire lock
-        this.state = {
-            status: 'locked',
-            acquiredAt: Date.now(),
-            key
-        };
-        // Create token with release function
-        const token = LockToken._create(key, () => {
-            this.release(key);
-        });
-        return token;
-    }
-    /**
-     * Release the mutex lock
-     * Should only be called via LockToken.release()
-     */
-    release(key) {
-        // Verify we're actually locked
-        if (this.state.status !== 'locked') {
-            throw new Error('Cannot release unlocked mutex');
-        }
-        // Verify key matches (prevents releasing wrong lock)
-        if (this.state.status === 'locked' && this.state.key !== key) {
-            throw new Error(`Key mismatch: trying to release lock for "${key}" but lock is held for "${this.state.key}"`);
-        }
-        // Release lock
-        this.state = { status: 'unlocked' };
-        // Notify next waiting operation
-        const next = this.queue.shift();
-        if (next) {
-            next();
-        }
-    }
-    /**
-     * Execute function with automatic lock management
-     *
-     * This is safer than manual acquire/release because:
-     * 1. Guarantees release even if fn throws
-     * 2. Prevents forgetting to release
-     * 3. Returns Result type for explicit error handling
-     */
-    async runExclusive(key, fn) {
-        const token = await this.acquire(key);
-        try {
-            const result = await fn();
-            return Ok(result);
-        }
-        catch (error) {
-            return Err(error instanceof Error ? error : new Error(String(error)));
-        }
-        finally {
-            // Always release, even if fn throws
-            if (!token.isReleased()) {
-                token.release();
-            }
-        }
-    }
-    /**
-     * Check if mutex is currently locked
-     */
-    isLocked() {
-        return this.state.status === 'locked';
-    }
-    /**
-     * Get lock holder (for debugging)
-     */
-    getLockHolder() {
-        return this.state.status === 'locked' ? this.state.key : null;
-    }
-    /**
-     * Get number of operations waiting for lock
-     */
-    getQueueLength() {
-        return this.queue.length;
-    }
-    /**
-     * Get lock duration in milliseconds
-     */
-    getLockDuration() {
-        if (this.state.status === 'locked') {
-            return Date.now() - this.state.acquiredAt;
-        }
-        return null;
-    }
-}
-/**
- * Per-key mutex manager with type safety
- */
-export class SafeKeyedMutex {
-    mutexes = new Map();
-    /** Get or create mutex for a key */
-    getMutex(key) {
-        const existing = this.mutexes.get(key);
-        if (existing)
-            return existing;
-        const mutex = new SafeMutex();
-        this.mutexes.set(key, mutex);
-        return mutex;
-    }
-    /**
-     * Acquire mutex for a specific key
-     * Returns a LockToken that proves ownership
-     */
-    async acquire(key) {
-        const mutex = this.getMutex(key);
-        return await mutex.acquire(key);
-    }
-    /**
-     * Execute function with mutex protection for a specific key
-     * Returns Result type for explicit error handling
-     */
-    async runExclusive(key, fn) {
-        const mutex = this.getMutex(key);
-        return await mutex.runExclusive(key, fn);
-    }
-    /**
-     * Check if a key is currently locked
-     */
-    isLocked(key) {
-        const mutex = this.mutexes.get(key);
-        return mutex ? mutex.isLocked() : false;
-    }
-    /**
-     * Get lock holder for a key
-     */
-    getLockHolder(key) {
-        const mutex = this.mutexes.get(key);
-        return mutex ? mutex.getLockHolder() : null;
-    }
-    /**
-     * Get number of operations waiting for a key
-     */
-    getQueueLength(key) {
-        const mutex = this.mutexes.get(key);
-        return mutex ? mutex.getQueueLength() : 0;
-    }
-    /**
-     * Get lock duration for a key
-     */
-    getLockDuration(key) {
-        const mutex = this.mutexes.get(key);
-        return mutex ? mutex.getLockDuration() : null;
-    }
-    /**
-     * Clear mutex for a key (cleanup)
-     */
-    clear(key) {
-        this.mutexes.delete(key);
-    }
-    /**
-     * Clear all mutexes (cleanup)
-     */
-    clearAll() {
-        this.mutexes.clear();
-    }
-    /**
-     * Get all active keys
-     */
-    getKeys() {
-        return Array.from(this.mutexes.keys());
-    }
-    /**
-     * Get diagnostic info for all locks
-     */
-    getDiagnostics() {
-        return Array.from(this.mutexes.entries()).map(([key, mutex]) => ({
-            key,
-            locked: mutex.isLocked(),
-            holder: mutex.getLockHolder(),
-            queueLength: mutex.getQueueLength(),
-            duration: mutex.getLockDuration()
-        }));
-    }
-}
-/**
- * USAGE EXAMPLES - See tests/mcp/safe-mutex.bench.ts for comprehensive examples
- */
-//# sourceMappingURL=mutex-safe.js.map

package/dist/mcp/mutex-safe.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"mutex-safe.js","sourceRoot":"","sources":["../../src/mcp/mutex-safe.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAU,EAAE,EAAE,GAAG,EAAE,MAAM,kBAAkB,CAAC;AAEnD;;;;;;GAMG;AACH,MAAM,OAAO,SAAS;IAQF;IACC;IARnB,gFAAgF;IAC/D,OAAO,CAAe;IAEvC,+CAA+C;IACvC,SAAS,GAAG,KAAK,CAAC;IAE1B,YACkB,GAAW,EACV,SAAqB;QADtB,QAAG,GAAH,GAAG,CAAQ;QACV,cAAS,GAAT,SAAS,CAAY;IACrC,CAAC;IAEJ;;;OAGG;IACH,OAAO;QACL,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACnB,MAAM,IAAI,KAAK,CAAC,+DAA+D,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QAC7F,CAAC;QAED,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC;QACtB,IAAI,CAAC,SAAS,EAAE,CAAC;IACnB,CAAC;IAED;;OAEG;IACH,UAAU;QACR,OAAO,IAAI,CAAC,SAAS,CAAC;IACxB,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,OAAO,CAAC,GAAW,EAAE,SAAqB;QAC/C,OAAO,IAAI,SAAS,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IACvC,CAAC;CACF;AASD;;;;;;;;GAQG;AACH,MAAM,OAAO,SAAS;IACZ,KAAK,GAAc,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;IAC1C,KAAK,GAAsB,EAAE,CAAC;IAEtC;;;;;;;OAOG;IACH,KAAK,CAAC,OAAO,CAAC,MAAc,SAAS;QACnC,2BAA2B;QAC3B,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACnC,MAAM,IAAI,OAAO,CAAO,OAAO,CAAC,EAAE;gBAChC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC3B,CAAC,CAAC,CAAC;QACL,CAAC;QAED,eAAe;QACf,IAAI,CAAC,KAAK,GAAG;YACX,MAAM,EAAE,QAAQ;YAChB,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE;YACtB,GAAG;SACJ,CAAC;QAEF,qCAAqC;QACrC,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE;YACxC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACpB,CAAC,CAAC,CAAC;QAEH,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;OAGG;IACK,OAAO,CAAC,GAAW;QACzB,+BAA+B;QAC/B,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACnC,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;QACnD,CAAC;QAED,qDAAqD;QACrD,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,EAAE,CAAC;YAC7D,MAAM,IAAI,KAAK,CAAC,6CAA6C,GAAG,2BAA2B,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC;QAChH,CAAC;QAED,eAAe;QACf,IAAI,CAAC,KAAK,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;QAEpC,gCAAgC;QAChC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,EAAE,CAAC;QACT,CAAC;IACH,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,YAAY,CAChB,GAAW,EACX,EAAoB;QAEpB,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAEtC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,EAAE,EAAE,CAAC;YAC1B,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC;QACpB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,GAAG,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACxE,CAAC;gBAAS,CAAC;YACT,oCAAoC;YACpC,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,EAAE,CAAC;gBACxB,KAAK,CAAC,OAAO,EAAE,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACH,QAAQ;QACN,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC;IACxC,CAAC;IAED;;OAEG;IACH,aAAa;QACX,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;IAChE,CAAC;IAED;;OAEG;IACH,cAAc;QACZ,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;IAC3B,CAAC;IAED;;OAEG;IACH,eAAe;QACb,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACnC,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC;QAC5C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;GAEG;AACH,MAAM,OAAO,cAAc;IACjB,OAAO,GAAG,IAAI,GAAG,EAAqB,CAAC;IAE/C,oCAAoC;IAC5B,QAAQ,CAAC,GAAW;QAC1B,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;QAC9B,MAAM,KAAK,GAAG,IAAI,SAAS,EAAE,CAAC;QAC9B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC7B,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,OAAO,CAAC,GAAW;QACvB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QACjC,OAAO,MAAM,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,YAAY,CAChB,GAAW,EACX,EAAoB;QAEpB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QACjC,OAAO,MAAM,KAAK,CAAC,YAAY,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IAC3C,CAAC;IAED;;OAEG;IACH,QAAQ,CAAC,GAAW;QAClB,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpC,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;IAC1C,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,GAAW;QACvB,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpC,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9C,CAAC;IAED;;OAEG;IACH,cAAc,CAAC,GAAW;QACxB,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpC,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC;IAED;;OAEG;IACH,eAAe,CAAC,GAAW;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpC,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAChD,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,GAAW;QACf,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC;IAED;;OAEG;IACH,QAAQ;QACN,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;IACvB,CAAC;IAED;;OAEG;IACH,OAAO;QACL,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IACzC,CAAC;IAED;;OAEG;IACH,cAAc;QAOZ,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;YAC/D,GAAG;YACH,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE;YACxB,MAAM,EAAE,KAAK,CAAC,aAAa,EAAE;YAC7B,WAAW,EAAE,KAAK,CAAC,cAAc,EAAE;YACnC,QAAQ,EAAE,KAAK,CAAC,eAAe,EAAE;SAClC,CAAC,CAAC,CAAC;IACN,CAAC;CACF;AAED;;GAEG"}