@projitect/cli-internals 0.0.0-stage → 1.0.1

package/dist/commands/explain.d.ts

@@ -0,0 +1,10 @@
+import { Effect } from "effect";
+/**
+ * `pjt explain <id>` — print a short description of an error id, with a link to the docs page.
+ * The full content lives on the marketing site at `/errors/<id>`; this CLI gives the basics
+ * without a network call.
+ */
+export declare const explain: (params: {
+    readonly errorId: string;
+}) => Effect.Effect<string>;
+//# sourceMappingURL=explain.d.ts.map

package/dist/commands/explain.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"explain.d.ts","sourceRoot":"","sources":["../../src/commands/explain.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAkB,MAAM,QAAQ,CAAA;AAK/C;;;;GAIG;AACH,eAAO,MAAM,OAAO,GAAI,QAAQ;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,KAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAOhF,CAAA"}

package/dist/commands/explain.js

@@ -0,0 +1,46 @@
+import { Effect, Option, Schema } from "effect";
+import { Errors } from "@projitect/core";
+const ErrorId = Schema.Literals(Errors.ERROR_IDS);
+/**
+ * `pjt explain <id>` — print a short description of an error id, with a link to the docs page.
+ * The full content lives on the marketing site at `/errors/<id>`; this CLI gives the basics
+ * without a network call.
+ */
+export const explain = (params) => Effect.sync(() => Option.match(Schema.decodeUnknownOption(ErrorId)(params.errorId), {
+    onNone: () => `Unknown error id: ${params.errorId}\nSee https://projitect.dev/errors for the full registry.`,
+    onSome: (id) => `${id}\n${ERROR_BLURBS[id]}\nMore at: ${Errors.docsUrl(id)}`,
+}));
+const ERROR_BLURBS = {
+    "pjt.fs.permission-denied": "A blueprint attempted a filesystem operation outside its declared permissions. Check the blueprint's `permissions` array.",
+    "pjt.fs.read-failed": "A read operation failed at the OS level (typically ENOENT or EACCES). The cause is printed alongside.",
+    "pjt.fs.write-failed": "A write operation failed at the OS level. The cause is printed alongside.",
+    "pjt.loader.import-failed": "The `.pjt.ts` file could not be imported. Check for syntax errors or missing dependencies.",
+    "pjt.loader.invalid-default-export": "`.pjt.ts` must `export default pjt({...})`. Found a different shape.",
+    "pjt.config.invalid": "A config value failed schema validation. The offending field and source layer are reported.",
+    "pjt.config.blueprint-file-not-found": "No `.pjt.ts` at the project root. Run `pjt init` to create one.",
+    "pjt.plan.conflict-region": "Two blueprints share the same `ownerId` for a region in the same file. Pick distinct ids.",
+    "pjt.plan.conflict-merge": "Two blueprints claim the same JSON key in the same file. Coordinate ownership.",
+    "pjt.plan.conflict-owned": "Two blueprints both claim full ownership of one file. Only one `ownFile` per path is allowed.",
+    "pjt.skills.invalid-path": "A skill name, target root or file path is empty, absolute, or tries to leave the skills directory — or a skill has no `SKILL.md`.",
+    "pjt.region.missing-end": "A region start marker was found without a matching end marker. The file has been hand-edited and the closing marker removed.",
+    "pjt.region.duplicate": "Multiple start markers for the same region in one file. Hand-edited?",
+    "pjt.apply.dirty-git": "`build` requires a clean git working tree. Commit or stash first, then retry.",
+    "pjt.init.git-missing": "`pjt init` requires a git repository. Run `git init` first, or rerun with --yes.",
+    "pjt.init.package-json-missing": "`pjt init` requires a `package.json`. Run `npm init -y` first, or rerun with --yes.",
+    "pjt.drift.detected": "`pjt inspect` exits nonzero when the project drifts from its blueprints. Run `pjt remodel` to sync.",
+    "pjt.lock.parse-failed": "`.pjt.lock` is corrupted or doesn't match the expected schema. Delete it and rerun `pjt remodel` to rebuild.",
+    "pjt.lock.version-mismatch": "`.pjt.lock` was written by a newer projitect than the one currently installed. Upgrade the `projitect` devDep.",
+    "pjt.git.not-a-repo": "Required a git repository, but `.git/` was missing. Run `git init` first.",
+    "pjt.git.command-failed": "A `git` command exited non-zero or git isn't installed. The underlying error is included in the message.",
+    "pjt.exec.command-failed": "A command run by projitect exited non-zero or could not be started. Its exit code, stdout and stderr are included.",
+    "pjt.exec.command-not-permitted": "A blueprint tried to run a command that none of its declared `exec` permissions names exactly.",
+    "pjt.inspect.operation-unsupported": "`pjt inspect` cannot check a project whose blueprints declare post-apply commands, so it fails instead of reporting clean.",
+    "pjt.pm.not-detected": "Could not figure out which package manager you're using. Add a lockfile (`pnpm-lock.yaml`, `package-lock.json`, etc.) at your project root.",
+    "pjt.pm.install-failed": "The package manager install command exited non-zero. The underlying error is included in the message.",
+    "pjt.add.markers-missing": "Your `.pjt.ts` is missing the marker comment pairs `pjt:imports` and `pjt:blueprints`. `pjt add` uses those as splice anchors. Restore them and re-run.",
+    "pjt.add.metadata-missing": "The package you added has no `projitect` field in its package.json, so `pjt add` can't splice it. Import it in `.pjt.ts` by hand, then run `pjt remodel`.",
+    "pjt.worker.crashed": "The worker process that runs blueprint code crashed before it returned a result. The exit code or signal is included in the message.",
+    "pjt.worker.timed-out": "The worker process that runs blueprint code did not finish within its time limit and was stopped. Check for a blueprint that never completes.",
+    "pjt.worker.exited-early": "The worker process that runs blueprint code exited before it finished its work. The exit code or signal is included in the message.",
+};
+//# sourceMappingURL=explain.js.map

package/dist/commands/explain.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"explain.js","sourceRoot":"","sources":["../../src/commands/explain.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/C,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAA;AAExC,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;AAEjD;;;;GAIG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,MAAoC,EAAyB,EAAE,CACrF,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CACf,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE;IAChE,MAAM,EAAE,GAAG,EAAE,CACX,qBAAqB,MAAM,CAAC,OAAO,2DAA2D;IAChG,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,KAAK,YAAY,CAAC,EAAE,CAAC,cAAc,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE;CAC7E,CAAC,CACH,CAAA;AAEH,MAAM,YAAY,GAA6C;IAC7D,0BAA0B,EACxB,2HAA2H;IAC7H,oBAAoB,EAClB,uGAAuG;IACzG,qBAAqB,EACnB,2EAA2E;IAC7E,0BAA0B,EACxB,4FAA4F;IAC9F,mCAAmC,EACjC,sEAAsE;IACxE,oBAAoB,EAClB,6FAA6F;IAC/F,qCAAqC,EACnC,iEAAiE;IACnE,0BAA0B,EACxB,2FAA2F;IAC7F,yBAAyB,EACvB,gFAAgF;IAClF,yBAAyB,EACvB,+FAA+F;IACjG,yBAAyB,EACvB,mIAAmI;IACrI,wBAAwB,EACtB,8HAA8H;IAChI,sBAAsB,EAAE,sEAAsE;IAC9F,qBAAqB,EACnB,+EAA+E;IACjF,sBAAsB,EACpB,kFAAkF;IACpF,+BAA+B,EAC7B,qFAAqF;IACvF,oBAAoB,EAClB,qGAAqG;IACvG,uBAAuB,EACrB,8GAA8G;IAChH,2BAA2B,EACzB,gHAAgH;IAClH,oBAAoB,EAAE,2EAA2E;IACjG,wBAAwB,EACtB,0GAA0G;IAC5G,yBAAyB,EACvB,oHAAoH;IACtH,gCAAgC,EAC9B,gGAAgG;IAClG,mCAAmC,EACjC,4HAA4H;IAC9H,qBAAqB,EACnB,6IAA6I;IAC/I,uBAAuB,EACrB,uGAAuG;IACzG,yBAAyB,EACvB,yJAAyJ;IAC3J,0BAA0B,EACxB,2JAA2J;IAC7J,oBAAoB,EAClB,sIAAsI;IACxI,sBAAsB,EACpB,+IAA+I;IACjJ,yBAAyB,EACvB,qIAAqI;CACxI,CAAA"}

package/dist/commands/init.d.ts

@@ -0,0 +1,34 @@
+import { Effect } from "effect";
+import { Errors } from "@projitect/core";
+import type { ProjitectConfig } from "@projitect/core";
+import type { RemodelResult } from "./remodel.js";
+export interface InitResult {
+    readonly seededBlueprintFile: boolean;
+    readonly bootstrappedGit: boolean;
+    readonly bootstrappedPackageJson: boolean;
+    readonly remodel: RemodelResult;
+}
+/**
+ * `pjt init` — bootstrap projitect in the current project.
+ *
+ * Verifies the prerequisites (`.git/` and `package.json` both present), seeds an empty
+ * `.pjt.ts` with the marker structure if absent, then delegates to `remodel` which runs the
+ * standard plan/apply/lockfile-write pipeline. The projitect blueprint (prepended automatically
+ * by `@projitect/cli`'s `pjt()`) writes the package.json entries and the `.pjt.ts` import region
+ * on its first apply. Before seeding or loading the config, missing local CLI and Effect
+ * dependencies are installed so an ephemeral dlx invocation can resolve those imports.
+ *
+ * With `yes: true`, both prerequisites are auto-bootstrapped instead of erroring:
+ *   - Missing `.git/` → `git init -q` shell-out.
+ *   - Missing `package.json` → a minimal stub is written (`{ "name": "<dirname>", ... }`).
+ * This is what CI / scripted setups use (`pjt init --yes`); the interactive flow keeps the
+ * stricter prerequisite checks so a typo doesn't accidentally create a git repo in `$HOME`.
+ *
+ * No special-case code for "the projitect bootstrap" lives here — the projitect blueprint owns
+ * those concerns and runs through the same pipeline as every other blueprint.
+ */
+export declare const init: (params: {
+    readonly config: ProjitectConfig.ProjitectConfig;
+    readonly yes?: boolean;
+}) => Effect.Effect<InitResult, Errors.ProjitectError>;
+//# sourceMappingURL=init.d.ts.map

package/dist/commands/init.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"init.d.ts","sourceRoot":"","sources":["../../src/commands/init.ts"],"names":[],"mappings":"AAIA,OAAO,EAAS,MAAM,EAAkB,MAAM,QAAQ,CAAA;AACtD,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAA;AACxC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;AAGtD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AASjD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,mBAAmB,EAAE,OAAO,CAAA;IACrC,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAA;IACjC,QAAQ,CAAC,uBAAuB,EAAE,OAAO,CAAA;IACzC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAA;CAChC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,IAAI,GAAI,QAAQ;IAC3B,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC,eAAe,CAAA;IAChD,QAAQ,CAAC,GAAG,CAAC,EAAE,OAAO,CAAA;CACvB,KAAG,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,cAAc,CA2B/C,CAAA"}

package/dist/commands/init.js

@@ -0,0 +1,153 @@
+import { promises as fs } from "node:fs";
+import { spawn } from "node:child_process";
+import { createRequire } from "node:module";
+import path from "node:path";
+import { Array, Effect, Option, Schema } from "effect";
+import { Errors } from "@projitect/core";
+import { detect, installDev as installDevelopment, installProject } from "../pm.js";
+import { remodel } from "./remodel.js";
+const manifest = Schema.decodeUnknownSync(Schema.Struct({
+    version: Schema.String,
+    peerDependencies: Schema.Struct({ effect: Schema.String }),
+}))(createRequire(import.meta.url)("../../package.json"));
+/**
+ * `pjt init` — bootstrap projitect in the current project.
+ *
+ * Verifies the prerequisites (`.git/` and `package.json` both present), seeds an empty
+ * `.pjt.ts` with the marker structure if absent, then delegates to `remodel` which runs the
+ * standard plan/apply/lockfile-write pipeline. The projitect blueprint (prepended automatically
+ * by `@projitect/cli`'s `pjt()`) writes the package.json entries and the `.pjt.ts` import region
+ * on its first apply. Before seeding or loading the config, missing local CLI and Effect
+ * dependencies are installed so an ephemeral dlx invocation can resolve those imports.
+ *
+ * With `yes: true`, both prerequisites are auto-bootstrapped instead of erroring:
+ *   - Missing `.git/` → `git init -q` shell-out.
+ *   - Missing `package.json` → a minimal stub is written (`{ "name": "<dirname>", ... }`).
+ * This is what CI / scripted setups use (`pjt init --yes`); the interactive flow keeps the
+ * stricter prerequisite checks so a typo doesn't accidentally create a git repo in `$HOME`.
+ *
+ * No special-case code for "the projitect bootstrap" lives here — the projitect blueprint owns
+ * those concerns and runs through the same pipeline as every other blueprint.
+ */
+export const init = (params) => Effect.gen(function* () {
+    const bootstrappedGit = yield* ensureGit(params.config.projectRoot, params.yes ?? false);
+    const bootstrappedPackageJson = yield* ensurePackageJson(params.config.projectRoot, params.yes ?? false);
+    const bootstrapPm = yield* ensureBootstrapDependencies(params.config.projectRoot);
+    const seededBlueprintFile = yield* seedBlueprintFileIfAbsent(params.config.projectRoot, params.config.blueprintFile);
+    const remodelResult = yield* remodel({ config: params.config });
+    yield* Option.match(bootstrapPm, {
+        onNone: () => Effect.void,
+        onSome: (pm) => installProject({ projectRoot: params.config.projectRoot, pm }),
+    });
+    return {
+        seededBlueprintFile,
+        bootstrappedGit,
+        bootstrappedPackageJson,
+        remodel: remodelResult,
+    };
+});
+/** A dlx runner lives outside the project; generated imports must resolve locally first. */
+const ensureBootstrapDependencies = (projectRoot) => Effect.forEach([
+    { name: "@projitect/cli", spec: `@projitect/cli@${manifest.version}` },
+    { name: "effect", spec: `effect@${manifest.peerDependencies.effect}` },
+], ({ name, spec }) => Effect.gen(function* () {
+    const installed = yield* Effect.promise(() => fs.access(path.join(projectRoot, "node_modules", name, "package.json")).then(() => true, () => false));
+    if (installed) {
+        return Option.none();
+    }
+    const pm = yield* detect({ projectRoot });
+    yield* installDevelopment({ projectRoot, pm, pkg: spec });
+    return Option.some(pm);
+})).pipe(Effect.map((results) => Array.head(Array.getSomes(results))));
+const ensureGit = (projectRoot, yes) => Effect.gen(function* () {
+    const ok = yield* Effect.promise(() => fs.access(path.join(projectRoot, ".git")).then(() => true, () => false));
+    if (ok) {
+        return false;
+    }
+    if (!yes) {
+        return yield* new Errors.InitGitMissing({
+            id: "pjt.init.git-missing",
+            message: "No `.git` directory found. Run `git init` and then `pjt init` again, or run `pjt init --yes` to create the repository for you.",
+        });
+    }
+    yield* Effect.promise(() => new Promise((resolve, reject) => {
+        const child = spawn("git", ["init", "-q"], { cwd: projectRoot, stdio: "ignore" });
+        child.on("error", reject);
+        child.on("close", (code) => {
+            if (code === 0) {
+                resolve();
+            }
+            else {
+                reject(new Error(`git init exited with ${String(code)}`));
+            }
+        });
+    }));
+    return true;
+});
+const ensurePackageJson = (projectRoot, yes) => Effect.gen(function* () {
+    const ok = yield* Effect.promise(() => fs.access(path.join(projectRoot, "package.json")).then(() => true, () => false));
+    if (ok) {
+        return false;
+    }
+    if (!yes) {
+        return yield* new Errors.InitPackageJsonMissing({
+            id: "pjt.init.package-json-missing",
+            message: "No `package.json` found. Run `npm init -y` (or your PM equivalent) first, then re-run `pjt init` — or pass `--yes` to auto-bootstrap.",
+        });
+    }
+    const name = path.basename(projectRoot) || "project";
+    const stub = {
+        name,
+        version: "0.0.0",
+        private: true,
+        type: "module",
+    };
+    yield* Effect.tryPromise({
+        try: () => fs.writeFile(path.join(projectRoot, "package.json"), `${JSON.stringify(stub, null, 2)}\n`, "utf8"),
+        catch: (e) => new Errors.FsWriteFailed({
+            id: "pjt.fs.write-failed",
+            path: "package.json",
+            cause: e instanceof Error ? e.message : String(e),
+            message: "Failed to seed package.json during `pjt init --yes`",
+        }),
+    });
+    return true;
+});
+const seedBlueprintFileIfAbsent = (projectRoot, blueprintFile) => Effect.gen(function* () {
+    const full = path.join(projectRoot, blueprintFile);
+    const exists = yield* Effect.promise(() => fs.access(full).then(() => true, () => false));
+    if (exists) {
+        return false;
+    }
+    yield* Effect.tryPromise({
+        try: () => fs.writeFile(full, STARTER_PJT_TS, "utf8"),
+        catch: (e) => new Errors.FsWriteFailed({
+            id: "pjt.fs.write-failed",
+            path: blueprintFile,
+            cause: e instanceof Error ? e.message : String(e),
+            message: `Failed to seed ${blueprintFile}`,
+        }),
+    });
+    return true;
+});
+/**
+ * Starter `.pjt.ts` template. Three marker regions: the projitect blueprint owns
+ * `pjt:projitect:imports` (it writes the `import { pjt } from "@projitect/cli"` line on first
+ * remodel). The other two — `pjt:imports` and `pjt:blueprints` — are **convention anchors**
+ * that `pjt add` splices into; they are not managed regions and don't appear in `.pjt.lock`.
+ */
+const STARTER_PJT_TS = `// pjt:projitect:imports start
+import { pjt } from "@projitect/cli"
+// pjt:projitect:imports end
+
+// pjt:imports start
+// pjt:imports end
+
+export default pjt({
+  blueprints: [
+    // pjt:blueprints start
+    // pjt:blueprints end
+  ],
+})
+`;
+//# sourceMappingURL=init.js.map

package/dist/commands/init.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"init.js","sourceRoot":"","sources":["../../src/commands/init.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,IAAI,EAAE,EAAE,MAAM,SAAS,CAAA;AACxC,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAC3C,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACtD,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAA;AAExC,OAAO,EAAE,MAAM,EAAE,UAAU,IAAI,kBAAkB,EAAE,cAAc,EAAE,MAAM,UAAU,CAAA;AACnF,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAGtC,MAAM,QAAQ,GAAG,MAAM,CAAC,iBAAiB,CACvC,MAAM,CAAC,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;CAC3D,CAAC,CACH,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAA;AASvD;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,MAGpB,EAAoD,EAAE,CACrD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,GAAG,IAAI,KAAK,CAAC,CAAA;IACxF,MAAM,uBAAuB,GAAG,KAAK,CAAC,CAAC,iBAAiB,CACtD,MAAM,CAAC,MAAM,CAAC,WAAW,EACzB,MAAM,CAAC,GAAG,IAAI,KAAK,CACpB,CAAA;IAED,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,2BAA2B,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;IAEjF,MAAM,mBAAmB,GAAG,KAAK,CAAC,CAAC,yBAAyB,CAC1D,MAAM,CAAC,MAAM,CAAC,WAAW,EACzB,MAAM,CAAC,MAAM,CAAC,aAAa,CAC5B,CAAA;IAED,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAA;IAC/D,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE;QAC/B,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI;QACzB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,EAAE,CAAC;KAC/E,CAAC,CAAA;IAEF,OAAO;QACL,mBAAmB;QACnB,eAAe;QACf,uBAAuB;QACvB,OAAO,EAAE,aAAa;KACvB,CAAA;AACH,CAAC,CAAC,CAAA;AAEJ,4FAA4F;AAC5F,MAAM,2BAA2B,GAAG,CAAC,WAAmB,EAAE,EAAE,CAC1D,MAAM,CAAC,OAAO,CACZ;IACE,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,kBAAkB,QAAQ,CAAC,OAAO,EAAE,EAAE;IACtE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,QAAQ,CAAC,gBAAgB,CAAC,MAAM,EAAE,EAAE;CACvE,EACD,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CACjB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAC3C,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,CAC1E,GAAG,EAAE,CAAC,IAAI,EACV,GAAG,EAAE,CAAC,KAAK,CACZ,CACF,CAAA;IACD,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,MAAM,CAAC,IAAI,EAAE,CAAA;IACtB,CAAC;IACD,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,CAAC,CAAA;IACzC,KAAK,CAAC,CAAC,kBAAkB,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAA;IACzD,OAAO,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;AACxB,CAAC,CAAC,CACL,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;AAEtE,MAAM,SAAS,GAAG,CAChB,WAAmB,EACnB,GAAY,EACmC,EAAE,CACjD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CACpC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAC5C,GAAG,EAAE,CAAC,IAAI,EACV,GAAG,EAAE,CAAC,KAAK,CACZ,CACF,CAAA;IACD,IAAI,EAAE,EAAE,CAAC;QACP,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,OAAO,KAAK,CAAC,CAAC,IAAI,MAAM,CAAC,cAAc,CAAC;YACtC,EAAE,EAAE,sBAAsB;YAC1B,OAAO,EACL,gIAAgI;SACnI,CAAC,CAAA;IACJ,CAAC;IACD,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACnB,GAAG,EAAE,CACH,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QACpC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAA;QACjF,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;QACzB,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;YACzB,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;gBACf,OAAO,EAAE,CAAA;YACX,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,KAAK,CAAC,wBAAwB,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;YAC3D,CAAC;QACH,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CACL,CAAA;IACD,OAAO,IAAI,CAAA;AACb,CAAC,CAAC,CAAA;AAEJ,MAAM,iBAAiB,GAAG,CACxB,WAAmB,EACnB,GAAY,EACkE,EAAE,CAChF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CACpC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,CACpD,GAAG,EAAE,CAAC,IAAI,EACV,GAAG,EAAE,CAAC,KAAK,CACZ,CACF,CAAA;IACD,IAAI,EAAE,EAAE,CAAC;QACP,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,OAAO,KAAK,CAAC,CAAC,IAAI,MAAM,CAAC,sBAAsB,CAAC;YAC9C,EAAE,EAAE,+BAA+B;YACnC,OAAO,EACL,uIAAuI;SAC1I,CAAC,CAAA;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,SAAS,CAAA;IACpD,MAAM,IAAI,GAAG;QACX,IAAI;QACJ,OAAO,EAAE,OAAO;QAChB,OAAO,EAAE,IAAI;QACb,IAAI,EAAE,QAAiB;KACxB,CAAA;IACD,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;QACvB,GAAG,EAAE,GAAG,EAAE,CACR,EAAE,CAAC,SAAS,CACV,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,CAAC,EACtC,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EACpC,MAAM,CACP;QACH,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CACX,IAAI,MAAM,CAAC,aAAa,CAAC;YACvB,EAAE,EAAE,qBAAqB;YACzB,IAAI,EAAE,cAAc;YACpB,KAAK,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACjD,OAAO,EAAE,qDAAqD;SAC/D,CAAC;KACL,CAAC,CAAA;IACF,OAAO,IAAI,CAAA;AACb,CAAC,CAAC,CAAA;AAEJ,MAAM,yBAAyB,GAAG,CAChC,WAAmB,EACnB,aAAqB,EACyB,EAAE,CAChD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,aAAa,CAAC,CAAA;IAClD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CACxC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAClB,GAAG,EAAE,CAAC,IAAI,EACV,GAAG,EAAE,CAAC,KAAK,CACZ,CACF,CAAA;IACD,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,KAAK,CAAA;IACd,CAAC;IAED,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;QACvB,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,cAAc,EAAE,MAAM,CAAC;QACrD,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CACX,IAAI,MAAM,CAAC,aAAa,CAAC;YACvB,EAAE,EAAE,qBAAqB;YACzB,IAAI,EAAE,aAAa;YACnB,KAAK,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACjD,OAAO,EAAE,kBAAkB,aAAa,EAAE;SAC3C,CAAC;KACL,CAAC,CAAA;IACF,OAAO,IAAI,CAAA;AACb,CAAC,CAAC,CAAA;AAEJ;;;;;GAKG;AACH,MAAM,cAAc,GAAG;;;;;;;;;;;;;CAatB,CAAA"}

package/dist/commands/inspect-json.d.ts

@@ -0,0 +1,51 @@
+import { Schema } from "effect";
+/**
+ * Versioned URL for the published `pjt inspect --json` contract. Doubles as the `$id` of the
+ * generated JSON Schema document and the `$schema` value every `--json` output carries. Bumps to
+ * `inspect.v2.json` only on a breaking change to the output shape, shipped in a major release.
+ */
+export declare const InspectJsonSchemaUrl = "https://projitect.dev/schemas/inspect.v1.json";
+/**
+ * Effect Schema for the `pjt inspect --json` output. `renderInspectJson` encodes through this so
+ * the TypeScript types it's built from (`FileDiff`, `UpgradeRecord`, `PjtLock.LockOperation`) are
+ * checked against it at compile time, and the published JSON Schema file is generated from this
+ * same definition — it can't drift from the code that produces the output.
+ */
+export declare const InspectJson: Schema.Struct<{
+    readonly $schema: Schema.Literal<"https://projitect.dev/schemas/inspect.v1.json">;
+    readonly hasDrift: Schema.Boolean;
+    readonly files: Schema.$Array<Schema.Struct<{
+        readonly path: Schema.String;
+        readonly status: Schema.Literals<readonly ["create", "modify", "ok"]>;
+        readonly summary: Schema.String;
+    }>>;
+    readonly removals: Schema.$Array<Schema.Union<readonly [Schema.TaggedStruct<"Region", {
+        readonly path: Schema.String;
+        readonly ownerId: Schema.String;
+        readonly commentPrefix: Schema.String;
+        readonly commentSuffix: Schema.optional<Schema.String>;
+    }>, Schema.TaggedStruct<"Merge", {
+        readonly path: Schema.String;
+        readonly ownedKeys: Schema.$Array<Schema.String>;
+    }>, Schema.TaggedStruct<"Owned", {
+        readonly path: Schema.String;
+        readonly ownerId: Schema.String;
+        readonly ownedDir: Schema.optional<Schema.String>;
+    }>, Schema.TaggedStruct<"Seed", {
+        readonly path: Schema.String;
+        readonly ownerId: Schema.String;
+    }>]>>;
+    readonly upgrades: Schema.$Array<Schema.Struct<{
+        readonly blueprintId: Schema.String;
+        readonly from: Schema.String;
+        readonly to: Schema.String;
+    }>>;
+}>;
+export type InspectJson = typeof InspectJson.Type;
+/**
+ * The published schema file's contents — generated from {@link InspectJson}, never hand-edited.
+ * `additionalProperties: true` keeps the documented promise that new keys may be added within a
+ * version without breaking consumers.
+ */
+export declare const inspectJsonSchemaDocument: () => Record<string, unknown>;
+//# sourceMappingURL=inspect-json.d.ts.map

package/dist/commands/inspect-json.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inspect-json.d.ts","sourceRoot":"","sources":["../../src/commands/inspect-json.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAG/B;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,kDAAkD,CAAA;AAEnF;;;;;GAKG;AACH,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAiCtB,CAAA;AAEF,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC,IAAI,CAAA;AAEjD;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,QAAO,MAAM,CAAC,MAAM,EAAE,OAAO,CASlE,CAAA"}

package/dist/commands/inspect-json.js

@@ -0,0 +1,58 @@
+import { Schema } from "effect";
+import { PjtLock } from "@projitect/core";
+/**
+ * Versioned URL for the published `pjt inspect --json` contract. Doubles as the `$id` of the
+ * generated JSON Schema document and the `$schema` value every `--json` output carries. Bumps to
+ * `inspect.v2.json` only on a breaking change to the output shape, shipped in a major release.
+ */
+export const InspectJsonSchemaUrl = "https://projitect.dev/schemas/inspect.v1.json";
+/**
+ * Effect Schema for the `pjt inspect --json` output. `renderInspectJson` encodes through this so
+ * the TypeScript types it's built from (`FileDiff`, `UpgradeRecord`, `PjtLock.LockOperation`) are
+ * checked against it at compile time, and the published JSON Schema file is generated from this
+ * same definition — it can't drift from the code that produces the output.
+ */
+export const InspectJson = Schema.Struct({
+    $schema: Schema.Literal(InspectJsonSchemaUrl).annotate({
+        description: "Identifies the published JSON Schema this output conforms to.",
+    }),
+    hasDrift: Schema.Boolean.annotate({
+        description: "Whether the project has drifted from its blueprints or lockfile.",
+    }),
+    files: Schema.Array(Schema.Struct({
+        path: Schema.String,
+        status: Schema.Literals(["create", "modify", "ok"]).annotate({
+            description: '"create" — file absent, will be created; "modify" — exists but content drifts; "ok" — in sync.',
+        }),
+        summary: Schema.String,
+    })).annotate({ description: "Per-file drift status, one entry per managed file." }),
+    removals: Schema.Array(PjtLock.LockOperation).annotate({
+        description: "Operations recorded in the lockfile whose owning blueprint has left the tree.",
+    }),
+    upgrades: Schema.Array(Schema.Struct({
+        blueprintId: Schema.String,
+        from: Schema.String,
+        to: Schema.String,
+    })).annotate({
+        description: "Blueprints whose locked version differs from the tree's current version.",
+    }),
+}).annotate({
+    title: "pjt inspect --json output",
+    description: "Structured drift report for `pjt inspect --json`. New keys may be added within this version; removing or renaming a key requires a new schema version.",
+});
+/**
+ * The published schema file's contents — generated from {@link InspectJson}, never hand-edited.
+ * `additionalProperties: true` keeps the documented promise that new keys may be added within a
+ * version without breaking consumers.
+ */
+export const inspectJsonSchemaDocument = () => {
+    const doc = Schema.toJsonSchemaDocument(InspectJson, { additionalProperties: true });
+    const hasDefinitions = Object.keys(doc.definitions).length > 0;
+    return {
+        $schema: "https://json-schema.org/draft/2020-12/schema",
+        $id: InspectJsonSchemaUrl,
+        ...doc.schema,
+        ...(hasDefinitions ? { $defs: doc.definitions } : {}),
+    };
+};
+//# sourceMappingURL=inspect-json.js.map

package/dist/commands/inspect-json.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inspect-json.js","sourceRoot":"","sources":["../../src/commands/inspect-json.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAA;AAEzC;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,+CAA+C,CAAA;AAEnF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IACvC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC,QAAQ,CAAC;QACrD,WAAW,EAAE,+DAA+D;KAC7E,CAAC;IACF,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;QAChC,WAAW,EAAE,kEAAkE;KAChF,CAAC;IACF,KAAK,EAAE,MAAM,CAAC,KAAK,CACjB,MAAM,CAAC,MAAM,CAAC;QACZ,IAAI,EAAE,MAAM,CAAC,MAAM;QACnB,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;YAC3D,WAAW,EACT,gGAAgG;SACnG,CAAC;QACF,OAAO,EAAE,MAAM,CAAC,MAAM;KACvB,CAAC,CACH,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,oDAAoD,EAAE,CAAC;IACjF,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC;QACrD,WAAW,EAAE,+EAA+E;KAC7F,CAAC;IACF,QAAQ,EAAE,MAAM,CAAC,KAAK,CACpB,MAAM,CAAC,MAAM,CAAC;QACZ,WAAW,EAAE,MAAM,CAAC,MAAM;QAC1B,IAAI,EAAE,MAAM,CAAC,MAAM;QACnB,EAAE,EAAE,MAAM,CAAC,MAAM;KAClB,CAAC,CACH,CAAC,QAAQ,CAAC;QACT,WAAW,EAAE,0EAA0E;KACxF,CAAC;CACH,CAAC,CAAC,QAAQ,CAAC;IACV,KAAK,EAAE,2BAA2B;IAClC,WAAW,EACT,wJAAwJ;CAC3J,CAAC,CAAA;AAIF;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,GAA4B,EAAE;IACrE,MAAM,GAAG,GAAG,MAAM,CAAC,oBAAoB,CAAC,WAAW,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,CAAA;IACpF,MAAM,cAAc,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,MAAM,GAAG,CAAC,CAAA;IAC9D,OAAO;QACL,OAAO,EAAE,8CAA8C;QACvD,GAAG,EAAE,oBAAoB;QACzB,GAAG,GAAG,CAAC,MAAM;QACb,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACtD,CAAA;AACH,CAAC,CAAA"}

package/dist/commands/inspect.d.ts

@@ -0,0 +1,41 @@
+import { Effect } from "effect";
+import { Errors } from "@projitect/core";
+import type { PjtLock, ProjitectConfig } from "@projitect/core";
+import type { UpgradeRecord } from "../plan.js";
+import type { FileDiff } from "../differ.js";
+/**
+ * Result of `pjt inspect`. `output` is the human-readable rendering; the structured fields
+ * (`files`, `removals`, `upgrades`) are what `--json` mode emits. Both representations are
+ * always computed — switching modes is just a renderer choice.
+ */
+export interface InspectResult {
+    readonly hasDrift: boolean;
+    readonly output: string;
+    readonly files: readonly FileDiff[];
+    readonly removals: readonly PjtLock.LockOperation[];
+    readonly upgrades: readonly UpgradeRecord[];
+}
+/**
+ * `pjt inspect` — load the blueprint file, build the plan, diff against disk + lockfile, and
+ * return both a human-readable summary and the structured pieces a `--json` consumer needs.
+ *
+ * The dispatcher decides which representation to print; the command keeps the `hasDrift`
+ * boolean separate so the bin shim can set exit code 1 regardless of output mode (`pjt inspect
+ * --json` still exits nonzero on drift, which CI relies on for the "in spec / out of spec"
+ * promise).
+ */
+export declare const inspect: (params: {
+    readonly config: ProjitectConfig.ProjitectConfig;
+}) => Effect.Effect<InspectResult, Errors.ProjitectError>;
+/**
+ * Render the inspect result as a stable JSON object for CI / scripting, conforming to the
+ * published JSON Schema at {@link InspectJsonSchemaUrl} (also published at
+ * `apps/website/public/schemas/inspect.v1.json`). The `$schema` key names that contract.
+ *
+ * Stable means: keys won't be renamed or removed without a major bump (and a new schema
+ * version). New keys may be added at either level within a version; consumers should ignore
+ * unknown keys. Encoding through {@link InspectJson} ties this output to the same definition the
+ * schema is generated from, so the two can't drift apart.
+ */
+export declare const renderInspectJson: (result: InspectResult) => string;
+//# sourceMappingURL=inspect.d.ts.map

package/dist/commands/inspect.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inspect.d.ts","sourceRoot":"","sources":["../../src/commands/inspect.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,MAAM,EAAU,MAAM,QAAQ,CAAA;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAA;AACxC,OAAO,KAAK,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;AAI/D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AAE/C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAK5C;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAA;IACnC,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,CAAC,aAAa,EAAE,CAAA;IACnD,QAAQ,CAAC,QAAQ,EAAE,SAAS,aAAa,EAAE,CAAA;CAC5C;AAED;;;;;;;;GAQG;AACH,eAAO,MAAM,OAAO,GAAI,QAAQ;IAC9B,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC,eAAe,CAAA;CACjD,KAAG,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,cAAc,CA0ClD,CAAA;AAKJ;;;;;;;;;GASG;AACH,eAAO,MAAM,iBAAiB,GAAI,QAAQ,aAAa,KAAG,MAWnD,CAAA"}

package/dist/commands/inspect.js

@@ -0,0 +1,74 @@
+import { Array, Effect, Schema } from "effect";
+import { Errors } from "@projitect/core";
+import { loadBlueprintFile, isEffectTree } from "../loader.js";
+import { buildPlan, diffLockfile } from "../plan.js";
+import { diffPlan, renderInspectReport } from "../differ.js";
+import { makeProjectRootLayer, makeRealLayer } from "../filesystem-impl.js";
+import { readLockfile } from "../lockfile.js";
+import { InspectJson, InspectJsonSchemaUrl } from "./inspect-json.js";
+/**
+ * `pjt inspect` — load the blueprint file, build the plan, diff against disk + lockfile, and
+ * return both a human-readable summary and the structured pieces a `--json` consumer needs.
+ *
+ * The dispatcher decides which representation to print; the command keeps the `hasDrift`
+ * boolean separate so the bin shim can set exit code 1 regardless of output mode (`pjt inspect
+ * --json` still exits nonzero on drift, which CI relies on for the "in spec / out of spec"
+ * promise).
+ */
+export const inspect = (params) => Effect.gen(function* () {
+    const file = yield* loadBlueprintFile({
+        blueprintFile: params.config.blueprintFile,
+        projectRoot: params.config.projectRoot,
+    });
+    const tree = isEffectTree(file.blueprints)
+        ? yield* file.blueprints.pipe(Effect.provide(makeRealLayer({
+            blueprintId: "pjt:config-loader",
+            permissions: [{ kind: "read", glob: "**" }],
+            projectRoot: params.config.projectRoot,
+        })))
+        : file.blueprints;
+    const { plan, byBlueprint } = yield* buildPlan({
+        tree,
+        projectRoot: params.config.projectRoot,
+    });
+    // Fail closed: commands cannot be diffed yet, so a clean report would be a false one.
+    if (Array.isReadonlyArrayNonEmpty(plan.commands)) {
+        return yield* new Errors.OperationUnsupportedOnInspect({
+            id: "pjt.inspect.operation-unsupported",
+            operation: "Exec",
+            message: `\`pjt inspect\` cannot check post-apply commands, and ${plan.commands.length === 1 ? "1 is" : `${plan.commands.length} are`} declared (first: \`${plan.commands[0].command}\`).`,
+        });
+    }
+    return yield* Effect.gen(function* () {
+        const previous = yield* readLockfile;
+        const { removals, upgrades } = diffLockfile({ previous, current: byBlueprint });
+        const diff = yield* diffPlan({ plan });
+        const hasDrift = diff.hasDrift || removals.length > 0;
+        return {
+            hasDrift,
+            output: withNextStep(renderInspectReport({ diff, removals, upgrades }), hasDrift),
+            files: diff.files,
+            removals,
+            upgrades,
+        };
+    }).pipe(Effect.provide(makeProjectRootLayer(params.config.projectRoot)));
+});
+const withNextStep = (report, hasDrift) => hasDrift ? `${report}\n\nDrift detected. Run \`pjt remodel\` to apply the blueprints.` : report;
+/**
+ * Render the inspect result as a stable JSON object for CI / scripting, conforming to the
+ * published JSON Schema at {@link InspectJsonSchemaUrl} (also published at
+ * `apps/website/public/schemas/inspect.v1.json`). The `$schema` key names that contract.
+ *
+ * Stable means: keys won't be renamed or removed without a major bump (and a new schema
+ * version). New keys may be added at either level within a version; consumers should ignore
+ * unknown keys. Encoding through {@link InspectJson} ties this output to the same definition the
+ * schema is generated from, so the two can't drift apart.
+ */
+export const renderInspectJson = (result) => `${JSON.stringify(Schema.encodeSync(InspectJson)({
+    $schema: InspectJsonSchemaUrl,
+    hasDrift: result.hasDrift,
+    files: result.files,
+    removals: result.removals,
+    upgrades: result.upgrades,
+}), null, 2)}\n`;
+//# sourceMappingURL=inspect.js.map

package/dist/commands/inspect.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inspect.js","sourceRoot":"","sources":["../../src/commands/inspect.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAA;AAExC,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AAE9D,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAEpD,OAAO,EAAE,QAAQ,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAA;AAE5D,OAAO,EAAE,oBAAoB,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAA;AAC3E,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAC7C,OAAO,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAA;AAerE;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,MAEvB,EAAuD,EAAE,CACxD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC;QACpC,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa;QAC1C,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW;KACvC,CAAC,CAAA;IACF,MAAM,IAAI,GAAkB,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QACvD,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CACzB,MAAM,CAAC,OAAO,CACZ,aAAa,CAAC;YACZ,WAAW,EAAE,mBAAmB;YAChC,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;YAC3C,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW;SACvC,CAAC,CACH,CACF;QACH,CAAC,CAAC,IAAI,CAAC,UAAU,CAAA;IACnB,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC;QAC7C,IAAI;QACJ,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW;KACvC,CAAC,CAAA;IACF,sFAAsF;IACtF,IAAI,KAAK,CAAC,uBAAuB,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjD,OAAO,KAAK,CAAC,CAAC,IAAI,MAAM,CAAC,6BAA6B,CAAC;YACrD,EAAE,EAAE,mCAAmC;YACvC,SAAS,EAAE,MAAM;YACjB,OAAO,EAAE,yDAAyD,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,MAAM,uBAAuB,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,MAAM;SAC3L,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAChC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,YAAY,CAAA;QACpC,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,YAAY,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAA;QAC/E,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAA;QACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAA;QACrD,OAAO;YACL,QAAQ;YACR,MAAM,EAAE,YAAY,CAAC,mBAAmB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,CAAC;YACjF,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,QAAQ;YACR,QAAQ;SACT,CAAA;IACH,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAA;AAC1E,CAAC,CAAC,CAAA;AAEJ,MAAM,YAAY,GAAG,CAAC,MAAc,EAAE,QAAiB,EAAU,EAAE,CACjE,QAAQ,CAAC,CAAC,CAAC,GAAG,MAAM,kEAAkE,CAAC,CAAC,CAAC,MAAM,CAAA;AAEjG;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,MAAqB,EAAU,EAAE,CACjE,GAAG,IAAI,CAAC,SAAS,CACf,MAAM,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;IAC7B,OAAO,EAAE,oBAAoB;IAC7B,QAAQ,EAAE,MAAM,CAAC,QAAQ;IACzB,KAAK,EAAE,MAAM,CAAC,KAAK;IACnB,QAAQ,EAAE,MAAM,CAAC,QAAQ;IACzB,QAAQ,EAAE,MAAM,CAAC,QAAQ;CAC1B,CAAC,EACF,IAAI,EACJ,CAAC,CACF,IAAI,CAAA"}

package/dist/commands/remodel.d.ts

@@ -0,0 +1,22 @@
+import { Effect } from "effect";
+import type { Errors, ProjitectConfig } from "@projitect/core";
+import type { ProcessSpawner } from "../platform/process-runner.js";
+export interface RemodelResult {
+    readonly written: readonly string[];
+    readonly removed: readonly string[];
+    /** Post-apply commands that ran, deduplicated, in the order they ran. */
+    readonly ran: readonly string[];
+}
+/**
+ * `pjt remodel` — load blueprints, build the plan, apply changes to disk, rewrite `.pjt.lock`,
+ * then run the blueprints' post-apply commands.
+ * Non-destructive at the file-tree level: only touches files the plan covers (additions) and
+ * files where a blueprint that previously had ownership left the tree (removals). Commands run
+ * only after every file operation and the lockfile write have succeeded. `spawner` replaces the
+ * real process spawner in tests.
+ */
+export declare const remodel: (params: {
+    readonly config: ProjitectConfig.ProjitectConfig;
+    readonly spawner?: ProcessSpawner;
+}) => Effect.Effect<RemodelResult, Errors.ProjitectError>;
+//# sourceMappingURL=remodel.d.ts.map

package/dist/commands/remodel.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"remodel.d.ts","sourceRoot":"","sources":["../../src/commands/remodel.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,OAAO,KAAK,EAAE,MAAM,EAAW,eAAe,EAAE,MAAM,iBAAiB,CAAA;AASvE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAA;AAEnE,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;IACnC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;IACnC,yEAAyE;IACzE,QAAQ,CAAC,GAAG,EAAE,SAAS,MAAM,EAAE,CAAA;CAChC;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,OAAO,GAAI,QAAQ;IAC9B,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC,eAAe,CAAA;IAChD,QAAQ,CAAC,OAAO,CAAC,EAAE,cAAc,CAAA;CAClC,KAAG,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,cAAc,CAwClD,CAAA"}

package/dist/commands/remodel.js

@@ -0,0 +1,49 @@
+import { Effect } from "effect";
+import { StructX } from "@nunofyobiz/effect-extras";
+import { loadBlueprintFile, isEffectTree } from "../loader.js";
+import { buildPlan, diffLockfile } from "../plan.js";
+import { applyPlan } from "../applier.js";
+import { applyRemovals } from "../remover.js";
+import { makeProjectRootLayer, makeRealLayer } from "../filesystem-impl.js";
+import { readLockfile, writeLockfile } from "../lockfile.js";
+import { runPostApply } from "../post-apply.js";
+/**
+ * `pjt remodel` — load blueprints, build the plan, apply changes to disk, rewrite `.pjt.lock`,
+ * then run the blueprints' post-apply commands.
+ * Non-destructive at the file-tree level: only touches files the plan covers (additions) and
+ * files where a blueprint that previously had ownership left the tree (removals). Commands run
+ * only after every file operation and the lockfile write have succeeded. `spawner` replaces the
+ * real process spawner in tests.
+ */
+export const remodel = (params) => Effect.gen(function* () {
+    const file = yield* loadBlueprintFile({
+        blueprintFile: params.config.blueprintFile,
+        projectRoot: params.config.projectRoot,
+    });
+    const tree = isEffectTree(file.blueprints)
+        ? yield* file.blueprints.pipe(Effect.provide(makeRealLayer({
+            blueprintId: "pjt:config-loader",
+            permissions: [{ kind: "read", glob: "**" }],
+            projectRoot: params.config.projectRoot,
+        })))
+        : file.blueprints;
+    const { plan, byBlueprint } = yield* buildPlan({
+        tree,
+        projectRoot: params.config.projectRoot,
+    });
+    return yield* Effect.gen(function* () {
+        const previous = yield* readLockfile;
+        const { removals } = diffLockfile({ previous, current: byBlueprint });
+        const written = yield* applyPlan({ plan });
+        const removed = yield* applyRemovals({ removals });
+        const nextLock = { version: 1, blueprints: byBlueprint };
+        yield* writeLockfile({ lock: nextLock });
+        const ran = yield* runPostApply({
+            commands: plan.commands,
+            projectRoot: params.config.projectRoot,
+            ...StructX.defined("spawner", params.spawner),
+        });
+        return { written, removed, ran };
+    }).pipe(Effect.provide(makeProjectRootLayer(params.config.projectRoot)));
+});
+//# sourceMappingURL=remodel.js.map

package/dist/commands/remodel.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"remodel.js","sourceRoot":"","sources":["../../src/commands/remodel.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAA;AAEnD,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AAE9D,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,eAAe,CAAA;AACzC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;AAC7C,OAAO,EAAE,oBAAoB,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAA;AAC3E,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAC5D,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAU/C;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,MAGvB,EAAuD,EAAE,CACxD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC;QACpC,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa;QAC1C,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW;KACvC,CAAC,CAAA;IACF,MAAM,IAAI,GAAkB,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QACvD,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CACzB,MAAM,CAAC,OAAO,CACZ,aAAa,CAAC;YACZ,WAAW,EAAE,mBAAmB;YAChC,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;YAC3C,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW;SACvC,CAAC,CACH,CACF;QACH,CAAC,CAAC,IAAI,CAAC,UAAU,CAAA;IAEnB,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC;QAC7C,IAAI;QACJ,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW;KACvC,CAAC,CAAA;IACF,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAChC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,YAAY,CAAA;QACpC,MAAM,EAAE,QAAQ,EAAE,GAAG,YAAY,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAA;QAErE,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,CAAC,CAAA;QAC1C,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAA;QAElD,MAAM,QAAQ,GAAoB,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE,CAAA;QACzE,KAAK,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAA;QAExC,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC;YAC9B,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW;YACtC,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC;SAC9C,CAAC,CAAA;QAEF,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,CAAA;IAClC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAA;AAC1E,CAAC,CAAC,CAAA"}