@aligndottech/cli 0.66.1 → 0.67.1

package/dist/commands/rule.js

@@ -0,0 +1,100 @@
+import chalk from 'chalk';
+import { addCoChangeRule, listCoChangeRules, removeCoChangeRule } from '../lib/co-change-store.js';
+import { parseCoChangeRule } from '../lib/co-change.js';
+import { currentRepoIdentity } from '../lib/repo-identity.js';
+import { localGraphPath } from '../lib/sync/real-env.js';
+const NO_GRAPH = 'There is no local graph yet. Run `align local start` (or `align setup --local`) first.';
+export async function runRuleAdd(title, opts, deps) {
+    if (title === undefined || title.trim() === '') {
+        deps.err('Give the rule a title: it is the decision a flag will cite. Put the title first, before the flags, because --when and --require take every word after them: align rule add "<title>" --when <glob...> --require <path...>');
+        return 2;
+    }
+    if (!opts.when || opts.when.length === 0) {
+        deps.err('--when needs at least one path or glob: the files that trigger the rule.');
+        return 2;
+    }
+    if (!opts.require || opts.require.length === 0) {
+        deps.err('--require needs at least one path or glob: the file a change must also touch.');
+        return 2;
+    }
+    let rule;
+    try {
+        rule = parseCoChangeRule({ when_paths: opts.when, require_paths: opts.require, scope: 'same_pr' });
+    }
+    catch (e) {
+        deps.err(e.message);
+        return 2;
+    }
+    const dbPath = deps.graphPath();
+    if (dbPath === undefined) {
+        deps.err(NO_GRAPH);
+        return 1;
+    }
+    const { decisionId, created } = addCoChangeRule(dbPath, { title, summary: opts.summary, rule, repo: await deps.repo() });
+    deps.out(created ? `Rule recorded (decision ${decisionId}).` : `That rule already exists (decision ${decisionId}).`);
+    deps.out(`A change touching ${rule.when_paths.join(', ')} must also touch ${rule.require_paths.join(' or ')} in the same PR. \`align check\` flags it when it does not.`);
+    return 0;
+}
+export async function runRuleList(deps) {
+    const dbPath = deps.graphPath();
+    const rules = dbPath === undefined ? [] : listCoChangeRules(dbPath);
+    if (rules.length === 0) {
+        deps.out('No co-change rules yet. `align rule add --help` shows how to write one.');
+        return 0;
+    }
+    for (const r of rules) {
+        deps.out(`${r.title}\n  touching ${r.rule.when_paths.join(', ')} requires ${r.rule.require_paths.join(' or ')} (same PR)\n  repo ${r.repo ?? 'any'}  rule ${r.ruleId}`);
+    }
+    return 0;
+}
+export async function runRuleRemove(id, deps) {
+    if (id === undefined || id.trim() === '') {
+        deps.err('Give the rule id `align rule list` printed: align rule remove <id>');
+        return 2;
+    }
+    const dbPath = deps.graphPath();
+    if (dbPath === undefined) {
+        deps.err(NO_GRAPH);
+        return 1;
+    }
+    if (!removeCoChangeRule(dbPath, id.trim())) {
+        deps.err(`No rule has the id ${id}. \`align rule list\` shows them.`);
+        return 1;
+    }
+    deps.out('Rule removed. Its decision stays in your graph.');
+    return 0;
+}
+export function registerRuleCommand(program) {
+    const rule = program
+        .command('rule')
+        .description('Co-change rules: a PR touching some files must also touch another, checked by file list with no model (local)');
+    const deps = { out: (l) => console.log(l), err: (l) => console.error(chalk.red(l)), graphPath: () => localGraphPath(), repo: () => currentRepoIdentity() };
+    rule
+        .command('add [title]')
+        .description('Record a rule: a change touching --when must also touch one of --require in the same PR')
+        .option('--when <globs...>', 'Paths or globs that trigger the rule (e.g. "openapi/**")')
+        .option('--require <paths...>', 'Paths or globs, any one of which a triggering change must also touch (e.g. docs/changelog.md)')
+        .option('--summary <text>', 'Why the rule exists, in a sentence')
+        .action(async (title, opts) => {
+        const code = await runRuleAdd(title, opts, deps);
+        if (code !== 0)
+            process.exitCode = code;
+    });
+    rule
+        .command('remove [id]')
+        .description('Remove a co-change rule by the id `align rule list` prints. Its decision stays')
+        .action(async (id) => {
+        const code = await runRuleRemove(id, deps);
+        if (code !== 0)
+            process.exitCode = code;
+    });
+    rule
+        .command('list')
+        .description('Show the co-change rules in your local graph')
+        .action(async () => {
+        const code = await runRuleList(deps);
+        if (code !== 0)
+            process.exitCode = code;
+    });
+}
+//# sourceMappingURL=rule.js.map

package/dist/commands/rule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule.js","sourceRoot":"","sources":["../../src/commands/rule.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AACnG,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAKzD,MAAM,QAAQ,GAAG,wFAAwF,CAAC;AAE1G,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,KAAyB,EAAE,IAAoB,EAAE,IAAqB;IACrG,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAC/C,IAAI,CAAC,GAAG,CAAC,2NAA2N,CAAC,CAAC;QACtO,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAAC,IAAI,CAAC,GAAG,CAAC,0EAA0E,CAAC,CAAC;QAAC,OAAO,CAAC,CAAC;IAAC,CAAC;IAC7I,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAAC,IAAI,CAAC,GAAG,CAAC,+EAA+E,CAAC,CAAC;QAAC,OAAO,CAAC,CAAC;IAAC,CAAC;IACxJ,IAAI,IAAI,CAAC;IACT,IAAI,CAAC;QACH,IAAI,GAAG,iBAAiB,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;IACrG,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,GAAG,CAAE,CAAW,CAAC,OAAO,CAAC,CAAC;QAC/B,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;IAChC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAAC,OAAO,CAAC,CAAC;IAAC,CAAC;IAC3D,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,eAAe,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACzH,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,2BAA2B,UAAU,IAAI,CAAC,CAAC,CAAC,sCAAsC,UAAU,IAAI,CAAC,CAAC;IACrH,IAAI,CAAC,GAAG,CAAC,qBAAqB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,6DAA6D,CAAC,CAAC;IAC1K,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,IAAqB;IACrD,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;IAChC,MAAM,KAAK,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACpE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,IAAI,CAAC,GAAG,CAAC,yEAAyE,CAAC,CAAC;QACpF,OAAO,CAAC,CAAC;IACX,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,gBAAgB,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,IAAI,IAAI,KAAK,UAAU,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1K,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,EAAsB,EAAE,IAAqB;IAC/E,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAAC,IAAI,CAAC,GAAG,CAAC,oEAAoE,CAAC,CAAC;QAAC,OAAO,CAAC,CAAC;IAAC,CAAC;IACvI,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;IAChC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAAC,OAAO,CAAC,CAAC;IAAC,CAAC;IAC3D,IAAI,CAAC,kBAAkB,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;QAAC,IAAI,CAAC,GAAG,CAAC,sBAAsB,EAAE,mCAAmC,CAAC,CAAC;QAAC,OAAO,CAAC,CAAC;IAAC,CAAC;IAChI,IAAI,CAAC,GAAG,CAAC,iDAAiD,CAAC,CAAC;IAC5D,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,OAAgB;IAClD,MAAM,IAAI,GAAG,OAAO;SACjB,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,+GAA+G,CAAC,CAAC;IAChI,MAAM,IAAI,GAAoB,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,cAAc,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,mBAAmB,EAAE,EAAE,CAAC;IAC5K,IAAI;SACD,OAAO,CAAC,aAAa,CAAC;SACtB,WAAW,CAAC,yFAAyF,CAAC;SACtG,MAAM,CAAC,mBAAmB,EAAE,0DAA0D,CAAC;SACvF,MAAM,CAAC,sBAAsB,EAAE,+FAA+F,CAAC;SAC/H,MAAM,CAAC,kBAAkB,EAAE,oCAAoC,CAAC;SAChE,MAAM,CAAC,KAAK,EAAE,KAAyB,EAAE,IAAoB,EAAE,EAAE;QAChE,MAAM,IAAI,GAAG,MAAM,UAAU,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACjD,IAAI,IAAI,KAAK,CAAC;YAAE,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC;IAC1C,CAAC,CAAC,CAAC;IACL,IAAI;SACD,OAAO,CAAC,aAAa,CAAC;SACtB,WAAW,CAAC,gFAAgF,CAAC;SAC7F,MAAM,CAAC,KAAK,EAAE,EAAsB,EAAE,EAAE;QACvC,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC3C,IAAI,IAAI,KAAK,CAAC;YAAE,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC;IAC1C,CAAC,CAAC,CAAC;IACL,IAAI;SACD,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,8CAA8C,CAAC;SAC3D,MAAM,CAAC,KAAK,IAAI,EAAE;QACjB,MAAM,IAAI,GAAG,MAAM,WAAW,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,IAAI,KAAK,CAAC;YAAE,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC;IAC1C,CAAC,CAAC,CAAC;AACP,CAAC"}

package/dist/lib/co-change-check.d.ts

@@ -0,0 +1,33 @@
+import type { AlignmentResult } from './gateway-client.js';
+import type { CoChangeViolation } from './co-change.js';
+/** Which change `align check` is looking at: the same three sources it takes its diff from. */
+export type ChangeSource = {
+    kind: 'base';
+    ref: string;
+} | {
+    kind: 'staged';
+} | {
+    kind: 'head';
+};
+/** Throws when git cannot answer: "I could not look" must never read as "nothing changed". */
+export declare function changedFiles(source: ChangeSource, cwd?: string): Promise<string[]>;
+/**
+ * Fold violations into the judge's answer. `llm` is null when the judge threw; `llmError` says why.
+ * A rule conflict is critical: it has one right answer, so it carries no confidence to discount.
+ * It also outranks `unknown`: "the judge could not decide" is no reason to hide a violation.
+ */
+export declare function mergeCoChange(llm: AlignmentResult | null, llmError: unknown, violations: CoChangeViolation[]): AlignmentResult;
+/**
+ * The violations for this check, or [] when there is nothing to evaluate. Rules live in the local
+ * graph, so any other environment reads nothing (the hosted gateway holds its own). A graph with no
+ * rules returns before git is asked anything, so the feature costs a user who has no rules nothing.
+ * Throws when rules exist and the file list cannot be read: a rule that could not be evaluated must
+ * not read as one that was satisfied.
+ */
+export declare function coChangeViolations(env: {
+    mode: string;
+    localDbPath?: string;
+}, source: ChangeSource): Promise<CoChangeViolation[]>;
+/** Run the judge, then fold in the violations. With none, the judge's answer or failure passes through untouched. */
+export declare function judgeWithCoChange(judge: () => Promise<AlignmentResult>, violations: CoChangeViolation[]): Promise<AlignmentResult>;
+//# sourceMappingURL=co-change-check.d.ts.map

package/dist/lib/co-change-check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"co-change-check.d.ts","sourceRoot":"","sources":["../../src/lib/co-change-check.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAExD,+FAA+F;AAC/F,MAAM,MAAM,YAAY,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAYjG,8FAA8F;AAC9F,wBAAsB,YAAY,CAAC,MAAM,EAAE,YAAY,EAAE,GAAG,GAAE,MAAsB,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAGvG;AAaD;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,eAAe,GAAG,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,GAAG,eAAe,CA2B9H;AAED;;;;;;GAMG;AACH,wBAAsB,kBAAkB,CAAC,GAAG,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,MAAM,EAAE,YAAY,GAAG,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAUxI;AAED,qHAAqH;AACrH,wBAAsB,iBAAiB,CAAC,KAAK,EAAE,MAAM,OAAO,CAAC,eAAe,CAAC,EAAE,UAAU,EAAE,iBAAiB,EAAE,GAAG,OAAO,CAAC,eAAe,CAAC,CAOxI"}

package/dist/lib/co-change-check.js

@@ -0,0 +1,95 @@
+/**
+ * Co-change rules inside `align check`: the changed-file list, and the fold of a violation into the
+ * result. The judge never sees any of this. It runs beside the LLM, needs no model call, and is
+ * evaluated whether the judge answered, abstained or threw.
+ */
+import { execa } from 'execa';
+function argsFor(source) {
+    // --no-renames: a rename is a delete plus an add, so the OLD path counts as touched too. With rename
+    // detection on, `--name-only` prints only the new name and a moved changelog would hide the move.
+    // -z: no path quoting, so a name with a space or a non-ASCII character comes back verbatim.
+    const base = ['diff', '--name-only', '--no-renames', '-z'];
+    if (source.kind === 'base')
+        return [...base, `${source.ref}...HEAD`];
+    if (source.kind === 'staged')
+        return [...base, '--staged'];
+    return [...base, 'HEAD'];
+}
+/** Throws when git cannot answer: "I could not look" must never read as "nothing changed". */
+export async function changedFiles(source, cwd = process.cwd()) {
+    const { stdout } = await execa('git', argsFor(source), { cwd });
+    return stdout.split('\0').filter((f) => f !== '');
+}
+const SHOWN_FILES = 3;
+function listFiles(files) {
+    const shown = files.slice(0, SHOWN_FILES).join(', ');
+    return files.length > SHOWN_FILES ? `${shown} and ${files.length - SHOWN_FILES} more` : shown;
+}
+function reasonFor(v) {
+    return `This change touches ${listFiles(v.triggeredBy)} but none of ${v.missing.join(', ')}. The rule asks for a change to ${v.missing.join(' or ')} in the same PR.`;
+}
+/**
+ * Fold violations into the judge's answer. `llm` is null when the judge threw; `llmError` says why.
+ * A rule conflict is critical: it has one right answer, so it carries no confidence to discount.
+ * It also outranks `unknown`: "the judge could not decide" is no reason to hide a violation.
+ */
+export function mergeCoChange(llm, llmError, violations) {
+    const ruleConflicts = violations.map((v) => ({
+        decision_id: v.decisionId,
+        title: v.title,
+        summary: v.summary,
+        ...(v.url ? { url: v.url } : {}),
+        reason: reasonFor(v),
+        severity: 'critical',
+    }));
+    const ruleIds = new Set(ruleConflicts.map((c) => c.decision_id));
+    const judged = (llm?.conflicts ?? []).filter((c) => !ruleIds.has(c.decision_id));
+    const judgeNote = llm === null
+        ? [`The decision-graph judge did not run (${llmError instanceof Error ? llmError.message : String(llmError)}). The file rule above needed no judge.`]
+        : [];
+    const message = `This change breaks ${ruleConflicts.length} file rule(s) from your decision graph: a file that should have changed with it did not.`;
+    // `reason` and `reason_class` describe an `unknown` verdict, which this result no longer is.
+    const { reason: _reason, reason_class: _reasonClass, ...kept } = llm ?? { relevant_decisions: [] };
+    const related = kept.relevant_decisions.filter((d) => !ruleIds.has(d.id));
+    return {
+        ...kept,
+        relevant_decisions: [...violations.map((v) => ({ id: v.decisionId, title: v.title, summary: v.summary, similarity: 1, ...(v.url ? { url: v.url } : {}) })), ...related],
+        status: 'conflicting',
+        confidence: 1,
+        conflicts: [...ruleConflicts, ...judged],
+        notes: [...(llm?.notes ?? []), ...judgeNote],
+        message,
+    };
+}
+/**
+ * The violations for this check, or [] when there is nothing to evaluate. Rules live in the local
+ * graph, so any other environment reads nothing (the hosted gateway holds its own). A graph with no
+ * rules returns before git is asked anything, so the feature costs a user who has no rules nothing.
+ * Throws when rules exist and the file list cannot be read: a rule that could not be evaluated must
+ * not read as one that was satisfied.
+ */
+export async function coChangeViolations(env, source) {
+    if (env.mode !== 'local-embedded')
+        return [];
+    const [{ listCoChangeRules }, { evaluateCoChange }, { getLocalDbPath }, { currentRepoIdentity }] = await Promise.all([
+        import('./co-change-store.js'), import('./co-change.js'), import('./local-mode.js'), import('./repo-identity.js'),
+    ]);
+    // Rules belong to the repo they were added in (the identity decisions.repo carries): one machine-wide
+    // graph must not make a rule from repo A fire in repo B.
+    const rules = listCoChangeRules(env.localDbPath ?? getLocalDbPath(), { repo: await currentRepoIdentity() });
+    if (rules.length === 0)
+        return [];
+    return evaluateCoChange(rules, await changedFiles(source));
+}
+/** Run the judge, then fold in the violations. With none, the judge's answer or failure passes through untouched. */
+export async function judgeWithCoChange(judge, violations) {
+    if (violations.length === 0)
+        return judge();
+    try {
+        return mergeCoChange(await judge(), null, violations);
+    }
+    catch (err) {
+        return mergeCoChange(null, err, violations);
+    }
+}
+//# sourceMappingURL=co-change-check.js.map

package/dist/lib/co-change-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"co-change-check.js","sourceRoot":"","sources":["../../src/lib/co-change-check.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,KAAK,EAAE,MAAM,OAAO,CAAC;AAO9B,SAAS,OAAO,CAAC,MAAoB;IACnC,qGAAqG;IACrG,kGAAkG;IAClG,4FAA4F;IAC5F,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,aAAa,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;IAC3D,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,CAAC,GAAG,IAAI,EAAE,GAAG,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC;IACrE,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,GAAG,IAAI,EAAE,UAAU,CAAC,CAAC;IAC3D,OAAO,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC;AAC3B,CAAC;AAED,8FAA8F;AAC9F,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,MAAoB,EAAE,MAAc,OAAO,CAAC,GAAG,EAAE;IAClF,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;IAChE,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;AACpD,CAAC;AAED,MAAM,WAAW,GAAG,CAAC,CAAC;AAEtB,SAAS,SAAS,CAAC,KAAe;IAChC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,OAAO,KAAK,CAAC,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,KAAK,QAAQ,KAAK,CAAC,MAAM,GAAG,WAAW,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;AAChG,CAAC;AAED,SAAS,SAAS,CAAC,CAAoB;IACrC,OAAO,uBAAuB,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,kBAAkB,CAAC;AACxK,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,GAA2B,EAAE,QAAiB,EAAE,UAA+B;IAC3G,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC3C,WAAW,EAAE,CAAC,CAAC,UAAU;QACzB,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;QACpB,QAAQ,EAAE,UAAmB;KAC9B,CAAC,CAAC,CAAC;IACJ,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IACjE,MAAM,MAAM,GAAG,CAAC,GAAG,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IACjF,MAAM,SAAS,GAAG,GAAG,KAAK,IAAI;QAC5B,CAAC,CAAC,CAAC,yCAAyC,QAAQ,YAAY,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,yCAAyC,CAAC;QACrJ,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,OAAO,GAAG,sBAAsB,aAAa,CAAC,MAAM,0FAA0F,CAAC;IACrJ,6FAA6F;IAC7F,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,GAAG,IAAI,EAAE,GAAG,GAAG,IAAI,EAAE,kBAAkB,EAAE,EAA2C,EAAE,CAAC;IAC5I,MAAM,OAAO,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1E,OAAO;QACL,GAAG,IAAI;QACP,kBAAkB,EAAE,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC;QACvK,MAAM,EAAE,aAAa;QACrB,UAAU,EAAE,CAAC;QACb,SAAS,EAAE,CAAC,GAAG,aAAa,EAAE,GAAG,MAAM,CAAC;QACxC,KAAK,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,IAAI,EAAE,CAAC,EAAE,GAAG,SAAS,CAAC;QAC5C,OAAO;KACR,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,GAA2C,EAAE,MAAoB;IACxG,IAAI,GAAG,CAAC,IAAI,KAAK,gBAAgB;QAAE,OAAO,EAAE,CAAC;IAC7C,MAAM,CAAC,EAAE,iBAAiB,EAAE,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,mBAAmB,EAAE,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACnH,MAAM,CAAC,sBAAsB,CAAC,EAAE,MAAM,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC,oBAAoB,CAAC;KAClH,CAAC,CAAC;IACH,sGAAsG;IACtG,yDAAyD;IACzD,MAAM,KAAK,GAAG,iBAAiB,CAAC,GAAG,CAAC,WAAW,IAAI,cAAc,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,mBAAmB,EAAE,EAAE,CAAC,CAAC;IAC5G,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAClC,OAAO,gBAAgB,CAAC,KAAK,EAAE,MAAM,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED,qHAAqH;AACrH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,KAAqC,EAAE,UAA+B;IAC5G,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,EAAE,CAAC;IAC5C,IAAI,CAAC;QACH,OAAO,aAAa,CAAC,MAAM,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;IACxD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,aAAa,CAAC,IAAI,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC;IAC9C,CAAC;AACH,CAAC"}

package/dist/lib/co-change-rule.d.ts

@@ -0,0 +1,11 @@
+/**
+ * "A change under these paths must also change those paths, in the same PR." The shape
+ * `align check` evaluates deterministically against a PR's file list. Defined once here so
+ * an importer that emits it and a checker that reads it cannot spell it two ways.
+ */
+export interface CoChangeRule {
+    when_paths: string[];
+    require_paths: string[];
+    scope: 'same_pr';
+}
+//# sourceMappingURL=co-change-rule.d.ts.map

package/dist/lib/co-change-rule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"co-change-rule.d.ts","sourceRoot":"","sources":["../../src/lib/co-change-rule.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,KAAK,EAAE,SAAS,CAAC;CAClB"}

package/dist/lib/co-change-rule.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=co-change-rule.js.map

package/dist/lib/co-change-rule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"co-change-rule.js","sourceRoot":"","sources":["../../src/lib/co-change-rule.ts"],"names":[],"mappings":""}

package/dist/lib/co-change-store.d.ts

@@ -0,0 +1,25 @@
+import { type CoChangeRule, type StoredCoChangeRule } from './co-change.js';
+export declare function addCoChangeRule(dbPath: string, input: {
+    title: string;
+    summary?: string;
+    rule: CoChangeRule;
+    repo?: string | null;
+}): {
+    decisionId: string;
+    created: boolean;
+};
+/**
+ * The docs import's writer: the rules on `decisionId` become exactly `raw` (one rule, or none).
+ * Replacing rather than adding is what lets a README that drops a rule drop it here too. Only the
+ * imported decision's own rules are touched; a hand-added rule lives on its own decision
+ * (addCoChangeRule). A rule that does not parse is skipped, never thrown: one bad section must not
+ * fail the import of every other one. True when a rule was stored.
+ */
+export declare function syncImportedCoChangeRule(dbPath: string, decisionId: string, repo: string | null, raw: unknown): boolean;
+/** Every rule whose decision still exists. A missing graph, or one that predates the table, lists nothing. */
+export declare function listCoChangeRules(dbPath: string, scope?: {
+    repo?: string | null;
+}): StoredCoChangeRule[];
+/** Deletes the rule and keeps its decision. False when no rule has that id. */
+export declare function removeCoChangeRule(dbPath: string, ruleId: string): boolean;
+//# sourceMappingURL=co-change-store.d.ts.map

package/dist/lib/co-change-store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"co-change-store.d.ts","sourceRoot":"","sources":["../../src/lib/co-change-store.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,KAAK,YAAY,EAAqB,KAAK,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAkC/F,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,YAAY,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,GAAG;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAuB9K;AAED;;;;;;GAMG;AACH,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,EAAE,GAAG,EAAE,OAAO,GAAG,OAAO,CAuBvH;AAED,8GAA8G;AAC9G,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,GAAE;IAAE,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAO,GAAG,kBAAkB,EAAE,CAoB5G;AAED,+EAA+E;AAC/E,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAQ1E"}

package/dist/lib/co-change-store.js

@@ -0,0 +1,142 @@
+/**
+ * Reads and writes of `co_change_rules` (local-db-cochange.ts). Same short-lived-handle pattern as
+ * curation/judgements-db.ts, so the MCP server and a sync child can both be live. A reader never
+ * creates a missing graph.
+ */
+import { createHash, randomUUID } from 'node:crypto';
+import fs from 'node:fs';
+import { DatabaseSync } from 'node:sqlite';
+import { assertSchemaSupported } from './local-db-migrate.js';
+import { tightenGraphFiles } from './private-files.js';
+import { createLocalDb } from './local-db.js';
+import { parseCoChangeRule } from './co-change.js';
+/** A graph from before the repo column has the table but not the column. The write-lock migration lives in createLocalDb, so run that once and read again. */
+function ensureCurrent(dbPath) {
+    const db = new DatabaseSync(dbPath);
+    let stale = false;
+    try {
+        stale = db.prepare('PRAGMA table_info(co_change_rules)').all().length > 0
+            && !db.prepare('PRAGMA table_info(co_change_rules)').all().some((c) => c.name === 'repo');
+    }
+    finally {
+        db.close();
+    }
+    if (stale)
+        createLocalDb(dbPath).close();
+}
+function openRead(dbPath) {
+    ensureCurrent(dbPath);
+    tightenGraphFiles(dbPath);
+    const db = new DatabaseSync(dbPath);
+    db.exec('PRAGMA busy_timeout = 30000');
+    assertSchemaSupported(db.prepare('PRAGMA user_version').get().user_version, db);
+    return db;
+}
+/**
+ * The decision's identity is (source_url, title), so the url is derived from the rule: the same title
+ * and rule re-added is the same decision, and the same title with a different rule is another one.
+ * It is an opaque key, never a link, and the listing does not surface it as one.
+ */
+function ruleSourceKey(title, rule, repo) {
+    const digest = createHash('sha256').update(JSON.stringify([title, repo, rule.when_paths, rule.require_paths, rule.scope])).digest('hex').slice(0, 16);
+    return `align-rule://co-change/${digest}`;
+}
+export function addCoChangeRule(dbPath, input) {
+    const rule = parseCoChangeRule(input.rule);
+    const title = input.title.trim();
+    const repo = input.repo ?? null;
+    if (title === '')
+        throw new Error('A co-change rule needs a title: the decision it records');
+    const summary = input.summary?.trim() || `A change touching ${rule.when_paths.join(', ')} must also touch ${rule.require_paths.join(' or ')} in the same PR.`;
+    const store = createLocalDb(dbPath);
+    try {
+        const sourceUrl = ruleSourceKey(title, rule, repo);
+        const existing = store.findIdBySource(sourceUrl, title);
+        const decisionId = store.insertDecision({ title, summary, sourceUrl, platform: 'cli', repo, deciderKind: 'human' });
+        const db = new DatabaseSync(dbPath);
+        try {
+            db.exec('PRAGMA busy_timeout = 30000');
+            db.prepare(`INSERT OR IGNORE INTO co_change_rules (id, decision_id, repo, when_paths, require_paths, scope) VALUES (?, ?, ?, ?, ?, ?)`)
+                .run(randomUUID(), decisionId, repo, JSON.stringify(rule.when_paths), JSON.stringify(rule.require_paths), rule.scope);
+        }
+        finally {
+            db.close();
+        }
+        return { decisionId, created: existing === null };
+    }
+    finally {
+        store.close();
+    }
+}
+/**
+ * The docs import's writer: the rules on `decisionId` become exactly `raw` (one rule, or none).
+ * Replacing rather than adding is what lets a README that drops a rule drop it here too. Only the
+ * imported decision's own rules are touched; a hand-added rule lives on its own decision
+ * (addCoChangeRule). A rule that does not parse is skipped, never thrown: one bad section must not
+ * fail the import of every other one. True when a rule was stored.
+ */
+export function syncImportedCoChangeRule(dbPath, decisionId, repo, raw) {
+    let rule;
+    try {
+        rule = raw === undefined ? undefined : parseCoChangeRule(raw);
+    }
+    catch {
+        rule = undefined;
+    }
+    const db = new DatabaseSync(dbPath);
+    try {
+        db.exec('PRAGMA busy_timeout = 30000');
+        const stored = db.prepare('SELECT repo, when_paths AS w, require_paths AS r, scope FROM co_change_rules WHERE decision_id = ?')
+            .all(decisionId);
+        // The same rule imported again keeps its row, so its id (what `align rule remove` takes) is stable.
+        if (rule !== undefined && stored.length === 1 && stored[0].repo === repo && stored[0].w === JSON.stringify(rule.when_paths)
+            && stored[0].r === JSON.stringify(rule.require_paths) && stored[0].scope === rule.scope)
+            return true;
+        db.prepare('DELETE FROM co_change_rules WHERE decision_id = ?').run(decisionId);
+        if (rule === undefined)
+            return false;
+        db.prepare(`INSERT INTO co_change_rules (id, decision_id, repo, when_paths, require_paths, scope) VALUES (?, ?, ?, ?, ?, ?)`)
+            .run(randomUUID(), decisionId, repo, JSON.stringify(rule.when_paths), JSON.stringify(rule.require_paths), rule.scope);
+        return true;
+    }
+    finally {
+        db.close();
+    }
+}
+/** Every rule whose decision still exists. A missing graph, or one that predates the table, lists nothing. */
+export function listCoChangeRules(dbPath, scope = {}) {
+    if (dbPath === '' || !fs.existsSync(dbPath))
+        return [];
+    const db = openRead(dbPath);
+    try {
+        const rows = db.prepare(`SELECT r.id AS ruleId, r.repo AS repo, d.id AS id, d.title AS title, d.summary AS summary, r.when_paths AS whenPaths, r.require_paths AS requirePaths, r.scope AS scope
+         FROM co_change_rules r JOIN decisions d ON d.id = r.decision_id ORDER BY r.created_at, r.rowid`).all();
+        // Asking for a repo keeps that repo's rules and the ones with no repo; asking for none keeps all.
+        const wanted = scope.repo === undefined ? rows : rows.filter((r) => r.repo === null || r.repo === scope.repo);
+        return wanted.map((r) => ({
+            ruleId: r.ruleId, repo: r.repo, decisionId: r.id, title: r.title, summary: r.summary,
+            rule: parseCoChangeRule({ when_paths: JSON.parse(r.whenPaths), require_paths: JSON.parse(r.requirePaths), scope: r.scope }),
+        }));
+    }
+    catch (e) {
+        if (/no such table/i.test(e.message))
+            return [];
+        throw e;
+    }
+    finally {
+        db.close();
+    }
+}
+/** Deletes the rule and keeps its decision. False when no rule has that id. */
+export function removeCoChangeRule(dbPath, ruleId) {
+    if (dbPath === '' || !fs.existsSync(dbPath))
+        return false;
+    const db = openRead(dbPath);
+    try {
+        return Number(db.prepare('DELETE FROM co_change_rules WHERE id = ?').run(ruleId).changes) > 0;
+    }
+    finally {
+        db.close();
+    }
+}
+//# sourceMappingURL=co-change-store.js.map

package/dist/lib/co-change-store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"co-change-store.js","sourceRoot":"","sources":["../../src/lib/co-change-store.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACrD,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAqB,iBAAiB,EAA2B,MAAM,gBAAgB,CAAC;AAE/F,8JAA8J;AAC9J,SAAS,aAAa,CAAC,MAAc;IACnC,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,IAAI,CAAC;QACH,KAAK,GAAI,EAAE,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC,GAAG,EAA8B,CAAC,MAAM,GAAG,CAAC;eACjG,CAAE,EAAE,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC,GAAG,EAA8B,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IAC3H,CAAC;YAAS,CAAC;QACT,EAAE,CAAC,KAAK,EAAE,CAAC;IACb,CAAC;IACD,IAAI,KAAK;QAAE,aAAa,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC;AAC3C,CAAC;AAED,SAAS,QAAQ,CAAC,MAAc;IAC9B,aAAa,CAAC,MAAM,CAAC,CAAC;IACtB,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;IACpC,EAAE,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IACvC,qBAAqB,CAAE,EAAE,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC,GAAG,EAA+B,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;IAC9G,OAAO,EAAE,CAAC;AACZ,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,KAAa,EAAE,IAAkB,EAAE,IAAmB;IAC3E,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACtJ,OAAO,0BAA0B,MAAM,EAAE,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,MAAc,EAAE,KAAoF;IAClI,MAAM,IAAI,GAAG,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;IACjC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC;IAChC,IAAI,KAAK,KAAK,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IAC7F,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,qBAAqB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,kBAAkB,CAAC;IAC9J,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACnD,MAAM,QAAQ,GAAG,KAAK,CAAC,cAAc,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACxD,MAAM,UAAU,GAAG,KAAK,CAAC,cAAc,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC;QACpH,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,CAAC;YACH,EAAE,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;YACvC,EAAE,CAAC,OAAO,CAAC,2HAA2H,CAAC;iBACpI,GAAG,CAAC,UAAU,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1H,CAAC;gBAAS,CAAC;YACT,EAAE,CAAC,KAAK,EAAE,CAAC;QACb,CAAC;QACD,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,KAAK,IAAI,EAAE,CAAC;IACpD,CAAC;YAAS,CAAC;QACT,KAAK,CAAC,KAAK,EAAE,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,wBAAwB,CAAC,MAAc,EAAE,UAAkB,EAAE,IAAmB,EAAE,GAAY;IAC5G,IAAI,IAA8B,CAAC;IACnC,IAAI,CAAC;QACH,IAAI,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC;IAChE,CAAC;IAAC,MAAM,CAAC;QACP,IAAI,GAAG,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,CAAC;QACH,EAAE,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC,oGAAoG,CAAC;aAC5H,GAAG,CAAC,UAAU,CAAwE,CAAC;QAC1F,oGAAoG;QACpG,IAAI,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC;eACtH,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC;QACvG,EAAE,CAAC,OAAO,CAAC,mDAAmD,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAChF,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACrC,EAAE,CAAC,OAAO,CAAC,iHAAiH,CAAC;aAC1H,GAAG,CAAC,UAAU,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACxH,OAAO,IAAI,CAAC;IACd,CAAC;YAAS,CAAC;QACT,EAAE,CAAC,KAAK,EAAE,CAAC;IACb,CAAC;AACH,CAAC;AAED,8GAA8G;AAC9G,MAAM,UAAU,iBAAiB,CAAC,MAAc,EAAE,QAAkC,EAAE;IACpF,IAAI,MAAM,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,CAAC;IACvD,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC5B,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB;wGACkG,CACnG,CAAC,GAAG,EAAwJ,CAAC;QAC9J,kGAAkG;QAClG,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9G,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACxB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO;YACpF,IAAI,EAAE,iBAAiB,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;SAC5H,CAAC,CAAC,CAAC;IACN,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,gBAAgB,CAAC,IAAI,CAAE,CAAW,CAAC,OAAO,CAAC;YAAE,OAAO,EAAE,CAAC;QAC3D,MAAM,CAAC,CAAC;IACV,CAAC;YAAS,CAAC;QACT,EAAE,CAAC,KAAK,EAAE,CAAC;IACb,CAAC;AACH,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,kBAAkB,CAAC,MAAc,EAAE,MAAc;IAC/D,IAAI,MAAM,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1D,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC5B,IAAI,CAAC;QACH,OAAO,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,0CAA0C,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAChG,CAAC;YAAS,CAAC;QACT,EAAE,CAAC,KAAK,EAAE,CAAC;IACb,CAAC;AACH,CAAC"}

package/dist/lib/co-change.d.ts

@@ -0,0 +1,54 @@
+/**
+ * Co-change rules: "a change that touches X must also touch Y, in the same PR".
+ *
+ * This is a question about WHICH FILES a change touches, so it has one right answer and is computed
+ * from the changed-file list, never judged. The LLM check cannot do it: it reads a slice of the diff,
+ * and a file a PR forgot to touch is not in a diff at all.
+ *
+ * The rule shape is shared with the import lane (README rules) and the hosted gateway. Do not rename
+ * its fields.
+ */
+export type CoChangeScope = 'same_pr';
+export interface CoChangeRule {
+    /** Globs. The rule applies when the change touches any of them. */
+    when_paths: string[];
+    /** Globs. The rule is met when the change touches any of them. */
+    require_paths: string[];
+    scope: CoChangeScope;
+}
+/** A rule with the decision it belongs to, as the local graph returns it. */
+export interface StoredCoChangeRule {
+    ruleId: string;
+    repo: string | null;
+    decisionId: string;
+    title: string;
+    summary: string;
+    url?: string;
+    rule: CoChangeRule;
+}
+export interface CoChangeViolation {
+    decisionId: string;
+    title: string;
+    summary: string;
+    url?: string;
+    /** The changed files that matched a when path. */
+    triggeredBy: string[];
+    /** The require globs, none of which matched a changed file. */
+    missing: string[];
+}
+/**
+ * Not a RegExp on purpose. `**a**a**a...**b` compiled to `.*a.*a.*a...b` backtracks exponentially
+ * (68s measured at eight repeats against sixty characters), and a rule is data a person or another
+ * lane wrote. This walks the tokens once, keeping the set of path positions still reachable, so the
+ * cost is tokens x path length whatever the glob looks like.
+ */
+export declare function pathMatches(glob: string, path: string): boolean;
+/**
+ * Validates a rule from outside (a flag, a stored row, another lane's writer). An empty list is
+ * refused rather than stored: empty require_paths could never be met, so the rule would flag every
+ * matching PR forever, and empty when_paths could never trigger.
+ */
+export declare function parseCoChangeRule(raw: unknown): CoChangeRule;
+/** Every rule the change violates: it touches a when path and touches none of the require paths. */
+export declare function evaluateCoChange(rules: StoredCoChangeRule[], changed: string[]): CoChangeViolation[];
+//# sourceMappingURL=co-change.d.ts.map

package/dist/lib/co-change.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"co-change.d.ts","sourceRoot":"","sources":["../../src/lib/co-change.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,MAAM,MAAM,aAAa,GAAG,SAAS,CAAC;AAEtC,MAAM,WAAW,YAAY;IAC3B,mEAAmE;IACnE,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,kEAAkE;IAClE,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,KAAK,EAAE,aAAa,CAAC;CACtB;AAED,6EAA6E;AAC7E,MAAM,WAAW,kBAAkB;IAAG,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,YAAY,CAAA;CAAE;AAEjK,MAAM,WAAW,iBAAiB;IAChC,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,kDAAkD;IAClD,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,+DAA+D;IAC/D,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAkCD;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CA0B/D;AAeD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,OAAO,GAAG,YAAY,CAK5D;AAED,oGAAoG;AACpG,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,kBAAkB,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,iBAAiB,EAAE,CASpG"}

package/dist/lib/co-change.js

@@ -0,0 +1,120 @@
+function normalise(p) {
+    return p.replace(/^(?:\.\/)+/, '').replace(/^\/+/, '');
+}
+const tokenCache = new Map();
+/** `*` and `?` stay inside one path segment; `**` crosses segments; a trailing `/` means everything under it. */
+function tokenise(glob) {
+    const cached = tokenCache.get(glob);
+    if (cached)
+        return cached;
+    let g = normalise(glob);
+    if (g.endsWith('/'))
+        g += '**';
+    const tokens = [];
+    for (let i = 0; i < g.length; i++) {
+        const c = g[i];
+        if (c === '*' && g[i + 1] === '*') {
+            if (g[i + 2] === '/') {
+                tokens.push({ kind: 'dirs' });
+                i += 2;
+            }
+            else {
+                tokens.push({ kind: 'globstar' });
+                i += 1;
+            }
+        }
+        else if (c === '*')
+            tokens.push({ kind: 'star' });
+        else if (c === '?')
+            tokens.push({ kind: 'one' });
+        else
+            tokens.push({ kind: 'lit', ch: c });
+    }
+    tokenCache.set(glob, tokens);
+    return tokens;
+}
+/**
+ * Not a RegExp on purpose. `**a**a**a...**b` compiled to `.*a.*a.*a...b` backtracks exponentially
+ * (68s measured at eight repeats against sixty characters), and a rule is data a person or another
+ * lane wrote. This walks the tokens once, keeping the set of path positions still reachable, so the
+ * cost is tokens x path length whatever the glob looks like.
+ */
+export function pathMatches(glob, path) {
+    const p = normalise(path);
+    const n = p.length;
+    let cur = new Uint8Array(n + 1);
+    cur[0] = 1;
+    for (const t of tokenise(glob)) {
+        const next = new Uint8Array(n + 1);
+        if (t.kind === 'lit') {
+            for (let j = 0; j < n; j++)
+                if (cur[j] && p[j] === t.ch)
+                    next[j + 1] = 1;
+        }
+        else if (t.kind === 'one') {
+            for (let j = 0; j < n; j++)
+                if (cur[j] && p[j] !== '/')
+                    next[j + 1] = 1;
+        }
+        else if (t.kind === 'star') {
+            for (let j = 0; j <= n; j++)
+                next[j] = cur[j] || (j > 0 && next[j - 1] && p[j - 1] !== '/') ? 1 : 0;
+        }
+        else if (t.kind === 'globstar') {
+            for (let j = 0; j <= n; j++)
+                next[j] = cur[j] || (j > 0 && next[j - 1]) ? 1 : 0;
+        }
+        else {
+            // zero directories, or any run of characters that ends in a slash
+            let seen = false; // some cur[k] with k <= j - 1
+            for (let j = 0; j <= n; j++) {
+                if (j > 0 && cur[j - 1])
+                    seen = true;
+                next[j] = cur[j] || (j > 0 && p[j - 1] === '/' && seen) ? 1 : 0;
+            }
+        }
+        cur = next;
+    }
+    return cur[n] === 1;
+}
+/** Syntax from fuller glob dialects. The matcher would treat each as a literal character, so the rule would never trigger or never be met. */
+const UNSUPPORTED_GLOB = /[{}[\]!\\]/;
+function pathList(raw, field) {
+    if (!Array.isArray(raw) || raw.length === 0)
+        throw new Error(`${field} must be a non-empty list of paths or globs`);
+    for (const p of raw) {
+        if (typeof p !== 'string' || p.trim() === '')
+            throw new Error(`${field} must contain only non-blank strings`);
+        const bad = UNSUPPORTED_GLOB.exec(p);
+        if (bad)
+            throw new Error(`${field}: "${p}" uses ${bad[0] === '\\' ? 'a backslash' : `"${bad[0]}"`}, which is not supported. Only *, ** and ? are: no {a,b} lists, [abc] classes, ! negation or escapes. Write one path per alternative.`);
+    }
+    return raw;
+}
+/**
+ * Validates a rule from outside (a flag, a stored row, another lane's writer). An empty list is
+ * refused rather than stored: empty require_paths could never be met, so the rule would flag every
+ * matching PR forever, and empty when_paths could never trigger.
+ */
+export function parseCoChangeRule(raw) {
+    if (typeof raw !== 'object' || raw === null)
+        throw new Error('A co-change rule must be an object');
+    const r = raw;
+    if (r['scope'] !== 'same_pr')
+        throw new Error("scope must be 'same_pr'");
+    return { when_paths: pathList(r['when_paths'], 'when_paths'), require_paths: pathList(r['require_paths'], 'require_paths'), scope: 'same_pr' };
+}
+/** Every rule the change violates: it touches a when path and touches none of the require paths. */
+export function evaluateCoChange(rules, changed) {
+    const violations = [];
+    for (const { decisionId, title, summary, url, rule } of rules) {
+        const triggeredBy = changed.filter((f) => rule.when_paths.some((g) => pathMatches(g, f)));
+        if (triggeredBy.length === 0)
+            continue;
+        if (changed.some((f) => rule.require_paths.some((g) => pathMatches(g, f))))
+            continue;
+        violations.push({ decisionId, title, summary, ...(url ? { url } : {}), triggeredBy, missing: [...rule.require_paths] });
+    }
+    return violations;
+}
+//# sourceMappingURL=co-change.js.map