kibi-cli 2.21.0 → 2.22.0

package/dist/operations/migration/supersedes-reason.js

@@ -0,0 +1,69 @@
+/*
+ Kibi — repo-local, per-branch, queryable long-term memory for software projects
+ Copyright (C) 2026 Piotr Franczyk
+
+ This program is free software: you can redistribute it and/or modify
+ it under the terms of the GNU Affero General Public License as published by
+ the Free Software Foundation, either version 3 of the License, or
+ (at your option) any later version.
+
+ This program is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ GNU Affero General Public License for more details.
+
+ You should have received a copy of the GNU Affero General Public License
+ along with this program.  If not, see <https://www.gnu.org/licenses/>.
+*/
+import { authoredSupersedes, listDecisionEntities, supersedeAcknowledgements, unexplainedSupersedes, } from "../../public/operations/decision-firmness.js";
+import { readKbManifest, writeKbManifest } from "../../utils/kb-manifest.js";
+/** Migration action code for the schema 9 acknowledgement. */
+// implements REQ-kb-decision-firmness, REQ-cli-schema-migration
+export const SUPERSEDES_REASON_ACKNOWLEDGE_CODE = "supersedes_reason_acknowledge";
+/**
+ * Superseding requirements and ADRs without a "Why this changed" section
+ * whose supersede edges the manifest does not acknowledge yet, retired ones
+ * included. Nothing in the sources changes: no reason is written, the
+ * manifest only records that these edges predate the rule. Read-only.
+ */
+// implements REQ-kb-decision-firmness, REQ-cli-schema-migration
+export function planSupersedesReasonAcknowledgement(workspaceRoot) {
+    const entities = listDecisionEntities(workspaceRoot);
+    const known = new Set(readKbManifest(workspaceRoot)?.supersedesReasonAcknowledged ?? []);
+    const edges = authoredSupersedes(workspaceRoot, entities);
+    return unexplainedSupersedes(entities, edges)
+        .map((entity) => ({
+        id: entity.id,
+        type: entity.type,
+        path: entity.path,
+        edges: supersedeAcknowledgements(entity.id, edges).filter((edge) => !known.has(edge)),
+    }))
+        .filter((target) => target.edges.length > 0);
+}
+/** The manifest list with the targets' edges added, sorted and unique. */
+// implements REQ-kb-decision-firmness
+export function mergeSupersedesAcknowledgements(existing, targets) {
+    return [
+        ...new Set([...(existing ?? []), ...targets.flatMap((t) => t.edges)]),
+    ].sort();
+}
+/**
+ * Record the acknowledged edges in the manifest; returns how many entities
+ * were acknowledged. Without a manifest there is no schema to upgrade from,
+ * so it refuses rather than report an acknowledgement it did not write.
+ */
+// implements REQ-kb-decision-firmness, REQ-cli-schema-migration
+export function applySupersedesReasonAcknowledgement(workspaceRoot) {
+    const targets = planSupersedesReasonAcknowledgement(workspaceRoot);
+    if (targets.length === 0)
+        return 0;
+    const manifest = readKbManifest(workspaceRoot);
+    if (manifest === null) {
+        throw new Error("Cannot acknowledge existing supersedes without .kb/manifest.json; run 'kibi migrate --yes', which writes the manifest and the acknowledgement together.");
+    }
+    writeKbManifest(workspaceRoot, {
+        ...manifest,
+        supersedesReasonAcknowledged: mergeSupersedesAcknowledgements(manifest.supersedesReasonAcknowledged, targets),
+    });
+    return targets.length;
+}

package/dist/operations/migration/symbol-legacy-links.d.ts

@@ -0,0 +1,51 @@
+/**
+ * Mark the coarse traceability links of a symbols manifest
+ * `granularity_reason: legacy-link`.
+ *
+ * A link is coarse by the staged granularity gate's own rule
+ * (`coarseLinkBehavioralNames`): the source declares behavioral symbols
+ * narrower than the manifest symbol, so `kibi check --staged` would block the
+ * first commit that touches it. The pass is idempotent and independent of
+ * the schema version: it marks whatever the current rule calls coarse and
+ * has no reason yet, and a second run finds nothing.
+ */
+/** Automatic migration action code of the legacy-link pass. */
+export declare const SYMBOL_LEGACY_LINK_MARK_CODE = "symbol_legacy_link_mark";
+export declare const SYMBOL_LEGACY_LINK_MARK_ACTION_ID = "symbol-legacy-link-mark";
+/** One coarse link the pass marks. */
+export type LegacyLinkTarget = Readonly<{
+    id: string;
+    title: string;
+    sourceFile: string;
+    /** The narrower behavioral symbols that make the link coarse. */
+    granularSymbols: readonly string[];
+}>;
+export type LegacyLinkPlan = Readonly<{
+    /** Workspace-relative manifest path. */
+    manifestPath: string;
+    /** SHA-256 of the manifest bytes the plan was read from; null when absent. */
+    manifestHash: string | null;
+    targets: readonly LegacyLinkTarget[];
+}>;
+/**
+ * The coarse links of `manifestPath` (default `.kb/symbols.yaml`) that carry
+ * no granularity_reason yet. Read-only.
+ */
+export declare function planSymbolLegacyLinks(workspaceRoot: string, manifestPath?: string): LegacyLinkPlan;
+/**
+ * Mark the coarse links found by `planSymbolLegacyLinks`. With
+ * `expectedHash` (a migration plan's evidence), the manifest must still hold
+ * the bytes the plan was read from; a manifest whose planned links are all
+ * marked already is left alone, so the pass is idempotent. Returns the ids
+ * marked, and the planned ones that could not be marked in place (an entry
+ * whose `id` is not its first key, for example).
+ */
+export declare function applySymbolLegacyLinks(workspaceRoot: string, options?: {
+    manifestPath?: string;
+    expectedHash?: string;
+    expectedIds?: readonly string[];
+}): {
+    marked: string[];
+    unmarked: string[];
+};
+//# sourceMappingURL=symbol-legacy-links.d.ts.map

package/dist/operations/migration/symbol-legacy-links.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbol-legacy-links.d.ts","sourceRoot":"","sources":["../../../src/operations/migration/symbol-legacy-links.ts"],"names":[],"mappings":"AAmCA;;;;;;;;;;GAUG;AAEH,+DAA+D;AAE/D,eAAO,MAAM,4BAA4B,4BAA4B,CAAC;AAEtE,eAAO,MAAM,iCAAiC,4BAA4B,CAAC;AAE3E,sCAAsC;AAEtC,MAAM,MAAM,gBAAgB,GAAG,QAAQ,CAAC;IACtC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,iEAAiE;IACjE,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC,CAAC,CAAC;AAGH,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC;IACpC,wCAAwC;IACxC,YAAY,EAAE,MAAM,CAAC;IACrB,8EAA8E;IAC9E,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAC;CACtC,CAAC,CAAC;AAkHH;;;GAGG;AAEH,wBAAgB,qBAAqB,CACnC,aAAa,EAAE,MAAM,EACrB,YAAY,GAAE,MAAiC,GAC9C,cAAc,CAwDhB;AAoED;;;;;;;GAOG;AAEH,wBAAgB,sBAAsB,CACpC,aAAa,EAAE,MAAM,EACrB,OAAO,GAAE;IACP,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC5B,GACL;IAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,CAoC1C"}

package/dist/operations/migration/symbol-legacy-links.js

@@ -0,0 +1,319 @@
+/*
+ Kibi — repo-local, per-branch, queryable long-term memory for software projects
+ Copyright (C) 2026 Piotr Franczyk
+
+ This program is free software: you can redistribute it and/or modify
+ it under the terms of the GNU Affero General Public License as published by
+ the Free Software Foundation, either version 3 of the License, or
+ (at your option) any later version.
+
+ This program is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ GNU Affero General Public License for more details.
+
+ You should have received a copy of the GNU Affero General Public License
+ along with this program.  If not, see <https://www.gnu.org/licenses/>.
+*/
+import { createHash } from "node:crypto";
+import { existsSync, readFileSync } from "node:fs";
+import path from "node:path";
+import { isDeepStrictEqual } from "node:util";
+import { load as parseYAML } from "js-yaml";
+import { createTsMorphSourceAnalysisProvider } from "../../extractors/symbols-ts.js";
+import { coarseLinkBehavioralNames, isTraceabilityRelationshipType, } from "../../public/symbol-granularity.js";
+import { extractSymbolsFromStagedFile, } from "../../traceability/symbol-extract.js";
+import { KB_PATHS } from "../../utils/kb-paths.js";
+import { writeFileAtomically } from "./kb-sources.js";
+/**
+ * Mark the coarse traceability links of a symbols manifest
+ * `granularity_reason: legacy-link`.
+ *
+ * A link is coarse by the staged granularity gate's own rule
+ * (`coarseLinkBehavioralNames`): the source declares behavioral symbols
+ * narrower than the manifest symbol, so `kibi check --staged` would block the
+ * first commit that touches it. The pass is idempotent and independent of
+ * the schema version: it marks whatever the current rule calls coarse and
+ * has no reason yet, and a second run finds nothing.
+ */
+/** Automatic migration action code of the legacy-link pass. */
+// implements REQ-cli-schema-migration
+export const SYMBOL_LEGACY_LINK_MARK_CODE = "symbol_legacy_link_mark";
+// implements REQ-cli-schema-migration
+export const SYMBOL_LEGACY_LINK_MARK_ACTION_ID = "symbol-legacy-link-mark";
+function isRecord(value) {
+    return value !== null && typeof value === "object" && !Array.isArray(value);
+}
+function linkType(link) {
+    // A bare string link compiles as `implements`; a typed link keeps its type.
+    if (typeof link === "string")
+        return "implements";
+    return isRecord(link) ? link.type : undefined;
+}
+/** True when the record compiles at least one traceability relationship. */
+function hasTraceabilityRelationship(record) {
+    const links = Array.isArray(record.links) ? record.links : [];
+    const relationships = Array.isArray(record.relationships)
+        ? record.relationships
+        : [];
+    return [
+        ...links.map(linkType),
+        ...relationships.map((relationship) => isRecord(relationship) ? relationship.type : undefined),
+    ].some(isTraceabilityRelationshipType);
+}
+/**
+ * The analyzer the staged gate uses (the built-in ts-morph provider), built
+ * once per pass: a provider per file would rebuild the TypeScript project for
+ * every source the manifest names.
+ */
+function sharedAnalyzer() {
+    let provider = null;
+    return (filePath, content) => {
+        provider ??= createTsMorphSourceAnalysisProvider();
+        return provider.supportsFile(filePath)
+            ? provider.analyzeText(filePath, content)
+            : null;
+    };
+}
+function sourceSymbols(workspaceRoot, sourceFile, analyzeText) {
+    const absolutePath = path.isAbsolute(sourceFile)
+        ? sourceFile
+        : path.join(workspaceRoot, sourceFile);
+    if (!existsSync(absolutePath))
+        return [];
+    try {
+        return extractSymbolsFromStagedFile({
+            path: sourceFile,
+            status: "M",
+            hunkRanges: [{ start: 1, end: Number.MAX_SAFE_INTEGER }],
+            content: readFileSync(absolutePath, "utf8"),
+        }, undefined, { analyzeText });
+    }
+    catch {
+        return [];
+    }
+}
+function escapeRegExp(value) {
+    return value.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+}
+/**
+ * True when `title` is an exported function, variable (not a class
+ * expression), interface, type or enum declaration of the source file
+ * and no class of that name exists. The extractor then reports `title`
+ * itself and no `title.*` member, so nothing is narrower and the link is not
+ * coarse: the full analysis reaches the same answer, only much slower, and a
+ * manifest names hundreds of such functions.
+ */
+function declaresMemberlessSymbol(workspaceRoot, sourceFile, title, cache) {
+    if (!/^[A-Za-z_$][\w$]*$/.test(title))
+        return false;
+    let content = cache.get(sourceFile);
+    if (content === undefined) {
+        try {
+            content = readFileSync(path.resolve(workspaceRoot, sourceFile), "utf8");
+        }
+        catch {
+            content = null;
+        }
+        cache.set(sourceFile, content);
+    }
+    if (content === null)
+        return false;
+    const name = escapeRegExp(title);
+    if (new RegExp(`\\bclass\\s+${name}\\b`).test(content))
+        return false;
+    return [
+        `^export\\s+(?:default\\s+)?(?:async\\s+)?function\\s*\\*?\\s*${name}\\s*[(<]`,
+        `^export\\s+(?:declare\\s+)?(?:interface|type|enum|const\\s+enum)\\s+${name}\\b`,
+        // A variable, unless its initializer is a class expression (members).
+        `^export\\s+(?:const|let|var)\\s+${name}\\s*(?::[^=\\n]*)?=\\s*(?!class\\b)\\S`,
+    ].some((pattern) => new RegExp(pattern, "m").test(content));
+}
+function digest(content) {
+    return createHash("sha256").update(content, "utf8").digest("hex");
+}
+/**
+ * The coarse links of `manifestPath` (default `.kb/symbols.yaml`) that carry
+ * no granularity_reason yet. Read-only.
+ */
+// implements REQ-cli-schema-migration, REQ-symbol-behavioral-anchors
+export function planSymbolLegacyLinks(workspaceRoot, manifestPath = KB_PATHS.symbolsManifest) {
+    const absolute = path.resolve(workspaceRoot, manifestPath);
+    let content;
+    try {
+        content = readFileSync(absolute, "utf8");
+    }
+    catch {
+        return { manifestPath, manifestHash: null, targets: [] };
+    }
+    const empty = { manifestPath, manifestHash: digest(content), targets: [] };
+    let parsed;
+    try {
+        parsed = parseYAML(content);
+    }
+    catch {
+        // A malformed manifest fails sync with its own diagnostic.
+        return empty;
+    }
+    if (!isRecord(parsed) || !Array.isArray(parsed.symbols))
+        return empty;
+    const targets = [];
+    const symbolsByFile = new Map();
+    const analyzeText = sharedAnalyzer();
+    const sourceText = new Map();
+    for (const record of parsed.symbols) {
+        if (!isRecord(record))
+            continue;
+        if (typeof record.id !== "string" ||
+            typeof record.title !== "string" ||
+            typeof record.sourceFile !== "string")
+            continue;
+        if (record.granularity_reason !== undefined)
+            continue;
+        if (!hasTraceabilityRelationship(record))
+            continue;
+        if (declaresMemberlessSymbol(workspaceRoot, record.sourceFile, record.title, sourceText))
+            continue;
+        let symbols = symbolsByFile.get(record.sourceFile);
+        if (symbols === undefined) {
+            symbols = sourceSymbols(workspaceRoot, record.sourceFile, analyzeText);
+            symbolsByFile.set(record.sourceFile, symbols);
+        }
+        const granularSymbols = coarseLinkBehavioralNames(record.title, symbols);
+        if (granularSymbols.length === 0)
+            continue;
+        targets.push({
+            id: record.id,
+            title: record.title,
+            sourceFile: record.sourceFile,
+            granularSymbols,
+        });
+    }
+    return { manifestPath, manifestHash: digest(content), targets };
+}
+function unquoted(value) {
+    const trimmed = value.trim();
+    if (trimmed.length >= 2 &&
+        (trimmed.startsWith('"') || trimmed.startsWith("'")) &&
+        trimmed.endsWith(trimmed[0] ?? "")) {
+        return trimmed.slice(1, -1);
+    }
+    return trimmed;
+}
+/**
+ * Insert `granularity_reason: legacy-link` into each listed symbol entry,
+ * leaving every other byte of the manifest as it was.
+ */
+function withLegacyReasons(content, symbolIds) {
+    const lines = content.split("\n");
+    const output = [];
+    let activeId = null;
+    let activeHasReason = false;
+    let activePropertyIndent = "";
+    const flushLegacyReason = () => {
+        if (activeId !== null &&
+            symbolIds.has(activeId) &&
+            !activeHasReason &&
+            activePropertyIndent.length > 0) {
+            output.push(`${activePropertyIndent}granularity_reason: legacy-link`);
+            activeHasReason = true;
+        }
+    };
+    for (const line of lines) {
+        const idMatch = line.match(/^(\s*)-\s+id:\s+(.+?)\s*$/);
+        if (idMatch) {
+            flushLegacyReason();
+            activeId = unquoted(idMatch[2] ?? "");
+            activeHasReason = false;
+            activePropertyIndent = `${idMatch[1] ?? ""}  `;
+        }
+        if (activeId !== null && /^\s+granularity_reason:\s+/.test(line)) {
+            activeHasReason = true;
+        }
+        if (activeId !== null &&
+            symbolIds.has(activeId) &&
+            !activeHasReason &&
+            /^\s+status:\s+/.test(line)) {
+            const indent = line.match(/^\s*/)?.[0] ?? "";
+            output.push(`${indent}granularity_reason: legacy-link`);
+            activeHasReason = true;
+        }
+        output.push(line);
+    }
+    flushLegacyReason();
+    return output.join("\n");
+}
+/**
+ * Mark the coarse links found by `planSymbolLegacyLinks`. With
+ * `expectedHash` (a migration plan's evidence), the manifest must still hold
+ * the bytes the plan was read from; a manifest whose planned links are all
+ * marked already is left alone, so the pass is idempotent. Returns the ids
+ * marked, and the planned ones that could not be marked in place (an entry
+ * whose `id` is not its first key, for example).
+ */
+// implements REQ-cli-schema-migration, REQ-symbol-behavioral-anchors
+export function applySymbolLegacyLinks(workspaceRoot, options = {}) {
+    const plan = planSymbolLegacyLinks(workspaceRoot, options.manifestPath ?? KB_PATHS.symbolsManifest);
+    if (plan.targets.length === 0)
+        return { marked: [], unmarked: [] };
+    if (options.expectedHash !== undefined &&
+        plan.manifestHash !== options.expectedHash) {
+        throw new Error(`${plan.manifestPath} changed since planning; rerun kibi migrate and approve the new plan.`);
+    }
+    const ids = new Set(plan.targets
+        .map((target) => target.id)
+        .filter((id) => options.expectedIds === undefined || options.expectedIds.includes(id)));
+    if (ids.size === 0)
+        return { marked: [], unmarked: [] };
+    const absolute = path.resolve(workspaceRoot, plan.manifestPath);
+    const content = readFileSync(absolute, "utf8");
+    const next = withLegacyReasons(content, ids);
+    const marked = markedIds(content, next, ids);
+    if (marked === null)
+        throw new Error(`${plan.manifestPath}: legacy-link reasons could not be added without changing other symbol fields; add granularity_reason: legacy-link by hand.`);
+    if (marked.length > 0)
+        writeFileAtomically(absolute, next);
+    return {
+        marked,
+        unmarked: [...ids].filter((id) => !marked.includes(id)).sort(),
+    };
+}
+/**
+ * The ids whose only change between `before` and `after` is a new
+ * `granularity_reason: legacy-link`, or null when anything else changed.
+ */
+function markedIds(before, after, ids) {
+    try {
+        const previous = parseYAML(before);
+        const next = parseYAML(after);
+        if (!Array.isArray(previous.symbols) ||
+            !Array.isArray(next.symbols) ||
+            previous.symbols.length !== next.symbols.length)
+            return null;
+        const marked = [];
+        for (const [index, entry] of next.symbols.entries()) {
+            const old = previous.symbols[index];
+            if (!isRecord(entry) || !isRecord(old)) {
+                if (!isDeepStrictEqual(entry, old))
+                    return null;
+                continue;
+            }
+            const { granularity_reason: reason, ...rest } = entry;
+            const { granularity_reason: oldReason, ...oldRest } = old;
+            if (!isDeepStrictEqual(rest, oldRest))
+                return null;
+            if (reason === oldReason)
+                continue;
+            if (reason !== "legacy-link" ||
+                oldReason !== undefined ||
+                typeof entry.id !== "string" ||
+                !ids.has(entry.id))
+                return null;
+            marked.push(entry.id);
+        }
+        return marked.sort();
+    }
+    catch {
+        return null;
+    }
+}

package/dist/operations/modeling/predicate-applyplan.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"predicate-applyplan.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-applyplan.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAEV,wBAAwB,EACxB,wBAAwB,EACxB,mBAAmB,EACnB,0BAA0B,EAC1B,qBAAqB,EACtB,MAAM,sBAAsB,CAAC;AAQ9B,wBAAgB,eAAe,CAC7B,MAAM,EAAE,wBAAwB,EAChC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,MAAM,EACb,gBAAgB,GAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM,EACvD,YAAY,CAAC,EAAE,QAAQ,GAAG,MAAM,EAChC,WAAW,CAAC,EAAE;IACZ,WAAW,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;IACtC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,eAAe,CAAC,EAAE,wBAAwB,CAAC;IAC3C,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B;;;;OAIG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B;;;;;OAKG;IACH,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC,GACA,mBAAmB,CAuLrB;AAGD,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,mBAAmB,EAC/B,IAAI,EAAE,qBAAqB,GAC1B,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CA0ChC;AAGD,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,MAAM,GAAG,SAAS,EAC1B,aAAa,EAAE,MAAM,GAAG,SAAS,EACjC,SAAS,CAAC,EAAE,MAAM,EAClB,mBAAmB,GAAE,SAAS,MAAM,EAAO,GAC1C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAuBhC;AAoBD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,qBAAqB,GAC1B,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAwBhC;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,GACd,0BAA0B,CAoE5B"}
+{"version":3,"file":"predicate-applyplan.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-applyplan.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAEV,wBAAwB,EACxB,wBAAwB,EACxB,mBAAmB,EACnB,0BAA0B,EAC1B,qBAAqB,EACtB,MAAM,sBAAsB,CAAC;AAQ9B,wBAAgB,eAAe,CAC7B,MAAM,EAAE,wBAAwB,EAChC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,MAAM,EACb,gBAAgB,GAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM,EACvD,YAAY,CAAC,EAAE,QAAQ,GAAG,MAAM,EAChC,WAAW,CAAC,EAAE;IACZ,WAAW,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;IACtC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,eAAe,CAAC,EAAE,wBAAwB,CAAC;IAC3C,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B;;;;OAIG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B;;;;;OAKG;IACH,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC,GACA,mBAAmB,CAuLrB;AAGD,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,mBAAmB,EAC/B,IAAI,EAAE,qBAAqB,GAC1B,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAkDhC;AAGD,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,MAAM,GAAG,SAAS,EAC1B,aAAa,EAAE,MAAM,GAAG,SAAS,EACjC,SAAS,CAAC,EAAE,MAAM,EAClB,mBAAmB,GAAE,SAAS,MAAM,EAAO,GAC1C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAuBhC;AAoBD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,qBAAqB,GAC1B,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAwBhC;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,GACd,0BAA0B,CAoE5B"}

package/dist/operations/modeling/predicate-applyplan.js

@@ -1,4 +1,4 @@
-import { semanticClaimKey } from "../semantic-advisor/clauses.js";
+import { normalizeSemanticClause, semanticClaimKey, } from "../semantic-advisor/clauses.js";
 import { exactLauncherPredicateArgs } from "../semantic-advisor/predicate-rules-launcher.js";
 import { aggregateBindingProvenance, bindingCanBeApplied, classifyBinding, isGenericPlaceholder, isParticipantArgumentType, } from "./predicate-bindings.js";
 import { inferArgs } from "./predicate-inference.js";
@@ -190,11 +190,19 @@ export function buildPredicateApplyPlan(suggestion, args) {
                     ? { subject_key: suggestion.subject_key }
                     : {}),
                 predicate_name: suggestion.predicate_name,
+                // The schema's namespace, so the fact conforms to the project
+                // schema it was planned from rather than to default:<name>.
+                ...(suggestion.schema.predicate_namespace
+                    ? { predicate_namespace: suggestion.schema.predicate_namespace }
+                    : {}),
                 predicate_args: suggestion.predicate_args,
                 canonical_key: suggestion.canonical_key,
                 polarity: suggestion.polarity,
                 claim_key: claimKey,
-                claim_text: args.text.trim(),
+                // The ledger stores the clause without its sentence punctuation, and
+                // the proof compares the fact's claim_text with the ledger entry
+                // verbatim, so the fact quotes the same normalised clause.
+                claim_text: normalizeSemanticClause(args.text),
             },
             relationships: [],
         },

package/dist/operations/modeling/predicate-loader.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"predicate-loader.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-loader.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0CAA0C,CAAC;AAK3E,OAAO,KAAK,EACV,wBAAwB,EACxB,mBAAmB,EACpB,MAAM,sBAAsB,CAAC;AAI9B,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAExE;AAGD,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,wBAAwB,GAAG,IAAI,CACxE,wBAAwB,EACxB,UAAU,CACX,GAAG;IACF,WAAW,EAAE,mBAAmB,CAAC;CAClC,CA6BA;AAGD,wBAAsB,4BAA4B,CAChD,MAAM,EAAE,UAAU,GAAG,IAAI,EACzB,sBAAsB,EAAE,OAAO,EAC/B,QAAQ,EAAE,MAAM,EAAE,GACjB,OAAO,CAAC,wBAAwB,EAAE,CAAC,CAwBrC;AAGD,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC9B,wBAAwB,EAAE,CA0D5B;AAGD,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC9B,mBAAmB,GAAG,SAAS,CAOjC;AAGD,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAQpD"}
+{"version":3,"file":"predicate-loader.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-loader.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0CAA0C,CAAC;AAK3E,OAAO,KAAK,EACV,wBAAwB,EACxB,mBAAmB,EACpB,MAAM,sBAAsB,CAAC;AAI9B,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAExE;AAGD,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,wBAAwB,GAAG,IAAI,CACxE,wBAAwB,EACxB,UAAU,CACX,GAAG;IACF,WAAW,EAAE,mBAAmB,CAAC;CAClC,CAgCA;AAGD,wBAAsB,4BAA4B,CAChD,MAAM,EAAE,UAAU,GAAG,IAAI,EACzB,sBAAsB,EAAE,OAAO,EAC/B,QAAQ,EAAE,MAAM,EAAE,GACjB,OAAO,CAAC,wBAAwB,EAAE,CAAC,CAwBrC;AAGD,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC9B,wBAAwB,EAAE,CAoE5B;AAGD,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC9B,mBAAmB,GAAG,SAAS,CAOjC;AAGD,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAQpD"}

package/dist/operations/modeling/predicate-loader.js

@@ -10,6 +10,9 @@ export function schemaForCandidate(schema) {
     return {
         id: schema.id,
         predicate_name: schema.predicate_name,
+        ...(schema.predicate_namespace
+            ? { predicate_namespace: schema.predicate_namespace }
+            : {}),
         title: schema.title,
         description: schema.description,
         argument_names: schema.argument_names,
@@ -67,10 +70,18 @@ export function predicateSchemaFromEntity(entity) {
     const argumentDescriptions = stringArray(entity.argument_descriptions);
     const keyArguments = stringArray(entity.key_arguments);
     const vocabulary = predicateVocabularyFromEntity(entity);
+    // A project schema's namespace is part of the predicate signature the
+    // conformance rule checks, so a planned fact has to carry it.
+    const predicateNamespace = normalizeOptionalString(typeof entity.predicate_namespace === "string"
+        ? entity.predicate_namespace
+        : undefined);
     return [
         {
             id: String(entity.id ?? hashId("FACT-SCHEMA", [predicateName])),
             predicate_name: predicateName,
+            ...(predicateNamespace && predicateNamespace !== "default"
+                ? { predicate_namespace: predicateNamespace }
+                : {}),
             title: String(entity.title ?? predicateName),
             description: String(entity.description ??
                 `Project-local ${predicateName} predicate schema.`),

package/dist/operations/modeling/predicate-types.d.ts

@@ -6,6 +6,8 @@ export interface PredicateUsageHints {
 export interface PredicateSchemaCandidate {
     id: string;
     predicate_name: string;
+    /** The schema's predicate_namespace; absent for the default namespace. */
+    predicate_namespace?: string;
     title: string;
     description: string;
     argument_names: string[];
@@ -128,7 +130,30 @@ export interface ExistingClaimGrounding {
     };
     factId: string;
     factKind: string | null;
+    /** The stored claim_key of the grounding fact. */
     claimKey: string;
+    /** The stored canonical_key of the grounding fact (predicate facts), else null. */
+    canonicalKey: string | null;
+    /**
+     * How the fact was recognised as grounding this claim: the same claim_key
+     * (the same proposition text), or the same canonical_key as the recommended
+     * candidate (the same predicate tuple stated in other words).
+     */
+    matchedBy: "claim_key" | "canonical_key";
+}
+/**
+ * A stored decision-predicate fact of a current requirement that agrees with
+ * the recommended candidate on every key argument and decides the opposite,
+ * found when no hash-bound plan carried the contradiction analysis.
+ */
+export interface CandidateDecisionConflict {
+    requirementId: string;
+    factId: string;
+    /** The stored fact's effective decision. */
+    effect: string;
+    /** The candidate's effective decision. */
+    proposedEffect: string;
+    canonicalKey: string;
 }
 export interface SuggestPredicatesResult {
     content: Array<{
@@ -143,7 +168,7 @@ export interface SuggestPredicatesResult {
         requirementId: string | null;
         subject: string;
         candidates: PredicateSuggestion[];
-        recommendedAction: "apply_requires_predicate" | "provide_argument_bindings" | "resolve_schema_reference" | "record_ontology_gap" | "review_nonlogical" | "replace_grounding";
+        recommendedAction: "apply_requires_predicate" | "provide_argument_bindings" | "resolve_schema_reference" | "record_ontology_gap" | "review_nonlogical" | "replace_grounding" | "extend_requirement" | "keep_existing_grounding";
         recommendedPredicateSchema: RecommendedPredicateSchema | null;
         applyPlan: Array<Record<string, unknown>>;
         relationshipPlan: Record<string, unknown> | null;
@@ -156,6 +181,12 @@ export interface SuggestPredicatesResult {
         /** The planned predicate fact id a requires_predicate link must target (never a candidate id). */
         relationshipTarget?: string | null;
         existingGrounding?: ExistingClaimGrounding[];
+        /**
+         * Stored decision facts of current requirements that contradict the
+         * recommended candidate on its key arguments; empty when a plan carried
+         * the contradiction analysis or no complete candidate was found.
+         */
+        decisionConflicts?: CandidateDecisionConflict[];
         replacementPlan?: Record<string, unknown> | null;
         /** On provide_argument_bindings: one hint per unbound argument of the recommended candidate. */
         bindingHints?: BindingHint[];

package/dist/operations/modeling/predicate-types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"predicate-types.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-types.ts"],"names":[],"mappings":"AACA,MAAM,MAAM,iBAAiB,GAAG,QAAQ,GAAG,MAAM,CAAC;AAGlD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,eAAe,EAAE,MAAM,EAAE,CAAC;CAC3B;AAGD,MAAM,WAAW,wBAAwB;IACvC,EAAE,EAAE,MAAM,CAAC;IACX,cAAc,EAAE,MAAM,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,wEAAwE;IACxE,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,qEAAqE;IACrE,kBAAkB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC9C,0EAA0E;IAC1E,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1D;;;OAGG;IACH,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,mGAAmG;IACnG,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,WAAW,CAAC,EAAE,mBAAmB,CAAC;CACnC;AAGD,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG;IACtE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,sBAAsB,CAAC,EAAE,OAAO,CAAC;IAC1C,+EAA+E;IAC/E,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,4EAA4E;IAC5E,QAAQ,CAAC,gBAAgB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC7D,qEAAqE;IACrE,QAAQ,CAAC,YAAY,CAAC,EAAE,iBAAiB,CAAC;IAC1C,mFAAmF;IACnF,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAClD,CAAC;AAGF,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,cAAc,EAAE,UAAU,GAAG,YAAY,CAAC;IAC1C,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,+EAA+E;IAC/E,kBAAkB,EAAE,iBAAiB,CAAC;IACtC,iFAAiF;IACjF,8BAA8B,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAClE;;;;OAIG;IACH,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B;;;;OAIG;IACH,eAAe,EAAE,QAAQ,GAAG,UAAU,GAAG,cAAc,CAAC;IACxD,WAAW,EAAE,UAAU,GAAG,UAAU,CAAC;IACrC,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,gBAAgB,EAAE,wBAAwB,CAAC;IAC3C,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,IAAI,CAAC,wBAAwB,EAAE,UAAU,CAAC,GAAG;QACnD,WAAW,EAAE,mBAAmB,CAAC;KAClC,CAAC;CACH;AAED,MAAM,MAAM,iBAAiB,GACzB,UAAU,GACV,aAAa,GACb,WAAW,GACX,UAAU,GACV,aAAa,CAAC;AAElB,MAAM,WAAW,wBAAwB;IACvC,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,0BAA0B;IACzC,cAAc,EAAE,MAAM,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3C,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED;;;;GAIG;AAEH,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,iBAAiB,CAAC;IAC9B,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,gFAAgF;AAEhF,MAAM,WAAW,sBAAsB;IACrC,YAAY,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC;IACzD,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAGD,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/C,iBAAiB,EAAE;QACjB,IAAI,EAAE,MAAM,CAAC;QACb,QAAQ,EAAE,MAAM,CAAC;QACjB,WAAW,EAAE,MAAM,EAAE,CAAC;QACtB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;QACtB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;QAC7B,OAAO,EAAE,MAAM,CAAC;QAChB,UAAU,EAAE,mBAAmB,EAAE,CAAC;QAClC,iBAAiB,EACb,0BAA0B,GAC1B,2BAA2B,GAC3B,0BAA0B,GAC1B,qBAAqB,GACrB,mBAAmB,GACnB,mBAAmB,CAAC;QACxB,0BAA0B,EAAE,0BAA0B,GAAG,IAAI,CAAC;QAC9D,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QAC1C,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;QACjD;;;;WAIG;QACH,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;QACrC,kGAAkG;QAClG,kBAAkB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;QACnC,iBAAiB,CAAC,EAAE,sBAAsB,EAAE,CAAC;QAC7C,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;QACjD,gGAAgG;QAChG,YAAY,CAAC,EAAE,WAAW,EAAE,CAAC;QAC7B,QAAQ,EAAE,MAAM,EAAE,CAAC;KACpB,CAAC;IACF,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAC3C"}
+{"version":3,"file":"predicate-types.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-types.ts"],"names":[],"mappings":"AACA,MAAM,MAAM,iBAAiB,GAAG,QAAQ,GAAG,MAAM,CAAC;AAGlD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,eAAe,EAAE,MAAM,EAAE,CAAC;CAC3B;AAGD,MAAM,WAAW,wBAAwB;IACvC,EAAE,EAAE,MAAM,CAAC;IACX,cAAc,EAAE,MAAM,CAAC;IACvB,0EAA0E;IAC1E,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,wEAAwE;IACxE,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,qEAAqE;IACrE,kBAAkB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC9C,0EAA0E;IAC1E,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1D;;;OAGG;IACH,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,mGAAmG;IACnG,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,WAAW,CAAC,EAAE,mBAAmB,CAAC;CACnC;AAGD,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG;IACtE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,sBAAsB,CAAC,EAAE,OAAO,CAAC;IAC1C,+EAA+E;IAC/E,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,4EAA4E;IAC5E,QAAQ,CAAC,gBAAgB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC7D,qEAAqE;IACrE,QAAQ,CAAC,YAAY,CAAC,EAAE,iBAAiB,CAAC;IAC1C,mFAAmF;IACnF,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAClD,CAAC;AAGF,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,cAAc,EAAE,UAAU,GAAG,YAAY,CAAC;IAC1C,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,+EAA+E;IAC/E,kBAAkB,EAAE,iBAAiB,CAAC;IACtC,iFAAiF;IACjF,8BAA8B,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAClE;;;;OAIG;IACH,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B;;;;OAIG;IACH,eAAe,EAAE,QAAQ,GAAG,UAAU,GAAG,cAAc,CAAC;IACxD,WAAW,EAAE,UAAU,GAAG,UAAU,CAAC;IACrC,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,gBAAgB,EAAE,wBAAwB,CAAC;IAC3C,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,IAAI,CAAC,wBAAwB,EAAE,UAAU,CAAC,GAAG;QACnD,WAAW,EAAE,mBAAmB,CAAC;KAClC,CAAC;CACH;AAED,MAAM,MAAM,iBAAiB,GACzB,UAAU,GACV,aAAa,GACb,WAAW,GACX,UAAU,GACV,aAAa,CAAC;AAElB,MAAM,WAAW,wBAAwB;IACvC,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,0BAA0B;IACzC,cAAc,EAAE,MAAM,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3C,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED;;;;GAIG;AAEH,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,iBAAiB,CAAC;IAC9B,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,gFAAgF;AAEhF,MAAM,WAAW,sBAAsB;IACrC,YAAY,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC;IACzD,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,kDAAkD;IAClD,QAAQ,EAAE,MAAM,CAAC;IACjB,mFAAmF;IACnF,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B;;;;OAIG;IACH,SAAS,EAAE,WAAW,GAAG,eAAe,CAAC;CAC1C;AAED;;;;GAIG;AAEH,MAAM,WAAW,yBAAyB;IACxC,aAAa,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,4CAA4C;IAC5C,MAAM,EAAE,MAAM,CAAC;IACf,0CAA0C;IAC1C,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;CACtB;AAGD,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/C,iBAAiB,EAAE;QACjB,IAAI,EAAE,MAAM,CAAC;QACb,QAAQ,EAAE,MAAM,CAAC;QACjB,WAAW,EAAE,MAAM,EAAE,CAAC;QACtB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;QACtB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;QAC7B,OAAO,EAAE,MAAM,CAAC;QAChB,UAAU,EAAE,mBAAmB,EAAE,CAAC;QAClC,iBAAiB,EACb,0BAA0B,GAC1B,2BAA2B,GAC3B,0BAA0B,GAC1B,qBAAqB,GACrB,mBAAmB,GACnB,mBAAmB,GACnB,oBAAoB,GACpB,yBAAyB,CAAC;QAC9B,0BAA0B,EAAE,0BAA0B,GAAG,IAAI,CAAC;QAC9D,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QAC1C,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;QACjD;;;;WAIG;QACH,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;QACrC,kGAAkG;QAClG,kBAAkB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;QACnC,iBAAiB,CAAC,EAAE,sBAAsB,EAAE,CAAC;QAC7C;;;;WAIG;QACH,iBAAiB,CAAC,EAAE,yBAAyB,EAAE,CAAC;QAChD,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;QACjD,gGAAgG;QAChG,YAAY,CAAC,EAAE,WAAW,EAAE,CAAC;QAC7B,QAAQ,EAAE,MAAM,EAAE,CAAC;KACpB,CAAC;IACF,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAC3C"}

package/dist/operations/modeling/suggest-predicates.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"suggest-predicates.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/suggest-predicates.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,gBAAgB,EAChB,UAAU,EACX,MAAM,0CAA0C,CAAC;AA2BlD,OAAO,KAAK,EAGV,mBAAmB,EACnB,qBAAqB,EACrB,uBAAuB,EACxB,MAAM,sBAAsB,CAAC;AAG9B,YAAY,EACV,iBAAiB,EACjB,wBAAwB,EACxB,mBAAmB,EACnB,0BAA0B,EAC1B,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,sBAAsB,CAAC;AA+H9B,wBAAgB,sCAAsC,CACpD,IAAI,EAAE,IAAI,CAAC,mBAAmB,EAAE,qBAAqB,GAAG,gBAAgB,CAAC,EACzE,KAAK,EAAE,IAAI,CAAC,mBAAmB,EAAE,qBAAqB,GAAG,gBAAgB,CAAC,GACzE,MAAM,CAIR;AAED,wBAAgB,2CAA2C,CACzD,IAAI,EAAE,IAAI,CACR,mBAAmB,EACnB,qBAAqB,GAAG,OAAO,GAAG,gBAAgB,CACnD,EACD,KAAK,EAAE,IAAI,CACT,mBAAmB,EACnB,qBAAqB,GAAG,OAAO,GAAG,gBAAgB,CACnD,GACA,MAAM,CAKR;AA+HD,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,UAAU,GAAG,IAAI,EACzB,IAAI,EAAE,qBAAqB,EAC3B,OAAO,CAAC,EAAE,gBAAgB,GACzB,OAAO,CAAC,uBAAuB,CAAC,CAmUlC;AAiRD,wBAAsB,wBAAwB,CAC5C,IAAI,EAAE,qBAAqB,EAC3B,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,uBAAuB,CAAC,CAElC"}
+{"version":3,"file":"suggest-predicates.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/suggest-predicates.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,gBAAgB,EAChB,UAAU,EACX,MAAM,0CAA0C,CAAC;AA2BlD,OAAO,KAAK,EAIV,mBAAmB,EACnB,qBAAqB,EACrB,uBAAuB,EACxB,MAAM,sBAAsB,CAAC;AAG9B,YAAY,EACV,iBAAiB,EACjB,wBAAwB,EACxB,mBAAmB,EACnB,0BAA0B,EAC1B,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,sBAAsB,CAAC;AA+H9B,wBAAgB,sCAAsC,CACpD,IAAI,EAAE,IAAI,CAAC,mBAAmB,EAAE,qBAAqB,GAAG,gBAAgB,CAAC,EACzE,KAAK,EAAE,IAAI,CAAC,mBAAmB,EAAE,qBAAqB,GAAG,gBAAgB,CAAC,GACzE,MAAM,CAIR;AAED,wBAAgB,2CAA2C,CACzD,IAAI,EAAE,IAAI,CACR,mBAAmB,EACnB,qBAAqB,GAAG,OAAO,GAAG,gBAAgB,CACnD,EACD,KAAK,EAAE,IAAI,CACT,mBAAmB,EACnB,qBAAqB,GAAG,OAAO,GAAG,gBAAgB,CACnD,GACA,MAAM,CAKR;AA+ID,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,UAAU,GAAG,IAAI,EACzB,IAAI,EAAE,qBAAqB,EAC3B,OAAO,CAAC,EAAE,gBAAgB,GACzB,OAAO,CAAC,uBAAuB,CAAC,CAyYlC;AA+WD,wBAAsB,wBAAwB,CAC5C,IAAI,EAAE,qBAAqB,EAC3B,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,uBAAuB,CAAC,CAElC"}