From 1bb2faeacbfde8196ed41adc9f16470ba0c183fb Mon Sep 17 00:00:00 2001 From: Alexander Weigl Date: Thu, 11 Jun 2026 23:17:33 +0200 Subject: [PATCH] make it fly --- keyext.api/build.gradle | 5 +- keyext.web/build.gradle | 20 + .../key/webui/JsonRpcWebSocketEndpoint.java | 56 ++ .../java/org/key_project/key/webui/WebUi.java | 44 ++ .../_app/immutable/assets/0.CRlOUIgK.css | 1 + .../_app/immutable/assets/2.8lJ0UuPL.css | 1 + .../static/_app/immutable/chunks/6pjeCr8X.js | 1 + .../static/_app/immutable/chunks/7wWjHvTU.js | 1 + .../static/_app/immutable/chunks/B8xKMZX0.js | 1 + .../static/_app/immutable/chunks/CoTS-PA8.js | 1 + .../static/_app/immutable/chunks/CwrZi-qA.js | 1 + .../static/_app/immutable/chunks/CzhP5laV.js | 2 + .../static/_app/immutable/chunks/DOHFA51K.js | 1 + .../static/_app/immutable/chunks/DcP_HY-I.js | 1 + .../static/_app/immutable/chunks/o-yfdNR1.js | 1 + .../static/_app/immutable/chunks/rkAS4Fq4.js | 683 ++++++++++++++++++ .../_app/immutable/entry/app.Ct5uxRNT.js | 2 + .../_app/immutable/entry/start.BtwCXLFx.js | 1 + .../static/_app/immutable/nodes/0.D0Qjos9c.js | 1 + .../static/_app/immutable/nodes/1.DRmI-41c.js | 1 + .../static/_app/immutable/nodes/2.BasKfaR4.js | 1 + .../main/resources/static/_app/version.json | 1 + .../src/main/resources/static/favicon.png | Bin 0 -> 1571 bytes .../src/main/resources/static/index.html | 52 ++ settings.gradle | 2 + 25 files changed, 878 insertions(+), 3 deletions(-) create mode 100644 keyext.web/build.gradle create mode 100644 keyext.web/src/main/java/org/key_project/key/webui/JsonRpcWebSocketEndpoint.java create mode 100644 keyext.web/src/main/java/org/key_project/key/webui/WebUi.java create mode 100644 keyext.web/src/main/resources/static/_app/immutable/assets/0.CRlOUIgK.css create mode 100644 keyext.web/src/main/resources/static/_app/immutable/assets/2.8lJ0UuPL.css create mode 100644 keyext.web/src/main/resources/static/_app/immutable/chunks/6pjeCr8X.js create mode 100644 keyext.web/src/main/resources/static/_app/immutable/chunks/7wWjHvTU.js create mode 100644 keyext.web/src/main/resources/static/_app/immutable/chunks/B8xKMZX0.js create mode 100644 keyext.web/src/main/resources/static/_app/immutable/chunks/CoTS-PA8.js create mode 100644 keyext.web/src/main/resources/static/_app/immutable/chunks/CwrZi-qA.js create mode 100644 keyext.web/src/main/resources/static/_app/immutable/chunks/CzhP5laV.js create mode 100644 keyext.web/src/main/resources/static/_app/immutable/chunks/DOHFA51K.js create mode 100644 keyext.web/src/main/resources/static/_app/immutable/chunks/DcP_HY-I.js create mode 100644 keyext.web/src/main/resources/static/_app/immutable/chunks/o-yfdNR1.js create mode 100644 keyext.web/src/main/resources/static/_app/immutable/chunks/rkAS4Fq4.js create mode 100644 keyext.web/src/main/resources/static/_app/immutable/entry/app.Ct5uxRNT.js create mode 100644 keyext.web/src/main/resources/static/_app/immutable/entry/start.BtwCXLFx.js create mode 100644 keyext.web/src/main/resources/static/_app/immutable/nodes/0.D0Qjos9c.js create mode 100644 keyext.web/src/main/resources/static/_app/immutable/nodes/1.DRmI-41c.js create mode 100644 keyext.web/src/main/resources/static/_app/immutable/nodes/2.BasKfaR4.js create mode 100644 keyext.web/src/main/resources/static/_app/version.json create mode 100644 keyext.web/src/main/resources/static/favicon.png create mode 100644 keyext.web/src/main/resources/static/index.html diff --git a/keyext.api/build.gradle b/keyext.api/build.gradle index e1472cbc606..45e404583f7 100644 --- a/keyext.api/build.gradle +++ b/keyext.api/build.gradle @@ -18,9 +18,8 @@ dependencies { api(project(":key.ui")) api("org.eclipse.lsp4j:org.eclipse.lsp4j.jsonrpc:0.23.1") - implementation("org.eclipse.lsp4j:org.eclipse.lsp4j.websocket.jakarta:0.23.1") - implementation("org.eclipse.lsp4j:org.eclipse.lsp4j.websocket.jakarta:0.23.1") - implementation("org.eclipse.jetty.websocket:websocket-javax-server:10.0.16") + api("org.eclipse.lsp4j:org.eclipse.lsp4j.websocket.jakarta:0.23.1") + api("org.eclipse.jetty.websocket:websocket-javax-server:10.0.16") implementation("info.picocli:picocli:4.7.5") implementation("com.google.guava:guava:32.1.3-jre") diff --git a/keyext.web/build.gradle b/keyext.web/build.gradle new file mode 100644 index 00000000000..8736c2d8814 --- /dev/null +++ b/keyext.web/build.gradle @@ -0,0 +1,20 @@ +plugins { + id 'application' + + // Used to create a single executable jar file with all dependencies + // see task "shadowJar" below + // https://github.com/GradleUp/shadow + id 'com.gradleup.shadow' version "9.4.1" +} +description = "A web interface for KeY " + +application { + mainClass.set("org.key_project.key.webui.WebUi") +} + +dependencies { + implementation project(":key.ui") + implementation project(":keyext.api") + implementation("org.eclipse.jetty:jetty-server:12.1.10") + implementation("org.eclipse.jetty.ee11.websocket:jetty-ee11-websocket-jakarta-server:12.1.10") +} \ No newline at end of file diff --git a/keyext.web/src/main/java/org/key_project/key/webui/JsonRpcWebSocketEndpoint.java b/keyext.web/src/main/java/org/key_project/key/webui/JsonRpcWebSocketEndpoint.java new file mode 100644 index 00000000000..f80deaa7651 --- /dev/null +++ b/keyext.web/src/main/java/org/key_project/key/webui/JsonRpcWebSocketEndpoint.java @@ -0,0 +1,56 @@ +package org.key_project.key.webui; + +import jakarta.websocket.OnClose; +import jakarta.websocket.OnError; +import jakarta.websocket.OnOpen; +import jakarta.websocket.Session; +import jakarta.websocket.server.ServerEndpoint; +import org.eclipse.lsp4j.websocket.jakarta.WebSocketLauncherBuilder; +import org.keyproject.key.api.KeyApiImpl; +import org.keyproject.key.api.StartServer; +import org.keyproject.key.api.remoteclient.ClientApi; + +import java.io.IOException; +import java.io.PrintWriter; +import java.util.concurrent.ExecutionException; +import java.util.concurrent.ExecutorService; +import java.util.concurrent.Executors; + +/** + * + * @author Alexander Weigl + * @version 1 (11.06.26) + */ +@ServerEndpoint("/ws/jsonrpc") +public class JsonRpcWebSocketEndpoint { + private static final ExecutorService threadPool = Executors.newCachedThreadPool(); + private static final KeyApiImpl keyApi = new KeyApiImpl(); + + @OnOpen + public void onOpen(Session session) throws IOException, ExecutionException, InterruptedException { + + var launcherBuilder = new WebSocketLauncherBuilder() + .setSession(session) + .traceMessages(new PrintWriter(System.err)) + .validateMessages(true); + + launcherBuilder.configureGson(StartServer::configureJson); + launcherBuilder.setLocalService(keyApi); + launcherBuilder.setRemoteInterface(ClientApi.class); + + var launcher = launcherBuilder.create(); + final var clientApiLauncher = launcherBuilder.create(); + keyApi.setClientApi(clientApiLauncher.getRemoteProxy()); + clientApiLauncher.startListening().get(); + } + + @OnClose + public void onClose(Session session) { + // Connection closed - cleanup handled by launcher + } + + @OnError + public void onError(Session session, Throwable throwable) { + throwable.printStackTrace(); + } +} diff --git a/keyext.web/src/main/java/org/key_project/key/webui/WebUi.java b/keyext.web/src/main/java/org/key_project/key/webui/WebUi.java new file mode 100644 index 00000000000..4b2c638a090 --- /dev/null +++ b/keyext.web/src/main/java/org/key_project/key/webui/WebUi.java @@ -0,0 +1,44 @@ +package org.key_project.key.webui; + +import org.eclipse.jetty.ee11.servlet.DefaultServlet; +import org.eclipse.jetty.ee11.servlet.ServletContextHandler; +import org.eclipse.jetty.ee11.websocket.jakarta.server.config.JakartaWebSocketServletContainerInitializer; +import org.eclipse.jetty.server.Server; +import org.eclipse.jetty.util.resource.Resource; +import org.eclipse.jetty.util.resource.ResourceFactory; +import org.keyproject.key.api.StartServer; + +public class WebUi { + public static void main(String[] args) throws Exception { + startNetty(); + } + + private static void startNetty() throws Exception { + Server server = new Server(8080); + ServletContextHandler context = new ServletContextHandler(); + context.setContextPath("/"); + + // Static files from classpath + ResourceFactory resourceFactory = ResourceFactory.of(context); + Resource staticResources = resourceFactory.newClassLoaderResource("static"); + if (staticResources == null || !staticResources.exists()) { + throw new IllegalStateException("Classpath resource 'static' not found"); + } + context.setBaseResource(staticResources); + + // Enable Jakarta WebSocket + JakartaWebSocketServletContainerInitializer.configure(context, (servletContext, wsContainer) -> { + wsContainer.setDefaultMaxTextMessageBufferSize(128 * 1024); + wsContainer.addEndpoint(JsonRpcWebSocketEndpoint.class); + }); + + // Serve static files + context.addServlet(DefaultServlet.class, "/"); + + server.setHandler(context); + server.start(); + System.out.println("Server running at http://localhost:8080"); + server.join(); + } +} + diff --git a/keyext.web/src/main/resources/static/_app/immutable/assets/0.CRlOUIgK.css b/keyext.web/src/main/resources/static/_app/immutable/assets/0.CRlOUIgK.css new file mode 100644 index 00000000000..3cfe63350d9 --- /dev/null +++ b/keyext.web/src/main/resources/static/_app/immutable/assets/0.CRlOUIgK.css @@ -0,0 +1 @@ +:root{color-scheme:dark;--font-scale: 1;--base-font-size: 14px;--pref-font-family: system-ui, -apple-system, sans-serif;--c-bg: #141414;--c-panel: #252525;--c-panel-2: #1f1f1f;--c-text: #e8e8e8;--c-border: rgba(255, 255, 255, .08);--c-border-hover: rgba(255, 255, 255, .22);--c-node: #2b2b2b;--c-node-open: #6a2525;--c-node-closed: #1f4f2a;--c-node-unknown: #333;--c-active-outline: rgba(80, 200, 120, .95);--c-hover-bg: #2b2b2b;--c-span-hover: gray;--c-accent: #4a7fd4;--c-text-muted: #888;--c-main-background: #1a1a1a;--c-main: black;--c-main-inverse: white}:root[data-theme=light]{color-scheme:light;--c-bg: #f0f2f5;--c-panel: #ffffff;--c-panel-2: #f8f9fa;--c-text: #1a1a1a;--c-border: rgba(0, 0, 0, .09);--c-border-hover: rgba(0, 0, 0, .2);--c-node: #f2f2f2;--c-node-open: #ffd6d6;--c-node-closed: #d6ffe1;--c-node-unknown: #e8e8e8;--c-active-outline: rgba(34, 139, 34, .8);--c-hover-bg: #eceef1;--c-span-hover: #cfcfcf;--c-accent: #2563eb;--c-text-muted: #999;--c-main-background: #f0f2f5;--c-main: white;--c-main-inverse: black}*,*:before,*:after{box-sizing:border-box}body{margin:0;background:var(--c-bg);color:var(--c-text);font-family:var(--pref-font-family, system-ui, -apple-system, sans-serif);font-size:calc(var(--base-font-size) * var(--font-scale));line-height:1.5}button{font-family:inherit;font-size:inherit} diff --git a/keyext.web/src/main/resources/static/_app/immutable/assets/2.8lJ0UuPL.css b/keyext.web/src/main/resources/static/_app/immutable/assets/2.8lJ0UuPL.css new file mode 100644 index 00000000000..592e5121809 --- /dev/null +++ b/keyext.web/src/main/resources/static/_app/immutable/assets/2.8lJ0UuPL.css @@ -0,0 +1 @@ +.theme-btn.svelte-1cmi4dh{width:30px;height:30px;padding:0;display:flex;align-items:center;justify-content:center;border:1px solid var(--c-border);background:transparent;color:var(--c-text);border-radius:6px;cursor:pointer;font-size:14px;opacity:.7}.theme-btn.svelte-1cmi4dh:hover{opacity:1;border-color:var(--c-border-hover);background:var(--c-hover-bg)}.menu.svelte-15gydnd{position:absolute;top:100%;left:0;z-index:100;background:var(--c-panel);border:1px solid var(--c-border);border-radius:6px;box-shadow:0 8px 24px #00000059;min-width:200px;overflow:hidden}.run-btn.svelte-2yth6j{display:flex;align-items:center;gap:6px;padding:5px 14px;border:1px solid var(--c-border);border-radius:6px;background:var(--c-hover-bg);color:var(--c-text);font-size:13px;cursor:pointer;transition:background .12s ease,border-color .12s ease}.run-btn.svelte-2yth6j:hover:not(:disabled){border-color:var(--c-border-hover);background:var(--c-panel-2)}.run-btn.svelte-2yth6j:disabled{opacity:.4;cursor:not-allowed}.spinner.svelte-2yth6j{display:inline-block;animation:svelte-2yth6j-spin 1s linear infinite}@keyframes svelte-2yth6j-spin{to{transform:rotate(360deg)}}.menu-backdrop.svelte-1elxaub{position:fixed;top:0;right:0;bottom:0;left:0;z-index:50}.header.svelte-1elxaub{display:flex;align-items:center;justify-content:space-between;height:36px;padding:0 8px 0 0;background:var(--c-panel);border-bottom:1px solid var(--c-border);flex-shrink:0;position:relative;z-index:60}.menu-bar.svelte-1elxaub{display:flex;align-items:stretch;height:100%}.menu-item.svelte-1elxaub{position:relative}.menu-btn.svelte-1elxaub{height:100%;padding:0 12px;background:transparent;border:none;color:var(--c-text);font-size:13px;cursor:pointer;opacity:.85;border-radius:0}.menu-btn.svelte-1elxaub:hover,.menu-btn.active.svelte-1elxaub{opacity:1;background:var(--c-hover-bg)}.header-right.svelte-1elxaub{display:flex;align-items:center;gap:6px;padding-right:4px}.dropdown.svelte-1elxaub{min-width:200px;list-style:none;margin:0;padding:4px 0}.dropdown.svelte-1elxaub li:where(.svelte-1elxaub){display:block}.dropdown-btn.svelte-1elxaub{width:100%;display:flex;align-items:center;justify-content:space-between;padding:5px 14px;background:transparent;border:none;color:var(--c-text);font-size:13px;cursor:pointer;text-align:left;border-radius:0;box-shadow:none}.dropdown-btn.svelte-1elxaub:hover{background:var(--c-hover-bg)}.dropdown-btn.svelte-1elxaub:disabled{opacity:.4;cursor:default}.menu-label.svelte-1elxaub{flex:1}.menu-shortcut.svelte-1elxaub{font-size:11px;opacity:.45;margin-left:16px}.separator.svelte-1elxaub{height:1px;background:var(--c-border);margin:4px 0}.menu-section-label.svelte-1elxaub{padding:2px 14px;font-size:11px;opacity:.45;text-transform:uppercase;letter-spacing:.5px;pointer-events:none}.status-bar.svelte-1piydef{display:flex;align-items:center;justify-content:space-between;height:26px;padding:0 12px;background:var(--c-panel);border-top:1px solid var(--c-border);font-size:12px;flex-shrink:0;gap:12px;color:var(--c-text)}.status-left.svelte-1piydef{display:flex;align-items:center;gap:8px;min-width:0;flex:1}.status-right.svelte-1piydef{display:flex;align-items:center;gap:8px;flex-shrink:0}.server-status.svelte-1piydef{display:flex;align-items:center;gap:5px;flex-shrink:0}.dot.svelte-1piydef{width:7px;height:7px;border-radius:50%;flex-shrink:0;transition:background-color .3s ease}.dot-connected.svelte-1piydef{background:#50c878;box-shadow:0 0 4px #50c87899}.dot-connecting.svelte-1piydef{background:#f0a040;animation:svelte-1piydef-pulse 1s ease-in-out infinite}.dot-disconnected.svelte-1piydef{background:#888}@keyframes svelte-1piydef-pulse{0%,to{opacity:1}50%{opacity:.35}}.status-text.svelte-1piydef{opacity:.55;font-size:11px;white-space:nowrap}.reconnect-btn.svelte-1piydef{padding:1px 7px;background:transparent;border:1px solid var(--c-border);border-radius:4px;color:var(--c-text);font-size:11px;cursor:pointer;opacity:.7;white-space:nowrap}.reconnect-btn.svelte-1piydef:hover{opacity:1;background:var(--c-hover-bg)}.sep.svelte-1piydef{opacity:.25;font-size:14px}.status-item.svelte-1piydef{opacity:.6;white-space:nowrap;overflow:hidden;text-overflow:ellipsis;min-width:0}.zoom-control.svelte-1piydef{display:flex;align-items:center;gap:4px}.zoom-btn.svelte-1piydef{width:20px;height:20px;padding:0;display:flex;align-items:center;justify-content:center;background:transparent;border:1px solid var(--c-border);border-radius:4px;color:var(--c-text);font-size:14px;line-height:1;cursor:pointer;opacity:.7}.zoom-btn.svelte-1piydef:hover{opacity:1;border-color:var(--c-border-hover);background:var(--c-hover-bg)}.zoom-label.svelte-1piydef{width:38px;text-align:center;font-size:12px;opacity:.7;cursor:pointer;-webkit-user-select:none;user-select:none}.zoom-label.svelte-1piydef:hover{opacity:1}.zoom-slider.svelte-1piydef{width:80px;height:4px;cursor:pointer;accent-color:var(--c-active-outline)}.panel.svelte-hxsa5u{background:var(--c-panel);padding:10px;border-radius:6px;height:100%;color:var(--c-text);border:1px solid var(--c-border);overflow:hidden;display:flex;flex-direction:column;font-family:var(--pane-font-family, inherit);font-size:calc(var(--pane-font-size, var(--base-font-size, 14px)) * var(--font-scale, 1))}.backdrop.svelte-ta60gp{position:fixed;top:0;right:0;bottom:0;left:0;background:#00000080;display:flex;align-items:center;justify-content:center;z-index:1000;cursor:default}.modal.svelte-ta60gp{background:var(--c-panel);color:var(--c-text);border:1px solid var(--c-border);border-radius:8px;padding:1.5rem;min-width:300px;max-width:90%;position:relative;animation:scaleIn .2s ease-out}.close.svelte-ta60gp{position:absolute;top:.5rem;right:.75rem;background:none;border:none;font-size:1.5rem;cursor:pointer;color:var(--c-text)}.close.svelte-ta60gp:hover{background:var(--c-hover-bg);border-radius:4px}.option.selected.svelte-m59myo{border-color:var(--c-active-outline);background:#50c8780f}.jar-row.svelte-m59myo{display:flex;align-items:center;gap:6px;margin-top:8px;padding-top:7px;border-top:1px solid var(--c-border)}.jar-label.svelte-m59myo{font-size:11px;opacity:.5;flex-shrink:0;font-weight:500;text-transform:uppercase;letter-spacing:.3px}.jar-path.svelte-m59myo{flex:1;font-size:12px;font-family:ui-monospace,monospace;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;opacity:.85;min-width:0}.jar-none.svelte-m59myo{flex:1;font-size:12px;opacity:.3;font-style:italic}.jar-btn.svelte-m59myo{padding:2px 8px;background:transparent;border:1px solid var(--c-border);border-radius:4px;color:var(--c-text);font-size:11px;cursor:pointer;white-space:nowrap;opacity:.7;flex-shrink:0;font-family:inherit}.jar-btn.svelte-m59myo:hover{opacity:1;background:var(--c-hover-bg)}.jar-set.svelte-m59myo{border-color:var(--c-active-outline);opacity:.85}.jar-set.svelte-m59myo:hover{opacity:1}.jar-clear.svelte-m59myo{padding:2px 6px}.inline-fields.svelte-1qe2zza{display:flex;gap:8px;margin-top:8px;padding-top:7px;border-top:1px solid var(--c-border)}.inline-field.svelte-1qe2zza{display:flex;flex-direction:column;gap:3px;margin-top:8px;padding-top:7px;border-top:1px solid var(--c-border)}.inline-fields.svelte-1qe2zza .inline-field:where(.svelte-1qe2zza){margin-top:0;padding-top:0;border-top:none;flex:1}.inline-fields.svelte-1qe2zza .inline-field.wide:where(.svelte-1qe2zza){flex:2}.inline-field.svelte-1qe2zza>label:where(.svelte-1qe2zza){font-size:11px;opacity:.55;font-weight:500}.port-input.svelte-1qe2zza{max-width:90px}h3.svelte-1w5cybu{margin:0 0 8px;font-size:1em;font-weight:600;text-transform:uppercase;letter-spacing:.4px;opacity:.7}.summary.svelte-1w5cybu{font-size:.85em;opacity:.5;margin-bottom:6px}.loading.svelte-1w5cybu,.empty.svelte-1w5cybu{font-size:.9em;opacity:.5;font-style:italic;margin-top:8px}.goal-list.svelte-1w5cybu{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:2px}.goal-btn.svelte-1w5cybu{display:flex;align-items:baseline;gap:6px;width:100%;padding:4px 6px;background:transparent;border:none;border-radius:4px;color:var(--c-text);font:inherit;font-size:.88em;text-align:left;cursor:pointer;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.goal-btn.svelte-1w5cybu:hover{background:var(--c-hover-bg)}.goal-id.svelte-1w5cybu{font-variant-numeric:tabular-nums;opacity:.35;font-size:.85em;flex-shrink:0}.goal-text.svelte-1w5cybu{overflow:hidden;text-overflow:ellipsis;white-space:nowrap;min-width:0}.ctx-backdrop.svelte-192vamk{position:fixed;top:0;right:0;bottom:0;left:0;z-index:999}.ctx-menu.svelte-192vamk{position:absolute;background:var(--c-panel-2, #2a2a2a);border:1px solid var(--c-border, #444);border-radius:6px;box-shadow:0 8px 24px #00000073;z-index:1000;min-width:180px;max-width:340px;padding:4px 0;font-size:13px;-webkit-user-select:none;user-select:none}.ctx-simple.svelte-1wbs0gg{padding:10px 12px;font-size:13px;font-weight:600;opacity:.95;white-space:nowrap}.ctx-title.svelte-1wbs0gg{font-size:12px;font-weight:700;letter-spacing:.2px;opacity:.9;padding:6px 2px 10px;border-bottom:1px solid rgba(255,255,255,.08);margin-bottom:10px}.ctx-content.svelte-1wbs0gg{display:grid;gap:10px}.ctx-row.svelte-1wbs0gg{display:grid;grid-template-columns:92px 1fr;gap:10px;align-items:baseline}.ctx-label.svelte-1wbs0gg{font-size:12px;opacity:.7}.ctx-value.svelte-1wbs0gg{font-size:13px;font-weight:650}.ctx-sep.svelte-1wbs0gg{height:1px;background:#ffffff14;margin:2px 0}.ctx-mono.svelte-1wbs0gg{font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace;font-size:12px;line-height:1.35;white-space:pre-wrap;word-break:break-word;padding:8px 10px;border-radius:10px;background:#ffffff0f;border:1px solid rgba(255,255,255,.08)}.ctx-mono.loading.svelte-1wbs0gg{opacity:.75}.ctx-mono.error.svelte-1wbs0gg{border-color:#ff787859;background:#ff78781a}.tree-container.svelte-1u5swoa{height:100%;display:flex;flex-direction:column;overflow:hidden}.tree-header.svelte-1u5swoa{display:flex;align-items:baseline;gap:8px;flex-shrink:0;padding:0 4px 6px;border-bottom:1px solid var(--c-border);margin-bottom:6px}.tree-header.svelte-1u5swoa h3:where(.svelte-1u5swoa){margin:0;font-size:1em;font-weight:600;text-transform:uppercase;letter-spacing:.4px;opacity:.7}.node-count.svelte-1u5swoa{font-size:.85em;opacity:.35}.search-row.svelte-1u5swoa{position:relative;flex-shrink:0;margin-bottom:6px}.search-input.svelte-1u5swoa{width:100%;padding:6px 28px 6px 10px;background:var(--c-hover-bg);border:1px solid var(--c-border);border-radius:6px;font-size:.92em;color:var(--c-text);box-sizing:border-box}.search-input.svelte-1u5swoa:focus{outline:none;border-color:var(--c-active-outline)}.search-input.svelte-1u5swoa::placeholder{color:var(--c-text);opacity:.35}.clear-btn.svelte-1u5swoa{position:absolute;right:6px;top:50%;transform:translateY(-50%);background:transparent;border:none;color:var(--c-text);cursor:pointer;font-size:.92em;opacity:.45;padding:2px 4px}.clear-btn.svelte-1u5swoa:hover{opacity:1}.loading-banner.svelte-1u5swoa{padding:20px;text-align:center;opacity:.45;font-size:1em}.scroll-viewport.svelte-1u5swoa{flex:1;overflow-y:auto;overflow-x:hidden;position:relative}.virtual-list.svelte-1u5swoa{position:relative;width:100%}.row.svelte-1u5swoa{display:flex;align-items:center;width:100%;overflow:hidden}.indent.svelte-1u5swoa{flex-shrink:0}.toggle-placeholder.svelte-1u5swoa{width:18px;flex-shrink:0}.toggle-btn.svelte-1u5swoa{width:18px;height:18px;flex-shrink:0;display:flex;align-items:center;justify-content:center;background:transparent;border:none;color:var(--c-text);font-size:.85em;cursor:pointer;opacity:.5;padding:0;border-radius:3px}.toggle-btn.svelte-1u5swoa:hover{opacity:1;background:var(--c-hover-bg)}.node-row.svelte-1u5swoa{flex:1;display:flex;align-items:center;gap:6px;height:100%;padding:0 8px 0 4px;background:transparent;border:none;color:var(--c-text);font-size:.92em;text-align:left;cursor:pointer;border-radius:4px;overflow:hidden;min-width:0}.node-row.svelte-1u5swoa:hover{background:var(--c-hover-bg)}.node-row.active.svelte-1u5swoa{background:#50c8781f;outline:1px solid rgba(80,200,120,.5);outline-offset:-1px}.node-row.open.svelte-1u5swoa{color:#ff7070}.node-row.closed.svelte-1u5swoa{color:#50c878}.node-row.open.active.svelte-1u5swoa{background:#ff50501a;outline-color:#ff505080}.status-dot.svelte-1u5swoa{width:6px;height:6px;border-radius:50%;flex-shrink:0}.status-dot.status-open.svelte-1u5swoa{background:#f55}.status-dot.status-closed.svelte-1u5swoa{background:#50c878}.status-dot.status-unknown.svelte-1u5swoa{background:#fff3}.node-label.svelte-1u5swoa{overflow:hidden;text-overflow:ellipsis;white-space:nowrap;min-width:0}.node-id.svelte-1u5swoa{opacity:.35;font-size:.77em;margin-right:4px;font-variant-numeric:tabular-nums}.branch-marker.svelte-1u5swoa{display:flex;align-items:center;gap:5px;font-size:.85em;opacity:.5;font-style:italic;padding:0 4px}.branch-icon.svelte-1u5swoa{font-size:1em;opacity:.7}.spinner.svelte-1u5swoa{display:inline-block;animation:svelte-1u5swoa-spin .7s linear infinite}@keyframes svelte-1u5swoa-spin{to{transform:rotate(360deg)}}.search-results.svelte-1u5swoa{display:flex;flex-direction:column;gap:2px;padding:2px 0}.empty-msg.svelte-1u5swoa{padding:20px;text-align:center;opacity:.4;font-size:.92em}.taclet-pane.svelte-1u5swoa{flex-shrink:0;border-top:1px solid var(--c-border);display:flex;flex-direction:column;max-height:40%}.taclet-header.svelte-1u5swoa{display:flex;align-items:center;gap:6px;width:100%;padding:5px 6px;background:transparent;border:none;color:var(--c-text);font-size:.85em;cursor:pointer;text-align:left;opacity:.7;flex-shrink:0}.taclet-header.svelte-1u5swoa:hover{opacity:1;background:var(--c-hover-bg)}.taclet-toggle.svelte-1u5swoa{font-size:.85em;width:10px;flex-shrink:0}.taclet-title.svelte-1u5swoa{font-weight:600;text-transform:uppercase;letter-spacing:.3px;font-size:.85em}.taclet-hint.svelte-1u5swoa{font-size:.8em;opacity:.55;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;min-width:0;font-style:italic}.taclet-content.svelte-1u5swoa{overflow-y:auto;flex:1;min-height:0;padding:0 8px 8px}.taclet-empty.svelte-1u5swoa{padding:14px 10px;font-size:.85em;opacity:.38;text-align:center}.ctx-menu.svelte-1u5swoa{min-width:210px;padding:4px 0}.ctx-section-label.svelte-1u5swoa{padding:5px 14px 4px;font-size:11px;opacity:.45;white-space:nowrap;overflow:hidden;text-overflow:ellipsis;max-width:260px}.ctx-divider.svelte-1u5swoa{height:1px;background:var(--c-border);margin:3px 0}.ctx-action.svelte-1u5swoa{display:flex;align-items:center;gap:9px;width:100%;padding:6px 14px;background:transparent;border:none;color:var(--c-text);font-size:13px;cursor:pointer;text-align:left}.ctx-action.svelte-1u5swoa:hover:not(:disabled){background:var(--c-hover-bg)}.ctx-action.svelte-1u5swoa:disabled{opacity:.4;cursor:default}.ctx-icon.svelte-1u5swoa{width:15px;text-align:center;font-size:12px;opacity:.65;flex-shrink:0}.ctx-error-msg.svelte-1u5swoa{font-size:11px;color:#ff7070;padding:1px 14px 4px 38px;line-height:1.35;word-break:break-word;max-width:260px}.tree.svelte-r00w4i{padding:10px;border-radius:6px}.piece.svelte-r00w4i{display:inline;white-space:pre;cursor:pointer;border-radius:2px}.piece.svelte-r00w4i:focus-visible{outline:1px solid var(--c-active-outline, #4a7fd4);outline-offset:1px}.piece.no-action.svelte-r00w4i{cursor:default}.piece.span-hover.svelte-r00w4i{background-color:var(--c-span-hover)}.piece.span-match.svelte-r00w4i{background-color:#ffc80040;border-radius:2px}.piece.span-match-current.svelte-r00w4i{background-color:#ffa0008c;border-radius:2px;outline:1px solid rgba(255,160,0,.8);outline-offset:1px}.menu-sep.svelte-r00w4i{height:1px;background:var(--c-border, #444);margin:3px 0}.menu-header.svelte-r00w4i{padding:4px 12px 2px;font-size:10px;font-weight:600;letter-spacing:.07em;text-transform:uppercase;color:var(--c-text-muted, #888);pointer-events:none}.menu-item.svelte-r00w4i{display:flex;align-items:center;justify-content:space-between;width:100%;padding:5px 12px;background:none;border:none;border-radius:0;color:var(--c-text, #eee);font:inherit;font-size:13px;text-align:left;cursor:pointer;white-space:nowrap;overflow:hidden;text-overflow:ellipsis;box-sizing:border-box}.menu-item.svelte-r00w4i:hover,.menu-item.svelte-r00w4i:focus-visible{background:var(--c-accent, #4a7fd4);color:#fff;outline:none}.menu-item.menu-empty.svelte-r00w4i,.menu-item.svelte-r00w4i:disabled{color:var(--c-text-muted, #888);cursor:default}.menu-item.menu-empty.svelte-r00w4i:hover,.menu-item.svelte-r00w4i:disabled:hover{background:none;color:var(--c-text-muted, #888)}.menu-submenu-host.svelte-r00w4i{position:relative}.menu-has-sub.svelte-r00w4i{gap:8px}.menu-arrow.svelte-r00w4i{font-size:9px;opacity:.7;flex-shrink:0}.menu-hint.svelte-r00w4i{font-size:11px;opacity:.5;flex-shrink:0;margin-left:12px}.menu-submenu.svelte-r00w4i{display:none;position:absolute;left:100%;top:-4px;background:var(--c-panel-2, #2a2a2a);border:1px solid var(--c-border, #444);border-radius:6px;box-shadow:0 8px 24px #00000073;min-width:180px;max-width:340px;max-height:60vh;overflow-y:auto;padding:4px 0;z-index:1001}.menu-submenu-host.svelte-r00w4i:hover .menu-submenu:where(.svelte-r00w4i){display:block}.menu-submenu-host.svelte-r00w4i:hover>.menu-item:where(.svelte-r00w4i){background:var(--c-accent, #4a7fd4);color:#fff}.sequent-container.svelte-yo0rx{display:flex;flex-direction:column;height:100%;overflow:hidden}.sequent-header.svelte-yo0rx{display:flex;align-items:center;justify-content:space-between;flex-shrink:0;margin-bottom:6px}.sequent-header.svelte-yo0rx h3:where(.svelte-yo0rx){margin:0}.header-btns.svelte-yo0rx{display:flex;align-items:center;gap:2px}.search-open-btn.svelte-yo0rx{display:flex;align-items:center;justify-content:center;background:transparent;border:none;color:var(--c-text);cursor:pointer;font-size:1.14em;opacity:.45;padding:2px 6px;border-radius:4px;line-height:1;min-width:24px;height:22px}.search-open-btn.svelte-yo0rx:hover:not(:disabled){opacity:1;background:var(--c-hover-bg)}.search-open-btn.svelte-yo0rx:disabled{opacity:.2;cursor:default}.copy-icon.svelte-yo0rx{width:13px;height:13px}.search-bar.svelte-yo0rx{display:flex;align-items:center;gap:4px;flex-shrink:0;margin-bottom:6px;padding:4px 6px;background:var(--c-hover-bg);border:1px solid var(--c-border);border-radius:6px}.search-input.svelte-yo0rx{flex:1;min-width:0;padding:3px 8px;background:var(--c-bg);border:1px solid var(--c-border);border-radius:4px;font-size:.86em;color:var(--c-text)}.search-input.svelte-yo0rx:focus{outline:none;border-color:var(--c-active-outline)}.match-count.svelte-yo0rx{font-size:.79em;opacity:.5;white-space:nowrap;min-width:60px;text-align:center}.search-nav-btn.svelte-yo0rx{background:transparent;border:1px solid var(--c-border);color:var(--c-text);cursor:pointer;font-size:1em;line-height:1;padding:2px 7px;border-radius:4px}.search-nav-btn.svelte-yo0rx:hover:not(:disabled){background:var(--c-panel)}.search-nav-btn.svelte-yo0rx:disabled{opacity:.3;cursor:default}.search-close-btn.svelte-yo0rx{background:transparent;border:none;color:var(--c-text);cursor:pointer;font-size:.86em;opacity:.5;padding:2px 5px;border-radius:4px}.search-close-btn.svelte-yo0rx:hover{opacity:1;background:var(--c-panel)}.sequent-content.svelte-yo0rx{flex:1;overflow:auto}pre.svelte-yo0rx{margin:0;white-space:pre;font-family:var(--pane-font-family, monospace)}code.svelte-yo0rx{display:block;font-family:var(--pane-font-family, monospace)}.character-width-estimator.svelte-yo0rx{top:0;left:0;position:absolute;visibility:hidden}.sequent-pane.svelte-1f726zb{flex:1;min-width:0;min-height:0;display:flex;flex-direction:column}.tab-bar.svelte-1f726zb{display:flex;align-items:stretch;flex-shrink:0;height:30px;background:var(--c-panel-2);border:1px solid var(--c-border);border-bottom:none;border-radius:6px 6px 0 0;overflow:hidden}.tab.svelte-1f726zb{display:flex;align-items:center;gap:5px;padding:0 8px 0 11px;background:transparent;border:none;border-right:1px solid var(--c-border);color:var(--c-text);font-size:12px;cursor:pointer;opacity:.55;white-space:nowrap;min-width:0;flex-shrink:0;max-width:160px}.tab.svelte-1f726zb:hover{opacity:.85;background:var(--c-hover-bg)}.tab.active.svelte-1f726zb{opacity:1;background:var(--c-panel);font-weight:550}.tab.following.svelte-1f726zb .tab-label:where(.svelte-1f726zb){font-style:italic}.tab-label.svelte-1f726zb{overflow:hidden;text-overflow:ellipsis;flex:1;min-width:0}.tab-x.svelte-1f726zb{flex-shrink:0;width:14px;height:14px;display:flex;align-items:center;justify-content:center;border-radius:3px;font-size:11px;opacity:.45;cursor:pointer;line-height:1;-webkit-user-select:none;user-select:none}.tab-x.svelte-1f726zb:hover{opacity:1;background:#ffffff26}.col-close-btn.svelte-1f726zb{margin-left:auto;padding:0 10px;background:transparent;border:none;border-left:1px solid var(--c-border);color:var(--c-text);font-size:11px;cursor:pointer;opacity:.35;flex-shrink:0}.col-close-btn.svelte-1f726zb:hover{opacity:1;background:#ff505026;color:#ff8080}.tab-content.svelte-1f726zb{flex:1;min-height:0;overflow:hidden}.tab-content.svelte-1f726zb .panel{border-radius:0 0 6px 6px;border-top:none}.resize-handle.svelte-98yjt2{flex-shrink:0;width:8px;cursor:col-resize;position:relative;background:transparent}.resize-handle.svelte-98yjt2:after{content:"";position:absolute;top:0;right:0;bottom:0;left:50%;width:2px;transform:translate(-50%);background:var(--c-border);border-radius:1px;transition:background .12s ease}.resize-handle.svelte-98yjt2:hover:after,.resize-handle.dragging.svelte-98yjt2:after{background:var(--c-active-outline)}.sequent-area.svelte-xlyzcm{display:flex;gap:0;height:100%;min-width:0;min-height:0}.pane-list.svelte-c7qdii{display:flex;flex-direction:column;gap:8px}.pane-card.svelte-c7qdii{border:1px solid var(--c-border);border-radius:6px;padding:10px 12px;display:flex;flex-direction:column;gap:8px;transition:border-color 80ms}.pane-card.on.svelte-c7qdii{border-color:var(--c-border-hover, var(--c-active-outline))}.check-row.svelte-c7qdii{display:flex;align-items:center;gap:8px;cursor:pointer}.check-row.svelte-c7qdii input[type=checkbox]:where(.svelte-c7qdii){flex-shrink:0;accent-color:var(--c-active-outline)}.pane-name.svelte-c7qdii{font-size:13px;font-weight:500}.using-global.svelte-c7qdii{font-size:11px;opacity:.4;font-style:italic;margin-left:2px}.dim.svelte-c7qdii{opacity:.4}.pref.svelte-e3b7dy{width:560px}.pref-title.svelte-e3b7dy{margin:0 0 14px;font-size:15px;font-weight:600;padding-right:28px}.pref-body.svelte-e3b7dy{display:flex;border:1px solid var(--c-border);border-radius:8px;overflow:hidden;height:360px}.sidebar.svelte-e3b7dy{width:120px;flex-shrink:0;background:var(--c-panel-2);border-right:1px solid var(--c-border);padding:8px;display:flex;flex-direction:column;gap:2px}.tab.svelte-e3b7dy{display:flex;align-items:center;gap:7px;padding:7px 8px;background:transparent;border:none;border-radius:5px;color:var(--c-text);font-size:13px;font-family:inherit;cursor:pointer;opacity:.65;width:100%;text-align:left}.tab.svelte-e3b7dy:hover{opacity:.9;background:var(--c-hover-bg)}.tab.active.svelte-e3b7dy{opacity:1;background:var(--c-hover-bg);font-weight:500}.icon.svelte-e3b7dy{display:inline-block;width:18px;text-align:center}.content.svelte-e3b7dy{flex:1;padding:16px 20px;overflow-y:auto}.content.svelte-e3b7dy .section-label{margin:0 0 8px;font-size:11px;font-weight:600;text-transform:uppercase;letter-spacing:.5px;opacity:.45}.content.svelte-e3b7dy .hint{margin:0 0 12px;font-size:12px;opacity:.5;line-height:1.4}.content.svelte-e3b7dy .options{display:flex;flex-direction:column;gap:7px;margin-bottom:16px}.content.svelte-e3b7dy .option{display:flex;align-items:flex-start;gap:9px;padding:9px 11px;border:1px solid var(--c-border);border-radius:6px;cursor:pointer;transition:background 80ms}.content.svelte-e3b7dy .option:has(input:checked){border-color:var(--c-active-outline);background:#50c8780f}.content.svelte-e3b7dy .option input[type=radio]{margin-top:3px;flex-shrink:0;accent-color:var(--c-active-outline)}.content.svelte-e3b7dy .opt-body{display:flex;flex-direction:column;gap:2px}.content.svelte-e3b7dy .opt-name{font-size:13px;font-weight:500}.content.svelte-e3b7dy .opt-desc{font-size:12px;opacity:.5;line-height:1.35}.content.svelte-e3b7dy .row{display:flex;gap:10px;margin-bottom:10px;align-items:flex-end}.content.svelte-e3b7dy .field{display:flex;flex-direction:column;gap:4px;flex:1}.content.svelte-e3b7dy .field.wide{flex:2}.content.svelte-e3b7dy .field.narrow{flex:0 0 80px}.content.svelte-e3b7dy .field>label{font-size:11px;opacity:.55;font-weight:500}.content.svelte-e3b7dy .input{padding:5px 8px;background:var(--c-hover-bg);border:1px solid var(--c-border);border-radius:5px;color:var(--c-text);font-family:inherit;font-size:13px;width:100%;box-sizing:border-box}.content.svelte-e3b7dy .input:focus{outline:none;border-color:var(--c-active-outline)}.content.svelte-e3b7dy .input:disabled{opacity:.35;cursor:not-allowed}.actions.svelte-e3b7dy{display:flex;justify-content:flex-end;gap:8px;margin-top:14px;padding-top:12px;border-top:1px solid var(--c-border)}.btn-cancel.svelte-e3b7dy,.btn-save.svelte-e3b7dy{padding:6px 18px;border-radius:5px;font-size:13px;cursor:pointer;font-family:inherit}.btn-cancel.svelte-e3b7dy{background:transparent;border:1px solid var(--c-border);color:var(--c-text)}.btn-cancel.svelte-e3b7dy:hover{background:var(--c-hover-bg)}.btn-save.svelte-e3b7dy{background:var(--c-active-outline);border:1px solid transparent;color:#000;font-weight:500}.btn-save.svelte-e3b7dy:hover{filter:brightness(1.1)}.about.svelte-16ie8u9{width:480px;max-width:80vw}.about-title.svelte-16ie8u9{margin:0 0 2px;font-size:18px;font-weight:600}.about-version.svelte-16ie8u9{font-size:12px;opacity:.5;margin-bottom:12px}.about-desc.svelte-16ie8u9{margin:0 0 14px;font-size:13px;opacity:.8;line-height:1.4}.about-license-line.svelte-16ie8u9{display:flex;align-items:center;gap:10px;font-size:13px}.license-toggle.svelte-16ie8u9{padding:3px 10px;background:transparent;border:1px solid var(--c-border);border-radius:4px;color:var(--c-text);font-size:11px;cursor:pointer;opacity:.75}.license-toggle.svelte-16ie8u9:hover{opacity:1;background:var(--c-hover-bg)}.license-text.svelte-16ie8u9{margin:12px 0 0;padding:10px;max-height:45vh;overflow:auto;background:var(--c-hover-bg);border:1px solid var(--c-border);border-radius:6px;font-size:11px;line-height:1.45;white-space:pre-wrap}.toolbar.svelte-1ld6r3r{display:flex;align-items:center;gap:4px;padding:5px 10px;background:var(--c-panel);border-bottom:1px solid var(--c-border);flex-shrink:0}.toolbar-sep.svelte-1ld6r3r{width:1px;height:20px;background:var(--c-border);margin:0 4px;flex-shrink:0}.tb-btn.svelte-1ld6r3r{display:flex;align-items:center;gap:5px;padding:4px 9px;background:transparent;border:1px solid transparent;border-radius:5px;color:var(--c-text);font-size:12.5px;cursor:pointer;opacity:.75;transition:opacity .1s,background .1s,border-color .1s;white-space:nowrap}.tb-btn.svelte-1ld6r3r:hover:not(:disabled){opacity:1;background:var(--c-hover-bg);border-color:var(--c-border)}.tb-btn.svelte-1ld6r3r:disabled{opacity:.3;cursor:not-allowed}.tb-icon.svelte-1ld6r3r{width:14px;height:14px;flex-shrink:0}.app.svelte-1uha8ag{width:100vw;height:100vh;display:flex;flex-direction:column;background:var(--c-main-background);color:var(--c-text);overflow:hidden}.workspace.svelte-1uha8ag{flex:1;display:flex;gap:0;padding:8px;min-height:0}.pane.svelte-1uha8ag{min-width:0;min-height:0}.error-pre.svelte-1uha8ag{display:flex;overflow:auto;margin:0;padding:8px;background:var(--c-hover-bg);border-radius:4px;font-size:13px}.confirm-row.svelte-1uha8ag{display:flex;justify-content:flex-end;gap:8px}.confirm-btn.svelte-1uha8ag{padding:6px 16px;border-radius:5px;font-size:13px;cursor:pointer;font-family:inherit;background:transparent;border:1px solid var(--c-border);color:var(--c-text)}.confirm-btn.svelte-1uha8ag:hover{background:var(--c-hover-bg)}.confirm-primary.svelte-1uha8ag{background:var(--c-active-outline);border-color:transparent;color:#000;font-weight:500}.confirm-primary.svelte-1uha8ag:hover{filter:brightness(1.1)} diff --git a/keyext.web/src/main/resources/static/_app/immutable/chunks/6pjeCr8X.js b/keyext.web/src/main/resources/static/_app/immutable/chunks/6pjeCr8X.js new file mode 100644 index 00000000000..e5f8149941c --- /dev/null +++ b/keyext.web/src/main/resources/static/_app/immutable/chunks/6pjeCr8X.js @@ -0,0 +1 @@ +import{i}from"./rkAS4Fq4.js";async function l(e,a){await i("plugin:clipboard-manager|write_text",{label:a==null?void 0:a.label,text:e})}export{l as writeText}; diff --git a/keyext.web/src/main/resources/static/_app/immutable/chunks/7wWjHvTU.js b/keyext.web/src/main/resources/static/_app/immutable/chunks/7wWjHvTU.js new file mode 100644 index 00000000000..6d6a803ed09 --- /dev/null +++ b/keyext.web/src/main/resources/static/_app/immutable/chunks/7wWjHvTU.js @@ -0,0 +1 @@ +import{B as O,N as j,J as E,ae as k,M as J,I as D,b as N,h as y,x as C,E as U,at as x,a9 as Y,z as $,al as R,f as G,ai as V,G as W,au as Z,V as K,C as q,w as z,av as Q,aw as F,ax as X,ay as ee,az as B,aA as re,aB as ne,aC as te,aD as ae,aE as se,aF as ie,aG as ue,H as fe,aH as le,aI as ce,L as oe}from"./B8xKMZX0.js";import{B as H}from"./o-yfdNR1.js";import{s as de,g as ve}from"./DOHFA51K.js";const _e="modulepreload",he=function(e,n){return new URL(e,n).href},L={},Pe=function(n,t,a){let u=Promise.resolve();if(t&&t.length>0){let l=function(i){return Promise.all(i.map(d=>Promise.resolve(d).then(h=>({status:"fulfilled",value:h}),h=>({status:"rejected",reason:h}))))};const r=document.getElementsByTagName("link"),s=document.querySelector("meta[property=csp-nonce]"),o=(s==null?void 0:s.nonce)||(s==null?void 0:s.getAttribute("nonce"));u=l(t.map(i=>{if(i=he(i,a),i in L)return;L[i]=!0;const d=i.endsWith(".css"),h=d?'[rel="stylesheet"]':"";if(!!a)for(let v=r.length-1;v>=0;v--){const S=r[v];if(S.href===i&&(!d||S.rel==="stylesheet"))return}else if(document.querySelector(`link[href="${i}"]${h}`))return;const _=document.createElement("link");if(_.rel=d?"stylesheet":_e,d||(_.as="script"),_.crossOrigin="",_.href=i,o&&_.setAttribute("nonce",o),document.head.appendChild(_),d)return new Promise((v,S)=>{_.addEventListener("load",v),_.addEventListener("error",()=>S(new Error(`Unable to preload CSS for ${i}`)))})}))}function f(l){const r=new Event("vite:preloadError",{cancelable:!0});if(r.payload=l,window.dispatchEvent(r),!r.defaultPrevented)throw l}return u.then(l=>{for(const r of l||[])r.status==="rejected"&&f(r.reason);return n().catch(f)})};let m=!1,T=Symbol("unmounted");function me(e,n,t){const a=t[n]??(t[n]={store:null,source:j(void 0),unsubscribe:O});if(a.store!==e&&!(T in t))if(a.unsubscribe(),a.store=e??null,e==null)a.source.v=void 0,a.unsubscribe=O;else{var u=!0;a.unsubscribe=de(e,f=>{u?a.source.v=f:D(a.source,f)}),u=!1}return e&&T in t?ve(e):E(a.source)}function ye(){const e={};function n(){k(()=>{for(var t in e)e[t].unsubscribe();J(e,T,{enumerable:!1,value:!0})})}return[e,n]}function be(e){var n=m;try{return m=!1,[e(),m]}finally{m=n}}function Re(e,n,t=!1){var a;y&&(a=G,C());var u=new H(e),f=t?U:0;function l(r,s){if(y){var o=x(a);if(r!==parseInt(o.substring(1))){var i=Y();$(i),u.anchor=i,R(!1),u.ensure(r,s),R(!0);return}}u.ensure(r,s)}N(()=>{var r=!1;n((s,o=0)=>{r=!0,l(o,s)}),r||l(-1,null)},f)}function we(e,n,t){var a;y&&(a=G,C());var u=new H(e);N(()=>{var f=n()??null;if(y){var l=x(a),r=l===V,s=f!==null;if(r!==s){var o=Y();$(o),u.anchor=o,R(!1),u.ensure(f,f&&(i=>t(i,f))),R(!0);return}}u.ensure(f,f&&(i=>t(i,f)))},U)}function I(e,n){return e===n||(e==null?void 0:e[F])===n}function Ie(e={},n,t,a){var u=W.r,f=z;return Z(()=>{var l,r;return K(()=>{l=r,r=[],q(()=>{I(t(...r),e)||(n(e,...r),l&&I(t(...l),e)&&n(null,...l))})}),()=>{let s=f;for(;s!==u&&s.parent!==null&&s.parent.f&Q;)s=s.parent;const o=()=>{r&&I(t(...r),e)&&n(null,...r)},i=s.teardown;s.teardown=()=>{o(),i==null||i()}}}),e}function Te(e,n,t,a){var A;var u=!fe||(t&le)!==0,f=(t&ue)!==0,l=(t&ce)!==0,r=a,s=!0,o=void 0,i=()=>l&&u?(o??(o=B(a)),E(o)):(s&&(s=!1,r=l?q(a):a),r);let d;if(f){var h=F in e||oe in e;d=((A=ne(e,n))==null?void 0:A.set)??(h&&n in e?c=>e[n]=c:void 0)}var b,_=!1;f?[b,_]=be(()=>e[n]):b=e[n],b===void 0&&a!==void 0&&(b=i(),d&&(u&&te(),d(b)));var v;if(u?v=()=>{var c=e[n];return c===void 0?i():(s=!0,c)}:v=()=>{var c=e[n];return c!==void 0&&(r=void 0),c===void 0?r:c},u&&(t&ae)===0)return v;if(d){var S=e.$$legacy;return(function(c,P){return arguments.length>0?((!u||!P||S||_)&&d(P?v():c),c):v()})}var w=!1,g=((t&se)!==0?B:re)(()=>(w=!1,v()));f&&E(g);var M=z;return(function(c,P){if(arguments.length>0){const p=P?E(g):u&&f?ie(c):c;return D(g,p),w=!0,r!==void 0&&(r=p),c}return X&&w||(M.f&ee)!==0?g.v:E(g)})}export{Pe as _,me as a,Ie as b,we as c,Re as i,Te as p,ye as s}; diff --git a/keyext.web/src/main/resources/static/_app/immutable/chunks/B8xKMZX0.js b/keyext.web/src/main/resources/static/_app/immutable/chunks/B8xKMZX0.js new file mode 100644 index 00000000000..60fb99dce26 --- /dev/null +++ b/keyext.web/src/main/resources/static/_app/immutable/chunks/B8xKMZX0.js @@ -0,0 +1 @@ +var rn=Object.defineProperty;var _t=e=>{throw TypeError(e)};var sn=(e,t,n)=>t in e?rn(e,t,{enumerable:!0,configurable:!0,writable:!0,value:n}):e[t]=n;var V=(e,t,n)=>sn(e,typeof t!="symbol"?t+"":t,n),je=(e,t,n)=>t.has(e)||_t("Cannot "+n);var c=(e,t,n)=>(je(e,t,"read from private field"),n?n.call(e):t.get(e)),F=(e,t,n)=>t.has(e)?_t("Cannot add the same private member more than once"):t instanceof WeakSet?t.add(e):t.set(e,n),m=(e,t,n,r)=>(je(e,t,"write to private field"),r?r.call(e,n):t.set(e,n),n),D=(e,t,n)=>(je(e,t,"access private method"),n);const sr=32;const ir=128;const lr=8192,fr=16384,ar=32768,ur=33554432,or=65536;const cr=524288;const _r=33554432;const Q=Symbol("$state"),Er=Symbol("legacy props"),vr=Symbol(""),ln=Symbol("attributes"),fn=Symbol("class"),an=Symbol("style"),un=Symbol("text"),Se=Symbol("form reset"),Be=new class extends Error{constructor(){super(...arguments);V(this,"name","StaleReactionError");V(this,"message","The reaction that called `getAbortSignal()` was re-run or destroyed")}};var Dt;const hr=!!((Dt=globalThis.document)!=null&&Dt.contentType)&&globalThis.document.contentType.includes("xml"),Ve=3,Nt=8,wt=!1;var on=Array.isArray,cn=Array.prototype.indexOf,be=Array.prototype.includes,pr=Array.from,Tr=Object.defineProperty,De=Object.getOwnPropertyDescriptor,_n=Object.getOwnPropertyDescriptors,En=Object.prototype,vn=Array.prototype,Ft=Object.getPrototypeOf,Et=Object.isExtensible;const dn=()=>{};function Rr(e){return e()}function hn(e){for(var t=0;t{e=r,t=s});return{promise:n,resolve:e,reject:t}}function Ot(e){return e===this.v}function pn(e,t){return e!=e?t==t:e!==t||e!==null&&typeof e=="object"||typeof e=="function"}function It(e){return!pn(e,this.v)}function Tn(){throw new Error("https://svelte.dev/e/async_derived_orphan")}function Cr(e,t,n){throw new Error("https://svelte.dev/e/each_key_duplicate")}function Rn(e){throw new Error("https://svelte.dev/e/effect_in_teardown")}function Cn(){throw new Error("https://svelte.dev/e/effect_in_unowned_derived")}function An(e){throw new Error("https://svelte.dev/e/effect_orphan")}function Dn(){throw new Error("https://svelte.dev/e/effect_update_depth_exceeded")}function Ar(){throw new Error("https://svelte.dev/e/hydration_failed")}function Dr(e){throw new Error("https://svelte.dev/e/props_invalid_value")}function Nn(){throw new Error("https://svelte.dev/e/state_descriptors_fixed")}function wn(){throw new Error("https://svelte.dev/e/state_prototype_fixed")}function Fn(){throw new Error("https://svelte.dev/e/state_unsafe_mutation")}function Nr(){throw new Error("https://svelte.dev/e/svelte_boundary_reset_onerror")}let He=!1,yn=!1;function wr(){He=!0}const Fr=1,yr=2,Or=4,Ir=8,Sr=16,gr=1,mr=2,br=4,Yr=8,Lr=16,Mr=1,Pr=2,On="[",In="[!",kr="[?",Sn="]",Qe={},N=Symbol("uninitialized"),gn="http://www.w3.org/1999/xhtml",xr="http://www.w3.org/2000/svg",Br="http://www.w3.org/1998/Math/MathML";let O=null;function Ye(e){O=e}function Vr(e,t=!1,n){O={p:O,i:!1,c:null,e:null,s:e,x:null,r:C,l:He&&!t?{s:null,u:null,$:[]}:null}}function Hr(e){var t=O,n=t.e;if(n!==null){t.e=null;for(var r of n)Jt(r)}return t.i=!0,O=t.p,{}}function Oe(){return!He||O!==null&&O.l===null}let X=[];function St(){var e=X;X=[],hn(e)}function vt(e){if(X.length===0&&!we){var t=X;queueMicrotask(()=>{t===X&&St()})}X.push(e)}function mn(){for(;X.length>0;)St()}function bn(){console.warn("https://svelte.dev/e/derived_inert")}function et(e){console.warn("https://svelte.dev/e/hydration_mismatch")}function Ur(){console.warn("https://svelte.dev/e/select_multiple_invalid_value")}function jr(){console.warn("https://svelte.dev/e/svelte_boundary_reset_noop")}let ne=!1;function Kr(e){ne=e}let w;function de(e){if(e===null)throw et(),Qe;return w=e}function Gr(){return de(z(w))}function qr(e){if(ne){if(z(w)!==null)throw et(),Qe;w=e}}function Wr(e=1){if(ne){for(var t=e,n=w;t--;)n=z(n);w=n}}function zr(e=!0){for(var t=0,n=w;;){if(n.nodeType===Nt){var r=n.data;if(r===Sn){if(t===0)return n;t-=1}else(r===On||r===In||r[0]==="["&&!isNaN(Number(r.slice(1))))&&(t+=1)}var s=z(n);e&&n.remove(),n=s}}function Xr(e){if(!e||e.nodeType!==Nt)throw et(),Qe;return e.data}function Te(e){if(typeof e!="object"||e===null||Q in e)return e;const t=Ft(e);if(t!==En&&t!==vn)return e;var n=new Map,r=on(e),s=j(0),i=te,o=a=>{if(te===i)return a();var f=h,u=te;W(null),At(i);var E=a();return W(f),At(u),E};return r&&n.set("length",j(e.length)),new Proxy(e,{defineProperty(a,f,u){(!("value"in u)||u.configurable===!1||u.enumerable===!1||u.writable===!1)&&Nn();var E=n.get(f);return E===void 0?o(()=>{var v=j(u.value);return n.set(f,v),v}):K(E,u.value,!0),!0},deleteProperty(a,f){var u=n.get(f);if(u===void 0){if(f in a){const E=o(()=>j(N));n.set(f,E),qe(s)}}else K(u,N),qe(s);return!0},get(a,f,u){var _;if(f===Q)return e;var E=n.get(f),v=f in a;if(E===void 0&&(!v||(_=De(a,f))!=null&&_.writable)&&(E=o(()=>{var d=Te(v?a[f]:N),T=j(d);return T}),n.set(f,E)),E!==void 0){var l=ae(E);return l===N?void 0:l}return Reflect.get(a,f,u)},getOwnPropertyDescriptor(a,f){var u=Reflect.getOwnPropertyDescriptor(a,f);if(u&&"value"in u){var E=n.get(f);E&&(u.value=ae(E))}else if(u===void 0){var v=n.get(f),l=v==null?void 0:v.v;if(v!==void 0&&l!==N)return{enumerable:!0,configurable:!0,value:l,writable:!0}}return u},has(a,f){var l;if(f===Q)return!0;var u=n.get(f),E=u!==void 0&&u.v!==N||Reflect.has(a,f);if(u!==void 0||C!==null&&(!E||(l=De(a,f))!=null&&l.writable)){u===void 0&&(u=o(()=>{var _=E?Te(a[f]):N,d=j(_);return d}),n.set(f,u));var v=ae(u);if(v===N)return!1}return E},set(a,f,u,E){var ct;var v=n.get(f),l=f in a;if(r&&f==="length")for(var _=u;_j(N)),n.set(_+"",d))}if(v===void 0)(!l||(ct=De(a,f))!=null&&ct.writable)&&(v=o(()=>j(void 0)),K(v,Te(u)),n.set(f,v));else{l=v.v!==N;var T=o(()=>Te(u));K(v,T)}var I=Reflect.getOwnPropertyDescriptor(a,f);if(I!=null&&I.set&&I.set.call(E,u),!l){if(r&&typeof f=="string"){var ot=n.get("length"),Ue=Number(f);Number.isInteger(Ue)&&Ue>=ot.v&&K(ot,Ue+1)}qe(s)}return!0},ownKeys(a){ae(s);var f=Reflect.ownKeys(a).filter(v=>{var l=n.get(v);return l===void 0||l.v!==N});for(var[u,E]of n)E.v!==N&&!(u in a)&&f.push(u);return f},setPrototypeOf(){wn()}})}function dt(e){try{if(e!==null&&typeof e=="object"&&Q in e)return e[Q]}catch{}return e}function $r(e,t){return Object.is(dt(e),dt(t))}var ht,Yn,gt,mt;function Zr(){if(ht===void 0){ht=window,Yn=/Firefox/.test(navigator.userAgent);var e=Element.prototype,t=Node.prototype,n=Text.prototype;gt=De(t,"firstChild").get,mt=De(t,"nextSibling").get,Et(e)&&(e[fn]=void 0,e[ln]=null,e[an]=void 0,e.__e=void 0),Et(n)&&(n[un]=void 0)}}function Le(e=""){return document.createTextNode(e)}function We(e){return gt.call(e)}function z(e){return mt.call(e)}function Jr(e,t){if(!ne)return We(e);var n=We(w);if(n===null)n=w.appendChild(Le());else if(t&&n.nodeType!==Ve){var r=Le();return n==null||n.before(r),de(r),r}return t&&tt(n),de(n),n}function Qr(e,t=!1){if(!ne){var n=We(e);return n instanceof Comment&&n.data===""?z(n):n}if(t){if((w==null?void 0:w.nodeType)!==Ve){var r=Le();return w==null||w.before(r),de(r),r}tt(w)}return w}function es(e,t=1,n=!1){let r=ne?w:e;for(var s;t--;)s=r,r=z(r);if(!ne)return r;if(n){if((r==null?void 0:r.nodeType)!==Ve){var i=Le();return r===null?s==null||s.after(i):r.before(i),de(i),i}tt(r)}return de(r),r}function ts(e){e.textContent=""}function ns(){return!1}function rs(e,t,n){return t==null||t===gn?n?document.createElement(e,{is:n}):document.createElement(e):n?document.createElementNS(t,e,{is:n}):document.createElementNS(t,e)}function tt(e){if(e.nodeValue.length<65536)return;let t=e.nextSibling;for(;t!==null&&t.nodeType===Ve;)t.remove(),e.nodeValue+=t.nodeValue,t=e.nextSibling}function Ln(e){var t=C;if(t===null)return h.f|=8388608,e;if((t.f&32768)===0&&(t.f&4)===0)throw e;Me(e,t)}function Me(e,t){if(!(t!==null&&(t.f&16384)!==0)){for(;t!==null;){if((t.f&128)!==0){if((t.f&32768)===0)throw e;try{t.b.error(e);return}catch(n){e=n}}t=t.parent}throw e}}const Mn=-7169;function A(e,t){e.f=e.f&Mn|t}function nt(e){(e.f&512)!==0||e.deps===null?A(e,1024):A(e,4096)}function bt(e){if(e!==null)for(const t of e)(t.f&2)===0||(t.f&65536)===0||(t.f^=65536,bt(t.deps))}function Pn(e,t,n){(e.f&2048)!==0?t.add(e):(e.f&4096)!==0&&n.add(e),bt(e.deps),A(e,1024)}function kn(e,t,n,r){const s=Oe()?rt:Vn;var i=e.filter(_=>!_.settled),o=t.map(s);if(n.length===0&&i.length===0){r(o);return}var a=C,f=xn(),u=i.length===1?i[0].promise:i.length>1?Promise.all(i.map(_=>_.promise)):null;function E(_){if((a.f&16384)===0){f();try{r([...o,..._])}catch(d){Me(d,a)}Pe()}}var v=Yt();if(n.length===0){u.then(()=>E([])).finally(v);return}function l(){Promise.all(n.map(_=>Bn(_))).then(E).catch(_=>Me(_,a)).finally(v)}u?u.then(()=>{f(),l(),Pe()}):l()}function xn(){var e=C,t=h,n=O,r=p;return function(i=!0){he(e),W(t),Ye(n),i&&(e.f&16384)===0&&(r==null||r.activate(),r==null||r.apply())}}function Pe(e=!0){he(null),W(null),Ye(null),e&&(p==null||p.deactivate())}function Yt(){var e=C,t=e.b,n=p,r=!!(t!=null&&t.is_rendered());return t==null||t.update_pending_count(1,n),n.increment(r,e),()=>{t==null||t.update_pending_count(-1,n),n.decrement(r,e)}}function rt(e){var t=2050;return C!==null&&(C.f|=524288),{ctx:O,deps:null,effects:null,equals:Ot,f:t,fn:e,reactions:null,rv:0,v:N,wv:0,parent:C,ac:null}}const Re=Symbol("obsolete");function Bn(e,t,n){let r=C;r===null&&Tn();var s=void 0,i=ft(N),o=!h,a=new Set;return Qn(()=>{var _,d;var f=C,u=yt();s=u.promise;try{Promise.resolve(e()).then(u.resolve,T=>{T!==Be&&u.reject(T)}).finally(Pe)}catch(T){u.reject(T),Pe()}var E=p;if(o){if((f.f&32768)!==0)var v=Yt();if((_=r.b)!=null&&_.is_rendered())(d=E.async_deriveds.get(f))==null||d.reject(Re);else for(const T of a.values())T.reject(Re);a.add(u),E.async_deriveds.set(f,u)}const l=(T,I=void 0)=>{v==null||v(),a.delete(u),I!==Re&&(E.activate(),I?(i.f|=8388608,Ze(i,I)):((i.f&8388608)!==0&&(i.f^=8388608),Ze(i,T)),E.deactivate())};u.promise.then(l,T=>l(null,T||"unknown"))}),Jn(()=>{for(const f of a)f.reject(Re)}),new Promise(f=>{function u(E){function v(){E===s?f(i):u(s)}E.then(v,v)}u(s)})}function ss(e){const t=rt(e);return jt(t),t}function Vn(e){const t=rt(e);return t.equals=It,t}function Hn(e){var t=e.effects;if(t!==null){e.effects=null;for(var n=0;nthis.schedule(r)){var r=c(this,k).get(t);if(r){c(this,k).delete(t);for(var s of r.d)A(s,2048),n(s);for(s of r.m)A(s,4096),n(s)}c(this,ve).add(t)}capture(t,n,r=!1){t.v!==N&&!this.previous.has(t)&&this.previous.set(t,t.v),(t.f&8388608)===0&&(this.current.set(t,[n,r]),y==null||y.set(t,n)),this.is_fork||(t.v=n)}activate(){p=this}deactivate(){p=null,y=null}flush(){try{Ge=!0,p=this,D(this,R,Ce).call(this)}finally{pt=0,ze=null,fe=null,ge=null,Ge=!1,p=null,y=null,ee.clear()}}discard(){var t;for(const n of c(this,ce))n(this);c(this,ce).clear();for(const n of this.async_deriveds.values())n.reject(Re);D(this,R,Ae).call(this),(t=c(this,Ee))==null||t.resolve()}register_created_effect(t){c(this,ye).push(t)}increment(t,n){if(m(this,_e,c(this,_e)+1),t){let r=c(this,H).get(n)??0;c(this,H).set(n,r+1)}}decrement(t,n){if(m(this,_e,c(this,_e)-1),t){let r=c(this,H).get(n)??0;r===1?c(this,H).delete(n):c(this,H).set(n,r-1)}c(this,J)||(m(this,J,!0),vt(()=>{m(this,J,!1),this.linked&&this.flush()}))}transfer_effects(t,n){for(const r of t)c(this,U).add(r);for(const r of n)c(this,M).add(r);t.clear(),n.clear()}oncommit(t){c(this,oe).add(t)}ondiscard(t){c(this,ce).add(t)}settled(){return(c(this,Ee)??m(this,Ee,yt())).promise}static ensure(){if(p===null){const t=p=new xe;!Ge&&!we&&vt(()=>{c(t,ue)||t.flush()})}return p}apply(){{y=null;return}}schedule(t){var s;if(ze=t,(s=t.b)!=null&&s.is_pending&&(t.f&16777228)!==0&&(t.f&32768)===0){t.b.defer_effect(t);return}for(var n=t;n.parent!==null;){n=n.parent;var r=n.f;if(fe!==null&&n===C&&(h===null||(h.f&2)===0))return;if((r&96)!==0){if((r&1024)===0)return;n.f^=1024}}c(this,S).push(n)}};ue=new WeakMap,G=new WeakMap,Z=new WeakMap,oe=new WeakMap,ce=new WeakMap,_e=new WeakMap,H=new WeakMap,Ee=new WeakMap,S=new WeakMap,ye=new WeakMap,U=new WeakMap,M=new WeakMap,k=new WeakMap,ve=new WeakMap,J=new WeakMap,R=new WeakSet,Xe=function(){if(this.is_fork)return!0;for(const r of c(this,H).keys()){for(var t=r,n=!1;t.parent!==null;){if(c(this,k).has(t)){n=!0;break}t=t.parent}if(!n)return!0}return!1},Ce=function(){var f,u,E,v;m(this,ue,!0),pt++>1e3&&(D(this,R,Ae).call(this),qn());for(const l of c(this,U))c(this,M).delete(l),A(l,2048),this.schedule(l);for(const l of c(this,M))A(l,4096),this.schedule(l);const t=c(this,S);m(this,S,[]),this.apply();var n=fe=[],r=[],s=ge=[];for(const l of t)try{D(this,R,$e).call(this,l,n,r)}catch(_){throw Vt(l),D(this,R,Xe).call(this)||this.discard(),_}if(p=null,s.length>0){var i=xe.ensure();for(const l of s)i.schedule(l)}if(fe=null,ge=null,D(this,R,Xe).call(this)){D(this,R,le).call(this,r),D(this,R,le).call(this,n);for(const[l,_]of c(this,k))Bt(l,_);s.length>0&&D(f=p,R,Ce).call(f);return}const o=D(this,R,Pt).call(this);if(o){D(this,R,le).call(this,r),D(this,R,le).call(this,n),D(u=o,R,kt).call(u,this);return}c(this,U).clear(),c(this,M).clear();for(const l of c(this,oe))l(this);c(this,oe).clear(),Ne=this,Tt(r),Tt(n),Ne=null,(E=c(this,Ee))==null||E.resolve();var a=p;if(c(this,_e)===0&&(c(this,S).length===0||a!==null)&&D(this,R,Ae).call(this),c(this,S).length>0)if(a!==null){const l=a;c(l,S).push(...c(this,S).filter(_=>!c(l,S).includes(_)))}else a=this;a!==null&&D(v=a,R,Ce).call(v)},$e=function(t,n,r){t.f^=1024;for(var s=t.first;s!==null;){var i=s.f,o=(i&96)!==0,a=o&&(i&1024)!==0,f=a||(i&8192)!==0||c(this,k).has(s);if(!f&&s.fn!==null){o?s.f^=1024:(i&4)!==0?n.push(s):Ie(s)&&((i&16)!==0&&c(this,M).add(s),pe(s));var u=s.first;if(u!==null){s=u;continue}}for(;s!==null;){var E=s.next;if(E!==null){s=E;break}s=s.parent}}},Pt=function(){for(var t=c(this,G);t!==null;){if(!t.is_fork){for(const[n,[,r]]of this.current)if(t.current.has(n)&&!r)return t}t=c(t,G)}return null},kt=function(t){var r;for(const[s,i]of t.current)!this.previous.has(s)&&t.previous.has(s)&&this.previous.set(s,t.previous.get(s)),this.current.set(s,i);for(const[s,i]of t.async_deriveds){const o=this.async_deriveds.get(s);o&&i.promise.then(o.resolve).catch(o.reject)}t.async_deriveds.clear(),this.transfer_effects(c(t,U),c(t,M));const n=s=>{var i=s.reactions;if(i!==null)for(const f of i){var o=f.f;if((o&2)!==0)n(f);else{var a=f;o&4194320&&!this.async_deriveds.has(a)&&(c(this,M).delete(a),A(a,2048),this.schedule(a))}}};for(const s of this.current.keys())n(s);this.oncommit(()=>t.discard()),D(r=t,R,Ae).call(r),p=this,D(this,R,Ce).call(this)},le=function(t){for(var n=0;n!l.current.get(_)[1]);if(!(!c(l,ue)||s.length===0)){var i=s.filter(_=>!this.current.has(_));if(i.length===0)t&&l.discard();else if(n.length>0){if(t)for(const _ of c(this,ve))l.unskip_effect(_,d=>{var T;(d.f&4194320)!==0?l.schedule(d):D(T=l,R,le).call(T,[d])});l.activate();var o=new Set,a=new Map;for(var f of n)xt(f,i,o,a);a=new Map;var u=[...l.current].filter(([_,d])=>{const T=this.current.get(_);return T?T[0]!==d[0]||T[1]!==d[1]:!0}).map(([_])=>_);if(u.length>0)for(const _ of c(this,ye))(_.f&155648)===0&&it(_,u,a)&&((_.f&4194320)!==0?(A(_,2048),l.schedule(_)):c(l,U).add(_));if(c(l,S).length>0&&!c(l,J)){l.apply();for(var E of c(l,S))D(v=l,R,$e).call(v,E,[],[]);m(l,S,[])}l.deactivate()}}}},Ae=function(){if(this.linked){var t=c(this,G),n=c(this,Z);t===null?Ke=n:m(t,Z,n),n===null?ie=t:m(n,G,t),this.linked=!1}};let re=xe;function Gn(e){var t=we;we=!0;try{for(var n;;){if(mn(),p===null)return n;p.flush()}}finally{we=t}}function qn(){try{Dn()}catch(e){Me(e,ze)}}let L=null;function Tt(e){var t=e.length;if(t!==0){for(var n=0;n0)){ee.clear();for(const s of L){if((s.f&24576)!==0)continue;const i=[s];let o=s.parent;for(;o!==null;)L.has(o)&&(L.delete(o),i.push(o)),o=o.parent;for(let a=i.length-1;a>=0;a--){const f=i[a];(f.f&24576)===0&&pe(f)}}L.clear()}}L=null}}function xt(e,t,n,r){if(!n.has(e)&&(n.add(e),e.reactions!==null))for(const s of e.reactions){const i=s.f;(i&2)!==0?xt(s,t,n,r):(i&4194320)!==0&&(i&2048)===0&&it(s,t,r)&&(A(s,2048),lt(s))}}function it(e,t,n){const r=n.get(e);if(r!==void 0)return r;if(e.deps!==null)for(const s of e.deps){if(be.call(t,s))return!0;if((s.f&2)!==0&&it(s,t,n))return n.set(s,!0),!0}return n.set(e,!1),!1}function lt(e){p.schedule(e)}function Bt(e,t){if(!((e.f&32)!==0&&(e.f&1024)!==0)){(e.f&2048)!==0?t.d.push(e):(e.f&4096)!==0&&t.m.push(e),A(e,1024);for(var n=e.first;n!==null;)Bt(n,t),n=n.next}}function Vt(e){A(e,1024);for(var t=e.first;t!==null;)Vt(t),t=t.next}let ke=new Set;const ee=new Map;let Ht=!1;function ft(e,t){var n={f:0,v:e,reactions:null,equals:Ot,rv:0,wv:0};return n}function j(e,t){const n=ft(e);return jt(n),n}function is(e,t=!1,n=!0){var s;const r=ft(e);return t||(r.equals=It),He&&n&&O!==null&&O.l!==null&&((s=O.l).s??(s.s=[])).push(r),r}function K(e,t,n=!1){h!==null&&(!P||(h.f&131072)!==0)&&Oe()&&(h.f&4325394)!==0&&(x===null||!x.has(e))&&Fn();let r=n?Te(t):t;return Ze(e,r,ge)}function Ze(e,t,n=null){if(!e.equals(t)){ee.set(e,q?t:e.v);var r=re.ensure();if(r.capture(e,t),(e.f&2)!==0){const s=e;(e.f&2048)!==0&&st(s),y===null&&nt(s)}e.wv=Gt(),Ut(e,2048,n),Oe()&&C!==null&&(C.f&1024)!==0&&(C.f&96)===0&&(Y===null?Xn([e]):Y.push(e)),!r.is_fork&&ke.size>0&&!Ht&&Wn()}return t}function Wn(){Ht=!1;for(const e of ke){(e.f&1024)!==0&&A(e,4096);let t;try{t=Ie(e)}catch{t=!0}t&&pe(e)}ke.clear()}function ls(e,t=1){var n=ae(e),r=t===1?n++:n--;return K(e,n),r}function qe(e){K(e,e.v+1)}function Ut(e,t,n){var r=e.reactions;if(r!==null)for(var s=Oe(),i=r.length,o=0;o{Promise.resolve().then(()=>{var t;if(!e.defaultPrevented)for(const n of e.target.elements)(t=n[Se])==null||t.call(n)})},{capture:!0}))}function at(e){var t=h,n=C;W(null),he(null);try{return e()}finally{W(t),he(n)}}function fs(e,t,n,r=n){e.addEventListener(t,()=>at(n));const s=e[Se];s?e[Se]=()=>{s(),r(!0)}:e[Se]=()=>r(!0),zn()}let me=!1,q=!1;function Ct(e){q=e}let h=null,P=!1;function W(e){h=e}let C=null;function he(e){C=e}let x=null;function jt(e){h!==null&&(x??(x=new Set)).add(e)}let g=null,b=0,Y=null;function Xn(e){Y=e}let Kt=1,$=0,te=$;function At(e){te=e}function Gt(){return++Kt}function Ie(e){var t=e.f;if((t&2048)!==0)return!0;if(t&2&&(e.f&=-65537),(t&4096)!==0){for(var n=e.deps,r=n.length,s=0;se.wv)return!0}(t&512)!==0&&y===null&&A(e,1024)}return!1}function qt(e,t,n=!0){var r=e.reactions;if(r!==null&&!(x!==null&&x.has(e)))for(var s=0;s{e.ac.abort(Be)}),e.ac=null);try{e.f|=2097152;var E=e.fn,v=E();e.f|=32768;var l=e.deps,_=p==null?void 0:p.is_fork;if(g!==null){var d;if(_||Fe(e,b),l!==null&&b>0)for(l.length=b+g.length,d=0;dnew Promise(r=>{n.outro?nr(t,()=>{se(t),r(void 0)}):(se(t),r(void 0))})}function ds(e){return B(4,e)}function Qn(e){return B(4718592,e)}function hs(e,t=0){return B(8|t,e)}function ps(e,t=[],n=[],r=[]){kn(r,t,n,s=>{B(8,()=>{e(...s.map(ae))})})}function Ts(e,t=0){var n=B(16|t,e);return n}function Rs(e){return B(524320,e)}function Qt(e){var t=e.teardown;if(t!==null){const n=q,r=h;Ct(!0),W(null);try{t.call(null)}finally{Ct(n),W(r)}}}function ut(e,t=!1){var n=e.first;for(e.first=e.last=null;n!==null;){const s=n.ac;s!==null&&at(()=>{s.abort(Be)});var r=n.next;(n.f&64)!==0?n.parent=null:se(n,t),n=r}}function er(e){for(var t=e.first;t!==null;){var n=t.next;(t.f&32)===0&&se(t),t=n}}function se(e,t=!0){var n=!1;(t||(e.f&262144)!==0)&&e.nodes!==null&&e.nodes.end!==null&&(tr(e.nodes.start,e.nodes.end),n=!0),e.f|=33554432,ut(e,t&&!n),Fe(e,0);var r=e.nodes&&e.nodes.t;if(r!==null)for(const i of r)i.stop();Qt(e),e.f^=33554432,e.f|=16384;var s=e.parent;s!==null&&s.first!==null&&en(e),e.next=e.prev=e.teardown=e.ctx=e.deps=e.fn=e.nodes=e.ac=e.b=null}function tr(e,t){for(;e!==null;){var n=e===t?null:z(e);e.remove(),e=n}}function en(e){var t=e.parent,n=e.prev,r=e.next;n!==null&&(n.next=r),r!==null&&(r.prev=n),t!==null&&(t.first===e&&(t.first=r),t.last===e&&(t.last=n))}function nr(e,t,n=!0){var r=[];tn(e,r,!0);var s=()=>{n&&se(e),t&&t()},i=r.length;if(i>0){var o=()=>--i||s();for(var a of r)a.out(o)}else s()}function tn(e,t,n){if((e.f&8192)===0){e.f^=8192;var r=e.nodes&&e.nodes.t;if(r!==null)for(const a of r)(a.is_global||n)&&t.push(a);for(var s=e.first;s!==null;){var i=s.next;if((s.f&64)===0){var o=(s.f&65536)!==0||(s.f&32)!==0&&(e.f&16)!==0;tn(s,t,o?n:!1)}s=i}}}function Cs(e){nn(e,!0)}function nn(e,t){if((e.f&8192)!==0){e.f^=8192,(e.f&1024)===0&&(A(e,2048),re.ensure().schedule(e));for(var n=e.first;n!==null;){var r=n.next,s=(n.f&65536)!==0||(n.f&32)!==0;nn(n,s?t:!1),n=r}var i=e.nodes&&e.nodes.t;if(i!==null)for(const o of i)(o.is_global||t)&&o.in()}}function As(e,t){if(e.nodes)for(var n=e.nodes.start,r=e.nodes.end;n!==null;){var s=n===r?null:z(n);t.append(n),n=s}}export{kr as $,tt as A,dn as B,os as C,pn as D,or as E,_s as F,O as G,He as H,K as I,ae as J,Gn as K,Er as L,Tr as M,is as N,Es as O,as as P,j as Q,ar as R,ss as S,Mr as T,Zt as U,hs as V,qe as W,vt as X,ft as Y,ir as Z,In as _,Rs as a,$r as a$,Pn as a0,he as a1,W as a2,Ye as a3,re as a4,Ln as a5,h as a6,Ze as a7,Wr as a8,zr as a9,Vn as aA,De as aB,Dr as aC,br as aD,gr as aE,Te as aF,Yr as aG,mr as aH,Lr as aI,Oe as aJ,Cr as aK,on as aL,yr as aM,Fr as aN,Sr as aO,_r as aP,Or as aQ,lr as aR,sr as aS,Ir as aT,tr as aU,xr as aV,Br as aW,fn as aX,an as aY,fs as aZ,Ur as a_,Me as aa,cr as ab,Nr as ac,jr as ad,Jn as ae,at as af,Zr as ag,Nt as ah,On as ai,z as aj,Qe as ak,Kr as al,Ar as am,ts as an,vs as ao,pr as ap,Sn as aq,et as ar,un as as,Xr as at,ds as au,ur as av,Q as aw,q as ax,fr as ay,rt as az,Ts as b,Se as b0,zn as b1,ln as b2,gn as b3,Ft as b4,hr as b5,vr as b6,_n as b7,hn as b8,Rr as b9,cs as ba,wr as bb,ht as bc,ls as bd,us as be,Le as c,se as d,p as e,w as f,Qr as g,ne as h,Vr as i,es as j,Hr as k,Jr as l,As as m,qr as n,rs as o,nr as p,We as q,Cs as r,ns as s,ps as t,Yn as u,Pr as v,C as w,Gr as x,Ve as y,de as z}; diff --git a/keyext.web/src/main/resources/static/_app/immutable/chunks/CoTS-PA8.js b/keyext.web/src/main/resources/static/_app/immutable/chunks/CoTS-PA8.js new file mode 100644 index 00000000000..ac19ba3a3e8 --- /dev/null +++ b/keyext.web/src/main/resources/static/_app/immutable/chunks/CoTS-PA8.js @@ -0,0 +1 @@ +import{o as g,q as f,u as w,T as E,v as y,w as h,c as v,h as d,f as s,R as N,x,y as A,z as M,A as L}from"./B8xKMZX0.js";var m;const c=((m=globalThis==null?void 0:globalThis.window)==null?void 0:m.trustedTypes)&&globalThis.window.trustedTypes.createPolicy("svelte-trusted-html",{createHTML:e=>e});function R(e){return(c==null?void 0:c.createHTML(e))??e}function p(e){var t=g("template");return t.innerHTML=R(e.replaceAll("","")),t.content}function n(e,t){var r=h;r.nodes===null&&(r.nodes={start:e,end:t,a:null,t:null})}function C(e,t){var r=(t&E)!==0,l=(t&y)!==0,a,u=!e.startsWith("");return()=>{if(d)return n(s,null),s;a===void 0&&(a=p(u?e:""+e),r||(a=f(a)));var o=l||w?document.importNode(a,!0):a.cloneNode(!0);if(r){var _=f(o),i=o.lastChild;n(_,i)}else n(o,o);return o}}function b(e,t,r="svg"){var l=!e.startsWith(""),a=`<${r}>${l?e:""+e}`,u;return()=>{if(d)return n(s,null),s;if(!u){var o=p(a),_=f(o);u=f(_)}var i=u.cloneNode(!0);return n(i,i),i}}function I(e,t){return b(e,t,"svg")}function D(e=""){if(!d){var t=v(e+"");return n(t,t),t}var r=s;return r.nodeType!==A?(r.before(r=v()),M(r)):L(r),n(r,r),r}function H(){if(d)return n(s,null),s;var e=document.createDocumentFragment(),t=document.createComment(""),r=v();return e.append(t,r),n(t,r),e}function S(e,t){if(d){var r=h;((r.f&N)===0||r.nodes.end===null)&&(r.nodes.end=s),x();return}e!==null&&e.before(t)}const O="5";var T;typeof window<"u"&&((T=window.__svelte??(window.__svelte={})).v??(T.v=new Set)).add(O);export{S as a,n as b,H as c,I as d,C as f,D as t}; diff --git a/keyext.web/src/main/resources/static/_app/immutable/chunks/CwrZi-qA.js b/keyext.web/src/main/resources/static/_app/immutable/chunks/CwrZi-qA.js new file mode 100644 index 00000000000..403eb252c17 --- /dev/null +++ b/keyext.web/src/main/resources/static/_app/immutable/chunks/CwrZi-qA.js @@ -0,0 +1 @@ +var tt=e=>{throw TypeError(e)};var qt=(e,t,n)=>t.has(e)||tt("Cannot "+n);var y=(e,t,n)=>(qt(e,t,"read from private field"),n?n.call(e):t.get(e)),U=(e,t,n)=>t.has(e)?tt("Cannot add the same private member more than once"):t instanceof WeakSet?t.add(e):t.set(e,n);import{P as we,be as Dt,Q as T,J as I,I as P}from"./B8xKMZX0.js";import{w as Ve,o as nt}from"./DOHFA51K.js";const Vt="1781184716198";var ut;const A=((ut=globalThis.__sveltekit_iz9ql3)==null?void 0:ut.base)??"";var dt;const zt=((dt=globalThis.__sveltekit_iz9ql3)==null?void 0:dt.assets)??A??"";new URL("sveltekit-internal://");function Bt(e,t){return e==="/"||t==="ignore"?e:t==="never"?e.endsWith("/")?e.slice(0,-1):e:t==="always"&&!e.endsWith("/")?e+"/":e}function Kt(e){return e.split("%25").map(decodeURI).join("%25")}function Mt(e){for(const t in e)e[t]=decodeURIComponent(e[t]);return e}function Pe({href:e}){return e.split("#")[0]}const Ft=/^(\[)?(\.\.\.)?(\w+)(?:=(\w+))?(\])?$/,Gt=/^\/\((?:[^)]+)\)$/;function Ht(e){const t=[];return{pattern:e==="/"||Gt.test(e)?/^\/$/:new RegExp(`^${Wt(e).map(a=>{const r=/^\[\.\.\.(\w+)(?:=(\w+))?\]$/.exec(a);if(r)return t.push({name:r[1],matcher:r[2],optional:!1,rest:!0,chained:!0}),"(?:/([^]*))?";const i=/^\[\[(\w+)(?:=(\w+))?\]\]$/.exec(a);if(i)return t.push({name:i[1],matcher:i[2],optional:!0,rest:!1,chained:!0}),"(?:/([^/]+))?";if(!a)return;const o=a.split(/\[(.+?)\](?!\])/);return"/"+o.map((l,c)=>{if(c%2){if(l.startsWith("x+"))return Oe(String.fromCharCode(parseInt(l.slice(2),16)));if(l.startsWith("u+"))return Oe(String.fromCharCode(...l.slice(2).split("-").map(m=>parseInt(m,16))));const f=Ft.exec(l),[,h,w,d,u]=f;return t.push({name:d,matcher:u,optional:!!h,rest:!!w,chained:w?c===1&&o[0]==="":!1}),w?"([^]*?)":h?"([^/]*)?":"([^/]+?)"}return Oe(l)}).join("")}).join("")}/?$`),params:t}}function Jt(e){return e!==""&&!/^\([^)]+\)$/.test(e)}function Wt(e){return e.slice(1).split("/").filter(Jt)}function Yt(e,t,n){const a={},r=e.slice(1),i=r.filter(s=>s!==void 0);let o=0;for(let s=0;sf).join("/"),o=0),c===void 0)if(l.rest)c="";else continue;if(!l.matcher||n[l.matcher](c)){a[l.name]=c;const f=t[s+1],h=r[s+1];f&&!f.rest&&f.optional&&h&&l.chained&&(o=0),!f&&!h&&Object.keys(a).length===i.length&&(o=0);continue}if(l.optional&&l.chained){o++;continue}return}if(!o)return a}function Oe(e){return e.normalize().replace(/[[\]]/g,"\\$&").replace(/%/g,"%25").replace(/\//g,"%2[Ff]").replace(/\?/g,"%3[Ff]").replace(/#/g,"%23").replace(/[.*+?^${}()|\\]/g,"\\$&")}class ze{constructor(t,n){this.status=t,typeof n=="string"?this.body={message:n}:n?this.body=n:this.body={message:`Error: ${t}`}}toString(){return JSON.stringify(this.body)}}class Be{constructor(t,n){try{new Headers({location:n})}catch{throw new Error(`Invalid redirect location ${JSON.stringify(n)}: this string contains characters that cannot be used in HTTP headers`)}this.status=t,this.location=n}}class Ke extends Error{constructor(t,n,a){super(a),this.status=t,this.text=n}}function j(){}function Xt(...e){let t=5381;for(const n of e)if(typeof n=="string"){let a=n.length;for(;a;)t=t*33^n.charCodeAt(--a)}else if(ArrayBuffer.isView(n)){const a=new Uint8Array(n.buffer,n.byteOffset,n.byteLength);let r=a.length;for(;r;)t=t*33^a[--r]}else throw new TypeError("value must be a string or TypedArray");return(t>>>0).toString(36)}new TextEncoder;function Qt(e){const t=atob(e),n=new Uint8Array(t.length);for(let a=0;a((e instanceof Request?e.method:(t==null?void 0:t.method)||"GET")!=="GET"&&X.delete(Me(e)),Zt(e,t));const X=new Map;function en(e,t){const n=Me(e,t),a=document.querySelector(n);if(a!=null&&a.textContent){a.remove();let{body:r,...i}=JSON.parse(a.textContent);const o=a.getAttribute("data-ttl");return o&&X.set(n,{body:r,init:i,ttl:1e3*Number(o)}),a.getAttribute("data-b64")!==null&&(r=Qt(r)),Promise.resolve(new Response(r,i))}return window.fetch(e,t)}function tn(e,t,n){if(X.size>0){const a=Me(e,n),r=X.get(a);if(r){if(performance.now(){const{pattern:h,params:w}=Ht(s),d={id:s,exec:u=>{const m=h.exec(u);if(m)return Yt(m,w,a)},errors:[1,...f||[]].map(u=>e[u]),layouts:[0,...c||[]].map(o),leaf:i(l)};return d.errors.length=d.layouts.length=Math.max(d.errors.length,d.layouts.length),d});function i(s){const l=s<0;return l&&(s=~s),[l,e[s]]}function o(s){return s===void 0?s:[r.has(s),e[s]]}}function mt(e,t=JSON.parse){try{return t(sessionStorage[e])}catch{}}function rt(e,t,n=JSON.stringify){const a=n(t);try{sessionStorage[e]=a}catch{}}const _t="sveltekit:snapshot",wt="sveltekit:scroll",vt="sveltekit:states",rn="sveltekit:pageurl",F="sveltekit:history",Z="sveltekit:navigation",V={tap:1,hover:2,viewport:3,eager:4,off:-1,false:-1},yt=new Set(["load","prerender","csr","ssr","trailingSlash","config"]);[...yt];const an=new Set([...yt]);[...an];function on(e){return e.filter(t=>t!=null)}function me(e,t){return e+"/"+t}function Fe(e){return e instanceof ze||e instanceof Ke?e.status:500}function sn(e){return e instanceof Ke?e.text:"Internal Error"}const ln=new Set(["icon","shortcut icon","apple-touch-icon"]);let W=null;const q=mt(wt)??{},ee=mt(_t)??{},N={url:ct({}),page:ct({}),navigating:Ve(null),updated:An()};function Ge(e){q[e]=z()}function cn(e,t){let n=e+1;for(;q[n];)delete q[n],n+=1;for(n=t+1;ee[n];)delete ee[n],n+=1}function te(e,t=!1){return t?location.replace(e.href):location.href=e.href,new Promise(j)}async function bt(){if("serviceWorker"in navigator){const e=await navigator.serviceWorker.getRegistration(A||"/");e&&await e.update()}}let He,je,ve,O,Ne,S;const ye=[],be=[];let v=null;function ke(){var e;(e=v==null?void 0:v.fork)==null||e.then(t=>t==null?void 0:t.discard()),v=null,M={element:void 0,href:void 0}}const _e=new Map,kt=new Set,fn=new Set,Q=new Set;let _={branch:[],error:null,url:null},St=!1,Se=!1,at=!0,ne=!1,Y=!1,Et=!1,Je=!1,Rt,k,x,C;const Ee=new Set,ot=new Map,st=new Map;async function On(e,t,n){var i,o,s,l;globalThis.__sveltekit_iz9ql3&&(globalThis.__sveltekit_iz9ql3.query,globalThis.__sveltekit_iz9ql3.prerender),document.URL!==location.href&&(location.href=location.href),S=e,await((o=(i=e.hooks).init)==null?void 0:o.call(i)),He=nn(e),O=document.documentElement,Ne=t,je=e.nodes[0],ve=e.nodes[1],je(),ve(),k=(s=history.state)==null?void 0:s[F],x=(l=history.state)==null?void 0:l[Z],k||(k=x=Date.now(),history.replaceState({...history.state,[F]:k,[Z]:x},""));const a=q[k];function r(){a&&(history.scrollRestoration="manual",scrollTo(a.x,a.y))}n?(r(),await En(Ne,n)):(await G({type:"enter",url:Ot(S.hash?Ln(new URL(location.href)):location.href),replace_state:!0}),r()),Sn()}function un(){ye.length=0,Je=!1}function xt(e){be.some(t=>t==null?void 0:t.snapshot)&&(ee[e]=be.map(t=>{var n;return(n=t==null?void 0:t.snapshot)==null?void 0:n.capture()}))}function Lt(e){var t;(t=ee[e])==null||t.forEach((n,a)=>{var r,i;(i=(r=be[a])==null?void 0:r.snapshot)==null||i.restore(n)})}function it(){Ge(k),rt(wt,q),xt(x),rt(_t,ee)}async function dn(e,t,n,a){let r,i;t.invalidateAll&&ke(),await G({type:"goto",url:Ot(e),keepfocus:t.keepFocus,noscroll:t.noScroll,replace_state:t.replaceState,state:t.state,redirect_count:n,nav_token:a,accept:()=>{if(t.invalidateAll){Je=!0,r=new Set;for(const[o,s]of ot)for(const l of s.keys())r.add(me(o,l));i=new Set;for(const[o,s]of st)for(const l of s.keys())i.add(me(o,l))}t.invalidate&&t.invalidate.forEach(kn)}}),t.invalidateAll&&we().then(we).then(()=>{for(const[o,s]of ot)for(const[l,{resource:c}]of s)r!=null&&r.has(me(o,l))&&c.refresh();for(const[o,s]of st)for(const[l,{resource:c}]of s)i!=null&&i.has(me(o,l))&&c.reconnect()})}async function hn(e){if(e.id!==(v==null?void 0:v.id)){ke();const t={};Ee.add(t),v={id:e.id,token:t,promise:Ut({...e,preload:t}).then(n=>(Ee.delete(t),n.type==="loaded"&&n.state.error&&ke(),n)),fork:null}}return v.promise}async function $e(e){var n;const t=(n=await Ae(e,!1))==null?void 0:n.route;t&&await Promise.all([...t.layouts,t.leaf].filter(Boolean).map(a=>a[1]()))}async function At(e,t,n){var r;const a={params:_.params,route:{id:((r=_.route)==null?void 0:r.id)??null},url:new URL(location.href)};if(_={...e.state,nav:a},Nt(e.props.page),Rt=new S.root({target:t,props:{...e.props,stores:N,components:be},hydrate:n,sync:!1,transformError:void 0}),await Promise.resolve(),Lt(x),n){const i={from:null,to:{...a,scroll:q[k]??z()},willUnload:!1,type:"enter",complete:Promise.resolve()};Q.forEach(o=>o(i))}Se=!0}async function Re({url:e,params:t,branch:n,errors:a,status:r,error:i,route:o,form:s}){let l="never";if(A&&(e.pathname===A||e.pathname===A+"/"))l="always";else for(const u of n)(u==null?void 0:u.slash)!==void 0&&(l=u.slash);e.pathname=Bt(e.pathname,l),e.search=e.search;const c={type:"loaded",state:{url:e,params:t,branch:n,error:i,route:o},props:{constructors:on(n).map(u=>u.node.component),page:Ze(L)}};s!==void 0&&(c.props.form=s);let f={},h=!L,w=0;for(let u=0;us(new URL(o))))return!0;return!1}function Ye(e,t){return(e==null?void 0:e.type)==="data"?e:(e==null?void 0:e.type)==="skip"?t??null:null}function mn(e,t){if(!e)return new Set(t.searchParams.keys());const n=new Set([...e.searchParams.keys(),...t.searchParams.keys()]);for(const a of n){const r=e.searchParams.getAll(a),i=t.searchParams.getAll(a);r.every(o=>i.includes(o))&&i.every(o=>r.includes(o))&&n.delete(a)}return n}function _n({error:e,url:t,route:n,params:a}){return{type:"loaded",state:{error:e,url:t,route:n,params:a,branch:[]},props:{page:Ze(L),constructors:[]}}}async function Ut({id:e,invalidating:t,url:n,params:a,route:r,preload:i}){if((v==null?void 0:v.id)===e)return Ee.delete(v.token),v.promise;const{errors:o,layouts:s,leaf:l}=r,c=[...s,l];o.forEach(p=>p==null?void 0:p().catch(j)),c.forEach(p=>p==null?void 0:p[1]().catch(j));const f=_.url?e!==xe(_.url):!1,h=_.route?r.id!==_.route.id:!1,w=mn(_.url,n);let d=!1;const u=c.map(async(p,g)=>{var $;if(!p)return;const b=_.branch[g];return p[1]===(b==null?void 0:b.loader)&&!gn(d,h,f,w,($=b.universal)==null?void 0:$.uses,a)?b:(d=!0,We({loader:p[1],url:n,params:a,route:r,parent:async()=>{var ge;const D={};for(let B=0;BPromise.resolve({}),server_data_node:Ye(i)}),s={node:await ve(),loader:ve,universal:null,server:null,data:null};return Re({url:n,params:r,branch:[o,s],status:e,error:t,errors:[],route:null})}catch(o){if(o instanceof Be)return dn(new URL(o.location,location.href),{},0);throw o}}async function vn(e){const t=e.href;if(_e.has(t))return _e.get(t);let n;try{const a=(async()=>{let r=await S.hooks.reroute({url:new URL(e),fetch:async(i,o)=>pn(i,o,e).promise})??e;if(typeof r=="string"){const i=new URL(e);S.hash?i.hash=r:i.pathname=r,r=i}return r})();_e.set(t,a),n=await a}catch{_e.delete(t);return}return n}async function Ae(e,t){if(e&&!Ue(e,A,S.hash)){const n=await vn(e);if(!n)return;const a=yn(n);for(const r of He){const i=r.exec(a);if(i)return{id:xe(e),invalidating:t,route:r,params:Mt(i),url:e}}}}function yn(e){return Kt(S.hash?e.hash.replace(/^#/,"").replace(/[?#].+/,""):e.pathname.slice(A.length))||"/"}function xe(e){return(S.hash?e.hash.replace(/^#/,""):e.pathname)+e.search}function Tt({url:e,type:t,intent:n,delta:a,event:r,scroll:i}){let o=!1;const s=Qe(_,n,e,t,i??null);a!==void 0&&(s.navigation.delta=a),r!==void 0&&(s.navigation.event=r);const l={...s.navigation,cancel:()=>{o=!0,s.reject(new Error("navigation cancelled"))}};return ne||kt.forEach(c=>c(l)),o?null:s}async function G({type:e,url:t,popped:n,keepfocus:a,noscroll:r,replace_state:i,state:o={},redirect_count:s=0,nav_token:l={},accept:c=j,block:f=j,event:h}){var B;const w=C;C=l;const d=await Ae(t,!1),u=e==="enter"?Qe(_,d,t,e):Tt({url:t,type:e,delta:n==null?void 0:n.delta,intent:d,scroll:n==null?void 0:n.scroll,event:h});if(!u){f(),C===l&&(C=w);return}const m=k,p=x;c(),ne=!0,Se&&u.navigation.type!=="enter"&&N.navigating.set(ae.current=u.navigation);let g=d&&await Ut(d);if(!g){if(Ue(t,A,S.hash))return await te(t,i);g=await It(t,{id:null},await re(new Ke(404,"Not Found",`Not found: ${t.pathname}`),{url:t,params:{},route:{id:null}}),404,i)}if(t=(d==null?void 0:d.url)||t,C!==l)return u.reject(new Error("navigation aborted")),!1;if(g.type==="redirect"){if(s<20){await G({type:e,url:new URL(g.location,t),popped:n,keepfocus:a,noscroll:r,replace_state:i,state:o,redirect_count:s+1,nav_token:l}),u.fulfil(void 0);return}g=await Xe({status:500,error:await re(new Error("Redirect loop"),{url:t,params:{},route:{id:null}}),url:t,route:{id:null}})}else g.props.page.status>=400&&await N.updated.check()&&(await bt(),await te(t,i));if(un(),Ge(m),xt(p),g.props.page.url.pathname!==t.pathname&&(t.pathname=g.props.page.url.pathname),o=n?n.state:o,!n){const E=i?0:1,H={[F]:k+=E,[Z]:x+=E,[vt]:o};(i?history.replaceState:history.pushState).call(history,H,"",t),i||cn(k,x)}const b=d&&(v==null?void 0:v.id)===d.id?v.fork:null;v!=null&&v.fork&&!b?ke():(v=null,M={element:void 0,href:void 0}),g.props.page.state=o;let R;if(Se){const E=(await Promise.all(Array.from(fn,J=>J(u.navigation)))).filter(J=>typeof J=="function");if(E.length>0){let J=function(){E.forEach(Ie=>{Q.delete(Ie)})};E.push(J),E.forEach(Ie=>{Q.add(Ie)})}const H=u.navigation.to;_={...g.state,nav:{params:H.params,route:H.route,url:H.url}},g.props.page&&(g.props.page.url=t);const Te=b&&await b;Te?R=Te.commit():(W=null,Rt.$set(g.props),W&&Object.assign(g.props.page,W),Nt(g.props.page),R=(B=Dt)==null?void 0:B()),Et=!0}else await At(g,Ne,!1);const{activeElement:$}=document;if(await R,await we(),await we(),C!==l)return u.reject(new Error("navigation aborted")),!1;g.props.page&&W&&Object.assign(g.props.page,W);let D=null;if(at){const E=n?n.scroll:r?z():null;E?scrollTo(E.x,E.y):(D=t.hash&&document.getElementById(Pt(t)))?D.scrollIntoView():scrollTo(0,0)}const ge=document.activeElement!==$&&document.activeElement!==document.body;!a&&!ge&&xn(t,!D),at=!0,ne=!1,e==="popstate"&&Lt(x),u.fulfil(void 0),u.navigation.to&&(u.navigation.to.scroll=z()),Q.forEach(E=>E(u.navigation)),N.navigating.set(ae.current=null)}async function It(e,t,n,a,r){return e.origin===et&&e.pathname===location.pathname&&!St?await Xe({status:a,error:n,url:e,route:t}):await te(e,r)}let M={element:void 0,href:void 0};function bn(){let e,t;O.addEventListener("mousemove",o=>{const s=o.target;clearTimeout(e),e=setTimeout(()=>{r(s,V.hover)},20)});function n(o){o.defaultPrevented||r(o.composedPath()[0],V.tap)}O.addEventListener("mousedown",n),O.addEventListener("touchstart",n,{passive:!0});const a=new IntersectionObserver(o=>{for(const s of o)s.isIntersecting&&($e(new URL(s.target.href)),a.unobserve(s.target))},{threshold:0});async function r(o,s){const l=Ct(o,O),c=l===M.element&&(l==null?void 0:l.href)===M.href&&s>=t;if(!l||c)return;const{url:f,external:h,download:w}=De(l,A,S.hash);if(h||w)return;const d=Le(l),u=f&&xe(_.url)===xe(f);if(!(d.reload||u))if(s<=d.preload_data){M={element:l,href:l.href},t=V.tap;const m=await Ae(f,!1);if(!m)return;hn(m)}else s<=d.preload_code&&(M={element:l,href:l.href},t=s,$e(f))}function i(){a.disconnect();for(const o of O.querySelectorAll("a")){const{url:s,external:l,download:c}=De(o,A,S.hash);if(l||c)continue;const f=Le(o);f.reload||(f.preload_code===V.viewport&&a.observe(o),f.preload_code===V.eager&&$e(s))}}Q.add(i),i()}function re(e,t){if(e instanceof ze)return e.body;const n=Fe(e),a=sn(e);return S.hooks.handleError({error:e,event:t,status:n,message:a})??{message:a}}function kn(e){if(typeof e=="function")ye.push(e);else{const{href:t}=new URL(e,location.href);ye.push(n=>n.href===t)}}function Sn(){var t;history.scrollRestoration="manual",addEventListener("beforeunload",n=>{let a=!1;if(it(),!ne){const r=Qe(_,void 0,null,"leave"),i={...r.navigation,cancel:()=>{a=!0,r.reject(new Error("navigation cancelled"))}};kt.forEach(o=>o(i))}a?(n.preventDefault(),n.returnValue=""):history.scrollRestoration="auto"}),addEventListener("visibilitychange",()=>{document.visibilityState==="hidden"&&it()}),(t=navigator.connection)!=null&&t.saveData||bn(),O.addEventListener("click",async n=>{if(n.button||n.which!==1||n.metaKey||n.ctrlKey||n.shiftKey||n.altKey||n.defaultPrevented)return;const a=Ct(n.composedPath()[0],O);if(!a)return;const{url:r,external:i,target:o,download:s}=De(a,A,S.hash);if(!r)return;if(o==="_parent"||o==="_top"){if(window.parent!==window)return}else if(o&&o!=="_self")return;const l=Le(a);if(!(a instanceof SVGAElement)&&r.protocol!==location.protocol&&!(r.protocol==="https:"||r.protocol==="http:")||s)return;const[f,h]=(S.hash?r.hash.replace(/^#/,""):r.href).split("#"),w=f===Pe(location);if(i||l.reload&&(!w||!h)){Tt({url:r,type:"link",event:n})?ne=!0:n.preventDefault();return}if(h!==void 0&&w){const[,d]=_.url.href.split("#");if(d===h){if(n.preventDefault(),h===""||h==="top"&&a.ownerDocument.getElementById("top")===null)scrollTo({top:0});else{const u=a.ownerDocument.getElementById(decodeURIComponent(h));u&&(u.scrollIntoView(),u.focus())}return}if(Y=!0,Ge(k),e(r),!l.replace_state)return;Y=!1}n.preventDefault(),await new Promise(d=>{requestAnimationFrame(()=>{setTimeout(d,0)}),setTimeout(d,100)}),await G({type:"link",url:r,keepfocus:l.keepfocus,noscroll:l.noscroll,replace_state:l.replace_state??r.href===location.href,event:n})}),O.addEventListener("submit",n=>{if(n.defaultPrevented)return;const a=HTMLFormElement.prototype.cloneNode.call(n.target),r=n.submitter;if(((r==null?void 0:r.formTarget)||a.target)==="_blank"||((r==null?void 0:r.formMethod)||a.method)!=="get")return;const s=new URL((r==null?void 0:r.hasAttribute("formaction"))&&(r==null?void 0:r.formAction)||a.action);if(Ue(s,A,!1))return;const l=n.target,c=Le(l);if(c.reload)return;n.preventDefault(),n.stopPropagation();const f=new FormData(l,r);s.search=new URLSearchParams(f).toString(),G({type:"form",url:s,keepfocus:c.keepfocus,noscroll:c.noscroll,replace_state:c.replace_state??s.href===location.href,event:n})}),addEventListener("popstate",async n=>{var a;if(!qe){if((a=n.state)!=null&&a[F]){const r=n.state[F];if(C={},r===k)return;const i=q[r],o=n.state[vt]??{},s=new URL(n.state[rn]??location.href),l=n.state[Z],c=_.url?Pe(location)===Pe(_.url):!1;if(l===x&&(Et||c)){o!==L.state&&(L.state=o),e(s),q[k]=z(),i&&scrollTo(i.x,i.y),k=r;return}const h=r-k;await G({type:"popstate",url:s,popped:{state:o,scroll:i,delta:h},accept:()=>{k=r,x=l},block:()=>{history.go(-h)},nav_token:C,event:n})}else if(!Y){const r=new URL(location.href);e(r),S.hash&&location.reload()}}}),addEventListener("hashchange",()=>{Y&&(Y=!1,history.replaceState({...history.state,[F]:++k,[Z]:x},"",location.href))});for(const n of document.querySelectorAll("link"))ln.has(n.rel)&&(n.href=n.href);addEventListener("pageshow",n=>{n.persisted&&N.navigating.set(ae.current=null)});function e(n){_.url=L.url=n,N.page.set(Ze(L)),N.page.notify()}}async function En(e,{status:t=200,error:n,node_ids:a,params:r,route:i,server_route:o,data:s,form:l}){St=!0;const c=new URL(location.href);let f;({params:r={},route:i={id:null}}=await Ae(c,!1)||{}),f=He.find(({id:d})=>d===i.id);let h,w=!0;try{const d=a.map(async(m,p)=>{const g=s[p];return g!=null&&g.uses&&(g.uses=Rn(g.uses)),We({loader:S.nodes[m],url:c,params:r,route:i,parent:async()=>{const b={};for(let R=0;R{const s=history.state;qe=!0,location.replace(new URL(`#${a}`,location.href)),history.replaceState(s,"",e),t&&scrollTo(i,o),qe=!1})}else{const i=document.body,o=i.getAttribute("tabindex");i.tabIndex=-1,i.focus({preventScroll:!0,focusVisible:!1}),o!==null?i.setAttribute("tabindex",o):i.removeAttribute("tabindex")}const r=getSelection();if(r&&r.type!=="None"){const i=[];for(let o=0;o{if(r.rangeCount===i.length){for(let o=0;o{i=h,o=w});return s.catch(j),{navigation:{from:{params:e.params,route:{id:((c=e.route)==null?void 0:c.id)??null},url:e.url,scroll:z()},to:n&&{params:(t==null?void 0:t.params)??null,route:{id:((f=t==null?void 0:t.route)==null?void 0:f.id)??null},url:n,scroll:r},willUnload:!t,type:a,complete:s},fulfil:i,reject:o}}function Ze(e){return{data:e.data,error:e.error,form:e.form,params:e.params,route:e.route,state:e.state,status:e.status,url:e.url}}function Ln(e){const t=new URL(e);return t.hash=decodeURIComponent(e.hash),t}function Pt(e){let t;if(S.hash){const[,,n]=e.hash.split("#",3);t=n??""}else t=e.hash.slice(1);return decodeURIComponent(t)}const et=location.origin;function Ot(e){if(e instanceof URL)return e;let t=document.baseURI;if(!t){const n=document.getElementsByTagName("base");t=n.length?n[0].href:document.URL}return new URL(e,t)}function z(){return{x:pageXOffset,y:pageYOffset}}function K(e,t){return e.getAttribute(`data-sveltekit-${t}`)}const lt={...V,"":V.hover};function $t(e){let t=e.assignedSlot??e.parentNode;return(t==null?void 0:t.nodeType)===11&&(t=t.host),t}function Ct(e,t){for(;e&&e!==t;){if(e.nodeName.toUpperCase()==="A"&&e.hasAttribute("href"))return e;e=$t(e)}}function De(e,t,n){let a;try{if(a=new URL(e instanceof SVGAElement?e.href.baseVal:e.href,document.baseURI),n&&a.hash.match(/^#[^/]/)){const s=location.hash.split("#")[1]||"/";a.hash=`#${s}${a.hash}`}}catch{}const r=e instanceof SVGAElement?e.target.baseVal:e.target,i=!a||!!r||Ue(a,t,n)||(e.getAttribute("rel")||"").split(/\s+/).includes("external"),o=(a==null?void 0:a.origin)===et&&e.hasAttribute("download");return{url:a,external:i,target:r,download:o}}function Le(e){let t=null,n=null,a=null,r=null,i=null,o=null,s=e;for(;s&&s!==document.documentElement;)a===null&&(a=K(s,"preload-code")),r===null&&(r=K(s,"preload-data")),t===null&&(t=K(s,"keepfocus")),n===null&&(n=K(s,"noscroll")),i===null&&(i=K(s,"reload")),o===null&&(o=K(s,"replacestate")),s=$t(s);function l(c){switch(c){case"":case"true":return!0;case"off":case"false":return!1;default:return}}return{preload_code:lt[a??"off"],preload_data:lt[r??"off"],keepfocus:l(t),noscroll:l(n),reload:l(i),replace_state:l(o)}}function ct(e){const t=Ve(e);let n=!0;function a(){n=!0,t.update(o=>o)}function r(o){n=!1,t.set(o)}function i(o){let s;return t.subscribe(l=>{(s===void 0||n&&l!==s)&&o(s=l)})}return{notify:a,set:r,subscribe:i}}const jt={v:j};function An(){const{set:e,subscribe:t}=Ve(!1);let n;async function a(){clearTimeout(n);try{const r=await fetch(`${zt}/_app/version.json`,{headers:{pragma:"no-cache","cache-control":"no-cache"}});if(!r.ok)return!1;const o=(await r.json()).version!==Vt;return o&&(e(!0),jt.v(),clearTimeout(n)),o}catch{return!1}}return{subscribe:t,check:a}}function Ue(e,t,n){return e.origin!==et||!e.pathname.startsWith(t)?!0:n?e.pathname!==location.pathname:!1}function $n(e){}let L,ae,Ce;const Un=nt.toString().includes("$$")||/function \w+\(\) \{\}/.test(nt.toString()),ft="a:";var oe,se,ie,le,ce,fe,ue,de,ht,he,pt,pe,gt;Un?(L={data:{},form:null,error:null,params:{},route:{id:null},state:{},status:-1,url:new URL(ft)},ae={current:null},Ce={current:!1}):(L=new(ht=class{constructor(){U(this,oe,T({}));U(this,se,T(null));U(this,ie,T(null));U(this,le,T({}));U(this,ce,T({id:null}));U(this,fe,T({}));U(this,ue,T(-1));U(this,de,T(new URL(ft)))}get data(){return I(y(this,oe))}set data(t){P(y(this,oe),t)}get form(){return I(y(this,se))}set form(t){P(y(this,se),t)}get error(){return I(y(this,ie))}set error(t){P(y(this,ie),t)}get params(){return I(y(this,le))}set params(t){P(y(this,le),t)}get route(){return I(y(this,ce))}set route(t){P(y(this,ce),t)}get state(){return I(y(this,fe))}set state(t){P(y(this,fe),t)}get status(){return I(y(this,ue))}set status(t){P(y(this,ue),t)}get url(){return I(y(this,de))}set url(t){P(y(this,de),t)}},oe=new WeakMap,se=new WeakMap,ie=new WeakMap,le=new WeakMap,ce=new WeakMap,fe=new WeakMap,ue=new WeakMap,de=new WeakMap,ht),ae=new(pt=class{constructor(){U(this,he,T(null))}get current(){return I(y(this,he))}set current(t){P(y(this,he),t)}},he=new WeakMap,pt),Ce=new(gt=class{constructor(){U(this,pe,T(!1))}get current(){return I(y(this,pe))}set current(t){P(y(this,pe),t)}},pe=new WeakMap,gt),jt.v=()=>Ce.current=!0);function Nt(e){Object.assign(L,e)}export{On as a,$n as l,L as p,N as s}; diff --git a/keyext.web/src/main/resources/static/_app/immutable/chunks/CzhP5laV.js b/keyext.web/src/main/resources/static/_app/immutable/chunks/CzhP5laV.js new file mode 100644 index 00000000000..f0d298091ad --- /dev/null +++ b/keyext.web/src/main/resources/static/_app/immutable/chunks/CzhP5laV.js @@ -0,0 +1,2 @@ +var Ce=Object.defineProperty;var _e=t=>{throw TypeError(t)};var Me=(t,e,r)=>e in t?Ce(t,e,{enumerable:!0,configurable:!0,writable:!0,value:r}):t[e]=r;var j=(t,e,r)=>Me(t,typeof e!="symbol"?e+"":e,r),re=(t,e,r)=>e.has(t)||_e("Cannot "+r);var s=(t,e,r)=>(re(t,e,"read from private field"),r?r.call(t):e.get(t)),c=(t,e,r)=>e.has(t)?_e("Cannot add the same private member more than once"):e instanceof WeakSet?e.add(t):e.set(t,r),n=(t,e,r,i)=>(re(t,e,"write to private field"),i?i.call(t,r):e.set(t,r),r),u=(t,e,r)=>(re(t,e,"access private method"),r);import{U as Le,J as Ee,V as He,C as Ie,W as pe,X as q,Y as we,f as C,h as M,w as x,Z as ge,b as Ye,x as xe,_ as Ve,$ as ve,a as O,c as Te,p as se,e as F,m as We,a0 as qe,a1 as Z,a2 as K,a3 as ye,a4 as Be,a5 as Pe,a6 as Se,G as ke,a7 as $e,d as ie,z as Q,a8 as je,a9 as ze,aa as z,E as Je,ab as Ue,ac as Xe,ad as Ge,ae as Ze,af as Ke,M as Qe,ag as ae,q as et,ah as Re,ai as tt,aj as rt,ak as ne,al as J,am as st,an as it,ao as at,ap as nt,i as ft,aq as ht,ar as ot,k as lt,as as be}from"./B8xKMZX0.js";import{b as ct}from"./CoTS-PA8.js";function dt(t){let e=0,r=we(0),i;return()=>{Le()&&(Ee(r),He(()=>(e===0&&(i=Ie(()=>t(()=>pe(r)))),e+=1,()=>{q(()=>{e-=1,e===0&&(i==null||i(),i=void 0,pe(r))})})))}}var ut=Je|Ue;function _t(t,e,r,i){new pt(t,e,r,i)}var E,B,T,H,v,S,p,w,k,I,N,V,P,$,R,ee,h,Ae,Ne,De,fe,X,G,he,oe;class pt{constructor(e,r,i,o){c(this,h);j(this,"parent");j(this,"is_pending",!1);j(this,"transform_error");c(this,E);c(this,B,M?C:null);c(this,T);c(this,H);c(this,v);c(this,S,null);c(this,p,null);c(this,w,null);c(this,k,null);c(this,I,0);c(this,N,0);c(this,V,!1);c(this,P,new Set);c(this,$,new Set);c(this,R,null);c(this,ee,dt(()=>(n(this,R,we(s(this,I))),()=>{n(this,R,null)})));var a;n(this,E,e),n(this,T,r),n(this,H,f=>{var g=x;g.b=this,g.f|=ge,i(f)}),this.parent=x.b,this.transform_error=o??((a=this.parent)==null?void 0:a.transform_error)??(f=>f),n(this,v,Ye(()=>{if(M){const f=s(this,B);xe();const g=f.data===Ve;if(f.data.startsWith(ve)){const d=JSON.parse(f.data.slice(ve.length));u(this,h,Ne).call(this,d)}else g?u(this,h,De).call(this):u(this,h,Ae).call(this)}else u(this,h,fe).call(this)},ut)),M&&n(this,E,C)}defer_effect(e){qe(e,s(this,P),s(this,$))}is_rendered(){return!this.is_pending&&(!this.parent||this.parent.is_rendered())}has_pending_snippet(){return!!s(this,T).pending}update_pending_count(e,r){u(this,h,he).call(this,e,r),n(this,I,s(this,I)+e),!(!s(this,R)||s(this,V))&&(n(this,V,!0),q(()=>{n(this,V,!1),s(this,R)&&$e(s(this,R),s(this,I))}))}get_effect_pending(){return s(this,ee).call(this),Ee(s(this,R))}error(e){var r;if(!s(this,T).onerror&&!s(this,T).failed)throw e;(r=F)!=null&&r.is_fork?(s(this,S)&&F.skip_effect(s(this,S)),s(this,p)&&F.skip_effect(s(this,p)),s(this,w)&&F.skip_effect(s(this,w)),F.oncommit(()=>{u(this,h,oe).call(this,e)})):u(this,h,oe).call(this,e)}}E=new WeakMap,B=new WeakMap,T=new WeakMap,H=new WeakMap,v=new WeakMap,S=new WeakMap,p=new WeakMap,w=new WeakMap,k=new WeakMap,I=new WeakMap,N=new WeakMap,V=new WeakMap,P=new WeakMap,$=new WeakMap,R=new WeakMap,ee=new WeakMap,h=new WeakSet,Ae=function(){try{n(this,S,O(()=>s(this,H).call(this,s(this,E))))}catch(e){this.error(e)}},Ne=function(e){const r=s(this,T).failed;r&&n(this,w,O(()=>{r(s(this,E),()=>e,()=>()=>{})}))},De=function(){const e=s(this,T).pending;e&&(this.is_pending=!0,n(this,p,O(()=>e(s(this,E)))),q(()=>{var r=n(this,k,document.createDocumentFragment()),i=Te();r.append(i),n(this,S,u(this,h,G).call(this,()=>O(()=>s(this,H).call(this,i)))),s(this,N)===0&&(s(this,E).before(r),n(this,k,null),se(s(this,p),()=>{n(this,p,null)}),u(this,h,X).call(this,F))}))},fe=function(){try{if(this.is_pending=this.has_pending_snippet(),n(this,N,0),n(this,I,0),n(this,S,O(()=>{s(this,H).call(this,s(this,E))})),s(this,N)>0){var e=n(this,k,document.createDocumentFragment());We(s(this,S),e);const r=s(this,T).pending;n(this,p,O(()=>r(s(this,E))))}else u(this,h,X).call(this,F)}catch(r){this.error(r)}},X=function(e){this.is_pending=!1,e.transfer_effects(s(this,P),s(this,$))},G=function(e){var r=x,i=Se,o=ke;Z(s(this,v)),K(s(this,v)),ye(s(this,v).ctx);try{return Be.ensure(),e()}catch(a){return Pe(a),null}finally{Z(r),K(i),ye(o)}},he=function(e,r){var i;if(!this.has_pending_snippet()){this.parent&&u(i=this.parent,h,he).call(i,e,r);return}n(this,N,s(this,N)+e),s(this,N)===0&&(u(this,h,X).call(this,r),s(this,p)&&se(s(this,p),()=>{n(this,p,null)}),s(this,k)&&(s(this,E).before(s(this,k)),n(this,k,null)))},oe=function(e){s(this,S)&&(ie(s(this,S)),n(this,S,null)),s(this,p)&&(ie(s(this,p)),n(this,p,null)),s(this,w)&&(ie(s(this,w)),n(this,w,null)),M&&(Q(s(this,B)),je(),Q(ze()));var r=s(this,T).onerror;let i=s(this,T).failed;var o=!1,a=!1;const f=()=>{if(o){Ge();return}o=!0,a&&Xe(),s(this,w)!==null&&se(s(this,w),()=>{n(this,w,null)}),u(this,h,G).call(this,()=>{u(this,h,fe).call(this)})},g=l=>{try{a=!0,r==null||r(l,f),a=!1}catch(d){z(d,s(this,v)&&s(this,v).parent)}i&&n(this,w,u(this,h,G).call(this,()=>{try{return O(()=>{var d=x;d.b=this,d.f|=ge,i(s(this,E),()=>l,()=>f)})}catch(d){return z(d,s(this,v).parent),null}}))};q(()=>{var l;try{l=this.transform_error(e)}catch(d){z(d,s(this,v)&&s(this,v).parent);return}l!==null&&typeof l=="object"&&typeof l.then=="function"?l.then(g,d=>z(d,s(this,v)&&s(this,v).parent)):g(l)})};const L=Symbol("events"),Oe=new Set,le=new Set;function gt(t,e,r,i={}){function o(a){if(i.capture||ce.call(e,a),!a.cancelBubble)return Ke(()=>r==null?void 0:r.call(this,a))}return t.startsWith("pointer")||t.startsWith("touch")||t==="wheel"?q(()=>{e.addEventListener(t,o,i)}):e.addEventListener(t,o,i),o}function Tt(t,e,r,i,o){var a={capture:i,passive:o},f=gt(t,e,r,a);(e===document.body||e===window||e===document||e instanceof HTMLMediaElement)&&Ze(()=>{e.removeEventListener(t,f,a)})}function St(t,e,r){(e[L]??(e[L]={}))[t]=r}function kt(t){for(var e=0;e{throw _});throw A}}finally{t[L]=e,delete t.currentTarget,K(Y),Z(W)}}}const vt=["touchstart","touchmove"];function yt(t){return vt.includes(t)}function Rt(t,e){var i;var r=e==null?"":typeof e=="object"?`${e}`:e;r!==(t[i=be]??(t[i]=t.nodeValue))&&(t[be]=r,t.nodeValue=`${r}`)}function bt(t,e){return Fe(t,e)}function At(t,e){ae(),e.intro=e.intro??!1;const r=e.target,i=M,o=C;try{for(var a=et(r);a&&(a.nodeType!==Re||a.data!==tt);)a=rt(a);if(!a)throw ne;J(!0),Q(a);const f=Fe(t,{...e,anchor:a});return J(!1),f}catch(f){if(f instanceof Error&&f.message.split(` +`).some(g=>g.startsWith("https://svelte.dev/e/")))throw f;return f!==ne&&console.warn("Failed to hydrate: ",f),e.recover===!1&&st(),ae(),it(r),J(!1),bt(t,e)}finally{J(i),Q(o)}}const U=new Map;function Fe(t,{target:e,anchor:r,props:i={},events:o,context:a,intro:f=!0,transformError:g}){ae();var l=void 0,d=at(()=>{var Y=r??e.appendChild(Te());_t(Y,{pending:()=>{}},y=>{ft({});var b=ke;if(a&&(b.c=a),o&&(i.$$events=o),M&&ct(y,null),l=t(y,i)||{},M&&(x.nodes.end=C,C===null||C.nodeType!==Re||C.data!==ht))throw ot(),ne;lt()},g);var W=new Set,A=y=>{for(var b=0;b{var D;for(var y of W)for(const _ of[e,document]){var b=U.get(_),m=b.get(y);--m==0?(_.removeEventListener(y,ce),b.delete(y),b.size===0&&U.delete(_)):b.set(y,m)}le.delete(A),Y!==r&&((D=Y.parentNode)==null||D.removeChild(Y))}});return de.set(l,d),l}let de=new WeakMap;function Nt(t,e){const r=de.get(t);return r?(de.delete(t),r(e)):Promise.resolve()}export{St as a,kt as d,Tt as e,At as h,bt as m,Rt as s,Nt as u}; diff --git a/keyext.web/src/main/resources/static/_app/immutable/chunks/DOHFA51K.js b/keyext.web/src/main/resources/static/_app/immutable/chunks/DOHFA51K.js new file mode 100644 index 00000000000..641ef56cfb7 --- /dev/null +++ b/keyext.web/src/main/resources/static/_app/immutable/chunks/DOHFA51K.js @@ -0,0 +1 @@ +import{B as c,C as a,D as d,F as m,G as r,H as g}from"./B8xKMZX0.js";function _(n){throw new Error("https://svelte.dev/e/lifecycle_outside_component")}function h(n,e,s){if(n==null)return e(void 0),c;const u=a(()=>n.subscribe(e,s));return u.unsubscribe?()=>u.unsubscribe():u}const i=[];function k(n,e=c){let s=null;const u=new Set;function f(o){if(d(n,o)&&(n=o,s)){const l=!i.length;for(const t of u)t[1](),i.push(t,n);if(l){for(let t=0;t{u.delete(t),u.size===0&&s&&(s(),s=null)}}return{set:f,update:b,subscribe:p}}function x(n){let e;return h(n,s=>e=s)(),e}function y(n){r===null&&_(),g&&r.l!==null?w(r).m.push(n):m(()=>{const e=a(n);if(typeof e=="function")return e})}function z(n){r===null&&_(),y(()=>()=>a(n))}function w(n){var e=n.l;return e.u??(e.u={a:[],b:[],m:[]})}export{z as a,x as g,y as o,h as s,k as w}; diff --git a/keyext.web/src/main/resources/static/_app/immutable/chunks/DcP_HY-I.js b/keyext.web/src/main/resources/static/_app/immutable/chunks/DcP_HY-I.js new file mode 100644 index 00000000000..58027b61d97 --- /dev/null +++ b/keyext.web/src/main/resources/static/_app/immutable/chunks/DcP_HY-I.js @@ -0,0 +1 @@ +import{b as p,E as t}from"./B8xKMZX0.js";import{B as c}from"./o-yfdNR1.js";function E(r,s,...a){var e=new c(r);p(()=>{const n=s()??null;e.ensure(n,n&&(o=>n(o,...a)))},t)}export{E as s}; diff --git a/keyext.web/src/main/resources/static/_app/immutable/chunks/o-yfdNR1.js b/keyext.web/src/main/resources/static/_app/immutable/chunks/o-yfdNR1.js new file mode 100644 index 00000000000..b237b772e9a --- /dev/null +++ b/keyext.web/src/main/resources/static/_app/immutable/chunks/o-yfdNR1.js @@ -0,0 +1 @@ +var D=Object.defineProperty;var g=i=>{throw TypeError(i)};var F=(i,e,s)=>e in i?D(i,e,{enumerable:!0,configurable:!0,writable:!0,value:s}):i[e]=s;var w=(i,e,s)=>F(i,typeof e!="symbol"?e+"":e,s),y=(i,e,s)=>e.has(i)||g("Cannot "+s);var t=(i,e,s)=>(y(i,e,"read from private field"),s?s.call(i):e.get(i)),l=(i,e,s)=>e.has(i)?g("Cannot add the same private member more than once"):e instanceof WeakSet?e.add(i):e.set(i,s),M=(i,e,s,a)=>(y(i,e,"write to private field"),a?a.call(i,s):e.set(i,s),s);import{r as x,d as b,p as C,c as A,a as B,e as S,m as j,s as q,h as z,f as E}from"./B8xKMZX0.js";var c,n,r,u,p,_,v;class I{constructor(e,s=!0){w(this,"anchor");l(this,c,new Map);l(this,n,new Map);l(this,r,new Map);l(this,u,new Set);l(this,p,!0);l(this,_,e=>{if(t(this,c).has(e)){var s=t(this,c).get(e),a=t(this,n).get(s);if(a)x(a),t(this,u).delete(s);else{var h=t(this,r).get(s);h&&(x(h.effect),t(this,n).set(s,h.effect),t(this,r).delete(s),h.fragment.lastChild.remove(),this.anchor.before(h.fragment),a=h.effect)}for(const[f,o]of t(this,c)){if(t(this,c).delete(f),f===e)break;const d=t(this,r).get(o);d&&(b(d.effect),t(this,r).delete(o))}for(const[f,o]of t(this,n)){if(f===s||t(this,u).has(f))continue;const d=()=>{if(Array.from(t(this,c).values()).includes(f)){var k=document.createDocumentFragment();j(o,k),k.append(A()),t(this,r).set(f,{effect:o,fragment:k})}else b(o);t(this,u).delete(f),t(this,n).delete(f)};t(this,p)||!a?(t(this,u).add(f),C(o,d,!1)):d()}}});l(this,v,e=>{t(this,c).delete(e);const s=Array.from(t(this,c).values());for(const[a,h]of t(this,r))s.includes(a)||(b(h.effect),t(this,r).delete(a))});this.anchor=e,M(this,p,s)}ensure(e,s){var a=S,h=q();if(s&&!t(this,n).has(e)&&!t(this,r).has(e))if(h){var f=document.createDocumentFragment(),o=A();f.append(o),t(this,r).set(e,{effect:B(()=>s(o)),fragment:f})}else t(this,n).set(e,B(()=>s(this.anchor)));if(t(this,c).set(a,e),h){for(const[d,m]of t(this,n))d===e?a.unskip_effect(m):a.skip_effect(m);for(const[d,m]of t(this,r))d===e?a.unskip_effect(m.effect):a.skip_effect(m.effect);a.oncommit(t(this,_)),a.ondiscard(t(this,v))}else z&&(this.anchor=E),t(this,_).call(this,a)}}c=new WeakMap,n=new WeakMap,r=new WeakMap,u=new WeakMap,p=new WeakMap,_=new WeakMap,v=new WeakMap;export{I as B}; diff --git a/keyext.web/src/main/resources/static/_app/immutable/chunks/rkAS4Fq4.js b/keyext.web/src/main/resources/static/_app/immutable/chunks/rkAS4Fq4.js new file mode 100644 index 00000000000..7637933904a --- /dev/null +++ b/keyext.web/src/main/resources/static/_app/immutable/chunks/rkAS4Fq4.js @@ -0,0 +1,683 @@ +var go=Object.defineProperty;var hn=t=>{throw TypeError(t)};var yo=(t,e,n)=>e in t?go(t,e,{enumerable:!0,configurable:!0,writable:!0,value:n}):t[e]=n;var Ee=(t,e,n)=>yo(t,typeof e!="symbol"?e+"":e,n),bo=(t,e,n)=>e.has(t)||hn("Cannot "+n);var Ge=(t,e,n)=>(bo(t,e,"read from private field"),n?n.call(t):e.get(t)),pt=(t,e,n)=>e.has(t)?hn("Cannot add the same private member more than once"):e instanceof WeakSet?e.add(t):e.set(t,n);import{b as Jt,a as p,f as T,t as yt,c as Se,d as Mn}from"./CoTS-PA8.js";import{o as ln,w as wo,g as pn,a as _o}from"./DOHFA51K.js";import{h as he,x as jt,aJ as ko,b as Dn,c as Xt,J as o,a7 as mn,e as Qe,a as nn,aK as So,s as xo,aA as To,aL as jn,ap as cn,aM as Eo,Y as gn,aN as Io,aO as Ao,N as Co,z as Tt,q as mt,at as Po,_ as Oo,a9 as yn,al as Qt,f as gt,ah as Fn,aq as Lo,aP as Be,aQ as qn,ay as No,r as Gn,p as zn,aR as Zt,X as Ft,aS as Ro,aT as Mo,an as Do,m as jo,d as Fo,aj as Un,t as B,w as qo,aU as Go,ar as zo,ak as Uo,o as Ho,aV as Yo,aW as Wo,aX as bn,aY as wn,aZ as Ut,au as Bo,a_ as Ko,a$ as Hn,ae as Yn,b0 as Vo,b1 as Jo,b2 as Xo,b3 as Qo,b4 as Zo,b5 as Wn,b6 as $o,b7 as er,P as Bn,C as Ht,V as dn,G as tr,O as nr,F as ke,b8 as _n,b9 as or,ba as rr,az as ar,bb as sr,Q as X,I as O,i as fe,k as ve,l as v,n as c,B as un,a8 as fn,g as ne,j as b,S as de,bc as Yt,aF as je,bd as ir}from"./B8xKMZX0.js";import{d as ge,a as z,s as W,e as ze}from"./CzhP5laV.js";import{i as H,p as De,b as nt,_ as lr,s as Kn,a as Vn,c as qt}from"./7wWjHvTU.js";import{s as Wt}from"./DcP_HY-I.js";import{B as cr}from"./o-yfdNR1.js";const dr=Symbol("NaN");function Jn(t,e,n){he&&jt();var r=new cr(t),a=!ko();Dn(()=>{var s=e();s!==s&&(s=dr),a&&s!==null&&typeof s=="object"&&(s={}),r.ensure(s,n)})}function Ke(t,e){return e}function ur(t,e,n){for(var r=[],a=e.length,s,i=e.length,h=0;h{if(s){if(s.pending.delete(k),s.done.add(k),s.pending.size===0){var m=t.outrogroups;on(t,cn(s.done)),m.delete(s),m.size===0&&(t.outrogroups=null)}}else i-=1},!1)}if(i===0){var d=r.length===0&&n!==null;if(d){var l=n,u=l.parentNode;Do(u),u.append(l),t.items.clear()}on(t,e,!d)}else s={pending:new Set(e),done:new Set},(t.outrogroups??(t.outrogroups=new Set)).add(s)}function on(t,e,n=!0){var r;if(t.pending.size>0){r=new Set;for(const i of t.pending.values())for(const h of i)r.add(t.items.get(h).e)}for(var a=0;a{var D=n();return jn(D)?D:D==null?[]:cn(D)}),m,_=new Map,g=!0;function P(D){(F.effect.f&No)===0&&(F.pending.delete(D),F.fallback=u,fr(F,m,i,e,r),u!==null&&(m.length===0?(u.f&Be)===0?Gn(u):(u.f^=Be,kt(u,null,i)):zn(u,()=>{u=null})))}function f(D){F.pending.delete(D)}var y=Dn(()=>{m=o(k);var D=m.length;let L=!1;if(he){var N=Po(i)===Oo;N!==(D===0)&&(i=yn(),Tt(i),Qt(!1),L=!0)}for(var G=new Set,U=Qe,V=xo(),Y=0;Ys(i)):(u=nn(()=>s(kn??(kn=Xt()))),u.f|=Be)),D>G.size&&So(),he&&D>0&&Tt(yn()),!g)if(_.set(U,G),V){for(const[S,w]of h)G.has(S)||U.skip_effect(w.e);U.oncommit(P),U.ondiscard(f)}else P(U);L&&Qt(!0),o(k)}),F={effect:y,items:h,pending:_,outrogroups:null,fallback:u};g=!1,he&&(i=gt)}function _t(t){for(;t!==null&&(t.f&Ro)===0;)t=t.next;return t}function fr(t,e,n,r,a){var x,R,C,S,w,E,q,j,oe;var s=(r&Mo)!==0,i=e.length,h=t.items,d=_t(t.effect.first),l,u=null,k,m=[],_=[],g,P,f,y;if(s)for(y=0;y0){var Y=(r&qn)!==0&&i===0?n:null;if(s){for(y=0;y{var K,re;if(k!==void 0)for(f of k)(re=(K=f.nodes)==null?void 0:K.a)==null||re.apply()})}function vr(t,e,n,r,a,s,i,h){var d=(i&Io)!==0?(i&Ao)===0?Co(n,!1,!1):gn(n):null,l=(i&Eo)!==0?gn(a):null;return{v:d,i:l,e:nn(()=>(s(e,d??n,l??a,h),()=>{t.delete(r)}))}}function kt(t,e,n){if(t.nodes)for(var r=t.nodes.start,a=t.nodes.end,s=e&&(e.f&Be)===0?e.nodes.start:n;r!==null;){var i=Un(r);if(s.before(r),r===a)return;r=i}}function Ze(t,e,n){e===null?t.effect.first=n:e.next=n,n===null?t.effect.last=e:n.prev=e}function hr(t,e,n=!1,r=!1,a=!1,s=!1){var i=t,h="";if(n){var d=t;he&&(i=Tt(mt(d)))}B(()=>{var l=qo;if(h===(h=e()??"")){he&&jt();return}if(n&&!he){l.nodes=null,d.innerHTML=h,h!==""&&Jt(mt(d),d.lastChild);return}if(l.nodes!==null&&(Go(l.nodes.start,l.nodes.end),l.nodes=null),h!==""){if(he){gt.data;for(var u=jt(),k=u;u!==null&&(u.nodeType!==Fn||u.data!=="");)k=u,u=Un(u);if(u===null)throw zo(),Uo;Jt(gt,k),i=Tt(u);return}var m=r?Yo:a?Wo:void 0,_=Ho(r?"svg":a?"math":"template",m);_.innerHTML=h;var g=r||a?_:_.content;if(Jt(mt(g),g.lastChild),r||a)for(;mt(g);)i.before(mt(g));else i.before(g)}})}const Sn=[...` +\r\f \v\uFEFF`];function pr(t,e,n){var r=t==null?"":""+t;if(e&&(r=r?r+" "+e:e),n){for(var a of Object.keys(n))if(n[a])r=r?r+" "+a:a;else if(r.length)for(var s=a.length,i=0;(i=r.indexOf(a,i))>=0;){var h=i+s;(i===0||Sn.includes(r[i-1]))&&(h===r.length||Sn.includes(r[h]))?r=(i===0?"":r.substring(0,i))+r.substring(h+1):i=h}}return r===""?null:r}function mr(t,e){return t==null?null:String(t)}function Ie(t,e,n,r,a,s){var i=t[bn];if(he||i!==n||i===void 0){var h=pr(n,r,s);(!he||h!==t.getAttribute("class"))&&(h==null?t.removeAttribute("class"):t.className=h),t[bn]=n}else if(s&&a!==s)for(var d in s){var l=!!s[d];(a==null||l!==!!a[d])&&t.classList.toggle(d,l)}return s}function et(t,e,n,r){var a=t[wn];if(he||a!==e){var s=mr(e);(!he||s!==t.getAttribute("style"))&&(s==null?t.removeAttribute("style"):t.style.cssText=s),t[wn]=e}return r}function Xn(t,e,n=!1){if(t.multiple){if(e==null)return;if(!jn(e))return Ko();for(var r of t.options)r.selected=e.includes(Et(r));return}for(r of t.options){var a=Et(r);if(Hn(a,e)){r.selected=!0;return}}(!n||e!==void 0)&&(t.selectedIndex=-1)}function gr(t){var e=new MutationObserver(()=>{Xn(t,t.__value)});e.observe(t,{childList:!0,subtree:!0,attributes:!0,attributeFilter:["value"]}),Yn(()=>{e.disconnect()})}function xn(t,e,n=e){var r=new WeakSet,a=!0;Ut(t,"change",s=>{var i=s?"[selected]":":checked",h;if(t.multiple)h=[].map.call(t.querySelectorAll(i),Et);else{var d=t.querySelector(i)??t.querySelector("option:not([disabled])");h=d&&Et(d)}n(h),t.__value=h,Qe!==null&&r.add(Qe)}),Bo(()=>{var s=e();if(t===document.activeElement){var i=Qe;if(r.has(i))return}if(Xn(t,s,a),a&&s===void 0){var h=t.querySelector(":checked");h!==null&&(s=Et(h),n(s))}t.__value=s,a=!1}),gr(t)}function Et(t){return"__value"in t?t.__value:t.value}const yr=Symbol("is custom element"),br=Symbol("is html"),wr=Wn?"link":"LINK",_r=Wn?"progress":"PROGRESS";function xe(t){if(he){var e=!1,n=()=>{if(!e){if(e=!0,t.hasAttribute("value")){var r=t.value;Fe(t,"value",null),t.value=r}if(t.hasAttribute("checked")){var a=t.checked;Fe(t,"checked",null),t.checked=a}}};t[Vo]=n,Ft(n),Jo()}}function kr(t,e){var n=Qn(t);n.value===(n.value=e??void 0)||t.value===e&&(e!==0||t.nodeName!==_r)||(t.value=e??"")}function Fe(t,e,n,r){var a=Qn(t);he&&(a[e]=t.getAttribute(e),e==="src"||e==="srcset"||e==="href"&&t.nodeName===wr)||a[e]!==(a[e]=n)&&(e==="loading"&&(t[$o]=n),n==null?t.removeAttribute(e):typeof n!="string"&&Sr(t).includes(e)?t[e]=n:t.setAttribute(e,n))}function Qn(t){var e;return t[e=Xo]??(t[e]={[yr]:t.nodeName.includes("-"),[br]:t.namespaceURI===Qo})}var Tn=new Map;function Sr(t){var e=t.getAttribute("is")||t.nodeName,n=Tn.get(e);if(n)return n;Tn.set(e,n=[]);for(var r,a=t,s=Element.prototype;s!==a;){r=er(a);for(var i in r)r[i].set&&i!=="innerHTML"&&i!=="textContent"&&i!=="innerText"&&n.push(i);a=Zo(a)}return n}function tt(t,e,n=e){var r=new WeakSet;Ut(t,"input",async a=>{var s=a?t.defaultValue:t.value;if(s=en(t)?tn(s):s,n(s),Qe!==null&&r.add(Qe),await Bn(),s!==(s=e())){var i=t.selectionStart,h=t.selectionEnd,d=t.value.length;if(t.value=s??"",h!==null){var l=t.value.length;i===h&&h===d&&l>d?(t.selectionStart=l,t.selectionEnd=l):(t.selectionStart=i,t.selectionEnd=Math.min(h,l))}}}),(he&&t.defaultValue!==t.value||Ht(e)==null&&t.value)&&(n(en(t)?tn(t.value):t.value),Qe!==null&&r.add(Qe)),dn(()=>{var a=e();if(t===document.activeElement){var s=Qe;if(r.has(s))return}en(t)&&a===tn(t.value)||t.type==="date"&&!a&&!t.value||a!==t.value&&(t.value=a??"")})}const $t=new Set;function St(t,e,n,r,a=r){var s=n.getAttribute("type")==="checkbox",i=t;let h=!1;if(e!==null)for(var d of e)i=i[d]??(i[d]=[]);i.push(n),Ut(n,"change",()=>{var l=n.__value;s&&(l=En(i,l,n.checked)),a(l)},()=>a(s?[]:null)),dn(()=>{var l=r();if(he&&n.defaultChecked!==n.checked){h=!0;return}s?(l=l||[],n.checked=l.includes(n.__value)):n.checked=Hn(n.__value,l)}),Yn(()=>{var l=i.indexOf(n);l!==-1&&i.splice(l,1)}),$t.has(i)||($t.add(i),Ft(()=>{i.sort((l,u)=>l.compareDocumentPosition(u)===4?-1:1),$t.delete(i)})),Ft(()=>{if(h){var l;if(s)l=En(i,l,n.checked);else{var u=i.find(k=>k.checked);l=u==null?void 0:u.__value}a(l)}})}function xr(t,e,n=e){Ut(t,"change",r=>{var a=r?t.defaultChecked:t.checked;n(a)}),(he&&t.defaultChecked!==t.checked||Ht(e)==null)&&n(t.checked),dn(()=>{var r=e();t.checked=!!r})}function En(t,e,n){for(var r=new Set,a=0;arr(e.s);if(t){let a=0,s={};const i=ar(()=>{let h=!1;const d=e.s;for(const l in d)d[l]!==s[l]&&(s[l]=d[l],h=!0);return h&&a++,a});r=()=>o(i)}n.b.length&&nr(()=>{In(e,r),_n(n.b)}),ke(()=>{const a=Ht(()=>n.m.map(or));return()=>{for(const s of a)typeof s=="function"&&s()}}),n.a.length&&ke(()=>{In(e,r),_n(n.a)})}function In(t,e){if(t.l.s)for(const n of t.l.s)o(n);e()}sr();var It;class Er{constructor(){pt(this,It,X("dark"))}get current(){return o(Ge(this,It))}set current(e){O(Ge(this,It),e,!0)}set(e){this.current=e,document.documentElement.dataset.theme=e,localStorage.setItem("theme",e)}toggle(){this.set(this.current==="dark"?"light":"dark")}init(){const e=localStorage.getItem("theme");e==="dark"||e==="light"?this.set(e):this.set(window.matchMedia("(prefers-color-scheme: light)").matches?"light":"dark")}}It=new WeakMap;const Dt=new Er;var Ir=T('');function Ar(t,e){fe(e,!1),ln(()=>Dt.init()),Tr();var n=Ir(),r=v(n,!0);c(n),B(()=>W(r,Dt.current==="dark"?"☀":"☾")),z("click",n,()=>Dt.toggle()),p(t,n),ve()}ge(["click"]);var Cr=T('
');function Pr(t,e){var n=Cr(),r=v(n);Wt(r,()=>e.children??un),c(n),p(t,n)}const Ae=typeof window<"u"&&"__TAURI_INTERNALS__"in window,Or=[{id:"app.preferences",label:"Preferences…",shortcut:"mod+,",menu:{menu:"file",group:4,order:10},run:t=>t.openPreferences()},{id:"app.quit",label:"Quit",shortcut:"mod+Q",menu:{menu:"file",group:5,order:10},visible:()=>Ae,run:t=>t.quit()},{id:"view.toggleTheme",label:"Toggle Theme",shortcut:"mod+T",menu:{menu:"view",group:1,order:10},run:()=>Dt.toggle()}],Lr=Object.freeze(Object.defineProperty({__proto__:null,actions:Or},Symbol.toStringTag,{value:"Module"}));var Nr=T(' Running…',1),Rr=T('');function Mr(t,e){fe(e,!0);let n=X(!1);async function r(){if(!e.ctx.appState.proof||o(n))return;O(n,!0);const d={method:null,nonLinArith:null,maxSteps:1e6,stopMode:null};try{await e.ctx.appState.client.proofAuto(e.ctx.appState.proof,d),e.ctx.appState.proofTreeChanged.notify()}catch(l){e.ctx.reportError(l.toString())}finally{O(n,!1)}}var a=Rr(),s=v(a);{var i=d=>{var l=Nr();fn(),p(d,l)},h=d=>{var l=yt("▶ Auto Proof");p(d,l)};H(s,d=>{o(n)?d(i):d(h,-1)})}c(a),B(()=>a.disabled=!e.ctx.appState.proof||o(n)),z("click",a,r),p(t,a),ve()}ge(["click"]);const Dr={id:"proof.auto",label:"Auto Proof",toolbar:{order:10,component:Mr},enabled:t=>t.appState.proof!==null,run:()=>{}},jr=Object.freeze(Object.defineProperty({__proto__:null,action:Dr},Symbol.toStringTag,{value:"Module"})),Fr='',qr='',Gr='',zr=[{id:"file.open",label:"Open…",shortcut:"mod+O",icon:Fr,menu:{menu:"file",group:1,order:10},toolbar:{order:20,label:"Open",sep:!0},run:t=>t.files.openPicker()},{id:"file.reopenLast",label:"Reopen Last File",shortcut:"mod+shift+O",icon:qr,menu:{menu:"file",group:1,order:20},toolbar:{order:30,label:"Reopen"},visible:()=>Ae,enabled:t=>t.files.recent.length>0,run:t=>t.files.reopenLast()},{id:"file.recent",label:"Recent Files",menu:{menu:"file",group:2,order:10},visible:t=>Ae&&t.files.recent.length>0,items:t=>t.files.recent.map(e=>({id:e,label:e.split(/[\\/]/).pop()??e,title:e,run:()=>t.files.open(e)})),run:()=>{}},{id:"file.save",label:"Save…",shortcut:"mod+S",icon:Gr,menu:{menu:"file",group:3,order:10},toolbar:{order:40,label:"Save"},visible:t=>t.appState.capabilities.hasSave,enabled:t=>t.appState.proof!==null,run:t=>t.files.saveProof()}],Ur=Object.freeze(Object.defineProperty({__proto__:null,actions:zr},Symbol.toStringTag,{value:"Module"})),Hr={id:"help.about",label:"About KeY-τ…",menu:{menu:"help",group:1,order:10},run:t=>t.openAbout()},Yr=Object.freeze(Object.defineProperty({__proto__:null,action:Hr},Symbol.toStringTag,{value:"Module"})),Wr=[{id:"file",label:"File"},{id:"view",label:"View"},{id:"help",label:"Help"}],Br=Object.assign({"./defs/app-actions.ts":Lr,"./defs/auto-proof.ts":jr,"./defs/file-actions.ts":Ur,"./defs/help-actions.ts":Yr}),vn=Object.values(Br).flatMap(t=>(t.actions??[]).concat(t.action?[t.action]:[])).filter(t=>t!=null);function Kr(t){return vn.filter(e=>{var n;return((n=e.menu)==null?void 0:n.menu)===t}).sort((e,n)=>e.menu.group-n.menu.group||e.menu.order-n.menu.order)}const Vr=vn.filter(t=>t.toolbar).sort((t,e)=>t.toolbar.order-e.toolbar.order),Jr=vn.filter(t=>t.shortcut),rn=typeof navigator<"u"&&(navigator.platform.startsWith("Mac")||navigator.userAgent.includes("Mac OS"));function Xr(t,e){let n=!1,r=!1,a=!1,s=!1,i="";for(const l of e.split("+"))switch(l.toLowerCase()){case"mod":n=!0;break;case"shift":r=!0;break;case"alt":a=!0;break;case"ctrl":s=!0;break;default:i=l.toLowerCase()}const h=rn?t.metaKey:t.ctrlKey,d=rn?t.ctrlKey===s:t.ctrlKey===(s||n);return t.key.toLowerCase()===i&&h===n&&t.shiftKey===r&&t.altKey===a&&d}function Gt(t){const e=t.split("+");return rn?e.map(n=>{switch(n.toLowerCase()){case"mod":return"⌘";case"shift":return"⇧";case"alt":return"⌥";case"ctrl":return"⌃";default:return n.toUpperCase()}}).join(""):e.map(r=>{switch(r.toLowerCase()){case"mod":return"Ctrl";case"shift":return"Shift";case"alt":return"Alt";case"ctrl":return"Ctrl";default:return r.toUpperCase()}}).join("+")}var Qr=T('
'),Zr=T('
  • '),$r=T('
    • '),ea=T('
    • ',1),ta=T(' '),na=T('
    • '),oa=T(" ",1),ra=T('
      '),aa=T('
      '),sa=T('
      ',1);function ia(t,e){fe(e,!0);let n=X(null);function r(m){O(n,o(n)===m?null:m,!0)}function a(m){O(n,null),m()}var s=sa(),i=ne(s);{var h=m=>{var _=Qr();z("click",_,()=>O(n,null)),p(m,_)};H(i,m=>{o(n)!==null&&m(h)})}var d=b(i,2),l=v(d);me(l,21,()=>Wr,m=>m.id,(m,_)=>{const g=de(()=>Kr(o(_).id));var P=aa(),f=v(P);let y;var F=v(f,!0);c(f);var D=b(f,2);{var L=N=>{Pr(N,{children:(G,U)=>{var V=ra();me(V,23,()=>o(g),Y=>Y.id,(Y,x,R)=>{var C=Se(),S=ne(C);{var w=q=>{var j=oa(),oe=ne(j);{var K=Z=>{var $=Zr();p(Z,$)};H(oe,Z=>{o(R)>0&&o(x).menu.group!==o(g)[o(R)-1].menu.group&&Z(K)})}var re=b(oe,2);{var ue=Z=>{var $=ea(),ee=ne($),I=v(ee,!0);c(ee);var Q=b(ee,2);me(Q,17,()=>o(x).items(e.ctx),te=>te.id,(te,le)=>{var ce=$r(),se=v(ce),Ue=v(se),He=v(Ue,!0);c(Ue),c(se),c(ce),B(()=>{Fe(se,"title",o(le).title),W(He,o(le).label)}),z("click",se,()=>a(o(le).run)),p(te,ce)}),B(()=>W(I,o(x).label)),p(Z,$)},we=Z=>{var $=na(),ee=v($),I=v(ee),Q=v(I,!0);c(I);var te=b(I,2);{var le=ce=>{var se=ta(),Ue=v(se,!0);c(se),B(He=>W(Ue,He),[()=>Gt(o(x).shortcut)]),p(ce,se)};H(te,ce=>{o(x).shortcut&&ce(le)})}c(ee),c($),B(ce=>{ee.disabled=ce,W(Q,o(x).label)},[()=>{var ce,se;return!(((se=(ce=o(x)).enabled)==null?void 0:se.call(ce,e.ctx))??!0)}]),z("click",ee,()=>a(()=>o(x).run(e.ctx))),p(Z,$)};H(re,Z=>{o(x).items?Z(ue):Z(we,-1)})}p(q,j)},E=de(()=>{var q,j;return((j=(q=o(x)).visible)==null?void 0:j.call(q,e.ctx))??!0});H(S,q=>{o(E)&&q(w)})}p(Y,C)}),c(V),p(G,V)}})};H(D,N=>{o(n)===o(_).id&&N(L)})}c(P),B(()=>{y=Ie(f,1,"menu-btn svelte-1elxaub",null,y,{active:o(n)===o(_).id}),W(F,o(_).label)}),z("click",f,()=>r(o(_).id)),p(m,P)}),c(l);var u=b(l,2),k=v(u);Ar(k,{}),c(u),c(d),p(t,s),ve()}ge(["click"]);var la=T(''),ca=T('· ',1),da=T('
      ');function ua(t,e){fe(e,!0);const n="key-tau.fontScale",r="keyui.fontScale";let a=X(1);const s=de(()=>Math.round(o(a)*100));function i(S){document.documentElement.style.setProperty("--font-scale",String(S))}function h(S){O(a,Math.max(.7,Math.min(1.8,Math.round(S*20)/20)),!0),localStorage.setItem(n,String(o(a))),i(o(a))}ln(()=>{const S=localStorage.getItem(n)??localStorage.getItem(r),w=S?Number(S):1;O(a,Number.isFinite(w)?w:1,!0),i(o(a))});const d={connected:"Server connected",connecting:"Connecting…",disconnected:"Server disconnected"};let l=X(!1);ke(()=>{if(e.appState.serverStatus!=="disconnected")return;const S=e.appState.client.config;if(!Ae||S.type==="websocket"){O(l,!0);return}if(S.type==="local-stdin"){O(l,!1);return}const w=S.type==="tcp"?S.host:"localhost",E=S.port;let q=!1;const j=async()=>{try{const K=await e.appState.client.probeTcp(w,E);q||O(l,K,!0)}catch{}};j();const oe=setInterval(j,3e3);return()=>{q=!0,clearInterval(oe)}});const u=de(()=>o(l)?"Reconnect":"Start Server");function k(){e.onReconnect(e.appState.client.config)}var m=da(),_=v(m),g=v(_),P=v(g),f=b(P,2),y=v(f,!0);c(f);var F=b(f,2);{var D=S=>{var w=la(),E=v(w,!0);c(w),B(()=>W(E,o(u))),z("click",w,k),p(S,w)};H(F,S=>{e.appState.serverStatus==="disconnected"&&S(D)})}c(g);var L=b(g,2);{var N=S=>{var w=ca(),E=b(ne(w),2),q=v(E,!0);c(E),B(()=>W(q,e.appState.proof.proofId)),p(S,w)};H(L,S=>{e.appState.proof&&S(N)})}c(_);var G=b(_,2),U=v(G),V=v(U),Y=b(V,2),x=v(Y);c(Y);var R=b(Y,2),C=b(R,2);xe(C),c(U),c(G),c(m),B(()=>{Fe(g,"title",d[e.appState.serverStatus]??e.appState.serverStatus),Ie(P,1,`dot dot-${e.appState.serverStatus??""}`,"svelte-1piydef"),W(y,d[e.appState.serverStatus]??e.appState.serverStatus),W(x,`${o(s)??""}%`),kr(C,o(a))}),z("click",V,()=>h(o(a)-.05)),z("click",Y,()=>h(1)),z("click",R,()=>h(o(a)+.05)),z("input",C,S=>h(Number(S.target.value))),p(t,m),ve()}ge(["click","input"]);function fa(t,e=!1){return window.__TAURI_INTERNALS__.transformCallback(t,e)}async function ot(t,e={},n){return window.__TAURI_INTERNALS__.invoke(t,e,n)}const va={id:"key-java",label:"KeY (Java backend)",description:"Standard KeY prover for Java programs.",order:2,capabilities:{hasTermSpans:!0,hasTacletInfo:!0,hasSave:!0,hasScriptMacro:!0}},ha=Object.freeze(Object.defineProperty({__proto__:null,backend:va},Symbol.toStringTag,{value:"Module"})),pa={id:"key-rust",label:"RustyKeY",description:"KeY prover for Rust programs.",order:1,capabilities:{hasTermSpans:!0,hasTacletInfo:!0,hasSave:!0,hasScriptMacro:!0}},ma=Object.freeze(Object.defineProperty({__proto__:null,backend:pa},Symbol.toStringTag,{value:"Module"})),ga={id:"keyther-solidity",label:"KeYther (Solidity)",description:"KeY prover for Solidity smart contracts",order:3,capabilities:{hasTermSpans:!0,hasTacletInfo:!0,hasSave:!0,hasScriptMacro:!1}},ya=Object.freeze(Object.defineProperty({__proto__:null,backend:ga},Symbol.toStringTag,{value:"Module"})),ba=Object.assign({"./defs/key-java.ts":ha,"./defs/key-rust.ts":ma,"./defs/keyther-solidity.ts":ya}),an=Object.values(ba).map(t=>t.backend).filter(t=>t!=null).sort((t,e)=>(t.order??99)-(e.order??99));function sn(t){return an.find(e=>e.id===t)??an[0]}function An(t,e){return{jsonrpc:"2.0",id:null,error:{code:t,message:e}}}class wa{constructor(){Ee(this,"ws",null);Ee(this,"nextId",0);Ee(this,"inflight",new Map);Ee(this,"onClose",null)}connect(e){return new Promise((n,r)=>{let a=!1;const s=new WebSocket(e);s.onopen=()=>{a=!0,n()},s.onclose=()=>{var i;for(const h of this.inflight.values())h(An(-32001,"Server connection lost"));this.inflight.clear(),a?(i=this.onClose)==null||i.call(this):r(new Error(`Could not connect to ${e}`))},s.onmessage=i=>{let h;try{h=JSON.parse(i.data)}catch{return}if(h&&typeof h.id=="number"){const d=this.inflight.get(h.id);d&&(this.inflight.delete(h.id),d(h))}},this.ws=s})}sendMsg(e,n){if(!this.ws||this.ws.readyState!==WebSocket.OPEN)return Promise.resolve(An(-32e3,"Server not connected"));const r=this.nextId++;return new Promise(a=>{this.inflight.set(r,a),this.ws.send(JSON.stringify({jsonrpc:"2.0",id:r,method:e,params:n}))})}close(){var e;this.onClose=null,(e=this.ws)==null||e.close(),this.ws=null}}function _a(t){switch(t.type){case"websocket":return t.url;case"tcp":return`ws://${t.host}:${t.port}`;case"local-tcp":return`ws://localhost:${t.port}`;case"local-stdin":return"ws://localhost:6789"}}class ka{constructor(){Ee(this,"_flavor","key-rust");Ee(this,"_config",{type:"local-tcp",port:6789});Ee(this,"_jarPath",null);Ee(this,"_serverStarted",!1);Ee(this,"_ws",null);Ee(this,"onStatusChange",null)}get usesWebSocket(){return!Ae||this._config.type==="websocket"}_setStatus(e){var n;(n=this.onStatusChange)==null||n.call(this,e)}get config(){return this._config}get jarPath(){return this._jarPath}setFlavor(e){this._flavor=e}get capabilities(){return sn(this._flavor).capabilities}async connect(e,n){this._config=e,this._jarPath=n??null,this._serverStarted=!1,this.usesWebSocket||e.type==="tcp"||n?await this.ensureServerStarted():this._setStatus("disconnected")}async ensureServerStarted(){if(!this._serverStarted){if(this.usesWebSocket){await this.connectWebSocket();return}if(this._config.type!=="tcp"&&!this._jarPath)throw new Cn("No server JAR configured. Select api.jar in Preferences → Backend.");this._setStatus("connecting");try{await ot("connect",{config:this._config,jarPath:this._jarPath??null}),this._serverStarted=!0,this._setStatus("connected")}catch(e){throw this._setStatus("disconnected"),e}}}async connectWebSocket(){var n;(n=this._ws)==null||n.close();const e=new wa;e.onClose=()=>{this._ws===e&&(this._serverStarted=!1,this._setStatus("disconnected"))},this._setStatus("connecting");try{await e.connect(_a(this._config)),this._ws=e,this._serverStarted=!0,this._setStatus("connected")}catch(r){throw this._setStatus("disconnected"),r}}async probeTcp(e,n){return Ae?await ot("probe_tcp",{host:e,port:n}):!1}async send(e,n){var a;const r=this.usesWebSocket?await(((a=this._ws)==null?void 0:a.sendMsg(e,n))??Promise.resolve({error:{code:-32e3,message:"Server not connected"}})):await ot("send_msg",{method:e,params:n});if(r.error){const s=new Cn;throw s.code=r.error.code,s.data=r.error.data??"",s.message=r.error.message,s.method=e,s.isConnectionError()&&(this._serverStarted=!1,this._setStatus("disconnected")),s}return r.result}async version(){return await this.send("meta/version",null)}async load(e){await this.ensureServerStarted();let n={problemFile:{uri:e.problemFile},$class:"org.keyproject.key.api.data.LoadParams"};return e.includes&&(n.includes=e.includes.map(r=>({uri:r}))),await this.send("loading/load",n)}async loadKey(e){return await this.send("loading/loadKey",e)}async proofTreeRoot(e){return await this.send("proofTree/root",e)}async proofList(){const e=await this.send("proof/list",null);return Array.isArray(e)?e:[]}async proofTreeChildren(e,n){let r={id:n.nodeId,$class:"org.keyproject.key.api.data.KeyIdentifications$TreeNodeId"};return await this.send("proofTree/children",[e,r])}async goalPrint(e,n){return await this.send("goal/print",[e,n])}async proofGoals(e,n,r){const a=await this.send("proof/goals",[e,n,r]),s=Array.isArray(a)?a:a?[a]:[],i=h=>({nodeId:h.nodeId??h.nodeid,branchLabel:h.branchLabel??"",scriptRuleApplication:h.scriptRuleApplication??!1,children:(h.children??[]).map(i),description:h.description??""});return s.map(i)}async proofAuto(e,n){let r=n;return r.$class="org.keyproject.key.api.data.StrategyOptions",await this.send("proof/auto",[e,r])}async proofPruneTo(e){return await this.send("proof/pruneTo",[e])}async goalActions(e,n){return await this.send("goal/actions",[e,n])}async goalFreePrint(e){await this.send("goal/free",[e])}async applyAction(e){return await this.send("goal/apply_action",[e])}async saveProof(e,n){return await this.send("proof/save",[e,n])}async disposeEnv(e){return await this.send("env/dispose",[e])}}class Cn extends Error{constructor(){super(...arguments);Ee(this,"code",0);Ee(this,"data","");Ee(this,"method","")}isConnectionError(){return this.code===-32e3||this.code===-32001}userMessage(){return this.code===-32e3?"Server is not running. Open a proof file to start it.":this.code===-32001?"Lost connection to the server.":this.message?this.message:"An unknown server error occurred."}toString(){const n=this.method?` (${this.method})`:"",r=this.data?` +${this.data}`:"";return`${this.userMessage()}${n}${r}`}}var xt=(t=>(t[t.Builtin=0]="Builtin",t[t.Script=1]="Script",t[t.Macro=2]="Macro",t[t.Taclet=3]="Taclet",t))(xt||{}),Sa=T('
      ');function Zn(t,e){var n=Sa(),r=v(n);Wt(r,()=>e.children??un),c(n),p(t,n)}var xa=T('');function zt(t,e){fe(e,!0);let n=De(e,"closeOnBackdrop",3,!0);function r(){n()&&e.onclose()}function a(d){d.key==="Escape"&&e.onclose()}var s=Se();ze("keydown",Yt,a);var i=ne(s);{var h=d=>{var l=xa(),u=v(l),k=v(u),m=b(k,2);Wt(m,()=>e.children),c(u),c(l),z("click",l,r),z("click",u,_=>_.stopPropagation()),z("click",k,function(..._){var g;(g=e.onclose)==null||g.apply(this,_)}),p(d,l)};H(i,d=>{e.open&&d(h)})}p(t,s),ve()}ge(["click"]);const Pn=[{label:"System",value:"system-ui, -apple-system, sans-serif"},{label:"Monospace",value:"ui-monospace, monospace"},{label:"JetBrains Mono",value:"'JetBrains Mono', monospace"},{label:"Fira Code",value:"'Fira Code', monospace"},{label:"Cascadia Code",value:"'Cascadia Code', monospace"},{label:"Menlo",value:"Menlo, monospace"},{label:"Consolas",value:"Consolas, monospace"}],Ta={useOverride:!1,font:{family:"system-ui, -apple-system, sans-serif",size:13}},ut={connection:{type:"local-tcp",port:6789},flavor:"key-rust",jarPaths:{},fonts:{global:{family:"system-ui, -apple-system, sans-serif",size:14},panes:{tree:{useOverride:!0,font:{family:"system-ui, -apple-system, sans-serif",size:13}},sequent:{useOverride:!0,font:{family:"monospace",size:14}}}}},$n="key-tau.preferences",Ea="keyui.preferences";function Ia(){try{const t=localStorage.getItem($n)??localStorage.getItem(Ea);if(t){const e=JSON.parse(t);return{...ut,...e,flavor:e.flavor??ut.flavor,connection:Ca(e.connection),jarPaths:{...e.jarPaths??{}},fonts:Aa(e.fonts)}}}catch{}return structuredClone(ut)}function Aa(t){if(!t||typeof t!="object")return structuredClone(ut.fonts);const e={...ut.fonts.global,...t.global??{}},n={};if(t.panes&&typeof t.panes=="object")for(const[r,a]of Object.entries(t.panes))n[r]=a;else for(const[r,a]of Object.entries(t))r!=="global"&&a&&typeof a=="object"&&"useOverride"in a&&(n[r]=a);return{global:e,panes:n}}function Ca(t){return!t||typeof t!="object"?ut.connection:t.type==="local"?{type:"local-tcp",port:t.port??6789}:t.type==="local-stdin"?{type:"local-stdin"}:t.type==="local-tcp"?{type:"local-tcp",port:t.port??6789}:t.type==="tcp"?{type:"tcp",host:t.host??"localhost",port:t.port??6789}:t.type==="websocket"?{type:"websocket",url:t.url??"ws://localhost:6790"}:ut.connection}const bt=wo(Ia());bt.subscribe(t=>{try{localStorage.setItem($n,JSON.stringify(t))}catch{}});function Pa(t,e){const n=t.fonts.panes[e];return n!=null&&n.useOverride?n.font:t.fonts.global}async function eo(t={}){return typeof t=="object"&&Object.freeze(t),await ot("plugin:dialog|open",{options:t})}async function Oa(t={}){return typeof t=="object"&&Object.freeze(t),await ot("plugin:dialog|save",{options:t})}var La=T(' ',1),Na=T('none ',1),Ra=T('
      Server JAR
      '),Ma=T(''),Da=T('

      Backend Type

      Choose which prover backend this UI will connect to.

      ',1);function ja(t,e){fe(e,!0);const n=[];let r=De(e,"draft",7);function a(l){return l.split(/[\\/]/).pop()??l}async function s(l){const u=await eo({multiple:!1,directory:!1,filters:[{name:"Java Archive",extensions:["jar"]},{name:"All Files",extensions:["*"]}],title:"Select server JAR"});u!=null&&(r().jarPaths[l]=u)}function i(l){r().jarPaths[l]=""}var h=Da(),d=b(ne(h),4);me(d,21,()=>an,Ke,(l,u)=>{const k=de(()=>r().jarPaths[o(u).id]??"");var m=Ma();let _;var g=v(m);xe(g);var P,f=b(g,2),y=v(f),F=v(y,!0);c(y);var D=b(y,2),L=v(D,!0);c(D);var N=b(D,2);{var G=U=>{var V=Ra(),Y=b(v(V),2);{var x=C=>{var S=La(),w=ne(S),E=v(w,!0);c(w);var q=b(w,2),j=b(q,2);B(oe=>{Fe(w,"title",o(k)),W(E,oe)},[()=>a(o(k))]),z("click",q,()=>s(o(u).id)),z("click",j,()=>i(o(u).id)),p(C,S)},R=C=>{var S=Na(),w=b(ne(S),2);z("click",w,()=>s(o(u).id)),p(C,S)};H(Y,C=>{o(k)?C(x):C(R,-1)})}c(V),z("click",V,C=>C.preventDefault()),p(U,V)};H(N,U=>{Ae&&r().flavor===o(u).id&&U(G)})}c(f),c(m),B(()=>{_=Ie(m,1,"option svelte-m59myo",null,_,{selected:r().flavor===o(u).id}),P!==(P=o(u).id)&&(g.value=(g.__value=o(u).id)??""),W(F,o(u).label),W(L,o(u).description)}),St(n,[],g,()=>(o(u).id,r().flavor),U=>r().flavor=U),p(l,m)}),c(d),p(t,h),ve()}ge(["click"]);const Fa={id:"backend",label:"Backend",icon:"◈",order:10,component:ja,createDraft:t=>({flavor:t.flavor,jarPaths:{...t.jarPaths??{}}}),applyDraft:(t,e)=>({...e,flavor:t.flavor,jarPaths:{...e.jarPaths??{},...t.jarPaths}})},qa=Object.freeze(Object.defineProperty({__proto__:null,section:Fa},Symbol.toStringTag,{value:"Module"}));var Ga=T(`

      Running in a browser: only WebSocket connections are available + (start the server with --websocket).

      `),za=T('
      '),Ua=T('
      '),Ha=T(` `,1),Ya=T('
      '),Wa=T(`

      Server Connection

      `,1);function Ba(t,e){fe(e,!0);const n=[];let r=De(e,"draft",7);var a=Wa(),s=b(ne(a),2);{var i=P=>{var f=Ga();p(P,f)};H(s,P=>{Ae||P(i)})}var h=b(s,2),d=v(h);{var l=P=>{var f=Ha(),y=ne(f),F=v(y);xe(F),F.value=F.__value="local-stdin",fn(2),c(y);var D=b(y,2),L=v(D);xe(L),L.value=L.__value="local-tcp";var N=b(L,2),G=b(v(N),4);{var U=S=>{var w=za(),E=b(v(w),2);xe(E),c(w),z("click",w,q=>q.preventDefault()),tt(E,()=>r().localPort,q=>r().localPort=q),p(S,w)};H(G,S=>{r().mode==="local-tcp"&&S(U)})}c(N),c(D);var V=b(D,2),Y=v(V);xe(Y),Y.value=Y.__value="tcp";var x=b(Y,2),R=b(v(x),4);{var C=S=>{var w=Ua(),E=v(w),q=b(v(E),2);xe(q),c(E);var j=b(E,2),oe=b(v(j),2);xe(oe),c(j),c(w),z("click",w,K=>K.preventDefault()),tt(q,()=>r().host,K=>r().host=K),tt(oe,()=>r().tcpPort,K=>r().tcpPort=K),p(S,w)};H(R,S=>{r().mode==="tcp"&&S(C)})}c(x),c(V),St(n,[],F,()=>r().mode,S=>r().mode=S),St(n,[],L,()=>r().mode,S=>r().mode=S),St(n,[],Y,()=>r().mode,S=>r().mode=S),p(P,f)};H(d,P=>{Ae&&P(l)})}var u=b(d,2),k=v(u);xe(k),k.value=k.__value="websocket";var m=b(k,2),_=b(v(m),4);{var g=P=>{var f=Ya(),y=b(v(f),2);xe(y),c(f),z("click",f,F=>F.preventDefault()),tt(y,()=>r().wsUrl,F=>r().wsUrl=F),p(P,f)};H(_,P=>{r().mode==="websocket"&&P(g)})}c(m),c(u),c(h),St(n,[],k,()=>r().mode,P=>r().mode=P),p(t,a),ve()}ge(["click"]);const to="ws://localhost:6790";function Ka(t){const e={mode:"local-tcp",host:"localhost",tcpPort:6789,localPort:6789,wsUrl:to};switch(t.type){case"tcp":return{...e,mode:"tcp",host:t.host,tcpPort:t.port};case"local-tcp":return{...e,mode:"local-tcp",localPort:t.port};case"local-stdin":return{...e,mode:"local-stdin"};case"websocket":return{...e,mode:"websocket",wsUrl:t.url}}}function Va(t){switch(t.mode){case"tcp":return{type:"tcp",host:t.host.trim()||"localhost",port:Number(t.tcpPort)||6789};case"local-tcp":return{type:"local-tcp",port:Number(t.localPort)||6789};case"websocket":return{type:"websocket",url:t.wsUrl.trim()||to};case"local-stdin":return{type:"local-stdin"}}}const Ja={id:"connection",label:"Connection",icon:"⇌",order:20,component:Ba,createDraft:t=>Ka(t.connection),applyDraft:(t,e)=>({...e,connection:Va(t)})},Xa=Object.freeze(Object.defineProperty({__proto__:null,section:Ja},Symbol.toStringTag,{value:"Module"}));var Qa=T('
      Loading…
      '),Za=T('
      No open goals found.
      '),$a=T('
      • '),es=T('
        '),ts=T('
        ',1),ns=T('

        Goals

        ',1);function os(t,e){fe(e,!0);let n=De(e,"appState",7),r=X(je([])),a=X(!1),s=X(je({}));const i=80;function h(f){const y=f.replace(/\s+/g," ").trim();return y.length>i?y.slice(0,i-1)+"…":y}async function d(f){const y={};for(const F of f)try{const D=await n().client.goalPrint(F.nodeId,{unicode:!1,width:1e4,indentation:0,pure:!0,termLabels:!1});y[F.nodeId.nodeId]=h(D.sequent),n().client.goalFreePrint(D.id).catch(()=>{})}catch{}O(s,y,!0)}function l(f){return f.children.length===0?[f]:f.children.flatMap(l)}async function u(){if(!n().proof){O(r,[],!0);return}O(a,!0);try{const f=await n().client.proofGoals(n().proof,!0,!1);O(r,f.flatMap(l),!0),d(o(r))}catch(f){console.error("GoalsPanel: failed to load goals",f),O(r,[],!0)}finally{O(a,!1)}}ke(()=>{n().proofTreeChanged.count,u()});function k(f){n().active_node=f}var m=ns(),_=b(ne(m),2);{var g=f=>{var y=Qa();p(f,y)},P=f=>{var y=ts(),F=ne(y),D=v(F);c(F);var L=b(F,2);{var N=U=>{var V=Za();p(U,V)},G=U=>{var V=es();me(V,21,()=>o(r),Ke,(Y,x)=>{var R=$a(),C=v(R),S=v(C),w=v(S);c(S);var E=b(S,2),q=v(E,!0);c(E),c(C),c(R),B(()=>{Fe(C,"title",o(s)[o(x).nodeId.nodeId]??""),W(w,`#${o(x).nodeId.nodeId??""}`),W(q,o(s)[o(x).nodeId.nodeId]||"Open Goal")}),z("click",C,()=>k(o(x).nodeId)),p(Y,R)}),c(V),p(U,V)};H(L,U=>{o(r).length===0?U(N):U(G,-1)})}B(()=>W(D,`Open goals: ${o(r).length??""}`)),p(f,y)};H(_,f=>{o(a)?f(g):f(P,-1)})}p(t,m),ve()}ge(["click"]);const rs={id:"goals",label:"Goals",order:30,defaultFlex:2,minWidth:120,component:os},as=Object.freeze(Object.defineProperty({__proto__:null,pane:rs},Symbol.toStringTag,{value:"Module"}));var ss=T('
        ');function no(t,e){fe(e,!0);let n=X(null),r=X(0),a=X(0);ke(()=>{if(!e.open)return;const l=e.positionX,u=e.positionY;O(r,u,!0),O(a,l,!0),Bn().then(()=>{if(!o(n))return;const k=o(n).getBoundingClientRect();k.right>window.innerWidth&&O(a,l-k.width),k.bottom>window.innerHeight&&O(r,u-k.height)})});function s(l){l.key==="Escape"&&e.onClose()}var i=Se();ze("keydown",Yt,s);var h=ne(i);{var d=l=>{var u=ss(),k=v(u),m=v(k);Wt(m,()=>e.children??un),c(k),nt(k,_=>O(n,_),()=>o(n)),c(u),B(()=>et(k,`top:${o(r)??""}px; left:${o(a)??""}px;`)),z("click",u,function(..._){var g;(g=e.onClose)==null||g.apply(this,_)}),z("click",k,_=>_.stopPropagation()),p(l,u)};H(h,l=>{e.open&&l(d)})}p(t,i),ve()}ge(["click"]);var is=T('
        A closed goal
        '),ls=T('
        Loading…
        '),cs=T('
        '),On=T('
        '),ds=T('
        Taclet info
        Rule
        Applied on
        ',1);function us(t,e){fe(e,!0);let n=je({loading:!0,sequent:null,taclet:null,error:null});ke(()=>{if(e.nodeId==null)return;n.loading=!0,n.sequent=null,n.taclet=null,n.error=null;const d={unicode:!1,width:120,indentation:0,pure:!1,termLabels:!0};e.appState.client.goalPrint(e.nodeId,d).then(l=>{n.loading=!1,n.sequent=l.sequent,n.taclet=l.tacletAppInfo}).catch(l=>{n.loading=!1,n.error=l.toString()})});var r=Se(),a=ne(r);{var s=d=>{var l=is();p(d,l)},i=de(()=>{var d;return((d=e.nodeName)==null?void 0:d.toLowerCase())==="closed goal"}),h=d=>{var l=ds(),u=b(ne(l),2),k=v(u),m=b(v(k),2),_=v(m,!0);c(m),c(k);var g=b(k,6);{var P=L=>{var N=ls();p(L,N)},f=L=>{var N=cs(),G=v(N,!0);c(N),B(()=>W(G,n.error)),p(L,N)},y=L=>{var N=On(),G=v(N,!0);c(N),B(()=>W(G,n.sequent??"-")),p(L,N)};H(g,L=>{n.loading?L(P):n.error?L(f,1):L(y,-1)})}var F=b(g,4);{var D=L=>{var N=On(),G=v(N,!0);c(N),B(()=>W(G,n.taclet)),p(L,N)};H(F,L=>{n.taclet!=null&&L(D)})}c(u),B(()=>W(_,e.nodeName??"-")),p(d,l)};H(a,d=>{o(i)?d(s):d(h,-1)})}p(t,r),ve()}function fs(){const t={id:"tab-0",nodeId:null,label:"Sequent"};return[{id:"col-0",tabs:[t],activeTabId:t.id,flex:1}]}var At;class vs{constructor(){pt(this,At,X(je(fs())))}get columns(){return o(Ge(this,At))}set columns(e){O(Ge(this,At),e,!0)}openInTab(e,n,r){const a=this.columns[0],s={id:`tab-${Date.now()}`,nodeId:e,label:n,nodeStatus:r};a.tabs.push(s),a.activeTabId=s.id}openInSplit(e,n,r){const a={id:`tab-${Date.now()}`,nodeId:e,label:n,nodeStatus:r},s=this.columns[this.columns.length-1],i=s.flex/2;s.flex=i,this.columns.push({id:`col-${Date.now()}`,tabs:[a],activeTabId:a.id,flex:i})}resizeColumns(e,n,r){if(r===0||n===0)return;const a=this.columns,s=a[e],i=a[e+1];if(!s||!i)return;const h=a.reduce((k,m)=>k+m.flex,0),d=n/r*h,l=h/a.length*.1,u=s.flex+i.flex;s.flex=Math.max(l,Math.min(s.flex+d,u-l)),i.flex=u-s.flex}closeTab(e,n){const r=this.columns.findIndex(i=>i.id===e);if(r===-1)return;const a=this.columns[r];if(a.tabs.length===1){this.removeColumn(r);return}const s=a.tabs.findIndex(i=>i.id===n);s!==-1&&(a.tabs.splice(s,1),a.activeTabId===n&&(a.activeTabId=a.tabs[Math.min(s,a.tabs.length-1)].id))}closeColumn(e){const n=this.columns.findIndex(r=>r.id===e);n!==-1&&this.removeColumn(n)}setActiveTab(e,n){const r=this.columns.find(a=>a.id===e);r&&(r.activeTabId=n)}removeColumn(e){if(this.columns.length<=1)return;const[n]=this.columns.splice(e,1),r=this.columns[Math.min(e,this.columns.length-1)];r&&(r.flex+=n.flex)}}At=new WeakMap;const $e=new vs;var hs=T(''),ps=T('
        Loading proof tree…
        '),ms=T('
        No matching nodes
        '),gs=T(''),ys=T('
        '),bs=T(''),ws=T(''),_s=T(''),ks=T('
        ',1),Ss=T('
        ⑂
        ',1),xs=T('
        '),Ts=T('
        '),Es=T('
        '),Is=T(' '),As=T('
        Hover a node to see its info
        '),Cs=T('
        '),Ps=T('
        '),Os=T('
        '),Ls=T('

        Proof Tree

        ',1);function Ns(t,e){fe(e,!0);let n=De(e,"appState",7);function r(A){const M=Y(A.name);return M==="open"?"open":M==="closed"?"closed":"inner"}function a(A){const M=A.name.length>20?A.name.slice(0,18)+"…":A.name;return`#${A.id.nodeId} ${M}`}const s=32,i=25,h=300;let d=X(je([])),l=X(""),u=X(!1),k=X(0),m=X(500),_=X(null),g=X(je({open:!1,x:0,y:0,node:null,pruning:!1,pruneError:null})),P=X(null),f=X(!0),y=null,F=!1,D=null;function L(A){F||(y!==null&&(clearTimeout(y),y=null),y=setTimeout(()=>{O(P,A,!0),y=null},180))}function N(){y!==null&&(clearTimeout(y),y=null)}const G=de(()=>{const A=o(l).trim().toLowerCase();if(A)return o(d).map((J,ye)=>({n:J,i:ye})).filter(({n:J})=>J.kind==="virtual"?!1:J.node.name.toLowerCase().includes(A)||J.node.id.nodeId.toString().includes(A));const M=Math.max(0,Math.floor(o(k)/s)-i),ie=Math.min(o(d).length,Math.ceil((o(k)+o(m))/s)+i);return o(d).slice(M,ie).map((J,ye)=>({n:J,i:M+ye}))}),U=de(()=>o(d).length*s),V=de(()=>o(l).trim()?0:Math.max(0,Math.floor(o(k)/s)-i)*s);function Y(A){const M=A.toUpperCase();return M.includes("OPEN")?"open":M.includes("CLOSED")?"closed":"unknown"}function x(A){const M=Y(A.name);return M==="open"||M==="closed"}function R(A){var M;return String((M=n().active_node)==null?void 0:M.nodeId)===String(A.id.nodeId)}function C(A,M,ie,J=!1){return{kind:"real",node:A,depth:M,logicalDepth:ie,expanded:!1,loading:!1,hasChildren:null,isChainNode:J}}async function S(A,M,ie,J,ye,be){if(be<=0)return[];const pe=await A.proofTreeChildren(M,ie.id);if(pe.length===0)return[];if(pe.length===1){const _e=pe[0],qe=C(_e,J,ye+1,!0),Ne=await S(A,M,_e,J,ye+1,be-1);return Ne.length>0&&(qe.expanded=!0),[qe,...Ne]}const Te=[];for(let _e=0;_e0,ie.length>0?(J.expanded=!0,o(d).splice(A+1,0,...ie)):J.expanded=!1}catch(ie){console.error("Failed to expand node:",ie)}finally{M.loading=!1}}}function E(A){const M=o(d)[A];if(M.kind!=="real")return;M.expanded=!1;const ie=M.logicalDepth;let J=A+1;for(;Jie;)J++;o(d).splice(A+1,J-A-1)}function q(A){const M=o(d)[A];M.kind==="real"&&(M.expanded?E(A):w(A))}function j(A,M){A.preventDefault(),O(g,{open:!0,x:A.clientX,y:A.clientY,node:M,pruning:!1,pruneError:null},!0)}async function oe(){if(o(g).node){o(g).pruning=!0,o(g).pruneError=null;try{await n().client.proofPruneTo(o(g).node.id),o(g).open=!1,n().proofTreeChanged.notify()}catch(A){o(g).pruneError=A.toString(),o(g).pruning=!1}}}async function K(A,M){O(u,!0),O(d,[],!0);try{const ie=await A.proofTreeRoot(M),J=C(ie,0,0);O(d,[J],!0),await w(0)}finally{O(u,!1)}}function re(){for(const A of o(d))if(A.kind==="real"&&Y(A.node.name)==="open")return A.node.id;return null}ke(()=>{if(n().proofTreeChanged.count,n().proof==null){O(d,[],!0);return}K(n().client,n().proof).then(()=>{const A=re();A&&(n().active_node=A,n().active_node_status="open")})}),ke(()=>{if(!o(_))return;const A=new ResizeObserver(M=>{O(m,M[0].contentRect.height,!0)});return A.observe(o(_)),()=>A.disconnect()});function ue(A){O(k,A.target.scrollTop,!0),F=!0,y!==null&&(clearTimeout(y),y=null),D!==null&&clearTimeout(D),D=setTimeout(()=>{F=!1,D=null},120)}ke(()=>{if(!o(_)||!n().active_node)return;const A=o(d).findIndex(J=>{var ye;return J.kind==="real"&&String(J.node.id.nodeId)===String((ye=n().active_node)==null?void 0:ye.nodeId)});if(A===-1)return;const M=A*s,ie=M+s;Ht(()=>{if(!o(_))return;const J=o(m);(Mo(_).scrollTop+J)&&(o(_).scrollTop=M-J/2+s/2)})});var we=Ls(),Z=ne(we),$=v(Z),ee=b(v($),2),I=v(ee);c(ee),c($);var Q=b($,2),te=v(Q);xe(te);var le=b(te,2);{var ce=A=>{var M=hs();z("click",M,()=>O(l,"")),p(A,M)};H(le,A=>{o(l)&&A(ce)})}c(Q);var se=b(Q,2);{var Ue=A=>{var M=ps();p(A,M)},He=A=>{var M=Es(),ie=v(M);{var J=pe=>{var Te=ys(),_e=v(Te);{var qe=ae=>{var Pe=ms();p(ae,Pe)},Ne=ae=>{var Pe=Se(),Oe=ne(Pe);me(Oe,17,()=>o(G),Ke,(wt,Bt)=>{let Le=()=>o(Bt).n;var Ve=Se(),at=ne(Ve);{var st=Je=>{var Re=gs();let vt;var Nt=v(Re),Ye=b(Nt,2),ht=v(Ye),Rt=v(ht,!0);c(ht);var Mt=b(ht);c(Ye),c(Re),B((it,Kt)=>{vt=Ie(Re,1,"node-row svelte-1u5swoa",null,vt,it),Ie(Nt,1,`status-dot status-${Kt??""}`,"svelte-1u5swoa"),W(Rt,Le().node.id.nodeId),W(Mt,` ${Le().node.name??""}`)},[()=>({active:R(Le().node),open:Y(Le().node.name)==="open",closed:Y(Le().node.name)==="closed"}),()=>Y(Le().node.name)]),z("click",Re,()=>{n().active_node=Le().node.id,n().active_node_status=r(Le().node)}),z("contextmenu",Re,it=>j(it,Le().node)),ze("mouseenter",Re,()=>L(Le().node)),ze("mouseleave",Re,N),p(Je,Re)};H(at,Je=>{Le().kind==="real"&&Je(st)})}p(wt,Ve)}),p(ae,Pe)};H(_e,ae=>{o(G).length===0?ae(qe):ae(Ne,-1)})}c(Te),p(pe,Te)},ye=de(()=>o(l).trim()),be=pe=>{var Te=Ts(),_e=v(Te);me(_e,21,()=>o(G),({n:qe,i:Ne})=>qe.kind==="real"?qe.node.id.nodeId:`v-${Ne}`,(qe,Ne)=>{let ae=()=>o(Ne).n,Pe=()=>o(Ne).i;var Oe=xs();et(Oe,"height: 32px;");var wt=v(Oe);{var Bt=Ve=>{var at=ks(),st=ne(at),Je=b(st,2);{var Re=We=>{var Xe=bs();p(We,Xe)},vt=de(()=>ae().isChainNode||x(ae().node)),Nt=We=>{var Xe=_s(),Vt=v(Xe);{var vo=Me=>{var lt=ws();p(Me,lt)},ho=Me=>{var lt=yt("▾");p(Me,lt)},po=Me=>{var lt=yt(" ");p(Me,lt)},mo=Me=>{var lt=yt("▸");p(Me,lt)};H(Vt,Me=>{ae().loading?Me(vo):ae().expanded?Me(ho,1):ae().hasChildren===!1?Me(po,2):Me(mo,-1)})}c(Xe),B(()=>Fe(Xe,"title",ae().expanded?"Collapse":"Expand")),z("click",Xe,()=>q(Pe())),p(We,Xe)};H(Je,We=>{o(vt)?We(Re):We(Nt,-1)})}var Ye=b(Je,2);let ht;var Rt=v(Ye),Mt=b(Rt,2),it=v(Mt),Kt=v(it,!0);c(it);var fo=b(it);c(Mt),c(Ye),B((We,Xe,Vt)=>{et(st,`width: ${We??""}px; flex-shrink: 0;`),ht=Ie(Ye,1,"node-row svelte-1u5swoa",null,ht,Xe),Ie(Rt,1,`status-dot status-${Vt??""}`,"svelte-1u5swoa"),W(Kt,ae().node.id.nodeId),W(fo,` ${ae().node.name??""}`)},[()=>Math.min(ae().depth*12,180)+8,()=>({active:R(ae().node),open:Y(ae().node.name)==="open",closed:Y(ae().node.name)==="closed"}),()=>Y(ae().node.name)]),z("click",Ye,()=>{n().active_node=ae().node.id,n().active_node_status=r(ae().node)}),z("contextmenu",Ye,We=>j(We,ae().node)),ze("mouseenter",Ye,()=>L(ae().node)),ze("mouseleave",Ye,N),p(Ve,at)},Le=Ve=>{var at=Ss(),st=ne(at),Je=b(st,2),Re=b(v(Je));c(Je),B(vt=>{et(st,`width: ${vt??""}px; flex-shrink: 0;`),W(Re,` ${ae().label??""}`)},[()=>Math.min(ae().depth*12,180)+8]),p(Ve,at)};H(wt,Ve=>{ae().kind==="real"?Ve(Bt):Ve(Le,-1)})}c(Oe),p(qe,Oe)}),c(_e),c(Te),B(()=>{et(Te,`height: ${o(U)??""}px;`),et(_e,`transform: translateY(${o(V)??""}px);`)}),p(pe,Te)};H(ie,pe=>{o(ye)?pe(J):pe(be,-1)})}c(M),nt(M,pe=>O(_,pe),()=>o(_)),ze("scroll",M,ue),p(A,M)};H(se,A=>{o(u)?A(Ue):A(He,-1)})}var ft=b(se,2),rt=v(ft),Ce=v(rt),Lt=v(Ce,!0);c(Ce);var so=b(Ce,4);{var io=A=>{var M=Is(),ie=v(M,!0);c(M),B(J=>W(ie,J),[()=>o(P).name.length>24?o(P).name.slice(0,22)+"…":o(P).name]),p(A,M)};H(so,A=>{o(P)&&!o(f)&&A(io)})}c(rt);var lo=b(rt,2);{var co=A=>{var M=Cs(),ie=v(M);{var J=be=>{us(be,{get appState(){return n()},get nodeId(){return o(P).id},get nodeName(){return o(P).name}})},ye=be=>{var pe=As();p(be,pe)};H(ie,be=>{o(P)?be(J):be(ye,-1)})}c(M),p(A,M)};H(lo,A=>{o(f)&&A(co)})}c(ft),c(Z);var uo=b(Z,2);no(uo,{get open(){return o(g).open},get positionX(){return o(g).x},get positionY(){return o(g).y},onClose:()=>o(g).open=!1,children:(A,M)=>{var ie=Os(),J=v(ie),ye=v(J);c(J);var be=b(J,4),pe=b(v(be),2),Te=v(pe,!0);c(pe),c(be);var _e=b(be,2);{var qe=Pe=>{var Oe=Ps(),wt=v(Oe,!0);c(Oe),B(()=>W(wt,o(g).pruneError)),p(Pe,Oe)};H(_e,Pe=>{o(g).pruneError&&Pe(qe)})}var Ne=b(_e,4),ae=b(Ne,2);c(ie),B(()=>{var Pe,Oe;W(ye,`#${((Pe=o(g).node)==null?void 0:Pe.id.nodeId)??""} — ${((Oe=o(g).node)==null?void 0:Oe.name)??""??""}`),be.disabled=o(g).pruning,W(Te,o(g).pruning?"Pruning…":"Prune to Here")}),z("click",be,oe),z("click",Ne,()=>{$e.openInTab(o(g).node.id,a(o(g).node),r(o(g).node)),o(g).open=!1}),z("click",ae,()=>{$e.openInSplit(o(g).node.id,a(o(g).node),r(o(g).node)),o(g).open=!1}),p(A,ie)},$$slots:{default:!0}}),B(()=>{W(I,`${o(d).length??""} nodes`),Fe(rt,"title",o(f)?"Collapse node info":"Expand node info"),W(Lt,o(f)?"▾":"▸")}),tt(te,()=>o(l),A=>O(l,A)),z("click",rt,()=>O(f,!o(f))),p(t,we),ve()}ge(["click","contextmenu"]);const Rs={id:"tree",label:"Proof Tree",order:10,defaultFlex:2,minWidth:120,component:Ns},Ms=Object.freeze(Object.defineProperty({__proto__:null,pane:Rs},Symbol.toStringTag,{value:"Module"}));async function oo(t){if(Ae){const{writeText:e}=await lr(async()=>{const{writeText:n}=await import("./6pjeCr8X.js");return{writeText:n}},[],import.meta.url);await e(t)}else await navigator.clipboard.writeText(t)}var Ds=T(' '),js=T(''),Fs=T(''),qs=T('
        '),Gs=T(""),zs=T(''),Us=T('
        ▶
        '),Hs=T('
        ');function Ys(t,e){fe(e,!0);let n=De(e,"nodeStatus",3,null),r=De(e,"searchMatches",19,()=>[]),a=De(e,"currentMatchIdx",3,0);function s(x,R,C,S){if(!R||R.length===0)return[{content:x,spans:[C],textStart:S}];const w=[...R].sort((K,re)=>K.start-re.start);let E=[],q=[],j=0;for(const K of w){j!==K.start&&(q.push(E.length),E.push({content:x.slice(j,K.start),spans:[],textStart:S+j}));const re=x.slice(K.start,K.end);if(re.length!==0){const ue=s(re,K.children||[],C+E.length,S+K.start);E=E.concat(ue)}j=K.end}js(e.sequent.sequent,e.sequent.terms,0,0));let h=X(null);function d(x){return o(h)===null?!1:o(i)[o(h)].spans.includes(x)}function l(x,R,C){return Rx.textStart}function u(x){return r().some(R=>l(o(i)[x],R.start,R.end))}function k(x){if(r().length===0||a()>=r().length)return!1;const R=r()[a()];return l(o(i)[x],R.start,R.end)}let m=X(null);ke(()=>{if(a(),r(),!o(m))return;const x=o(m).querySelector(".span-match-current");x==null||x.scrollIntoView({block:"nearest",behavior:"smooth"})});const _=8,g=25;function P(x){return x.displayName?x.displayName:(x.commandId.id.split(":")[1]??x.commandId.id).split(" ")[0]}function f(x){if(x.length===0)return[];const R=x.map(w=>({kind:"item",label:P(w),action:w.commandId}));if(R.length<=_)return R;const C=R.slice(0,_),S=R.slice(_);for(let w=0;w=o(i).length?"":[...o(i)[x].spans.length>0?o(i)[x].spans:[x]].sort((C,S)=>C-S).map(C=>o(i)[C].content).join("")}async function D(){const x=F();o(y).open=!1,x&&await oo(x)}const L=de(()=>{const{taclets:x,macros:R,other:C}=o(y).actions;if(x.length+R.length+C.length===0)return[{kind:"item",label:"No rules applicable",action:null},{kind:"sep"},{kind:"copy"}];const w=[];function E(q,j){j.length!==0&&(w.length>0&&w.push({kind:"sep"}),w.push({kind:"header",label:q}),w.push(...f(j)))}return E("Taclets",x),E("Macros",R),E("Other",C),w.push({kind:"sep"}),w.push({kind:"copy"}),w});function N(x,R){if(n()==="closed"){O(y,{open:!0,x:x.pageX,y:x.pageY,clickedIndex:R,actions:{taclets:[],macros:[],other:[]}},!0);return}const C=o(i)[R].textStart;e.appState.client.goalActions(e.sequent.id,C).then(S=>{const w=n()==="inner";O(y,{open:!0,x:x.pageX,y:x.pageY,clickedIndex:R,actions:{taclets:w?[]:S.filter(E=>E.kind===xt.Taclet),macros:S.filter(E=>E.kind===xt.Macro),other:w?[]:S.filter(E=>E.kind!==xt.Taclet&&E.kind!==xt.Macro)}},!0)})}function G(x){x&&(o(y).open=!1,e.appState.client.applyAction(x).then(R=>{R?e.appState.proofTreeChanged.notify():console.error("failed to apply rule")}).catch(R=>{}))}var U=Hs(),V=v(U);me(V,17,()=>o(i),Ke,(x,R,C)=>{var S=Ds();let w;var E=v(S,!0);c(S),B(q=>{w=Ie(S,1,"piece svelte-r00w4i",null,w,q),W(E,o(R).content)},[()=>({"span-hover":d(C),"span-match":u(C),"span-match-current":k(C),"no-action":n()==="closed"})]),z("mouseover",S,()=>O(h,C,!0)),ze("focus",S,()=>O(h,C,!0)),z("mouseout",S,()=>{o(h)===C&&O(h,null)}),ze("blur",S,()=>{o(h)===C&&O(h,null)}),z("click",S,q=>N(q,C)),p(x,S)});var Y=b(V,2);no(Y,{get open(){return o(y).open},onClose:()=>o(y).open=!1,get positionX(){return o(y).x},get positionY(){return o(y).y},children:(x,R)=>{var C=Se(),S=ne(C);me(S,17,()=>o(L),Ke,(w,E)=>{var q=Se(),j=ne(q);{var oe=Z=>{var $=js();z("click",$,D),p(Z,$)},K=Z=>{var $=Fs();p(Z,$)},re=Z=>{var $=qs(),ee=v($,!0);c($),B(()=>W(ee,o(E).label)),p(Z,$)},ue=Z=>{var $=Gs();let ee;var I=v($,!0);c($),B(()=>{ee=Ie($,1,"menu-item svelte-r00w4i",null,ee,{"menu-empty":!o(E).action}),$.disabled=!o(E).action,W(I,o(E).label)}),z("click",$,()=>G(o(E).action)),p(Z,$)},we=Z=>{var $=Us(),ee=v($),I=v(ee),Q=v(I,!0);c(I),fn(2),c(ee);var te=b(ee,2);me(te,21,()=>o(E).children,Ke,(le,ce)=>{var se=zs(),Ue=v(se,!0);c(se),B(()=>W(Ue,o(ce).label)),z("click",se,()=>G(o(ce).action)),p(le,se)}),c(te),c($),B(()=>W(Q,o(E).label)),p(Z,$)};H(j,Z=>{o(E).kind==="copy"?Z(oe):o(E).kind==="sep"?Z(K,1):o(E).kind==="header"?Z(re,2):o(E).kind==="item"?Z(ue,3):o(E).kind==="sub"&&Z(we,4)})}p(w,q)}),p(x,C)},$$slots:{default:!0}}),c(U),nt(U,x=>O(m,x),()=>o(m)),p(t,U),ve()}ge(["mouseover","mouseout","click"]);var Ws=Mn(''),Bs=T(''),Ks=T('
        '),Vs=T(""),Js=T('

        Sequent

        x
        ');function Xs(t,e){fe(e,!0);let n=De(e,"pinnedNodeId",3,null),r=De(e,"nodeStatus",3,null);const a=de(()=>n()??e.appState.active_node);let s=X(null),i=X(120),h=X(null),d=X(null),l=X(!1),u=X(""),k=X(0),m=X(null);const _=de(()=>{var ce;const I=o(u).trim().toLowerCase();if(!I||!((ce=o(s))!=null&&ce.sequent))return[];const Q=o(s).sequent.toLowerCase(),te=[];let le=0;for(;;){const se=Q.indexOf(I,le);if(se===-1)break;te.push({start:se,end:se+I.length}),le=se+1}return te});ke(()=>{o(_),O(k,0)});function g(){o(_).length!==0&&O(k,(o(k)+1)%o(_).length)}function P(){o(_).length!==0&&O(k,(o(k)-1+o(_).length)%o(_).length)}function f(){O(l,!0),setTimeout(()=>{var I;return(I=o(m))==null?void 0:I.focus()},0)}function y(){O(l,!1),O(u,"")}function F(I){I.key==="Escape"?y():I.key==="Enter"&&(I.shiftKey?P():g(),I.preventDefault())}function D(I){(I.metaKey||I.ctrlKey)&&I.key==="f"&&(f(),I.preventDefault())}let L=X(!1),N=null;async function G(){var Q;const I=(Q=o(s))==null?void 0:Q.sequent;I&&(await oo(I),O(L,!0),N!==null&&clearTimeout(N),N=setTimeout(()=>{O(L,!1),N=null},1200))}async function U(I,Q,te){const le={unicode:!1,width:te,indentation:0,pure:!1,termLabels:!0};return I.goalPrint(Q,le)}ke(()=>{if(!o(h)||!o(d))return;const I=new ResizeObserver(Q=>{const te=Q[0].contentRect.width,le=o(d).offsetWidth,ce=Math.floor(te/le);O(i,ce,!0)});return I.observe(o(h)),()=>I.disconnect()}),ke(()=>{e.appState.proof==null||o(a)==null||U(e.appState.client,o(a),o(i)).then(I=>{O(s,I,!0)}).catch(I=>{console.error("fetchSequent failed:",I)})});var V=Js();ze("keydown",Yt,D);var Y=v(V),x=b(v(Y),2),R=v(x),C=v(R);{var S=I=>{var Q=yt("✓");p(I,Q)},w=I=>{var Q=Ws();p(I,Q)};H(C,I=>{o(L)?I(S):I(w,-1)})}c(R);var E=b(R,2);{var q=I=>{var Q=Bs();B(te=>Fe(Q,"title",`Search (${te??""})`),[()=>Gt("mod+F")]),z("click",Q,f),p(I,Q)};H(E,I=>{o(l)||I(q)})}c(x),c(Y);var j=b(Y,2);{var oe=I=>{var Q=Ks(),te=v(Q);xe(te),nt(te,Ce=>O(m,Ce),()=>o(m));var le=b(te,2),ce=v(le);{var se=Ce=>{var Lt=yt();B(()=>W(Lt,o(_).length===0?"No matches":`${o(k)+1} / ${o(_).length}`)),p(Ce,Lt)},Ue=de(()=>o(u).trim());H(ce,Ce=>{o(Ue)&&Ce(se)})}c(le);var He=b(le,2),ft=b(He,2),rt=b(ft,2);c(Q),B(Ce=>{He.disabled=o(_).length===0,Fe(He,"title",`Previous match (${Ce??""})`),ft.disabled=o(_).length===0},[()=>Gt("shift+Enter")]),z("keydown",te,F),tt(te,()=>o(u),Ce=>O(u,Ce)),z("click",He,P),z("click",ft,g),z("click",rt,y),p(I,Q)};H(j,I=>{o(l)&&I(oe)})}var K=b(j,2),re=v(K);nt(re,I=>O(d,I),()=>o(d));var ue=b(re,2),we=v(ue),Z=v(we);{var $=I=>{var Q=Se(),te=ne(Q);Jn(te,()=>o(s),le=>{Ys(le,{get appState(){return e.appState},get sequent(){return o(s)},get nodeStatus(){return r()},get searchMatches(){return o(_)},get currentMatchIdx(){return o(k)}})}),p(I,Q)},ee=I=>{var Q=Vs();Q.textContent="",p(I,Q)};H(Z,I=>{var Q,te;(Q=o(s))!=null&&Q.sequent&&((te=o(s))!=null&&te.terms)?I($):I(ee,-1)})}c(we),c(ue),c(K),nt(K,I=>O(h,I),()=>o(h)),c(V),B(()=>{var I;return R.disabled=!((I=o(s))!=null&&I.sequent)}),z("click",R,G),p(t,V),ve()}ge(["click","keydown"]);var Qs=T('×'),Zs=T(''),$s=T(''),ei=T('
        ');function ti(t,e){fe(e,!0);let n=De(e,"style",3,"");const r=de(()=>e.column.tabs.find(m=>m.id===e.column.activeTabId)??e.column.tabs[0]),a=de(()=>e.column.tabs.length>1||e.showClose);var s=ei(),i=v(s),h=v(i);me(h,17,()=>e.column.tabs,m=>m.id,(m,_)=>{var g=Zs();let P;var f=v(g),y=v(f,!0);c(f);var F=b(f,2);{var D=L=>{var N=Qs();z("click",N,G=>{G.stopPropagation(),e.onTabClose(o(_).id)}),p(L,N)};H(F,L=>{o(a)&&L(D)})}c(g),B(()=>{P=Ie(g,1,"tab svelte-1f726zb",null,P,{active:o(_).id===e.column.activeTabId,following:o(_).nodeId===null}),Fe(g,"title",o(_).nodeId===null?"Following active selection":`Node ${o(_).nodeId.nodeId}: ${o(_).label}`),W(y,o(_).label)}),z("click",g,()=>e.onActivate(o(_).id)),p(m,g)});var d=b(h,2);{var l=m=>{var _=$s();z("click",_,function(...g){var P;(P=e.onColumnClose)==null||P.apply(this,g)}),p(m,_)};H(d,m=>{e.showClose&&m(l)})}c(i);var u=b(i,2),k=v(u);Zn(k,{children:(m,_)=>{var g=Se(),P=ne(g);{var f=y=>{var F=Se(),D=ne(F);Jn(D,()=>o(r).id,L=>{{let N=de(()=>o(r).nodeId?o(r).nodeStatus??null:e.appState.active_node_status);Xs(L,{get appState(){return e.appState},get pinnedNodeId(){return o(r).nodeId},get nodeStatus(){return o(N)}})}}),p(y,F)};H(P,y=>{o(r)&&y(f)})}p(m,g)}}),c(u),c(s),B(()=>et(s,n())),p(t,s),ve()}ge(["click"]);var ni=T('');function ro(t,e){fe(e,!0);let n=X(!1);function r(i){if(i.button!==0)return;i.preventDefault(),O(n,!0);let h=i.clientX;function d(u){const k=u.clientX-h;k!==0&&(h=u.clientX,e.onDrag(k))}function l(){O(n,!1),window.removeEventListener("mousemove",d),window.removeEventListener("mouseup",l)}window.addEventListener("mousemove",d),window.addEventListener("mouseup",l)}var a=ni();let s;B(()=>s=Ie(a,1,"resize-handle svelte-98yjt2",null,s,{dragging:o(n)})),z("mousedown",a,r),p(t,a),ve()}ge(["mousedown"]);var oi=T(" ",1),ri=T('
        ');function ai(t,e){fe(e,!0);let n=X(null);var r=ri();me(r,23,()=>$e.columns,a=>a.id,(a,s,i)=>{var h=oi(),d=ne(h);{var l=k=>{ro(k,{onDrag:m=>{var _;return $e.resizeColumns(o(i)-1,m,((_=o(n))==null?void 0:_.clientWidth)??0)}})};H(d,k=>{o(i)>0&&k(l)})}var u=b(d,2);{let k=de(()=>$e.columns.length>1);ti(u,{get column(){return o(s)},get appState(){return e.appState},get showClose(){return o(k)},onTabClose:m=>$e.closeTab(o(s).id,m),onColumnClose:()=>$e.closeColumn(o(s).id),onActivate:m=>$e.setActiveTab(o(s).id,m),get style(){return`flex: ${o(s).flex??""} 1 0; min-width: 150px;`}})}p(a,h)}),c(r),nt(r,a=>O(n,a),()=>o(n)),p(t,r),ve()}const si={id:"sequent",label:"Sequent",order:20,defaultFlex:7,minWidth:200,chrome:"bare",component:ai},ii=Object.freeze(Object.defineProperty({__proto__:null,pane:si},Symbol.toStringTag,{value:"Module"})),li=Object.assign({"./defs/goals.ts":as,"./defs/proof-tree.ts":Ms,"./defs/sequent-area.ts":ii}),dt=Object.values(li).map(t=>t.pane).filter(t=>t!=null).sort((t,e)=>t.order-e.order);var Ln=T(""),ci=T('using global'),di=T('
        '),ui=T('

        Global Font

        Applies to all panes unless a pane has its own override.

        Per-pane Overrides

        Enable a pane to use a different font from the global setting.

        ',1);function fi(t,e){fe(e,!0);let n=De(e,"draft",7);var r=ui(),a=b(ne(r),4),s=v(a),i=b(v(s),2);me(i,21,()=>Pn,Ke,(u,k)=>{var m=Ln(),_=v(m,!0);c(m);var g={};B(()=>{W(_,o(k).label),g!==(g=o(k).value)&&(m.value=(m.__value=o(k).value)??"")}),p(u,m)}),c(i),c(s);var h=b(s,2),d=b(v(h),2);xe(d),c(h),c(a);var l=b(a,6);me(l,21,()=>dt,Ke,(u,k)=>{let m=()=>o(k).id,_=()=>o(k).label;const g=de(()=>n().fonts.panes[m()]);var P=di();let f;var y=v(P),F=v(y);xe(F);var D=b(F,2),L=v(D,!0);c(D);var N=b(D,2);{var G=S=>{var w=ci();p(S,w)};H(N,S=>{o(g).useOverride||S(G)})}c(y);var U=b(y,2);let V;var Y=v(U),x=v(Y);me(x,21,()=>Pn,Ke,(S,w)=>{var E=Ln(),q=v(E,!0);c(E);var j={};B(()=>{W(q,o(w).label),j!==(j=o(w).value)&&(E.value=(E.__value=o(w).value)??"")}),p(S,E)}),c(x),c(Y);var R=b(Y,2),C=v(R);xe(C),c(R),c(U),c(P),B(()=>{f=Ie(P,1,"pane-card svelte-c7qdii",null,f,{on:o(g).useOverride}),W(L,_()),V=Ie(U,1,"row svelte-c7qdii",null,V,{dim:!o(g).useOverride}),x.disabled=!o(g).useOverride,C.disabled=!o(g).useOverride}),xr(F,()=>o(g).useOverride,S=>o(g).useOverride=S),xn(x,()=>o(g).font.family,S=>o(g).font.family=S),tt(C,()=>o(g).font.size,S=>o(g).font.size=S),p(u,P)}),c(l),xn(i,()=>n().fonts.global.family,u=>n().fonts.global.family=u),tt(d,()=>n().fonts.global.size,u=>n().fonts.global.size=u),p(t,r),ve()}const vi={id:"fonts",label:"Fonts",icon:"Aa",order:30,component:fi,createDraft:t=>{var n,r;const e=structuredClone(t.fonts);for(const a of dt)(n=e.panes)[r=a.id]??(n[r]=structuredClone(Ta));return{fonts:e}},applyDraft:(t,e)=>({...e,fonts:t.fonts})},hi=Object.freeze(Object.defineProperty({__proto__:null,section:vi},Symbol.toStringTag,{value:"Module"})),pi=Object.assign({"./defs/backend.ts":qa,"./defs/connection.ts":Xa,"./defs/fonts.ts":hi}),ct=Object.values(pi).map(t=>t.section).filter(t=>t!=null).sort((t,e)=>t.order-e.order);var mi=T(''),gi=T('

        Preferences

        ');function yi(t,e){fe(e,!0);const n=()=>Vn(bt,"$preferences",r),[r,a]=Kn();let s=X(je({})),i=X(je(ct[0].id));const h=de(()=>ct.find(l=>l.id===o(i))??ct[0]);ke(()=>{if(e.open){const l=n(),u={};for(const k of ct)u[k.id]=k.createDraft(l);O(s,u,!0),O(i,ct[0].id,!0)}});function d(){var g;const l=n().connection;let u=n();for(const P of ct)u=P.applyDraft(o(s)[P.id],u);const k=n().jarPaths??{};bt.set(u);const m=JSON.stringify(l)!==JSON.stringify(u.connection),_=(k[u.flavor]??"")!==(((g=u.jarPaths)==null?void 0:g[u.flavor])??"");(m||_)&&e.onApply(u.connection),e.onClose()}zt(t,{get open(){return e.open},get onclose(){return e.onClose},closeOnBackdrop:!1,children:(l,u)=>{var k=gi(),m=b(v(k),2),_=v(m);me(_,21,()=>ct,Ke,(L,N)=>{var G=mi();let U;var V=v(G),Y=v(V,!0);c(V);var x=b(V);c(G),B(()=>{U=Ie(G,1,"tab svelte-e3b7dy",null,U,{active:o(i)===o(N).id}),W(Y,o(N).icon),W(x,` ${o(N).label??""}`)}),z("click",G,()=>O(i,o(N).id,!0)),p(L,G)}),c(_);var g=b(_,2),P=v(g);{var f=L=>{const N=de(()=>o(h).component);var G=Se(),U=ne(G);qt(U,()=>o(N),(V,Y)=>{Y(V,{get draft(){return o(s)[o(i)]}})}),p(L,G)};H(P,L=>{o(s)[o(i)]&&L(f)})}c(g),c(m);var y=b(m,2),F=v(y),D=b(F,2);c(y),c(k),z("click",F,function(...L){var N;(N=e.onClose)==null||N.apply(this,L)}),z("click",D,d),p(l,k)},$$slots:{default:!0}}),ve(),a()}ge(["click"]);const bi="0.1.0",wi="GPL-3.0-or-later",Nn={version:bi,license:wi},_i=` GNU GENERAL PUBLIC LICENSE + Version 3, 29 June 2007 + + Copyright (C) 2007 Free Software Foundation, Inc. + Everyone is permitted to copy and distribute verbatim copies + of this license document, but changing it is not allowed. + + Preamble + + The GNU General Public License is a free, copyleft license for +software and other kinds of works. + + The licenses for most software and other practical works are designed +to take away your freedom to share and change the works. By contrast, +the GNU General Public License is intended to guarantee your freedom to +share and change all versions of a program--to make sure it remains free +software for all its users. We, the Free Software Foundation, use the +GNU General Public License for most of our software; it applies also to +any other work released this way by its authors. You can apply it to +your programs, too. + + When we speak of free software, we are referring to freedom, not +price. Our General Public Licenses are designed to make sure that you +have the freedom to distribute copies of free software (and charge for +them if you wish), that you receive source code or can get it if you +want it, that you can change the software or use pieces of it in new +free programs, and that you know you can do these things. + + To protect your rights, we need to prevent others from denying you +these rights or asking you to surrender the rights. Therefore, you have +certain responsibilities if you distribute copies of the software, or if +you modify it: responsibilities to respect the freedom of others. + + For example, if you distribute copies of such a program, whether +gratis or for a fee, you must pass on to the recipients the same +freedoms that you received. You must make sure that they, too, receive +or can get the source code. And you must show them these terms so they +know their rights. + + Developers that use the GNU GPL protect your rights with two steps: +(1) assert copyright on the software, and (2) offer you this License +giving you legal permission to copy, distribute and/or modify it. + + For the developers' and authors' protection, the GPL clearly explains +that there is no warranty for this free software. For both users' and +authors' sake, the GPL requires that modified versions be marked as +changed, so that their problems will not be attributed erroneously to +authors of previous versions. + + Some devices are designed to deny users access to install or run +modified versions of the software inside them, although the manufacturer +can do so. This is fundamentally incompatible with the aim of +protecting users' freedom to change the software. The systematic +pattern of such abuse occurs in the area of products for individuals to +use, which is precisely where it is most unacceptable. Therefore, we +have designed this version of the GPL to prohibit the practice for those +products. If such problems arise substantially in other domains, we +stand ready to extend this provision to those domains in future versions +of the GPL, as needed to protect the freedom of users. + + Finally, every program is threatened constantly by software patents. +States should not allow patents to restrict development and use of +software on general-purpose computers, but in those that do, we wish to +avoid the special danger that patents applied to a free program could +make it effectively proprietary. To prevent this, the GPL assures that +patents cannot be used to render the program non-free. + + The precise terms and conditions for copying, distribution and +modification follow. + + TERMS AND CONDITIONS + + 0. Definitions. + + "This License" refers to version 3 of the GNU General Public License. + + "Copyright" also means copyright-like laws that apply to other kinds of +works, such as semiconductor masks. + + "The Program" refers to any copyrightable work licensed under this +License. Each licensee is addressed as "you". "Licensees" and +"recipients" may be individuals or organizations. + + To "modify" a work means to copy from or adapt all or part of the work +in a fashion requiring copyright permission, other than the making of an +exact copy. The resulting work is called a "modified version" of the +earlier work or a work "based on" the earlier work. + + A "covered work" means either the unmodified Program or a work based +on the Program. + + To "propagate" a work means to do anything with it that, without +permission, would make you directly or secondarily liable for +infringement under applicable copyright law, except executing it on a +computer or modifying a private copy. Propagation includes copying, +distribution (with or without modification), making available to the +public, and in some countries other activities as well. + + To "convey" a work means any kind of propagation that enables other +parties to make or receive copies. Mere interaction with a user through +a computer network, with no transfer of a copy, is not conveying. + + An interactive user interface displays "Appropriate Legal Notices" +to the extent that it includes a convenient and prominently visible +feature that (1) displays an appropriate copyright notice, and (2) +tells the user that there is no warranty for the work (except to the +extent that warranties are provided), that licensees may convey the +work under this License, and how to view a copy of this License. If +the interface presents a list of user commands or options, such as a +menu, a prominent item in the list meets this criterion. + + 1. Source Code. + + The "source code" for a work means the preferred form of the work +for making modifications to it. "Object code" means any non-source +form of a work. + + A "Standard Interface" means an interface that either is an official +standard defined by a recognized standards body, or, in the case of +interfaces specified for a particular programming language, one that +is widely used among developers working in that language. + + The "System Libraries" of an executable work include anything, other +than the work as a whole, that (a) is included in the normal form of +packaging a Major Component, but which is not part of that Major +Component, and (b) serves only to enable use of the work with that +Major Component, or to implement a Standard Interface for which an +implementation is available to the public in source code form. A +"Major Component", in this context, means a major essential component +(kernel, window system, and so on) of the specific operating system +(if any) on which the executable work runs, or a compiler used to +produce the work, or an object code interpreter used to run it. + + The "Corresponding Source" for a work in object code form means all +the source code needed to generate, install, and (for an executable +work) run the object code and to modify the work, including scripts to +control those activities. However, it does not include the work's +System Libraries, or general-purpose tools or generally available free +programs which are used unmodified in performing those activities but +which are not part of the work. For example, Corresponding Source +includes interface definition files associated with source files for +the work, and the source code for shared libraries and dynamically +linked subprograms that the work is specifically designed to require, +such as by intimate data communication or control flow between those +subprograms and other parts of the work. + + The Corresponding Source need not include anything that users +can regenerate automatically from other parts of the Corresponding +Source. + + The Corresponding Source for a work in source code form is that +same work. + + 2. Basic Permissions. + + All rights granted under this License are granted for the term of +copyright on the Program, and are irrevocable provided the stated +conditions are met. This License explicitly affirms your unlimited +permission to run the unmodified Program. The output from running a +covered work is covered by this License only if the output, given its +content, constitutes a covered work. This License acknowledges your +rights of fair use or other equivalent, as provided by copyright law. + + You may make, run and propagate covered works that you do not +convey, without conditions so long as your license otherwise remains +in force. You may convey covered works to others for the sole purpose +of having them make modifications exclusively for you, or provide you +with facilities for running those works, provided that you comply with +the terms of this License in conveying all material for which you do +not control copyright. Those thus making or running the covered works +for you must do so exclusively on your behalf, under your direction +and control, on terms that prohibit them from making any copies of +your copyrighted material outside their relationship with you. + + Conveying under any other circumstances is permitted solely under +the conditions stated below. Sublicensing is not allowed; section 10 +makes it unnecessary. + + 3. Protecting Users' Legal Rights From Anti-Circumvention Law. + + No covered work shall be deemed part of an effective technological +measure under any applicable law fulfilling obligations under article +11 of the WIPO copyright treaty adopted on 20 December 1996, or +similar laws prohibiting or restricting circumvention of such +measures. + + When you convey a covered work, you waive any legal power to forbid +circumvention of technological measures to the extent such circumvention +is effected by exercising rights under this License with respect to +the covered work, and you disclaim any intention to limit operation or +modification of the work as a means of enforcing, against the work's +users, your or third parties' legal rights to forbid circumvention of +technological measures. + + 4. Conveying Verbatim Copies. + + You may convey verbatim copies of the Program's source code as you +receive it, in any medium, provided that you conspicuously and +appropriately publish on each copy an appropriate copyright notice; +keep intact all notices stating that this License and any +non-permissive terms added in accord with section 7 apply to the code; +keep intact all notices of the absence of any warranty; and give all +recipients a copy of this License along with the Program. + + You may charge any price or no price for each copy that you convey, +and you may offer support or warranty protection for a fee. + + 5. Conveying Modified Source Versions. + + You may convey a work based on the Program, or the modifications to +produce it from the Program, in the form of source code under the +terms of section 4, provided that you also meet all of these conditions: + + a) The work must carry prominent notices stating that you modified + it, and giving a relevant date. + + b) The work must carry prominent notices stating that it is + released under this License and any conditions added under section + 7. This requirement modifies the requirement in section 4 to + "keep intact all notices". + + c) You must license the entire work, as a whole, under this + License to anyone who comes into possession of a copy. This + License will therefore apply, along with any applicable section 7 + additional terms, to the whole of the work, and all its parts, + regardless of how they are packaged. This License gives no + permission to license the work in any other way, but it does not + invalidate such permission if you have separately received it. + + d) If the work has interactive user interfaces, each must display + Appropriate Legal Notices; however, if the Program has interactive + interfaces that do not display Appropriate Legal Notices, your + work need not make them do so. + + A compilation of a covered work with other separate and independent +works, which are not by their nature extensions of the covered work, +and which are not combined with it such as to form a larger program, +in or on a volume of a storage or distribution medium, is called an +"aggregate" if the compilation and its resulting copyright are not +used to limit the access or legal rights of the compilation's users +beyond what the individual works permit. Inclusion of a covered work +in an aggregate does not cause this License to apply to the other +parts of the aggregate. + + 6. Conveying Non-Source Forms. + + You may convey a covered work in object code form under the terms +of sections 4 and 5, provided that you also convey the +machine-readable Corresponding Source under the terms of this License, +in one of these ways: + + a) Convey the object code in, or embodied in, a physical product + (including a physical distribution medium), accompanied by the + Corresponding Source fixed on a durable physical medium + customarily used for software interchange. + + b) Convey the object code in, or embodied in, a physical product + (including a physical distribution medium), accompanied by a + written offer, valid for at least three years and valid for as + long as you offer spare parts or customer support for that product + model, to give anyone who possesses the object code either (1) a + copy of the Corresponding Source for all the software in the + product that is covered by this License, on a durable physical + medium customarily used for software interchange, for a price no + more than your reasonable cost of physically performing this + conveying of source, or (2) access to copy the + Corresponding Source from a network server at no charge. + + c) Convey individual copies of the object code with a copy of the + written offer to provide the Corresponding Source. This + alternative is allowed only occasionally and noncommercially, and + only if you received the object code with such an offer, in accord + with subsection 6b. + + d) Convey the object code by offering access from a designated + place (gratis or for a charge), and offer equivalent access to the + Corresponding Source in the same way through the same place at no + further charge. You need not require recipients to copy the + Corresponding Source along with the object code. If the place to + copy the object code is a network server, the Corresponding Source + may be on a different server (operated by you or a third party) + that supports equivalent copying facilities, provided you maintain + clear directions next to the object code saying where to find the + Corresponding Source. Regardless of what server hosts the + Corresponding Source, you remain obligated to ensure that it is + available for as long as needed to satisfy these requirements. + + e) Convey the object code using peer-to-peer transmission, provided + you inform other peers where the object code and Corresponding + Source of the work are being offered to the general public at no + charge under subsection 6d. + + A separable portion of the object code, whose source code is excluded +from the Corresponding Source as a System Library, need not be +included in conveying the object code work. + + A "User Product" is either (1) a "consumer product", which means any +tangible personal property which is normally used for personal, family, +or household purposes, or (2) anything designed or sold for incorporation +into a dwelling. In determining whether a product is a consumer product, +doubtful cases shall be resolved in favor of coverage. For a particular +product received by a particular user, "normally used" refers to a +typical or common use of that class of product, regardless of the status +of the particular user or of the way in which the particular user +actually uses, or expects or is expected to use, the product. A product +is a consumer product regardless of whether the product has substantial +commercial, industrial or non-consumer uses, unless such uses represent +the only significant mode of use of the product. + + "Installation Information" for a User Product means any methods, +procedures, authorization keys, or other information required to install +and execute modified versions of a covered work in that User Product from +a modified version of its Corresponding Source. The information must +suffice to ensure that the continued functioning of the modified object +code is in no case prevented or interfered with solely because +modification has been made. + + If you convey an object code work under this section in, or with, or +specifically for use in, a User Product, and the conveying occurs as +part of a transaction in which the right of possession and use of the +User Product is transferred to the recipient in perpetuity or for a +fixed term (regardless of how the transaction is characterized), the +Corresponding Source conveyed under this section must be accompanied +by the Installation Information. But this requirement does not apply +if neither you nor any third party retains the ability to install +modified object code on the User Product (for example, the work has +been installed in ROM). + + The requirement to provide Installation Information does not include a +requirement to continue to provide support service, warranty, or updates +for a work that has been modified or installed by the recipient, or for +the User Product in which it has been modified or installed. Access to a +network may be denied when the modification itself materially and +adversely affects the operation of the network or violates the rules and +protocols for communication across the network. + + Corresponding Source conveyed, and Installation Information provided, +in accord with this section must be in a format that is publicly +documented (and with an implementation available to the public in +source code form), and must require no special password or key for +unpacking, reading or copying. + + 7. Additional Terms. + + "Additional permissions" are terms that supplement the terms of this +License by making exceptions from one or more of its conditions. +Additional permissions that are applicable to the entire Program shall +be treated as though they were included in this License, to the extent +that they are valid under applicable law. If additional permissions +apply only to part of the Program, that part may be used separately +under those permissions, but the entire Program remains governed by +this License without regard to the additional permissions. + + When you convey a copy of a covered work, you may at your option +remove any additional permissions from that copy, or from any part of +it. (Additional permissions may be written to require their own +removal in certain cases when you modify the work.) You may place +additional permissions on material, added by you to a covered work, +for which you have or can give appropriate copyright permission. + + Notwithstanding any other provision of this License, for material you +add to a covered work, you may (if authorized by the copyright holders of +that material) supplement the terms of this License with terms: + + a) Disclaiming warranty or limiting liability differently from the + terms of sections 15 and 16 of this License; or + + b) Requiring preservation of specified reasonable legal notices or + author attributions in that material or in the Appropriate Legal + Notices displayed by works containing it; or + + c) Prohibiting misrepresentation of the origin of that material, or + requiring that modified versions of such material be marked in + reasonable ways as different from the original version; or + + d) Limiting the use for publicity purposes of names of licensors or + authors of the material; or + + e) Declining to grant rights under trademark law for use of some + trade names, trademarks, or service marks; or + + f) Requiring indemnification of licensors and authors of that + material by anyone who conveys the material (or modified versions of + it) with contractual assumptions of liability to the recipient, for + any liability that these contractual assumptions directly impose on + those licensors and authors. + + All other non-permissive additional terms are considered "further +restrictions" within the meaning of section 10. If the Program as you +received it, or any part of it, contains a notice stating that it is +governed by this License along with a term that is a further +restriction, you may remove that term. If a license document contains +a further restriction but permits relicensing or conveying under this +License, you may add to a covered work material governed by the terms +of that license document, provided that the further restriction does +not survive such relicensing or conveying. + + If you add terms to a covered work in accord with this section, you +must place, in the relevant source files, a statement of the +additional terms that apply to those files, or a notice indicating +where to find the applicable terms. + + Additional terms, permissive or non-permissive, may be stated in the +form of a separately written license, or stated as exceptions; +the above requirements apply either way. + + 8. Termination. + + You may not propagate or modify a covered work except as expressly +provided under this License. Any attempt otherwise to propagate or +modify it is void, and will automatically terminate your rights under +this License (including any patent licenses granted under the third +paragraph of section 11). + + However, if you cease all violation of this License, then your +license from a particular copyright holder is reinstated (a) +provisionally, unless and until the copyright holder explicitly and +finally terminates your license, and (b) permanently, if the copyright +holder fails to notify you of the violation by some reasonable means +prior to 60 days after the cessation. + + Moreover, your license from a particular copyright holder is +reinstated permanently if the copyright holder notifies you of the +violation by some reasonable means, this is the first time you have +received notice of violation of this License (for any work) from that +copyright holder, and you cure the violation prior to 30 days after +your receipt of the notice. + + Termination of your rights under this section does not terminate the +licenses of parties who have received copies or rights from you under +this License. If your rights have been terminated and not permanently +reinstated, you do not qualify to receive new licenses for the same +material under section 10. + + 9. Acceptance Not Required for Having Copies. + + You are not required to accept this License in order to receive or +run a copy of the Program. Ancillary propagation of a covered work +occurring solely as a consequence of using peer-to-peer transmission +to receive a copy likewise does not require acceptance. However, +nothing other than this License grants you permission to propagate or +modify any covered work. These actions infringe copyright if you do +not accept this License. Therefore, by modifying or propagating a +covered work, you indicate your acceptance of this License to do so. + + 10. Automatic Licensing of Downstream Recipients. + + Each time you convey a covered work, the recipient automatically +receives a license from the original licensors, to run, modify and +propagate that work, subject to this License. You are not responsible +for enforcing compliance by third parties with this License. + + An "entity transaction" is a transaction transferring control of an +organization, or substantially all assets of one, or subdividing an +organization, or merging organizations. If propagation of a covered +work results from an entity transaction, each party to that +transaction who receives a copy of the work also receives whatever +licenses to the work the party's predecessor in interest had or could +give under the previous paragraph, plus a right to possession of the +Corresponding Source of the work from the predecessor in interest, if +the predecessor has it or can get it with reasonable efforts. + + You may not impose any further restrictions on the exercise of the +rights granted or affirmed under this License. For example, you may +not impose a license fee, royalty, or other charge for exercise of +rights granted under this License, and you may not initiate litigation +(including a cross-claim or counterclaim in a lawsuit) alleging that +any patent claim is infringed by making, using, selling, offering for +sale, or importing the Program or any portion of it. + + 11. Patents. + + A "contributor" is a copyright holder who authorizes use under this +License of the Program or a work on which the Program is based. The +work thus licensed is called the contributor's "contributor version". + + A contributor's "essential patent claims" are all patent claims +owned or controlled by the contributor, whether already acquired or +hereafter acquired, that would be infringed by some manner, permitted +by this License, of making, using, or selling its contributor version, +but do not include claims that would be infringed only as a +consequence of further modification of the contributor version. For +purposes of this definition, "control" includes the right to grant +patent sublicenses in a manner consistent with the requirements of +this License. + + Each contributor grants you a non-exclusive, worldwide, royalty-free +patent license under the contributor's essential patent claims, to +make, use, sell, offer for sale, import and otherwise run, modify and +propagate the contents of its contributor version. + + In the following three paragraphs, a "patent license" is any express +agreement or commitment, however denominated, not to enforce a patent +(such as an express permission to practice a patent or covenant not to +sue for patent infringement). To "grant" such a patent license to a +party means to make such an agreement or commitment not to enforce a +patent against the party. + + If you convey a covered work, knowingly relying on a patent license, +and the Corresponding Source of the work is not available for anyone +to copy, free of charge and under the terms of this License, through a +publicly available network server or other readily accessible means, +then you must either (1) cause the Corresponding Source to be so +available, or (2) arrange to deprive yourself of the benefit of the +patent license for this particular work, or (3) arrange, in a manner +consistent with the requirements of this License, to extend the patent +license to downstream recipients. "Knowingly relying" means you have +actual knowledge that, but for the patent license, your conveying the +covered work in a country, or your recipient's use of the covered work +in a country, would infringe one or more identifiable patents in that +country that you have reason to believe are valid. + + If, pursuant to or in connection with a single transaction or +arrangement, you convey, or propagate by procuring conveyance of, a +covered work, and grant a patent license to some of the parties +receiving the covered work authorizing them to use, propagate, modify +or convey a specific copy of the covered work, then the patent license +you grant is automatically extended to all recipients of the covered +work and works based on it. + + A patent license is "discriminatory" if it does not include within +the scope of its coverage, prohibits the exercise of, or is +conditioned on the non-exercise of one or more of the rights that are +specifically granted under this License. You may not convey a covered +work if you are a party to an arrangement with a third party that is +in the business of distributing software, under which you make payment +to the third party based on the extent of your activity of conveying +the work, and under which the third party grants, to any of the +parties who would receive the covered work from you, a discriminatory +patent license (a) in connection with copies of the covered work +conveyed by you (or copies made from those copies), or (b) primarily +for and in connection with specific products or compilations that +contain the covered work, unless you entered into that arrangement, +or that patent license was granted, prior to 28 March 2007. + + Nothing in this License shall be construed as excluding or limiting +any implied license or other defenses to infringement that may +otherwise be available to you under applicable patent law. + + 12. No Surrender of Others' Freedom. + + If conditions are imposed on you (whether by court order, agreement or +otherwise) that contradict the conditions of this License, they do not +excuse you from the conditions of this License. If you cannot convey a +covered work so as to satisfy simultaneously your obligations under this +License and any other pertinent obligations, then as a consequence you may +not convey it at all. For example, if you agree to terms that obligate you +to collect a royalty for further conveying from those to whom you convey +the Program, the only way you could satisfy both those terms and this +License would be to refrain entirely from conveying the Program. + + 13. Use with the GNU Affero General Public License. + + Notwithstanding any other provision of this License, you have +permission to link or combine any covered work with a work licensed +under version 3 of the GNU Affero General Public License into a single +combined work, and to convey the resulting work. The terms of this +License will continue to apply to the part which is the covered work, +but the special requirements of the GNU Affero General Public License, +section 13, concerning interaction through a network will apply to the +combination as such. + + 14. Revised Versions of this License. + + The Free Software Foundation may publish revised and/or new versions of +the GNU General Public License from time to time. Such new versions will +be similar in spirit to the present version, but may differ in detail to +address new problems or concerns. + + Each version is given a distinguishing version number. If the +Program specifies that a certain numbered version of the GNU General +Public License "or any later version" applies to it, you have the +option of following the terms and conditions either of that numbered +version or of any later version published by the Free Software +Foundation. If the Program does not specify a version number of the +GNU General Public License, you may choose any version ever published +by the Free Software Foundation. + + If the Program specifies that a proxy can decide which future +versions of the GNU General Public License can be used, that proxy's +public statement of acceptance of a version permanently authorizes you +to choose that version for the Program. + + Later license versions may give you additional or different +permissions. However, no additional obligations are imposed on any +author or copyright holder as a result of your choosing to follow a +later version. + + 15. Disclaimer of Warranty. + + THERE IS NO WARRANTY FOR THE PROGRAM, TO THE EXTENT PERMITTED BY +APPLICABLE LAW. EXCEPT WHEN OTHERWISE STATED IN WRITING THE COPYRIGHT +HOLDERS AND/OR OTHER PARTIES PROVIDE THE PROGRAM "AS IS" WITHOUT WARRANTY +OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, +THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR +PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE OF THE PROGRAM +IS WITH YOU. SHOULD THE PROGRAM PROVE DEFECTIVE, YOU ASSUME THE COST OF +ALL NECESSARY SERVICING, REPAIR OR CORRECTION. + + 16. Limitation of Liability. + + IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING +WILL ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MODIFIES AND/OR CONVEYS +THE PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES, INCLUDING ANY +GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF THE +USE OR INABILITY TO USE THE PROGRAM (INCLUDING BUT NOT LIMITED TO LOSS OF +DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED BY YOU OR THIRD +PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER PROGRAMS), +EVEN IF SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE POSSIBILITY OF +SUCH DAMAGES. + + 17. Interpretation of Sections 15 and 16. + + If the disclaimer of warranty and limitation of liability provided +above cannot be given local legal effect according to their terms, +reviewing courts shall apply local law that most closely approximates +an absolute waiver of all civil liability in connection with the +Program, unless a warranty or assumption of liability accompanies a +copy of the Program in return for a fee. + + END OF TERMS AND CONDITIONS + + How to Apply These Terms to Your New Programs + + If you develop a new program, and you want it to be of the greatest +possible use to the public, the best way to achieve this is to make it +free software which everyone can redistribute and change under these terms. + + To do so, attach the following notices to the program. It is safest +to attach them to the start of each source file to most effectively +state the exclusion of warranty; and each file should have at least +the "copyright" line and a pointer to where the full notice is found. + + + Copyright (C) + + This program is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation, either version 3 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see . + +Also add information on how to contact you by electronic and paper mail. + + If the program does terminal interaction, make it output a short +notice like this when it starts in an interactive mode: + + Copyright (C) + This program comes with ABSOLUTELY NO WARRANTY; for details type \`show w'. + This is free software, and you are welcome to redistribute it + under certain conditions; type \`show c' for details. + +The hypothetical commands \`show w' and \`show c' should show the appropriate +parts of the General Public License. Of course, your program's commands +might be different; for a GUI interface, you would use an "about box". + + You should also get your employer (if you work as a programmer) or school, +if any, to sign a "copyright disclaimer" for the program, if necessary. +For more information on this, and how to apply and follow the GNU GPL, see +. + + The GNU General Public License does not permit incorporating your program +into proprietary programs. If your program is a subroutine library, you +may consider it more useful to permit linking proprietary applications with +the library. If this is what you want to do, use the GNU Lesser General +Public License instead of this License. But first, please read +. +`;var ki=T('
        '),Si=T('

        KeY-τ

        A user interface for the KeY prover family.

        Licensed under
        ');function xi(t,e){fe(e,!0);let n=X(!1);zt(t,{get open(){return e.open},get onclose(){return e.onClose},children:(r,a)=>{var s=Si(),i=b(v(s),2),h=v(i);c(i);var d=b(i,4),l=b(v(d)),u=v(l,!0);c(l);var k=b(l,2),m=v(k,!0);c(k),c(d);var _=b(d,2);{var g=P=>{var f=ki(),y=v(f,!0);c(f),B(()=>W(y,_i)),p(P,f)};H(_,P=>{o(n)&&P(g)})}c(s),B(()=>{W(h,`Version ${Nn.version}`),W(u,Nn.license),W(m,o(n)?"Hide license text":"Show license text")}),z("click",k,()=>O(n,!o(n))),p(r,s)},$$slots:{default:!0}}),ve()}ge(["click"]);var Ti=T('
        '),Ei=Mn(''),Ii=T(''),Ai=T(" ",1),Ci=T('
        ');function Pi(t,e){fe(e,!0);var n=Ci();me(n,21,()=>Vr,r=>r.id,(r,a)=>{var s=Se(),i=ne(s);{var h=l=>{var u=Ai(),k=ne(u);{var m=f=>{var y=Ti();p(f,y)};H(k,f=>{var y;(y=o(a).toolbar)!=null&&y.sep&&f(m)})}var _=b(k,2);{var g=f=>{var y=Se(),F=ne(y);qt(F,()=>o(a).toolbar.component,(D,L)=>{L(D,{get ctx(){return e.ctx}})}),p(f,y)},P=f=>{var y=Ii(),F=v(y);{var D=N=>{var G=Ei();hr(G,()=>o(a).icon,!0),c(G),p(N,G)};H(F,N=>{o(a).icon&&N(D)})}var L=b(F);c(y),B((N,G)=>{var U;y.disabled=N,Fe(y,"title",G),W(L,` ${((U=o(a).toolbar)==null?void 0:U.label)??o(a).label??""}`)},[()=>{var N,G;return!(((G=(N=o(a)).enabled)==null?void 0:G.call(N,e.ctx))??!0)},()=>o(a).shortcut?`${o(a).label} (${Gt(o(a).shortcut)})`:o(a).label]),z("click",y,()=>o(a).run(e.ctx)),p(f,y)};H(_,f=>{var y;(y=o(a).toolbar)!=null&&y.component?f(g):f(P,-1)})}p(l,u)},d=de(()=>{var l,u;return((u=(l=o(a)).visible)==null?void 0:u.call(l,e.ctx))??!0});H(i,l=>{o(d)&&l(h)})}p(r,s)}),c(n),p(t,n),ve()}ge(["click"]);var Ct;class Oi{constructor(){pt(this,Ct,X(0))}get count(){return o(Ge(this,Ct))}notify(){ir(Ge(this,Ct))}}Ct=new WeakMap;const ao="key-tau.recentFiles",Li="keyui.recentFiles",Ni=5,Ri=[{name:"Key files",extensions:["key","proof","sol"]},{name:"All Files",extensions:["*"]}];function Mi(){try{return JSON.parse(localStorage.getItem(ao)??localStorage.getItem(Li)??"[]")}catch{return[]}}var Pt;class Di{constructor(e,n){pt(this,Pt,X(je(Mi())));this.appState=e,this.onError=n}get recent(){return o(Ge(this,Pt))}set recent(e){O(Ge(this,Pt),e,!0)}pushRecent(e){this.recent=[e,...this.recent.filter(n=>n!==e)].slice(0,Ni),localStorage.setItem(ao,JSON.stringify(this.recent))}async activateProof(e){const n=this.appState;n.proof=e;const r=await n.client.proofTreeRoot(e);n.active_node=r.id}async open(e){try{const n=await this.appState.client.load({problemFile:e,includes:null});await this.activateProof(n),this.pushRecent(e)}catch(n){this.onError(n.toString())}}async openPicker(){if(!Ae){const n=await ji();if(n==null)return;try{const r=await this.appState.client.loadKey(n);await this.activateProof(r)}catch(r){this.onError(r.toString())}return}const e=await eo({multiple:!1,directory:!1,filters:Ri});e!=null&&await this.open(e)}async reopenLast(){this.recent.length>0&&await this.open(this.recent[0])}async saveProof(){const e=this.appState;if(e.proof)try{const n=Ae?await Oa({filters:[{name:"Proof files",extensions:["proof"]}]}):window.prompt("Save proof on the server as (absolute path):");n&&await e.client.saveProof(e.proof,n)}catch(n){this.onError(n.toString())}}}Pt=new WeakMap;function ji(){return new Promise(t=>{const e=document.createElement("input");e.type="file",e.accept=".key,.proof,.sol",e.onchange=async()=>{var r;const n=(r=e.files)==null?void 0:r[0];t(n?await n.text():null)},e.oncancel=()=>t(null),e.click()})}var Rn;(function(t){t.WINDOW_RESIZED="tauri://resize",t.WINDOW_MOVED="tauri://move",t.WINDOW_CLOSE_REQUESTED="tauri://close-requested",t.WINDOW_DESTROYED="tauri://destroyed",t.WINDOW_FOCUS="tauri://focus",t.WINDOW_BLUR="tauri://blur",t.WINDOW_SCALE_FACTOR_CHANGED="tauri://scale-change",t.WINDOW_THEME_CHANGED="tauri://theme-changed",t.WINDOW_CREATED="tauri://window-created",t.WEBVIEW_CREATED="tauri://webview-created",t.DRAG_ENTER="tauri://drag-enter",t.DRAG_OVER="tauri://drag-over",t.DRAG_DROP="tauri://drag-drop",t.DRAG_LEAVE="tauri://drag-leave"})(Rn||(Rn={}));async function Fi(t,e){window.__TAURI_EVENT_PLUGIN_INTERNALS__.unregisterListener(t,e),await ot("plugin:event|unlisten",{event:t,eventId:e})}async function qi(t,e,n){var r;const a=(r=void 0)!==null&&r!==void 0?r:{kind:"Any"};return ot("plugin:event|listen",{event:t,target:a,handler:fa(e)}).then(s=>async()=>Fi(t,s))}var Ot;class Gi{constructor(e,n){pt(this,Ot,X(null));this.appState=e,this.onError=n}get confirm(){return o(Ge(this,Ot))}set confirm(e){O(Ge(this,Ot),e,!0)}currentJarPath(){const e=pn(bt);return e.jarPaths[e.flavor]??null}async apply(e,{silent:n=!1}={}){const r=this.appState;try{if(!Ae||e.type==="websocket"){await this.connect(e,null);return}const a=e.type!=="tcp",s=a?this.currentJarPath():null;if(a&&!s){r.serverStatus="disconnected";return}if(e.type==="local-tcp"){const i=e.port,h=await r.client.probeTcp("localhost",i);if(h&&n){await this.connect({type:"tcp",host:"localhost",port:i},null);return}if(h){await this.askExistingOrRestart(e,s,i);return}}await this.connect(e,s)}catch(a){n||this.onError(a.toString()),r.serverStatus="disconnected"}}askExistingOrRestart(e,n,r){return new Promise(a=>{this.confirm={message:`A server is already running on localhost:${r}.`,yes:"Use existing server",no:"Start local JAR (restart)",onYes:async()=>{this.confirm=null,await this.connect({type:"tcp",host:"localhost",port:r},null),a()},onNo:async()=>{this.confirm=null,await this.connect(e,n),a()}}})}async connect(e,n){const r=this.appState;await r.client.connect(e,n),r.proof=null,r.active_node=null;try{const a=await r.client.proofList();if(a.length>0){const s=a[a.length-1];r.proof=s;const i=await r.client.proofTreeRoot(s);r.active_node=i.id,r.proofTreeChanged.notify()}}catch{}}async start(){return this.apply(pn(bt).connection,{silent:!0}),Ae?await qi("prover:status",e=>{this.appState.serverStatus=e.payload.connected?"connected":"disconnected"}):()=>{}}}Ot=new WeakMap;var zi=T('

        Error
        ',1),Ui=T('

        Server already running

        ',1),Hi=T('
        ',1),Yi=T('
        ');function $i(t,e){fe(e,!0);const n=()=>Vn(bt,"$preferences",r),[r,a]=Kn(),s=new ka;let i=je({client:s,proof:null,active_node:null,active_node_status:null,serverStatus:"disconnected",proofTreeChanged:new Oi,capabilities:sn(n().flavor).capabilities});s.onStatusChange=w=>{i.serverStatus=w};let h=X(null),d=X(!1),l=X(!1);const u=w=>O(h,w,!0),k=new Di(i,u),m=new Gi(i,u),_={appState:i,files:k,reportError:u,openPreferences:()=>O(d,!0),openAbout:()=>O(l,!0),quit:()=>ot("quit")};function g(w){var E,q;for(const j of Jr)if(Xr(w,j.shortcut)&&!(!(((E=j.visible)==null?void 0:E.call(j,_))??!0)||!(((q=j.enabled)==null?void 0:q.call(j,_))??!0))){w.preventDefault(),j.run(_);return}}let P=null;ln(async()=>{P=await m.start()}),_o(()=>{P==null||P()}),ke(()=>{const w=n().flavor;i.client.setFlavor(w),i.capabilities=sn(w).capabilities}),ke(()=>{const w=n(),E=document.documentElement;E.style.setProperty("--pref-font-family",w.fonts.global.family),E.style.setProperty("--base-font-size",w.fonts.global.size+"px")});let f=je(Object.fromEntries(dt.map(w=>[w.id,w.defaultFlex]))),y=X(null);function F(w,E){if(!o(y)||E===0)return;const q=o(y).clientWidth;if(q===0)return;const j=dt[w],oe=dt[w+1];if(!j||!oe)return;const K=dt.reduce((Z,$)=>Z+f[$.id],0),re=E/q*K,ue=K*.05,we=f[j.id]+f[oe.id];f[j.id]=Math.max(ue,Math.min(f[j.id]+re,we-ue)),f[oe.id]=we-f[j.id]}var D=Yi();ze("keydown",Yt,g);var L=v(D);ia(L,{get ctx(){return _}});var N=b(L,2);{var G=w=>{zt(w,{open:!0,onclose:()=>O(h,null),children:(E,q)=>{var j=zi(),oe=b(ne(j),2),K=v(oe),re=v(K,!0);c(K),c(oe),B(()=>W(re,o(h))),p(E,j)},$$slots:{default:!0}})};H(N,w=>{o(h)&&w(G)})}var U=b(N,2);{var V=w=>{zt(w,{open:!0,get onclose(){return m.confirm.onNo},closeOnBackdrop:!1,children:(E,q)=>{var j=Ui(),oe=b(ne(j),2),K=v(oe,!0);c(oe);var re=b(oe,2),ue=v(re),we=v(ue,!0);c(ue);var Z=b(ue,2),$=v(Z,!0);c(Z),c(re),B(()=>{W(K,m.confirm.message),W(we,m.confirm.no),W($,m.confirm.yes)}),z("click",ue,function(...ee){var I;(I=m.confirm.onNo)==null||I.apply(this,ee)}),z("click",Z,function(...ee){var I;(I=m.confirm.onYes)==null||I.apply(this,ee)}),p(E,j)},$$slots:{default:!0}})};H(U,w=>{m.confirm&&w(V)})}var Y=b(U,2);yi(Y,{get open(){return o(d)},onApply:w=>m.apply(w),onClose:()=>O(d,!1)});var x=b(Y,2);xi(x,{get open(){return o(l)},onClose:()=>O(l,!1)});var R=b(x,2);Pi(R,{get ctx(){return _}});var C=b(R,2);me(C,23,()=>dt,w=>w.id,(w,E,q)=>{const j=de(()=>Pa(n(),o(E).id));var oe=Hi(),K=ne(oe);{var re=ee=>{ro(ee,{onDrag:I=>F(o(q)-1,I)})};H(K,ee=>{o(q)>0&&ee(re)})}var ue=b(K,2),we=v(ue);{var Z=ee=>{var I=Se(),Q=ne(I);qt(Q,()=>o(E).component,(te,le)=>{le(te,{get appState(){return i}})}),p(ee,I)},$=ee=>{Zn(ee,{children:(I,Q)=>{var te=Se(),le=ne(te);qt(le,()=>o(E).component,(ce,se)=>{se(ce,{get appState(){return i}})}),p(I,te)}})};H(we,ee=>{o(E).chrome==="bare"?ee(Z):ee($,-1)})}c(ue),B(()=>et(ue,`flex: ${f[o(E).id]??""} 1 0; min-width: ${o(E).minWidth??""}px; + --pane-font-size: ${o(j).size??""}px; --pane-font-family: ${o(j).family??""};`)),p(w,oe)}),c(C),nt(C,w=>O(y,w),()=>o(y));var S=b(C,2);ua(S,{get appState(){return i},onReconnect:w=>m.apply(w)}),c(D),p(t,D),ve(),a()}ge(["click"]);export{$i as _,ot as i}; diff --git a/keyext.web/src/main/resources/static/_app/immutable/entry/app.Ct5uxRNT.js b/keyext.web/src/main/resources/static/_app/immutable/entry/app.Ct5uxRNT.js new file mode 100644 index 00000000000..80d9d9d8ce5 --- /dev/null +++ b/keyext.web/src/main/resources/static/_app/immutable/entry/app.Ct5uxRNT.js @@ -0,0 +1,2 @@ +const __vite__mapDeps=(i,m=__vite__mapDeps,d=(m.f||(m.f=["../nodes/0.D0Qjos9c.js","../chunks/CoTS-PA8.js","../chunks/B8xKMZX0.js","../chunks/DcP_HY-I.js","../chunks/o-yfdNR1.js","../assets/0.CRlOUIgK.css","../nodes/1.DRmI-41c.js","../chunks/CzhP5laV.js","../chunks/CwrZi-qA.js","../chunks/DOHFA51K.js","../nodes/2.BasKfaR4.js","../chunks/rkAS4Fq4.js","../chunks/7wWjHvTU.js","../assets/2.8lJ0UuPL.css"])))=>i.map(i=>d[i]); +var F=e=>{throw TypeError(e)};var G=(e,t,r)=>t.has(e)||F("Cannot "+r);var n=(e,t,r)=>(G(e,t,"read from private field"),r?r.call(e):t.get(e)),R=(e,t,r)=>t.has(e)?F("Cannot add the same private member more than once"):t instanceof WeakSet?t.add(e):t.set(e,r),j=(e,t,r,o)=>(G(e,t,"write to private field"),o?o.call(e,r):t.set(e,r),r);import{p as k,i as w,c as L,b as A,_ as C}from"../chunks/7wWjHvTU.js";import{I as x,L as U,J as d,K as W,M as X,N as Z,i as p,O as $,F as tt,P as et,g as O,j as rt,k as st,Q as I,l as at,n as nt,t as ot,S}from"../chunks/B8xKMZX0.js";import{h as ct,m as it,u as ut,s as mt}from"../chunks/CzhP5laV.js";import{a as y,c as D,f as J,t as dt}from"../chunks/CoTS-PA8.js";import{o as ft}from"../chunks/DOHFA51K.js";const kt={};function lt(e){return class extends _t{constructor(t){super({component:e,...t})}}}var f,i;class _t{constructor(t){R(this,f);R(this,i);var v;var r=new Map,o=(s,a)=>{var l=Z(a,!1,!1);return r.set(s,l),l};const m=new Proxy({...t.props||{},$$events:{}},{get(s,a){return d(r.get(a)??o(a,Reflect.get(s,a)))},has(s,a){return a===U?!0:(d(r.get(a)??o(a,Reflect.get(s,a))),Reflect.has(s,a))},set(s,a,l){return x(r.get(a)??o(a,l),l),Reflect.set(s,a,l)}});j(this,i,(t.hydrate?ct:it)(t.component,{target:t.target,anchor:t.anchor,props:m,context:t.context,intro:t.intro??!1,recover:t.recover,transformError:t.transformError})),(!((v=t==null?void 0:t.props)!=null&&v.$$host)||t.sync===!1)&&W(),j(this,f,m.$$events);for(const s of Object.keys(n(this,i)))s==="$set"||s==="$destroy"||s==="$on"||X(this,s,{get(){return n(this,i)[s]},set(a){n(this,i)[s]=a},enumerable:!0});n(this,i).$set=s=>{Object.assign(m,s)},n(this,i).$destroy=()=>{ut(n(this,i))}}$set(t){n(this,i).$set(t)}$on(t,r){n(this,f)[t]=n(this,f)[t]||[];const o=(...m)=>r.call(this,...m);return n(this,f)[t].push(o),()=>{n(this,f)[t]=n(this,f)[t].filter(m=>m!==o)}}$destroy(){n(this,i).$destroy()}}f=new WeakMap,i=new WeakMap;var ht=J('
        '),gt=J(" ",1);function vt(e,t){p(t,!0);let r=k(t,"components",23,()=>[]),o=k(t,"data_0",3,null),m=k(t,"data_1",3,null);$(()=>t.stores.page.set(t.page)),tt(()=>{t.stores,t.page,t.constructors,r(),t.form,o(),m(),t.stores.page.notify()});let v=I(!1),s=I(!1),a=I(null);ft(()=>{const c=t.stores.page.subscribe(()=>{d(v)&&(x(s,!0),et().then(()=>{x(a,document.title||"untitled page",!0)}))});return x(v,!0),c});const l=S(()=>t.constructors[1]);var M=gt(),T=O(M);{var N=c=>{const _=S(()=>t.constructors[0]);var h=D(),E=O(h);L(E,()=>d(_),(g,b)=>{A(b(g,{get data(){return o()},get form(){return t.form},get params(){return t.page.params},children:(u,yt)=>{var V=D(),z=O(V);L(z,()=>d(l),(B,H)=>{A(H(B,{get data(){return m()},get form(){return t.form},get params(){return t.page.params}}),P=>r()[1]=P,()=>{var P;return(P=r())==null?void 0:P[1]})}),y(u,V)},$$slots:{default:!0}}),u=>r()[0]=u,()=>{var u;return(u=r())==null?void 0:u[0]})}),y(c,h)},Q=c=>{const _=S(()=>t.constructors[0]);var h=D(),E=O(h);L(E,()=>d(_),(g,b)=>{A(b(g,{get data(){return o()},get form(){return t.form},get params(){return t.page.params}}),u=>r()[0]=u,()=>{var u;return(u=r())==null?void 0:u[0]})}),y(c,h)};w(T,c=>{t.constructors[1]?c(N):c(Q,-1)})}var Y=rt(T,2);{var q=c=>{var _=ht(),h=at(_);{var E=g=>{var b=dt();ot(()=>mt(b,d(a))),y(g,b)};w(h,g=>{d(s)&&g(E)})}nt(_),y(c,_)};w(Y,c=>{d(v)&&c(q)})}y(e,M),st()}const wt=lt(vt),Lt=[()=>C(()=>import("../nodes/0.D0Qjos9c.js"),__vite__mapDeps([0,1,2,3,4,5]),import.meta.url),()=>C(()=>import("../nodes/1.DRmI-41c.js"),__vite__mapDeps([6,1,2,7,8,9]),import.meta.url),()=>C(()=>import("../nodes/2.BasKfaR4.js"),__vite__mapDeps([10,11,1,2,9,7,12,4,3,13]),import.meta.url)],At=[],Ct={"/":[2]},K={handleError:(({error:e})=>{console.error(e)}),reroute:(()=>{}),transport:{}},bt=Object.fromEntries(Object.entries(K.transport).map(([e,t])=>[e,t.decode])),It=Object.fromEntries(Object.entries(K.transport).map(([e,t])=>[e,t.encode])),St=!1,Dt=(e,t)=>bt[e](t);export{Dt as decode,bt as decoders,Ct as dictionary,It as encoders,St as hash,K as hooks,kt as matchers,Lt as nodes,wt as root,At as server_loads}; diff --git a/keyext.web/src/main/resources/static/_app/immutable/entry/start.BtwCXLFx.js b/keyext.web/src/main/resources/static/_app/immutable/entry/start.BtwCXLFx.js new file mode 100644 index 00000000000..cd5f2d5d627 --- /dev/null +++ b/keyext.web/src/main/resources/static/_app/immutable/entry/start.BtwCXLFx.js @@ -0,0 +1 @@ +import{l as o,a as r}from"../chunks/CwrZi-qA.js";export{o as load_css,r as start}; diff --git a/keyext.web/src/main/resources/static/_app/immutable/nodes/0.D0Qjos9c.js b/keyext.web/src/main/resources/static/_app/immutable/nodes/0.D0Qjos9c.js new file mode 100644 index 00000000000..c330a9e1b6b --- /dev/null +++ b/keyext.web/src/main/resources/static/_app/immutable/nodes/0.D0Qjos9c.js @@ -0,0 +1 @@ +import{c as a,a as n}from"../chunks/CoTS-PA8.js";import{g as s}from"../chunks/B8xKMZX0.js";import{s as i}from"../chunks/DcP_HY-I.js";const m=!1,f=Object.freeze(Object.defineProperty({__proto__:null,ssr:m},Symbol.toStringTag,{value:"Module"}));function u(e,t){var o=a(),r=s(o);i(r,()=>t.children),n(e,o)}export{u as component,f as universal}; diff --git a/keyext.web/src/main/resources/static/_app/immutable/nodes/1.DRmI-41c.js b/keyext.web/src/main/resources/static/_app/immutable/nodes/1.DRmI-41c.js new file mode 100644 index 00000000000..c7c58c3954c --- /dev/null +++ b/keyext.web/src/main/resources/static/_app/immutable/nodes/1.DRmI-41c.js @@ -0,0 +1 @@ +import{a as g,f as h}from"../chunks/CoTS-PA8.js";import{i as l,g as v,j as d,t as _,k as x,l as a,n as o}from"../chunks/B8xKMZX0.js";import{s as p}from"../chunks/CzhP5laV.js";import{s as k,p as m}from"../chunks/CwrZi-qA.js";const $={get error(){return m.error},get status(){return m.status}};k.updated.check;const n=$;var b=h("

        ",1);function y(c,f){l(f,!0);var t=b(),r=v(t),i=a(r,!0);o(r);var e=d(r,2),u=a(e,!0);o(e),_(()=>{var s;p(i,n.status),p(u,(s=n.error)==null?void 0:s.message)}),g(c,t),x()}export{y as component}; diff --git a/keyext.web/src/main/resources/static/_app/immutable/nodes/2.BasKfaR4.js b/keyext.web/src/main/resources/static/_app/immutable/nodes/2.BasKfaR4.js new file mode 100644 index 00000000000..5a76039daf0 --- /dev/null +++ b/keyext.web/src/main/resources/static/_app/immutable/nodes/2.BasKfaR4.js @@ -0,0 +1 @@ +import{_ as m}from"../chunks/rkAS4Fq4.js";export{m as component}; diff --git a/keyext.web/src/main/resources/static/_app/version.json b/keyext.web/src/main/resources/static/_app/version.json new file mode 100644 index 00000000000..3062051209c --- /dev/null +++ b/keyext.web/src/main/resources/static/_app/version.json @@ -0,0 +1 @@ +{"version":"1781184716198"} \ No newline at end of file diff --git a/keyext.web/src/main/resources/static/favicon.png b/keyext.web/src/main/resources/static/favicon.png new file mode 100644 index 0000000000000000000000000000000000000000..825b9e65af7c104cfb07089bb28659393b4f2097 GIT binary patch literal 1571 zcmV+;2Hg3HP)Px)-AP12RCwC$UE6KzI1p6{F2N z1VK2vi|pOpn{~#djwYcWXTI_im_u^TJgMZ4JMOsSj!0ma>B?-(Hr@X&W@|R-$}W@Z zgj#$x=!~7LGqHW?IO8+*oE1MyDp!G=L0#^lUx?;!fXv@l^6SvTnf^ac{5OurzC#ZMYc20lI%HhX816AYVs1T3heS1*WaWH z%;x>)-J}YB5#CLzU@GBR6sXYrD>Vw(Fmt#|JP;+}<#6b63Ike{Fuo!?M{yEffez;| zp!PfsuaC)>h>-AdbnwN13g*1LowNjT5?+lFVd#9$!8Z9HA|$*6dQ8EHLu}U|obW6f z2%uGv?vr=KNq7YYa2Roj;|zooo<)lf=&2yxM@e`kM$CmCR#x>gI>I|*Ubr({5Y^rb zghxQU22N}F51}^yfDSt786oMTc!W&V;d?76)9KXX1 z+6Okem(d}YXmmOiZq$!IPk5t8nnS{%?+vDFz3BevmFNgpIod~R{>@#@5x9zJKEHLHv!gHeK~n)Ld!M8DB|Kfe%~123&Hz1Z(86nU7*G5chmyDe ziV7$pB7pJ=96hpxHv9rCR29%bLOXlKU<_13_M8x)6;P8E1Kz6G<&P?$P^%c!M5`2` zfY2zg;VK5~^>TJGQzc+33-n~gKt{{of8GzUkWmU110IgI0DLxRIM>0US|TsM=L|@F z0Bun8U!cRB7-2apz=y-7*UxOxz@Z0)@QM)9wSGki1AZ38ceG7Q72z5`i;i=J`ILzL z@iUO?SBBG-0cQuo+an4TsLy-g-x;8P4UVwk|D8{W@U1Zi z!M)+jqy@nQ$p?5tsHp-6J304Q={v-B>66$P0IDx&YT(`IcZ~bZfmn11#rXd7<5s}y zBi9eim&zQc0Dk|2>$bs0PnLmDfMP5lcXRY&cvJ=zKxI^f0%-d$tD!`LBf9^jMSYUA zI8U?CWdY@}cRq6{5~y+)#h1!*-HcGW@+gZ4B};0OnC~`xQOyH19z*TA!!BJ%9s0V3F?CAJ{hTd#*tf+ur-W9MOURF-@B77_-OshsY}6 zOXRY=5%C^*26z?l)1=$bz30!so5tfABdSYzO+H=CpV~aaUefmjvfZ3Ttu9W&W3Iu6 zROlh0MFA5h;my}8lB0tAV-Rvc2Zs_CCSJnx@d`**$idgy-iMob4dJWWw|21b4NB=LfsYp0Aeh{Ov)yztQi;eL4y5 zMi>8^SzKqk8~k?UiQK^^-5d8c%bV?$F8%X~czyiaKCI2=UH + + + + + + + KeY-τ + + + + + + + + + + + + + + + +
        + +
        + + + + diff --git a/settings.gradle b/settings.gradle index 3818803e896..7fbd09935e9 100644 --- a/settings.gradle +++ b/settings.gradle @@ -33,6 +33,8 @@ include 'keyext.api' include 'keyext.api.doc' include 'keyext.client.java' +include 'keyext.web' + // ENABLE NULLNESS here or on the CLI // This flag is activated to enable the checker framework. // System.setProperty("ENABLE_NULLNESS", "true")