regen.mde 0.2.2 → 0.7.0

package/desktop/BuildCorpusEditor/EditorForm.cs

@@ -1,540 +1,853 @@
-using System.Text.Json;
-using System.Drawing.Imaging;
-using Microsoft.Web.WebView2.Core;
-using Microsoft.Web.WebView2.WinForms;
-
-namespace BuildCorpusEditor;
-
-internal sealed class EditorForm : Form
-{
-    private readonly BuildCorpusBridge bridge;
-    private readonly bool smokeUi;
-    private readonly bool background;
-    private readonly string? initialPath;
-    private readonly string smokeLogPath = Path.Combine(Path.GetTempPath(), "regen-mde-smoke.log");
-    private readonly string smokeOutPath = Path.Combine(Path.GetTempPath(), "regen-mde-smoke-output");
-    private readonly WebView2 webView;
-    private readonly JsonSerializerOptions jsonOptions = new(JsonSerializerDefaults.Web);
-
-    public EditorForm(BuildCorpusBridge bridge, bool smokeUi = false, bool background = false)
-    {
-        this.bridge = bridge;
-        this.smokeUi = smokeUi;
-        this.background = background;
-        initialPath = bridge.Startup().InitialPath;
-        Text = "regen.mde";
-        Width = 1280;
-        Height = 860;
-        StartPosition = FormStartPosition.CenterScreen;
-        if (background)
-        {
-            FormBorderStyle = FormBorderStyle.None;
-            ShowInTaskbar = false;
-            StartPosition = FormStartPosition.Manual;
-            Location = new Point(-32000, -32000);
-            Size = new Size(1280, 860);
-            Opacity = 0;
-        }
-        if (smokeUi)
-        {
-            if (Directory.Exists(smokeOutPath)) Directory.Delete(smokeOutPath, recursive: true);
-            Directory.CreateDirectory(smokeOutPath);
-            File.WriteAllText(smokeLogPath, $"[{DateTimeOffset.Now:O}] regen.mde smoke started{Environment.NewLine}");
-            var watchdog = new System.Windows.Forms.Timer { Interval = 60000 };
-            watchdog.Tick += (_, _) =>
-            {
-                LogSmoke("watchdog timeout");
-                Environment.Exit(1);
-            };
-            watchdog.Start();
-        }
-
-        webView = new WebView2 { Dock = DockStyle.Fill };
-        Controls.Add(webView);
-        Load += OnLoad;
-    }
-
-    protected override bool ShowWithoutActivation => background;
-
-    protected override CreateParams CreateParams
-    {
-        get
-        {
-            const int wsExToolWindow = 0x00000080;
-            const int wsExNoActivate = 0x08000000;
-            var cp = base.CreateParams;
-            if (background)
-            {
-                cp.ExStyle |= wsExToolWindow | wsExNoActivate;
-            }
-            return cp;
-        }
-    }
-
-    private async void OnLoad(object? sender, EventArgs e)
-    {
-        try
-        {
-            LogSmoke("OnLoad");
-            var userDataFolder = Path.Combine(
-                Environment.GetFolderPath(Environment.SpecialFolder.LocalApplicationData),
-                "regen.mde",
-                "WebView2UserData");
-            Directory.CreateDirectory(userDataFolder);
-            var environment = await CoreWebView2Environment.CreateAsync(null, userDataFolder);
-            await webView.EnsureCoreWebView2Async(environment);
-            webView.CoreWebView2.WebMessageReceived += OnWebMessageReceived;
-            webView.CoreWebView2.ProcessFailed += (_, args) =>
-            {
-                LogSmoke($"process failed: {args.ProcessFailedKind}");
-                if (smokeUi) Environment.Exit(1);
-            };
-            if (smokeUi)
-            {
-                await webView.CoreWebView2.AddScriptToExecuteOnDocumentCreatedAsync(
-                    $"window.__REGEN_MDEDITOR_SMOKE_OUT = {JsonSerializer.Serialize(smokeOutPath)}; window.prompt = function(message, value) {{ return String(message || '').includes('Image') ? 'https://example.com/image.png' : 'https://example.com'; }};");
-                webView.CoreWebView2.NavigationCompleted += OnSmokeNavigationCompleted;
-            }
-            var webRoot = Path.Combine(AppContext.BaseDirectory, "wwwroot");
-            LogSmoke($"web root: {webRoot}");
-            webView.CoreWebView2.SetVirtualHostNameToFolderMapping(
-                "build-corpus-editor.local",
-                webRoot,
-                CoreWebView2HostResourceAccessKind.Allow);
-            webView.CoreWebView2.Navigate("https://build-corpus-editor.local/index.html");
-        }
-        catch (Exception ex)
-        {
-            LogSmoke($"OnLoad failed: {ex}");
-            if (smokeUi) Environment.Exit(1);
-            throw;
-        }
-    }
-
-    private async void OnSmokeNavigationCompleted(object? sender, CoreWebView2NavigationCompletedEventArgs e)
-    {
-        try
-        {
-            LogSmoke($"navigation completed: success={e.IsSuccess} status={e.WebErrorStatus}");
-            if (!e.IsSuccess) Environment.Exit(1);
-            await WaitForRenderedContentAsync();
-            LogSmoke("smoke passed");
-            Environment.Exit(0);
-        }
-        catch (Exception ex)
-        {
-            LogSmoke($"smoke failed: {ex}");
-            Environment.Exit(1);
-        }
-    }
-
-    private async Task WaitForRenderedContentAsync()
-    {
-        var deadline = DateTimeOffset.UtcNow.AddSeconds(15);
-        var expected = ExpectedSmokeText();
-        while (DateTimeOffset.UtcNow < deadline)
-        {
-            var script = """
-                (() => {
-                  const body = document.body;
-                  const text = body ? body.innerText : "";
-                  const root = document.getElementById("root");
-                  const rect = root ? root.getBoundingClientRect() : { width: 0, height: 0 };
-                  return JSON.stringify({
-                    title: document.title,
-                    text,
-                    rootWidth: rect.width,
-                    rootHeight: rect.height,
-                    error: window.__REGEN_MDEDITOR_ERROR || ""
-                  });
-                })()
-                """;
-            var json = await ExecuteScriptWithTimeoutAsync(script, TimeSpan.FromSeconds(3));
-            var inner = JsonSerializer.Deserialize<string>(json) ?? "{}";
-            var probe = JsonSerializer.Deserialize<SmokeProbe>(inner, jsonOptions);
-            LogSmoke($"probe title='{probe?.Title}' root={probe?.RootWidth}x{probe?.RootHeight} error='{probe?.Error}' text='{TrimForLog(probe?.Text)}'");
-            if (!string.IsNullOrWhiteSpace(probe?.Error))
-            {
-                throw new InvalidOperationException(probe.Error);
-            }
-            if (
-                probe is not null &&
-                probe.Title.Contains("regen.mde", StringComparison.OrdinalIgnoreCase) &&
-                probe.Text.Contains("regen.mde", StringComparison.OrdinalIgnoreCase) &&
-                probe.Text.Contains(expected, StringComparison.OrdinalIgnoreCase) &&
-                probe.RootWidth > 800 &&
-                probe.RootHeight > 500)
-            {
-                LogSmoke("render probe passed");
-                await AssertNonBlankScreenshotAsync();
-                LogSmoke("screenshot probe passed");
-                await AssertEditorControlsWorkAsync();
-                return;
-            }
-            await Task.Delay(250);
-        }
-        throw new TimeoutException("Rendered regen.mde UI did not become visible.");
-    }
-
-    private string ExpectedSmokeText()
-    {
-        if (string.IsNullOrWhiteSpace(initialPath)) return "Open";
-        var name = Path.GetFileNameWithoutExtension(initialPath);
-        return string.IsNullOrWhiteSpace(name) ? "Open" : name;
-    }
-
-    private async Task AssertNonBlankScreenshotAsync()
-    {
-        await using var stream = new MemoryStream();
-        LogSmoke("capturing screenshot");
-        var capture = webView.CoreWebView2.CapturePreviewAsync(CoreWebView2CapturePreviewImageFormat.Png, stream);
-        var completed = await Task.WhenAny(capture, Task.Delay(TimeSpan.FromSeconds(5)));
-        if (completed != capture)
-        {
-            LogSmoke("WebView screenshot capture timed out; trying DrawToBitmap fallback");
-            try
-            {
-                using var fallback = new Bitmap(Math.Max(1, webView.Width), Math.Max(1, webView.Height));
-                webView.DrawToBitmap(fallback, new Rectangle(0, 0, fallback.Width, fallback.Height));
-                AssertBitmapNonBlank(fallback);
-            }
-            catch (Exception ex)
-            {
-                LogSmoke($"DrawToBitmap fallback unavailable: {ex.Message}");
-                await AssertVisibleDomPaintAsync();
-            }
-            return;
-        }
-        await capture;
-        if (stream.Length < 4096) throw new InvalidOperationException("WebView screenshot was too small.");
-        stream.Position = 0;
-        using var bitmap = new Bitmap(stream);
-        AssertBitmapNonBlank(bitmap);
-    }
-
-    private static void AssertBitmapNonBlank(Bitmap bitmap)
-    {
-        var first = bitmap.GetPixel(0, 0).ToArgb();
-        var different = 0;
-        for (var x = 0; x < bitmap.Width; x += Math.Max(1, bitmap.Width / 12))
-        {
-            for (var y = 0; y < bitmap.Height; y += Math.Max(1, bitmap.Height / 12))
-            {
-                if (bitmap.GetPixel(x, y).ToArgb() != first) different++;
-            }
-        }
-        if (different < 5) throw new InvalidOperationException("WebView screenshot appears blank.");
-    }
-
-    private async Task AssertVisibleDomPaintAsync()
-    {
-        var script = """
-            (() => {
-              const visible = [...document.querySelectorAll("main, header, aside, section, article, button, textarea, .page, .canvas-wrap")]
-                .map((element) => {
-                  const style = getComputedStyle(element);
-                  const rect = element.getBoundingClientRect();
-                  return {
-                    tag: element.tagName,
-                    text: (element.textContent || "").trim().slice(0, 80),
-                    width: rect.width,
-                    height: rect.height,
-                    display: style.display,
-                    visibility: style.visibility,
-                    opacity: Number(style.opacity),
-                    bg: style.backgroundColor,
-                    color: style.color
-                  };
-                })
-                .filter((item) =>
-                  item.width > 8 &&
-                  item.height > 8 &&
-                  item.display !== "none" &&
-                  item.visibility !== "hidden" &&
-                  item.opacity > 0.05
-                );
-              const colors = new Set(visible.flatMap((item) => [item.bg, item.color]).filter(Boolean));
-              return JSON.stringify({
-                count: visible.length,
-                colors: colors.size,
-                text: document.body.innerText || ""
-              });
-            })()
-            """;
-        var json = await ExecuteScriptWithTimeoutAsync(script, TimeSpan.FromSeconds(3));
-        var inner = JsonSerializer.Deserialize<string>(json) ?? "{}";
-        var probe = JsonSerializer.Deserialize<DomPaintProbe>(inner, jsonOptions);
-        LogSmoke($"dom paint count={probe?.Count} colors={probe?.Colors}");
-        if (probe is null || probe.Count < 16 || probe.Colors < 4 || !probe.Text.Contains("regen.mde", StringComparison.OrdinalIgnoreCase))
-        {
-            throw new InvalidOperationException("DOM paint probe suggests the UI is blank or hidden.");
-        }
-    }
-
-    private async Task AssertEditorControlsWorkAsync()
-    {
-        var markdownOutput = Path.Combine(smokeOutPath, "ui-save-as-markdown.md");
-        var wordOutput = Path.Combine(smokeOutPath, "ui-save-as-word.docx");
-
-        await AssertControlStepAsync("required controls", """
-            (() => {
-              const requiredLabels = ["Open", "Save MD", "Save MD As...", "Export Word...", "Run Check", "Preview", "Compare", "Markdown", "Undo", "Redo", "Link", "Table", "Image"];
-              const text = document.body.innerText || "";
-              for (const label of requiredLabels) {
-                if (!text.includes(label)) throw new Error(`Missing control label: ${label}`);
-              }
-              return "controls present";
-            })()
-            """);
-
-        await ClickButtonAsync("Markdown");
-        await Task.Delay(250);
-        await AssertControlStepAsync("edit markdown", """
-            (() => {
-              const textarea = document.querySelector("textarea.source");
-              if (!textarea) throw new Error("Markdown textarea was not visible.");
-              if (!window.__REGEN_MDEDITOR_SMOKE_API) throw new Error("Smoke editor API was not registered.");
-              return window.__REGEN_MDEDITOR_SMOKE_API.appendMarkdown("\n\nUI functional edit marker");
-            })()
-            """);
-        await Task.Delay(250);
-        await AssertControlStepAsync("markdown marker present", """
-            (() => {
-              const textarea = document.querySelector("textarea.source");
-              if (!textarea || !textarea.value.includes("UI functional edit marker")) throw new Error("Edited Markdown marker was not visible in the textarea.");
-              return "marker present";
-            })()
-            """);
-
-        await ClickButtonAsync("Save MD");
-        await WaitForBodyTextAsync("Saved Markdown ", "Save MD did not update status.");
-
-        await AssertControlStepAsync("edit markdown for save as", """
-            (() => {
-              const textarea = document.querySelector("textarea.source");
-              if (!textarea) throw new Error("Markdown textarea was not visible.");
-              if (!window.__REGEN_MDEDITOR_SMOKE_API) throw new Error("Smoke editor API was not registered.");
-              return window.__REGEN_MDEDITOR_SMOKE_API.appendMarkdown("\n\nUI save-as edit marker");
-            })()
-            """);
-        await Task.Delay(250);
-        await AssertControlStepAsync("save-as marker present", """
-            (() => {
-              const textarea = document.querySelector("textarea.source");
-              if (!textarea || !textarea.value.includes("UI save-as edit marker")) throw new Error("Save-as Markdown marker was not visible in the textarea.");
-              return "marker present";
-            })()
-            """);
-
-        await ClickButtonAsync("Save MD As...");
-        await WaitForBodyTextAsync("Saved Markdown ", "Save MD As did not update status.");
-        await WaitForFileContainsAsync(markdownOutput, "UI save-as edit marker", "Save MD As did not write the smoke Markdown output.");
-
-        await ClickButtonAsync("Export Word...");
-        await WaitForBodyTextAsync("Exported Word ", "Export Word did not update status.");
-        await WaitForFileExistsAsync(wordOutput, "Export Word did not write the smoke DOCX output.");
-
-        await ClickButtonAsync("Compare");
-        await Task.Delay(250);
-        await ClickButtonAsync("Preview");
-        await Task.Delay(250);
-        await ClickButtonAsync("Markdown");
-        await Task.Delay(250);
-        await ClickButtonAsync("Run Check");
-        await WaitForBodyTextAsync("Checked ", "Run Check did not update status.");
-
-        await AssertControlStepAsync("layout still usable", """
-            (() => {
-              const modeStrip = document.querySelector(".mode-strip");
-              if (!modeStrip) throw new Error("Mode strip missing.");
-              const canvas = document.querySelector(".canvas-wrap");
-              if (!canvas || canvas.getBoundingClientRect().width < 300) {
-                throw new Error("Editor canvas did not render with usable width.");
-              }
-              return [...document.querySelectorAll(".statusbar span")].map((node) => node.textContent).join(" | ");
-            })()
-            """);
-
-        if (!File.Exists(markdownOutput) || !File.ReadAllText(markdownOutput).Contains("UI save-as edit marker", StringComparison.Ordinal))
-        {
-            throw new InvalidOperationException("Save MD As did not write the smoke Markdown output.");
-        }
-        if (!File.Exists(wordOutput) || new FileInfo(wordOutput).Length == 0)
-        {
-            throw new InvalidOperationException("Export Word did not write the smoke DOCX output.");
-        }
-    }
-
-    private static async Task WaitForFileContainsAsync(string path, string expected, string failure)
-    {
-        var deadline = DateTimeOffset.UtcNow.AddSeconds(10);
-        while (DateTimeOffset.UtcNow < deadline)
-        {
-            if (File.Exists(path) && File.ReadAllText(path).Contains(expected, StringComparison.Ordinal)) return;
-            await Task.Delay(250);
-        }
-        throw new InvalidOperationException(failure);
-    }
-
-    private static async Task WaitForFileExistsAsync(string path, string failure)
-    {
-        var deadline = DateTimeOffset.UtcNow.AddSeconds(15);
-        while (DateTimeOffset.UtcNow < deadline)
-        {
-            if (File.Exists(path) && new FileInfo(path).Length > 0) return;
-            await Task.Delay(250);
-        }
-        throw new InvalidOperationException(failure);
-    }
-
-    private async Task ClickButtonAsync(string label)
-    {
-        await AssertControlStepAsync($"click {label}", $$"""
-            (() => {
-              const label = {{JsonSerializer.Serialize(label)}};
-              const button = [...document.querySelectorAll("button")]
-                .find((candidate) => candidate.textContent.trim() === label);
-              if (!button) throw new Error(`Missing button: ${label}`);
-              if (button.disabled) throw new Error(`Button is disabled: ${label}`);
-              setTimeout(() => button.click(), 0);
-              return `scheduled click ${label}`;
-            })()
-            """);
-    }
-
-    private async Task WaitForBodyTextAsync(string expected, string failure)
-    {
-        var deadline = DateTimeOffset.UtcNow.AddSeconds(8);
-        while (DateTimeOffset.UtcNow < deadline)
-        {
-            var contains = await AssertControlStepAsync($"wait for {expected}", $$"""
-                (() => (document.body.innerText || "").includes({{JsonSerializer.Serialize(expected)}}))()
-                """);
-            if (contains == "true") return;
-            await Task.Delay(250);
-        }
-        throw new InvalidOperationException(failure);
-    }
-
-    private async Task<string> AssertControlStepAsync(string name, string script)
-    {
-        try
-        {
-            var wrapped = $$"""
-                (() => {
-                  try {
-                    const value = ({{script}});
-                    return JSON.stringify({ ok: true, value: String(value) });
-                  } catch (error) {
-                    return JSON.stringify({ ok: false, error: error && error.message ? error.message : String(error) });
-                  }
-                })()
-                """;
-            var json = await ExecuteScriptWithTimeoutAsync(wrapped, TimeSpan.FromSeconds(5));
-            var inner = JsonSerializer.Deserialize<string>(json) ?? "{}";
-            var result = JsonSerializer.Deserialize<ControlStepProbe>(inner, jsonOptions);
-            if (result is null || !result.Ok)
-            {
-                throw new InvalidOperationException(result?.Error ?? "script returned no result");
-            }
-            var value = result.Value;
-            LogSmoke($"control {name}: {TrimForLog(value)}");
-            return value;
-        }
-        catch (Exception ex)
-        {
-            throw new InvalidOperationException($"Control step failed ({name}): {ex.Message}", ex);
-        }
-    }
-
-    private async Task<string> ExecuteScriptWithTimeoutAsync(string script, TimeSpan timeout)
-    {
-        var task = webView.CoreWebView2.ExecuteScriptAsync(script);
-        var completed = await Task.WhenAny(task, Task.Delay(timeout));
-        if (completed != task)
-        {
-            throw new TimeoutException("WebView script probe timed out.");
-        }
-        return await task;
-    }
-
-    private async void OnWebMessageReceived(object? sender, CoreWebView2WebMessageReceivedEventArgs e)
-    {
-        BridgeRequest? request = null;
-        try
-        {
-            request = JsonSerializer.Deserialize<BridgeRequest>(e.WebMessageAsJson, jsonOptions);
-            if (request is null) throw new InvalidOperationException("Invalid bridge request.");
-            var result = await DispatchAsync(request);
-            await RespondAsync(request.Id, true, result, null);
-        }
-        catch (Exception ex)
-        {
-            await RespondAsync(request?.Id ?? 0, false, null, ex.Message);
-        }
-    }
-
-    private async Task<object?> DispatchAsync(BridgeRequest request)
-    {
-        var p = request.Params;
-        return request.Method switch
-        {
-            "startup" => bridge.Startup(),
-            "chooseOpen" => bridge.ChooseOpen(),
-            "chooseImage" => await bridge.ChooseImageAsync(),
-            "open" => await bridge.OpenAsync(p.GetStringProperty("path")),
-            "save" => bridge.Save(p.GetStringProperty("path"), p.GetStringProperty("content") ?? ""),
-            "saveAs" => await bridge.SaveAsAsync(
-                p.GetStringProperty("suggestedPath"),
-                p.GetStringProperty("format") ?? "markdown",
-                p.GetStringProperty("content") ?? ""),
-            "saveAsDirect" => await bridge.SaveAsDirectAsync(
-                p.GetStringProperty("targetPath"),
-                p.GetStringProperty("format") ?? "markdown",
-                p.GetStringProperty("content") ?? ""),
-            _ => throw new InvalidOperationException($"Unknown bridge method: {request.Method}"),
-        };
-    }
-
-    private async Task RespondAsync(int id, bool ok, object? result, string? error)
-    {
-        var response = JsonSerializer.Serialize(new { id, ok, result, error }, jsonOptions);
-        webView.CoreWebView2.PostWebMessageAsJson(response);
-        await Task.CompletedTask;
-    }
-
-    private void LogSmoke(string message)
-    {
-        if (!smokeUi) return;
-        try
-        {
-            File.AppendAllText(smokeLogPath, $"[{DateTimeOffset.Now:O}] {message}{Environment.NewLine}");
-        }
-        catch
-        {
-        }
-    }
-
-    private static string TrimForLog(string? text)
-    {
-        if (string.IsNullOrWhiteSpace(text)) return "";
-        var normalized = text.Replace("\r", " ").Replace("\n", " ");
-        return normalized.Length > 240 ? normalized[..240] : normalized;
-    }
-}
-
-internal sealed record BridgeRequest(int Id, string Method, JsonElement Params);
-internal sealed record SmokeProbe(string Title, string Text, double RootWidth, double RootHeight, string Error);
-internal sealed record DomPaintProbe(int Count, int Colors, string Text);
-internal sealed record ControlStepProbe(bool Ok, string Value, string Error);
-
-internal static class JsonElementExtensions
-{
-    public static string? GetStringProperty(this JsonElement element, string name)
-    {
-        if (element.ValueKind != JsonValueKind.Object) return null;
-        return element.TryGetProperty(name, out var property) && property.ValueKind != JsonValueKind.Null
-            ? property.GetString()
-            : null;
-    }
-}
+using System.Text.Json;
+using System.Drawing.Imaging;
+using Microsoft.Web.WebView2.Core;
+using Microsoft.Web.WebView2.WinForms;
+
+namespace BuildCorpusEditor;
+
+internal sealed class EditorForm : Form
+{
+    private const int WsExNoActivate = 0x08000000;
+    private const int WsExToolWindow = 0x00000080;
+    private readonly BuildCorpusBridge bridge;
+    private readonly bool smokeUi;
+    private readonly bool background;
+    private readonly string? initialPath;
+    private readonly string smokeLogPath = Path.Combine(Path.GetTempPath(), "regen-mde-smoke.log");
+    private readonly string smokeOutPath = Path.Combine(Path.GetTempPath(), "regen-mde-smoke-output");
+    private readonly WebView2 webView;
+    private readonly JsonSerializerOptions jsonOptions = new(JsonSerializerDefaults.Web);
+
+    public EditorForm(BuildCorpusBridge bridge, bool smokeUi = false, bool background = false)
+    {
+        this.bridge = bridge;
+        this.smokeUi = smokeUi;
+        this.background = background;
+        initialPath = bridge.Startup().InitialPath;
+        Text = "regen-mde";
+        Width = 1280;
+        Height = 860;
+        StartPosition = FormStartPosition.CenterScreen;
+        if (background)
+        {
+            FormBorderStyle = FormBorderStyle.None;
+            ShowInTaskbar = false;
+            StartPosition = FormStartPosition.Manual;
+            Location = new Point(-32000, -32000);
+            Size = new Size(1280, 860);
+            Opacity = 0;
+        }
+        if (smokeUi)
+        {
+            if (Directory.Exists(smokeOutPath)) Directory.Delete(smokeOutPath, recursive: true);
+            Directory.CreateDirectory(smokeOutPath);
+            File.WriteAllText(smokeLogPath, $"[{DateTimeOffset.Now:O}] regen-mde smoke started{Environment.NewLine}");
+            var watchdog = new System.Windows.Forms.Timer { Interval = 60000 };
+            watchdog.Tick += (_, _) =>
+            {
+                LogSmoke("watchdog timeout");
+                Environment.Exit(1);
+            };
+            watchdog.Start();
+        }
+
+        webView = new WebView2 { Dock = DockStyle.Fill };
+        Controls.Add(webView);
+        Load += OnLoad;
+    }
+
+    protected override bool ShowWithoutActivation => background;
+
+    protected override void SetVisibleCore(bool value)
+    {
+        base.SetVisibleCore(value);
+    }
+
+    protected override CreateParams CreateParams
+    {
+        get
+        {
+            var cp = base.CreateParams;
+            if (background)
+            {
+                cp.ExStyle |= WsExToolWindow | WsExNoActivate;
+            }
+            return cp;
+        }
+    }
+
+    private async void OnLoad(object? sender, EventArgs e)
+    {
+        try
+        {
+            LogSmoke("OnLoad");
+            var userDataFolder = Path.Combine(
+                Environment.GetFolderPath(Environment.SpecialFolder.LocalApplicationData),
+                "regen-mde",
+                "WebView2UserData");
+            Directory.CreateDirectory(userDataFolder);
+            var environment = await CoreWebView2Environment.CreateAsync(null, userDataFolder);
+            await webView.EnsureCoreWebView2Async(environment);
+            webView.CoreWebView2.WebMessageReceived += OnWebMessageReceived;
+            webView.CoreWebView2.ProcessFailed += (_, args) =>
+            {
+                LogSmoke($"process failed: {args.ProcessFailedKind}");
+                if (smokeUi) Environment.Exit(1);
+            };
+            if (smokeUi)
+            {
+                await webView.CoreWebView2.AddScriptToExecuteOnDocumentCreatedAsync(
+                    $"window.__REGEN_MDEDITOR_SMOKE_OUT = {JsonSerializer.Serialize(smokeOutPath)}; window.prompt = function(message, value) {{ return String(message || '').includes('Image') ? 'https://example.com/image.png' : 'https://example.com'; }};");
+                webView.CoreWebView2.NavigationCompleted += OnSmokeNavigationCompleted;
+            }
+            var webRoot = Path.Combine(AppContext.BaseDirectory, "wwwroot");
+            LogSmoke($"web root: {webRoot}");
+            webView.CoreWebView2.SetVirtualHostNameToFolderMapping(
+                "build-corpus-editor.local",
+                webRoot,
+                CoreWebView2HostResourceAccessKind.Allow);
+            webView.CoreWebView2.Navigate("https://build-corpus-editor.local/index.html");
+        }
+        catch (Exception ex)
+        {
+            LogSmoke($"OnLoad failed: {ex}");
+            if (smokeUi) Environment.Exit(1);
+            throw;
+        }
+    }
+
+    private async void OnSmokeNavigationCompleted(object? sender, CoreWebView2NavigationCompletedEventArgs e)
+    {
+        try
+        {
+            LogSmoke($"navigation completed: success={e.IsSuccess} status={e.WebErrorStatus}");
+            if (!e.IsSuccess) Environment.Exit(1);
+            await WaitForRenderedContentAsync();
+            LogSmoke("smoke passed");
+            Environment.Exit(0);
+        }
+        catch (Exception ex)
+        {
+            LogSmoke($"smoke failed: {ex}");
+            Environment.Exit(1);
+        }
+    }
+
+    private async Task WaitForRenderedContentAsync()
+    {
+        var deadline = DateTimeOffset.UtcNow.AddSeconds(15);
+        var expected = ExpectedSmokeText();
+        while (DateTimeOffset.UtcNow < deadline)
+        {
+            var script = """
+                (() => {
+                  const body = document.body;
+                  const text = body ? body.innerText : "";
+                  const root = document.getElementById("root");
+                  const rect = root ? root.getBoundingClientRect() : { width: 0, height: 0 };
+                  return JSON.stringify({
+                    title: document.title,
+                    text,
+                    rootWidth: rect.width,
+                    rootHeight: rect.height,
+                    error: window.__REGEN_MDEDITOR_ERROR || ""
+                  });
+                })()
+                """;
+            var json = await ExecuteScriptWithTimeoutAsync(script, TimeSpan.FromSeconds(3));
+            var inner = JsonSerializer.Deserialize<string>(json) ?? "{}";
+            var probe = JsonSerializer.Deserialize<SmokeProbe>(inner, jsonOptions);
+            LogSmoke($"probe title='{probe?.Title}' root={probe?.RootWidth}x{probe?.RootHeight} error='{probe?.Error}' text='{TrimForLog(probe?.Text)}'");
+            if (!string.IsNullOrWhiteSpace(probe?.Error))
+            {
+                throw new InvalidOperationException(probe.Error);
+            }
+            if (
+                probe is not null &&
+                probe.Title.Contains("regen-mde", StringComparison.OrdinalIgnoreCase) &&
+                probe.Text.Contains("regen-mde", StringComparison.OrdinalIgnoreCase) &&
+                probe.Text.Contains(expected, StringComparison.OrdinalIgnoreCase) &&
+                probe.RootWidth > 800 &&
+                probe.RootHeight > 500)
+            {
+                LogSmoke("render probe passed");
+                await AssertNonBlankScreenshotAsync();
+                LogSmoke("screenshot probe passed");
+                await AssertEditorControlsWorkAsync();
+                return;
+            }
+            await Task.Delay(250);
+        }
+        throw new TimeoutException("Rendered regen-mde UI did not become visible.");
+    }
+
+    private string ExpectedSmokeText()
+    {
+        if (string.IsNullOrWhiteSpace(initialPath)) return "Open";
+        var name = Path.GetFileNameWithoutExtension(initialPath);
+        return string.IsNullOrWhiteSpace(name) ? "Open" : name;
+    }
+
+    private async Task AssertNonBlankScreenshotAsync()
+    {
+        await using var stream = new MemoryStream();
+        LogSmoke("capturing screenshot");
+        var capture = webView.CoreWebView2.CapturePreviewAsync(CoreWebView2CapturePreviewImageFormat.Png, stream);
+        var completed = await Task.WhenAny(capture, Task.Delay(TimeSpan.FromSeconds(5)));
+        if (completed != capture)
+        {
+            LogSmoke("WebView screenshot capture timed out; trying DrawToBitmap fallback");
+            try
+            {
+                using var fallback = new Bitmap(Math.Max(1, webView.Width), Math.Max(1, webView.Height));
+                webView.DrawToBitmap(fallback, new Rectangle(0, 0, fallback.Width, fallback.Height));
+                AssertBitmapNonBlank(fallback);
+            }
+            catch (Exception ex)
+            {
+                LogSmoke($"DrawToBitmap fallback unavailable: {ex.Message}");
+                await AssertVisibleDomPaintAsync();
+            }
+            return;
+        }
+        await capture;
+        if (stream.Length < 4096) throw new InvalidOperationException("WebView screenshot was too small.");
+        stream.Position = 0;
+        using var bitmap = new Bitmap(stream);
+        AssertBitmapNonBlank(bitmap);
+    }
+
+    private static void AssertBitmapNonBlank(Bitmap bitmap)
+    {
+        var first = bitmap.GetPixel(0, 0).ToArgb();
+        var different = 0;
+        for (var x = 0; x < bitmap.Width; x += Math.Max(1, bitmap.Width / 12))
+        {
+            for (var y = 0; y < bitmap.Height; y += Math.Max(1, bitmap.Height / 12))
+            {
+                if (bitmap.GetPixel(x, y).ToArgb() != first) different++;
+            }
+        }
+        if (different < 5) throw new InvalidOperationException("WebView screenshot appears blank.");
+    }
+
+    private async Task AssertVisibleDomPaintAsync()
+    {
+        var script = """
+            (() => {
+              const visible = [...document.querySelectorAll("main, header, aside, section, article, button, .cm-editor, .page, .canvas-wrap")]
+                .map((element) => {
+                  const style = getComputedStyle(element);
+                  const rect = element.getBoundingClientRect();
+                  return {
+                    tag: element.tagName,
+                    text: (element.textContent || "").trim().slice(0, 80),
+                    width: rect.width,
+                    height: rect.height,
+                    display: style.display,
+                    visibility: style.visibility,
+                    opacity: Number(style.opacity),
+                    bg: style.backgroundColor,
+                    color: style.color
+                  };
+                })
+                .filter((item) =>
+                  item.width > 8 &&
+                  item.height > 8 &&
+                  item.display !== "none" &&
+                  item.visibility !== "hidden" &&
+                  item.opacity > 0.05
+                );
+              const colors = new Set(visible.flatMap((item) => [item.bg, item.color]).filter(Boolean));
+              return JSON.stringify({
+                count: visible.length,
+                colors: colors.size,
+                text: document.body.innerText || ""
+              });
+            })()
+            """;
+        var json = await ExecuteScriptWithTimeoutAsync(script, TimeSpan.FromSeconds(3));
+        var inner = JsonSerializer.Deserialize<string>(json) ?? "{}";
+        var probe = JsonSerializer.Deserialize<DomPaintProbe>(inner, jsonOptions);
+        LogSmoke($"dom paint count={probe?.Count} colors={probe?.Colors}");
+        if (probe is null || probe.Count < 16 || probe.Colors < 4 || !probe.Text.Contains("regen-mde", StringComparison.OrdinalIgnoreCase))
+        {
+            throw new InvalidOperationException("DOM paint probe suggests the UI is blank or hidden.");
+        }
+    }
+
+    private async Task AssertEditorControlsWorkAsync()
+    {
+        var markdownOutput = Path.Combine(smokeOutPath, "ui-save-as-markdown.md");
+        var wordOutput = Path.Combine(smokeOutPath, "ui-save-as-word.docx");
+        var styleFixtureMarkdown = """
+# Style Fixture H1
+
+## Style Fixture H2
+
+### Style Fixture H3
+
+Paragraph with **bold text**, *italic text*, ***bold italic text***, ~~strike text~~, `inline code`, and [fixture link](https://example.com).
+
+> Fixture quote block that should remain visibly formatted in preview.
+
+- Bullet one
+- Bullet two
+
+1. Ordered one
+2. Ordered two
+
+- [x] Complete task
+- [ ] Open task
+
+---
+
+| Column | Value |
+| --- | --- |
+| Alpha | **Bold Cell** |
+| Beta | `Code Cell` |
+
+```js
+console.log("style fixture");
+```
+
+![Fixture image](https://example.com/image.png)
+
+""" + string.Join(Environment.NewLine + Environment.NewLine, Enumerable.Range(1, 90).Select(index => $"Scroll sync fixture paragraph {index}. This paragraph keeps the preview and Markdown panes tall enough for bidirectional scroll checks."));
+        var largeSmokeDocument = !string.IsNullOrWhiteSpace(initialPath)
+            && File.Exists(initialPath)
+            && Path.GetExtension(initialPath).ToLowerInvariant() is ".md" or ".markdown"
+            && new FileInfo(initialPath).Length > 50_000;
+
+        await AssertControlStepAsync("required controls", """
+            (() => {
+              const requiredLabels = ["Open", "Save MD", "Save MD As...", "Export Word...", "Run Check", "Markdown", "Raw", "Split Screen", "Undo", "Redo", "Link", "Table", "Image"];
+              const text = document.body.innerText || "";
+              for (const label of requiredLabels) {
+                if (!text.includes(label)) throw new Error(`Missing control label: ${label}`);
+              }
+              return "controls present";
+            })()
+            """);
+
+        await ClickButtonAsync("Raw");
+        await Task.Delay(250);
+        await AssertControlStepAsync("edit markdown", """
+            (() => {
+              const source = document.querySelector(".cm-editor");
+              if (!source) throw new Error("Markdown editor was not visible.");
+              if (!window.__REGEN_MDEDITOR_SMOKE_API) throw new Error("Smoke editor API was not registered.");
+              return window.__REGEN_MDEDITOR_SMOKE_API.appendMarkdown("\n\nUI functional edit marker");
+            })()
+            """);
+        await Task.Delay(250);
+        await AssertControlStepAsync("markdown marker present", """
+            (() => {
+              if (!window.__REGEN_MDEDITOR_SMOKE_API?.getMarkdown().includes("UI functional edit marker")) throw new Error("Edited Markdown marker was not present in the editor buffer.");
+              return "marker present";
+            })()
+            """);
+        await AssertControlStepAsync("markdown toolbar place cursor in bold", """
+            (() => {
+              const api = window.__REGEN_MDEDITOR_SMOKE_API;
+              if (!api) throw new Error("Smoke editor API was not registered.");
+              api.setMarkdown("alpha **bold** beta *italic* gamma `code`");
+              api.setSelection(9, 9);
+              return "cursor placed in bold";
+            })()
+            """);
+        await Task.Delay(150);
+        await AssertControlStepAsync("markdown toolbar detects bold", """
+            (() => {
+              const toolbar = document.querySelector(".markdown-toolbar");
+              if (!toolbar) throw new Error("Markdown toolbar was not visible.");
+              const button = [...toolbar.querySelectorAll("button")].find((candidate) => candidate.textContent.trim() === "B");
+              if (!button) throw new Error("Markdown bold button was not present.");
+              if (!button.classList.contains("active")) throw new Error("Bold button did not detect cursor inside bold Markdown.");
+              button.click();
+              return "bold active and clicked";
+            })()
+            """);
+        await Task.Delay(250);
+        await AssertControlStepAsync("markdown toolbar toggles bold off", """
+            (() => {
+              const afterBold = window.__REGEN_MDEDITOR_SMOKE_API.getMarkdown();
+              if (afterBold.includes("**bold**")) throw new Error(`Bold button added syntax instead of toggling it off: ${afterBold}`);
+              return "bold toggle passed";
+            })()
+            """);
+        await AssertControlStepAsync("markdown toolbar place cursor in italic", """
+            (() => {
+              const api = window.__REGEN_MDEDITOR_SMOKE_API;
+              api.setMarkdown("alpha **bold** beta *italic* gamma `code`");
+              api.setSelection(23, 23);
+              return "cursor placed in italic";
+            })()
+            """);
+        await Task.Delay(150);
+        await AssertControlStepAsync("markdown toolbar detects italic", """
+            (() => {
+              const toolbar = document.querySelector(".markdown-toolbar");
+              const italic = [...toolbar.querySelectorAll("button")].find((candidate) => candidate.textContent.trim() === "I");
+              if (!italic.classList.contains("active")) throw new Error("Italic button did not detect cursor inside italic Markdown.");
+              italic.click();
+              return "italic active and clicked";
+            })()
+            """);
+        await Task.Delay(250);
+        await AssertControlStepAsync("markdown toolbar toggles italic off", """
+            (() => {
+              const afterItalic = window.__REGEN_MDEDITOR_SMOKE_API.getMarkdown();
+              if (afterItalic.includes("*italic*") || afterItalic.includes("_italic_")) throw new Error(`Italic button added syntax instead of toggling it off: ${afterItalic}`);
+              return "italic toggle passed";
+            })()
+            """);
+        await AssertControlStepAsync("markdown toolbar place cursor in code", """
+            (() => {
+              const api = window.__REGEN_MDEDITOR_SMOKE_API;
+              api.setMarkdown("alpha **bold** beta *italic* gamma `code`");
+              api.setSelection(37, 37);
+              return "cursor placed in code";
+            })()
+            """);
+        await Task.Delay(150);
+        await AssertControlStepAsync("markdown toolbar detects code", """
+            (() => {
+              const toolbar = document.querySelector(".markdown-toolbar");
+              const code = [...toolbar.querySelectorAll("button")].find((candidate) => candidate.textContent.trim() === "Code");
+              if (!code.classList.contains("active")) throw new Error("Code button did not detect cursor inside inline code Markdown.");
+              code.click();
+              return "code active and clicked";
+            })()
+            """);
+        await Task.Delay(250);
+        await AssertControlStepAsync("markdown toolbar toggles code off", """
+            (() => {
+              const afterCode = window.__REGEN_MDEDITOR_SMOKE_API.getMarkdown();
+              if (afterCode.includes("`code`")) throw new Error(`Code button added syntax instead of toggling it off: ${afterCode}`);
+              return "code toggle passed";
+            })()
+            """);
+
+        await ClickButtonAsync("Save MD");
+        await WaitForBodyTextAsync("Saved Markdown ", "Save MD did not update status.");
+
+        await AssertControlStepAsync("edit markdown for save as", """
+            (() => {
+              const source = document.querySelector(".cm-editor");
+              if (!source) throw new Error("Markdown editor was not visible.");
+              if (!window.__REGEN_MDEDITOR_SMOKE_API) throw new Error("Smoke editor API was not registered.");
+              return window.__REGEN_MDEDITOR_SMOKE_API.appendMarkdown("\n\nUI save-as edit marker");
+            })()
+            """);
+        await Task.Delay(250);
+        await AssertControlStepAsync("save-as marker present", """
+            (() => {
+              if (!window.__REGEN_MDEDITOR_SMOKE_API?.getMarkdown().includes("UI save-as edit marker")) throw new Error("Save-as Markdown marker was not present in the editor buffer.");
+              return "marker present";
+            })()
+            """);
+
+        await ClickButtonAsync("Save MD As...");
+        await WaitForBodyTextAsync("Saved Markdown ", "Save MD As did not update status.");
+        await WaitForFileContainsAsync(markdownOutput, "UI save-as edit marker", "Save MD As did not write the smoke Markdown output.");
+
+        if (!largeSmokeDocument)
+        {
+            var styleFixtureJson = JsonSerializer.Serialize(styleFixtureMarkdown);
+            var loadStyleFixtureScript = """
+                (() => {
+                  if (!window.__REGEN_MDEDITOR_SMOKE_API) throw new Error("Smoke editor API was not registered.");
+                  return window.__REGEN_MDEDITOR_SMOKE_API.setMarkdown(
+                """ + styleFixtureJson + """
+                  );
+                })()
+                """;
+            await AssertControlStepAsync("load broad style fixture", loadStyleFixtureScript);
+            await Task.Delay(350);
+        }
+
+        await ClickButtonAsync("Split Screen");
+        await Task.Delay(250);
+        if (largeSmokeDocument)
+        {
+            await AssertControlStepAsync("large split preview visible", """
+                (() => {
+                  const preview = document.querySelector(".readonly-preview .rendered-markdown");
+                  const source = document.querySelector(".cm-editor");
+                  if (!preview) throw new Error("Large read-only preview was not visible in Split Screen mode.");
+                  if (!source) throw new Error("Markdown editor was not visible in Split Screen mode.");
+                  if (!(preview.textContent || "").includes("UI save-as edit marker")) throw new Error("Large preview did not render the edited Markdown marker.");
+                  return "large split preview visible";
+                })()
+                """);
+        }
+        else
+        {
+            await AssertControlStepAsync("normal split rich editor visible", """
+                (() => {
+                  const rich = document.querySelector(".rich .ProseMirror");
+                  const source = document.querySelector(".cm-editor");
+                  if (!rich) throw new Error("Rich editor was not visible in Split Screen mode.");
+                  if (!source) throw new Error("Markdown editor was not visible in Split Screen mode.");
+                  return "normal split rich editor visible";
+                })()
+                """);
+            await AssertControlStepAsync("split style fixture renders", """
+                (() => {
+                  const rich = document.querySelector(".rich .ProseMirror");
+                  if (!rich) throw new Error("Rich editor was not visible in Split Screen mode.");
+                  const checks = [
+                    ["h1", "Style Fixture H1"],
+                    ["h2", "Style Fixture H2"],
+                    ["h3", "Style Fixture H3"],
+                    ["strong", "bold text"],
+                    ["em", "italic text"],
+                    ["s", "strike text"],
+                    ["code", "inline code"],
+                    ["blockquote", "Fixture quote block"],
+                    ["ul li", "Bullet one"],
+                    ["ol li", "Ordered one"],
+                    ["a[href='https://example.com']", "fixture link"],
+                    ["table", "Bold Cell"],
+                    ["pre code", "style fixture"],
+                    ["img[alt='Fixture image']", ""],
+                    ["hr", ""]
+                  ];
+                  for (const [selector, text] of checks) {
+                    const node = rich.querySelector(selector);
+                    if (!node) throw new Error(`Preview style did not render selector: ${selector}`);
+                    if (text && !(node.textContent || "").includes(text)) throw new Error(`Preview style selector ${selector} had unexpected text: ${node.textContent}`);
+                  }
+                  if (!window.__REGEN_MDEDITOR_SMOKE_API.getMarkdown().includes("| Column | Value |")) throw new Error("Style fixture table Markdown was not kept in the source buffer.");
+                  return "split style fixture renders";
+                })()
+                """);
+            await AssertControlStepAsync("split visual parity", """
+                (() => {
+                  const sourcePane = document.querySelector(".markdown-pane");
+                  const editor = document.querySelector(".code-source .cm-editor");
+                  const page = document.querySelector(".page");
+                  const lineNumber = document.querySelector(".cm-lineNumbers .cm-gutterElement");
+                  if (!sourcePane || !editor || !page || !lineNumber) throw new Error("Split Screen visual elements were not present.");
+                  const sourceStyle = getComputedStyle(sourcePane);
+                  const editorStyle = getComputedStyle(editor);
+                  const pageStyle = getComputedStyle(page);
+                  const lineStyle = getComputedStyle(lineNumber);
+                  if (sourceStyle.backgroundColor !== pageStyle.backgroundColor) throw new Error(`Source and page backgrounds differ: ${sourceStyle.backgroundColor} vs ${pageStyle.backgroundColor}`);
+                  if (editorStyle.backgroundColor !== pageStyle.backgroundColor) throw new Error(`Code editor and page backgrounds differ: ${editorStyle.backgroundColor} vs ${pageStyle.backgroundColor}`);
+                  if (parseFloat(lineStyle.fontSize) > 11) throw new Error(`Line number font is too large: ${lineStyle.fontSize}`);
+                  if (parseFloat(lineStyle.opacity || "1") > 0.65) throw new Error(`Line numbers are too bright: ${lineStyle.opacity}`);
+                  return "split visual parity";
+                })()
+                """);
+            await AssertControlStepAsync("split preview-to-source scroll sync", """
+                (() => {
+                  const pageArea = document.querySelector(".page-area");
+                  const sourceScroller = document.querySelector(".cm-scroller");
+                  if (!pageArea || !sourceScroller) throw new Error("Split Screen scroll containers were not present.");
+                  if (pageArea.scrollHeight <= pageArea.clientHeight + 200) throw new Error(`Preview was not tall enough to test scroll sync: ${pageArea.scrollHeight}/${pageArea.clientHeight}`);
+                  if (sourceScroller.scrollHeight <= sourceScroller.clientHeight + 200) throw new Error(`Markdown source was not tall enough to test scroll sync: ${sourceScroller.scrollHeight}/${sourceScroller.clientHeight}`);
+                  pageArea.scrollTop = Math.floor((pageArea.scrollHeight - pageArea.clientHeight) * 0.72);
+                  pageArea.dispatchEvent(new Event("scroll", { bubbles: true }));
+                  return "preview scrolled";
+                })()
+                """);
+            await Task.Delay(350);
+            await AssertControlStepAsync("compare source follows preview", """
+                (() => {
+                  const sourceScroller = document.querySelector(".cm-scroller");
+                  if (!sourceScroller || sourceScroller.scrollTop <= 10) throw new Error(`Markdown source did not follow preview scroll: ${sourceScroller?.scrollTop}`);
+                  sourceScroller.scrollTop = Math.floor((sourceScroller.scrollHeight - sourceScroller.clientHeight) * 0.28);
+                  sourceScroller.dispatchEvent(new Event("scroll", { bubbles: true }));
+                  return "source scrolled";
+                })()
+                """);
+            await Task.Delay(350);
+            await AssertControlStepAsync("compare preview follows source", """
+                (() => {
+                  const pageArea = document.querySelector(".page-area");
+                  if (!pageArea || pageArea.scrollTop <= 10) throw new Error(`Preview did not follow source scroll: ${pageArea?.scrollTop}`);
+                  return "preview follows source";
+                })()
+                """);
+        }
+        await ClickButtonAsync("Markdown");
+        await Task.Delay(250);
+        if (largeSmokeDocument)
+        {
+            await AssertControlStepAsync("large markdown rendered view visible", """
+                (() => {
+                  const preview = document.querySelector(".readonly-preview .rendered-markdown");
+                  if (!preview) throw new Error("Large rendered Markdown view was not visible.");
+                  if (!(preview.textContent || "").includes("UI save-as edit marker")) throw new Error("Large Markdown mode did not render the edited Markdown marker.");
+                  if (!window.__REGEN_MDEDITOR_SMOKE_API?.getMarkdown().includes("UI save-as edit marker")) throw new Error("Large Markdown mode did not keep the Markdown buffer active.");
+                  return "large markdown rendered view visible";
+                })()
+                """);
+        }
+        else
+        {
+            await AssertControlStepAsync("normal markdown editable and scrollable", """
+                (() => {
+                  const rich = document.querySelector(".rich .ProseMirror");
+                  const markdownPane = document.querySelector(".markdown-pane");
+                  const pageArea = document.querySelector(".page-area");
+                  if (!rich) throw new Error("Rich editor was not visible in Markdown mode.");
+                  if (rich.getAttribute("contenteditable") !== "true") throw new Error("Markdown rich editor was not editable.");
+                  if (markdownPane && getComputedStyle(markdownPane).display !== "none") throw new Error("Raw pane should be hidden in normal Markdown mode.");
+                  if (!pageArea) throw new Error("Markdown page area was not visible.");
+                  const marker = "Markdown editable smoke marker";
+                  const edited = window.__REGEN_MDEDITOR_SMOKE_API.appendRichText(marker);
+                  if (!edited.includes(marker)) throw new Error("Markdown edit did not update Markdown state.");
+                  const filler = Array.from({ length: 140 }, (_, index) => `Markdown scroll smoke line ${index + 1}`).join("\\n\\n");
+                  window.__REGEN_MDEDITOR_SMOKE_API.appendRichText(filler);
+                  return "markdown edit inserted";
+                })()
+                """);
+            await Task.Delay(500);
+            await AssertControlStepAsync("normal markdown scrolls past one page", """
+                (() => {
+                  const pageArea = document.querySelector(".page-area");
+                  if (!pageArea) throw new Error("Markdown page area was not visible.");
+                  const before = pageArea.scrollTop;
+                  pageArea.scrollTop = pageArea.scrollHeight;
+                  const rich = document.querySelector(".rich .ProseMirror");
+                  const page = document.querySelector(".page");
+                  const detail = `pageArea=${pageArea.scrollHeight}/${pageArea.clientHeight}/${pageArea.scrollTop}; page=${page?.scrollHeight}/${page?.clientHeight}; rich=${rich?.scrollHeight}/${rich?.clientHeight}`;
+                  if (pageArea.scrollHeight <= pageArea.clientHeight + 80) throw new Error(`Markdown page area was not taller than one viewport: ${detail}`);
+                  if (pageArea.scrollTop <= before) throw new Error(`Markdown page area did not scroll: ${detail}`);
+                  return "normal markdown scrolls past one page";
+                })()
+                """);
+        }
+        await ClickButtonAsync("Raw");
+        await Task.Delay(250);
+
+        if (!largeSmokeDocument)
+        {
+            await ClickButtonAsync("Export Word...");
+            await WaitForBodyTextAsync("Exported Word ", "Export Word did not update status.");
+            await WaitForFileExistsAsync(wordOutput, "Export Word did not write the smoke DOCX output.");
+        }
+
+        await ClickButtonAsync("Run Check");
+        await WaitForBodyTextAsync("Checked ", "Run Check did not update status.");
+
+        await AssertControlStepAsync("layout still usable", """
+            (() => {
+              const modeStrip = document.querySelector(".mode-strip");
+              if (!modeStrip) throw new Error("Mode strip missing.");
+              const canvas = document.querySelector(".canvas-wrap");
+              if (!canvas || canvas.getBoundingClientRect().width < 300) {
+                throw new Error("Editor canvas did not render with usable width.");
+              }
+              return [...document.querySelectorAll(".statusbar span")].map((node) => node.textContent).join(" | ");
+            })()
+            """);
+
+        if (!File.Exists(markdownOutput) || !File.ReadAllText(markdownOutput).Contains("UI save-as edit marker", StringComparison.Ordinal))
+        {
+            throw new InvalidOperationException("Save MD As did not write the smoke Markdown output.");
+        }
+        if (!largeSmokeDocument && (!File.Exists(wordOutput) || new FileInfo(wordOutput).Length == 0))
+        {
+            throw new InvalidOperationException("Export Word did not write the smoke DOCX output.");
+        }
+    }
+
+    private static async Task WaitForFileContainsAsync(string path, string expected, string failure)
+    {
+        var deadline = DateTimeOffset.UtcNow.AddSeconds(10);
+        while (DateTimeOffset.UtcNow < deadline)
+        {
+            if (File.Exists(path) && File.ReadAllText(path).Contains(expected, StringComparison.Ordinal)) return;
+            await Task.Delay(250);
+        }
+        throw new InvalidOperationException(failure);
+    }
+
+    private static async Task WaitForFileExistsAsync(string path, string failure)
+    {
+        var deadline = DateTimeOffset.UtcNow.AddSeconds(15);
+        while (DateTimeOffset.UtcNow < deadline)
+        {
+            if (File.Exists(path) && new FileInfo(path).Length > 0) return;
+            await Task.Delay(250);
+        }
+        throw new InvalidOperationException(failure);
+    }
+
+    private async Task ClickButtonAsync(string label)
+    {
+        await AssertControlStepAsync($"click {label}", $$"""
+            (() => {
+              const label = {{JsonSerializer.Serialize(label)}};
+              const button = [...document.querySelectorAll("button")]
+                .find((candidate) => candidate.textContent.trim() === label);
+              if (!button) throw new Error(`Missing button: ${label}`);
+              if (button.disabled) throw new Error(`Button is disabled: ${label}`);
+              setTimeout(() => button.click(), 0);
+              return `scheduled click ${label}`;
+            })()
+            """);
+    }
+
+    private async Task WaitForBodyTextAsync(string expected, string failure)
+    {
+        var deadline = DateTimeOffset.UtcNow.AddSeconds(8);
+        while (DateTimeOffset.UtcNow < deadline)
+        {
+            var contains = await AssertControlStepAsync($"wait for {expected}", $$"""
+                (() => (document.body.innerText || "").includes({{JsonSerializer.Serialize(expected)}}))()
+                """);
+            if (contains == "true") return;
+            await Task.Delay(250);
+        }
+        throw new InvalidOperationException(failure);
+    }
+
+    private async Task<string> AssertControlStepAsync(string name, string script)
+    {
+        try
+        {
+            var wrapped = $$"""
+                (() => {
+                  try {
+                    const value = ({{script}});
+                    return JSON.stringify({ ok: true, value: String(value) });
+                  } catch (error) {
+                    return JSON.stringify({ ok: false, error: error && error.message ? error.message : String(error) });
+                  }
+                })()
+                """;
+            var json = await ExecuteScriptWithTimeoutAsync(wrapped, TimeSpan.FromSeconds(5));
+            var inner = JsonSerializer.Deserialize<string>(json) ?? "{}";
+            var result = JsonSerializer.Deserialize<ControlStepProbe>(inner, jsonOptions);
+            if (result is null || !result.Ok)
+            {
+                throw new InvalidOperationException(result?.Error ?? "script returned no result");
+            }
+            var value = result.Value;
+            LogSmoke($"control {name}: {TrimForLog(value)}");
+            return value;
+        }
+        catch (Exception ex)
+        {
+            throw new InvalidOperationException($"Control step failed ({name}): {ex.Message}", ex);
+        }
+    }
+
+    private async Task<string> ExecuteScriptWithTimeoutAsync(string script, TimeSpan timeout)
+    {
+        var task = webView.CoreWebView2.ExecuteScriptAsync(script);
+        var completed = await Task.WhenAny(task, Task.Delay(timeout));
+        if (completed != task)
+        {
+            throw new TimeoutException("WebView script probe timed out.");
+        }
+        return await task;
+    }
+
+    private async void OnWebMessageReceived(object? sender, CoreWebView2WebMessageReceivedEventArgs e)
+    {
+        BridgeRequest? request = null;
+        try
+        {
+            request = JsonSerializer.Deserialize<BridgeRequest>(e.WebMessageAsJson, jsonOptions);
+            if (request is null) throw new InvalidOperationException("Invalid bridge request.");
+            var result = await DispatchAsync(request);
+            await RespondAsync(request.Id, true, result, null);
+        }
+        catch (Exception ex)
+        {
+            await RespondAsync(request?.Id ?? 0, false, null, ex.Message);
+        }
+    }
+
+    private async Task<object?> DispatchAsync(BridgeRequest request)
+    {
+        var p = request.Params;
+        return request.Method switch
+        {
+            "startup" => bridge.Startup(),
+            "composeInfo" => bridge.ComposeInfo(),
+            "saveDroppedFile" => bridge.SaveDroppedFile(
+                p.GetStringProperty("fileName") ?? "drop.bin",
+                p.GetStringProperty("mimeType"),
+                p.GetStringProperty("data") ?? ""),
+            "sendToPane" => bridge.SendToPane(
+                p.GetStringProperty("content") ?? "",
+                p.GetStringProperty("paneId")),
+            "chooseOpen" => bridge.ChooseOpen(),
+            "chooseFolder" => bridge.ChooseFolder(),
+            "chooseImage" => await bridge.ChooseImageAsync(),
+            "open" => await bridge.OpenAsync(p.GetStringProperty("path")),
+            "save" => bridge.Save(p.GetStringProperty("path"), p.GetStringProperty("content") ?? ""),
+            "convertBatch" => bridge.ConvertBatch(
+                p.GetStringProperty("path"),
+                p.GetBooleanProperty("moveSources")),
+            "inlineImages" => await bridge.InlineImagesAsync(
+                p.GetStringProperty("content") ?? "",
+                p.GetStringProperty("basePath")),
+            "saveAs" => await bridge.SaveAsAsync(
+                p.GetStringProperty("suggestedPath"),
+                p.GetStringProperty("format") ?? "markdown",
+                p.GetStringProperty("content") ?? ""),
+            "saveAsDirect" => await bridge.SaveAsDirectAsync(
+                p.GetStringProperty("targetPath"),
+                p.GetStringProperty("format") ?? "markdown",
+                p.GetStringProperty("content") ?? ""),
+            _ => throw new InvalidOperationException($"Unknown bridge method: {request.Method}"),
+        };
+    }
+
+    private async Task RespondAsync(int id, bool ok, object? result, string? error)
+    {
+        var response = JsonSerializer.Serialize(new { id, ok, result, error }, jsonOptions);
+        webView.CoreWebView2.PostWebMessageAsJson(response);
+        await Task.CompletedTask;
+    }
+
+    private void LogSmoke(string message)
+    {
+        if (!smokeUi) return;
+        try
+        {
+            File.AppendAllText(smokeLogPath, $"[{DateTimeOffset.Now:O}] {message}{Environment.NewLine}");
+        }
+        catch
+        {
+        }
+    }
+
+    private static string TrimForLog(string? text)
+    {
+        if (string.IsNullOrWhiteSpace(text)) return "";
+        var normalized = text.Replace("\r", " ").Replace("\n", " ");
+        return normalized.Length > 240 ? normalized[..240] : normalized;
+    }
+}
+
+internal sealed record BridgeRequest(int Id, string Method, JsonElement Params);
+internal sealed record SmokeProbe(string Title, string Text, double RootWidth, double RootHeight, string Error);
+internal sealed record DomPaintProbe(int Count, int Colors, string Text);
+internal sealed record ControlStepProbe(bool Ok, string Value, string Error);
+
+internal static class JsonElementExtensions
+{
+    public static string? GetStringProperty(this JsonElement element, string name)
+    {
+        if (element.ValueKind != JsonValueKind.Object) return null;
+        return element.TryGetProperty(name, out var property) && property.ValueKind != JsonValueKind.Null
+            ? property.GetString()
+            : null;
+    }
+
+    public static bool GetBooleanProperty(this JsonElement element, string name)
+    {
+        if (element.ValueKind != JsonValueKind.Object) return false;
+        if (!element.TryGetProperty(name, out var property)) return false;
+        return property.ValueKind == JsonValueKind.True || (property.ValueKind == JsonValueKind.String && bool.TryParse(property.GetString(), out var value) && value);
+    }
+}