@smthrs/kernel 0.0.0-stage → 1.0.0-rc.3

package/dist/cjs/test/HostContract.js

@@ -0,0 +1,489 @@
+"use strict";
+var __create = Object.create;
+var __defProp = Object.defineProperty;
+var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
+var __getOwnPropNames = Object.getOwnPropertyNames;
+var __getProtoOf = Object.getPrototypeOf;
+var __hasOwnProp = Object.prototype.hasOwnProperty;
+var __export = (target, all) => {
+  for (var name in all)
+    __defProp(target, name, { get: all[name], enumerable: true });
+};
+var __copyProps = (to, from, except, desc) => {
+  if (from && typeof from === "object" || typeof from === "function") {
+    for (let key of __getOwnPropNames(from))
+      if (!__hasOwnProp.call(to, key) && key !== except)
+        __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
+  }
+  return to;
+};
+var __toESM = (mod, isNodeMode, target) => (target = mod != null ? __create(__getProtoOf(mod)) : {}, __copyProps(
+  // If the importer is in node compatibility mode or this is not an ESM
+  // file that has been converted to a CommonJS file using a Babel-
+  // compatible transform (i.e. "__esModule" has not been set), then set
+  // "default" to the CommonJS "module.exports" for node compatibility.
+  isNodeMode || !mod || !mod.__esModule ? __defProp(target, "default", { value: mod, enumerable: true }) : target,
+  mod
+));
+var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
+var HostContract_exports = {};
+__export(HostContract_exports, {
+  FileSystemOperations: () => FileSystemOperations,
+  JjOperations: () => JjOperations,
+  assertFailure: () => assertFailure,
+  checkFileSystemBatch: () => import_FileSystemBatchContract.check,
+  defaultScratchPath: () => defaultScratchPath,
+  errorCode: () => errorCode,
+  runHostContract: () => runHostContract
+});
+module.exports = __toCommonJS(HostContract_exports);
+var import_vitest = require("@effect/vitest");
+var JjService = __toESM(require("@smthrs/jj"), 1);
+var import_effect = require("effect");
+var import_HttpClient = require("effect/unstable/http/HttpClient");
+var HttpClientRequest = __toESM(require("effect/unstable/http/HttpClientRequest"), 1);
+var ChildProcess = __toESM(require("effect/unstable/process/ChildProcess"), 1);
+var import_ChildProcessSpawner = require("effect/unstable/process/ChildProcessSpawner");
+var import_node_os = require("node:os");
+var import_node_path = require("node:path");
+var FileSystemBatchContract = __toESM(require("./FileSystemBatchContract.js"), 1);
+var import_FileSystemBatchContract = require("./FileSystemBatchContract.js");
+const FileSystemOperations = [
+  "access",
+  "copy",
+  "copyFile",
+  "chmod",
+  "chown",
+  "glob",
+  "exists",
+  "link",
+  "makeDirectory",
+  "makeTempDirectory",
+  "makeTempDirectoryScoped",
+  "makeTempFile",
+  "makeTempFileScoped",
+  "open",
+  "readDirectory",
+  "readFile",
+  "readFileString",
+  "readLink",
+  "realPath",
+  "remove",
+  "rename",
+  "sink",
+  "stat",
+  "stream",
+  "symlink",
+  "truncate",
+  "utimes",
+  "watch",
+  "writeFile",
+  "writeFileString"
+];
+const JjOperations = [
+  "snapshot",
+  "restore",
+  "diff",
+  "workspaceAdd",
+  "workspaceForget",
+  "status",
+  "root",
+  "revert"
+];
+const errorCode = (error) => {
+  if (typeof error !== "object" || error === null) return void 0;
+  if ("code" in error && typeof error.code === "string") return error.code;
+  if ("reason" in error && typeof error.reason === "object" && error.reason !== null && "_tag" in error.reason && typeof error.reason._tag === "string") {
+    return error.reason._tag;
+  }
+  if ("_tag" in error && typeof error._tag === "string") return error._tag;
+  return void 0;
+};
+const assertFailure = (effect, code) => effect.pipe(
+  import_effect.Effect.match({
+    onFailure: (error) => {
+      (0, import_vitest.expect)(errorCode(error)).toBe(code);
+    },
+    onSuccess: () => {
+      throw new Error(`expected typed failure ${code}`);
+    }
+  })
+);
+let scratchSeq = 0;
+const defaultScratchPath = (suite) => {
+  const slug = suite.toLowerCase().replace(/[^a-z0-9]+/g, "-").replace(/^-+|-+$/g, "") || "host";
+  return (0, import_node_path.join)((0, import_node_os.tmpdir)(), `flows-host-contract-${process.pid}-${++scratchSeq}-${slug}`);
+};
+const provide = (effect, layer) => effect.pipe(import_effect.Effect.provide(layer));
+const run = (effect, layer) => provide(effect, layer);
+const unsupported = ChildProcess.make("host-contract-unsupported");
+const unsupportedChildProcess = (operation, code) => import_effect.Effect.gen(function* () {
+  const spawner = yield* import_ChildProcessSpawner.ChildProcessSpawner;
+  yield* operation === "stream" ? assertFailure(import_effect.Stream.runDrain(spawner.streamString(unsupported)), code) : assertFailure(spawner.string(unsupported), code);
+});
+const fileSystemProbe = (fs, operation, root) => {
+  const at = (name) => `${root}/${operation}-${name}`;
+  const source = `${root}/source.txt`;
+  const bytes = new TextEncoder().encode("host-contract");
+  switch (operation) {
+    case "access":
+      return fs.access(source);
+    case "copy":
+      return fs.copy(source, at("copy.txt"));
+    case "copyFile":
+      return fs.copyFile(source, at("copy-file.txt"));
+    case "chmod":
+      return fs.chmod(source, 384);
+    case "chown":
+      return import_effect.Effect.flatMap(fs.stat(source), (info) => fs.chown(
+        source,
+        import_effect.Option.getOrElse(info.uid, () => 0),
+        import_effect.Option.getOrElse(info.gid, () => 0)
+      ));
+    case "glob":
+      return fs.glob("**/*.txt", { root });
+    case "exists":
+      return import_effect.Effect.tap(fs.exists(source), (exists) => import_effect.Effect.sync(() => (0, import_vitest.expect)(exists).toBe(true)));
+    case "link":
+      return fs.link(source, at("hard-link.txt"));
+    case "makeDirectory":
+      return fs.makeDirectory(at("directory"), { recursive: true });
+    case "makeTempDirectory":
+      return fs.makeTempDirectory({ directory: root });
+    case "makeTempDirectoryScoped":
+      return import_effect.Effect.scoped(fs.makeTempDirectoryScoped({ directory: root }));
+    case "makeTempFile":
+      return fs.makeTempFile({ directory: root });
+    case "makeTempFileScoped":
+      return import_effect.Effect.scoped(fs.makeTempFileScoped({ directory: root }));
+    case "open":
+      return import_effect.Effect.scoped(fs.open(source, { flag: "r" }));
+    case "readDirectory":
+      return import_effect.Effect.tap(fs.readDirectory(root), (entries) => import_effect.Effect.sync(() => {
+        (0, import_vitest.expect)(Array.isArray(entries)).toBe(true);
+        (0, import_vitest.expect)(entries.every((entry) => typeof entry === "string")).toBe(true);
+      }));
+    case "readFile":
+      return import_effect.Effect.gen(function* () {
+        const first = yield* fs.readFile(source);
+        (0, import_vitest.expect)(first).toBeInstanceOf(Uint8Array);
+        const original = first[0];
+        (0, import_vitest.expect)(original).toBeDefined();
+        first[0] = original ^ 255;
+        const second = yield* fs.readFile(source);
+        (0, import_vitest.expect)(second[0]).toBe(original);
+      });
+    case "readFileString":
+      return fs.readFileString(source);
+    case "readLink": {
+      const link = at("symbolic-link.txt");
+      return fs.symlink(source, link).pipe(import_effect.Effect.andThen(fs.readLink(link)));
+    }
+    case "realPath":
+      return fs.realPath(source);
+    case "remove": {
+      const path = at("remove.txt");
+      return fs.writeFile(path, bytes).pipe(import_effect.Effect.andThen(fs.remove(path)));
+    }
+    case "rename": {
+      const from = at("rename-from.txt");
+      return fs.writeFile(from, bytes).pipe(import_effect.Effect.andThen(fs.rename(from, at("rename-to.txt"))));
+    }
+    case "sink":
+      return import_effect.Stream.run(import_effect.Stream.succeed(bytes), fs.sink(at("sink.txt")));
+    case "stat":
+      return import_effect.Effect.tap(fs.stat(source), (info) => import_effect.Effect.sync(() => {
+        (0, import_vitest.expect)(typeof info.size).toBe("bigint");
+        (0, import_vitest.expect)(typeof info.type).toBe("string");
+      }));
+    case "stream":
+      return import_effect.Stream.runForEach(
+        fs.stream(source),
+        (chunk) => import_effect.Effect.sync(() => (0, import_vitest.expect)(chunk).toBeInstanceOf(Uint8Array))
+      );
+    case "symlink":
+      return fs.symlink(source, at("symlink.txt"));
+    case "truncate": {
+      const path = at("truncate.txt");
+      return fs.writeFile(path, bytes).pipe(import_effect.Effect.andThen(fs.truncate(path, 1)));
+    }
+    case "utimes":
+      return fs.utimes(source, /* @__PURE__ */ new Date(0), /* @__PURE__ */ new Date(0));
+    case "watch":
+      return import_effect.Effect.gen(function* () {
+        const watched = yield* import_effect.Stream.runHead(fs.watch(root)).pipe(
+          import_effect.Effect.timeout("5 seconds"),
+          import_effect.Effect.forkChild({ startImmediately: true })
+        );
+        yield* import_effect.Effect.raceFirst(
+          import_effect.Fiber.join(watched),
+          fs.writeFile(at("watched.txt"), bytes).pipe(
+            import_effect.Effect.andThen(import_effect.Effect.promise(() => new Promise((resolve) => setTimeout(resolve, 10)))),
+            import_effect.Effect.forever
+          )
+        );
+      });
+    case "writeFile":
+      return import_effect.Effect.gen(function* () {
+        const input = bytes.slice();
+        const expected = input[0];
+        (0, import_vitest.expect)(expected).toBeDefined();
+        yield* fs.writeFile(at("write.txt"), input);
+        input[0] = expected ^ 255;
+        (0, import_vitest.expect)((yield* fs.readFile(at("write.txt")))[0]).toBe(expected);
+      });
+    case "writeFileString":
+      return fs.writeFileString(at("write-string.txt"), "host-contract");
+  }
+};
+const defaultStdinCommand = ChildProcess.make(
+  process.execPath,
+  [
+    "-e",
+    `let input = ""; process.stdin.setEncoding("utf8"); process.stdin.on("data", chunk => input += chunk); process.stdin.on("end", () => process.stdout.write(input.replace(/\\r?\\n$/, "")));`
+  ],
+  { stdin: import_effect.Stream.fromArray([new TextEncoder().encode("stdin\n")]) }
+);
+const defaultPipelineCommand = ChildProcess.pipeTo(
+  ChildProcess.make(process.execPath, ["-e", `process.stdout.write("host-contract-pipeline")`]),
+  ChildProcess.make(process.execPath, ["-e", "process.stdin.pipe(process.stdout)"])
+);
+const defaultInterruptCommand = ChildProcess.pipeTo(
+  ChildProcess.make(process.execPath, ["-e", "setTimeout(() => {}, 10_000)"]),
+  ChildProcess.make(process.execPath, ["-e", "process.stdin.pipe(process.stdout)"])
+);
+const runHostContract = (name, layer, caps) => {
+  const fileSystemCap = caps.fileSystem;
+  const pathCap = caps.path;
+  const childProcessCap = caps.childProcess;
+  const jjCap = caps.jj;
+  const httpClientCap = caps.httpClient;
+  const scratchPath = fileSystemCap.expected === "success" ? fileSystemCap.scratchPath ?? defaultScratchPath(name) : "";
+  (0, import_vitest.describe)(`${name} Host contract`, () => {
+    import_vitest.it.live("provides every tag in the closed Host service list", () => run(
+      import_effect.Effect.gen(function* () {
+        yield* import_effect.FileSystem.FileSystem;
+        yield* import_effect.Path.Path;
+        yield* import_ChildProcessSpawner.ChildProcessSpawner;
+        yield* JjService.Jj;
+        yield* import_HttpClient.HttpClient;
+      }),
+      layer
+    ));
+    import_vitest.it.live("declares every FileSystem operation", () => run(
+      fileSystemCap.expected === "failure" ? import_effect.Effect.gen(function* () {
+        const fs = yield* import_effect.FileSystem.FileSystem;
+        yield* import_effect.Effect.forEach(
+          FileSystemOperations,
+          (operation) => assertFailure(
+            fileSystemProbe(fs, operation, "/host-contract/unsupported"),
+            fileSystemCap.code
+          ),
+          { discard: true }
+        );
+      }) : import_effect.Effect.gen(function* () {
+        const fs = yield* import_effect.FileSystem.FileSystem;
+        const root = scratchPath;
+        const bytes = new TextEncoder().encode("host-contract");
+        yield* import_effect.Effect.gen(function* () {
+          yield* fs.makeDirectory(root, { recursive: true });
+          yield* fs.writeFile(`${root}/source.txt`, bytes);
+          yield* FileSystemBatchContract.check(fs, root);
+          yield* import_effect.Effect.forEach(
+            FileSystemOperations,
+            (operation) => {
+              const probe = fileSystemProbe(fs, operation, root);
+              const code = fileSystemCap.unsupported?.[operation];
+              return code === void 0 ? probe : assertFailure(probe, code);
+            },
+            { discard: true }
+          );
+        }).pipe(
+          import_effect.Effect.ensuring(fs.remove(root, { recursive: true, force: true }).pipe(import_effect.Effect.ignore))
+        );
+      }),
+      layer
+    ));
+    import_vitest.it.live("declares Path behavior", () => run(
+      pathCap.expected === "failure" ? import_effect.Effect.gen(function* () {
+        const path = yield* import_effect.Path.Path;
+        yield* assertFailure(
+          import_effect.Effect.try({
+            try: () => path.fromFileUrl(new URL("file:///host-contract/value")),
+            catch: (error) => error
+          }),
+          pathCap.code
+        );
+      }) : import_effect.Effect.gen(function* () {
+        const path = yield* import_effect.Path.Path;
+        (0, import_vitest.expect)(path.normalize("/host-contract/./nested/../value")).toBe(`${path.sep}host-contract${path.sep}value`);
+      }),
+      layer
+    ));
+    import_vitest.it.live("declares buffered child-process behavior", () => run(
+      childProcessCap.expected === "failure" ? unsupportedChildProcess("string", childProcessCap.code) : import_effect.Effect.gen(function* () {
+        const spawner = yield* import_ChildProcessSpawner.ChildProcessSpawner;
+        const command = childProcessCap.execCommand ?? ChildProcess.make(process.execPath, ["-e", `process.stdout.write("host-contract")`]);
+        (0, import_vitest.expect)(yield* spawner.string(command)).toBe(childProcessCap.expectedStdout ?? "host-contract");
+        (0, import_vitest.expect)(yield* spawner.exitCode(command)).toBe(0);
+      }),
+      layer
+    ));
+    import_vitest.it.live("declares child-process streaming behavior", () => run(
+      childProcessCap.expected === "failure" ? unsupportedChildProcess("stream", childProcessCap.code) : import_effect.Effect.gen(function* () {
+        const spawner = yield* import_ChildProcessSpawner.ChildProcessSpawner;
+        const output = yield* import_effect.Stream.mkString(
+          spawner.streamString(
+            childProcessCap.streamCommand ?? ChildProcess.make(process.execPath, ["-e", `process.stdout.write("host-contract-stream")`])
+          )
+        );
+        (0, import_vitest.expect)(output).toContain(childProcessCap.expectedStreamText ?? "host-contract-stream");
+      }),
+      layer
+    ));
+    import_vitest.it.live("declares child-process cwd and env option behavior", () => run(
+      childProcessCap.expected === "failure" ? unsupportedChildProcess("string", childProcessCap.code) : import_effect.Effect.gen(function* () {
+        const spawner = yield* import_ChildProcessSpawner.ChildProcessSpawner;
+        const output = yield* spawner.string(
+          childProcessCap.optionsCommand ?? ChildProcess.make(process.execPath, ["-e", "process.stdout.write(process.env.HOST_CONTRACT_ENV)"], {
+            cwd: (0, import_node_os.tmpdir)(),
+            env: { HOST_CONTRACT_ENV: "env" },
+            extendEnv: true
+          })
+        );
+        (0, import_vitest.expect)(output).toBe(childProcessCap.expectedOptionsStdout ?? "env");
+      }),
+      layer
+    ));
+    import_vitest.it.live("declares child-process stdin behavior", () => run(
+      import_effect.Effect.gen(function* () {
+        const spawner = yield* import_ChildProcessSpawner.ChildProcessSpawner;
+        const stdinCap = childProcessCap.expected === "failure" ? childProcessCap : childProcessCap.stdin ?? { command: defaultStdinCommand, expectedStdout: "stdin" };
+        if ("expected" in stdinCap) {
+          yield* assertFailure(spawner.string(defaultStdinCommand), stdinCap.code);
+          return;
+        }
+        (0, import_vitest.expect)(yield* spawner.string(stdinCap.command)).toBe(stdinCap.expectedStdout);
+      }),
+      layer
+    ));
+    import_vitest.it.live("declares child-process pipeline behavior", () => run(
+      import_effect.Effect.gen(function* () {
+        const spawner = yield* import_ChildProcessSpawner.ChildProcessSpawner;
+        const pipelineCap = childProcessCap.expected === "failure" ? childProcessCap : childProcessCap.pipeline ?? {
+          command: defaultPipelineCommand,
+          expectedStdout: "host-contract-pipeline"
+        };
+        if ("expected" in pipelineCap) {
+          yield* assertFailure(spawner.string(defaultPipelineCommand), pipelineCap.code);
+          return;
+        }
+        (0, import_vitest.expect)(yield* spawner.string(pipelineCap.command)).toBe(pipelineCap.expectedStdout);
+      }),
+      layer
+    ));
+    import_vitest.it.live("declares child-process interruption behavior", () => run(
+      childProcessCap.expected === "failure" ? unsupportedChildProcess("stream", childProcessCap.code) : import_effect.Effect.gen(function* () {
+        const spawner = yield* import_ChildProcessSpawner.ChildProcessSpawner;
+        const ready = yield* import_effect.Deferred.make();
+        const fiber = yield* import_effect.Effect.scoped(
+          import_effect.Effect.gen(function* () {
+            const handle2 = yield* spawner.spawn(
+              childProcessCap.interruptCommand ?? defaultInterruptCommand
+            );
+            yield* import_effect.Deferred.succeed(ready, handle2);
+            yield* handle2.exitCode;
+          })
+        ).pipe(
+          import_effect.Effect.forkChild({ startImmediately: true })
+        );
+        const handle = yield* import_effect.Deferred.await(ready);
+        (0, import_vitest.expect)(yield* handle.isRunning).toBe(true);
+        yield* import_effect.Fiber.interrupt(fiber);
+        (0, import_vitest.expect)(yield* handle.isRunning).toBe(false);
+      }),
+      layer
+    ));
+    import_vitest.it.live("declares every Jj operation", () => run(
+      jjCap.expected === "failure" ? import_effect.Effect.gen(function* () {
+        const jj = yield* JjService.Jj;
+        const root = jj.root;
+        const revert = jj.revert;
+        (0, import_vitest.expect)(root).toBeTypeOf("function");
+        (0, import_vitest.expect)(revert).toBeTypeOf("function");
+        yield* import_effect.Effect.forEach([
+          jj.snapshot("host contract"),
+          jj.restore("host-contract-change"),
+          jj.diff("host-contract-from", "host-contract-to"),
+          jj.workspaceAdd("host-contract", "/host-contract/workspace", "host-contract-change"),
+          jj.workspaceForget("host-contract"),
+          jj.status(),
+          root("/host-contract"),
+          revert("host-contract-change")
+        ], (probe) => assertFailure(probe, jjCap.code), { discard: true });
+      }) : import_effect.Effect.gen(function* () {
+        const jj = yield* JjService.Jj;
+        const root = jj.root;
+        const revert = jj.revert;
+        (0, import_vitest.expect)(root).toBeTypeOf("function");
+        (0, import_vitest.expect)(revert).toBeTypeOf("function");
+        yield* jjCap.prepareChange?.("first") ?? import_effect.Effect.void;
+        const first = yield* jj.snapshot("host contract first");
+        (0, import_vitest.expect)(first.changeId.length).toBeGreaterThan(0);
+        yield* jjCap.prepareChange?.("second") ?? import_effect.Effect.void;
+        const second = yield* jj.snapshot("host contract second");
+        (0, import_vitest.expect)(second.changeId.length).toBeGreaterThan(0);
+        (0, import_vitest.expect)(typeof (yield* jj.diff(first.changeId, second.changeId))).toBe("string");
+        const revertCode = jjCap.unsupported?.revert;
+        if (revertCode === void 0) {
+          const reverted = yield* revert(second.changeId);
+          (0, import_vitest.expect)(Array.isArray(reverted.reverted)).toBe(true);
+          (0, import_vitest.expect)(reverted.reverted.every(
+            (path) => typeof path === "string"
+          )).toBe(true);
+        } else {
+          yield* assertFailure(revert(second.changeId), revertCode);
+        }
+        yield* jj.restore(first.changeId);
+        const workspaceName = `host-contract-${process.pid}-${++scratchSeq}`;
+        yield* jj.workspaceAdd(
+          workspaceName,
+          jjCap.workspacePath ?? defaultScratchPath(`${name}-jj-workspace`),
+          first.changeId
+        );
+        yield* jj.workspaceForget(workspaceName);
+        (0, import_vitest.expect)(typeof (yield* jj.status())).toBe("string");
+        const rootCode = jjCap.unsupported?.root;
+        const rootFrom = jjCap.rootFrom ?? ".";
+        if (rootCode === void 0) {
+          (0, import_vitest.expect)((yield* root(rootFrom)).length).toBeGreaterThan(0);
+        } else {
+          yield* assertFailure(root(rootFrom), rootCode);
+        }
+      }),
+      layer
+    ));
+    import_vitest.it.live("declares HTTP read, write, and redirect behavior", () => run(
+      httpClientCap.expected === "failure" ? import_effect.Effect.gen(function* () {
+        const client = yield* import_HttpClient.HttpClient;
+        yield* import_effect.Effect.forEach([
+          HttpClientRequest.get("http://127.0.0.1:1/host-contract/read"),
+          HttpClientRequest.post("http://127.0.0.1:1/host-contract/write").pipe(
+            HttpClientRequest.bodyText("host-contract")
+          ),
+          HttpClientRequest.get("http://127.0.0.1:1/host-contract/redirect")
+        ], (request) => assertFailure(client.execute(request), httpClientCap.code), { discard: true });
+      }) : import_effect.Effect.gen(function* () {
+        const client = yield* import_HttpClient.HttpClient;
+        for (const probe of [httpClientCap.read, httpClientCap.write, httpClientCap.redirect]) {
+          const response = yield* client.execute(probe.request);
+          (0, import_vitest.expect)(typeof response.status).toBe("number");
+          (0, import_vitest.expect)(typeof response.headers).toBe("object");
+          probe.assertResponse(response);
+        }
+      }),
+      layer
+    ));
+  });
+};
+//# sourceMappingURL=HostContract.js.map

package/dist/cjs/test/HostContract.js.map

@@ -0,0 +1,7 @@
+{
+  "version": 3,
+  "sources": ["../../../src/test/HostContract.ts"],
+  "sourcesContent": ["/**\n * Shared contract suite for complete Host bundles.\n *\n * This module is emitted as ESM, CJS, and declarations and exported from\n * `@smthrs/kernel/test/contract`. It intentionally has a Vitest peer because\n * it registers a reusable behavioral contract for third-party Host bundles.\n *\n * @since 1.0.0-rc.0\n */\n\n// Every case here runs on real elapsed time \u2014 subprocess spawns, file locks,\n// mtimes, and poll loops \u2014 so the suite uses `it.live`; `it.effect`'s\n// TestClock never advances for them.\n\nimport { describe, expect, it } from \"@effect/vitest\"\nimport * as JjService from \"@smthrs/jj\"\nimport type { Jj, JjErrorCode } from \"@smthrs/jj\"\nimport { Deferred, Effect, Fiber, FileSystem, type Layer, Option, Path, Stream } from \"effect\"\nimport { HttpClient } from \"effect/unstable/http/HttpClient\"\nimport * as HttpClientRequest from \"effect/unstable/http/HttpClientRequest\"\nimport type * as HttpClientResponse from \"effect/unstable/http/HttpClientResponse\"\nimport * as ChildProcess from \"effect/unstable/process/ChildProcess\"\nimport { type ChildProcessHandle, ChildProcessSpawner } from \"effect/unstable/process/ChildProcessSpawner\"\nimport { tmpdir } from \"node:os\"\nimport { join } from \"node:path\"\nimport * as FileSystemBatchContract from \"./FileSystemBatchContract.ts\"\n\nexport { check as checkFileSystemBatch } from \"./FileSystemBatchContract.ts\"\n\n/**\n * A capability that must fail with a stable typed code.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport interface FailureCapability<Code extends string> {\n  readonly expected: \"failure\"\n  readonly code: Code\n}\n\n/**\n * Successful filesystem contract options.\n *\n * `scratchPath` is required only for hosts whose filesystem does not accept an\n * OS temp path \u2014 an in-memory double, say. Omitting it takes\n * {@link defaultScratchPath}, which is process-scoped and outside the working\n * tree.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport interface FileSystemSuccess {\n  readonly expected: \"success\"\n  readonly scratchPath?: string | undefined\n  /** Operations this otherwise available host deliberately refuses. */\n  readonly unsupported?: Partial<Record<FileSystemOperation, string>> | undefined\n}\n\n/**\n * Every method on Effect's closed filesystem service.\n * @category constants\n * @since 1.0.0-rc.0\n */\nexport const FileSystemOperations = [\n  \"access\",\n  \"copy\",\n  \"copyFile\",\n  \"chmod\",\n  \"chown\",\n  \"glob\",\n  \"exists\",\n  \"link\",\n  \"makeDirectory\",\n  \"makeTempDirectory\",\n  \"makeTempDirectoryScoped\",\n  \"makeTempFile\",\n  \"makeTempFileScoped\",\n  \"open\",\n  \"readDirectory\",\n  \"readFile\",\n  \"readFileString\",\n  \"readLink\",\n  \"realPath\",\n  \"remove\",\n  \"rename\",\n  \"sink\",\n  \"stat\",\n  \"stream\",\n  \"symlink\",\n  \"truncate\",\n  \"utimes\",\n  \"watch\",\n  \"writeFile\",\n  \"writeFileString\"\n] as const\n\n/**\n * One method of Effect's closed filesystem service.\n * @category models\n * @since 1.0.0-rc.0\n */\nexport type FileSystemOperation = typeof FileSystemOperations[number]\n\n/**\n * Successful Path contract expectation.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport interface PathSuccess {\n  readonly expected: \"success\"\n}\n\n/**\n * Successful `ChildProcessSpawner` contract options.\n *\n * Defaults use the current Node or Bun executable. In-process browser\n * doubles can provide their own scripted commands and expected output.\n *\n * There is no timeout case: a wall-clock budget is `Effect.timeout` around any\n * effect, not a per-spawn option, so there is nothing host-specific left to\n * assert.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport interface ChildProcessSuccess {\n  readonly expected: \"success\"\n  readonly execCommand?: ChildProcess.Command | undefined\n  readonly expectedStdout?: string | undefined\n  readonly streamCommand?: ChildProcess.Command | undefined\n  readonly expectedStreamText?: string | undefined\n  /** A command carrying `cwd` and `env` options through to the child. */\n  readonly optionsCommand?: ChildProcess.Command | undefined\n  readonly expectedOptionsStdout?: string | undefined\n  /**\n   * How the host handles a command fed from a `stdin` stream: the expected\n   * stdout when it supports one, or the typed code when it does not.\n   */\n  readonly stdin?:\n    | { readonly command: ChildProcess.Command; readonly expectedStdout: string }\n    | FailureCapability<string>\n    | undefined\n  /** A two-leg pipeline, or the exact typed refusal for hosts without one. */\n  readonly pipeline?:\n    | { readonly command: ChildProcess.Command; readonly expectedStdout: string }\n    | FailureCapability<string>\n    | undefined\n  readonly interruptCommand?: ChildProcess.Command | undefined\n}\n\n/**\n * Successful Jj contract expectation.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport interface JjSuccess {\n  readonly expected: \"success\"\n  /** Makes the first and second snapshots observably different. */\n  readonly prepareChange?: ((phase: \"first\" | \"second\") => Effect.Effect<void, unknown>) | undefined\n  /** Nonexistent path at which the contract may add one temporary workspace. */\n  readonly workspacePath?: string | undefined\n  /** Path whose repository root the host must resolve. */\n  readonly rootFrom?: string | undefined\n  /** Optional methods this otherwise available backend explicitly refuses. */\n  readonly unsupported?: Partial<Record<\"root\" | \"revert\", JjErrorCode>> | undefined\n}\n\n/**\n * Every method on the closed Jj host service.\n * @category constants\n * @since 1.0.0-rc.0\n */\nexport const JjOperations = [\n  \"snapshot\",\n  \"restore\",\n  \"diff\",\n  \"workspaceAdd\",\n  \"workspaceForget\",\n  \"status\",\n  \"root\",\n  \"revert\"\n] as const\n\n/**\n * One method of the closed Jj host service.\n * @category models\n * @since 1.0.0-rc.0\n */\nexport type JjOperation = typeof JjOperations[number]\n\n/**\n * Successful HTTP contract probe.\n *\n * A request is explicit so the shared suite never invents a live network call.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport interface HttpClientProbe {\n  /** Exact request the host must execute. */\n  readonly request: HttpClientRequest.HttpClientRequest\n  /** Adapter-specific response proof. */\n  readonly assertResponse: (response: HttpClientResponse.HttpClientResponse) => void\n}\n\n/**\n * Successful read/write/redirect HTTP contract probes.\n * @category models\n * @since 1.0.0-rc.0\n */\nexport interface HttpClientSuccess {\n  readonly expected: \"success\"\n  /** Safe read method. */\n  readonly read: HttpClientProbe\n  /** Body-carrying write method. */\n  readonly write: HttpClientProbe\n  /** Manual redirect response; the host must not follow it below the guard. */\n  readonly redirect: HttpClientProbe\n}\n\n/**\n * Complete capability expectations for the closed five-tag Host surface.\n * Unsupported capabilities are asserted with their code and are never skipped.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport interface HostContractCapabilities {\n  readonly fileSystem: FileSystemSuccess | FailureCapability<string>\n  readonly path: PathSuccess | FailureCapability<string>\n  readonly childProcess: ChildProcessSuccess | FailureCapability<string>\n  readonly jj: JjSuccess | FailureCapability<JjErrorCode>\n  readonly httpClient: HttpClientSuccess | FailureCapability<string>\n}\n\n/**\n * The full layer output required by the contract.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport type HostContractLayer = Layer.Layer<\n  FileSystem.FileSystem | Path.Path | ChildProcessSpawner | Jj | HttpClient,\n  unknown\n>\n\n/**\n * Normalizes the code a Host failure is identified by, across the three shapes\n * the closed surface produces: a `code` field (`JjError`), a nested\n * `reason._tag` (`PlatformError`, `HttpClientError`), and a bare `_tag`.\n * Anything else is uncoded.\n *\n * @category testing\n * @since 1.0.0-rc.0\n */\nexport const errorCode = (error: unknown): string | undefined => {\n  if (typeof error !== \"object\" || error === null) return undefined\n  if (\"code\" in error && typeof error.code === \"string\") return error.code\n  if (\n    \"reason\" in error &&\n    typeof error.reason === \"object\" &&\n    error.reason !== null &&\n    \"_tag\" in error.reason &&\n    typeof error.reason._tag === \"string\"\n  ) {\n    return error.reason._tag\n  }\n  if (\"_tag\" in error && typeof error._tag === \"string\") return error._tag\n  return undefined\n}\n\n/**\n * Asserts that `effect` fails with `code`. Succeeding is itself a contract\n * violation: a capability declared unsupported must never quietly work.\n *\n * @category testing\n * @since 1.0.0-rc.0\n */\nexport const assertFailure = <A, E, R>(\n  effect: Effect.Effect<A, E, R>,\n  code: string\n): Effect.Effect<void, never, R> =>\n  effect.pipe(\n    Effect.match({\n      onFailure: (error) => {\n        expect(errorCode(error)).toBe(code)\n      },\n      onSuccess: () => {\n        throw new Error(`expected typed failure ${code}`)\n      }\n    })\n  )\n\nlet scratchSeq = 0\n\n/**\n * Allocates the scratch file path a contract bundle writes through when the\n * caller declares no `scratchPath` of its own.\n *\n * The path is absolute under the OS temp directory and scoped by both process\n * id and an allocation counter. A repo-relative default would put the file in\n * the working tree, where it is neither ignored by git nor private to one test\n * process: concurrent `vitest run` invocations would then race the same path,\n * and the suite's `ensuring` remove could truncate a sibling's file between its\n * write and its read.\n *\n * @category testing\n * @since 1.0.0-rc.0\n */\nexport const defaultScratchPath = (suite: string): string => {\n  const slug = suite.toLowerCase().replace(/[^a-z0-9]+/g, \"-\").replace(/^-+|-+$/g, \"\") || \"host\"\n  // Ambient `process.pid` on purpose: this is a Node-only test harness that\n  // must name a path unique to THIS operating-system process before any layer\n  // exists to ask. Injecting it would only move the same read one frame out.\n  return join(tmpdir(), `flows-host-contract-${process.pid}-${++scratchSeq}-${slug}`)\n}\n\n/** Everything a {@link HostContractLayer} provides; a case may use nothing else. */\ntype HostServices = Layer.Success<HostContractLayer>\n\nconst provide = <A, E>(\n  effect: Effect.Effect<A, E, HostServices>,\n  layer: HostContractLayer\n): Effect.Effect<A, E | unknown> => effect.pipe(Effect.provide(layer))\n\nconst run = <A, E>(effect: Effect.Effect<A, E, HostServices>, layer: HostContractLayer) => provide(effect, layer)\n\nconst unsupported = ChildProcess.make(\"host-contract-unsupported\")\n\nconst unsupportedChildProcess = (operation: \"string\" | \"stream\", code: string) =>\n  Effect.gen(function*() {\n    const spawner = yield* ChildProcessSpawner\n    yield* operation === \"stream\"\n      ? assertFailure(Stream.runDrain(spawner.streamString(unsupported)), code)\n      : assertFailure(spawner.string(unsupported), code)\n  })\n\nconst fileSystemProbe = (\n  fs: FileSystem.FileSystem,\n  operation: FileSystemOperation,\n  root: string\n): Effect.Effect<unknown, unknown> => {\n  const at = (name: string): string => `${root}/${operation}-${name}`\n  const source = `${root}/source.txt`\n  const bytes = new TextEncoder().encode(\"host-contract\")\n  switch (operation) {\n    case \"access\":\n      return fs.access(source)\n    case \"copy\":\n      return fs.copy(source, at(\"copy.txt\"))\n    case \"copyFile\":\n      return fs.copyFile(source, at(\"copy-file.txt\"))\n    case \"chmod\":\n      return fs.chmod(source, 0o600)\n    case \"chown\":\n      return Effect.flatMap(fs.stat(source), (info) =>\n        fs.chown(\n          source,\n          Option.getOrElse(info.uid, () => 0),\n          Option.getOrElse(info.gid, () => 0)\n        ))\n    case \"glob\":\n      return fs.glob(\"**/*.txt\", { root })\n    case \"exists\":\n      return Effect.tap(fs.exists(source), (exists) => Effect.sync(() => expect(exists).toBe(true)))\n    case \"link\":\n      return fs.link(source, at(\"hard-link.txt\"))\n    case \"makeDirectory\":\n      return fs.makeDirectory(at(\"directory\"), { recursive: true })\n    case \"makeTempDirectory\":\n      return fs.makeTempDirectory({ directory: root })\n    case \"makeTempDirectoryScoped\":\n      return Effect.scoped(fs.makeTempDirectoryScoped({ directory: root }))\n    case \"makeTempFile\":\n      return fs.makeTempFile({ directory: root })\n    case \"makeTempFileScoped\":\n      return Effect.scoped(fs.makeTempFileScoped({ directory: root }))\n    case \"open\":\n      return Effect.scoped(fs.open(source, { flag: \"r\" }))\n    case \"readDirectory\":\n      return Effect.tap(fs.readDirectory(root), (entries) =>\n        Effect.sync(() => {\n          expect(Array.isArray(entries)).toBe(true)\n          expect(entries.every((entry) => typeof entry === \"string\")).toBe(true)\n        }))\n    case \"readFile\":\n      return Effect.gen(function*() {\n        const first = yield* fs.readFile(source)\n        expect(first).toBeInstanceOf(Uint8Array)\n        const original = first[0]\n        expect(original).toBeDefined()\n        first[0] = original! ^ 0xff\n        const second = yield* fs.readFile(source)\n        expect(second[0]).toBe(original)\n      })\n    case \"readFileString\":\n      return fs.readFileString(source)\n    case \"readLink\": {\n      const link = at(\"symbolic-link.txt\")\n      return fs.symlink(source, link).pipe(Effect.andThen(fs.readLink(link)))\n    }\n    case \"realPath\":\n      return fs.realPath(source)\n    case \"remove\": {\n      const path = at(\"remove.txt\")\n      return fs.writeFile(path, bytes).pipe(Effect.andThen(fs.remove(path)))\n    }\n    case \"rename\": {\n      const from = at(\"rename-from.txt\")\n      return fs.writeFile(from, bytes).pipe(Effect.andThen(fs.rename(from, at(\"rename-to.txt\"))))\n    }\n    case \"sink\":\n      return Stream.run(Stream.succeed(bytes), fs.sink(at(\"sink.txt\")))\n    case \"stat\":\n      return Effect.tap(fs.stat(source), (info) =>\n        Effect.sync(() => {\n          expect(typeof info.size).toBe(\"bigint\")\n          expect(typeof info.type).toBe(\"string\")\n        }))\n    case \"stream\":\n      return Stream.runForEach(\n        fs.stream(source),\n        (chunk) => Effect.sync(() => expect(chunk).toBeInstanceOf(Uint8Array))\n      )\n    case \"symlink\":\n      return fs.symlink(source, at(\"symlink.txt\"))\n    case \"truncate\": {\n      const path = at(\"truncate.txt\")\n      return fs.writeFile(path, bytes).pipe(Effect.andThen(fs.truncate(path, 1)))\n    }\n    case \"utimes\":\n      return fs.utimes(source, new Date(0), new Date(0))\n    case \"watch\":\n      return Effect.gen(function*() {\n        const watched = yield* Stream.runHead(fs.watch(root)).pipe(\n          Effect.timeout(\"5 seconds\"),\n          Effect.forkChild({ startImmediately: true })\n        )\n        // Keep producing events until the watcher observes one: subscribing\n        // can take longer than any fixed initial delay. The foreign Promise\n        // also works when the supplied host provides a frozen TestClock.\n        yield* Effect.raceFirst(\n          Fiber.join(watched),\n          fs.writeFile(at(\"watched.txt\"), bytes).pipe(\n            Effect.andThen(Effect.promise(() => new Promise((resolve) => setTimeout(resolve, 10)))),\n            Effect.forever\n          )\n        )\n      })\n    case \"writeFile\":\n      return Effect.gen(function*() {\n        const input = bytes.slice()\n        const expected = input[0]\n        expect(expected).toBeDefined()\n        yield* fs.writeFile(at(\"write.txt\"), input)\n        input[0] = expected! ^ 0xff\n        expect((yield* fs.readFile(at(\"write.txt\")))[0]).toBe(expected)\n      })\n    case \"writeFileString\":\n      return fs.writeFileString(at(\"write-string.txt\"), \"host-contract\")\n  }\n}\n\n/** The default stdin probe: echo back one line read from the child's stdin. */\nconst defaultStdinCommand = ChildProcess.make(\n  process.execPath,\n  [\n    \"-e\",\n    `let input = \"\"; process.stdin.setEncoding(\"utf8\"); process.stdin.on(\"data\", chunk => input += chunk); process.stdin.on(\"end\", () => process.stdout.write(input.replace(/\\\\r?\\\\n$/, \"\")));`\n  ],\n  { stdin: Stream.fromArray([new TextEncoder().encode(\"stdin\\n\")]) }\n)\n\n/** The default two-leg process probe. */\nconst defaultPipelineCommand = ChildProcess.pipeTo(\n  ChildProcess.make(process.execPath, [\"-e\", `process.stdout.write(\"host-contract-pipeline\")`]),\n  ChildProcess.make(process.execPath, [\"-e\", \"process.stdin.pipe(process.stdout)\"])\n)\n\n/** The default multi-leg cancellation probe. */\nconst defaultInterruptCommand = ChildProcess.pipeTo(\n  ChildProcess.make(process.execPath, [\"-e\", \"setTimeout(() => {}, 10_000)\"]),\n  ChildProcess.make(process.execPath, [\"-e\", \"process.stdin.pipe(process.stdout)\"])\n)\n\n/**\n * Registers the shared Host contract with Vitest.\n *\n * Every invocation creates ten cases: complete service presence,\n * FileSystem, Path, five child-process lifecycle cases, Jj, and\n * HttpClient.\n *\n * @category testing\n * @since 1.0.0-rc.0\n */\nexport const runHostContract = (\n  name: string,\n  layer: HostContractLayer,\n  caps: HostContractCapabilities\n): void => {\n  const fileSystemCap = caps.fileSystem\n  const pathCap = caps.path\n  const childProcessCap = caps.childProcess\n  const jjCap = caps.jj\n  const httpClientCap = caps.httpClient\n  const scratchPath = fileSystemCap.expected === \"success\"\n    ? fileSystemCap.scratchPath ?? defaultScratchPath(name)\n    : \"\"\n\n  describe(`${name} Host contract`, () => {\n    it.live(\"provides every tag in the closed Host service list\", () =>\n      run(\n        Effect.gen(function*() {\n          yield* FileSystem.FileSystem\n          yield* Path.Path\n          yield* ChildProcessSpawner\n          yield* JjService.Jj\n          yield* HttpClient\n        }),\n        layer\n      ))\n\n    it.live(\"declares every FileSystem operation\", () =>\n      run(\n        fileSystemCap.expected === \"failure\"\n          ? Effect.gen(function*() {\n            const fs = yield* FileSystem.FileSystem\n            yield* Effect.forEach(\n              FileSystemOperations,\n              (operation) =>\n                assertFailure(\n                  fileSystemProbe(fs, operation, \"/host-contract/unsupported\"),\n                  fileSystemCap.code\n                ),\n              { discard: true }\n            )\n          })\n          : Effect.gen(function*() {\n            const fs = yield* FileSystem.FileSystem\n            const root = scratchPath\n            const bytes = new TextEncoder().encode(\"host-contract\")\n            yield* Effect.gen(function*() {\n              yield* fs.makeDirectory(root, { recursive: true })\n              yield* fs.writeFile(`${root}/source.txt`, bytes)\n              yield* FileSystemBatchContract.check(fs, root)\n              yield* Effect.forEach(\n                FileSystemOperations,\n                (operation) => {\n                  const probe = fileSystemProbe(fs, operation, root)\n                  const code = fileSystemCap.unsupported?.[operation]\n                  return code === undefined ? probe : assertFailure(probe, code)\n                },\n                { discard: true }\n              )\n            }).pipe(\n              Effect.ensuring(fs.remove(root, { recursive: true, force: true }).pipe(Effect.ignore))\n            )\n          }),\n        layer\n      ))\n\n    it.live(\"declares Path behavior\", () =>\n      run(\n        pathCap.expected === \"failure\"\n          ? Effect.gen(function*() {\n            const path = yield* Path.Path\n            yield* assertFailure(\n              Effect.try({\n                try: () => path.fromFileUrl(new URL(\"file:///host-contract/value\")),\n                catch: (error) => error\n              }),\n              pathCap.code\n            )\n          })\n          : Effect.gen(function*() {\n            const path = yield* Path.Path\n            expect(path.normalize(\"/host-contract/./nested/../value\")).toBe(`${path.sep}host-contract${path.sep}value`)\n          }),\n        layer\n      ))\n\n    it.live(\"declares buffered child-process behavior\", () =>\n      run(\n        childProcessCap.expected === \"failure\"\n          ? unsupportedChildProcess(\"string\", childProcessCap.code)\n          : Effect.gen(function*() {\n            const spawner = yield* ChildProcessSpawner\n            const command = childProcessCap.execCommand ??\n              ChildProcess.make(process.execPath, [\"-e\", `process.stdout.write(\"host-contract\")`])\n            expect(yield* spawner.string(command)).toBe(childProcessCap.expectedStdout ?? \"host-contract\")\n            expect(yield* spawner.exitCode(command)).toBe(0)\n          }),\n        layer\n      ))\n\n    it.live(\"declares child-process streaming behavior\", () =>\n      run(\n        childProcessCap.expected === \"failure\"\n          ? unsupportedChildProcess(\"stream\", childProcessCap.code)\n          : Effect.gen(function*() {\n            const spawner = yield* ChildProcessSpawner\n            const output = yield* Stream.mkString(\n              spawner.streamString(\n                childProcessCap.streamCommand ??\n                  ChildProcess.make(process.execPath, [\"-e\", `process.stdout.write(\"host-contract-stream\")`])\n              )\n            )\n            expect(output).toContain(childProcessCap.expectedStreamText ?? \"host-contract-stream\")\n          }),\n        layer\n      ))\n\n    it.live(\"declares child-process cwd and env option behavior\", () =>\n      run(\n        childProcessCap.expected === \"failure\"\n          ? unsupportedChildProcess(\"string\", childProcessCap.code)\n          : Effect.gen(function*() {\n            const spawner = yield* ChildProcessSpawner\n            const output = yield* spawner.string(\n              childProcessCap.optionsCommand ??\n                ChildProcess.make(process.execPath, [\"-e\", \"process.stdout.write(process.env.HOST_CONTRACT_ENV)\"], {\n                  cwd: tmpdir(),\n                  env: { HOST_CONTRACT_ENV: \"env\" },\n                  extendEnv: true\n                })\n            )\n            expect(output).toBe(childProcessCap.expectedOptionsStdout ?? \"env\")\n          }),\n        layer\n      ))\n\n    it.live(\"declares child-process stdin behavior\", () =>\n      run(\n        Effect.gen(function*() {\n          const spawner = yield* ChildProcessSpawner\n          const stdinCap = childProcessCap.expected === \"failure\"\n            ? childProcessCap\n            : childProcessCap.stdin ?? { command: defaultStdinCommand, expectedStdout: \"stdin\" }\n          if (\"expected\" in stdinCap) {\n            yield* assertFailure(spawner.string(defaultStdinCommand), stdinCap.code)\n            return\n          }\n          expect(yield* spawner.string(stdinCap.command)).toBe(stdinCap.expectedStdout)\n        }),\n        layer\n      ))\n\n    it.live(\"declares child-process pipeline behavior\", () =>\n      run(\n        Effect.gen(function*() {\n          const spawner = yield* ChildProcessSpawner\n          const pipelineCap = childProcessCap.expected === \"failure\"\n            ? childProcessCap\n            : childProcessCap.pipeline ?? {\n              command: defaultPipelineCommand,\n              expectedStdout: \"host-contract-pipeline\"\n            }\n          if (\"expected\" in pipelineCap) {\n            yield* assertFailure(spawner.string(defaultPipelineCommand), pipelineCap.code)\n            return\n          }\n          expect(yield* spawner.string(pipelineCap.command)).toBe(pipelineCap.expectedStdout)\n        }),\n        layer\n      ))\n\n    it.live(\"declares child-process interruption behavior\", () =>\n      run(\n        childProcessCap.expected === \"failure\"\n          ? unsupportedChildProcess(\"stream\", childProcessCap.code)\n          : Effect.gen(function*() {\n            const spawner = yield* ChildProcessSpawner\n            const ready = yield* Deferred.make<ChildProcessHandle>()\n            const fiber = yield* Effect.scoped(\n              Effect.gen(function*() {\n                const handle = yield* spawner.spawn(\n                  childProcessCap.interruptCommand ?? defaultInterruptCommand\n                )\n                yield* Deferred.succeed(ready, handle)\n                yield* handle.exitCode\n              })\n            ).pipe(\n              Effect.forkChild({ startImmediately: true })\n            )\n            const handle = yield* Deferred.await(ready)\n            expect(yield* handle.isRunning).toBe(true)\n            yield* Fiber.interrupt(fiber)\n            expect(yield* handle.isRunning).toBe(false)\n          }),\n        layer\n      ))\n\n    it.live(\"declares every Jj operation\", () =>\n      run(\n        jjCap.expected === \"failure\"\n          ? Effect.gen(function*() {\n            const jj = yield* JjService.Jj\n            const root = jj.root\n            const revert = jj.revert\n            expect(root).toBeTypeOf(\"function\")\n            expect(revert).toBeTypeOf(\"function\")\n            yield* Effect.forEach([\n              jj.snapshot(\"host contract\"),\n              jj.restore(\"host-contract-change\"),\n              jj.diff(\"host-contract-from\", \"host-contract-to\"),\n              jj.workspaceAdd(\"host-contract\", \"/host-contract/workspace\", \"host-contract-change\"),\n              jj.workspaceForget(\"host-contract\"),\n              jj.status(),\n              root!(\"/host-contract\"),\n              revert!(\"host-contract-change\")\n            ], (probe) =>\n              assertFailure(probe, jjCap.code), { discard: true })\n          })\n          : Effect.gen(function*() {\n            const jj = yield* JjService.Jj\n            const root = jj.root\n            const revert = jj.revert\n            expect(root).toBeTypeOf(\"function\")\n            expect(revert).toBeTypeOf(\"function\")\n            yield* (jjCap.prepareChange?.(\"first\") ?? Effect.void)\n            const first = yield* jj.snapshot(\"host contract first\")\n            expect(first.changeId.length).toBeGreaterThan(0)\n            yield* (jjCap.prepareChange?.(\"second\") ?? Effect.void)\n            const second = yield* jj.snapshot(\"host contract second\")\n            expect(second.changeId.length).toBeGreaterThan(0)\n            expect(typeof (yield* jj.diff(first.changeId, second.changeId))).toBe(\"string\")\n            const revertCode = jjCap.unsupported?.revert\n            if (revertCode === undefined) {\n              const reverted = yield* revert!(second.changeId)\n              expect(Array.isArray(reverted.reverted)).toBe(true)\n              expect(reverted.reverted.every((path) =>\n                typeof path === \"string\"\n              )).toBe(true)\n            } else {\n              yield* assertFailure(revert!(second.changeId), revertCode)\n            }\n            yield* jj.restore(first.changeId)\n            const workspaceName = `host-contract-${process.pid}-${++scratchSeq}`\n            yield* jj.workspaceAdd(\n              workspaceName,\n              jjCap.workspacePath ?? defaultScratchPath(`${name}-jj-workspace`),\n              first.changeId\n            )\n            yield* jj.workspaceForget(workspaceName)\n            expect(typeof (yield* jj.status())).toBe(\"string\")\n            const rootCode = jjCap.unsupported?.root\n            const rootFrom = jjCap.rootFrom ?? \".\"\n            if (rootCode === undefined) {\n              expect((yield* root!(rootFrom)).length).toBeGreaterThan(0)\n            } else {\n              yield* assertFailure(root!(rootFrom), rootCode)\n            }\n          }),\n        layer\n      ))\n\n    it.live(\"declares HTTP read, write, and redirect behavior\", () =>\n      run(\n        httpClientCap.expected === \"failure\"\n          ? Effect.gen(function*() {\n            const client = yield* HttpClient\n            yield* Effect.forEach([\n              HttpClientRequest.get(\"http://127.0.0.1:1/host-contract/read\"),\n              HttpClientRequest.post(\"http://127.0.0.1:1/host-contract/write\").pipe(\n                HttpClientRequest.bodyText(\"host-contract\")\n              ),\n              HttpClientRequest.get(\"http://127.0.0.1:1/host-contract/redirect\")\n            ], (request) =>\n              assertFailure(client.execute(request), httpClientCap.code), { discard: true })\n          })\n          : Effect.gen(function*() {\n            const client = yield* HttpClient\n            for (const probe of [httpClientCap.read, httpClientCap.write, httpClientCap.redirect]) {\n              const response = yield* client.execute(probe.request)\n              expect(typeof response.status).toBe(\"number\")\n              expect(typeof response.headers).toBe(\"object\")\n              probe.assertResponse(response)\n            }\n          }),\n        layer\n      ))\n  })\n}\n"],
+  "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAcA,oBAAqC;AACrC,gBAA2B;AAE3B,oBAAsF;AACtF,wBAA2B;AAC3B,wBAAmC;AAEnC,mBAA8B;AAC9B,iCAA6D;AAC7D,qBAAuB;AACvB,uBAAqB;AACrB,8BAAyC;AAEzC,qCAA8C;AAoCvC,MAAM,uBAAuB;AAAA,EAClC;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AACF;AAgFO,MAAM,eAAe;AAAA,EAC1B;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AACF;AA0EO,MAAM,YAAY,CAAC,UAAuC;AAC/D,MAAI,OAAO,UAAU,YAAY,UAAU,KAAM,QAAO;AACxD,MAAI,UAAU,SAAS,OAAO,MAAM,SAAS,SAAU,QAAO,MAAM;AACpE,MACE,YAAY,SACZ,OAAO,MAAM,WAAW,YACxB,MAAM,WAAW,QACjB,UAAU,MAAM,UAChB,OAAO,MAAM,OAAO,SAAS,UAC7B;AACA,WAAO,MAAM,OAAO;AAAA,EACtB;AACA,MAAI,UAAU,SAAS,OAAO,MAAM,SAAS,SAAU,QAAO,MAAM;AACpE,SAAO;AACT;AASO,MAAM,gBAAgB,CAC3B,QACA,SAEA,OAAO;AAAA,EACL,qBAAO,MAAM;AAAA,IACX,WAAW,CAAC,UAAU;AACpB,gCAAO,UAAU,KAAK,CAAC,EAAE,KAAK,IAAI;AAAA,IACpC;AAAA,IACA,WAAW,MAAM;AACf,YAAM,IAAI,MAAM,0BAA0B,IAAI,EAAE;AAAA,IAClD;AAAA,EACF,CAAC;AACH;AAEF,IAAI,aAAa;AAgBV,MAAM,qBAAqB,CAAC,UAA0B;AAC3D,QAAM,OAAO,MAAM,YAAY,EAAE,QAAQ,eAAe,GAAG,EAAE,QAAQ,YAAY,EAAE,KAAK;AAIxF,aAAO,2BAAK,uBAAO,GAAG,uBAAuB,QAAQ,GAAG,IAAI,EAAE,UAAU,IAAI,IAAI,EAAE;AACpF;AAKA,MAAM,UAAU,CACd,QACA,UACkC,OAAO,KAAK,qBAAO,QAAQ,KAAK,CAAC;AAErE,MAAM,MAAM,CAAO,QAA2C,UAA6B,QAAQ,QAAQ,KAAK;AAEhH,MAAM,cAAc,aAAa,KAAK,2BAA2B;AAEjE,MAAM,0BAA0B,CAAC,WAAgC,SAC/D,qBAAO,IAAI,aAAY;AACrB,QAAM,UAAU,OAAO;AACvB,SAAO,cAAc,WACjB,cAAc,qBAAO,SAAS,QAAQ,aAAa,WAAW,CAAC,GAAG,IAAI,IACtE,cAAc,QAAQ,OAAO,WAAW,GAAG,IAAI;AACrD,CAAC;AAEH,MAAM,kBAAkB,CACtB,IACA,WACA,SACoC;AACpC,QAAM,KAAK,CAAC,SAAyB,GAAG,IAAI,IAAI,SAAS,IAAI,IAAI;AACjE,QAAM,SAAS,GAAG,IAAI;AACtB,QAAM,QAAQ,IAAI,YAAY,EAAE,OAAO,eAAe;AACtD,UAAQ,WAAW;AAAA,IACjB,KAAK;AACH,aAAO,GAAG,OAAO,MAAM;AAAA,IACzB,KAAK;AACH,aAAO,GAAG,KAAK,QAAQ,GAAG,UAAU,CAAC;AAAA,IACvC,KAAK;AACH,aAAO,GAAG,SAAS,QAAQ,GAAG,eAAe,CAAC;AAAA,IAChD,KAAK;AACH,aAAO,GAAG,MAAM,QAAQ,GAAK;AAAA,IAC/B,KAAK;AACH,aAAO,qBAAO,QAAQ,GAAG,KAAK,MAAM,GAAG,CAAC,SACtC,GAAG;AAAA,QACD;AAAA,QACA,qBAAO,UAAU,KAAK,KAAK,MAAM,CAAC;AAAA,QAClC,qBAAO,UAAU,KAAK,KAAK,MAAM,CAAC;AAAA,MACpC,CAAC;AAAA,IACL,KAAK;AACH,aAAO,GAAG,KAAK,YAAY,EAAE,KAAK,CAAC;AAAA,IACrC,KAAK;AACH,aAAO,qBAAO,IAAI,GAAG,OAAO,MAAM,GAAG,CAAC,WAAW,qBAAO,KAAK,UAAM,sBAAO,MAAM,EAAE,KAAK,IAAI,CAAC,CAAC;AAAA,IAC/F,KAAK;AACH,aAAO,GAAG,KAAK,QAAQ,GAAG,eAAe,CAAC;AAAA,IAC5C,KAAK;AACH,aAAO,GAAG,cAAc,GAAG,WAAW,GAAG,EAAE,WAAW,KAAK,CAAC;AAAA,IAC9D,KAAK;AACH,aAAO,GAAG,kBAAkB,EAAE,WAAW,KAAK,CAAC;AAAA,IACjD,KAAK;AACH,aAAO,qBAAO,OAAO,GAAG,wBAAwB,EAAE,WAAW,KAAK,CAAC,CAAC;AAAA,IACtE,KAAK;AACH,aAAO,GAAG,aAAa,EAAE,WAAW,KAAK,CAAC;AAAA,IAC5C,KAAK;AACH,aAAO,qBAAO,OAAO,GAAG,mBAAmB,EAAE,WAAW,KAAK,CAAC,CAAC;AAAA,IACjE,KAAK;AACH,aAAO,qBAAO,OAAO,GAAG,KAAK,QAAQ,EAAE,MAAM,IAAI,CAAC,CAAC;AAAA,IACrD,KAAK;AACH,aAAO,qBAAO,IAAI,GAAG,cAAc,IAAI,GAAG,CAAC,YACzC,qBAAO,KAAK,MAAM;AAChB,kCAAO,MAAM,QAAQ,OAAO,CAAC,EAAE,KAAK,IAAI;AACxC,kCAAO,QAAQ,MAAM,CAAC,UAAU,OAAO,UAAU,QAAQ,CAAC,EAAE,KAAK,IAAI;AAAA,MACvE,CAAC,CAAC;AAAA,IACN,KAAK;AACH,aAAO,qBAAO,IAAI,aAAY;AAC5B,cAAM,QAAQ,OAAO,GAAG,SAAS,MAAM;AACvC,kCAAO,KAAK,EAAE,eAAe,UAAU;AACvC,cAAM,WAAW,MAAM,CAAC;AACxB,kCAAO,QAAQ,EAAE,YAAY;AAC7B,cAAM,CAAC,IAAI,WAAY;AACvB,cAAM,SAAS,OAAO,GAAG,SAAS,MAAM;AACxC,kCAAO,OAAO,CAAC,CAAC,EAAE,KAAK,QAAQ;AAAA,MACjC,CAAC;AAAA,IACH,KAAK;AACH,aAAO,GAAG,eAAe,MAAM;AAAA,IACjC,KAAK,YAAY;AACf,YAAM,OAAO,GAAG,mBAAmB;AACnC,aAAO,GAAG,QAAQ,QAAQ,IAAI,EAAE,KAAK,qBAAO,QAAQ,GAAG,SAAS,IAAI,CAAC,CAAC;AAAA,IACxE;AAAA,IACA,KAAK;AACH,aAAO,GAAG,SAAS,MAAM;AAAA,IAC3B,KAAK,UAAU;AACb,YAAM,OAAO,GAAG,YAAY;AAC5B,aAAO,GAAG,UAAU,MAAM,KAAK,EAAE,KAAK,qBAAO,QAAQ,GAAG,OAAO,IAAI,CAAC,CAAC;AAAA,IACvE;AAAA,IACA,KAAK,UAAU;AACb,YAAM,OAAO,GAAG,iBAAiB;AACjC,aAAO,GAAG,UAAU,MAAM,KAAK,EAAE,KAAK,qBAAO,QAAQ,GAAG,OAAO,MAAM,GAAG,eAAe,CAAC,CAAC,CAAC;AAAA,IAC5F;AAAA,IACA,KAAK;AACH,aAAO,qBAAO,IAAI,qBAAO,QAAQ,KAAK,GAAG,GAAG,KAAK,GAAG,UAAU,CAAC,CAAC;AAAA,IAClE,KAAK;AACH,aAAO,qBAAO,IAAI,GAAG,KAAK,MAAM,GAAG,CAAC,SAClC,qBAAO,KAAK,MAAM;AAChB,kCAAO,OAAO,KAAK,IAAI,EAAE,KAAK,QAAQ;AACtC,kCAAO,OAAO,KAAK,IAAI,EAAE,KAAK,QAAQ;AAAA,MACxC,CAAC,CAAC;AAAA,IACN,KAAK;AACH,aAAO,qBAAO;AAAA,QACZ,GAAG,OAAO,MAAM;AAAA,QAChB,CAAC,UAAU,qBAAO,KAAK,UAAM,sBAAO,KAAK,EAAE,eAAe,UAAU,CAAC;AAAA,MACvE;AAAA,IACF,KAAK;AACH,aAAO,GAAG,QAAQ,QAAQ,GAAG,aAAa,CAAC;AAAA,IAC7C,KAAK,YAAY;AACf,YAAM,OAAO,GAAG,cAAc;AAC9B,aAAO,GAAG,UAAU,MAAM,KAAK,EAAE,KAAK,qBAAO,QAAQ,GAAG,SAAS,MAAM,CAAC,CAAC,CAAC;AAAA,IAC5E;AAAA,IACA,KAAK;AACH,aAAO,GAAG,OAAO,QAAQ,oBAAI,KAAK,CAAC,GAAG,oBAAI,KAAK,CAAC,CAAC;AAAA,IACnD,KAAK;AACH,aAAO,qBAAO,IAAI,aAAY;AAC5B,cAAM,UAAU,OAAO,qBAAO,QAAQ,GAAG,MAAM,IAAI,CAAC,EAAE;AAAA,UACpD,qBAAO,QAAQ,WAAW;AAAA,UAC1B,qBAAO,UAAU,EAAE,kBAAkB,KAAK,CAAC;AAAA,QAC7C;AAIA,eAAO,qBAAO;AAAA,UACZ,oBAAM,KAAK,OAAO;AAAA,UAClB,GAAG,UAAU,GAAG,aAAa,GAAG,KAAK,EAAE;AAAA,YACrC,qBAAO,QAAQ,qBAAO,QAAQ,MAAM,IAAI,QAAQ,CAAC,YAAY,WAAW,SAAS,EAAE,CAAC,CAAC,CAAC;AAAA,YACtF,qBAAO;AAAA,UACT;AAAA,QACF;AAAA,MACF,CAAC;AAAA,IACH,KAAK;AACH,aAAO,qBAAO,IAAI,aAAY;AAC5B,cAAM,QAAQ,MAAM,MAAM;AAC1B,cAAM,WAAW,MAAM,CAAC;AACxB,kCAAO,QAAQ,EAAE,YAAY;AAC7B,eAAO,GAAG,UAAU,GAAG,WAAW,GAAG,KAAK;AAC1C,cAAM,CAAC,IAAI,WAAY;AACvB,mCAAQ,OAAO,GAAG,SAAS,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,QAAQ;AAAA,MAChE,CAAC;AAAA,IACH,KAAK;AACH,aAAO,GAAG,gBAAgB,GAAG,kBAAkB,GAAG,eAAe;AAAA,EACrE;AACF;AAGA,MAAM,sBAAsB,aAAa;AAAA,EACvC,QAAQ;AAAA,EACR;AAAA,IACE;AAAA,IACA;AAAA,EACF;AAAA,EACA,EAAE,OAAO,qBAAO,UAAU,CAAC,IAAI,YAAY,EAAE,OAAO,SAAS,CAAC,CAAC,EAAE;AACnE;AAGA,MAAM,yBAAyB,aAAa;AAAA,EAC1C,aAAa,KAAK,QAAQ,UAAU,CAAC,MAAM,gDAAgD,CAAC;AAAA,EAC5F,aAAa,KAAK,QAAQ,UAAU,CAAC,MAAM,oCAAoC,CAAC;AAClF;AAGA,MAAM,0BAA0B,aAAa;AAAA,EAC3C,aAAa,KAAK,QAAQ,UAAU,CAAC,MAAM,8BAA8B,CAAC;AAAA,EAC1E,aAAa,KAAK,QAAQ,UAAU,CAAC,MAAM,oCAAoC,CAAC;AAClF;AAYO,MAAM,kBAAkB,CAC7B,MACA,OACA,SACS;AACT,QAAM,gBAAgB,KAAK;AAC3B,QAAM,UAAU,KAAK;AACrB,QAAM,kBAAkB,KAAK;AAC7B,QAAM,QAAQ,KAAK;AACnB,QAAM,gBAAgB,KAAK;AAC3B,QAAM,cAAc,cAAc,aAAa,YAC3C,cAAc,eAAe,mBAAmB,IAAI,IACpD;AAEJ,8BAAS,GAAG,IAAI,kBAAkB,MAAM;AACtC,qBAAG,KAAK,sDAAsD,MAC5D;AAAA,MACE,qBAAO,IAAI,aAAY;AACrB,eAAO,yBAAW;AAClB,eAAO,mBAAK;AACZ,eAAO;AACP,eAAO,UAAU;AACjB,eAAO;AAAA,MACT,CAAC;AAAA,MACD;AAAA,IACF,CAAC;AAEH,qBAAG,KAAK,uCAAuC,MAC7C;AAAA,MACE,cAAc,aAAa,YACvB,qBAAO,IAAI,aAAY;AACvB,cAAM,KAAK,OAAO,yBAAW;AAC7B,eAAO,qBAAO;AAAA,UACZ;AAAA,UACA,CAAC,cACC;AAAA,YACE,gBAAgB,IAAI,WAAW,4BAA4B;AAAA,YAC3D,cAAc;AAAA,UAChB;AAAA,UACF,EAAE,SAAS,KAAK;AAAA,QAClB;AAAA,MACF,CAAC,IACC,qBAAO,IAAI,aAAY;AACvB,cAAM,KAAK,OAAO,yBAAW;AAC7B,cAAM,OAAO;AACb,cAAM,QAAQ,IAAI,YAAY,EAAE,OAAO,eAAe;AACtD,eAAO,qBAAO,IAAI,aAAY;AAC5B,iBAAO,GAAG,cAAc,MAAM,EAAE,WAAW,KAAK,CAAC;AACjD,iBAAO,GAAG,UAAU,GAAG,IAAI,eAAe,KAAK;AAC/C,iBAAO,wBAAwB,MAAM,IAAI,IAAI;AAC7C,iBAAO,qBAAO;AAAA,YACZ;AAAA,YACA,CAAC,cAAc;AACb,oBAAM,QAAQ,gBAAgB,IAAI,WAAW,IAAI;AACjD,oBAAM,OAAO,cAAc,cAAc,SAAS;AAClD,qBAAO,SAAS,SAAY,QAAQ,cAAc,OAAO,IAAI;AAAA,YAC/D;AAAA,YACA,EAAE,SAAS,KAAK;AAAA,UAClB;AAAA,QACF,CAAC,EAAE;AAAA,UACD,qBAAO,SAAS,GAAG,OAAO,MAAM,EAAE,WAAW,MAAM,OAAO,KAAK,CAAC,EAAE,KAAK,qBAAO,MAAM,CAAC;AAAA,QACvF;AAAA,MACF,CAAC;AAAA,MACH;AAAA,IACF,CAAC;AAEH,qBAAG,KAAK,0BAA0B,MAChC;AAAA,MACE,QAAQ,aAAa,YACjB,qBAAO,IAAI,aAAY;AACvB,cAAM,OAAO,OAAO,mBAAK;AACzB,eAAO;AAAA,UACL,qBAAO,IAAI;AAAA,YACT,KAAK,MAAM,KAAK,YAAY,IAAI,IAAI,6BAA6B,CAAC;AAAA,YAClE,OAAO,CAAC,UAAU;AAAA,UACpB,CAAC;AAAA,UACD,QAAQ;AAAA,QACV;AAAA,MACF,CAAC,IACC,qBAAO,IAAI,aAAY;AACvB,cAAM,OAAO,OAAO,mBAAK;AACzB,kCAAO,KAAK,UAAU,kCAAkC,CAAC,EAAE,KAAK,GAAG,KAAK,GAAG,gBAAgB,KAAK,GAAG,OAAO;AAAA,MAC5G,CAAC;AAAA,MACH;AAAA,IACF,CAAC;AAEH,qBAAG,KAAK,4CAA4C,MAClD;AAAA,MACE,gBAAgB,aAAa,YACzB,wBAAwB,UAAU,gBAAgB,IAAI,IACtD,qBAAO,IAAI,aAAY;AACvB,cAAM,UAAU,OAAO;AACvB,cAAM,UAAU,gBAAgB,eAC9B,aAAa,KAAK,QAAQ,UAAU,CAAC,MAAM,uCAAuC,CAAC;AACrF,kCAAO,OAAO,QAAQ,OAAO,OAAO,CAAC,EAAE,KAAK,gBAAgB,kBAAkB,eAAe;AAC7F,kCAAO,OAAO,QAAQ,SAAS,OAAO,CAAC,EAAE,KAAK,CAAC;AAAA,MACjD,CAAC;AAAA,MACH;AAAA,IACF,CAAC;AAEH,qBAAG,KAAK,6CAA6C,MACnD;AAAA,MACE,gBAAgB,aAAa,YACzB,wBAAwB,UAAU,gBAAgB,IAAI,IACtD,qBAAO,IAAI,aAAY;AACvB,cAAM,UAAU,OAAO;AACvB,cAAM,SAAS,OAAO,qBAAO;AAAA,UAC3B,QAAQ;AAAA,YACN,gBAAgB,iBACd,aAAa,KAAK,QAAQ,UAAU,CAAC,MAAM,8CAA8C,CAAC;AAAA,UAC9F;AAAA,QACF;AACA,kCAAO,MAAM,EAAE,UAAU,gBAAgB,sBAAsB,sBAAsB;AAAA,MACvF,CAAC;AAAA,MACH;AAAA,IACF,CAAC;AAEH,qBAAG,KAAK,sDAAsD,MAC5D;AAAA,MACE,gBAAgB,aAAa,YACzB,wBAAwB,UAAU,gBAAgB,IAAI,IACtD,qBAAO,IAAI,aAAY;AACvB,cAAM,UAAU,OAAO;AACvB,cAAM,SAAS,OAAO,QAAQ;AAAA,UAC5B,gBAAgB,kBACd,aAAa,KAAK,QAAQ,UAAU,CAAC,MAAM,qDAAqD,GAAG;AAAA,YACjG,SAAK,uBAAO;AAAA,YACZ,KAAK,EAAE,mBAAmB,MAAM;AAAA,YAChC,WAAW;AAAA,UACb,CAAC;AAAA,QACL;AACA,kCAAO,MAAM,EAAE,KAAK,gBAAgB,yBAAyB,KAAK;AAAA,MACpE,CAAC;AAAA,MACH;AAAA,IACF,CAAC;AAEH,qBAAG,KAAK,yCAAyC,MAC/C;AAAA,MACE,qBAAO,IAAI,aAAY;AACrB,cAAM,UAAU,OAAO;AACvB,cAAM,WAAW,gBAAgB,aAAa,YAC1C,kBACA,gBAAgB,SAAS,EAAE,SAAS,qBAAqB,gBAAgB,QAAQ;AACrF,YAAI,cAAc,UAAU;AAC1B,iBAAO,cAAc,QAAQ,OAAO,mBAAmB,GAAG,SAAS,IAAI;AACvE;AAAA,QACF;AACA,kCAAO,OAAO,QAAQ,OAAO,SAAS,OAAO,CAAC,EAAE,KAAK,SAAS,cAAc;AAAA,MAC9E,CAAC;AAAA,MACD;AAAA,IACF,CAAC;AAEH,qBAAG,KAAK,4CAA4C,MAClD;AAAA,MACE,qBAAO,IAAI,aAAY;AACrB,cAAM,UAAU,OAAO;AACvB,cAAM,cAAc,gBAAgB,aAAa,YAC7C,kBACA,gBAAgB,YAAY;AAAA,UAC5B,SAAS;AAAA,UACT,gBAAgB;AAAA,QAClB;AACF,YAAI,cAAc,aAAa;AAC7B,iBAAO,cAAc,QAAQ,OAAO,sBAAsB,GAAG,YAAY,IAAI;AAC7E;AAAA,QACF;AACA,kCAAO,OAAO,QAAQ,OAAO,YAAY,OAAO,CAAC,EAAE,KAAK,YAAY,cAAc;AAAA,MACpF,CAAC;AAAA,MACD;AAAA,IACF,CAAC;AAEH,qBAAG,KAAK,gDAAgD,MACtD;AAAA,MACE,gBAAgB,aAAa,YACzB,wBAAwB,UAAU,gBAAgB,IAAI,IACtD,qBAAO,IAAI,aAAY;AACvB,cAAM,UAAU,OAAO;AACvB,cAAM,QAAQ,OAAO,uBAAS,KAAyB;AACvD,cAAM,QAAQ,OAAO,qBAAO;AAAA,UAC1B,qBAAO,IAAI,aAAY;AACrB,kBAAMA,UAAS,OAAO,QAAQ;AAAA,cAC5B,gBAAgB,oBAAoB;AAAA,YACtC;AACA,mBAAO,uBAAS,QAAQ,OAAOA,OAAM;AACrC,mBAAOA,QAAO;AAAA,UAChB,CAAC;AAAA,QACH,EAAE;AAAA,UACA,qBAAO,UAAU,EAAE,kBAAkB,KAAK,CAAC;AAAA,QAC7C;AACA,cAAM,SAAS,OAAO,uBAAS,MAAM,KAAK;AAC1C,kCAAO,OAAO,OAAO,SAAS,EAAE,KAAK,IAAI;AACzC,eAAO,oBAAM,UAAU,KAAK;AAC5B,kCAAO,OAAO,OAAO,SAAS,EAAE,KAAK,KAAK;AAAA,MAC5C,CAAC;AAAA,MACH;AAAA,IACF,CAAC;AAEH,qBAAG,KAAK,+BAA+B,MACrC;AAAA,MACE,MAAM,aAAa,YACf,qBAAO,IAAI,aAAY;AACvB,cAAM,KAAK,OAAO,UAAU;AAC5B,cAAM,OAAO,GAAG;AAChB,cAAM,SAAS,GAAG;AAClB,kCAAO,IAAI,EAAE,WAAW,UAAU;AAClC,kCAAO,MAAM,EAAE,WAAW,UAAU;AACpC,eAAO,qBAAO,QAAQ;AAAA,UACpB,GAAG,SAAS,eAAe;AAAA,UAC3B,GAAG,QAAQ,sBAAsB;AAAA,UACjC,GAAG,KAAK,sBAAsB,kBAAkB;AAAA,UAChD,GAAG,aAAa,iBAAiB,4BAA4B,sBAAsB;AAAA,UACnF,GAAG,gBAAgB,eAAe;AAAA,UAClC,GAAG,OAAO;AAAA,UACV,KAAM,gBAAgB;AAAA,UACtB,OAAQ,sBAAsB;AAAA,QAChC,GAAG,CAAC,UACF,cAAc,OAAO,MAAM,IAAI,GAAG,EAAE,SAAS,KAAK,CAAC;AAAA,MACvD,CAAC,IACC,qBAAO,IAAI,aAAY;AACvB,cAAM,KAAK,OAAO,UAAU;AAC5B,cAAM,OAAO,GAAG;AAChB,cAAM,SAAS,GAAG;AAClB,kCAAO,IAAI,EAAE,WAAW,UAAU;AAClC,kCAAO,MAAM,EAAE,WAAW,UAAU;AACpC,eAAQ,MAAM,gBAAgB,OAAO,KAAK,qBAAO;AACjD,cAAM,QAAQ,OAAO,GAAG,SAAS,qBAAqB;AACtD,kCAAO,MAAM,SAAS,MAAM,EAAE,gBAAgB,CAAC;AAC/C,eAAQ,MAAM,gBAAgB,QAAQ,KAAK,qBAAO;AAClD,cAAM,SAAS,OAAO,GAAG,SAAS,sBAAsB;AACxD,kCAAO,OAAO,SAAS,MAAM,EAAE,gBAAgB,CAAC;AAChD,kCAAO,QAAQ,OAAO,GAAG,KAAK,MAAM,UAAU,OAAO,QAAQ,EAAE,EAAE,KAAK,QAAQ;AAC9E,cAAM,aAAa,MAAM,aAAa;AACtC,YAAI,eAAe,QAAW;AAC5B,gBAAM,WAAW,OAAO,OAAQ,OAAO,QAAQ;AAC/C,oCAAO,MAAM,QAAQ,SAAS,QAAQ,CAAC,EAAE,KAAK,IAAI;AAClD,oCAAO,SAAS,SAAS;AAAA,YAAM,CAAC,SAC9B,OAAO,SAAS;AAAA,UAClB,CAAC,EAAE,KAAK,IAAI;AAAA,QACd,OAAO;AACL,iBAAO,cAAc,OAAQ,OAAO,QAAQ,GAAG,UAAU;AAAA,QAC3D;AACA,eAAO,GAAG,QAAQ,MAAM,QAAQ;AAChC,cAAM,gBAAgB,iBAAiB,QAAQ,GAAG,IAAI,EAAE,UAAU;AAClE,eAAO,GAAG;AAAA,UACR;AAAA,UACA,MAAM,iBAAiB,mBAAmB,GAAG,IAAI,eAAe;AAAA,UAChE,MAAM;AAAA,QACR;AACA,eAAO,GAAG,gBAAgB,aAAa;AACvC,kCAAO,QAAQ,OAAO,GAAG,OAAO,EAAE,EAAE,KAAK,QAAQ;AACjD,cAAM,WAAW,MAAM,aAAa;AACpC,cAAM,WAAW,MAAM,YAAY;AACnC,YAAI,aAAa,QAAW;AAC1B,qCAAQ,OAAO,KAAM,QAAQ,GAAG,MAAM,EAAE,gBAAgB,CAAC;AAAA,QAC3D,OAAO;AACL,iBAAO,cAAc,KAAM,QAAQ,GAAG,QAAQ;AAAA,QAChD;AAAA,MACF,CAAC;AAAA,MACH;AAAA,IACF,CAAC;AAEH,qBAAG,KAAK,oDAAoD,MAC1D;AAAA,MACE,cAAc,aAAa,YACvB,qBAAO,IAAI,aAAY;AACvB,cAAM,SAAS,OAAO;AACtB,eAAO,qBAAO,QAAQ;AAAA,UACpB,kBAAkB,IAAI,uCAAuC;AAAA,UAC7D,kBAAkB,KAAK,wCAAwC,EAAE;AAAA,YAC/D,kBAAkB,SAAS,eAAe;AAAA,UAC5C;AAAA,UACA,kBAAkB,IAAI,2CAA2C;AAAA,QACnE,GAAG,CAAC,YACF,cAAc,OAAO,QAAQ,OAAO,GAAG,cAAc,IAAI,GAAG,EAAE,SAAS,KAAK,CAAC;AAAA,MACjF,CAAC,IACC,qBAAO,IAAI,aAAY;AACvB,cAAM,SAAS,OAAO;AACtB,mBAAW,SAAS,CAAC,cAAc,MAAM,cAAc,OAAO,cAAc,QAAQ,GAAG;AACrF,gBAAM,WAAW,OAAO,OAAO,QAAQ,MAAM,OAAO;AACpD,oCAAO,OAAO,SAAS,MAAM,EAAE,KAAK,QAAQ;AAC5C,oCAAO,OAAO,SAAS,OAAO,EAAE,KAAK,QAAQ;AAC7C,gBAAM,eAAe,QAAQ;AAAA,QAC/B;AAAA,MACF,CAAC;AAAA,MACH;AAAA,IACF,CAAC;AAAA,EACL,CAAC;AACH;",
+  "names": ["handle"]
+}

package/dist/cjs/test/TestGrantStore.d.ts

@@ -0,0 +1,31 @@
+/**
+ * Deterministic grant-store layers for tests.
+ *
+ * @since 1.0.0-rc.0
+ */
+import { Layer } from "effect";
+import { GrantStore, type Resolution } from "../GrantStore.ts";
+/**
+ * An allow-all grant store.
+ *
+ * @category layers
+ * @since 1.0.0-rc.0
+ */
+export declare const layerAllow: Layer.Layer<GrantStore>;
+/**
+ * Provides a grant store that denies every capability.
+ *
+ * @category layers
+ * @since 1.0.0-rc.0
+ */
+export declare const layerDeny: (reason?: string) => Layer.Layer<GrantStore>;
+/**
+ * Provides a grant store whose checks consume a deterministic sequence of
+ * attended-style replies. `once`, `run`, and `remembered` allow the check;
+ * `deny` rejects it. Exhausting the script rejects further checks.
+ *
+ * @category layers
+ * @since 1.0.0-rc.0
+ */
+export declare const layerScripted: (replies: ReadonlyArray<Resolution>) => Layer.Layer<GrantStore>;
+//# sourceMappingURL=TestGrantStore.d.ts.map

package/dist/cjs/test/TestGrantStore.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TestGrantStore.d.ts","sourceRoot":"","sources":["../../../src/test/TestGrantStore.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAU,KAAK,EAAE,MAAM,QAAQ,CAAA;AAEtC,OAAO,EAAE,UAAU,EAAa,KAAK,UAAU,EAAgB,MAAM,kBAAkB,CAAA;AAEvF;;;;;GAKG;AACH,eAAO,MAAM,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,UAAU,CAAa,CAAA;AAE5D;;;;;GAKG;AACH,eAAO,MAAM,SAAS,GAAI,eAAyB,KAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAS3E,CAAA;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,aAAa,GACxB,SAAS,aAAa,CAAC,UAAU,CAAC,KACjC,KAAK,CAAC,KAAK,CAAC,UAAU,CA0BtB,CAAA"}