@effected/workspaces 0.18.3 → 0.20.0

package/README.md

@@ -193,7 +193,7 @@ const packages = root === null ? [] : getWorkspacePackagesSync(root, nodeSyncOps
 // packages: the discovered workspace packages, empty when there is no root
 ```
 
-Both entry points take their path positionally, so the bag usually passes through verbatim; spread it to add `getWorkspacePackagesSync`'s traversal extras — `{ ...nodeSyncOps, maxDepth }`. The bindings are a separate subpath deliberately: the main entry imports nothing platform-shaped, and re-exporting them from it would drag `node:*` into every consumer, including the ones supplying their own operations. `nodePath` is the running platform's `node:path`, so on Windows the paths handed back are win32 paths.
+Both entry points take their path positionally, so the bag usually passes through verbatim; spread it to add `getWorkspacePackagesSync`'s traversal extras — `{ ...nodeSyncOps, maxDepth, onSkip }`. The function is total, so it cannot fail on a manifest it cannot use — but it never drops one silently either: `onSkip` receives a `WorkspaceDiscoverySkip` (`root`, `path`, `kind`, `cause`) for every manifest left out, with the same `kind` the Effect surface would have failed with, so "no packages" and "packages rejected" stay distinguishable. A manifest with no `version` is not skipped on either surface; it is a member with `version` absent, as pnpm treats it. The bindings are a separate subpath deliberately: the main entry imports nothing platform-shaped, and re-exporting them from it would drag `node:*` into every consumer, including the ones supplying their own operations. `nodePath` is the running platform's `node:path`, so on Windows the paths handed back are win32 paths.
 
 Write the operations yourself when Node's built-ins are not the platform you mean — a Bun or Deno binding, a test fake, or `node:path/win32` to pin a dialect rather than follow the running platform. Each one is a one-liner:
 
@@ -293,7 +293,7 @@ A name miss in the derived `getPackage` fails with the service's own typed `Pack
 - `Workspaces.resolverLayer` / `Workspaces.resolveManifest` — the one-call manifest-resolution path: a fresh, unmemoized layer per call so root discovery follows your cwd, and one-shot resolution of a whole `Manifest` against the real workspace.
 - `WorkspaceRoot` — root discovery from a `cwd`, over `WORKSPACE_MARKERS`.
 - `WorkspaceDiscovery` — package enumeration with a bounded descent for segment-crossing `packages/**` patterns, per-package lookup and the `makeTest` / `layerTest` in-memory test doubles.
-- `WorkspacePackage` — a deliberately tolerant manifest model, so one member with an odd version cannot fail discovery for the whole repo. `manifestRecord` keeps the as-read `package.json` for tolerant access to fields outside the typed slice without a second read; `WorkspacePackage.manifest(pkg)` re-reads and is the opt-in bridge to `@effected/package-json`'s strict `Package`.
+- `WorkspacePackage` — a deliberately tolerant manifest model, so one member with an odd version cannot fail discovery for the whole repo. `version` is optional and carried exactly as the manifest has it — absent for the ordinary version-less private root or member, never a `"0.0.0"` placeholder; a `version` that is present but not a string is `invalidShape`. `manifestRecord` keeps the as-read `package.json` for tolerant access to fields outside the typed slice without a second read; `WorkspacePackage.manifest(pkg)` re-reads and is the opt-in bridge to `@effected/package-json`'s strict `Package`.
 - `DependencyGraph` — a value class over discovered packages: `levels()` for parallel build tiers, the flattened topological order, `toMermaid()` for a deterministic Mermaid `flowchart TD` of the whole graph, and `CyclicDependencyError` — naming the cycle's actual members — when there is no order.
 - `PackageManagerDetector` — npm, pnpm, yarn or bun from lockfiles and the `packageManager` field.
 - `WorkspaceCatalogs` — pnpm catalog assembly and `catalog:` resolution, on pnpm's own catalog packages; `releaseAgeGate()` assembles the effective `@effected/npm` `ReleaseAgeGate` from inline `pnpm-workspace.yaml` release-age keys and replayed hook contributions, strictest-wins, in the same pass as the catalogs.

package/WorkspaceDiscovery.js

@@ -9,12 +9,20 @@ import { DependencyResolutionError, WorkspaceResolver } from "@effected/npm";
 //#region src/WorkspaceDiscovery.ts
 /**
 * Raised when a workspace member's `package.json` cannot be read, parsed, or
-* used — it is missing, malformed, or lacks a `name` or `version`.
+* used — it is missing, malformed, or lacks a `name`.
 *
 * @remarks
 * `kind` is the discriminant a caller branches on; `cause` preserves the
 * originating failure rather than flattening it into a sentence.
 *
+* A manifest with no `version` is NOT a failure: pnpm accepts a version-less
+* private package and a private monorepo root without one is the ordinary
+* shape, so the member is discovered with `WorkspacePackage.version` absent.
+* The former `missingVersion` kind is retired. Only ABSENCE is tolerated: a
+* `version` that is present but not a string — or present and `""`, which pnpm
+* never wrote and which would resolve `workspace:^` to a bare `"^"` — is the
+* manifest's shape being wrong and reports `invalidShape`.
+*
 * @public
 */
 var WorkspaceDiscoveryError = class extends Schema.TaggedError()("WorkspaceDiscoveryError", {
@@ -28,8 +36,7 @@ var WorkspaceDiscoveryError = class extends Schema.TaggedError()("WorkspaceDisco
 		"invalidJson",
 		"invalidShape",
 		"invalidYaml",
-		"missingName",
-		"missingVersion"
+		"missingName"
 	]),
 	/** The originating failure, if there was one. */
 	cause: Schema.Defect()
@@ -172,15 +179,21 @@ var WorkspaceDiscovery = class WorkspaceDiscovery extends Context.Service()("@ef
 				cause: void 0
 			}));
 			const version = raw.version;
-			if (typeof version !== "string" || version.length === 0) return yield* Effect.fail(new WorkspaceDiscoveryError({
+			if (version !== void 0 && typeof version !== "string") return yield* Effect.fail(new WorkspaceDiscoveryError({
 				root,
 				path: packageJsonPath,
-				kind: "missingVersion",
-				cause: void 0
+				kind: "invalidShape",
+				cause: /* @__PURE__ */ new Error(`version must be a string, got ${typeof version}`)
+			}));
+			if (version === "") return yield* Effect.fail(new WorkspaceDiscoveryError({
+				root,
+				path: packageJsonPath,
+				kind: "invalidShape",
+				cause: /* @__PURE__ */ new Error("version must be a non-empty string")
 			}));
 			return yield* Schema.decodeUnknownEffect(WorkspacePackage)({
 				name,
-				version,
+				...version !== void 0 ? { version } : {},
 				path: directory,
 				packageJsonPath,
 				relativePath,
@@ -494,6 +507,12 @@ var WorkspaceDiscovery = class WorkspaceDiscovery extends Context.Service()("@ef
 	* channel is reserved for a failure of the resolution *mechanism* (an
 	* unfindable root, an unreadable manifest), never an ordinary miss.
 	*
+	* A member that declares **no `version`** is neither: it is a known member
+	* with nothing for `workspace:` to resolve to. Answering `none` would read
+	* as "not a member" downstream, so it fails typed instead, naming the
+	* specifier — the same channel a consumer already handles for an
+	* unresolvable workspace.
+	*
 	* @example
 	* ```ts
 	* import { Package } from "@effected/package-json";
@@ -517,10 +536,21 @@ var WorkspaceDiscovery = class WorkspaceDiscovery extends Context.Service()("@ef
 			versionIndexes.set(all, index);
 			return index;
 		};
-		return { versionOf: (packageName) => discovery.listPackages().pipe(Effect.map((all) => Option.fromUndefinedOr(versionsByName(all).get(packageName))), Effect.mapError((cause) => new DependencyResolutionError({
-			specifier: `workspace:${packageName}`,
-			cause
-		}))) };
+		return { versionOf: (packageName) => {
+			const specifier = `workspace:${packageName}`;
+			return discovery.listPackages().pipe(Effect.mapError((cause) => new DependencyResolutionError({
+				specifier,
+				cause
+			})), Effect.flatMap((all) => {
+				const index = versionsByName(all);
+				if (!index.has(packageName)) return Effect.succeed(Option.none());
+				const version = index.get(packageName);
+				return version === void 0 ? Effect.fail(new DependencyResolutionError({
+					specifier,
+					cause: /* @__PURE__ */ new Error(`Workspace member "${packageName}" declares no version`)
+				})) : Effect.succeed(Option.some(version));
+			}));
+		} };
 	}));
 };
 const isStringRecord = (value) => value !== null && typeof value === "object" && !Array.isArray(value) && Object.values(value).every((entry) => typeof entry === "string");

package/WorkspacePackage.js

@@ -91,8 +91,24 @@ var WorkspaceManifestError = class extends Schema.TaggedError()("WorkspaceManife
 var WorkspacePackage = class WorkspacePackage extends Schema.Class("WorkspacePackage")({
 	/** The package name. */
 	name: Schema.NonEmptyString,
-	/** The raw `version` string — deliberately not semver-validated. */
-	version: Schema.String,
+	/**
+	* The raw `version` string — deliberately not semver-validated — or absent
+	* when the manifest declares none.
+	*
+	* @remarks
+	* pnpm accepts a version-less private package, and a private monorepo root
+	* without a `version` is the ordinary shape, so discovery carries the field
+	* exactly as the manifest has it: a non-empty string when present, verbatim
+	* and un-validated, absent when the key is absent — never a `"0.0.0"`
+	* placeholder and never a present `undefined` key. **Only ABSENCE is
+	* tolerated**: a `version` that is present but not a string, or present and
+	* `""`, fails discovery as `invalidShape` on both surfaces. `""` in
+	* particular is not a pnpm shape and would resolve `workspace:^` to a bare
+	* `"^"`.
+	* Anything that needs a concrete version (`WorkspaceResolver.versionOf`,
+	* a release tag) answers the absence itself rather than inventing one.
+	*/
+	version: Schema.optionalKey(Schema.String),
 	/** Absolute path to the package directory. */
 	path: Schema.NonEmptyString,
 	/** Absolute path to the package's `package.json`. */

package/WorkspaceSnapshots.js

@@ -197,7 +197,7 @@ var WorkspaceSnapshots = class WorkspaceSnapshots extends Context.Service()("@ef
 				const importerVersions = yield* catalogsService.importerVersions();
 				const snapshotPackages = packages.map((pkg) => PackageStateSnapshot.make({
 					name: pkg.name,
-					version: pkg.version,
+					version: pkg.version ?? "",
 					relativePath: pkg.relativePath,
 					dependencies: pkg.dependencies,
 					devDependencies: pkg.devDependencies,

package/WorkspaceStateSnapshot.js

@@ -1,7 +1,7 @@
 import { unanimousVersionOf } from "./internal/importerVersions.js";
 import { CatalogSet } from "./WorkspaceCatalogs.js";
 import { Effect, Exit, Layer, Option, Schema } from "effect";
-import { CatalogResolver, DependencySpecifier, WorkspaceResolver } from "@effected/npm";
+import { CatalogResolver, DependencyResolutionError, DependencySpecifier, WorkspaceResolver } from "@effected/npm";
 
 //#region src/WorkspaceStateSnapshot.ts
 const EMPTY = Object.freeze(Object.create(null));
@@ -23,7 +23,23 @@ const DependencyMap = Schema.Record(Schema.String, Schema.String).pipe(Schema.wi
 var PackageStateSnapshot = class extends Schema.Class("PackageStateSnapshot")({
 	/** The package name. */
 	name: Schema.NonEmptyString,
-	/** The raw `version` string, as recorded at the captured moment. */
+	/**
+	* The raw `version` string, as recorded at the captured moment — or `""` for
+	* a manifest that declared none.
+	*
+	* @remarks
+	* `WorkspacePackage.version` is optional and a version-less member is an
+	* ordinary pnpm shape, but this field stays a plain required string because a
+	* snapshot is a serialized value someone stores and diffs: an absent key and
+	* a present one would read as a change the moment one side of a diff was
+	* captured by a different code path. **`""` is therefore the sentinel for
+	* "the manifest declared no version", not a version anyone can use** — both
+	* `snapshotOf` at a ref and the worktree snapshot write it, so the two sides
+	* agree. Every resolution surface treats it as absence:
+	* {@link WorkspaceStateSnapshot.resolve} answers `Option.none()` for a
+	* `workspace:` specifier against it, because `some("")` would rewrite
+	* `workspace:^` as a bare `"^"`.
+	*/
 	version: Schema.String,
 	/** POSIX path relative to the workspace root; `"."` for the root package. */
 	relativePath: Schema.String,
@@ -137,7 +153,17 @@ var WorkspaceStateSnapshot = class WorkspaceStateSnapshot extends Schema.Class("
 		if (this.#packageIndex === void 0) this.#packageIndex = new Map(this.packages.map((pkg) => [pkg.name, pkg]));
 		return this.#packageIndex;
 	}
-	/** Every captured package's name → version. Total; O(1) after the first call. */
+	/**
+	* Every captured package's name → version. Total; O(1) after the first call.
+	*
+	* @remarks
+	* Values are `PackageStateSnapshot.version` verbatim, so a member whose
+	* manifest declared no version maps to the **`""` sentinel** rather than
+	* being absent from the map — presence here answers membership, not
+	* "has a usable version". A caller reading a version out of this map owes
+	* the `""` check itself; {@link WorkspaceStateSnapshot.resolve} already
+	* makes it.
+	*/
 	get versions() {
 		return this.#versions();
 	}
@@ -222,7 +248,10 @@ var WorkspaceStateSnapshot = class WorkspaceStateSnapshot extends Schema.Class("
 				const fromCatalogs = this.#catalogRange(dependency, classified.name);
 				return Option.isSome(fromCatalogs) ? fromCatalogs : onUnresolvedCatalog();
 			}
-			case "workspace": return Option.fromUndefinedOr(this.#versions().get(dependency));
+			case "workspace": {
+				const version = this.#versions().get(dependency);
+				return version === void 0 || version === "" ? Option.none() : Option.some(version);
+			}
 			default: return Option.none();
 		}
 	}
@@ -368,7 +397,15 @@ var WorkspaceStateSnapshot = class WorkspaceStateSnapshot extends Schema.Class("
 	* `workspace:` specifiers as of this ref. Built once per instance and cached.
 	*/
 	get workspaceResolver() {
-		if (this.#workspaceResolver === void 0) this.#workspaceResolver = Layer.succeed(WorkspaceResolver, { versionOf: (packageName) => Effect.succeed(Option.fromUndefinedOr(this.#versions().get(packageName))) });
+		if (this.#workspaceResolver === void 0) this.#workspaceResolver = Layer.succeed(WorkspaceResolver, { versionOf: (packageName) => {
+			const version = this.#versions().get(packageName);
+			if (version === void 0) return Effect.succeed(Option.none());
+			if (version === "") return Effect.fail(new DependencyResolutionError({
+				specifier: `workspace:${packageName}`,
+				cause: /* @__PURE__ */ new Error(`Workspace member "${packageName}" declares no version`)
+			}));
+			return Effect.succeed(Option.some(version));
+		} });
 		return this.#workspaceResolver;
 	}
 	/** Both snapshot-scoped resolver layers merged. Built once per instance and cached. */

package/WorkspacesSync.js

@@ -7,6 +7,38 @@ import { Yaml } from "@effected/yaml";
 
 //#region src/WorkspacesSync.ts
 /**
+* Read one `package.json` into a plain record, or say why not. Never throws.
+*
+* The three failures are kept apart — a throwing consumer `readFile`, a JSON
+* syntax error, and valid JSON that is not an object — because the skip report
+* carries the distinction; the two other callers of {@link readJson} do not
+* need it and keep the collapsed form.
+*/
+const readManifest = (fileSystem, file) => {
+	let text;
+	try {
+		text = fileSystem.readFile(file);
+	} catch (cause) {
+		return {
+			kind: "read",
+			cause
+		};
+	}
+	let parsed;
+	try {
+		parsed = JSON.parse(text);
+	} catch (cause) {
+		return {
+			kind: "invalidJson",
+			cause
+		};
+	}
+	return typeof parsed === "object" && parsed !== null && !Array.isArray(parsed) ? { raw: parsed } : {
+		kind: "invalidShape",
+		cause: /* @__PURE__ */ new Error("package.json is not a JSON object")
+	};
+};
+/**
 * Read and JSON-parse a file into a plain object, or `undefined`. Never throws.
 *
 * The non-object check is load-bearing, not defensive noise. `JSON.parse`
@@ -143,21 +175,47 @@ const readPatternsSync = (options, root) => {
 	}
 	return manifestPatternsOf(readJson(fileSystem, path.join(root, "package.json")) ?? {});
 };
-/** Build a `WorkspacePackage` from a directory, or `null` if its manifest is unusable. */
+/**
+* Build a `WorkspacePackage` from a directory, or a {@link WorkspaceDiscoverySkip}
+* saying why its manifest is unusable — never `null`, so a skip cannot go
+* unreported.
+*/
 const readPackageSync = (options, root, directory, relativePath) => {
 	const packageJsonPath = options.path.join(directory, "package.json");
-	const raw = readJson(options.fileSystem, packageJsonPath);
-	if (raw === void 0) return null;
+	const read = readManifest(options.fileSystem, packageJsonPath);
+	if (!("raw" in read)) return {
+		root,
+		path: packageJsonPath,
+		kind: read.kind,
+		cause: read.cause
+	};
+	const raw = read.raw;
 	const name = raw.name;
+	if (typeof name !== "string" || name.length === 0) return {
+		root,
+		path: packageJsonPath,
+		kind: "missingName",
+		cause: void 0
+	};
 	const version = raw.version;
-	if (typeof name !== "string" || name.length === 0) return null;
-	if (typeof version !== "string" || version.length === 0) return null;
+	if (version !== void 0 && typeof version !== "string") return {
+		root,
+		path: packageJsonPath,
+		kind: "invalidShape",
+		cause: /* @__PURE__ */ new Error(`version must be a string, got ${typeof version}`)
+	};
+	if (version === "") return {
+		root,
+		path: packageJsonPath,
+		kind: "invalidShape",
+		cause: /* @__PURE__ */ new Error("version must be a non-empty string")
+	};
 	const stringRecord = (value) => value !== null && typeof value === "object" && !Array.isArray(value) && Object.values(value).every((entry) => typeof entry === "string") ? value : void 0;
 	const publishConfig = raw.publishConfig;
 	const config = publishConfig !== null && typeof publishConfig === "object" ? Effect.runSyncExit(Schema.decodeUnknownEffect(PublishConfig)(publishConfig)) : void 0;
 	return WorkspacePackage.make({
 		name,
-		version,
+		...version !== void 0 ? { version } : {},
 		path: directory,
 		packageJsonPath,
 		relativePath,
@@ -194,6 +252,13 @@ const readPackageSync = (options, root, directory, relativePath) => {
 * caller mistakes: a `maxDepth` that is not a positive integer throws, matching
 * the enumerator's defect.
 *
+* **A skip is never silent.** Every manifest left out is reported through
+* `onSkip` with its path and the same `kind` the Effect surface would have
+* failed with (a `WorkspaceDiscoverySkip`), so "no packages" and "packages
+* rejected" stay distinguishable. A manifest with no `version` is NOT skipped:
+* pnpm accepts a version-less private package, so it is a member with
+* `version` absent — on both surfaces.
+*
 * @param root - The workspace root, from {@link findWorkspaceRootSync}.
 * @param options - The consumer-supplied operations and traversal bounds; see
 *   {@link GetWorkspacePackagesSyncOptions}.
@@ -261,13 +326,18 @@ const getWorkspacePackagesSync = (root, options) => {
 		}
 	}
 	const members = [];
+	const admit = (read) => {
+		if (read instanceof WorkspacePackage) members.push(read);
+		else options.onSkip?.(read);
+	};
 	for (const [relativePath, absolute] of [...included.entries()].sort(([a], [b]) => a < b ? -1 : a > b ? 1 : 0)) {
 		if (relativePath === "." || absolute === root) continue;
-		const pkg = readPackageSync(options, root, absolute, relativePath);
-		if (pkg !== null) members.push(pkg);
+		admit(readPackageSync(options, root, absolute, relativePath));
 	}
 	const rootPackage = readPackageSync(options, root, root, ".");
-	return rootPackage === null ? members : [rootPackage, ...members];
+	if (rootPackage instanceof WorkspacePackage) return [rootPackage, ...members];
+	options.onSkip?.(rootPackage);
+	return members;
 };
 
 //#endregion

package/index.d.ts

@@ -36,7 +36,7 @@ declare const PublishConfig_base: Schema.Class<PublishConfig, Schema.Struct<{
  *
  * @public
  */
-declare class PublishConfig extends PublishConfig_base {}
+export declare class PublishConfig extends PublishConfig_base {}
 /**
  * The result of comparing two {@link WorkspacePackage} dependency snapshots.
  *
@@ -76,15 +76,31 @@ declare const WorkspaceManifestError_base: Schema.Class<WorkspaceManifestError,
  *
  * @public
  */
-declare class WorkspaceManifestError extends WorkspaceManifestError_base {
+export declare class WorkspaceManifestError extends WorkspaceManifestError_base {
   /** Renders the path and failure kind into a one-line message. */
   get message(): string;
 }
 declare const WorkspacePackage_base: Schema.Class<WorkspacePackage, Schema.Struct<{
   /** The package name. */
   readonly name: Schema.NonEmptyString;
-  /** The raw `version` string — deliberately not semver-validated. */
-  readonly version: Schema.String;
+  /**
+   * The raw `version` string — deliberately not semver-validated — or absent
+   * when the manifest declares none.
+   *
+   * @remarks
+   * pnpm accepts a version-less private package, and a private monorepo root
+   * without a `version` is the ordinary shape, so discovery carries the field
+   * exactly as the manifest has it: a non-empty string when present, verbatim
+   * and un-validated, absent when the key is absent — never a `"0.0.0"`
+   * placeholder and never a present `undefined` key. **Only ABSENCE is
+   * tolerated**: a `version` that is present but not a string, or present and
+   * `""`, fails discovery as `invalidShape` on both surfaces. `""` in
+   * particular is not a pnpm shape and would resolve `workspace:^` to a bare
+   * `"^"`.
+   * Anything that needs a concrete version (`WorkspaceResolver.versionOf`,
+   * a release tag) answers the absence itself rather than inventing one.
+   */
+  readonly version: Schema.optionalKey<Schema.String>;
   /** Absolute path to the package directory. */
   readonly path: Schema.NonEmptyString;
   /** Absolute path to the package's `package.json`. */
@@ -161,7 +177,7 @@ declare const WorkspacePackage_base: Schema.Class<WorkspacePackage, Schema.Struc
  *
  * @public
  */
-declare class WorkspacePackage extends WorkspacePackage_base {
+export declare class WorkspacePackage extends WorkspacePackage_base {
   /** Whether this is the workspace root package. */
   get isRootWorkspace(): boolean;
   /** Whether the package is publishable in principle (not marked private). */
@@ -229,7 +245,7 @@ declare class WorkspacePackage extends WorkspacePackage_base {
  *
  * @public
  */
-declare const WORKSPACE_MARKERS: ReadonlyArray<string>;
+export declare const WORKSPACE_MARKERS: ReadonlyArray<string>;
 /**
  * Options for {@link WorkspaceRoot}'s `find`.
  *
@@ -287,7 +303,7 @@ declare const WorkspaceRootNotFoundError_base: Schema.Class<WorkspaceRootNotFoun
  *
  * @public
  */
-declare class WorkspaceRootNotFoundError extends WorkspaceRootNotFoundError_base {
+export declare class WorkspaceRootNotFoundError extends WorkspaceRootNotFoundError_base {
   /** Renders the search path, probed markers and any ceiling into a one-line message. */
   get message(): string;
 }
@@ -344,7 +360,7 @@ declare const WorkspaceRoot_base: Context.ServiceClass<WorkspaceRoot, "@effected
  *
  * @public
  */
-declare class WorkspaceRoot extends WorkspaceRoot_base {
+export declare class WorkspaceRoot extends WorkspaceRoot_base {
   /** Builds the service over core `FileSystem` and `Path`. */
   static readonly make: Effect.Effect<WorkspaceRootShape, never, FileSystem.FileSystem | Path.Path>;
   /** The live layer. */
@@ -417,21 +433,29 @@ declare const WorkspaceDiscoveryError_base: Schema.Class<WorkspaceDiscoveryError
   /** The file that failed. */
   readonly path: Schema.String;
   /** What went wrong with it. */
-  readonly kind: Schema.Literals<readonly ["read", "invalidJson", "invalidShape", "invalidYaml", "missingName", "missingVersion"]>;
+  readonly kind: Schema.Literals<readonly ["read", "invalidJson", "invalidShape", "invalidYaml", "missingName"]>;
   /** The originating failure, if there was one. */
   readonly cause: Schema.Defect;
 }>, import("effect/Cause").YieldableError>;
 /**
  * Raised when a workspace member's `package.json` cannot be read, parsed, or
- * used — it is missing, malformed, or lacks a `name` or `version`.
+ * used — it is missing, malformed, or lacks a `name`.
  *
  * @remarks
  * `kind` is the discriminant a caller branches on; `cause` preserves the
  * originating failure rather than flattening it into a sentence.
  *
+ * A manifest with no `version` is NOT a failure: pnpm accepts a version-less
+ * private package and a private monorepo root without one is the ordinary
+ * shape, so the member is discovered with `WorkspacePackage.version` absent.
+ * The former `missingVersion` kind is retired. Only ABSENCE is tolerated: a
+ * `version` that is present but not a string — or present and `""`, which pnpm
+ * never wrote and which would resolve `workspace:^` to a bare `"^"` — is the
+ * manifest's shape being wrong and reports `invalidShape`.
+ *
  * @public
  */
-declare class WorkspaceDiscoveryError extends WorkspaceDiscoveryError_base {
+export declare class WorkspaceDiscoveryError extends WorkspaceDiscoveryError_base {
   /** Renders the failing file and kind into a one-line message. */
   get message(): string;
 }
@@ -452,7 +476,7 @@ declare const WorkspacePatternError_base: Schema.Class<WorkspacePatternError, Sc
  *
  * @public
  */
-declare class WorkspacePatternError extends WorkspacePatternError_base {
+export declare class WorkspacePatternError extends WorkspacePatternError_base {
   /** Renders the pattern and failure kind into a one-line message. */
   get message(): string;
 }
@@ -471,7 +495,7 @@ declare const PackageNotFoundError_base: Schema.Class<PackageNotFoundError, Sche
  *
  * @public
  */
-declare class PackageNotFoundError extends PackageNotFoundError_base {
+export declare class PackageNotFoundError extends PackageNotFoundError_base {
   /** Renders the requested name into a one-line message. */
   get message(): string;
 }
@@ -487,7 +511,7 @@ declare const WorkspaceInfo_base: Schema.Class<WorkspaceInfo, Schema.Struct<{
  *
  * @public
  */
-declare class WorkspaceInfo extends WorkspaceInfo_base {}
+export declare class WorkspaceInfo extends WorkspaceInfo_base {}
 /**
  * Every failure `WorkspaceDiscovery.getPackage` can surface: the discovery
  * failures plus a name that matches no member.
@@ -627,7 +651,7 @@ declare const WorkspaceDiscovery_base: Context.ServiceClass<WorkspaceDiscovery,
  *
  * @public
  */
-declare class WorkspaceDiscovery extends WorkspaceDiscovery_base {
+export declare class WorkspaceDiscovery extends WorkspaceDiscovery_base {
   /**
    * Builds the service. Root resolution is one explicit concern: `cwd` is an
    * option here, never an ambient `process.cwd()` read inside a method.
@@ -722,6 +746,12 @@ declare class WorkspaceDiscovery extends WorkspaceDiscovery_base {
    * channel is reserved for a failure of the resolution *mechanism* (an
    * unfindable root, an unreadable manifest), never an ordinary miss.
    *
+   * A member that declares **no `version`** is neither: it is a known member
+   * with nothing for `workspace:` to resolve to. Answering `none` would read
+   * as "not a member" downstream, so it fails typed instead, naming the
+   * specifier — the same channel a consumer already handles for an
+   * unresolvable workspace.
+   *
    * @example
    * ```ts
    * import { Package } from "@effected/package-json";
@@ -772,7 +802,7 @@ declare const ChangeDetectionOptions_base: Schema.Class<ChangeDetectionOptions,
  *
  * @public
  */
-declare class ChangeDetectionOptions extends ChangeDetectionOptions_base {}
+export declare class ChangeDetectionOptions extends ChangeDetectionOptions_base {}
 declare const ChangeDetectionError_base: Schema.Class<ChangeDetectionError, Schema.TaggedStruct<"ChangeDetectionError", {
   /** The operation that could not run. */
   readonly operation: Schema.String;
@@ -792,7 +822,7 @@ declare const ChangeDetectionError_base: Schema.Class<ChangeDetectionError, Sche
  *
  * @public
  */
-declare class ChangeDetectionError extends ChangeDetectionError_base {
+export declare class ChangeDetectionError extends ChangeDetectionError_base {
   /** Renders the failed operation into a one-line message. */
   get message(): string;
 }
@@ -846,7 +876,7 @@ declare const ChangeDetector_base: Context.ServiceClass<ChangeDetector, "@effect
  *
  * @public
  */
-declare class ChangeDetector extends ChangeDetector_base {
+export declare class ChangeDetector extends ChangeDetector_base {
   /** Builds the service over `Git` and {@link WorkspaceDiscovery}. */
   static readonly make: Effect.Effect<ChangeDetectorShape, never, Git | WorkspaceDiscovery>;
   /** The live layer. */
@@ -899,7 +929,7 @@ interface PeerDependencyRules {
  *
  * @public
  */
-declare const NoPeerDependencyRules: PeerDependencyRules;
+export declare const NoPeerDependencyRules: PeerDependencyRules;
 /**
  * The result of replaying a workspace's `configDependencies` hooks: the catalogs
  * the hooks yield, and the release-age gate contribution they leave on the
@@ -997,7 +1027,7 @@ declare const ConfigDependencyHooks_base: Context.ServiceClass<ConfigDependencyH
  *
  * @public
  */
-declare class ConfigDependencyHooks extends ConfigDependencyHooks_base {
+export declare class ConfigDependencyHooks extends ConfigDependencyHooks_base {
   /**
    * The no-op layer: `inject` returns the seed unchanged and never touches a
    * config dependency. The default {@link WorkspaceCatalogs} layer wires this, so
@@ -1092,7 +1122,7 @@ declare const CyclicDependencyError_base: Schema.Class<CyclicDependencyError, Sc
  *
  * @public
  */
-declare class CyclicDependencyError extends CyclicDependencyError_base {
+export declare class CyclicDependencyError extends CyclicDependencyError_base {
   /** Renders the cycle members into a one-line message. */
   get message(): string;
 }
@@ -1127,7 +1157,7 @@ declare const DependencyGraph_base: Schema.Class<DependencyGraph, Schema.Struct<
  *
  * @public
  */
-declare class DependencyGraph extends DependencyGraph_base {
+export declare class DependencyGraph extends DependencyGraph_base {
   #private;
   /** Every workspace package name, sorted. Total. */
   get names(): ReadonlyArray<string>;
@@ -1187,13 +1217,13 @@ declare class DependencyGraph extends DependencyGraph_base {
  *
  * @public
  */
-declare const PackageManagerName: Schema.Literals<readonly ["npm", "pnpm", "yarn", "bun"]>;
+export declare const PackageManagerName: Schema.Literals<readonly ["npm", "pnpm", "yarn", "bun"]>;
 /**
  * The decoded type of {@link (PackageManagerName:variable)}: `"npm" | "pnpm" | "yarn" | "bun"`.
  *
  * @public
  */
-type PackageManagerName = typeof PackageManagerName.Type;
+export type PackageManagerName = typeof PackageManagerName.Type;
 /**
  * The markers {@link PackageManagerDetector} probes, in the priority order it
  * probes them.
@@ -1212,14 +1242,14 @@ type PackageManagerName = typeof PackageManagerName.Type;
  *
  * @public
  */
-declare const PackageManagerEvidence: Schema.Literals<readonly ["pnpm-workspace.yaml", "bun.lock", "bun.lockb", "yarn.lock", "package.json#workspaces", "pnpm-lock.yaml", "package-lock.json", "package.json#devEngines.packageManager", "package.json#packageManager"]>;
+export declare const PackageManagerEvidence: Schema.Literals<readonly ["pnpm-workspace.yaml", "bun.lock", "bun.lockb", "yarn.lock", "package.json#workspaces", "pnpm-lock.yaml", "package-lock.json", "package.json#devEngines.packageManager", "package.json#packageManager"]>;
 /**
  * The decoded type of {@link (PackageManagerEvidence:variable)}: the marker
  * that decided a detection.
  *
  * @public
  */
-type PackageManagerEvidence = typeof PackageManagerEvidence.Type;
+export type PackageManagerEvidence = typeof PackageManagerEvidence.Type;
 declare const DetectedPackageManager_base: Schema.Class<DetectedPackageManager, Schema.Struct<{
   /** The detected manager. */
   readonly name: Schema.Literals<readonly ["npm", "pnpm", "yarn", "bun"]>;
@@ -1252,7 +1282,7 @@ declare const DetectedPackageManager_base: Schema.Class<DetectedPackageManager,
  *
  * @public
  */
-declare class DetectedPackageManager extends DetectedPackageManager_base {}
+export declare class DetectedPackageManager extends DetectedPackageManager_base {}
 declare const PackageManagerDetectionError_base: Schema.Class<PackageManagerDetectionError, Schema.TaggedStruct<"PackageManagerDetectionError", {
   /** The workspace root that was probed. */
   readonly root: Schema.String;
@@ -1265,7 +1295,7 @@ declare const PackageManagerDetectionError_base: Schema.Class<PackageManagerDete
  *
  * @public
  */
-declare class PackageManagerDetectionError extends PackageManagerDetectionError_base {
+export declare class PackageManagerDetectionError extends PackageManagerDetectionError_base {
   /** Renders the root and probed markers into a one-line message. */
   get message(): string;
 }
@@ -1333,7 +1363,7 @@ declare const PackageManagerDetector_base: Context.ServiceClass<PackageManagerDe
  *
  * @public
  */
-declare class PackageManagerDetector extends PackageManagerDetector_base {
+export declare class PackageManagerDetector extends PackageManagerDetector_base {
   /** Builds the service over core `FileSystem` and `Path`. */
   static readonly make: Effect.Effect<{
     readonly detect: (root: string) => Effect.Effect<DetectedPackageManager, PackageManagerDetectionFailure>;
@@ -1414,7 +1444,7 @@ declare const LockfileReadError_base: Schema.Class<LockfileReadError, Schema.Tag
  *
  * @public
  */
-declare class LockfileReadError extends LockfileReadError_base {
+export declare class LockfileReadError extends LockfileReadError_base {
   /** Renders the unreadable path into a one-line message. */
   get message(): string;
 }
@@ -1497,7 +1527,7 @@ declare const LockfileReader_base: Context.ServiceClass<LockfileReader, "@effect
  *
  * @public
  */
-declare class LockfileReader extends LockfileReader_base {
+export declare class LockfileReader extends LockfileReader_base {
   /** Builds the service. */
   static readonly make: (options?: LockfileReaderOptions) => Effect.Effect<LockfileReaderShape, never, WorkspaceRoot | PackageManagerDetector | WorkspaceDiscovery | FileSystem.FileSystem | Path.Path>;
   /**
@@ -1631,7 +1661,7 @@ declare const PeerParent_base: Schema.Class<PeerParent, Schema.Struct<{
  *
  * @public
  */
-declare class PeerParent extends PeerParent_base {}
+export declare class PeerParent extends PeerParent_base {}
 declare const UnsatisfiedPeer_base: Schema.Class<UnsatisfiedPeer, Schema.Struct<{
   /** The importer path the problem belongs to (`"."` for the root). */
   readonly importer: Schema.NonEmptyString;
@@ -1672,7 +1702,7 @@ declare const UnsatisfiedPeer_base: Schema.Class<UnsatisfiedPeer, Schema.Struct<
  *
  * @public
  */
-declare class UnsatisfiedPeer extends UnsatisfiedPeer_base {}
+export declare class UnsatisfiedPeer extends UnsatisfiedPeer_base {}
 declare const PeerCheck_base: Schema.Class<PeerCheck, Schema.Struct<{
   /**
    * Whether the lockfile's format records peer resolution at all.
@@ -1738,7 +1768,7 @@ declare const PeerCheck_base: Schema.Class<PeerCheck, Schema.Struct<{
  *
  * @public
  */
-declare class PeerCheck extends PeerCheck_base {
+export declare class PeerCheck extends PeerCheck_base {
   /** The unsatisfied peers a gate should act on — the non-optional ones. */
   get required(): ReadonlyArray<UnsatisfiedPeer>;
   /**
@@ -1800,7 +1830,7 @@ declare const PublishTarget_base: Schema.Class<PublishTarget, Schema.Struct<{
  *
  * @public
  */
-declare class PublishTarget extends PublishTarget_base {}
+export declare class PublishTarget extends PublishTarget_base {}
 /**
  * The {@link PublishabilityDetector} service shape.
  *
@@ -1894,7 +1924,7 @@ declare const PublishabilityDetector_base: Context.ServiceClass<PublishabilityDe
  *
  * @public
  */
-declare class PublishabilityDetector extends PublishabilityDetector_base {
+export declare class PublishabilityDetector extends PublishabilityDetector_base {
   /**
    * Standard npm publishing semantics, **as a value**. Pure — no filesystem,
    * no platform services.
@@ -1969,13 +1999,13 @@ declare class PublishabilityDetector extends PublishabilityDetector_base {
  *
  * @public
  */
-declare const TagStyle: Schema.Literals<readonly ["single", "scoped"]>;
+export declare const TagStyle: Schema.Literals<readonly ["single", "scoped"]>;
 /**
  * The decoded type of {@link (TagStyle:variable)}: `"single" | "scoped"`.
  *
  * @public
  */
-type TagStyle = typeof TagStyle.Type;
+export type TagStyle = typeof TagStyle.Type;
 /**
  * Formatting knobs for {@link ReleaseTag.single} and {@link ReleaseTag.scoped}.
  *
@@ -2056,7 +2086,7 @@ declare const TrackingTag_base: Schema.Class<TrackingTag, Schema.Struct<{
  *
  * @public
  */
-declare class TrackingTag extends TrackingTag_base {
+export declare class TrackingTag extends TrackingTag_base {
   /** Whether this alias tracks a whole major line, or one minor line inside it. */
   get precision(): "major" | "minor";
   /**
@@ -2125,7 +2155,7 @@ type TagClassification = {
  *
  * @public
  */
-declare const classifyTag: (tag: string) => TagClassification;
+export declare const classifyTag: (tag: string) => TagClassification;
 declare const ReleaseTag_base: Schema.Class<ReleaseTag, Schema.Struct<{
   /** The tag string exactly as it appears in git. */
   readonly value: Schema.NonEmptyString;
@@ -2162,7 +2192,7 @@ declare const ReleaseTag_base: Schema.Class<ReleaseTag, Schema.Struct<{
  *
  * @public
  */
-declare class ReleaseTag extends ReleaseTag_base {
+export declare class ReleaseTag extends ReleaseTag_base {
   /**
    * One shared tag for a whole release: `1.2.3`.
    *
@@ -2195,13 +2225,13 @@ declare class ReleaseTag extends ReleaseTag_base {
  *
  * @public
  */
-declare const VersioningStrategyType: Schema.Literals<readonly ["single", "fixed-group", "independent"]>;
+export declare const VersioningStrategyType: Schema.Literals<readonly ["single", "fixed-group", "independent"]>;
 /**
  * The decoded type of {@link (VersioningStrategyType:variable)}.
  *
  * @public
  */
-type VersioningStrategyType = typeof VersioningStrategyType.Type;
+export type VersioningStrategyType = typeof VersioningStrategyType.Type;
 /**
  * Arguments to {@link VersioningStrategy.classify}.
  *
@@ -2277,7 +2307,7 @@ declare const VersioningStrategy_base: Schema.Class<VersioningStrategy, Schema.S
  *
  * @public
  */
-declare class VersioningStrategy extends VersioningStrategy_base {
+export declare class VersioningStrategy extends VersioningStrategy_base {
   /**
    * Whether a release needs one tag per package rather than one shared tag.
    */
@@ -2358,7 +2388,7 @@ declare const CatalogSet_base: Schema.Class<CatalogSet, Schema.Struct<{
  *
  * @public
  */
-declare class CatalogSet extends CatalogSet_base {
+export declare class CatalogSet extends CatalogSet_base {
   /** The empty set — a workspace with no catalogs. */
   static empty(): CatalogSet;
   /** Wrap a pnpm `Catalogs` map, dropping unusable entries. */
@@ -2566,7 +2596,7 @@ declare const WorkspaceCatalogs_base: Context.ServiceClass<WorkspaceCatalogs, "@
  *
  * @public
  */
-declare class WorkspaceCatalogs extends WorkspaceCatalogs_base {
+export declare class WorkspaceCatalogs extends WorkspaceCatalogs_base {
   /** Builds the service. */
   static readonly make: (options?: WorkspaceCatalogsOptions) => Effect.Effect<WorkspaceCatalogsShape, never, WorkspaceRoot | LockfileReader | ConfigDependencyHooks | FileSystem.FileSystem | Path.Path>;
   /**
@@ -2689,7 +2719,23 @@ declare class WorkspaceCatalogs extends WorkspaceCatalogs_base {
 declare const PackageStateSnapshot_base: Schema.Class<PackageStateSnapshot, Schema.Struct<{
   /** The package name. */
   readonly name: Schema.NonEmptyString;
-  /** The raw `version` string, as recorded at the captured moment. */
+  /**
+   * The raw `version` string, as recorded at the captured moment — or `""` for
+   * a manifest that declared none.
+   *
+   * @remarks
+   * `WorkspacePackage.version` is optional and a version-less member is an
+   * ordinary pnpm shape, but this field stays a plain required string because a
+   * snapshot is a serialized value someone stores and diffs: an absent key and
+   * a present one would read as a change the moment one side of a diff was
+   * captured by a different code path. **`""` is therefore the sentinel for
+   * "the manifest declared no version", not a version anyone can use** — both
+   * `snapshotOf` at a ref and the worktree snapshot write it, so the two sides
+   * agree. Every resolution surface treats it as absence:
+   * {@link WorkspaceStateSnapshot.resolve} answers `Option.none()` for a
+   * `workspace:` specifier against it, because `some("")` would rewrite
+   * `workspace:^` as a bare `"^"`.
+   */
   readonly version: Schema.String;
   /** POSIX path relative to the workspace root; `"."` for the root package. */
   readonly relativePath: Schema.String;
@@ -2716,7 +2762,7 @@ declare const PackageStateSnapshot_base: Schema.Class<PackageStateSnapshot, Sche
  *
  * @public
  */
-declare class PackageStateSnapshot extends PackageStateSnapshot_base {
+export declare class PackageStateSnapshot extends PackageStateSnapshot_base {
   /**
    * Every dependency, merged across the four kinds.
    *
@@ -2798,9 +2844,19 @@ declare const WorkspaceStateSnapshot_base: Schema.Class<WorkspaceStateSnapshot,
  *
  * @public
  */
-declare class WorkspaceStateSnapshot extends WorkspaceStateSnapshot_base {
+export declare class WorkspaceStateSnapshot extends WorkspaceStateSnapshot_base {
   #private;
-  /** Every captured package's name → version. Total; O(1) after the first call. */
+  /**
+   * Every captured package's name → version. Total; O(1) after the first call.
+   *
+   * @remarks
+   * Values are `PackageStateSnapshot.version` verbatim, so a member whose
+   * manifest declared no version maps to the **`""` sentinel** rather than
+   * being absent from the map — presence here answers membership, not
+   * "has a usable version". A caller reading a version out of this map owes
+   * the `""` check itself; {@link WorkspaceStateSnapshot.resolve} already
+   * makes it.
+   */
   get versions(): ReadonlyMap<string, string>;
   /** A single captured package by name, or `Option.none()`. Total. */
   package(name: string): Option.Option<PackageStateSnapshot>;
@@ -3086,7 +3142,7 @@ declare const WorkspaceSnapshots_base: Context.ServiceClass<WorkspaceSnapshots,
  *
  * @public
  */
-declare class WorkspaceSnapshots extends WorkspaceSnapshots_base {
+export declare class WorkspaceSnapshots extends WorkspaceSnapshots_base {
   /** Builds the service over `Git`, {@link WorkspaceRoot}, {@link WorkspaceDiscovery} and {@link WorkspaceCatalogs}. */
   static readonly make: (options?: WorkspaceSnapshotsOptions) => Effect.Effect<WorkspaceSnapshotsShape, never, Git | WorkspaceRoot | WorkspaceDiscovery | WorkspaceCatalogs>;
   /**
@@ -3204,7 +3260,7 @@ type WorkspacesServices = WorkspaceRoot | PackageManagerDetector | WorkspaceDisc
  *
  * @public
  */
-declare class Workspaces {
+export declare class Workspaces {
   private constructor();
   /**
    * Every service that needs only a filesystem: root, package-manager
@@ -3631,6 +3687,61 @@ interface WorkspacesSyncOptions {
   /** The synchronous path implementation (Node: the `node:path` module itself). */
   readonly path: SyncPath;
 }
+/**
+ * Why {@link getWorkspacePackagesSync} left a manifest out of its result — the
+ * `WorkspaceDiscoveryError.kind` values a single manifest read can produce.
+ *
+ * @remarks
+ * The same vocabulary the Effect surface fails with, deliberately: a member the
+ * async `listPackages()` rejects as `missingName` is the member the sync facade
+ * reports as `missingName`. `invalidYaml` is excluded because it describes the
+ * `pnpm-workspace.yaml` read, not a manifest. There is no `missingVersion` —
+ * a version-less manifest is a member on both surfaces.
+ *
+ * The vocabulary is shared; the CHECKS are shared only as far as this list.
+ * Both surfaces perform the same five: the file read (`read`), `JSON.parse`
+ * (`invalidJson`), the parsed value being a non-null non-array object
+ * (`invalidShape`), a non-empty string `name` (`missingName`), and a `version`
+ * that is either absent or a non-empty string (`invalidShape`). Beyond them
+ * they diverge, and one divergence is deliberate: a malformed `publishConfig`
+ * FAILS the async surface, because it reaches the decode, while the sync facade
+ * drops the field and keeps the member. A consumer that must reject such a
+ * manifest has to use the Effect surface.
+ *
+ * @public
+ */
+type WorkspaceDiscoverySkipKind = Exclude<WorkspaceDiscoveryError["kind"], "invalidYaml">;
+/**
+ * One manifest {@link getWorkspacePackagesSync} skipped, reported through
+ * {@link GetWorkspacePackagesSyncOptions.onSkip}.
+ *
+ * @remarks
+ * The sync facade is total, so it cannot fail the way `WorkspaceDiscovery`
+ * does — but a skipped member must still be observable. Before this record
+ * existed the skip was silent, and a hand-written fixture with one unusable
+ * manifest enumerated as a plausible empty array indistinguishable from "no
+ * workspaces configured" (issue #605). The fields mirror
+ * `WorkspaceDiscoveryError`: `root`, `path`, `kind`, and on `cause` either the
+ * caught throwable (`read` / `invalidJson`) or an `Error` carrying the same
+ * sentence the Effect surface fails with (`invalidShape`). Only `missingName`
+ * has `cause: undefined` — the field is simply absent, and nothing threw.
+ *
+ * @public
+ */
+interface WorkspaceDiscoverySkip {
+  /** The workspace root the enumeration ran against. */
+  readonly root: string;
+  /** Absolute path to the `package.json` that was skipped. */
+  readonly path: string;
+  /** Why it was skipped. */
+  readonly kind: WorkspaceDiscoverySkipKind;
+  /**
+   * The thrown value for `read` and `invalidJson`, an `Error` whose message
+   * matches the Effect surface's for `invalidShape`, and `undefined` for
+   * `missingName` alone.
+   */
+  readonly cause: unknown;
+}
 /**
  * The nearest workspace root at or above `cwd`, or `null`.
  *
@@ -3674,7 +3785,7 @@ interface WorkspacesSyncOptions {
  *
  * @public
  */
-declare const findWorkspaceRootSync: (cwd: string, options: WorkspacesSyncOptions) => string | null;
+export declare const findWorkspaceRootSync: (cwd: string, options: WorkspacesSyncOptions) => string | null;
 /**
  * Options for {@link getWorkspacePackagesSync}: the required consumer-supplied
  * operations plus the traversal bound.
@@ -3689,6 +3800,21 @@ interface GetWorkspacePackagesSyncOptions extends WorkspacesSyncOptions {
    * @defaultValue 32
    */
   readonly maxDepth?: number;
+  /**
+   * Called once for every manifest the enumeration found and could not use,
+   * with the file and the reason — so a skipped member is observable even
+   * though this function is total and has no error channel to raise it on.
+   *
+   * @remarks
+   * Omit it and skips are simply not reported, which is the pre-existing
+   * behaviour; nothing is logged in its place. The callback is invoked
+   * synchronously, before the result is returned, in enumeration order —
+   * members first, then the root, which is read last even though it is
+   * returned first. Its
+   * result is discarded, and a throw from it propagates: the facade is total
+   * over *data*, not over caller mistakes, exactly as a bad `maxDepth` is.
+   */
+  readonly onSkip?: ((skip: WorkspaceDiscoverySkip) => void) | undefined;
 }
 /**
  * Every workspace package under `root`, root package first.
@@ -3713,6 +3839,13 @@ interface GetWorkspacePackagesSyncOptions extends WorkspacesSyncOptions {
  * caller mistakes: a `maxDepth` that is not a positive integer throws, matching
  * the enumerator's defect.
  *
+ * **A skip is never silent.** Every manifest left out is reported through
+ * `onSkip` with its path and the same `kind` the Effect surface would have
+ * failed with (a `WorkspaceDiscoverySkip`), so "no packages" and "packages
+ * rejected" stay distinguishable. A manifest with no `version` is NOT skipped:
+ * pnpm accepts a version-less private package, so it is a member with
+ * `version` absent — on both surfaces.
+ *
  * @param root - The workspace root, from {@link findWorkspaceRootSync}.
  * @param options - The consumer-supplied operations and traversal bounds; see
  *   {@link GetWorkspacePackagesSyncOptions}.
@@ -3738,7 +3871,7 @@ interface GetWorkspacePackagesSyncOptions extends WorkspacesSyncOptions {
  *
  * @public
  */
-declare const getWorkspacePackagesSync: (root: string, options: GetWorkspacePackagesSyncOptions) => ReadonlyArray<WorkspacePackage>;
+export declare const getWorkspacePackagesSync: (root: string, options: GetWorkspacePackagesSyncOptions) => ReadonlyArray<WorkspacePackage>;
 //#endregion
-export { type CatalogAssemblyFailure, CatalogSet, ChangeDetectionError, type ChangeDetectionFailure, ChangeDetectionOptions, ChangeDetector, type ChangeDetectorShape, type ClassifyOptions, ConfigDependencyHooks, type ConfigDependencyHooksShape, CyclicDependencyError, type DependencyDiff, DependencyGraph, DetectedPackageManager, type FindWorkspaceRootOptions, type GetWorkspacePackagesSyncOptions, type HookInjection, type ImporterVersions, LockfileReadError, type LockfileReadFailure, LockfileReader, type LockfileReaderOptions, type LockfileReaderShape, NoPeerDependencyRules, PackageManagerDetectionError, type PackageManagerDetectionFailure, PackageManagerDetector, type PackageManagerDetectorShape, PackageManagerEvidence, PackageManagerName, PackageNotFoundError, type PackageRelease, PackageStateSnapshot, PeerCheck, type PeerCheckOptions, type PeerDependencyRules, PeerParent, PublishConfig, PublishTarget, PublishabilityDetector, type PublishabilityDetectorShape, ReleaseTag, type SyncDirectoryEntry, type SyncFileSystem, type SyncPath, type TagClassification, type TagFormatOptions, TagStyle, TrackingTag, type TrackingTagOptions, UnsatisfiedPeer, type UnverifiedReason, type VersioningDetectOptions, VersioningStrategy, VersioningStrategyType, WORKSPACE_MARKERS, WorkspaceCatalogs, type WorkspaceCatalogsOptions, type WorkspaceCatalogsShape, WorkspaceDiscovery, WorkspaceDiscoveryError, type WorkspaceDiscoveryFailure, type WorkspaceDiscoveryOptions, type WorkspaceDiscoveryShape, WorkspaceInfo, type WorkspaceLookupFailure, WorkspaceManifestError, WorkspacePackage, WorkspacePatternError, WorkspaceRoot, WorkspaceRootNotFoundError, type WorkspaceRootShape, type WorkspaceSnapshotAtFailure, type WorkspaceSnapshotWorktreeFailure, WorkspaceSnapshots, type WorkspaceSnapshotsOptions, type WorkspaceSnapshotsShape, WorkspaceStateSnapshot, Workspaces, type WorkspacesGitOptions, type WorkspacesOptions, type WorkspacesServices, type WorkspacesSyncOptions, classifyTag, findWorkspaceRootSync, getWorkspacePackagesSync };
+export type { CatalogAssemblyFailure, ChangeDetectionFailure, ChangeDetectorShape, ClassifyOptions, ConfigDependencyHooksShape, DependencyDiff, FindWorkspaceRootOptions, GetWorkspacePackagesSyncOptions, HookInjection, ImporterVersions, LockfileReadFailure, LockfileReaderOptions, LockfileReaderShape, PackageManagerDetectionFailure, PackageManagerDetectorShape, PackageRelease, PeerCheckOptions, PeerDependencyRules, PublishabilityDetectorShape, SyncDirectoryEntry, SyncFileSystem, SyncPath, TagClassification, TagFormatOptions, TrackingTagOptions, UnverifiedReason, VersioningDetectOptions, WorkspaceCatalogsOptions, WorkspaceCatalogsShape, WorkspaceDiscoveryFailure, WorkspaceDiscoveryOptions, WorkspaceDiscoveryShape, WorkspaceDiscoverySkip, WorkspaceDiscoverySkipKind, WorkspaceLookupFailure, WorkspaceRootShape, WorkspaceSnapshotAtFailure, WorkspaceSnapshotWorktreeFailure, WorkspaceSnapshotsOptions, WorkspaceSnapshotsShape, WorkspacesGitOptions, WorkspacesOptions, WorkspacesServices, WorkspacesSyncOptions };
 //# sourceMappingURL=index.d.ts.map

package/node-sync.d.ts

@@ -1,7 +1,8 @@
+import "@effected/npm";
+import "effect";
 import "@effected/glob";
 import "@effected/lockfiles";
 import "@effected/package-json";
-import "effect";
 //#region src/WorkspacesSync.d.ts
 /**
  * The synchronous file operations the sync entry points need, supplied by the
@@ -141,7 +142,7 @@ interface WorkspacesSyncOptions {
  *
  * @public
  */
-declare const nodeFileSystem: SyncFileSystem;
+export declare const nodeFileSystem: SyncFileSystem;
 /**
  * `SyncPath` as the running platform's `node:path` — win32 semantics on
  * Windows, posix elsewhere. Pass `node:path/win32` or `node:path/posix`
@@ -149,7 +150,7 @@ declare const nodeFileSystem: SyncFileSystem;
  *
  * @public
  */
-declare const nodePath: SyncPath;
+export declare const nodePath: SyncPath;
 /**
  * The complete Node-bound options bag for `findWorkspaceRootSync` and
  * `getWorkspacePackagesSync` — {@link nodeFileSystem} plus {@link nodePath}.
@@ -159,7 +160,7 @@ declare const nodePath: SyncPath;
  *
  * @public
  */
-declare const nodeSyncOps: WorkspacesSyncOptions;
+export declare const nodeSyncOps: WorkspacesSyncOptions;
 //#endregion
-export { type SyncDirectoryEntry, type SyncFileSystem, type SyncPath, type WorkspacesSyncOptions, nodeFileSystem, nodePath, nodeSyncOps };
+export type { SyncDirectoryEntry, SyncFileSystem, SyncPath, WorkspacesSyncOptions };
 //# sourceMappingURL=node-sync.d.ts.map

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@effected/workspaces",
-	"version": "0.18.3",
+	"version": "0.20.0",
 	"private": false,
 	"description": "Monorepo workspace tooling as Effect services — root discovery, package enumeration, the dependency graph, package-manager detection, pnpm catalog resolution, lockfile IO and git-based change detection.",
 	"keywords": [
@@ -46,22 +46,22 @@
 		"./package.json": "./package.json"
 	},
 	"dependencies": {
-		"@effected/commands": "^0.5.0",
-		"@effected/git": "^0.10.0",
-		"@effected/glob": "^0.4.0",
-		"@effected/lockfiles": "^0.7.1",
-		"@effected/npm": "^0.12.1",
-		"@effected/package-json": "^0.13.0",
-		"@effected/semver": "^0.5.0",
-		"@effected/walker": "^0.5.0",
-		"@effected/yaml": "^0.12.0",
+		"@effected/commands": "^0.6.0",
+		"@effected/git": "^0.11.0",
+		"@effected/glob": "^0.5.0",
+		"@effected/lockfiles": "^0.8.0",
+		"@effected/npm": "^0.13.0",
+		"@effected/package-json": "^0.14.0",
+		"@effected/semver": "^0.6.0",
+		"@effected/walker": "^0.6.0",
+		"@effected/yaml": "^0.13.0",
 		"@pnpm/catalogs.config": "^1100.0.5",
 		"@pnpm/catalogs.protocol-parser": "^1100.0.0",
 		"@pnpm/catalogs.resolver": "^1100.0.0",
 		"@pnpm/catalogs.types": "^1100.0.0"
 	},
 	"peerDependencies": {
-		"effect": "4.0.0-rc.109"
+		"effect": "4.0.0-rc.112"
 	},
 	"engines": {
 		"node": ">=24.11.0"