kibi-cli 2.31.1 → 2.35.1

package/dist/operations/migration/schema6.js

@@ -18,17 +18,21 @@
 import path from "node:path";
 import { extractFromMarkdown, } from "../../extractors/markdown.js";
 import { FIRMNESS_FROM_ORIGIN_SCHEMA_VERSION } from "../../public/operations/decision-firmness.js";
+import { EVIDENCE_FLOOR_SCHEMA_VERSION } from "../../public/operations/evidence-floor.js";
 import { migrationAction, } from "../../public/operations/migration-plan.js";
+import { CLAIM_BINDING_SCHEMA_VERSION } from "../../public/operations/proof-contract-claims.js";
 import { CLOSE_SUPERSEDED_REQUIREMENTS_ACTION_ID, CLOSE_SUPERSEDED_REQUIREMENTS_CODE, MIGRATION_SYNC_ACTION_ID, MIGRATION_SYNC_CODE, SOURCE_PATH_REWRITE_ACTION_ID, SOURCE_PATH_REWRITE_CODE, closeSupersededRequirementsActionInput, exceptionUnapprovedActionInput, migrationSyncActionInput, sourcePathReviewActionInput, sourcePathRewriteActionInput, supersessionCycleReviewActionInput, } from "../../public/operations/schema6-check-actions.js";
 import { readAllShards } from "../../relationships/shards.js";
 import { KB_PATHS } from "../../utils/kb-paths.js";
 import { CONTEXT_MISSING_TAG_CODE, SEMANTIC_TEXT_PIN_CODE, applyContextMissingTags, applySemanticTextPins, countByType, planContextMissingTags, planSemanticTextPins, } from "./entity-body-context.js";
 import { ENTITY_TYPE_BACKFILL_ACTION_ID, ENTITY_TYPE_BACKFILL_CODE, applyEntityTypeBackfill, planEntityTypeBackfill, } from "./entity-type.js";
+import { EVIDENCE_FLOOR_PIN_CODE, applyEvidenceFloorPins, planEvidenceFloorPins, } from "./evidence-floor.js";
 import { FIRM_SUPERSEDE_ACKNOWLEDGE_CODE, applyFirmSupersedeAcknowledgement, planFirmSupersedeAcknowledgement, } from "./firm-supersede.js";
 import { applyInventoryRederivation, applyInventoryRederivationDroppingGrounding, planInventoryRederivation, } from "./inventory-rederive.js";
 import { listLaneMarkdownFiles } from "./kb-sources.js";
 import { applyOriginBackfill, planOriginBackfill } from "./origin-backfill.js";
 import { POLARITY_VALUE_BACKFILL_CODE, applyPolarityValueBackfill, planPolarityValueBackfill, } from "./polarity-values.js";
+import { PROOF_CONTRACT_CLAIMS_PIN_CODE, PROOF_CONTRACT_CLAIMS_REVIEW_CODE, claimReviewInstruction, planProofContractClaimPins, } from "./proof-contract-claims.js";
 import { DELIVERED_REQUIREMENT_TAG, applyDeliveredStatusMappings, applyRequirementStatusMapping, planRequirementStatusMappings, } from "./requirement-status.js";
 import { applySourcePathRepairs, findSourceRepairs, plannedSourcePathRepairs, } from "./source-paths.js";
 import { applySupersededClosures, planSupersededClosures, } from "./superseded-closure.js";
@@ -581,6 +585,86 @@ export function buildSchema6MigrationFragment(input) {
             }));
         }
     }
+    // Schema 11: a firm requirement needs tested evidence. Record an asserted
+    // floor on current firm requirements without a passing proof path, so the
+    // upgraded knowledge base passes evidence-floor.
+    if (input.currentSchemaVersion === null ||
+        input.currentSchemaVersion < EVIDENCE_FLOOR_SCHEMA_VERSION) {
+        const floors = planEvidenceFloorPins(input.workspaceRoot, input.ladderFloors);
+        if (floors.targets.length > 0) {
+            const id = "evidence-floor-pin";
+            sourceRewriteActionIds.push(id);
+            actions.push(migrationAction({
+                id,
+                code: EVIDENCE_FLOOR_PIN_CODE,
+                category: "schema",
+                safety: "automatic",
+                autoApplicable: true,
+                invocation: {
+                    kind: "cli",
+                    command_argv: ["kibi", "migrate", "--yes"],
+                },
+                affectedEntityIds: floors.targets.map((row) => row.id),
+                affectedFiles: floors.targets.map((row) => row.path),
+                postconditions: [{ rule: "evidence-floor", findings: 0 }],
+                evidence: {
+                    reason: "Schema 11 fails a current requirement whose evidence is below its floor, and a firm requirement without required_evidence needs tested evidence. These firm requirements are below tested (judged by the evidence ladder on the synced store when one could be read, else by their latest end-to-end receipt), so each records required_evidence: asserted in its front matter, where a reviewer can raise it once a proof exists.",
+                    count: floors.targets.length,
+                    skipped: floors.skipped,
+                    preserves: "every other front matter key and the body bytes",
+                },
+            }));
+        }
+    }
+    // Schema 12: a certificate contract names the claims it proves. Pin proves
+    // where the test reaches one provable claim; list the rest for review.
+    if ((input.currentSchemaVersion === null ||
+        input.currentSchemaVersion < CLAIM_BINDING_SCHEMA_VERSION) &&
+        input.claimCandidates) {
+        const claims = planProofContractClaimPins(input.workspaceRoot, input.claimCandidates);
+        if (claims.targets.length > 0) {
+            const id = "proof-contract-claims-pin";
+            sourceRewriteActionIds.push(id);
+            actions.push(migrationAction({
+                id,
+                code: PROOF_CONTRACT_CLAIMS_PIN_CODE,
+                category: "schema",
+                safety: "automatic",
+                autoApplicable: true,
+                invocation: {
+                    kind: "cli",
+                    command_argv: ["kibi", "migrate", "--yes"],
+                },
+                affectedEntityIds: claims.targets.map((row) => row.id),
+                affectedFiles: claims.targets.map((row) => row.path),
+                evidence: {
+                    reason: "Schema 12 requires every certificate-kind proof contract to name the claims it proves. Each of these tests reaches exactly one claim its proof kind can derive an obligation for, so the migration writes it to proof_contract.proves. The contract changes, so run kibi prove for these tests afterwards.",
+                    count: claims.targets.length,
+                    skipped: claims.skipped,
+                    preserves: "every other front matter key and the body bytes",
+                },
+            }));
+        }
+        for (const row of claims.review)
+            actions.push(migrationAction({
+                id: `proof-contract-claims-review-${row.id}`,
+                code: PROOF_CONTRACT_CLAIMS_REVIEW_CODE,
+                category: "semantic",
+                safety: "review",
+                invocation: {
+                    kind: "review",
+                    instruction: claimReviewInstruction(row),
+                },
+                affectedEntityIds: [row.id],
+                affectedFiles: [row.path],
+                postconditions: [
+                    { rule: "proof-contract-claims", entityId: row.id, findings: 0 },
+                ],
+                dispositionRequired: true,
+                allowedDispositions: ["fixed", "deferred"],
+                evidence: { kind: row.kind, candidates: row.candidates },
+            }));
+    }
     const drift = planInventoryRederivation(input.workspaceRoot);
     for (const plan of drift) {
         const action = plan.safe ? rederiveAction(plan) : reviewAction(plan);
@@ -797,6 +881,13 @@ export async function applySchema6MigrationAction(action, context) {
             applyFirmSupersedeAcknowledgement(context.workspaceRoot);
             return;
         }
+        case EVIDENCE_FLOOR_PIN_CODE: {
+            // The plan decided the pins with the evidence ladder; apply the same
+            // set even though source rewrites before it may have left the store
+            // behind the authored files.
+            applyEvidenceFloorPins(context.workspaceRoot, new Map((action.affectedEntityIds ?? []).map((id) => [id, "below"])));
+            return;
+        }
         case SEMANTIC_INVENTORY_REDERIVE_CODE: {
             const requirementId = action.affectedEntityIds[0];
             if (requirementId === undefined)
@@ -890,6 +981,7 @@ export const SCHEMA6_AUTOMATIC_CODES = new Set([
     CONTEXT_MISSING_TAG_CODE,
     SUPERSEDES_REASON_ACKNOWLEDGE_CODE,
     FIRM_SUPERSEDE_ACKNOWLEDGE_CODE,
+    EVIDENCE_FLOOR_PIN_CODE,
     SEMANTIC_INVENTORY_REDERIVE_CODE,
     REQ_STATUS_DELIVERED_MAP_CODE,
     ENTITY_ORIGIN_BACKFILL_CODE,

package/dist/operations/migration/symbol-coordinates-refresh.d.ts

@@ -22,8 +22,9 @@ export type MigrationCoordinateRefresh = {
  * `kibi sync --refresh-symbol-coordinates` does, after a migration rewrote or
  * moved the symbols manifest. The coordinate artifact binds each record by an
  * identity hash that includes `granularity_reason`, so a legacy-link mark
- * leaves the committed coordinates stale; without this refresh the pre-commit
- * generated-manifest gate rejects the first commit after a migration.
+ * leaves the local coordinates stale, and the refresh also writes the
+ * symbols manifest in the canonical layout the pre-commit
+ * generated-manifest gate expects for the first commit after a migration.
  *
  * Skipped when `before` shows the run left both files untouched, or when the
  * manifest has no symbols. A refresh failure is returned, not thrown: the

package/dist/operations/migration/symbol-coordinates-refresh.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"symbol-coordinates-refresh.d.ts","sourceRoot":"","sources":["../../../src/operations/migration/symbol-coordinates-refresh.ts"],"names":[],"mappings":"AA0BA;;;GAGG;AAEH,MAAM,MAAM,sBAAsB,GAAG,QAAQ,CAAC;IAC5C,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;CAC5B,CAAC,CAAC;AAMH,yEAAyE;AAEzE,wBAAgB,0BAA0B,CACxC,aAAa,EAAE,MAAM,GACpB,sBAAsB,CAMxB;AAYD,sDAAsD;AAEtD,MAAM,MAAM,0BAA0B,GAClC;IAAE,OAAO,EAAE,SAAS,CAAA;CAAE,GACtB;IAAE,OAAO,EAAE,WAAW,CAAA;CAAE,GACxB;IAAE,OAAO,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE1C;;;;;;;;;;;;GAYG;AAEH,wBAAsB,gCAAgC,CACpD,aAAa,EAAE,MAAM,EACrB,MAAM,CAAC,EAAE,sBAAsB,GAC9B,OAAO,CAAC,0BAA0B,CAAC,CA0CrC;AAED,sEAAsE;AAEtE,wBAAgB,+BAA+B,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAEtE"}
+{"version":3,"file":"symbol-coordinates-refresh.d.ts","sourceRoot":"","sources":["../../../src/operations/migration/symbol-coordinates-refresh.ts"],"names":[],"mappings":"AA0BA;;;GAGG;AAEH,MAAM,MAAM,sBAAsB,GAAG,QAAQ,CAAC;IAC5C,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;CAC5B,CAAC,CAAC;AAMH,yEAAyE;AAEzE,wBAAgB,0BAA0B,CACxC,aAAa,EAAE,MAAM,GACpB,sBAAsB,CAMxB;AAYD,sDAAsD;AAEtD,MAAM,MAAM,0BAA0B,GAClC;IAAE,OAAO,EAAE,SAAS,CAAA;CAAE,GACtB;IAAE,OAAO,EAAE,WAAW,CAAA;CAAE,GACxB;IAAE,OAAO,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE1C;;;;;;;;;;;;;GAaG;AAEH,wBAAsB,gCAAgC,CACpD,aAAa,EAAE,MAAM,EACrB,MAAM,CAAC,EAAE,sBAAsB,GAC9B,OAAO,CAAC,0BAA0B,CAAC,CA0CrC;AAED,sEAAsE;AAEtE,wBAAgB,+BAA+B,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAEtE"}

package/dist/operations/migration/symbol-coordinates-refresh.js

@@ -49,8 +49,9 @@ function hasSymbols(content) {
  * `kibi sync --refresh-symbol-coordinates` does, after a migration rewrote or
  * moved the symbols manifest. The coordinate artifact binds each record by an
  * identity hash that includes `granularity_reason`, so a legacy-link mark
- * leaves the committed coordinates stale; without this refresh the pre-commit
- * generated-manifest gate rejects the first commit after a migration.
+ * leaves the local coordinates stale, and the refresh also writes the
+ * symbols manifest in the canonical layout the pre-commit
+ * generated-manifest gate expects for the first commit after a migration.
  *
  * Skipped when `before` shows the run left both files untouched, or when the
  * manifest has no symbols. A refresh failure is returned, not thrown: the
@@ -95,5 +96,5 @@ export async function refreshCoordinatesAfterMigration(workspaceRoot, before) {
 /** The line a migration prints when its coordinate refresh failed. */
 // implements REQ-cli-migration-first-commit
 export function coordinateRefreshFailureMessage(reason) {
-    return `Could not refresh symbol coordinates after the migration (${reason}). Run 'kibi sync --refresh-symbol-coordinates' and stage .kb/symbols.yaml and .kb/symbol-coordinates.yaml before the first commit, or the pre-commit hook reports generated manifest drift.`;
+    return `Could not refresh symbol coordinates after the migration (${reason}). Run 'kibi sync --refresh-symbol-coordinates' and stage .kb/symbols.yaml before the first commit, or the pre-commit hook reports generated manifest drift.`;
 }

package/dist/operations/migration/untrack-symbol-coordinates.d.ts

@@ -0,0 +1,23 @@
+/** Schema version from which symbol coordinates are derived and never tracked. */
+export declare const DERIVED_COORDINATES_SCHEMA_VERSION = 13;
+/** What the schema 13 untracking step did to the Git index. */
+export type CoordinateUntrackOutcome = {
+    outcome: "untracked";
+} | {
+    outcome: "not_tracked";
+} | {
+    outcome: "not_a_repository";
+} | {
+    outcome: "failed";
+    reason: string;
+};
+/** True when the derived coordinate artifact is in the Git index. */
+export declare function isCoordinateArtifactTracked(cwd: string): boolean | null;
+/**
+ * Remove `.kb/symbol-coordinates.yaml` from the Git index and keep the local
+ * file. Symbol coordinates are derived from source by every sync and are
+ * gitignored from schema 13; tracking them made every two branches that
+ * touch the same source file conflict.
+ */
+export declare function untrackCoordinateArtifact(cwd: string): CoordinateUntrackOutcome;
+//# sourceMappingURL=untrack-symbol-coordinates.d.ts.map

package/dist/operations/migration/untrack-symbol-coordinates.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"untrack-symbol-coordinates.d.ts","sourceRoot":"","sources":["../../../src/operations/migration/untrack-symbol-coordinates.ts"],"names":[],"mappings":"AAqBA,kFAAkF;AAClF,eAAO,MAAM,kCAAkC,KAAK,CAAC;AAErD,+DAA+D;AAE/D,MAAM,MAAM,wBAAwB,GAChC;IAAE,OAAO,EAAE,WAAW,CAAA;CAAE,GACxB;IAAE,OAAO,EAAE,aAAa,CAAA;CAAE,GAC1B;IAAE,OAAO,EAAE,kBAAkB,CAAA;CAAE,GAC/B;IAAE,OAAO,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAM1C,qEAAqE;AAErE,wBAAgB,2BAA2B,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,GAAG,IAAI,CAUvE;AAED;;;;;GAKG;AAEH,wBAAgB,yBAAyB,CACvC,GAAG,EAAE,MAAM,GACV,wBAAwB,CAkB1B"}

package/dist/operations/migration/untrack-symbol-coordinates.js

@@ -0,0 +1,67 @@
+/*
+ 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 { spawnSync } from "node:child_process";
+import { KB_PATHS } from "../../utils/kb-paths.js";
+/** Schema version from which symbol coordinates are derived and never tracked. */
+export const DERIVED_COORDINATES_SCHEMA_VERSION = 13;
+function git(cwd, args) {
+    return spawnSync("git", args, { cwd, encoding: "utf8" });
+}
+/** True when the derived coordinate artifact is in the Git index. */
+// implements REQ-symbol-coordinates-derived-locally
+export function isCoordinateArtifactTracked(cwd) {
+    const result = git(cwd, [
+        "ls-files",
+        "--error-unmatch",
+        "--",
+        KB_PATHS.symbolCoordinates,
+    ]);
+    if (result.error)
+        return null;
+    if (result.status === 0)
+        return true;
+    return /did not match any file/.test(result.stderr) ? false : null;
+}
+/**
+ * Remove `.kb/symbol-coordinates.yaml` from the Git index and keep the local
+ * file. Symbol coordinates are derived from source by every sync and are
+ * gitignored from schema 13; tracking them made every two branches that
+ * touch the same source file conflict.
+ */
+// implements REQ-symbol-coordinates-derived-locally
+export function untrackCoordinateArtifact(cwd) {
+    const tracked = isCoordinateArtifactTracked(cwd);
+    if (tracked === null)
+        return { outcome: "not_a_repository" };
+    if (!tracked)
+        return { outcome: "not_tracked" };
+    const result = git(cwd, [
+        "rm",
+        "--cached",
+        "--quiet",
+        "--",
+        KB_PATHS.symbolCoordinates,
+    ]);
+    if (result.error || result.status !== 0) {
+        return {
+            outcome: "failed",
+            reason: (result.error?.message ?? result.stderr).trim(),
+        };
+    }
+    return { outcome: "untracked" };
+}

package/dist/operations/modeling/requirement-modeler.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"requirement-modeler.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/requirement-modeler.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EACV,yBAAyB,EACzB,oBAAoB,EACrB,MAAM,wBAAwB,CAAC;AAsBhC,wBAAgB,iCAAiC,CAC/C,SAAS,EAAE,MAAM,EACjB,OAAO,CAAC,EAAE,MAAM,GACf,MAAM,CAUR;AAGD,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,oBAAoB,GACzB,yBAAyB,GAAG;IAC7B,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB,CAyDA"}
+{"version":3,"file":"requirement-modeler.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/requirement-modeler.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EACV,yBAAyB,EACzB,oBAAoB,EACrB,MAAM,wBAAwB,CAAC;AA4BhC,wBAAgB,iCAAiC,CAC/C,SAAS,EAAE,MAAM,EACjB,OAAO,CAAC,EAAE,MAAM,GACf,MAAM,CAUR;AAGD,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,oBAAoB,GACzB,yBAAyB,GAAG;IAC7B,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB,CA0EA"}

package/dist/operations/modeling/requirement-modeler.js

@@ -1,5 +1,11 @@
+import { detectStrictSuggestion } from "../semantic-advisor/strict-rules.js";
 import { buildFallbackClaim, extractHeuristicClaim, } from "./requirement-heuristics.js";
 import { clampConfidence, normalizeClaimValue, normalizeOptionalString, normalizeSourceFiles, normalizeText, stripListPrefix, } from "./requirement-utils.js";
+const SET_OPERATORS = new Set([
+    "includes",
+    "subset_of",
+    "excludes",
+]);
 const NORMATIVE_SECTION_PATTERN = /\b(requirements?|polic(?:y|ies)|rules?)\b/i;
 function hasExplicitClaimFields(args) {
     return (args.subjectKey !== undefined ||
@@ -40,12 +46,18 @@ export function extractRequirementClaim(args) {
             args.value === undefined) {
             throw new Error("Requirement modeling failed: subjectKey, propertyKey, operator, and value must all be provided when any extracted claim field is supplied");
         }
+        const value = normalizeClaimValue(args.value);
+        const setOperator = SET_OPERATORS.has(args.operator);
+        if (setOperator && !Array.isArray(value))
+            throw new Error(`Requirement modeling failed: operator ${args.operator} takes a set value (a list of strings)`);
+        if (Array.isArray(value) && !setOperator && args.operator !== "eq")
+            throw new Error(`Requirement modeling failed: a set value takes operator eq, includes, subset_of or excludes, not ${args.operator}`);
         const claim = {
             source,
             subjectKey,
             propertyKey,
             operator: args.operator,
-            value: normalizeClaimValue(args.value),
+            value,
             confidence,
             ...(provenance ? { provenance } : {}),
         };
@@ -58,6 +70,13 @@ export function extractRequirementClaim(args) {
             extractionWarnings: [],
         };
     }
+    // implements REQ-kibi-source-proof-kinds
+    // Set and pattern claims (every route uses a middleware, a state can never
+    // reach another, a format) take the advisor's strict shapes, so the fact is
+    // one a source, state_machine or regex proof can derive.
+    const strict = strictSetClaim(statement, source, confidence, provenance);
+    if (strict)
+        return { statement, source, sourceFiles, ...strict };
     const heuristic = extractHeuristicClaim(statement, source, confidence, provenance);
     if (heuristic)
         return { statement, source, sourceFiles, ...heuristic };
@@ -68,3 +87,31 @@ export function extractRequirementClaim(args) {
         ...buildFallbackClaim(statement, source, confidence, provenance),
     };
 }
+/** A set or pattern claim from the advisor's strict shapes, or null. */
+function strictSetClaim(statement, source, confidence, provenance) {
+    const normalized = stripListPrefix(statement);
+    const suggestion = detectStrictSuggestion({ semantic_text: normalized }, normalized);
+    if (suggestion?.kind !== "strict_property")
+        return null;
+    const strict = suggestion.claim;
+    const value = strict.value_type === "set" && strict.value_set !== undefined
+        ? [...strict.value_set]
+        : strict.operator === "matches" && strict.value_string !== undefined
+            ? strict.value_string
+            : undefined;
+    if (value === undefined)
+        return null;
+    return {
+        claim: {
+            source,
+            subjectKey: strict.subject_key,
+            propertyKey: strict.property_key,
+            operator: strict.operator,
+            value,
+            confidence,
+            ...(provenance ? { provenance } : {}),
+        },
+        extractionMode: "heuristic",
+        extractionWarnings: [],
+    };
+}

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

@@ -9,7 +9,8 @@ export type ModelRequirementArgs = Readonly<Record<string, unknown>> & {
     readonly subjectKey?: string;
     readonly propertyKey?: string;
     readonly operator?: SemanticClaim["operator"];
-    readonly value?: string | number | boolean;
+    /** A list of strings is a set value (operators eq, includes, subset_of, excludes). */
+    readonly value?: string | number | boolean | readonly string[];
     readonly provenance?: string;
     /** Existing requirement claim manifest. Returned req updates merge this list. */
     readonly existingLogicClaims?: readonly string[];

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

@@ -1 +1 @@
-{"version":3,"file":"requirement-types.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/requirement-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,EACV,aAAa,EACb,cAAc,EACf,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AAG5E,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG;IACrE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC;IAC9C,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;IAC3C,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,iFAAiF;IACjF,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjD,QAAQ,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;CACjC,CAAC;AAGF,MAAM,WAAW,yBAAyB;IACxC,KAAK,EAAE,aAAa,CAAC;IACrB,cAAc,EAAE,UAAU,GAAG,WAAW,GAAG,UAAU,CAAC;IACtD,kBAAkB,EAAE,MAAM,EAAE,CAAC;CAC9B;AAGD,MAAM,WAAW,sBAAsB;IACrC,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/C,iBAAiB,EAAE;QACjB,SAAS,EAAE,MAAM,CAAC;QAClB,QAAQ,EAAE,MAAM,CAAC;QACjB,WAAW,EAAE,MAAM,EAAE,CAAC;QACtB,MAAM,EAAE,MAAM,CAAC;QACf,WAAW,EAAE,MAAM,EAAE,CAAC;QACtB,KAAK,EAAE,aAAa,CAAC;QACrB,QAAQ,EAAE,cAAc,CAAC;QACzB,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QAC1C,QAAQ,EAAE,OAAO,CAAC;QAClB,UAAU,EAAE,MAAM,CAAC;QACnB,cAAc,EAAE,UAAU,GAAG,WAAW,GAAG,UAAU,CAAC;QACtD,kBAAkB,EAAE,MAAM,EAAE,CAAC;QAC7B,QAAQ,EAAE,KAAK,CAAC;YACd,IAAI,EAAE,MAAM,CAAC;YACb,OAAO,EAAE,MAAM,CAAC;YAChB,UAAU,EAAE,MAAM,CAAC;SACpB,CAAC,CAAC;QACH,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;QAChC,uEAAuE;QACvE,mBAAmB,CAAC,EAAE,0BAA0B,GAAG;YACjD,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;SACrD,CAAC;QACF,KAAK,CAAC,EAAE;YACN,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;YAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;YAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;YAC3B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;YAChC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC;SAClC,CAAC;KACH,CAAC;IACF,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC1C,QAAQ,EAAE,cAAc,CAAC;IACzB,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;CACjC"}
+{"version":3,"file":"requirement-types.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/requirement-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,EACV,aAAa,EACb,cAAc,EACf,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AAG5E,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG;IACrE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC;IAC9C,sFAAsF;IACtF,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,MAAM,EAAE,CAAC;IAC/D,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,iFAAiF;IACjF,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjD,QAAQ,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;CACjC,CAAC;AAGF,MAAM,WAAW,yBAAyB;IACxC,KAAK,EAAE,aAAa,CAAC;IACrB,cAAc,EAAE,UAAU,GAAG,WAAW,GAAG,UAAU,CAAC;IACtD,kBAAkB,EAAE,MAAM,EAAE,CAAC;CAC9B;AAGD,MAAM,WAAW,sBAAsB;IACrC,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/C,iBAAiB,EAAE;QACjB,SAAS,EAAE,MAAM,CAAC;QAClB,QAAQ,EAAE,MAAM,CAAC;QACjB,WAAW,EAAE,MAAM,EAAE,CAAC;QACtB,MAAM,EAAE,MAAM,CAAC;QACf,WAAW,EAAE,MAAM,EAAE,CAAC;QACtB,KAAK,EAAE,aAAa,CAAC;QACrB,QAAQ,EAAE,cAAc,CAAC;QACzB,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QAC1C,QAAQ,EAAE,OAAO,CAAC;QAClB,UAAU,EAAE,MAAM,CAAC;QACnB,cAAc,EAAE,UAAU,GAAG,WAAW,GAAG,UAAU,CAAC;QACtD,kBAAkB,EAAE,MAAM,EAAE,CAAC;QAC7B,QAAQ,EAAE,KAAK,CAAC;YACd,IAAI,EAAE,MAAM,CAAC;YACb,OAAO,EAAE,MAAM,CAAC;YAChB,UAAU,EAAE,MAAM,CAAC;SACpB,CAAC,CAAC;QACH,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;QAChC,uEAAuE;QACvE,mBAAmB,CAAC,EAAE,0BAA0B,GAAG;YACjD,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;SACrD,CAAC;QACF,KAAK,CAAC,EAAE;YACN,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;YAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;YAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;YAC3B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;YAChC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC;SAClC,CAAC;KACH,CAAC;IACF,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC1C,QAAQ,EAAE,cAAc,CAAC;IACzB,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;CACjC"}

package/dist/operations/modeling/requirement-utils.d.ts

@@ -2,7 +2,7 @@ export declare function normalizeText(text: string): string;
 export declare function normalizeOptionalString(value: string | undefined): string | undefined;
 export declare function normalizeSourceFiles(sourceFiles: string[] | undefined): string[];
 export declare function clampConfidence(confidence: number | undefined): number;
-export declare function normalizeClaimValue(value: unknown): string | number | boolean;
+export declare function normalizeClaimValue(value: unknown): string | number | boolean | readonly string[];
 export declare function stripListPrefix(value: string): string;
 export declare function trimSentenceTail(value: string): string;
 export declare function cleanSubject(value: string): string;

package/dist/operations/modeling/requirement-utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"requirement-utils.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/requirement-utils.ts"],"names":[],"mappings":"AACA,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAQlD;AAGD,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,MAAM,GAAG,SAAS,GACxB,MAAM,GAAG,SAAS,CAGpB;AAGD,wBAAgB,oBAAoB,CAClC,WAAW,EAAE,MAAM,EAAE,GAAG,SAAS,GAChC,MAAM,EAAE,CAUV;AAGD,wBAAgB,eAAe,CAAC,UAAU,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAMtE;AAGD,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAgB7E;AAGD,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAKrD;AAGD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEtD;AAGD,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAGlD;AAGD,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEpD"}
+{"version":3,"file":"requirement-utils.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/requirement-utils.ts"],"names":[],"mappings":"AACA,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAQlD;AAGD,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,MAAM,GAAG,SAAS,GACxB,MAAM,GAAG,SAAS,CAGpB;AAGD,wBAAgB,oBAAoB,CAClC,WAAW,EAAE,MAAM,EAAE,GAAG,SAAS,GAChC,MAAM,EAAE,CAUV;AAGD,wBAAgB,eAAe,CAAC,UAAU,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAMtE;AAGD,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,OAAO,GACb,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,MAAM,EAAE,CA2B/C;AAGD,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAKrD;AAGD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEtD;AAGD,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAGlD;AAGD,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEpD"}

package/dist/operations/modeling/requirement-utils.js

@@ -33,6 +33,13 @@ export function clampConfidence(confidence) {
 }
 // implements REQ-002
 export function normalizeClaimValue(value) {
+    // implements REQ-kibi-source-proof-kinds
+    if (Array.isArray(value)) {
+        const members = value.map((member) => typeof member === "string" ? member.trim() : "");
+        if (members.length === 0 || members.some((member) => member === ""))
+            throw new Error("Requirement modeling failed: a set value must be a non-empty list of non-empty strings");
+        return [...new Set(members)].sort();
+    }
     if (typeof value === "string" ||
         typeof value === "number" ||
         typeof value === "boolean") {
@@ -41,7 +48,7 @@ export function normalizeClaimValue(value) {
         }
         return value;
     }
-    throw new Error("Requirement modeling failed: value must be a string, number, or boolean");
+    throw new Error("Requirement modeling failed: value must be a string, number, boolean, or a list of strings");
 }
 // implements REQ-002
 export function stripListPrefix(value) {

package/dist/operations/mutation/omitted-properties.d.ts

@@ -0,0 +1,11 @@
+import type { StoredEntityLookup } from "./stored-entity.js";
+import type { StagedUpsertState, UpsertInput } from "./types.js";
+/**
+ * An update keeps every property it leaves out. The authored file already
+ * does (the writer patches its front matter), so the compiled entity must
+ * too: otherwise a relationship-only upsert stores the requirement without,
+ * say, its `required_evidence`, and the store disagrees with the file until a
+ * rebuild.
+ */
+export declare function withStoredOmittedProperties(input: UpsertInput, lookup: StoredEntityLookup, staged?: StagedUpsertState): Promise<UpsertInput>;
+//# sourceMappingURL=omitted-properties.d.ts.map

package/dist/operations/mutation/omitted-properties.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"omitted-properties.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/omitted-properties.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAC7D,OAAO,KAAK,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AA8BjE;;;;;;GAMG;AAEH,wBAAsB,2BAA2B,CAC/C,KAAK,EAAE,WAAW,EAClB,MAAM,EAAE,kBAAkB,EAC1B,MAAM,CAAC,EAAE,iBAAiB,GACzB,OAAO,CAAC,WAAW,CAAC,CAiBtB"}

package/dist/operations/mutation/omitted-properties.js

@@ -0,0 +1,76 @@
+/*
+ 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 { isUpsertEntityProperty } from "./validation.js";
+/**
+ * Stored fields an update never inherits by omission: identity and write
+ * times, fields derived from other fields, and fields other upsert steps
+ * resolve with their own rules (origin, firmness, receipt history, the
+ * requirement proposition ledger).
+ */
+const NOT_INHERITED = new Set([
+    "id",
+    "type",
+    "created_at",
+    "updated_at",
+    "source",
+    "origin",
+    "firmness",
+    "approval_ref",
+    "proof_receipts",
+    "claim_key",
+    "text_ref",
+    "semantic_text",
+    "semantic_clauses",
+    "semantic_inventory",
+    "semantic_inventory_version",
+    "semantic_source_field",
+    "semantic_source_hash",
+    "logic_claims",
+]);
+/**
+ * An update keeps every property it leaves out. The authored file already
+ * does (the writer patches its front matter), so the compiled entity must
+ * too: otherwise a relationship-only upsert stores the requirement without,
+ * say, its `required_evidence`, and the store disagrees with the file until a
+ * rebuild.
+ */
+// implements REQ-kibi-operation-interface-parity
+export async function withStoredOmittedProperties(input, lookup, staged) {
+    const stored = staged?.entities.get(input.id) ?? (await lookup.entity());
+    if (stored === undefined || stored === null)
+        return input;
+    if (stored.type !== undefined && stored.type !== input.type)
+        return input;
+    const properties = (input.properties ?? {});
+    const inherited = {};
+    for (const [key, value] of Object.entries(stored)) {
+        if (value === undefined || value === null)
+            continue;
+        if (NOT_INHERITED.has(key) || !isUpsertEntityProperty(key))
+            continue;
+        if (properties[key] !== undefined)
+            continue;
+        inherited[key] = value;
+    }
+    if (Object.keys(inherited).length === 0)
+        return input;
+    return {
+        ...input,
+        properties: { ...inherited, ...properties },
+    };
+}

package/dist/operations/mutation/serialization.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"serialization.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/serialization.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAyDpD,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACxC,MAAM,CAMR;AAGD,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,iBAAiB,GAAG,MAAM,CAOxE;AAGD,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAkBtD"}
+{"version":3,"file":"serialization.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/serialization.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AA0DpD,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACxC,MAAM,CAMR;AAGD,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,iBAAiB,GAAG,MAAM,CAOxE;AAGD,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAkBtD"}

package/dist/operations/mutation/serialization.js

@@ -14,6 +14,7 @@ const ATOM_FIELDS = [
     "polarity",
     "expects",
     "firmness",
+    "required_evidence",
 ];
 const STRING_FIELDS = [
     "id",

package/dist/operations/mutation/source-authoring.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"source-authoring.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/source-authoring.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAOjF,OAAO,KAAK,EAAqB,WAAW,EAAE,MAAM,YAAY,CAAC;AAEjE,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC;IACxC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,OAAO,GAAG,QAAQ,CAAC;IACzB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,OAAO,EAAE,OAAO,CAAC;CAClB,CAAC,CAAC;AAmBH,wBAAgB,yBAAyB,CACvC,aAAa,EAAE,MAAM,EACrB,YAAY,EAAE,MAAM,EACpB,SAAS,EAAE,MAAM,GAChB,IAAI,CAiBN;AAED,KAAK,SAAS,GAAG,QAAQ,CAAC;IAAE,KAAK,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,CAAC,CAAC;AAExD,8EAA8E;AAE9E,wBAAgB,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,CAOpE;AAED;;;;GAIG;AAEH,wBAAgB,gBAAgB,CAC9B,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,SAAS,GAAG,IAAI,GACtB,IAAI,CAON;AAeD;;;;GAIG;AAEH,wBAAgB,0BAA0B,CACxC,aAAa,EAAE,MAAM,EACrB,YAAY,EAAE,MAAM,GACnB,IAAI,CAMN;AAED;;;;;;GAMG;AAEH,wBAAgB,6BAA6B,CAC3C,aAAa,EAAE,MAAM,EACrB,YAAY,EAAE,MAAM,EACpB,SAAS,EAAE,MAAM,GAChB,OAAO,CA8BT;AAgBD,wBAAgB,0BAA0B,CACxC,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,MAAM,GACf,MAAM,CAqCR;AAED,wBAAgB,2BAA2B,CACzC,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,MAAM,GACb,MAAM,CAoBR;AAkCD;;;;GAIG;AACH,wBAAgB,sBAAsB,CACpC,aAAa,EAAE,MAAM,EACrB,IAAI,EAAE,MAAM,GACX,MAAM,GAAG,SAAS,CAYpB;AAED,wBAAgB,yBAAyB,CACvC,aAAa,EAAE,MAAM,EACrB,IAAI,EAAE,MAAM,GACX,OAAO,CAET;AA8CD;;;;;GAKG;AAEH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,gBAAgB,EACzB,KAAK,EAAE,WAAW,GACjB,MAAM,GAAG,SAAS,CAMpB;AAED,gFAAgF;AAEhF,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAE5E;AA8LD,uFAAuF;AAEvF,eAAO,MAAM,uBAAuB,uGAM1B,CAAC;AA8BX,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,OAAO,GACZ,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,CAiCzC;AAwRD,wBAAgB,oBAAoB,CAClC,eAAe,EAAE,MAAM,EACvB,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,GACtB;IAAE,IAAI,EAAE,OAAO,GAAG,QAAQ,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,CA6C7C;AAED;;;;;;;GAOG;AACH,wBAAgB,kCAAkC,CAChD,eAAe,EAAE,MAAM,EACvB,eAAe,EAAE,MAAM,EACvB,QAAQ,EAAE,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC,GAC7D;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CA4DpC;AAED;;;;GAIG;AACH,wBAAgB,8BAA8B,CAC5C,eAAe,EAAE,MAAM,EACvB,eAAe,EAAE,MAAM,EACvB,QAAQ,EAAE,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC,GAC7D;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAiEpC;AAED;;;;GAIG;AAEH,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,WAAW,EAClB,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACzC,eAAe,EAAE,MAAM,GAAG,SAAS,EACnC,YAAY,EAAE,MAAM,GACnB,MAAM,CAsBR;AAED;;;;;;;GAOG;AAEH,wBAAgB,gBAAgB,CAC9B,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,MAAM,GACf,OAAO,CAaT;AAGD;;;;;;GAMG;AACH,wBAAsB,iBAAiB,CACrC,KAAK,EAAE,WAAW,EAClB,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACzC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,SAAS,EACvD,OAAO,EAAE,gBAAgB,GAAG;IAC1B,QAAQ,CAAC,EAAE,EAAE,WAAW,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;CAClD,EACD,sBAAsB,CAAC,EAAE,MAAM,GAC9B,OAAO,CAAC;IACT,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IAC3B,KAAK,EAAE,MAAM,CAAC;CACf,CAAC,CAoBD;AAED,wBAAsB,oBAAoB,CACxC,KAAK,EAAE,WAAW,EAClB,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACzC,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAC5C,OAAO,CAAC,EAAE,gBAAgB,EAC1B,sBAAsB,CAAC,EAAE,MAAM,GAC9B,OAAO,CAAC;IACT,OAAO,EAAE,kBAAkB,CAAC;IAC5B,QAAQ,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;CAC/B,GAAG,IAAI,CAAC,CAoIR;AAED,uEAAuE;AACvE,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,gBAAgB,EACzB,KAAK,EAAE,WAAW,EAClB,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACzC,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAC3C,MAAM,CAOR"}
+{"version":3,"file":"source-authoring.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/source-authoring.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAOjF,OAAO,KAAK,EAAqB,WAAW,EAAE,MAAM,YAAY,CAAC;AAEjE,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC;IACxC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,OAAO,GAAG,QAAQ,CAAC;IACzB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,OAAO,EAAE,OAAO,CAAC;CAClB,CAAC,CAAC;AAmBH,wBAAgB,yBAAyB,CACvC,aAAa,EAAE,MAAM,EACrB,YAAY,EAAE,MAAM,EACpB,SAAS,EAAE,MAAM,GAChB,IAAI,CAiBN;AAED,KAAK,SAAS,GAAG,QAAQ,CAAC;IAAE,KAAK,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,CAAC,CAAC;AAExD,8EAA8E;AAE9E,wBAAgB,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,CAOpE;AAED;;;;GAIG;AAEH,wBAAgB,gBAAgB,CAC9B,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,SAAS,GAAG,IAAI,GACtB,IAAI,CAON;AAeD;;;;GAIG;AAEH,wBAAgB,0BAA0B,CACxC,aAAa,EAAE,MAAM,EACrB,YAAY,EAAE,MAAM,GACnB,IAAI,CAMN;AAED;;;;;;GAMG;AAEH,wBAAgB,6BAA6B,CAC3C,aAAa,EAAE,MAAM,EACrB,YAAY,EAAE,MAAM,EACpB,SAAS,EAAE,MAAM,GAChB,OAAO,CA8BT;AAgBD,wBAAgB,0BAA0B,CACxC,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,MAAM,GACf,MAAM,CAqCR;AAED,wBAAgB,2BAA2B,CACzC,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,MAAM,GACb,MAAM,CAoBR;AAkCD;;;;GAIG;AACH,wBAAgB,sBAAsB,CACpC,aAAa,EAAE,MAAM,EACrB,IAAI,EAAE,MAAM,GACX,MAAM,GAAG,SAAS,CAYpB;AAED,wBAAgB,yBAAyB,CACvC,aAAa,EAAE,MAAM,EACrB,IAAI,EAAE,MAAM,GACX,OAAO,CAET;AA8CD;;;;;GAKG;AAEH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,gBAAgB,EACzB,KAAK,EAAE,WAAW,GACjB,MAAM,GAAG,SAAS,CAMpB;AAED,gFAAgF;AAEhF,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAE5E;AA8LD,uFAAuF;AAEvF,eAAO,MAAM,uBAAuB,uGAM1B,CAAC;AA8BX,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,OAAO,GACZ,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,CAiCzC;AAwRD,wBAAgB,oBAAoB,CAClC,eAAe,EAAE,MAAM,EACvB,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,GACtB;IAAE,IAAI,EAAE,OAAO,GAAG,QAAQ,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,CA6C7C;AAED;;;;;;;GAOG;AACH,wBAAgB,kCAAkC,CAChD,eAAe,EAAE,MAAM,EACvB,eAAe,EAAE,MAAM,EACvB,QAAQ,EAAE,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC,GAC7D;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CA4DpC;AAED;;;;GAIG;AACH,wBAAgB,8BAA8B,CAC5C,eAAe,EAAE,MAAM,EACvB,eAAe,EAAE,MAAM,EACvB,QAAQ,EAAE,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC,GAC7D;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAyFpC;AAED;;;;GAIG;AAEH,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,WAAW,EAClB,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACzC,eAAe,EAAE,MAAM,GAAG,SAAS,EACnC,YAAY,EAAE,MAAM,GACnB,MAAM,CAsBR;AAED;;;;;;;GAOG;AAEH,wBAAgB,gBAAgB,CAC9B,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,MAAM,GACf,OAAO,CAaT;AAGD;;;;;;GAMG;AACH,wBAAsB,iBAAiB,CACrC,KAAK,EAAE,WAAW,EAClB,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACzC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,SAAS,EACvD,OAAO,EAAE,gBAAgB,GAAG;IAC1B,QAAQ,CAAC,EAAE,EAAE,WAAW,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;CAClD,EACD,sBAAsB,CAAC,EAAE,MAAM,GAC9B,OAAO,CAAC;IACT,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IAC3B,KAAK,EAAE,MAAM,CAAC;CACf,CAAC,CAoBD;AAED,wBAAsB,oBAAoB,CACxC,KAAK,EAAE,WAAW,EAClB,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACzC,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAC5C,OAAO,CAAC,EAAE,gBAAgB,EAC1B,sBAAsB,CAAC,EAAE,MAAM,GAC9B,OAAO,CAAC;IACT,OAAO,EAAE,kBAAkB,CAAC;IAC5B,QAAQ,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;CAC/B,GAAG,IAAI,CAAC,CAoIR;AAED,uEAAuE;AACvE,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,gBAAgB,EACzB,KAAK,EAAE,WAAW,EAClB,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACzC,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAC3C,MAAM,CAOR"}

package/dist/operations/mutation/source-authoring.js

@@ -806,28 +806,47 @@ export function renderYamlRelationshipDeletion(sourcePathValue, existingContent,
     if (!symbol || typeof symbol !== "object" || !("get" in symbol)) {
         return { body: existingContent, removed: false };
     }
-    const relationships = symbol.get("relationships", true);
-    if (!relationships ||
-        typeof relationships !== "object" ||
-        !("items" in relationships)) {
-        return { body: existingContent, removed: false };
-    }
-    const relationshipItems = relationships.items;
+    const symbolNode = symbol;
+    const sameTarget = (value) => typeof value === "string" &&
+        value.replace(/^kb:entity\//, "") === selector.to;
     let removed = false;
-    for (let index = relationshipItems.length - 1; index >= 0; index -= 1) {
-        const item = relationshipItems[index];
-        if (!item || typeof item !== "object" || !("get" in item))
-            continue;
-        const node = item;
-        const type = node.get("type");
-        const target = node.get("target") ?? node.get("to");
-        const normalizedTarget = typeof target === "string"
-            ? target.replace(/^kb:entity\//, "")
-            : undefined;
-        if (type === selector.type && normalizedTarget === selector.to) {
-            relationships.delete(index);
-            removed = true;
+    const relationships = symbolNode.get("relationships", true);
+    if (relationships &&
+        typeof relationships === "object" &&
+        "items" in relationships) {
+        const relationshipItems = relationships.items;
+        for (let index = relationshipItems.length - 1; index >= 0; index -= 1) {
+            const item = relationshipItems[index];
+            if (!item || typeof item !== "object" || !("get" in item))
+                continue;
+            const node = item;
+            if (node.get("type") === selector.type &&
+                sameTarget(node.get("target") ?? node.get("to"))) {
+                relationships.delete(index);
+                removed = true;
+            }
+        }
+    }
+    // A legacy `links:` list declares implements edges too; leaving the entry
+    // would bring the deleted edge back on the next sync.
+    const links = symbolNode.get("links", true);
+    if (selector.type === "implements" &&
+        links &&
+        typeof links === "object" &&
+        "items" in links) {
+        const linkItems = links.items;
+        for (let index = linkItems.length - 1; index >= 0; index -= 1) {
+            const item = linkItems[index];
+            const value = item && typeof item === "object" && "value" in item
+                ? item.value
+                : item;
+            if (sameTarget(value)) {
+                links.delete(index);
+                removed = true;
+            }
         }
+        if (linkItems.length === 0)
+            symbolNode.delete("links");
     }
     return removed
         ? { body: doc.toString(AUTHORED_YAML_OPTIONS), removed: true }

package/dist/operations/mutation/strict-fact.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"strict-fact.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/strict-fact.ts"],"names":[],"mappings":"AAWA,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAarD;AAGD,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACxC,MAAM,EAAE,CA+EV;AAED,wBAAgB,qBAAqB,CACnC,aAAa,EAAE,OAAO,EACtB,aAAa,EAAE,OAAO,GACrB,IAAI,CAUN;AAGD,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACxC,IAAI,CAmDN"}
+{"version":3,"file":"strict-fact.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/strict-fact.ts"],"names":[],"mappings":"AAYA,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAgBrD;AAGD,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACxC,MAAM,EAAE,CA+EV;AAED,wBAAgB,qBAAqB,CACnC,aAAa,EAAE,OAAO,EACtB,aAAa,EAAE,OAAO,GACrB,IAAI,CAUN;AAGD,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACxC,IAAI,CAmDN"}