@aacombarro89/praxis 0.1.0

package/dist/permissions.js

@@ -0,0 +1,83 @@
+import { existsSync, readdirSync, readFileSync } from "node:fs";
+import { join } from "node:path";
+import { fileURLToPath } from "node:url";
+import { parse as parseYaml } from "yaml";
+import { z } from "zod";
+import { BUCKETS } from "./merge-json.js";
+/**
+ * The neutral permission policy — a content package's *second artifact kind*
+ * (docs/wiki/packages-and-emit.md "provides", docs/wiki/emitters.md; decisions D18/D19). Where `rules.md` is
+ * tool-neutral prose, `permissions.yaml` is tool-neutral **structured intent**:
+ * it lists semantic *capabilities* in allow/ask/deny buckets. It is deliberately
+ * NOT a list of Claude Code rule strings — that would make the source tool-bound.
+ * Per-tool emitters translate each capability to concrete rules (or emit nothing
+ * where the tool has no permission model). This keeps "tool-neutral by
+ * construction" intact for the enforcement layer too.
+ *
+ * The capability vocabulary is closed (a zod enum): a policy may only reference
+ * capabilities every emitter knows how to translate, so a capability can never be
+ * silently dropped. Adding a capability is a deliberate edit here plus a mapping
+ * in each emitter — verified by conformance.
+ */
+const PACKAGES_DIR = new URL("../packages/", import.meta.url);
+// The closed capability vocabulary. Each is a durable, tool-agnostic intent;
+// emitters own the concrete per-tool translation. Grows deliberately.
+const CAPABILITIES = [
+    "read-repo", // read files in the repository
+    "edit-repo", // create / edit / write files in the repository
+    "run-dev-scripts", // project scripts: test, lint, typecheck, build
+    "read-only-git", // git status / diff / log
+    "git-commit", // commit locally
+    "git-push", // push to a remote
+    "install-deps", // add / install project dependencies
+    "destructive-delete", // rm -rf and recursive force-deletes
+    "force-push", // git push --force
+    "read-secrets", // .env, *.pem, credential files
+    "global-install", // global package installs (npm/pnpm/yarn -g)
+];
+const capabilityList = z.array(z.enum(CAPABILITIES)).default([]);
+// A policy is the same three buckets the merge owns; each holds capabilities.
+export const policySchema = z.strictObject({
+    allow: capabilityList,
+    ask: capabilityList,
+    deny: capabilityList,
+});
+/** Parse + validate neutral policy text. Throws a readable, agent-actionable
+ *  error naming each problem — mirrors parseManifest in src/manifest.ts. */
+export function parsePolicy(yamlText) {
+    let raw;
+    try {
+        raw = parseYaml(yamlText);
+    }
+    catch (err) {
+        throw new Error(`permissions.yaml is not valid YAML: ${err.message}`);
+    }
+    const result = policySchema.safeParse(raw ?? {});
+    if (!result.success) {
+        const issues = result.error.issues
+            .map((i) => `  - ${i.path.map(String).join(".") || "(root)"}: ${i.message}`)
+            .join("\n");
+        throw new Error(`permissions.yaml is invalid:\n${issues}\n` +
+            `Capabilities must be one of: ${CAPABILITIES.join(", ")}. ` +
+            `Add a new capability in src/permissions.ts and map it in every emitter.`);
+    }
+    return result.data;
+}
+/** The neutral policy for a content package, or undefined if it provides none.
+ *  Scans packages/<layer>/<pkg>/permissions.yaml — mirrors loadPackageSource. */
+export function loadPolicy(pkg) {
+    const root = fileURLToPath(PACKAGES_DIR);
+    for (const entry of readdirSync(root, { withFileTypes: true })) {
+        if (!entry.isDirectory())
+            continue;
+        const candidate = join(root, entry.name, pkg, "permissions.yaml");
+        if (existsSync(candidate))
+            return parsePolicy(readFileSync(candidate, "utf8"));
+    }
+    return undefined;
+}
+/** All capabilities referenced by a policy, across every bucket. */
+export function policyCapabilities(policy) {
+    return BUCKETS.flatMap((b) => policy[b]);
+}
+//# sourceMappingURL=permissions.js.map

package/dist/permissions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"permissions.js","sourceRoot":"","sources":["../src/permissions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAC;AAC1C,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAE1C;;;;;;;;;;;;;;GAcG;AAEH,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAE9D,6EAA6E;AAC7E,sEAAsE;AACtE,MAAM,YAAY,GAAG;IACnB,WAAW,EAAE,+BAA+B;IAC5C,WAAW,EAAE,gDAAgD;IAC7D,iBAAiB,EAAE,gDAAgD;IACnE,eAAe,EAAE,0BAA0B;IAC3C,YAAY,EAAE,iBAAiB;IAC/B,UAAU,EAAE,mBAAmB;IAC/B,cAAc,EAAE,qCAAqC;IACrD,oBAAoB,EAAE,qCAAqC;IAC3D,YAAY,EAAE,mBAAmB;IACjC,cAAc,EAAE,gCAAgC;IAChD,gBAAgB,EAAE,6CAA6C;CACvD,CAAC;AAIX,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAEjE,8EAA8E;AAC9E,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC;IACzC,KAAK,EAAE,cAAc;IACrB,GAAG,EAAE,cAAc;IACnB,IAAI,EAAE,cAAc;CACrB,CAAC,CAAC;AAIH;4EAC4E;AAC5E,MAAM,UAAU,WAAW,CAAC,QAAgB;IAC1C,IAAI,GAAY,CAAC;IACjB,IAAI,CAAC;QACH,GAAG,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CAAC,uCAAwC,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;IACnF,CAAC;IACD,MAAM,MAAM,GAAG,YAAY,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC;IACjD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM;aAC/B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,QAAQ,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;aAC3E,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,MAAM,IAAI,KAAK,CACb,iCAAiC,MAAM,IAAI;YACzC,gCAAgC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;YAC3D,yEAAyE,CAC5E,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC;AAED;iFACiF;AACjF,MAAM,UAAU,UAAU,CAAC,GAAW;IACpC,MAAM,IAAI,GAAG,aAAa,CAAC,YAAY,CAAC,CAAC;IACzC,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,IAAI,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QAC/D,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE;YAAE,SAAS;QACnC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAClE,IAAI,UAAU,CAAC,SAAS,CAAC;YAAE,OAAO,WAAW,CAAC,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,kBAAkB,CAAC,MAAc;IAC/C,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3C,CAAC"}

package/dist/plugins.d.ts

@@ -0,0 +1,21 @@
+import { z } from "zod";
+export declare const pluginsBlockSchema: z.ZodObject<{
+    targets: z.ZodArray<z.ZodString>;
+    marketplace: z.ZodObject<{
+        name: z.ZodString;
+        source: z.ZodObject<{
+            source: z.ZodLiteral<"github">;
+            repo: z.ZodString;
+            ref: z.ZodOptional<z.ZodString>;
+            sha: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    enable: z.ZodArray<z.ZodString>;
+}, z.core.$strict>;
+export type PluginsBlock = z.infer<typeof pluginsBlockSchema>;
+/** Parse + validate neutral plugins.yaml text. Throws a readable,
+ *  agent-actionable error naming each problem — mirrors parsePolicy. */
+export declare function parsePluginsBlock(yamlText: string, pkgName: string): PluginsBlock;
+/** The neutral plugins declaration for a content package, or undefined if it
+ *  provides none. Scans packages/<layer>/<pkg>/plugins.yaml — mirrors loadPolicy. */
+export declare function loadPluginsBlock(pkg: string): PluginsBlock | undefined;

package/dist/plugins.js

@@ -0,0 +1,88 @@
+import { existsSync, readdirSync, readFileSync } from "node:fs";
+import { join } from "node:path";
+import { fileURLToPath } from "node:url";
+import { parse as parseYaml } from "yaml";
+import { z } from "zod";
+/**
+ * The declarative plugin-marketplace artifact (a content package's *fourth
+ * artifact kind*, docs/wiki/packages-and-emit.md "provides"). A thin package under
+ * `packages/external/<pkg>/` declares a Claude Code plugin marketplace and which
+ * plugins to enable; the emitter writes that declaration into
+ * `.claude/settings.json` (`extraKnownMarketplaces` + `enabledPlugins`) via the
+ * JSON merge engine. Praxis never executes anything — no npx, no git clone, no
+ * network at sync time. Writing those keys is enough for Claude Code itself to
+ * prompt the user/team to install and enable on next folder-trust.
+ *
+ * Mirrors `src/permissions.ts`: a neutral, validated YAML source per package,
+ * loaded by scanning `packages/<layer>/<pkg>/plugins.yaml`.
+ */
+const PACKAGES_DIR = new URL("../packages/", import.meta.url);
+// Marketplace source kinds Claude Code supports. Only "github" is verified and
+// in use today; the schema is closed so an unverified source kind fails loud
+// rather than being silently accepted and mis-emitted.
+const marketplaceSourceSchema = z.strictObject({
+    source: z.literal("github"),
+    repo: z.string().min(1),
+    // Honest pinning: `ref` (a tag/branch) and/or `sha` (a commit). `sha` paired
+    // with `ref` is the effective pin; neither is required (some repos genuinely
+    // have no tags — never fabricate one).
+    ref: z.string().min(1).optional(),
+    sha: z.string().min(1).optional(),
+});
+const marketplaceSchema = z.strictObject({
+    name: z.string().min(1),
+    source: marketplaceSourceSchema,
+});
+export const pluginsBlockSchema = z.strictObject({
+    // Targets this declaration applies to; validated against known Targets by the
+    // caller (manifest.ts owns the Target enum, plugins.ts stays decoupled from it).
+    targets: z.array(z.string().min(1)).min(1),
+    marketplace: marketplaceSchema,
+    // "<plugin>@<marketplace-name>" — validated against marketplace.name below.
+    enable: z.array(z.string().min(1)).min(1),
+});
+/** Parse + validate neutral plugins.yaml text. Throws a readable,
+ *  agent-actionable error naming each problem — mirrors parsePolicy. */
+export function parsePluginsBlock(yamlText, pkgName) {
+    let raw;
+    try {
+        raw = parseYaml(yamlText);
+    }
+    catch (err) {
+        throw new Error(`plugins.yaml in "${pkgName}" is not valid YAML: ${err.message}`);
+    }
+    const result = pluginsBlockSchema.safeParse(raw ?? {});
+    if (!result.success) {
+        const issues = result.error.issues
+            .map((i) => `  - ${i.path.map(String).join(".") || "(root)"}: ${i.message}`)
+            .join("\n");
+        throw new Error(`plugins.yaml in "${pkgName}" is invalid:\n${issues}`);
+    }
+    // Every `enable` entry's `@<marketplace>` must equal marketplace.name — fail
+    // loud rather than silently emit a plugin pinned to a marketplace that isn't
+    // declared (an enabledPlugins entry Claude Code could never resolve).
+    const { marketplace, enable } = result.data;
+    for (const entry of enable) {
+        const at = entry.lastIndexOf("@");
+        const suffix = at === -1 ? undefined : entry.slice(at + 1);
+        if (suffix !== marketplace.name) {
+            throw new Error(`plugins.yaml in "${pkgName}" is invalid:\n` +
+                `  - enable: "${entry}" must end in "@${marketplace.name}" to match the declared marketplace.`);
+        }
+    }
+    return result.data;
+}
+/** The neutral plugins declaration for a content package, or undefined if it
+ *  provides none. Scans packages/<layer>/<pkg>/plugins.yaml — mirrors loadPolicy. */
+export function loadPluginsBlock(pkg) {
+    const root = fileURLToPath(PACKAGES_DIR);
+    for (const entry of readdirSync(root, { withFileTypes: true })) {
+        if (!entry.isDirectory())
+            continue;
+        const candidate = join(root, entry.name, pkg, "plugins.yaml");
+        if (existsSync(candidate))
+            return parsePluginsBlock(readFileSync(candidate, "utf8"), pkg);
+    }
+    return undefined;
+}
+//# sourceMappingURL=plugins.js.map

package/dist/plugins.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"plugins.js","sourceRoot":"","sources":["../src/plugins.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAC;AAC1C,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;;;;;;;;;;GAYG;AAEH,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAE9D,+EAA+E;AAC/E,6EAA6E;AAC7E,uDAAuD;AACvD,MAAM,uBAAuB,GAAG,CAAC,CAAC,YAAY,CAAC;IAC7C,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IAC3B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,6EAA6E;IAC7E,6EAA6E;IAC7E,uCAAuC;IACvC,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACjC,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CAClC,CAAC,CAAC;AAEH,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC;IACvC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,MAAM,EAAE,uBAAuB;CAChC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,YAAY,CAAC;IAC/C,8EAA8E;IAC9E,iFAAiF;IACjF,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1C,WAAW,EAAE,iBAAiB;IAC9B,4EAA4E;IAC5E,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CAC1C,CAAC,CAAC;AAIH;wEACwE;AACxE,MAAM,UAAU,iBAAiB,CAAC,QAAgB,EAAE,OAAe;IACjE,IAAI,GAAY,CAAC;IACjB,IAAI,CAAC;QACH,GAAG,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CAAC,oBAAoB,OAAO,wBAAyB,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;IAC/F,CAAC;IACD,MAAM,MAAM,GAAG,kBAAkB,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC;IACvD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM;aAC/B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,QAAQ,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;aAC3E,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,MAAM,IAAI,KAAK,CAAC,oBAAoB,OAAO,kBAAkB,MAAM,EAAE,CAAC,CAAC;IACzE,CAAC;IAED,6EAA6E;IAC7E,6EAA6E;IAC7E,sEAAsE;IACtE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC;IAC5C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,EAAE,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAC3D,IAAI,MAAM,KAAK,WAAW,CAAC,IAAI,EAAE,CAAC;YAChC,MAAM,IAAI,KAAK,CACb,oBAAoB,OAAO,iBAAiB;gBAC1C,gBAAgB,KAAK,mBAAmB,WAAW,CAAC,IAAI,sCAAsC,CACjG,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC;AAED;qFACqF;AACrF,MAAM,UAAU,gBAAgB,CAAC,GAAW;IAC1C,MAAM,IAAI,GAAG,aAAa,CAAC,YAAY,CAAC,CAAC;IACzC,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,IAAI,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QAC/D,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE;YAAE,SAAS;QACnC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,cAAc,CAAC,CAAC;QAC9D,IAAI,UAAU,CAAC,SAAS,CAAC;YAAE,OAAO,iBAAiB,CAAC,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;IAC5F,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/program.d.ts

@@ -0,0 +1,2 @@
+import { Command } from "commander";
+export declare function buildProgram(): Command;

package/dist/program.js

@@ -0,0 +1,201 @@
+import { cancel, confirm, intro, isCancel, multiselect, note, outro, select } from "@clack/prompts";
+import { Command } from "commander";
+import { checkAnchors } from "./anchors.js";
+import { applyInit, defaultManifest, detectContext, manifestFromSelections, renderManifestYaml, } from "./init.js";
+import { STACKS } from "./manifest.js";
+import { availablePackages } from "./packages.js";
+import { applyManifest, runSync } from "./sync.js";
+/**
+ * The CLI surface (docs/wiki/interaction-model.md). `init` is the minimal first-run
+ * install (detect → propose → preview → confirm → write + apply); `sync`/`check`
+ * reconcile an existing repo to its `praxis.yaml`.
+ */
+const STATUS_SYMBOL = {
+    created: "+",
+    updated: "~",
+    unchanged: " ",
+};
+function formatPlan(report, mode) {
+    return report.files
+        .map((f) => {
+        const drift = mode === "check" && f.status !== "unchanged" ? " (drift)" : "";
+        const conflict = f.conflicts.length ? `  ⚠ conflict: ${f.conflicts.join(", ")}` : "";
+        return `  ${STATUS_SYMBOL[f.status]} ${f.path}${drift}${conflict}`;
+    })
+        .join("\n");
+}
+function formatAnchorReport(report) {
+    if (report.diagnostics.length === 0) {
+        return `\nKnowledge anchors: ${report.anchorsChecked} checked, 0 broken.`;
+    }
+    const diagnostics = report.diagnostics
+        .map((d) => {
+        const target = d.target === undefined ? "" : ` (${d.type}: ${d.target})`;
+        return `  - ${d.file}${target}: ${d.message}`;
+    })
+        .join("\n");
+    return `\nBroken knowledge anchors:\n${diagnostics}`;
+}
+// --- sync / check ---------------------------------------------------------
+function runReconcile(write, mode) {
+    try {
+        const report = runSync({ cwd: process.cwd(), write });
+        console.log(formatPlan(report, mode));
+        const anchorReport = mode === "check" ? checkAnchors(process.cwd()) : undefined;
+        if (anchorReport) {
+            const output = formatAnchorReport(anchorReport);
+            if (anchorReport.ok)
+                console.log(output);
+            else
+                console.error(output);
+        }
+        if (report.hasConflicts) {
+            console.error("\nConflicts: you edited Praxis-managed content. It was left untouched.\n" +
+                "Resolve by promoting the change upstream or moving it outside the managed block.");
+        }
+        if (mode === "check"
+            ? report.changed || report.hasConflicts || !anchorReport?.ok
+            : report.hasConflicts) {
+            process.exitCode = 1;
+        }
+    }
+    catch (err) {
+        console.error(`praxis: ${err.message}`);
+        process.exitCode = 1;
+    }
+}
+// --- init -----------------------------------------------------------------
+async function runInit(opts) {
+    const cwd = process.cwd();
+    intro("praxis — install the methodology layer");
+    try {
+        const ctx = detectContext(cwd);
+        if (ctx.manifestExists) {
+            note("This repo already has a praxis.yaml.\nRun `praxis sync` to apply changes.", "Already initialized");
+            outro("Nothing to do.");
+            return;
+        }
+        const detected = [
+            ctx.hasGit ? "git" : null,
+            ctx.hasClaudeMd ? "CLAUDE.md" : null,
+            ctx.hasAgentsMd ? "AGENTS.md" : null,
+            ctx.detectedStacks.length ? `stack: ${ctx.detectedStacks.join(", ")}` : null,
+        ].filter(Boolean);
+        note(detected.length ? detected.join(" · ") : "fresh repo", "Detected");
+        let manifest;
+        if (opts.yes) {
+            // Non-interactive: Quick start, no prompts
+            manifest = defaultManifest(ctx);
+        }
+        else {
+            // Ask Quick start vs Customize
+            const mode = await select({
+                message: "How do you want to install?",
+                options: [
+                    { value: "quick", label: "Quick start", hint: "all Layer 1 + detected stack Layer 2" },
+                    { value: "customize", label: "Customize", hint: "pick stacks, packages, and targets" },
+                ],
+            });
+            if (isCancel(mode)) {
+                cancel("No changes made.");
+                return;
+            }
+            if (mode === "quick") {
+                manifest = defaultManifest(ctx);
+            }
+            else {
+                // Customize: multiselect stacks
+                const chosenStacks = await multiselect({
+                    message: "Which stacks does this repo use?",
+                    options: STACKS.map((s) => ({ value: s, label: s })),
+                    initialValues: ctx.detectedStacks,
+                    required: false,
+                });
+                if (isCancel(chosenStacks)) {
+                    cancel("No changes made.");
+                    return;
+                }
+                const stackSet = new Set(chosenStacks);
+                // Build package options: layer1 + layer2 for chosen stacks + external
+                const all = availablePackages();
+                const recommended = new Set(defaultManifest({ ...ctx, detectedStacks: chosenStacks }).packages);
+                const pkgOptions = [];
+                for (const [name, pkg] of all) {
+                    if (pkg.layer === "layer1" || pkg.layer === "external") {
+                        pkgOptions.push({ value: name, label: name, hint: pkg.layer });
+                    }
+                    else if (pkg.layer === "layer2" && pkg.stack && stackSet.has(pkg.stack)) {
+                        pkgOptions.push({ value: name, label: name, hint: `layer2 / ${pkg.stack}` });
+                    }
+                }
+                pkgOptions.sort((a, b) => a.value.localeCompare(b.value));
+                const chosenPkgs = await multiselect({
+                    message: "Which packages?",
+                    options: pkgOptions,
+                    initialValues: pkgOptions.map((o) => o.value).filter((n) => recommended.has(n)),
+                    required: true,
+                });
+                if (isCancel(chosenPkgs)) {
+                    cancel("No changes made.");
+                    return;
+                }
+                // Multiselect targets
+                const targetOptions = [
+                    { value: "claude-code", label: "claude-code" },
+                    { value: "agents-md", label: "agents-md" },
+                ];
+                const chosenTargets = await multiselect({
+                    message: "Which targets to emit?",
+                    options: targetOptions,
+                    initialValues: ["claude-code", "agents-md"],
+                    required: true,
+                });
+                if (isCancel(chosenTargets)) {
+                    cancel("No changes made.");
+                    return;
+                }
+                manifest = manifestFromSelections(chosenStacks, chosenPkgs, chosenTargets);
+            }
+        }
+        // Preview + confirm (interactive) / apply immediately (--yes)
+        const manifestYaml = renderManifestYaml(manifest);
+        const report = applyManifest(manifest, cwd, false);
+        note(manifestYaml.trimEnd(), "praxis.yaml (proposed)");
+        note(formatPlan(report, "init"), "Will write");
+        if (!opts.yes) {
+            const ok = await confirm({ message: "Apply these changes?" });
+            if (isCancel(ok) || !ok) {
+                cancel("No changes made.");
+                return;
+            }
+        }
+        applyInit(cwd, manifest);
+        outro("Done. Run `praxis check` anytime to verify the repo is in sync.");
+    }
+    catch (err) {
+        cancel(`praxis: ${err.message}`);
+        process.exitCode = 1;
+    }
+}
+export function buildProgram() {
+    const program = new Command();
+    program
+        .name("praxis")
+        .description("Install and sync an AI methodology layer into a codebase.")
+        .version("0.0.0");
+    program
+        .command("init", { isDefault: true })
+        .description("Install the methodology layer (detect, preview, confirm, write).")
+        .option("-y, --yes", "skip prompts; accept the defaults (non-interactive)")
+        .action((opts) => runInit(opts));
+    program
+        .command("sync")
+        .description("Reconcile the repo to praxis.yaml; write managed methodology files.")
+        .action(() => runReconcile(true, "sync"));
+    program
+        .command("check")
+        .description("Report drift without writing; non-zero exit on drift.")
+        .action(() => runReconcile(false, "check"));
+    return program;
+}
+//# sourceMappingURL=program.js.map

package/dist/program.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"program.js","sourceRoot":"","sources":["../src/program.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AACpG,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,YAAY,EAA0B,MAAM,cAAc,CAAC;AACpE,OAAO,EACL,SAAS,EACT,eAAe,EACf,aAAa,EACb,sBAAsB,EACtB,kBAAkB,GACnB,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,MAAM,EAA0C,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,OAAO,EAAoC,MAAM,WAAW,CAAC;AAErF;;;;GAIG;AAEH,MAAM,aAAa,GAAyC;IAC1D,OAAO,EAAE,GAAG;IACZ,OAAO,EAAE,GAAG;IACZ,SAAS,EAAE,GAAG;CACf,CAAC;AAEF,SAAS,UAAU,CAAC,MAAkB,EAAE,IAA+B;IACrE,OAAO,MAAM,CAAC,KAAK;SAChB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACT,MAAM,KAAK,GAAG,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7E,MAAM,QAAQ,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrF,OAAO,KAAK,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,KAAK,GAAG,QAAQ,EAAE,CAAC;IACrE,CAAC,CAAC;SACD,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAyB;IACnD,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpC,OAAO,wBAAwB,MAAM,CAAC,cAAc,qBAAqB,CAAC;IAC5E,CAAC;IAED,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW;SACnC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACT,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC;QACzE,OAAO,OAAO,CAAC,CAAC,IAAI,GAAG,MAAM,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;IAChD,CAAC,CAAC;SACD,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,OAAO,gCAAgC,WAAW,EAAE,CAAC;AACvD,CAAC;AAED,6EAA6E;AAE7E,SAAS,YAAY,CAAC,KAAc,EAAE,IAAsB;IAC1D,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,OAAO,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;QACtD,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QACtC,MAAM,YAAY,GAAG,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAChF,IAAI,YAAY,EAAE,CAAC;YACjB,MAAM,MAAM,GAAG,kBAAkB,CAAC,YAAY,CAAC,CAAC;YAChD,IAAI,YAAY,CAAC,EAAE;gBAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;;gBACpC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC7B,CAAC;QACD,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;YACxB,OAAO,CAAC,KAAK,CACX,0EAA0E;gBACxE,kFAAkF,CACrF,CAAC;QACJ,CAAC;QACD,IACE,IAAI,KAAK,OAAO;YACd,CAAC,CAAC,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,YAAY,IAAI,CAAC,YAAY,EAAE,EAAE;YAC5D,CAAC,CAAC,MAAM,CAAC,YAAY,EACvB,CAAC;YACD,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,CAAC,KAAK,CAAC,WAAY,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;QACnD,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;IACvB,CAAC;AACH,CAAC;AAED,6EAA6E;AAE7E,KAAK,UAAU,OAAO,CAAC,IAAuB;IAC5C,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;IAC1B,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAChD,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;QAE/B,IAAI,GAAG,CAAC,cAAc,EAAE,CAAC;YACvB,IAAI,CACF,2EAA2E,EAC3E,qBAAqB,CACtB,CAAC;YACF,KAAK,CAAC,gBAAgB,CAAC,CAAC;YACxB,OAAO;QACT,CAAC;QAED,MAAM,QAAQ,GAAG;YACf,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI;YACzB,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI;YACpC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI;YACpC,GAAG,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI;SAC7E,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAClB,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;QAExE,IAAI,QAAkB,CAAC;QAEvB,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;YACb,2CAA2C;YAC3C,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QAClC,CAAC;aAAM,CAAC;YACN,+BAA+B;YAC/B,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC;gBACxB,OAAO,EAAE,6BAA6B;gBACtC,OAAO,EAAE;oBACP,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,sCAAsC,EAAE;oBACtF,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,oCAAoC,EAAE;iBACvF;aACF,CAAC,CAAC;YACH,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnB,MAAM,CAAC,kBAAkB,CAAC,CAAC;gBAC3B,OAAO;YACT,CAAC;YAED,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;gBACrB,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;YAClC,CAAC;iBAAM,CAAC;gBACN,gCAAgC;gBAChC,MAAM,YAAY,GAAG,MAAM,WAAW,CAAQ;oBAC5C,OAAO,EAAE,kCAAkC;oBAC3C,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;oBACpD,aAAa,EAAE,GAAG,CAAC,cAAc;oBACjC,QAAQ,EAAE,KAAK;iBAChB,CAAC,CAAC;gBACH,IAAI,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;oBAC3B,MAAM,CAAC,kBAAkB,CAAC,CAAC;oBAC3B,OAAO;gBACT,CAAC;gBACD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,CAAC;gBAEvC,sEAAsE;gBACtE,MAAM,GAAG,GAAG,iBAAiB,EAAE,CAAC;gBAChC,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,eAAe,CAAC,EAAE,GAAG,GAAG,EAAE,cAAc,EAAE,YAAY,EAAE,CAAC,CAAC,QAAQ,CACnE,CAAC;gBAEF,MAAM,UAAU,GAA2D,EAAE,CAAC;gBAC9E,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,GAAG,EAAE,CAAC;oBAC9B,IAAI,GAAG,CAAC,KAAK,KAAK,QAAQ,IAAI,GAAG,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;wBACvD,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;oBACjE,CAAC;yBAAM,IAAI,GAAG,CAAC,KAAK,KAAK,QAAQ,IAAI,GAAG,CAAC,KAAK,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;wBAC1E,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAC/E,CAAC;gBACH,CAAC;gBACD,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;gBAE1D,MAAM,UAAU,GAAG,MAAM,WAAW,CAAS;oBAC3C,OAAO,EAAE,iBAAiB;oBAC1B,OAAO,EAAE,UAAU;oBACnB,aAAa,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBAC/E,QAAQ,EAAE,IAAI;iBACf,CAAC,CAAC;gBACH,IAAI,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;oBACzB,MAAM,CAAC,kBAAkB,CAAC,CAAC;oBAC3B,OAAO;gBACT,CAAC;gBAED,sBAAsB;gBACtB,MAAM,aAAa,GAA4C;oBAC7D,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,aAAa,EAAE;oBAC9C,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,WAAW,EAAE;iBAC3C,CAAC;gBACF,MAAM,aAAa,GAAG,MAAM,WAAW,CAAS;oBAC9C,OAAO,EAAE,wBAAwB;oBACjC,OAAO,EAAE,aAAa;oBACtB,aAAa,EAAE,CAAC,aAAa,EAAE,WAAW,CAAC;oBAC3C,QAAQ,EAAE,IAAI;iBACf,CAAC,CAAC;gBACH,IAAI,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;oBAC5B,MAAM,CAAC,kBAAkB,CAAC,CAAC;oBAC3B,OAAO;gBACT,CAAC;gBAED,QAAQ,GAAG,sBAAsB,CAAC,YAAY,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC;YAC7E,CAAC;QACH,CAAC;QAED,8DAA8D;QAC9D,MAAM,YAAY,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,aAAa,CAAC,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;QACnD,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,EAAE,wBAAwB,CAAC,CAAC;QACvD,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,YAAY,CAAC,CAAC;QAE/C,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;YACd,MAAM,EAAE,GAAG,MAAM,OAAO,CAAC,EAAE,OAAO,EAAE,sBAAsB,EAAE,CAAC,CAAC;YAC9D,IAAI,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;gBACxB,MAAM,CAAC,kBAAkB,CAAC,CAAC;gBAC3B,OAAO;YACT,CAAC;QACH,CAAC;QAED,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QACzB,KAAK,CAAC,iEAAiE,CAAC,CAAC;IAC3E,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,CAAC,WAAY,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5C,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;IACvB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,YAAY;IAC1B,MAAM,OAAO,GAAG,IAAI,OAAO,EAAE,CAAC;IAE9B,OAAO;SACJ,IAAI,CAAC,QAAQ,CAAC;SACd,WAAW,CAAC,2DAA2D,CAAC;SACxE,OAAO,CAAC,OAAO,CAAC,CAAC;IAEpB,OAAO;SACJ,OAAO,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;SACpC,WAAW,CAAC,kEAAkE,CAAC;SAC/E,MAAM,CAAC,WAAW,EAAE,qDAAqD,CAAC;SAC1E,MAAM,CAAC,CAAC,IAAuB,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IAEtD,OAAO;SACJ,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,qEAAqE,CAAC;SAClF,MAAM,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IAE5C,OAAO;SACJ,OAAO,CAAC,OAAO,CAAC;SAChB,WAAW,CAAC,uDAAuD,CAAC;SACpE,MAAM,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;IAE9C,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/sync.d.ts

@@ -0,0 +1,37 @@
+import { type Manifest } from "./manifest.js";
+/**
+ * Orchestration for `sync` and `check` (docs/wiki/interaction-model.md). Ties loader →
+ * emitter → engine and performs the file I/O: read `praxis.yaml`, plan the emit,
+ * apply each op against the destination file, and (in write mode) persist safe
+ * changes. Never clobbers a user-edited managed block (D10) — conflicts are
+ * surfaced, not overwritten.
+ */
+export type FileStatus = "created" | "updated" | "unchanged";
+export interface FileReport {
+    path: string;
+    status: FileStatus;
+    /** Block ids the user edited; left untouched and surfaced for resolution. */
+    conflicts: string[];
+    /** Whether this file was written this run (false in check/dry-run mode). */
+    written: boolean;
+}
+export interface SyncReport {
+    files: FileReport[];
+    /** Any file would be (or was) created/updated — i.e. the repo was out of sync. */
+    changed: boolean;
+    /** Any managed block was edited by the user. */
+    hasConflicts: boolean;
+}
+export interface SyncOptions {
+    cwd: string;
+    /** false = check (dry-run): compute the report, write nothing. */
+    write: boolean;
+    manifestPath?: string;
+}
+export declare function runSync(opts: SyncOptions): SyncReport;
+/**
+ * Apply an in-memory manifest against the repo. Same engine as `runSync`, but the
+ * manifest comes from the caller rather than disk — `init` uses this to preview
+ * the emit before `praxis.yaml` exists.
+ */
+export declare function applyManifest(manifest: Manifest, cwd: string, write: boolean): SyncReport;

package/dist/sync.js

@@ -0,0 +1,45 @@
+import { mkdirSync, readFileSync, writeFileSync } from "node:fs";
+import { dirname, join } from "node:path";
+import { applyOp, planEmit } from "./emit.js";
+import { loadManifest } from "./manifest.js";
+export function runSync(opts) {
+    const manifestPath = opts.manifestPath ?? join(opts.cwd, "praxis.yaml");
+    return applyManifest(loadManifest(manifestPath), opts.cwd, opts.write);
+}
+/**
+ * Apply an in-memory manifest against the repo. Same engine as `runSync`, but the
+ * manifest comes from the caller rather than disk — `init` uses this to preview
+ * the emit before `praxis.yaml` exists.
+ */
+export function applyManifest(manifest, cwd, write) {
+    const ops = planEmit(manifest);
+    const files = [];
+    for (const op of ops) {
+        const abs = join(cwd, op.path);
+        const existing = readFileIfExists(abs);
+        const result = applyOp(op, existing ?? "");
+        const status = existing === undefined ? "created" : result.changed ? "updated" : "unchanged";
+        // Write safe changes only: never in check mode, never a pure no-op. result.text
+        // already preserves any conflicted block, so writing it honors D10.
+        const written = write && (status === "created" || (status === "updated" && result.changed));
+        if (written) {
+            mkdirSync(dirname(abs), { recursive: true });
+            writeFileSync(abs, result.text, "utf8");
+        }
+        files.push({ path: op.path, status, conflicts: result.conflicts, written });
+    }
+    return {
+        files,
+        changed: files.some((f) => f.status !== "unchanged"),
+        hasConflicts: files.some((f) => f.conflicts.length > 0),
+    };
+}
+function readFileIfExists(path) {
+    try {
+        return readFileSync(path, "utf8");
+    }
+    catch {
+        return undefined;
+    }
+}
+//# sourceMappingURL=sync.js.map

package/dist/sync.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sync.js","sourceRoot":"","sources":["../src/sync.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACjE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAiB,MAAM,eAAe,CAAC;AAoC5D,MAAM,UAAU,OAAO,CAAC,IAAiB;IACvC,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;IACxE,OAAO,aAAa,CAAC,YAAY,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;AACzE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,QAAkB,EAAE,GAAW,EAAE,KAAc;IAC3E,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAE/B,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,OAAO,CAAC,EAAE,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC;QAE3C,MAAM,MAAM,GACV,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC;QAEhF,gFAAgF;QAChF,oEAAoE;QACpE,MAAM,OAAO,GACX,KAAK,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;QAC9E,IAAI,OAAO,EAAE,CAAC;YACZ,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAC7C,aAAa,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC1C,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC;IAC9E,CAAC;IAED,OAAO;QACL,KAAK;QACL,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC;QACpD,YAAY,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;KACxD,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAY;IACpC,IAAI,CAAC;QACH,OAAO,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACpC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC"}

package/package.json

@@ -0,0 +1,40 @@
+{
+  "name": "@aacombarro89/praxis",
+  "version": "0.1.0",
+  "description": "A CLI that installs an AI methodology layer into a codebase.",
+  "type": "module",
+  "bin": {
+    "praxis": "dist/cli.js"
+  },
+  "files": [
+    "dist",
+    "packages"
+  ],
+  "engines": {
+    "node": ">=20"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.build.json",
+    "typecheck": "tsc --noEmit",
+    "test": "vitest run test/",
+    "conformance": "vitest run conformance/",
+    "selfcheck": "node dist/cli.js check",
+    "test:watch": "vitest",
+    "prepublishOnly": "npm run build"
+  },
+  "license": "UNLICENSED",
+  "dependencies": {
+    "@clack/prompts": "^1.5.1",
+    "commander": "^14.0.3",
+    "yaml": "^2.9.0",
+    "zod": "^4.4.3"
+  },
+  "devDependencies": {
+    "@types/node": "^20.14.0",
+    "typescript": "^6.0.3",
+    "vitest": "^4.1.9"
+  }
+}

package/packages/external/drawio/package.yaml

@@ -0,0 +1,7 @@
+# Package manifest (docs/wiki/packages-and-emit.md, D20). This package provides no
+# methodology content of its own — it declares a Claude Code plugin marketplace
+# (plugins.yaml) that Praxis emits into .claude/settings.json. See
+# docs/wiki/emitters.md/D19 for the quarantine-per-tool shape this mirrors.
+name: drawio
+layer: external
+provides: [plugins]

package/packages/external/drawio/plugins.yaml

@@ -0,0 +1,13 @@
+# Declarative Claude Code plugin-marketplace reference (src/plugins.ts).
+# Praxis never executes anything here — this is committable config that Claude
+# Code itself reads on folder-trust to offer installing/enabling the plugin.
+# Verified against github.com/Agents365-ai/365-skills, which genuinely ships no
+# tags — left unpinned rather than fabricating a ref/sha.
+targets: [claude-code]
+marketplace:
+  name: 365-skills
+  source:
+    source: github
+    repo: Agents365-ai/365-skills
+enable:
+  - drawio@365-skills

package/packages/external/ponytail/package.yaml

@@ -0,0 +1,7 @@
+# Package manifest (docs/wiki/packages-and-emit.md, D20). This package provides no
+# methodology content of its own — it declares a Claude Code plugin marketplace
+# (plugins.yaml) that Praxis emits into .claude/settings.json. See
+# docs/wiki/emitters.md/D19 for the quarantine-per-tool shape this mirrors.
+name: ponytail
+layer: external
+provides: [plugins]

package/packages/external/ponytail/plugins.yaml

@@ -0,0 +1,13 @@
+# Declarative Claude Code plugin-marketplace reference (src/plugins.ts).
+# Praxis never executes anything here — this is committable config that Claude
+# Code itself reads on folder-trust to offer installing/enabling the plugin.
+# Verified against github.com/DietrichGebert/ponytail (tag v4.7.0 exists).
+targets: [claude-code]
+marketplace:
+  name: ponytail
+  source:
+    source: github
+    repo: DietrichGebert/ponytail
+    ref: v4.7.0
+enable:
+  - ponytail@ponytail

package/packages/layer1/instruction-upkeep/commands/audit.md

@@ -0,0 +1,41 @@
+---
+description: Audit the authored instruction files (CLAUDE.md, .claude/rules) against the project's current state and bring them back in line.
+---
+
+Audit scope: $ARGUMENTS
+
+This audits the **authored instruction layer** — `CLAUDE.md` and
+`.claude/rules` — not the tool's native auto-memory and not any 3rd-party
+agent-memory system. Those are out of scope.
+
+1. Read `CLAUDE.md` and every file under `.claude/rules`. Identify any
+   canonical doc they point to (architecture doc, decision log, design doc).
+2. Compare what the instruction files claim against that canonical doc and
+   against recent git history (`git log`, changed files) and the current
+   code/config. List concretely what is stale, missing, or now contradicted —
+   cite the file and line for each. Then check operational completeness
+   against this rubric — does the instruction layer document:
+   - build/test/run commands (and how CI verifies the repo, if there is one)
+   - project layout (key directories/modules)
+   - key conventions (e.g. branch/PR flow, what a change must ship with)
+   - always-do rules (the few non-negotiable habits)
+
+   Flag any rubric section that's entirely absent, citing where it should go.
+3. **Ask the user before editing anything.** Present the list from step 2 and
+   confirm which items to fix.
+4. For approved items, update only project-owned sections of the instruction
+   files — never invent a fact that isn't backed by the canonical doc, the
+   code, or the user's answer. Where an instruction file currently restates a
+   fact that lives in a canonical doc, prefer replacing the restatement with a
+   link to that doc (reference, don't duplicate) so it can't drift again.
+5. If an instruction file carries `praxisAnchors` frontmatter, revalidate and
+   update the anchors for any changed source reference. Phase-2 anchors are
+   deterministic only:
+   - `type: path`, `target: repo/relative/path`
+   - `type: command`, `target: npm run <script>` or `npm <script>`
+   - `type: section`, `target: docs/file.md#heading-slug`
+
+   Do not add hash/staleness tripwires here yet; those are future advisory
+   signals. Run `praxis check` if available and fix broken anchors before
+   reporting completion.
+6. Report what changed and what was left as-is, with reasons.