@karagoz/hayali 0.0.0-stage → 0.6.0

package/dist/types.d.ts

@@ -0,0 +1,1943 @@
+import { AlertVariants } from '@karagoz/shared';
+import { ComponentOptionsMixin } from 'vue';
+import { ComponentProvideOptions } from 'vue';
+import { DefineComponent } from 'vue';
+import { PluginSimple } from 'markdown-it';
+import { PublicProps } from 'vue';
+
+declare const __VLS_base: DefineComponent<__VLS_PublicProps, {}, {}, {}, {}, ComponentOptionsMixin, ComponentOptionsMixin, {
+    "update:position": (value: Position | undefined) => any;
+}, string, PublicProps, Readonly<__VLS_PublicProps> & Readonly<{
+    "onUpdate:position"?: ((value: Position | undefined) => any) | undefined;
+}>, {
+    fullLayoutFrom: FullLayoutFrom;
+    multiPanelFrom: FullLayoutFrom;
+}, {}, {}, {}, string, ComponentProvideOptions, false, {}, any>;
+
+declare const __VLS_export: __VLS_WithSlots<typeof __VLS_base, __VLS_Slots>;
+
+declare const __VLS_export_2: DefineComponent<__VLS_Props_2, {}, {}, {}, {}, ComponentOptionsMixin, ComponentOptionsMixin, {}, string, PublicProps, Readonly<__VLS_Props_2> & Readonly<{}>, {}, {}, {}, {}, string, ComponentProvideOptions, false, {}, any>;
+
+declare type __VLS_ModelProps = {
+    /**
+     * Current step. Optional so a server render needs nothing from the consumer: it falls back to the first step of the
+     * first chapter (never restored from `localStorage`).
+     */
+    'position'?: Position;
+};
+
+declare type __VLS_Props = {
+    lesson: Lesson;
+    /**
+     * Minimum container width for the side-by-side lesson/sandbox split; below it a single panel is shown
+     * with a Lesson/Sandbox toggle. Uses the component's own width (container query), not the viewport's.
+     * `none` always uses the single-panel layout.
+     * **Available values:** none, xs, sm, md, lg, xl, 2xl, 3xl, 4xl, 5xl, 6xl, 7xl
+     */
+    fullLayoutFrom?: FullLayoutFrom;
+    /**
+     * Forwarded to the default `KrgzSandbox` (and exposed on the `sandbox` slot) as its `multi-panel-from`,
+     * so the sandbox drops to a single panel when its pane is narrow.
+     * **Available values:** none, xs, sm, md, lg, xl, 2xl, 3xl, 4xl, 5xl, 6xl, 7xl
+     */
+    multiPanelFrom?: FullLayoutFrom;
+};
+
+declare type __VLS_Props_2 = {
+    /** Step markdown body. */
+    body: string;
+};
+
+declare type __VLS_PublicProps = __VLS_Props & __VLS_ModelProps;
+
+declare type __VLS_Slots = {} & {
+    sandbox?: (props: typeof __VLS_55) => any;
+};
+
+declare type __VLS_WithSlots<T, S> = T & {
+    new (): {
+        $slots: S;
+    };
+};
+
+/** Adjustments tree: nested directories to file contents, as accepted by WebContainer `mount()`. */
+export declare interface AdjustmentsTree {
+    [name: string]: {
+        file: {
+            contents: string;
+        };
+    } | {
+        directory: AdjustmentsTree;
+    };
+}
+
+export declare interface CalloutDefinition {
+    variant: NonNullable<AlertVariants['variant']>;
+}
+
+/**
+ * markdown-it plugin recognising `:::kind [title]` ... `:::` blocks for every
+ * kind in the registry. Unregistered kinds are left as plain markdown.
+ */
+export declare function calloutPlugin(registry: CalloutRegistry): PluginSimple;
+
+export declare interface CalloutRegistry {
+    /** Registers (or replaces) a callout kind, e.g. `:::tip`. */
+    register: (kind: string, definition: CalloutDefinition) => void;
+    get: (kind: string) => CalloutDefinition | undefined;
+}
+
+export declare interface Chapter {
+    /** Author-supplied, unique within the lesson. Never derived from title text. */
+    id: string;
+    title: string;
+    steps: Step[];
+}
+
+export declare function createCalloutRegistry(initial?: Record<string, CalloutDefinition>): CalloutRegistry;
+
+/** Per-step editor instructions, applied on every entry to the step. */
+export declare interface EditorDirective {
+    /** Files to open; the last one is focused. Optionally with a line to go to. */
+    open?: (string | {
+        path: string;
+        line?: number;
+    })[];
+    /** Files to close, or `'all'`. */
+    close?: string[] | 'all';
+    /** Lines to highlight. */
+    highlight?: {
+        path: string;
+        lines: LineSpec;
+    }[];
+}
+
+/** Minimum container width, in rem, per `fullLayoutFrom` value (Tailwind's container breakpoints). */
+declare const FULL_LAYOUT_BREAKPOINTS: {
+    readonly xs: 20;
+    readonly sm: 24;
+    readonly md: 28;
+    readonly lg: 32;
+    readonly xl: 36;
+    readonly '2xl': 42;
+    readonly '3xl': 48;
+    readonly '4xl': 56;
+    readonly '5xl': 64;
+    readonly '6xl': 72;
+    readonly '7xl': 80;
+};
+
+/** Minimum container width for the side-by-side layout; `none` always uses the single-panel layout. */
+export declare type FullLayoutFrom = 'none' | keyof typeof FULL_LAYOUT_BREAKPOINTS;
+
+/**
+ * Complete lang pack under one `krgz` root (`krgz.dir`, `krgz.sandbox.*`, `krgz.hayali.*`) for `en`, `de` and `ar`.
+ * Includes the sandbox messages, so consumers merge only this object.
+ */
+export declare const i18nMessages: {
+    ar: {
+        krgz: {
+            hayali: {
+                prev: string;
+                next: string;
+                steps: string;
+                done: string;
+                current: string;
+                upcoming: string;
+                toc: string;
+                lesson: string;
+                sandbox: string;
+                locks: {
+                    title: string;
+                    description: string;
+                };
+                confirm: {
+                    title: string;
+                    description: string;
+                    cancel: string;
+                    continue: string;
+                };
+            };
+            dir: string;
+            sandbox: {
+                general: {
+                    close: string;
+                    open: string;
+                    restart: string;
+                    stop: string;
+                };
+                loading: {
+                    booting: string;
+                    editor: string;
+                    files: string;
+                    preview: string;
+                    processes: string;
+                    terminals: string;
+                };
+                panel: {
+                    editor: {
+                        readonly: string;
+                    };
+                    preview: {
+                        clearConsole: string;
+                        console: string;
+                        reload: string;
+                    };
+                    terminals: {
+                        new: string;
+                        open: string;
+                    };
+                };
+                toggle: {
+                    code: string;
+                    explorer: string;
+                    fullscreen: string;
+                    more: string;
+                    processes: string;
+                    result: string;
+                    solve: string;
+                    theme: string;
+                    terminal: string;
+                };
+            };
+        } | {
+            hayali: {
+                prev: string;
+                next: string;
+                steps: string;
+                done: string;
+                current: string;
+                upcoming: string;
+                toc: string;
+                lesson: string;
+                sandbox: string;
+                locks: {
+                    title: string;
+                    description: string;
+                };
+                confirm: {
+                    title: string;
+                    description: string;
+                    cancel: string;
+                    continue: string;
+                };
+            };
+            dir: string;
+            sandbox: {
+                general: {
+                    close: string;
+                    open: string;
+                    restart: string;
+                    stop: string;
+                };
+                loading: {
+                    booting: string;
+                    editor: string;
+                    files: string;
+                    preview: string;
+                    processes: string;
+                    terminals: string;
+                };
+                panel: {
+                    editor: {
+                        readonly: string;
+                    };
+                    preview: {
+                        clearConsole: string;
+                        console: string;
+                        reload: string;
+                    };
+                    terminals: {
+                        new: string;
+                        open: string;
+                    };
+                };
+                toggle: {
+                    code: string;
+                    explorer: string;
+                    fullscreen: string;
+                    more: string;
+                    processes: string;
+                    result: string;
+                    solve: string;
+                    theme: string;
+                    terminal: string;
+                };
+            };
+        } | {
+            hayali: {
+                prev: string;
+                next: string;
+                steps: string;
+                done: string;
+                current: string;
+                upcoming: string;
+                toc: string;
+                lesson: string;
+                sandbox: string;
+                locks: {
+                    title: string;
+                    description: string;
+                };
+                confirm: {
+                    title: string;
+                    description: string;
+                    cancel: string;
+                    continue: string;
+                };
+            };
+            dir: string;
+            sandbox: {
+                general: {
+                    close: string;
+                    open: string;
+                    restart: string;
+                    stop: string;
+                };
+                loading: {
+                    booting: string;
+                    editor: string;
+                    files: string;
+                    preview: string;
+                    processes: string;
+                    terminals: string;
+                };
+                panel: {
+                    editor: {
+                        readonly: string;
+                    };
+                    preview: {
+                        clearConsole: string;
+                        console: string;
+                        reload: string;
+                    };
+                    terminals: {
+                        new: string;
+                        open: string;
+                    };
+                };
+                toggle: {
+                    code: string;
+                    explorer: string;
+                    fullscreen: string;
+                    more: string;
+                    processes: string;
+                    result: string;
+                    solve: string;
+                    theme: string;
+                    terminal: string;
+                };
+            };
+        } | {
+            hayali: {
+                prev: string;
+                next: string;
+                steps: string;
+                done: string;
+                current: string;
+                upcoming: string;
+                toc: string;
+                lesson: string;
+                sandbox: string;
+                locks: {
+                    title: string;
+                    description: string;
+                };
+                confirm: {
+                    title: string;
+                    description: string;
+                    cancel: string;
+                    continue: string;
+                };
+            };
+            dir: string;
+            sandbox: {
+                general: {
+                    close: string;
+                    open: string;
+                    restart: string;
+                    stop: string;
+                };
+                loading: {
+                    booting: string;
+                    editor: string;
+                    files: string;
+                    preview: string;
+                    processes: string;
+                    terminals: string;
+                };
+                panel: {
+                    editor: {
+                        readonly: string;
+                    };
+                    preview: {
+                        clearConsole: string;
+                        console: string;
+                        reload: string;
+                    };
+                    terminals: {
+                        new: string;
+                        open: string;
+                    };
+                };
+                toggle: {
+                    code: string;
+                    explorer: string;
+                    fullscreen: string;
+                    more: string;
+                    processes: string;
+                    result: string;
+                    solve: string;
+                    theme: string;
+                    terminal: string;
+                };
+            };
+        } | {
+            hayali: {
+                prev: string;
+                next: string;
+                steps: string;
+                done: string;
+                current: string;
+                upcoming: string;
+                toc: string;
+                lesson: string;
+                sandbox: string;
+                locks: {
+                    title: string;
+                    description: string;
+                };
+                confirm: {
+                    title: string;
+                    description: string;
+                    cancel: string;
+                    continue: string;
+                };
+            };
+            dir: string;
+            sandbox: {
+                general: {
+                    close: string;
+                    open: string;
+                    restart: string;
+                    stop: string;
+                };
+                loading: {
+                    booting: string;
+                    editor: string;
+                    files: string;
+                    preview: string;
+                    processes: string;
+                    terminals: string;
+                };
+                panel: {
+                    editor: {
+                        readonly: string;
+                    };
+                    preview: {
+                        clearConsole: string;
+                        console: string;
+                        reload: string;
+                    };
+                    terminals: {
+                        new: string;
+                        open: string;
+                    };
+                };
+                toggle: {
+                    code: string;
+                    explorer: string;
+                    fullscreen: string;
+                    more: string;
+                    processes: string;
+                    result: string;
+                    solve: string;
+                    theme: string;
+                    terminal: string;
+                };
+            };
+        } | {
+            hayali: {
+                prev: string;
+                next: string;
+                steps: string;
+                done: string;
+                current: string;
+                upcoming: string;
+                toc: string;
+                lesson: string;
+                sandbox: string;
+                locks: {
+                    title: string;
+                    description: string;
+                };
+                confirm: {
+                    title: string;
+                    description: string;
+                    cancel: string;
+                    continue: string;
+                };
+            };
+            dir: string;
+            sandbox: {
+                general: {
+                    close: string;
+                    open: string;
+                    restart: string;
+                    stop: string;
+                };
+                loading: {
+                    booting: string;
+                    editor: string;
+                    files: string;
+                    preview: string;
+                    processes: string;
+                    terminals: string;
+                };
+                panel: {
+                    editor: {
+                        readonly: string;
+                    };
+                    preview: {
+                        clearConsole: string;
+                        console: string;
+                        reload: string;
+                    };
+                    terminals: {
+                        new: string;
+                        open: string;
+                    };
+                };
+                toggle: {
+                    code: string;
+                    explorer: string;
+                    fullscreen: string;
+                    more: string;
+                    processes: string;
+                    result: string;
+                    solve: string;
+                    theme: string;
+                    terminal: string;
+                };
+            };
+        } | {
+            hayali: {
+                prev: string;
+                next: string;
+                steps: string;
+                done: string;
+                current: string;
+                upcoming: string;
+                toc: string;
+                lesson: string;
+                sandbox: string;
+                locks: {
+                    title: string;
+                    description: string;
+                };
+                confirm: {
+                    title: string;
+                    description: string;
+                    cancel: string;
+                    continue: string;
+                };
+            };
+            dir: string;
+            sandbox: {
+                general: {
+                    close: string;
+                    open: string;
+                    restart: string;
+                    stop: string;
+                };
+                loading: {
+                    booting: string;
+                    editor: string;
+                    files: string;
+                    preview: string;
+                    processes: string;
+                    terminals: string;
+                };
+                panel: {
+                    editor: {
+                        readonly: string;
+                    };
+                    preview: {
+                        clearConsole: string;
+                        console: string;
+                        reload: string;
+                    };
+                    terminals: {
+                        new: string;
+                        open: string;
+                    };
+                };
+                toggle: {
+                    code: string;
+                    explorer: string;
+                    fullscreen: string;
+                    more: string;
+                    processes: string;
+                    result: string;
+                    solve: string;
+                    theme: string;
+                    terminal: string;
+                };
+            };
+        } | {
+            hayali: {
+                prev: string;
+                next: string;
+                steps: string;
+                done: string;
+                current: string;
+                upcoming: string;
+                toc: string;
+                lesson: string;
+                sandbox: string;
+                locks: {
+                    title: string;
+                    description: string;
+                };
+                confirm: {
+                    title: string;
+                    description: string;
+                    cancel: string;
+                    continue: string;
+                };
+            };
+            dir: string;
+            sandbox: {
+                general: {
+                    close: string;
+                    open: string;
+                    restart: string;
+                    stop: string;
+                };
+                loading: {
+                    booting: string;
+                    editor: string;
+                    files: string;
+                    preview: string;
+                    processes: string;
+                    terminals: string;
+                };
+                panel: {
+                    editor: {
+                        readonly: string;
+                    };
+                    preview: {
+                        clearConsole: string;
+                        console: string;
+                        reload: string;
+                    };
+                    terminals: {
+                        new: string;
+                        open: string;
+                    };
+                };
+                toggle: {
+                    code: string;
+                    explorer: string;
+                    fullscreen: string;
+                    more: string;
+                    processes: string;
+                    result: string;
+                    solve: string;
+                    theme: string;
+                    terminal: string;
+                };
+            };
+        } | {
+            hayali: {
+                prev: string;
+                next: string;
+                steps: string;
+                done: string;
+                current: string;
+                upcoming: string;
+                toc: string;
+                lesson: string;
+                sandbox: string;
+                locks: {
+                    title: string;
+                    description: string;
+                };
+                confirm: {
+                    title: string;
+                    description: string;
+                    cancel: string;
+                    continue: string;
+                };
+            };
+            dir: string;
+            sandbox: {
+                general: {
+                    close: string;
+                    open: string;
+                    restart: string;
+                    stop: string;
+                };
+                loading: {
+                    booting: string;
+                    editor: string;
+                    files: string;
+                    preview: string;
+                    processes: string;
+                    terminals: string;
+                };
+                panel: {
+                    editor: {
+                        readonly: string;
+                    };
+                    preview: {
+                        clearConsole: string;
+                        console: string;
+                        reload: string;
+                    };
+                    terminals: {
+                        new: string;
+                        open: string;
+                    };
+                };
+                toggle: {
+                    code: string;
+                    explorer: string;
+                    fullscreen: string;
+                    more: string;
+                    processes: string;
+                    result: string;
+                    solve: string;
+                    theme: string;
+                    terminal: string;
+                };
+            };
+        };
+    };
+    de: {
+        krgz: {
+            hayali: {
+                prev: string;
+                next: string;
+                steps: string;
+                done: string;
+                current: string;
+                upcoming: string;
+                toc: string;
+                lesson: string;
+                sandbox: string;
+                locks: {
+                    title: string;
+                    description: string;
+                };
+                confirm: {
+                    title: string;
+                    description: string;
+                    cancel: string;
+                    continue: string;
+                };
+            };
+            dir: string;
+            sandbox: {
+                general: {
+                    close: string;
+                    open: string;
+                    restart: string;
+                    stop: string;
+                };
+                loading: {
+                    booting: string;
+                    editor: string;
+                    files: string;
+                    preview: string;
+                    processes: string;
+                    terminals: string;
+                };
+                panel: {
+                    editor: {
+                        readonly: string;
+                    };
+                    preview: {
+                        clearConsole: string;
+                        console: string;
+                        reload: string;
+                    };
+                    terminals: {
+                        new: string;
+                        open: string;
+                    };
+                };
+                toggle: {
+                    code: string;
+                    explorer: string;
+                    fullscreen: string;
+                    more: string;
+                    processes: string;
+                    result: string;
+                    solve: string;
+                    theme: string;
+                    terminal: string;
+                };
+            };
+        } | {
+            hayali: {
+                prev: string;
+                next: string;
+                steps: string;
+                done: string;
+                current: string;
+                upcoming: string;
+                toc: string;
+                lesson: string;
+                sandbox: string;
+                locks: {
+                    title: string;
+                    description: string;
+                };
+                confirm: {
+                    title: string;
+                    description: string;
+                    cancel: string;
+                    continue: string;
+                };
+            };
+            dir: string;
+            sandbox: {
+                general: {
+                    close: string;
+                    open: string;
+                    restart: string;
+                    stop: string;
+                };
+                loading: {
+                    booting: string;
+                    editor: string;
+                    files: string;
+                    preview: string;
+                    processes: string;
+                    terminals: string;
+                };
+                panel: {
+                    editor: {
+                        readonly: string;
+                    };
+                    preview: {
+                        clearConsole: string;
+                        console: string;
+                        reload: string;
+                    };
+                    terminals: {
+                        new: string;
+                        open: string;
+                    };
+                };
+                toggle: {
+                    code: string;
+                    explorer: string;
+                    fullscreen: string;
+                    more: string;
+                    processes: string;
+                    result: string;
+                    solve: string;
+                    theme: string;
+                    terminal: string;
+                };
+            };
+        } | {
+            hayali: {
+                prev: string;
+                next: string;
+                steps: string;
+                done: string;
+                current: string;
+                upcoming: string;
+                toc: string;
+                lesson: string;
+                sandbox: string;
+                locks: {
+                    title: string;
+                    description: string;
+                };
+                confirm: {
+                    title: string;
+                    description: string;
+                    cancel: string;
+                    continue: string;
+                };
+            };
+            dir: string;
+            sandbox: {
+                general: {
+                    close: string;
+                    open: string;
+                    restart: string;
+                    stop: string;
+                };
+                loading: {
+                    booting: string;
+                    editor: string;
+                    files: string;
+                    preview: string;
+                    processes: string;
+                    terminals: string;
+                };
+                panel: {
+                    editor: {
+                        readonly: string;
+                    };
+                    preview: {
+                        clearConsole: string;
+                        console: string;
+                        reload: string;
+                    };
+                    terminals: {
+                        new: string;
+                        open: string;
+                    };
+                };
+                toggle: {
+                    code: string;
+                    explorer: string;
+                    fullscreen: string;
+                    more: string;
+                    processes: string;
+                    result: string;
+                    solve: string;
+                    theme: string;
+                    terminal: string;
+                };
+            };
+        } | {
+            hayali: {
+                prev: string;
+                next: string;
+                steps: string;
+                done: string;
+                current: string;
+                upcoming: string;
+                toc: string;
+                lesson: string;
+                sandbox: string;
+                locks: {
+                    title: string;
+                    description: string;
+                };
+                confirm: {
+                    title: string;
+                    description: string;
+                    cancel: string;
+                    continue: string;
+                };
+            };
+            dir: string;
+            sandbox: {
+                general: {
+                    close: string;
+                    open: string;
+                    restart: string;
+                    stop: string;
+                };
+                loading: {
+                    booting: string;
+                    editor: string;
+                    files: string;
+                    preview: string;
+                    processes: string;
+                    terminals: string;
+                };
+                panel: {
+                    editor: {
+                        readonly: string;
+                    };
+                    preview: {
+                        clearConsole: string;
+                        console: string;
+                        reload: string;
+                    };
+                    terminals: {
+                        new: string;
+                        open: string;
+                    };
+                };
+                toggle: {
+                    code: string;
+                    explorer: string;
+                    fullscreen: string;
+                    more: string;
+                    processes: string;
+                    result: string;
+                    solve: string;
+                    theme: string;
+                    terminal: string;
+                };
+            };
+        } | {
+            hayali: {
+                prev: string;
+                next: string;
+                steps: string;
+                done: string;
+                current: string;
+                upcoming: string;
+                toc: string;
+                lesson: string;
+                sandbox: string;
+                locks: {
+                    title: string;
+                    description: string;
+                };
+                confirm: {
+                    title: string;
+                    description: string;
+                    cancel: string;
+                    continue: string;
+                };
+            };
+            dir: string;
+            sandbox: {
+                general: {
+                    close: string;
+                    open: string;
+                    restart: string;
+                    stop: string;
+                };
+                loading: {
+                    booting: string;
+                    editor: string;
+                    files: string;
+                    preview: string;
+                    processes: string;
+                    terminals: string;
+                };
+                panel: {
+                    editor: {
+                        readonly: string;
+                    };
+                    preview: {
+                        clearConsole: string;
+                        console: string;
+                        reload: string;
+                    };
+                    terminals: {
+                        new: string;
+                        open: string;
+                    };
+                };
+                toggle: {
+                    code: string;
+                    explorer: string;
+                    fullscreen: string;
+                    more: string;
+                    processes: string;
+                    result: string;
+                    solve: string;
+                    theme: string;
+                    terminal: string;
+                };
+            };
+        } | {
+            hayali: {
+                prev: string;
+                next: string;
+                steps: string;
+                done: string;
+                current: string;
+                upcoming: string;
+                toc: string;
+                lesson: string;
+                sandbox: string;
+                locks: {
+                    title: string;
+                    description: string;
+                };
+                confirm: {
+                    title: string;
+                    description: string;
+                    cancel: string;
+                    continue: string;
+                };
+            };
+            dir: string;
+            sandbox: {
+                general: {
+                    close: string;
+                    open: string;
+                    restart: string;
+                    stop: string;
+                };
+                loading: {
+                    booting: string;
+                    editor: string;
+                    files: string;
+                    preview: string;
+                    processes: string;
+                    terminals: string;
+                };
+                panel: {
+                    editor: {
+                        readonly: string;
+                    };
+                    preview: {
+                        clearConsole: string;
+                        console: string;
+                        reload: string;
+                    };
+                    terminals: {
+                        new: string;
+                        open: string;
+                    };
+                };
+                toggle: {
+                    code: string;
+                    explorer: string;
+                    fullscreen: string;
+                    more: string;
+                    processes: string;
+                    result: string;
+                    solve: string;
+                    theme: string;
+                    terminal: string;
+                };
+            };
+        } | {
+            hayali: {
+                prev: string;
+                next: string;
+                steps: string;
+                done: string;
+                current: string;
+                upcoming: string;
+                toc: string;
+                lesson: string;
+                sandbox: string;
+                locks: {
+                    title: string;
+                    description: string;
+                };
+                confirm: {
+                    title: string;
+                    description: string;
+                    cancel: string;
+                    continue: string;
+                };
+            };
+            dir: string;
+            sandbox: {
+                general: {
+                    close: string;
+                    open: string;
+                    restart: string;
+                    stop: string;
+                };
+                loading: {
+                    booting: string;
+                    editor: string;
+                    files: string;
+                    preview: string;
+                    processes: string;
+                    terminals: string;
+                };
+                panel: {
+                    editor: {
+                        readonly: string;
+                    };
+                    preview: {
+                        clearConsole: string;
+                        console: string;
+                        reload: string;
+                    };
+                    terminals: {
+                        new: string;
+                        open: string;
+                    };
+                };
+                toggle: {
+                    code: string;
+                    explorer: string;
+                    fullscreen: string;
+                    more: string;
+                    processes: string;
+                    result: string;
+                    solve: string;
+                    theme: string;
+                    terminal: string;
+                };
+            };
+        } | {
+            hayali: {
+                prev: string;
+                next: string;
+                steps: string;
+                done: string;
+                current: string;
+                upcoming: string;
+                toc: string;
+                lesson: string;
+                sandbox: string;
+                locks: {
+                    title: string;
+                    description: string;
+                };
+                confirm: {
+                    title: string;
+                    description: string;
+                    cancel: string;
+                    continue: string;
+                };
+            };
+            dir: string;
+            sandbox: {
+                general: {
+                    close: string;
+                    open: string;
+                    restart: string;
+                    stop: string;
+                };
+                loading: {
+                    booting: string;
+                    editor: string;
+                    files: string;
+                    preview: string;
+                    processes: string;
+                    terminals: string;
+                };
+                panel: {
+                    editor: {
+                        readonly: string;
+                    };
+                    preview: {
+                        clearConsole: string;
+                        console: string;
+                        reload: string;
+                    };
+                    terminals: {
+                        new: string;
+                        open: string;
+                    };
+                };
+                toggle: {
+                    code: string;
+                    explorer: string;
+                    fullscreen: string;
+                    more: string;
+                    processes: string;
+                    result: string;
+                    solve: string;
+                    theme: string;
+                    terminal: string;
+                };
+            };
+        } | {
+            hayali: {
+                prev: string;
+                next: string;
+                steps: string;
+                done: string;
+                current: string;
+                upcoming: string;
+                toc: string;
+                lesson: string;
+                sandbox: string;
+                locks: {
+                    title: string;
+                    description: string;
+                };
+                confirm: {
+                    title: string;
+                    description: string;
+                    cancel: string;
+                    continue: string;
+                };
+            };
+            dir: string;
+            sandbox: {
+                general: {
+                    close: string;
+                    open: string;
+                    restart: string;
+                    stop: string;
+                };
+                loading: {
+                    booting: string;
+                    editor: string;
+                    files: string;
+                    preview: string;
+                    processes: string;
+                    terminals: string;
+                };
+                panel: {
+                    editor: {
+                        readonly: string;
+                    };
+                    preview: {
+                        clearConsole: string;
+                        console: string;
+                        reload: string;
+                    };
+                    terminals: {
+                        new: string;
+                        open: string;
+                    };
+                };
+                toggle: {
+                    code: string;
+                    explorer: string;
+                    fullscreen: string;
+                    more: string;
+                    processes: string;
+                    result: string;
+                    solve: string;
+                    theme: string;
+                    terminal: string;
+                };
+            };
+        };
+    };
+    en: {
+        krgz: {
+            hayali: {
+                prev: string;
+                next: string;
+                steps: string;
+                done: string;
+                current: string;
+                upcoming: string;
+                toc: string;
+                lesson: string;
+                sandbox: string;
+                locks: {
+                    title: string;
+                    description: string;
+                };
+                confirm: {
+                    title: string;
+                    description: string;
+                    cancel: string;
+                    continue: string;
+                };
+            };
+            dir: string;
+            sandbox: {
+                general: {
+                    close: string;
+                    open: string;
+                    restart: string;
+                    stop: string;
+                };
+                loading: {
+                    booting: string;
+                    editor: string;
+                    files: string;
+                    preview: string;
+                    processes: string;
+                    terminals: string;
+                };
+                panel: {
+                    editor: {
+                        readonly: string;
+                    };
+                    preview: {
+                        clearConsole: string;
+                        console: string;
+                        reload: string;
+                    };
+                    terminals: {
+                        new: string;
+                        open: string;
+                    };
+                };
+                toggle: {
+                    code: string;
+                    explorer: string;
+                    fullscreen: string;
+                    more: string;
+                    processes: string;
+                    result: string;
+                    solve: string;
+                    theme: string;
+                    terminal: string;
+                };
+            };
+        } | {
+            hayali: {
+                prev: string;
+                next: string;
+                steps: string;
+                done: string;
+                current: string;
+                upcoming: string;
+                toc: string;
+                lesson: string;
+                sandbox: string;
+                locks: {
+                    title: string;
+                    description: string;
+                };
+                confirm: {
+                    title: string;
+                    description: string;
+                    cancel: string;
+                    continue: string;
+                };
+            };
+            dir: string;
+            sandbox: {
+                general: {
+                    close: string;
+                    open: string;
+                    restart: string;
+                    stop: string;
+                };
+                loading: {
+                    booting: string;
+                    editor: string;
+                    files: string;
+                    preview: string;
+                    processes: string;
+                    terminals: string;
+                };
+                panel: {
+                    editor: {
+                        readonly: string;
+                    };
+                    preview: {
+                        clearConsole: string;
+                        console: string;
+                        reload: string;
+                    };
+                    terminals: {
+                        new: string;
+                        open: string;
+                    };
+                };
+                toggle: {
+                    code: string;
+                    explorer: string;
+                    fullscreen: string;
+                    more: string;
+                    processes: string;
+                    result: string;
+                    solve: string;
+                    theme: string;
+                    terminal: string;
+                };
+            };
+        } | {
+            hayali: {
+                prev: string;
+                next: string;
+                steps: string;
+                done: string;
+                current: string;
+                upcoming: string;
+                toc: string;
+                lesson: string;
+                sandbox: string;
+                locks: {
+                    title: string;
+                    description: string;
+                };
+                confirm: {
+                    title: string;
+                    description: string;
+                    cancel: string;
+                    continue: string;
+                };
+            };
+            dir: string;
+            sandbox: {
+                general: {
+                    close: string;
+                    open: string;
+                    restart: string;
+                    stop: string;
+                };
+                loading: {
+                    booting: string;
+                    editor: string;
+                    files: string;
+                    preview: string;
+                    processes: string;
+                    terminals: string;
+                };
+                panel: {
+                    editor: {
+                        readonly: string;
+                    };
+                    preview: {
+                        clearConsole: string;
+                        console: string;
+                        reload: string;
+                    };
+                    terminals: {
+                        new: string;
+                        open: string;
+                    };
+                };
+                toggle: {
+                    code: string;
+                    explorer: string;
+                    fullscreen: string;
+                    more: string;
+                    processes: string;
+                    result: string;
+                    solve: string;
+                    theme: string;
+                    terminal: string;
+                };
+            };
+        } | {
+            hayali: {
+                prev: string;
+                next: string;
+                steps: string;
+                done: string;
+                current: string;
+                upcoming: string;
+                toc: string;
+                lesson: string;
+                sandbox: string;
+                locks: {
+                    title: string;
+                    description: string;
+                };
+                confirm: {
+                    title: string;
+                    description: string;
+                    cancel: string;
+                    continue: string;
+                };
+            };
+            dir: string;
+            sandbox: {
+                general: {
+                    close: string;
+                    open: string;
+                    restart: string;
+                    stop: string;
+                };
+                loading: {
+                    booting: string;
+                    editor: string;
+                    files: string;
+                    preview: string;
+                    processes: string;
+                    terminals: string;
+                };
+                panel: {
+                    editor: {
+                        readonly: string;
+                    };
+                    preview: {
+                        clearConsole: string;
+                        console: string;
+                        reload: string;
+                    };
+                    terminals: {
+                        new: string;
+                        open: string;
+                    };
+                };
+                toggle: {
+                    code: string;
+                    explorer: string;
+                    fullscreen: string;
+                    more: string;
+                    processes: string;
+                    result: string;
+                    solve: string;
+                    theme: string;
+                    terminal: string;
+                };
+            };
+        } | {
+            hayali: {
+                prev: string;
+                next: string;
+                steps: string;
+                done: string;
+                current: string;
+                upcoming: string;
+                toc: string;
+                lesson: string;
+                sandbox: string;
+                locks: {
+                    title: string;
+                    description: string;
+                };
+                confirm: {
+                    title: string;
+                    description: string;
+                    cancel: string;
+                    continue: string;
+                };
+            };
+            dir: string;
+            sandbox: {
+                general: {
+                    close: string;
+                    open: string;
+                    restart: string;
+                    stop: string;
+                };
+                loading: {
+                    booting: string;
+                    editor: string;
+                    files: string;
+                    preview: string;
+                    processes: string;
+                    terminals: string;
+                };
+                panel: {
+                    editor: {
+                        readonly: string;
+                    };
+                    preview: {
+                        clearConsole: string;
+                        console: string;
+                        reload: string;
+                    };
+                    terminals: {
+                        new: string;
+                        open: string;
+                    };
+                };
+                toggle: {
+                    code: string;
+                    explorer: string;
+                    fullscreen: string;
+                    more: string;
+                    processes: string;
+                    result: string;
+                    solve: string;
+                    theme: string;
+                    terminal: string;
+                };
+            };
+        } | {
+            hayali: {
+                prev: string;
+                next: string;
+                steps: string;
+                done: string;
+                current: string;
+                upcoming: string;
+                toc: string;
+                lesson: string;
+                sandbox: string;
+                locks: {
+                    title: string;
+                    description: string;
+                };
+                confirm: {
+                    title: string;
+                    description: string;
+                    cancel: string;
+                    continue: string;
+                };
+            };
+            dir: string;
+            sandbox: {
+                general: {
+                    close: string;
+                    open: string;
+                    restart: string;
+                    stop: string;
+                };
+                loading: {
+                    booting: string;
+                    editor: string;
+                    files: string;
+                    preview: string;
+                    processes: string;
+                    terminals: string;
+                };
+                panel: {
+                    editor: {
+                        readonly: string;
+                    };
+                    preview: {
+                        clearConsole: string;
+                        console: string;
+                        reload: string;
+                    };
+                    terminals: {
+                        new: string;
+                        open: string;
+                    };
+                };
+                toggle: {
+                    code: string;
+                    explorer: string;
+                    fullscreen: string;
+                    more: string;
+                    processes: string;
+                    result: string;
+                    solve: string;
+                    theme: string;
+                    terminal: string;
+                };
+            };
+        } | {
+            hayali: {
+                prev: string;
+                next: string;
+                steps: string;
+                done: string;
+                current: string;
+                upcoming: string;
+                toc: string;
+                lesson: string;
+                sandbox: string;
+                locks: {
+                    title: string;
+                    description: string;
+                };
+                confirm: {
+                    title: string;
+                    description: string;
+                    cancel: string;
+                    continue: string;
+                };
+            };
+            dir: string;
+            sandbox: {
+                general: {
+                    close: string;
+                    open: string;
+                    restart: string;
+                    stop: string;
+                };
+                loading: {
+                    booting: string;
+                    editor: string;
+                    files: string;
+                    preview: string;
+                    processes: string;
+                    terminals: string;
+                };
+                panel: {
+                    editor: {
+                        readonly: string;
+                    };
+                    preview: {
+                        clearConsole: string;
+                        console: string;
+                        reload: string;
+                    };
+                    terminals: {
+                        new: string;
+                        open: string;
+                    };
+                };
+                toggle: {
+                    code: string;
+                    explorer: string;
+                    fullscreen: string;
+                    more: string;
+                    processes: string;
+                    result: string;
+                    solve: string;
+                    theme: string;
+                    terminal: string;
+                };
+            };
+        } | {
+            hayali: {
+                prev: string;
+                next: string;
+                steps: string;
+                done: string;
+                current: string;
+                upcoming: string;
+                toc: string;
+                lesson: string;
+                sandbox: string;
+                locks: {
+                    title: string;
+                    description: string;
+                };
+                confirm: {
+                    title: string;
+                    description: string;
+                    cancel: string;
+                    continue: string;
+                };
+            };
+            dir: string;
+            sandbox: {
+                general: {
+                    close: string;
+                    open: string;
+                    restart: string;
+                    stop: string;
+                };
+                loading: {
+                    booting: string;
+                    editor: string;
+                    files: string;
+                    preview: string;
+                    processes: string;
+                    terminals: string;
+                };
+                panel: {
+                    editor: {
+                        readonly: string;
+                    };
+                    preview: {
+                        clearConsole: string;
+                        console: string;
+                        reload: string;
+                    };
+                    terminals: {
+                        new: string;
+                        open: string;
+                    };
+                };
+                toggle: {
+                    code: string;
+                    explorer: string;
+                    fullscreen: string;
+                    more: string;
+                    processes: string;
+                    result: string;
+                    solve: string;
+                    theme: string;
+                    terminal: string;
+                };
+            };
+        } | {
+            hayali: {
+                prev: string;
+                next: string;
+                steps: string;
+                done: string;
+                current: string;
+                upcoming: string;
+                toc: string;
+                lesson: string;
+                sandbox: string;
+                locks: {
+                    title: string;
+                    description: string;
+                };
+                confirm: {
+                    title: string;
+                    description: string;
+                    cancel: string;
+                    continue: string;
+                };
+            };
+            dir: string;
+            sandbox: {
+                general: {
+                    close: string;
+                    open: string;
+                    restart: string;
+                    stop: string;
+                };
+                loading: {
+                    booting: string;
+                    editor: string;
+                    files: string;
+                    preview: string;
+                    processes: string;
+                    terminals: string;
+                };
+                panel: {
+                    editor: {
+                        readonly: string;
+                    };
+                    preview: {
+                        clearConsole: string;
+                        console: string;
+                        reload: string;
+                    };
+                    terminals: {
+                        new: string;
+                        open: string;
+                    };
+                };
+                toggle: {
+                    code: string;
+                    explorer: string;
+                    fullscreen: string;
+                    more: string;
+                    processes: string;
+                    result: string;
+                    solve: string;
+                    theme: string;
+                    terminal: string;
+                };
+            };
+        };
+    };
+};
+
+export declare const KrgzHayali: typeof __VLS_export;
+
+export declare interface Lesson {
+    chapters: Chapter[];
+    /** Base tree mounted at boot, split into immutable and resettable tiers by `immutable`. */
+    files?: AdjustmentsTree;
+    /** Paths mounted once and never reset. */
+    immutable?: PathPattern[];
+}
+
+export declare interface LessonIssue {
+    rule: LessonIssueRule;
+    chapterId: string;
+    stepId: string;
+    /** Normalized offending path, when the issue is about one. */
+    path?: string;
+    message: string;
+}
+
+export declare type LessonIssueRule = 'invalid-path' | 'invalid-preview-url' | 'line-out-of-range' | 'malformed-lines' | 'missing-file' | 'removed-path';
+
+/** 1-based, inclusive: a line, a `[from, to]` range, or a list of either. */
+export declare type LineSpec = number | [from: number, to: number] | (number | [number, number])[];
+
+/** Glob-style path pattern, e.g. `package.json` or `src/**`. */
+export declare type PathPattern = string;
+
+/**
+ * A step within a lesson. Step IDs are unique only within their chapter, so both IDs are needed. A position that
+ * names no existing step falls back to the first step of the lesson.
+ */
+export declare interface Position {
+    chapterId: string;
+    stepId: string;
+}
+
+export declare interface Step {
+    /** Author-supplied, unique within its chapter. Never derived from title text. */
+    id: string;
+    title: string;
+    /** Markdown body. */
+    body: string;
+    /** Files added/changed by this step, overlaid on the lesson base tree. */
+    adjustments?: AdjustmentsTree;
+    /** Paths deleted when entering this step. */
+    removals?: string[];
+    /** Paths locked (UI-only) for this step. */
+    locks?: PathPattern[];
+    /** Editor directives applied on entry to this step. */
+    editor?: EditorDirective;
+    /** Preview to show on entry to this step. `url` is root-relative and may carry a query/hash. */
+    preview?: {
+        url: string;
+    };
+}
+
+export declare const StepBody: typeof __VLS_export_2;
+
+/**
+ * Checks a lesson for authoring mistakes without a browser. Resolves each step's tree (base files plus the step's own
+ * adjustments, minus its removals; steps are not cumulative) and validates the step's editor directives and preview.
+ *
+ * @returns the issues found; an empty array means the lesson is valid.
+ */
+export declare const validateLesson: (lesson: Lesson) => LessonIssue[];
+
+export { }