@effect-vfs/core 0.9.0 → 0.11.0

package/dist/Testing.d.ts

@@ -12,7 +12,8 @@
  *
  * @since 0.6.0
  */
-import type * as Crypto from "effect/Crypto";
+import type * as Digest from "effect/crypto/Digest";
+import type * as SecureRandom from "effect/crypto/SecureRandom";
 import * as Effect from "effect/Effect";
 import * as Layer from "effect/Layer";
 import type * as Scope from "effect/Scope";
@@ -31,7 +32,7 @@ import type { VolumeOptions } from "./Volume.js";
 export interface LayerOptions {
     /** Entries the volume starts with; without one the volume starts empty. */
     readonly fixture?: Fixture;
-    /** Limits and identity of the volume. */
+    /** Execution mode, limits and identity of the volume. */
     readonly volume?: VolumeOptions;
     /** Credentials and umask of the root caller the layer provides. */
     readonly caller?: RootCallerOptions;
@@ -43,7 +44,7 @@ export interface LayerOptions {
  *
  * Every build constructs a new volume, from `fixture` when one is given. The
  * layer fails with the `VfsError` the constructor or the caller reports for
- * invalid options. Provide `Crypto.Crypto` to build the volume.
+ * invalid options. Provide the `Digest` and `SecureRandom` services to build the volume.
  *
  * @example
  * ```ts
@@ -67,7 +68,7 @@ export interface LayerOptions {
  * @category layers
  * @since 0.6.0
  */
-export declare const layer: (options?: LayerOptions) => Layer.Layer<Volume | Caller, VfsError, Crypto.Crypto>;
+export declare const layer: (options?: LayerOptions) => Layer.Layer<Volume | Caller, VfsError, Digest.Digest | SecureRandom.SecureRandom>;
 /**
  * A root caller with `identity` on the volume in context.
  *
@@ -128,5 +129,8 @@ export declare const callerAs: (identity: Identity, options?: Omit<RootCallerOpt
  * @category combinators
  * @since 0.6.0
  */
-export declare const collectChanges: <A, E, R>(stream: Stream.Stream<A, E, R>, n: number) => Effect.Effect<Effect.Effect<Array<A>, E>, never, R | Scope.Scope>;
+export declare const collectChanges: {
+    (n: number): <A, E, R>(stream: Stream.Stream<A, E, R>) => Effect.Effect<Effect.Effect<Array<A>, E>, never, R | Scope.Scope>;
+    <A, E, R>(stream: Stream.Stream<A, E, R>, n: number): Effect.Effect<Effect.Effect<Array<A>, E>, never, R | Scope.Scope>;
+};
 //# sourceMappingURL=Testing.d.ts.map

package/dist/Testing.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Testing.d.ts","sourceRoot":"","sources":["../src/Testing.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAA;AAC5C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,KAAK,KAAK,MAAM,cAAc,CAAA;AAC1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,EAAE,QAAQ,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAA;AAC9D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAC7C,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAA;AACvD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAEhD;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,2EAA2E;IAC3E,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC1B,yCAAyC;IACzC,QAAQ,CAAC,MAAM,CAAC,EAAE,aAAa,CAAA;IAC/B,mEAAmE;IACnE,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAA;CACpC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,eAAO,MAAM,KAAK,aAAc,YAAY,KAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAOhG,CAAA;AAEH;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,QAAQ,aACT,QAAQ,YACR,IAAI,CAAC,iBAAiB,EAAE,UAAU,CAAC,KAC5C,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CACoC,CAAA;AAE7E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,eAAO,MAAM,cAAc,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,UAC5B,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAC3B,MAAM,KACR,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAIhE,CAAA"}
+{"version":3,"file":"Testing.d.ts","sourceRoot":"","sources":["../src/Testing.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,KAAK,KAAK,MAAM,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,KAAK,YAAY,MAAM,4BAA4B,CAAA;AAC/D,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAGvC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,KAAK,KAAK,MAAM,cAAc,CAAA;AAC1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,EAAE,QAAQ,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAA;AAC9D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAC7C,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAA;AACvD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAEhD;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,2EAA2E;IAC3E,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC1B,yDAAyD;IACzD,QAAQ,CAAC,MAAM,CAAC,EAAE,aAAa,CAAA;IAC/B,mEAAmE;IACnE,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAA;CACpC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,eAAO,MAAM,KAAK,aACN,YAAY,KACrB,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,GAAG,YAAY,CAAC,YAAY,CAOhF,CAAA;AAEH;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,QAAQ,aACT,QAAQ,YACR,IAAI,CAAC,iBAAiB,EAAE,UAAU,CAAC,KAC5C,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CACoC,CAAA;AAE7E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,eAAO,MAAM,cAAc,EAAE;IAC3B,CACE,CAAC,EAAE,MAAM,GACR,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAA;IACjH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EACN,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC9B,CAAC,EAAE,MAAM,GACR,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAA;CAQlE,CAAA"}

package/dist/Testing.js

@@ -1,5 +1,6 @@
 import * as Effect from "effect/Effect";
 import * as Fiber from "effect/Fiber";
+import { dual } from "effect/Function";
 import * as Layer from "effect/Layer";
 import * as Stream from "effect/Stream";
 import { Caller, Volume } from "./VirtualFileSystem.js";
@@ -10,7 +11,7 @@ import { Caller, Volume } from "./VirtualFileSystem.js";
  *
  * Every build constructs a new volume, from `fixture` when one is given. The
  * layer fails with the `VfsError` the constructor or the caller reports for
- * invalid options. Provide `Crypto.Crypto` to build the volume.
+ * invalid options. Provide the `Digest` and `SecureRandom` services to build the volume.
  *
  * @example
  * ```ts
@@ -97,4 +98,4 @@ export const callerAs = (identity, options) => Effect.flatMap(Volume, (volume) =
  * @category combinators
  * @since 0.6.0
  */
-export const collectChanges = (stream, n) => Stream.runCollect(Stream.take(stream, n)).pipe(Effect.forkScoped({ startImmediately: true }), Effect.map(Fiber.join));
+export const collectChanges = dual(2, (stream, n) => Stream.runCollect(Stream.take(stream, n)).pipe(Effect.forkScoped({ startImmediately: true }), Effect.map(Fiber.join)));

package/dist/VfsError.d.ts

@@ -10,7 +10,7 @@
  * @since 0.6.0
  */
 import * as Schema from "effect/Schema";
-import type { BytePath } from "./BytePath.js";
+import type { BytePath } from "./internal/bytePath.js";
 /**
  * Schema for the codes an operation on a volume, caller, or handle reports.
  *

package/dist/VfsError.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"VfsError.d.ts","sourceRoot":"","sources":["../src/VfsError.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAM7C;;;;;GAKG;AACH,eAAO,MAAM,MAAM,4bA+BjB,CAAA;AAEF;;;;;GAKG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;AAEvC;;;;;GAKG;AACH,eAAO,MAAM,SAAS,0GAAkG,CAAA;AAExH;;;;;GAKG;AACH,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAA;AAE7C;;;;;GAKG;AACH,eAAO,MAAM,SAAS,4CAAoC,CAAA;AAE1D;;;;;GAKG;AACH,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAA;AAE7C;;;;;GAKG;AACH,eAAO,MAAM,SAAS,yFAAiF,CAAA;AAEvG;;;;;GAKG;AACH,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAA;AAE7C;;;;;GAKG;AACH,eAAO,MAAM,OAAO,ulBAKlB,CAAA;AAEF;;;;;GAKG;AACH,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAEzC;;;;;;GAMG;AACH,eAAO,MAAM,SAAS,gGAUrB,CAAA;;IA2BC,uBAAuB;;IAEvB,2CAA2C;;IAE3C,wEAAwE;;IAExE,gEAAgE;;IAEhE,qEAAqE;;;AAjCvE;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,qBAAa,QAAS,SAAQ,aAW5B;IACA,IAAa,OAAO,IAAI,MAAM,CAE7B;CACF;AAED;;;;;GAKG;AACH,MAAM,MAAM,SAAS,GAAG,QAAQ,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAA;AAE5D;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,CAAA;AAElE;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,CAAA;AAElE;;;;;GAKG;AACH,MAAM,MAAM,eAAe,GAAG,QAAQ,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAA;CAAE,CAAA;AAE7E;;;;;;GAMG;AACH,MAAM,WAAW,KAAK,CAAC,CAAC,SAAS,OAAO;IACtC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;IAChB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACnC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAA;IACpC,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAA;CACzB;AAUD;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,SAAS,OAAO,SAAS,KAAK,CAAC,CAAC,CAAC,KAAG,QAAQ,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAYtF,CAAA"}
+{"version":3,"file":"VfsError.d.ts","sourceRoot":"","sources":["../src/VfsError.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AAMtD;;;;;GAKG;AACH,eAAO,MAAM,MAAM,4bA+BjB,CAAA;AAEF;;;;;GAKG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;AAEvC;;;;;GAKG;AACH,eAAO,MAAM,SAAS,0GAAkG,CAAA;AAExH;;;;;GAKG;AACH,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAA;AAE7C;;;;;GAKG;AACH,eAAO,MAAM,SAAS,4CAAoC,CAAA;AAE1D;;;;;GAKG;AACH,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAA;AAE7C;;;;;GAKG;AACH,eAAO,MAAM,SAAS,yFAAiF,CAAA;AAEvG;;;;;GAKG;AACH,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAA;AAE7C;;;;;GAKG;AACH,eAAO,MAAM,OAAO,ulBAKlB,CAAA;AAEF;;;;;GAKG;AACH,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAEzC;;;;;;GAMG;AACH,eAAO,MAAM,SAAS,gGAUrB,CAAA;;IA2BC,uBAAuB;;IAEvB,2CAA2C;;IAE3C,wEAAwE;;IAExE,gEAAgE;;IAEhE,qEAAqE;;;AAjCvE;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,qBAAa,QAAS,SAAQ,aAW5B;IACA,IAAa,OAAO,IAAI,MAAM,CAE7B;CACF;AAED;;;;;GAKG;AACH,MAAM,MAAM,SAAS,GAAG,QAAQ,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAA;AAE5D;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,CAAA;AAElE;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,CAAA;AAElE;;;;;GAKG;AACH,MAAM,MAAM,eAAe,GAAG,QAAQ,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAA;CAAE,CAAA;AAE7E;;;;;;GAMG;AACH,MAAM,WAAW,KAAK,CAAC,CAAC,SAAS,OAAO;IACtC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;IAChB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACnC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAA;IACpC,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAA;CACzB;AAUD;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,SAAS,OAAO,SAAS,KAAK,CAAC,CAAC,CAAC,KAAG,QAAQ,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAYtF,CAAA"}

package/dist/VirtualFileSystem.d.ts

@@ -10,7 +10,8 @@
  */
 import type * as ByteSize from "effect/ByteSize";
 import * as Context from "effect/Context";
-import type * as Crypto from "effect/Crypto";
+import type * as Digest from "effect/crypto/Digest";
+import type * as SecureRandom from "effect/crypto/SecureRandom";
 import * as Effect from "effect/Effect";
 import * as Layer from "effect/Layer";
 import type * as Order from "effect/Order";
@@ -34,8 +35,9 @@ import * as VolumeModule from "./Volume.js";
 import * as WatchModule from "./Watch.js";
 export { Entry, type EntryInput, isEntry, isTarget, Name, type NameInput, type PathTarget, Target, type TargetInput } from "./Target.js";
 export { BytePath } from "./BytePath.js";
-import type { DecodeLimits, Snapshot } from "./Snapshot.js";
+import { type DecodeLimits, type Snapshot } from "./Snapshot.js";
 export { DecodeLimits, type Snapshot, SnapshotTypeId } from "./Snapshot.js";
+import type * as Engine from "./internal/engine.js";
 import { type LiveImageStore, type Options as LiveVolumeOptions } from "./LiveVolume.js";
 import * as SnapshotDeltaModel from "./SnapshotDelta.js";
 export { MergeConflict, MergeConflictReason, MergeOptions, MergeResolution, MergeResult, MergeSideChange, MergeTake, SnapshotChange, SnapshotChangesOptions, type SnapshotDelta, SnapshotDeltaLimits, SnapshotDeltaTypeId, SnapshotDifference, SnapshotNodeKind } from "./SnapshotDelta.js";
@@ -235,7 +237,7 @@ export declare const VolumeDurabilityOrder: Order.Order<VolumeDurability>;
  * @category predicates
  * @since 0.1.0
  */
-export declare const isVolumeDurabilityAtLeast: (actual: VolumeDurability, required: VolumeDurability) => boolean;
+export declare const isVolumeDurabilityAtLeast: typeof VolumeModule.isVolumeDurabilityAtLeast;
 /**
  * Schema for the stable logical identity of a volume.
  *
@@ -337,7 +339,8 @@ export type ReferenceKey = typeof ReferenceKey.Type;
  */
 export declare const VolumeOptions: typeof VolumeModule.VolumeOptions;
 /**
- * Capacity, admission, watch retention, and path limits for a volume.
+ * Execution policy, capacity, admission, watch retention, and path limits for a volume.
+ * `execution` defaults to `"cooperative"`; `"sync"` opts memory operations into non-yielding coordination.
  * `maxPendingOperations` defaults to 64 and `maxWatchEvents` defaults to 256.
  *
  * @category models
@@ -351,7 +354,7 @@ export type VolumeOptions = typeof VolumeOptions.Type;
  * @category models
  * @since 0.1.0
  */
-export interface VolumeLimits {
+export interface VolumeLimits extends Engine.EngineLimits {
     readonly maxBytes: ByteSize.ByteSize | undefined;
     readonly maxFileBytes: ByteSize.ByteSize;
     readonly maxEntries: number | undefined;
@@ -368,7 +371,7 @@ export interface VolumeLimits {
  * @category models
  * @since 0.1.0
  */
-export interface VolumeUsage {
+export interface VolumeUsage extends Engine.VolumeUsage {
     readonly usedBytes: bigint;
     readonly entries: number;
 }
@@ -416,7 +419,7 @@ export type Metadata = typeof Metadata.Type;
  * @category models
  * @since 0.1.0
  */
-export interface ObjectReference {
+export interface ObjectReference extends Engine.ObjectReference {
     readonly [ObjectReferenceId]: true;
 }
 /**
@@ -454,7 +457,7 @@ export interface ObjectReference {
  * @category models
  * @since 0.1.0
  */
-export interface ObjectObservation<A> {
+export interface ObjectObservation<A> extends Engine.ObjectObservation<A> {
     readonly value: A;
     readonly revision: bigint;
 }
@@ -464,7 +467,7 @@ export interface ObjectObservation<A> {
  * @category models
  * @since 0.1.0
  */
-export interface DirectoryEntry {
+export interface DirectoryEntry extends Engine.DirectoryEntry {
     readonly name: Uint8Array;
     readonly reference: ObjectReference;
 }
@@ -482,7 +485,7 @@ export interface DirectoryEntry {
  * @category models
  * @since 0.6.0
  */
-export interface WalkEntry {
+export interface WalkEntry extends Engine.WalkEntry {
     readonly path: BytePath;
     readonly name: Uint8Array;
     readonly reference: ObjectReference;
@@ -535,7 +538,7 @@ export type DirectoryChange = typeof DirectoryChange.Type;
  * @category models
  * @since 0.4.0
  */
-export interface ReferenceEntryResult {
+export interface ReferenceEntryResult extends Engine.ReferenceEntryResult {
     readonly reference: ObjectReference;
     readonly directory: DirectoryChange;
 }
@@ -651,7 +654,7 @@ export type Times = typeof Times.Type;
  * @category models
  * @since 0.1.0
  */
-export interface DirectoryHandle {
+export interface DirectoryHandle extends Engine.DirectoryHandle {
     readonly [DirectoryHandleId]: true;
     readonly stat: Effect.Effect<Metadata, FsFailure>;
     readonly close: Effect.Effect<void, FsFailure>;
@@ -801,7 +804,7 @@ export type OpenEntryOptions = typeof OpenEntryOptions.Type;
  * @category models
  * @since 0.4.0
  */
-export interface OpenEntryResult {
+export interface OpenEntryResult extends Engine.OpenEntryResult {
     readonly handle: FileHandle;
     readonly reference: ObjectReference;
     readonly created: boolean;
@@ -862,7 +865,7 @@ export type WriteFileOptions = typeof WriteFileOptions.Type;
  * @category models
  * @since 0.6.0
  */
-export interface ReadResult {
+export interface ReadResult extends Engine.ReadResult {
     readonly bytes: Uint8Array;
     readonly eof: boolean;
 }
@@ -898,7 +901,7 @@ export interface ReadResult {
  * @category models
  * @since 0.1.0
  */
-export interface FileHandle {
+export interface FileHandle extends Engine.FileHandle {
     readonly [FileHandleId]: true;
     /** Reads up to `maximumBytes` from the cursor and advances it by the returned length. */
     readonly read: (maximumBytes: number) => Effect.Effect<Uint8Array, FsFailure>;
@@ -906,10 +909,22 @@ export interface FileHandle {
     readonly pread: (maximumBytes: number, offset: bigint) => Effect.Effect<ReadResult, FsFailure>;
     /** Writes at the cursor and advances it, or writes at end of file when opened for append. */
     readonly write: (bytes: Uint8Array) => Effect.Effect<number, FsFailure>;
-    /** Writes at `offset` without changing the cursor. Append mode does not affect positional writes. */
-    readonly pwrite: (bytes: Uint8Array, offset: bigint) => Effect.Effect<number, FsFailure>;
-    /** Moves the cursor and returns its new offset. `data` finds content and `hole` finds end of file. */
-    readonly seek: (offset: bigint, mode: SeekMode) => Effect.Effect<bigint, FsFailure>;
+    /**
+     * Writes at `offset` without changing the cursor. Append mode does not affect positional writes.
+     * The curried form is `pwrite(offset)(bytes)`.
+     */
+    readonly pwrite: {
+        (offset: bigint): (bytes: Uint8Array) => Effect.Effect<number, FsFailure>;
+        (bytes: Uint8Array, offset: bigint): Effect.Effect<number, FsFailure>;
+    };
+    /**
+     * Moves the cursor and returns its new offset. `data` finds content and `hole` finds end of file.
+     * The curried form is `seek(mode)(offset)`.
+     */
+    readonly seek: {
+        (mode: SeekMode): (offset: bigint) => Effect.Effect<bigint, FsFailure>;
+        (offset: bigint, mode: SeekMode): Effect.Effect<bigint, FsFailure>;
+    };
     /** Sets the file length without changing the cursor. */
     readonly truncate: (length: bigint) => Effect.Effect<void, FsFailure>;
     /** Reads metadata for the open file. */
@@ -1006,7 +1021,7 @@ export interface FileHandle {
  * @category models
  * @since 0.1.0
  */
-export interface Caller {
+export interface Caller extends Engine.EngineOperations {
     readonly [CallerId]: true;
     /** Backing volume configuration; these are not subtree quotas. */
     readonly limits: VolumeLimits;
@@ -1048,8 +1063,14 @@ export interface Caller {
     readonly access: (target: TargetInput, bits?: number) => Effect.Effect<number, FsFailure>;
     /** The whole content of a regular file. */
     readonly readFile: (target: TargetInput) => Effect.Effect<Uint8Array, FsFailure>;
-    /** Writes a whole file in one operation, creating or replacing it as the options say. */
-    readonly writeFile: (entry: EntryInput, bytes: Uint8Array, options: WriteFileOptions) => Effect.Effect<void, FsFailure>;
+    /**
+     * Writes a whole file in one operation and returns its object reference, creating or replacing it as the options say.
+     * The curried form is `writeFile(bytes, options)(entry)`; the caller remains bound.
+     */
+    readonly writeFile: {
+        (bytes: Uint8Array, options: WriteFileOptions): (entry: EntryInput) => Effect.Effect<ObjectReference, FsFailure>;
+        (entry: EntryInput, bytes: Uint8Array, options: WriteFileOptions): Effect.Effect<ObjectReference, FsFailure>;
+    };
     /**
      * Opens a file. On a target, the file must exist and `create` is rejected. On an entry, the name is looked up
      * and created in one gate hold, and the result reports whether it was created.
@@ -1071,7 +1092,10 @@ export interface Caller {
     /** Creates a symbolic link to `target`, stored as given. */
     readonly symlink: (target: PathInput, entry: EntryInput, options?: SymlinkOptions) => Effect.Effect<ReferenceEntryResult, FsFailure>;
     /** Adds a name for an existing file or symbolic link. A path source follows a final symbolic link only when its target says so. */
-    readonly link: (source: TargetInput, entry: EntryInput) => Effect.Effect<ReferenceEntryResult, FsFailure>;
+    readonly link: {
+        (entry: EntryInput): (source: TargetInput) => Effect.Effect<ReferenceEntryResult, FsFailure>;
+        (source: TargetInput, entry: EntryInput): Effect.Effect<ReferenceEntryResult, FsFailure>;
+    };
     /** Removes a file or symbolic link. */
     readonly unlink: (entry: EntryInput) => Effect.Effect<DirectoryChange, FsFailure>;
     /** Removes an empty directory. */
@@ -1091,15 +1115,30 @@ export interface Caller {
         (entry: EntryInput, options: RemoveOptions): Effect.Effect<DirectoryChange | undefined, FsFailure>;
     };
     /** Moves an entry, replacing a compatible destination. */
-    readonly rename: (from: EntryInput, to: EntryInput) => Effect.Effect<RenameReferenceResult, FsFailure>;
+    readonly rename: {
+        (to: EntryInput): (from: EntryInput) => Effect.Effect<RenameReferenceResult, FsFailure>;
+        (from: EntryInput, to: EntryInput): Effect.Effect<RenameReferenceResult, FsFailure>;
+    };
     /** Sets the permission bits of a target. */
-    readonly chmod: (target: TargetInput, mode: number) => Effect.Effect<void, FsFailure>;
+    readonly chmod: {
+        (mode: number): (target: TargetInput) => Effect.Effect<void, FsFailure>;
+        (target: TargetInput, mode: number): Effect.Effect<void, FsFailure>;
+    };
     /** Changes the owner or group of a target. */
-    readonly chown: (target: TargetInput, owner: OwnerUpdate) => Effect.Effect<void, FsFailure>;
+    readonly chown: {
+        (owner: OwnerUpdate): (target: TargetInput) => Effect.Effect<void, FsFailure>;
+        (target: TargetInput, owner: OwnerUpdate): Effect.Effect<void, FsFailure>;
+    };
     /** Sets the access and modification times of a target. */
-    readonly utimes: (target: TargetInput, times: Times) => Effect.Effect<void, FsFailure>;
+    readonly utimes: {
+        (times: Times): (target: TargetInput) => Effect.Effect<void, FsFailure>;
+        (target: TargetInput, times: Times): Effect.Effect<void, FsFailure>;
+    };
     /** Sets the size of a regular file. */
-    readonly truncate: (target: TargetInput, length: bigint) => Effect.Effect<void, FsFailure>;
+    readonly truncate: {
+        (length: bigint): (target: TargetInput) => Effect.Effect<void, FsFailure>;
+        (target: TargetInput, length: bigint): Effect.Effect<void, FsFailure>;
+    };
     /**
      * Changes a target's size, owner, mode and times as one change. Every check passes before any attribute
      * applies, so a failure changes nothing. The attributes apply as size, owner, mode, then times, the POSIX
@@ -1108,7 +1147,10 @@ export interface Caller {
      * does so before it calls setattr, and passes the revision it read as `expected` so the change refuses a
      * target another change has moved.
      */
-    readonly setattr: (target: TargetInput, attributes: SetattrOptions) => Effect.Effect<void, FsFailure>;
+    readonly setattr: {
+        (attributes: SetattrOptions): (target: TargetInput) => Effect.Effect<void, FsFailure>;
+        (target: TargetInput, attributes: SetattrOptions): Effect.Effect<void, FsFailure>;
+    };
     /** A caller whose working directory is the target, released with the scope. */
     readonly withDirectory: (directory: TargetInput) => Effect.Effect<Caller, FsFailure, Scope.Scope>;
     /** A handle on a directory, released with the scope. */
@@ -1486,15 +1528,24 @@ export interface OverlayVolume extends Volume {
  */
 export declare const Volume: Context.Service<Volume, Volume> & {
     /** A fresh empty volume. */
-    readonly layer: (options?: VolumeOptions) => Layer.Layer<Volume, VfsError, Crypto.Crypto>;
+    readonly layer: (options?: VolumeOptions) => Layer.Layer<Volume, VfsError, Digest.Digest | SecureRandom.SecureRandom>;
     /** A fresh volume restored from a snapshot. */
-    readonly layerFromSnapshot: (snapshot: Snapshot, options?: VolumeOptions) => Layer.Layer<Volume, VfsError, Crypto.Crypto>;
+    readonly layerFromSnapshot: {
+        (options?: VolumeOptions): (snapshot: Snapshot) => Layer.Layer<Volume, VfsError, Digest.Digest | SecureRandom.SecureRandom>;
+        (snapshot: Snapshot, options?: VolumeOptions): Layer.Layer<Volume, VfsError, Digest.Digest | SecureRandom.SecureRandom>;
+    };
     /** A fresh volume built from a fixture. */
-    readonly layerFromFixture: (fixture: Fixture, options?: VolumeOptions) => Layer.Layer<Volume, VfsError, Crypto.Crypto>;
+    readonly layerFromFixture: {
+        (options?: VolumeOptions): (fixture: Fixture) => Layer.Layer<Volume, VfsError, Digest.Digest | SecureRandom.SecureRandom>;
+        (fixture: Fixture, options?: VolumeOptions): Layer.Layer<Volume, VfsError, Digest.Digest | SecureRandom.SecureRandom>;
+    };
     /** A writable overlay over a snapshot base. */
-    readonly layerOverlay: (base: Snapshot, options?: VolumeOptions) => Layer.Layer<Volume, VfsError, Crypto.Crypto>;
+    readonly layerOverlay: {
+        (options?: VolumeOptions): (base: Snapshot) => Layer.Layer<Volume, VfsError, Digest.Digest | SecureRandom.SecureRandom>;
+        (base: Snapshot, options?: VolumeOptions): Layer.Layer<Volume, VfsError, Digest.Digest | SecureRandom.SecureRandom>;
+    };
     /** A durable volume opened through the `LiveImageStore` in context; it shuts down with the layer's scope. */
-    readonly layerLive: (options: LiveVolumeOptions) => Layer.Layer<Volume, VfsError, LiveImageStore | Crypto.Crypto>;
+    readonly layerLive: (options: LiveVolumeOptions) => Layer.Layer<Volume, VfsError, LiveImageStore | Digest.Digest | SecureRandom.SecureRandom>;
 };
 /**
  * The caller an application operates through, as an Effect service. A caller
@@ -1554,7 +1605,10 @@ export declare const Caller: Context.Service<Caller, Caller> & {
  * @category serialization
  * @since 0.6.0
  */
-export declare const encodeSnapshotStream: (snapshot: Snapshot, limits?: DecodeLimits) => Stream.Stream<Uint8Array, ImageFailure | ArgumentFailure>;
+export declare const encodeSnapshotStream: {
+    (limits?: DecodeLimits): (snapshot: Snapshot) => Stream.Stream<Uint8Array, ImageFailure | ArgumentFailure>;
+    (snapshot: Snapshot, limits?: DecodeLimits): Stream.Stream<Uint8Array, ImageFailure | ArgumentFailure>;
+};
 /**
  * Encodes a snapshot as owned UTF-8 bytes in the version 1 snapshot format.
  *
@@ -1595,7 +1649,10 @@ export declare const encodeSnapshotStream: (snapshot: Snapshot, limits?: DecodeL
  * @category serialization
  * @since 0.1.0
  */
-export declare const encodeSnapshot: (snapshot: Snapshot, limits?: DecodeLimits) => Effect.Effect<Uint8Array, ImageFailure | ArgumentFailure>;
+export declare const encodeSnapshot: {
+    (limits?: DecodeLimits): (snapshot: Snapshot) => Effect.Effect<Uint8Array, ImageFailure | ArgumentFailure>;
+    (snapshot: Snapshot, limits?: DecodeLimits): Effect.Effect<Uint8Array, ImageFailure | ArgumentFailure>;
+};
 /**
  * A sink that decodes a stream of version 1 snapshot chunks while enforcing
  * explicit input and payload limits.
@@ -1689,11 +1746,14 @@ export declare const decodeSnapshotSink: (limits: DecodeLimits) => Sink.Sink<Sna
  * @category serialization
  * @since 0.1.0
  */
-export declare const decodeSnapshot: (input: Uint8Array, limits: DecodeLimits) => Effect.Effect<Snapshot, ImageFailure | ArgumentFailure>;
+export declare const decodeSnapshot: {
+    (limits: DecodeLimits): (input: Uint8Array) => Effect.Effect<Snapshot, ImageFailure | ArgumentFailure>;
+    (input: Uint8Array, limits: DecodeLimits): Effect.Effect<Snapshot, ImageFailure | ArgumentFailure>;
+};
 /**
  * Computes an exact portable delta between two immutable snapshots.
- * Requires the platform-neutral `Crypto.Crypto` service for base identity. Provide
- * `NodeCrypto.layer`, `BunCrypto.layer`, or your own via `Crypto.make`.
+ * Requires Effect's platform-neutral `Digest` and `SecureRandom` services; base identity is a `Digest` hash. Provide
+ * `NodeCrypto.layer`, `BunCrypto.layer`, or `Digest.layerWebCrypto` with `SecureRandom.layerWebCrypto`.
  *
  * @example
  * ```ts
@@ -1728,11 +1788,14 @@ export declare const decodeSnapshot: (input: Uint8Array, limits: DecodeLimits) =
  * @category snapshots
  * @since 0.1.0
  */
-export declare const diffSnapshots: (base: Snapshot, target: Snapshot, limits?: SnapshotDeltaModel.SnapshotDeltaLimits) => Effect.Effect<SnapshotDeltaModel.SnapshotDelta, VfsError | PlatformError.PlatformError, Crypto.Crypto>;
+export declare const diffSnapshots: {
+    (target: Snapshot, limits?: SnapshotDeltaModel.SnapshotDeltaLimits): (base: Snapshot) => Effect.Effect<SnapshotDeltaModel.SnapshotDelta, VfsError | PlatformError.PlatformError, Digest.Digest | SecureRandom.SecureRandom>;
+    (base: Snapshot, target: Snapshot, limits?: SnapshotDeltaModel.SnapshotDeltaLimits): Effect.Effect<SnapshotDeltaModel.SnapshotDelta, VfsError | PlatformError.PlatformError, Digest.Digest | SecureRandom.SecureRandom>;
+};
 /**
  * Verifies an exact snapshot delta against its base and derives an owned path-oriented summary.
- * Requires the platform-neutral `Crypto.Crypto` service for base identity. Provide
- * `NodeCrypto.layer`, `BunCrypto.layer`, or your own via `Crypto.make`.
+ * Requires Effect's platform-neutral `Digest` and `SecureRandom` services; base identity is a `Digest` hash. Provide
+ * `NodeCrypto.layer`, `BunCrypto.layer`, or `Digest.layerWebCrypto` with `SecureRandom.layerWebCrypto`.
  *
  * @example
  * ```ts
@@ -1764,11 +1827,14 @@ export declare const diffSnapshots: (base: Snapshot, target: Snapshot, limits?:
  * @category snapshots
  * @since 0.1.0
  */
-export declare const inspectSnapshotDelta: (base: Snapshot, delta: SnapshotDeltaModel.SnapshotDelta, options?: SnapshotDeltaModel.SnapshotChangesOptions, limits?: SnapshotDeltaModel.SnapshotDeltaLimits) => Effect.Effect<ReadonlyArray<SnapshotDeltaModel.SnapshotChange>, VfsError | PlatformError.PlatformError, Crypto.Crypto>;
+export declare const inspectSnapshotDelta: {
+    (delta: SnapshotDeltaModel.SnapshotDelta, options?: SnapshotDeltaModel.SnapshotChangesOptions, limits?: SnapshotDeltaModel.SnapshotDeltaLimits): (base: Snapshot) => Effect.Effect<ReadonlyArray<SnapshotDeltaModel.SnapshotChange>, VfsError | PlatformError.PlatformError, Digest.Digest | SecureRandom.SecureRandom>;
+    (base: Snapshot, delta: SnapshotDeltaModel.SnapshotDelta, options?: SnapshotDeltaModel.SnapshotChangesOptions, limits?: SnapshotDeltaModel.SnapshotDeltaLimits): Effect.Effect<ReadonlyArray<SnapshotDeltaModel.SnapshotChange>, VfsError | PlatformError.PlatformError, Digest.Digest | SecureRandom.SecureRandom>;
+};
 /**
  * Applies an exact delta to its semantically matching base and returns a new snapshot.
- * Requires the platform-neutral `Crypto.Crypto` service for base identity. Provide
- * `NodeCrypto.layer`, `BunCrypto.layer`, or your own via `Crypto.make`.
+ * Requires Effect's platform-neutral `Digest` and `SecureRandom` services; base identity is a `Digest` hash. Provide
+ * `NodeCrypto.layer`, `BunCrypto.layer`, or `Digest.layerWebCrypto` with `SecureRandom.layerWebCrypto`.
  *
  * @example
  * ```ts
@@ -1805,7 +1871,10 @@ export declare const inspectSnapshotDelta: (base: Snapshot, delta: SnapshotDelta
  * @category snapshots
  * @since 0.1.0
  */
-export declare const applySnapshotDelta: (base: Snapshot, delta: SnapshotDeltaModel.SnapshotDelta, limits?: SnapshotDeltaModel.SnapshotDeltaLimits) => Effect.Effect<Snapshot, VfsError | PlatformError.PlatformError, Crypto.Crypto>;
+export declare const applySnapshotDelta: {
+    (delta: SnapshotDeltaModel.SnapshotDelta, limits?: SnapshotDeltaModel.SnapshotDeltaLimits): (base: Snapshot) => Effect.Effect<Snapshot, VfsError | PlatformError.PlatformError, Digest.Digest | SecureRandom.SecureRandom>;
+    (base: Snapshot, delta: SnapshotDeltaModel.SnapshotDelta, limits?: SnapshotDeltaModel.SnapshotDeltaLimits): Effect.Effect<Snapshot, VfsError | PlatformError.PlatformError, Digest.Digest | SecureRandom.SecureRandom>;
+};
 /**
  * Merges two snapshot deltas that share one base into a single delta, reporting path-level conflicts as data.
  *
@@ -1813,8 +1882,8 @@ export declare const applySnapshotDelta: (base: Snapshot, delta: SnapshotDeltaMo
  * when both agree, combines metadata fields that only one side changed, and otherwise reports a conflict and leaves
  * the base node in place. Timestamps never conflict. The merged delta is bound to the same base as its inputs and
  * applies with {@link applySnapshotDelta}. Pass `resolutions` to take one side at paths an earlier merge reported.
- * Requires the platform-neutral `Crypto.Crypto` service for base identity. Provide
- * `NodeCrypto.layer`, `BunCrypto.layer`, or your own via `Crypto.make`.
+ * Requires Effect's platform-neutral `Digest` and `SecureRandom` services; base identity is a `Digest` hash. Provide
+ * `NodeCrypto.layer`, `BunCrypto.layer`, or `Digest.layerWebCrypto` with `SecureRandom.layerWebCrypto`.
  *
  * @example
  * ```ts
@@ -1843,7 +1912,7 @@ export declare const applySnapshotDelta: (base: Snapshot, delta: SnapshotDeltaMo
  *   )
  *
  *   // Disjoint changes merge without conflicts; the delta applies to the shared base.
- *   const merged = yield* Vfs.fromSnapshot(yield* Vfs.applySnapshotDelta(base, result.delta))
+ *   const merged = yield* Vfs.applySnapshotDelta(base, result.delta).pipe(Effect.flatMap(Vfs.fromSnapshot()))
  *   const reader = yield* merged.caller()
  *
  *   return [result.conflicts.length, new TextDecoder().decode(yield* reader.readFile("/shared.txt"))]
@@ -1857,7 +1926,10 @@ export declare const applySnapshotDelta: (base: Snapshot, delta: SnapshotDeltaMo
  * @category snapshots
  * @since 0.8.0
  */
-export declare const mergeSnapshotDeltas: (base: Snapshot, ours: SnapshotDeltaModel.SnapshotDelta, theirs: SnapshotDeltaModel.SnapshotDelta, options?: SnapshotDeltaModel.MergeOptions) => Effect.Effect<SnapshotDeltaModel.MergeResult, VfsError | PlatformError.PlatformError, Crypto.Crypto>;
+export declare const mergeSnapshotDeltas: {
+    (ours: SnapshotDeltaModel.SnapshotDelta, theirs: SnapshotDeltaModel.SnapshotDelta, options?: SnapshotDeltaModel.MergeOptions): (base: Snapshot) => Effect.Effect<SnapshotDeltaModel.MergeResult, VfsError | PlatformError.PlatformError, Digest.Digest | SecureRandom.SecureRandom>;
+    (base: Snapshot, ours: SnapshotDeltaModel.SnapshotDelta, theirs: SnapshotDeltaModel.SnapshotDelta, options?: SnapshotDeltaModel.MergeOptions): Effect.Effect<SnapshotDeltaModel.MergeResult, VfsError | PlatformError.PlatformError, Digest.Digest | SecureRandom.SecureRandom>;
+};
 /**
  * Creates an Effect Schema codec between owned bytes and opaque snapshot deltas.
  * Omission uses `SnapshotDeltaLimits.default`.
@@ -1982,7 +2054,7 @@ export type Fixture = typeof Fixture.Type;
  *
  * Each execution creates independent storage. Snapshot image failures cannot
  * arise because this constructor does not accept persisted input.
- * Provide `Crypto.Crypto` to generate the volume identity and reference-key secret.
+ * Provide the `Digest` and `SecureRandom` services to generate the volume identity and reference-key secret.
  *
  * @example
  * ```ts
@@ -2008,7 +2080,7 @@ export type Fixture = typeof Fixture.Type;
  * @category constructors
  * @since 0.1.0
  */
-export declare const make: (options?: VolumeOptions) => Effect.Effect<Volume, VfsError, Crypto.Crypto>;
+export declare const make: (options?: VolumeOptions) => Effect.Effect<Volume, VfsError, Digest.Digest | SecureRandom.SecureRandom>;
 /**
  * Streams the tree at `root` in a snapshot as fixture entries, read from the
  * snapshot itself without restoring a volume.
@@ -2055,7 +2127,10 @@ export declare const make: (options?: VolumeOptions) => Effect.Effect<Volume, Vf
  * @category snapshots
  * @since 0.6.0
  */
-export declare const snapshotEntries: (snapshot: Snapshot, root: PathInput) => Stream.Stream<Fixture["entries"][number], FsFailure | ImageFailure>;
+export declare const snapshotEntries: {
+    (root: PathInput): (snapshot: Snapshot) => Stream.Stream<Fixture["entries"][number], FsFailure | ImageFailure>;
+    (snapshot: Snapshot, root: PathInput): Stream.Stream<Fixture["entries"][number], FsFailure | ImageFailure>;
+};
 /**
  * Restores a fresh volume from an opaque snapshot under the supplied destination limits.
  *
@@ -2094,11 +2169,14 @@ export declare const snapshotEntries: (snapshot: Snapshot, root: PathInput) => S
  * ```
  *
  * @see {@link makeOverlay} for a copy-on-write workspace over the same base.
- * @see `Crypto.Crypto` for the required secure random-byte service.
+ * @see `Digest.Digest` and `SecureRandom.SecureRandom` for the required crypto services.
  * @category constructors
  * @since 0.1.0
  */
-export declare const fromSnapshot: (snapshot: Snapshot, options?: VolumeOptions) => Effect.Effect<Volume, VfsError, Crypto.Crypto>;
+export declare const fromSnapshot: {
+    (options?: VolumeOptions): (snapshot: Snapshot) => Effect.Effect<Volume, VfsError, Digest.Digest | SecureRandom.SecureRandom>;
+    (snapshot: Snapshot, options?: VolumeOptions): Effect.Effect<Volume, VfsError, Digest.Digest | SecureRandom.SecureRandom>;
+};
 /**
  * Creates an isolated writable volume relative to one immutable snapshot base.
  *
@@ -2146,11 +2224,14 @@ export declare const fromSnapshot: (snapshot: Snapshot, options?: VolumeOptions)
  * ```
  *
  * @see The overlay guide at `/guides/overlay-filesystems`.
- * @see `Crypto.Crypto` for the required secure random-byte service.
+ * @see `Digest.Digest` and `SecureRandom.SecureRandom` for the required crypto services.
  * @category constructors
  * @since 0.1.0
  */
-export declare const makeOverlay: (base: Snapshot, options?: VolumeOptions) => Effect.Effect<OverlayVolume, VfsError, Crypto.Crypto>;
+export declare const makeOverlay: {
+    (options?: VolumeOptions): (base: Snapshot) => Effect.Effect<OverlayVolume, VfsError, Digest.Digest | SecureRandom.SecureRandom>;
+    (base: Snapshot, options?: VolumeOptions): Effect.Effect<OverlayVolume, VfsError, Digest.Digest | SecureRandom.SecureRandom>;
+};
 /**
  * Builds a fresh volume from a validated final-state fixture.
  *
@@ -2187,9 +2268,12 @@ export declare const makeOverlay: (base: Snapshot, options?: VolumeOptions) => E
  * ```
  *
  * @see The fixtures guide at `/guides/fixtures-and-snapshots`.
- * @see `Crypto.Crypto` for the required secure random-byte service.
+ * @see `Digest.Digest` and `SecureRandom.SecureRandom` for the required crypto services.
  * @category constructors
  * @since 0.1.0
  */
-export declare const fromFixture: (fixture: Fixture, options?: VolumeOptions) => Effect.Effect<Volume, VfsError, Crypto.Crypto>;
+export declare const fromFixture: {
+    (options?: VolumeOptions): (fixture: Fixture) => Effect.Effect<Volume, VfsError, Digest.Digest | SecureRandom.SecureRandom>;
+    (fixture: Fixture, options?: VolumeOptions): Effect.Effect<Volume, VfsError, Digest.Digest | SecureRandom.SecureRandom>;
+};
 //# sourceMappingURL=VirtualFileSystem.d.ts.map