@aacombarro89/praxis 0.1.0

package/dist/anchors.d.ts

@@ -0,0 +1,36 @@
+import { z } from "zod";
+/**
+ * Deterministic knowledge-anchor checks for D26 Tier 2.
+ *
+ * Anchors live in markdown frontmatter under `praxisAnchors`. They are not a
+ * truth check for prose; they only prove that cited repo reality still resolves.
+ */
+declare const anchorSchema: z.ZodObject<{
+    type: z.ZodEnum<{
+        path: "path";
+        command: "command";
+        section: "section";
+    }>;
+    target: z.ZodString;
+}, z.core.$strict>;
+export type Anchor = z.infer<typeof anchorSchema>;
+export interface AnchorDiagnostic {
+    file: string;
+    type?: Anchor["type"];
+    target?: string;
+    message: string;
+}
+export interface AnchorCheckReport {
+    filesScanned: number;
+    anchorsChecked: number;
+    diagnostics: AnchorDiagnostic[];
+    ok: boolean;
+}
+interface AnchorFile {
+    path: string;
+    anchors: Anchor[];
+    diagnostics: AnchorDiagnostic[];
+}
+export declare function checkAnchors(cwd: string): AnchorCheckReport;
+export declare function parseAnchorsFromMarkdown(file: string, text: string): AnchorFile;
+export {};

package/dist/anchors.js

@@ -0,0 +1,197 @@
+import { existsSync, readFileSync, readdirSync } from "node:fs";
+import { isAbsolute, join, relative, sep } from "node:path";
+import { parse as parseYaml } from "yaml";
+import { z } from "zod";
+/**
+ * Deterministic knowledge-anchor checks for D26 Tier 2.
+ *
+ * Anchors live in markdown frontmatter under `praxisAnchors`. They are not a
+ * truth check for prose; they only prove that cited repo reality still resolves.
+ */
+const anchorSchema = z.strictObject({
+    type: z.enum(["path", "command", "section"]),
+    target: z.string().min(1),
+});
+const frontmatterSchema = z.object({
+    praxisAnchors: z.array(anchorSchema).optional(),
+});
+export function checkAnchors(cwd) {
+    const files = listKnowledgeMarkdownFiles(cwd);
+    const diagnostics = [];
+    let anchorsChecked = 0;
+    for (const file of files) {
+        const parsed = parseAnchorFile(cwd, file);
+        diagnostics.push(...parsed.diagnostics);
+        for (const anchor of parsed.anchors) {
+            anchorsChecked += 1;
+            const diagnostic = resolveAnchor(cwd, parsed.path, anchor);
+            if (diagnostic)
+                diagnostics.push(diagnostic);
+        }
+    }
+    return {
+        filesScanned: files.length,
+        anchorsChecked,
+        diagnostics,
+        ok: diagnostics.length === 0,
+    };
+}
+export function parseAnchorsFromMarkdown(file, text) {
+    const frontmatter = readFrontmatter(text);
+    if (frontmatter === undefined)
+        return { path: file, anchors: [], diagnostics: [] };
+    let raw;
+    try {
+        raw = parseYaml(frontmatter);
+    }
+    catch (err) {
+        return {
+            path: file,
+            anchors: [],
+            diagnostics: [{ file, message: `frontmatter is not valid YAML: ${err.message}` }],
+        };
+    }
+    const result = frontmatterSchema.safeParse(raw ?? {});
+    if (!result.success) {
+        return {
+            path: file,
+            anchors: [],
+            diagnostics: result.error.issues.map((issue) => ({
+                file,
+                message: `invalid praxisAnchors metadata at ${issue.path.map(String).join(".")}: ${issue.message}`,
+            })),
+        };
+    }
+    return { path: file, anchors: result.data.praxisAnchors ?? [], diagnostics: [] };
+}
+function parseAnchorFile(cwd, file) {
+    return parseAnchorsFromMarkdown(file, readFileSync(join(cwd, file), "utf8"));
+}
+function resolveAnchor(cwd, file, anchor) {
+    if (anchor.type === "path")
+        return resolvePathAnchor(cwd, file, anchor);
+    if (anchor.type === "command")
+        return resolveCommandAnchor(cwd, file, anchor);
+    return resolveSectionAnchor(cwd, file, anchor);
+}
+function resolvePathAnchor(cwd, file, anchor) {
+    const target = safeRepoTarget(cwd, anchor.target);
+    if (target === undefined) {
+        return diagnostic(file, anchor, "path anchor must be a repo-relative path without '..'");
+    }
+    if (!existsSync(target.abs)) {
+        return diagnostic(file, anchor, `path does not exist: ${anchor.target}`);
+    }
+    return undefined;
+}
+function resolveCommandAnchor(cwd, file, anchor) {
+    const script = npmScriptName(anchor.target);
+    if (script === undefined) {
+        return diagnostic(file, anchor, `unsupported command anchor: ${anchor.target}`);
+    }
+    let pkg;
+    try {
+        pkg = JSON.parse(readFileSync(join(cwd, "package.json"), "utf8"));
+    }
+    catch {
+        return diagnostic(file, anchor, "package.json is missing or invalid");
+    }
+    const scripts = z.object({ scripts: z.record(z.string(), z.string()).optional() }).safeParse(pkg);
+    if (!scripts.success || scripts.data.scripts?.[script] === undefined) {
+        return diagnostic(file, anchor, `package.json has no "${script}" script`);
+    }
+    return undefined;
+}
+function resolveSectionAnchor(cwd, file, anchor) {
+    const [path, hash, extra] = anchor.target.split("#");
+    if (!path || !hash || extra !== undefined) {
+        return diagnostic(file, anchor, "section anchor must look like docs/file.md#heading-slug");
+    }
+    const target = safeRepoTarget(cwd, path);
+    if (target === undefined) {
+        return diagnostic(file, anchor, "section anchor path must be repo-relative and without '..'");
+    }
+    if (!existsSync(target.abs)) {
+        return diagnostic(file, anchor, `section file does not exist: ${path}`);
+    }
+    const headings = markdownHeadingSlugs(readFileSync(target.abs, "utf8"));
+    if (!headings.has(hash)) {
+        return diagnostic(file, anchor, `section does not exist: ${anchor.target}`);
+    }
+    return undefined;
+}
+function diagnostic(file, anchor, message) {
+    return { file, type: anchor.type, target: anchor.target, message };
+}
+function npmScriptName(command) {
+    const run = command.match(/^npm run ([A-Za-z0-9:_-]+)$/);
+    if (run?.[1])
+        return run[1];
+    const direct = command.match(/^npm ([A-Za-z0-9:_-]+)$/);
+    if (direct?.[1])
+        return direct[1];
+    return undefined;
+}
+function markdownHeadingSlugs(text) {
+    const slugs = new Set();
+    for (const line of text.split(/\r?\n/)) {
+        const match = line.match(/^(#{1,6})\s+(.+?)\s*#*\s*$/);
+        if (match?.[2])
+            slugs.add(slugifyHeading(match[2]));
+    }
+    return slugs;
+}
+function slugifyHeading(heading) {
+    return heading
+        .replace(/`([^`]+)`/g, "$1")
+        .trim()
+        .toLowerCase()
+        .replace(/[^\p{Letter}\p{Number}\s-]/gu, "")
+        .replace(/\s+/g, "-")
+        .replace(/-+/g, "-");
+}
+function safeRepoTarget(cwd, target) {
+    if (isAbsolute(target))
+        return undefined;
+    const parts = target.split(/[\\/]+/);
+    if (parts.includes(".."))
+        return undefined;
+    const abs = join(cwd, ...parts);
+    const rel = relative(cwd, abs);
+    if (rel === "" || rel.startsWith("..") || isAbsolute(rel))
+        return undefined;
+    return { abs, rel: rel.split(sep).join("/") };
+}
+function readFrontmatter(text) {
+    if (!text.startsWith("---\n"))
+        return undefined;
+    const end = text.indexOf("\n---", 4);
+    if (end === -1)
+        return undefined;
+    const after = text[end + 4];
+    if (after !== "\n" && after !== "\r" && after !== undefined)
+        return undefined;
+    return text.slice(4, end);
+}
+function listKnowledgeMarkdownFiles(cwd) {
+    return [
+        ...["CLAUDE.md", "MEMORY.md", "USER.md"].filter((file) => existsSync(join(cwd, file))),
+        ...listMarkdownUnder(cwd, "docs/wiki"),
+        ...listMarkdownUnder(cwd, "docs/proposals"),
+    ].sort();
+}
+function listMarkdownUnder(cwd, root) {
+    const absRoot = join(cwd, root);
+    if (!existsSync(absRoot))
+        return [];
+    const files = [];
+    for (const entry of readdirSync(absRoot, { withFileTypes: true })) {
+        const rel = `${root}/${entry.name}`;
+        if (entry.isDirectory())
+            files.push(...listMarkdownUnder(cwd, rel));
+        if (entry.isFile() && entry.name.endsWith(".md"))
+            files.push(rel);
+    }
+    return files;
+}
+//# sourceMappingURL=anchors.js.map

package/dist/anchors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"anchors.js","sourceRoot":"","sources":["../src/anchors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAC5D,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAC;AAC1C,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;;;GAKG;AAEH,MAAM,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC;IAClC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;IAC5C,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAC1B,CAAC,CAAC;AAEH,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC;IACjC,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,QAAQ,EAAE;CAChD,CAAC,CAAC;AAwBH,MAAM,UAAU,YAAY,CAAC,GAAW;IACtC,MAAM,KAAK,GAAG,0BAA0B,CAAC,GAAG,CAAC,CAAC;IAC9C,MAAM,WAAW,GAAuB,EAAE,CAAC;IAC3C,IAAI,cAAc,GAAG,CAAC,CAAC;IAEvB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC1C,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;QAExC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACpC,cAAc,IAAI,CAAC,CAAC;YACpB,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC3D,IAAI,UAAU;gBAAE,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;IAED,OAAO;QACL,YAAY,EAAE,KAAK,CAAC,MAAM;QAC1B,cAAc;QACd,WAAW;QACX,EAAE,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC;KAC7B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,IAAY,EAAE,IAAY;IACjE,MAAM,WAAW,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IAC1C,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;IAEnF,IAAI,GAAY,CAAC;IACjB,IAAI,CAAC;QACH,GAAG,GAAG,SAAS,CAAC,WAAW,CAAC,CAAC;IAC/B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO;YACL,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,EAAE;YACX,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,kCAAmC,GAAa,CAAC,OAAO,EAAE,EAAE,CAAC;SAC7F,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,iBAAiB,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC;IACtD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,OAAO;YACL,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,EAAE;YACX,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBAC/C,IAAI;gBACJ,OAAO,EAAE,qCAAqC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,OAAO,EAAE;aACnG,CAAC,CAAC;SACJ,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;AACnF,CAAC;AAED,SAAS,eAAe,CAAC,GAAW,EAAE,IAAY;IAChD,OAAO,wBAAwB,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,aAAa,CAAC,GAAW,EAAE,IAAY,EAAE,MAAc;IAC9D,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,iBAAiB,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACxE,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,oBAAoB,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IAC9E,OAAO,oBAAoB,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,iBAAiB,CAAC,GAAW,EAAE,IAAY,EAAE,MAAc;IAClE,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IAClD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,uDAAuD,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,wBAAwB,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,oBAAoB,CAAC,GAAW,EAAE,IAAY,EAAE,MAAc;IACrE,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC5C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,+BAA+B,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAClF,CAAC;IAED,IAAI,GAAY,CAAC;IACjB,IAAI,CAAC;QACH,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;IACpE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,oCAAoC,CAAC,CAAC;IACxE,CAAC;IAED,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAClG,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,KAAK,SAAS,EAAE,CAAC;QACrE,OAAO,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,wBAAwB,MAAM,UAAU,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,oBAAoB,CAAC,GAAW,EAAE,IAAY,EAAE,MAAc;IACrE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACrD,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QAC1C,OAAO,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,yDAAyD,CAAC,CAAC;IAC7F,CAAC;IAED,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACzC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,4DAA4D,CAAC,CAAC;IAChG,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,gCAAgC,IAAI,EAAE,CAAC,CAAC;IAC1E,CAAC;IAED,MAAM,QAAQ,GAAG,oBAAoB,CAAC,YAAY,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;IACxE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,OAAO,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,2BAA2B,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,UAAU,CAAC,IAAY,EAAE,MAAc,EAAE,OAAe;IAC/D,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC;AACrE,CAAC;AAED,SAAS,aAAa,CAAC,OAAe;IACpC,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;IACzD,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;QAAE,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;IAE5B,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACxD,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IAElC,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAY;IACxC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;QACvD,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CAAC,OAAe;IACrC,OAAO,OAAO;SACX,OAAO,CAAC,YAAY,EAAE,IAAI,CAAC;SAC3B,IAAI,EAAE;SACN,WAAW,EAAE;SACb,OAAO,CAAC,8BAA8B,EAAE,EAAE,CAAC;SAC3C,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC;SACpB,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AACzB,CAAC;AAED,SAAS,cAAc,CAAC,GAAW,EAAE,MAAc;IACjD,IAAI,UAAU,CAAC,MAAM,CAAC;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACrC,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAE3C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC;IAChC,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC/B,IAAI,GAAG,KAAK,EAAE,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5E,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,eAAe,CAAC,IAAY;IACnC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,SAAS,CAAC;IAChD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IACrC,IAAI,GAAG,KAAK,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACjC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;IAC5B,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC9E,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,0BAA0B,CAAC,GAAW;IAC7C,OAAO;QACL,GAAG,CAAC,WAAW,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QACtF,GAAG,iBAAiB,CAAC,GAAG,EAAE,WAAW,CAAC;QACtC,GAAG,iBAAiB,CAAC,GAAG,EAAE,gBAAgB,CAAC;KAC5C,CAAC,IAAI,EAAE,CAAC;AACX,CAAC;AAED,SAAS,iBAAiB,CAAC,GAAW,EAAE,IAAY;IAClD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAChC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,CAAC;IAEpC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QAClE,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QACpC,IAAI,KAAK,CAAC,WAAW,EAAE;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACpE,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/cli.d.ts

@@ -0,0 +1,2 @@
+#!/usr/bin/env node
+export {};

package/dist/cli.js

@@ -0,0 +1,4 @@
+#!/usr/bin/env node
+import { buildProgram } from "./program.js";
+buildProgram().parseAsync(process.argv);
+//# sourceMappingURL=cli.js.map

package/dist/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAE5C,YAAY,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC"}

package/dist/emit.d.ts

@@ -0,0 +1,51 @@
+import type { Manifest, Target } from "./manifest.js";
+import { type PluginsDesired, type RuleSet } from "./merge-json.js";
+/** The neutral methodology source for a content package, or undefined if the
+ *  package has no rules.md (e.g. skills, Layer 2 recipes handled by other phases). */
+export declare function loadPackageSource(pkg: string): string | undefined;
+/** A package's slash commands: one file per command, named for the command it
+ *  becomes (the filename, sans extension, is what the user types after `/`). */
+export interface CommandSource {
+    name: string;
+    content: string;
+}
+/** A content package's commands, or [] if it has none. Scans
+ *  packages/<layer>/<pkg>/commands/*.md — mirrors loadPackageSource. */
+export declare function loadCommandSources(pkg: string): CommandSource[];
+/** A planned write. "owned" files are placed/replaced wholesale; "block" files
+ *  have their managed blocks reconciled into existing text; "settings" carries
+ *  whichever of permissions/plugins this target emits — always exactly one op
+ *  per target per settings path, so the two concerns compose into a single
+ *  write instead of racing on the same file. */
+export type EmitOp = {
+    kind: "owned";
+    target: Target;
+    path: string;
+    content: string;
+} | {
+    kind: "block";
+    target: Target;
+    path: string;
+    blocks: Record<string, string>;
+} | {
+    kind: "settings";
+    target: Target;
+    path: string;
+    rules?: RuleSet;
+    plugins?: PluginsDesired;
+};
+/** Build the emit plan from a manifest: the file operations needed to install
+ *  the selected methodology for each target. */
+export declare function planEmit(manifest: Manifest): EmitOp[];
+export interface ApplyResult {
+    text: string;
+    changed: boolean;
+    /** Conflicts (user-edited managed content): block ids for block delivery,
+     *  `permissions.<bucket>` / `plugins.marketplaces` / `plugins.enable` for the
+     *  JSON merge; never for owned. */
+    conflicts: string[];
+}
+/** Apply one emit op against the destination file's existing text (pure; no I/O).
+ *  Owned files are replaced wholesale; block files are reconciled; settings ops
+ *  reconcile permissions and/or plugins in one pass over the same JSON file. */
+export declare function applyOp(op: EmitOp, existing?: string): ApplyResult;

package/dist/emit.js

@@ -0,0 +1,253 @@
+import { existsSync, readdirSync, readFileSync } from "node:fs";
+import { join } from "node:path";
+import { fileURLToPath } from "node:url";
+import { reconcile } from "./merge.js";
+import { BUCKETS, reconcileSettings, } from "./merge-json.js";
+import { resolvePackages } from "./packages.js";
+import { loadPolicy } from "./permissions.js";
+import { loadPluginsBlock } from "./plugins.js";
+/**
+ * Layer 1 emit (CLAUDE.md non-negotiable "tool-neutral by construction";
+ * docs/wiki/merge-engine.md / docs/wiki/emitters.md, decisions D7/D13). The methodology source is **singular
+ * and tool-neutral**; emitters *translate* it per target — they never fork the
+ * content.
+ *
+ * Two delivery shapes, per target:
+ *   - "owned": Praxis owns whole files (place/replace, no merge). Claude Code
+ *     methodology ships as `.claude/rules/praxis-*.md`, auto-loaded every
+ *     session; Praxis never edits the user's CLAUDE.md (D13).
+ *   - "block": content is inlined into a flat instruction file via a managed
+ *     block (merge engine). Used for AGENTS.md, which has no include standard.
+ *
+ * Package layout (D16): packages/<layer>/<pkg>/rules.md. `../packages/` resolves
+ * the same from src/ (dev/vitest) and dist/ (built/installed) — both one level
+ * under repo root.
+ */
+// Root of the per-layer package tree. Resolves identically from src/ and dist/.
+const PACKAGES_DIR = new URL("../packages/", import.meta.url);
+// Where each target's methodology lives, and how it is delivered.
+const TARGET_DELIVERY = {
+    "claude-code": "owned",
+    "agents-md": "block",
+};
+// Block-delivered targets each own a managed block in one flat file.
+const BLOCK_FILE = {
+    "agents-md": "AGENTS.md",
+};
+/** The neutral methodology source for a content package, or undefined if the
+ *  package has no rules.md (e.g. skills, Layer 2 recipes handled by other phases). */
+export function loadPackageSource(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, "rules.md");
+        if (existsSync(candidate))
+            return readFileSync(candidate, "utf8").trimEnd();
+    }
+    return undefined;
+}
+/** Translate neutral source for a specific target. The seam for per-tool
+ *  framing; Layer 1 prose is identical across tools today. */
+function renderForTarget(source, _target) {
+    return source;
+}
+/** A content package's commands, or [] if it has none. Scans
+ *  packages/<layer>/<pkg>/commands/*.md — mirrors loadPackageSource. */
+export function loadCommandSources(pkg) {
+    const root = fileURLToPath(PACKAGES_DIR);
+    for (const entry of readdirSync(root, { withFileTypes: true })) {
+        if (!entry.isDirectory())
+            continue;
+        const dir = join(root, entry.name, pkg, "commands");
+        if (!existsSync(dir))
+            continue;
+        return readdirSync(dir, { withFileTypes: true })
+            .filter((f) => f.isFile() && f.name.endsWith(".md"))
+            .map((f) => ({
+            name: f.name.slice(0, -3),
+            content: readFileSync(join(dir, f.name), "utf8").trimEnd(),
+        }));
+    }
+    return [];
+}
+/** Targets with a slash-command model, and where commands land. A target absent
+ *  here has no command model → Praxis emits nothing for it (a no-op, never a
+ *  fabricated file). Claude Code first (D19's "no permission model → no-op",
+ *  same shape for commands). */
+const COMMAND_DIR = {
+    "claude-code": ".claude/commands",
+};
+/**
+ * Claude Code permission emitter (docs/wiki/emitters.md — *quarantined per-tool*;
+ * D19). Maps each neutral capability to concrete Claude Code rule strings.
+ * Grammar verified against code.claude.com/docs/en/settings: `Tool(pattern)`,
+ * gitignore-style path globs, `:*` command-prefix wildcard, `deny` overrides
+ * `allow`. The bucket (allow/ask/deny) is chosen by the policy, not here — this
+ * table only knows the rule strings a capability denotes.
+ *
+ * `pipe-network-to-shell` (e.g. `curl … | sh`) is deliberately NOT a capability:
+ * prefix-matched rules cannot reliably catch a pipe, and a denylist that looks
+ * protective but isn't is worse than none (the "denylist delusion"). Excluded by
+ * the content bar (durable + verified) rather than emitted as a false guarantee.
+ */
+const CLAUDE_CODE_RULES = {
+    "read-repo": ["Read(./**)"],
+    "edit-repo": ["Edit(./**)", "Write(./**)"],
+    "run-dev-scripts": [
+        "Bash(npm run test:*)",
+        "Bash(npm run lint:*)",
+        "Bash(npm run typecheck:*)",
+        "Bash(npm run build:*)",
+    ],
+    "read-only-git": ["Bash(git status:*)", "Bash(git diff:*)", "Bash(git log:*)"],
+    "git-commit": ["Bash(git commit:*)"],
+    "git-push": ["Bash(git push:*)"],
+    "install-deps": ["Bash(npm install:*)", "Bash(npm i:*)", "Bash(npm ci:*)"],
+    "destructive-delete": ["Bash(rm -rf:*)"],
+    "force-push": ["Bash(git push --force:*)", "Bash(git push -f:*)"],
+    "read-secrets": ["Read(./.env)", "Read(./.env.*)", "Read(./**/*.pem)", "Read(./**/credentials*)"],
+    "global-install": ["Bash(npm install -g:*)", "Bash(npm i -g:*)", "Bash(pnpm add -g:*)"],
+};
+/** Render a neutral policy into Claude Code's allow/ask/deny rule strings. */
+function toClaudeRuleSet(policy) {
+    const out = { allow: [], ask: [], deny: [] };
+    for (const bucket of BUCKETS) {
+        for (const cap of policy[bucket]) {
+            for (const rule of CLAUDE_CODE_RULES[cap]) {
+                if (!out[bucket].includes(rule))
+                    out[bucket].push(rule);
+            }
+        }
+    }
+    return out;
+}
+/** Targets with a permission model, and where the rendered policy lands. A
+ *  target absent here has no permission model → Praxis emits nothing for it
+ *  (a no-op, never a fabricated file). Claude Code first (D19). Shares a path
+ *  with PLUGIN_EMITTERS below — both concerns compose into one settings op per
+ *  target (see the single `kind: "settings"` EmitOp). */
+const PERMISSION_EMITTERS = {
+    "claude-code": { path: ".claude/settings.json", render: toClaudeRuleSet },
+};
+/** Targets with a Claude Code plugin-marketplace model, and where the
+ *  declaration lands. A target absent here has no plugin model (e.g.
+ *  agents-md, a flat-file convention with no marketplace concept) → Praxis
+ *  emits nothing for it. Claude Code only, today. */
+const PLUGIN_EMITTERS = {
+    "claude-code": { path: ".claude/settings.json" },
+};
+/** Build the emit plan from a manifest: the file operations needed to install
+ *  the selected methodology for each target. */
+export function planEmit(manifest) {
+    // Validate the package set and resolve requires/conflicts up front (D20/D21):
+    // an unknown package or unmet dependency fails loudly here, not silently later.
+    const packages = resolvePackages(manifest.packages, manifest.stacks ?? []);
+    const rulesPackages = packages.filter((p) => p.provides.includes("rules"));
+    const permissionPackages = packages.filter((p) => p.provides.includes("permissions"));
+    const commandPackages = packages.filter((p) => p.provides.includes("commands"));
+    const pluginPackages = packages.filter((p) => p.provides.includes("plugins"));
+    const ops = [];
+    for (const target of manifest.targets) {
+        // Prose rules — delivery (owned vs block) is the target's; `provides` decides
+        // which packages contribute. `loadPackageSource` is guaranteed by `provides`.
+        const sources = rulesPackages.map((p) => ({ pkg: p.name, source: loadPackageSource(p.name) ?? "" }));
+        if (sources.length > 0) {
+            if (TARGET_DELIVERY[target] === "owned") {
+                for (const { pkg, source } of sources) {
+                    ops.push({
+                        kind: "owned",
+                        target,
+                        path: `.claude/rules/praxis-${pkg}.md`,
+                        content: `${renderForTarget(source, target)}\n`,
+                    });
+                }
+            }
+            else {
+                const blocks = {};
+                for (const { pkg, source } of sources)
+                    blocks[pkg] = renderForTarget(source, target);
+                ops.push({ kind: "block", target, path: BLOCK_FILE[target], blocks });
+            }
+        }
+        // Structured permission policy (second artifact kind, docs/wiki/packages-and-emit.md "provides")
+        // and the plugin-marketplace declaration (fourth artifact kind) both land in
+        // `.claude/settings.json`. Compute each independently, but emit at most ONE
+        // settings op per target so the two concerns compose into a single write
+        // instead of two ops racing on the same path (the same-file compose bug).
+        const permEmitter = PERMISSION_EMITTERS[target];
+        let rules;
+        if (permEmitter && permissionPackages.length > 0) {
+            rules = { allow: [], ask: [], deny: [] };
+            for (const p of permissionPackages) {
+                const policy = loadPolicy(p.name);
+                if (!policy)
+                    continue;
+                const r = permEmitter.render(policy);
+                for (const bucket of BUCKETS) {
+                    for (const rule of r[bucket])
+                        if (!rules[bucket].includes(rule))
+                            rules[bucket].push(rule);
+                }
+            }
+        }
+        const pluginEmitter = PLUGIN_EMITTERS[target];
+        let plugins;
+        if (pluginEmitter && pluginPackages.length > 0) {
+            const marketplaces = [];
+            const enable = [];
+            for (const p of pluginPackages) {
+                const block = loadPluginsBlock(p.name);
+                if (!block || !block.targets.includes(target))
+                    continue;
+                if (!marketplaces.some((m) => m.name === block.marketplace.name)) {
+                    marketplaces.push(block.marketplace);
+                }
+                for (const entry of block.enable)
+                    if (!enable.includes(entry))
+                        enable.push(entry);
+            }
+            if (marketplaces.length > 0 || enable.length > 0)
+                plugins = { marketplaces, enable };
+        }
+        const settingsPath = permEmitter?.path ?? pluginEmitter?.path;
+        if (settingsPath && (rules || plugins)) {
+            ops.push({ kind: "settings", target, path: settingsPath, rules, plugins });
+        }
+        // Slash commands (third artifact kind, docs/wiki/packages-and-emit.md "provides"). One owned file per
+        // command, prefixed so it's identifiable as Praxis-managed; targets with no
+        // command model are a no-op.
+        const commandDir = COMMAND_DIR[target];
+        if (commandDir) {
+            for (const pkg of commandPackages) {
+                for (const { name, content } of loadCommandSources(pkg.name)) {
+                    ops.push({
+                        kind: "owned",
+                        target,
+                        path: `${commandDir}/praxis-${name}.md`,
+                        content: `${content}\n`,
+                    });
+                }
+            }
+        }
+    }
+    return ops;
+}
+/** Apply one emit op against the destination file's existing text (pure; no I/O).
+ *  Owned files are replaced wholesale; block files are reconciled; settings ops
+ *  reconcile permissions and/or plugins in one pass over the same JSON file. */
+export function applyOp(op, existing = "") {
+    if (op.kind === "owned") {
+        return { text: op.content, changed: existing !== op.content, conflicts: [] };
+    }
+    if (op.kind === "settings") {
+        const desired = {};
+        if (op.rules)
+            desired.permissions = op.rules;
+        if (op.plugins)
+            desired.plugins = op.plugins;
+        return reconcileSettings(existing, desired);
+    }
+    return reconcile(existing, op.blocks);
+}
+//# sourceMappingURL=emit.js.map

package/dist/emit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"emit.js","sourceRoot":"","sources":["../src/emit.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;AAEzC,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EACL,OAAO,EAIP,iBAAiB,GAElB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAmB,UAAU,EAAe,MAAM,kBAAkB,CAAC;AAC5E,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEhD;;;;;;;;;;;;;;;;GAgBG;AAEH,gFAAgF;AAChF,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAI9D,kEAAkE;AAClE,MAAM,eAAe,GAA6B;IAChD,aAAa,EAAE,OAAO;IACtB,WAAW,EAAE,OAAO;CACrB,CAAC;AAEF,qEAAqE;AACrE,MAAM,UAAU,GAAoC;IAClD,WAAW,EAAE,WAAW;CACzB,CAAC;AAEF;sFACsF;AACtF,MAAM,UAAU,iBAAiB,CAAC,GAAW;IAC3C,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,UAAU,CAAC,CAAC;QAC1D,IAAI,UAAU,CAAC,SAAS,CAAC;YAAE,OAAO,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9E,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;8DAC8D;AAC9D,SAAS,eAAe,CAAC,MAAc,EAAE,OAAe;IACtD,OAAO,MAAM,CAAC;AAChB,CAAC;AASD;wEACwE;AACxE,MAAM,UAAU,kBAAkB,CAAC,GAAW;IAC5C,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,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC;QACpD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QAC/B,OAAO,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC;aAC7C,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;aACnD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,OAAO,EAAE;SAC3D,CAAC,CAAC,CAAC;IACR,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED;;;gCAGgC;AAChC,MAAM,WAAW,GAAoC;IACnD,aAAa,EAAE,kBAAkB;CAClC,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,iBAAiB,GAAiC;IACtD,WAAW,EAAE,CAAC,YAAY,CAAC;IAC3B,WAAW,EAAE,CAAC,YAAY,EAAE,aAAa,CAAC;IAC1C,iBAAiB,EAAE;QACjB,sBAAsB;QACtB,sBAAsB;QACtB,2BAA2B;QAC3B,uBAAuB;KACxB;IACD,eAAe,EAAE,CAAC,oBAAoB,EAAE,kBAAkB,EAAE,iBAAiB,CAAC;IAC9E,YAAY,EAAE,CAAC,oBAAoB,CAAC;IACpC,UAAU,EAAE,CAAC,kBAAkB,CAAC;IAChC,cAAc,EAAE,CAAC,qBAAqB,EAAE,eAAe,EAAE,gBAAgB,CAAC;IAC1E,oBAAoB,EAAE,CAAC,gBAAgB,CAAC;IACxC,YAAY,EAAE,CAAC,0BAA0B,EAAE,qBAAqB,CAAC;IACjE,cAAc,EAAE,CAAC,cAAc,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,yBAAyB,CAAC;IACjG,gBAAgB,EAAE,CAAC,wBAAwB,EAAE,kBAAkB,EAAE,qBAAqB,CAAC;CACxF,CAAC;AAEF,8EAA8E;AAC9E,SAAS,eAAe,CAAC,MAAc;IACrC,MAAM,GAAG,GAAY,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IACtD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YACjC,KAAK,MAAM,IAAI,IAAI,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC1C,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;oBAAE,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1D,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;yDAIyD;AACzD,MAAM,mBAAmB,GAAmF;IAC1G,aAAa,EAAE,EAAE,IAAI,EAAE,uBAAuB,EAAE,MAAM,EAAE,eAAe,EAAE;CAC1E,CAAC;AAEF;;;qDAGqD;AACrD,MAAM,eAAe,GAA8C;IACjE,aAAa,EAAE,EAAE,IAAI,EAAE,uBAAuB,EAAE;CACjD,CAAC;AAYF;gDACgD;AAChD,MAAM,UAAU,QAAQ,CAAC,QAAkB;IACzC,8EAA8E;IAC9E,gFAAgF;IAChF,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;IAC3E,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;IAC3E,MAAM,kBAAkB,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC;IACtF,MAAM,eAAe,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;IAChF,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;IAE9E,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtC,8EAA8E;QAC9E,8EAA8E;QAC9E,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;QACrG,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,IAAI,eAAe,CAAC,MAAM,CAAC,KAAK,OAAO,EAAE,CAAC;gBACxC,KAAK,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;oBACtC,GAAG,CAAC,IAAI,CAAC;wBACP,IAAI,EAAE,OAAO;wBACb,MAAM;wBACN,IAAI,EAAE,wBAAwB,GAAG,KAAK;wBACtC,OAAO,EAAE,GAAG,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI;qBAChD,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,MAAM,MAAM,GAA2B,EAAE,CAAC;gBAC1C,KAAK,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,OAAO;oBAAE,MAAM,CAAC,GAAG,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;gBACrF,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,CAAC,MAAM,CAAW,EAAE,MAAM,EAAE,CAAC,CAAC;YAClF,CAAC;QACH,CAAC;QAED,iGAAiG;QACjG,6EAA6E;QAC7E,4EAA4E;QAC5E,yEAAyE;QACzE,0EAA0E;QAC1E,MAAM,WAAW,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;QAChD,IAAI,KAA0B,CAAC;QAC/B,IAAI,WAAW,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjD,KAAK,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;YACzC,KAAK,MAAM,CAAC,IAAI,kBAAkB,EAAE,CAAC;gBACnC,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAClC,IAAI,CAAC,MAAM;oBAAE,SAAS;gBACtB,MAAM,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBACrC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;oBAC7B,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC;wBAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;4BAAE,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC5F,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,aAAa,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;QAC9C,IAAI,OAAmC,CAAC;QACxC,IAAI,aAAa,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/C,MAAM,YAAY,GAAuB,EAAE,CAAC;YAC5C,MAAM,MAAM,GAAa,EAAE,CAAC;YAC5B,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;gBAC/B,MAAM,KAAK,GAAG,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACvC,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;oBAAE,SAAS;gBACxD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;oBACjE,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;gBACvC,CAAC;gBACD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM;oBAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;wBAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpF,CAAC;YACD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,GAAG,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC;QACvF,CAAC;QAED,MAAM,YAAY,GAAG,WAAW,EAAE,IAAI,IAAI,aAAa,EAAE,IAAI,CAAC;QAC9D,IAAI,YAAY,IAAI,CAAC,KAAK,IAAI,OAAO,CAAC,EAAE,CAAC;YACvC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;QAC7E,CAAC;QAED,sGAAsG;QACtG,4EAA4E;QAC5E,6BAA6B;QAC7B,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,UAAU,EAAE,CAAC;YACf,KAAK,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;gBAClC,KAAK,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC7D,GAAG,CAAC,IAAI,CAAC;wBACP,IAAI,EAAE,OAAO;wBACb,MAAM;wBACN,IAAI,EAAE,GAAG,UAAU,WAAW,IAAI,KAAK;wBACvC,OAAO,EAAE,GAAG,OAAO,IAAI;qBACxB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAWD;;gFAEgF;AAChF,MAAM,UAAU,OAAO,CAAC,EAAU,EAAE,QAAQ,GAAG,EAAE;IAC/C,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACxB,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,KAAK,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IAC/E,CAAC;IACD,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAoB,EAAE,CAAC;QACpC,IAAI,EAAE,CAAC,KAAK;YAAE,OAAO,CAAC,WAAW,GAAG,EAAE,CAAC,KAAK,CAAC;QAC7C,IAAI,EAAE,CAAC,OAAO;YAAE,OAAO,CAAC,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC;QAC7C,OAAO,iBAAiB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,SAAS,CAAC,QAAQ,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;AACxC,CAAC"}

package/dist/external.d.ts

@@ -0,0 +1,61 @@
+import { z } from "zod";
+import type { Manifest, Target } from "./manifest.js";
+declare const lockEntrySchema: z.ZodObject<{
+    name: z.ZodString;
+    spec: z.ZodArray<z.ZodString>;
+    targets: z.ZodArray<z.ZodString>;
+}, z.core.$strict>;
+declare const lockSchema: z.ZodObject<{
+    version: z.ZodLiteral<1>;
+    installed: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        spec: z.ZodArray<z.ZodString>;
+        targets: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>>;
+}, z.core.$strict>;
+export type LockEntry = z.infer<typeof lockEntrySchema>;
+export type Lock = z.infer<typeof lockSchema>;
+export declare const EMPTY_LOCK: Lock;
+export type ExternalActionKind = "install" | "reinstall" | "skip" | "orphan";
+export interface ExternalAction {
+    kind: ExternalActionKind;
+    name: string;
+    /** Targets the action applies to (the intersection of manifest.targets and
+     *  the package's declared external.targets — empty if fully quarantined out). */
+    targets: Target[];
+    /** argv to run for install/reinstall; the declared uninstall argv for
+     *  orphan (undefined if the package declared none — warn-only removal). */
+    command?: string[];
+}
+/**
+ * Decide what `sync` would do with every selected external package, against
+ * the current lock. Pure: the lock is injected so this is testable without
+ * disk, and it performs no execution itself.
+ *
+ * - `install`: no lock entry for this package yet.
+ * - `reinstall`: lock entry exists but its spec/targets no longer match the
+ *   package's current declaration (the manifest changed under it).
+ * - `skip`: lock entry matches exactly — idempotent no-op.
+ * - `orphan`: a lock entry exists for a package no longer selected (or with
+ *   no targets left after quarantine) — offer to remove, never silently.
+ */
+export declare function planExternal(manifest: Manifest, lock: Lock): ExternalAction[];
+/** Runs one argv in `cwd`. The real implementation for `executeAction`'s
+ *  injected runner — uses `execFileSync` (argv form, no shell string) so
+ *  there is no pipe/shell-injection surface from a pinned command. */
+export declare function runCommand(command: string[], cwd: string): void;
+export type CommandRunner = (command: string[], cwd: string) => void;
+/** Execute one planned action via the injected runner. Tests pass a stub
+ *  runner so they never actually shell out. No-op for `skip`, and for
+ *  `orphan` when the package declared no `uninstall` (Praxis doesn't own
+ *  those files and never deletes them on the user's behalf). */
+export declare function executeAction(action: ExternalAction, cwd: string, runner?: CommandRunner): void;
+/** Read `praxis-external.lock` from `cwd`, or the empty lock if absent. */
+export declare function readLock(cwd: string): Lock;
+/** Apply a list of executed actions to a lock, returning the next lock.
+ *  Pure — the caller decides whether/when to persist it. */
+export declare function applyActionsToLock(lock: Lock, actions: ExternalAction[]): Lock;
+/** Persist the lock to `praxis-external.lock` at `cwd`, sorted for a stable
+ *  diff (deterministic, reviewable — no timestamps anywhere in the file). */
+export declare function writeLock(cwd: string, lock: Lock): void;
+export {};