rulebookguard 0.8.0 → 0.10.0

package/dist/index.d.mts

@@ -1,5 +1,6 @@
 type RuleStatus = "proposed" | "active" | "deprecated";
 type RuleLanguage = "en" | "es";
+type RuleOrigin = "authored" | "extracted";
 interface ParseOptions {
   /** Language of the issue messages; `en` when unset. */
   language?: RuleLanguage | undefined;
@@ -27,6 +28,14 @@ interface RuleFrontmatter {
   entities: string[];
   status: RuleStatus;
   supersedes?: string;
+  /** Rules this rule needs in force; `lint` rejects unknown ids and cycles. */
+  dependsOn?: string[];
+  /** Rules that cannot be active at the same time as this one. */
+  conflictsWith?: string[];
+  /** `extracted` when the rule was lifted from existing code rather than written from intent. */
+  origin?: RuleOrigin;
+  /** Where the rule shows in the code or tests, for example `src/x.ts:42`. */
+  evidence?: string[];
   anchors: string[];
   summary: string;
 }
@@ -65,18 +74,22 @@ interface RuleTag {
 interface RuleRegion extends RuleTag {
   endLine: number;
 }
+type RegionKind = "rule" | "implements";
 type RuleTagProblemCode = "unclosed-rule-tag" | "unmatched-endrule-tag";
-interface RuleTagProblem extends RuleTag {
-  code: RuleTagProblemCode;
+type ImplementsTagProblemCode = "unclosed-implements-tag" | "unmatched-endimplements-tag";
+interface RuleTagProblem<Code extends string = RuleTagProblemCode> extends RuleTag {
+  code: Code;
 }
-interface RuleRegions {
+interface RuleRegions<Code extends string = RuleTagProblemCode> {
   regions: RuleRegion[];
-  problems: RuleTagProblem[];
+  problems: RuleTagProblem<Code>[];
 }
 export declare const RULE_TAG_PATTERN: RegExp;
 export declare const RULE_MARKER_PATTERN: RegExp;
+export declare const IMPLEMENTS_MARKER_PATTERN: RegExp;
 export declare function findRuleTags(source: string): RuleTag[];
-export declare function findRuleRegions(source: string): RuleRegions;
+export declare function findRuleRegions(source: string, kind?: "rule"): RuleRegions;
+export declare function findRuleRegions(source: string, kind: "implements"): RuleRegions<ImplementsTagProblemCode>;
 export declare function rulesForPath(rules: RuleDoc[], path: string): RuleDoc[];
 export declare function toRepoPath(path: string): string;
 export declare function createGlobMatcher(globs: string[]): (path: string) => boolean;
@@ -109,8 +122,8 @@ interface TagLocation {
 interface TagRegion extends TagLocation {
   endLine: number;
 }
-interface TagProblem extends TagLocation {
-  code: RuleTagProblemCode;
+interface TagProblem<Code extends string = RuleTagProblemCode> extends TagLocation {
+  code: Code;
   id: string;
 }
 type TagIndex = Map<string, TagLocation[]>;
@@ -122,6 +135,11 @@ interface TagScan {
 }
 export declare function scanTestTags(root: string, testGlobs: string[], onGitFallback?: GitFallbackListener): Promise<TagIndex>;
 export declare function scanTestRegions(root: string, testGlobs: string[], onGitFallback?: GitFallbackListener): Promise<TagScan>;
+interface ImplementationScan {
+  regions: RegionIndex;
+  problems: TagProblem<ImplementsTagProblemCode>[];
+}
+export declare function scanImplementations(root: string, files: string[]): Promise<ImplementationScan>;
 interface ContextsJson {
   contexts: {
     context: string;
@@ -145,6 +163,11 @@ interface ShowJson {
     entities: string[];
     anchors: string[];
     supersedes: string | null;
+    dependsOn: string[];
+    conflictsWith: string[];
+    origin: RuleOrigin | null;
+    evidence: string[];
+    implementations: TagRegion[];
     file: string;
     body: string;
   };
@@ -153,8 +176,21 @@ interface ForJson {
   path: string;
   rules: (RuleSummaryJson & {
     file: string;
+    regions: LineSpanJson[];
+  })[];
+}
+interface ForChangedJson {
+  base: string;
+  files: string[];
+  rules: (RuleSummaryJson & {
+    file: string;
+    files: string[];
   })[];
 }
+interface LineSpanJson {
+  line: number;
+  endLine: number;
+}
 interface ImpactJson {
   id: string;
   files: string[];
@@ -184,4 +220,4 @@ interface LintOptions {
 export declare function lintCatalog(catalog: Catalog, scan?: TagScan, onGitFallback?: GitFallbackListener): Promise<LintFinding[]>;
 export declare function pendingImplementation(catalog: Catalog, scan: TagScan, base: string, changed: string[], lines: Map<string, LineSpan[]>): LintFinding[];
 export declare function formatFinding(finding: LintFinding): string;
-export type { Catalog, CatalogIssue, CatalogIssueCode, ContextDoc, ContextFrontmatter, ContextsJson, ForJson, FormatIssue, Frontmatter, GitFallbackListener, ImpactJson, LintFinding, LintJson, LintOptions, LintSeverity, ListJson, ParseOptions, RegionIndex, RuleDoc, RuleFrontmatter, RuleLanguage, RuleRegion, RuleRegions, RuleStatus, RuleSummaryJson, RuleTag, RuleTagProblem, RuleTagProblemCode, RulebookConfig, ShowJson, TagIndex, TagLocation, TagProblem, TagRegion, TagScan };
+export type { Catalog, CatalogIssue, CatalogIssueCode, ContextDoc, ContextFrontmatter, ContextsJson, ForChangedJson, ForJson, FormatIssue, Frontmatter, GitFallbackListener, ImpactJson, ImplementationScan, ImplementsTagProblemCode, LintFinding, LintJson, LintOptions, LintSeverity, ListJson, ParseOptions, RegionIndex, RegionKind, RuleDoc, RuleFrontmatter, RuleLanguage, RuleRegion, RuleRegions, RuleStatus, RuleSummaryJson, RuleTag, RuleTagProblem, RuleTagProblemCode, RulebookConfig, ShowJson, TagIndex, TagLocation, TagProblem, TagRegion, TagScan };

package/dist/index.mjs

@@ -1,3 +1,3 @@
-import { A as parseContext, C as findRuleRegions, D as parseRule, E as loadRule, I as FormatError, L as formatIssue, M as CONFIG_FILE_NAME, N as loadConfig, O as CONTEXT_FILE_NAME, P as parseConfig, S as RULE_TAG_PATTERN, T as isRuleId, _ as expandGlobs, d as scanTestRegions, f as scanTestTags, g as createGlobMatcher, h as relativeToRoot, i as pendingImplementation, j as splitFrontmatter, k as loadContext, m as loadCatalog, n as lintCatalog, p as findRulebookRoot, t as formatFinding, v as listRepoFiles, w as findRuleTags, x as RULE_MARKER_PATTERN, y as toRepoPath } from "./lint-DfibQDW3.mjs";
-import { t as rulesForPath } from "./anchors-C2j9c5MI.mjs";
-export { CONFIG_FILE_NAME, CONTEXT_FILE_NAME, FormatError, RULE_MARKER_PATTERN, RULE_TAG_PATTERN, createGlobMatcher, expandGlobs, findRuleRegions, findRuleTags, findRulebookRoot, formatFinding, formatIssue, isRuleId, lintCatalog, listRepoFiles, loadCatalog, loadConfig, loadContext, loadRule, parseConfig, parseContext, parseRule, pendingImplementation, relativeToRoot, rulesForPath, scanTestRegions, scanTestTags, splitFrontmatter, toRepoPath };
+import { A as loadRule, B as FormatError, D as findRuleRegions, E as RULE_TAG_PATTERN, F as splitFrontmatter, I as CONFIG_FILE_NAME, L as loadConfig, M as CONTEXT_FILE_NAME, N as loadContext, O as findRuleTags, P as parseContext, R as parseConfig, S as toRepoPath, T as RULE_MARKER_PATTERN, V as formatIssue, _ as loadCatalog, a as pendingImplementation, b as expandGlobs, g as findRulebookRoot, h as scanTestTags, j as parseRule, k as isRuleId, m as scanTestRegions, n as formatFinding, p as scanImplementations, r as lintCatalog, v as relativeToRoot, w as IMPLEMENTS_MARKER_PATTERN, x as listRepoFiles, y as createGlobMatcher } from "./lint-BPdk6XxH.mjs";
+import { t as rulesForPath } from "./anchors-jf2bKfyg.mjs";
+export { CONFIG_FILE_NAME, CONTEXT_FILE_NAME, FormatError, IMPLEMENTS_MARKER_PATTERN, RULE_MARKER_PATTERN, RULE_TAG_PATTERN, createGlobMatcher, expandGlobs, findRuleRegions, findRuleTags, findRulebookRoot, formatFinding, formatIssue, isRuleId, lintCatalog, listRepoFiles, loadCatalog, loadConfig, loadContext, loadRule, parseConfig, parseContext, parseRule, pendingImplementation, relativeToRoot, rulesForPath, scanImplementations, scanTestRegions, scanTestTags, splitFrontmatter, toRepoPath };

package/dist/{lint-DfibQDW3.mjs → lint-BPdk6XxH.mjs}

@@ -1,4 +1,4 @@
-import { access, lstat, readFile, readdir, realpath } from "node:fs/promises";
+import { access, lstat, readFile, readdir, realpath, stat } from "node:fs/promises";
 import { Ajv2020 } from "ajv/dist/2020.js";
 import { YAMLParseError, parse } from "yaml";
 import { dirname, isAbsolute, join, relative, resolve, sep } from "node:path";
@@ -115,6 +115,22 @@ var rule_schema_default = {
 			"deprecated"
 		] },
 		"supersedes": { "$ref": "#/$defs/ruleId" },
+		"dependsOn": {
+			"type": "array",
+			"items": { "$ref": "#/$defs/ruleId" }
+		},
+		"conflictsWith": {
+			"type": "array",
+			"items": { "$ref": "#/$defs/ruleId" }
+		},
+		"origin": { "enum": ["authored", "extracted"] },
+		"evidence": {
+			"type": "array",
+			"items": {
+				"type": "string",
+				"minLength": 1
+			}
+		},
 		"anchors": {
 			"type": "array",
 			"items": {
@@ -171,6 +187,8 @@ const MESSAGES = {
 		noContexts: "No contexts found. Create one with \"rulebookguard new <context>\".",
 		noRules: "No rules found.",
 		noActiveRulesFor: (path) => `No active rules anchored to ${path}.`,
+		noActiveRulesForChanged: (ref) => `No active rules anchored to the files changed since ${ref}.`,
+		lines: (spans) => `lines ${spans}`,
 		filesMatched: (count) => `Files matched by anchors (${count}):`,
 		testsTagging: (id, count) => `Tests tagging ${id} (${count}):`,
 		none: "(none)",
@@ -188,8 +206,35 @@ const MESSAGES = {
 		deprecatedRuleTag: (id) => `tags ${id}, which is deprecated`,
 		unclosedRuleTag: (id) => `@rule ${id} has no matching @endrule ${id}`,
 		unmatchedEndruleTag: (id) => `@endrule ${id} has no open @rule ${id} before it`,
+		unknownImplementsTag: (id) => `marks code as implementing ${id}, which does not exist`,
+		deprecatedImplementsTag: (id) => `marks code as implementing ${id}, which is deprecated`,
+		unclosedImplementsTag: (id) => `@implements ${id} has no matching @endimplements ${id}`,
+		unmatchedEndimplementsTag: (id) => `@endimplements ${id} has no open @implements ${id} before it`,
+		implementsOutsideAnchors: (id) => `marks code as implementing ${id}, but no anchor of ${id} matches this file`,
 		contextOverBudget: (context, count, budget) => `context "${context}" has ${count} rules, more than the contextBudget of ${budget}`,
 		pendingImplementation: (id, base) => `rule ${id} changed since ${base} but none of the tests tagging it changed`,
+		unknownRuleReference: (field, id) => `${field} names ${id}, which does not exist`,
+		selfRuleReference: (field) => `${field} names the rule itself`,
+		ruleReferenceHint: (field) => `fix the id, or remove it from ${field}`,
+		dependencyCycle: (cycle) => `dependsOn forms a cycle: ${cycle.join(" → ")}`,
+		dependencyCycleHint: "remove one dependsOn link of the cycle",
+		activeRuleConflict: (a, b) => `active rules ${a} and ${b} conflict`,
+		activeRuleConflictHint: "deprecate one of them or set it to proposed, or remove the conflictsWith entry",
+		noGherkinScenarios: "No rule has Gherkin scenarios.",
+		generatedFeature: (file) => `Generated by "rulebookguard export gherkin" from ${file}; edit the rule instead.`,
+		featureKeyword: "Feature",
+		noActiveRules: "No active rule to export.",
+		removedExport: (path) => `removed ${path}`,
+		handWrittenExport: (path, format) => `${path} was not generated by "rulebookguard export ${format}"; move it away and run the export again.`,
+		generatedRule: (format, file) => `Generated by "rulebookguard export ${format}" from ${file}; edit the rule instead.`,
+		generatedAgentsMd: "Generated by \"rulebookguard export agents-md\"; edit the rules instead.",
+		agentsMdHeading: "Business rules",
+		agentsMdIntro: "Before changing a file, follow the active rules anchored to it:",
+		agentsMdSeeFile: (file) => `See \`${file}\`.`,
+		agentsMdNoAnchors: "no anchors",
+		noAnchoredRules: "No active rule with anchors to export.",
+		unanchoredRuleSkipped: (id) => `${id} is active but has no anchors, so it was not exported.`,
+		invalidAgentsMdMarkers: (file, start, end) => `${file} must have one "${start}" followed by one "${end}", or neither; fix it and run the export again.`,
 		noIssues: "No issues found.",
 		hintLabel: "hint",
 		catalogHints: {
@@ -207,10 +252,15 @@ const MESSAGES = {
 		deprecatedRuleTagHint: (id, successor) => successor === void 0 ? `tag the rule that replaces ${id}, or remove the tag` : `tag ${successor}, which supersedes ${id}, instead`,
 		unclosedRuleTagHint: (id) => `add "@endrule ${id}" after the last line of the test, or close the inner regions first`,
 		unmatchedEndruleTagHint: (id) => `add "@rule ${id}" before the test, or remove the stray @endrule`,
+		unknownImplementsTagHint: "fix the id in the marker, or create the rule it refers to",
+		deprecatedImplementsTagHint: (id, successor) => successor === void 0 ? `mark the code with the rule that replaces ${id}, or remove the region` : `mark the code with ${successor}, which supersedes ${id}, instead`,
+		unclosedImplementsTagHint: (id) => `add "@endimplements ${id}" after the last line of the code that enforces the rule, or close the inner regions first`,
+		unmatchedEndimplementsTagHint: (id) => `add "@implements ${id}" before the code that enforces the rule, or remove the stray @endimplements`,
+		implementsOutsideAnchorsHint: (id) => `add an anchor to ${id} that matches this file, or move the region to a file it anchors`,
 		contextOverBudgetHint: "split the context into smaller ones, or raise contextBudget in rulebookguard.config.yaml",
 		pendingImplementationHint: (id) => `update or add a test inside an "@rule ${id}" … "@endrule ${id}" region that covers the changed rule`,
 		lintSummary: (errors, warnings) => `${errors} ${errors === 1 ? "error" : "errors"}, ${warnings} ${warnings === 1 ? "warning" : "warnings"}`,
-		needsWorkTree: (root) => `lint --base needs a git work tree, but ${root} is not inside one.`,
+		needsWorkTree: (command, root) => `${command} needs a git work tree, but ${root} is not inside one.`,
 		unknownRef: (ref) => `Unknown git ref "${ref}".`,
 		cannotListChanged: (ref, reason) => `Cannot list the files changed since "${ref}": ${reason}`
 	},
@@ -245,6 +295,8 @@ const MESSAGES = {
 		noContexts: "No se encontraron contextos. Crea uno con \"rulebookguard new <contexto>\".",
 		noRules: "No se encontraron reglas.",
 		noActiveRulesFor: (path) => `No hay reglas activas ancladas a ${path}.`,
+		noActiveRulesForChanged: (ref) => `No hay reglas activas ancladas a los archivos cambiados desde ${ref}.`,
+		lines: (spans) => `líneas ${spans}`,
 		filesMatched: (count) => `Archivos que cubren los anchors (${count}):`,
 		testsTagging: (id, count) => `Tests que etiquetan ${id} (${count}):`,
 		none: "(ninguno)",
@@ -262,8 +314,35 @@ const MESSAGES = {
 		deprecatedRuleTag: (id) => `etiqueta ${id}, que está deprecada`,
 		unclosedRuleTag: (id) => `@rule ${id} no tiene su @endrule ${id}`,
 		unmatchedEndruleTag: (id) => `@endrule ${id} no tiene un @rule ${id} abierto antes`,
+		unknownImplementsTag: (id) => `marca código como implementación de ${id}, que no existe`,
+		deprecatedImplementsTag: (id) => `marca código como implementación de ${id}, que está deprecada`,
+		unclosedImplementsTag: (id) => `@implements ${id} no tiene su @endimplements ${id}`,
+		unmatchedEndimplementsTag: (id) => `@endimplements ${id} no tiene un @implements ${id} abierto antes`,
+		implementsOutsideAnchors: (id) => `marca código como implementación de ${id}, pero ningún anchor de ${id} coincide con este archivo`,
 		contextOverBudget: (context, count, budget) => `el contexto "${context}" tiene ${count} reglas, más que el contextBudget de ${budget}`,
 		pendingImplementation: (id, base) => `la regla ${id} cambió desde ${base} pero no cambió ninguno de los tests que la etiquetan`,
+		unknownRuleReference: (field, id) => `${field} nombra a ${id}, que no existe`,
+		selfRuleReference: (field) => `${field} nombra a la propia regla`,
+		ruleReferenceHint: (field) => `corrige el id o quítalo de ${field}`,
+		dependencyCycle: (cycle) => `dependsOn forma un ciclo: ${cycle.join(" → ")}`,
+		dependencyCycleHint: "quita un vínculo dependsOn del ciclo",
+		activeRuleConflict: (a, b) => `las reglas activas ${a} y ${b} están en conflicto`,
+		activeRuleConflictHint: "depreca una de ellas o déjala en proposed, o quita la entrada de conflictsWith",
+		noGherkinScenarios: "Ninguna regla tiene escenarios Gherkin.",
+		generatedFeature: (file) => `Generado por "rulebookguard export gherkin" desde ${file}; edita la regla en su lugar.`,
+		featureKeyword: "Característica",
+		noActiveRules: "Ninguna regla activa para exportar.",
+		removedExport: (path) => `eliminado ${path}`,
+		handWrittenExport: (path, format) => `${path} no fue generado por "rulebookguard export ${format}"; muévelo y vuelve a exportar.`,
+		generatedRule: (format, file) => `Generado por "rulebookguard export ${format}" desde ${file}; edita la regla en su lugar.`,
+		generatedAgentsMd: "Generado por \"rulebookguard export agents-md\"; edita las reglas en su lugar.",
+		agentsMdHeading: "Reglas de negocio",
+		agentsMdIntro: "Antes de cambiar un archivo, sigue las reglas activas ancladas a él:",
+		agentsMdSeeFile: (file) => `Ver \`${file}\`.`,
+		agentsMdNoAnchors: "sin anchors",
+		noAnchoredRules: "Ninguna regla activa con anchors para exportar.",
+		unanchoredRuleSkipped: (id) => `${id} está activa pero no tiene anchors, así que no se exportó.`,
+		invalidAgentsMdMarkers: (file, start, end) => `${file} debe tener un "${start}" seguido de un "${end}", o ninguno; corrígelo y vuelve a exportar.`,
 		noIssues: "No se encontraron problemas.",
 		hintLabel: "sugerencia",
 		catalogHints: {
@@ -281,10 +360,15 @@ const MESSAGES = {
 		deprecatedRuleTagHint: (id, successor) => successor === void 0 ? `etiqueta la regla que reemplaza a ${id} o quita la etiqueta` : `etiqueta ${successor}, que reemplaza a ${id}`,
 		unclosedRuleTagHint: (id) => `agrega "@endrule ${id}" después de la última línea del test, o cierra antes las regiones internas`,
 		unmatchedEndruleTagHint: (id) => `agrega "@rule ${id}" antes del test, o quita el @endrule que sobra`,
+		unknownImplementsTagHint: "corrige el id del marcador o crea la regla a la que se refiere",
+		deprecatedImplementsTagHint: (id, successor) => successor === void 0 ? `marca el código con la regla que reemplaza a ${id} o quita la región` : `marca el código con ${successor}, que reemplaza a ${id}`,
+		unclosedImplementsTagHint: (id) => `agrega "@endimplements ${id}" después de la última línea del código que cumple la regla, o cierra antes las regiones internas`,
+		unmatchedEndimplementsTagHint: (id) => `agrega "@implements ${id}" antes del código que cumple la regla, o quita el @endimplements que sobra`,
+		implementsOutsideAnchorsHint: (id) => `agrega a ${id} un anchor que coincida con este archivo, o mueve la región a un archivo que ancle`,
 		contextOverBudgetHint: "divide el contexto en otros más chicos o sube contextBudget en rulebookguard.config.yaml",
 		pendingImplementationHint: (id) => `actualiza o agrega un test dentro de una región "@rule ${id}" … "@endrule ${id}" que cubra el cambio de la regla`,
 		lintSummary: (errors, warnings) => `${errors} ${errors === 1 ? "error" : "errores"}, ${warnings} ${warnings === 1 ? "aviso" : "avisos"}`,
-		needsWorkTree: (root) => `lint --base necesita un work tree de git, pero ${root} no está en uno.`,
+		needsWorkTree: (command, root) => `${command} necesita un work tree de git, pero ${root} no está en uno.`,
 		unknownRef: (ref) => `La referencia de git "${ref}" no existe.`,
 		cannotListChanged: (ref, reason) => `No se pudieron listar los archivos cambiados desde "${ref}": ${reason}`
 	}
@@ -429,10 +513,16 @@ async function loadRule(path, options) {
 }
 // src/format/tag.ts
 const RULE_TAG_PATTERN = /(?<![\w@.-])@rule\s+(R-[A-Z][A-Z0-9]*-[0-9]{3})(?![\w-])/g;
-const RULE_MARKER_PATTERN = /(?<![\w@.-])@(rule|endrule)\s+(R-[A-Z][A-Z0-9]*-[0-9]{3})(?![\w-])/g;
+const RULE_MARKER_PATTERN = markerPattern("rule");
+const IMPLEMENTS_MARKER_PATTERN = markerPattern("implements");
+function markerPattern(kind) {
+	return new RegExp(`(?<![\\w@.-])@(${kind}|end${kind})\\s+(R-[A-Z][A-Z0-9]*-[0-9]{3})(?![\\w-])`, "g");
+}
+const COMMENT_LINE = /^\s*(?:\/\/|\/\*|\*|#|--|;|<!--|%)/;
 function findRuleTags(source) {
 	const tags = [];
 	source.split(/\r?\n/).forEach((text, index) => {
+		if (!COMMENT_LINE.test(text)) return;
 		for (const match of text.matchAll(RULE_TAG_PATTERN)) tags.push({
 			id: match[1],
 			line: index + 1
@@ -440,15 +530,17 @@ function findRuleTags(source) {
 	});
 	return tags;
 }
-function findRuleRegions(source) {
+function findRuleRegions(source, kind = "rule") {
+	const pattern = kind === "rule" ? RULE_MARKER_PATTERN : IMPLEMENTS_MARKER_PATTERN;
 	const regions = [];
 	const problems = [];
 	const open = [];
 	source.split(/\r?\n/).forEach((text, index) => {
+		if (!COMMENT_LINE.test(text)) return;
 		const line = index + 1;
-		for (const match of text.matchAll(RULE_MARKER_PATTERN)) {
+		for (const match of text.matchAll(pattern)) {
 			const id = match[2];
-			if (match[1] === "rule") {
+			if (match[1] === kind) {
 				open.push({
 					id,
 					line
@@ -458,14 +550,14 @@ function findRuleRegions(source) {
 			const at = open.map((tag) => tag.id).lastIndexOf(id);
 			if (at === -1) {
 				problems.push({
-					code: "unmatched-endrule-tag",
+					code: `unmatched-end${kind}-tag`,
 					id,
 					line
 				});
 				continue;
 			}
 			for (const inner of open.splice(at + 1)) problems.push({
-				code: "unclosed-rule-tag",
+				code: `unclosed-${kind}-tag`,
 				...inner
 			});
 			const start = open.pop();
@@ -476,7 +568,7 @@ function findRuleRegions(source) {
 		}
 	});
 	for (const tag of open) problems.push({
-		code: "unclosed-rule-tag",
+		code: `unclosed-${kind}-tag`,
 		...tag
 	});
 	problems.sort((a, b) => a.line - b.line);
@@ -523,10 +615,11 @@ async function isCommitRef(cwd, ref) {
 		return false;
 	}
 }
-async function changedSince(cwd, ref) {
+async function changedSince(cwd, ref, { bothRenamePaths = false } = {}) {
 	const changed = await gitPaths(cwd, "diff", [
 		"--name-only",
 		"--relative",
+		...bothRenamePaths ? ["--no-renames"] : [],
 		ref,
 		"--"
 	]);
@@ -847,6 +940,30 @@ async function scanTestRegions(root, testGlobs, onGitFallback) {
 		problems
 	};
 }
+async function scanImplementations(root, files) {
+	const regions = /* @__PURE__ */ new Map();
+	const problems = [];
+	const realRoot = await realpath(root);
+	for (const file of files) {
+		const path = join(root, file);
+		if (!await resolvesInside(path, realRoot)) continue;
+		if (!(await stat(path)).isFile()) continue;
+		const found = findRuleRegions(await readFile(path, "utf8"), "implements");
+		for (const { id, line, endLine } of found.regions) push(regions, id, {
+			file,
+			line,
+			endLine
+		});
+		problems.push(...found.problems.map((problem) => ({
+			...problem,
+			file
+		})));
+	}
+	return {
+		regions: sortById(regions),
+		problems
+	};
+}
 function push(index, id, value) {
 	const values = index.get(id) ?? [];
 	values.push(value);
@@ -885,6 +1002,10 @@ function writeJson(io, value) {
 function writeLines(io, lines) {
 	io.stdout(lines.map((line) => `${line}\n`).join(""));
 }
+function shownPath(cwd, file) {
+	const fromCwd = relative(cwd, file);
+	return fromCwd.startsWith("..") || isAbsolute(fromCwd) ? file : toRepoPath(fromCwd);
+}
 function gitFallbackWarning(io, language) {
 	const text = messages(language);
 	let warned = false;
@@ -917,7 +1038,7 @@ async function lintCommand(io, options) {
 		}, messages("en"))), options.json, messages("en"));
 	}
 	const text = messages(catalog.config.language);
-	const changed = options.base === void 0 ? void 0 : await changedFiles(catalog.root, options.base, text);
+	const changed = options.base === void 0 ? void 0 : await changedFiles(catalog.root, options.base, text, "lint --base");
 	const warn = gitFallbackWarning(io, catalog.config.language);
 	const scan = await scanTestRegions(catalog.root, catalog.config.testGlobs, warn);
 	const findings = await lintCatalog(catalog, scan, warn);
@@ -973,6 +1094,8 @@ async function lintCatalog(catalog, scan, onGitFallback) {
 			line
 		});
 	}
+	findings.push(...await implementations(catalog, files, invalid, successors, text));
+	findings.push(...ruleRelations(catalog, invalid, text));
 	const budget = catalog.config.contextBudget;
 	for (const context of catalog.contexts) {
 		const count = catalog.rules.filter((rule) => rule.context === context.context).length;
@@ -986,6 +1109,76 @@ async function lintCatalog(catalog, scan, onGitFallback) {
 	}
 	return findings;
 }
+async function implementations(catalog, files, invalid, successors, text) {
+	const anchored = createGlobMatcher(catalog.rules.flatMap((rule) => rule.anchors));
+	const scan = await scanImplementations(catalog.root, files.filter(anchored));
+	const byId = new Map(catalog.rules.map((rule) => [rule.id, rule]));
+	const findings = scan.problems.map(({ code, id, file, line }) => ({
+		...code === "unclosed-implements-tag" ? error(code, file, text.unclosedImplementsTag(id), text.unclosedImplementsTagHint(id)) : error(code, file, text.unmatchedEndimplementsTag(id), text.unmatchedEndimplementsTagHint(id)),
+		line
+	}));
+	for (const [id, regions] of scan.regions) {
+		const rule = byId.get(id);
+		if (rule === void 0 && invalid.has(id)) continue;
+		for (const { file, line } of regions) if (rule === void 0) findings.push({
+			...error("unknown-implements-tag", file, text.unknownImplementsTag(id), text.unknownImplementsTagHint),
+			line
+		});
+		else if (rule.status === "deprecated") findings.push({
+			...error("deprecated-implements-tag", file, text.deprecatedImplementsTag(id), text.deprecatedImplementsTagHint(id, successors.get(id))),
+			line
+		});
+		else if (!createGlobMatcher(rule.anchors)(file)) findings.push({
+			...error("implements-outside-anchors", file, text.implementsOutsideAnchors(id), text.implementsOutsideAnchorsHint(id)),
+			line
+		});
+	}
+	return findings;
+}
+const RELATION_FIELDS = ["dependsOn", "conflictsWith"];
+function ruleRelations(catalog, invalid, text) {
+	const byId = new Map(catalog.rules.map((rule) => [rule.id, rule]));
+	const findings = [];
+	for (const rule of catalog.rules) for (const field of RELATION_FIELDS) for (const id of rule[field] ?? []) if (id === rule.id) findings.push(error("invalid-rule-reference", rule.file, text.selfRuleReference(field), text.ruleReferenceHint(field)));
+	else if (!byId.has(id) && !invalid.has(id)) findings.push(error("invalid-rule-reference", rule.file, text.unknownRuleReference(field, id), text.ruleReferenceHint(field)));
+	for (const cycle of dependencyCycles(byId)) findings.push(error("dependency-cycle", byId.get(cycle[0]).file, text.dependencyCycle([...cycle, cycle[0]]), text.dependencyCycleHint));
+	const pairs = /* @__PURE__ */ new Set();
+	for (const rule of catalog.rules) {
+		if (rule.status !== "active") continue;
+		for (const id of rule.conflictsWith ?? []) {
+			if (id === rule.id || byId.get(id)?.status !== "active") continue;
+			const [first, second] = [rule.id, id].sort(compare);
+			const key = `${first} ${second}`;
+			if (pairs.has(key)) continue;
+			pairs.add(key);
+			findings.push(error("active-rule-conflict", byId.get(first).file, text.activeRuleConflict(first, second), text.activeRuleConflictHint));
+		}
+	}
+	return findings;
+}
+function dependencyCycles(byId) {
+	const state = /* @__PURE__ */ new Map();
+	const stack = [];
+	const cycles = /* @__PURE__ */ new Map();
+	const visit = (id) => {
+		state.set(id, "visiting");
+		stack.push(id);
+		for (const next of byId.get(id)?.dependsOn ?? []) {
+			if (next === id || !byId.has(next)) continue;
+			const seen = state.get(next);
+			if (seen === "visiting") {
+				const cycle = stack.slice(stack.indexOf(next));
+				const start = cycle.indexOf([...cycle].sort(compare)[0]);
+				const rotated = [...cycle.slice(start), ...cycle.slice(0, start)];
+				cycles.set(rotated.join(" "), rotated);
+			} else if (seen === void 0) visit(next);
+		}
+		stack.pop();
+		state.set(id, "done");
+	};
+	for (const id of [...byId.keys()].sort(compare)) if (!state.has(id)) visit(id);
+	return [...cycles.values()];
+}
 function pendingImplementation(catalog, scan, base, changed, lines) {
 	const text = messages(catalog.config.language);
 	return changedActiveRules(catalog, scan, changed).filter((rule) => !(scan.regions.get(rule.id) ?? []).some((region) => (lines.get(region.file) ?? []).some(([start, end]) => start <= region.endLine && end >= region.line))).map((rule) => error("pending-implementation", rule.file, text.pendingImplementation(rule.id, base), text.pendingImplementationHint(rule.id)));
@@ -1011,11 +1204,11 @@ async function testLineChanges(catalog, scan, base, changed, text) {
 	}
 	return lines;
 }
-async function changedFiles(root, base, text) {
-	if (!await isInsideWorkTree(root)) throw new CliError(text.needsWorkTree(root));
+async function changedFiles(root, base, text, command, options) {
+	if (!await isInsideWorkTree(root)) throw new CliError(text.needsWorkTree(command, root));
 	if (!await isCommitRef(root, base)) throw new CliError(text.unknownRef(base));
 	try {
-		return await changedSince(root, base);
+		return await changedSince(root, base, options);
 	} catch (error) {
 		throw new CliError(text.cannotListChanged(base, gitFailureReason(error)));
 	}
@@ -1039,4 +1232,4 @@ function sortFindings(findings) {
 function compare(a, b) {
 	return a < b ? -1 : a > b ? 1 : 0;
 }
-export { parseContext as A, findRuleRegions as C, parseRule as D, loadRule as E, messages as F, FormatError as I, formatIssue as L, CONFIG_FILE_NAME as M, loadConfig as N, CONTEXT_FILE_NAME as O, parseConfig as P, RULE_TAG_PATTERN as S, isRuleId as T, expandGlobs as _, CliError as a, runGit as b, openCatalog as c, scanTestRegions as d, scanTestTags as f, createGlobMatcher as g, relativeToRoot as h, pendingImplementation as i, splitFrontmatter as j, loadContext as k, writeJson as l, loadCatalog as m, lintCatalog as n, findRule as o, findRulebookRoot as p, lintCommand as r, gitFallbackWarning as s, formatFinding as t, writeLines as u, listRepoFiles as v, findRuleTags as w, RULE_MARKER_PATTERN as x, toRepoPath as y };
+export { loadRule as A, FormatError as B, runGit as C, findRuleRegions as D, RULE_TAG_PATTERN as E, splitFrontmatter as F, CONFIG_FILE_NAME as I, loadConfig as L, CONTEXT_FILE_NAME as M, loadContext as N, findRuleTags as O, parseContext as P, parseConfig as R, toRepoPath as S, RULE_MARKER_PATTERN as T, formatIssue as V, loadCatalog as _, pendingImplementation as a, expandGlobs as b, gitFallbackWarning as c, writeJson as d, writeLines as f, findRulebookRoot as g, scanTestTags as h, lintCommand as i, parseRule as j, isRuleId as k, openCatalog as l, scanTestRegions as m, formatFinding as n, CliError as o, scanImplementations as p, lintCatalog as r, findRule as s, changedFiles as t, shownPath as u, relativeToRoot as v, IMPLEMENTS_MARKER_PATTERN as w, listRepoFiles as x, createGlobMatcher as y, messages as z };

package/dist/{site-DmY5YVte.mjs → site-B7g8lbjx.mjs}

@@ -1,4 +1,4 @@
-import { _ as expandGlobs, a as CliError, b as runGit, c as openCatalog, d as scanTestRegions, n as lintCatalog, s as gitFallbackWarning, u as writeLines } from "./lint-DfibQDW3.mjs";
+import { C as runGit, S as toRepoPath, b as expandGlobs, c as gitFallbackWarning, f as writeLines, l as openCatalog, m as scanTestRegions, o as CliError, r as lintCatalog } from "./lint-BPdk6XxH.mjs";
 import { createRequire } from "node:module";
 import { readFile, readdir, stat, writeFile } from "node:fs/promises";
 import { dirname, extname, isAbsolute, join, relative, resolve, sep } from "node:path";
@@ -84,6 +84,9 @@ const TEXT = {
 		entities: "Entities",
 		supersedes: "Supersedes",
 		supersededBy: "Superseded by",
+		origin: "Origin",
+		notValidated: "not validated by the business yet",
+		evidence: "Evidence",
 		ruleFile: "Rule file",
 		ruleText: "Rule",
 		anchors: "Anchors",
@@ -123,6 +126,9 @@ const TEXT = {
 		entities: "Entidades",
 		supersedes: "Reemplaza a",
 		supersededBy: "Reemplazada por",
+		origin: "Origen",
+		notValidated: "sin validar todavía por el negocio",
+		evidence: "Evidencia",
 		ruleFile: "Archivo de la regla",
 		ruleText: "Regla",
 		anchors: "Anclas",
@@ -231,6 +237,8 @@ function rulePage({ rule, files, tests, history, supersedes, supersededBy }, tex
 	];
 	if (supersedes.length > 0) rows.push([text.supersedes, supersedes.map(ruleLink).join(" → ")]);
 	if (supersededBy !== void 0) rows.push([text.supersededBy, ruleLink(supersededBy)]);
+	if (rule.origin !== void 0) rows.push([text.origin, rule.origin === "extracted" && rule.status === "proposed" ? `${rule.origin}, ${text.notValidated}` : rule.origin]);
+	const evidence = rule.evidence ?? [];
 	return page(rule.id, rule.summary, [
 		`**${cell(rule.summary)}**`,
 		"",
@@ -242,6 +250,12 @@ function rulePage({ rule, files, tests, history, supersedes, supersededBy }, tex
 		"",
 		demote(rule.body.trim()),
 		"",
+		...evidence.length === 0 ? [] : [
+			`## ${text.evidence}`,
+			"",
+			...list(evidence.map((item) => `\`${item}\``), text.none),
+			""
+		],
 		`## ${text.anchors}`,
 		"",
 		...list(rule.anchors.map((anchor) => `\`${anchor}\``), text.none),
@@ -403,7 +417,7 @@ async function siteCommand(io, options, until = untilInterrupted()) {
 	const catalog = await openCatalog(io);
 	const out = resolve(io.cwd, options.out ?? "site");
 	const fromCwd = relative(io.cwd, out);
-	const shown = fromCwd === "" ? "." : fromCwd.startsWith("..") || isAbsolute(fromCwd) ? out : fromCwd;
+	const shown = fromCwd === "" ? "." : fromCwd.startsWith("..") || isAbsolute(fromCwd) ? out : toRepoPath(fromCwd);
 	await assertReplaceable(out, shown);
 	const site = await importSitePackage([catalog.root, dirname(fileURLToPath(import.meta.url))]);
 	const language = catalog.config.language ?? "en";

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "rulebookguard",
-  "version": "0.8.0",
+  "version": "0.10.0",
   "description": "Keep business rules as the single source of truth, bound to code and tests.",
   "homepage": "https://github.com/JuanCJR/rulebookguard#readme",
   "bugs": {
@@ -36,14 +36,14 @@
   },
   "devDependencies": {
     "@modelcontextprotocol/client": "2.3.1",
-    "@rulebookguard/site": "0.8.0",
+    "@rulebookguard/site": "0.10.0",
     "@types/node": "^20.19.43",
     "@types/picomatch": "^4.0.3",
     "typescript": "^7.0.2",
     "vite-plus": "^1.4.0"
   },
   "peerDependencies": {
-    "@rulebookguard/site": "^0.8.0"
+    "@rulebookguard/site": "^0.10.0"
   },
   "peerDependenciesMeta": {
     "@rulebookguard/site": {

package/schemas/v1/rule.schema.json

@@ -12,6 +12,10 @@
     "entities": { "type": "array", "items": { "type": "string", "minLength": 1 } },
     "status": { "enum": ["proposed", "active", "deprecated"] },
     "supersedes": { "$ref": "#/$defs/ruleId" },
+    "dependsOn": { "type": "array", "items": { "$ref": "#/$defs/ruleId" } },
+    "conflictsWith": { "type": "array", "items": { "$ref": "#/$defs/ruleId" } },
+    "origin": { "enum": ["authored", "extracted"] },
+    "evidence": { "type": "array", "items": { "type": "string", "minLength": 1 } },
     "anchors": { "type": "array", "items": { "type": "string", "minLength": 1 } },
     "summary": { "type": "string", "minLength": 1, "pattern": "^[^\\r\\n]*$" }
   },