kibi-cli 2.32.0 → 2.36.0

package/dist/traceability/staged-diagnostics.js

@@ -1,10 +1,4 @@
-import * as path from "node:path";
 import { KIBI_STAGED_IMPACT_EVIDENCE_DOC, KIBI_SYMBOLS_MANIFEST_PATH, getBehaviorSourcePaths, getMissingBehaviorSourcePaths, hasOverrideRationale, } from "./evidence-model.js";
-function deriveCoordinatesPath(symbolsManifestPath) {
-    return path
-        .join(path.dirname(symbolsManifestPath), "symbol-coordinates.yaml")
-        .replace(/\\/g, "/");
-}
 function formatFileList(paths) {
     return paths.join(", ");
 }
@@ -32,7 +26,7 @@ function manifestDetailLines(detail, symbolsManifestPath) {
     }
     return lines;
 }
-function createMissingEvidenceDiagnostic(paths, symbolsManifestPath, coordinatesPath, fileDetails = []) {
+function createMissingEvidenceDiagnostic(paths, symbolsManifestPath, fileDetails = []) {
     const uncoveredByPath = new Map(fileDetails
         .filter((detail) => detail.missing.length > 0)
         .map((detail) => [detail.path, detail]));
@@ -55,7 +49,7 @@ function createMissingEvidenceDiagnostic(paths, symbolsManifestPath, coordinates
         files: [...paths],
         docs: [KIBI_STAGED_IMPACT_EVIDENCE_DOC],
         message: `Behavior-changing staged files are missing staged Kibi impact evidence (see ${KIBI_STAGED_IMPACT_EVIDENCE_DOC}): ${formatFileList(paths)}`,
-        suggestion: `Query Kibi via MCP before deciding. MCP writes update KB state but do not stage tracked evidence; also stage requirement/scenario/test/fact/symbol markdown, authored ${symbolsManifestPath} metadata, or refreshed ${coordinatesPath}. Re-run kibi check --staged after staging tracked evidence.${suggestionSuffix}`,
+        suggestion: `Query Kibi via MCP before deciding. MCP writes update KB state but do not stage tracked evidence; also stage requirement/scenario/test/fact/symbol markdown or authored ${symbolsManifestPath} metadata. Re-run kibi check --staged after staging tracked evidence.${suggestionSuffix}`,
         ...(details.length > 0
             ? {
                 details,
@@ -69,21 +63,33 @@ function createMissingEvidenceDiagnostic(paths, symbolsManifestPath, coordinates
             : {}),
     };
 }
-function createSymbolsManifestStaleDiagnostic(paths, symbolsManifestPath, coordinatesPath, fileDetails = []) {
+function createSymbolsManifestStaleDiagnostic(paths, symbolsManifestPath, fileDetails = []) {
     const hasMissingSymbols = fileDetails.some((detail) => detail.missing.length > 0);
+    const hasExtraSymbols = fileDetails.some((detail) => detail.extra.length > 0);
     const details = fileDetails.flatMap((detail) => manifestDetailLines(detail, symbolsManifestPath));
-    const refreshSteps = `kibi sync --refresh-symbol-coordinates && git add ${coordinatesPath} ${symbolsManifestPath}, then re-run kibi check --staged.`;
-    const suggestion = hasMissingSymbols
-        ? `Author ${symbolsManifestPath} entries for the uncovered symbols (kibi upsert, with implements/covered_by links), then run ${refreshSteps}`
-        : `Run ${refreshSteps}`;
+    const steps = [
+        ...(hasMissingSymbols
+            ? [
+                `author ${symbolsManifestPath} entries for the uncovered symbols (kibi upsert, with implements/covered_by links)`,
+            ]
+            : []),
+        ...(hasExtraSymbols
+            ? [
+                `re-point or remove (kibi delete) the ${symbolsManifestPath} entries whose declaration is gone`,
+            ]
+            : []),
+    ];
+    const suggestion = `${steps.length > 0
+        ? `${steps.join(", and ").replace(/^./, (first) => first.toUpperCase())}. `
+        : ""}Stage ${symbolsManifestPath} with the behavior edit, then re-run kibi check --staged.`;
     return {
         id: "symbols_manifest_stale",
         severity: "error",
         blocking: true,
         category: "symbol",
-        files: [coordinatesPath, ...paths],
+        files: [symbolsManifestPath, ...paths],
         docs: [KIBI_STAGED_IMPACT_EVIDENCE_DOC],
-        message: `${coordinatesPath} is stale or missing for staged source files: ${formatFileList(paths)}`,
+        message: `${symbolsManifestPath} does not cover the declarations of staged source files: ${formatFileList(paths)}`,
         suggestion,
         ...(fileDetails.length > 0
             ? {
@@ -126,20 +132,18 @@ export function createMissingOverrideRationaleDiagnostic(evidence) {
  */
 export function collectStagedKibiDiagnostics(evidence, symbolsManifestPath = KIBI_SYMBOLS_MANIFEST_PATH) {
     const diagnostics = [];
-    const coordinatesPath = evidence.symbolsManifest.path || deriveCoordinatesPath(symbolsManifestPath);
     if (evidence.mode.kind === "no_impact_override" &&
         !hasOverrideRationale(evidence)) {
         diagnostics.push(createMissingOverrideRationaleDiagnostic(evidence));
     }
-    if ((evidence.symbolsManifest.state === "stale" ||
-        evidence.symbolsManifest.state === "missing") &&
+    if (evidence.symbolsManifest.state === "stale" &&
         evidence.symbolsManifest.sourcePaths.length > 0) {
         const stalePaths = [...evidence.symbolsManifest.sourcePaths].sort();
-        diagnostics.push(createSymbolsManifestStaleDiagnostic(stalePaths, symbolsManifestPath, coordinatesPath, symbolsManifestFileDetails(evidence, stalePaths)));
+        diagnostics.push(createSymbolsManifestStaleDiagnostic(stalePaths, symbolsManifestPath, symbolsManifestFileDetails(evidence, stalePaths)));
     }
     const missingBehaviorPaths = getMissingBehaviorSourcePaths(evidence);
     if (missingBehaviorPaths.length > 0) {
-        diagnostics.push(createMissingEvidenceDiagnostic(missingBehaviorPaths, symbolsManifestPath, coordinatesPath, symbolsManifestFileDetails(evidence, missingBehaviorPaths)));
+        diagnostics.push(createMissingEvidenceDiagnostic(missingBehaviorPaths, symbolsManifestPath, symbolsManifestFileDetails(evidence, missingBehaviorPaths)));
     }
     if (evidence.mode.kind === "no_impact_override" &&
         evidence.mode.override.sourcePaths.length === 0 &&

package/dist/traceability/staged-impact-contract.d.ts

@@ -36,10 +36,10 @@ export interface AuditedNoImpactOverrideInput {
  *   intersect exported or other behavior-bearing/user-facing surfaces and whose
  *   changed lines are not comment-only or formatting-only.
  * - `kibi_impact_evidence` is staged entity markdown under `.kb/`, staged
- *   authored `.kb/symbols.yaml` metadata, refreshed
- *   `.kb/symbol-coordinates.yaml` when extraction output changes, or
- *   an explicit audited `Kibi-Impact: none` declaration with
- *   rationale for false positives/non-behavior-only edits.
+ *   authored `.kb/symbols.yaml` metadata, a symbol manifest that covers
+ *   every declaration of the edited file, or an explicit audited
+ *   `Kibi-Impact: none` declaration with rationale for
+ *   false positives/non-behavior-only edits.
  * - `Kibi-Impact: none` never satisfies a genuine behavior change.
  * - Test-only edits do not require new KB evidence unless they introduce
  *   executable test symbols that need traceability.

package/dist/traceability/staged-impact-contract.js

@@ -14,10 +14,10 @@ export const KIBI_IMPACT_DIAGNOSTIC_IDS = [
  *   intersect exported or other behavior-bearing/user-facing surfaces and whose
  *   changed lines are not comment-only or formatting-only.
  * - `kibi_impact_evidence` is staged entity markdown under `.kb/`, staged
- *   authored `.kb/symbols.yaml` metadata, refreshed
- *   `.kb/symbol-coordinates.yaml` when extraction output changes, or
- *   an explicit audited `Kibi-Impact: none` declaration with
- *   rationale for false positives/non-behavior-only edits.
+ *   authored `.kb/symbols.yaml` metadata, a symbol manifest that covers
+ *   every declaration of the edited file, or an explicit audited
+ *   `Kibi-Impact: none` declaration with rationale for
+ *   false positives/non-behavior-only edits.
  * - `Kibi-Impact: none` never satisfies a genuine behavior change.
  * - Test-only edits do not require new KB evidence unless they introduce
  *   executable test symbols that need traceability.
@@ -32,17 +32,17 @@ export const KIBI_IMPACT_DIAGNOSTICS = {
         title: "Behavior edit requires staged Kibi impact evidence",
         resolution: [
             "Query Kibi via visible MCP tools or the trusted project-local CLI (peer surfaces): use kb_search for discovery, then kb_query for exact follow-up.",
-            "MCP writes update KB state but do not stage tracked evidence; also stage related KB entity markdown under .kb/, authored .kb/symbols.yaml metadata (the Detail lines name the symbols lacking evidence), or refreshed .kb/symbol-coordinates.yaml.",
+            "MCP writes update KB state but do not stage tracked evidence; also stage related KB entity markdown under .kb/ or authored .kb/symbols.yaml metadata (the Detail lines name the symbols lacking evidence).",
             "Re-run or let the hook run kibi check --staged.",
         ],
     },
     symbols_manifest_stale: {
         id: "symbols_manifest_stale",
-        title: "Symbol coordinates evidence is stale for changed extraction output",
+        title: "Symbol manifest does not cover the staged declarations",
         resolution: [
-            "Read the Detail lines: they name the extracted symbols the staged .kb/symbols.yaml evidence does not cover.",
-            "Author .kb/symbols.yaml entries for the uncovered symbols (kibi upsert, with implements/covered_by links), then refresh symbol coordinates with kibi sync --refresh-symbol-coordinates.",
-            "Stage .kb/symbol-coordinates.yaml and .kb/symbols.yaml in the same change as the behavior edit, then re-run or let the hook run kibi check --staged.",
+            "Read the Detail lines: they name the extracted symbols the staged .kb/symbols.yaml does not cover, and the entries whose declaration is gone.",
+            "Author .kb/symbols.yaml entries for the uncovered symbols (kibi upsert, with implements/covered_by links); re-point or remove (kibi delete) entries whose declaration is gone.",
+            "Stage .kb/symbols.yaml in the same change as the behavior edit, then re-run or let the hook run kibi check --staged. Symbol coordinates are derived locally and never staged.",
         ],
     },
     kibi_impact_override_missing_rationale: {

package/dist/traceability/staged-symbols-manifest.d.ts

@@ -1,9 +1,8 @@
 import type { SourceAnalysisResult } from "kibi-plugin-sdk";
-import { type ParsedCoordinateArtifact } from "../extractors/symbol-coordinates.js";
 import type { KibiImpactSymbolsManifestFileDetail } from "./evidence-model.js";
 import type { StagedFile } from "./git-staged.js";
 export interface StagedSymbolsManifestAssessment {
-    state: "fresh" | "stale" | "missing" | "not_required";
+    state: "fresh" | "stale" | "not_required";
     sourcePaths: string[];
     path: string;
     /**
@@ -26,11 +25,20 @@ export interface StagedAuthoredSymbolsManifestEvidence {
      */
     migrationOnlyEntityIds?: string[];
 }
-export declare function parsedCoordinateOrNull(parse: () => ParsedCoordinateArtifact): ParsedCoordinateArtifact | null;
 export declare function manifestRecordSourcePath(record: {
     sourceFile?: unknown;
     source?: unknown;
 }): string | null;
+/**
+ * Whether the staged symbol manifest covers the declarations of the staged
+ * behavior files.
+ *
+ * Coordinates are derived from source and never committed, so the check
+ * compares symbol titles only: every declaration extracted from a staged
+ * file must have a manifest record and every granular record must still name
+ * a declaration. A covered file is `fresh` evidence for its behavior edit; a
+ * gap is `stale` and lists the uncovered and orphaned symbols.
+ */
 export declare function assessStagedSymbolsManifest(options: {
     symbolsManifestPath: string;
     sourceFiles: StagedFile[];

package/dist/traceability/staged-symbols-manifest.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"staged-symbols-manifest.d.ts","sourceRoot":"","sources":["../../src/traceability/staged-symbols-manifest.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,oBAAoB,EAErB,MAAM,iBAAiB,CAAC;AAMzB,OAAO,EACL,KAAK,wBAAwB,EAG9B,MAAM,qCAAqC,CAAC;AAI7C,OAAO,KAAK,EAAE,mCAAmC,EAAE,MAAM,qBAAqB,CAAC;AAC/E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AA0ClD,MAAM,WAAW,+BAA+B;IAC9C,KAAK,EAAE,OAAO,GAAG,OAAO,GAAG,SAAS,GAAG,cAAc,CAAC;IACtD,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb;;;;OAIG;IACH,WAAW,CAAC,EAAE,mCAAmC,EAAE,CAAC;CACrD;AAED,MAAM,WAAW,qCAAqC;IACpD,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,KAAK,CAAC;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;IAC5D,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B;;;OAGG;IACH,sBAAsB,CAAC,EAAE,MAAM,EAAE,CAAC;CACnC;AA6ED,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,MAAM,wBAAwB,GACpC,wBAAwB,GAAG,IAAI,CAOjC;AAED,wBAAgB,wBAAwB,CAAC,MAAM,EAAE;IAC/C,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB,GAAG,MAAM,GAAG,IAAI,CAMhB;AA2VD,wBAAgB,2BAA2B,CAAC,OAAO,EAAE;IACnD,mBAAmB,EAAE,MAAM,CAAC;IAC5B,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,YAAY,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IACnD,aAAa,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,KAAK,oBAAoB,CAAC;CAC7E,GAAG,+BAA+B,CAoLlC;AAED,wBAAgB,4CAA4C,CAAC,OAAO,EAAE;IACpE,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,YAAY,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IACnD;;;;OAIG;IACH,yBAAyB,CAAC,EAAE,OAAO,CAAC;CACrC,GAAG,qCAAqC,CA4ExC"}
+{"version":3,"file":"staged-symbols-manifest.d.ts","sourceRoot":"","sources":["../../src/traceability/staged-symbols-manifest.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,oBAAoB,EAErB,MAAM,iBAAiB,CAAC;AASzB,OAAO,KAAK,EAAE,mCAAmC,EAAE,MAAM,qBAAqB,CAAC;AAC/E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAyClD,MAAM,WAAW,+BAA+B;IAC9C,KAAK,EAAE,OAAO,GAAG,OAAO,GAAG,cAAc,CAAC;IAC1C,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb;;;;OAIG;IACH,WAAW,CAAC,EAAE,mCAAmC,EAAE,CAAC;CACrD;AAED,MAAM,WAAW,qCAAqC;IACpD,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,KAAK,CAAC;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;IAC5D,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B;;;OAGG;IACH,sBAAsB,CAAC,EAAE,MAAM,EAAE,CAAC;CACnC;AAkED,wBAAgB,wBAAwB,CAAC,MAAM,EAAE;IAC/C,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB,GAAG,MAAM,GAAG,IAAI,CAMhB;AA0RD;;;;;;;;;GASG;AAGH,wBAAgB,2BAA2B,CAAC,OAAO,EAAE;IACnD,mBAAmB,EAAE,MAAM,CAAC;IAC5B,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,YAAY,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IACnD,aAAa,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,KAAK,oBAAoB,CAAC;CAC7E,GAAG,+BAA+B,CAwFlC;AAED,wBAAgB,4CAA4C,CAAC,OAAO,EAAE;IACpE,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,YAAY,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IACnD;;;;OAIG;IACH,yBAAyB,CAAC,EAAE,OAAO,CAAC;CACrC,GAAG,qCAAqC,CA4ExC"}

package/dist/traceability/staged-symbols-manifest.js

@@ -2,16 +2,15 @@ import { execFileSync } from "node:child_process";
 import * as path from "node:path";
 import { CONTEXT_MISSING_TAG } from "../entity-body-context.js";
 import { extractManifestSymbolRecordsString, } from "../extractors/manifest.js";
-import { mergeCoordinatesWithManifest, parseCoordinateArtifact as parseStrict, } from "../extractors/symbol-coordinates.js";
 import { analyzeSourceText } from "../extractors/symbols-coordinator.js";
 import { isCoarseGranularityReason } from "../public/symbol-granularity.js";
 import { resolveSymbolsManifestPaths } from "../utils/manifest-paths.js";
 /**
  * True when a manifest record documents coarse file/module-level coverage using
- * a canonical granularity reason that legitimately carries no generated
- * per-symbol coordinates. Such records do not participate in coordinate
- * freshness comparison. `legacy-link` records remain coordinate-bearing, and
- * unknown or malformed reasons cannot bypass freshness checks.
+ * a canonical granularity reason that legitimately stands for no single
+ * declaration. Such records do not participate in declaration coverage.
+ * `legacy-link` records remain declaration-bound, and unknown or malformed
+ * reasons cannot bypass the comparison.
  */
 function isDocumentedCoarseRecord(record) {
     return isCoarseGranularityReason(record.granularity_reason);
@@ -26,18 +25,10 @@ function toRepoRelativePath(absoluteOrRelativePath) {
 function resolveRelativeManifestPaths(symbolsManifestPath) {
     if (symbolsManifestPath) {
         const normalizedSymbolsPath = toRepoRelativePath(symbolsManifestPath);
-        return {
-            symbolsPath: normalizedSymbolsPath,
-            coordinatesPath: path
-                .join(path.dirname(normalizedSymbolsPath), "symbol-coordinates.yaml")
-                .replace(/\\/g, "/"),
-        };
+        return { symbolsPath: toRepoRelativePath(symbolsManifestPath) };
     }
-    const { coordinatesPath, symbolsPath } = resolveSymbolsManifestPaths(process.cwd());
-    return {
-        symbolsPath: toRepoRelativePath(symbolsPath),
-        coordinatesPath: toRepoRelativePath(coordinatesPath),
-    };
+    const { symbolsPath } = resolveSymbolsManifestPaths(process.cwd());
+    return { symbolsPath: toRepoRelativePath(symbolsPath) };
 }
 function readHeadFileContent(filePath, cache) {
     const normalizedPath = filePath.replace(/\\/g, "/");
@@ -74,15 +65,6 @@ function parseManifestRecords(content, filePath) {
         return null;
     }
 }
-export function parsedCoordinateOrNull(parse) {
-    try {
-        const parsed = parse();
-        return parsed.status === "invalid" ? null : parsed;
-    }
-    catch {
-        return null;
-    }
-}
 export function manifestRecordSourcePath(record) {
     return typeof record.sourceFile === "string"
         ? record.sourceFile
@@ -90,16 +72,6 @@ export function manifestRecordSourcePath(record) {
             ? record.source
             : null;
 }
-function parseCoordinateArtifact(content) {
-    // An absent artifact must not masquerade as an empty authoritative one:
-    // inline authored coordinates stay comparable until the artifact exists.
-    // The strict parser preserves identity bindings so versioned artifacts
-    // overlay without falling back to source-text heuristics.
-    if (content === null || content === undefined) {
-        return null;
-    }
-    return parsedCoordinateOrNull(() => parseStrict(content));
-}
 function normalizeNumber(value) {
     return typeof value === "number" ? value : null;
 }
@@ -159,9 +131,7 @@ function normalizeManifestSymbolsForSourceFile(records, sourceFile) {
         sourceEndColumn: normalizeNumber(record.sourceEndColumn),
     }))
         .sort(compareNormalizedSymbols);
-    // Several logical records may own the same declaration. Only identical
-    // validated spans collapse; a stale duplicate still carries null coordinates
-    // and must remain visible to the equality check.
+    // Several logical records may own the same declaration; they collapse.
     return symbols.filter((symbol, index) => index === 0 ||
         JSON.stringify(symbol) !== JSON.stringify(symbols[index - 1]));
 }
@@ -274,26 +244,6 @@ function signaturesEqual(left, right) {
 function uniqueSorted(paths) {
     return Array.from(new Set(paths)).sort();
 }
-function mergeManifestRecordsWithCoordinates(manifestRecords, coordinateArtifact, options = {}) {
-    return mergeCoordinatesWithManifest(manifestRecords ?? [], coordinateArtifact, options);
-}
-function getEffectiveManifestRecords(options) {
-    const { headCoordinateArtifact, headManifestRecords, paths, stagedFiles } = options;
-    const stagedManifestFile = stagedFiles.find((file) => file.path === paths.symbolsPath);
-    const stagedCoordinatesFile = stagedFiles.find((file) => file.path === paths.coordinatesPath);
-    const stagedManifestRecords = stagedManifestFile
-        ? parseManifestRecords(stagedManifestFile.content, paths.symbolsPath)
-        : headManifestRecords;
-    const stagedCoordinateArtifact = stagedCoordinatesFile
-        ? parseCoordinateArtifact(stagedCoordinatesFile.content)
-        : headCoordinateArtifact;
-    return {
-        stagedManifestFile,
-        stagedCoordinatesFile,
-        stagedManifestRecords,
-        stagedCoordinateArtifact,
-    };
-}
 // implements REQ-cli-staged-impact-enforcement
 function diffSymbolEvidence(sourcePath, expectedSymbols, stagedSymbols) {
     const stagedTitles = new Set(stagedSymbols.map((symbol) => symbol.title));
@@ -320,47 +270,32 @@ function diffSymbolEvidence(sourcePath, expectedSymbols, stagedSymbols) {
         extra,
     };
 }
+/**
+ * Whether the staged symbol manifest covers the declarations of the staged
+ * behavior files.
+ *
+ * Coordinates are derived from source and never committed, so the check
+ * compares symbol titles only: every declaration extracted from a staged
+ * file must have a manifest record and every granular record must still name
+ * a declaration. A covered file is `fresh` evidence for its behavior edit; a
+ * gap is `stale` and lists the uncovered and orphaned symbols.
+ */
+// implements REQ-cli-staged-impact-enforcement
+// implements REQ-symbol-coordinates-derived-locally
 export function assessStagedSymbolsManifest(options) {
     const { sourceFiles, stagedFiles, symbolsManifestPath } = options;
     const paths = resolveRelativeManifestPaths(symbolsManifestPath);
-    // Scope HEAD memoization to one assessment. A long-lived CLI process may
-    // assess several commits in the same checkout; a process-global cache would
-    // otherwise reuse content from the previous HEAD.
-    const headFileContentCache = new Map();
-    const readAssessmentHeadFileContent = (filePath) => options.readBaseFile
-        ? options.readBaseFile(filePath)
-        : readHeadFileContent(filePath, headFileContentCache);
-    const headManifestRecords = parseManifestRecords(readAssessmentHeadFileContent(paths.symbolsPath), paths.symbolsPath);
-    const headCoordinateArtifact = parseCoordinateArtifact(readAssessmentHeadFileContent(paths.coordinatesPath));
-    const { stagedCoordinatesFile, stagedCoordinateArtifact, stagedManifestRecords, } = getEffectiveManifestRecords({
-        stagedFiles,
-        paths,
-        headManifestRecords,
-        headCoordinateArtifact,
-    });
-    const stagedSourceText = new Map(stagedFiles.map((stagedFile) => [
-        stagedFile.path.replace(/\\/g, "/"),
-        typeof stagedFile.content === "string" ? stagedFile.content : null,
-    ]));
-    const resolveStagedSourceText = (sourceFile) => {
-        const normalizedSourceFile = sourceFile.replace(/\\/g, "/");
-        return stagedSourceText.has(normalizedSourceFile)
-            ? (stagedSourceText.get(normalizedSourceFile) ?? null)
-            : readAssessmentHeadFileContent(sourceFile);
-    };
-    const baselineMergedRecords = mergeManifestRecordsWithCoordinates(headManifestRecords, headCoordinateArtifact, 
-    // Existing bindings must also be valid for the proposed source. Comparing
-    // them against HEAD would miss body edits that leave spans unchanged.
-    { resolveSourceText: resolveStagedSourceText });
-    const stagedMergedRecords = mergeManifestRecordsWithCoordinates(stagedManifestRecords, stagedCoordinateArtifact, { resolveSourceText: resolveStagedSourceText });
-    const requiredRefreshPaths = [];
-    const freshPaths = new Set();
+    const stagedManifestFile = stagedFiles.find((file) => file.path === paths.symbolsPath);
+    const stagedManifestRecords = stagedManifestFile
+        ? parseManifestRecords(stagedManifestFile.content, paths.symbolsPath)
+        : parseManifestRecords(options.readBaseFile
+            ? options.readBaseFile(paths.symbolsPath)
+            : readHeadFileContent(paths.symbolsPath), paths.symbolsPath);
+    const coveredPaths = [];
+    const uncoveredPaths = [];
     const symbolDetails = [];
     for (const sourceFile of sourceFiles) {
-        const manifestRecordsForFile = (stagedManifestRecords ?? []).filter((record) => {
-            const recordSource = manifestRecordSourcePath(record);
-            return recordSource === sourceFile.path;
-        });
+        const manifestRecordsForFile = (stagedManifestRecords ?? []).filter((record) => manifestRecordSourcePath(record) === sourceFile.path);
         const coarseCovered = manifestRecordsForFile.length > 0 &&
             manifestRecordsForFile.every(isDocumentedCoarseRecord);
         if (coarseCovered) {
@@ -374,68 +309,40 @@ export function assessStagedSymbolsManifest(options) {
             records.push(record);
             recordsByTitle.set(record.title, records);
         }
-        // A coarse anchor is allowed to stand in for its extracted declaration
-        // only when every authored record with that title is explicitly coarse.
-        // If a granular record shares the title, keep the declaration in the
-        // equality check so a duplicate anchor cannot hide stale coordinates.
+        // A coarse anchor stands in for its extracted declaration only when
+        // every authored record with that title is explicitly coarse.
         const coarseTitles = new Set([...recordsByTitle.entries()]
             .filter(([, records]) => records.every(isDocumentedCoarseRecord))
             .map(([title]) => title));
         const expectedSymbols = normalizeExpectedSymbolsForStagedFile(sourceFile, options.analyzeSource, new Set(recordsByTitle.keys())).filter((symbol) => !coarseTitles.has(symbol.title));
-        const baselineSymbols = normalizeManifestSymbolsForSourceFile(baselineMergedRecords, sourceFile.path);
-        if (signaturesEqual(expectedSymbols, baselineSymbols)) {
+        const stagedSymbols = normalizeManifestSymbolsForSourceFile(stagedManifestRecords ?? [], sourceFile.path);
+        if (expectedSymbols.length === 0 && stagedSymbols.length === 0) {
             continue;
         }
-        requiredRefreshPaths.push(sourceFile.path);
-        // Without a usable staged coordinate artifact there is nothing to diff
-        // against: every extracted symbol counts as uncovered evidence.
-        const stagedSymbols = stagedCoordinateArtifact === null
-            ? []
-            : normalizeManifestSymbolsForSourceFile(stagedMergedRecords, sourceFile.path);
         const detail = diffSymbolEvidence(sourceFile.path, expectedSymbols, stagedSymbols);
-        if (detail !== null) {
-            symbolDetails.push(detail);
-        }
-        if (!stagedCoordinatesFile) {
-            continue;
+        if (detail === null) {
+            coveredPaths.push(sourceFile.path);
         }
-        if (signaturesEqual(expectedSymbols, stagedSymbols)) {
-            freshPaths.add(sourceFile.path);
+        else {
+            uncoveredPaths.push(sourceFile.path);
+            symbolDetails.push(detail);
         }
     }
-    const sourcePaths = uniqueSorted(requiredRefreshPaths);
-    if (sourcePaths.length === 0) {
-        return {
-            state: "not_required",
-            sourcePaths: [],
-            path: paths.coordinatesPath,
-        };
-    }
-    if (sourcePaths.every((sourcePath) => freshPaths.has(sourcePath))) {
-        return { state: "fresh", sourcePaths, path: paths.coordinatesPath };
+    if (coveredPaths.length === 0 && uncoveredPaths.length === 0) {
+        return { state: "not_required", sourcePaths: [], path: paths.symbolsPath };
     }
-    // Details are only meaningful for the states whose diagnostics fire; a
-    // fresh refresh carries no uncovered symbols by definition, and the stale
-    // state cites only the non-fresh paths, so details follow that filter.
-    const nonFreshDetails = symbolDetails.filter((detail) => !freshPaths.has(detail.path));
-    const detailSpread = nonFreshDetails.length > 0
-        ? {
-            fileDetails: nonFreshDetails.sort((left, right) => left.path.localeCompare(right.path)),
-        }
-        : {};
-    if (!stagedCoordinatesFile) {
+    if (uncoveredPaths.length === 0) {
         return {
-            state: "missing",
-            sourcePaths,
-            path: paths.coordinatesPath,
-            ...detailSpread,
+            state: "fresh",
+            sourcePaths: uniqueSorted(coveredPaths),
+            path: paths.symbolsPath,
         };
     }
     return {
         state: "stale",
-        sourcePaths: sourcePaths.filter((sourcePath) => !freshPaths.has(sourcePath)),
-        path: paths.coordinatesPath,
-        ...detailSpread,
+        sourcePaths: uniqueSorted(uncoveredPaths),
+        path: paths.symbolsPath,
+        fileDetails: symbolDetails.sort((left, right) => left.path.localeCompare(right.path)),
     };
 }
 export function collectStagedAuthoredSymbolsManifestEvidence(options) {

package/dist/types/entities.d.ts

@@ -21,7 +21,7 @@ export interface FactFields {
     fact_kind?: "subject" | "property_value" | "observation" | "meta" | "predicate_schema" | "predicate";
     subject_key?: string;
     property_key?: string;
-    operator?: "eq" | "neq" | "lt" | "lte" | "gt" | "gte";
+    operator?: "eq" | "neq" | "lt" | "lte" | "gt" | "gte" | "matches" | "includes" | "subset_of" | "excludes";
     value_type?: "string" | "int" | "number" | "bool" | "set";
     value_string?: string;
     value_set?: string[];

package/dist/types/entities.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"entities.d.ts","sourceRoot":"","sources":["../../src/types/entities.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC/E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAE/D,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,iEAAiE;IACjE,MAAM,CAAC,EAAE,YAAY,CAAC;CACvB;AAGD,MAAM,WAAW,UAAU;IACzB,SAAS,CAAC,EACN,SAAS,GACT,gBAAgB,GAChB,aAAa,GACb,MAAM,GACN,kBAAkB,GAClB,WAAW,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;IACtD,UAAU,CAAC,EAAE,QAAQ,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC;IAC1D,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,MAAM,CAAC;IACpD,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,uEAAuE;IACvE,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,kBAAkB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC9C,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1D,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED,MAAM,WAAW,sBAAsB;IACrC,kBAAkB,CAAC,EAAE,MAAM,GAAG,aAAa,GAAG,YAAY,CAAC;IAC3D,wBAAwB,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;IACnD,cAAc,CAAC,EAAE,aAAa,CAAC;IAC/B,cAAc,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IACzC,cAAc,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;CAC1C;AAED,MAAM,MAAM,WAAW,GAAG,UAAU,GAAG;IACrC,IAAI,EAAE,KAAK,CAAC;IACZ,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,+DAA+D;IAC/D,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,0DAA0D;IAC1D,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,oEAAoE;IACpE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,gGAAgG;IAChG,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,aAAa,CAAC;IAC9C,gGAAgG;IAChG,iBAAiB,CAAC,EAAE,QAAQ,GAAG,QAAQ,GAAG,UAAU,GAAG,YAAY,CAAC;IACpE,qFAAqF;IACrF,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B,CAAC;AACF,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC;AACzD,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG,sBAAsB,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAChF,MAAM,MAAM,GAAG,GAAG,UAAU,GAAG;IAC7B,IAAI,EAAE,KAAK,CAAC;IACZ,gGAAgG;IAChG,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,aAAa,CAAC;CAC/C,CAAC;AACF,MAAM,MAAM,IAAI,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AACjD,MAAM,MAAM,KAAK,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AACnD,MAAM,MAAM,MAAM,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AACrD,MAAM,MAAM,IAAI,GAAG,UAAU,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE9D,MAAM,MAAM,MAAM,GACd,WAAW,GACX,QAAQ,GACR,UAAU,GACV,GAAG,GACH,IAAI,GACJ,KAAK,GACL,MAAM,GACN,IAAI,CAAC"}
+{"version":3,"file":"entities.d.ts","sourceRoot":"","sources":["../../src/types/entities.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC/E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAE/D,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,iEAAiE;IACjE,MAAM,CAAC,EAAE,YAAY,CAAC;CACvB;AAGD,MAAM,WAAW,UAAU;IACzB,SAAS,CAAC,EACN,SAAS,GACT,gBAAgB,GAChB,aAAa,GACb,MAAM,GACN,kBAAkB,GAClB,WAAW,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EACL,IAAI,GACJ,KAAK,GACL,IAAI,GACJ,KAAK,GACL,IAAI,GACJ,KAAK,GACL,SAAS,GACT,UAAU,GACV,WAAW,GACX,UAAU,CAAC;IACf,UAAU,CAAC,EAAE,QAAQ,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC;IAC1D,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,MAAM,CAAC;IACpD,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,uEAAuE;IACvE,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,kBAAkB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC9C,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1D,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED,MAAM,WAAW,sBAAsB;IACrC,kBAAkB,CAAC,EAAE,MAAM,GAAG,aAAa,GAAG,YAAY,CAAC;IAC3D,wBAAwB,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;IACnD,cAAc,CAAC,EAAE,aAAa,CAAC;IAC/B,cAAc,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IACzC,cAAc,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;CAC1C;AAED,MAAM,MAAM,WAAW,GAAG,UAAU,GAAG;IACrC,IAAI,EAAE,KAAK,CAAC;IACZ,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,+DAA+D;IAC/D,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,0DAA0D;IAC1D,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,oEAAoE;IACpE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,gGAAgG;IAChG,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,aAAa,CAAC;IAC9C,gGAAgG;IAChG,iBAAiB,CAAC,EAAE,QAAQ,GAAG,QAAQ,GAAG,UAAU,GAAG,YAAY,CAAC;IACpE,qFAAqF;IACrF,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B,CAAC;AACF,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC;AACzD,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG,sBAAsB,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAChF,MAAM,MAAM,GAAG,GAAG,UAAU,GAAG;IAC7B,IAAI,EAAE,KAAK,CAAC;IACZ,gGAAgG;IAChG,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,aAAa,CAAC;CAC/C,CAAC;AACF,MAAM,MAAM,IAAI,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AACjD,MAAM,MAAM,KAAK,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AACnD,MAAM,MAAM,MAAM,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AACrD,MAAM,MAAM,IAAI,GAAG,UAAU,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE9D,MAAM,MAAM,MAAM,GACd,WAAW,GACX,QAAQ,GACR,UAAU,GACV,GAAG,GACH,IAAI,GACJ,KAAK,GACL,MAAM,GACN,IAAI,CAAC"}

package/dist/utils/rule-registry.generated.d.ts

@@ -286,7 +286,7 @@ export declare const GENERATED_RULES: readonly [{
     readonly category: "integrity";
 }, {
     readonly name: "proof-contract-claims";
-    readonly description: "From schema 12, every certificate-kind proof contract (exhaustive, typecheck, arithmetic, smt) must name the claims it proves in proves, and each named claim must be a modeled claim of a current requirement the test reaches through its scenarios, grounded by a fact that proof kind can express or attest";
+    readonly description: "From schema 12, every certificate-kind proof contract (exhaustive, typecheck, arithmetic, smt, rule, state_machine, regex) must name the claims it proves in proves, and each named claim must be a modeled claim of a current requirement the test reaches through its scenarios, grounded by a fact that proof kind can express or attest";
     readonly enforcementClass: "canonical";
     readonly category: "integrity";
 }];

package/dist/utils/rule-registry.generated.js

@@ -352,7 +352,7 @@ export const GENERATED_RULES = [
     },
     {
         name: "proof-contract-claims",
-        description: "From schema 12, every certificate-kind proof contract (exhaustive, typecheck, arithmetic, smt) must name the claims it proves in proves, and each named claim must be a modeled claim of a current requirement the test reaches through its scenarios, grounded by a fact that proof kind can express or attest",
+        description: "From schema 12, every certificate-kind proof contract (exhaustive, typecheck, arithmetic, smt, rule, state_machine, regex) must name the claims it proves in proves, and each named claim must be a modeled claim of a current requirement the test reaches through its scenarios, grounded by a fact that proof kind can express or attest",
         enforcementClass: "canonical",
         category: "integrity",
     },

package/dist/utils/schema-version.d.ts

@@ -1,4 +1,4 @@
-export declare const LATEST_KB_SCHEMA_VERSION = 12;
+export declare const LATEST_KB_SCHEMA_VERSION = 13;
 export interface SchemaVersionStatus {
     status: "missing" | "invalid" | "older" | "current" | "newer";
     currentVersion: number | null;

package/dist/utils/schema-version.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema-version.d.ts","sourceRoot":"","sources":["../../src/utils/schema-version.ts"],"names":[],"mappings":"AA6BA,eAAO,MAAM,wBAAwB,KAAK,CAAC;AAE3C,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,SAAS,GAAG,SAAS,GAAG,OAAO,GAAG,SAAS,GAAG,OAAO,CAAC;IAC9D,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,OAAO,CAAC;IACxB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACxB;AAED,MAAM,MAAM,mBAAmB,GAC3B;IAAE,aAAa,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,CAAA;CAAE,GACrD,IAAI,GACJ,SAAS,CAAC;AAGd,wBAAgB,sBAAsB,CACpC,aAAa,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,GAChD,MAAM,GAAG,IAAI,CAgBf;AAGD,wBAAgB,sBAAsB,CACpC,MAAM,CAAC,EAAE,mBAAmB,GAC3B,mBAAmB,CAgDrB"}
+{"version":3,"file":"schema-version.d.ts","sourceRoot":"","sources":["../../src/utils/schema-version.ts"],"names":[],"mappings":"AA+BA,eAAO,MAAM,wBAAwB,KAAK,CAAC;AAE3C,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,SAAS,GAAG,SAAS,GAAG,OAAO,GAAG,SAAS,GAAG,OAAO,CAAC;IAC9D,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,OAAO,CAAC;IACxB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACxB;AAED,MAAM,MAAM,mBAAmB,GAC3B;IAAE,aAAa,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,CAAA;CAAE,GACrD,IAAI,GACJ,SAAS,CAAC;AAGd,wBAAgB,sBAAsB,CACpC,aAAa,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,GAChD,MAAM,GAAG,IAAI,CAgBf;AAGD,wBAAgB,sBAAsB,CACpC,MAAM,CAAC,EAAE,mBAAmB,GAC3B,mBAAmB,CAgDrB"}

package/dist/utils/schema-version.js

@@ -26,7 +26,9 @@
 // floor (required_evidence, else tested when firm).
 // Schema 12 requires every certificate-kind proof contract to name the
 // claims it proves.
-export const LATEST_KB_SCHEMA_VERSION = 12;
+// Schema 13 derives symbol coordinates on every sync and keeps
+// .kb/symbol-coordinates.yaml out of Git.
+export const LATEST_KB_SCHEMA_VERSION = 13;
 // implements REQ-003
 export function normalizeSchemaVersion(schemaVersion) {
     if (schemaVersion === undefined || schemaVersion === null) {

package/dist/utils/strict-modeling.d.ts

@@ -4,8 +4,9 @@ export interface SemanticClaim {
     source: string;
     subjectKey: string;
     propertyKey: string;
-    operator: "eq" | "gt" | "gte" | "lt" | "lte" | "neq" | "bool" | "polarity";
-    value: string | number | boolean;
+    operator: "eq" | "gt" | "gte" | "lt" | "lte" | "neq" | "bool" | "polarity" | "matches" | "includes" | "subset_of" | "excludes";
+    /** A list of strings is a set value (operator eq, includes, subset_of or excludes). */
+    value: string | number | boolean | readonly string[];
     confidence: number;
     provenance?: string;
 }

package/dist/utils/strict-modeling.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"strict-modeling.d.ts","sourceRoot":"","sources":["../../src/utils/strict-modeling.ts"],"names":[],"mappings":"AAoBA,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AACnE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAKlE,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,IAAI,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,KAAK,GAAG,MAAM,GAAG,UAAU,CAAC;IAC3E,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,aAAa,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB;;;;OAIG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,KAAK,gBAAgB,GAAG,OAAO,CAC7B,IAAI,CAAC,UAAU,EAAE,YAAY,GAAG,YAAY,CAAC,GAAG,UAAU,CAC3D,GAAG;IACF,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,WAAW,UAAU,CACzB,KAAK,SAAS,KAAK,GAAG,MAAM,GAAG,KAAK,GAAG,MAAM,EAC7C,WAAW,SAAS,gBAAgB,GAAG,gBAAgB;IAEvD,IAAI,EAAE,KAAK,CAAC;IACZ,EAAE,EAAE,MAAM,CAAC;IACX,UAAU,EAAE,WAAW,CAAC;CACzB;AAED,MAAM,MAAM,gBAAgB,GAAG,IAAI,CACjC,gBAAgB,EAChB,MAAM,GAAG,MAAM,GAAG,IAAI,GAAG,QAAQ,GAAG,YAAY,CACjD,CAAC;AAEF,MAAM,WAAW,oBAAoB;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,gBAAgB,EAAE,MAAM,CAAC;IACzB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,UAAU,yBAAyB;IACjC,GAAG,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IACvB,WAAW,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IAChC,YAAY,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IACjC,aAAa,EAAE,gBAAgB,EAAE,CAAC;IAClC,QAAQ,EAAE,IAAI,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,UAAU,mBAAmB;IAC3B,eAAe,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IACpC,aAAa,EAAE,gBAAgB,EAAE,CAAC;IAClC,QAAQ,EAAE,KAAK,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,MAAM,cAAc,GAAG,yBAAyB,GAAG,mBAAmB,CAAC;AAE7E,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAiBzD;AAED;;;;GAIG;AAEH,eAAO,MAAM,sBAAsB,QACoC,CAAC;AAGxE,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAE/D;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAe1D;AAED,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,aAAa,GACnB,oBAAoB,CAwBtB;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,gBAAgB,GAAG,cAAc,CAwH3E;AAED,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,aAAa,CAAC,gBAAgB,CAAC,GACtC,cAAc,EAAE,CAkBlB;AAQD,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAexD;AA0BD,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,MAAM,GAAG,SAAS,EAC9B,MAAM,EAAE,MAAM,GACb,MAAM,CAMR;AAsND;;;;GAIG;AAEH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAErD"}
+{"version":3,"file":"strict-modeling.d.ts","sourceRoot":"","sources":["../../src/utils/strict-modeling.ts"],"names":[],"mappings":"AAoBA,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AACnE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAKlE,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EACJ,IAAI,GACJ,IAAI,GACJ,KAAK,GACL,IAAI,GACJ,KAAK,GACL,KAAK,GACL,MAAM,GACN,UAAU,GACV,SAAS,GACT,UAAU,GACV,WAAW,GACX,UAAU,CAAC;IACf,uFAAuF;IACvF,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,MAAM,EAAE,CAAC;IACrD,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,aAAa,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB;;;;OAIG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,KAAK,gBAAgB,GAAG,OAAO,CAC7B,IAAI,CAAC,UAAU,EAAE,YAAY,GAAG,YAAY,CAAC,GAAG,UAAU,CAC3D,GAAG;IACF,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,WAAW,UAAU,CACzB,KAAK,SAAS,KAAK,GAAG,MAAM,GAAG,KAAK,GAAG,MAAM,EAC7C,WAAW,SAAS,gBAAgB,GAAG,gBAAgB;IAEvD,IAAI,EAAE,KAAK,CAAC;IACZ,EAAE,EAAE,MAAM,CAAC;IACX,UAAU,EAAE,WAAW,CAAC;CACzB;AAED,MAAM,MAAM,gBAAgB,GAAG,IAAI,CACjC,gBAAgB,EAChB,MAAM,GAAG,MAAM,GAAG,IAAI,GAAG,QAAQ,GAAG,YAAY,CACjD,CAAC;AAEF,MAAM,WAAW,oBAAoB;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,gBAAgB,EAAE,MAAM,CAAC;IACzB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,UAAU,yBAAyB;IACjC,GAAG,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IACvB,WAAW,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IAChC,YAAY,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IACjC,aAAa,EAAE,gBAAgB,EAAE,CAAC;IAClC,QAAQ,EAAE,IAAI,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,UAAU,mBAAmB;IAC3B,eAAe,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IACpC,aAAa,EAAE,gBAAgB,EAAE,CAAC;IAClC,QAAQ,EAAE,KAAK,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,MAAM,cAAc,GAAG,yBAAyB,GAAG,mBAAmB,CAAC;AAE7E,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAiBzD;AAED;;;;GAIG;AAEH,eAAO,MAAM,sBAAsB,QACoC,CAAC;AAGxE,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAE/D;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAe1D;AAED,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,aAAa,GACnB,oBAAoB,CAwBtB;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,gBAAgB,GAAG,cAAc,CAwH3E;AAED,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,aAAa,CAAC,gBAAgB,CAAC,GACtC,cAAc,EAAE,CAkBlB;AAQD,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAexD;AAgCD,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,MAAM,GAAG,SAAS,EAC9B,MAAM,EAAE,MAAM,GACb,MAAM,CAMR;AAiPD;;;;GAIG;AAEH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAErD"}