@savvy-web/silk 0.4.1 → 0.5.0

package/packages/silk-effects/dist/dev/pkg/changesets/index.cjs

@@ -49,9 +49,11 @@ const require_presets = require('./remark/presets.cjs');
 //#region ../silk-effects/dist/dev/pkg/changesets/index.js
 var changesets_exports = /* @__PURE__ */ require_runtime.__exportAll({
 	AggregateDependencyTablesPlugin: () => require_aggregate_dependency_tables.AggregateDependencyTablesPlugin,
+	BranchAnalysisSchema: () => require_branch_analyzer.BranchAnalysisSchema,
 	BranchAnalyzer: () => require_branch_analyzer.BranchAnalyzer,
 	BranchAnalyzerBase: () => require_branch_analyzer.BranchAnalyzerBase,
 	BranchAnalyzerLive: () => require_branch_analyzer.BranchAnalyzerLive,
+	BranchFileEntrySchema: () => require_branch_analyzer.BranchFileEntrySchema,
 	Categories: () => require_categories.Categories,
 	Changelog: () => require_changelog.Changelog,
 	ChangelogService: () => require_changelog$1.ChangelogService,
@@ -63,6 +65,8 @@ var changesets_exports = /* @__PURE__ */ require_runtime.__exportAll({
 	ChangesetSummarySchema: () => require_changeset.ChangesetSummarySchema,
 	ChangesetValidationError: () => require_errors.ChangesetValidationError,
 	ChangesetValidationErrorBase: () => require_errors.ChangesetValidationErrorBase,
+	ClassificationReasonSchema: () => require_config_inspector.ClassificationReasonSchema,
+	ClassificationSchema: () => require_config_inspector.ClassificationSchema,
 	CommitHashSchema: () => require_git.CommitHashSchema,
 	ConfigInspector: () => require_config_inspector.ConfigInspector,
 	ConfigInspectorBase: () => require_config_inspector.ConfigInspectorBase,
@@ -80,6 +84,7 @@ var changesets_exports = /* @__PURE__ */ require_runtime.__exportAll({
 	DependencyTableTypeSchema: () => require_dependency_table.DependencyTableTypeSchema,
 	DependencyTypeSchema: () => require_changeset.DependencyTypeSchema,
 	DependencyUpdateSchema: () => require_changeset.DependencyUpdateSchema,
+	FileStatusSchema: () => require_branch_analyzer.FileStatusSchema,
 	GitError: () => require_errors.GitError,
 	GitErrorBase: () => require_errors.GitErrorBase,
 	GitHubApiError: () => require_errors.GitHubApiError,
@@ -90,6 +95,7 @@ var changesets_exports = /* @__PURE__ */ require_runtime.__exportAll({
 	GitHubServiceBase: () => require_github.GitHubServiceBase,
 	GlobSchema: () => require_package_scope.GlobSchema,
 	HeadingHierarchyRule: () => require_heading_hierarchy.HeadingHierarchyRule,
+	InspectedConfigSchema: () => require_config_inspector.InspectedConfigSchema,
 	IssueLinkRefsPlugin: () => require_issue_link_refs.IssueLinkRefsPlugin,
 	IssueNumberSchema: () => require_github$1.IssueNumberSchema,
 	JsonPathSchema: () => require_version_files.JsonPathSchema,
@@ -114,6 +120,8 @@ var changesets_exports = /* @__PURE__ */ require_runtime.__exportAll({
 	ReorderSectionsPlugin: () => require_reorder_sections.ReorderSectionsPlugin,
 	RepoSchema: () => require_options.RepoSchema,
 	RequiredSectionsRule: () => require_required_sections.RequiredSectionsRule,
+	ResolvedPackageScopeSchema: () => require_config_inspector.ResolvedPackageScopeSchema,
+	ResolvedVersionFileSchema: () => require_config_inspector.ResolvedVersionFileSchema,
 	SectionCategorySchema: () => require_types.SectionCategorySchema,
 	SilkChangesetPreset: () => require_presets.SilkChangesetPreset,
 	SilkChangesetTransformPreset: () => require_presets.SilkChangesetTransformPreset,

package/packages/silk-effects/dist/dev/pkg/changesets/index.js

@@ -25,8 +25,8 @@ import { MergeSectionsPlugin } from "./remark/plugins/merge-sections.js";
 import { NormalizeFormatPlugin } from "./remark/plugins/normalize-format.js";
 import { ReorderSectionsPlugin } from "./remark/plugins/reorder-sections.js";
 import { ChangelogTransformer } from "./api/transformer.js";
-import { ConfigInspector, ConfigInspectorBase, ConfigInspectorLive, makeConfigInspectorTest } from "./services/config-inspector.js";
-import { BranchAnalyzer, BranchAnalyzerBase, BranchAnalyzerLive, makeBranchAnalyzerTest } from "./services/branch-analyzer.js";
+import { ClassificationReasonSchema, ClassificationSchema, ConfigInspector, ConfigInspectorBase, ConfigInspectorLive, InspectedConfigSchema, ResolvedPackageScopeSchema, ResolvedVersionFileSchema, makeConfigInspectorTest } from "./services/config-inspector.js";
+import { BranchAnalysisSchema, BranchAnalyzer, BranchAnalyzerBase, BranchAnalyzerLive, BranchFileEntrySchema, FileStatusSchema, makeBranchAnalyzerTest } from "./services/branch-analyzer.js";
 import { ChangelogService, ChangelogServiceBase } from "./services/changelog.js";
 import { WorkspaceSnapshotReader, WorkspaceSnapshotReaderBase, WorkspaceSnapshotReaderLive } from "./services/workspace-snapshot.js";
 import { SectionCategorySchema } from "./categories/types.js";
@@ -49,9 +49,11 @@ import { SilkChangesetPreset, SilkChangesetTransformPreset } from "./remark/pres
 //#region ../silk-effects/dist/dev/pkg/changesets/index.js
 var changesets_exports = /* @__PURE__ */ __exportAll({
 	AggregateDependencyTablesPlugin: () => AggregateDependencyTablesPlugin,
+	BranchAnalysisSchema: () => BranchAnalysisSchema,
 	BranchAnalyzer: () => BranchAnalyzer,
 	BranchAnalyzerBase: () => BranchAnalyzerBase,
 	BranchAnalyzerLive: () => BranchAnalyzerLive,
+	BranchFileEntrySchema: () => BranchFileEntrySchema,
 	Categories: () => Categories,
 	Changelog: () => Changelog,
 	ChangelogService: () => ChangelogService,
@@ -63,6 +65,8 @@ var changesets_exports = /* @__PURE__ */ __exportAll({
 	ChangesetSummarySchema: () => ChangesetSummarySchema,
 	ChangesetValidationError: () => ChangesetValidationError,
 	ChangesetValidationErrorBase: () => ChangesetValidationErrorBase,
+	ClassificationReasonSchema: () => ClassificationReasonSchema,
+	ClassificationSchema: () => ClassificationSchema,
 	CommitHashSchema: () => CommitHashSchema,
 	ConfigInspector: () => ConfigInspector,
 	ConfigInspectorBase: () => ConfigInspectorBase,
@@ -80,6 +84,7 @@ var changesets_exports = /* @__PURE__ */ __exportAll({
 	DependencyTableTypeSchema: () => DependencyTableTypeSchema,
 	DependencyTypeSchema: () => DependencyTypeSchema,
 	DependencyUpdateSchema: () => DependencyUpdateSchema,
+	FileStatusSchema: () => FileStatusSchema,
 	GitError: () => GitError,
 	GitErrorBase: () => GitErrorBase,
 	GitHubApiError: () => GitHubApiError,
@@ -90,6 +95,7 @@ var changesets_exports = /* @__PURE__ */ __exportAll({
 	GitHubServiceBase: () => GitHubServiceBase,
 	GlobSchema: () => GlobSchema,
 	HeadingHierarchyRule: () => HeadingHierarchyRule,
+	InspectedConfigSchema: () => InspectedConfigSchema,
 	IssueLinkRefsPlugin: () => IssueLinkRefsPlugin,
 	IssueNumberSchema: () => IssueNumberSchema,
 	JsonPathSchema: () => JsonPathSchema,
@@ -114,6 +120,8 @@ var changesets_exports = /* @__PURE__ */ __exportAll({
 	ReorderSectionsPlugin: () => ReorderSectionsPlugin,
 	RepoSchema: () => RepoSchema,
 	RequiredSectionsRule: () => RequiredSectionsRule,
+	ResolvedPackageScopeSchema: () => ResolvedPackageScopeSchema,
+	ResolvedVersionFileSchema: () => ResolvedVersionFileSchema,
 	SectionCategorySchema: () => SectionCategorySchema,
 	SilkChangesetPreset: () => SilkChangesetPreset,
 	SilkChangesetTransformPreset: () => SilkChangesetTransformPreset,

package/packages/silk-effects/dist/dev/pkg/changesets/services/branch-analyzer.cjs

@@ -5,6 +5,64 @@ let node_child_process = require("node:child_process");
 
 //#region ../silk-effects/dist/dev/pkg/changesets/services/branch-analyzer.js
 /**
+* `BranchAnalyzer` service — combine a git diff against the base branch with
+* the per-file classification produced by {@link ConfigInspector}.
+*
+* @remarks
+* This is the single call that the changeset-manager agent uses during its
+* inventory step: one invocation returns the diff, the per-file package
+* attribution, the set of packages affected by the branch, and the list of
+* paths that did not map to any known release surface (so the agent can ask
+* the user about them rather than silently excluding).
+*
+* Base-branch resolution order (highest priority first):
+*
+* 1. Explicit `opts.baseBranch` passed to {@link BranchAnalyzerShape.analyzeBranch}.
+* 2. `baseBranch` from `.changeset/config.json` (surfaced via the inspector).
+* 3. The branch `origin/HEAD` points to (`git symbolic-ref refs/remotes/origin/HEAD`).
+* 4. `"main"` as a final fallback.
+*
+* Diff resolution covers everything the user might commit before merging:
+*
+* 1. `git merge-base <base> HEAD` finds the common ancestor.
+* 2. `git diff --name-status <merge-base>` (working tree vs merge-base)
+*    returns every committed, staged, AND unstaged change since the
+*    branch diverged. The two-arg `<merge-base>...HEAD` form would miss
+*    work-in-progress — what the user has open in their editor right
+*    now is exactly the state the agent needs to document.
+* 3. `git ls-files --others --exclude-standard` adds untracked files
+*    (entirely new files not yet `git add`-ed). Each is reported with
+*    status `"added"`.
+*
+* The two results are deduped by path before classification. Renames
+* are reported as `"renamed"` with the new path; the old path is
+* discarded since the classifier needs a single canonical path per
+* file.
+*
+* @see {@link BranchAnalyzer} for the service tag
+* @see {@link BranchAnalyzerLive} for the production layer
+* @see {@link ConfigInspector} for the underlying classification service
+*
+* @packageDocumentation
+*/
+/** Git diff status as reported by `--name-status`. @public */
+const FileStatusSchema = effect.Schema.Literal("added", "modified", "deleted", "renamed", "copied", "typechange", "unmerged", "unknown").annotations({ identifier: "FileStatus" });
+/** One file entry in the branch analysis output. @public */
+const BranchFileEntrySchema = effect.Schema.Struct({
+	path: effect.Schema.String.annotations({ description: "Repo-relative path (the new path in the case of renames)." }),
+	status: FileStatusSchema,
+	package: effect.Schema.NullOr(effect.Schema.String).annotations({ description: "Owning package, or null if outside every known release surface." }),
+	reason: require_config_inspector.ClassificationReasonSchema
+}).annotations({ identifier: "BranchFileEntry" });
+/** Structured result of analyzing the current branch against its base. @public */
+const BranchAnalysisSchema = effect.Schema.Struct({
+	baseBranch: effect.Schema.String,
+	mergeBaseSha: effect.Schema.String,
+	files: effect.Schema.Array(BranchFileEntrySchema),
+	packagesAffected: effect.Schema.Array(effect.Schema.String),
+	unmappedFiles: effect.Schema.Array(effect.Schema.String).annotations({ description: "Repo-relative paths whose package is null — candidates for an AskUserQuestion." })
+}).annotations({ identifier: "BranchAnalysis" });
+/**
 * Base class for {@link BranchAnalyzer}.
 *
 * @privateRemarks
@@ -233,7 +291,10 @@ function makeBranchAnalyzerTest(fixed) {
 }
 
 //#endregion
+exports.BranchAnalysisSchema = BranchAnalysisSchema;
 exports.BranchAnalyzer = BranchAnalyzer;
 exports.BranchAnalyzerBase = BranchAnalyzerBase;
 exports.BranchAnalyzerLive = BranchAnalyzerLive;
+exports.BranchFileEntrySchema = BranchFileEntrySchema;
+exports.FileStatusSchema = FileStatusSchema;
 exports.makeBranchAnalyzerTest = makeBranchAnalyzerTest;

package/packages/silk-effects/dist/dev/pkg/changesets/services/branch-analyzer.js

@@ -1,10 +1,68 @@
 import { GitError } from "../errors.js";
-import { ConfigInspector } from "./config-inspector.js";
-import { Context, Effect, Layer } from "effect";
+import { ClassificationReasonSchema, ConfigInspector } from "./config-inspector.js";
+import { Context, Effect, Layer, Schema } from "effect";
 import { execFileSync } from "node:child_process";
 
 //#region ../silk-effects/dist/dev/pkg/changesets/services/branch-analyzer.js
 /**
+* `BranchAnalyzer` service — combine a git diff against the base branch with
+* the per-file classification produced by {@link ConfigInspector}.
+*
+* @remarks
+* This is the single call that the changeset-manager agent uses during its
+* inventory step: one invocation returns the diff, the per-file package
+* attribution, the set of packages affected by the branch, and the list of
+* paths that did not map to any known release surface (so the agent can ask
+* the user about them rather than silently excluding).
+*
+* Base-branch resolution order (highest priority first):
+*
+* 1. Explicit `opts.baseBranch` passed to {@link BranchAnalyzerShape.analyzeBranch}.
+* 2. `baseBranch` from `.changeset/config.json` (surfaced via the inspector).
+* 3. The branch `origin/HEAD` points to (`git symbolic-ref refs/remotes/origin/HEAD`).
+* 4. `"main"` as a final fallback.
+*
+* Diff resolution covers everything the user might commit before merging:
+*
+* 1. `git merge-base <base> HEAD` finds the common ancestor.
+* 2. `git diff --name-status <merge-base>` (working tree vs merge-base)
+*    returns every committed, staged, AND unstaged change since the
+*    branch diverged. The two-arg `<merge-base>...HEAD` form would miss
+*    work-in-progress — what the user has open in their editor right
+*    now is exactly the state the agent needs to document.
+* 3. `git ls-files --others --exclude-standard` adds untracked files
+*    (entirely new files not yet `git add`-ed). Each is reported with
+*    status `"added"`.
+*
+* The two results are deduped by path before classification. Renames
+* are reported as `"renamed"` with the new path; the old path is
+* discarded since the classifier needs a single canonical path per
+* file.
+*
+* @see {@link BranchAnalyzer} for the service tag
+* @see {@link BranchAnalyzerLive} for the production layer
+* @see {@link ConfigInspector} for the underlying classification service
+*
+* @packageDocumentation
+*/
+/** Git diff status as reported by `--name-status`. @public */
+const FileStatusSchema = Schema.Literal("added", "modified", "deleted", "renamed", "copied", "typechange", "unmerged", "unknown").annotations({ identifier: "FileStatus" });
+/** One file entry in the branch analysis output. @public */
+const BranchFileEntrySchema = Schema.Struct({
+	path: Schema.String.annotations({ description: "Repo-relative path (the new path in the case of renames)." }),
+	status: FileStatusSchema,
+	package: Schema.NullOr(Schema.String).annotations({ description: "Owning package, or null if outside every known release surface." }),
+	reason: ClassificationReasonSchema
+}).annotations({ identifier: "BranchFileEntry" });
+/** Structured result of analyzing the current branch against its base. @public */
+const BranchAnalysisSchema = Schema.Struct({
+	baseBranch: Schema.String,
+	mergeBaseSha: Schema.String,
+	files: Schema.Array(BranchFileEntrySchema),
+	packagesAffected: Schema.Array(Schema.String),
+	unmappedFiles: Schema.Array(Schema.String).annotations({ description: "Repo-relative paths whose package is null — candidates for an AskUserQuestion." })
+}).annotations({ identifier: "BranchAnalysis" });
+/**
 * Base class for {@link BranchAnalyzer}.
 *
 * @privateRemarks
@@ -233,4 +291,4 @@ function makeBranchAnalyzerTest(fixed) {
 }
 
 //#endregion
-export { BranchAnalyzer, BranchAnalyzerBase, BranchAnalyzerLive, makeBranchAnalyzerTest };
+export { BranchAnalysisSchema, BranchAnalyzer, BranchAnalyzerBase, BranchAnalyzerLive, BranchFileEntrySchema, FileStatusSchema, makeBranchAnalyzerTest };

package/packages/silk-effects/dist/dev/pkg/changesets/services/config-inspector.cjs

@@ -1,13 +1,89 @@
 const require_errors = require('../errors.cjs');
 const require_options = require('../schemas/options.cjs');
 const require_ChangesetConfigReader = require('../../services/ChangesetConfigReader.cjs');
-const require_index = require('../../../../../../../node_modules/.pnpm/tinyglobby@0.2.17/node_modules/tinyglobby/dist/index.cjs');
-const require_index$1 = require('../../../../../../../node_modules/.pnpm/workspaces-effect@1.2.0_@effect_platform@0.96.1_effect@3.21.3__effect@3.21.3/node_modules/workspaces-effect/index.cjs');
+const require_index = require('../../../../../../../node_modules/.pnpm/workspaces-effect@1.2.0_@effect_platform@0.96.1_effect@3.21.3__effect@3.21.3/node_modules/workspaces-effect/index.cjs');
+const require_SilkPublishability = require('../../services/SilkPublishability.cjs');
+const require_index$1 = require('../../../../../../../node_modules/.pnpm/tinyglobby@0.2.17/node_modules/tinyglobby/dist/index.cjs');
 let effect = require("effect");
 let node_path = require("node:path");
+let _effect_platform = require("@effect/platform");
 
 //#region ../silk-effects/dist/dev/pkg/changesets/services/config-inspector.js
 /**
+* `ConfigInspector` service — surface the project's `.changeset/config.json`
+* in a structured, validated form that agents and tooling can consume.
+*
+* @remarks
+* The inspector handles three responsibilities that the schemas alone cannot:
+*
+* 1. **Legacy normalization.** Configs from 0.8.x still use the flat
+*    top-level `versionFiles[]` array. When that field is populated, the
+*    inspector emits a one-line deprecation warning to stderr (naming the
+*    config path and the required edit) and folds each legacy entry into
+*    the equivalent `packages[entry.package].versionFiles` shape for
+*    downstream consumers. Removed in 1.0.0.
+* 2. **Resolution against the workspace.** Each `packages` key must resolve
+*    to a known workspace package via `WorkspaceDiscovery`. Unknown keys
+*    surface as a {@link ConfigurationError}. The inspector returns the
+*    package's absolute workspace directory alongside the resolved scope.
+* 3. **Overlap detection.** Cross-package validation rules that the schemas
+*    cannot enforce:
+*    - `additionalScopes` of two different packages must not overlap.
+*    - `additionalScopes` of one package must not shadow another package's
+*      workspace directory.
+*    - Two `versionFiles` entries (within or across packages) must not
+*      resolve to the same `(file, $.path)` tuple.
+*
+* Validation is performed eagerly on the first {@link ConfigInspectorShape.inspect}
+* call. The resolved state is cached internally per `cwd` so subsequent
+* {@link ConfigInspectorShape.classify} calls reuse it.
+*
+* @see {@link ConfigInspector} for the Effect service tag
+* @see {@link ConfigInspectorLive} for the production layer
+*
+* @packageDocumentation
+*/
+/** A `versionFiles` entry expanded to its absolute target paths. @public */
+const ResolvedVersionFileSchema = effect.Schema.Struct({
+	glob: effect.Schema.String,
+	paths: effect.Schema.Array(effect.Schema.String).annotations({ description: "JSONPath expressions to update (defaults to [\"$.version\"])." }),
+	matchedFiles: effect.Schema.Array(effect.Schema.String)
+}).annotations({ identifier: "ResolvedVersionFile" });
+/** A package's resolved release surface. @public */
+const ResolvedPackageScopeSchema = effect.Schema.Struct({
+	name: effect.Schema.String,
+	workspaceDir: effect.Schema.String,
+	version: effect.Schema.String,
+	additionalScopes: effect.Schema.Array(effect.Schema.String),
+	additionalScopeFiles: effect.Schema.Array(effect.Schema.String),
+	versionFiles: effect.Schema.Array(ResolvedVersionFileSchema)
+}).annotations({ identifier: "ResolvedPackageScope" });
+/** Structured representation of a resolved `.changeset/config.json`. @public */
+const InspectedConfigSchema = effect.Schema.Struct({
+	configPath: effect.Schema.String,
+	projectDir: effect.Schema.String.annotations({ description: "Absolute project root (the directory containing .changeset/)." }),
+	changelog: effect.Schema.NullOr(effect.Schema.String),
+	baseBranch: effect.Schema.String,
+	access: effect.Schema.Literal("public", "restricted"),
+	ignore: effect.Schema.Array(effect.Schema.String),
+	packages: effect.Schema.Array(ResolvedPackageScopeSchema),
+	legacyVersionFilesUsed: effect.Schema.Boolean
+}).annotations({ identifier: "InspectedConfig" });
+/** Reason a path was attributed to a package (or left unmapped). @public */
+const ClassificationReasonSchema = effect.Schema.Union(effect.Schema.Literal("workspace"), effect.Schema.Struct({
+	kind: effect.Schema.Literal("additionalScope"),
+	glob: effect.Schema.String
+}), effect.Schema.Struct({
+	kind: effect.Schema.Literal("versionFile"),
+	glob: effect.Schema.String
+}), effect.Schema.Null).annotations({ identifier: "ClassificationReason" });
+/** The result of classifying a single path against a resolved config. @public */
+const ClassificationSchema = effect.Schema.Struct({
+	path: effect.Schema.String,
+	package: effect.Schema.NullOr(effect.Schema.String),
+	reason: ClassificationReasonSchema
+}).annotations({ identifier: "Classification" });
+/**
 * Base class for {@link ConfigInspector}.
 *
 * @privateRemarks
@@ -104,7 +180,7 @@ function normalizeLegacyOptions(options, configPath) {
 * repo-relative strings. Honors negation patterns and ignores `node_modules`.
 */
 function materializeGlob(glob, cwd) {
-	return require_index.globSync(glob, {
+	return require_index$1.globSync(glob, {
 		cwd,
 		ignore: ["**/node_modules/**"],
 		dot: true
@@ -152,6 +228,48 @@ function buildResolvedScopes(params) {
 	return scopes;
 }
 /**
+* Read a workspace package's raw package.json. A genuinely missing manifest
+* resolves to `null` so the caller can skip that package — a workspace
+* directory without a `package.json` is not a release surface. Any OTHER
+* failure (unreadable file, malformed JSON) is surfaced as a
+* {@link ConfigurationError} carrying the package path, rather than silently
+* dropping the package, which would cascade into wrong attribution.
+*/
+function readRawPackageJson(fs, pkgDir) {
+	const pkgJsonPath = (0, node_path.join)(pkgDir, "package.json");
+	return fs.readFileString(pkgJsonPath).pipe(effect.Effect.flatMap((content) => effect.Effect.try(() => JSON.parse(content))), effect.Effect.catchAll((err) => {
+		if (err.reason === "NotFound") return effect.Effect.succeed(null);
+		return effect.Effect.fail(new require_errors.ConfigurationError({
+			field: "workspace",
+			reason: `Failed to read or parse ${pkgJsonPath}: ${err instanceof Error ? err.message : String(err)}`
+		}));
+	}));
+}
+/**
+* Build resolved scopes from the discovered workspace packages, keeping only
+* those that are a release surface (declare publishConfig that yields at least
+* one publish target). Used when `.changeset/config.json` declares no explicit
+* `packages` record. The changeset `ignore` list is intentionally NOT consulted
+* here — an ignored package still declares publishConfig and remains a valid
+* changeset target.
+*/
+function buildFallbackScopes(fs, workspaces) {
+	return effect.Effect.forEach(workspaces, (ws) => effect.Effect.gen(function* () {
+		const raw = yield* readRawPackageJson(fs, ws.path);
+		if (raw === null) return [];
+		const binding = yield* require_SilkPublishability.readTargetsBinding(fs, ws.path);
+		if (require_SilkPublishability.SilkPublishability.detect(ws.name, raw, binding).length === 0) return [];
+		return [{
+			name: ws.name,
+			workspaceDir: ws.path,
+			version: ws.version,
+			additionalScopes: [],
+			additionalScopeFiles: [],
+			versionFiles: []
+		}];
+	})).pipe(effect.Effect.map((nested) => nested.flat()));
+}
+/**
 * Cross-package validation: no overlap in `additionalScopes`, no shadowing
 * of another workspace package's directory (regardless of whether that
 * package is itself declared in `config.packages`), and no duplicate
@@ -209,7 +327,7 @@ function configErrorFromParseError(parseError, configPath) {
 * Each shape carries a private cache keyed by absolute project dir so
 * repeat `inspect`/`classify` calls reuse the materialized state.
 */
-function makeShape(reader, discovery) {
+function makeShape(reader, discovery, fs) {
 	const cache = /* @__PURE__ */ new Map();
 	const inspect = (cwd) => effect.Effect.gen(function* () {
 		const projectDir = (0, node_path.resolve)(cwd);
@@ -245,8 +363,9 @@ function makeShape(reader, discovery) {
 			path: w.path,
 			version: w.version
 		}));
+		const hasExplicitPackages = Object.keys(decodedOptions.packages ?? {}).length > 0;
 		let scopes;
-		try {
+		if (hasExplicitPackages) try {
 			scopes = buildResolvedScopes({
 				options: decodedOptions,
 				workspaces,
@@ -258,6 +377,7 @@ function makeShape(reader, discovery) {
 			if (e instanceof require_errors.ConfigurationError) return yield* effect.Effect.fail(e);
 			throw e;
 		}
+		else scopes = yield* buildFallbackScopes(fs, workspaces);
 		const inspected = {
 			configPath,
 			projectDir,
@@ -332,7 +452,7 @@ function classifyOne(inspected, path) {
 * @public
 */
 const ConfigInspectorLive = effect.Layer.effect(ConfigInspector, effect.Effect.gen(function* () {
-	return makeShape(yield* require_ChangesetConfigReader.ChangesetConfigReader, yield* require_index$1.WorkspaceDiscovery);
+	return makeShape(yield* require_ChangesetConfigReader.ChangesetConfigReader, yield* require_index.WorkspaceDiscovery, yield* _effect_platform.FileSystem.FileSystem);
 }));
 /**
 * Test factory — build a {@link ConfigInspector} that returns a fixed
@@ -352,7 +472,12 @@ function makeConfigInspectorTest(fixed) {
 }
 
 //#endregion
+exports.ClassificationReasonSchema = ClassificationReasonSchema;
+exports.ClassificationSchema = ClassificationSchema;
 exports.ConfigInspector = ConfigInspector;
 exports.ConfigInspectorBase = ConfigInspectorBase;
 exports.ConfigInspectorLive = ConfigInspectorLive;
+exports.InspectedConfigSchema = InspectedConfigSchema;
+exports.ResolvedPackageScopeSchema = ResolvedPackageScopeSchema;
+exports.ResolvedVersionFileSchema = ResolvedVersionFileSchema;
 exports.makeConfigInspectorTest = makeConfigInspectorTest;

package/packages/silk-effects/dist/dev/pkg/changesets/services/config-inspector.js

@@ -1,13 +1,89 @@
 import { ConfigurationError } from "../errors.js";
 import { ChangesetOptionsSchema } from "../schemas/options.js";
 import { ChangesetConfigReader } from "../../services/ChangesetConfigReader.js";
-import { globSync } from "../../../../../../../node_modules/.pnpm/tinyglobby@0.2.17/node_modules/tinyglobby/dist/index.js";
 import { WorkspaceDiscovery } from "../../../../../../../node_modules/.pnpm/workspaces-effect@1.2.0_@effect_platform@0.96.1_effect@3.21.3__effect@3.21.3/node_modules/workspaces-effect/index.js";
+import { SilkPublishability, readTargetsBinding } from "../../services/SilkPublishability.js";
+import { globSync } from "../../../../../../../node_modules/.pnpm/tinyglobby@0.2.17/node_modules/tinyglobby/dist/index.js";
 import { Context, Effect, Layer, Schema } from "effect";
 import { isAbsolute, join, relative, resolve } from "node:path";
+import { FileSystem } from "@effect/platform";
 
 //#region ../silk-effects/dist/dev/pkg/changesets/services/config-inspector.js
 /**
+* `ConfigInspector` service — surface the project's `.changeset/config.json`
+* in a structured, validated form that agents and tooling can consume.
+*
+* @remarks
+* The inspector handles three responsibilities that the schemas alone cannot:
+*
+* 1. **Legacy normalization.** Configs from 0.8.x still use the flat
+*    top-level `versionFiles[]` array. When that field is populated, the
+*    inspector emits a one-line deprecation warning to stderr (naming the
+*    config path and the required edit) and folds each legacy entry into
+*    the equivalent `packages[entry.package].versionFiles` shape for
+*    downstream consumers. Removed in 1.0.0.
+* 2. **Resolution against the workspace.** Each `packages` key must resolve
+*    to a known workspace package via `WorkspaceDiscovery`. Unknown keys
+*    surface as a {@link ConfigurationError}. The inspector returns the
+*    package's absolute workspace directory alongside the resolved scope.
+* 3. **Overlap detection.** Cross-package validation rules that the schemas
+*    cannot enforce:
+*    - `additionalScopes` of two different packages must not overlap.
+*    - `additionalScopes` of one package must not shadow another package's
+*      workspace directory.
+*    - Two `versionFiles` entries (within or across packages) must not
+*      resolve to the same `(file, $.path)` tuple.
+*
+* Validation is performed eagerly on the first {@link ConfigInspectorShape.inspect}
+* call. The resolved state is cached internally per `cwd` so subsequent
+* {@link ConfigInspectorShape.classify} calls reuse it.
+*
+* @see {@link ConfigInspector} for the Effect service tag
+* @see {@link ConfigInspectorLive} for the production layer
+*
+* @packageDocumentation
+*/
+/** A `versionFiles` entry expanded to its absolute target paths. @public */
+const ResolvedVersionFileSchema = Schema.Struct({
+	glob: Schema.String,
+	paths: Schema.Array(Schema.String).annotations({ description: "JSONPath expressions to update (defaults to [\"$.version\"])." }),
+	matchedFiles: Schema.Array(Schema.String)
+}).annotations({ identifier: "ResolvedVersionFile" });
+/** A package's resolved release surface. @public */
+const ResolvedPackageScopeSchema = Schema.Struct({
+	name: Schema.String,
+	workspaceDir: Schema.String,
+	version: Schema.String,
+	additionalScopes: Schema.Array(Schema.String),
+	additionalScopeFiles: Schema.Array(Schema.String),
+	versionFiles: Schema.Array(ResolvedVersionFileSchema)
+}).annotations({ identifier: "ResolvedPackageScope" });
+/** Structured representation of a resolved `.changeset/config.json`. @public */
+const InspectedConfigSchema = Schema.Struct({
+	configPath: Schema.String,
+	projectDir: Schema.String.annotations({ description: "Absolute project root (the directory containing .changeset/)." }),
+	changelog: Schema.NullOr(Schema.String),
+	baseBranch: Schema.String,
+	access: Schema.Literal("public", "restricted"),
+	ignore: Schema.Array(Schema.String),
+	packages: Schema.Array(ResolvedPackageScopeSchema),
+	legacyVersionFilesUsed: Schema.Boolean
+}).annotations({ identifier: "InspectedConfig" });
+/** Reason a path was attributed to a package (or left unmapped). @public */
+const ClassificationReasonSchema = Schema.Union(Schema.Literal("workspace"), Schema.Struct({
+	kind: Schema.Literal("additionalScope"),
+	glob: Schema.String
+}), Schema.Struct({
+	kind: Schema.Literal("versionFile"),
+	glob: Schema.String
+}), Schema.Null).annotations({ identifier: "ClassificationReason" });
+/** The result of classifying a single path against a resolved config. @public */
+const ClassificationSchema = Schema.Struct({
+	path: Schema.String,
+	package: Schema.NullOr(Schema.String),
+	reason: ClassificationReasonSchema
+}).annotations({ identifier: "Classification" });
+/**
 * Base class for {@link ConfigInspector}.
 *
 * @privateRemarks
@@ -152,6 +228,48 @@ function buildResolvedScopes(params) {
 	return scopes;
 }
 /**
+* Read a workspace package's raw package.json. A genuinely missing manifest
+* resolves to `null` so the caller can skip that package — a workspace
+* directory without a `package.json` is not a release surface. Any OTHER
+* failure (unreadable file, malformed JSON) is surfaced as a
+* {@link ConfigurationError} carrying the package path, rather than silently
+* dropping the package, which would cascade into wrong attribution.
+*/
+function readRawPackageJson(fs, pkgDir) {
+	const pkgJsonPath = join(pkgDir, "package.json");
+	return fs.readFileString(pkgJsonPath).pipe(Effect.flatMap((content) => Effect.try(() => JSON.parse(content))), Effect.catchAll((err) => {
+		if (err.reason === "NotFound") return Effect.succeed(null);
+		return Effect.fail(new ConfigurationError({
+			field: "workspace",
+			reason: `Failed to read or parse ${pkgJsonPath}: ${err instanceof Error ? err.message : String(err)}`
+		}));
+	}));
+}
+/**
+* Build resolved scopes from the discovered workspace packages, keeping only
+* those that are a release surface (declare publishConfig that yields at least
+* one publish target). Used when `.changeset/config.json` declares no explicit
+* `packages` record. The changeset `ignore` list is intentionally NOT consulted
+* here — an ignored package still declares publishConfig and remains a valid
+* changeset target.
+*/
+function buildFallbackScopes(fs, workspaces) {
+	return Effect.forEach(workspaces, (ws) => Effect.gen(function* () {
+		const raw = yield* readRawPackageJson(fs, ws.path);
+		if (raw === null) return [];
+		const binding = yield* readTargetsBinding(fs, ws.path);
+		if (SilkPublishability.detect(ws.name, raw, binding).length === 0) return [];
+		return [{
+			name: ws.name,
+			workspaceDir: ws.path,
+			version: ws.version,
+			additionalScopes: [],
+			additionalScopeFiles: [],
+			versionFiles: []
+		}];
+	})).pipe(Effect.map((nested) => nested.flat()));
+}
+/**
 * Cross-package validation: no overlap in `additionalScopes`, no shadowing
 * of another workspace package's directory (regardless of whether that
 * package is itself declared in `config.packages`), and no duplicate
@@ -209,7 +327,7 @@ function configErrorFromParseError(parseError, configPath) {
 * Each shape carries a private cache keyed by absolute project dir so
 * repeat `inspect`/`classify` calls reuse the materialized state.
 */
-function makeShape(reader, discovery) {
+function makeShape(reader, discovery, fs) {
 	const cache = /* @__PURE__ */ new Map();
 	const inspect = (cwd) => Effect.gen(function* () {
 		const projectDir = resolve(cwd);
@@ -245,8 +363,9 @@ function makeShape(reader, discovery) {
 			path: w.path,
 			version: w.version
 		}));
+		const hasExplicitPackages = Object.keys(decodedOptions.packages ?? {}).length > 0;
 		let scopes;
-		try {
+		if (hasExplicitPackages) try {
 			scopes = buildResolvedScopes({
 				options: decodedOptions,
 				workspaces,
@@ -258,6 +377,7 @@ function makeShape(reader, discovery) {
 			if (e instanceof ConfigurationError) return yield* Effect.fail(e);
 			throw e;
 		}
+		else scopes = yield* buildFallbackScopes(fs, workspaces);
 		const inspected = {
 			configPath,
 			projectDir,
@@ -332,7 +452,7 @@ function classifyOne(inspected, path) {
 * @public
 */
 const ConfigInspectorLive = Layer.effect(ConfigInspector, Effect.gen(function* () {
-	return makeShape(yield* ChangesetConfigReader, yield* WorkspaceDiscovery);
+	return makeShape(yield* ChangesetConfigReader, yield* WorkspaceDiscovery, yield* FileSystem.FileSystem);
 }));
 /**
 * Test factory — build a {@link ConfigInspector} that returns a fixed
@@ -352,4 +472,4 @@ function makeConfigInspectorTest(fixed) {
 }
 
 //#endregion
-export { ConfigInspector, ConfigInspectorBase, ConfigInspectorLive, makeConfigInspectorTest };
+export { ClassificationReasonSchema, ClassificationSchema, ConfigInspector, ConfigInspectorBase, ConfigInspectorLive, InspectedConfigSchema, ResolvedPackageScopeSchema, ResolvedVersionFileSchema, makeConfigInspectorTest };