@lepid-labs/weft-core 0.1.0

package/dist/validate/__tests__/registry.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.test.js","sourceRoot":"","sources":["../../../src/validate/__tests__/registry.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAG1F,SAAS,aAAa,CAAC,KAAa;IACnC,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;AACjC,CAAC;AAED,MAAM,MAAM,GAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,eAAe,EAAE,OAAO,EAAE,CAAC;AACzF,MAAM,MAAM,GAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,EAAE,CAAC;AAExF,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC9D,MAAM,KAAK,GAAG,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACvC,MAAM,QAAQ,GAAG,IAAI,iBAAiB,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAE1E,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QAClE,MAAM,QAAQ,GAAG,IAAI,iBAAiB,EAAE,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAEnF,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;YACrD,oBAAoB,CAAC,EAAE;YACvB,QAAQ;YACR,QAAQ;SACR,CAAC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAChC,MAAM,QAAQ,GAAG,IAAI,iBAAiB,EAAE,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAE3E,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAChD,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACtC,MAAM,QAAQ,GAAG,IAAI,iBAAiB,EAAE,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAE3E,MAAM,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,4BAA4B,CAAC,CAAC;IAChG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC9D,MAAM,QAAQ,GAAG,IAAI,iBAAiB,EAAE,CAAC;QAEzC,MAAM,CAAC,GAAG,EAAE,CACX,QAAQ,CAAC,QAAQ,CAChB,aAAa,CAAC,CAAC,EAAE,EAAE,EAAE,oBAAoB,CAAC,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,eAAe,EAAE,MAAM,EAAE,CAAC,CAAC,CAC1F,CACD,CAAC,OAAO,CAAC,qCAAqC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,iBAAiB,EAAE,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;IAChG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACtD,MAAM,QAAQ,GAAG,IAAI,iBAAiB,EAAE,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAE3E,MAAM,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC3E,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,iBAAiB,EAAE,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CACtF,4BAA4B,CAC5B,CAAC;IACH,CAAC,CAAC,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAChC,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,eAAe,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;YAC9D,oBAAoB,CAAC,EAAE;YACvB,qBAAqB;YACrB,qBAAqB;YACrB,4BAA4B;YAC5B,cAAc;YACd,uBAAuB;YACvB,yBAAyB;YACzB,4BAA4B;YAC5B,0BAA0B;YAC1B,qBAAqB;YACrB,gBAAgB;YAChB,4BAA4B;YAC5B,gBAAgB;YAChB,eAAe;YACf,eAAe;SACf,CAAC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,eAAe,EAAE,CAAC,IAAI,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;IACvF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC7C,MAAM,QAAQ,GAAG,eAAe,EAAE,CAAC;QACnC,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAE3C,MAAM,CAAC,eAAe,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IAC1D,CAAC,CAAC,CAAC;AACJ,CAAC,CAAC,CAAC"}

package/dist/validate/__tests__/run.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=run.test.d.ts.map

package/dist/validate/__tests__/run.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.test.d.ts","sourceRoot":"","sources":["../../../src/validate/__tests__/run.test.ts"],"names":[],"mappings":""}

package/dist/validate/__tests__/run.test.js

@@ -0,0 +1,215 @@
+import { describe, expect, it } from "vitest";
+import { VALIDATOR_ERROR_RULE, ValidatorRegistry } from "../registry.js";
+import { validateManifest } from "../run.js";
+const RULE_A = { id: "rule-a", description: "Checks a", defaultSeverity: "error" };
+const RULE_B = { id: "rule-b", description: "Checks b", defaultSeverity: "warn" };
+const MANIFEST = {
+    version: 1,
+    nodes: [
+        {
+            id: "README.md",
+            type: "markdown",
+            title: "Readme",
+            anchors: [{ slug: "#intro", text: "Intro", line: 3, level: 2 }],
+        },
+        {
+            id: "api.yaml",
+            type: "openapi",
+            title: "API",
+            anchors: [{ slug: "#listUsers", text: "listUsers" }],
+        },
+    ],
+    edges: [{ from: { node: "README.md" }, to: { node: "api.yaml" }, type: "references" }],
+};
+function config(overrides = {}) {
+    return {
+        rootDir: "/project",
+        docsDir: "docs",
+        entryPoint: "docs/README.md",
+        ignore: [],
+        ...overrides,
+    };
+}
+/** A validator that reports one finding per declared rule. */
+function reporting(rules, run) {
+    return {
+        rules,
+        run: run ??
+            (() => rules.map((rule) => ({
+                rule: rule.id,
+                message: `${rule.id} fired`,
+                target: { kind: "graph" },
+            }))),
+    };
+}
+describe("validateManifest", () => {
+    it("collects findings from every registered validator", async () => {
+        const registry = new ValidatorRegistry()
+            .register(reporting([RULE_A]))
+            .register(reporting([RULE_B]));
+        const result = await validateManifest(MANIFEST, config(), registry);
+        expect(result.diagnostics.map((d) => d.rule)).toEqual(["rule-a", "rule-b"]);
+    });
+    it("stamps each diagnostic with the rule's default severity", async () => {
+        const registry = new ValidatorRegistry().register(reporting([RULE_A, RULE_B]));
+        const result = await validateManifest(MANIFEST, config(), registry);
+        expect(result.diagnostics.map((d) => [d.rule, d.severity])).toEqual([
+            ["rule-a", "error"],
+            ["rule-b", "warn"],
+        ]);
+    });
+    it("carries a finding's message, target, hint and data through unchanged", async () => {
+        const finding = {
+            rule: RULE_A.id,
+            message: "something is wrong",
+            target: { kind: "node", node: "README.md", anchor: "#intro" },
+            hint: "try this instead",
+            data: { expected: 3 },
+        };
+        const registry = new ValidatorRegistry().register(reporting([RULE_A], () => [finding]));
+        const result = await validateManifest(MANIFEST, config(), registry);
+        expect(result.diagnostics[0]).toEqual({ ...finding, severity: "error" });
+    });
+    it("lets config override a rule's severity", async () => {
+        const registry = new ValidatorRegistry().register(reporting([RULE_A]));
+        const result = await validateManifest(MANIFEST, config({ rules: { "rule-a": "info" } }), registry);
+        expect(result.diagnostics[0].severity).toBe("info");
+        expect(result.rulesRun).toContain("rule-a");
+    });
+    it("drops the diagnostics of a rule configured off", async () => {
+        const registry = new ValidatorRegistry().register(reporting([RULE_A, RULE_B]));
+        const result = await validateManifest(MANIFEST, config({ rules: { "rule-a": "off" } }), registry);
+        expect(result.diagnostics.map((d) => d.rule)).toEqual(["rule-b"]);
+        expect(result.rulesSkipped).toEqual(["rule-a"]);
+        expect(result.rulesRun).toEqual([VALIDATOR_ERROR_RULE.id, "rule-b"]);
+    });
+    it("reports isEnabled as false for a rule configured off", async () => {
+        let seen;
+        const registry = new ValidatorRegistry().register(reporting([RULE_A, RULE_B], (context) => {
+            seen = context;
+            return [];
+        }));
+        await validateManifest(MANIFEST, config({ rules: { "rule-a": "off" } }), registry);
+        expect(seen?.isEnabled("rule-a")).toBe(false);
+        expect(seen?.isEnabled("rule-b")).toBe(true);
+    });
+    it("does not run a validator whose every rule is off", async () => {
+        let ran = false;
+        const registry = new ValidatorRegistry().register(reporting([RULE_A], () => {
+            ran = true;
+            return [];
+        }));
+        await validateManifest(MANIFEST, config({ rules: { "rule-a": "off" } }), registry);
+        expect(ran).toBe(false);
+    });
+    it("awaits an async validator", async () => {
+        const registry = new ValidatorRegistry().register(reporting([RULE_A], async () => [
+            { rule: RULE_A.id, message: "async finding", target: { kind: "graph" } },
+        ]));
+        const result = await validateManifest(MANIFEST, config(), registry);
+        expect(result.diagnostics.map((d) => d.message)).toEqual(["async finding"]);
+    });
+    it("tallies counts per severity", async () => {
+        const registry = new ValidatorRegistry().register(reporting([RULE_A, RULE_B], () => [
+            { rule: RULE_A.id, message: "one", target: { kind: "graph" } },
+            { rule: RULE_A.id, message: "two", target: { kind: "graph" } },
+            { rule: RULE_B.id, message: "three", target: { kind: "graph" } },
+        ]));
+        const result = await validateManifest(MANIFEST, config(), registry);
+        expect(result.counts).toEqual({ error: 2, warn: 1, info: 0 });
+    });
+    it("reports a throwing validator as a diagnostic and keeps going", async () => {
+        const registry = new ValidatorRegistry()
+            .register(reporting([RULE_A], () => {
+            throw new Error("boom");
+        }))
+            .register(reporting([RULE_B]));
+        const result = await validateManifest(MANIFEST, config(), registry);
+        expect(result.diagnostics.map((d) => d.rule)).toEqual([VALIDATOR_ERROR_RULE.id, "rule-b"]);
+        expect(result.diagnostics[0].severity).toBe("error");
+        expect(result.diagnostics[0].message).toContain("boom");
+        expect(result.diagnostics[0].message).toContain("rule-a");
+    });
+    it("honours validator-error being configured off", async () => {
+        const registry = new ValidatorRegistry().register(reporting([RULE_A], () => {
+            throw new Error("boom");
+        }));
+        const result = await validateManifest(MANIFEST, config({ rules: { "validator-error": "off" } }), registry);
+        expect(result.diagnostics).toEqual([]);
+        expect(result.rulesSkipped).toEqual([VALIDATOR_ERROR_RULE.id]);
+    });
+    it("throws when a validator reports a rule it does not declare", async () => {
+        const registry = new ValidatorRegistry().register(reporting([RULE_A], () => [{ rule: "rule-b", message: "stray", target: { kind: "graph" } }]));
+        await expect(validateManifest(MANIFEST, config(), registry)).rejects.toThrow(/reported rule "rule-b", which it does not declare/);
+    });
+    it("exposes the manifest's nodes by id in the context", async () => {
+        let seen;
+        const registry = new ValidatorRegistry().register(reporting([RULE_A], (context) => {
+            seen = context;
+            return [];
+        }));
+        await validateManifest(MANIFEST, config(), registry);
+        expect([...(seen?.nodes.keys() ?? [])]).toEqual(["README.md", "api.yaml"]);
+        expect(seen?.nodes.get("api.yaml")?.title).toBe("API");
+        expect(seen?.manifest).toBe(MANIFEST);
+    });
+    it("reports config rule ids that no validator declares", async () => {
+        const registry = new ValidatorRegistry().register(reporting([RULE_A]));
+        const result = await validateManifest(MANIFEST, config({ rules: { "rule-a": "warn", "not-a-rule": "off" } }), registry);
+        expect(result.unknownRules).toEqual(["not-a-rule"]);
+        expect(result.diagnostics.map((d) => d.severity)).toEqual(["warn"]);
+    });
+    it("finds nothing with the default registry, which has no checks yet", async () => {
+        const result = await validateManifest(MANIFEST, config());
+        expect(result.diagnostics).toEqual([]);
+        expect(result.counts).toEqual({ error: 0, warn: 0, info: 0 });
+    });
+});
+describe("validateManifest (git history)", () => {
+    /** Capture the history a validator was handed. */
+    function watching(rules, needsHistory) {
+        const seen = [];
+        const validator = {
+            rules,
+            needsHistory,
+            run: (context) => {
+                seen.push(context.history);
+                return [];
+            },
+        };
+        return { validator, seen };
+    }
+    it("hands a validator that wants history an object it can read", async () => {
+        const { validator, seen } = watching([RULE_A], true);
+        await validateManifest(MANIFEST, config(), new ValidatorRegistry().register(validator));
+        // /project is not a repository, so it is empty — but never absent, since a
+        // check must be able to read it without guarding first.
+        expect(seen[0].blobs.size).toBe(0);
+        expect(seen[0].renames.size).toBe(0);
+    });
+    it("hands the same empty history to a validator that does not want it", async () => {
+        const { validator, seen } = watching([RULE_A], false);
+        await validateManifest(MANIFEST, config(), new ValidatorRegistry().register(validator));
+        expect(seen[0].blobs.size).toBe(0);
+    });
+    it("hands a validator a precomputed history instead of walking git", async () => {
+        const { validator, seen } = watching([RULE_A], true);
+        const precomputed = {
+            blobs: new Map([["README.md", new Set(["a".repeat(40)])]]),
+            renames: new Map([["old.md", "README.md"]]),
+        };
+        await validateManifest(MANIFEST, config(), new ValidatorRegistry().register(validator), precomputed);
+        expect(seen[0]).toBe(precomputed);
+    });
+    it("does not gather history when every rule that wants it is off", async () => {
+        // Reading git is the only IO validation does, so a project running without
+        // the history-based checks should pay for no subprocess at all.
+        const { validator, seen } = watching([RULE_A], true);
+        const plain = watching([RULE_B], false);
+        const result = await validateManifest(MANIFEST, config({ rules: { "rule-a": "off" } }), new ValidatorRegistry().register(validator).register(plain.validator));
+        expect(seen).toHaveLength(0);
+        expect(result.rulesSkipped).toEqual(["rule-a"]);
+        expect(plain.seen[0].blobs.size).toBe(0);
+    });
+});
+//# sourceMappingURL=run.test.js.map

package/dist/validate/__tests__/run.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.test.js","sourceRoot":"","sources":["../../../src/validate/__tests__/run.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACzE,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAG7C,MAAM,MAAM,GAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,eAAe,EAAE,OAAO,EAAE,CAAC;AACzF,MAAM,MAAM,GAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,EAAE,CAAC;AAExF,MAAM,QAAQ,GAAa;IAC1B,OAAO,EAAE,CAAC;IACV,KAAK,EAAE;QACN;YACC,EAAE,EAAE,WAAW;YACf,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,QAAQ;YACf,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SAC/D;QACD;YACC,EAAE,EAAE,UAAU;YACd,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,KAAK;YACZ,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;SACpD;KACD;IACD,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;CACtF,CAAC;AAEF,SAAS,MAAM,CAAC,YAAiC,EAAE;IAClD,OAAO;QACN,OAAO,EAAE,UAAU;QACnB,OAAO,EAAE,MAAM;QACf,UAAU,EAAE,gBAAgB;QAC5B,MAAM,EAAE,EAAE;QACV,GAAG,SAAS;KACZ,CAAC;AACH,CAAC;AAED,8DAA8D;AAC9D,SAAS,SAAS,CAAC,KAAa,EAAE,GAAsB;IACvD,OAAO;QACN,KAAK;QACL,GAAG,EACF,GAAG;YACH,CAAC,GAAG,EAAE,CACL,KAAK,CAAC,GAAG,CACR,CAAC,IAAI,EAAW,EAAE,CAAC,CAAC;gBACnB,IAAI,EAAE,IAAI,CAAC,EAAE;gBACb,OAAO,EAAE,GAAG,IAAI,CAAC,EAAE,QAAQ;gBAC3B,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;aACzB,CAAC,CACF,CAAC;KACJ,CAAC;AACH,CAAC;AAED,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IACjC,EAAE,CAAC,mDAAmD,EAAE,KAAK,IAAI,EAAE;QAClE,MAAM,QAAQ,GAAG,IAAI,iBAAiB,EAAE;aACtC,QAAQ,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;aAC7B,QAAQ,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAEhC,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,QAAQ,CAAC,CAAC;QAEpE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,KAAK,IAAI,EAAE;QACxE,MAAM,QAAQ,GAAG,IAAI,iBAAiB,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAE/E,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,QAAQ,CAAC,CAAC;QAEpE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YACnE,CAAC,QAAQ,EAAE,OAAO,CAAC;YACnB,CAAC,QAAQ,EAAE,MAAM,CAAC;SAClB,CAAC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,KAAK,IAAI,EAAE;QACrF,MAAM,OAAO,GAAY;YACxB,IAAI,EAAE,MAAM,CAAC,EAAE;YACf,OAAO,EAAE,oBAAoB;YAC7B,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE;YAC7D,IAAI,EAAE,kBAAkB;YACxB,IAAI,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;SACrB,CAAC;QACF,MAAM,QAAQ,GAAG,IAAI,iBAAiB,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAExF,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,QAAQ,CAAC,CAAC;QAEpE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,KAAK,IAAI,EAAE;QACvD,MAAM,QAAQ,GAAG,IAAI,iBAAiB,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAEvE,MAAM,MAAM,GAAG,MAAM,gBAAgB,CACpC,QAAQ,EACR,MAAM,CAAC,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC,EACvC,QAAQ,CACR,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpD,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,KAAK,IAAI,EAAE;QAC/D,MAAM,QAAQ,GAAG,IAAI,iBAAiB,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAE/E,MAAM,MAAM,GAAG,MAAM,gBAAgB,CACpC,QAAQ,EACR,MAAM,CAAC,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,EACtC,QAAQ,CACR,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QAClE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,oBAAoB,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;QACrE,IAAI,IAAmC,CAAC;QACxC,MAAM,QAAQ,GAAG,IAAI,iBAAiB,EAAE,CAAC,QAAQ,CAChD,SAAS,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE;YACvC,IAAI,GAAG,OAAO,CAAC;YACf,OAAO,EAAE,CAAC;QACX,CAAC,CAAC,CACF,CAAC;QAEF,MAAM,gBAAgB,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;QAEnF,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9C,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,KAAK,IAAI,EAAE;QACjE,IAAI,GAAG,GAAG,KAAK,CAAC;QAChB,MAAM,QAAQ,GAAG,IAAI,iBAAiB,EAAE,CAAC,QAAQ,CAChD,SAAS,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE;YACxB,GAAG,GAAG,IAAI,CAAC;YACX,OAAO,EAAE,CAAC;QACX,CAAC,CAAC,CACF,CAAC;QAEF,MAAM,gBAAgB,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;QAEnF,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,KAAK,IAAI,EAAE;QAC1C,MAAM,QAAQ,GAAG,IAAI,iBAAiB,EAAE,CAAC,QAAQ,CAChD,SAAS,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC;YAC/B,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE;SACxE,CAAC,CACF,CAAC;QAEF,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,QAAQ,CAAC,CAAC;QAEpE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,KAAK,IAAI,EAAE;QAC5C,MAAM,QAAQ,GAAG,IAAI,iBAAiB,EAAE,CAAC,QAAQ,CAChD,SAAS,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC;YACjC,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE;YAC9D,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE;YAC9D,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE;SAChE,CAAC,CACF,CAAC;QAEF,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,QAAQ,CAAC,CAAC;QAEpE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,KAAK,IAAI,EAAE;QAC7E,MAAM,QAAQ,GAAG,IAAI,iBAAiB,EAAE;aACtC,QAAQ,CACR,SAAS,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE;YACxB,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC;QACzB,CAAC,CAAC,CACF;aACA,QAAQ,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAEhC,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,QAAQ,CAAC,CAAC;QAEpE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,oBAAoB,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC3F,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACxD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,KAAK,IAAI,EAAE;QAC7D,MAAM,QAAQ,GAAG,IAAI,iBAAiB,EAAE,CAAC,QAAQ,CAChD,SAAS,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE;YACxB,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC;QACzB,CAAC,CAAC,CACF,CAAC;QAEF,MAAM,MAAM,GAAG,MAAM,gBAAgB,CACpC,QAAQ,EACR,MAAM,CAAC,EAAE,KAAK,EAAE,EAAE,iBAAiB,EAAE,KAAK,EAAE,EAAE,CAAC,EAC/C,QAAQ,CACR,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,KAAK,IAAI,EAAE;QAC3E,MAAM,QAAQ,GAAG,IAAI,iBAAiB,EAAE,CAAC,QAAQ,CAChD,SAAS,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,CAC5F,CAAC;QAEF,MAAM,MAAM,CAAC,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAC3E,mDAAmD,CACnD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,KAAK,IAAI,EAAE;QAClE,IAAI,IAAmC,CAAC;QACxC,MAAM,QAAQ,GAAG,IAAI,iBAAiB,EAAE,CAAC,QAAQ,CAChD,SAAS,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE;YAC/B,IAAI,GAAG,OAAO,CAAC;YACf,OAAO,EAAE,CAAC;QACX,CAAC,CAAC,CACF,CAAC;QAEF,MAAM,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,QAAQ,CAAC,CAAC;QAErD,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC;QAC3E,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvD,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,KAAK,IAAI,EAAE;QACnE,MAAM,QAAQ,GAAG,IAAI,iBAAiB,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAEvE,MAAM,MAAM,GAAG,MAAM,gBAAgB,CACpC,QAAQ,EACR,MAAM,CAAC,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,EAAE,CAAC,EAC5D,QAAQ,CACR,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,KAAK,IAAI,EAAE;QACjF,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QAE1D,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC/C,kDAAkD;IAClD,SAAS,QAAQ,CAAC,KAAa,EAAE,YAAqB;QACrD,MAAM,IAAI,GAAmC,EAAE,CAAC;QAChD,MAAM,SAAS,GAAc;YAC5B,KAAK;YACL,YAAY;YACZ,GAAG,EAAE,CAAC,OAAO,EAAE,EAAE;gBAChB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;gBAC3B,OAAO,EAAE,CAAC;YACX,CAAC;SACD,CAAC;QACF,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IAC5B,CAAC;IAED,EAAE,CAAC,4DAA4D,EAAE,KAAK,IAAI,EAAE;QAC3E,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;QAErD,MAAM,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,IAAI,iBAAiB,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;QAExF,2EAA2E;QAC3E,wDAAwD;QACxD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,KAAK,IAAI,EAAE;QAClF,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC;QAEtD,MAAM,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,IAAI,iBAAiB,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;QAExF,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,KAAK,IAAI,EAAE;QAC/E,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;QACrD,MAAM,WAAW,GAAG;YACnB,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1D,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC;SAC3C,CAAC;QAEF,MAAM,gBAAgB,CACrB,QAAQ,EACR,MAAM,EAAE,EACR,IAAI,iBAAiB,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EAC3C,WAAW,CACX,CAAC;QAEF,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,KAAK,IAAI,EAAE;QAC7E,2EAA2E;QAC3E,gEAAgE;QAChE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;QACrD,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC;QAExC,MAAM,MAAM,GAAG,MAAM,gBAAgB,CACpC,QAAQ,EACR,MAAM,CAAC,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,EACtC,IAAI,iBAAiB,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CACrE,CAAC;QAEF,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACJ,CAAC,CAAC,CAAC"}

package/dist/validate/history.d.ts

@@ -0,0 +1,23 @@
+import { type DocsRoot } from "../config.js";
+import { type FileHistory } from "../git.js";
+import type { WeftConfig } from "../types.js";
+import type { GraphHistory } from "./types.js";
+/** A history that knows nothing, for when git cannot answer or nothing asked. */
+export declare const NO_HISTORY: GraphHistory;
+/**
+ * Combine per-root walks into one graph-wide history, translated into node ids.
+ *
+ * Namespacing happens here, once, rather than in each check: git reports paths
+ * relative to the root it was run in, and a multi-project graph identifies the
+ * same file as `alpha/guide.md`. A check comparing raw paths would silently
+ * conflate two projects' identically named documents.
+ */
+export declare function graphHistoryFrom(walks: Iterable<[DocsRoot, FileHistory]>): GraphHistory;
+/**
+ * Gather what git knows about every docs root, walking each root's history.
+ *
+ * The service shares an already-paid walk via {@link graphHistoryFrom}
+ * instead; this stands alone for callers that have nothing to share.
+ */
+export declare function graphHistory(config: WeftConfig): Promise<GraphHistory>;
+//# sourceMappingURL=history.d.ts.map

package/dist/validate/history.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"history.d.ts","sourceRoot":"","sources":["../../src/validate/history.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,QAAQ,EAA+B,MAAM,cAAc,CAAC;AAC1E,OAAO,EAAE,KAAK,WAAW,EAAe,MAAM,WAAW,CAAC;AAC1D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE/C,iFAAiF;AACjF,eAAO,MAAM,UAAU,EAAE,YAAuD,CAAC;AAEjF;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC,GAAG,YAAY,CAkBvF;AAED;;;;;GAKG;AACH,wBAAsB,YAAY,CAAC,MAAM,EAAE,UAAU,GAAG,OAAO,CAAC,YAAY,CAAC,CAM5E"}

package/dist/validate/history.js

@@ -0,0 +1,45 @@
+import { nodeIdFor, resolveDocsRoots } from "../config.js";
+import { fileHistory } from "../git.js";
+/** A history that knows nothing, for when git cannot answer or nothing asked. */
+export const NO_HISTORY = { blobs: new Map(), renames: new Map() };
+/**
+ * Combine per-root walks into one graph-wide history, translated into node ids.
+ *
+ * Namespacing happens here, once, rather than in each check: git reports paths
+ * relative to the root it was run in, and a multi-project graph identifies the
+ * same file as `alpha/guide.md`. A check comparing raw paths would silently
+ * conflate two projects' identically named documents.
+ */
+export function graphHistoryFrom(walks) {
+    const blobs = new Map();
+    const renames = new Map();
+    for (const [root, history] of walks) {
+        for (const [path, held] of history.blobs) {
+            const id = nodeIdFor(root, path);
+            const existing = blobs.get(id);
+            if (existing)
+                for (const blob of held)
+                    existing.add(blob);
+            else
+                blobs.set(id, new Set(held));
+        }
+        for (const [from, to] of history.renames) {
+            renames.set(nodeIdFor(root, from), nodeIdFor(root, to));
+        }
+    }
+    return { blobs, renames };
+}
+/**
+ * Gather what git knows about every docs root, walking each root's history.
+ *
+ * The service shares an already-paid walk via {@link graphHistoryFrom}
+ * instead; this stands alone for callers that have nothing to share.
+ */
+export async function graphHistory(config) {
+    const walks = [];
+    for (const root of resolveDocsRoots(config)) {
+        walks.push([root, await fileHistory(root.absDir)]);
+    }
+    return graphHistoryFrom(walks);
+}
+//# sourceMappingURL=history.js.map

package/dist/validate/history.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"history.js","sourceRoot":"","sources":["../../src/validate/history.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiB,SAAS,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAC1E,OAAO,EAAoB,WAAW,EAAE,MAAM,WAAW,CAAC;AAI1D,iFAAiF;AACjF,MAAM,CAAC,MAAM,UAAU,GAAiB,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;AAEjF;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAwC;IACxE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC7C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE1C,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC;QACrC,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;YAC1C,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACjC,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC/B,IAAI,QAAQ;gBAAE,KAAK,MAAM,IAAI,IAAI,IAAI;oBAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;;gBACrD,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QACnC,CAAC;QAED,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YAC1C,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;QACzD,CAAC;IACF,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AAC3B,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,MAAkB;IACpD,MAAM,KAAK,GAA8B,EAAE,CAAC;IAC5C,KAAK,MAAM,IAAI,IAAI,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,MAAM,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,gBAAgB,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC"}

package/dist/validate/index.d.ts

@@ -0,0 +1,10 @@
+export { VALIDATOR_ERROR_RULE, ValidatorRegistry, defaultRegistry } from "./registry.js";
+export { ARTIFACT_SOURCE_UNRECORDED, ARTIFACT_STALE, DERIVES_FROM, artifactValidator, } from "./rules/artifacts.js";
+export { NODE_DIVERGED, NODE_DUPLICATE, duplicateValidator } from "./rules/duplicates.js";
+export { INCLUDE_CYCLE, includeValidator } from "./rules/includes.js";
+export { NO_HISTORY, graphHistory, graphHistoryFrom } from "./history.js";
+export { ASSERT_LINE_COUNT_MISMATCH, ASSERT_MODIFIED_MISMATCH, ASSERT_UNVERIFIABLE, ASSERT_VERSION_MISMATCH, assertionValidator, } from "./rules/assertions.js";
+export { EDGE_ANCHOR_MISSING, EDGE_PENDING, EDGE_PENDING_RESOLVED, EDGE_SOURCE_ANCHOR_MISSING, EDGE_TARGET_MISSING, edgeResolutionValidator, } from "./rules/edge-resolution.js";
+export { registryWantsHistory, validateManifest } from "./run.js";
+export type { Diagnostic, DiagnosticTarget, Finding, GraphHistory, Rule, ValidationContext, ValidationResult, Validator, } from "./types.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/validate/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AACzF,OAAO,EACN,0BAA0B,EAC1B,cAAc,EACd,YAAY,EACZ,iBAAiB,GACjB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC1F,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAC1E,OAAO,EACN,0BAA0B,EAC1B,wBAAwB,EACxB,mBAAmB,EACnB,uBAAuB,EACvB,kBAAkB,GAClB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACN,mBAAmB,EACnB,YAAY,EACZ,qBAAqB,EACrB,0BAA0B,EAC1B,mBAAmB,EACnB,uBAAuB,GACvB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC;AAClE,YAAY,EACX,UAAU,EACV,gBAAgB,EAChB,OAAO,EACP,YAAY,EACZ,IAAI,EACJ,iBAAiB,EACjB,gBAAgB,EAChB,SAAS,GACT,MAAM,YAAY,CAAC"}

package/dist/validate/index.js

@@ -0,0 +1,9 @@
+export { VALIDATOR_ERROR_RULE, ValidatorRegistry, defaultRegistry } from "./registry.js";
+export { ARTIFACT_SOURCE_UNRECORDED, ARTIFACT_STALE, DERIVES_FROM, artifactValidator, } from "./rules/artifacts.js";
+export { NODE_DIVERGED, NODE_DUPLICATE, duplicateValidator } from "./rules/duplicates.js";
+export { INCLUDE_CYCLE, includeValidator } from "./rules/includes.js";
+export { NO_HISTORY, graphHistory, graphHistoryFrom } from "./history.js";
+export { ASSERT_LINE_COUNT_MISMATCH, ASSERT_MODIFIED_MISMATCH, ASSERT_UNVERIFIABLE, ASSERT_VERSION_MISMATCH, assertionValidator, } from "./rules/assertions.js";
+export { EDGE_ANCHOR_MISSING, EDGE_PENDING, EDGE_PENDING_RESOLVED, EDGE_SOURCE_ANCHOR_MISSING, EDGE_TARGET_MISSING, edgeResolutionValidator, } from "./rules/edge-resolution.js";
+export { registryWantsHistory, validateManifest } from "./run.js";
+//# sourceMappingURL=index.js.map

package/dist/validate/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/validate/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AACzF,OAAO,EACN,0BAA0B,EAC1B,cAAc,EACd,YAAY,EACZ,iBAAiB,GACjB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC1F,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAC1E,OAAO,EACN,0BAA0B,EAC1B,wBAAwB,EACxB,mBAAmB,EACnB,uBAAuB,EACvB,kBAAkB,GAClB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACN,mBAAmB,EACnB,YAAY,EACZ,qBAAqB,EACrB,0BAA0B,EAC1B,mBAAmB,EACnB,uBAAuB,GACvB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC"}

package/dist/validate/registry.d.ts

@@ -0,0 +1,27 @@
+import type { Rule, Validator } from "./types.js";
+/**
+ * Reported when a validator throws. Owned by the runner rather than any
+ * validator, so it is always present and always configurable — a project that
+ * knowingly runs a flaky third-party check can set it to "warn".
+ */
+export declare const VALIDATOR_ERROR_RULE: Rule;
+/**
+ * The set of checks a validation run executes. Checks are registered rather
+ * than hardcoded so they can be added by later features and by external tools
+ * without editing the runner.
+ */
+export declare class ValidatorRegistry {
+    private readonly registered;
+    private readonly byRuleId;
+    /** Register a validator. Throws if it declares no rules, or a rule id already taken. */
+    register(validator: Validator): this;
+    /** Every registered validator, in registration order. */
+    get validators(): Validator[];
+    /** Every known rule, including the reserved ones the runner emits. */
+    get rules(): Rule[];
+    /** Look up a rule by id, or undefined if no validator declares it. */
+    rule(id: string): Rule | undefined;
+}
+/** A fresh registry holding the built-in checks. */
+export declare function defaultRegistry(): ValidatorRegistry;
+//# sourceMappingURL=registry.d.ts.map

package/dist/validate/registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../src/validate/registry.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAElD;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,EAAE,IAIlC,CAAC;AAKF;;;;GAIG;AACH,qBAAa,iBAAiB;IAC7B,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAmB;IAC9C,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAwE;IAEjG,wFAAwF;IACxF,QAAQ,CAAC,SAAS,EAAE,SAAS,GAAG,IAAI;IAkBpC,yDAAyD;IACzD,IAAI,UAAU,IAAI,SAAS,EAAE,CAE5B;IAED,sEAAsE;IACtE,IAAI,KAAK,IAAI,IAAI,EAAE,CAElB;IAED,sEAAsE;IACtE,IAAI,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;CAGlC;AAED,oDAAoD;AACpD,wBAAgB,eAAe,IAAI,iBAAiB,CAOnD"}

package/dist/validate/registry.js

@@ -0,0 +1,67 @@
+import { artifactValidator } from "./rules/artifacts.js";
+import { assertionValidator } from "./rules/assertions.js";
+import { duplicateValidator } from "./rules/duplicates.js";
+import { edgeResolutionValidator } from "./rules/edge-resolution.js";
+import { includeValidator } from "./rules/includes.js";
+/**
+ * Reported when a validator throws. Owned by the runner rather than any
+ * validator, so it is always present and always configurable — a project that
+ * knowingly runs a flaky third-party check can set it to "warn".
+ */
+export const VALIDATOR_ERROR_RULE = {
+    id: "validator-error",
+    description: "A validator threw while running",
+    defaultSeverity: "error",
+};
+/** Rules the runner itself emits. Always registered, cannot be redeclared. */
+const RESERVED_RULES = [VALIDATOR_ERROR_RULE];
+/**
+ * The set of checks a validation run executes. Checks are registered rather
+ * than hardcoded so they can be added by later features and by external tools
+ * without editing the runner.
+ */
+export class ValidatorRegistry {
+    registered = [];
+    byRuleId = new Map(RESERVED_RULES.map((rule) => [rule.id, rule]));
+    /** Register a validator. Throws if it declares no rules, or a rule id already taken. */
+    register(validator) {
+        if (!validator.rules.length) {
+            throw new Error("weft validate: a validator must declare at least one rule");
+        }
+        // Check every id before committing any, so a rejected validator leaves no
+        // half-registered rules behind.
+        const incoming = new Set();
+        for (const rule of validator.rules) {
+            if (this.byRuleId.has(rule.id) || incoming.has(rule.id)) {
+                throw new Error(`weft validate: duplicate rule id "${rule.id}"`);
+            }
+            incoming.add(rule.id);
+        }
+        for (const rule of validator.rules)
+            this.byRuleId.set(rule.id, rule);
+        this.registered.push(validator);
+        return this;
+    }
+    /** Every registered validator, in registration order. */
+    get validators() {
+        return [...this.registered];
+    }
+    /** Every known rule, including the reserved ones the runner emits. */
+    get rules() {
+        return [...this.byRuleId.values()];
+    }
+    /** Look up a rule by id, or undefined if no validator declares it. */
+    rule(id) {
+        return this.byRuleId.get(id);
+    }
+}
+/** A fresh registry holding the built-in checks. */
+export function defaultRegistry() {
+    return new ValidatorRegistry()
+        .register(edgeResolutionValidator)
+        .register(assertionValidator)
+        .register(artifactValidator)
+        .register(duplicateValidator)
+        .register(includeValidator);
+}
+//# sourceMappingURL=registry.js.map

package/dist/validate/registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../src/validate/registry.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAGvD;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAS;IACzC,EAAE,EAAE,iBAAiB;IACrB,WAAW,EAAE,iCAAiC;IAC9C,eAAe,EAAE,OAAO;CACxB,CAAC;AAEF,8EAA8E;AAC9E,MAAM,cAAc,GAAW,CAAC,oBAAoB,CAAC,CAAC;AAEtD;;;;GAIG;AACH,MAAM,OAAO,iBAAiB;IACZ,UAAU,GAAgB,EAAE,CAAC;IAC7B,QAAQ,GAAG,IAAI,GAAG,CAAe,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAEjG,wFAAwF;IACxF,QAAQ,CAAC,SAAoB;QAC5B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;QAC9E,CAAC;QACD,0EAA0E;QAC1E,gCAAgC;QAChC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;YACpC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;gBACzD,MAAM,IAAI,KAAK,CAAC,qCAAqC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;YAClE,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvB,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK;YAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACrE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAChC,OAAO,IAAI,CAAC;IACb,CAAC;IAED,yDAAyD;IACzD,IAAI,UAAU;QACb,OAAO,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;IAC7B,CAAC;IAED,sEAAsE;IACtE,IAAI,KAAK;QACR,OAAO,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IACpC,CAAC;IAED,sEAAsE;IACtE,IAAI,CAAC,EAAU;QACd,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC;CACD;AAED,oDAAoD;AACpD,MAAM,UAAU,eAAe;IAC9B,OAAO,IAAI,iBAAiB,EAAE;SAC5B,QAAQ,CAAC,uBAAuB,CAAC;SACjC,QAAQ,CAAC,kBAAkB,CAAC;SAC5B,QAAQ,CAAC,iBAAiB,CAAC;SAC3B,QAAQ,CAAC,kBAAkB,CAAC;SAC5B,QAAQ,CAAC,gBAAgB,CAAC,CAAC;AAC9B,CAAC"}

package/dist/validate/rules/artifacts.d.ts

@@ -0,0 +1,25 @@
+import type { Rule, Validator } from "../types.js";
+export declare const ARTIFACT_STALE: Rule;
+export declare const ARTIFACT_SOURCE_UNRECORDED: Rule;
+/**
+ * The edge type that means "this was generated from that".
+ *
+ * A convention rather than a new mechanism — any string has always been a valid
+ * edge type. What it gains here is defined semantics: an edge of this type is
+ * the thing staleness is checked over.
+ */
+export declare const DERIVES_FROM = "derives-from";
+/**
+ * Report generated outputs that have fallen behind their sources.
+ *
+ * The comparison is against the source hash recorded when the artifact was
+ * built, never against a modification time. Git preserves no mtimes, so a fresh
+ * clone or a CI checkout makes every file look simultaneously modified — the
+ * check would be meaningless in exactly the environment it should run in.
+ *
+ * An artifact with several sources has several `derives-from` edges and each is
+ * checked on its own, because a stylesheet or a template change invalidates an
+ * output just as surely as an edit to its document does.
+ */
+export declare const artifactValidator: Validator;
+//# sourceMappingURL=artifacts.d.ts.map

package/dist/validate/rules/artifacts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"artifacts.d.ts","sourceRoot":"","sources":["../../../src/validate/rules/artifacts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAW,IAAI,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE5D,eAAO,MAAM,cAAc,EAAE,IAM5B,CAAC;AAEF,eAAO,MAAM,0BAA0B,EAAE,IAOxC,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,iBAAiB,CAAC;AAE3C;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,iBAAiB,EAAE,SAuD/B,CAAC"}

package/dist/validate/rules/artifacts.js

@@ -0,0 +1,87 @@
+export const ARTIFACT_STALE = {
+    id: "artifact-stale",
+    description: "A generated output no longer reflects the source it was built from",
+    // The artifact is usually the copy that reaches the reader who matters most,
+    // and the one nobody looks at again after building it.
+    defaultSeverity: "error",
+};
+export const ARTIFACT_SOURCE_UNRECORDED = {
+    id: "artifact-source-unrecorded",
+    description: "A derives-from edge records no source hash, so staleness cannot be checked",
+    // Info rather than warn: `derives-from` is also a reasonable way to express a
+    // relationship without asking for it to be checked, and warning on every such
+    // edge would punish plain modelling.
+    defaultSeverity: "info",
+};
+/**
+ * The edge type that means "this was generated from that".
+ *
+ * A convention rather than a new mechanism — any string has always been a valid
+ * edge type. What it gains here is defined semantics: an edge of this type is
+ * the thing staleness is checked over.
+ */
+export const DERIVES_FROM = "derives-from";
+/**
+ * Report generated outputs that have fallen behind their sources.
+ *
+ * The comparison is against the source hash recorded when the artifact was
+ * built, never against a modification time. Git preserves no mtimes, so a fresh
+ * clone or a CI checkout makes every file look simultaneously modified — the
+ * check would be meaningless in exactly the environment it should run in.
+ *
+ * An artifact with several sources has several `derives-from` edges and each is
+ * checked on its own, because a stylesheet or a template change invalidates an
+ * output just as surely as an edit to its document does.
+ */
+export const artifactValidator = {
+    rules: [ARTIFACT_STALE, ARTIFACT_SOURCE_UNRECORDED],
+    run({ manifest, nodes }) {
+        const findings = [];
+        for (const edge of manifest.edges) {
+            if (edge.type !== DERIVES_FROM || edge.pending)
+                continue;
+            const source = nodes.get(edge.to.node);
+            // Whether the source exists at all is edge-resolution's finding.
+            if (!source)
+                continue;
+            if (!edge.sourceHash) {
+                findings.push({
+                    rule: ARTIFACT_SOURCE_UNRECORDED.id,
+                    message: `No source hash recorded for ${edge.from.node}, so it cannot be told from ${edge.to.node}`,
+                    target: { kind: "edge", edge },
+                    hint: "Have whatever generates it record the source's contentHash as `sourceHash` on the edge.",
+                    data: { artifact: edge.from.node, source: edge.to.node },
+                });
+                continue;
+            }
+            // A source Weft never read has no hash to compare against — a node an
+            // external tool declared without one, most likely.
+            if (!source.contentHash) {
+                findings.push({
+                    rule: ARTIFACT_SOURCE_UNRECORDED.id,
+                    message: `${edge.to.node} has no content hash, so ${edge.from.node} cannot be checked against it`,
+                    target: { kind: "edge", edge },
+                    hint: "Only a document Weft read from disk has one; a node an external tool declared may not.",
+                    data: { artifact: edge.from.node, source: edge.to.node },
+                });
+                continue;
+            }
+            if (source.contentHash === edge.sourceHash)
+                continue;
+            findings.push({
+                rule: ARTIFACT_STALE.id,
+                message: `${edge.from.node} was generated from an older ${edge.to.node}`,
+                target: { kind: "edge", edge },
+                hint: `Regenerate ${edge.from.node}, or record the current hash if it is already up to date.`,
+                data: {
+                    artifact: edge.from.node,
+                    source: edge.to.node,
+                    generatedFrom: edge.sourceHash,
+                    current: source.contentHash,
+                },
+            });
+        }
+        return findings;
+    },
+};
+//# sourceMappingURL=artifacts.js.map

package/dist/validate/rules/artifacts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"artifacts.js","sourceRoot":"","sources":["../../../src/validate/rules/artifacts.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,cAAc,GAAS;IACnC,EAAE,EAAE,gBAAgB;IACpB,WAAW,EAAE,oEAAoE;IACjF,6EAA6E;IAC7E,uDAAuD;IACvD,eAAe,EAAE,OAAO;CACxB,CAAC;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAS;IAC/C,EAAE,EAAE,4BAA4B;IAChC,WAAW,EAAE,4EAA4E;IACzF,8EAA8E;IAC9E,8EAA8E;IAC9E,qCAAqC;IACrC,eAAe,EAAE,MAAM;CACvB,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,cAAc,CAAC;AAE3C;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAc;IAC3C,KAAK,EAAE,CAAC,cAAc,EAAE,0BAA0B,CAAC;IAEnD,GAAG,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE;QACtB,MAAM,QAAQ,GAAc,EAAE,CAAC;QAE/B,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YACnC,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,OAAO;gBAAE,SAAS;YAEzD,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACvC,iEAAiE;YACjE,IAAI,CAAC,MAAM;gBAAE,SAAS;YAEtB,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;gBACtB,QAAQ,CAAC,IAAI,CAAC;oBACb,IAAI,EAAE,0BAA0B,CAAC,EAAE;oBACnC,OAAO,EAAE,+BAA+B,IAAI,CAAC,IAAI,CAAC,IAAI,+BAA+B,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE;oBACnG,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;oBAC9B,IAAI,EAAE,yFAAyF;oBAC/F,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE;iBACxD,CAAC,CAAC;gBACH,SAAS;YACV,CAAC;YAED,sEAAsE;YACtE,mDAAmD;YACnD,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;gBACzB,QAAQ,CAAC,IAAI,CAAC;oBACb,IAAI,EAAE,0BAA0B,CAAC,EAAE;oBACnC,OAAO,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,IAAI,4BAA4B,IAAI,CAAC,IAAI,CAAC,IAAI,+BAA+B;oBACjG,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;oBAC9B,IAAI,EAAE,wFAAwF;oBAC9F,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE;iBACxD,CAAC,CAAC;gBACH,SAAS;YACV,CAAC;YAED,IAAI,MAAM,CAAC,WAAW,KAAK,IAAI,CAAC,UAAU;gBAAE,SAAS;YAErD,QAAQ,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,cAAc,CAAC,EAAE;gBACvB,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,gCAAgC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE;gBACxE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;gBAC9B,IAAI,EAAE,cAAc,IAAI,CAAC,IAAI,CAAC,IAAI,2DAA2D;gBAC7F,IAAI,EAAE;oBACL,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;oBACxB,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI;oBACpB,aAAa,EAAE,IAAI,CAAC,UAAU;oBAC9B,OAAO,EAAE,MAAM,CAAC,WAAW;iBAC3B;aACD,CAAC,CAAC;QACJ,CAAC;QAED,OAAO,QAAQ,CAAC;IACjB,CAAC;CACD,CAAC"}

package/dist/validate/rules/assertions.d.ts

@@ -0,0 +1,19 @@
+import type { Rule, Validator } from "../types.js";
+export declare const ASSERT_VERSION_MISMATCH: Rule;
+export declare const ASSERT_LINE_COUNT_MISMATCH: Rule;
+export declare const ASSERT_MODIFIED_MISMATCH: Rule;
+export declare const ASSERT_UNVERIFIABLE: Rule;
+/**
+ * Check the claims links make about the documents they point at.
+ *
+ * A version cited across several documents is the most expensive thing in a
+ * documentation set to maintain by hand, because nothing signals when one goes
+ * stale: the claim was true when written, the prose still reads as current, and
+ * the discovery is accidental. This turns that into a build failure.
+ *
+ * Only assertions are checked here. Whether the link resolves at all belongs to
+ * the edge-resolution rules, so an edge whose target is missing or still pending
+ * is left to them rather than reported twice.
+ */
+export declare const assertionValidator: Validator;
+//# sourceMappingURL=assertions.d.ts.map

package/dist/validate/rules/assertions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"assertions.d.ts","sourceRoot":"","sources":["../../../src/validate/rules/assertions.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAW,IAAI,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE5D,eAAO,MAAM,uBAAuB,EAAE,IAMrC,CAAC;AAEF,eAAO,MAAM,0BAA0B,EAAE,IAMxC,CAAC;AAEF,eAAO,MAAM,wBAAwB,EAAE,IAItC,CAAC;AAEF,eAAO,MAAM,mBAAmB,EAAE,IAMjC,CAAC;AA0JF;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,kBAAkB,EAAE,SA+ChC,CAAC"}