mcard-js 2.1.12 → 2.1.13

package/dist/ptr/LensProtocol.d.ts

@@ -0,0 +1,84 @@
+/**
+ * LensProtocol - JSON-RPC 2.0 communication for PTR
+ *
+ * Provides standardized message format for PCard execution
+ */
+export interface JsonRpcRequest {
+    jsonrpc: '2.0';
+    id: string | number;
+    method: string;
+    params?: unknown;
+}
+export interface JsonRpcResponse {
+    jsonrpc: '2.0';
+    id: string | number;
+    result?: unknown;
+    error?: {
+        code: number;
+        message: string;
+        data?: unknown;
+    };
+}
+export interface ExecuteParams {
+    pcard_hash: string;
+    target_hash: string;
+    context?: Record<string, unknown>;
+}
+export interface VerifyParams {
+    pcard_hash: string;
+    target_hash: string;
+    context?: Record<string, unknown>;
+}
+export interface RevealParams {
+    card_hash: string;
+    aspect: string;
+}
+/**
+ * LensProtocol - Create and parse JSON-RPC messages
+ */
+export declare class LensProtocol {
+    private static idCounter;
+    /**
+     * Create an execute request
+     */
+    static createExecuteRequest(pcard_hash: string, target_hash: string, context?: Record<string, unknown>): JsonRpcRequest;
+    /**
+     * Create a verify request
+     */
+    static createVerifyRequest(pcard_hash: string, target_hash: string, context?: Record<string, unknown>): JsonRpcRequest;
+    /**
+     * Create a reveal request
+     */
+    static createRevealRequest(card_hash: string, aspect: string): JsonRpcRequest;
+    /**
+     * Create a system status request
+     */
+    static createStatusRequest(): JsonRpcRequest;
+    /**
+     * Create a system health request
+     */
+    static createHealthRequest(): JsonRpcRequest;
+    /**
+     * Create a success response
+     */
+    static createSuccessResponse(id: string | number, result: unknown): JsonRpcResponse;
+    /**
+     * Create an error response
+     */
+    static createErrorResponse(id: string | number, code: number, message: string, data?: unknown): JsonRpcResponse;
+    /**
+     * Parse a JSON-RPC response
+     */
+    static parseResponse<T>(response: JsonRpcResponse): T;
+}
+export declare const ErrorCodes: {
+    readonly PARSE_ERROR: -32700;
+    readonly INVALID_REQUEST: -32600;
+    readonly METHOD_NOT_FOUND: -32601;
+    readonly INVALID_PARAMS: -32602;
+    readonly INTERNAL_ERROR: -32603;
+    readonly EXECUTION_ERROR: -32000;
+    readonly VERIFICATION_FAILED: -32001;
+    readonly TIMEOUT: -32002;
+};
+//# sourceMappingURL=LensProtocol.d.ts.map

package/dist/ptr/LensProtocol.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"LensProtocol.d.ts","sourceRoot":"","sources":["../../src/ptr/LensProtocol.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,MAAM,WAAW,cAAc;IAC3B,OAAO,EAAE,KAAK,CAAC;IACf,EAAE,EAAE,MAAM,GAAG,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,eAAe;IAC5B,OAAO,EAAE,KAAK,CAAC;IACf,EAAE,EAAE,MAAM,GAAG,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,KAAK,CAAC,EAAE;QACJ,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,EAAE,MAAM,CAAC;QAChB,IAAI,CAAC,EAAE,OAAO,CAAC;KAClB,CAAC;CACL;AAED,MAAM,WAAW,aAAa;IAC1B,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACrC;AAED,MAAM,WAAW,YAAY;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACrC;AAED,MAAM,WAAW,YAAY;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,qBAAa,YAAY;IACrB,OAAO,CAAC,MAAM,CAAC,SAAS,CAAK;IAE7B;;OAEG;IACH,MAAM,CAAC,oBAAoB,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,cAAc;IASvH;;OAEG;IACH,MAAM,CAAC,mBAAmB,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,cAAc;IAStH;;OAEG;IACH,MAAM,CAAC,mBAAmB,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,cAAc;IAS7E;;OAEG;IACH,MAAM,CAAC,mBAAmB,IAAI,cAAc;IAQ5C;;OAEG;IACH,MAAM,CAAC,mBAAmB,IAAI,cAAc;IAQ5C;;OAEG;IACH,MAAM,CAAC,qBAAqB,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,EAAE,MAAM,EAAE,OAAO,GAAG,eAAe;IAInF;;OAEG;IACH,MAAM,CAAC,mBAAmB,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,OAAO,GAAG,eAAe;IAI/G;;OAEG;IACH,MAAM,CAAC,aAAa,CAAC,CAAC,EAAE,QAAQ,EAAE,eAAe,GAAG,CAAC;CAMxD;AAGD,eAAO,MAAM,UAAU;;;;;;;;;CAUb,CAAC"}

package/dist/ptr/LensProtocol.js

@@ -0,0 +1,98 @@
+/**
+ * LensProtocol - JSON-RPC 2.0 communication for PTR
+ *
+ * Provides standardized message format for PCard execution
+ */
+/**
+ * LensProtocol - Create and parse JSON-RPC messages
+ */
+export class LensProtocol {
+    static idCounter = 0;
+    /**
+     * Create an execute request
+     */
+    static createExecuteRequest(pcard_hash, target_hash, context) {
+        return {
+            jsonrpc: '2.0',
+            id: ++this.idCounter,
+            method: 'pcard.execute',
+            params: { pcard_hash, target_hash, context }
+        };
+    }
+    /**
+     * Create a verify request
+     */
+    static createVerifyRequest(pcard_hash, target_hash, context) {
+        return {
+            jsonrpc: '2.0',
+            id: ++this.idCounter,
+            method: 'pcard.verify',
+            params: { pcard_hash, target_hash, context }
+        };
+    }
+    /**
+     * Create a reveal request
+     */
+    static createRevealRequest(card_hash, aspect) {
+        return {
+            jsonrpc: '2.0',
+            id: ++this.idCounter,
+            method: 'lens.reveal',
+            params: { card_hash, aspect }
+        };
+    }
+    /**
+     * Create a system status request
+     */
+    static createStatusRequest() {
+        return {
+            jsonrpc: '2.0',
+            id: ++this.idCounter,
+            method: 'system.status'
+        };
+    }
+    /**
+     * Create a system health request
+     */
+    static createHealthRequest() {
+        return {
+            jsonrpc: '2.0',
+            id: ++this.idCounter,
+            method: 'system.health'
+        };
+    }
+    /**
+     * Create a success response
+     */
+    static createSuccessResponse(id, result) {
+        return { jsonrpc: '2.0', id, result };
+    }
+    /**
+     * Create an error response
+     */
+    static createErrorResponse(id, code, message, data) {
+        return { jsonrpc: '2.0', id, error: { code, message, data } };
+    }
+    /**
+     * Parse a JSON-RPC response
+     */
+    static parseResponse(response) {
+        if (response.error) {
+            throw new Error(`JSON-RPC Error ${response.error.code}: ${response.error.message}`);
+        }
+        return response.result;
+    }
+}
+// Standard JSON-RPC error codes
+export const ErrorCodes = {
+    PARSE_ERROR: -32700,
+    INVALID_REQUEST: -32600,
+    METHOD_NOT_FOUND: -32601,
+    INVALID_PARAMS: -32602,
+    INTERNAL_ERROR: -32603,
+    // Custom PTR errors
+    EXECUTION_ERROR: -32000,
+    VERIFICATION_FAILED: -32001,
+    TIMEOUT: -32002
+};
+//# sourceMappingURL=LensProtocol.js.map

package/dist/ptr/LensProtocol.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"LensProtocol.js","sourceRoot":"","sources":["../../src/ptr/LensProtocol.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAqCH;;GAEG;AACH,MAAM,OAAO,YAAY;IACb,MAAM,CAAC,SAAS,GAAG,CAAC,CAAC;IAE7B;;OAEG;IACH,MAAM,CAAC,oBAAoB,CAAC,UAAkB,EAAE,WAAmB,EAAE,OAAiC;QAClG,OAAO;YACH,OAAO,EAAE,KAAK;YACd,EAAE,EAAE,EAAE,IAAI,CAAC,SAAS;YACpB,MAAM,EAAE,eAAe;YACvB,MAAM,EAAE,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,EAAmB;SAChE,CAAC;IACN,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,mBAAmB,CAAC,UAAkB,EAAE,WAAmB,EAAE,OAAiC;QACjG,OAAO;YACH,OAAO,EAAE,KAAK;YACd,EAAE,EAAE,EAAE,IAAI,CAAC,SAAS;YACpB,MAAM,EAAE,cAAc;YACtB,MAAM,EAAE,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,EAAkB;SAC/D,CAAC;IACN,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,mBAAmB,CAAC,SAAiB,EAAE,MAAc;QACxD,OAAO;YACH,OAAO,EAAE,KAAK;YACd,EAAE,EAAE,EAAE,IAAI,CAAC,SAAS;YACpB,MAAM,EAAE,aAAa;YACrB,MAAM,EAAE,EAAE,SAAS,EAAE,MAAM,EAAkB;SAChD,CAAC;IACN,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,mBAAmB;QACtB,OAAO;YACH,OAAO,EAAE,KAAK;YACd,EAAE,EAAE,EAAE,IAAI,CAAC,SAAS;YACpB,MAAM,EAAE,eAAe;SAC1B,CAAC;IACN,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,mBAAmB;QACtB,OAAO;YACH,OAAO,EAAE,KAAK;YACd,EAAE,EAAE,EAAE,IAAI,CAAC,SAAS;YACpB,MAAM,EAAE,eAAe;SAC1B,CAAC;IACN,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,qBAAqB,CAAC,EAAmB,EAAE,MAAe;QAC7D,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC;IAC1C,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,mBAAmB,CAAC,EAAmB,EAAE,IAAY,EAAE,OAAe,EAAE,IAAc;QACzF,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC;IAClE,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,aAAa,CAAI,QAAyB;QAC7C,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CAAC,kBAAkB,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACxF,CAAC;QACD,OAAO,QAAQ,CAAC,MAAW,CAAC;IAChC,CAAC;;AAGL,gCAAgC;AAChC,MAAM,CAAC,MAAM,UAAU,GAAG;IACtB,WAAW,EAAE,CAAC,KAAK;IACnB,eAAe,EAAE,CAAC,KAAK;IACvB,gBAAgB,EAAE,CAAC,KAAK;IACxB,cAAc,EAAE,CAAC,KAAK;IACtB,cAAc,EAAE,CAAC,KAAK;IACtB,oBAAoB;IACpB,eAAe,EAAE,CAAC,KAAK;IACvB,mBAAmB,EAAE,CAAC,KAAK;IAC3B,OAAO,EAAE,CAAC,KAAK;CACT,CAAC"}

package/dist/ptr/SandboxWorker.d.ts

@@ -0,0 +1,54 @@
+/**
+ * SandboxWorker - Execute code in isolated Web Worker
+ *
+ * Provides safe execution environment for PCard logic
+ */
+/**
+ * SandboxWorker - Manages Web Worker for isolated execution
+ */
+export declare class SandboxWorker {
+    private worker;
+    private pendingRequests;
+    private defaultTimeout;
+    /**
+     * Initialize the sandbox worker
+     */
+    init(): Promise<void>;
+    /**
+     * Execute code in sandbox
+     */
+    private requestCounter;
+    /**
+     * Execute code in sandbox
+     * Note: Uses internal JSON-RPC format with direct code, not LensProtocol Standard (hashes)
+     */
+    execute(code: string, input: unknown, context?: Record<string, unknown>): Promise<unknown>;
+    /**
+     * Verify output matches expected
+     * Note: Uses internal JSON-RPC format with direct values
+     */
+    verify(hash: string, expectedOutput: unknown, actualOutput: unknown): Promise<{
+        verified: boolean;
+    }>;
+    /**
+     * Send request and wait for response
+     */
+    private sendRequest;
+    /**
+     * Handle worker message
+     */
+    private handleMessage;
+    /**
+     * Handle worker error
+     */
+    private handleError;
+    /**
+     * Terminate the worker
+     */
+    terminate(): void;
+    /**
+     * Set timeout for requests
+     */
+    setTimeout(ms: number): void;
+}
+//# sourceMappingURL=SandboxWorker.d.ts.map

package/dist/ptr/SandboxWorker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"SandboxWorker.d.ts","sourceRoot":"","sources":["../../src/ptr/SandboxWorker.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAoDH;;GAEG;AACH,qBAAa,aAAa;IACxB,OAAO,CAAC,MAAM,CAAuB;IACrC,OAAO,CAAC,eAAe,CAIlB;IACL,OAAO,CAAC,cAAc,CAAQ;IAE9B;;OAEG;IACG,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;IAY3B;;OAEG;IACH,OAAO,CAAC,cAAc,CAAK;IAE3B;;;OAGG;IACG,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC;IAchG;;;OAGG;IACG,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,YAAY,EAAE,OAAO,GAAG,OAAO,CAAC;QAAE,QAAQ,EAAE,OAAO,CAAA;KAAE,CAAC;IAc1G;;OAEG;IACH,OAAO,CAAC,WAAW;IAYnB;;OAEG;IACH,OAAO,CAAC,aAAa;IAgBrB;;OAEG;IACH,OAAO,CAAC,WAAW;IAUnB;;OAEG;IACH,SAAS,IAAI,IAAI;IAcjB;;OAEG;IACH,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI;CAG7B"}

package/dist/ptr/SandboxWorker.js

@@ -0,0 +1,172 @@
+/**
+ * SandboxWorker - Execute code in isolated Web Worker
+ *
+ * Provides safe execution environment for PCard logic
+ */
+/**
+ * Worker code as inline string (will be converted to Blob URL)
+ */
+const WORKER_CODE = `
+// Sandboxed execution environment
+self.onmessage = async function(e) {
+  const request = e.data;
+  
+  try {
+    if (request.method === 'pcard.execute') {
+      const { pcard, context } = request.params;
+      const result = await executeCode(pcard.code, pcard.input, context);
+      self.postMessage({
+        jsonrpc: '2.0',
+        id: request.id,
+        result
+      });
+    } else if (request.method === 'pcard.verify') {
+      const { expectedOutput, actualOutput } = request.params;
+      const matches = JSON.stringify(expectedOutput) === JSON.stringify(actualOutput);
+      self.postMessage({
+        jsonrpc: '2.0',
+        id: request.id,
+        result: { verified: matches }
+      });
+    } else {
+      throw new Error('Method not found: ' + request.method);
+    }
+  } catch (error) {
+    self.postMessage({
+      jsonrpc: '2.0',
+      id: request.id,
+      error: {
+        code: -32000,
+        message: error.message || 'Execution error'
+      }
+    });
+  }
+};
+
+// Execute JavaScript code in sandbox
+async function executeCode(code, input, context) {
+  // Create a sandboxed function
+  const fn = new Function('input', 'context', code);
+  return fn(input, context || {});
+}
+`;
+/**
+ * SandboxWorker - Manages Web Worker for isolated execution
+ */
+export class SandboxWorker {
+    worker = null;
+    pendingRequests = new Map();
+    defaultTimeout = 5000; // 5 seconds
+    /**
+     * Initialize the sandbox worker
+     */
+    async init() {
+        const blob = new Blob([WORKER_CODE], { type: 'application/javascript' });
+        const workerUrl = URL.createObjectURL(blob);
+        this.worker = new Worker(workerUrl);
+        this.worker.onmessage = this.handleMessage.bind(this);
+        this.worker.onerror = this.handleError.bind(this);
+        // Clean up blob URL
+        URL.revokeObjectURL(workerUrl);
+    }
+    /**
+     * Execute code in sandbox
+     */
+    requestCounter = 0;
+    /**
+     * Execute code in sandbox
+     * Note: Uses internal JSON-RPC format with direct code, not LensProtocol Standard (hashes)
+     */
+    async execute(code, input, context) {
+        if (!this.worker) {
+            throw new Error('Worker not initialized. Call init() first.');
+        }
+        const request = {
+            jsonrpc: '2.0',
+            id: ++this.requestCounter,
+            method: 'pcard.execute',
+            params: { pcard: { code, input }, context }
+        };
+        return this.sendRequest(request);
+    }
+    /**
+     * Verify output matches expected
+     * Note: Uses internal JSON-RPC format with direct values
+     */
+    async verify(hash, expectedOutput, actualOutput) {
+        if (!this.worker) {
+            throw new Error('Worker not initialized. Call init() first.');
+        }
+        const request = {
+            jsonrpc: '2.0',
+            id: ++this.requestCounter,
+            method: 'pcard.verify',
+            params: { hash, expectedOutput, actualOutput }
+        };
+        return this.sendRequest(request);
+    }
+    /**
+     * Send request and wait for response
+     */
+    sendRequest(request) {
+        return new Promise((resolve, reject) => {
+            const timeout = setTimeout(() => {
+                this.pendingRequests.delete(request.id);
+                reject(new Error(`Request ${request.id} timed out`));
+            }, this.defaultTimeout);
+            this.pendingRequests.set(request.id, { resolve, reject, timeout });
+            this.worker.postMessage(request);
+        });
+    }
+    /**
+     * Handle worker message
+     */
+    handleMessage(event) {
+        const response = event.data;
+        const pending = this.pendingRequests.get(response.id);
+        if (pending) {
+            clearTimeout(pending.timeout);
+            this.pendingRequests.delete(response.id);
+            if (response.error) {
+                pending.reject(new Error(`Error ${response.error.code}: ${response.error.message}`));
+            }
+            else {
+                pending.resolve(response.result);
+            }
+        }
+    }
+    /**
+     * Handle worker error
+     */
+    handleError(event) {
+        console.error('Worker error:', event.message);
+        // Reject all pending requests
+        for (const [id, pending] of this.pendingRequests) {
+            clearTimeout(pending.timeout);
+            pending.reject(new Error(`Worker error: ${event.message}`));
+        }
+        this.pendingRequests.clear();
+    }
+    /**
+     * Terminate the worker
+     */
+    terminate() {
+        if (this.worker) {
+            // Reject pending requests
+            for (const [id, pending] of this.pendingRequests) {
+                clearTimeout(pending.timeout);
+                pending.reject(new Error('Worker terminated'));
+            }
+            this.pendingRequests.clear();
+            this.worker.terminate();
+            this.worker = null;
+        }
+    }
+    /**
+     * Set timeout for requests
+     */
+    setTimeout(ms) {
+        this.defaultTimeout = ms;
+    }
+}
+//# sourceMappingURL=SandboxWorker.js.map

package/dist/ptr/SandboxWorker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"SandboxWorker.js","sourceRoot":"","sources":["../../src/ptr/SandboxWorker.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH;;GAEG;AACH,MAAM,WAAW,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA2CnB,CAAC;AAEF;;GAEG;AACH,MAAM,OAAO,aAAa;IAChB,MAAM,GAAkB,IAAI,CAAC;IAC7B,eAAe,GAAG,IAAI,GAAG,EAI7B,CAAC;IACG,cAAc,GAAG,IAAI,CAAC,CAAC,YAAY;IAE3C;;OAEG;IACH,KAAK,CAAC,IAAI;QACR,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,IAAI,EAAE,wBAAwB,EAAE,CAAC,CAAC;QACzE,MAAM,SAAS,GAAG,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QAE5C,IAAI,CAAC,MAAM,GAAG,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC;QACpC,IAAI,CAAC,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,IAAI,CAAC,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAElD,oBAAoB;QACpB,GAAG,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC;IACjC,CAAC;IAED;;OAEG;IACK,cAAc,GAAG,CAAC,CAAC;IAE3B;;;OAGG;IACH,KAAK,CAAC,OAAO,CAAC,IAAY,EAAE,KAAc,EAAE,OAAiC;QAC3E,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;QAChE,CAAC;QAED,MAAM,OAAO,GAAmB;YAC9B,OAAO,EAAE,KAAK;YACd,EAAE,EAAE,EAAE,IAAI,CAAC,cAAc;YACzB,MAAM,EAAE,eAAe;YACvB,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE;SAC5C,CAAC;QACF,OAAO,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;IACnC,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,MAAM,CAAC,IAAY,EAAE,cAAuB,EAAE,YAAqB;QACvE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;QAChE,CAAC;QAED,MAAM,OAAO,GAAmB;YAC9B,OAAO,EAAE,KAAK;YACd,EAAE,EAAE,EAAE,IAAI,CAAC,cAAc;YACzB,MAAM,EAAE,cAAc;YACtB,MAAM,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,YAAY,EAAE;SAC/C,CAAC;QACF,OAAO,IAAI,CAAC,WAAW,CAAC,OAAO,CAAmC,CAAC;IACrE,CAAC;IAED;;OAEG;IACK,WAAW,CAAC,OAAuB;QACzC,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;YACrC,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,EAAE;gBAC9B,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;gBACxC,MAAM,CAAC,IAAI,KAAK,CAAC,WAAW,OAAO,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC;YACvD,CAAC,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC;YAExB,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;YACnE,IAAI,CAAC,MAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACK,aAAa,CAAC,KAAoC;QACxD,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC;QAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAEtD,IAAI,OAAO,EAAE,CAAC;YACZ,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YAC9B,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YAEzC,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;gBACnB,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,SAAS,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YACvF,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACK,WAAW,CAAC,KAAiB;QACnC,OAAO,CAAC,KAAK,CAAC,eAAe,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QAC9C,8BAA8B;QAC9B,KAAK,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;YACjD,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YAC9B,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,iBAAiB,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAC9D,CAAC;QACD,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC;IAC/B,CAAC;IAED;;OAEG;IACH,SAAS;QACP,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,0BAA0B;YAC1B,KAAK,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;gBACjD,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;gBAC9B,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAC,CAAC;YACjD,CAAC;YACD,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC;YAE7B,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;YACxB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACrB,CAAC;IACH,CAAC;IAED;;OAEG;IACH,UAAU,CAAC,EAAU;QACnB,IAAI,CAAC,cAAc,GAAG,EAAE,CAAC;IAC3B,CAAC;CACF"}

package/dist/ptr/common_types.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Common types for PTR system
+ * Matches python mcard.ptr.core.common_types
+ */
+export type PrimeHash = string;
+export interface PolynomialTerm {
+    coefficient: PrimeHash;
+    exponent: PrimeHash;
+    weight: number;
+}
+export interface SafetyViolation {
+    property: string;
+    violation_type: string;
+    details: string;
+    timestamp: string;
+}
+export interface LivenessMetric {
+    goal: string;
+    progress: number;
+    timestamp: string;
+}
+export declare enum VerificationStatus {
+    PENDING = "pending",
+    VERIFIED = "verified",
+    FAILED = "failed",
+    SKIPPED = "skipped"
+}
+export interface ExecutionResult {
+    success: boolean;
+    output: unknown;
+    verification_vcard: string | null;
+    execution_time_ms: number;
+    alignment_score?: number;
+    invariants_preserved: boolean;
+    safety_violations: SafetyViolation[];
+    liveness_metrics: LivenessMetric[];
+    error_message?: string;
+}
+//# sourceMappingURL=common_types.d.ts.map

package/dist/ptr/common_types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"common_types.d.ts","sourceRoot":"","sources":["../../src/ptr/common_types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC;AAE/B,MAAM,WAAW,cAAc;IAC3B,WAAW,EAAE,SAAS,CAAC;IACvB,QAAQ,EAAE,SAAS,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,eAAe;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,cAAc,EAAE,MAAM,CAAC;IACvB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,cAAc;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;CACrB;AAED,oBAAY,kBAAkB;IAC1B,OAAO,YAAY;IACnB,QAAQ,aAAa;IACrB,MAAM,WAAW;IACjB,OAAO,YAAY;CACtB;AAED,MAAM,WAAW,eAAe;IAC5B,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,OAAO,CAAC;IAChB,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,iBAAiB,EAAE,MAAM,CAAC;IAG1B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,oBAAoB,EAAE,OAAO,CAAC;IAG9B,iBAAiB,EAAE,eAAe,EAAE,CAAC;IACrC,gBAAgB,EAAE,cAAc,EAAE,CAAC;IAEnC,aAAa,CAAC,EAAE,MAAM,CAAC;CAC1B"}

package/dist/ptr/common_types.js

@@ -0,0 +1,12 @@
+/**
+ * Common types for PTR system
+ * Matches python mcard.ptr.core.common_types
+ */
+export var VerificationStatus;
+(function (VerificationStatus) {
+    VerificationStatus["PENDING"] = "pending";
+    VerificationStatus["VERIFIED"] = "verified";
+    VerificationStatus["FAILED"] = "failed";
+    VerificationStatus["SKIPPED"] = "skipped";
+})(VerificationStatus || (VerificationStatus = {}));
+//# sourceMappingURL=common_types.js.map

package/dist/ptr/common_types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"common_types.js","sourceRoot":"","sources":["../../src/ptr/common_types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAwBH,MAAM,CAAN,IAAY,kBAKX;AALD,WAAY,kBAAkB;IAC1B,yCAAmB,CAAA;IACnB,2CAAqB,CAAA;IACrB,uCAAiB,CAAA;IACjB,yCAAmB,CAAA;AACvB,CAAC,EALW,kBAAkB,KAAlB,kBAAkB,QAK7B"}

package/dist/ptr/lambda/AlphaConversion.d.ts

@@ -0,0 +1,42 @@
+/**
+ * Alpha Conversion (α-conversion)
+ *
+ * Renames bound variables in Lambda terms while preserving meaning.
+ *
+ * Rule: λx.M ≡α λy.M[x:=y]  (where y is fresh)
+ *
+ * Alpha conversion is the basis of variable renaming and is essential
+ * for avoiding variable capture during beta reduction.
+ *
+ * @module mcard-js/ptr/lambda/AlphaConversion
+ */
+import { CardCollection } from '../../model/CardCollection';
+import { IO } from '../../monads/IO';
+import { Either } from '../../monads/Either';
+/**
+ * Alpha-rename: Rename the bound variable of an abstraction
+ *
+ * λx.M → λy.M[x:=y]
+ *
+ * @param collection - Card collection for term storage
+ * @param absHash - Hash of the abstraction term
+ * @param newParam - New name for the bound variable
+ * @returns IO<Either<error, newHash>>
+ */
+export declare function alphaRename(collection: CardCollection, absHash: string, newParam: string): IO<Either<string, string>>;
+/**
+ * Check if two terms are alpha-equivalent
+ *
+ * Two terms are α-equivalent if they differ only in the names of bound variables.
+ *
+ * Note: If hashes are equal, terms are definitionally identical (stronger than α-equiv).
+ */
+export declare function alphaEquivalent(collection: CardCollection, hash1: string, hash2: string): IO<Either<string, boolean>>;
+/**
+ * Alpha-normalize a term using canonical variable names
+ *
+ * All bound variables are renamed to a₀, a₁, a₂... based on binding depth.
+ * This produces a canonical representative of the α-equivalence class.
+ */
+export declare function alphaNormalize(collection: CardCollection, termHash: string): IO<Either<string, string>>;
+//# sourceMappingURL=AlphaConversion.d.ts.map

package/dist/ptr/lambda/AlphaConversion.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"AlphaConversion.d.ts","sourceRoot":"","sources":["../../../src/ptr/lambda/AlphaConversion.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAa5D,OAAO,EAAE,EAAE,EAAE,MAAM,iBAAiB,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAM7C;;;;;;;;;GASG;AACH,wBAAgB,WAAW,CACvB,UAAU,EAAE,cAAc,EAC1B,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACjB,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAwC5B;AA+DD;;;;;;GAMG;AACH,wBAAgB,eAAe,CAC3B,UAAU,EAAE,cAAc,EAC1B,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,MAAM,GACd,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAgB7B;AA6ED;;;;;GAKG;AACH,wBAAgB,cAAc,CAC1B,UAAU,EAAE,cAAc,EAC1B,QAAQ,EAAE,MAAM,GACjB,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAQ5B"}