@projitect/cli-internals 0.0.0-stage → 1.0.1

package/dist/plan.js

@@ -0,0 +1,212 @@
+import { Array, Data, Effect, Match, Option, Record, Result, Schema, pipe } from "effect";
+import { NonNullableX, PredicateX, RecordX, StructX } from "@nunofyobiz/effect-extras";
+import { ChangeSet, Errors, PjtLock } from "@projitect/core";
+import { isDirectoryBlueprint } from "@projitect/blueprint";
+import { makeRealLayer } from "./filesystem-impl.js";
+export const FilePlan = Data.taggedEnum();
+const flattenTree = (tree, prefix) => Array.flatMap(tree, (node) => isDirectoryBlueprint(node)
+    ? flattenTree(node.children, prefix === "" ? node.name : `${prefix}/${node.name}`)
+    : [{ blueprint: node, directoryPrefix: prefix }]);
+// ---------------------------------------------------------------------------
+// Run each blueprint's plan Effect with its own permission-gated FS layer,
+// collect operations, and reduce them into a ProjectPlan + per-blueprint lockfile entries
+// ---------------------------------------------------------------------------
+const rebasePath = (prefix, p) => (prefix ? `${prefix}/${p}` : p);
+const rebaseOp = (prefix, op) => {
+    // An Exec op has no path, and its command always runs from the project root.
+    if (!prefix || op._tag === "Exec") {
+        return op;
+    }
+    return {
+        ...op,
+        path: rebasePath(prefix, op.path),
+        ...(op._tag === "Owned"
+            ? StructX.defined("ownedDir", op.ownedDir === undefined ? undefined : rebasePath(prefix, op.ownedDir))
+            : {}),
+    };
+};
+const asFileOp = (attributed) => attributed.op._tag === "Exec"
+    ? Result.failVoid
+    : Result.succeed({ ...attributed, op: attributed.op });
+const asExecOp = (attributed) => attributed.op._tag === "Exec"
+    ? Result.succeed({ ...attributed, op: attributed.op })
+    : Result.failVoid;
+/**
+ * Build the project plan by running every blueprint, collecting their ops, reducing them with
+ * conflict detection, and producing the per-blueprint lockfile entries.
+ */
+export const buildPlan = (params) => {
+    const { tree, projectRoot } = params;
+    const flat = flattenTree(tree, "");
+    return Effect.gen(function* () {
+        const attributed = yield* Effect.forEach(flat, ({ blueprint, directoryPrefix }) => blueprint.plan.pipe(Effect.provide(makeRealLayer({
+            blueprintId: blueprint.id,
+            permissions: blueprint.permissions,
+            projectRoot,
+        })), Effect.map((changeSet) => Array.map(changeSet.operations, (op) => ({
+            blueprintId: blueprint.id,
+            blueprintVersion: blueprint.version,
+            permissions: blueprint.permissions,
+            op: rebaseOp(directoryPrefix, op),
+        }))))).pipe(Effect.map(Array.flatten));
+        const fileOps = Array.filterMap(attributed, asFileOp);
+        const files = yield* reduceOps(Array.map(fileOps, (a) => a.op));
+        const commands = Array.map(Array.filterMap(attributed, asExecOp), (a) => ({
+            ownerId: a.op.ownerId,
+            command: a.op.command,
+            ...StructX.defined("check", a.op.check),
+            permissions: a.permissions,
+        }));
+        // Exec ops are not recorded in the lockfile: commands re-run on every remodel.
+        const byBlueprint = groupByBlueprint(fileOps);
+        return { plan: { files: files.files, commands }, byBlueprint };
+    });
+};
+/**
+ * Diff the previous lockfile against the current blueprint set. Returns:
+ * - `removals`: ops from blueprints present in the lockfile but absent from the current tree,
+ *   plus owned files a still-present blueprint no longer ships (a new version dropping a file).
+ *   The applier deletes the matching regions / merge keys / owned files in a follow-up step.
+ * - `upgrades`: blueprints present in both, with different versions. Informational only — the
+ *   actual content is regenerated from the current blueprint, so applying handles upgrade
+ *   content automatically; this list is for `inspect`'s human output.
+ */
+export const diffLockfile = (params) => {
+    const { previous, current } = params;
+    return NonNullableX.match(previous, {
+        whenNullable: () => ({
+            removals: Array.empty(),
+            upgrades: Array.empty(),
+        }),
+        whenNotNullable: (lock) => {
+            const entries = Record.toEntries(lock.blueprints);
+            const livePaths = new Set(Array.flatMap(Record.values(current), (live) => Array.map(live.operations, (op) => op.path)));
+            const removals = Array.filter(Array.flatMap(entries, ([id, prior]) => Option.match(Record.get(current, id), {
+                onNone: () => prior.operations,
+                onSome: (live) => droppedOwnedOps(prior, live),
+            })), 
+            // A path some blueprint still plans (e.g. reassigned to another owner) is not an orphan.
+            (op) => op._tag !== "Owned" || !livePaths.has(op.path));
+            const upgrades = Array.flatMap(entries, ([id, prior]) => Record.get(current, id).pipe(Option.filter((live) => live.version !== prior.version), Option.map((live) => [{ blueprintId: id, from: prior.version, to: live.version }]), Option.getOrElse(() => Array.empty())));
+            return { removals, upgrades };
+        },
+    });
+};
+/** Owned files the prior lock entry had but the live entry no longer plans. */
+const droppedOwnedOps = (prior, live) => Array.filter(prior.operations, (op) => op._tag === "Owned" && !Array.some(live.operations, (l) => l.path === op.path));
+const groupByBlueprint = (attributed) => Record.map(Array.groupBy(attributed, (a) => a.blueprintId), (group) => ({
+    version: Array.headNonEmpty(group).blueprintVersion,
+    operations: Array.map(group, (a) => toLockOp(a.op)),
+}));
+const toLockOp = (op) => Match.valueTags(op, {
+    Region: (region) => PjtLock.LockRegionOp.make({
+        path: region.path,
+        ownerId: region.ownerId,
+        commentPrefix: region.commentPrefix,
+        // Only record commentSuffix when non-empty — empty/absent decode the same per the schema.
+        ...StructX.defined("commentSuffix", PredicateX.isNonEmptyString(region.commentSuffix) ? region.commentSuffix : undefined),
+    }),
+    Merge: (merge) => PjtLock.LockMergeOp.make({ path: merge.path, ownedKeys: merge.ownedKeys }),
+    Owned: (owned) => PjtLock.LockOwnedOp.make({
+        path: owned.path,
+        ownerId: owned.ownerId,
+        ...StructX.defined("ownedDir", owned.ownedDir),
+    }),
+    Seed: (seed) => PjtLock.LockSeedOp.make({ path: seed.path, ownerId: seed.ownerId }),
+});
+// ---------------------------------------------------------------------------
+// Reduce raw ops into a ProjectPlan, detecting conflicts as we go
+// ---------------------------------------------------------------------------
+const reduceOps = (ops) => pipe(Array.groupBy(ops, (op) => op.path), Record.toEntries, Effect.forEach(([path, group]) => reduceGroup(path, group)), Effect.map((files) => ({ files })));
+/** Closing sentence of every plan-conflict message: the command-level way out. */
+const conflictNextStep = "Remove one of the conflicting blueprints from `.pjt.ts`, then run `pjt remodel`.";
+/**
+ * Reduce one path's operations into a single FilePlan. Every op on a path must share an
+ * ownership mode (`_tag`); a mixed group is a `pjt.plan.conflict-owned`.
+ */
+const reduceGroup = (path, group) => {
+    const head = Array.headNonEmpty(group);
+    return Array.findFirst(group, (op) => op._tag !== head._tag).pipe(Option.match({
+        onSome: (offender) => Effect.fail(new Errors.PlanConflictOwned({
+            id: "pjt.plan.conflict-owned",
+            path,
+            ownerA: head.ownerId,
+            ownerB: offender.ownerId,
+            message: `Blueprints ${head.ownerId} (${head._tag}) and ${offender.ownerId} (${offender._tag}) both target ${path} with incompatible modes. ${conflictNextStep}`,
+        })),
+        onNone: () => Match.value(head).pipe(Match.tag("Region", () => reduceRegion(path, Array.filter(group, Schema.is(ChangeSet.RegionOp)))), Match.tag("Merge", () => reduceMerge(path, Array.filter(group, Schema.is(ChangeSet.MergeOp)))), Match.tag("Owned", () => reduceSole("owned", path, Array.filter(group, Schema.is(ChangeSet.OwnedOp)))), Match.tag("Seed", () => reduceSole("seed", path, Array.filter(group, Schema.is(ChangeSet.SeedOp)))), Match.exhaustive),
+    }));
+};
+const duplicateOwner = (ops) => pipe(Array.groupBy(ops, (op) => op.ownerId), Record.toEntries, Array.findFirst(([, claims]) => claims.length > 1), Option.map(([ownerId]) => ownerId));
+const reduceRegion = (path, ops) => Option.match(duplicateOwner(ops), {
+    onSome: (ownerId) => Effect.fail(new Errors.PlanConflictRegion({
+        id: "pjt.plan.conflict-region",
+        path,
+        ownerA: ownerId,
+        ownerB: ownerId,
+        message: `Multiple blueprints share ownerId ${ownerId} for region in ${path}. ${conflictNextStep}`,
+    })),
+    onNone: () => {
+        // Last-write-wins on comment style — all ops on one file should use the same anyway.
+        const style = Array.last(ops).pipe(Option.map((op) => ({
+            commentPrefix: op.commentPrefix,
+            commentSuffix: op.commentSuffix ?? "",
+        })), Option.getOrElse(() => ({ commentPrefix: "#", commentSuffix: "" })));
+        return Effect.succeed(FilePlan.Region({
+            path,
+            commentPrefix: style.commentPrefix,
+            commentSuffix: style.commentSuffix,
+            regions: Array.map(ops, (op) => ({ ownerId: op.ownerId, content: op.content })),
+        }));
+    },
+});
+/**
+ * Fold the merge ops' `ownedKeys` into a `key → ownerId` map, failing if two distinct owners claim
+ * the same key — the conflict-checked keyed merge behind merge-mode ownership.
+ */
+const reconcileOwnership = (path, ops) => Effect.gen(function* () {
+    const ownership = new Map();
+    for (const op of ops) {
+        for (const key of op.ownedKeys) {
+            const prior = ownership.get(key);
+            if (prior !== undefined && prior !== op.ownerId) {
+                return yield* new Errors.PlanConflictMerge({
+                    id: "pjt.plan.conflict-merge",
+                    path,
+                    key,
+                    ownerA: prior,
+                    ownerB: op.ownerId,
+                    message: `Blueprints ${prior} and ${op.ownerId} both claim key "${key}" in ${path}. ${conflictNextStep}`,
+                });
+            }
+            ownership.set(key, op.ownerId);
+        }
+    }
+    return ownership;
+});
+const reduceMerge = (path, ops) => Effect.gen(function* () {
+    const ownership = yield* reconcileOwnership(path, ops);
+    const value = RecordX.deepMergeReducer.combineAll(Array.map(ops, (op) => op.value));
+    return FilePlan.Merge({ path, value, ownership });
+});
+/** Owned and seed both demand a single owner per path. */
+const reduceSole = (kind, path, ops) => {
+    const [first, second] = ops;
+    if (first !== undefined && second !== undefined) {
+        return Effect.fail(new Errors.PlanConflictOwned({
+            id: "pjt.plan.conflict-owned",
+            path,
+            ownerA: first.ownerId,
+            ownerB: second.ownerId,
+            message: kind === "owned"
+                ? `Multiple blueprints claim full ownership of ${path}. ${conflictNextStep}`
+                : `Multiple blueprints try to seed ${path}. ${conflictNextStep}`,
+        }));
+    }
+    return first === undefined
+        ? Effect.die(new Error(`unreachable: empty ${kind} group for ${path}`))
+        : Effect.succeed(kind === "owned"
+            ? FilePlan.Owned({ path, ownerId: first.ownerId, content: first.content })
+            : FilePlan.Seed({ path, ownerId: first.ownerId, content: first.content }));
+};
+//# sourceMappingURL=plan.js.map

package/dist/plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan.js","sourceRoot":"","sources":["../src/plan.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AACzF,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAA;AACtF,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAA;AAE5D,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAA;AAE3D,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAuBpD,MAAM,CAAC,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,EAAY,CAAA;AAwDnD,MAAM,WAAW,GAAG,CAAC,IAAa,EAAE,MAAc,EAA4B,EAAE,CAC9E,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAC3B,oBAAoB,CAAC,IAAI,CAAC;IACxB,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;IAClF,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,CAAC,CACnD,CAAA;AAEH,8EAA8E;AAC9E,2EAA2E;AAC3E,0FAA0F;AAC1F,8EAA8E;AAE9E,MAAM,UAAU,GAAG,CAAC,MAAc,EAAE,CAAS,EAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAEzF,MAAM,QAAQ,GAAG,CAAC,MAAc,EAAE,EAAuB,EAAuB,EAAE;IAChF,6EAA6E;IAC7E,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAClC,OAAO,EAAE,CAAA;IACX,CAAC;IACD,OAAO;QACL,GAAG,EAAE;QACL,IAAI,EAAE,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC;QACjC,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,OAAO;YACrB,CAAC,CAAC,OAAO,CAAC,OAAO,CACb,UAAU,EACV,EAAE,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,CACxE;YACH,CAAC,CAAC,EAAE,CAAC;KACR,CAAA;AACH,CAAC,CAAA;AAiBD,MAAM,QAAQ,GAAG,CAAC,UAAwB,EAAyC,EAAE,CACnF,UAAU,CAAC,EAAE,CAAC,IAAI,KAAK,MAAM;IAC3B,CAAC,CAAC,MAAM,CAAC,QAAQ;IACjB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,UAAU,EAAE,EAAE,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,CAAA;AAE1D,MAAM,QAAQ,GAAG,CAAC,UAAwB,EAAyC,EAAE,CACnF,UAAU,CAAC,EAAE,CAAC,IAAI,KAAK,MAAM;IAC3B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,UAAU,EAAE,EAAE,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC;IACtD,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAA;AAErB;;;GAGG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,MAGzB,EAGC,EAAE;IACF,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,MAAM,CAAA;IACpC,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;IAElC,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,eAAe,EAAE,EAAE,EAAE,CAChF,SAAS,CAAC,IAAI,CAAC,IAAI,CACjB,MAAM,CAAC,OAAO,CACZ,aAAa,CAAC;YACZ,WAAW,EAAE,SAAS,CAAC,EAAE;YACzB,WAAW,EAAE,SAAS,CAAC,WAAW;YAClC,WAAW;SACZ,CAAC,CACH,EACD,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CACvB,KAAK,CAAC,GAAG,CACP,SAAS,CAAC,UAAU,EACpB,CAAC,EAAE,EAAgB,EAAE,CAAC,CAAC;YACrB,WAAW,EAAE,SAAS,CAAC,EAAE;YACzB,gBAAgB,EAAE,SAAS,CAAC,OAAO;YACnC,WAAW,EAAE,SAAS,CAAC,WAAW;YAClC,EAAE,EAAE,QAAQ,CAAC,eAAe,EAAE,EAAE,CAAC;SAClC,CAAC,CACH,CACF,CACF,CACF,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAA;QAEjC,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAA;QACrD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QAC/D,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CACxB,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,QAAQ,CAAC,EACrC,CAAC,CAAC,EAAkB,EAAE,CAAC,CAAC;YACtB,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,OAAO;YACrB,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,OAAO;YACrB,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC;YACvC,WAAW,EAAE,CAAC,CAAC,WAAW;SAC3B,CAAC,CACH,CAAA;QACD,+EAA+E;QAC/E,MAAM,WAAW,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAA;QAC7C,OAAO,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,WAAW,EAAE,CAAA;IAChE,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,MAG5B,EAGC,EAAE;IACF,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,MAAM,CAAA;IACpC,OAAO,YAAY,CAAC,KAAK,CAAC,QAAQ,EAAE;QAClC,YAAY,EAAE,GAAG,EAAE,CAAC,CAAC;YACnB,QAAQ,EAAE,KAAK,CAAC,KAAK,EAAyB;YAC9C,QAAQ,EAAE,KAAK,CAAC,KAAK,EAAiB;SACvC,CAAC;QACF,eAAe,EAAE,CAAC,IAAI,EAAE,EAAE;YACxB,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YACjD,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAC7C,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAC5C,CACF,CAAA;YACD,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAC3B,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CACrC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE;gBACpC,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,UAAU;gBAC9B,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC;aAC/C,CAAC,CACH;YACD,yFAAyF;YACzF,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CACvD,CAAA;YACD,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CACtD,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,IAAI,CAC1B,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,CAAC,EACvD,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAClF,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,KAAK,EAAiB,CAAC,CACrD,CACF,CAAA;YACD,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAA;QAC/B,CAAC;KACF,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,+EAA+E;AAC/E,MAAM,eAAe,GAAG,CACtB,KAAiC,EACjC,IAAgC,EACE,EAAE,CACpC,KAAK,CAAC,MAAM,CACV,KAAK,CAAC,UAAU,EAChB,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,CAAC,CACvF,CAAA;AAEH,MAAM,gBAAgB,GAAG,CAAC,UAAuC,EAAe,EAAE,CAChF,MAAM,CAAC,GAAG,CACR,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,EAC/C,CAAC,KAAK,EAA8B,EAAE,CAAC,CAAC;IACtC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,gBAAgB;IACnD,UAAU,EAAE,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;CACpD,CAAC,CACH,CAAA;AAEH,MAAM,QAAQ,GAAG,CAAC,EAAiB,EAAyB,EAAE,CAC5D,KAAK,CAAC,SAAS,CAAC,EAAE,EAAE;IAClB,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CACjB,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC;QACxB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,0FAA0F;QAC1F,GAAG,OAAO,CAAC,OAAO,CAChB,eAAe,EACf,UAAU,CAAC,gBAAgB,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CACrF;KACF,CAAC;IACJ,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC;IAC5F,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC;QACvB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,GAAG,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC,QAAQ,CAAC;KAC/C,CAAC;IACJ,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;CACpF,CAAC,CAAA;AAEJ,8EAA8E;AAC9E,kEAAkE;AAClE,8EAA8E;AAE9E,MAAM,SAAS,GAAG,CAChB,GAA6B,EACgC,EAAE,CAC/D,IAAI,CACF,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EACnC,MAAM,CAAC,SAAS,EAChB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,EAC3D,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CACnC,CAAA;AAEH,kFAAkF;AAClF,MAAM,gBAAgB,GACpB,kFAAkF,CAAA;AAEpF;;;GAGG;AACH,MAAM,WAAW,GAAG,CAClB,IAAY,EACZ,KAAiD,EACN,EAAE;IAC7C,MAAM,IAAI,GAAG,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAA;IACtC,OAAO,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAC/D,MAAM,CAAC,KAAK,CAAC;QACX,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,CACnB,MAAM,CAAC,IAAI,CACT,IAAI,MAAM,CAAC,iBAAiB,CAAC;YAC3B,EAAE,EAAE,yBAAyB;YAC7B,IAAI;YACJ,MAAM,EAAE,IAAI,CAAC,OAAO;YACpB,MAAM,EAAE,QAAQ,CAAC,OAAO;YACxB,OAAO,EAAE,cAAc,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,IAAI,SAAS,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC,IAAI,iBAAiB,IAAI,6BAA6B,gBAAgB,EAAE;SACjK,CAAC,CACH;QACH,MAAM,EAAE,GAAG,EAAE,CACX,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CACpB,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,EAAE,CACvB,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CACvE,EACD,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,EAAE,CACtB,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CACrE,EACD,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,EAAE,CACtB,UAAU,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAC7E,EACD,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,CACrB,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAC3E,EACD,KAAK,CAAC,UAAU,CACjB;KACJ,CAAC,CACH,CAAA;AACH,CAAC,CAAA;AAED,MAAM,cAAc,GAAG,CAAC,GAAkC,EAAyB,EAAE,CACnF,IAAI,CACF,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,EACtC,MAAM,CAAC,SAAS,EAChB,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,EAClD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CACnC,CAAA;AAEH,MAAM,YAAY,GAAG,CACnB,IAAY,EACZ,GAAkC,EACS,EAAE,CAC7C,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE;IAChC,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAClB,MAAM,CAAC,IAAI,CACT,IAAI,MAAM,CAAC,kBAAkB,CAAC;QAC5B,EAAE,EAAE,0BAA0B;QAC9B,IAAI;QACJ,MAAM,EAAE,OAAO;QACf,MAAM,EAAE,OAAO;QACf,OAAO,EAAE,qCAAqC,OAAO,kBAAkB,IAAI,KAAK,gBAAgB,EAAE;KACnG,CAAC,CACH;IACH,MAAM,EAAE,GAAG,EAAE;QACX,qFAAqF;QACrF,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAChC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAClB,aAAa,EAAE,EAAE,CAAC,aAAa;YAC/B,aAAa,EAAE,EAAE,CAAC,aAAa,IAAI,EAAE;SACtC,CAAC,CAAC,EACH,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,aAAa,EAAE,GAAG,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC,CAAC,CACpE,CAAA;QACD,OAAO,MAAM,CAAC,OAAO,CACnB,QAAQ,CAAC,MAAM,CAAC;YACd,IAAI;YACJ,aAAa,EAAE,KAAK,CAAC,aAAa;YAClC,aAAa,EAAE,KAAK,CAAC,aAAa;YAClC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;SAChF,CAAC,CACH,CAAA;IACH,CAAC;CACF,CAAC,CAAA;AAEJ;;;GAGG;AACH,MAAM,kBAAkB,GAAG,CACzB,IAAY,EACZ,GAAiC,EACqC,EAAE,CACxE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC3C,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YAChC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,EAAE,CAAC,OAAO,EAAE,CAAC;gBAChD,OAAO,KAAK,CAAC,CAAC,IAAI,MAAM,CAAC,iBAAiB,CAAC;oBACzC,EAAE,EAAE,yBAAyB;oBAC7B,IAAI;oBACJ,GAAG;oBACH,MAAM,EAAE,KAAK;oBACb,MAAM,EAAE,EAAE,CAAC,OAAO;oBAClB,OAAO,EAAE,cAAc,KAAK,QAAQ,EAAE,CAAC,OAAO,oBAAoB,GAAG,QAAQ,IAAI,KAAK,gBAAgB,EAAE;iBACzG,CAAC,CAAA;YACJ,CAAC;YACD,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,CAAA;QAChC,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC,CAAC,CAAA;AAEJ,MAAM,WAAW,GAAG,CAClB,IAAY,EACZ,GAAiC,EACU,EAAE,CAC7C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,kBAAkB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;IACtD,MAAM,KAAK,GAAG,OAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACnF,OAAO,QAAQ,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAA;AACnD,CAAC,CAAC,CAAA;AAEJ,0DAA0D;AAC1D,MAAM,UAAU,GAAG,CACjB,IAAsB,EACtB,IAAY,EACZ,GAAsD,EACX,EAAE;IAC7C,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,GAAG,CAAA;IAC3B,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QAChD,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,MAAM,CAAC,iBAAiB,CAAC;YAC3B,EAAE,EAAE,yBAAyB;YAC7B,IAAI;YACJ,MAAM,EAAE,KAAK,CAAC,OAAO;YACrB,MAAM,EAAE,MAAM,CAAC,OAAO;YACtB,OAAO,EACL,IAAI,KAAK,OAAO;gBACd,CAAC,CAAC,+CAA+C,IAAI,KAAK,gBAAgB,EAAE;gBAC5E,CAAC,CAAC,mCAAmC,IAAI,KAAK,gBAAgB,EAAE;SACrE,CAAC,CACH,CAAA;IACH,CAAC;IACD,OAAO,KAAK,KAAK,SAAS;QACxB,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,sBAAsB,IAAI,cAAc,IAAI,EAAE,CAAC,CAAC;QACvE,CAAC,CAAC,MAAM,CAAC,OAAO,CACZ,IAAI,KAAK,OAAO;YACd,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;YAC1E,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAC5E,CAAA;AACP,CAAC,CAAA"}

package/dist/platform/file-system.d.ts

@@ -0,0 +1,3 @@
+import { FileSystem, Layer } from "effect";
+export declare const FileSystemLive: Layer.Layer<FileSystem.FileSystem>;
+//# sourceMappingURL=file-system.d.ts.map

package/dist/platform/file-system.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-system.d.ts","sourceRoot":"","sources":["../../src/platform/file-system.ts"],"names":[],"mappings":"AAIA,OAAO,EAAU,UAAU,EAAE,KAAK,EAAkB,MAAM,QAAQ,CAAA;AAmJlE,eAAO,MAAM,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,UAAU,CAG7D,CAAA"}

package/dist/platform/file-system.js

@@ -0,0 +1,109 @@
+import * as nodeFs from "node:fs/promises";
+import nodePath from "node:path";
+import * as os from "node:os";
+import * as PlatformError from "effect/PlatformError";
+import { Effect, FileSystem, Layer, Option, Stream } from "effect";
+/**
+ * Node-backed `FileSystem` Layer.
+ *
+ * Implements the common methods (`readFile`, `writeFile`, `access`, `readDirectory`,
+ * `makeDirectory`, `remove`, `stat`, `rename`, `symlink`, `link`, `chmod`, `chown`, `glob`,
+ * `realPath`, `readLink`, `copy`, `copyFile`, `truncate`, `utimes`, `makeTempFile`,
+ * `makeTempDirectory`) using `node:fs/promises`. The derived methods (`exists`,
+ * `readFileString`, `writeFileString`, `stream`, `sink`) come for free from `FileSystem.make`.
+ *
+ * The complex methods (`open` returning a low-level File handle, `watch` returning a Stream of
+ * watch events, the `*Scoped` temp helpers requiring Effect.Scope) are wired to `Effect.die`
+ * with a clear "not implemented in projitect v0.1" message. The CLI flow doesn't exercise them;
+ * if a future consumer needs them we'll fill them in.
+ */
+const sysError = (method, cause) => {
+    const message = cause instanceof Error ? cause.message : String(cause);
+    const code = cause.code;
+    return PlatformError.systemError({
+        _tag: code === "ENOENT" ? "NotFound" : code === "EACCES" ? "PermissionDenied" : "Unknown",
+        module: "FileSystem",
+        method,
+        description: message,
+    });
+};
+const tryEffect = (method, p) => Effect.tryPromise({ try: p, catch: (e) => sysError(method, e) });
+// Compatibility shim: older Node versions (22.12) reject an array `exclude` and only accept a
+// predicate. A predicate gives the same matches on every version, so we always pass one. Delete
+// this once support for the Node versions that reject an array `exclude` is dropped, and pass the
+// patterns straight through.
+const excludeOption = (patterns) => patterns === undefined || patterns.length === 0
+    ? undefined
+    : (path) => patterns.some((pattern) => nodePath.matchesGlob(path, pattern));
+const dieNotImpl = (method) => Effect.die(new Error(`FileSystem.${method} is not implemented in projitect's Node Layer (v0.1). File an issue if you need it.`));
+const make = FileSystem.make({
+    access: (path, options) => tryEffect("access", () => nodeFs.access(path, options?.readable === true ? nodeFs.constants.R_OK : undefined)),
+    copy: (fromPath, toPath, _options) => tryEffect("copy", () => nodeFs.cp(fromPath, toPath, { recursive: true })),
+    copyFile: (fromPath, toPath) => tryEffect("copyFile", () => nodeFs.copyFile(fromPath, toPath)),
+    chmod: (path, mode) => tryEffect("chmod", () => nodeFs.chmod(path, mode)),
+    chown: (path, uid, gid) => tryEffect("chown", () => nodeFs.chown(path, uid, gid)),
+    glob: (pattern, options) => tryEffect("glob", async () => {
+        const paths = [];
+        for await (const path of nodeFs.glob(pattern, {
+            cwd: options?.root,
+            exclude: excludeOption(options?.exclude),
+        })) {
+            paths.push(path);
+        }
+        return paths;
+    }),
+    link: (fromPath, toPath) => tryEffect("link", () => nodeFs.link(fromPath, toPath)),
+    makeDirectory: (path, options) => tryEffect("makeDirectory", () => nodeFs.mkdir(path, { recursive: options?.recursive ?? false }).then(() => undefined)),
+    makeTempDirectory: (options) => tryEffect("makeTempDirectory", () => nodeFs.mkdtemp(nodePath.join(options?.directory ?? os.tmpdir(), options?.prefix ?? "pjt-"))),
+    makeTempDirectoryScoped: () => dieNotImpl("makeTempDirectoryScoped"),
+    makeTempFile: (options) => tryEffect("makeTempFile", async () => {
+        const direction = await nodeFs.mkdtemp(nodePath.join(options?.directory ?? os.tmpdir(), options?.prefix ?? "pjt-"));
+        const file = nodePath.join(direction, "tmp");
+        await nodeFs.writeFile(file, "");
+        return file;
+    }),
+    makeTempFileScoped: () => dieNotImpl("makeTempFileScoped"),
+    open: () => dieNotImpl("open"),
+    readDirectory: (path, _options) => tryEffect("readDirectory", () => nodeFs.readdir(path)),
+    readFile: (path) => tryEffect("readFile", async () => {
+        const buf = await nodeFs.readFile(path);
+        return new Uint8Array(buf.buffer, buf.byteOffset, buf.byteLength);
+    }),
+    readLink: (path) => tryEffect("readLink", () => nodeFs.readlink(path)),
+    realPath: (path) => tryEffect("realPath", () => nodeFs.realpath(path)),
+    remove: (path, options) => tryEffect("remove", () => nodeFs.rm(path, { recursive: options?.recursive ?? false, force: options?.force ?? false })),
+    rename: (oldPath, newPath) => tryEffect("rename", () => nodeFs.rename(oldPath, newPath)),
+    stat: (path) => tryEffect("stat", async () => {
+        const s = await nodeFs.stat(path);
+        const type = s.isFile()
+            ? "File"
+            : s.isDirectory()
+                ? "Directory"
+                : s.isSymbolicLink()
+                    ? "SymbolicLink"
+                    : "Other";
+        return {
+            type,
+            mtime: Option.some(s.mtime),
+            atime: Option.some(s.atime),
+            birthtime: Option.some(s.birthtime),
+            dev: s.dev,
+            ino: Option.some(s.ino),
+            mode: s.mode,
+            nlink: Option.some(s.nlink),
+            uid: Option.some(s.uid),
+            gid: Option.some(s.gid),
+            rdev: Option.some(s.rdev),
+            size: FileSystem.Size(BigInt(s.size)),
+            blksize: Option.some(FileSystem.Size(BigInt(s.blksize))),
+            blocks: Option.some(s.blocks),
+        };
+    }),
+    symlink: (fromPath, toPath) => tryEffect("symlink", () => nodeFs.symlink(fromPath, toPath)),
+    truncate: (path, length) => tryEffect("truncate", () => nodeFs.truncate(path, length === undefined ? 0 : Number(length))),
+    utimes: (path, atime, mtime) => tryEffect("utimes", () => nodeFs.utimes(path, atime, mtime)),
+    watch: () => Stream.die(new Error("FileSystem.watch is not implemented in projitect's Node Layer (v0.1). File an issue if you need it.")),
+    writeFile: (path, data, _options) => tryEffect("writeFile", () => nodeFs.writeFile(path, data)),
+});
+export const FileSystemLive = Layer.succeed(FileSystem.FileSystem, make);
+//# sourceMappingURL=file-system.js.map

package/dist/platform/file-system.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-system.js","sourceRoot":"","sources":["../../src/platform/file-system.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,kBAAkB,CAAA;AAC1C,OAAO,QAAQ,MAAM,WAAW,CAAA;AAChC,OAAO,KAAK,EAAE,MAAM,SAAS,CAAA;AAC7B,OAAO,KAAK,aAAa,MAAM,sBAAsB,CAAA;AACrD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAElE;;;;;;;;;;;;;GAaG;AAEH,MAAM,QAAQ,GAAG,CAAC,MAAc,EAAE,KAAc,EAA+B,EAAE;IAC/E,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IACtE,MAAM,IAAI,GAAI,KAA2B,CAAC,IAAI,CAAA;IAC9C,OAAO,aAAa,CAAC,WAAW,CAAC;QAC/B,IAAI,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS;QACzF,MAAM,EAAE,YAAY;QACpB,MAAM;QACN,WAAW,EAAE,OAAO;KACrB,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,SAAS,GAAG,CAChB,MAAc,EACd,CAAmB,EAC4B,EAAE,CACjD,MAAM,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAA;AAElE,8FAA8F;AAC9F,gGAAgG;AAChG,kGAAkG;AAClG,6BAA6B;AAC7B,MAAM,aAAa,GAAG,CACpB,QAAuC,EACE,EAAE,CAC3C,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;IAC7C,CAAC,CAAC,SAAS;IACX,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAA;AAE/E,MAAM,UAAU,GAAG,CAAI,MAAc,EAAiD,EAAE,CACtF,MAAM,CAAC,GAAG,CACR,IAAI,KAAK,CACP,cAAc,MAAM,qFAAqF,CAC1G,CACF,CAAA;AAEH,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC;IAC3B,MAAM,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CACxB,SAAS,CAAC,QAAQ,EAAE,GAAG,EAAE,CACvB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CACpF;IACH,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,CACnC,SAAS,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3E,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC9F,KAAK,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACzE,KAAK,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACjF,IAAI,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,CACzB,SAAS,CAAC,MAAM,EAAE,KAAK,IAAI,EAAE;QAC3B,MAAM,KAAK,GAAa,EAAE,CAAA;QAC1B,IAAI,KAAK,EAAE,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE;YAC5C,GAAG,EAAE,OAAO,EAAE,IAAI;YAClB,OAAO,EAAE,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC;SACzC,CAAC,EAAE,CAAC;YACH,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAClB,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC,CAAC;IACJ,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAClF,aAAa,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAC/B,SAAS,CAAC,eAAe,EAAE,GAAG,EAAE,CAC9B,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,IAAI,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CACrF;IACH,iBAAiB,EAAE,CAAC,OAAO,EAAE,EAAE,CAC7B,SAAS,CAAC,mBAAmB,EAAE,GAAG,EAAE,CAClC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,MAAM,IAAI,MAAM,CAAC,CAAC,CAC5F;IACH,uBAAuB,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,yBAAyB,CAAC;IACpE,YAAY,EAAE,CAAC,OAAO,EAAE,EAAE,CACxB,SAAS,CAAC,cAAc,EAAE,KAAK,IAAI,EAAE;QACnC,MAAM,SAAS,GAAG,MAAM,MAAM,CAAC,OAAO,CACpC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,MAAM,IAAI,MAAM,CAAC,CAC5E,CAAA;QACD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,CAAA;QAC5C,MAAM,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;QAChC,OAAO,IAAI,CAAA;IACb,CAAC,CAAC;IACJ,kBAAkB,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,oBAAoB,CAAC;IAC1D,IAAI,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC;IAC9B,aAAa,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,SAAS,CAAC,eAAe,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACzF,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CACjB,SAAS,CAAC,UAAU,EAAE,KAAK,IAAI,EAAE;QAC/B,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;QACvC,OAAO,IAAI,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC,CAAA;IACnE,CAAC,CAAC;IACJ,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACtE,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACtE,MAAM,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CACxB,SAAS,CAAC,QAAQ,EAAE,GAAG,EAAE,CACvB,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,IAAI,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,IAAI,KAAK,EAAE,CAAC,CAC5F;IACH,MAAM,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACxF,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CACb,SAAS,CAAC,MAAM,EAAE,KAAK,IAAI,EAAE;QAC3B,MAAM,CAAC,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACjC,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE;YACrB,CAAC,CAAC,MAAM;YACR,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE;gBACf,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,CAAC,CAAC,cAAc,EAAE;oBAClB,CAAC,CAAC,cAAc;oBAChB,CAAC,CAAC,OAAO,CAAA;QACf,OAAO;YACL,IAAI;YACJ,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;YAC3B,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;YAC3B,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;YACnC,GAAG,EAAE,CAAC,CAAC,GAAG;YACV,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;YACvB,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;YAC3B,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;YACvB,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;YACvB,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YACzB,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACrC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;YACxD,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;SACN,CAAA;IAC3B,CAAC,CAAC;IACJ,OAAO,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC3F,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CACzB,SAAS,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/F,MAAM,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC5F,KAAK,EAAE,GAAG,EAAE,CACV,MAAM,CAAC,GAAG,CACR,IAAI,KAAK,CACP,qGAAqG,CACtG,CACF;IACH,SAAS,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,SAAS,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;CAChG,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,cAAc,GAAuC,KAAK,CAAC,OAAO,CAC7E,UAAU,CAAC,UAAU,EACrB,IAAI,CACL,CAAA"}

package/dist/platform/index.d.ts

@@ -0,0 +1,17 @@
+import { Layer, Path } from "effect";
+/**
+ * The full Node-backed platform Layer satisfying every service `effect/unstable/cli`'s
+ * `Command.Environment` declares. Provided by the `pjt` bin shim to `Command.run`.
+ *
+ * `Path.layer` ships with effect core (POSIX implementation; no IO). `FileSystem`, `Terminal`,
+ * and `Stdio` are hand-rolled in sibling files. `ChildProcessSpawner` is intentionally absent —
+ * `Command.run` does not consume it for our use cases, and our own shell-out needs (git status,
+ * package-manager add) use `node:child_process` directly via `git.ts` / `pm.ts` Effect wrappers.
+ * If a future need surfaces, this is where it'll land.
+ */
+export declare const NodePlatformLive: Layer.Layer<import("effect/FileSystem").FileSystem | Path.Path | import("effect/Terminal").Terminal | import("effect/Stdio").Stdio, never, never>;
+export { FileSystemLive } from "./file-system.js";
+export { StdioLive } from "./stdio.js";
+export { TerminalLive } from "./terminal.js";
+export { runCommand, nodeSpawner, type ProcessSpawner, type CommandOutput, } from "./process-runner.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/platform/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/platform/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAKpC;;;;;;;;;GASG;AACH,eAAO,MAAM,gBAAgB,mJAAsE,CAAA;AAEnG,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AACjD,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AACtC,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AAC5C,OAAO,EACL,UAAU,EACV,WAAW,EACX,KAAK,cAAc,EACnB,KAAK,aAAa,GACnB,MAAM,qBAAqB,CAAA"}

package/dist/platform/index.js

@@ -0,0 +1,20 @@
+import { Layer, Path } from "effect";
+import { FileSystemLive } from "./file-system.js";
+import { StdioLive } from "./stdio.js";
+import { TerminalLive } from "./terminal.js";
+/**
+ * The full Node-backed platform Layer satisfying every service `effect/unstable/cli`'s
+ * `Command.Environment` declares. Provided by the `pjt` bin shim to `Command.run`.
+ *
+ * `Path.layer` ships with effect core (POSIX implementation; no IO). `FileSystem`, `Terminal`,
+ * and `Stdio` are hand-rolled in sibling files. `ChildProcessSpawner` is intentionally absent —
+ * `Command.run` does not consume it for our use cases, and our own shell-out needs (git status,
+ * package-manager add) use `node:child_process` directly via `git.ts` / `pm.ts` Effect wrappers.
+ * If a future need surfaces, this is where it'll land.
+ */
+export const NodePlatformLive = Layer.mergeAll(FileSystemLive, TerminalLive, StdioLive, Path.layer);
+export { FileSystemLive } from "./file-system.js";
+export { StdioLive } from "./stdio.js";
+export { TerminalLive } from "./terminal.js";
+export { runCommand, nodeSpawner, } from "./process-runner.js";
+//# sourceMappingURL=index.js.map

package/dist/platform/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/platform/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AACpC,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AACjD,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AACtC,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AAE5C;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,KAAK,CAAC,QAAQ,CAAC,cAAc,EAAE,YAAY,EAAE,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAA;AAEnG,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AACjD,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AACtC,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AAC5C,OAAO,EACL,UAAU,EACV,WAAW,GAGZ,MAAM,qBAAqB,CAAA"}

package/dist/platform/process-runner.d.ts

@@ -0,0 +1,41 @@
+import { Effect, Option } from "effect";
+import { Errors } from "@projitect/core";
+import type { Permission } from "@projitect/core";
+export interface CommandOutput {
+    readonly stdout: string;
+    readonly stderr: string;
+}
+/**
+ * Starts a process and resolves with its exit code and captured output. `exitCode` is `undefined`
+ * only when the process never started (spawn failure); the failure carries the reason. Injected
+ * into `runCommand` so tests can use a fake instead of a real process.
+ */
+export type ProcessSpawner = (program: string, args: readonly string[], cwd: string) => Effect.Effect<CommandOutput & {
+    readonly exitCode: number;
+}, string>;
+/** Real spawner: `node:child_process` without a shell, so `&&`, `;` and pipes are plain arguments. */
+export declare const nodeSpawner: ProcessSpawner;
+/**
+ * Argv contract (no shell): arguments are separated by unquoted whitespace; `'...'` and `"..."`
+ * group characters (including whitespace) into one argument and the quotes are dropped. There are
+ * no escapes, globs, variables or operators — everything else is literal. An unterminated quote,
+ * or a command with no program, is unsupported and yields `None`. The permission is matched
+ * against the raw string, so exactly what was declared is what gets parsed and run.
+ */
+export declare const parseArgv: (command: string) => Option.Option<readonly string[]>;
+/** The refusal for a command no declared `exec` permission names exactly. */
+export declare const commandNotPermitted: (command: string) => Errors.CommandNotPermitted;
+/**
+ * Runs `command` (parsed per `parseArgv`) in `cwd`, after checking it against
+ * the declared `exec` permissions. A command no permission names exactly fails with
+ * `CommandNotPermitted` and the spawner is never called; a non-zero exit or spawn failure fails
+ * with `CommandFailed` carrying the exit code and captured output; so does a command `parseArgv`
+ * rejects (the spawner is not called).
+ */
+export declare const runCommand: (params: {
+    readonly permissions: readonly Permission.Permission[];
+    readonly command: string;
+    readonly cwd: string;
+    readonly spawner: ProcessSpawner;
+}) => Effect.Effect<CommandOutput, Errors.CommandFailed | Errors.CommandNotPermitted>;
+//# sourceMappingURL=process-runner.d.ts.map

package/dist/platform/process-runner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"process-runner.d.ts","sourceRoot":"","sources":["../../src/platform/process-runner.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAA;AACxC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAGjD,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB;AAED;;;;GAIG;AACH,MAAM,MAAM,cAAc,GAAG,CAC3B,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,GAAG,EAAE,MAAM,KACR,MAAM,CAAC,MAAM,CAAC,aAAa,GAAG;IAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,EAAE,MAAM,CAAC,CAAA;AAEzE,sGAAsG;AACtG,eAAO,MAAM,WAAW,EAAE,cAqBtB,CAAA;AAEJ;;;;;;GAMG;AACH,eAAO,MAAM,SAAS,GAAI,SAAS,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,SAAS,MAAM,EAAE,CA8B1E,CAAA;AAED,6EAA6E;AAC7E,eAAO,MAAM,mBAAmB,GAAI,SAAS,MAAM,KAAG,MAAM,CAAC,mBAKzD,CAAA;AAEJ;;;;;;GAMG;AACH,eAAO,MAAM,UAAU,GAAI,QAAQ;IACjC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,CAAC,UAAU,EAAE,CAAA;IACtD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAA;CACjC,KAAG,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,aAAa,GAAG,MAAM,CAAC,mBAAmB,CA4CjF,CAAA"}

package/dist/platform/process-runner.js

@@ -0,0 +1,120 @@
+import { spawn } from "node:child_process";
+import { Effect, Option } from "effect";
+import { Errors } from "@projitect/core";
+import { isCommandPermitted } from "../permissions.js";
+/** Real spawner: `node:child_process` without a shell, so `&&`, `;` and pipes are plain arguments. */
+export const nodeSpawner = (program, args, cwd) => Effect.callback((resume) => {
+    const child = spawn(program, args, { cwd, shell: false });
+    let stdout = "";
+    let stderr = "";
+    child.stdout.on("data", (chunk) => {
+        stdout = stdout + chunk.toString("utf8");
+    });
+    child.stderr.on("data", (chunk) => {
+        stderr = stderr + chunk.toString("utf8");
+    });
+    child.on("error", (error) => {
+        resume(Effect.fail(error.message));
+    });
+    child.on("close", (code) => {
+        resume(Effect.succeed({ exitCode: code ?? 1, stdout, stderr }));
+    });
+    // On interruption, terminate the child we own so it doesn't outlive the fiber.
+    return Effect.sync(() => {
+        child.kill("SIGKILL");
+    });
+});
+/**
+ * Argv contract (no shell): arguments are separated by unquoted whitespace; `'...'` and `"..."`
+ * group characters (including whitespace) into one argument and the quotes are dropped. There are
+ * no escapes, globs, variables or operators — everything else is literal. An unterminated quote,
+ * or a command with no program, is unsupported and yields `None`. The permission is matched
+ * against the raw string, so exactly what was declared is what gets parsed and run.
+ */
+export const parseArgv = (command) => {
+    const argv = [];
+    let current;
+    let quote;
+    for (const ch of command) {
+        if (quote !== undefined) {
+            if (ch === quote) {
+                quote = undefined;
+            }
+            else {
+                current = (current ?? "") + ch;
+            }
+        }
+        else if (ch === "'" || ch === '"') {
+            quote = ch;
+            current = current ?? "";
+        }
+        else if (/\s/u.test(ch)) {
+            if (current !== undefined) {
+                argv.push(current);
+                current = undefined;
+            }
+        }
+        else {
+            current = (current ?? "") + ch;
+        }
+    }
+    if (quote !== undefined) {
+        return Option.none();
+    }
+    if (current !== undefined) {
+        argv.push(current);
+    }
+    return argv[0] === undefined || argv[0] === "" ? Option.none() : Option.some(argv);
+};
+/** The refusal for a command no declared `exec` permission names exactly. */
+export const commandNotPermitted = (command) => new Errors.CommandNotPermitted({
+    id: "pjt.exec.command-not-permitted",
+    command,
+    message: `No declared exec permission covers \`${command}\``,
+});
+/**
+ * Runs `command` (parsed per `parseArgv`) in `cwd`, after checking it against
+ * the declared `exec` permissions. A command no permission names exactly fails with
+ * `CommandNotPermitted` and the spawner is never called; a non-zero exit or spawn failure fails
+ * with `CommandFailed` carrying the exit code and captured output; so does a command `parseArgv`
+ * rejects (the spawner is not called).
+ */
+export const runCommand = (params) => {
+    const { permissions, command, cwd, spawner } = params;
+    return Effect.gen(function* () {
+        if (!isCommandPermitted(permissions, command)) {
+            return yield* commandNotPermitted(command);
+        }
+        const [program = "", ...args] = yield* Option.match(parseArgv(command), {
+            onNone: () => Effect.fail(new Errors.CommandFailed({
+                id: "pjt.exec.command-failed",
+                command,
+                stdout: "",
+                stderr: "",
+                cause: "unsupported command syntax: empty program or unterminated quote",
+                message: `Cannot run \`${command}\`: empty program or unterminated quote`,
+            })),
+            onSome: Effect.succeed,
+        });
+        const result = yield* Effect.mapError(spawner(program, args, cwd), (cause) => new Errors.CommandFailed({
+            id: "pjt.exec.command-failed",
+            command,
+            stdout: "",
+            stderr: "",
+            cause,
+            message: `Failed to start \`${command}\`: ${cause}`,
+        }));
+        if (result.exitCode !== 0) {
+            return yield* new Errors.CommandFailed({
+                id: "pjt.exec.command-failed",
+                command,
+                exitCode: result.exitCode,
+                stdout: result.stdout,
+                stderr: result.stderr,
+                message: `\`${command}\` exited with code ${String(result.exitCode)}`,
+            });
+        }
+        return { stdout: result.stdout, stderr: result.stderr };
+    });
+};
+//# sourceMappingURL=process-runner.js.map

package/dist/platform/process-runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"process-runner.js","sourceRoot":"","sources":["../../src/platform/process-runner.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAC1C,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAA;AAExC,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAA;AAkBtD,sGAAsG;AACtG,MAAM,CAAC,MAAM,WAAW,GAAmB,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAChE,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,EAAE;IACzB,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;IACzD,IAAI,MAAM,GAAG,EAAE,CAAA;IACf,IAAI,MAAM,GAAG,EAAE,CAAA;IACf,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,KAAa,EAAE,EAAE;QACxC,MAAM,GAAG,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;IAC1C,CAAC,CAAC,CAAA;IACF,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,KAAa,EAAE,EAAE;QACxC,MAAM,GAAG,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;IAC1C,CAAC,CAAC,CAAA;IACF,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE;QAC1B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAA;IACpC,CAAC,CAAC,CAAA;IACF,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,IAAI,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAA;IACjE,CAAC,CAAC,CAAA;IACF,+EAA+E;IAC/E,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;QACtB,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IACvB,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEJ;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,OAAe,EAAoC,EAAE;IAC7E,MAAM,IAAI,GAAa,EAAE,CAAA;IACzB,IAAI,OAA2B,CAAA;IAC/B,IAAI,KAAyB,CAAA;IAC7B,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QACzB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;gBACjB,KAAK,GAAG,SAAS,CAAA;YACnB,CAAC;iBAAM,CAAC;gBACN,OAAO,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,GAAG,EAAE,CAAA;YAChC,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACpC,KAAK,GAAG,EAAE,CAAA;YACV,OAAO,GAAG,OAAO,IAAI,EAAE,CAAA;QACzB,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAC1B,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;gBAClB,OAAO,GAAG,SAAS,CAAA;YACrB,CAAC;QACH,CAAC;aAAM,CAAC;YACN,OAAO,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,GAAG,EAAE,CAAA;QAChC,CAAC;IACH,CAAC;IACD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,MAAM,CAAC,IAAI,EAAE,CAAA;IACtB,CAAC;IACD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IACpB,CAAC;IACD,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACpF,CAAC,CAAA;AAED,6EAA6E;AAC7E,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,OAAe,EAA8B,EAAE,CACjF,IAAI,MAAM,CAAC,mBAAmB,CAAC;IAC7B,EAAE,EAAE,gCAAgC;IACpC,OAAO;IACP,OAAO,EAAE,wCAAwC,OAAO,IAAI;CAC7D,CAAC,CAAA;AAEJ;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,MAK1B,EAAmF,EAAE;IACpF,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,MAAM,CAAA;IACrD,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,IAAI,CAAC,kBAAkB,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC;YAC9C,OAAO,KAAK,CAAC,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAA;QAC5C,CAAC;QACD,MAAM,CAAC,OAAO,GAAG,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE;YACtE,MAAM,EAAE,GAAG,EAAE,CACX,MAAM,CAAC,IAAI,CACT,IAAI,MAAM,CAAC,aAAa,CAAC;gBACvB,EAAE,EAAE,yBAAyB;gBAC7B,OAAO;gBACP,MAAM,EAAE,EAAE;gBACV,MAAM,EAAE,EAAE;gBACV,KAAK,EAAE,iEAAiE;gBACxE,OAAO,EAAE,gBAAgB,OAAO,yCAAyC;aAC1E,CAAC,CACH;YACH,MAAM,EAAE,MAAM,CAAC,OAAO;SACvB,CAAC,CAAA;QACF,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CACnC,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,EAC3B,CAAC,KAAK,EAAE,EAAE,CACR,IAAI,MAAM,CAAC,aAAa,CAAC;YACvB,EAAE,EAAE,yBAAyB;YAC7B,OAAO;YACP,MAAM,EAAE,EAAE;YACV,MAAM,EAAE,EAAE;YACV,KAAK;YACL,OAAO,EAAE,qBAAqB,OAAO,OAAO,KAAK,EAAE;SACpD,CAAC,CACL,CAAA;QACD,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;YAC1B,OAAO,KAAK,CAAC,CAAC,IAAI,MAAM,CAAC,aAAa,CAAC;gBACrC,EAAE,EAAE,yBAAyB;gBAC7B,OAAO;gBACP,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,OAAO,EAAE,KAAK,OAAO,uBAAuB,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE;aACtE,CAAC,CAAA;QACJ,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAA;IACzD,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA"}

package/dist/platform/stdio.d.ts

@@ -0,0 +1,9 @@
+import { Stdio } from "effect";
+/**
+ * Node-backed `Stdio` Layer. We only need `args` to satisfy `Command.run`'s argv source;
+ * the stdout/stderr sinks and stdin stream from `layerTest` (drain sinks + empty stream) are
+ * adequate because all our output goes through `Terminal.display` and we don't currently read
+ * from stdin outside the `Prompt` module (which uses `Terminal.readLine` / `Terminal.readInput`).
+ */
+export declare const StdioLive: import("effect/Layer").Layer<Stdio.Stdio, never, never>;
+//# sourceMappingURL=stdio.d.ts.map

package/dist/platform/stdio.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stdio.d.ts","sourceRoot":"","sources":["../../src/platform/stdio.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,KAAK,EAAE,MAAM,QAAQ,CAAA;AAEtC;;;;;GAKG;AACH,eAAO,MAAM,SAAS,yDAEpB,CAAA"}

package/dist/platform/stdio.js

@@ -0,0 +1,11 @@
+import { Effect, Stdio } from "effect";
+/**
+ * Node-backed `Stdio` Layer. We only need `args` to satisfy `Command.run`'s argv source;
+ * the stdout/stderr sinks and stdin stream from `layerTest` (drain sinks + empty stream) are
+ * adequate because all our output goes through `Terminal.display` and we don't currently read
+ * from stdin outside the `Prompt` module (which uses `Terminal.readLine` / `Terminal.readInput`).
+ */
+export const StdioLive = Stdio.layerTest({
+    args: Effect.succeed(process.argv.slice(2)),
+});
+//# sourceMappingURL=stdio.js.map

package/dist/platform/stdio.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stdio.js","sourceRoot":"","sources":["../../src/platform/stdio.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAEtC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;IACvC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;CAC5C,CAAC,CAAA"}

package/dist/platform/terminal.d.ts

@@ -0,0 +1,3 @@
+import { Layer, Terminal } from "effect";
+export declare const TerminalLive: Layer.Layer<Terminal.Terminal>;
+//# sourceMappingURL=terminal.d.ts.map