kibi-cli 2.24.0 → 2.26.1

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

@@ -0,0 +1,115 @@
+/*
+ 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 path from "node:path";
+import { sourceExtractionRemediation } from "../../commands/sync/cache.js";
+import { extractFromMarkdownString } from "../../extractors/markdown.js";
+import { authoredFrontmatter, newEntitySourceTarget, renderSourceDocument, } from "./source-authoring.js";
+function errorText(error) {
+    return error instanceof Error ? error.message : String(error);
+}
+/**
+ * The authored document an upsert of `input` would merge into although the
+ * store does not hold the entity: a file left out of the last sync (one sync
+ * could not extract, or one written since). Null when the writer would
+ * create a new file, writes a symbol manifest, or the file declares another
+ * entity. A file whose front matter does not parse is refused here: the
+ * writer could not merge into it either.
+ */
+// implements REQ-kibi-uncompiled-source-visibility
+export async function readUncompiledAuthoredSource(context, input) {
+    if (context.fs === undefined || context.sourceFirst === false)
+        return null;
+    if (input.type === "symbol")
+        return null;
+    const absolute = newEntitySourceTarget(context, input);
+    if (absolute === undefined || !/\.mdx?$/i.test(absolute))
+        return null;
+    let content;
+    try {
+        content = await context.fs.readFile(absolute);
+    }
+    catch {
+        return null;
+    }
+    const relative = path
+        .relative(context.workspaceRoot, absolute)
+        .replaceAll(path.sep, "/");
+    try {
+        const { entity } = extractFromMarkdownString(content, absolute);
+        if (entity.id !== input.id)
+            return null;
+        return {
+            path: relative,
+            absolute,
+            content,
+            stored: entity,
+            extractionError: null,
+        };
+    }
+    catch (error) {
+        const extractionError = errorText(error);
+        let frontmatter;
+        try {
+            frontmatter = authoredFrontmatter(content);
+        }
+        catch (parseError) {
+            throw new Error(`Upsert of ${input.id} refused: ${relative} exists but kibi sync cannot compile it (${extractionError}), and its front matter does not parse (${errorText(parseError)}), so the write cannot merge into it. Fix the front matter of ${relative}, run kibi sync, then retry.`);
+        }
+        if (frontmatter.id !== undefined && frontmatter.id !== input.id)
+            return null;
+        if (frontmatter.type !== undefined && frontmatter.type !== input.type)
+            return null;
+        return {
+            path: relative,
+            absolute,
+            content,
+            stored: { ...frontmatter, id: input.id, type: input.type },
+            extractionError,
+        };
+    }
+}
+/**
+ * The store lookup for an upsert whose entity exists only in its authored
+ * file: the file's own state is what the write changes, so the stored
+ * ledger, origin and firmness checks read it.
+ */
+// implements REQ-kibi-uncompiled-source-visibility
+export function authoredEntityLookup(source) {
+    return {
+        exists: async () => true,
+        entity: async () => source.stored,
+    };
+}
+/**
+ * Render the document the writer will leave and extract it as kibi sync
+ * will. A write that leaves the file uncompilable is refused, naming the
+ * file and the error, because the entity would stay invisible to every
+ * store-backed tool. Returns the relationships the written file declares.
+ */
+// implements REQ-kibi-uncompiled-source-visibility
+export function assertAuthoredWriteCompiles(source, input, entity) {
+    let after;
+    try {
+        after = renderSourceDocument(input, entity, source.content, source.path);
+        return extractFromMarkdownString(after, source.absolute).relationships.map((relationship) => ({ ...relationship }));
+    }
+    catch (error) {
+        const message = errorText(error);
+        throw new Error(`Upsert of ${input.id} refused: ${input.id} exists in ${source.path} but is not compiled${source.extractionError === null ? "" : ` (${source.extractionError})`}, and this write would leave the file uncompilable: ${message}. ${sourceExtractionRemediation(source.path, message)}`);
+    }
+}

package/dist/operations/mutation/upsert.d.ts

@@ -3,6 +3,7 @@ import type { OperationResult } from "../../public/operations/types.js";
 import type { SemanticAdvisorReceipt } from "../semantic-advisor/types.js";
 import { type StoredEntityLookup } from "./stored-entity.js";
 import type { RelationshipInput, StagedUpsertState, UpsertInput, UpsertPayload, ValidatedUpsert } from "./types.js";
+import { type UncompiledAuthoredSource } from "./uncompiled-source.js";
 export declare function assertRelationshipShardContained(workspaceRoot: string, shardPath: string): void;
 export declare function validateAppendOnlyProofReceipts(entity: Readonly<Record<string, unknown>>, context: OperationContext, staged?: StagedUpsertState): Promise<void>;
 export declare function effectiveRelationships(input: UpsertInput, entity: Readonly<Record<string, unknown>>, relationships: readonly RelationshipInput[], context: OperationContext, staged?: StagedUpsertState, lookup?: StoredEntityLookup): Promise<readonly RelationshipInput[]>;
@@ -32,6 +33,11 @@ export declare function analyzeUpsertSemantics(payload: UpsertInput & {
 }): UpsertSemanticAnalysis;
 export type UpsertValidation = Readonly<{
     readonly validated: ValidatedUpsert;
+    /**
+     * The authored file the write merges into although the store does not
+     * hold the entity; absent for an ordinary create or update.
+     */
+    readonly uncompiledSource?: UncompiledAuthoredSource;
     /** The upsert's relationships merged with the entity's existing ones. */
     readonly relationships: readonly RelationshipInput[];
     readonly semantic: UpsertSemanticAnalysis;

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

@@ -1 +1 @@
-{"version":3,"file":"upsert.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/upsert.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AAexE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AA4B3E,OAAO,EACL,KAAK,kBAAkB,EAExB,MAAM,oBAAoB,CAAC;AAQ5B,OAAO,KAAK,EACV,iBAAiB,EACjB,iBAAiB,EACjB,WAAW,EACX,aAAa,EACb,eAAe,EAChB,MAAM,YAAY,CAAC;AAsEpB,wBAAgB,gCAAgC,CAC9C,aAAa,EAAE,MAAM,EACrB,SAAS,EAAE,MAAM,GAChB,IAAI,CAkBN;AAwCD,wBAAsB,+BAA+B,CACnD,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACzC,OAAO,EAAE,gBAAgB,EACzB,MAAM,CAAC,EAAE,iBAAiB,GACzB,OAAO,CAAC,IAAI,CAAC,CAqBf;AAED,wBAAsB,sBAAsB,CAC1C,KAAK,EAAE,WAAW,EAClB,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACzC,aAAa,EAAE,SAAS,iBAAiB,EAAE,EAC3C,OAAO,EAAE,gBAAgB,EACzB,MAAM,CAAC,EAAE,iBAAiB,EAC1B,MAAM,CAAC,EAAE,kBAAkB,GAC1B,OAAO,CAAC,SAAS,iBAAiB,EAAE,CAAC,CA8BvC;AAmCD,MAAM,MAAM,uBAAuB,GAAG,QAAQ,CAAC;IAC7C,kEAAkE;IAClE,QAAQ,CAAC,kBAAkB,CAAC,EAAE,OAAO,CAAC;IACtC;;;OAGG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC;CACrC,CAAC,CAAC;AAGH,uFAAuF;AACvF,MAAM,MAAM,sBAAsB,GAAG,QAAQ,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,sBAAsB,GAAG,IAAI,CAAC;IAChD,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC,CAAC,CAAC;AAGH;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,WAAW,GAAG;IACrB,QAAQ,CAAC,aAAa,EAAE,SAAS,iBAAiB,EAAE,CAAC;CACtD,GACA,sBAAsB,CASxB;AAGD,MAAM,MAAM,gBAAgB,GAAG,QAAQ,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;IACpC,yEAAyE;IACzE,QAAQ,CAAC,aAAa,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACrD,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,CAAC;CAC3C,CAAC,CAAC;AAGH;;;;;;;;GAQG;AACH,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,WAAW,EACpB,OAAO,EAAE,gBAAgB,EACzB,OAAO,GAAE,uBAA4B,GACpC,OAAO,CAAC,gBAAgB,CAAC,CAiF3B;AAgDD,MAAM,MAAM,sBAAsB,GAAG,QAAQ,CAAC;IAC5C;;;;;;OAMG;IAEH,QAAQ,CAAC,sBAAsB,CAAC,EAAE,MAAM,CAAC;IACzC;;;;OAIG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE,OAAO,CAAC;IACtC;;;;OAIG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,OAAO,CAAC;CACxC,CAAC,CAAC;AAyBH,wBAAsB,aAAa,CACjC,KAAK,EAAE,WAAW,EAClB,OAAO,EAAE,gBAAgB,EACzB,OAAO,GAAE,sBAA2B,GACnC,OAAO,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC,CA2hBzC"}
+{"version":3,"file":"upsert.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/upsert.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AAexE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AA6B3E,OAAO,EACL,KAAK,kBAAkB,EAExB,MAAM,oBAAoB,CAAC;AAQ5B,OAAO,KAAK,EACV,iBAAiB,EACjB,iBAAiB,EACjB,WAAW,EACX,aAAa,EACb,eAAe,EAChB,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,KAAK,wBAAwB,EAI9B,MAAM,wBAAwB,CAAC;AAsEhC,wBAAgB,gCAAgC,CAC9C,aAAa,EAAE,MAAM,EACrB,SAAS,EAAE,MAAM,GAChB,IAAI,CAkBN;AAwCD,wBAAsB,+BAA+B,CACnD,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACzC,OAAO,EAAE,gBAAgB,EACzB,MAAM,CAAC,EAAE,iBAAiB,GACzB,OAAO,CAAC,IAAI,CAAC,CAqBf;AAED,wBAAsB,sBAAsB,CAC1C,KAAK,EAAE,WAAW,EAClB,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACzC,aAAa,EAAE,SAAS,iBAAiB,EAAE,EAC3C,OAAO,EAAE,gBAAgB,EACzB,MAAM,CAAC,EAAE,iBAAiB,EAC1B,MAAM,CAAC,EAAE,kBAAkB,GAC1B,OAAO,CAAC,SAAS,iBAAiB,EAAE,CAAC,CAgCvC;AAmCD,MAAM,MAAM,uBAAuB,GAAG,QAAQ,CAAC;IAC7C,kEAAkE;IAClE,QAAQ,CAAC,kBAAkB,CAAC,EAAE,OAAO,CAAC;IACtC;;;OAGG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC;CACrC,CAAC,CAAC;AAGH,uFAAuF;AACvF,MAAM,MAAM,sBAAsB,GAAG,QAAQ,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,sBAAsB,GAAG,IAAI,CAAC;IAChD,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC,CAAC,CAAC;AAGH;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,WAAW,GAAG;IACrB,QAAQ,CAAC,aAAa,EAAE,SAAS,iBAAiB,EAAE,CAAC;CACtD,GACA,sBAAsB,CASxB;AAGD,MAAM,MAAM,gBAAgB,GAAG,QAAQ,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;IACpC;;;OAGG;IACH,QAAQ,CAAC,gBAAgB,CAAC,EAAE,wBAAwB,CAAC;IACrD,yEAAyE;IACzE,QAAQ,CAAC,aAAa,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACrD,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,CAAC;CAC3C,CAAC,CAAC;AAGH;;;;;;;;GAQG;AACH,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,WAAW,EACpB,OAAO,EAAE,gBAAgB,EACzB,OAAO,GAAE,uBAA4B,GACpC,OAAO,CAAC,gBAAgB,CAAC,CAyG3B;AAgDD,MAAM,MAAM,sBAAsB,GAAG,QAAQ,CAAC;IAC5C;;;;;;OAMG;IAEH,QAAQ,CAAC,sBAAsB,CAAC,EAAE,MAAM,CAAC;IACzC;;;;OAIG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE,OAAO,CAAC;IACtC;;;;OAIG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,OAAO,CAAC;CACxC,CAAC,CAAC;AAyBH,wBAAsB,aAAa,CACjC,KAAK,EAAE,WAAW,EAClB,OAAO,EAAE,gBAAgB,EACzB,OAAO,GAAE,sBAA2B,GACnC,OAAO,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC,CAiiBzC"}

package/dist/operations/mutation/upsert.js

@@ -15,6 +15,7 @@ import { analyzeSemanticAdvisorInput } from "../semantic-advisor/analyze-prose.j
 import { assertLogicalGroundingClaimKeys, assertSemanticInventoryBoundary, } from "../semantic-advisor/ingestion-boundary.js";
 import { entityContextWarnings } from "./context-warning.js";
 import { buildUpsertCommitGoal, formatUpsertError } from "./contradictions.js";
+import { assertFirmDecisionUnchanged } from "./firm-decision-guard.js";
 import { resolveUpsertOrigin } from "./origin.js";
 import { planRecoveryNotes, settlePendingPlanApplyJournals, withPlanRecoveryNotes, } from "./plan-apply-journal.js";
 import { assertPredicateArgumentVocabulary } from "./predicate-vocabulary-guard.js";
@@ -26,6 +27,7 @@ import { storedEntityLookup, } from "./stored-entity.js";
 import { acquireSymbolCompilerLock, releaseSymbolCompilerLock, } from "./symbol-compiler-lock.js";
 import { validateSymbolGranularity } from "./symbol-granularity.js";
 import { refreshSymbolCoordinatesForManifest } from "./symbol-refresh.js";
+import { assertAuthoredWriteCompiles, authoredEntityLookup, readUncompiledAuthoredSource, } from "./uncompiled-source.js";
 import { validateUpsertInput } from "./validation.js";
 import { scenarioCoverageWarnings, symbolCoverageWarnings, } from "./warnings.js";
 import { acquireWorkspaceMutationLock, releaseWorkspaceMutationLock, } from "./workspace-mutation-lock.js";
@@ -146,12 +148,14 @@ export async function effectiveRelationships(input, entity, relationships, conte
     // Relationships an earlier plan step adds from this entity will exist when
     // this upsert runs.
     const plannedOwn = (staged?.relationships ?? []).filter((relationship) => relationship.from === input.id);
-    const exists = await (lookup ?? storedEntityLookup(prolog, input.id, input.type)).exists();
+    const resolved = lookup ?? storedEntityLookup(prolog, input.id, input.type);
+    const exists = await resolved.exists();
     if (!exists && plannedOwn.length === 0)
         return relationships;
     try {
         const current = exists
-            ? (await existingRelationships(prolog, String(entity.id)))
+            ? (resolved.relationships ??
+                (await existingRelationships(prolog, String(entity.id))))
                 // An upsert owns only relationships whose source is the upserted
                 // entity. Incoming relationships must not be copied into its
                 // validation or canonical source projection.
@@ -230,15 +234,32 @@ export async function validateUpsertForCommit(payload, context, options = {}) {
     // The payload must be valid on its own before the store is read.
     const checked = validateUpsertInput(payload, context.clock());
     validateRelationshipSources(payload.id, checked.relationships);
+    // Symbol granularity reads only the payload and its source file, and stored
+    // state never changes a symbol payload, so it runs before the store is read.
+    await validateSymbolGranularity(checked.entity, checked.relationships, context);
     // One read of the entity this upsert replaces, shared by the ledger merge
     // and the stored origin below.
-    const lookup = storedEntityLookup(prolog, payload.id, payload.type);
+    let lookup = storedEntityLookup(prolog, payload.id, payload.type);
+    // implements REQ-kibi-uncompiled-source-visibility
+    // An entity missing from the store whose authored file exists (one sync
+    // could not extract, or one written since the last sync) is an update of
+    // that file, not a create: the writer merges into it. Judge the write
+    // against the file's own state so every stored-state check applies.
+    const uncompiledSource = staged?.entities.has(payload.id) === true || (await lookup.exists())
+        ? null
+        : await readUncompiledAuthoredSource(context, payload);
+    if (uncompiledSource !== null)
+        lookup = authoredEntityLookup(uncompiledSource);
     const input = await withStoredRequirementSemantics(payload, prolog, staged, lookup);
     const validated = input === payload ? checked : validateUpsertInput(input, context.clock());
+    if (uncompiledSource !== null)
+        lookup = {
+            ...lookup,
+            relationships: assertAuthoredWriteCompiles(uncompiledSource, input, validated.entity),
+        };
     if (options.allowReceiptsPrune !== true) {
         await validateAppendOnlyProofReceipts(validated.entity, context, staged);
     }
-    await validateSymbolGranularity(validated.entity, validated.relationships, context);
     const relationships = await effectiveRelationships(input, validated.entity, validated.relationships, context, staged, lookup);
     await validateStrictLanePairing(prolog, validated.relationships, staged);
     await validateLiveRelationshipTargets(prolog, validated.entity, validated.relationships, staged);
@@ -247,6 +268,7 @@ export async function validateUpsertForCommit(payload, context, options = {}) {
     await assertStoredRequirementBoundary(input, relationships, prolog, staged, lookup);
     await assertLogicalGroundingClaimKeys(prolog, { ...input, relationships }, relationships, staged);
     await assertPredicateArgumentVocabulary(prolog, validated.entity, staged);
+    await assertFirmDecisionUnchanged(payload, context.workspaceRoot, lookup);
     // The origin the write records is added last: none of the checks above
     // reads it, and a rejected payload never pays for the stored-origin read.
     const recorded = await resolveUpsertOrigin(input, prolog, context.clock(), staged, lookup);
@@ -257,6 +279,7 @@ export async function validateUpsertForCommit(payload, context, options = {}) {
             : validateUpsertInput(decided, context.clock()),
         relationships,
         semantic,
+        ...(uncompiledSource !== null ? { uncompiledSource } : {}),
     };
 }
 /**
@@ -368,7 +391,7 @@ export async function executeUpsert(input, context, options = {}) {
             // upserts cannot lose updates.
             compilerLock = await acquireSymbolCompilerLock(context.workspaceRoot);
         }
-        const { validated, relationships, semantic } = await validateUpsertForCommit(input, context, {
+        const { validated, relationships, semantic, uncompiledSource } = await validateUpsertForCommit(input, context, {
             allowReceiptsPrune: options.allowReceiptsPrune === true,
         });
         relationshipCount = validated.relationships.length;
@@ -602,6 +625,12 @@ export async function executeUpsert(input, context, options = {}) {
             relationships_created: validated.relationships.length,
             warnings: [
                 ...planRecoveryWarnings,
+                // implements REQ-kibi-uncompiled-source-visibility
+                ...(uncompiledSource !== undefined
+                    ? [
+                        `${input.id} was not in the compiled KB; this write updated its authored file ${uncompiledSource.path}${uncompiledSource.extractionError === null ? "" : `, which kibi sync could not compile before (${uncompiledSource.extractionError})`}. Run kibi sync to recompile it.`,
+                    ]
+                    : []),
                 ...semantic.warnings,
                 ...coverage,
                 ...idStyleWarnings,

package/dist/public/impact/analyzer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"analyzer.d.ts","sourceRoot":"","sources":["../../../src/public/impact/analyzer.ts"],"names":[],"mappings":"AA8BA,OAAO,KAAK,EACV,wBAAwB,EACxB,uBAAuB,EACxB,MAAM,YAAY,CAAC;AAEpB,wBAAsB,wBAAwB,CAC5C,OAAO,EAAE,wBAAwB,GAChC,OAAO,CAAC,uBAAuB,CAAC,CAsJlC"}
+{"version":3,"file":"analyzer.d.ts","sourceRoot":"","sources":["../../../src/public/impact/analyzer.ts"],"names":[],"mappings":"AA8BA,OAAO,KAAK,EACV,wBAAwB,EACxB,uBAAuB,EACxB,MAAM,YAAY,CAAC;AAGpB,wBAAsB,wBAAwB,CAC5C,OAAO,EAAE,wBAAwB,GAChC,OAAO,CAAC,uBAAuB,CAAC,CAmKlC"}

package/dist/public/impact/analyzer.js

@@ -11,6 +11,7 @@ import { normalizeSourceFile } from "./source-changes.js";
 import { collectSourceChanges, uniqueSorted } from "./source-changes.js";
 import { buildNextActions, collectLinkedEntities, formatExtractedSymbols, } from "./summaries.js";
 import { createSymbolQualityDiagnostics } from "./symbol-quality.js";
+import { createUnownedFileDiagnostics } from "./unowned-files.js";
 export async function analyzeChangedFileImpact(options) {
     const workspaceRoot = path.resolve(options.workspaceRoot);
     const snapshot = options.staged
@@ -77,9 +78,20 @@ export async function analyzeChangedFileImpact(options) {
     const activeSourceFiles = new Set(sourceFiles);
     const activeManifestResults = manifestResults.filter((result) => result.sourceFile !== undefined &&
         activeSourceFiles.has(result.sourceFile));
+    const linkedSourceFiles = new Set(manifestResults
+        .filter((result) => result.relationships.some((relationship) => isTraceabilityRelationshipType(relationship.type)))
+        .map((result) => result.sourceFile)
+        .filter((file) => file !== undefined));
     const impactDiagnostics = options.includeImpactDiagnostics === false
         ? []
         : [
+            // Named files first: a file without links is the answer a scoped
+            // check most easily misreads as "no rule applies".
+            ...createUnownedFileDiagnostics({
+                workspaceRoot,
+                requestedFiles: [...filter],
+                linkedSourceFiles,
+            }),
             ...createSymbolGranularityDiagnostics({
                 manifestResults: activeManifestResults,
                 symbolsByFile,
@@ -93,9 +105,7 @@ export async function analyzeChangedFileImpact(options) {
             }),
             ...createSemanticReviewDiagnostics({
                 symbolsByFile,
-                linkedSourceFiles: new Set(activeManifestResults
-                    .filter((result) => result.relationships.some((relationship) => isTraceabilityRelationshipType(relationship.type)))
-                    .map((result) => result.sourceFile)),
+                linkedSourceFiles: new Set([...linkedSourceFiles].filter((file) => activeSourceFiles.has(file))),
             }),
         ];
     const maxDiagnostics = options.maxDiagnostics;

package/dist/public/impact/diagnostics.js

@@ -136,7 +136,7 @@ export function createSemanticReviewDiagnostics(options) {
                     ? `Changed behavioral symbol ${symbol.name} is in a file no requirement owns, so no recorded intent covers the behavior it has after this change`
                     : `Changed behavioral symbol ${symbol.name} needs semantic review against linked Kibi coverage: ${linkedTargets}`,
                 suggestion: unlinked
-                    ? `If the change adds or alters behavior, record it with the change: kb_search({query:"<the behavior>", sourceLocations:[{path:"${file}"}]}) for a requirement that already describes it and link ${symbol.name} to it; if none does, kb_upsert a requirement with a scenario and link the symbol with implements. If behavior is unchanged (a refactor, renaming), say so in the final report instead.`
+                    ? `If the change adds or alters behavior, record it as part of this change; that is part of finishing it, not a separate request, so it needs no permission: kb_search({query:"<the behavior>", sourceLocations:[{path:"${file}"}]}) for a requirement that already describes it and link ${symbol.name} to it; if none does, kb_upsert a requirement with a scenario and link the symbol with implements. If behavior is unchanged (a refactor, renaming), say so in the final report instead.`
                     : `Use kb_search and kb_query for ${file}, then verify that ${linkedTargets} actually describe and test the changed behavior or UI copy. Update Kibi links or requirements/tests while the edit context is fresh.`,
             });
         }

package/dist/public/impact/unowned-files.d.ts

@@ -0,0 +1,31 @@
+import type { KibiImpactDiagnostic } from "../../traceability/staged-diagnostics.js";
+/**
+ * The topic words of a workspace path, without layout, language and role
+ * words (`src/app/pages/coach-dashboard/coach-dashboard.html` -> `coach`,
+ * `dashboard`).
+ */
+export declare function pathTopicWords(relativePath: string): string[];
+export type RequirementCandidate = {
+    readonly id: string;
+    readonly title: string;
+    readonly status?: string;
+};
+/**
+ * Current requirements ranked by how many of the path's topic words their
+ * title shares, then by how often the title uses them, then by id; only
+ * those sharing at least one word.
+ */
+export declare function rankRequirementCandidates(relativePath: string, requirements: readonly RequirementCandidate[], limit?: number): RequirementCandidate[];
+export type UnownedFileDiagnosticsOptions = {
+    readonly workspaceRoot: string;
+    /** Workspace-relative files the check was asked about. */
+    readonly requestedFiles: readonly string[];
+    /** Files where some manifest symbol carries a traceability link. */
+    readonly linkedSourceFiles: ReadonlySet<string>;
+};
+/**
+ * One `source_file_unowned` note per requested file without a linked symbol,
+ * naming the current requirements whose titles share its path words.
+ */
+export declare function createUnownedFileDiagnostics(options: UnownedFileDiagnosticsOptions): KibiImpactDiagnostic[];
+//# sourceMappingURL=unowned-files.d.ts.map

package/dist/public/impact/unowned-files.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unowned-files.d.ts","sourceRoot":"","sources":["../../../src/public/impact/unowned-files.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0CAA0C,CAAC;AAqDrF;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,EAAE,CAS7D;AAGD,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B,CAAC;AAGF;;;;GAIG;AACH,wBAAgB,yBAAyB,CACvC,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,SAAS,oBAAoB,EAAE,EAC7C,KAAK,GAAE,MAAuB,GAC7B,oBAAoB,EAAE,CAyBxB;AA+DD,MAAM,MAAM,6BAA6B,GAAG;IAC1C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,0DAA0D;IAC1D,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,oEAAoE;IACpE,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACjD,CAAC;AAGF;;;GAGG;AACH,wBAAgB,4BAA4B,CAC1C,OAAO,EAAE,6BAA6B,GACrC,oBAAoB,EAAE,CAqCxB"}

package/dist/public/impact/unowned-files.js

@@ -0,0 +1,171 @@
+import { closeSync, openSync, readSync, readdirSync } from "node:fs";
+import * as path from "node:path";
+/**
+ * A file `kb_check` was asked about that no symbol links to a requirement.
+ * No link is not no rule, so the check says so and names the current
+ * requirements whose titles share the file's path words: candidates to
+ * confirm, never owners. Kibi's hooks name the same candidates before an edit
+ * (kibi-agent-core `requirement-candidates`), with the same word rules.
+ */
+const REQUIREMENTS_DIR = path.join(".kb", "requirements");
+const HEAD_BYTES = 4096;
+const MAX_CANDIDATES = 3;
+const MAX_TITLE = 100;
+/** Path words that name a layout, a language or a role, not a behavior. */
+const LAYOUT_WORDS = new Set(("src app apps lib libs source page pages component components view views " +
+    "screen screens package packages main index shared common core util utils " +
+    "helper helpers public static asset assets web client server frontend " +
+    "backend module modules feature features internal service services test " +
+    "tests spec specs dist build html htm tsx jsx mjs cjs vue svelte css scss " +
+    "less json yaml yml java swift php").split(" "));
+/** Words of a title or path that carry no topic. */
+const FILLER_WORDS = new Set(("the and for with must should shall may can are its their that this " +
+    "from into when each every all not req auto").split(" "));
+const RETIRED_STATUS = /supersed|deprecat|reject|obsolete|retired|archived|removed/i;
+/** Lowercase word stems of an identifier, path segment or title. */
+function words(text) {
+    return text
+        .replace(/([a-z0-9])([A-Z])/g, "$1 $2")
+        .toLowerCase()
+        .split(/[^a-z0-9]+/)
+        .filter((word) => word.length >= 3 && !/\d/.test(word))
+        .map((word) => word.length > 4 && word.endsWith("s") && !word.endsWith("ss")
+        ? word.slice(0, -1)
+        : word);
+}
+// implements REQ-kb-unowned-file-candidates
+/**
+ * The topic words of a workspace path, without layout, language and role
+ * words (`src/app/pages/coach-dashboard/coach-dashboard.html` -> `coach`,
+ * `dashboard`).
+ */
+export function pathTopicWords(relativePath) {
+    const segments = relativePath.split(/[\\/]/).filter(Boolean);
+    const last = segments.pop() ?? "";
+    const dot = last.indexOf(".");
+    const parts = dot >= 0 ? [last.slice(0, dot), last.slice(dot + 1)] : [last];
+    const found = [...segments, ...parts]
+        .flatMap(words)
+        .filter((word) => !LAYOUT_WORDS.has(word) && !FILLER_WORDS.has(word));
+    return [...new Set(found)];
+}
+// implements REQ-kb-unowned-file-candidates
+/**
+ * Current requirements ranked by how many of the path's topic words their
+ * title shares, then by how often the title uses them, then by id; only
+ * those sharing at least one word.
+ */
+export function rankRequirementCandidates(relativePath, requirements, limit = MAX_CANDIDATES) {
+    const topic = new Set(pathTopicWords(relativePath));
+    if (topic.size === 0)
+        return [];
+    const scored = [];
+    for (const requirement of requirements) {
+        if (requirement.status !== undefined &&
+            RETIRED_STATUS.test(requirement.status))
+            continue;
+        const matched = words(requirement.title).filter((word) => topic.has(word));
+        const shared = new Set(matched).size;
+        if (shared > 0)
+            scored.push({ requirement, shared, uses: matched.length });
+    }
+    scored.sort((a, b) => b.shared - a.shared ||
+        b.uses - a.uses ||
+        a.requirement.id.localeCompare(b.requirement.id));
+    return scored.slice(0, limit).map((entry) => entry.requirement);
+}
+function unquote(value) {
+    const trimmed = value.trim();
+    return /^(["']).*\1$/.test(trimmed) ? trimmed.slice(1, -1) : trimmed;
+}
+function readRequirementHead(file) {
+    let head;
+    try {
+        const descriptor = openSync(file, "r");
+        try {
+            const buffer = Buffer.alloc(HEAD_BYTES);
+            const bytes = readSync(descriptor, buffer, 0, buffer.length, 0);
+            head = buffer.subarray(0, bytes).toString("utf8");
+        }
+        finally {
+            closeSync(descriptor);
+        }
+    }
+    catch {
+        return undefined;
+    }
+    const lines = head.split(/\r?\n/);
+    if (lines[0]?.trim() !== "---")
+        return undefined;
+    const fields = {};
+    for (const line of lines.slice(1)) {
+        if (line.trim() === "---")
+            break;
+        const match = /^(id|title|status):\s*(.+)$/.exec(line);
+        if (match?.[1] && match[2])
+            fields[match[1]] = unquote(match[2]);
+    }
+    if (!fields.id || !fields.title)
+        return undefined;
+    return {
+        id: fields.id,
+        title: fields.title,
+        ...(fields.status ? { status: fields.status } : {}),
+    };
+}
+function readRequirementHeads(workspaceRoot) {
+    const directory = path.join(workspaceRoot, REQUIREMENTS_DIR);
+    let names;
+    try {
+        names = readdirSync(directory).filter((name) => name.endsWith(".md"));
+    }
+    catch {
+        return [];
+    }
+    return names
+        .map((name) => readRequirementHead(path.join(directory, name)))
+        .filter((requirement) => requirement !== undefined);
+}
+function truncate(text, limit) {
+    return text.length > limit ? `${text.slice(0, limit - 1)}…` : text;
+}
+/** Files the unowned note does not apply to: the KB itself and prose. */
+function isKnowledgeOrProse(file) {
+    return file.startsWith(".kb/") || /\.mdx?$/i.test(file);
+}
+// implements REQ-kb-unowned-file-candidates
+/**
+ * One `source_file_unowned` note per requested file without a linked symbol,
+ * naming the current requirements whose titles share its path words.
+ */
+export function createUnownedFileDiagnostics(options) {
+    const files = [...new Set(options.requestedFiles)].filter((file) => !options.linkedSourceFiles.has(file) && !isKnowledgeOrProse(file));
+    if (files.length === 0)
+        return [];
+    const requirements = readRequirementHeads(options.workspaceRoot);
+    return files.map((file) => {
+        const candidates = rankRequirementCandidates(file, requirements);
+        const named = candidates
+            .map((candidate) => `${candidate.id} (${truncate(candidate.title, MAX_TITLE)})`)
+            .join("; ");
+        const lead = `No symbol in ${file} is linked to a requirement, so this check finds no owner for it; that does not mean no recorded rule covers the behavior it implements.`;
+        const record = "If none does and the change adds behavior, record a requirement with a scenario and link it with implements as part of this change; if behavior is unchanged, say so in the final report.";
+        return {
+            id: "source_file_unowned",
+            severity: "info",
+            blocking: false,
+            category: "requirement",
+            files: [file],
+            docs: ["docs/symbol-traceability-taxonomy.md"],
+            message: candidates.length > 0
+                ? `${lead} Requirements whose titles share its path words: ${named}.`
+                : lead,
+            suggestion: candidates.length > 0
+                ? `kb_query each candidate to see whether it describes the changed behavior; when one does, link the symbol that implements it (for markup, the component that renders it) with implements and name the requirement in the final report. ${record}`
+                : `kb_search({query:"<the behavior>", sourceLocations:[{path:${JSON.stringify(file)}}]}) for a requirement that already describes it. ${record}`,
+            evidence: {
+                candidates: candidates.map(({ id, title }) => ({ id, title })),
+            },
+        };
+    });
+}

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

@@ -1125,7 +1125,7 @@ export declare const OPERATION_CATALOG: readonly [{
                     readonly firmness: {
                         readonly type: "string";
                         readonly enum: readonly ["firm", "default", "exploratory"];
-                        readonly description: "req/adr only. firm = a human stated it as a rule (needs origin.ref to their words); default (when absent) = delegated or agent choice; exploratory = flagged guess.";
+                        readonly description: "req/adr only. firm = a human stated it as a rule (needs origin.ref to their words); its title, meaning or firmness changes only with new human words (a new origin.ref) or by supersede. default = delegated or agent choice; exploratory = flagged guess. Absent = default if an agent wrote it, else firm.";
                     };
                     readonly rationale: {
                         readonly type: "string";
@@ -1839,7 +1839,7 @@ export declare const OPERATION_CATALOG: readonly [{
                     readonly type: "string";
                     readonly enum: readonly string[];
                 };
-                readonly description: "Optional rule subset. Allowed: must-priority-coverage, symbol-coverage, symbol-traceability, symbol-granularity, no-dangling-refs, source-relationship-parity, branch-store-not-compiled, source-path-dangling, no-cycles, required-fields, deprecated-adr-no-successor, superseded-requirement-open, scenario-feasibility, scenario-feasibility-unknown, exception-claim-keys, numeric-string-value, rule-key-arguments-missing, domain-contradictions, logic-coverage, rule-safety, rule-verifiability, query-plan-safety, req-status-vocabulary, strict-fact-shape, strict-req-fact-pairing, predicate-verifiability, strict-readiness, semantic-completeness, related-requirement-unmodeled, proof-contract-symbols, entity-id-style, domain-redundancy, domain-implication, subject-key-identity, subject-key-shape, ontology-quality, exception-unapproved, exception-approval-self-attested, agent-requirement-unapproved, requirement-rationale-missing, symbol-owner-superseded, adr-unlinked, adr-proposed, predicate-schema-conformance, entity-context-missing, entity-context-acknowledged, decision-firm-unreferenced, decision-firm-superseded, supersedes-reason-missing, supersedes-reason-acknowledged, policy-ownership, policy-markers. If omitted, server runs canonical and advisory rules plus the full-KB qualityDiagnostics audit scan, including usage telemetry acceptance when evidence exists; migration rules run only when explicitly selected. Advisory and migration findings are non-blocking qualityDiagnostics. If supplied, server preserves scoped validation and skips the full-KB advisory scan.";
+                readonly description: "Optional rule subset. Allowed: must-priority-coverage, symbol-coverage, symbol-traceability, symbol-granularity, no-dangling-refs, source-relationship-parity, branch-store-not-compiled, source-path-dangling, no-cycles, required-fields, deprecated-adr-no-successor, superseded-requirement-open, scenario-feasibility, scenario-feasibility-unknown, exception-claim-keys, numeric-string-value, rule-key-arguments-missing, domain-contradictions, logic-coverage, rule-safety, rule-verifiability, query-plan-safety, req-status-vocabulary, strict-fact-shape, strict-req-fact-pairing, predicate-verifiability, strict-readiness, semantic-completeness, related-requirement-unmodeled, proof-contract-symbols, entity-id-style, domain-redundancy, domain-implication, subject-key-identity, subject-key-shape, ontology-quality, exception-unapproved, exception-approval-self-attested, agent-requirement-unapproved, requirement-rationale-missing, symbol-owner-superseded, adr-unlinked, adr-proposed, predicate-schema-conformance, entity-context-missing, entity-context-acknowledged, decision-firm-unreferenced, decision-firm-superseded, decision-firm-edited, supersedes-reason-missing, supersedes-reason-acknowledged, policy-ownership, policy-markers. If omitted, server runs canonical and advisory rules plus the full-KB qualityDiagnostics audit scan, including usage telemetry acceptance when evidence exists; migration rules run only when explicitly selected. Advisory and migration findings are non-blocking qualityDiagnostics. If supplied, server preserves scoped validation and skips the full-KB advisory scan.";
             };
             readonly sourceFiles: {
                 readonly type: "array";
@@ -1858,7 +1858,7 @@ export declare const OPERATION_CATALOG: readonly [{
             };
             readonly includeImpactDiagnostics: {
                 readonly type: "boolean";
-                readonly description: "When true, include changed-file impact diagnostics such as symbol_granularity_violation and symbol_semantic_review_needed in structured output.";
+                readonly description: "When true, include changed-file impact diagnostics such as symbol_granularity_violation, symbol_semantic_review_needed and source_file_unowned in structured output.";
             };
             readonly maxDiagnostics: {
                 readonly type: "integer";

package/dist/public/operations/decision-firmness.d.ts

@@ -4,11 +4,13 @@ import { type AuthoredEntity } from "./entity-context.js";
 export declare const DECISION_FIRM_UNREFERENCED_RULE = "decision-firm-unreferenced";
 /** Only a firm decision may supersede a firm decision (blocking). */
 export declare const DECISION_FIRM_SUPERSEDED_RULE = "decision-firm-superseded";
+/** A firm decision's claim must not change in place without new human words (blocking). */
+export declare const DECISION_FIRM_EDITED_RULE = "decision-firm-edited";
 /** A supersede must say why under "Why this changed" (blocking). */
 export declare const SUPERSEDES_REASON_MISSING_RULE = "supersedes-reason-missing";
 /** How many legacy supersedes the schema 9 migration acknowledged (info). */
 export declare const SUPERSEDES_REASON_ACKNOWLEDGED_RULE = "supersedes-reason-acknowledged";
-export declare const DECISION_FIRMNESS_RULES: readonly ["decision-firm-unreferenced", "decision-firm-superseded", "supersedes-reason-missing", "supersedes-reason-acknowledged"];
+export declare const DECISION_FIRMNESS_RULES: readonly ["decision-firm-unreferenced", "decision-firm-superseded", "decision-firm-edited", "supersedes-reason-missing", "supersedes-reason-acknowledged"];
 /**
  * The schema version from which a decision without `firmness` reads its
  * firmness from its origin, so a person's or imported rule is firm.
@@ -45,6 +47,14 @@ export declare function evaluateDecisionFirmness(entities: readonly AuthoredEnti
     /** Edges the schema 10 migration recorded (`FROM -> TO`). */
     firmSupersedeAcknowledged?: ReadonlySet<string>;
 }>): Violation[];
+/** Reads a workspace-relative file as committed at HEAD; null when absent. */
+export type CommittedFileReader = (relativePath: string) => string | null;
+/**
+ * Current firm requirements and ADRs whose claim changed since HEAD without
+ * citing new human words: an in-place edit that bypassed kb_upsert's guard.
+ * A decision new since HEAD, or one that was not firm there, is not judged.
+ */
+export declare function evaluateFirmDecisionEdits(entities: readonly AuthoredEntity[], edges: ReadonlyMap<string, Set<string>>, changed: ReadonlySet<string>, readCommitted: CommittedFileReader): Violation[];
 /** Read the authored decisions once and evaluate the selected rules. */
 export declare function collectDecisionFirmnessViolations(rules: ReadonlySet<string>, workspaceRoot: string): Violation[];
 //# sourceMappingURL=decision-firmness.d.ts.map

package/dist/public/operations/decision-firmness.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"decision-firmness.d.ts","sourceRoot":"","sources":["../../../src/public/operations/decision-firmness.ts"],"names":[],"mappings":"AAmCA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EACL,KAAK,cAAc,EAGpB,MAAM,qBAAqB,CAAC;AAE7B,wEAAwE;AAExE,eAAO,MAAM,+BAA+B,+BAA+B,CAAC;AAC5E,qEAAqE;AAErE,eAAO,MAAM,6BAA6B,6BAA6B,CAAC;AACxE,oEAAoE;AAEpE,eAAO,MAAM,8BAA8B,8BAA8B,CAAC;AAC1E,6EAA6E;AAE7E,eAAO,MAAM,mCAAmC,mCACd,CAAC;AAGnC,eAAO,MAAM,uBAAuB,oIAK1B,CAAC;AAOX;;;GAGG;AAEH,eAAO,MAAM,mCAAmC,KAAK,CAAC;AAiBtD,0CAA0C;AAE1C,wBAAgB,oBAAoB,CAAC,aAAa,EAAE,MAAM,GAAG,cAAc,EAAE,CAS5E;AAED;;;;;GAKG;AAEH,wBAAgB,kBAAkB,CAChC,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,SAAS,cAAc,EAAE,GAClC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CA+B1B;AASD;;;;;GAKG;AAEH,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,SAAS,cAAc,EAAE,EACnC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,GACtC,cAAc,EAAE,CAQlB;AAED,2EAA2E;AAE3E,wBAAgB,yBAAyB,CACvC,EAAE,EAAE,MAAM,EACV,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,GACtC,MAAM,EAAE,CAIV;AAED;;;;;GAKG;AAEH,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,SAAS,cAAc,EAAE,EACnC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,GACtC,MAAM,EAAE,CAyBV;AAED,uEAAuE;AAEvE,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,SAAS,cAAc,EAAE,EACnC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EACvC,KAAK,GAAE,WAAW,CAAC,MAAM,CAAoC,EAC7D,YAAY,GAAE,WAAW,CAAC,MAAM,CAAa,EAC7C,OAAO,GAAE,QAAQ,CAAC;IAChB,aAAa,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,6DAA6D;IAC7D,yBAAyB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACjD,CAAM,GACN,SAAS,EAAE,CA+Gb;AAED,wEAAwE;AAExE,wBAAgB,iCAAiC,CAC/C,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,EAC1B,aAAa,EAAE,MAAM,GACpB,SAAS,EAAE,CAgBb"}
+{"version":3,"file":"decision-firmness.d.ts","sourceRoot":"","sources":["../../../src/public/operations/decision-firmness.ts"],"names":[],"mappings":"AAwCA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EACL,KAAK,cAAc,EAGpB,MAAM,qBAAqB,CAAC;AAE7B,wEAAwE;AAExE,eAAO,MAAM,+BAA+B,+BAA+B,CAAC;AAC5E,qEAAqE;AAErE,eAAO,MAAM,6BAA6B,6BAA6B,CAAC;AACxE,2FAA2F;AAE3F,eAAO,MAAM,yBAAyB,yBAAyB,CAAC;AAChE,oEAAoE;AAEpE,eAAO,MAAM,8BAA8B,8BAA8B,CAAC;AAC1E,6EAA6E;AAE7E,eAAO,MAAM,mCAAmC,mCACd,CAAC;AAGnC,eAAO,MAAM,uBAAuB,4JAM1B,CAAC;AAOX;;;GAGG;AAEH,eAAO,MAAM,mCAAmC,KAAK,CAAC;AAiBtD,0CAA0C;AAE1C,wBAAgB,oBAAoB,CAAC,aAAa,EAAE,MAAM,GAAG,cAAc,EAAE,CAS5E;AAED;;;;;GAKG;AAEH,wBAAgB,kBAAkB,CAChC,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,SAAS,cAAc,EAAE,GAClC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CA+B1B;AASD;;;;;GAKG;AAEH,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,SAAS,cAAc,EAAE,EACnC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,GACtC,cAAc,EAAE,CAQlB;AAED,2EAA2E;AAE3E,wBAAgB,yBAAyB,CACvC,EAAE,EAAE,MAAM,EACV,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,GACtC,MAAM,EAAE,CAIV;AAED;;;;;GAKG;AAEH,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,SAAS,cAAc,EAAE,EACnC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,GACtC,MAAM,EAAE,CAyBV;AAED,uEAAuE;AAEvE,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,SAAS,cAAc,EAAE,EACnC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EACvC,KAAK,GAAE,WAAW,CAAC,MAAM,CAAoC,EAC7D,YAAY,GAAE,WAAW,CAAC,MAAM,CAAa,EAC7C,OAAO,GAAE,QAAQ,CAAC;IAChB,aAAa,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,6DAA6D;IAC7D,yBAAyB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACjD,CAAM,GACN,SAAS,EAAE,CA+Gb;AAED,8EAA8E;AAE9E,MAAM,MAAM,mBAAmB,GAAG,CAAC,YAAY,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;AAkC1E;;;;GAIG;AAEH,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,SAAS,cAAc,EAAE,EACnC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EACvC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,EAC5B,aAAa,EAAE,mBAAmB,GACjC,SAAS,EAAE,CAwBb;AAED,wEAAwE;AAExE,wBAAgB,iCAAiC,CAC/C,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,EAC1B,aAAa,EAAE,MAAM,GACpB,SAAS,EAAE,CA+Bb"}