kibi-cli 0.19.0 → 2.0.0

package/dist/env.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"env.d.ts","sourceRoot":"","sources":["../src/env.ts"],"names":[],"mappings":"AAoBA,wBAAgB,iBAAiB,IAAI,MAAM,GAAG,SAAS,CAGtD;AAED,wBAAgB,mBAAmB,IAAI,MAAM,GAAG,SAAS,CAGxD;AAED,wBAAgB,iBAAiB,IAAI,OAAO,CAG3C;AAED,wBAAgB,iBAAiB,IAAI,OAAO,CAG3C;AAED,wBAAgB,wBAAwB,IAAI,OAAO,CAGlD;AAED,wBAAgB,oBAAoB,IAAI,OAAO,CAG9C"}
+{"version":3,"file":"env.d.ts","sourceRoot":"","sources":["../src/env.ts"],"names":[],"mappings":"AAeA,wBAAgB,iBAAiB,IAAI,MAAM,GAAG,SAAS,CAMtD;AAED,wBAAgB,mBAAmB,IAAI,MAAM,GAAG,SAAS,CAGxD;AAED,wBAAgB,iBAAiB,IAAI,OAAO,CAG3C;AAED,wBAAgB,iBAAiB,IAAI,OAAO,CAG3C;AAED,wBAAgB,wBAAwB,IAAI,OAAO,CAGlD;AAED,wBAAgB,oBAAoB,IAAI,OAAO,CAG9C"}

package/dist/env.js

@@ -11,13 +11,12 @@ function getEnvValue(key) {
     const value = process.env[key];
     return typeof value === "string" ? value : undefined;
 }
-function getTrimmedEnvValue(key) {
-    const value = getEnvValue(key)?.trim();
-    return value ? value : undefined;
-}
 export function getBranchOverride() {
-    // implements REQ-003
-    return getTrimmedEnvValue("KIBI_BRANCH");
+    // Branch identity is exact and must not be normalized. Preserve whitespace
+    // so the Git-ref validator rejects an accidental value instead of silently
+    // attaching a different branch.
+    const value = getEnvValue("KIBI_BRANCH");
+    return value === undefined || value.length === 0 ? undefined : value;
 }
 export function getKbPlPathOverride() {
     // implements REQ-003

package/dist/extractors/manifest.d.ts

@@ -25,7 +25,8 @@ export interface ExtractionResult {
 }
 export declare class ManifestError extends Error {
     filePath: string;
-    constructor(message: string, filePath: string);
+    readonly classification?: "coordinate-artifact" | undefined;
+    constructor(message: string, filePath: string, classification?: "coordinate-artifact" | undefined);
 }
 export interface ManifestSymbolRecord {
     id?: string;
@@ -56,8 +57,19 @@ export interface ManifestSymbolRecord {
     coordinatesGeneratedAt?: string;
     [key: string]: unknown;
 }
+/**
+ * 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.
+ */
+export declare function extractManifestSymbolRecords(manifestSymbols: ManifestSymbolRecord[], filePath: string): ExtractionResult[];
 export declare function extractFromManifestString(content: string, filePath: string): ExtractionResult[];
 export declare function extractManifestSymbolRecordsString(content: string, filePath: string): ManifestSymbolRecord[];
 export declare function extractFromManifest(filePath: string): ExtractionResult[];
 export declare function readManifestWithCoordinateOverlay(manifestPath: string, coordinatesPath?: string): ManifestSymbolRecord[];
+export interface ReceiptCodeScopeEntry {
+    readonly symbolId: string;
+    readonly sourceHash: string;
+}
+export declare function resolveBoundSymbolScope(manifestPath: string, symbolIds: readonly string[]): ReceiptCodeScopeEntry[];
 //# sourceMappingURL=manifest.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"manifest.d.ts","sourceRoot":"","sources":["../../src/extractors/manifest.ts"],"names":[],"mappings":"AA6BA,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,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B;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;AA6JD,qBAAa,aAAc,SAAQ,KAAK;IAG7B,QAAQ,EAAE,MAAM;gBADvB,OAAO,EAAE,MAAM,EACR,QAAQ,EAAE,MAAM;CAK1B;AAED,MAAM,WAAW,oBAAoB;IACnC,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,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,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACzD,aAAa,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACxD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAuJD,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,gBAAgB,EAAE,CAmBpB;AAED,wBAAgB,kCAAkC,CAChD,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,oBAAoB,EAAE,CAmBxB;AAED,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,gBAAgB,EAAE,CAKxE;AAsCD,wBAAgB,iCAAiC,CAC/C,YAAY,EAAE,MAAM,EACpB,eAAe,CAAC,EAAE,MAAM,GACvB,oBAAoB,EAAE,CAWxB"}
+{"version":3,"file":"manifest.d.ts","sourceRoot":"","sources":["../../src/extractors/manifest.ts"],"names":[],"mappings":"AA6BA,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,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B;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;AA6JD,qBAAa,aAAc,SAAQ,KAAK;IAG7B,QAAQ,EAAE,MAAM;aACP,cAAc,CAAC,EAAE,qBAAqB;gBAFtD,OAAO,EAAE,MAAM,EACR,QAAQ,EAAE,MAAM,EACP,cAAc,CAAC,EAAE,qBAAqB,YAAA;CAKzD;AAED,MAAM,WAAW,oBAAoB;IACnC,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,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,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACzD,aAAa,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACxD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAsFD;;;;GAIG;AAEH,wBAAgB,4BAA4B,CAC1C,eAAe,EAAE,oBAAoB,EAAE,EACvC,QAAQ,EAAE,MAAM,GACf,gBAAgB,EAAE,CAkDpB;AAYD,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,gBAAgB,EAAE,CAmBpB;AAED,wBAAgB,kCAAkC,CAChD,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,oBAAoB,EAAE,CAmBxB;AAED,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,gBAAgB,EAAE,CAKxE;AA4ED,wBAAgB,iCAAiC,CAC/C,YAAY,EAAE,MAAM,EACpB,eAAe,CAAC,EAAE,MAAM,GACvB,oBAAoB,EAAE,CAaxB;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAgCD,wBAAgB,uBAAuB,CACrC,YAAY,EAAE,MAAM,EACpB,SAAS,EAAE,SAAS,MAAM,EAAE,GAC3B,qBAAqB,EAAE,CAgBzB"}

package/dist/extractors/manifest.js

@@ -16,11 +16,11 @@
  along with this program.  If not, see <https://www.gnu.org/licenses/>.
 */
 import { createHash } from "node:crypto";
-import { existsSync, readFileSync } from "node:fs";
+import { existsSync, readFileSync, statSync } 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,100 @@ 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),
+    });
+}
+/**
+ * Resolve the code scope of a receipt binding: for each proof-bound symbol,
+ * its coordinate-recorded source hash. A receipt's binding covers these, so
+ * editing the production code behind a test stales only that test's receipts
+ * (per-contract binding mode).
+ */
+// implements REQ-kibi-proof-evidence-protocol
+// Receipt-binding scope reads run once per proof-bearing test; a campaign
+// touches dozens-to-hundreds of tests, so the parsed overlay is memoized per
+// manifest state (path + mtime + size) and invalidated when the file changes.
+const boundSymbolScopeCache = new Map();
+function boundSymbolScopeRecords(manifestPath) {
+    let stamp = "";
+    try {
+        const stats = statSync(manifestPath);
+        stamp = `${stats.mtimeMs}:${stats.size}`;
+    }
+    catch {
+        stamp = "missing";
+    }
+    const hit = boundSymbolScopeCache.get(manifestPath);
+    if (hit && hit.stamp === stamp)
+        return hit.records;
+    const records = readManifestWithCoordinateOverlay(manifestPath);
+    boundSymbolScopeCache.set(manifestPath, { stamp, records });
+    return records;
+}
+export function resolveBoundSymbolScope(manifestPath, symbolIds) {
+    const wanted = new Set(symbolIds);
+    if (wanted.size === 0)
+        return [];
+    const records = boundSymbolScopeRecords(manifestPath);
+    const scope = [];
+    for (const record of records) {
+        const symbolId = typeof record.id === "string" ? record.id : undefined;
+        if (symbolId === undefined || !wanted.has(symbolId))
+            continue;
+        const sourceHash = record.sourceHash;
+        if (typeof sourceHash === "string" && sourceHash !== "") {
+            scope.push({ symbolId, sourceHash });
+        }
+    }
+    scope.sort((left, right) => left.symbolId.localeCompare(right.symbolId));
+    return scope;
 }
 function generateId(filePath, title) {
     const hash = createHash("sha256");

package/dist/extractors/markdown.d.ts

@@ -1,4 +1,5 @@
-import { type VerificationReceipt } from "../public/verification-receipt.js";
+import { type ProofBinding, type ProofContract } from "../public/proof-protocol.js";
+import { type ProofReceipt } from "../public/proof-receipt.js";
 export interface ExtractedEntity {
     id: string;
     type: string;
@@ -27,7 +28,9 @@ export interface ExtractedEntity {
     sourceEndColumn?: number;
     verification_scope?: "unit" | "integration" | "end_to_end";
     verification_perspective?: "internal" | "consumer";
-    verification_receipts?: readonly VerificationReceipt[];
+    proof_contract?: ProofContract;
+    proof_bindings?: readonly ProofBinding[];
+    proof_receipts?: readonly ProofReceipt[];
     fact_kind?: "subject" | "property_value" | "observation" | "meta" | "predicate_schema" | "predicate" | "rule_schema" | "rule";
     subject_key?: string;
     property_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,EAGL,KAAK,YAAY,EACjB,KAAK,aAAa,EACnB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,KAAK,YAAY,EAElB,MAAM,4BAA4B,CAAC;AA8DpC,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,cAAc,CAAC,EAAE,aAAa,CAAC;IAC/B,cAAc,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IACzC,cAAc,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IAEzC,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;AAubD,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,8 @@ 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 { PROOF_BINDINGS_SCHEMA, PROOF_CONTRACT_SCHEMA, } from "../public/proof-protocol.js";
+import { proofReceiptHistoryErrors, } from "../public/proof-receipt.js";
 import entitySchema from "../schemas/entity.schema.json" with { type: "json" };
 // Typed fact field constants for extraction
 const FACT_STRING_FIELDS = [
@@ -71,7 +72,9 @@ const FACT_ONLY_FIELDS = [
 const TEST_ENUM_FIELDS = [
     "verification_scope",
     "verification_perspective",
-    "verification_receipts",
+    "proof_contract",
+    "proof_bindings",
+    "proof_receipts",
 ];
 const ajv = new Ajv({ strict: false, allErrors: true });
 const validateExtractedEntity = ajv.compile(entitySchema);
@@ -334,7 +337,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,14 +448,46 @@ function extractFromMarkdownContent(content, filePath) {
                 }
                 entity.verification_perspective = data.verification_perspective;
             }
-            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.",
+            if (data.proof_contract !== undefined) {
+                if (!isObjectRecord(data.proof_contract)) {
+                    throw new FrontmatterError("Invalid proof_contract; expected an object", filePath, {
+                        classification: "Invalid Test Proof Contract",
+                        hint: "Use the kibi.proof-contract.v1 object shape.",
                     });
                 }
-                const normalizedReceipts = data.verification_receipts.map((value) => {
+                const validateContract = ajv.compile(PROOF_CONTRACT_SCHEMA);
+                if (!validateContract(data.proof_contract)) {
+                    throw new FrontmatterError(`Invalid proof_contract: ${ajv.errorsText(validateContract.errors)}`, filePath, {
+                        classification: "Invalid Test Proof Contract",
+                        hint: "Use the kibi.proof-contract.v1 object shape with explicit required_proofs obligations.",
+                    });
+                }
+                entity.proof_contract = data.proof_contract;
+            }
+            if (data.proof_bindings !== undefined) {
+                if (!Array.isArray(data.proof_bindings)) {
+                    throw new FrontmatterError("Invalid proof_bindings; expected an array", filePath, {
+                        classification: "Invalid Test Proof Bindings",
+                        hint: "Each binding requires symbol_id and target; native_id, aliases, source_file, and line are optional.",
+                    });
+                }
+                const validateBindings = ajv.compile(PROOF_BINDINGS_SCHEMA);
+                if (!validateBindings(data.proof_bindings)) {
+                    throw new FrontmatterError(`Invalid proof_bindings: ${ajv.errorsText(validateBindings.errors)}`, filePath, {
+                        classification: "Invalid Test Proof Bindings",
+                        hint: "Each binding requires symbol_id and target; native_id, aliases, source_file, and line are optional.",
+                    });
+                }
+                entity.proof_bindings = data.proof_bindings;
+            }
+            if (data.proof_receipts !== undefined) {
+                if (!Array.isArray(data.proof_receipts)) {
+                    throw new FrontmatterError("Invalid proof_receipts; expected an array", filePath, {
+                        classification: "Invalid Test Proof Receipts",
+                        hint: "Use kibi prove to append kibi.proof-receipt.v1 objects; receipts are engine-derived, never hand-authored.",
+                    });
+                }
+                const normalizedReceipts = data.proof_receipts.map((value) => {
                     if (typeof value !== "object" ||
                         value === null ||
                         Array.isArray(value)) {
@@ -468,13 +503,13 @@ function extractFromMarkdownContent(content, filePath) {
                             : {}),
                     };
                 });
-                entity.verification_receipts = normalizedReceipts;
-                const errors = verificationReceiptHistoryErrors(entity.id, entity.verification_scope, normalizedReceipts.filter((value) => typeof value === "object" &&
+                entity.proof_receipts = normalizedReceipts;
+                const errors = proofReceiptHistoryErrors(entity.id, entity.verification_scope, normalizedReceipts.filter((value) => typeof value === "object" &&
                     value !== null &&
                     !Array.isArray(value)));
                 if (errors.length > 0) {
                     throw new FrontmatterError(errors.join("; "), filePath, {
-                        classification: "Invalid Test Verification Receipts",
+                        classification: "Invalid Test Proof Receipts",
                         hint: "Bind every receipt to this test and its typed verification_scope, with unique IDs and ordered ISO-8601 timestamps.",
                     });
                 }

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 "../proof/producers/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

@@ -1,3 +1,4 @@
+import { type RelationshipRecord } from "../relationships/shards.js";
 export interface ExtractedRelationship {
     type: string;
     from: string;
@@ -22,6 +23,11 @@ export interface ShardExtractionResult {
 export declare function extractFromRelationshipShards(relationshipsDir: string): ShardExtractionResult[];
 /** Parse one changed shard. Callers can hash first and skip unchanged files. */
 export declare function extractRelationshipShard(shardPath: string): ShardExtractionResult;
+/**
+ * Converts a RelationshipRecord to an ExtractedRelationship.
+ * Returns null if the record is invalid.
+ */
+export declare function convertRecordToRelationship(record: RelationshipRecord): ExtractedRelationship | null;
 /**
  * Gets the path to the relationships directory for a given KB root.
  */

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":"AAoBA,OAAO,EAAE,KAAK,kBAAkB,EAAa,MAAM,4BAA4B,CAAC;AAEhF,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;AAED;;;GAGG;AACH,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,kBAAkB,GACzB,qBAAqB,GAAG,IAAI,CAyC9B;AAED;;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",
@@ -79,7 +80,7 @@ export function extractRelationshipShard(shardPath) {
  * Converts a RelationshipRecord to an ExtractedRelationship.
  * Returns null if the record is invalid.
  */
-function convertRecordToRelationship(record) {
+export function convertRecordToRelationship(record) {
     // Validate type
     if (!VALID_RELATIONSHIP_TYPES.has(record.type)) {
         throw new Error(`Invalid relationship type "${record.type}" in record ${record.id}`);