export class HardenedAtomVM { /** * Initializes the Hardened AtomVM. * * @param {Object} store - The central KGCStore instance. * @param {Object} policyGraph - The ODRL policy graph for the sandbox. * @param {Object} options - Configuration options. */ constructor(store: any, policyGraph?: any, options?: any); store: any; telemetry: VmTelemetry; sandbox: SecuritySandbox; receiptGenerator: ReceiptGenerator; jitCompiler: JITRegulatoryCompiler; bridge: HooksBridge; runtime: any; loader: ConstitutionalLoader; /** * Prepares the runtime and loads the Erlang VM base. */ initialize(): Promise; /** * Safe execution entry point. Loads bytecode constitutionally and executes it * within the Erlang VM, wiring up the JS/Erlang bridge for side-effects. * * @param {string} avmPath - Path to the compiled BEAM bytecode. * @param {Object} specKitReceipt - Cryptographic receipt verifying the compilation. * @param {Object} agentId - The identity of the executing agent. * @param {Object} inputContext - The contextual input to the VM. * @returns {Promise} Execution result and the PROV-O receipt. */ execute(avmPath: string, specKitReceipt: any, agentId: any, inputContext?: any): Promise; /** * JIT Compiles and enforces a regulatory SHACL shape. * * @param {string} moduleName - Name of the regulatory module. * @param {Object} shape - The SHACL shape definition. * @returns {Promise} The compilation and registration result. */ enforceRegulatoryShape(moduleName: string, shape: any): Promise; /** * @private */ private _handleErlangMessage; } import { VmTelemetry } from './telemetry.mjs'; import { SecuritySandbox } from './sandbox.mjs'; import { ReceiptGenerator } from './receipt-generator.mjs'; import { JITRegulatoryCompiler } from '../compiler/jit-regulatory.mjs'; import { HooksBridge } from '../hooks-bridge.mjs'; import { ConstitutionalLoader } from './loader.mjs';