tricu

protocol.ts (2555B)

---

 import type { TreeFormat, TreeFile } from './tree-export.js';
 import type { RuntimeStats } from './runtime-backends.js';
 import type { BundleHash, ExportInfo } from './bundle.js';
 import type { OutputType, ValueView } from './codecs.js';
 import type { Trace } from './io.js';
 export type RequestId = number & { readonly __requestId: unique symbol };
 export interface CatalogueEntry {
   id: string; title: string; hash: BundleHash; source: string; sourceSha256: string;
   export: string; arguments: unknown[]; output: OutputType; mode: 'pure' | 'io';
   category?: 'Basic Examples' | 'Practical Examples' | 'Language & Runtime Explorations';
   environment?: string;
   presets?: Record<string, { arguments: unknown[]; output: OutputType; mode: 'pure' | 'io' }>;
 }
 export type InspectionReply = { type: 'inspected'; id: number; io: true } | { type: 'inspected'; id: number; result: ValueView } | { type: 'inspection-error'; id: number; message: string; fatal: boolean };
 export type ClientMessage = { type: 'io-command'; command: import('./io-session.js').Command } | { type: 'io-stop' } |  { type: 'inspect'; id: number; name: string; output: import('./auto-interpretation.js').InspectionFormat }
   | { type: 'run-io'; name: string; output: OutputType; step: boolean }
   | { type: 'load'; hash: BundleHash; localId?: string }
   | { type: 'run'; export: string; arguments: unknown; expression?: string; output: OutputType; mode: 'pure' | 'io'; step: boolean }
   | { type: 'download' }
   | { type: 'export'; export: string; format: TreeFormat }
   | { type: 'resume'; id: RequestId };
 export type WorkerMessage = InspectionReply | { type: 'io-version'; version: 2 }
   | { type: 'io-open'; run: string } | { type: 'io-event'; event: import('./io-events.js').Event } | { type: 'io-close'; run: string; settled: boolean } | { type: 'module-exported'; bytes: Uint8Array; hash: BundleHash; manifest: string }
   | { type: 'module-export-error'; message: string }
   | { type: 'state'; state: 'running' }
   | { type: 'state'; state: 'step'; id: RequestId }
   | { type: 'loaded'; hash: BundleHash; exports: ExportInfo[]; nodes: number; metadata: Record<string, string>; source: string | null }
   | { type: 'trace'; phase: 'before'; event: Trace }
   | { type: 'done'; result: ValueView; stats: RuntimeStats }
   | { type: 'exported'; hash: BundleHash; export: string; format: TreeFormat; file: TreeFile }
   | { type: 'downloaded'; hash: BundleHash; bytes: Uint8Array }
   | { type: 'export-error'; message: string }
   | { type: 'error'; message: string; fatal?: boolean };