@savvy-web/silk-effects 1.6.0 → 2.0.0

package/changesets/errors.js

@@ -300,6 +300,49 @@ var GitError = class extends GitErrorBase {
 	}
 };
 /**
+* Base class for {@link ChangesetIOError}.
+*
+* @privateRemarks
+* Effect's `Data.TaggedError` creates an anonymous base class that
+* api-extractor cannot follow without an explicit export.
+*
+* @internal
+*/
+const ChangesetIOErrorBase = Data.TaggedError("ChangesetIOError");
+/**
+* Changeset file I/O failure.
+*
+* @remarks
+* Raised by {@link DepsRegen} when reading, writing, listing, or deleting
+* `.changeset/*.md` files fails. Deletion failures during
+* {@link DepsRegenShape.execute} are tolerated (stale changesets are
+* skip-and-continue, so an interrupted run stays safely re-runnable);
+* read, list, and write failures are loud.
+*
+* @example
+* ```typescript
+* import { Effect } from "effect";
+* import { ChangesetIOError } from "@savvy-web/changesets";
+*
+* declare const program: Effect.Effect<void, ChangesetIOError>;
+*
+* const handled = program.pipe(
+*   Effect.catchTag("ChangesetIOError", (err) =>
+*     Effect.logError(`changeset ${err.operation} failed at ${err.path}: ${err.reason}`)
+*   ),
+* );
+* ```
+*
+* @see {@link DepsRegen} which produces these errors during plan/execute
+*
+* @public
+*/
+var ChangesetIOError = class extends ChangesetIOErrorBase {
+	get message() {
+		return `changeset ${this.operation} failed at ${this.path}: ${this.reason}`;
+	}
+};
+/**
 * Base class for {@link ReleasePlanError}.
 *
 * @privateRemarks
@@ -325,4 +368,4 @@ var ReleasePlanError = class extends ReleasePlanErrorBase {
 };
 
 //#endregion
-export { ChangesetValidationError, ChangesetValidationErrorBase, ConfigurationError, ConfigurationErrorBase, GitError, GitErrorBase, GitHubApiError, GitHubApiErrorBase, MarkdownParseError, MarkdownParseErrorBase, ReleasePlanError, ReleasePlanErrorBase, VersionFileError, VersionFileErrorBase };
+export { ChangesetIOError, ChangesetIOErrorBase, ChangesetValidationError, ChangesetValidationErrorBase, ConfigurationError, ConfigurationErrorBase, GitError, GitErrorBase, GitHubApiError, GitHubApiErrorBase, MarkdownParseError, MarkdownParseErrorBase, ReleasePlanError, ReleasePlanErrorBase, VersionFileError, VersionFileErrorBase };

package/changesets/index.js

@@ -1,6 +1,6 @@
 import { __exportAll } from "../_virtual/_rolldown/runtime.js";
 import { Categories } from "./api/categories.js";
-import { ChangesetValidationError, ChangesetValidationErrorBase, ConfigurationError, ConfigurationErrorBase, GitError, GitErrorBase, GitHubApiError, GitHubApiErrorBase, MarkdownParseError, MarkdownParseErrorBase, ReleasePlanError, ReleasePlanErrorBase, VersionFileError, VersionFileErrorBase } from "./errors.js";
+import { ChangesetIOError, ChangesetIOErrorBase, ChangesetValidationError, ChangesetValidationErrorBase, ConfigurationError, ConfigurationErrorBase, GitError, GitErrorBase, GitHubApiError, GitHubApiErrorBase, MarkdownParseError, MarkdownParseErrorBase, ReleasePlanError, ReleasePlanErrorBase, VersionFileError, VersionFileErrorBase } from "./errors.js";
 import { JsonPathSchema, LegacyVersionFileConfigSchema, LegacyVersionFilesSchema, VersionFileConfigSchema, VersionFilesSchema } from "./schemas/version-files.js";
 import { GlobSchema, PackageScopeSchema, PackagesRecordSchema } from "./schemas/package-scope.js";
 import { ChangesetOptionsSchema, RepoSchema } from "./schemas/options.js";
@@ -30,10 +30,9 @@ import { ClassificationReasonSchema, ClassificationSchema, ConfigInspector, Conf
 import { BranchAnalysisSchema, BranchAnalyzer, BranchAnalyzerBase, BranchAnalyzerLive, BranchFileEntrySchema, FileStatusSchema, makeBranchAnalyzerTest } from "./services/branch-analyzer.js";
 import { ChangelogService, ChangelogServiceBase } from "./services/changelog.js";
 import { computeWorkspaceDependencyDiffs } from "./utils/dep-diff.js";
+import { gitMergeBase } from "./utils/git.js";
 import { listPublishablePackageNames } from "./utils/publishability.js";
-import { gitMergeBase, snapshotFromWorktree } from "./utils/worktree-snapshot.js";
-import { WorkspaceSnapshotReader, WorkspaceSnapshotReaderBase, WorkspaceSnapshotReaderLive } from "./services/workspace-snapshot.js";
-import { DepsRegen, DepsRegenBase, DepsRegenLive, isPureDependencyChangeset, resolveDiffRows } from "./services/deps-regen.js";
+import { DepsRegen, DepsRegenBase, DepsRegenDefault, DepsRegenLive, isPureDependencyChangeset } from "./services/deps-regen.js";
 import { VersionFiles } from "./utils/version-files.js";
 import { ReleasePlanner, ReleasePlannerBase, ReleasePlannerLive, makeReleasePlannerTest } from "./services/release-planner.js";
 import { SectionCategorySchema } from "./categories/types.js";
@@ -65,6 +64,8 @@ var changesets_exports = /* @__PURE__ */ __exportAll({
 	ChangelogService: () => ChangelogService,
 	ChangelogServiceBase: () => ChangelogServiceBase,
 	ChangelogTransformer: () => ChangelogTransformer,
+	ChangesetIOError: () => ChangesetIOError,
+	ChangesetIOErrorBase: () => ChangesetIOErrorBase,
 	ChangesetLinter: () => ChangesetLinter,
 	ChangesetOptionsSchema: () => ChangesetOptionsSchema,
 	ChangesetPreviewSchema: () => ChangesetPreviewSchema,
@@ -93,6 +94,7 @@ var changesets_exports = /* @__PURE__ */ __exportAll({
 	DependencyUpdateSchema: () => DependencyUpdateSchema,
 	DepsRegen: () => DepsRegen,
 	DepsRegenBase: () => DepsRegenBase,
+	DepsRegenDefault: () => DepsRegenDefault,
 	DepsRegenLive: () => DepsRegenLive,
 	FileStatusSchema: () => FileStatusSchema,
 	GitError: () => GitError,
@@ -155,9 +157,6 @@ var changesets_exports = /* @__PURE__ */ __exportAll({
 	VersionFilesSchema: () => VersionFilesSchema,
 	VersionOrEmptySchema: () => VersionOrEmptySchema,
 	VersionTypeSchema: () => VersionTypeSchema,
-	WorkspaceSnapshotReader: () => WorkspaceSnapshotReader,
-	WorkspaceSnapshotReaderBase: () => WorkspaceSnapshotReaderBase,
-	WorkspaceSnapshotReaderLive: () => WorkspaceSnapshotReaderLive,
 	changelogFunctions: () => changelogFunctions,
 	computeWorkspaceDependencyDiffs: () => computeWorkspaceDependencyDiffs,
 	gitMergeBase: () => gitMergeBase,
@@ -167,10 +166,8 @@ var changesets_exports = /* @__PURE__ */ __exportAll({
 	makeConfigInspectorTest: () => makeConfigInspectorTest,
 	makeGitHubTest: () => makeGitHubTest,
 	makeReleasePlannerTest: () => makeReleasePlannerTest,
-	resolveDiffRows: () => resolveDiffRows,
-	serializeDependencyTableToMarkdown: () => serializeDependencyTableToMarkdown,
-	snapshotFromWorktree: () => snapshotFromWorktree
+	serializeDependencyTableToMarkdown: () => serializeDependencyTableToMarkdown
 });
 
 //#endregion
-export { AggregateDependencyTablesPlugin, AppliedReleaseEntrySchema, AppliedReleaseSchema, BranchAnalysisSchema, BranchAnalyzer, BranchAnalyzerBase, BranchAnalyzerLive, BranchFileEntrySchema, BumpTypeSchema, Categories, Changelog, ChangelogService, ChangelogServiceBase, ChangelogTransformer, ChangesetLinter, ChangesetOptionsSchema, ChangesetPreviewSchema, ChangesetSchema, ChangesetSummarySchema, ChangesetValidationError, ChangesetValidationErrorBase, ClassificationReasonSchema, ClassificationSchema, CommitHashSchema, ConfigInspector, ConfigInspectorBase, ConfigInspectorLive, ConfigurationError, ConfigurationErrorBase, ContentStructureRule, ContributorFootnotesPlugin, DeduplicateItemsPlugin, DependencyActionSchema, DependencyTable, DependencyTableFormatRule, DependencyTableRowSchema, DependencyTableSchema, DependencyTableTypeSchema, DependencyTypeSchema, DependencyUpdateSchema, DepsRegen, DepsRegenBase, DepsRegenLive, FileStatusSchema, GitError, GitErrorBase, GitHubApiError, GitHubApiErrorBase, GitHubInfoSchema, GitHubLive, GitHubService, GitHubServiceBase, GlobSchema, HeadingHierarchyRule, InspectedConfigSchema, IssueLinkRefsPlugin, IssueNumberSchema, JsonPathSchema, LegacyVersionFileConfigSchema, LegacyVersionFilesSchema, MarkdownLive, MarkdownParseError, MarkdownParseErrorBase, MarkdownService, MarkdownServiceBase, ContentStructureRule$1 as MarkdownlintContentStructureRule, DependencyTableFormatRule$1 as MarkdownlintDependencyTableFormatRule, HeadingHierarchyRule$1 as MarkdownlintHeadingHierarchyRule, RequiredSectionsRule$1 as MarkdownlintRequiredSectionsRule, UncategorizedContentRule$1 as MarkdownlintUncategorizedContentRule, MergeSectionsPlugin, NonEmptyString, NormalizeFormatPlugin, PackageScopeSchema, PackagesRecordSchema, PendingChangesetSchema, PositiveInteger, PreviewReleaseSchema, ReleasePlanError, ReleasePlanErrorBase, ReleasePlanner, ReleasePlannerBase, ReleasePlannerLive, ReorderSectionsPlugin, RepoSchema, RequiredSectionsRule, ResolvedPackageScopeSchema, ResolvedVersionFileSchema, SectionCategorySchema, SilkChangesetPreset, SilkChangesetTransformPreset, SilkChangesetsRules, UncategorizedContentRule, UrlOrMarkdownLinkSchema, UsernameSchema, VERSION_RE, VersionFileConfigSchema, VersionFileError, VersionFileErrorBase, VersionFileUpdateRecordSchema, VersionFiles, VersionFilesSchema, VersionOrEmptySchema, VersionTypeSchema, WorkspaceSnapshotReader, WorkspaceSnapshotReaderBase, WorkspaceSnapshotReaderLive, changelogFunctions, changesets_exports, computeWorkspaceDependencyDiffs, gitMergeBase, isPureDependencyChangeset, listPublishablePackageNames, makeBranchAnalyzerTest, makeConfigInspectorTest, makeGitHubTest, makeReleasePlannerTest, resolveDiffRows, serializeDependencyTableToMarkdown, snapshotFromWorktree };
+export { AggregateDependencyTablesPlugin, AppliedReleaseEntrySchema, AppliedReleaseSchema, BranchAnalysisSchema, BranchAnalyzer, BranchAnalyzerBase, BranchAnalyzerLive, BranchFileEntrySchema, BumpTypeSchema, Categories, Changelog, ChangelogService, ChangelogServiceBase, ChangelogTransformer, ChangesetIOError, ChangesetIOErrorBase, ChangesetLinter, ChangesetOptionsSchema, ChangesetPreviewSchema, ChangesetSchema, ChangesetSummarySchema, ChangesetValidationError, ChangesetValidationErrorBase, ClassificationReasonSchema, ClassificationSchema, CommitHashSchema, ConfigInspector, ConfigInspectorBase, ConfigInspectorLive, ConfigurationError, ConfigurationErrorBase, ContentStructureRule, ContributorFootnotesPlugin, DeduplicateItemsPlugin, DependencyActionSchema, DependencyTable, DependencyTableFormatRule, DependencyTableRowSchema, DependencyTableSchema, DependencyTableTypeSchema, DependencyTypeSchema, DependencyUpdateSchema, DepsRegen, DepsRegenBase, DepsRegenDefault, DepsRegenLive, FileStatusSchema, GitError, GitErrorBase, GitHubApiError, GitHubApiErrorBase, GitHubInfoSchema, GitHubLive, GitHubService, GitHubServiceBase, GlobSchema, HeadingHierarchyRule, InspectedConfigSchema, IssueLinkRefsPlugin, IssueNumberSchema, JsonPathSchema, LegacyVersionFileConfigSchema, LegacyVersionFilesSchema, MarkdownLive, MarkdownParseError, MarkdownParseErrorBase, MarkdownService, MarkdownServiceBase, ContentStructureRule$1 as MarkdownlintContentStructureRule, DependencyTableFormatRule$1 as MarkdownlintDependencyTableFormatRule, HeadingHierarchyRule$1 as MarkdownlintHeadingHierarchyRule, RequiredSectionsRule$1 as MarkdownlintRequiredSectionsRule, UncategorizedContentRule$1 as MarkdownlintUncategorizedContentRule, MergeSectionsPlugin, NonEmptyString, NormalizeFormatPlugin, PackageScopeSchema, PackagesRecordSchema, PendingChangesetSchema, PositiveInteger, PreviewReleaseSchema, ReleasePlanError, ReleasePlanErrorBase, ReleasePlanner, ReleasePlannerBase, ReleasePlannerLive, ReorderSectionsPlugin, RepoSchema, RequiredSectionsRule, ResolvedPackageScopeSchema, ResolvedVersionFileSchema, SectionCategorySchema, SilkChangesetPreset, SilkChangesetTransformPreset, SilkChangesetsRules, UncategorizedContentRule, UrlOrMarkdownLinkSchema, UsernameSchema, VERSION_RE, VersionFileConfigSchema, VersionFileError, VersionFileErrorBase, VersionFileUpdateRecordSchema, VersionFiles, VersionFilesSchema, VersionOrEmptySchema, VersionTypeSchema, changelogFunctions, changesets_exports, computeWorkspaceDependencyDiffs, gitMergeBase, isPureDependencyChangeset, listPublishablePackageNames, makeBranchAnalyzerTest, makeConfigInspectorTest, makeGitHubTest, makeReleasePlannerTest, serializeDependencyTableToMarkdown };

package/changesets/services/deps-regen.js

@@ -1,13 +1,16 @@
+import { ChangesetIOError } from "../errors.js";
 import { serializeDependencyTableToMarkdown, sortDependencyRows } from "../utils/dependency-table.js";
-import { ConfigInspector } from "./config-inspector.js";
+import { ChangesetConfigReaderLive } from "../../services/ChangesetConfigReader.js";
+import { ChangesetConfig, ChangesetConfigLive } from "../../services/ChangesetConfig.js";
+import { PublishabilityDetectorAdaptiveLive } from "../../services/SilkPublishability.js";
+import { ConfigInspector, ConfigInspectorLive } from "./config-inspector.js";
 import { computeWorkspaceDependencyDiffs } from "../utils/dep-diff.js";
+import { gitMergeBase } from "../utils/git.js";
 import { listPublishablePackageNames } from "../utils/publishability.js";
-import { gitMergeBase, snapshotFromWorktree } from "../utils/worktree-snapshot.js";
-import { WorkspaceSnapshotReader } from "./workspace-snapshot.js";
 import { Context, Effect, Layer, Option } from "effect";
-import { existsSync, readFileSync, readdirSync, unlinkSync, writeFileSync } from "node:fs";
 import { join, resolve } from "node:path";
-import { CatalogResolver, PublishabilityDetector, WorkspaceDiscovery } from "workspaces-effect";
+import { FileSystem } from "@effect/platform";
+import { PointInTimeWorkspace, PointInTimeWorkspaceLive, PublishabilityDetector, WorkspaceDiscovery, WorkspaceDiscoveryLive, WorkspaceRootLive } from "workspaces-effect";
 
 //#region src/changesets/services/deps-regen.ts
 /**
@@ -17,9 +20,11 @@ import { CatalogResolver, PublishabilityDetector, WorkspaceDiscovery } from "wor
 *
 * @remarks
 * `plan()` computes the cumulative dependency diff (merge-base → working
-* tree by default, or between two explicit refs), resolves `catalog:` /
-* `workspace:` specifiers to concrete versions, drops `devDependency`
-* rows (unless `includeDevDeps`), and returns a complete {@link RegenPlan}
+* tree by default, or between two explicit refs) by snapshotting both
+* sides through `PointInTimeWorkspace`, which resolves `catalog:` /
+* `workspace:` specifiers against each ref's own catalogs and package
+* versions before diffing. It drops `devDependency` rows (unless
+* `includeDevDeps`), and returns a complete {@link RegenPlan}
 * (target filenames + stale-changeset deletes) WITHOUT touching the
 * filesystem. `execute()` applies a plan — writing the fresh changesets
 * first, then deleting the stale pure-dependency ones (so an interrupted
@@ -32,41 +37,6 @@ import { CatalogResolver, PublishabilityDetector, WorkspaceDiscovery } from "wor
 * @see {@link DepsRegenLive} for the production layer
 *
 */
-/** The em-dash sentinel (U+2014) used for added ("from") / removed ("to") cells. */
-const EM_DASH = "—";
-/** Whether a From/To cell holds a pnpm protocol specifier that could resolve to a version. */
-const isProtocol = (v) => /^(?:catalog|workspace|npm|jsr|file|link|portal):/.test(v);
-/**
-* Resolve protocol From/To cells to concrete versions (raw-string fallback
-* when unresolved or on resolver error), leave em-dash sentinels untouched,
-* then optionally drop `devDependency` rows, and re-sort.
-*
-* @param diff - One workspace package's dependency-table rows.
-* @param keepDevDeps - When `true`, retain `devDependency` rows; otherwise
-*   drop them unconditionally (the regen default).
-* @returns An Effect yielding the transformed {@link WorkspaceDependencyDiff}.
-*
-* @public
-*/
-const resolveDiffRows = (diff, keepDevDeps = false) => Effect.gen(function* () {
-	const resolver = yield* CatalogResolver;
-	const resolveCell = (dep, value) => isProtocol(value) ? resolver.resolveSpecifier(dep, value).pipe(Effect.map((opt) => Option.getOrElse(opt, () => value)), Effect.catchAll((error) => Effect.logWarning(`DepsRegen: catalog resolution failed for "${dep}" (${value}); keeping raw specifier: ${String(error)}`).pipe(Effect.as(value)))) : Effect.succeed(value);
-	const rows = [];
-	for (const row of diff.rows) {
-		if (!keepDevDeps && row.type === "devDependency") continue;
-		const from = row.from === EM_DASH ? EM_DASH : yield* resolveCell(row.dependency, row.from);
-		const to = row.to === EM_DASH ? EM_DASH : yield* resolveCell(row.dependency, row.to);
-		rows.push({
-			...row,
-			from,
-			to
-		});
-	}
-	return {
-		...diff,
-		rows: sortDependencyRows(rows)
-	};
-});
 const ADJECTIVES = [
 	"brave",
 	"clever",
@@ -110,30 +80,35 @@ function pickRandomTriplet() {
 * Pick a `<adjective>-<noun>-<verb>` filename slug that does not collide
 * with an existing `.changeset/*.md` OR with a slug already claimed
 * earlier in the same {@link RegenPlan.toWrite} computation. `plan()`
-* never writes to disk, so `existsSync` alone cannot see slugs chosen
-* moments earlier in the same call — the `chosen` set closes that gap.
-* The triplet space is 1,000 combinations, so a busy repo can plausibly
-* exhaust it across runs; fall back to a timestamp suffix after 20
-* unlucky picks.
+* never writes to disk, so an on-disk existence check alone cannot see
+* slugs chosen moments earlier in the same call — the `chosen` set closes
+* that gap. The triplet space is 1,000 combinations, so a busy repo can
+* plausibly exhaust it across runs; fall back to a timestamp suffix after
+* 20 unlucky picks.
 *
-* @param changesetDir - Directory checked via `existsSync` for on-disk collisions.
+* @param fileExists - Effectful on-disk existence check (never fails; a
+*   filesystem error is treated as "does not exist" so filename selection
+*   degrades gracefully rather than blocking the plan).
+* @param changesetDir - Directory checked for on-disk collisions.
 * @param chosen - Basenames (without extension) already picked within this plan;
 *   the picked candidate is added to this set before returning.
 * @internal
 */
-function randomFilename(changesetDir, chosen) {
-	for (let i = 0; i < 20; i++) {
-		const candidate = pickRandomTriplet();
-		if (!chosen.has(candidate) && !existsSync(join(changesetDir, `${candidate}.md`))) {
-			chosen.add(candidate);
-			return candidate;
+function randomFilename(fileExists, changesetDir, chosen) {
+	return Effect.gen(function* () {
+		for (let i = 0; i < 20; i++) {
+			const candidate = pickRandomTriplet();
+			if (!chosen.has(candidate) && !(yield* fileExists(join(changesetDir, `${candidate}.md`)))) {
+				chosen.add(candidate);
+				return candidate;
+			}
 		}
-	}
-	let attempt = 0;
-	let fallback = `${pickRandomTriplet()}-${Date.now()}`;
-	while (chosen.has(fallback) || existsSync(join(changesetDir, `${fallback}.md`))) fallback = `${pickRandomTriplet()}-${Date.now()}-${++attempt}`;
-	chosen.add(fallback);
-	return fallback;
+		let attempt = 0;
+		let fallback = `${pickRandomTriplet()}-${Date.now()}`;
+		while (chosen.has(fallback) || (yield* fileExists(join(changesetDir, `${fallback}.md`)))) fallback = `${pickRandomTriplet()}-${Date.now()}-${++attempt}`;
+		chosen.add(fallback);
+		return fallback;
+	});
 }
 /**
 * Strict detection of "pure dependency changesets" per the documented
@@ -184,43 +159,59 @@ function isPureDependencyChangeset(content) {
 		package: pkg
 	};
 }
-function listChangesetFiles(changesetDir) {
-	if (!existsSync(changesetDir)) return [];
-	return readdirSync(changesetDir).filter((f) => f.endsWith(".md") && f !== "README.md").map((f) => join(changesetDir, f));
-}
-function findPureDependencyChangesets(changesetDir) {
+/**
+* List `.changeset/*.md` files (excluding `README.md`) in `changesetDir`.
+* A missing directory is today's behavior for "no changesets yet" and
+* resolves to an empty list; any OTHER failure (e.g. a directory that
+* exists but cannot be read) is a loud {@link ChangesetIOError} — an
+* unreadable `.changeset` dir must not silently masquerade as "no
+* changesets".
+*/
+const listChangesetFiles = (fs, changesetDir) => fs.readDirectory(changesetDir).pipe(Effect.map((names) => names.filter((f) => f.endsWith(".md") && f !== "README.md").map((f) => join(changesetDir, f))), Effect.catchAll((e) => e._tag === "SystemError" && e.reason === "NotFound" ? Effect.succeed([]) : Effect.fail(new ChangesetIOError({
+	path: changesetDir,
+	operation: "list",
+	reason: String(e)
+}))));
+/**
+* Pure-dependency changesets found in `changesetDir`. An individual file
+* that cannot be read (e.g. removed mid-scan, permission race) is skipped —
+* today's semantics — while a failure to list the directory itself
+* propagates as a loud {@link ChangesetIOError}.
+*/
+const findPureDependencyChangesets = (fs, changesetDir) => Effect.gen(function* () {
+	const files = yield* listChangesetFiles(fs, changesetDir);
 	const result = [];
-	for (const file of listChangesetFiles(changesetDir)) {
-		let content;
-		try {
-			content = readFileSync(file, "utf8");
-		} catch {
-			continue;
-		}
-		const detection = isPureDependencyChangeset(content);
+	for (const file of files) {
+		const content = yield* fs.readFileString(file).pipe(Effect.option);
+		if (Option.isNone(content)) continue;
+		const detection = isPureDependencyChangeset(content.value);
 		if (detection.isPure && detection.package) result.push({
 			file,
 			package: detection.package
 		});
 	}
 	return result;
-}
-function findMixedDependencyChangesets(changesetDir) {
+});
+/**
+* Mixed dependency changesets (have a `## Dependencies` heading but fail
+* the strict pure-changeset test) found in `changesetDir`. Same
+* skip-unreadable-file / loud-list-failure semantics as
+* {@link findPureDependencyChangesets}.
+*/
+const findMixedDependencyChangesets = (fs, changesetDir) => Effect.gen(function* () {
+	const files = yield* listChangesetFiles(fs, changesetDir);
 	const result = [];
-	for (const file of listChangesetFiles(changesetDir)) {
-		let content;
-		try {
-			content = readFileSync(file, "utf8");
-		} catch {
-			continue;
-		}
-		if (/^## Dependencies\b/m.test(content) && !isPureDependencyChangeset(content).isPure) result.push(file);
+	for (const file of files) {
+		const content = yield* fs.readFileString(file).pipe(Effect.option);
+		if (Option.isNone(content)) continue;
+		if (/^## Dependencies\b/m.test(content.value) && !isPureDependencyChangeset(content.value).isPure) result.push(file);
 	}
 	return result;
-}
+});
 /**
-* Render a single-package, patch-bump changeset for a diff whose rows have
-* already been resolved/filtered by {@link resolveDiffRows}.
+* Render a single-package, patch-bump changeset for a diff whose rows are
+* already resolved (per-side, inside {@link computeWorkspaceDependencyDiffs})
+* and devDep-filtered.
 */
 function renderChangesetContent(diff) {
 	return `${`---\n"${diff.package}": patch\n---`}\n\n## Dependencies\n\n${serializeDependencyTableToMarkdown([...diff.rows])}\n`;
@@ -253,9 +244,9 @@ var DepsRegen = class extends DepsRegenBase {};
 * implementations, keeping the public `plan`/`execute` signatures
 * requirement-free (`R = never`).
 */
-function makeShape(reader, inspector, discovery, resolver, detector) {
-	const provideResolver = Layer.succeed(CatalogResolver, resolver);
+function makeShape(pit, inspector, discovery, detector, config, fs) {
 	const provideDetector = Layer.succeed(PublishabilityDetector, detector);
+	const fileExists = (p) => fs.exists(p).pipe(Effect.orElseSucceed(() => false));
 	const plan = (options) => Effect.gen(function* () {
 		const resolvedCwd = resolve(options.cwd);
 		const changesetDir = join(resolvedCwd, ".changeset");
@@ -265,41 +256,58 @@ function makeShape(reader, inspector, discovery, resolver, detector) {
 			if (!baseBranch) baseBranch = (yield* inspector.inspect(resolvedCwd).pipe(Effect.catchTag("ConfigurationError", () => Effect.succeed({ baseBranch: "main" })))).baseBranch;
 			fromRef = yield* gitMergeBase(resolvedCwd, baseBranch);
 		}
-		const rawDiffs = computeWorkspaceDependencyDiffs(yield* reader.snapshotAt(resolvedCwd, fromRef), options.to ? yield* reader.snapshotAt(resolvedCwd, options.to) : snapshotFromWorktree(resolvedCwd));
+		const rawDiffs = computeWorkspaceDependencyDiffs(yield* pit.at(fromRef, { cwd: resolvedCwd }), options.to ? yield* pit.at(options.to, { cwd: resolvedCwd }) : yield* pit.worktree({ cwd: resolvedCwd }));
 		const targetPkg = options.package;
-		const publishable = yield* listPublishablePackageNames(yield* discovery.listPackages(resolvedCwd)).pipe(Effect.provide(provideDetector));
+		const livePackages = yield* discovery.listPackages(resolvedCwd);
+		const publishable = yield* listPublishablePackageNames(livePackages, resolvedCwd).pipe(Effect.provide(provideDetector));
+		const versionPrivate = yield* config.versionPrivate(resolvedCwd);
+		const inScope = /* @__PURE__ */ new Set();
+		for (const pkg of livePackages) {
+			if (yield* config.isIgnored(pkg.name, resolvedCwd)) continue;
+			if (publishable.has(pkg.name) || versionPrivate) inScope.add(pkg.name);
+		}
+		const targetIgnored = targetPkg ? yield* config.isIgnored(targetPkg, resolvedCwd) : false;
 		const keepDevDeps = options.includeDevDeps === true;
-		const scoped = targetPkg ? rawDiffs.filter((d) => d.package === targetPkg) : rawDiffs.filter((d) => publishable.has(d.package));
+		const scoped = targetPkg ? targetIgnored ? [] : rawDiffs.filter((d) => d.package === targetPkg) : rawDiffs.filter((d) => inScope.has(d.package));
 		const resolved = [];
 		for (const diff of scoped) {
-			const next = yield* resolveDiffRows(diff, keepDevDeps).pipe(Effect.provide(provideResolver));
-			if (next.rows.length > 0) resolved.push(next);
+			const rows = keepDevDeps ? [...diff.rows] : diff.rows.filter((r) => r.type !== "devDependency");
+			if (rows.length > 0) resolved.push({
+				...diff,
+				rows: sortDependencyRows(rows)
+			});
 		}
-		const existingPure = findPureDependencyChangesets(changesetDir);
-		const skippedMixed = findMixedDependencyChangesets(changesetDir);
-		const toDelete = targetPkg ? existingPure.filter((p) => p.package === targetPkg) : existingPure.filter((p) => publishable.has(p.package));
+		const existingPure = yield* findPureDependencyChangesets(fs, changesetDir);
+		const skippedMixed = yield* findMixedDependencyChangesets(fs, changesetDir);
+		const toDelete = targetPkg ? targetIgnored ? [] : existingPure.filter((p) => p.package === targetPkg) : existingPure.filter((p) => inScope.has(p.package));
 		const chosenFilenames = /* @__PURE__ */ new Set();
-		return {
-			toDelete,
-			toWrite: resolved.map((diff) => ({
-				file: join(changesetDir, `${randomFilename(changesetDir, chosenFilenames)}.md`),
+		const toWrite = [];
+		for (const diff of resolved) {
+			const filename = yield* randomFilename(fileExists, changesetDir, chosenFilenames);
+			toWrite.push({
+				file: join(changesetDir, `${filename}.md`),
 				package: diff.package,
 				diff
-			})),
+			});
+		}
+		return {
+			toDelete,
+			toWrite,
 			skippedMixed
 		};
 	});
-	const execute = (plan) => Effect.sync(() => {
+	const execute = (plan) => Effect.gen(function* () {
 		const deleted = [];
 		const written = [];
 		for (const entry of plan.toWrite) {
-			writeFileSync(entry.file, renderChangesetContent(entry.diff));
+			yield* fs.writeFileString(entry.file, renderChangesetContent(entry.diff)).pipe(Effect.mapError((e) => new ChangesetIOError({
+				path: entry.file,
+				operation: "write",
+				reason: String(e)
+			})));
 			written.push(entry.file);
 		}
-		for (const entry of plan.toDelete) try {
-			unlinkSync(entry.file);
-			deleted.push(entry.file);
-		} catch {}
+		for (const entry of plan.toDelete) if (yield* Effect.isSuccess(fs.remove(entry.file))) deleted.push(entry.file);
 		return {
 			deleted,
 			written,
@@ -314,15 +322,46 @@ function makeShape(reader, inspector, discovery, resolver, detector) {
 /**
 * Live layer for {@link DepsRegen}.
 *
-* Requires {@link WorkspaceSnapshotReader}, {@link ConfigInspector},
-* `WorkspaceDiscovery`, `CatalogResolver`, and `PublishabilityDetector`
-* (the last three from `workspaces-effect`).
+* Requires `PointInTimeWorkspace`, `WorkspaceDiscovery`,
+* `PublishabilityDetector` (all from `workspaces-effect`),
+* {@link ConfigInspector}, {@link ChangesetConfig}, and
+* `FileSystem.FileSystem` (resolved once at construction and closed over by
+* the shape, keeping `plan`/`execute` themselves requirement-free).
 *
 * @public
 */
 const DepsRegenLive = Layer.effect(DepsRegen, Effect.gen(function* () {
-	return makeShape(yield* WorkspaceSnapshotReader, yield* ConfigInspector, yield* WorkspaceDiscovery, yield* CatalogResolver, yield* PublishabilityDetector);
+	return makeShape(yield* PointInTimeWorkspace, yield* ConfigInspector, yield* WorkspaceDiscovery, yield* PublishabilityDetector, yield* ChangesetConfig, yield* FileSystem.FileSystem);
 }));
+const WorkspaceGraph = Layer.mergeAll(WorkspaceRootLive, WorkspaceDiscoveryLive.pipe(Layer.provide(WorkspaceRootLive)));
+const ConfigGraph = ChangesetConfigLive.pipe(Layer.provide(ChangesetConfigReaderLive));
+/**
+* Batteries-included {@link DepsRegen} layer: silk's opinionated default
+* composition of the full dependency graph. Only the platform services
+* remain — note that {@link PointInTimeWorkspace} reads git history, so
+* this layer genuinely requires `CommandExecutor` in addition to
+* `FileSystem`/`Path`: provide a git-capable platform layer
+* (`NodeContext.layer`), not a bare filesystem-only layer.
+*
+* Gating uses silk's adaptive publishability detector
+* ({@link PublishabilityDetectorAdaptiveLive}), so the default semantics
+* are "versionable minus ignored" — identical to the savvy CLI and MCP
+* runtimes. Consumers who need to swap any dependency (test detectors,
+* alternate config sources) should keep composing {@link DepsRegenLive}
+* directly; this layer is purely additive.
+*
+* @example
+* ```typescript
+* import { NodeContext } from "@effect/platform-node";
+* import { Layer } from "effect";
+* import { Changesets } from "@savvy-web/silk-effects";
+*
+* const depsRegen = Changesets.DepsRegenDefault.pipe(Layer.provide(NodeContext.layer));
+* ```
+*
+* @public
+*/
+const DepsRegenDefault = DepsRegenLive.pipe(Layer.provide(PointInTimeWorkspaceLive.pipe(Layer.provide(WorkspaceGraph))), Layer.provide(ConfigInspectorLive.pipe(Layer.provide(Layer.mergeAll(ChangesetConfigReaderLive, WorkspaceGraph)))), Layer.provide(PublishabilityDetectorAdaptiveLive.pipe(Layer.provide(ConfigGraph))), Layer.provide(ConfigGraph), Layer.provide(WorkspaceGraph));
 
 //#endregion
-export { DepsRegen, DepsRegenBase, DepsRegenLive, isPureDependencyChangeset, resolveDiffRows };
+export { DepsRegen, DepsRegenBase, DepsRegenDefault, DepsRegenLive, isPureDependencyChangeset };