@hegeldev/hegel 0.1.0

package/dist/uv.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Locates or installs a `uv` binary for spawning the hegel-core server.
+ *
+ * Lookup order:
+ * 1. `uv` found on `PATH`
+ * 2. Cached binary at `~/.cache/hegel/uv` (or `$XDG_CACHE_HOME/hegel/uv`)
+ * 3. Installs uv to that cache directory using the embedded installer script.
+ *
+ * @packageDocumentation
+ */
+export declare function cacheDirFrom(xdgCacheHome: string | null, homeDir: string | null): string;
+export declare function findInPath(name: string): string | null;
+export declare function installUvWithSh(cache: string, sh: string): void;
+export declare function findUvImpl(uvInPath: string | null, cache: string): string;
+/**
+ * Returns the path to a `uv` binary, installing it to the user cache
+ * directory if it is not already available.
+ */
+export declare function findUv(): string;
+//# sourceMappingURL=uv.d.ts.map

package/dist/uv.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"uv.d.ts","sourceRoot":"","sources":["../src/uv.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAeH,wBAAgB,YAAY,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,CAQxF;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAetD;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,IAAI,CAsB/D;AAcD,wBAAgB,UAAU,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAczE;AAED;;;GAGG;AACH,wBAAgB,MAAM,IAAI,MAAM,CAK/B"}

package/dist/uv.js

@@ -0,0 +1,103 @@
+/**
+ * Locates or installs a `uv` binary for spawning the hegel-core server.
+ *
+ * Lookup order:
+ * 1. `uv` found on `PATH`
+ * 2. Cached binary at `~/.cache/hegel/uv` (or `$XDG_CACHE_HOME/hegel/uv`)
+ * 3. Installs uv to that cache directory using the embedded installer script.
+ *
+ * @packageDocumentation
+ */
+import { spawnSync } from "node:child_process";
+import * as fs from "node:fs";
+import * as os from "node:os";
+import * as path from "node:path";
+import { fileURLToPath } from "node:url";
+/* v8 ignore next */
+const UV_BINARY_NAME = process.platform === "win32" ? "uv.exe" : "uv";
+function installScriptPath() {
+    return fileURLToPath(new URL("./uv-install.sh", import.meta.url));
+}
+export function cacheDirFrom(xdgCacheHome, homeDir) {
+    if (xdgCacheHome !== null) {
+        return path.join(xdgCacheHome, "hegel");
+    }
+    if (homeDir === null) {
+        throw new Error("Could not determine home directory");
+    }
+    return path.join(homeDir, ".cache", "hegel");
+}
+export function findInPath(name) {
+    const pathVar = process.env.PATH;
+    if (pathVar === undefined)
+        return null;
+    for (const dir of pathVar.split(path.delimiter)) {
+        if (dir === "")
+            continue;
+        const candidate = path.join(dir, name);
+        try {
+            if (fs.statSync(candidate).isFile()) {
+                return candidate;
+            }
+        }
+        catch {
+            // not found or not accessible
+        }
+    }
+    return null;
+}
+export function installUvWithSh(cache, sh) {
+    fs.mkdirSync(cache, { recursive: true });
+    const script = fs.readFileSync(installScriptPath(), "utf-8");
+    const result = spawnSync(sh, [], {
+        input: script,
+        env: { ...process.env, UV_UNMANAGED_INSTALL: cache },
+        stdio: ["pipe", "inherit", "inherit"],
+    });
+    if (result.error !== undefined) {
+        throw new Error(`Failed to run uv installer: ${result.error.message}. ` +
+            `Install uv manually: https://docs.astral.sh/uv/getting-started/installation/`);
+    }
+    /* v8 ignore start */
+    if (result.status !== 0) {
+        throw new Error("uv installer failed. " +
+            "Install uv manually: https://docs.astral.sh/uv/getting-started/installation/");
+    }
+    /* v8 ignore stop */
+}
+function installUvTo(cache) {
+    /* v8 ignore start */
+    if (process.platform === "win32") {
+        throw new Error("uv is required but was not found on PATH. " +
+            "Install uv: https://docs.astral.sh/uv/getting-started/installation/");
+    }
+    /* v8 ignore stop */
+    installUvWithSh(cache, "sh");
+}
+export function findUvImpl(uvInPath, cache) {
+    if (uvInPath !== null) {
+        return uvInPath;
+    }
+    const cached = path.join(cache, UV_BINARY_NAME);
+    try {
+        if (fs.statSync(cached).isFile()) {
+            return cached;
+        }
+    }
+    catch {
+        // not cached yet
+    }
+    installUvTo(cache);
+    return cached;
+}
+/**
+ * Returns the path to a `uv` binary, installing it to the user cache
+ * directory if it is not already available.
+ */
+export function findUv() {
+    const uvInPath = findInPath(UV_BINARY_NAME);
+    const home = os.homedir();
+    const cache = cacheDirFrom(process.env.XDG_CACHE_HOME ?? null, home === "" ? null : home);
+    return findUvImpl(uvInPath, cache);
+}
+//# sourceMappingURL=uv.js.map

package/dist/uv.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"uv.js","sourceRoot":"","sources":["../src/uv.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,oBAAoB;AACpB,MAAM,cAAc,GAAG,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;AAEtE,SAAS,iBAAiB;IACxB,OAAO,aAAa,CAAC,IAAI,GAAG,CAAC,iBAAiB,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,YAA2B,EAAE,OAAsB;IAC9E,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC1C,CAAC;IACD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACrB,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;AAC/C,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;IACjC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACvC,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QAChD,IAAI,GAAG,KAAK,EAAE;YAAE,SAAS;QACzB,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC;YACH,IAAI,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;gBACpC,OAAO,SAAS,CAAC;YACnB,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,8BAA8B;QAChC,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAa,EAAE,EAAU;IACvD,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,iBAAiB,EAAE,EAAE,OAAO,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE;QAC/B,KAAK,EAAE,MAAM;QACb,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,oBAAoB,EAAE,KAAK,EAAE;QACpD,KAAK,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,CAAC;KACtC,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CACb,+BAA+B,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI;YACrD,8EAA8E,CACjF,CAAC;IACJ,CAAC;IACD,qBAAqB;IACrB,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CACb,uBAAuB;YACrB,8EAA8E,CACjF,CAAC;IACJ,CAAC;IACD,oBAAoB;AACtB,CAAC;AAED,SAAS,WAAW,CAAC,KAAa;IAChC,qBAAqB;IACrB,IAAI,OAAO,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CACb,4CAA4C;YAC1C,qEAAqE,CACxE,CAAC;IACJ,CAAC;IACD,oBAAoB;IACpB,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,QAAuB,EAAE,KAAa;IAC/D,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;IAChD,IAAI,CAAC;QACH,IAAI,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;YACjC,OAAO,MAAM,CAAC;QAChB,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,iBAAiB;IACnB,CAAC;IACD,WAAW,CAAC,KAAK,CAAC,CAAC;IACnB,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,MAAM;IACpB,MAAM,QAAQ,GAAG,UAAU,CAAC,cAAc,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC;IAC1B,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,IAAI,IAAI,EAAE,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC1F,OAAO,UAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;AACrC,CAAC"}

package/dist/wtf8.d.ts

@@ -0,0 +1,16 @@
+/**
+ * WTF-8 decoder that preserves lone surrogates.
+ *
+ * WTF-8 is like UTF-8 but allows encoding of surrogate codepoints
+ * (U+D800-U+DFFF). Node's `Buffer.toString("utf-8")` replaces these with
+ * U+FFFD, but JS strings are UTF-16 and can represent lone surrogates natively.
+ *
+ * Based on the test vectors from {@link https://github.com/mathiasbynens/wtf-8}.
+ *
+ * @packageDocumentation
+ */
+/**
+ * Decode a WTF-8 encoded buffer into a JS string, preserving lone surrogates.
+ */
+export declare function wtf8ToString(buf: Buffer): string;
+//# sourceMappingURL=wtf8.d.ts.map

package/dist/wtf8.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"wtf8.d.ts","sourceRoot":"","sources":["../src/wtf8.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH;;GAEG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAgChD"}

package/dist/wtf8.js

@@ -0,0 +1,52 @@
+/**
+ * WTF-8 decoder that preserves lone surrogates.
+ *
+ * WTF-8 is like UTF-8 but allows encoding of surrogate codepoints
+ * (U+D800-U+DFFF). Node's `Buffer.toString("utf-8")` replaces these with
+ * U+FFFD, but JS strings are UTF-16 and can represent lone surrogates natively.
+ *
+ * Based on the test vectors from {@link https://github.com/mathiasbynens/wtf-8}.
+ *
+ * @packageDocumentation
+ */
+/**
+ * Decode a WTF-8 encoded buffer into a JS string, preserving lone surrogates.
+ */
+export function wtf8ToString(buf) {
+    const codeUnits = [];
+    let i = 0;
+    while (i < buf.length) {
+        const b = buf[i];
+        let cp;
+        if (b < 0x80) {
+            cp = b;
+            i += 1;
+        }
+        else if (b < 0xe0) {
+            cp = ((b & 0x1f) << 6) | (buf[i + 1] & 0x3f);
+            i += 2;
+        }
+        else if (b < 0xf0) {
+            cp = ((b & 0x0f) << 12) | ((buf[i + 1] & 0x3f) << 6) | (buf[i + 2] & 0x3f);
+            i += 3;
+        }
+        else {
+            cp =
+                ((b & 0x07) << 18) |
+                    ((buf[i + 1] & 0x3f) << 12) |
+                    ((buf[i + 2] & 0x3f) << 6) |
+                    (buf[i + 3] & 0x3f);
+            i += 4;
+        }
+        if (cp >= 0x10000) {
+            cp -= 0x10000;
+            codeUnits.push(0xd800 + (cp >> 10));
+            codeUnits.push(0xdc00 + (cp & 0x3ff));
+        }
+        else {
+            codeUnits.push(cp);
+        }
+    }
+    return String.fromCharCode(...codeUnits);
+}
+//# sourceMappingURL=wtf8.js.map

package/dist/wtf8.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"wtf8.js","sourceRoot":"","sources":["../src/wtf8.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,GAAW;IACtC,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACjB,IAAI,EAAU,CAAC;QACf,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC;YACb,EAAE,GAAG,CAAC,CAAC;YACP,CAAC,IAAI,CAAC,CAAC;QACT,CAAC;aAAM,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC;YACpB,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;YAC7C,CAAC,IAAI,CAAC,CAAC;QACT,CAAC;aAAM,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC;YACpB,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;YAC3E,CAAC,IAAI,CAAC,CAAC;QACT,CAAC;aAAM,CAAC;YACN,EAAE;gBACA,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;oBAClB,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;oBAC3B,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;oBAC1B,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;YACtB,CAAC,IAAI,CAAC,CAAC;QACT,CAAC;QACD,IAAI,EAAE,IAAI,OAAO,EAAE,CAAC;YAClB,EAAE,IAAI,OAAO,CAAC;YACd,SAAS,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YACpC,SAAS,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC;QACxC,CAAC;aAAM,CAAC;YACN,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,YAAY,CAAC,GAAG,SAAS,CAAC,CAAC;AAC3C,CAAC"}

package/package.json

@@ -0,0 +1,60 @@
+{
+  "name": "@hegeldev/hegel",
+  "version": "0.1.0",
+  "description": "Property-based testing for TypeScript",
+  "type": "module",
+  "publishConfig": {
+    "access": "public"
+  },
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    },
+    "./generators": {
+      "types": "./dist/generators/index.d.ts",
+      "import": "./dist/generators/index.js"
+    }
+  },
+  "files": [
+    "dist"
+  ],
+  "scripts": {
+    "build": "tsc && cp src/uv-install.sh dist/uv-install.sh",
+    "test": "vitest run --coverage",
+    "lint": "prettier --check . && eslint . && tsc --noEmit",
+    "format": "prettier --write .",
+    "docs": "typedoc"
+  },
+  "keywords": [
+    "hegel",
+    "property-based-testing",
+    "hypothesis"
+  ],
+  "author": "David R. MacIver <david.maciver@antithesis.com>",
+  "license": "MIT",
+  "engines": {
+    "node": ">=16.0.0"
+  },
+  "devDependencies": {
+    "@eslint/js": "^10.0.1",
+    "@types/node": "^16.18.0",
+    "@vitest/coverage-v8": "^4.0.18",
+    "eslint": "^10.0.2",
+    "prettier": "^3.8.1",
+    "tsx": "^4.19.3",
+    "typedoc": "^0.28.17",
+    "typescript": "^5.9.3",
+    "typescript-eslint": "^8.56.1",
+    "vitest": "^4.0.18"
+  },
+  "dependencies": {
+    "cbor-x": "^1.6.0"
+  },
+  "//overrides": "fix vitest peerOptional declaring @types/node >=20, which is incompatible with us",
+  "overrides": {
+    "@types/node": "$@types/node"
+  }
+}