@ohtaman/washi 0.2.0 → 0.4.0

package/dist/browser/solvers/z3.js

@@ -68,9 +68,6 @@ var e = Object.create, t = Object.defineProperty, n = Object.getOwnPropertyDescr
 	constructor(e, t, n, r) {
 		this.id = ++g, this.lhs = e, this.sense = t, this.rhs = n, this.name = r || `c_${this.id}`;
 	}
-	get pi() {
-		return this.dual;
-	}
 	and(e) {
 		return new h("and", [this, e]);
 	}
@@ -7197,11 +7194,16 @@ function pt() {
 }
 async function mt(e, t) {
 	try {
-		let n = await fetch(e, {
+		let n = null;
+		try {
+			let t = await fetch(e, { method: "HEAD" });
+			t.ok && (n = t);
+		} catch {}
+		if (n ||= await fetch(e, {
 			method: "GET",
-			headers: { Range: "bytes=0-3" }
-		});
-		if (!n.ok) throw Error(`server responded with HTTP status ${n.status} (${n.statusText || "Not Found"})`);
+			headers: { Range: "bytes=0-3" },
+			cache: "no-store"
+		}), !n.ok) throw Error(`server responded with HTTP status ${n.status} (${n.statusText || "Not Found"})`);
 		if ((n.headers.get("content-type") || "").includes("text/html")) throw Error(`server responded with "text/html" instead of expected ${t} (check SPA fallback routing)`);
 	} catch (n) {
 		throw Error(`[WaSHI] Failed to load Z3 asset (${t}) from "${e}": ${n.message || String(n)}. Deploy local assets with correct MIME types; no CDN fallback is attempted.`, { cause: n });
@@ -7224,10 +7226,30 @@ function ht(e = {}) {
 }
 async function gt(e) {
 	let t = globalThis;
-	if (typeof t.initZ3 == "function") return t.initZ3;
-	if (typeof document < "u") await new Promise((t, n) => {
-		let r = document.createElement("script");
-		r.src = e, r.crossOrigin = "anonymous", r.onload = () => t(), r.onerror = () => n(/* @__PURE__ */ Error(`[WaSHI] Failed to load Z3 runtime script from "${e}".`)), document.head.appendChild(r);
+	if (t.global === void 0 && (t.global = t), typeof t.initZ3 == "function") return t.initZ3;
+	if (typeof document < "u") await new Promise((n, r) => {
+		let i = null, a = (e) => {
+			try {
+				let t = typeof document < "u" && document.baseURI ? document.baseURI : void 0, n = new URL(e, t);
+				return n.origin + n.pathname;
+			} catch {
+				return e;
+			}
+		}, o = a(e), s = (t) => {
+			t.filename && (a(t.filename) === o || t.filename === e || t.filename.endsWith(o) || o.endsWith(t.filename)) && (i = t.error || t.message);
+		}, c = typeof window < "u" && typeof window.addEventListener == "function";
+		c && window.addEventListener("error", s);
+		let l = document.createElement("script");
+		l.src = e, l.crossOrigin = "anonymous", l.onload = () => {
+			if (c && window.removeEventListener("error", s), typeof t.initZ3 != "function" && i) {
+				let t = i instanceof Error ? `${i.name}: ${i.message}` : typeof i == "string" ? i : i?.message ? `${i.name ? i.name + ": " : ""}${i.message}` : String(i);
+				r(/* @__PURE__ */ Error(`[WaSHI] Failed to evaluate Z3 runtime script from "${e}": ${t}`));
+				return;
+			}
+			n();
+		}, l.onerror = () => {
+			c && window.removeEventListener("error", s), r(/* @__PURE__ */ Error(`[WaSHI] Failed to load Z3 runtime script from "${e}".`));
+		}, document.head.appendChild(l);
 	});
 	else if (typeof globalThis.importScripts == "function") globalThis.importScripts(e);
 	else throw Error("[WaSHI] Cannot load z3-built.js in this environment: neither document nor importScripts is available.");
@@ -7525,4 +7547,4 @@ function bt() {
 }
 bt();
 //#endregion
-export { yt as Z3Solver, vt as killZ3Threads, _t as loadZ3, lt as notifyZ3WorkerError, ct as registerZ3ErrorHandler, bt as registerZ3Solver, ft as resetZ3LoaderCache, ht as resolveZ3AssetUrls, dt as setZ3Assets, ot as unlockAllZ3Semaphores, pt as validateZ3BrowserEnvironment };
+export { yt as Z3Solver, gt as ensureInitZ3Loaded, vt as killZ3Threads, _t as loadZ3, lt as notifyZ3WorkerError, mt as probeAssetUrl, ct as registerZ3ErrorHandler, bt as registerZ3Solver, ft as resetZ3LoaderCache, ht as resolveZ3AssetUrls, dt as setZ3Assets, ot as unlockAllZ3Semaphores, pt as validateZ3BrowserEnvironment };