kibi-cli 0.19.0 → 1.0.1

package/dist/extractors/manifest.js

@@ -20,7 +20,7 @@ import { existsSync, readFileSync } from "node:fs";
 import * as path from "node:path";
 import { load as parseYAML } from "js-yaml";
 import { DEFAULT_COORDINATES_PATH } from "../utils/manifest-paths.js";
-import { mergeCoordinatesWithManifest, readCoordinateArtifact, } from "./symbol-coordinates.js";
+import { mergeCoordinatesWithManifest, parseCoordinateArtifact, } from "./symbol-coordinates.js";
 const VALID_RELATIONSHIP_TYPES = new Set([
     "depends_on",
     "executable_for",
@@ -109,9 +109,11 @@ function validateRelationshipDirection(type, from, to, filePath) {
 }
 export class ManifestError extends Error {
     filePath;
-    constructor(message, filePath) {
+    classification;
+    constructor(message, filePath, classification) {
         super(message);
         this.filePath = filePath;
+        this.classification = classification;
         this.name = "ManifestError";
     }
 }
@@ -165,9 +167,15 @@ function extractRelationships(id, symbol, filePath) {
     return relationships;
 }
 function extractFromParsedManifest(manifest, filePath) {
-    return extractFromManifestSymbolRecords(getManifestSymbols(manifest, filePath), filePath);
+    return extractManifestSymbolRecords(getManifestSymbols(manifest, filePath), filePath);
 }
-function extractFromManifestSymbolRecords(manifestSymbols, filePath) {
+/**
+ * Convert overlay-merged manifest symbol records into extraction results.
+ * Exported so mutation flows can re-extract one canonical entity from the
+ * authored manifest plus generated coordinate artifact before committing.
+ */
+// implements REQ-generated-coordinate-persistence
+export function extractManifestSymbolRecords(manifestSymbols, filePath) {
     return manifestSymbols.map((symbol) => {
         if (!symbol.title) {
             throw new ManifestError("Missing required field: title", filePath);
@@ -253,7 +261,7 @@ export function extractManifestSymbolRecordsString(content, filePath) {
     }
 }
 export function extractFromManifest(filePath) {
-    return extractFromManifestSymbolRecords(readManifestWithCoordinateOverlay(filePath), filePath);
+    return extractManifestSymbolRecords(readManifestWithCoordinateOverlay(filePath), filePath);
 }
 function resolveCoordinatesPath(manifestPath, coordinatesPath) {
     if (coordinatesPath) {
@@ -266,21 +274,55 @@ function readCoordinateArtifactFromFile(coordinatesPath) {
         return null;
     }
     try {
-        return readCoordinateArtifact(readFileSync(coordinatesPath, "utf8"));
+        const parsed = parseCoordinateArtifact(readFileSync(coordinatesPath, "utf8"));
+        if (parsed.status === "invalid") {
+            throw new ManifestError(parsed.reason, coordinatesPath, "coordinate-artifact");
+        }
+        return parsed;
     }
     catch (error) {
-        if (error instanceof Error) {
-            throw new ManifestError(`Failed to parse coordinate artifact: ${error.message}`, coordinatesPath);
+        if (error instanceof Error && !(error instanceof ManifestError)) {
+            throw new ManifestError(`Failed to parse coordinate artifact: ${error.message}`, coordinatesPath, "coordinate-artifact");
         }
         throw error;
     }
 }
+/** Resolve workspace-relative source files used to validate bound coordinates. */
+function sourceTextResolver(manifestPath) {
+    const bases = [process.cwd()];
+    const grandparent = path.resolve(path.dirname(path.dirname(manifestPath)));
+    if (!bases.includes(grandparent))
+        bases.push(grandparent);
+    return (sourceFile) => {
+        let resolved = null;
+        for (const base of bases) {
+            const absolute = path.isAbsolute(sourceFile)
+                ? sourceFile
+                : path.resolve(base, sourceFile);
+            if (!existsSync(absolute))
+                continue;
+            try {
+                const content = readFileSync(absolute, "utf8");
+                if (typeof content === "string") {
+                    resolved = content;
+                    break;
+                }
+            }
+            catch {
+                // Try the next resolution base.
+            }
+        }
+        return resolved;
+    };
+}
 // implements REQ-core-extractors
 export function readManifestWithCoordinateOverlay(manifestPath, coordinatesPath) {
     const manifestContent = readFileSync(manifestPath, "utf8");
     const manifestRecords = extractManifestSymbolRecordsString(manifestContent, manifestPath);
     const coordinateArtifact = readCoordinateArtifactFromFile(resolveCoordinatesPath(manifestPath, coordinatesPath));
-    return mergeCoordinatesWithManifest(manifestRecords, coordinateArtifact);
+    return mergeCoordinatesWithManifest(manifestRecords, coordinateArtifact, {
+        resolveSourceText: sourceTextResolver(manifestPath),
+    });
 }
 function generateId(filePath, title) {
     const hash = createHash("sha256");

package/dist/extractors/markdown.d.ts

@@ -1,4 +1,4 @@
-import { type VerificationReceipt } from "../public/verification-receipt.js";
+import { type VerificationContract, type VerificationReceipt } from "../public/verification-receipt.js";
 export interface ExtractedEntity {
     id: string;
     type: string;
@@ -27,6 +27,7 @@ export interface ExtractedEntity {
     sourceEndColumn?: number;
     verification_scope?: "unit" | "integration" | "end_to_end";
     verification_perspective?: "internal" | "consumer";
+    verification_contract?: VerificationContract;
     verification_receipts?: readonly VerificationReceipt[];
     fact_kind?: "subject" | "property_value" | "observation" | "meta" | "predicate_schema" | "predicate" | "rule_schema" | "rule";
     subject_key?: string;

package/dist/extractors/markdown.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"markdown.d.ts","sourceRoot":"","sources":["../../src/extractors/markdown.ts"],"names":[],"mappings":"AAuBA,OAAO,EACL,KAAK,mBAAmB,EAEzB,MAAM,mCAAmC,CAAC;AA4D3C,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,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,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5B,0BAA0B,CAAC,EAAE,4BAA4B,CAAC;IAC1D,qBAAqB,CAAC,EAAE,eAAe,GAAG,UAAU,GAAG,OAAO,CAAC;IAC/D,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,kBAAkB,CAAC,EAAE,MAAM,GAAG,aAAa,GAAG,YAAY,CAAC;IAC3D,wBAAwB,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;IACnD,qBAAqB,CAAC,EAAE,SAAS,mBAAmB,EAAE,CAAC;IAEvD,SAAS,CAAC,EACN,SAAS,GACT,gBAAgB,GAChB,aAAa,GACb,MAAM,GACN,kBAAkB,GAClB,WAAW,GACX,aAAa,GACb,MAAM,CAAC;IACX,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,CAAC;IAClD,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,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,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,kBAAkB,CAAC,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;CACzD;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,eAAe,CAAC;IACxB,aAAa,EAAE,qBAAqB,EAAE,CAAC;IACvC,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AA8LD,qBAAa,gBAAiB,SAAQ,KAAK;IAOhC,QAAQ,EAAE,MAAM;IANlB,cAAc,EAAE,MAAM,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,CAAC,EAAE,MAAM,CAAC;gBAG5B,OAAO,EAAE,MAAM,EACR,QAAQ,EAAE,MAAM,EACvB,OAAO,CAAC,EAAE;QACR,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,aAAa,CAAC,EAAE,MAAM,CAAC;KACxB;IAYM,QAAQ;CAUlB;AA+CD,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAQ5D;AAkBD,wBAAgB,sBAAsB,CAEpC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,UAAU,EAAE,MAAM,GACjB,MAAM,EAAE,CAkDV;AAqYD,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,gBAAgB,CAElB;AAGD,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,gBAAgB,CAatE;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CASjE;AASD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAQpE"}
+{"version":3,"file":"markdown.d.ts","sourceRoot":"","sources":["../../src/extractors/markdown.ts"],"names":[],"mappings":"AAuBA,OAAO,EAEL,KAAK,oBAAoB,EACzB,KAAK,mBAAmB,EAEzB,MAAM,mCAAmC,CAAC;AA6D3C,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,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,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5B,0BAA0B,CAAC,EAAE,4BAA4B,CAAC;IAC1D,qBAAqB,CAAC,EAAE,eAAe,GAAG,UAAU,GAAG,OAAO,CAAC;IAC/D,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,kBAAkB,CAAC,EAAE,MAAM,GAAG,aAAa,GAAG,YAAY,CAAC;IAC3D,wBAAwB,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;IACnD,qBAAqB,CAAC,EAAE,oBAAoB,CAAC;IAC7C,qBAAqB,CAAC,EAAE,SAAS,mBAAmB,EAAE,CAAC;IAEvD,SAAS,CAAC,EACN,SAAS,GACT,gBAAgB,GAChB,aAAa,GACb,MAAM,GACN,kBAAkB,GAClB,WAAW,GACX,aAAa,GACb,MAAM,CAAC;IACX,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,CAAC;IAClD,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,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,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,kBAAkB,CAAC,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;CACzD;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,eAAe,CAAC;IACxB,aAAa,EAAE,qBAAqB,EAAE,CAAC;IACvC,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AA8LD,qBAAa,gBAAiB,SAAQ,KAAK;IAOhC,QAAQ,EAAE,MAAM;IANlB,cAAc,EAAE,MAAM,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,CAAC,EAAE,MAAM,CAAC;gBAG5B,OAAO,EAAE,MAAM,EACR,QAAQ,EAAE,MAAM,EACvB,OAAO,CAAC,EAAE;QACR,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,aAAa,CAAC,EAAE,MAAM,CAAC;KACxB;IAYM,QAAQ;CAUlB;AA+CD,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAQ5D;AAkBD,wBAAgB,sBAAsB,CAEpC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,UAAU,EAAE,MAAM,GACjB,MAAM,EAAE,CAkDV;AA+ZD,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,gBAAgB,CAElB;AAGD,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,gBAAgB,CAatE;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CASjE;AASD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAQpE"}

package/dist/extractors/markdown.js

@@ -20,7 +20,7 @@ import { readFileSync } from "node:fs";
 import Ajv from "ajv";
 import { load as yamlLoad } from "js-yaml";
 import { semanticClaimKey } from "../operations/semantic-advisor/clauses.js";
-import { verificationReceiptHistoryErrors, } from "../public/verification-receipt.js";
+import { VERIFICATION_CONTRACT_SCHEMA, verificationReceiptHistoryErrors, } from "../public/verification-receipt.js";
 import entitySchema from "../schemas/entity.schema.json" with { type: "json" };
 // Typed fact field constants for extraction
 const FACT_STRING_FIELDS = [
@@ -71,6 +71,7 @@ const FACT_ONLY_FIELDS = [
 const TEST_ENUM_FIELDS = [
     "verification_scope",
     "verification_perspective",
+    "verification_contract",
     "verification_receipts",
 ];
 const ajv = new Ajv({ strict: false, allErrors: true });
@@ -334,7 +335,7 @@ function extractFromMarkdownContent(content, filePath) {
             const entityTypes = embeddedEntities.join(" and ");
             throw new FrontmatterError(`Invalid embedded entity: requirement contains ${entityTypes} fields`, filePath, {
                 classification: "Embedded Entity Violation",
-                hint: `Move ${entityTypes} to separate entity files and link them via relationship shards in .kb/relationships/.`,
+                hint: `Move ${entityTypes} to separate entity files and declare typed relationship links there; Kibi owns the compiled relationship shards.`,
             });
         }
         const id = data.id || generateId(filePath, data.title);
@@ -445,11 +446,28 @@ function extractFromMarkdownContent(content, filePath) {
                 }
                 entity.verification_perspective = data.verification_perspective;
             }
+            if (data.verification_contract !== undefined) {
+                if (!isObjectRecord(data.verification_contract)) {
+                    throw new FrontmatterError("Invalid verification_contract; expected an object", filePath, {
+                        classification: "Invalid Test Verification Contract",
+                        hint: "Use the kibi.verification-contract.v1 object shape.",
+                    });
+                }
+                const validateContract = ajv.compile(VERIFICATION_CONTRACT_SCHEMA);
+                if (!validateContract(data.verification_contract)) {
+                    throw new FrontmatterError(`Invalid verification_contract: ${ajv.errorsText(validateContract.errors)}`, filePath, {
+                        classification: "Invalid Test Verification Contract",
+                        hint: "Use the kibi.verification-contract.v1 object shape.",
+                    });
+                }
+                entity.verification_contract =
+                    data.verification_contract;
+            }
             if (data.verification_receipts !== undefined) {
                 if (!Array.isArray(data.verification_receipts)) {
                     throw new FrontmatterError("Invalid verification_receipts; expected an array", filePath, {
                         classification: "Invalid Test Verification Receipts",
-                        hint: "Use append-only kibi.verification-receipt.v1 objects.",
+                        hint: "Use kibi verify to append kibi.verification-receipt.v2 objects; older v1 entries remain historical compatibility data.",
                     });
                 }
                 const normalizedReceipts = data.verification_receipts.map((value) => {

package/dist/extractors/playwright-cases.d.ts

@@ -0,0 +1,24 @@
+export type PlaywrightCaseSymbol = Readonly<{
+    id: string;
+    title: string;
+    sourceFile: string;
+    sourceLine: number;
+    sourceColumn: number;
+    sourceEndLine: number;
+    sourceEndColumn: number;
+    symbol_role: "behavioral";
+    tags: readonly ["test-case", "playwright"];
+}>;
+export type PlaywrightCaseDiagnostic = Readonly<{
+    code: "dynamic_test_case_unresolved";
+    sourceFile: string;
+    sourceLine: number;
+    detail: string;
+}>;
+export type PlaywrightCaseExtraction = Readonly<{
+    symbols: readonly PlaywrightCaseSymbol[];
+    diagnostics: readonly PlaywrightCaseDiagnostic[];
+}>;
+/** Extract statically named Playwright tests from a TS/JS source module. */
+export declare function extractPlaywrightCases(sourceFile: string, source: string): PlaywrightCaseExtraction;
+//# sourceMappingURL=playwright-cases.d.ts.map

package/dist/extractors/playwright-cases.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"playwright-cases.d.ts","sourceRoot":"","sources":["../../src/extractors/playwright-cases.ts"],"names":[],"mappings":"AAGA,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE,YAAY,CAAC;IAC1B,IAAI,EAAE,SAAS,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC;CAC5C,CAAC,CAAC;AAGH,MAAM,MAAM,wBAAwB,GAAG,QAAQ,CAAC;IAC9C,IAAI,EAAE,8BAA8B,CAAC;IACrC,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC,CAAC;AAGH,MAAM,MAAM,wBAAwB,GAAG,QAAQ,CAAC;IAC9C,OAAO,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACzC,WAAW,EAAE,SAAS,wBAAwB,EAAE,CAAC;CAClD,CAAC,CAAC;AA0GH,4EAA4E;AAE5E,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,MAAM,GACb,wBAAwB,CA0C1B"}

package/dist/extractors/playwright-cases.js

@@ -0,0 +1,126 @@
+import { playwrightCaseId } from "../public/playwright-case-id.js";
+function lineColumn(source, offset) {
+    const prefix = source.slice(0, offset);
+    const line = prefix.split("\n").length;
+    const lastBreak = prefix.lastIndexOf("\n");
+    return [line, offset - lastBreak];
+}
+function braceDepthAt(source, offset) {
+    let depth = 0;
+    let quote = null;
+    let escaped = false;
+    for (const character of source.slice(0, offset)) {
+        if (quote) {
+            if (escaped)
+                escaped = false;
+            else if (character === "\\")
+                escaped = true;
+            else if (character === quote)
+                quote = null;
+            continue;
+        }
+        if (character === "'" || character === '"' || character === "`") {
+            quote = character;
+        }
+        else if (character === "{")
+            depth += 1;
+        else if (character === "}")
+            depth = Math.max(0, depth - 1);
+    }
+    return depth;
+}
+function matchingBrace(source, open) {
+    let depth = 0;
+    for (let index = open; index < source.length; index += 1) {
+        if (source[index] === "{")
+            depth += 1;
+        else if (source[index] === "}") {
+            depth -= 1;
+            if (depth === 0)
+                return index;
+        }
+    }
+    return undefined;
+}
+function events(source) {
+    const output = [];
+    const importedAliases = [
+        "test",
+        ...[...source.matchAll(/\btest\s+as\s+([A-Za-z_$][\w$]*)/g)].map((match) => match[1]),
+    ];
+    const pattern = new RegExp(`\\b(?:${importedAliases.join("|")})(?:\\.only|\\.skip)?\\s*\\.?(describe)?\\s*\\(`, "g");
+    for (const match of source.matchAll(pattern)) {
+        const start = match.index ?? 0;
+        if (/function\s+$/.test(source.slice(Math.max(0, start - 16), start))) {
+            continue;
+        }
+        const open = start + match[0].lastIndexOf("(") + 1;
+        const remainder = source.slice(open);
+        const stringMatch = remainder.match(/^\s*(["'`])((?:\\.|(?!\1).)*)\1/s);
+        const dynamic = !stringMatch;
+        const title = stringMatch?.[2]?.replaceAll(/\\(["'`\\])/g, "$1");
+        const end = Math.min(source.length, open + (stringMatch?.[0].length ?? 1));
+        const callbackOpen = source.indexOf("{", end);
+        const scopeEnd = match[1] === "describe" && callbackOpen >= 0
+            ? matchingBrace(source, callbackOpen)
+            : undefined;
+        output.push({
+            kind: match[1] === "describe" ? "describe" : "test",
+            start,
+            end,
+            ...(title === undefined ? {} : { title }),
+            dynamic,
+            braceDepth: braceDepthAt(source, start),
+            ...(scopeEnd === undefined ? {} : { scopeEnd }),
+        });
+    }
+    return output;
+}
+function qualifiedTitle(event, all) {
+    const suites = all
+        .filter((candidate) => candidate.kind === "describe" &&
+        candidate.start < event.start &&
+        (candidate.scopeEnd === undefined ||
+            event.start < candidate.scopeEnd) &&
+        candidate.braceDepth <= event.braceDepth &&
+        candidate.title !== undefined)
+        .map((candidate) => candidate.title);
+    return [...suites, event.title ?? ""].join(" > ");
+}
+/** Extract statically named Playwright tests from a TS/JS source module. */
+// implements REQ-kibi-verification-evidence-contract
+export function extractPlaywrightCases(sourceFile, source) {
+    if (!/from\s+["']@playwright\/test["']|require\(\s*["']@playwright\/test/.test(source)) {
+        return { symbols: [], diagnostics: [] };
+    }
+    const symbols = [];
+    const diagnostics = [];
+    const all = events(source);
+    for (const event of all.filter(({ kind }) => kind === "test")) {
+        const [line, column] = lineColumn(source, event.start);
+        if (event.dynamic) {
+            diagnostics.push({
+                code: "dynamic_test_case_unresolved",
+                sourceFile,
+                sourceLine: line,
+                detail: "The Playwright test title is computed at runtime and cannot enter a verification contract.",
+            });
+            continue;
+        }
+        const title = qualifiedTitle(event, all);
+        const end = source.indexOf("\n", event.end);
+        const [endLine, endColumn] = lineColumn(source, end === -1 ? source.length : end);
+        symbols.push({
+            id: playwrightCaseId(sourceFile, title),
+            title,
+            sourceFile,
+            sourceLine: line,
+            sourceColumn: column,
+            sourceEndLine: endLine,
+            sourceEndColumn: endColumn,
+            symbol_role: "behavioral",
+            tags: ["test-case", "playwright"],
+        });
+    }
+    return { symbols, diagnostics };
+}

package/dist/extractors/relationships.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"relationships.d.ts","sourceRoot":"","sources":["../../src/extractors/relationships.ts"],"names":[],"mappings":"AAsBA,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,CAAC,EAAE;QACT,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,UAAU,CAAC,EAAE,MAAM,CAAC;KACrB,CAAC;CACH;AAED,MAAM,WAAW,qBAAqB;IACpC,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,qBAAqB,EAAE,CAAC;CACxC;AAwBD;;;;;GAKG;AACH,wBAAgB,6BAA6B,CAC3C,gBAAgB,EAAE,MAAM,GACvB,qBAAqB,EAAE,CAmBzB;AAED,gFAAgF;AAChF,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,MAAM,GAChB,qBAAqB,CAiBvB;AAmDD;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAE1D;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,qBAAqB,EAAE,GAC/B,qBAAqB,EAAE,CAEzB;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CACnC,aAAa,EAAE,qBAAqB,EAAE,EACtC,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,GAC1B,KAAK,CAAC;IACP,YAAY,EAAE,qBAAqB,CAAC;IACpC,KAAK,EAAE,cAAc,GAAG,YAAY,CAAC;CACtC,CAAC,CAgBD"}
+{"version":3,"file":"relationships.d.ts","sourceRoot":"","sources":["../../src/extractors/relationships.ts"],"names":[],"mappings":"AAsBA,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,CAAC,EAAE;QACT,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,UAAU,CAAC,EAAE,MAAM,CAAC;KACrB,CAAC;CACH;AAED,MAAM,WAAW,qBAAqB;IACpC,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,qBAAqB,EAAE,CAAC;CACxC;AAyBD;;;;;GAKG;AACH,wBAAgB,6BAA6B,CAC3C,gBAAgB,EAAE,MAAM,GACvB,qBAAqB,EAAE,CAmBzB;AAED,gFAAgF;AAChF,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,MAAM,GAChB,qBAAqB,CAiBvB;AAmDD;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAE1D;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,qBAAqB,EAAE,GAC/B,qBAAqB,EAAE,CAEzB;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CACnC,aAAa,EAAE,qBAAqB,EAAE,EACtC,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,GAC1B,KAAK,CAAC;IACP,YAAY,EAAE,qBAAqB,CAAC;IACpC,KAAK,EAAE,cAAc,GAAG,YAAY,CAAC;CACtC,CAAC,CAgBD"}

package/dist/extractors/relationships.js

@@ -33,6 +33,7 @@ const VALID_RELATIONSHIP_TYPES = new Set([
     "constrains",
     "requires_property",
     "requires_predicate",
+    "requires_rule",
     "guards",
     "publishes",
     "consumes",

package/dist/extractors/symbol-coordinates.d.ts

@@ -1,4 +1,10 @@
 import type { ManifestSymbolRecord } from "./manifest.js";
+/**
+ * Format version of the generated coordinate artifact. Version 2 binds every
+ * record to the extraction identity that produced it so stale coordinates can
+ * never silently overlay a changed symbol.
+ */
+export declare const SYMBOL_COORDINATES_FORMAT_VERSION = 2;
 export interface SymbolCoordinatesRecord {
     sourceFile: string;
     sourceLine: number;
@@ -6,10 +12,82 @@ export interface SymbolCoordinatesRecord {
     sourceEndLine: number;
     sourceEndColumn: number;
 }
+/** A generated record bound to the extraction identity that produced it. */
+export interface BoundSymbolCoordinatesRecord extends SymbolCoordinatesRecord {
+    readonly identityHash: string;
+    readonly sourceHash: string;
+}
+export type CoordinateArtifactRecord = SymbolCoordinatesRecord | BoundSymbolCoordinatesRecord;
 export interface SymbolCoordinatesArtifact {
-    coordinates: Record<string, SymbolCoordinatesRecord>;
+    coordinates: Record<string, CoordinateArtifactRecord>;
+}
+export interface CoordinateExtractionIdentity {
+    readonly id: string;
+    readonly title?: string;
+    readonly sourceFile?: string;
+    readonly granularity_reason?: string;
+}
+export interface SymbolCoordinateWriteEntry extends SymbolCoordinatesRecord {
+    readonly identityHash?: string;
+    readonly sourceHash?: string;
+}
+export type ParsedCoordinateArtifact = {
+    readonly status: "parsed";
+    readonly formatVersion: typeof SYMBOL_COORDINATES_FORMAT_VERSION;
+    readonly coordinates: Readonly<Record<string, BoundSymbolCoordinatesRecord>>;
+} | {
+    readonly status: "legacy";
+    readonly coordinates: Readonly<Record<string, SymbolCoordinatesRecord>>;
+} | {
+    readonly status: "invalid";
+    readonly reason: string;
+};
+export declare class CoordinateArtifactError extends Error {
+    readonly name = "CoordinateArtifactError";
 }
+/** Deterministic canonical identity string for a symbol extraction state. */
+export declare function coordinateIdentityKey(identity: CoordinateExtractionIdentity): string;
+/** Stable hash binding a generated coordinate record to its extraction identity. */
+export declare function coordinateIdentityHash(identity: CoordinateExtractionIdentity): string;
+/** Stable hash of the exact source text used to generate a coordinate span. */
+export declare function coordinateSourceHash(sourceText: string): string;
+/** Select a stable coarse anchor, preferring a title match over the whole file. */
+export declare function coarseCoordinateSpan(sourceFile: string, title: string, content: string): SymbolCoordinatesRecord;
+/**
+ * Validate a coordinate span against the same rules requirement proof enforces:
+ * nonempty source file, sourceLine >= 1, columns >= 0, endLine >= sourceLine.
+ */
+export declare function isValidCoordinateSpan(value: unknown): value is SymbolCoordinatesRecord;
+/**
+ * Strictly parse a generated coordinate artifact. Records failing span
+ * validation make the whole artifact invalid; consumers must fail closed
+ * instead of silently dropping evidence.
+ */
+export declare function parseCoordinateArtifact(content: string): ParsedCoordinateArtifact;
+/**
+ * Serialize the generated artifact as a version 2 document. Every record is
+ * bound to both its manifest identity and exact source content.
+ * Key order is deterministic without relying on YAML sortKeys so the
+ * human-readable header stays first.
+ */
+export declare function writeCoordinateArtifact(entries: Record<string, SymbolCoordinateWriteEntry>): string;
+/** Serialize a legacy artifact without introducing v2 bindings or metadata. */
+export declare function writeLegacyCoordinateArtifact(entries: Record<string, SymbolCoordinatesRecord>): string;
+/**
+ * Reader kept for diff/traceability surfaces. Legacy records remain available
+ * as spans while v2 records retain their bindings.
+ */
 export declare function readCoordinateArtifact(content: string): SymbolCoordinatesArtifact;
-export declare function writeCoordinateArtifact(coordinates: Record<string, SymbolCoordinatesRecord>): string;
-export declare function mergeCoordinatesWithManifest(symbolRecords: ManifestSymbolRecord[], coordinateArtifact: SymbolCoordinatesArtifact | null): ManifestSymbolRecord[];
+/**
+ * Overlay generated coordinates onto authored manifest records.
+ *
+ * Generated fields are always stripped first so stale spans can never reach
+ * compiled state. Bound v2 records apply only when both their identity hash
+ * and exact source-content hash match the current manifest and source. Legacy
+ * records and inline coordinates are accepted only after live declaration
+ * validation.
+ */
+export declare function mergeCoordinatesWithManifest(symbolRecords: ManifestSymbolRecord[], coordinateArtifact: ParsedCoordinateArtifact | SymbolCoordinatesArtifact | null, options?: {
+    readonly resolveSourceText?: (sourceFile: string) => string | null;
+}): ManifestSymbolRecord[];
 //# sourceMappingURL=symbol-coordinates.d.ts.map

package/dist/extractors/symbol-coordinates.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"symbol-coordinates.d.ts","sourceRoot":"","sources":["../../src/extractors/symbol-coordinates.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAE1D,MAAM,WAAW,uBAAuB;IACtC,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,yBAAyB;IACxC,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC;CACtD;AAiED,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,MAAM,GACd,yBAAyB,CAkB3B;AAGD,wBAAgB,uBAAuB,CACrC,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,uBAAuB,CAAC,GACnD,MAAM,CAUR;AAGD,wBAAgB,4BAA4B,CAC1C,aAAa,EAAE,oBAAoB,EAAE,EACrC,kBAAkB,EAAE,yBAAyB,GAAG,IAAI,GACnD,oBAAoB,EAAE,CAqBxB"}
+{"version":3,"file":"symbol-coordinates.d.ts","sourceRoot":"","sources":["../../src/extractors/symbol-coordinates.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAE1D;;;;GAIG;AAEH,eAAO,MAAM,iCAAiC,IAAI,CAAC;AAEnD,MAAM,WAAW,uBAAuB;IACtC,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,4EAA4E;AAE5E,MAAM,WAAW,4BAA6B,SAAQ,uBAAuB;IAC3E,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAGD,MAAM,MAAM,wBAAwB,GAChC,uBAAuB,GACvB,4BAA4B,CAAC;AAEjC,MAAM,WAAW,yBAAyB;IACxC,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,wBAAwB,CAAC,CAAC;CACvD;AAGD,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC;CACtC;AAGD,MAAM,WAAW,0BAA2B,SAAQ,uBAAuB;IACzE,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B;AAGD,MAAM,MAAM,wBAAwB,GAChC;IACE,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,OAAO,iCAAiC,CAAC;IACjE,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAC5B,MAAM,CAAC,MAAM,EAAE,4BAA4B,CAAC,CAC7C,CAAC;CACH,GACD;IACE,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC,CAAC;CACzE,GACD;IAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAG5D,qBAAa,uBAAwB,SAAQ,KAAK;IAChD,SAAkB,IAAI,6BAA6B;CACpD;AAeD,6EAA6E;AAE7E,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,4BAA4B,GACrC,MAAM,CAOR;AAED,oFAAoF;AAEpF,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,4BAA4B,GACrC,MAAM,CAIR;AAED,+EAA+E;AAE/E,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAE/D;AAED,mFAAmF;AAEnF,wBAAgB,oBAAoB,CAClC,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,MAAM,GACd,uBAAuB,CA6BzB;AAMD;;;GAGG;AAEH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,uBAAuB,CAyBlC;AAmCD;;;;GAIG;AAEH,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,MAAM,GACd,wBAAwB,CAiE1B;AAED;;;;;GAKG;AAEH,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,0BAA0B,CAAC,GAClD,MAAM,CAkCR;AAED,+EAA+E;AAE/E,wBAAgB,6BAA6B,CAC3C,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,uBAAuB,CAAC,GAC/C,MAAM,CAuBR;AAED;;;GAGG;AAEH,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,MAAM,GACd,yBAAyB,CAU3B;AAyDD;;;;;;;;GAQG;AACH,wBAAgB,4BAA4B,CAC1C,aAAa,EAAE,oBAAoB,EAAE,EACrC,kBAAkB,EACd,wBAAwB,GACxB,yBAAyB,GACzB,IAAI,EACR,OAAO,GAAE;IACP,QAAQ,CAAC,iBAAiB,CAAC,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;CAC/D,GACL,oBAAoB,EAAE,CAqExB"}