@projitect/core 0.0.0-stage → 1.0.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Kapil Easwar
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/dist/blueprint-filesystem.d.ts

@@ -0,0 +1,33 @@
+import { Context } from "effect";
+import type { Effect } from "effect";
+import type { FsPermissionDenied, FsReadFailed, FsWriteFailed } from "./errors/index.js";
+/**
+ * The sandboxed file system blueprints receive. The real `@effect/platform` `FileSystem` is
+ * never provided to blueprint code — `cli-internals` wires a permission-gated implementation
+ * here.
+ *
+ * The interface lives in `@projitect/core` so it can be referenced from both `@projitect/blueprint`
+ * (which exposes helpers built on it) and `@projitect/cli-internals` (which implements it).
+ *
+ * The current implementation is a soft sandbox: it enforces permissions at the Effect layer but
+ * runs in the same process as the CLI. A worker-process implementation is a tracked v2 follow-up;
+ * the interface is shaped so the swap is transparent to blueprint authors.
+ */
+export interface BlueprintFileSystemShape {
+    readonly readFile: (path: string) => Effect.Effect<string, FsReadFailed | FsPermissionDenied>;
+    readonly writeFile: (path: string, content: string) => Effect.Effect<void, FsWriteFailed | FsPermissionDenied>;
+    readonly exists: (path: string) => Effect.Effect<boolean, FsPermissionDenied>;
+    readonly remove: (path: string) => Effect.Effect<void, FsWriteFailed | FsPermissionDenied>;
+    /**
+     * Remove a directory only if it is empty — never recursive. Fails with `FsWriteFailed` when the
+     * directory is missing or holds any entry, so an entry that appears concurrently survives.
+     */
+    readonly removeEmptyDir: (path: string) => Effect.Effect<void, FsWriteFailed | FsPermissionDenied>;
+    readonly mkdir: (path: string) => Effect.Effect<void, FsWriteFailed | FsPermissionDenied>;
+    readonly listDir: (path: string) => Effect.Effect<readonly string[], FsReadFailed | FsPermissionDenied>;
+}
+declare const BlueprintFileSystem_base: Context.ServiceClass<BlueprintFileSystem, "@projitect/core/BlueprintFileSystem", BlueprintFileSystemShape>;
+export declare class BlueprintFileSystem extends BlueprintFileSystem_base {
+}
+export {};
+//# sourceMappingURL=blueprint-filesystem.d.ts.map

package/dist/blueprint-filesystem.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"blueprint-filesystem.d.ts","sourceRoot":"","sources":["../src/blueprint-filesystem.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAA;AAChC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACpC,OAAO,KAAK,EAAE,kBAAkB,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAA;AAExF;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,GAAG,kBAAkB,CAAC,CAAA;IAC7F,QAAQ,CAAC,SAAS,EAAE,CAClB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,KACZ,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,GAAG,kBAAkB,CAAC,CAAA;IAC5D,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,CAAA;IAC7E,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,GAAG,kBAAkB,CAAC,CAAA;IAC1F;;;OAGG;IACH,QAAQ,CAAC,cAAc,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,GAAG,kBAAkB,CAAC,CAAA;IAClG,QAAQ,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,GAAG,kBAAkB,CAAC,CAAA;IACzF,QAAQ,CAAC,OAAO,EAAE,CAChB,IAAI,EAAE,MAAM,KACT,MAAM,CAAC,MAAM,CAAC,SAAS,MAAM,EAAE,EAAE,YAAY,GAAG,kBAAkB,CAAC,CAAA;CACzE;;AAED,qBAAa,mBAAoB,SAAQ,wBAGC;CAAG"}

package/dist/blueprint-filesystem.js

@@ -0,0 +1,4 @@
+import { Context } from "effect";
+export class BlueprintFileSystem extends Context.Service()("@projitect/core/BlueprintFileSystem") {
+}
+//# sourceMappingURL=blueprint-filesystem.js.map

package/dist/blueprint-filesystem.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"blueprint-filesystem.js","sourceRoot":"","sources":["../src/blueprint-filesystem.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAA;AAmChC,MAAM,OAAO,mBAAoB,SAAQ,OAAO,CAAC,OAAO,EAGrD,CAAC,qCAAqC,CAAC;CAAG"}

package/dist/blueprint.d.ts

@@ -0,0 +1,27 @@
+import type { Effect } from "effect";
+import type { ChangeSet } from "./change-set.js";
+import type { BlueprintFileSystem } from "./blueprint-filesystem.js";
+import type { Permission } from "./permissions.js";
+import type { BlueprintError } from "./errors/index.js";
+/**
+ * A `Blueprint` is a unit of project scaffolding. The CLI plans every blueprint by running its
+ * `plan` Effect to produce a `ChangeSet`, then either applies the union of changes (`build`,
+ * `remodel`) or compares them against the current project state (`inspect`).
+ *
+ * Blueprints **never** import `FileSystem` from `@effect/platform`. They use the
+ * `BlueprintFileSystem` service from `@projitect/blueprint`, which is gated by the `permissions`
+ * the blueprint declares. This is enforced by an ESLint rule.
+ */
+export interface Blueprint {
+    /** Stable kebab-case identifier, e.g. `pjt:gitignore:macos`. Used as ownership key in regions and merges. */
+    readonly id: string;
+    /** Semver string of the blueprint version. Used for change-tracking across upgrades. */
+    readonly version: string;
+    /** Human-readable, one-line description shown in `pjt inspect` output. */
+    readonly description?: string;
+    /** Declared capabilities. The CLI rejects FS operations not covered by this set. */
+    readonly permissions: readonly Permission[];
+    /** The Effect that produces this blueprint's change set when planned. */
+    readonly plan: Effect.Effect<ChangeSet, BlueprintError, BlueprintFileSystem>;
+}
+//# sourceMappingURL=blueprint.d.ts.map

package/dist/blueprint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"blueprint.d.ts","sourceRoot":"","sources":["../src/blueprint.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACpC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAChD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAA;AACpE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAClD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAA;AAEvD;;;;;;;;GAQG;AACH,MAAM,WAAW,SAAS;IACxB,6GAA6G;IAC7G,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,wFAAwF;IACxF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,0EAA0E;IAC1E,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,oFAAoF;IACpF,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAA;IAC3C,yEAAyE;IACzE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,cAAc,EAAE,mBAAmB,CAAC,CAAA;CAC7E"}

package/dist/blueprint.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=blueprint.js.map

package/dist/blueprint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"blueprint.js","sourceRoot":"","sources":["../src/blueprint.ts"],"names":[],"mappings":""}

package/dist/change-set.d.ts

@@ -0,0 +1,166 @@
+import { Reducer as ReducerLib, Schema } from "effect";
+/**
+ * A `ChangeSet` is the data a blueprint produces when planning. The CLI reduces all blueprints'
+ * ChangeSets into a single project-wide plan, detects conflicts, and either applies it (`build`,
+ * `remodel`) or reports it (`inspect`).
+ *
+ * Each operation declares its **ownership mode** via its `_tag`:
+ *
+ * - `Region` — comment-fenced section inside a shared text file (e.g. `.gitignore`)
+ * - `Merge`  — deep-merge intent for a structured file (e.g. `package.json`)
+ * - `Owned`  — single blueprint owns the whole file content
+ * - `Seed`   — written once at first build; never enforced after
+ *
+ * `Exec` is not a file ownership mode: it names a post-apply command that `build` and `remodel`
+ * run in a final phase, after every file operation has succeeded.
+ */
+export declare const RegionOp: Schema.TaggedStruct<"Region", {
+    readonly ownerId: Schema.String;
+    readonly path: Schema.String;
+    readonly commentPrefix: Schema.String;
+    /**
+     * Optional comment suffix for prefix/suffix-pair comment styles (HTML/MDX/XML). When omitted
+     * (the default), the marker terminates at end-of-line — that's the right shape for `#`, `//`,
+     * `--`, and other single-prefix comment syntaxes. Set to `" -->"` for HTML/markdown.
+     */
+    readonly commentSuffix: Schema.optional<Schema.String>;
+    readonly content: Schema.String;
+}>;
+export declare const MergeOp: Schema.TaggedStruct<"Merge", {
+    readonly ownerId: Schema.String;
+    readonly path: Schema.String;
+    /** Dotted-path keys this blueprint owns inside the JSON tree (e.g. "scripts.pjt"). */
+    readonly ownedKeys: Schema.$Array<Schema.String>;
+    /** Partial JSON value to deep-merge under those keys. */
+    readonly value: Schema.Unknown;
+}>;
+export declare const OwnedOp: Schema.TaggedStruct<"Owned", {
+    readonly ownerId: Schema.String;
+    readonly path: Schema.String;
+    readonly content: Schema.String;
+    /**
+     * Directory this owner manages. When the file is removed, empty directories are pruned from the
+     * file's parent up to and including this one — never above it. Absent: no pruning.
+     */
+    readonly ownedDir: Schema.optional<Schema.String>;
+}>;
+export declare const SeedOp: Schema.TaggedStruct<"Seed", {
+    readonly ownerId: Schema.String;
+    readonly path: Schema.String;
+    readonly content: Schema.String;
+}>;
+export declare const ExecOp: Schema.TaggedStruct<"Exec", {
+    readonly ownerId: Schema.String;
+    /** The command line to run from the project root; it must be covered by an `exec` permission. */
+    readonly command: Schema.String;
+    /**
+     * The command that reports whether `command` still has work to do. Carried in the plan for
+     * `pjt inspect`; build and remodel run only `command`, never `check`.
+     */
+    readonly check: Schema.optional<Schema.String>;
+}>;
+export declare const Operation: Schema.Union<readonly [Schema.TaggedStruct<"Region", {
+    readonly ownerId: Schema.String;
+    readonly path: Schema.String;
+    readonly commentPrefix: Schema.String;
+    /**
+     * Optional comment suffix for prefix/suffix-pair comment styles (HTML/MDX/XML). When omitted
+     * (the default), the marker terminates at end-of-line — that's the right shape for `#`, `//`,
+     * `--`, and other single-prefix comment syntaxes. Set to `" -->"` for HTML/markdown.
+     */
+    readonly commentSuffix: Schema.optional<Schema.String>;
+    readonly content: Schema.String;
+}>, Schema.TaggedStruct<"Merge", {
+    readonly ownerId: Schema.String;
+    readonly path: Schema.String;
+    /** Dotted-path keys this blueprint owns inside the JSON tree (e.g. "scripts.pjt"). */
+    readonly ownedKeys: Schema.$Array<Schema.String>;
+    /** Partial JSON value to deep-merge under those keys. */
+    readonly value: Schema.Unknown;
+}>, Schema.TaggedStruct<"Owned", {
+    readonly ownerId: Schema.String;
+    readonly path: Schema.String;
+    readonly content: Schema.String;
+    /**
+     * Directory this owner manages. When the file is removed, empty directories are pruned from the
+     * file's parent up to and including this one — never above it. Absent: no pruning.
+     */
+    readonly ownedDir: Schema.optional<Schema.String>;
+}>, Schema.TaggedStruct<"Seed", {
+    readonly ownerId: Schema.String;
+    readonly path: Schema.String;
+    readonly content: Schema.String;
+}>, Schema.TaggedStruct<"Exec", {
+    readonly ownerId: Schema.String;
+    /** The command line to run from the project root; it must be covered by an `exec` permission. */
+    readonly command: Schema.String;
+    /**
+     * The command that reports whether `command` still has work to do. Carried in the plan for
+     * `pjt inspect`; build and remodel run only `command`, never `check`.
+     */
+    readonly check: Schema.optional<Schema.String>;
+}>]>;
+export declare const ChangeSet: Schema.Struct<{
+    readonly operations: Schema.$Array<Schema.Union<readonly [Schema.TaggedStruct<"Region", {
+        readonly ownerId: Schema.String;
+        readonly path: Schema.String;
+        readonly commentPrefix: Schema.String;
+        /**
+         * Optional comment suffix for prefix/suffix-pair comment styles (HTML/MDX/XML). When omitted
+         * (the default), the marker terminates at end-of-line — that's the right shape for `#`, `//`,
+         * `--`, and other single-prefix comment syntaxes. Set to `" -->"` for HTML/markdown.
+         */
+        readonly commentSuffix: Schema.optional<Schema.String>;
+        readonly content: Schema.String;
+    }>, Schema.TaggedStruct<"Merge", {
+        readonly ownerId: Schema.String;
+        readonly path: Schema.String;
+        /** Dotted-path keys this blueprint owns inside the JSON tree (e.g. "scripts.pjt"). */
+        readonly ownedKeys: Schema.$Array<Schema.String>;
+        /** Partial JSON value to deep-merge under those keys. */
+        readonly value: Schema.Unknown;
+    }>, Schema.TaggedStruct<"Owned", {
+        readonly ownerId: Schema.String;
+        readonly path: Schema.String;
+        readonly content: Schema.String;
+        /**
+         * Directory this owner manages. When the file is removed, empty directories are pruned from the
+         * file's parent up to and including this one — never above it. Absent: no pruning.
+         */
+        readonly ownedDir: Schema.optional<Schema.String>;
+    }>, Schema.TaggedStruct<"Seed", {
+        readonly ownerId: Schema.String;
+        readonly path: Schema.String;
+        readonly content: Schema.String;
+    }>, Schema.TaggedStruct<"Exec", {
+        readonly ownerId: Schema.String;
+        /** The command line to run from the project root; it must be covered by an `exec` permission. */
+        readonly command: Schema.String;
+        /**
+         * The command that reports whether `command` still has work to do. Carried in the plan for
+         * `pjt inspect`; build and remodel run only `command`, never `check`.
+         */
+        readonly check: Schema.optional<Schema.String>;
+    }>]>>;
+}>;
+export type RegionOp = typeof RegionOp.Type;
+export type MergeOp = typeof MergeOp.Type;
+export type OwnedOp = typeof OwnedOp.Type;
+export type SeedOp = typeof SeedOp.Type;
+export type ExecOp = typeof ExecOp.Type;
+export type Operation = typeof Operation.Type;
+export type ChangeSet = typeof ChangeSet.Type;
+export declare const empty: ChangeSet;
+export declare const concat: {
+    (that: ChangeSet): (self: ChangeSet) => ChangeSet;
+    (self: ChangeSet, that: ChangeSet): ChangeSet;
+};
+export declare const of: (...ops: readonly Operation[]) => ChangeSet;
+/**
+ * `ChangeSet` is a monoid: {@link empty} is the identity and {@link concat} combines associatively
+ * (operation arrays append). Exposed as a `Reducer` so composite blueprints fold their parts'
+ * ChangeSets with `ChangeSet.Reducer.combineAll(parts)` — the same universal merge pattern the
+ * config cascade uses — instead of hand-rolling the concat.
+ */
+export declare const Reducer: ReducerLib.Reducer<ChangeSet>;
+//# sourceMappingURL=change-set.d.ts.map

package/dist/change-set.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"change-set.d.ts","sourceRoot":"","sources":["../src/change-set.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,IAAI,UAAU,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAGtD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,QAAQ;;;;IAInB;;;;OAIG;;;EAGH,CAAA;AAEF,eAAO,MAAM,OAAO;;;IAGlB,sFAAsF;;IAEtF,yDAAyD;;EAEzD,CAAA;AAEF,eAAO,MAAM,OAAO;;;;IAIlB;;;OAGG;;EAEH,CAAA;AAEF,eAAO,MAAM,MAAM;;;;EAIjB,CAAA;AAEF,eAAO,MAAM,MAAM;;IAEjB,iGAAiG;;IAEjG;;;OAGG;;EAEH,CAAA;AAEF,eAAO,MAAM,SAAS;;;;IA9CpB;;;;OAIG;;;;;;IAQH,sFAAsF;;IAEtF,yDAAyD;;;;;;IAQzD;;;OAGG;;;;;;;;IAYH,iGAAiG;;IAEjG;;;OAGG;;IAI8E,CAAA;AAEnF,eAAO,MAAM,SAAS;;;;;QAhDpB;;;;WAIG;;;;;;QAQH,sFAAsF;;QAEtF,yDAAyD;;;;;;QAQzD;;;WAGG;;;;;;;;QAYH,iGAAiG;;QAEjG;;;WAGG;;;EAQH,CAAA;AAEF,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAA;AAC3C,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AACzC,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AACzC,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;AACvC,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;AACvC,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAA;AAC7C,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAA;AAE7C,eAAO,MAAM,KAAK,EAAE,SAA8B,CAAA;AAElD,eAAO,MAAM,MAAM,EAAE;IACnB,CAAC,IAAI,EAAE,SAAS,GAAG,CAAC,IAAI,EAAE,SAAS,KAAK,SAAS,CAAA;IACjD,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,GAAG,SAAS,CAAA;CAM9C,CAAA;AAED,eAAO,MAAM,EAAE,GAAI,GAAG,KAAK,SAAS,SAAS,EAAE,KAAG,SAAkC,CAAA;AAEpF;;;;;GAKG;AACH,eAAO,MAAM,OAAO,EAAE,UAAU,CAAC,OAAO,CAAC,SAAS,CAGjD,CAAA"}

package/dist/change-set.js

@@ -0,0 +1,79 @@
+import { Reducer as ReducerLib, Schema } from "effect";
+import { dual } from "effect/Function";
+/**
+ * A `ChangeSet` is the data a blueprint produces when planning. The CLI reduces all blueprints'
+ * ChangeSets into a single project-wide plan, detects conflicts, and either applies it (`build`,
+ * `remodel`) or reports it (`inspect`).
+ *
+ * Each operation declares its **ownership mode** via its `_tag`:
+ *
+ * - `Region` — comment-fenced section inside a shared text file (e.g. `.gitignore`)
+ * - `Merge`  — deep-merge intent for a structured file (e.g. `package.json`)
+ * - `Owned`  — single blueprint owns the whole file content
+ * - `Seed`   — written once at first build; never enforced after
+ *
+ * `Exec` is not a file ownership mode: it names a post-apply command that `build` and `remodel`
+ * run in a final phase, after every file operation has succeeded.
+ */
+export const RegionOp = Schema.TaggedStruct("Region", {
+    ownerId: Schema.String,
+    path: Schema.String,
+    commentPrefix: Schema.String,
+    /**
+     * Optional comment suffix for prefix/suffix-pair comment styles (HTML/MDX/XML). When omitted
+     * (the default), the marker terminates at end-of-line — that's the right shape for `#`, `//`,
+     * `--`, and other single-prefix comment syntaxes. Set to `" -->"` for HTML/markdown.
+     */
+    commentSuffix: Schema.optional(Schema.String),
+    content: Schema.String,
+});
+export const MergeOp = Schema.TaggedStruct("Merge", {
+    ownerId: Schema.String,
+    path: Schema.String,
+    /** Dotted-path keys this blueprint owns inside the JSON tree (e.g. "scripts.pjt"). */
+    ownedKeys: Schema.Array(Schema.String),
+    /** Partial JSON value to deep-merge under those keys. */
+    value: Schema.Unknown,
+});
+export const OwnedOp = Schema.TaggedStruct("Owned", {
+    ownerId: Schema.String,
+    path: Schema.String,
+    content: Schema.String,
+    /**
+     * Directory this owner manages. When the file is removed, empty directories are pruned from the
+     * file's parent up to and including this one — never above it. Absent: no pruning.
+     */
+    ownedDir: Schema.optional(Schema.String),
+});
+export const SeedOp = Schema.TaggedStruct("Seed", {
+    ownerId: Schema.String,
+    path: Schema.String,
+    content: Schema.String,
+});
+export const ExecOp = Schema.TaggedStruct("Exec", {
+    ownerId: Schema.String,
+    /** The command line to run from the project root; it must be covered by an `exec` permission. */
+    command: Schema.String,
+    /**
+     * The command that reports whether `command` still has work to do. Carried in the plan for
+     * `pjt inspect`; build and remodel run only `command`, never `check`.
+     */
+    check: Schema.optional(Schema.String),
+});
+export const Operation = Schema.Union([RegionOp, MergeOp, OwnedOp, SeedOp, ExecOp]);
+export const ChangeSet = Schema.Struct({
+    operations: Schema.Array(Operation),
+});
+export const empty = { operations: [] };
+export const concat = dual(2, (self, that) => ({
+    operations: [...self.operations, ...that.operations],
+}));
+export const of = (...ops) => ({ operations: ops });
+/**
+ * `ChangeSet` is a monoid: {@link empty} is the identity and {@link concat} combines associatively
+ * (operation arrays append). Exposed as a `Reducer` so composite blueprints fold their parts'
+ * ChangeSets with `ChangeSet.Reducer.combineAll(parts)` — the same universal merge pattern the
+ * config cascade uses — instead of hand-rolling the concat.
+ */
+export const Reducer = ReducerLib.make((self, that) => concat(self, that), empty);
+//# sourceMappingURL=change-set.js.map

package/dist/change-set.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"change-set.js","sourceRoot":"","sources":["../src/change-set.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,IAAI,UAAU,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACtD,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAEtC;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE;IACpD,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,aAAa,EAAE,MAAM,CAAC,MAAM;IAC5B;;;;OAIG;IACH,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC7C,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE;IAClD,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,sFAAsF;IACtF,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IACtC,yDAAyD;IACzD,KAAK,EAAE,MAAM,CAAC,OAAO;CACtB,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE;IAClD,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB;;;OAGG;IACH,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;CACzC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE;IAChD,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE;IAChD,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,iGAAiG;IACjG,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB;;;OAGG;IACH,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;CACtC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;AAEnF,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC;IACrC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC;CACpC,CAAC,CAAA;AAUF,MAAM,CAAC,MAAM,KAAK,GAAc,EAAE,UAAU,EAAE,EAAE,EAAE,CAAA;AAElD,MAAM,CAAC,MAAM,MAAM,GAGf,IAAI,CACN,CAAC,EACD,CAAC,IAAe,EAAE,IAAe,EAAa,EAAE,CAAC,CAAC;IAChD,UAAU,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC;CACrD,CAAC,CACH,CAAA;AAED,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,GAAyB,EAAa,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAA;AAEpF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,OAAO,GAAkC,UAAU,CAAC,IAAI,CACnE,CAAC,IAAe,EAAE,IAAe,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,EACxD,KAAK,CACN,CAAA"}

package/dist/config.d.ts

@@ -0,0 +1,36 @@
+import { Reducer, Schema } from "effect";
+/**
+ * `ProjitectConfig` resolves through a four-layer reducer:
+ *
+ *   defaults → env (`PJT_*`) → `.pjt.ts` `config:` field → CLI args
+ *
+ * Each layer's value is a partial config; layers later in the chain override earlier ones. The
+ * final resolved value is what every command consumes.
+ */
+export declare const ProjitectConfig: Schema.Struct<{
+    /** Absolute path to the project root. Defaults to the directory containing `.pjt.ts`. */
+    readonly projectRoot: Schema.String;
+    /** Path to the user's blueprint file, relative to projectRoot. Defaults to `.pjt.ts`. */
+    readonly blueprintFile: Schema.String;
+    /** Whether `build` requires a clean git working tree before destroying the project. Default true. */
+    readonly requireCleanGit: Schema.Boolean;
+    /** Whether to emit JSON output for `inspect` / `remodel` (machine-readable). Default false. */
+    readonly jsonOutput: Schema.Boolean;
+    /** Verbosity. 0=quiet, 1=normal, 2=verbose, 3=debug. */
+    readonly verbosity: Schema.Number;
+}>;
+export type ProjitectConfig = typeof ProjitectConfig.Type;
+export declare const defaults: ProjitectConfig;
+/**
+ * The config cascade as one algebraic fold: partial layers combine right-biased (a later layer's
+ * defined keys win), with the empty config `{}` as the identity — so a missing layer combines as a
+ * no-op. This is the universal "merge a list of things" pattern, named once rather than
+ * re-implemented per call site.
+ */
+export declare const Overrides: Reducer.Reducer<Partial<ProjitectConfig>>;
+/**
+ * Reduce a list of partial overrides into a single resolved config, applying them left-to-right
+ * over the {@link defaults}. Later overrides win.
+ */
+export declare const resolve: (...overrides: readonly Partial<ProjitectConfig>[]) => ProjitectConfig;
+//# sourceMappingURL=config.d.ts.map

package/dist/config.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../src/config.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAExC;;;;;;;GAOG;AACH,eAAO,MAAM,eAAe;IAC1B,yFAAyF;;IAEzF,yFAAyF;;IAEzF,qGAAqG;;IAErG,+FAA+F;;IAE/F,wDAAwD;;EAExD,CAAA;AAEF,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAA;AAEzD,eAAO,MAAM,QAAQ,EAAE,eAMtB,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,CAEX,CAAA;AAErD;;;GAGG;AACH,eAAO,MAAM,OAAO,GAAI,GAAG,WAAW,SAAS,OAAO,CAAC,eAAe,CAAC,EAAE,KAAG,eAG1E,CAAA"}

package/dist/config.js

@@ -0,0 +1,44 @@
+import { Reducer, Schema } from "effect";
+/**
+ * `ProjitectConfig` resolves through a four-layer reducer:
+ *
+ *   defaults → env (`PJT_*`) → `.pjt.ts` `config:` field → CLI args
+ *
+ * Each layer's value is a partial config; layers later in the chain override earlier ones. The
+ * final resolved value is what every command consumes.
+ */
+export const ProjitectConfig = Schema.Struct({
+    /** Absolute path to the project root. Defaults to the directory containing `.pjt.ts`. */
+    projectRoot: Schema.String,
+    /** Path to the user's blueprint file, relative to projectRoot. Defaults to `.pjt.ts`. */
+    blueprintFile: Schema.String,
+    /** Whether `build` requires a clean git working tree before destroying the project. Default true. */
+    requireCleanGit: Schema.Boolean,
+    /** Whether to emit JSON output for `inspect` / `remodel` (machine-readable). Default false. */
+    jsonOutput: Schema.Boolean,
+    /** Verbosity. 0=quiet, 1=normal, 2=verbose, 3=debug. */
+    verbosity: Schema.Number,
+});
+export const defaults = {
+    projectRoot: process.cwd(),
+    blueprintFile: ".pjt.ts",
+    requireCleanGit: true,
+    jsonOutput: false,
+    verbosity: 1,
+};
+/**
+ * The config cascade as one algebraic fold: partial layers combine right-biased (a later layer's
+ * defined keys win), with the empty config `{}` as the identity — so a missing layer combines as a
+ * no-op. This is the universal "merge a list of things" pattern, named once rather than
+ * re-implemented per call site.
+ */
+export const Overrides = Reducer.make((earlier, later) => ({ ...earlier, ...later }), {});
+/**
+ * Reduce a list of partial overrides into a single resolved config, applying them left-to-right
+ * over the {@link defaults}. Later overrides win.
+ */
+export const resolve = (...overrides) => ({
+    ...defaults,
+    ...Overrides.combineAll(overrides),
+});
+//# sourceMappingURL=config.js.map

package/dist/config.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.js","sourceRoot":"","sources":["../src/config.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAExC;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3C,yFAAyF;IACzF,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,yFAAyF;IACzF,aAAa,EAAE,MAAM,CAAC,MAAM;IAC5B,qGAAqG;IACrG,eAAe,EAAE,MAAM,CAAC,OAAO;IAC/B,+FAA+F;IAC/F,UAAU,EAAE,MAAM,CAAC,OAAO;IAC1B,wDAAwD;IACxD,SAAS,EAAE,MAAM,CAAC,MAAM;CACzB,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,QAAQ,GAAoB;IACvC,WAAW,EAAE,OAAO,CAAC,GAAG,EAAE;IAC1B,aAAa,EAAE,SAAS;IACxB,eAAe,EAAE,IAAI;IACrB,UAAU,EAAE,KAAK;IACjB,SAAS,EAAE,CAAC;CACb,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,SAAS,GAA8C,OAAO,CAAC,IAAI,CAE9E,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;AAErD;;;GAGG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,GAAG,SAA8C,EAAmB,EAAE,CAAC,CAAC;IAC9F,GAAG,QAAQ;IACX,GAAG,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC;CACnC,CAAC,CAAA"}