/** * Shared types for the asciicast v2 format. * Recorder and player both import these so the on-disk schema stays in sync. */ export type CastEventKind = 'o' | 'i'; export type CastEvent = [time: number, kind: CastEventKind, data: string]; export interface CastHeader { version: 2; width: number; height: number; timestamp?: number; duration?: number; title?: string; env?: Record; } /** * Escape a JSON string for safe interpolation inside an HTML `, `