@descryy/core 0.1.0

package/dist/sources/git/history.js

@@ -0,0 +1,314 @@
+/**
+ * Reading git history.
+ *
+ * No dependency: `git` is invoked directly. A library would buy parsing help and
+ * cost a dependency in a package that has none by design, and the format below
+ * is chosen so parsing is unambiguous rather than clever.
+ *
+ * ## Renames are resolved, not ignored
+ *
+ * `CHANGES_WITH` is file-to-file, and `FILE` identity is DEC-004's documented
+ * path fallback — a file's only stable name *is* its path. So a rename silently
+ * splits a file's history in two: the co-change weight built up over two years
+ * resets to zero, and nothing in the output reveals it happened. That is the
+ * exact failure DEC-004 exists to prevent, arriving through the one node type
+ * that cannot avoid it.
+ *
+ * The fix is `-M` plus a canonicalisation pass: history is walked newest-first,
+ * and every historical path is mapped forward to the name the file has today. It
+ * makes DEC-004's guarantee total for files that git can *follow*; where git's
+ * rename detection fails (a rewrite with no similarity), the guarantee stays
+ * partial and that is now a bounded, stated gap rather than an unbounded one.
+ */
+import { execFile } from "node:child_process";
+import { promisify } from "node:util";
+import { cleanGitEnv } from "./env.js";
+const execFileAsync = promisify(execFile);
+// Always strips GIT_DIR/GIT_WORK_TREE/GIT_INDEX_FILE/GIT_COMMON_DIR — see env.ts.
+function run(command, args, options) {
+    return execFileAsync(command, args, {
+        ...options,
+        encoding: "utf8",
+        env: cleanGitEnv(),
+    });
+}
+/** Record and field separators — chosen because they cannot occur in a path or subject. */
+const RECORD = "";
+const FIELD = "";
+export async function gitHead(cwd) {
+    const { stdout } = await run("git", ["rev-parse", "HEAD"], { cwd });
+    return stdout.trim();
+}
+export async function isGitRepository(cwd) {
+    try {
+        const { stdout } = await run("git", ["rev-parse", "--is-inside-work-tree"], { cwd });
+        return stdout.trim() === "true";
+    }
+    catch {
+        return false;
+    }
+}
+const LOG_FORMAT = `${RECORD}%H${FIELD}%at${FIELD}%s${FIELD}%b${FIELD}`;
+/**
+ * Split one `--format=<RECORD>%H<FIELD>%at<FIELD>%s<FIELD>%b<FIELD>` record
+ * into its four fields plus the raw `--name-status` block that follows them.
+ * Shared by `readHistory` and `logForPath` — everything past this point
+ * (how paths are resolved, whether a rename mutates shared state) differs
+ * enough between the two that sharing further would cost more than it
+ * saves; see `readHistory`'s own resolve closure for why.
+ */
+function splitRecord(record) {
+    if (record.trim() === "")
+        return null;
+    const parts = record.split(FIELD);
+    const sha = parts[0]?.trim();
+    if (sha === undefined || sha === "")
+        return null;
+    return {
+        sha,
+        timestamp: Number(parts[1] ?? 0),
+        subject: parts[2] ?? "",
+        body: parts[3] ?? "",
+        nameStatus: parts.slice(4).join(FIELD),
+    };
+}
+/**
+ * Read history newest-first, with renames followed forward to today's paths.
+ *
+ * `--no-merges` is deliberate: a merge commit's file list is the union of both
+ * branches, so counting it as co-change would report every file in a large merge
+ * as coupled to every other. That is the single largest source of false
+ * `CHANGES_WITH` edges, and it is free to exclude.
+ */
+export async function readHistory(cwd, options = {}) {
+    const maxCommits = options.maxCommits ?? 2000;
+    const maxFiles = options.maxFilesPerCommit ?? 50;
+    const { stdout } = await run("git", ["log", "--no-merges", "-M", "--name-status", `--max-count=${maxCommits}`, `--format=${LOG_FORMAT}`], { cwd, maxBuffer: 256 * 1024 * 1024 });
+    /** Historical path → the name that file has today. */
+    const canonical = new Map();
+    const resolve = (path) => canonical.get(path) ?? path;
+    const commits = [];
+    for (const record of stdout.split(RECORD)) {
+        const split = splitRecord(record);
+        if (split === null)
+            continue;
+        const { sha, timestamp, subject, body, nameStatus } = split;
+        const changes = [];
+        for (const line of nameStatus.split("\n")) {
+            if (line.trim() === "")
+                continue;
+            const fields = line.split("\t");
+            const code = fields[0];
+            if (code === undefined)
+                continue;
+            if (code.startsWith("R") || code.startsWith("C")) {
+                const from = fields[1];
+                const to = fields[2];
+                if (from === undefined || to === undefined)
+                    continue;
+                // Walking newest-first, so `to` is the newer name: anything older that
+                // called this file `from` is the same file, known today as whatever
+                // `to` currently resolves to.
+                if (code.startsWith("R"))
+                    canonical.set(from, resolve(to));
+                changes.push({ path: resolve(to), status: code.startsWith("R") ? "R" : "C", fromPath: resolve(from) });
+                continue;
+            }
+            const path = fields[1];
+            if (path === undefined)
+                continue;
+            const status = code[0];
+            if (status !== "A" && status !== "M" && status !== "D")
+                continue;
+            changes.push({ path: resolve(path), status });
+        }
+        // A commit touching hundreds of files is a reformat, a dependency bump or a
+        // move — it says nothing about which files are logically coupled, and
+        // including it makes every file in it co-change with every other. That is
+        // O(n^2) noise from a single commit.
+        if (changes.length === 0 || changes.length > maxFiles) {
+            commits.push({ sha, timestamp, subject, body, changes: [] });
+            continue;
+        }
+        commits.push({ sha, timestamp, subject, body, changes });
+    }
+    return commits;
+}
+/**
+ * Live commit history for one file, right now — distinct from `history.ts`'s
+ * `changesWith`, which only reads the graph's stored `CHANGES_WITH` ledger
+ * built once at `analyze` time. `--follow` tracks the file across renames;
+ * unlike `readHistory`'s whole-repo walk, each commit here reports its own
+ * historical name rather than today's — the rename itself is part of what a
+ * caller asking "what happened to this file" wants to see.
+ */
+export async function logForPath(cwd, path, options = {}) {
+    const maxCommits = options.maxCommits ?? 20;
+    const { stdout } = await run("git", ["log", "--no-merges", "--follow", "-M", "--name-status", `--max-count=${maxCommits}`, `--format=${LOG_FORMAT}`, "--", path], { cwd, maxBuffer: 64 * 1024 * 1024 });
+    const commits = [];
+    for (const record of stdout.split(RECORD)) {
+        const split = splitRecord(record);
+        if (split === null)
+            continue;
+        const { sha, timestamp, subject, body, nameStatus } = split;
+        // `--follow` scopes the walk to one file's lineage, so exactly one
+        // name-status line is expected per commit; the first is taken rather
+        // than asserting an invariant a future git version could quietly break.
+        const line = nameStatus.split("\n").find((l) => l.trim() !== "");
+        if (line === undefined)
+            continue;
+        const fields = line.split("\t");
+        const code = fields[0];
+        if (code === undefined)
+            continue;
+        if (code.startsWith("R") || code.startsWith("C")) {
+            const from = fields[1];
+            const to = fields[2];
+            if (from === undefined || to === undefined)
+                continue;
+            commits.push({
+                sha,
+                timestamp,
+                subject,
+                body,
+                status: code.startsWith("R") ? "R" : "C",
+                path: to,
+                fromPath: from,
+            });
+            continue;
+        }
+        const changePath = fields[1];
+        if (changePath === undefined)
+            continue;
+        const status = code[0];
+        if (status !== "A" && status !== "M" && status !== "D")
+            continue;
+        commits.push({ sha, timestamp, subject, body, status, path: changePath, fromPath: null });
+    }
+    const { stdout: countOut } = await run("git", ["log", "--no-merges", "--follow", "-M", "--format=%H", "--", path], { cwd, maxBuffer: 64 * 1024 * 1024 });
+    const totalTouching = countOut.split("\n").filter((l) => l.trim() !== "").length;
+    return { commits, totalTouching };
+}
+/**
+ * Resolve one commit directly by sha, bypassing both `readHistory`'s
+ * reachability filter and its `--no-merges` exclusion.
+ *
+ * `readHistory` walks history from `HEAD` only — co-change must stay scoped to
+ * mainline, or work in progress on other branches would pollute
+ * `CHANGES_WITH` — and drops merge commits, because a merge's file list is
+ * the union of both branches (see the module doc). Both are correct for
+ * co-change. Neither is correct for resolving what a revert commit names:
+ * `git revert`'s `This reverts commit <sha>` line can point at a commit that
+ * **is** a merge ("Revert Merge pull request #N"), or at a commit that is
+ * real and still in the object database but not an ancestor of `HEAD` — an
+ * abandoned branch, or one deleted after a squash/rebase merge whose objects
+ * have not yet been garbage-collected. Neither case means the commit does
+ * not exist; `readHistory`'s index just cannot see it.
+ *
+ * `git cat-file` and `git diff-tree` operate on the object database directly
+ * and enforce neither constraint, so this is the fallback `createGitSource`
+ * uses once `readHistory`'s own index has already missed a revert target.
+ *
+ * Returns `null` only when the object genuinely does not exist — the
+ * squash-merge case, where the original commit was never an ancestor of
+ * anything that survived and its object is gone from the store. That is the
+ * one case nothing can resolve; the caller must disclose it rather than
+ * drop it silently (CLAUDE.md rule 7 — every fallback is labelled).
+ *
+ * File paths returned here are **not** forward-canonicalised through
+ * `readHistory`'s rename map — this commit was never visited by that walk.
+ * A file renamed on mainline *after* this commit landed will show under its
+ * name at the time, not today's name. That is a narrower, disclosed version
+ * of the same rename gap the module doc already states for the primary walk.
+ */
+export async function resolveCommitBySha(cwd, sha, maxFilesPerCommit = 50) {
+    try {
+        await run("git", ["cat-file", "-e", `${sha}^{commit}`], { cwd });
+    }
+    catch {
+        return null;
+    }
+    const format = `%at${FIELD}%s${FIELD}%b`;
+    const { stdout: metaOut } = await run("git", ["show", "--no-patch", `--format=${format}`, sha], { cwd });
+    const [tsRaw, subject, ...bodyParts] = metaOut.split(FIELD);
+    const timestamp = Number(tsRaw ?? 0);
+    const body = bodyParts.join(FIELD).replace(/\n+$/, "");
+    // Diff against the first parent: for an ordinary commit that is its only
+    // parent, so this is identical to a normal diff. For a merge commit it is
+    // "what this merge brought in relative to mainline" — exactly the file
+    // list a revert of that merge names. A root commit has no parent at all;
+    // fall back to a diff against the empty tree.
+    let nameStatus;
+    try {
+        ({ stdout: nameStatus } = await run("git", ["diff-tree", "-M", "--no-commit-id", "--name-status", "-r", `${sha}^1`, sha], { cwd, maxBuffer: 64 * 1024 * 1024 }));
+    }
+    catch {
+        ({ stdout: nameStatus } = await run("git", ["diff-tree", "-M", "--no-commit-id", "--name-status", "-r", "--root", sha], { cwd, maxBuffer: 64 * 1024 * 1024 }));
+    }
+    const changes = [];
+    for (const line of nameStatus.split("\n")) {
+        if (line.trim() === "")
+            continue;
+        const fields = line.split("\t");
+        const code = fields[0];
+        if (code === undefined)
+            continue;
+        if (code.startsWith("R") || code.startsWith("C")) {
+            const to = fields[2];
+            if (to === undefined)
+                continue;
+            changes.push({ path: to, status: code.startsWith("R") ? "R" : "C" });
+            continue;
+        }
+        const path = fields[1];
+        if (path === undefined)
+            continue;
+        const status = code[0];
+        if (status !== "A" && status !== "M" && status !== "D")
+            continue;
+        changes.push({ path, status });
+    }
+    return {
+        sha,
+        timestamp,
+        subject: subject ?? "",
+        body,
+        // Same reformat/dependency-bump cap `readHistory` applies — a revert of a
+        // merge that brought in hundreds of files should not fan
+        // INCIDENT_CORRELATED out into hundreds of edges either.
+        changes: changes.length > maxFilesPerCommit ? [] : changes,
+    };
+}
+/**
+ * Files changed between two refs — the input to PR analysis.
+ *
+ * `base...head` (three dots) rather than `base..head`, and the difference is the
+ * whole point: two dots diffs the two tips, so every file changed on `base`
+ * since the branch point appears in the result as though the PR had touched it.
+ * On a branch a week behind `main` that is most of the diff, and the blast
+ * radius it produces belongs to somebody else's change. Three dots diffs against
+ * the merge base, which is what a reviewer is actually looking at.
+ *
+ * Deletions are included. A deleted file's nodes may still be in the graph, and
+ * *what called the thing you just removed* is the most useful question a diff
+ * can be asked.
+ */
+export async function changedFiles(cwd, base, head = "HEAD") {
+    const { stdout } = await run("git", ["diff", "--name-only", "-M", `${base}...${head}`], {
+        cwd,
+        maxBuffer: 64 * 1024 * 1024,
+    });
+    return stdout
+        .split("\n")
+        .map((l) => l.trim())
+        .filter((l) => l !== "");
+}
+/** `git show --name-only` for one commit, with today's paths where known. */
+export async function filesInCommit(cwd, sha) {
+    const { stdout } = await run("git", ["show", "--no-merges", "--name-only", "--format=", sha], { cwd, maxBuffer: 64 * 1024 * 1024 });
+    return stdout
+        .split("\n")
+        .map((l) => l.trim())
+        .filter((l) => l !== "");
+}
+//# sourceMappingURL=history.js.map

package/dist/sources/git/history.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"history.js","sourceRoot":"","sources":["../../../src/sources/git/history.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAEtC,OAAO,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAEvC,MAAM,aAAa,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;AAE1C,kFAAkF;AAClF,SAAS,GAAG,CACV,OAAe,EACf,IAAuB,EACvB,OAA4C;IAE5C,OAAO,aAAa,CAAC,OAAO,EAAE,IAAgB,EAAE;QAC9C,GAAG,OAAO;QACV,QAAQ,EAAE,MAAe;QACzB,GAAG,EAAE,WAAW,EAAE;KACnB,CAAC,CAAC;AACL,CAAC;AAED,2FAA2F;AAC3F,MAAM,MAAM,GAAG,GAAG,CAAC;AACnB,MAAM,KAAK,GAAG,GAAG,CAAC;AA0BlB,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,GAAW;IACvC,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,GAAG,CAAC,KAAK,EAAE,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;IACpE,OAAO,MAAM,CAAC,IAAI,EAAE,CAAC;AACvB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,GAAW;IAC/C,IAAI,CAAC;QACH,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,GAAG,CAAC,KAAK,EAAE,CAAC,WAAW,EAAE,uBAAuB,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;QACrF,OAAO,MAAM,CAAC,IAAI,EAAE,KAAK,MAAM,CAAC;IAClC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,MAAM,UAAU,GAAG,GAAG,MAAM,KAAK,KAAK,MAAM,KAAK,KAAK,KAAK,KAAK,KAAK,EAAE,CAAC;AAExE;;;;;;;GAOG;AACH,SAAS,WAAW,CAAC,MAAc;IACjC,IAAI,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAClC,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;IAC7B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IACjD,OAAO;QACL,GAAG;QACH,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAChC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE;QACvB,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE;QACpB,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;KACvC,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,GAAW,EAAE,UAA0B,EAAE;IACzE,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,IAAI,CAAC;IAC9C,MAAM,QAAQ,GAAG,OAAO,CAAC,iBAAiB,IAAI,EAAE,CAAC;IAEjD,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,GAAG,CAC1B,KAAK,EACL,CAAC,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,eAAe,EAAE,eAAe,UAAU,EAAE,EAAE,YAAY,UAAU,EAAE,CAAC,EACpG,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,GAAG,IAAI,GAAG,IAAI,EAAE,CACtC,CAAC;IAEF,sDAAsD;IACtD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,MAAM,OAAO,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;IAEtE,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,KAAK,KAAK,IAAI;YAAE,SAAS;QAC7B,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;QAE5D,MAAM,OAAO,GAAmB,EAAE,CAAC;QACnC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE;gBAAE,SAAS;YACjC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAChC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACvB,IAAI,IAAI,KAAK,SAAS;gBAAE,SAAS;YAEjC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBACjD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;gBACvB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;gBACrB,IAAI,IAAI,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;oBAAE,SAAS;gBACrD,uEAAuE;gBACvE,oEAAoE;gBACpE,8BAA8B;gBAC9B,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;oBAAE,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC3D,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACvG,SAAS;YACX,CAAC;YAED,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACvB,IAAI,IAAI,KAAK,SAAS;gBAAE,SAAS;YACjC,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACvB,IAAI,MAAM,KAAK,GAAG,IAAI,MAAM,KAAK,GAAG,IAAI,MAAM,KAAK,GAAG;gBAAE,SAAS;YACjE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;QAChD,CAAC;QAED,4EAA4E;QAC5E,sEAAsE;QACtE,0EAA0E;QAC1E,qCAAqC;QACrC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,QAAQ,EAAE,CAAC;YACtD,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;YAC7D,SAAS;QACX,CAAC;QAED,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AA+BD;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,UAAU,CAC9B,GAAW,EACX,IAAY,EACZ,UAA0B,EAAE;IAE5B,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;IAE5C,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,GAAG,CAC1B,KAAK,EACL,CAAC,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,IAAI,EAAE,eAAe,EAAE,eAAe,UAAU,EAAE,EAAE,YAAY,UAAU,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAC5H,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI,EAAE,CACrC,CAAC;IAEF,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,KAAK,KAAK,IAAI;YAAE,SAAS;QAC7B,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;QAE5D,mEAAmE;QACnE,qEAAqE;QACrE,wEAAwE;QACxE,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACjE,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QAEjC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACjD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACvB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACrB,IAAI,IAAI,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;gBAAE,SAAS;YACrD,OAAO,CAAC,IAAI,CAAC;gBACX,GAAG;gBACH,SAAS;gBACT,OAAO;gBACP,IAAI;gBACJ,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG;gBACxC,IAAI,EAAE,EAAE;gBACR,QAAQ,EAAE,IAAI;aACf,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,UAAU,KAAK,SAAS;YAAE,SAAS;QACvC,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,MAAM,KAAK,GAAG,IAAI,MAAM,KAAK,GAAG,IAAI,MAAM,KAAK,GAAG;YAAE,SAAS;QACjE,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5F,CAAC;IAED,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,GAAG,CACpC,KAAK,EACL,CAAC,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,CAAC,EACnE,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI,EAAE,CACrC,CAAC;IACF,MAAM,aAAa,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC;IAEjF,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC;AACpC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,GAAW,EACX,GAAW,EACX,iBAAiB,GAAG,EAAE;IAEtB,IAAI,CAAC;QACH,MAAM,GAAG,CAAC,KAAK,EAAE,CAAC,UAAU,EAAE,IAAI,EAAE,GAAG,GAAG,WAAW,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;IACnE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,KAAK,KAAK,KAAK,IAAI,CAAC;IACzC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,GAAG,CACnC,KAAK,EACL,CAAC,MAAM,EAAE,YAAY,EAAE,YAAY,MAAM,EAAE,EAAE,GAAG,CAAC,EACjD,EAAE,GAAG,EAAE,CACR,CAAC;IACF,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,SAAS,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC5D,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAEvD,yEAAyE;IACzE,0EAA0E;IAC1E,uEAAuE;IACvE,yEAAyE;IACzE,8CAA8C;IAC9C,IAAI,UAAkB,CAAC;IACvB,IAAI,CAAC;QACH,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,GAAG,CACjC,KAAK,EACL,CAAC,WAAW,EAAE,IAAI,EAAE,gBAAgB,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,GAAG,IAAI,EAAE,GAAG,CAAC,EAC7E,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI,EAAE,CACrC,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,GAAG,CACjC,KAAK,EACL,CAAC,WAAW,EAAE,IAAI,EAAE,gBAAgB,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,EAC3E,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI,EAAE,CACrC,CAAC,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAmB,EAAE,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,SAAS;QACjC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QAEjC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACjD,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACrB,IAAI,EAAE,KAAK,SAAS;gBAAE,SAAS;YAC/B,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;YACrE,SAAS;QACX,CAAC;QAED,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,MAAM,KAAK,GAAG,IAAI,MAAM,KAAK,GAAG,IAAI,MAAM,KAAK,GAAG;YAAE,SAAS;QACjE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IACjC,CAAC;IAED,OAAO;QACL,GAAG;QACH,SAAS;QACT,OAAO,EAAE,OAAO,IAAI,EAAE;QACtB,IAAI;QACJ,0EAA0E;QAC1E,yDAAyD;QACzD,yDAAyD;QACzD,OAAO,EAAE,OAAO,CAAC,MAAM,GAAG,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO;KAC3D,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,GAAW,EACX,IAAY,EACZ,IAAI,GAAG,MAAM;IAEb,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,GAAG,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,IAAI,MAAM,IAAI,EAAE,CAAC,EAAE;QACtF,GAAG;QACH,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;KAC5B,CAAC,CAAC;IACH,OAAO,MAAM;SACV,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SACpB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;AAC7B,CAAC;AAED,6EAA6E;AAC7E,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,GAAW,EAAE,GAAW;IAC1D,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,GAAG,CAC1B,KAAK,EACL,CAAC,MAAM,EAAE,aAAa,EAAE,aAAa,EAAE,WAAW,EAAE,GAAG,CAAC,EACxD,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI,EAAE,CACrC,CAAC;IACF,OAAO,MAAM;SACV,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SACpB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;AAC7B,CAAC"}

package/dist/sources/git/index.d.ts

@@ -0,0 +1,7 @@
+export { createGitSource, revertedShaOf, GIT_SOURCE_ID, GIT_SOURCE_VERSION, UNDIRECTED_EDGE_TYPES, } from "./source.ts";
+export type { GitSourceOptions } from "./source.ts";
+export { readHistory, gitHead, isGitRepository, filesInCommit, changedFiles, resolveCommitBySha, logForPath, } from "./history.ts";
+export type { Commit, CommitChange, HistoryOptions, PathLogCommit, PathLogOptions, PathLogResult, } from "./history.ts";
+export { gitDiff } from "./diff.ts";
+export type { GitDiffFile, GitDiffOptions } from "./diff.ts";
+//# sourceMappingURL=index.d.ts.map

package/dist/sources/git/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/sources/git/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,eAAe,EACf,aAAa,EACb,aAAa,EACb,kBAAkB,EAClB,qBAAqB,GACtB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAEpD,OAAO,EACL,WAAW,EACX,OAAO,EACP,eAAe,EACf,aAAa,EACb,YAAY,EACZ,kBAAkB,EAClB,UAAU,GACX,MAAM,cAAc,CAAC;AACtB,YAAY,EACV,MAAM,EACN,YAAY,EACZ,cAAc,EACd,aAAa,EACb,cAAc,EACd,aAAa,GACd,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,YAAY,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC"}

package/dist/sources/git/index.js

@@ -0,0 +1,4 @@
+export { createGitSource, revertedShaOf, GIT_SOURCE_ID, GIT_SOURCE_VERSION, UNDIRECTED_EDGE_TYPES, } from "./source.js";
+export { readHistory, gitHead, isGitRepository, filesInCommit, changedFiles, resolveCommitBySha, logForPath, } from "./history.js";
+export { gitDiff } from "./diff.js";
+//# sourceMappingURL=index.js.map

package/dist/sources/git/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/sources/git/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,eAAe,EACf,aAAa,EACb,aAAa,EACb,kBAAkB,EAClB,qBAAqB,GACtB,MAAM,aAAa,CAAC;AAGrB,OAAO,EACL,WAAW,EACX,OAAO,EACP,eAAe,EACf,aAAa,EACb,YAAY,EACZ,kBAAkB,EAClB,UAAU,GACX,MAAM,cAAc,CAAC;AAUtB,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC"}

package/dist/sources/git/source.d.ts

@@ -0,0 +1,95 @@
+/**
+ * The git history `IRSource` — architecture §11.6 and §11.7.
+ *
+ * It is an `IRSource` and **not** a `LanguageAdapter`, which is the whole reason
+ * that split exists: history is a producer of IR with no parser, no language and
+ * no resolution beyond R0, and without the narrower interface it would need a
+ * second write path — and a second write path is how un-provenanced rows reach
+ * storage.
+ *
+ * ## Everything here is R0, and that is not a formality
+ *
+ * Co-change is not code analysis. It observes that two files were edited in the
+ * same commit, which is evidence about *people*, not about program structure.
+ * R0's confidence ceiling (DEC-019) therefore caps every edge this source emits
+ * at 0.5, and §11A.5's reliability cap makes any finding resting on one Class C
+ * — a behavioural prediction that must be live-confirmed or dropped. That is the
+ * correct treatment: "these two files usually change together" is a hint for a
+ * human, never a claim about what breaks.
+ *
+ * ## Precision over recall, applied three times
+ *
+ * 1. **Merge commits are excluded from co-change.** A merge's file list is the
+ *    union of both branches, so counting it would report every file in a large
+ *    merge as coupled to every other. This exclusion is scoped to co-change —
+ *    it does **not** apply to resolving what a revert names (see below): a
+ *    revert of "Merge pull request #N" is a real incident whose target
+ *    happens to be a merge commit, and excluding it from co-change is not a
+ *    reason to also make it unresolvable as an incident.
+ * 2. **Large commits are excluded.** A commit touching hundreds of files is a
+ *    reformat or a dependency bump; including it adds O(n²) edges that mean
+ *    nothing.
+ * 3. **Only explicit reverts become incidents.** A commit whose message merely
+ *    contains "fix" is not evidence of an incident. `git revert` writes a
+ *    machine-generated `This reverts commit <sha>.` line, and that is the only
+ *    signal used.
+ *
+ * ## Resolving what a revert names
+ *
+ * `readHistory` indexes commits reachable from `HEAD`, minus merges. A revert
+ * commit's target sha can miss that index for two reasons that have nothing to
+ * do with whether the incident is real: the target is a merge commit (excluded
+ * above), or the target was never merged as itself — a squash/rebase-merge
+ * workflow (GitHub's default) discards the original commits and only the
+ * squashed commit survives on `HEAD`, so "Revert PR #N" names a sha that is
+ * either real-but-unreachable (still sitting on an abandoned branch) or
+ * genuinely gone (garbage-collected after the branch was deleted). Measured
+ * against 5 real repos, 6 of 9 real reverts fell into these two buckets and
+ * were silently dropped by a naive index lookup.
+ *
+ * `resolveCommitBySha` is the fallback: it goes straight to the object
+ * database (`git cat-file` / `git diff-tree`), which enforces neither
+ * constraint `readHistory` applies. It resolves the merge case and the
+ * unreachable-but-present case. Only the genuinely-gone case still fails, and
+ * that failure is disclosed via `unresolved` (below) rather than dropped with
+ * no trace — this is the fallback CLAUDE.md rule 7 requires labelling.
+ */
+import { type IRSource } from "@descryy/ir";
+import { type Commit, type HistoryOptions } from "./history.ts";
+export declare const GIT_SOURCE_ID = "git-history";
+export declare const GIT_SOURCE_VERSION = "0.1.0";
+/**
+ * `CHANGES_WITH` is a symmetric relationship stored in one canonical direction.
+ *
+ * Emitting both directions would double the edge count and make the pair count
+ * twice in any per-edge aggregate. The cost is that a caller must traverse it
+ * undirected — `direction: "both"` — and forgetting that yields a *missing*
+ * edge, which is a disclosed gap rather than a wrong answer. That asymmetry is
+ * why this is the safe default and not the convenient one.
+ */
+export declare const UNDIRECTED_EDGE_TYPES: readonly ["CHANGES_WITH"];
+export interface GitSourceOptions extends HistoryOptions {
+    readonly repo: string;
+    readonly cwd: string;
+    /**
+     * Minimum times two files must change together before an edge is emitted.
+     *
+     * **Provisional.** The architecture's own illustration is that 18x co-change
+     * is a warning and 2x is noise, which fixes the shape of the threshold but not
+     * its value; §32's tuning register has no number for it either. 5 is a
+     * defensible floor for a repo with a few hundred commits and is expected to
+     * move once measured. See DEC-033.
+     */
+    readonly minSupport?: number;
+    /**
+     * Minimum `support / timesTheSourceFileChanged`.
+     *
+     * Support alone over-reports the files that change constantly: a config file
+     * touched in half of all commits co-occurs with everything. Confidence is what
+     * separates "coupled" from "always busy".
+     */
+    readonly minConfidence?: number;
+}
+export declare function revertedShaOf(commit: Commit): string | null;
+export declare function createGitSource(options: GitSourceOptions): IRSource;
+//# sourceMappingURL=source.d.ts.map

package/dist/sources/git/source.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"source.d.ts","sourceRoot":"","sources":["../../../src/sources/git/source.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuDG;AAEH,OAAO,EAQL,KAAK,QAAQ,EAGd,MAAM,aAAa,CAAC;AAErB,OAAO,EAKL,KAAK,MAAM,EACX,KAAK,cAAc,EACpB,MAAM,cAAc,CAAC;AAEtB,eAAO,MAAM,aAAa,gBAAgB,CAAC;AAC3C,eAAO,MAAM,kBAAkB,UAAU,CAAC;AAG1C;;;;;;;;GAQG;AACH,eAAO,MAAM,qBAAqB,2BAA4B,CAAC;AAE/D,MAAM,WAAW,gBAAiB,SAAQ,cAAc;IACtD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB;;;;;;;;OAQG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B;;;;;;OAMG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;CACjC;AAiBD,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAG3D;AAED,wBAAgB,eAAe,CAAC,OAAO,EAAE,gBAAgB,GAAG,QAAQ,CAmQnE"}

package/dist/sources/git/source.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"source.js","sourceRoot":"","sources":["../../../src/sources/git/source.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuDG;AAEH,OAAO,EACL,MAAM,EACN,OAAO,EACP,MAAM,GAQP,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,OAAO,EACP,eAAe,EACf,WAAW,EACX,kBAAkB,GAGnB,MAAM,cAAc,CAAC;AAEtB,MAAM,CAAC,MAAM,aAAa,GAAG,aAAa,CAAC;AAC3C,MAAM,CAAC,MAAM,kBAAkB,GAAG,OAAO,CAAC;AAC1C,MAAM,WAAW,GAAG,GAAG,aAAa,IAAI,kBAAkB,EAAE,CAAC;AAE7D;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,cAAc,CAAU,CAAC;AA8B/D;;;;;;;GAOG;AACH,MAAM,OAAO,GAAG,oCAAoC,CAAC;AAErD,MAAM,UAAU,aAAa,CAAC,MAAc;IAC1C,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACxC,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,OAAyB;IACvD,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,CAAC,CAAC;IAC3C,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,IAAI,IAAI,CAAC;IAEpD,OAAO;QACL,EAAE,EAAE,aAAa;QACjB,OAAO,EAAE,kBAAkB;QAE3B,KAAK,CAAC,IAAI,CAAC,GAAoB;YAC7B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;YAC3C,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;YACxB,mEAAmE;YACnE,4EAA4E;YAC5E,4BAA4B;YAC5B,MAAM,KAAK,GAAkB,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;YAErE,IAAI,CAAC,CAAC,MAAM,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBAClC,yEAAyE;gBACzE,4DAA4D;gBAC5D,OAAO,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAClE,CAAC;YAED,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YAChD,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC;YAEhC,yEAAyE;YAEzE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;YAC9C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAgB,CAAC;YACtC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;YAElC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBACrE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;oBACxD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACpB,CAAC;gBACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;oBACzC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC7C,kEAAkE;wBAClE,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;wBACtC,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;wBAChC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;4BAC3B,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC;wBACnE,CAAC;6BAAM,CAAC;4BACN,QAAQ,CAAC,OAAO,IAAI,CAAC,CAAC;4BACtB,QAAQ,CAAC,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;wBAChF,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YAED,yEAAyE;YAEzE,MAAM,iBAAiB,GAAG,OAAO,CAAC,iBAAiB,IAAI,EAAE,CAAC;YAC1D,MAAM,SAAS,GAAwC,EAAE,CAAC;YAC1D,uEAAuE;YACvE,wEAAwE;YACxE,yEAAyE;YACzE,4BAA4B;YAC5B,MAAM,iBAAiB,GAA2C,EAAE,CAAC;YACrE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACtD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;gBAC1C,IAAI,WAAW,KAAK,IAAI;oBAAE,SAAS;gBACnC,IAAI,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;gBACtC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,iEAAiE;oBACjE,mEAAmE;oBACnE,mCAAmC;oBACnC,QAAQ,GAAG,CAAC,MAAM,kBAAkB,CAAC,GAAG,EAAE,WAAW,EAAE,iBAAiB,CAAC,CAAC,IAAI,SAAS,CAAC;gBAC1F,CAAC;gBACD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,iBAAiB,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;oBACrD,SAAS;gBACX,CAAC;gBACD,SAAS,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC;gBACpD,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,OAAO;oBAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAClE,CAAC;YAED,yEAAyE;YAEzE,MAAM,KAAK,GAAa,EAAE,CAAC;YAC3B,MAAM,WAAW,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;YAExC,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;gBAC/B,KAAK,CAAC,IAAI,CAAC;oBACT,EAAE,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;oBAC9C,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI;oBACnC,IAAI,EAAE,IAAI;oBACV,KAAK,EAAE,IAAI;oBACX,uEAAuE;oBACvE,mEAAmE;oBACnE,6CAA6C;oBAC7C,QAAQ,EAAE,IAAI;oBACd,UAAU,EAAE,WAAW;oBACvB,UAAU,EAAE,CAAC;oBACb,KAAK,EAAE,EAAE,WAAW,EAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;iBACnD,CAAC,CAAC;YACL,CAAC;YAED,KAAK,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,SAAS,EAAE,CAAC;gBAC1C,KAAK,CAAC,IAAI,CAAC;oBACT,EAAE,EAAE,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC;oBACjD,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;oBACpC,IAAI,EAAE,IAAI;oBACV,KAAK,EAAE,IAAI;oBACX,QAAQ,EAAE,IAAI;oBACd,UAAU,EAAE,WAAW;oBACvB,UAAU,EAAE,CAAC;oBACb,KAAK,EAAE,EAAE,SAAS,EAAE,QAAQ,CAAC,GAAG,EAAE,UAAU,EAAE,GAAG,CAAC,GAAG,EAAE,WAAW,EAAE,iBAAiB,EAAE;iBACxF,CAAC,CAAC;gBACH,KAAK,CAAC,IAAI,CAAC;oBACT,EAAE,EAAE,MAAM,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;oBAC/C,IAAI,EAAE,aAAa;oBACnB,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;oBAC/B,IAAI,EAAE,IAAI;oBACV,KAAK,EAAE,IAAI;oBACX,QAAQ,EAAE,IAAI;oBACd,UAAU,EAAE,WAAW;oBACvB,UAAU,EAAE,CAAC;oBACb,KAAK,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,CAAC,GAAG,EAAE;iBACrD,CAAC,CAAC;YACL,CAAC;YAED,sEAAsE;YACtE,uEAAuE;YACvE,mEAAmE;YACnE,uEAAuE;YACvE,uEAAuE;YACvE,oEAAoE;YACpE,iBAAiB;YACjB,KAAK,MAAM,EAAE,GAAG,EAAE,IAAI,iBAAiB,EAAE,CAAC;gBACxC,KAAK,CAAC,IAAI,CAAC;oBACT,EAAE,EAAE,MAAM,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;oBAC/C,IAAI,EAAE,aAAa;oBACnB,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;oBAC/B,IAAI,EAAE,IAAI;oBACV,KAAK,EAAE,IAAI;oBACX,QAAQ,EAAE,IAAI;oBACd,UAAU,EAAE,WAAW;oBACvB,UAAU,EAAE,CAAC;oBACb,KAAK,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,GAAG,EAAE,qBAAqB,EAAE,IAAI,EAAE;iBAC3D,CAAC,CAAC;YACL,CAAC;YAED,yEAAyE;YAEzE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAChD,MAAM,KAAK,GAAa,EAAE,CAAC;YAC3B,MAAM,UAAU,GAAoB,EAAE,CAAC;YAEvC,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;gBAChC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAqB,CAAC;gBAClD,IAAI,IAAI,CAAC,OAAO,GAAG,UAAU;oBAAE,SAAS;gBACxC,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACzC,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACzC,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;gBAClE,IAAI,UAAU,GAAG,aAAa;oBAAE,SAAS;gBAEzC,KAAK,CAAC,IAAI,CAAC;oBACT,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;oBAC7C,EAAE,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;oBAC3C,IAAI,EAAE,cAAc;oBACpB,UAAU,EAAE,CAAC;oBACb,qEAAqE;oBACrE,qEAAqE;oBACrE,oEAAoE;oBACpE,UAAU;oBACV,UAAU,EAAE,WAAW;oBACvB,KAAK,EAAE;wBACL,OAAO,EAAE,IAAI,CAAC,OAAO;wBACrB,QAAQ;wBACR,QAAQ;wBACR,kBAAkB,EAAE,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;qBAClD;iBACF,CAAC,CAAC;YACL,CAAC;YAED,KAAK,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,iBAAiB,EAAE,CAAC;gBACrD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBAC1D,UAAU,CAAC,IAAI,CAAC;oBACd,UAAU,EAAE,KAAK;oBACjB,QAAQ,EAAE,UAAU;oBACpB,SAAS,EAAE,WAAW;oBACtB,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE,IAAI;oBACV,UAAU,EAAE,WAAW;oBACvB,MAAM,EACJ,+EAA+E;wBAC/E,6EAA6E;oBAC/E,KAAK,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,GAAG,EAAE,YAAY,EAAE,gBAAgB,EAAE;iBAC9D,CAAC,CAAC;YACL,CAAC;YAED,KAAK,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,SAAS,EAAE,CAAC;gBAC1C,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBACjE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBAC1D,KAAK,CAAC,IAAI,CAAC;oBACT,IAAI,EAAE,UAAU;oBAChB,EAAE,EAAE,KAAK;oBACT,IAAI,EAAE,UAAU;oBAChB,UAAU,EAAE,CAAC;oBACb,UAAU,EAAE,CAAC;oBACb,UAAU,EAAE,WAAW;oBACvB,KAAK,EAAE,EAAE,WAAW,EAAE,iBAAiB,EAAE;iBAC1C,CAAC,CAAC;gBAEH,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;oBAC5E,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;oBAC1D,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;wBACzB,UAAU,CAAC,IAAI,CAAC;4BACd,UAAU,EAAE,UAAU;4BACtB,QAAQ,EAAE,qBAAqB;4BAC/B,SAAS,EAAE,IAAI;4BACf,IAAI,EAAE,IAAI;4BACV,IAAI,EAAE,IAAI;4BACV,UAAU,EAAE,WAAW;4BACvB,MAAM,EAAE,qEAAqE;yBAC9E,CAAC,CAAC;wBACH,SAAS;oBACX,CAAC;oBACD,KAAK,CAAC,IAAI,CAAC;wBACT,IAAI,EAAE,UAAU;wBAChB,EAAE,EAAE,MAAM;wBACV,IAAI,EAAE,qBAAqB;wBAC3B,UAAU,EAAE,CAAC;wBACb,UAAU,EAAE,CAAC;wBACb,UAAU,EAAE,WAAW;wBACvB,KAAK,EAAE,EAAE,SAAS,EAAE,QAAQ,CAAC,GAAG,EAAE;qBACnC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAED,wEAAwE;YACxE,wEAAwE;YACxE,2DAA2D;YAC3D,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC/C,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAClB,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CACzE,CAAC;YACF,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;YAE1G,OAAO;gBACL,IAAI;gBACJ,GAAG,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC;gBACxE,SAAS,EAAE,IAAI;gBACf,UAAU,EAAE,WAAW;gBACvB,WAAW;gBACX,YAAY,EAAE,EAAE;gBAChB,iBAAiB,EAAE,CAAC;gBACpB,KAAK;gBACL,KAAK;gBACL,UAAU;aACX,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,IAAY,EAAE,SAA6B,EAAE,SAAiB;IAChF,OAAO;QACL,IAAI;QACJ,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC;QACjD,SAAS;QACT,UAAU,EAAE,WAAW;QACvB,WAAW,EAAE,EAAE;QACf,YAAY,EAAE,EAAE;QAChB,iBAAiB,EAAE,CAAC;QACpB,KAAK,EAAE,EAAE;QACT,KAAK,EAAE,EAAE;QACT,UAAU,EAAE,EAAE;KACf,CAAC;AACJ,CAAC"}

package/dist/sources/migrations/dialects.d.ts

@@ -0,0 +1,59 @@
+/**
+ * The dialect table — the only place in `descry-core` that describes a migration
+ * file format, and it does so **without naming a single tool**.
+ *
+ * That is not a dodge around the boundary lint; it is the design the lint is a
+ * proxy for. Rule 1 forbids a language or framework name above the Canonical IR.
+ * A migration-file reader is a producer and sits below it — exactly like
+ * `sources/git` and like an adapter — so naming a tool here would be defensible.
+ * It turned out not to be necessary: every distinction §14.6 needs is a
+ * distinction about **shape**, and a table written in shapes is one an unfamiliar
+ * reader can check against a file without knowing which ecosystem it came from.
+ *
+ * The consequence worth having is that `read.ts` knows nothing but this table, so
+ * **adding a dialect is a data change and never a code change**.
+ *
+ * `parentsKind` names a shape:
+ *
+ * | kind | the captured expression is |
+ * | --- | --- |
+ * | `single-or-none` | one quoted id, a null literal, or a tuple for a merge |
+ * | `id-list` | a bracketed list of quoted ids |
+ * | `pair-list` | a bracketed list of two-element tuples, joined with `/` |
+ *
+ * Every dialect here is **R0** — a regex over source text. DEC-058 and §15.3: a
+ * record carries the resolution of its own evidence, so a head conflict computed
+ * from these caps at class C however certain the arithmetic on top of it. Class A
+ * needs the framework's own migration history, which is DEC-115's promotion path
+ * and needs the tool installed and run. **Nothing here installs or runs
+ * anything.**
+ */
+export type ParentsKind = "single-or-none" | "id-list" | "pair-list";
+export interface Dialect {
+    readonly id: string;
+    readonly displayName: string;
+    readonly files: readonly string[];
+    /** Read from the file's text. */
+    readonly revision?: string;
+    /** Read from the file's name, when the format puts identity in the path. */
+    readonly revisionFromFilename?: string;
+    readonly parents: string;
+    readonly parentsKind: ParentsKind;
+    /** A second, additive predecessor channel where the format has one. */
+    readonly alsoParents?: string;
+    readonly why: string;
+}
+export interface RefusedFamily {
+    readonly id: string;
+    readonly files: readonly string[];
+    readonly why: string;
+}
+export declare const DIALECTS: readonly Dialect[];
+/**
+ * Families this producer declines, by design rather than by failure.
+ *
+ * The refusal is the interesting half of this table, so it is data too — a
+ * refused file produces a row carrying this sentence, not a silence.
+ */
+export declare const REFUSED: readonly RefusedFamily[];
+//# sourceMappingURL=dialects.d.ts.map

package/dist/sources/migrations/dialects.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dialects.d.ts","sourceRoot":"","sources":["../../../src/sources/migrations/dialects.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH,MAAM,MAAM,WAAW,GAAG,gBAAgB,GAAG,SAAS,GAAG,WAAW,CAAC;AAErE,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,iCAAiC;IACjC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,4EAA4E;IAC5E,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,uEAAuE;IACvE,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,eAAO,MAAM,QAAQ,EAAE,SAAS,OAAO,EAyBtC,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,OAAO,EAAE,SAAS,aAAa,EAuB3C,CAAC"}

package/dist/sources/migrations/dialects.js

@@ -0,0 +1,84 @@
+/**
+ * The dialect table — the only place in `descry-core` that describes a migration
+ * file format, and it does so **without naming a single tool**.
+ *
+ * That is not a dodge around the boundary lint; it is the design the lint is a
+ * proxy for. Rule 1 forbids a language or framework name above the Canonical IR.
+ * A migration-file reader is a producer and sits below it — exactly like
+ * `sources/git` and like an adapter — so naming a tool here would be defensible.
+ * It turned out not to be necessary: every distinction §14.6 needs is a
+ * distinction about **shape**, and a table written in shapes is one an unfamiliar
+ * reader can check against a file without knowing which ecosystem it came from.
+ *
+ * The consequence worth having is that `read.ts` knows nothing but this table, so
+ * **adding a dialect is a data change and never a code change**.
+ *
+ * `parentsKind` names a shape:
+ *
+ * | kind | the captured expression is |
+ * | --- | --- |
+ * | `single-or-none` | one quoted id, a null literal, or a tuple for a merge |
+ * | `id-list` | a bracketed list of quoted ids |
+ * | `pair-list` | a bracketed list of two-element tuples, joined with `/` |
+ *
+ * Every dialect here is **R0** — a regex over source text. DEC-058 and §15.3: a
+ * record carries the resolution of its own evidence, so a head conflict computed
+ * from these caps at class C however certain the arithmetic on top of it. Class A
+ * needs the framework's own migration history, which is DEC-115's promotion path
+ * and needs the tool installed and run. **Nothing here installs or runs
+ * anything.**
+ */
+export const DIALECTS = [
+    {
+        id: "revision-chain",
+        displayName: "revision/down-revision chain",
+        files: ["**/versions/*.py", "**/migrations/versions/*.py"],
+        revision: "^\\s*revision(?:\\s*:\\s*str)?\\s*=\\s*[\"']([^\"']+)[\"']",
+        parents: "^\\s*down_revision(?:\\s*:\\s*[^=]+)?\\s*=\\s*(.+)$",
+        parentsKind: "single-or-none",
+        alsoParents: "^\\s*depends_on(?:\\s*:\\s*[^=]+)?\\s*=\\s*(.+)$",
+        why: "Each revision names exactly one predecessor, or a null literal for the root; a merge " +
+            "revision names a tuple. A declared DAG, and the tool itself refuses to run with more " +
+            "than one head — which is the failure §14.6 predicts.",
+    },
+    {
+        id: "dependency-list",
+        displayName: "dependency list",
+        files: ["**/migrations/*.py"],
+        revisionFromFilename: "^(\\d{4}[^.]*)\\.py$",
+        parents: "dependencies\\s*=\\s*\\[([\\s\\S]*?)\\]",
+        parentsKind: "pair-list",
+        why: "Each migration declares its predecessors as (application, name) pairs. A declared DAG, " +
+            "and the tool detects conflicting leaves by name.",
+    },
+];
+/**
+ * Families this producer declines, by design rather than by failure.
+ *
+ * The refusal is the interesting half of this table, so it is data too — a
+ * refused file produces a row carrying this sentence, not a silence.
+ */
+export const REFUSED = [
+    {
+        id: "timestamp-ordered-directory",
+        files: ["**/database/migrations/*.php", "**/db/migrate/*.rb"],
+        why: "This family does not declare parents and has no head concept to conflict. A file is " +
+            "pending or applied, and the applied set is a SET tracked in a table, not a chain. Two " +
+            "changes each adding a migration is the normal case and it succeeds — there is no " +
+            "multiple-head failure to predict. Synthesising a parent from the previous file by " +
+            "timestamp would manufacture exactly the DAG the check consumes, and would then report " +
+            "a conflict for EVERY pair of changes that each add a migration, since both would carry " +
+            "the same synthesised parent: a maybe-list built from an invented format, published " +
+            "beside real structural facts and indistinguishable from them. " +
+            "MEASURED, AND BY THIS METHOD, because the method belongs beside the number: a WIDE net " +
+            "over 604 migrations in three real applications — every file under the directory, " +
+            "matched against every spelling of a revision or parent declaration this producer knows, " +
+            "plus a bare /parent/ sweep — returning 0. A swept zero and a leftover residual read " +
+            "identically as counts, so which one this is has to be said: it was DERIVED from a net " +
+            "cast wider than the claim, not expected and then confirmed. The twelve files the bare " +
+            "sweep did match matched a `parent_id` COLUMN and one comment. The second pattern is " +
+            "refused on documented behaviour only, because no corpus using it was available — a " +
+            "weaker basis, labelled rather than folded in beside the measured one.",
+    },
+];
+//# sourceMappingURL=dialects.js.map

package/dist/sources/migrations/dialects.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dialects.js","sourceRoot":"","sources":["../../../src/sources/migrations/dialects.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAyBH,MAAM,CAAC,MAAM,QAAQ,GAAuB;IAC1C;QACE,EAAE,EAAE,gBAAgB;QACpB,WAAW,EAAE,8BAA8B;QAC3C,KAAK,EAAE,CAAC,kBAAkB,EAAE,6BAA6B,CAAC;QAC1D,QAAQ,EAAE,4DAA4D;QACtE,OAAO,EAAE,qDAAqD;QAC9D,WAAW,EAAE,gBAAgB;QAC7B,WAAW,EAAE,kDAAkD;QAC/D,GAAG,EACD,uFAAuF;YACvF,uFAAuF;YACvF,sDAAsD;KACzD;IACD;QACE,EAAE,EAAE,iBAAiB;QACrB,WAAW,EAAE,iBAAiB;QAC9B,KAAK,EAAE,CAAC,oBAAoB,CAAC;QAC7B,oBAAoB,EAAE,sBAAsB;QAC5C,OAAO,EAAE,yCAAyC;QAClD,WAAW,EAAE,WAAW;QACxB,GAAG,EACD,yFAAyF;YACzF,kDAAkD;KACrD;CACF,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,OAAO,GAA6B;IAC/C;QACE,EAAE,EAAE,6BAA6B;QACjC,KAAK,EAAE,CAAC,8BAA8B,EAAE,oBAAoB,CAAC;QAC7D,GAAG,EACD,sFAAsF;YACtF,wFAAwF;YACxF,mFAAmF;YACnF,oFAAoF;YACpF,wFAAwF;YACxF,yFAAyF;YACzF,qFAAqF;YACrF,gEAAgE;YAChE,yFAAyF;YACzF,mFAAmF;YACnF,0FAA0F;YAC1F,sFAAsF;YACtF,wFAAwF;YACxF,wFAAwF;YACxF,sFAAsF;YACtF,qFAAqF;YACrF,uEAAuE;KAC1E;CACF,CAAC"}

package/dist/sources/migrations/index.d.ts

@@ -0,0 +1,3 @@
+export { readMigrations, DIALECTS, REFUSED } from "./read.ts";
+export type { Dialect, RefusedFamily, MigrationRefusal, MigrationReadReport, ParentsKind, ReadOptions, } from "./read.ts";
+//# sourceMappingURL=index.d.ts.map

package/dist/sources/migrations/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/sources/migrations/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC9D,YAAY,EACV,OAAO,EACP,aAAa,EACb,gBAAgB,EAChB,mBAAmB,EACnB,WAAW,EACX,WAAW,GACZ,MAAM,WAAW,CAAC"}