mcard-js 2.1.12 → 2.1.13

package/dist/ptr/node/clm/index.js

@@ -0,0 +1,28 @@
+/**
+ * CLM Module for PTR (JavaScript)
+ * ================================
+ *
+ * This module provides modular CLM (Cubical Logic Model) execution.
+ *
+ * Organization:
+ * - types.ts: All TypeScript interfaces
+ * - utils.ts: Helper functions
+ * - loader.ts: CLMLoader for parsing CLM files
+ * - runner.ts: CLMRunner for executing CLMs
+ * - multiruntime.ts: Multi-runtime consensus execution
+ * - builtins/: Builtin operation handlers
+ *
+ * For backward compatibility, the main CLMLoader.ts and CLMRunner.ts
+ * re-export from this module.
+ */
+// Utilities
+export { resultsEqual, asObject, buildBaseContext, buildExecutionResult, isRecursiveCLM, isMultiRuntime, } from './utils.js';
+// Builtins
+export { isNetworkBuiltin, isLoaderBuiltin, isHandleBuiltin, getHandleBuiltinType, } from './builtins/index.js';
+export { executeHandleVersion, executeHandlePrune, } from './builtins/handle.js';
+// Core classes
+export { CLMLoader } from './loader.js';
+export { CLMRunner } from './runner.js';
+// Multi-runtime
+export { executeMultiRuntime } from './multiruntime.js';
+//# sourceMappingURL=index.js.map

package/dist/ptr/node/clm/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/ptr/node/clm/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAkBH,YAAY;AACZ,OAAO,EACH,YAAY,EACZ,QAAQ,EACR,gBAAgB,EAChB,oBAAoB,EACpB,cAAc,EACd,cAAc,GACjB,MAAM,YAAY,CAAC;AAEpB,WAAW;AACX,OAAO,EACH,gBAAgB,EAChB,eAAe,EACf,eAAe,EACf,oBAAoB,GACvB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACH,oBAAoB,EACpB,kBAAkB,GACrB,MAAM,sBAAsB,CAAC;AAE9B,eAAe;AACf,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAExC,gBAAgB;AAChB,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC"}

package/dist/ptr/node/clm/loader.d.ts

@@ -0,0 +1,25 @@
+/**
+ * CLMLoader - Load and parse Cubical Logic Model files
+ *
+ * Supports YAML CLM specifications from chapters/
+ */
+import type { CLMSpec } from './types.js';
+export declare class CLMLoader {
+    basePath: string;
+    constructor(basePath?: string);
+    /**
+     * Load a CLM file from path.
+     */
+    load(clmPath: string): CLMSpec;
+    /**
+     * Load all CLM files from a directory.
+     */
+    loadDirectory(dirPath: string): Map<string, CLMSpec>;
+    /**
+     * Load logic file content for a CLM.
+     */
+    loadLogicFile(clm: CLMSpec, chapterDir: string): string | null;
+    private normalizeLegacyFormat;
+    private normalizeExamples;
+}
+//# sourceMappingURL=loader.d.ts.map

package/dist/ptr/node/clm/loader.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"loader.d.ts","sourceRoot":"","sources":["../../../../src/ptr/node/clm/loader.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAKH,OAAO,KAAK,EAAE,OAAO,EAAc,MAAM,YAAY,CAAC;AA0CtD,qBAAa,SAAS;IACX,QAAQ,EAAE,MAAM,CAAC;gBAEZ,QAAQ,GAAE,MAAsB;IAI5C;;OAEG;IACH,IAAI,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO;IAkB9B;;OAEG;IACH,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC;IAmBpD;;OAEG;IACH,aAAa,CAAC,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI;IA8B9D,OAAO,CAAC,qBAAqB;IAsB7B,OAAO,CAAC,iBAAiB;CAe5B"}

package/dist/ptr/node/clm/loader.js

@@ -0,0 +1,146 @@
+/**
+ * CLMLoader - Load and parse Cubical Logic Model files
+ *
+ * Supports YAML CLM specifications from chapters/
+ */
+import * as fs from 'fs';
+import * as path from 'path';
+import * as yaml from 'yaml';
+/**
+ * Map balanced.test_cases to examples, preserving original input content.
+ */
+function mapTestCasesToExamples(testCases, treatEmptyWhenAsGiven) {
+    return testCases.map((tc) => {
+        let input = tc.given;
+        if (tc.when) {
+            const params = tc.when.params || {};
+            const context = tc.when.context || {};
+            const hasParams = Object.keys(params).length > 0;
+            const hasContext = Object.keys(context).length > 0;
+            const hasWhenKeys = typeof tc.when === 'object' && Object.keys(tc.when).length > 0;
+            if (hasParams || hasContext) {
+                input = { ...tc.when, ...context, ...params };
+                if (input.__input_content__ === undefined) {
+                    input.__input_content__ = tc.given;
+                }
+            }
+            else if (tc.when &&
+                typeof tc.when === 'object' &&
+                (!treatEmptyWhenAsGiven || hasWhenKeys)) {
+                input = { ...tc.when };
+                if (input.__input_content__ === undefined) {
+                    input.__input_content__ = tc.given;
+                }
+            }
+        }
+        return {
+            name: tc.name || `Test Case: ${tc.given}`,
+            input,
+            expected_output: tc.then?.result,
+            result_contains: tc.then?.result_contains,
+        };
+    });
+}
+export class CLMLoader {
+    basePath;
+    constructor(basePath = process.cwd()) {
+        this.basePath = basePath;
+    }
+    /**
+     * Load a CLM file from path.
+     */
+    load(clmPath) {
+        const fullPath = path.isAbsolute(clmPath)
+            ? clmPath
+            : path.resolve(this.basePath, clmPath);
+        const content = fs.readFileSync(fullPath, 'utf-8');
+        const parsed = yaml.parse(content);
+        // Normalize legacy format (abstract/concrete/balanced at root)
+        if (parsed.abstract && !parsed.clm) {
+            return this.normalizeLegacyFormat(parsed, fullPath);
+        }
+        // Standard format: check for test_cases/examples
+        this.normalizeExamples(parsed);
+        return parsed;
+    }
+    /**
+     * Load all CLM files from a directory.
+     */
+    loadDirectory(dirPath) {
+        const fullPath = path.resolve(this.basePath, dirPath);
+        const files = fs.readdirSync(fullPath);
+        const clmFiles = new Map();
+        for (const file of files) {
+            if (file.endsWith('.yaml') || file.endsWith('.clm')) {
+                const filePath = path.join(fullPath, file);
+                try {
+                    clmFiles.set(file, this.load(filePath));
+                }
+                catch (e) {
+                    console.warn(`Failed to load ${file}:`, e);
+                }
+            }
+        }
+        return clmFiles;
+    }
+    /**
+     * Load logic file content for a CLM.
+     */
+    loadLogicFile(clm, chapterDir) {
+        const config = clm.clm.concrete;
+        // Check for inline code
+        if (config.code) {
+            return config.code;
+        }
+        // Try runtimes_config for JavaScript
+        if (config.runtimes_config) {
+            const jsConfig = config.runtimes_config.find(r => r.name === 'javascript');
+            if (jsConfig?.file) {
+                const logicPath = path.resolve(this.basePath, chapterDir, jsConfig.file);
+                return fs.readFileSync(logicPath, 'utf-8');
+            }
+        }
+        // Try code_file
+        if (config.code_file) {
+            const logicPath = path.resolve(this.basePath, chapterDir, config.code_file);
+            if (fs.existsSync(logicPath)) {
+                return fs.readFileSync(logicPath, 'utf-8');
+            }
+        }
+        return null;
+    }
+    // ─── Private Helpers ─────────────────────────────────────────────────────
+    normalizeLegacyFormat(parsed, fullPath) {
+        const basename = path.basename(fullPath);
+        const title = parsed.metadata?.name || basename;
+        const spec = {
+            version: '1.0',
+            chapter: { id: 0, title },
+            clm: {
+                abstract: parsed.abstract,
+                concrete: parsed.concrete,
+                balanced: parsed.balanced
+            }
+        };
+        // Map balanced.test_cases to examples (legacy behavior)
+        if (parsed.balanced?.test_cases) {
+            spec.examples = mapTestCasesToExamples(parsed.balanced.test_cases, true);
+        }
+        return spec;
+    }
+    normalizeExamples(parsed) {
+        // Map clm.balanced.test_cases to examples
+        if (parsed.clm?.balanced?.test_cases && !parsed.examples) {
+            parsed.examples = mapTestCasesToExamples(parsed.clm.balanced.test_cases, false);
+        }
+        // Map balanced.examples (used in advanced_comparison.yaml)
+        if (parsed.clm?.balanced?.examples && !parsed.examples) {
+            parsed.examples = parsed.clm.balanced.examples.map((ex, i) => ({
+                name: `Example ${i + 1}`,
+                input: ex,
+                expected_output: undefined
+            }));
+        }
+    }
+}
+//# sourceMappingURL=loader.js.map

package/dist/ptr/node/clm/loader.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"loader.js","sourceRoot":"","sources":["../../../../src/ptr/node/clm/loader.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAG7B;;GAEG;AACH,SAAS,sBAAsB,CAAC,SAAgB,EAAE,qBAA8B;IAC5E,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,EAAO,EAAE,EAAE;QAC7B,IAAI,KAAK,GAAQ,EAAE,CAAC,KAAK,CAAC;QAE1B,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC;YACpC,MAAM,OAAO,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC;YACtC,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;YACjD,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;YACnD,MAAM,WAAW,GAAG,OAAO,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;YAEnF,IAAI,SAAS,IAAI,UAAU,EAAE,CAAC;gBAC1B,KAAK,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,GAAG,OAAO,EAAE,GAAG,MAAM,EAAE,CAAC;gBAC9C,IAAI,KAAK,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;oBACxC,KAAK,CAAC,iBAAiB,GAAG,EAAE,CAAC,KAAK,CAAC;gBACvC,CAAC;YACL,CAAC;iBAAM,IACH,EAAE,CAAC,IAAI;gBACP,OAAO,EAAE,CAAC,IAAI,KAAK,QAAQ;gBAC3B,CAAC,CAAC,qBAAqB,IAAI,WAAW,CAAC,EACzC,CAAC;gBACC,KAAK,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;gBACvB,IAAI,KAAK,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;oBACxC,KAAK,CAAC,iBAAiB,GAAG,EAAE,CAAC,KAAK,CAAC;gBACvC,CAAC;YACL,CAAC;QACL,CAAC;QAED,OAAO;YACH,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,cAAc,EAAE,CAAC,KAAK,EAAE;YACzC,KAAK;YACL,eAAe,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM;YAChC,eAAe,EAAE,EAAE,CAAC,IAAI,EAAE,eAAe;SAC5C,CAAC;IACN,CAAC,CAAC,CAAC;AACP,CAAC;AAED,MAAM,OAAO,SAAS;IACX,QAAQ,CAAS;IAExB,YAAY,WAAmB,OAAO,CAAC,GAAG,EAAE;QACxC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAC7B,CAAC;IAED;;OAEG;IACH,IAAI,CAAC,OAAe;QAChB,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;YACrC,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACnD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAEnC,+DAA+D;QAC/D,IAAI,MAAM,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;YACjC,OAAO,IAAI,CAAC,qBAAqB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACxD,CAAC;QAED,iDAAiD;QACjD,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAE/B,OAAO,MAAiB,CAAC;IAC7B,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,OAAe;QACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACtD,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;QACvC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;QAE5C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACvB,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;gBAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;gBAC3C,IAAI,CAAC;oBACD,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAC5C,CAAC;gBAAC,OAAO,CAAC,EAAE,CAAC;oBACT,OAAO,CAAC,IAAI,CAAC,kBAAkB,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;gBAC/C,CAAC;YACL,CAAC;QACL,CAAC;QAED,OAAO,QAAQ,CAAC;IACpB,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,GAAY,EAAE,UAAkB;QAC1C,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC;QAEhC,wBAAwB;QACxB,IAAK,MAAc,CAAC,IAAI,EAAE,CAAC;YACvB,OAAQ,MAAc,CAAC,IAAI,CAAC;QAChC,CAAC;QAED,qCAAqC;QACrC,IAAI,MAAM,CAAC,eAAe,EAAE,CAAC;YACzB,MAAM,QAAQ,GAAG,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;YAC3E,IAAI,QAAQ,EAAE,IAAI,EAAE,CAAC;gBACjB,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACzE,OAAO,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YAC/C,CAAC;QACL,CAAC;QAED,gBAAgB;QAChB,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACnB,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;YAC5E,IAAI,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC3B,OAAO,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YAC/C,CAAC;QACL,CAAC;QAED,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,4EAA4E;IAEpE,qBAAqB,CAAC,MAAW,EAAE,QAAgB;QACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,EAAE,IAAI,IAAI,QAAQ,CAAC;QAEhD,MAAM,IAAI,GAAY;YAClB,OAAO,EAAE,KAAK;YACd,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE;YACzB,GAAG,EAAE;gBACD,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,QAAQ,EAAE,MAAM,CAAC,QAAQ;aAC5B;SACJ,CAAC;QAEF,wDAAwD;QACxD,IAAI,MAAM,CAAC,QAAQ,EAAE,UAAU,EAAE,CAAC;YAC9B,IAAI,CAAC,QAAQ,GAAG,sBAAsB,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QAC7E,CAAC;QAED,OAAO,IAAI,CAAC;IAChB,CAAC;IAEO,iBAAiB,CAAC,MAAW;QACjC,0CAA0C;QAC1C,IAAI,MAAM,CAAC,GAAG,EAAE,QAAQ,EAAE,UAAU,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YACvD,MAAM,CAAC,QAAQ,GAAG,sBAAsB,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QACpF,CAAC;QAED,2DAA2D;QAC3D,IAAI,MAAM,CAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YACrD,MAAM,CAAC,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAO,EAAE,CAAS,EAAE,EAAE,CAAC,CAAC;gBACxE,IAAI,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE;gBACxB,KAAK,EAAE,EAAE;gBACT,eAAe,EAAE,SAAS;aAC7B,CAAC,CAAC,CAAC;QACR,CAAC;IACL,CAAC;CACJ"}

package/dist/ptr/node/clm/multiruntime.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Multi-runtime execution with consensus verification.
+ */
+import type { CLMSpec, MultiRuntimeResult } from './types.js';
+/**
+ * Execute a CLM across multiple runtimes and verify consensus.
+ */
+export declare function executeMultiRuntime(clm: CLMSpec, chapterDir: string, input: unknown): Promise<MultiRuntimeResult>;
+//# sourceMappingURL=multiruntime.d.ts.map

package/dist/ptr/node/clm/multiruntime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"multiruntime.d.ts","sourceRoot":"","sources":["../../../../src/ptr/node/clm/multiruntime.ts"],"names":[],"mappings":"AAAA;;GAEG;AAKH,OAAO,KAAK,EAAE,OAAO,EAAiB,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAG7E;;GAEG;AACH,wBAAsB,mBAAmB,CACrC,GAAG,EAAE,OAAO,EACZ,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,OAAO,GACf,OAAO,CAAC,kBAAkB,CAAC,CA6C7B"}

package/dist/ptr/node/clm/multiruntime.js

@@ -0,0 +1,121 @@
+/**
+ * Multi-runtime execution with consensus verification.
+ */
+import * as fs from 'fs';
+import * as path from 'path';
+import { RuntimeFactory } from '../runtimes/index.js';
+import { resultsEqual } from './utils.js';
+/**
+ * Execute a CLM across multiple runtimes and verify consensus.
+ */
+export async function executeMultiRuntime(clm, chapterDir, input) {
+    const startTime = Date.now();
+    const config = clm.clm.concrete;
+    const runtimesConfig = config.runtimes_config || [];
+    if (runtimesConfig.length === 0) {
+        return buildMultiRuntimeResult(false, false, [], startTime, clm, 'No runtimes_config defined');
+    }
+    const results = [];
+    // Execute on each runtime
+    for (const rtConfig of runtimesConfig) {
+        const result = await executeOnRuntime(rtConfig, config, chapterDir, input);
+        results.push(result);
+    }
+    // Check consensus - all successful results must be equal
+    const successfulResults = results.filter(r => r.success);
+    const availableResults = results.filter(r => r.success || !r.error?.includes('Runtime not available'));
+    let consensus = false;
+    let consensusValue = undefined;
+    if (successfulResults.length > 0) {
+        const firstResult = successfulResults[0].result;
+        consensus = successfulResults.every(r => resultsEqual(firstResult, r.result, 1e-9));
+        if (consensus) {
+            consensusValue = firstResult;
+        }
+    }
+    // Success if at least 2 runtimes succeeded and achieved consensus
+    const availableSuccess = successfulResults.length >= 2 && consensus;
+    const allAvailableSuccess = availableResults.length > 0 && availableResults.every(r => r.success);
+    return buildMultiRuntimeResult(availableSuccess || (allAvailableSuccess && consensus), consensus, results, startTime, clm, undefined, consensusValue);
+}
+// ─── Private Helpers ─────────────────────────────────────────────────────────
+async function executeOnRuntime(rtConfig, config, chapterDir, input) {
+    const runtimeName = rtConfig.name;
+    const rtStartTime = Date.now();
+    try {
+        const runtime = RuntimeFactory.getRuntime(runtimeName);
+        let codeOrPath = null;
+        // Determine source based on runtime type
+        if (['rust', 'c'].includes(runtimeName)) {
+            codeOrPath = rtConfig.binary || null;
+        }
+        else if (runtimeName === 'wasm') {
+            codeOrPath = rtConfig.module || null;
+        }
+        else {
+            const file = rtConfig.file;
+            if (file) {
+                codeOrPath = path.resolve(chapterDir, file);
+            }
+        }
+        if (!codeOrPath) {
+            return {
+                runtime: runtimeName,
+                success: false,
+                error: `No source file/binary specified for ${runtimeName}`,
+                executionTime: Date.now() - rtStartTime
+            };
+        }
+        // For source file runtimes, read the file content
+        let codeContent = codeOrPath;
+        if (!['rust', 'c', 'wasm'].includes(runtimeName)) {
+            try {
+                codeContent = fs.readFileSync(codeOrPath, 'utf-8');
+            }
+            catch (e) {
+                return {
+                    runtime: runtimeName,
+                    success: false,
+                    error: `Cannot read source file: ${codeOrPath}`,
+                    executionTime: Date.now() - rtStartTime
+                };
+            }
+        }
+        const result = await runtime.execute(codeContent, input, {
+            ...config,
+            entry_point: rtConfig.entry
+        }, chapterDir);
+        return {
+            runtime: runtimeName,
+            success: true,
+            result,
+            executionTime: Date.now() - rtStartTime
+        };
+    }
+    catch (e) {
+        const errorMsg = e instanceof Error ? e.message : String(e);
+        const isUnavailable = errorMsg.includes('Unknown runtime');
+        return {
+            runtime: runtimeName,
+            success: false,
+            error: isUnavailable ? `Runtime not available: ${runtimeName}` : errorMsg,
+            executionTime: Date.now() - rtStartTime
+        };
+    }
+}
+function buildMultiRuntimeResult(success, consensus, results, startTime, clm, error, consensusValue) {
+    return {
+        success,
+        consensus,
+        results,
+        consensusValue,
+        error,
+        executionTime: Date.now() - startTime,
+        clm: {
+            chapter: clm.chapter.title,
+            concept: clm.clm.abstract.concept,
+            manifestation: clm.clm.concrete.manifestation,
+        }
+    };
+}
+//# sourceMappingURL=multiruntime.js.map

package/dist/ptr/node/clm/multiruntime.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"multiruntime.js","sourceRoot":"","sources":["../../../../src/ptr/node/clm/multiruntime.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAEtD,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE1C;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACrC,GAAY,EACZ,UAAkB,EAClB,KAAc;IAEd,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC7B,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC;IAChC,MAAM,cAAc,GAAG,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC;IAEpD,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,uBAAuB,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,4BAA4B,CAAC,CAAC;IACnG,CAAC;IAED,MAAM,OAAO,GAAoB,EAAE,CAAC;IAEpC,0BAA0B;IAC1B,KAAK,MAAM,QAAQ,IAAI,cAAc,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;QAC3E,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACzB,CAAC;IAED,yDAAyD;IACzD,MAAM,iBAAiB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACzD,MAAM,gBAAgB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC,uBAAuB,CAAC,CAAC,CAAC;IAEvG,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,IAAI,cAAc,GAAY,SAAS,CAAC;IAExC,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,WAAW,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QAChD,SAAS,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QACpF,IAAI,SAAS,EAAE,CAAC;YACZ,cAAc,GAAG,WAAW,CAAC;QACjC,CAAC;IACL,CAAC;IAED,kEAAkE;IAClE,MAAM,gBAAgB,GAAG,iBAAiB,CAAC,MAAM,IAAI,CAAC,IAAI,SAAS,CAAC;IACpE,MAAM,mBAAmB,GAAG,gBAAgB,CAAC,MAAM,GAAG,CAAC,IAAI,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAElG,OAAO,uBAAuB,CAC1B,gBAAgB,IAAI,CAAC,mBAAmB,IAAI,SAAS,CAAC,EACtD,SAAS,EACT,OAAO,EACP,SAAS,EACT,GAAG,EACH,SAAS,EACT,cAAc,CACjB,CAAC;AACN,CAAC;AAED,gFAAgF;AAEhF,KAAK,UAAU,gBAAgB,CAC3B,QAAa,EACb,MAAW,EACX,UAAkB,EAClB,KAAc;IAEd,MAAM,WAAW,GAAG,QAAQ,CAAC,IAAI,CAAC;IAClC,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAE/B,IAAI,CAAC;QACD,MAAM,OAAO,GAAG,cAAc,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;QACvD,IAAI,UAAU,GAAkB,IAAI,CAAC;QAErC,yCAAyC;QACzC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YACtC,UAAU,GAAG,QAAQ,CAAC,MAAM,IAAI,IAAI,CAAC;QACzC,CAAC;aAAM,IAAI,WAAW,KAAK,MAAM,EAAE,CAAC;YAChC,UAAU,GAAG,QAAQ,CAAC,MAAM,IAAI,IAAI,CAAC;QACzC,CAAC;aAAM,CAAC;YACJ,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;YAC3B,IAAI,IAAI,EAAE,CAAC;gBACP,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;YAChD,CAAC;QACL,CAAC;QAED,IAAI,CAAC,UAAU,EAAE,CAAC;YACd,OAAO;gBACH,OAAO,EAAE,WAAW;gBACpB,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,uCAAuC,WAAW,EAAE;gBAC3D,aAAa,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,WAAW;aAC1C,CAAC;QACN,CAAC;QAED,kDAAkD;QAClD,IAAI,WAAW,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YAC/C,IAAI,CAAC;gBACD,WAAW,GAAG,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YACvD,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACT,OAAO;oBACH,OAAO,EAAE,WAAW;oBACpB,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,4BAA4B,UAAU,EAAE;oBAC/C,aAAa,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,WAAW;iBAC1C,CAAC;YACN,CAAC;QACL,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,EAAE;YACrD,GAAG,MAAM;YACT,WAAW,EAAE,QAAQ,CAAC,KAAK;SAC9B,EAAE,UAAU,CAAC,CAAC;QAEf,OAAO;YACH,OAAO,EAAE,WAAW;YACpB,OAAO,EAAE,IAAI;YACb,MAAM;YACN,aAAa,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,WAAW;SAC1C,CAAC;IACN,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACT,MAAM,QAAQ,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC5D,MAAM,aAAa,GAAG,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC;QAE3D,OAAO;YACH,OAAO,EAAE,WAAW;YACpB,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,0BAA0B,WAAW,EAAE,CAAC,CAAC,CAAC,QAAQ;YACzE,aAAa,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,WAAW;SAC1C,CAAC;IACN,CAAC;AACL,CAAC;AAED,SAAS,uBAAuB,CAC5B,OAAgB,EAChB,SAAkB,EAClB,OAAwB,EACxB,SAAiB,EACjB,GAAY,EACZ,KAAc,EACd,cAAwB;IAExB,OAAO;QACH,OAAO;QACP,SAAS;QACT,OAAO;QACP,cAAc;QACd,KAAK;QACL,aAAa,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;QACrC,GAAG,EAAE;YACD,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,KAAK;YAC1B,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO;YACjC,aAAa,EAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,aAAa;SAChD;KACJ,CAAC;AACN,CAAC"}

package/dist/ptr/node/clm/runner.d.ts

@@ -0,0 +1,70 @@
+/**
+ * CLMRunner - Execute JavaScript logic from CLM specifications
+ *
+ * Node.js PTR runtime for interpreting Cubical Logic Models.
+ *
+ * Refactored to use modular components from ./clm/
+ */
+import { CardCollection } from '../../../model/CardCollection.js';
+import type { CLMSpec, ExecutionResult, VerificationResult, RunExamplesSummary, ExecutionReport, SummaryReport, CLMBannerLines, MultiRuntimeResult } from './types.js';
+export declare class CLMRunner {
+    private loader;
+    private timeout;
+    private collection?;
+    constructor(basePath?: string, timeout?: number, collection?: CardCollection);
+    /**
+     * Run a CLM directly from a file path.
+     */
+    runFile(clmPath: string, input?: unknown): Promise<ExecutionResult>;
+    /**
+     * Execute a CLM specification with given input.
+     */
+    executeCLM(clm: CLMSpec, chapterDir: string, input: unknown): Promise<ExecutionResult>;
+    /**
+     * Execute a CLM across multiple runtimes and verify consensus.
+     */
+    executeMultiRuntime(clm: CLMSpec, chapterDir: string, input: unknown): Promise<MultiRuntimeResult>;
+    /**
+     * Check if a CLM is a multi-runtime CLM.
+     */
+    isMultiRuntime(clm: CLMSpec): boolean;
+    /**
+     * Verify CLM output against expected result.
+     */
+    verifyCLM(clm: CLMSpec, chapterDir: string, input: unknown, expected: unknown): Promise<VerificationResult>;
+    /**
+     * Run all examples from a CLM specification.
+     */
+    runExamples(clm: CLMSpec, chapterDir: string): Promise<Array<{
+        name: string;
+        result: ExecutionResult;
+    }>>;
+    /**
+     * Summarize example runs.
+     */
+    summarizeExampleRuns(clm: CLMSpec, results: Array<{
+        name: string;
+        result: ExecutionResult;
+    }>): RunExamplesSummary;
+    /**
+     * Build CLM banner for display.
+     */
+    buildCLMBanner(clm: CLMSpec): CLMBannerLines;
+    /**
+     * Build execution report.
+     */
+    buildExecutionReport(clm: CLMSpec, execution: ExecutionResult): ExecutionReport;
+    /**
+     * Build summary report.
+     */
+    buildSummaryReport(clm: CLMSpec, summary: RunExamplesSummary): SummaryReport;
+    private executeLoader;
+    private executeNetwork;
+    private executeStandard;
+    private executeRecursive;
+    private resolveCodeOrPath;
+    private buildNetworkContext;
+    private buildJavaScriptContext;
+    private buildRunCLM;
+}
+//# sourceMappingURL=runner.d.ts.map

package/dist/ptr/node/clm/runner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../../../../src/ptr/node/clm/runner.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAC;AAGlE,OAAO,KAAK,EACR,OAAO,EACP,eAAe,EACf,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,EACf,aAAa,EACb,cAAc,EACd,kBAAkB,EACrB,MAAM,YAAY,CAAC;AAuBpB,qBAAa,SAAS;IAClB,OAAO,CAAC,MAAM,CAAY;IAC1B,OAAO,CAAC,OAAO,CAAS;IACxB,OAAO,CAAC,UAAU,CAAC,CAAiB;gBAExB,QAAQ,GAAE,MAAsB,EAAE,OAAO,GAAE,MAAa,EAAE,UAAU,CAAC,EAAE,cAAc;IAMjG;;OAEG;IACG,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,eAAe,CAAC;IASzE;;OAEG;IACG,UAAU,CAAC,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,eAAe,CAAC;IA0C5F;;OAEG;IACG,mBAAmB,CAAC,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAIxG;;OAEG;IACH,cAAc,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO;IAIrC;;OAEG;IACG,SAAS,CACX,GAAG,EAAE,OAAO,EACZ,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,OAAO,EACd,QAAQ,EAAE,OAAO,GAClB,OAAO,CAAC,kBAAkB,CAAC;IAW9B;;OAEG;IACG,WAAW,CAAC,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC;QAC/D,IAAI,EAAE,MAAM,CAAC;QACb,MAAM,EAAE,eAAe,CAAC;KAC3B,CAAC,CAAC;IAWH;;OAEG;IACH,oBAAoB,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,eAAe,CAAA;KAAE,CAAC,GAAG,kBAAkB;IAoCjH;;OAEG;IACH,cAAc,CAAC,GAAG,EAAE,OAAO,GAAG,cAAc;IAY5C;;OAEG;IACH,oBAAoB,CAAC,GAAG,EAAE,OAAO,EAAE,SAAS,EAAE,eAAe,GAAG,eAAe;IAU/E;;OAEG;IACH,kBAAkB,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,kBAAkB,GAAG,aAAa;YAoB9D,aAAa;YAeb,cAAc;YAad,eAAe;YAyBf,gBAAgB;IAsD9B,OAAO,CAAC,iBAAiB;IAmCzB,OAAO,CAAC,mBAAmB;IAY3B,OAAO,CAAC,sBAAsB;IAkB9B,OAAO,CAAC,WAAW;CAMtB"}