@wrenautomation/knowledge 0.0.0-stage → 0.59.0

package/LICENSE.md

@@ -0,0 +1,61 @@
+# PolyForm Strict License 1.0.0
+
+<https://polyformproject.org/licenses/strict/1.0.0>
+
+## Acceptance
+
+In order to get any license under these terms, you must agree to them as both strict obligations and conditions to all your licenses.
+
+## Copyright License
+
+The licensor grants you a copyright license for the software to do everything you might do with the software that would otherwise infringe the licensor's copyright in it for any permitted purpose, other than distributing the software or making changes or new works based on the software.
+
+## Patent License
+
+The licensor grants you a patent license for the software that covers patent claims the licensor can license, or becomes able to license, that you would infringe by using the software.
+
+## Noncommercial Purposes
+
+Any noncommercial purpose is a permitted purpose.
+
+## Personal Uses
+
+Personal use for research, experiment, and testing for the benefit of public knowledge, personal study, private entertainment, hobby projects, amateur pursuits, or religious observance, without any anticipated commercial application, is use for a permitted purpose.
+
+## Noncommercial Organizations
+
+Use by any charitable organization, educational institution, public research organization, public safety or health organization, environmental protection organization, or government institution is use for a permitted purpose regardless of the source of funding or obligations resulting from the funding.
+
+## Fair Use
+
+You may have "fair use" rights for the software under the law. These terms do not limit them.
+
+## No Other Rights
+
+These terms do not allow you to sublicense or transfer any of your licenses to anyone else, or prevent the licensor from granting licenses to anyone else.  These terms do not imply any other licenses.
+
+## Patent Defense
+
+If you make any written claim that the software infringes or contributes to infringement of any patent, your patent license for the software granted under these terms ends immediately. If your company makes such a claim, your patent license ends immediately for work on behalf of your company.
+
+## Violations
+
+The first time you are notified in writing that you have violated any of these terms, or done anything with the software not covered by your licenses, your licenses can nonetheless continue if you come into full compliance with these terms, and take practical steps to correct past violations, within 32 days of receiving notice.  Otherwise, all your licenses end immediately.
+
+## No Liability
+
+***As far as the law allows, the software comes as is, without any warranty or condition, and the licensor will not be liable to you for any damages arising out of these terms or the use or nature of the software, under any kind of legal claim.***
+
+## Definitions
+
+The **licensor** is the individual or entity offering these terms, and the **software** is the software the licensor makes available under these terms.
+
+**You** refers to the individual or entity agreeing to these terms.
+
+**Your company** is any legal entity, sole proprietorship, or other kind of organization that you work for, plus all organizations that have control over, are under the control of, or are under common control with that organization.  **Control** means ownership of substantially all the assets of an entity, or the power to direct its management and policies by vote, contract, or otherwise.  Control can be direct or indirect.
+
+**Your licenses** are all the licenses granted to you for the software under these terms.
+
+**Use** means anything you do with the software requiring one of your licenses.
+
+Required Notice: Copyright 2026 William Jin (https://wrenautomation.com)

package/README.md

@@ -1,3 +1,95 @@
-# Temporary Holding Version
+# knowledge
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+What you know, as files. Sources, findings, verdicts and rules are markdown records in a git repo, each
+linked to the evidence behind it. People edit them by hand; agents write them through a CLI. A
+Postgres (or PGlite) index built from the commits answers queries, backlinks and stale marks.
+
+```sh
+npm i -g @wrenautomation/knowledge
+cd my-notes && git init && knowledge init --owner ana
+```
+
+## Records
+
+One file each. The folder says the type: `sources/`, `findings/`, `verdicts/`, `rules/<topic>/`, `guides/`.
+
+```md
+---
+id: open-with-their-name-qx492r
+type: rule
+title: Open with their name
+status: live
+version: 1
+by: agent-7
+why: three replies of five named the opener
+cites:
+  - youtube-uSTGNHGFOAo
+topic: outbound-copy
+created: '2026-11-09T15:37:26.923Z'
+updated: '2026-11-09T15:37:26.923Z'
+---
+
+Put the name in line one.
+```
+
+| Type | Fields of its own |
+|---|---|
+| source | `kind` (site, page, video, reel, post, person, tool, doc, paper, feed, repo, list, other), `url`, `handle`, `priority` 1-9, `media` {sha256, type} |
+| finding | `source` (a source's id), `quote` (the source's words; none for a paraphrase), `page`, `at` (0:16, p. 4), `run` |
+| verdict | `from` (vireo, orrery, owner, other), `ref` (hero:3), `score` |
+| rule | `topic`, `order` |
+| guide | `topic`, `description`. A procedure (an SOP) as one doc; its body cites `[2]` or `[2 0:16]`, the 2nd id in `cites` |
+
+Every record: `id`, `title`, `status` (live, retired), `version`, `by`, `why`, `cites`, `tags`, `created`,
+`updated`. Other keys are kept. A file whose name starts with `_` is not a record (a site's folder page).
+
+## Writes
+
+```sh
+echo '[{"type":"source","id":"youtube-abc","title":"A talk","kind":"video"},
+       {"type":"rule","title":"Hook first","topic":"linkedin","cites":["youtube-abc"]}]' \
+  | knowledge add --by agent-7 --why "from the talk"
+echo '{"body":"New text.","topic":"x"}' | knowledge edit hook-first-k2m9qa --by agent-7 --why "…"
+knowledge retire youtube-abc --by ana --why "the talk is out of date"
+knowledge apply --by agent-7 --why "…" < changes.json    # [{"op":"add|edit|retire", …}]
+```
+
+- One command = one commit. The whole tree is linted first; a fault in a record it touches refuses the
+  change and writes nothing. A failed commit puts every file back.
+- The lint: unique ids, a file at the path its type and id call for, every cite in the repo, a finding's
+  source is a source, a guide's `[n]` is in its cites, a rule cites its evidence (only the owner in `knowledge.json` may write one with
+  none). A live record that cites a retired one is a warning.
+- `--push`, or `"push": true` in `knowledge.json`, pushes after the commit. A rejected push fetches, merges,
+  lints the merge (two clean branches can still break a cite) and tries again; a bad merge is undone.
+
+## Reads
+
+```sh
+knowledge show hook-first-k2m9qa      # fields, body, what it cites, what cites it
+knowledge find hook --type rule       # every word in the id, title or body
+knowledge stale                       # live records whose evidence is missing, retired or newer
+knowledge render outbound-copy        # markdown, not JSON: the body, then its cites as a numbered Sources list
+knowledge lint                        # the working tree; --rev <commit> for a commit
+knowledge sync [--full]
+```
+
+Reads sync the index first. The index holds what the last commit holds, never uncommitted edits.
+PGlite in `<repo>/.index/` (git ignores it), or Postgres with `--db` or `KNOWLEDGE_DATABASE_URL`. Rows carry
+the repo's name, so one Postgres can index many repos (`find --all-repos`).
+
+## On a git server
+
+A pre-receive hook refuses a push that adds a fault:
+
+```sh
+while read old new ref; do knowledge lint --rev "$new" --base "$old" >/dev/null || exit 1; done
+```
+
+## Guarantees
+
+- One commit is one transaction. A lock serializes writers in one checkout; a push is a compare-and-swap
+  on the branch.
+- The index applies the diff from its last commit to HEAD, and the new head, in one transaction. A
+  replay is safe, a crash keeps the old state, and `sync --full` rebuilds it from the files.
+
+License: PolyForm Strict 1.0.0.

package/dist/cli.d.ts

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

package/dist/cli.js

@@ -0,0 +1,234 @@
+#!/usr/bin/env node
+/**
+ * `knowledge`: agents write records with --by and --why, every command answers JSON. Writes take JSON
+ * on stdin (one object or an array: one commit), sync the index after the commit (read your writes),
+ * and push when knowledge.json says so or --push is given.
+ */
+import { existsSync, readFileSync, writeFileSync } from "node:fs";
+import { basename, join } from "node:path";
+import { Command, Option } from "commander";
+import { head } from "./git.js";
+import { lint } from "./lint.js";
+import { newFaults, push } from "./push.js";
+import { openIndex } from "./record-index.js";
+import { TYPES } from "./records.js";
+import { render } from "./render.js";
+import { CONFIG, findRoot, loadAt, loadConfig, loadWorking } from "./repo.js";
+import { LintError, withLock, write } from "./write.js";
+const out = (v) => process.stdout.write(`${JSON.stringify(v, null, 2)}\n`);
+const fail = (msg, extra = {}) => {
+    process.stdout.write(`${JSON.stringify({ error: msg, ...extra }, null, 2)}\n`);
+    process.exit(1);
+};
+const program = new Command("knowledge")
+    .description("Sources, findings, verdicts and rules as markdown records in a git repo, with an index.")
+    .option("--repo <dir>", "the repo root (default: KNOWLEDGE_DIR, else the nearest knowledge.json up)")
+    .option("--db <url>", "a Postgres index (default: KNOWLEDGE_DATABASE_URL, else PGlite in <repo>/.index)")
+    .option("--name <name>", "this repo's name in the index (default: knowledge.json name, else the folder)");
+function ctx() {
+    const o = program.opts();
+    const root = findRoot(o.repo ?? process.env.KNOWLEDGE_DIR);
+    const cfg = loadConfig(root);
+    return { root, name: o.name ?? cfg.name ?? basename(root) };
+}
+/** Index work; a PGlite folder takes one process at a time, so it runs under the checkout's lock. */
+async function withIndex(c, fn, locked = false) {
+    const url = program.opts().db ?? process.env.KNOWLEDGE_DATABASE_URL;
+    const run = async () => {
+        const ix = await openIndex(url ? { url } : { dir: join(c.root, ".index") });
+        try {
+            return await fn(ix);
+        }
+        finally {
+            await ix.close();
+        }
+    };
+    return url || locked ? run() : withLock(c.root, run);
+}
+function stdinJson() {
+    const text = readFileSync(0, "utf8").trim();
+    if (!text)
+        fail("expected JSON on stdin");
+    try {
+        return JSON.parse(text);
+    }
+    catch (e) {
+        return fail(`stdin is not JSON: ${e.message}`);
+    }
+}
+const who = (o) => {
+    if (!o.by || !o.why)
+        fail("--by and --why are required");
+    return { by: o.by, why: o.why };
+};
+async function commit(changes, o) {
+    const c = ctx();
+    try {
+        const w = await write(c.root, changes, who(o));
+        const synced = await withIndex(c, (ix) => ix.sync(c.root, c.name));
+        const pushed = o.push || loadConfig(c.root).push ? push(c.root) : undefined;
+        out({
+            ...w,
+            index: { head: synced.head, mode: synced.mode },
+            ...(pushed ? { push: pushed } : {}),
+        });
+    }
+    catch (e) {
+        if (e instanceof LintError)
+            fail("the change fails the lint; nothing was written", { problems: e.problems });
+        fail(e.message);
+    }
+}
+const writeOpts = (cmd) => cmd
+    .requiredOption("--by <who>", "the agent's id, or the person")
+    .requiredOption("--why <text>", "why this change: lands in the record and the commit")
+    .option("--push", "push after the commit");
+writeOpts(program
+    .command("add")
+    .description(`Add records from stdin: {"type": "${TYPES.join("|")}", "title", "body", "cites": [ids], …type fields}, or an array (one commit). An item may carry its own "why".`)).action(async (o) => {
+    const v = stdinJson();
+    const items = (Array.isArray(v) ? v : [v]);
+    await commit(items.map((i) => ({ ...i, op: "add" })), o);
+});
+writeOpts(program
+    .command("edit <id>")
+    .description('Change a record from a stdin patch: {"title", "body", "cites", …fields}; null drops a field.')).action(async (id, o) => {
+    const patch = stdinJson();
+    await commit([{ ...patch, op: "edit", id }], o);
+});
+writeOpts(program
+    .command("retire <ids...>")
+    .description("Retire records: kept in the repo, marked retired.")).action(async (ids, o) => {
+    await commit(ids.map((id) => ({ op: "retire", id })), o);
+});
+writeOpts(program
+    .command("apply")
+    .description('Mixed changes in one commit, from stdin: [{"op": "add|edit|retire", …}].')).action(async (o) => {
+    const v = stdinJson();
+    if (!Array.isArray(v))
+        fail("apply takes an array of changes");
+    await commit(v, o);
+});
+program
+    .command("show <id>")
+    .description("A record from the index: fields, body, what it cites, what cites it.")
+    .action(async (id) => {
+    const c = ctx();
+    const r = await withIndex(c, async (ix) => {
+        await ix.sync(c.root, c.name);
+        return ix.get(c.name, id);
+    });
+    if (!r)
+        fail(`no record ${id}`);
+    out(r);
+});
+program
+    .command("render <id>")
+    .description("A record as markdown (not JSON): its body, then its cites as a numbered Sources list. A skill or a reader takes this.")
+    .action((id) => {
+    const root = findRoot(program.opts().repo ?? process.env.KNOWLEDGE_DIR);
+    try {
+        process.stdout.write(render(root, id));
+    }
+    catch (e) {
+        fail(e.message);
+    }
+});
+program
+    .command("find [words...]")
+    .description("Records whose id, title or body hold every word; newest first.")
+    .addOption(new Option("--type <type>").choices([...TYPES]))
+    .option("--topic <topic>")
+    .option("--status <status>", "live | retired")
+    .option("--all-repos", "every repo in the index")
+    .option("-n <n>", "how many", "50")
+    .action(async (words, o) => {
+    const c = ctx();
+    const rows = await withIndex(c, async (ix) => {
+        await ix.sync(c.root, c.name);
+        return ix.find(o.allRepos ? null : c.name, {
+            q: words.join(" "),
+            type: o.type,
+            topic: o.topic,
+            status: o.status,
+            limit: Number(o.n),
+        });
+    });
+    out(rows.map((r) => ({
+        repo: r.repo,
+        id: r.id,
+        type: r.type,
+        title: r.title,
+        status: r.status,
+        path: r.path,
+        updated: r.updated,
+    })));
+});
+program
+    .command("stale")
+    .description("Live records whose evidence is missing, retired or changed after them.")
+    .action(async () => {
+    const c = ctx();
+    out(await withIndex(c, async (ix) => {
+        await ix.sync(c.root, c.name);
+        return ix.stale(c.name);
+    }));
+});
+program
+    .command("lint")
+    .description("Check the tree: the working tree, or a commit (--rev). With --base, only faults the commit made.")
+    .option("--rev <rev>", "lint a commit instead of the working tree")
+    .option("--base <revs...>", "with --rev: report only errors none of these had (a pre-receive hook)")
+    .action((o) => {
+    const root = findRoot(program.opts().repo ?? process.env.KNOWLEDGE_DIR);
+    const owner = loadConfig(root).owner;
+    const problems = o.rev
+        ? o.base
+            ? newFaults(root, owner, o.base, o.rev)
+            : lint(loadAt(root, o.rev), owner)
+        : lint(loadWorking(root), owner);
+    const errs = problems.filter((p) => p.level === "error").length;
+    out({ errors: errs, warnings: problems.length - errs, problems });
+    if (errs)
+        process.exit(1);
+});
+program
+    .command("sync")
+    .description("Bring the index up to HEAD.")
+    .option("--full", "rebuild this repo's rows from the files")
+    .action(async (o) => {
+    const c = ctx();
+    out(await withIndex(c, (ix) => ix.sync(c.root, c.name, { full: !!o.full })));
+});
+program
+    .command("push")
+    .description("Push; when the remote moved, merge, lint the merge, try again.")
+    .action(async () => {
+    const c = ctx();
+    const p = push(c.root);
+    if (p.pushed)
+        await withIndex(c, (ix) => ix.sync(c.root, c.name));
+    out(p);
+    if (!p.pushed)
+        process.exit(1);
+});
+program
+    .command("init")
+    .description("Make this folder (a git repo) a knowledge repo: knowledge.json, .index/ ignored.")
+    .option("--owner <name>", "who may write a rule with no cites", "owner")
+    .option("--name <name>", "this repo's name in the index")
+    .action((o) => {
+    const root = program.opts().repo ?? process.cwd();
+    if (!head(root) && !existsSync(join(root, ".git")))
+        fail("not a git repo: git init first");
+    const cfgPath = join(root, CONFIG);
+    if (!existsSync(cfgPath))
+        writeFileSync(cfgPath, `${JSON.stringify({ ...(o.name ? { name: o.name } : {}), owner: o.owner, push: false }, null, 2)}\n`);
+    const gi = join(root, ".gitignore");
+    const cur = existsSync(gi) ? readFileSync(gi, "utf8") : "";
+    if (!/^\.index\/?$/m.test(cur))
+        writeFileSync(gi, `${cur}${cur && !cur.endsWith("\n") ? "\n" : ""}.index/\n`);
+    out({ root, config: loadConfig(root) });
+});
+program.parseAsync().catch((e) => fail(e.message));
+//# 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;;;;GAIG;AACH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAClE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAChC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,EAAE,SAAS,EAAoB,MAAM,mBAAmB,CAAC;AAChE,OAAO,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAC9E,OAAO,EAAe,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAErE,MAAM,GAAG,GAAG,CAAC,CAAU,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;AACpF,MAAM,IAAI,GAAG,CAAC,GAAW,EAAE,QAAiC,EAAE,EAAS,EAAE;IACvE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IAC/E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,OAAO,GAAG,IAAI,OAAO,CAAC,WAAW,CAAC;KACrC,WAAW,CACV,yFAAyF,CAC1F;KACA,MAAM,CACL,cAAc,EACd,4EAA4E,CAC7E;KACA,MAAM,CACL,YAAY,EACZ,kFAAkF,CACnF;KACA,MAAM,CACL,eAAe,EACf,+EAA+E,CAChF,CAAC;AAMJ,SAAS,GAAG;IACV,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,EAAoC,CAAC;IAC3D,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAC3D,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC7B,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,IAAK,GAAG,CAAC,IAA2B,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;AACtF,CAAC;AAED,qGAAqG;AACrG,KAAK,UAAU,SAAS,CACtB,CAAM,EACN,EAAmC,EACnC,MAAM,GAAG,KAAK;IAEd,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,EAAmB,CAAC,EAAE,IAAI,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC;IACrF,MAAM,GAAG,GAAG,KAAK,IAAI,EAAE;QACrB,MAAM,EAAE,GAAG,MAAM,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC5E,IAAI,CAAC;YACH,OAAO,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QACtB,CAAC;gBAAS,CAAC;YACT,MAAM,EAAE,CAAC,KAAK,EAAE,CAAC;QACnB,CAAC;IACH,CAAC,CAAC;IACF,OAAO,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,SAAS;IAChB,MAAM,IAAI,GAAG,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5C,IAAI,CAAC,IAAI;QAAE,IAAI,CAAC,wBAAwB,CAAC,CAAC;IAC1C,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,IAAI,CAAC,sBAAuB,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;IAC5D,CAAC;AACH,CAAC;AAED,MAAM,GAAG,GAAG,CAAC,CAAgC,EAAE,EAAE;IAC/C,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG;QAAE,IAAI,CAAC,6BAA6B,CAAC,CAAC;IACzD,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,EAAY,EAAE,GAAG,EAAE,CAAC,CAAC,GAAa,EAAE,CAAC;AACtD,CAAC,CAAC;AAEF,KAAK,UAAU,MAAM,CAAC,OAAiB,EAAE,CAAgD;IACvF,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC;IAChB,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACnE,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5E,GAAG,CAAC;YACF,GAAG,CAAC;YACJ,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE;YAC/C,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACpC,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,SAAS;YACxB,IAAI,CAAC,gDAAgD,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QACnF,IAAI,CAAE,CAAW,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;AACH,CAAC;AAED,MAAM,SAAS,GAAG,CAAC,GAAY,EAAE,EAAE,CACjC,GAAG;KACA,cAAc,CAAC,YAAY,EAAE,+BAA+B,CAAC;KAC7D,cAAc,CAAC,cAAc,EAAE,qDAAqD,CAAC;KACrF,MAAM,CAAC,QAAQ,EAAE,uBAAuB,CAAC,CAAC;AAE/C,SAAS,CACP,OAAO;KACJ,OAAO,CAAC,KAAK,CAAC;KACd,WAAW,CACV,qCAAqC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,+GAA+G,CACpK,CACJ,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;IACnB,MAAM,CAAC,GAAG,SAAS,EAAE,CAAC;IACtB,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAA8B,CAAC;IACxE,MAAM,MAAM,CACV,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAW,CAAC,EACjD,CAAC,CACF,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,SAAS,CACP,OAAO;KACJ,OAAO,CAAC,WAAW,CAAC;KACpB,WAAW,CACV,8FAA8F,CAC/F,CACJ,CAAC,MAAM,CAAC,KAAK,EAAE,EAAU,EAAE,CAAC,EAAE,EAAE;IAC/B,MAAM,KAAK,GAAG,SAAS,EAA6B,CAAC;IACrD,MAAM,MAAM,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAY,CAAC,EAAE,CAAC,CAAC,CAAC;AAC5D,CAAC,CAAC,CAAC;AAEH,SAAS,CACP,OAAO;KACJ,OAAO,CAAC,iBAAiB,CAAC;KAC1B,WAAW,CAAC,mDAAmD,CAAC,CACpE,CAAC,MAAM,CAAC,KAAK,EAAE,GAAa,EAAE,CAAC,EAAE,EAAE;IAClC,MAAM,MAAM,CACV,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAW,CAAC,EACjD,CAAC,CACF,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,SAAS,CACP,OAAO;KACJ,OAAO,CAAC,OAAO,CAAC;KAChB,WAAW,CAAC,0EAA0E,CAAC,CAC3F,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;IACnB,MAAM,CAAC,GAAG,SAAS,EAAE,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAC/D,MAAM,MAAM,CAAC,CAAa,EAAE,CAAC,CAAC,CAAC;AACjC,CAAC,CAAC,CAAC;AAEH,OAAO;KACJ,OAAO,CAAC,WAAW,CAAC;KACpB,WAAW,CAAC,sEAAsE,CAAC;KACnF,MAAM,CAAC,KAAK,EAAE,EAAU,EAAE,EAAE;IAC3B,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC;IAChB,MAAM,CAAC,GAAG,MAAM,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE;QACxC,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9B,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,CAAC;QAAE,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;IAChC,GAAG,CAAC,CAAC,CAAC,CAAC;AACT,CAAC,CAAC,CAAC;AAEL,OAAO;KACJ,OAAO,CAAC,aAAa,CAAC;KACtB,WAAW,CACV,uHAAuH,CACxH;KACA,MAAM,CAAC,CAAC,EAAU,EAAE,EAAE;IACrB,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAqB,CAAC,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAC3F,IAAI,CAAC;QACH,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;IACzC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAE,CAAW,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;AACH,CAAC,CAAC,CAAC;AAEL,OAAO;KACJ,OAAO,CAAC,iBAAiB,CAAC;KAC1B,WAAW,CAAC,gEAAgE,CAAC;KAC7E,SAAS,CAAC,IAAI,MAAM,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;KAC1D,MAAM,CAAC,iBAAiB,CAAC;KACzB,MAAM,CAAC,mBAAmB,EAAE,gBAAgB,CAAC;KAC7C,MAAM,CAAC,aAAa,EAAE,yBAAyB,CAAC;KAChD,MAAM,CAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC;KAClC,MAAM,CAAC,KAAK,EAAE,KAAe,EAAE,CAAC,EAAE,EAAE;IACnC,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC;IAChB,MAAM,IAAI,GAAG,MAAM,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE;QAC3C,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9B,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;YACzC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;YAClB,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;SACnB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,GAAG,CACD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACf,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,OAAO,EAAE,CAAC,CAAC,OAAO;KACnB,CAAC,CAAC,CACJ,CAAC;AACJ,CAAC,CAAC,CAAC;AAEL,OAAO;KACJ,OAAO,CAAC,OAAO,CAAC;KAChB,WAAW,CAAC,wEAAwE,CAAC;KACrF,MAAM,CAAC,KAAK,IAAI,EAAE;IACjB,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC;IAChB,GAAG,CACD,MAAM,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE;QAC9B,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9B,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC,CAAC,CACH,CAAC;AACJ,CAAC,CAAC,CAAC;AAEL,OAAO;KACJ,OAAO,CAAC,MAAM,CAAC;KACf,WAAW,CACV,kGAAkG,CACnG;KACA,MAAM,CAAC,aAAa,EAAE,2CAA2C,CAAC;KAClE,MAAM,CACL,kBAAkB,EAClB,uEAAuE,CACxE;KACA,MAAM,CAAC,CAAC,CAAoC,EAAE,EAAE;IAC/C,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAqB,CAAC,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAC3F,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC;IACrC,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG;QACpB,CAAC,CAAC,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC;YACvC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC;QACpC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;IAChE,GAAG,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,GAAG,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IAClE,IAAI,IAAI;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC5B,CAAC,CAAC,CAAC;AAEL,OAAO;KACJ,OAAO,CAAC,MAAM,CAAC;KACf,WAAW,CAAC,6BAA6B,CAAC;KAC1C,MAAM,CAAC,QAAQ,EAAE,yCAAyC,CAAC;KAC3D,MAAM,CAAC,KAAK,EAAE,CAAqB,EAAE,EAAE;IACtC,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC;IAChB,GAAG,CAAC,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AAC/E,CAAC,CAAC,CAAC;AAEL,OAAO;KACJ,OAAO,CAAC,MAAM,CAAC;KACf,WAAW,CAAC,gEAAgE,CAAC;KAC7E,MAAM,CAAC,KAAK,IAAI,EAAE;IACjB,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC;IAChB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACvB,IAAI,CAAC,CAAC,MAAM;QAAE,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAClE,GAAG,CAAC,CAAC,CAAC,CAAC;IACP,IAAI,CAAC,CAAC,CAAC,MAAM;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACjC,CAAC,CAAC,CAAC;AAEL,OAAO;KACJ,OAAO,CAAC,MAAM,CAAC;KACf,WAAW,CAAC,kFAAkF,CAAC;KAC/F,MAAM,CAAC,gBAAgB,EAAE,oCAAoC,EAAE,OAAO,CAAC;KACvE,MAAM,CAAC,eAAe,EAAE,+BAA+B,CAAC;KACxD,MAAM,CAAC,CAAC,CAAmC,EAAE,EAAE;IAC9C,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAqB,CAAC,IAAI,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IACrE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAAE,IAAI,CAAC,gCAAgC,CAAC,CAAC;IAC3F,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACnC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QACtB,aAAa,CACX,OAAO,EACP,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CACrG,CAAC;IACJ,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IACpC,MAAM,GAAG,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3D,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC;QAC5B,aAAa,CAAC,EAAE,EAAE,GAAG,GAAG,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;IAChF,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC;AAEL,OAAO,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAE,CAAW,CAAC,OAAO,CAAC,CAAC,CAAC"}

package/dist/git.d.ts

@@ -0,0 +1,20 @@
+export declare class GitError extends Error {
+    name: string;
+}
+export declare function git(cwd: string, args: string[], input?: string | Buffer): string;
+export declare function gitBuf(cwd: string, args: string[], input?: string | Buffer): Buffer;
+export declare function tryGit(cwd: string, args: string[]): {
+    ok: boolean;
+    out: string;
+};
+export declare const head: (cwd: string) => string | null;
+export declare const isAncestor: (cwd: string, a: string, b: string) => boolean;
+/** Every path under `dirs` at a commit. */
+export declare function lsTree(cwd: string, rev: string, dirs: readonly string[]): string[];
+/** Paths changed between two commits under `dirs`: added or modified, and deleted. No renames (a delete plus an add). */
+export declare function diff(cwd: string, from: string, to: string, dirs: readonly string[]): {
+    changed: string[];
+    deleted: string[];
+};
+/** File texts at a commit, in one `cat-file --batch`. A missing path is left out. */
+export declare function readAt(cwd: string, rev: string, paths: readonly string[]): Map<string, string>;

package/dist/git.js

@@ -0,0 +1,83 @@
+/** The git calls the store needs. The git CLI, so a bare repo (a server's hook) works the same. */
+import { execFileSync } from "node:child_process";
+const MAX = 512 * 1024 * 1024;
+export class GitError extends Error {
+    name = "GitError";
+}
+export function git(cwd, args, input) {
+    return gitBuf(cwd, args, input).toString("utf8").trimEnd();
+}
+export function gitBuf(cwd, args, input) {
+    try {
+        return execFileSync("git", args, {
+            cwd,
+            maxBuffer: MAX,
+            stdio: ["pipe", "pipe", "pipe"],
+            ...(input !== undefined ? { input } : {}),
+        });
+    }
+    catch (e) {
+        const err = e;
+        throw new GitError(`git ${args[0]}: ${err.stderr?.toString().trim() || err.message}`);
+    }
+}
+export function tryGit(cwd, args) {
+    try {
+        return { ok: true, out: git(cwd, args) };
+    }
+    catch (e) {
+        return { ok: false, out: e.message };
+    }
+}
+export const head = (cwd) => {
+    const r = tryGit(cwd, ["rev-parse", "--verify", "-q", "HEAD"]);
+    return r.ok && r.out ? r.out : null;
+};
+export const isAncestor = (cwd, a, b) => tryGit(cwd, ["merge-base", "--is-ancestor", a, b]).ok;
+/** Every path under `dirs` at a commit. */
+export function lsTree(cwd, rev, dirs) {
+    const out = gitBuf(cwd, ["ls-tree", "-r", "-z", "--name-only", rev, "--", ...dirs]).toString("utf8");
+    return out.split("\0").filter(Boolean);
+}
+/** Paths changed between two commits under `dirs`: added or modified, and deleted. No renames (a delete plus an add). */
+export function diff(cwd, from, to, dirs) {
+    const out = gitBuf(cwd, [
+        "diff",
+        "--no-renames",
+        "--name-status",
+        "-z",
+        from,
+        to,
+        "--",
+        ...dirs,
+    ]).toString("utf8");
+    const parts = out.split("\0").filter(Boolean);
+    const changed = [];
+    const deleted = [];
+    for (let i = 0; i + 1 < parts.length; i += 2) {
+        const status = parts[i];
+        const path = parts[i + 1];
+        (status.startsWith("D") ? deleted : changed).push(path);
+    }
+    return { changed, deleted };
+}
+/** File texts at a commit, in one `cat-file --batch`. A missing path is left out. */
+export function readAt(cwd, rev, paths) {
+    const files = new Map();
+    if (!paths.length)
+        return files;
+    const buf = gitBuf(cwd, ["cat-file", "--batch"], paths.map((p) => `${rev}:${p}\n`).join(""));
+    let at = 0;
+    for (const p of paths) {
+        const nl = buf.indexOf(10, at);
+        const line = buf.subarray(at, nl).toString("utf8");
+        at = nl + 1;
+        if (line.endsWith(" missing"))
+            continue;
+        const size = Number(line.split(" ")[2]);
+        files.set(p, buf.subarray(at, at + size).toString("utf8"));
+        at += size + 1;
+    }
+    return files;
+}
+//# sourceMappingURL=git.js.map

package/dist/git.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"git.js","sourceRoot":"","sources":["../src/git.ts"],"names":[],"mappings":"AAAA,mGAAmG;AACnG,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,MAAM,GAAG,GAAG,GAAG,GAAG,IAAI,GAAG,IAAI,CAAC;AAE9B,MAAM,OAAO,QAAS,SAAQ,KAAK;IACxB,IAAI,GAAG,UAAU,CAAC;CAC5B;AAED,MAAM,UAAU,GAAG,CAAC,GAAW,EAAE,IAAc,EAAE,KAAuB;IACtE,OAAO,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC;AAC7D,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,GAAW,EAAE,IAAc,EAAE,KAAuB;IACzE,IAAI,CAAC;QACH,OAAO,YAAY,CAAC,KAAK,EAAE,IAAI,EAAE;YAC/B,GAAG;YACH,SAAS,EAAE,GAAG;YACd,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC;YAC/B,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC1C,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAyC,CAAC;QACtD,MAAM,IAAI,QAAQ,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;IACxF,CAAC;AACH,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,GAAW,EAAE,IAAc;IAChD,IAAI,CAAC;QACH,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;IAC3C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAG,CAAW,CAAC,OAAO,EAAE,CAAC;IAClD,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,GAAW,EAAiB,EAAE;IACjD,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IAC/D,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AACtC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,GAAW,EAAE,CAAS,EAAE,CAAS,EAAW,EAAE,CACvE,MAAM,CAAC,GAAG,EAAE,CAAC,YAAY,EAAE,eAAe,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAExD,2CAA2C;AAC3C,MAAM,UAAU,MAAM,CAAC,GAAW,EAAE,GAAW,EAAE,IAAuB;IACtE,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,QAAQ,CAC1F,MAAM,CACP,CAAC;IACF,OAAO,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AACzC,CAAC;AAED,yHAAyH;AACzH,MAAM,UAAU,IAAI,CAClB,GAAW,EACX,IAAY,EACZ,EAAU,EACV,IAAuB;IAEvB,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,EAAE;QACtB,MAAM;QACN,cAAc;QACd,eAAe;QACf,IAAI;QACJ,IAAI;QACJ,EAAE;QACF,IAAI;QACJ,GAAG,IAAI;KACR,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACpB,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAW,CAAC;QAClC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAW,CAAC;QACpC,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AAC9B,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,MAAM,CAAC,GAAW,EAAE,GAAW,EAAE,KAAwB;IACvE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,IAAI,CAAC,KAAK,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAChC,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,UAAU,EAAE,SAAS,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7F,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACnD,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACZ,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;YAAE,SAAS;QACxC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,GAAG,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;QAC3D,EAAE,IAAI,IAAI,GAAG,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,8 @@
+export * from "./git.js";
+export * from "./lint.js";
+export * from "./push.js";
+export * from "./record-index.js";
+export * from "./records.js";
+export * from "./render.js";
+export * from "./repo.js";
+export * from "./write.js";

package/dist/index.js

@@ -0,0 +1,9 @@
+export * from "./git.js";
+export * from "./lint.js";
+export * from "./push.js";
+export * from "./record-index.js";
+export * from "./records.js";
+export * from "./render.js";
+export * from "./repo.js";
+export * from "./write.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,UAAU,CAAC;AACzB,cAAc,WAAW,CAAC;AAC1B,cAAc,WAAW,CAAC;AAC1B,cAAc,mBAAmB,CAAC;AAClC,cAAc,cAAc,CAAC;AAC7B,cAAc,aAAa,CAAC;AAC5B,cAAc,WAAW,CAAC;AAC1B,cAAc,YAAY,CAAC"}

package/dist/lint.d.ts

@@ -0,0 +1,13 @@
+/**
+ * The rules a tree must hold before a commit lands (a write) or a head moves (push, server hook).
+ * Errors refuse the change; warnings report stale links.
+ */
+import type { Tree } from "./repo.js";
+export interface Problem {
+    level: "error" | "warn";
+    path: string;
+    id?: string;
+    msg: string;
+}
+export declare function lint(tree: Tree, owner: string): Problem[];
+export declare const errors: (ps: Problem[]) => Problem[];

package/dist/lint.js

@@ -0,0 +1,56 @@
+/**
+ * The rules a tree must hold before a commit lands (a write) or a head moves (push, server hook).
+ * Errors refuse the change; warnings report stale links.
+ */
+import { CITE_NUMBER, edgesOf, pathOf } from "./records.js";
+export function lint(tree, owner) {
+    const out = tree.broken.map((b) => ({
+        level: "error",
+        path: b.path,
+        msg: b.error,
+    }));
+    const byId = new Map();
+    for (const l of tree.docs) {
+        const { fm } = l.doc;
+        const e = (msg) => out.push({ level: "error", path: l.path, id: fm.id, msg });
+        const prev = byId.get(fm.id);
+        if (prev)
+            e(`id ${fm.id} is also at ${prev.path}`);
+        else
+            byId.set(fm.id, l);
+        const want = pathOf(fm);
+        if (l.path !== want)
+            e(`a ${fm.type} with this id belongs at ${want}`);
+    }
+    for (const l of tree.docs) {
+        const { fm } = l.doc;
+        const e = (level, msg) => out.push({ level, path: l.path, id: fm.id, msg });
+        for (const to of edgesOf(fm)) {
+            const t = byId.get(to)?.doc.fm;
+            if (to === fm.id)
+                e("error", "cites itself");
+            else if (!t)
+                e("error", `cites ${to}, which is not in the repo`);
+            else if (fm.status === "live" && t.status === "retired")
+                e("warn", `cites ${to}, which is retired`);
+        }
+        if (fm.type === "finding") {
+            const s = byId.get(fm.source)?.doc.fm;
+            if (s && s.type !== "source")
+                e("error", `source ${fm.source} is a ${s.type}, not a source`);
+        }
+        if (fm.type === "guide")
+            for (const m of l.doc.body.matchAll(CITE_NUMBER)) {
+                const n = Number(m[1]);
+                if (n < 1 || n > fm.cites.length) {
+                    e("error", `[${n}] has no cite: the guide cites ${fm.cites.length}`);
+                    break;
+                }
+            }
+        if (fm.type === "rule" && fm.status === "live" && fm.cites.length === 0 && fm.by !== owner)
+            e("error", `a rule cites its evidence; only ${owner} may write one with none`);
+    }
+    return out;
+}
+export const errors = (ps) => ps.filter((p) => p.level === "error");
+//# sourceMappingURL=lint.js.map

package/dist/lint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lint.js","sourceRoot":"","sources":["../src/lint.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAU5D,MAAM,UAAU,IAAI,CAAC,IAAU,EAAE,KAAa;IAC5C,MAAM,GAAG,GAAc,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7C,KAAK,EAAE,OAAgB;QACvB,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,GAAG,EAAE,CAAC,CAAC,KAAK;KACb,CAAC,CAAC,CAAC;IACJ,MAAM,IAAI,GAAG,IAAI,GAAG,EAAsC,CAAC;IAC3D,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1B,MAAM,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC;QACrB,MAAM,CAAC,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;QACtF,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAI,IAAI;YAAE,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,eAAe,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;;YAC9C,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACxB,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC;QACxB,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;YAAE,CAAC,CAAC,KAAK,EAAE,CAAC,IAAI,4BAA4B,IAAI,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1B,MAAM,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC;QACrB,MAAM,CAAC,GAAG,CAAC,KAAuB,EAAE,GAAW,EAAE,EAAE,CACjD,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;QACpD,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;YAC7B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;YAC/B,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE;gBAAE,CAAC,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;iBACxC,IAAI,CAAC,CAAC;gBAAE,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,4BAA4B,CAAC,CAAC;iBAC5D,IAAI,EAAE,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;gBACrD,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,oBAAoB,CAAC,CAAC;QAC/C,CAAC;QACD,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;YACtC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;gBAAE,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,CAAC,MAAM,SAAS,CAAC,CAAC,IAAI,gBAAgB,CAAC,CAAC;QAC/F,CAAC;QACD,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO;YACrB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;gBACjD,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACvB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;oBACjC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,kCAAkC,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;oBACrE,MAAM;gBACR,CAAC;YACH,CAAC;QACH,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,MAAM,KAAK,MAAM,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,KAAK;YACxF,CAAC,CAAC,OAAO,EAAE,mCAAmC,KAAK,0BAA0B,CAAC,CAAC;IACnF,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,EAAa,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC"}

package/dist/push.d.ts

@@ -0,0 +1,15 @@
+import { type Problem } from "./lint.js";
+export interface Pushed {
+    pushed: boolean;
+    head: string | null;
+    merged: boolean;
+    tries: number;
+    problems?: Problem[];
+    error?: string;
+}
+export declare function push(root: string, tries?: number): Pushed;
+/**
+ * The lint errors at `rev` that no base had: what a change made. A push, and a server's pre-receive
+ * hook (`knowledge lint --rev <new> --base <old>`), refuse on these only.
+ */
+export declare function newFaults(root: string, owner: string, bases: string[], rev: string): Problem[];