kibi-cli 2.1.0 → 2.3.0

package/dist/public/operations/impact-review-preparation.js

@@ -0,0 +1,379 @@
+import { execFileSync } from "node:child_process";
+import { createMaintenanceSourceAnalysisService, fingerprintMaintenanceSourceSet, readSnapshotSourceConfig, } from "../../plugins/maintenance-source-analysis.js";
+import { analyzeSourceChanges } from "../../plugins/source-change-analysis.js";
+import { analysisObligation } from "../../traceability/analysis-gate.js";
+import { captureDiffSnapshot, captureStagedSnapshot, } from "../../traceability/git-change-snapshot.js";
+import { fingerprintImpactEvaluator, prepareImpactReview, } from "../../traceability/impact-evaluator.js";
+import { IMPACT_EVALUATOR_VERSION, IMPACT_REVIEW_VERSION, canonicalJson, } from "../../traceability/impact-review.js";
+import impactReviewRecordSchema from "../../traceability/impact-review.schema.json" with {
+    type: "json"
+};
+import { readSnapshotKnowledge } from "../../traceability/snapshot-knowledge.js";
+const FULL_COMMIT_OID = /^(?:[a-f0-9]{40}|[a-f0-9]{64})$/;
+const SEMANTIC_RELATIONSHIPS = new Set([
+    "constrains",
+    "depends_on",
+    "requires_predicate",
+    "requires_property",
+    "requires_rule",
+    "specified_by",
+    "supersedes",
+    "validates",
+    "verified_by",
+]);
+function compareText(left, right) {
+    return left < right ? -1 : left > right ? 1 : 0;
+}
+function gitText(root, args) {
+    return execFileSync("git", [...args], {
+        cwd: root,
+        encoding: "utf8",
+        maxBuffer: 64 * 1024 * 1024,
+        stdio: ["ignore", "pipe", "pipe"],
+    }).trim();
+}
+function resolveCommit(root, oid) {
+    return gitText(root, [
+        "rev-parse",
+        "--verify",
+        "--end-of-options",
+        `${oid}^{commit}`,
+    ]);
+}
+function treeForCommit(root, oid) {
+    return gitText(root, [
+        "rev-parse",
+        "--verify",
+        "--end-of-options",
+        `${oid}^{tree}`,
+    ]);
+}
+function assertExplicitDiffUnchanged(root, input, snapshot) {
+    const baseCommit = resolveCommit(root, input.baseCommit);
+    const headCommit = resolveCommit(root, input.headCommit);
+    if (baseCommit !== input.baseCommit ||
+        headCommit !== input.headCommit ||
+        snapshot.headCommit !== baseCommit ||
+        treeForCommit(root, baseCommit) !== snapshot.baseTree ||
+        treeForCommit(root, headCommit) !== snapshot.headTree)
+        throw new Error("Selected diff commit or tree identity changed during impact review preparation");
+}
+function snapshotIdentity(scope, snapshot) {
+    return {
+        kind: scope.kind,
+        baseCommit: scope.kind === "diff" ? scope.baseCommit : snapshot.headCommit,
+        baseTree: snapshot.baseTree,
+        headCommit: scope.kind === "diff" ? scope.headCommit : null,
+        headTree: snapshot.headTree,
+        headTreeSource: scope.kind === "diff" ? "commit" : "index",
+    };
+}
+function plainEntity(entity) {
+    return Object.fromEntries(Object.entries(entity)
+        .filter(([key]) => !["created_at", "updated_at", "proof_receipts"].includes(key))
+        .sort(([left], [right]) => compareText(left, right)));
+}
+function entityMap(snapshot, tree) {
+    return new Map(readSnapshotKnowledge(snapshot.readGit, tree, snapshot.readBlobs).map((row) => [
+        row.entity.id,
+        {
+            entity: row.entity,
+            relationships: row.relationships.map(({ type, from, to }) => ({
+                type,
+                from,
+                to,
+            })),
+            ...(row.sourceFile ? { sourceFile: row.sourceFile } : {}),
+        },
+    ]));
+}
+function requirementContext(id, rows, entities, allRows) {
+    const row = rows.get(id);
+    const binding = entities.get(id);
+    if (!row || !binding) {
+        return {
+            id,
+            state: "absent",
+            entityFingerprint: null,
+            artifactPath: null,
+            sourcePath: null,
+            relationships: [],
+            relatedEntities: [],
+        };
+    }
+    const relationships = [...allRows.entries()]
+        .flatMap(([ownerId, candidate]) => candidate.relationships
+        .filter((relationship) => SEMANTIC_RELATIONSHIPS.has(relationship.type) &&
+        (relationship.from === id || relationship.to === id))
+        .map((relationship) => ({ ownerId, ...relationship })))
+        .sort((left, right) => compareText(canonicalJson(left), canonicalJson(right)));
+    const relatedIds = [
+        ...new Set(relationships
+            .flatMap(({ from, to }) => [from, to])
+            .filter((relatedId) => relatedId !== id)),
+    ].sort();
+    return {
+        id,
+        state: "present",
+        entityFingerprint: binding.fingerprint,
+        artifactPath: binding.artifactPath,
+        sourcePath: binding.sourcePath ?? row.sourceFile ?? null,
+        entity: plainEntity(row.entity),
+        relationships: relationships.map(({ ownerId: _ownerId, ...edge }) => edge),
+        relatedEntities: relatedIds.flatMap((relatedId) => {
+            const related = allRows.get(relatedId);
+            if (!related)
+                return [];
+            const relatedBinding = entities.get(relatedId);
+            return [
+                {
+                    id: relatedId,
+                    type: related.entity.type ?? null,
+                    entityFingerprint: relatedBinding?.fingerprint ?? null,
+                    artifactPath: relatedBinding?.artifactPath ?? null,
+                    sourcePath: relatedBinding?.sourcePath ?? related.sourceFile ?? null,
+                    entity: plainEntity(related.entity),
+                },
+            ];
+        }),
+    };
+}
+function requirementScopes(prepared, snapshot) {
+    const before = entityMap(snapshot, snapshot.baseTree);
+    const after = entityMap(snapshot, snapshot.headTree);
+    return [...prepared.scopedRequirementIdsByPath.entries()]
+        .sort(([left], [right]) => compareText(left, right))
+        .map(([path, requirementIds]) => ({
+        path,
+        requirementIds: [...requirementIds].sort(),
+        before: [...requirementIds]
+            .sort()
+            .map((id) => requirementContext(id, before, prepared.baseEntities, before)),
+        after: [...requirementIds]
+            .sort()
+            .map((id) => requirementContext(id, after, prepared.headEntities, after)),
+    }));
+}
+function residualReviewObligations(prepared) {
+    const obligations = [];
+    for (const file of prepared.files) {
+        for (const side of ["before", "after"]) {
+            const analysis = file[side]?.analysis;
+            if (!analysis)
+                continue;
+            const obligation = analysisObligation(side, analysis, file.newHunkRanges);
+            if (obligation.kind === "unsupported_review") {
+                obligations.push({
+                    path: file.path,
+                    side,
+                    status: analysis.status,
+                    diagnosticCodes: [...analysis.diagnosticCodes].sort(),
+                    kind: "unsupported_review",
+                    wholeFile: true,
+                    pending: true,
+                });
+                continue;
+            }
+            if (obligation.kind !== "partial_review")
+                continue;
+            const limitationClasses = new Set();
+            for (const code of analysis.diagnosticCodes) {
+                const allowed = prepared.policy.allowedPartial.find((entry) => entry.providerId === analysis.providerId &&
+                    entry.providerFingerprint === analysis.providerFingerprint &&
+                    entry.diagnosticCode === code);
+                if (allowed)
+                    limitationClasses.add(allowed.limitationClass);
+            }
+            const limitationClass = [...limitationClasses][0];
+            if (limitationClasses.size !== 1 || limitationClass === undefined)
+                throw new Error(`Partial review obligation is not covered by the trusted policy: ${file.path} (${side})`);
+            obligations.push({
+                path: file.path,
+                side,
+                status: analysis.status,
+                diagnosticCodes: [...analysis.diagnosticCodes].sort(),
+                kind: "partial_review",
+                limitationClass,
+                ranges: obligation.ranges.map((range) => ({ ...range })),
+                pending: true,
+            });
+        }
+    }
+    return obligations.sort((left, right) => compareText(`${left.path}\0${left.side}`, `${right.path}\0${right.side}`));
+}
+function cloneRecordSchema() {
+    return JSON.parse(JSON.stringify(impactReviewRecordSchema));
+}
+function cloneRecordTemplateSchema() {
+    const schema = cloneRecordSchema();
+    schema.$id = "urn:kibi:impact-review-authoring-record-template:v1";
+    const properties = schema.properties;
+    properties.reviewedAt = { type: "null" };
+    const definitions = schema.$defs;
+    const reviewer = definitions.reviewer;
+    reviewer.properties.id = { type: "null" };
+    const file = definitions.file;
+    file.properties.analysisReviews = {
+        anyOf: [file.properties.analysisReviews, { type: "null" }],
+    };
+    file.properties.decision = {
+        anyOf: [file.properties.decision, { type: "null" }],
+    };
+    return schema;
+}
+function authoringContract(prepared) {
+    const recordHeaders = {
+        contractVersion: IMPACT_REVIEW_VERSION,
+        policy: {
+            id: prepared.policy.id,
+            version: prepared.policy.version,
+            fingerprint: prepared.policyFingerprint,
+        },
+        evaluator: {
+            contractVersion: IMPACT_EVALUATOR_VERSION,
+            fingerprint: prepared.evaluatorFingerprint,
+        },
+        scope: {
+            fingerprint: prepared.scopeFingerprint,
+            knowledgeFingerprint: prepared.knowledgeFingerprint,
+            providerSetFingerprint: prepared.providerSetFingerprint,
+        },
+    };
+    return {
+        templateVersion: "kibi.impact-review-authoring-template.v1",
+        isValidImpactReviewRecord: false,
+        instructions: "This template is reviewer input only. Author every decision, required analysis review, rationale, reviewer id, and reviewedAt before strict record validation. It is not an approval, signature, or proof receipt.",
+        authoredFields: [
+            "files[].decision",
+            "files[].analysisReviews",
+            "reviewer.id",
+            "reviewedAt",
+        ],
+        recordSchema: cloneRecordSchema(),
+        decisionSchema: { $ref: "urn:kibi:impact-review:v1#/$defs/decision" },
+        analysisReviewSchema: {
+            oneOf: [
+                { $ref: "urn:kibi:impact-review:v1#/$defs/unsupportedReview" },
+                { $ref: "urn:kibi:impact-review:v1#/$defs/partialReview" },
+            ],
+        },
+        templateSchema: {
+            $schema: "https://json-schema.org/draft/2020-12/schema",
+            $id: "urn:kibi:impact-review-authoring-template:v1",
+            type: "object",
+            additionalProperties: false,
+            required: ["templateVersion", "isValidImpactReviewRecord", "record"],
+            properties: {
+                templateVersion: {
+                    const: "kibi.impact-review-authoring-template.v1",
+                },
+                isValidImpactReviewRecord: { const: false },
+                record: cloneRecordTemplateSchema(),
+            },
+        },
+        recordTemplate: {
+            templateVersion: "kibi.impact-review-authoring-template.v1",
+            isValidImpactReviewRecord: false,
+            record: {
+                ...recordHeaders,
+                reviewer: { id: null, source: "self-claimed-local" },
+                reviewedAt: null,
+                files: prepared.files
+                    .slice()
+                    .sort((left, right) => compareText(left.path, right.path))
+                    .map((file) => ({
+                    ...withoutAnalysisReviews(file),
+                    analysisReviews: null,
+                    decision: null,
+                })),
+            },
+        },
+    };
+}
+function withoutAnalysisReviews(file) {
+    const { analysisReviews: _analysisReviews, ...evidence } = file;
+    return evidence;
+}
+function completeFileEvidence(prepared) {
+    return prepared.files
+        .slice()
+        .sort((left, right) => compareText(left.path, right.path))
+        .map((file) => withoutAnalysisReviews(file));
+}
+function buildPreparation(scope, snapshot, prepared) {
+    return {
+        preparationVersion: "kibi.impact-review-preparation.v1",
+        status: "ready_for_authoring",
+        snapshot: snapshotIdentity(scope, snapshot),
+        recordHeaders: {
+            contractVersion: IMPACT_REVIEW_VERSION,
+            policy: {
+                id: prepared.policy.id,
+                version: prepared.policy.version,
+                fingerprint: prepared.policyFingerprint,
+            },
+            evaluator: {
+                contractVersion: IMPACT_EVALUATOR_VERSION,
+                fingerprint: prepared.evaluatorFingerprint,
+            },
+            scope: {
+                fingerprint: prepared.scopeFingerprint,
+                knowledgeFingerprint: prepared.knowledgeFingerprint,
+                providerSetFingerprint: prepared.providerSetFingerprint,
+            },
+        },
+        files: completeFileEvidence(prepared),
+        requirementScopes: requirementScopes(prepared, snapshot),
+        residualReviewObligations: residualReviewObligations(prepared),
+        authorship: authoringContract(prepared),
+    };
+}
+function validateDiffInput(scope) {
+    if (scope.kind === "diff" &&
+        (!FULL_COMMIT_OID.test(scope.baseCommit) ||
+            !FULL_COMMIT_OID.test(scope.headCommit)))
+        throw new Error("Diff scope requires full lowercase hexadecimal baseCommit and headCommit object IDs");
+}
+export async function executePrepareImpactReview(input, context) {
+    validateDiffInput(input.scope);
+    const workspaceRoot = context.workspaceRoot;
+    const snapshot = input.scope.kind === "staged"
+        ? captureStagedSnapshot(workspaceRoot)
+        : captureDiffSnapshot(workspaceRoot, input.scope.baseCommit, input.scope.headCommit);
+    if (input.scope.kind === "diff")
+        assertExplicitDiffUnchanged(workspaceRoot, input.scope, snapshot);
+    const trustedConfig = readSnapshotSourceConfig(snapshot, snapshot.baseTree);
+    const providerSetFingerprint = fingerprintMaintenanceSourceSet(workspaceRoot, trustedConfig);
+    const evaluatorFingerprint = fingerprintImpactEvaluator();
+    const service = createMaintenanceSourceAnalysisService(workspaceRoot, trustedConfig);
+    const analyses = await analyzeSourceChanges(snapshot.inventory, service);
+    const prepared = prepareImpactReview(snapshot, {
+        providerSetFingerprint,
+        evaluatorFingerprint,
+        analyses,
+    });
+    // Build all KB-derived context before the final snapshot/closure checks.
+    // Projection can be substantial, so checking only before it could return
+    // evidence for a workspace or evaluator closure that changed mid-projection.
+    const data = buildPreparation(input.scope, snapshot, prepared);
+    snapshot.assertUnchanged();
+    if (input.scope.kind === "diff")
+        assertExplicitDiffUnchanged(workspaceRoot, input.scope, snapshot);
+    const finalProviderFingerprint = fingerprintMaintenanceSourceSet(workspaceRoot, trustedConfig);
+    const finalEvaluatorFingerprint = fingerprintImpactEvaluator();
+    if (finalProviderFingerprint !== providerSetFingerprint ||
+        finalEvaluatorFingerprint !== evaluatorFingerprint)
+        throw new Error("Trusted source-provider or impact-evaluator closure changed during impact review preparation");
+    snapshot.assertUnchanged();
+    if (input.scope.kind === "diff")
+        assertExplicitDiffUnchanged(workspaceRoot, input.scope, snapshot);
+    return {
+        content: [
+            {
+                type: "text",
+                text: `Prepared complete ${input.scope.kind} impact-review authoring inputs; every review decision remains unauthored.`,
+            },
+        ],
+        structuredContent: data,
+    };
+}

package/dist/public/operations/index.d.ts

@@ -1,5 +1,6 @@
 export * from "./catalog.js";
 export * from "./check-executor.js";
+export * from "./impact-review-preparation.js";
 export * from "./discovery-entities.js";
 export * from "./discovery-executors.js";
 export * from "./runtime-types.js";
@@ -10,6 +11,7 @@ export * from "./migration-plan.js";
 export * from "./symbol-repair-plan.js";
 export * from "./specs/bootstrap.js";
 export * from "./specs/check.js";
+export * from "./specs/impact-review-preparation.js";
 export * from "./specs/discovery.js";
 export * from "./specs/modeling.js";
 export * from "./specs/planning.js";

package/dist/public/operations/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/public/operations/index.ts"],"names":[],"mappings":"AAAA,cAAc,cAAc,CAAC;AAC7B,cAAc,qBAAqB,CAAC;AACpC,cAAc,yBAAyB,CAAC;AACxC,cAAc,0BAA0B,CAAC;AACzC,cAAc,oBAAoB,CAAC;AACnC,cAAc,iBAAiB,CAAC;AAChC,cAAc,kBAAkB,CAAC;AACjC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,qBAAqB,CAAC;AACpC,cAAc,yBAAyB,CAAC;AACxC,cAAc,sBAAsB,CAAC;AACrC,cAAc,kBAAkB,CAAC;AACjC,cAAc,sBAAsB,CAAC;AACrC,cAAc,qBAAqB,CAAC;AACpC,cAAc,qBAAqB,CAAC;AACpC,cAAc,kBAAkB,CAAC;AACjC,cAAc,qBAAqB,CAAC;AACpC,cAAc,sBAAsB,CAAC;AACrC,cAAc,qBAAqB,CAAC;AACpC,cAAc,mBAAmB,CAAC;AAClC,cAAc,mBAAmB,CAAC;AAClC,cAAc,YAAY,CAAC;AAC3B,cAAc,wBAAwB,CAAC;AACvC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,6BAA6B,CAAC;AAC5C,cAAc,wCAAwC,CAAC;AACvD,cAAc,4CAA4C,CAAC;AAC3D,mBAAmB,qCAAqC,CAAC;AACzD,cAAc,mBAAmB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/public/operations/index.ts"],"names":[],"mappings":"AAAA,cAAc,cAAc,CAAC;AAC7B,cAAc,qBAAqB,CAAC;AACpC,cAAc,gCAAgC,CAAC;AAC/C,cAAc,yBAAyB,CAAC;AACxC,cAAc,0BAA0B,CAAC;AACzC,cAAc,oBAAoB,CAAC;AACnC,cAAc,iBAAiB,CAAC;AAChC,cAAc,kBAAkB,CAAC;AACjC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,qBAAqB,CAAC;AACpC,cAAc,yBAAyB,CAAC;AACxC,cAAc,sBAAsB,CAAC;AACrC,cAAc,kBAAkB,CAAC;AACjC,cAAc,sCAAsC,CAAC;AACrD,cAAc,sBAAsB,CAAC;AACrC,cAAc,qBAAqB,CAAC;AACpC,cAAc,qBAAqB,CAAC;AACpC,cAAc,kBAAkB,CAAC;AACjC,cAAc,qBAAqB,CAAC;AACpC,cAAc,sBAAsB,CAAC;AACrC,cAAc,qBAAqB,CAAC;AACpC,cAAc,mBAAmB,CAAC;AAClC,cAAc,mBAAmB,CAAC;AAClC,cAAc,YAAY,CAAC;AAC3B,cAAc,wBAAwB,CAAC;AACvC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,6BAA6B,CAAC;AAC5C,cAAc,wCAAwC,CAAC;AACvD,cAAc,4CAA4C,CAAC;AAC3D,mBAAmB,qCAAqC,CAAC;AACzD,cAAc,mBAAmB,CAAC"}

package/dist/public/operations/index.js

@@ -1,5 +1,6 @@
 export * from "./catalog.js";
 export * from "./check-executor.js";
+export * from "./impact-review-preparation.js";
 export * from "./discovery-entities.js";
 export * from "./discovery-executors.js";
 export * from "./runtime-types.js";
@@ -10,6 +11,7 @@ export * from "./migration-plan.js";
 export * from "./symbol-repair-plan.js";
 export * from "./specs/bootstrap.js";
 export * from "./specs/check.js";
+export * from "./specs/impact-review-preparation.js";
 export * from "./specs/discovery.js";
 export * from "./specs/modeling.js";
 export * from "./specs/planning.js";

package/dist/public/operations/migration-plan.d.ts

@@ -70,6 +70,8 @@ export declare function compareReadyActionIds(left: string, right: string, byId:
 export declare function buildMigrationPlan(input?: PlanInput): MigrationPlan;
 export declare function mergeMigrationPlans(plans: readonly MigrationPlan[]): MigrationPlan;
 export declare function migrationAction(input: Partial<MigrationAction> & Pick<MigrationAction, "id" | "code">): MigrationAction;
+/** Migration code for mechanical predicate namespace/alias repairs. */
+export declare const PREDICATE_SCHEMA_ALIGNMENT_CODE = "predicate_schema_alignment";
 export declare function buildActionsFromCheck(input: {
     violations?: readonly Readonly<Record<string, unknown>>[];
     qualityDiagnostics?: readonly Readonly<Record<string, unknown>>[];

package/dist/public/operations/migration-plan.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"migration-plan.d.ts","sourceRoot":"","sources":["../../../src/public/operations/migration-plan.ts"],"names":[],"mappings":"AAUA,eAAO,MAAM,sBAAsB,EAAG,wBAAiC,CAAC;AAExE,MAAM,MAAM,oBAAoB,GAAG,OAAO,GAAG,SAAS,CAAC;AACvD,MAAM,MAAM,eAAe,GAAG,WAAW,GAAG,QAAQ,GAAG,UAAU,GAAG,WAAW,CAAC;AAChF,MAAM,MAAM,oBAAoB,GAAG,OAAO,GAAG,UAAU,GAAG,UAAU,CAAC;AAErE,MAAM,MAAM,mBAAmB,GAC3B,QAAQ,CAAC;IACP,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAC1C,CAAC,GACF,QAAQ,CAAC;IACP,IAAI,EAAE,KAAK,CAAC;IACZ,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CACjC,CAAC,GACF,QAAQ,CAAC;IACP,IAAI,EAAE,QAAQ,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;CACrB,CAAC,CAAC;AAEP,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EACJ,SAAS,GACT,QAAQ,GACR,SAAS,GACT,QAAQ,GACR,WAAW,GACX,cAAc,GACd,QAAQ,GACR,UAAU,GACV,OAAO,GACP,SAAS,CAAC;IACd,KAAK,EAAE,oBAAoB,CAAC;IAC5B,MAAM,EAAE,eAAe,CAAC;IACxB,UAAU,EAAE,mBAAmB,CAAC;IAChC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,aAAa,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IAC5D,cAAc,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IAC7D,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC5C,cAAc,EAAE,OAAO,CAAC;IACxB,mBAAmB,EAAE,OAAO,CAAC;IAC7B,mBAAmB,EAAE,SAAS,oBAAoB,EAAE,CAAC;CACtD,CAAC,CAAC;AAEH,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC;IACnC,OAAO,EAAE,OAAO,sBAAsB,CAAC;IACvC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,YAAY,GAAG,OAAO,GAAG,SAAS,GAAG,SAAS,CAAC;IACvD,QAAQ,EAAE,QAAQ,CAAC;QACjB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;QACtB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;QACxB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;QAC5B,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;QACjC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;KAC3B,CAAC,CAAC;IACH,KAAK,EAAE,QAAQ,CAAC;QACd,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;QACpC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;QACrC,QAAQ,EAAE,OAAO,CAAC;KACnB,CAAC,CAAC;IACH,OAAO,EAAE,QAAQ,CAAC;QAChB,WAAW,EAAE,MAAM,CAAC;QACpB,gBAAgB,EAAE,MAAM,CAAC;QACzB,kBAAkB,EAAE,MAAM,CAAC;QAC3B,oBAAoB,EAAE,MAAM,CAAC;QAC7B,iBAAiB,EAAE,MAAM,CAAC;QAC1B,mBAAmB,EAAE,MAAM,CAAC;QAC5B,oBAAoB,EAAE,MAAM,CAAC;KAC9B,CAAC,CAAC;IACH,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IACpC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CAChC,CAAC,CAAC;AAEH,KAAK,SAAS,GAAG,QAAQ,CAAC;IACxB,QAAQ,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC;IAC9C,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,OAAO,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC;IACrC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACjC,CAAC,CAAC;AAuBH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAIxD;AAeD,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,GACzC,MAAM,CAOR;AAuED,wBAAgB,kBAAkB,CAAC,KAAK,GAAE,SAAc,GAAG,aAAa,CAsCvE;AAED,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,SAAS,aAAa,EAAE,GAC9B,aAAa,CA0Bf;AA6BD,wBAAgB,eAAe,CAC7B,KAAK,EAAE,OAAO,CAAC,eAAe,CAAC,GAAG,IAAI,CAAC,eAAe,EAAE,IAAI,GAAG,MAAM,CAAC,GACrE,eAAe,CAEjB;AAED,wBAAgB,qBAAqB,CAAC,KAAK,EAAE;IAC3C,UAAU,CAAC,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IAC1D,kBAAkB,CAAC,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;CACnE,GAAG,eAAe,EAAE,CAuDpB;AAED,wBAAgB,wBAAwB,CAAC,KAAK,EAAE;IAC9C,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/C,gBAAgB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACtD,GAAG,eAAe,EAAE,CAgFpB;AAED,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC;IAC3C,MAAM,EAAE,SAAS,GAAG,SAAS,GAAG,OAAO,GAAG,SAAS,GAAG,OAAO,CAAC;IAC9D,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,OAAO,CAAC;IACxB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B,CAAC,CAAC;AAEH,wBAAgB,yBAAyB,CACvC,aAAa,EAAE,MAAM,GACpB,qBAAqB,CA8BvB;AAwBD,wBAAgB,sBAAsB,CAAC,KAAK,EAAE;IAC5C,aAAa,EAAE,MAAM,CAAC;IACtB,gBAAgB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACrD,WAAW,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAChD,YAAY,CAAC,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IAC5D,sBAAsB,CAAC,EAAE,OAAO,CAAC;IACjC,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,iBAAiB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,YAAY,CAAC,EAAE,qBAAqB,CAAC;CACtC,GAAG,aAAa,CA6MhB"}
+{"version":3,"file":"migration-plan.d.ts","sourceRoot":"","sources":["../../../src/public/operations/migration-plan.ts"],"names":[],"mappings":"AAUA,eAAO,MAAM,sBAAsB,EAAG,wBAAiC,CAAC;AAExE,MAAM,MAAM,oBAAoB,GAAG,OAAO,GAAG,SAAS,CAAC;AACvD,MAAM,MAAM,eAAe,GAAG,WAAW,GAAG,QAAQ,GAAG,UAAU,GAAG,WAAW,CAAC;AAChF,MAAM,MAAM,oBAAoB,GAAG,OAAO,GAAG,UAAU,GAAG,UAAU,CAAC;AAErE,MAAM,MAAM,mBAAmB,GAC3B,QAAQ,CAAC;IACP,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAC1C,CAAC,GACF,QAAQ,CAAC;IACP,IAAI,EAAE,KAAK,CAAC;IACZ,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CACjC,CAAC,GACF,QAAQ,CAAC;IACP,IAAI,EAAE,QAAQ,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;CACrB,CAAC,CAAC;AAEP,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EACJ,SAAS,GACT,QAAQ,GACR,SAAS,GACT,QAAQ,GACR,WAAW,GACX,cAAc,GACd,QAAQ,GACR,UAAU,GACV,OAAO,GACP,SAAS,CAAC;IACd,KAAK,EAAE,oBAAoB,CAAC;IAC5B,MAAM,EAAE,eAAe,CAAC;IACxB,UAAU,EAAE,mBAAmB,CAAC;IAChC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,aAAa,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IAC5D,cAAc,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IAC7D,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC5C,cAAc,EAAE,OAAO,CAAC;IACxB,mBAAmB,EAAE,OAAO,CAAC;IAC7B,mBAAmB,EAAE,SAAS,oBAAoB,EAAE,CAAC;CACtD,CAAC,CAAC;AAEH,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC;IACnC,OAAO,EAAE,OAAO,sBAAsB,CAAC;IACvC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,YAAY,GAAG,OAAO,GAAG,SAAS,GAAG,SAAS,CAAC;IACvD,QAAQ,EAAE,QAAQ,CAAC;QACjB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;QACtB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;QACxB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;QAC5B,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;QACjC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;KAC3B,CAAC,CAAC;IACH,KAAK,EAAE,QAAQ,CAAC;QACd,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;QACpC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;QACrC,QAAQ,EAAE,OAAO,CAAC;KACnB,CAAC,CAAC;IACH,OAAO,EAAE,QAAQ,CAAC;QAChB,WAAW,EAAE,MAAM,CAAC;QACpB,gBAAgB,EAAE,MAAM,CAAC;QACzB,kBAAkB,EAAE,MAAM,CAAC;QAC3B,oBAAoB,EAAE,MAAM,CAAC;QAC7B,iBAAiB,EAAE,MAAM,CAAC;QAC1B,mBAAmB,EAAE,MAAM,CAAC;QAC5B,oBAAoB,EAAE,MAAM,CAAC;KAC9B,CAAC,CAAC;IACH,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IACpC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CAChC,CAAC,CAAC;AAEH,KAAK,SAAS,GAAG,QAAQ,CAAC;IACxB,QAAQ,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC;IAC9C,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,OAAO,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC;IACrC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACjC,CAAC,CAAC;AAuBH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAIxD;AAeD,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,GACzC,MAAM,CAOR;AAuED,wBAAgB,kBAAkB,CAAC,KAAK,GAAE,SAAc,GAAG,aAAa,CAsCvE;AAED,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,SAAS,aAAa,EAAE,GAC9B,aAAa,CA0Bf;AA6BD,wBAAgB,eAAe,CAC7B,KAAK,EAAE,OAAO,CAAC,eAAe,CAAC,GAAG,IAAI,CAAC,eAAe,EAAE,IAAI,GAAG,MAAM,CAAC,GACrE,eAAe,CAEjB;AAkDD,uEAAuE;AACvE,eAAO,MAAM,+BAA+B,+BAA+B,CAAC;AAG5E,wBAAgB,qBAAqB,CAAC,KAAK,EAAE;IAC3C,UAAU,CAAC,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IAC1D,kBAAkB,CAAC,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;CACnE,GAAG,eAAe,EAAE,CA4DpB;AAED,wBAAgB,wBAAwB,CAAC,KAAK,EAAE;IAC9C,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/C,gBAAgB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACtD,GAAG,eAAe,EAAE,CAgFpB;AAED,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC;IAC3C,MAAM,EAAE,SAAS,GAAG,SAAS,GAAG,OAAO,GAAG,SAAS,GAAG,OAAO,CAAC;IAC9D,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,OAAO,CAAC;IACxB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B,CAAC,CAAC;AAEH,wBAAgB,yBAAyB,CACvC,aAAa,EAAE,MAAM,GACpB,qBAAqB,CA8BvB;AAwBD,wBAAgB,sBAAsB,CAAC,KAAK,EAAE;IAC5C,aAAa,EAAE,MAAM,CAAC;IACtB,gBAAgB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACrD,WAAW,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAChD,YAAY,CAAC,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IAC5D,sBAAsB,CAAC,EAAE,OAAO,CAAC;IACjC,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,iBAAiB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,YAAY,CAAC,EAAE,qBAAqB,CAAC;CACtC,GAAG,aAAa,CA6MhB"}

package/dist/public/operations/migration-plan.js

@@ -197,6 +197,51 @@ function actionDefaults(input) {
 export function migrationAction(input) {
     return actionDefaults(input);
 }
+/**
+ * A predicate-schema-conformance finding whose repair is mechanical (move to
+ * the only matching schema namespace, rewrite declared aliases) becomes an
+ * automatic action carrying the exact kb_upsert input, so it is reviewable in
+ * the plan and replayable through either surface.
+ */
+// implements REQ-kibi-predicate-vocabulary-migration
+function predicateSchemaAlignmentAction(diagnostic) {
+    if (diagnostic.id !== "rule.predicate-schema-conformance")
+        return null;
+    const evidence = isRecord(diagnostic.evidence) ? diagnostic.evidence : null;
+    const repair = evidence !== null && isRecord(evidence.repair) ? evidence.repair : null;
+    if (repair === null ||
+        repair.type !== "fact" ||
+        typeof repair.id !== "string" ||
+        !isRecord(repair.properties)) {
+        return null;
+    }
+    return migrationAction({
+        id: `predicate-schema-alignment-${repair.id}`,
+        code: PREDICATE_SCHEMA_ALIGNMENT_CODE,
+        category: "semantic",
+        safety: "automatic",
+        autoApplicable: true,
+        invocation: { kind: "operation", name: "kb_upsert", input: repair },
+        affectedEntityIds: [repair.id],
+        affectedFiles: typeof diagnostic.source === "string" ? [diagnostic.source] : [],
+        postconditions: [
+            {
+                rule: "predicate-schema-conformance",
+                entityId: repair.id,
+                findings: 0,
+            },
+        ],
+        evidence: {
+            issue: evidence?.issue,
+            namespace: evidence?.namespace,
+            alignment: evidence?.alignment,
+            rewrites: evidence?.rewrites,
+        },
+    });
+}
+/** Migration code for mechanical predicate namespace/alias repairs. */
+export const PREDICATE_SCHEMA_ALIGNMENT_CODE = "predicate_schema_alignment";
+// implements REQ-agent-guided-migration-orchestration, REQ-kibi-predicate-vocabulary-migration
 export function buildActionsFromCheck(input) {
     const actions = [];
     for (const [index, violation] of (input.violations ?? []).entries()) {
@@ -225,6 +270,11 @@ export function buildActionsFromCheck(input) {
             ? diagnostic.suggestion
             : "Review this quality diagnostic.";
         const blocking = diagnostic.blocking === true;
+        const predicateRepair = predicateSchemaAlignmentAction(diagnostic);
+        if (predicateRepair !== null) {
+            actions.push(predicateRepair);
+            continue;
+        }
         actions.push(migrationAction({
             id: `diagnostic-${id}-${entityId || "workspace"}-${index + 1}`,
             code: `quality_${id}`,

package/dist/public/operations/node-ports.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"node-ports.d.ts","sourceRoot":"","sources":["../../../src/public/operations/node-ports.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,cAAc,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAE/E,KAAK,kBAAkB,GAAG,cAAc,GAAG;IACzC,QAAQ,CAAC,IAAI,EAAE,CACb,QAAQ,EAAE,SAAS,MAAM,EAAE,EAC3B,OAAO,EAAE;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAA;KAAE,KACjE,OAAO,CAAC,SAAS,MAAM,EAAE,CAAC,CAAC;CACjC,CAAC;AAEF,KAAK,WAAW,GAAG,OAAO,GAAG;IAC3B,QAAQ,CAAC,YAAY,EAAE,CACrB,aAAa,EAAE,MAAM,EACrB,KAAK,EAAE,SAAS,MAAM,EAAE,KACrB,OAAO,CAAC,SAAS,MAAM,EAAE,CAAC,CAAC;CACjC,CAAC;AAkMF,eAAO,MAAM,cAAc,EAAE,kBAoB5B,CAAC;AAEF,eAAO,MAAM,OAAO,EAAE,WAiBrB,CAAC;AAEF,eAAO,MAAM,WAAW,EAAE,WAEzB,CAAC"}
+{"version":3,"file":"node-ports.d.ts","sourceRoot":"","sources":["../../../src/public/operations/node-ports.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,cAAc,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAE/E,KAAK,kBAAkB,GAAG,cAAc,GAAG;IACzC,QAAQ,CAAC,IAAI,EAAE,CACb,QAAQ,EAAE,SAAS,MAAM,EAAE,EAC3B,OAAO,EAAE;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAA;KAAE,KACjE,OAAO,CAAC,SAAS,MAAM,EAAE,CAAC,CAAC;CACjC,CAAC;AAEF,KAAK,WAAW,GAAG,OAAO,GAAG;IAC3B,QAAQ,CAAC,YAAY,EAAE,CACrB,aAAa,EAAE,MAAM,EACrB,KAAK,EAAE,SAAS,MAAM,EAAE,KACrB,OAAO,CAAC,SAAS,MAAM,EAAE,CAAC,CAAC;CACjC,CAAC;AA2JF,eAAO,MAAM,cAAc,EAAE,kBAoB5B,CAAC;AAEF,eAAO,MAAM,OAAO,EAAE,WAiBrB,CAAC;AAEF,eAAO,MAAM,WAAW,EAAE,WAEzB,CAAC"}

package/dist/public/operations/node-ports.js

@@ -6,6 +6,7 @@ import path from "node:path";
 import { promisify } from "node:util";
 import fg from "fast-glob";
 import { createRepoIgnorePolicy } from "../ignore-policy.js";
+import { snapshotFileContent } from "./proof-receipt-projection.js";
 const execFileAsync = promisify(execFile);
 const SNAPSHOT_EXCLUDED_PREFIXES = [
     ".changeset/",
@@ -36,41 +37,6 @@ const ALWAYS_IGNORED_GLOBS = [
 function includedSnapshotPath(relativePath) {
     return !SNAPSHOT_EXCLUDED_PREFIXES.some((prefix) => relativePath === prefix.slice(0, -1) || relativePath.startsWith(prefix));
 }
-function withoutProofReceiptFrontmatter(content) {
-    const lines = content.match(/[^\n]*\n|[^\n]+$/g) ?? [];
-    if (lines[0]?.trim() !== "---")
-        return content;
-    let inFrontmatter = true;
-    let skippingReceipts = false;
-    const retained = [];
-    for (const [index, line] of lines.entries()) {
-        const trimmed = line.trim();
-        if (index > 0 && inFrontmatter && trimmed === "---") {
-            inFrontmatter = false;
-            skippingReceipts = false;
-            retained.push(line);
-            continue;
-        }
-        if (inFrontmatter && /^proof_receipts\s*:/.test(line)) {
-            skippingReceipts = true;
-            continue;
-        }
-        if (inFrontmatter &&
-            skippingReceipts &&
-            /^[A-Za-z_][A-Za-z0-9_-]*\s*:/.test(line)) {
-            skippingReceipts = false;
-        }
-        if (!skippingReceipts)
-            retained.push(line);
-    }
-    return retained.join("");
-}
-function snapshotFileContent(relativePath, content) {
-    if (relativePath.endsWith(".md")) {
-        return Buffer.from(withoutProofReceiptFrontmatter(content.toString("utf8")));
-    }
-    return content;
-}
 /**
  * A tracked markdown file whose only change is proof-receipt frontmatter
  * cannot alter the snapshot hash (receipts are stripped before hashing), so it

package/dist/public/operations/predicate-schema-conformance.d.ts

@@ -0,0 +1,41 @@
+import { type ArgumentRewrite, type UndeclaredArgument } from "../../operations/modeling/predicate-vocabulary.js";
+import type { Violation } from "../../utils/rule-registry.js";
+import type { PrologPort } from "./runtime-types.js";
+type Entity = Readonly<Record<string, unknown>>;
+/**
+ * Exact kb_upsert input that repairs one predicate fact mechanically: move it
+ * to the only namespace whose schema matches, and/or replace alias spellings
+ * with their declared constants. Present only when nothing is left for review.
+ */
+export type PredicateFactRepair = Readonly<{
+    type: "fact";
+    id: string;
+    properties: Readonly<Record<string, unknown>>;
+}>;
+export type PredicateConformanceEvidence = Readonly<{
+    factId: string;
+    predicateName: string;
+    namespace: string;
+    arity: number;
+    issue: "missing_schema" | "undeclared_constant" | "alias_in_use";
+    schemaId: string | null;
+    alignment: Readonly<{
+        namespace: string;
+        schemaId: string;
+        origin: "project_local" | "built_in";
+    }> | null;
+    candidateNamespaces: readonly string[];
+    rewrites: readonly ArgumentRewrite[];
+    undeclared: readonly UndeclaredArgument[];
+    repair: PredicateFactRepair | null;
+}>;
+/**
+ * Predicate facts must match a schema (project-local, or the built-in catalog
+ * in the default namespace) with the same namespace, name, and arity, and
+ * must use declared constants where the schema closes an argument.
+ */
+export declare function evaluatePredicateSchemaConformance(facts: readonly Entity[]): Violation[];
+/** Load every fact once and evaluate predicate conformance. */
+export declare function collectPredicateSchemaConformanceViolations(prolog: Pick<PrologPort, "query">): Promise<Violation[]>;
+export {};
+//# sourceMappingURL=predicate-schema-conformance.d.ts.map

package/dist/public/operations/predicate-schema-conformance.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"predicate-schema-conformance.d.ts","sourceRoot":"","sources":["../../../src/public/operations/predicate-schema-conformance.ts"],"names":[],"mappings":"AAmBA,OAAO,EACL,KAAK,eAAe,EACpB,KAAK,kBAAkB,EAMxB,MAAM,mDAAmD,CAAC;AAC3D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAC;AAG9D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAsBrD,KAAK,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAUhD;;;;GAIG;AAEH,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC;IACzC,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAC/C,CAAC,CAAC;AAGH,MAAM,MAAM,4BAA4B,GAAG,QAAQ,CAAC;IAClD,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,gBAAgB,GAAG,qBAAqB,GAAG,cAAc,CAAC;IACjE,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,SAAS,EAAE,QAAQ,CAAC;QAClB,SAAS,EAAE,MAAM,CAAC;QAClB,QAAQ,EAAE,MAAM,CAAC;QACjB,MAAM,EAAE,eAAe,GAAG,UAAU,CAAC;KACtC,CAAC,GAAG,IAAI,CAAC;IACV,mBAAmB,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,EAAE,SAAS,eAAe,EAAE,CAAC;IACrC,UAAU,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAC1C,MAAM,EAAE,mBAAmB,GAAG,IAAI,CAAC;CACpC,CAAC,CAAC;AA+FH;;;;GAIG;AAEH,wBAAgB,kCAAkC,CAChD,KAAK,EAAE,SAAS,MAAM,EAAE,GACvB,SAAS,EAAE,CA+Gb;AAgDD,+DAA+D;AAE/D,wBAAsB,2CAA2C,CAC/D,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,GAChC,OAAO,CAAC,SAAS,EAAE,CAAC,CAGtB"}