rulebookguard 0.7.0 → 0.9.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,13 @@ interface ForJson {
   path: string;
   rules: (RuleSummaryJson & {
     file: string;
+    regions: LineSpanJson[];
   })[];
 }
+interface LineSpanJson {
+  line: number;
+  endLine: number;
+}
 interface ImpactJson {
   id: string;
   files: string[];
@@ -184,4 +212,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, 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 parseRule, B as formatIssue, C as IMPLEMENTS_MARKER_PATTERN, D as findRuleTags, E as findRuleRegions, F as CONFIG_FILE_NAME, I as loadConfig, L as parseConfig, M as loadContext, N as parseContext, O as isRuleId, P as splitFrontmatter, T as RULE_TAG_PATTERN, _ as relativeToRoot, b as listRepoFiles, f as scanImplementations, g as loadCatalog, h as findRulebookRoot, i as pendingImplementation, j as CONTEXT_FILE_NAME, k as loadRule, m as scanTestTags, n as lintCatalog, p as scanTestRegions, t as formatFinding, v as createGlobMatcher, w as RULE_MARKER_PATTERN, x as toRepoPath, y as expandGlobs, z as FormatError } from "./lint-CaJnNLmU.mjs";
+import { t as rulesForPath } from "./anchors-DQwbqb7w.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-CaJnNLmU.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,7 @@ const MESSAGES = {
 		noContexts: "No contexts found. Create one with \"rulebookguard new <context>\".",
 		noRules: "No rules found.",
 		noActiveRulesFor: (path) => `No active rules anchored to ${path}.`,
+		lines: (spans) => `lines ${spans}`,
 		filesMatched: (count) => `Files matched by anchors (${count}):`,
 		testsTagging: (id, count) => `Tests tagging ${id} (${count}):`,
 		none: "(none)",
@@ -188,8 +205,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,6 +251,11 @@ 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"}`,
@@ -245,6 +294,7 @@ 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}.`,
+		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 +312,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,6 +358,11 @@ 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"}`,
@@ -429,10 +511,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 +528,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 +548,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 +566,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);
@@ -847,6 +937,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 +999,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 : fromCwd;
+}
 function gitFallbackWarning(io, language) {
 	const text = messages(language);
 	let warned = false;
@@ -973,6 +1091,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 +1106,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)));
@@ -1039,4 +1229,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 { parseRule as A, formatIssue as B, IMPLEMENTS_MARKER_PATTERN as C, findRuleTags as D, findRuleRegions as E, CONFIG_FILE_NAME as F, loadConfig as I, parseConfig as L, loadContext as M, parseContext as N, isRuleId as O, splitFrontmatter as P, messages as R, runGit as S, RULE_TAG_PATTERN as T, relativeToRoot as _, CliError as a, listRepoFiles as b, openCatalog as c, writeLines as d, scanImplementations as f, loadCatalog as g, findRulebookRoot as h, pendingImplementation as i, CONTEXT_FILE_NAME as j, loadRule as k, shownPath as l, scanTestTags as m, lintCatalog as n, findRule as o, scanTestRegions as p, lintCommand as r, gitFallbackWarning as s, formatFinding as t, writeJson as u, createGlobMatcher as v, RULE_MARKER_PATTERN as w, toRepoPath as x, expandGlobs as y, FormatError as z };

package/dist/{site-DmY5YVte.mjs → site-BTCwdt_H.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 { S as runGit, a as CliError, c as openCatalog, d as writeLines, n as lintCatalog, p as scanTestRegions, s as gitFallbackWarning, y as expandGlobs } from "./lint-CaJnNLmU.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),

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "rulebookguard",
-  "version": "0.7.0",
+  "version": "0.9.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.7.0",
+    "@rulebookguard/site": "0.9.0",
     "@types/node": "^20.19.43",
     "@types/picomatch": "^4.0.3",
     "typescript": "^7.0.2",
     "vite-plus": "^1.4.0"
   },
   "peerDependencies": {
-    "@rulebookguard/site": "^0.7.0"
+    "@rulebookguard/site": "^0.9.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]*$" }
   },