kibi-cli 2.17.0 → 2.19.0

package/dist/public/operations/discovery-executors.js

@@ -7,11 +7,71 @@ import { SwiplResolutionError } from "../../prolog/swipl-resolver.js";
 import { buildSearchAnswer } from "../../search-answer.js";
 import { rankEntities } from "../../search-ranking.js";
 import { resolveBranchAttachment } from "../../utils/branch-resolver.js";
-import { BRANCH_STORE_NOT_COMPILED, branchStoreReason, inspectBranchStore, storeLockJournalReason, uncompiledBranchStoreReason, } from "../../utils/branch-store.js";
+import { BRANCH_STORE_NOT_COMPILED, branchStoreReason, inspectBranchStore, storeLockJournalReason, storeLockTakeoverReason, uncompiledBranchStoreReason, } from "../../utils/branch-store.js";
+import { confirmSourceNewerReasons } from "../../utils/content-freshness.js";
 import { loadSearchCandidates, paginateResults, queryEntitiesViaQuery, reloadFullEntities, validateEntityType, } from "./discovery-entities.js";
 import { buildActionsFromStatus, readMigrationConfigStatus, } from "./migration-plan.js";
-import { OperationJsonDecodeError, runOperationJsonQuery, } from "./prolog-json.js";
+import { OperationJsonDecodeError, runOperationJsonQuery, toPrologAtom, } from "./prolog-json.js";
 import { readWorkspaceSnapshot } from "./workspace-snapshot.js";
+export const FACT_KINDS = [
+    "subject",
+    "property_value",
+    "predicate",
+    "predicate_schema",
+    "observation",
+    "meta",
+    "rule",
+    "rule_schema",
+];
+/** Which typed filters each question mode reads; any other is refused. */
+const MODE_FILTERS = {
+    schemas: new Set(["factKind", "predicate", "namespace"]),
+    predicate: new Set([
+        "predicate",
+        "namespace",
+        "where",
+        "args",
+        "polarity",
+        "scope",
+        "distinct",
+    ]),
+    property: new Set(["subjectKey", "propertyKey", "scope"]),
+    fact_kind: new Set(["factKind"]),
+};
+const TYPED_FACT_FILTERS = [
+    "factKind",
+    "predicate",
+    "namespace",
+    "where",
+    "args",
+    "polarity",
+    "scope",
+    "distinct",
+    "subjectKey",
+    "propertyKey",
+];
+/**
+ * An empty result from a store that was never compiled says nothing about
+ * the authored requirements, so search reports the store state itself (the
+ * same reason kb_status and kb_check use) instead of a bare "no results".
+ */
+// implements REQ-cli-status-pre-first-sync, REQ-mcp-search-discovery
+function uncompiledSearchNotice(context) {
+    const attachment = context.branchAttachment;
+    if (attachment === undefined)
+        return null;
+    const store = inspectBranchStore(context.workspaceRoot, attachment.kbBranch);
+    const reason = uncompiledBranchStoreReason(context.workspaceRoot, store, attachment.kbBranch);
+    if (reason === null)
+        return null;
+    return {
+        state: "not_compiled",
+        code: BRANCH_STORE_NOT_COMPILED,
+        path: store.path,
+        detail: String(reason.detail),
+        remediation: reason.remediation,
+    };
+}
 function requireProlog(context) {
     if (!context.prolog) {
         throw new Error("Discovery operation requires a Prolog context");
@@ -28,11 +88,334 @@ function isStatusPayload(value) {
         typeof record.dirty === "boolean" &&
         typeof record.syncState === "string");
 }
+function hasTypedFactFilters(input) {
+    return TYPED_FACT_FILTERS.some((key) => input[key] !== undefined);
+}
+function requireAtomString(value, field) {
+    if (typeof value !== "string" || value.trim() === "") {
+        throw new Error(`${field} must be a non-empty string.`);
+    }
+    return value.trim();
+}
+function requireEnum(value, field, allowed) {
+    if (typeof value !== "string" || !allowed.includes(value)) {
+        throw new Error(`${field} must be one of: ${allowed.join(", ")}.`);
+    }
+    return value;
+}
+/**
+ * Builds the Prolog argument spec of a predicate question. Named `where`
+ * entries are resolved against the predicate's declared argument names in
+ * Prolog; positional `args` use `null` as a wildcard.
+ */
+// implements REQ-kibi-query-fact-filters
+function predicateArgSpec(input) {
+    if (input.where !== undefined && input.args !== undefined) {
+        throw new Error("Use either where (named arguments) or args (positional), not both.");
+    }
+    if (input.where !== undefined) {
+        if (input.where === null ||
+            typeof input.where !== "object" ||
+            Array.isArray(input.where)) {
+            throw new Error("where must be an object of argument name to value.");
+        }
+        const pairs = Object.entries(input.where).map(([key, value]) => {
+            const name = requireAtomString(key, "where argument name");
+            const atom = requireAtomString(value, `where.${key}`);
+            return `${toPrologAtom(name)}=${toPrologAtom(atom)}`;
+        });
+        return `where([${pairs.join(",")}])`;
+    }
+    if (input.args !== undefined) {
+        if (!Array.isArray(input.args)) {
+            throw new Error("args must be an array of constants (null = any).");
+        }
+        const entries = input.args.map((value, index) => value === null || value === "*"
+            ? "'$any'"
+            : toPrologAtom(requireAtomString(value, `args[${index}]`)));
+        return `[${entries.join(",")}]`;
+    }
+    return "[]";
+}
+function callText(args) {
+    return `kb_query(${JSON.stringify(args)})`;
+}
+/**
+ * Every typed answer names the exact call that makes sense next, so an
+ * agent never has to guess the follow-up from the shape of the data.
+ */
+// implements REQ-kibi-query-fact-filters
+function factQueryNext(input, response) {
+    const next = [];
+    const first = response.rows[0];
+    const firstId = typeof first?.id === "string" ? first.id : undefined;
+    switch (response.mode) {
+        case "predicate": {
+            if (firstId !== undefined) {
+                next.push({
+                    call: callText({ id: firstId }),
+                    why: "full fact text and relationships of one row",
+                });
+            }
+            const filters = {
+                predicate: input.predicate,
+                ...(input.namespace !== undefined
+                    ? { namespace: input.namespace }
+                    : {}),
+                ...(input.where !== undefined ? { where: input.where } : {}),
+                ...(input.args !== undefined ? { args: input.args } : {}),
+                ...(input.polarity !== undefined ? { polarity: input.polarity } : {}),
+                ...(input.scope !== undefined ? { scope: input.scope } : {}),
+            };
+            const names = Array.isArray(response.schema?.argumentNames)
+                ? response.schema.argumentNames.filter((name) => typeof name === "string")
+                : [];
+            const bound = new Set(Object.keys(input.where ?? {}));
+            const free = names.filter((name) => !bound.has(name));
+            if (input.distinct === undefined &&
+                response.count > 0 &&
+                free.length > 0) {
+                const argument = free[free.length - 1] ?? free[0];
+                next.push({
+                    call: callText({ ...filters, distinct: argument }),
+                    why: `count the distinct values of '${argument}' across these facts`,
+                });
+            }
+            if (response.count === 0 &&
+                response.suggestions &&
+                typeof response.suggestions === "object" &&
+                (response.warnings ?? []).length === 0) {
+                // Suggest a correction only for an argument whose requested value
+                // does not exist; a key whose value exists is not the cause.
+                for (const [key, values] of Object.entries(response.suggestions)) {
+                    if (!Array.isArray(values))
+                        continue;
+                    const requested = input.where?.[key];
+                    if (requested !== undefined && values.includes(requested))
+                        continue;
+                    const value = values[0];
+                    if (typeof value === "string") {
+                        next.push({
+                            call: callText({
+                                ...filters,
+                                where: { ...(input.where ?? {}), [key]: value },
+                            }),
+                            why: `'${key}' has no fact with that value; '${value}' is one that exists`,
+                        });
+                        break;
+                    }
+                }
+            }
+            if (next.length === 0) {
+                next.push({
+                    call: callText({ factKind: "predicate_schema" }),
+                    why: "list the predicates this KB can answer about and their argument names",
+                });
+            }
+            break;
+        }
+        case "property": {
+            if (firstId !== undefined) {
+                next.push({
+                    call: callText({ id: firstId }),
+                    why: "full fact text and relationships of one row",
+                });
+            }
+            if (input.propertyKey !== undefined) {
+                next.push({
+                    call: callText({ subjectKey: input.subjectKey }),
+                    why: "every property stated about this subject",
+                });
+            }
+            else if (response.count === 0) {
+                next.push({
+                    call: callText({ factKind: "subject" }),
+                    why: "list the subject keys that exist",
+                });
+            }
+            break;
+        }
+        case "schemas": {
+            const name = typeof first?.name === "string" ? first.name : undefined;
+            if (name !== undefined) {
+                next.push({
+                    call: callText({ predicate: name }),
+                    why: "every stored fact of the first listed predicate",
+                });
+            }
+            break;
+        }
+        case "fact_kind": {
+            if (input.factKind === "predicate") {
+                next.push({
+                    call: callText({ factKind: "predicate_schema" }),
+                    why: "argument names and constants for asking by name",
+                });
+            }
+            else if (input.factKind === "property_value" && first) {
+                const subjectKey = typeof first.subject_key === "string" ? first.subject_key : undefined;
+                if (subjectKey !== undefined) {
+                    next.push({
+                        call: callText({ subjectKey }),
+                        why: "the properties of the first listed subject",
+                    });
+                }
+            }
+            else if (firstId !== undefined) {
+                next.push({
+                    call: callText({ id: firstId }),
+                    why: "full fact text of one row",
+                });
+            }
+            break;
+        }
+    }
+    return next;
+}
+function factRowSummary(row) {
+    const id = String(row.id ?? "");
+    if (typeof row.name === "string" && Array.isArray(row.args)) {
+        const effect = typeof row.effect === "string" ? ` -> ${row.effect}` : "";
+        const polarity = row.polarity === "deny" ? " [deny]" : "";
+        return `${id}: ${row.name}(${row.args.map(String).join(", ")})${effect}${polarity}`;
+    }
+    if (typeof row.subjectKey === "string" &&
+        typeof row.propertyKey === "string") {
+        const unit = typeof row.unit === "string" && row.unit ? ` ${row.unit}` : "";
+        return `${id}: ${row.subjectKey} ${row.propertyKey} ${String(row.operator ?? "")} ${String(row.value ?? "")}${unit}`;
+    }
+    if (typeof row.name === "string" && typeof row.arity === "number") {
+        const names = Array.isArray(row.argumentNames)
+            ? row.argumentNames.map(String).join(", ")
+            : "";
+        return `${row.name}(${names})`;
+    }
+    return `${id} (${String(row.title ?? "")})`;
+}
+/**
+ * Typed fact questions run as validated Prolog goals in the discovery module;
+ * the executor never forwards caller-written Prolog.
+ */
+// implements REQ-kibi-query-fact-filters
+async function executeFactQuery(input, context, limit, offset) {
+    if (input.type !== undefined && input.type !== "fact") {
+        throw new Error("Typed fact filters (factKind, predicate, subjectKey, ...) apply to type 'fact' only.");
+    }
+    for (const key of ["id", "tags", "sourceFile"]) {
+        if (input[key] !== undefined) {
+            throw new Error(`${key} cannot be combined with typed fact filters; run a separate kb_query.`);
+        }
+    }
+    const prolog = requireProlog(context);
+    if (!Number.isFinite(limit) ||
+        !Number.isFinite(offset) ||
+        limit < 0 ||
+        offset < 0) {
+        throw new Error("limit and offset must be non-negative numbers.");
+    }
+    const page = `${Math.trunc(limit)}, ${Math.trunc(offset)}`;
+    const namespace = input.namespace === undefined
+        ? "none"
+        : toPrologAtom(requireAtomString(input.namespace, "namespace"));
+    const mode = input.factKind === "predicate_schema"
+        ? "schemas"
+        : input.predicate !== undefined
+            ? "predicate"
+            : input.subjectKey !== undefined
+                ? "property"
+                : input.factKind !== undefined
+                    ? "fact_kind"
+                    : undefined;
+    if (mode === undefined) {
+        throw new Error("Typed fact filters need a predicate, a subjectKey or a factKind; where/args/polarity/distinct/propertyKey refine one of those.");
+    }
+    const unused = TYPED_FACT_FILTERS.filter((key) => input[key] !== undefined && !MODE_FILTERS[mode].has(key));
+    if (unused.length > 0) {
+        throw new Error(`${unused.join(", ")} do${unused.length === 1 ? "es" : ""} not apply to a ${mode} question; allowed with it: ${[...MODE_FILTERS[mode]].join(", ")}.`);
+    }
+    const scope = input.scope === undefined
+        ? "all"
+        : requireEnum(input.scope, "scope", ["all", "current_requirements"]);
+    const factKind = input.factKind === undefined
+        ? undefined
+        : requireEnum(input.factKind, "factKind", FACT_KINDS);
+    let goal;
+    if (mode === "schemas") {
+        goal = `discovery:ask_schemas_json(${namespace}, ${input.predicate === undefined ? "none" : toPrologAtom(requireAtomString(input.predicate, "predicate"))}, ${page}, JsonString)`;
+    }
+    else if (mode === "predicate") {
+        const name = requireAtomString(input.predicate, "predicate");
+        const polarity = input.polarity === undefined
+            ? "none"
+            : toPrologAtom(requireEnum(input.polarity, "polarity", ["assert", "deny"]));
+        const distinct = input.distinct === undefined
+            ? "none"
+            : toPrologAtom(requireAtomString(input.distinct, "distinct"));
+        goal = `discovery:ask_predicate_json(${namespace}, ${toPrologAtom(name)}, ${predicateArgSpec(input)}, ${polarity}, ${scope}, ${distinct}, ${page}, JsonString)`;
+    }
+    else if (mode === "property") {
+        const subject = requireAtomString(input.subjectKey, "subjectKey");
+        const property = input.propertyKey === undefined
+            ? "none"
+            : toPrologAtom(requireAtomString(input.propertyKey, "propertyKey"));
+        goal = `discovery:ask_property_json(${toPrologAtom(subject)}, ${property}, ${scope}, ${page}, JsonString)`;
+    }
+    else {
+        goal = `discovery:ask_fact_kind_json(${toPrologAtom(factKind)}, ${page}, JsonString)`;
+    }
+    const response = await runOperationJsonQuery(prolog, "discovery.pl", goal, "Query execution", context.signal);
+    const rows = Array.isArray(response.rows) ? response.rows : [];
+    const count = typeof response.count === "number" ? response.count : rows.length;
+    const warnings = Array.isArray(response.warnings) ? response.warnings : [];
+    const factQuery = {
+        mode: response.mode,
+        ...(response.predicate ? { predicate: response.predicate } : {}),
+        ...(response.property ? { property: response.property } : {}),
+        ...(response.factKind ? { factKind: response.factKind } : {}),
+        ...(response.schema !== undefined ? { schema: response.schema } : {}),
+        ...(response.subjectFacts ? { subjectFacts: response.subjectFacts } : {}),
+        ...(response.distinct !== undefined ? { distinct: response.distinct } : {}),
+        ...(response.suggestions !== undefined
+            ? { suggestions: response.suggestions }
+            : {}),
+        warnings,
+        next: factQueryNext(input, { ...response, rows, count }),
+    };
+    const subject = response.mode === "predicate"
+        ? `${String(input.predicate)} facts`
+        : response.mode === "property"
+            ? `properties of ${String(input.subjectKey)}`
+            : response.mode === "schemas"
+                ? "predicate schemas"
+                : `${String(factKind)} facts`;
+    const lines = [
+        count === 0
+            ? `No ${subject} matched.`
+            : `${count} ${subject}. Showing ${rows.length} (offset ${offset}, limit ${limit}): ${rows.map(factRowSummary).join("; ")}`,
+        ...(factQuery.distinct && typeof factQuery.distinct === "object"
+            ? [
+                `Distinct ${String(factQuery.distinct.argument)}: ${JSON.stringify(factQuery.distinct.values ?? [])}`,
+            ]
+            : []),
+        ...(factQuery.suggestions && typeof factQuery.suggestions === "object"
+            ? [`Values that exist: ${JSON.stringify(factQuery.suggestions)}`]
+            : []),
+        ...warnings.map((warning) => `Warning: ${warning}`),
+        ...factQuery.next.map((entry) => `Next: ${entry.call} (${entry.why})`),
+    ];
+    return {
+        content: [{ type: "text", text: lines.join("\n") }],
+        structuredContent: { entities: rows, count, factQuery },
+    };
+}
 export async function executeQuery(input, context) {
     // implements REQ-kibi-operation-interface-parity
     const { type, id, tags, sourceFile, limit = 100, offset = 0 } = input;
     try {
         validateEntityType(type);
+        if (hasTypedFactFilters(input)) {
+            return await executeFactQuery(input, context, limit, offset);
+        }
         const prolog = requireProlog(context);
         const signal = context.signal;
         const pageInput = {
@@ -118,6 +501,15 @@ export async function executeSearch(input, context) {
     validateEntityType(type);
     try {
         const prolog = requireProlog(context);
+        const branch = context.branchAttachment?.kbBranch ?? null;
+        const storeNotice = uncompiledSearchNotice(context);
+        const branchFields = {
+            branch,
+            ...(storeNotice ? { branchStore: storeNotice } : {}),
+        };
+        const storeNote = storeNotice
+            ? ` Note: ${storeNotice.detail} Run kibi sync before relying on search results.`
+            : "";
         const intentMode = rankingMode === "intent-v1" ||
             semanticFacets !== undefined ||
             sourceLocations !== undefined;
@@ -142,12 +534,12 @@ export async function executeSearch(input, context) {
                 : undefined;
             // The structured payload carries every row; the text is a short
             // human-readable digest instead of a second copy of the results.
-            const text = intentResult.matches.length === 0
+            const text = `${intentResult.matches.length === 0
                 ? `No intent search results for '${trimmedQuery}' (abstained).`
                 : `Found ${intentResult.matches.length} intent search results for '${trimmedQuery}'${intentResult.analysis.ambiguous ? " (top matches are close; confirm before relying on one)" : ""}. Top: ${paginated
                     .slice(0, 5)
                     .map((match) => String(match.entity.id ?? ""))
-                    .join(", ")}${answerLayer ? `. Governing: ${answerLayer.governing.map((req) => req.id).join(", ") || "none found"}` : ""}.`;
+                    .join(", ")}${answerLayer ? `. Governing: ${answerLayer.governing.map((req) => req.id).join(", ") || "none found"}` : ""}.`}${storeNote}`;
             return {
                 content: [{ type: "text", text }],
                 structuredContent: {
@@ -156,6 +548,7 @@ export async function executeSearch(input, context) {
                     truncated: offset + paginated.length < intentResult.matches.length,
                     queryAnalysis: intentResult.analysis,
                     ...(answerLayer ? { answer: answerLayer } : {}),
+                    ...branchFields,
                 },
             };
         }
@@ -168,17 +561,18 @@ export async function executeSearch(input, context) {
         }, context.signal);
         const matches = await rankEntities(entities, trimmedQuery, context.workspaceRoot);
         const paginated = paginateResults(matches, limit, offset);
-        const text = matches.length === 0
+        const text = `${matches.length === 0
             ? `No search results for '${trimmedQuery}'.`
             : `Found ${matches.length} search results for '${trimmedQuery}'. Showing ${paginated.length} (offset ${offset}, limit ${limit}): ${paginated
                 .map((match) => `${String(match.entity.id ?? "")} [${match.reasons.join(", ")}]`)
-                .join(", ")}`;
+                .join(", ")}`}${storeNote}`;
         return {
             content: [{ type: "text", text }],
             structuredContent: {
                 results: await projectMatches(prolog, paginated, fields),
                 count: matches.length,
                 truncated: offset + paginated.length < matches.length,
+                ...branchFields,
             },
         };
     }
@@ -272,7 +666,19 @@ export async function executeStatus(_input, context) {
                 await ownedEngine?.terminate();
             }
         const snapshotEvidence = await readWorkspaceSnapshot(context);
-        const existingReasons = payload.staleReasons ?? [];
+        // implements REQ-cli-status-pre-first-sync
+        // Prolog compares file times only. A fresh clone or a checkout rewrites
+        // every mtime without changing a byte, so confirm each "newer" source
+        // against the content hashes the last compilation recorded.
+        const prologReasons = payload.staleReasons ?? [];
+        const confirmed = confirmSourceNewerReasons(context.workspaceRoot, store.path, prologReasons);
+        const existingReasons = confirmed.kept;
+        if (confirmed.dropped.length > 0 &&
+            confirmed.kept.length === 0 &&
+            payload.staleReasonsTruncated !== true &&
+            payload.syncState === "stale") {
+            payload = { ...payload, syncState: "fresh", dirty: false };
+        }
         // implements REQ-cli-status-pre-first-sync
         // A missing or empty store beside authored sources gets the one reason
         // whose remediation works (kibi sync); `kibi branch ensure` alone would
@@ -280,6 +686,9 @@ export async function executeStatus(_input, context) {
         const storeReason = uncompiledBranchStoreReason(context.workspaceRoot, store, attachment.kbBranch) ?? branchStoreReason(store);
         const storeUncompiled = storeReason?.code === BRANCH_STORE_NOT_COMPILED;
         const lockReason = storeLockJournalReason(store.path);
+        // implements REQ-core-journaled-engine-persistence
+        // A stale-lock takeover heals itself; report it without making the KB stale.
+        const takeoverNotice = storeLockTakeoverReason(store.path);
         const compilerReason = compilerFingerprintReason(store.path);
         const engineReason = engineStatus
             ? {
@@ -318,6 +727,7 @@ export async function executeStatus(_input, context) {
             ...(storeUncompiled ? { syncState: "stale", dirty: true } : {}),
             branchAttachment: attachment,
             branchStore: store,
+            ...(takeoverNotice ? { notices: [takeoverNotice] } : {}),
             ...(engineStatus ? { engineStatus } : {}),
             staleReasons,
             staleReasonCount: staleReasons.length,
@@ -447,7 +857,7 @@ export async function executeStatus(_input, context) {
             content: [
                 {
                     type: "text",
-                    text: `Branch ${payload.branch} is ${enrichedPayload.syncState} (snapshot ${payload.snapshotId}, dirty=${enrichedPayload.dirty}, proofSnapshot=${enrichedPayload.proofSnapshot})${storeUncompiled ? `. Blocking: ${String(storeReason?.detail)} Run kibi sync.` : ""}`,
+                    text: `Branch ${payload.branch} is ${enrichedPayload.syncState} (snapshot ${payload.snapshotId}, dirty=${enrichedPayload.dirty}, proofSnapshot=${enrichedPayload.proofSnapshot})${storeUncompiled ? `. Blocking: ${String(storeReason?.detail)} Run kibi sync.` : ""}${takeoverNotice ? `. Note: ${String(takeoverNotice.detail)}` : ""}`,
                 },
             ],
             structuredContent: statusWithPlan,

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

@@ -94,6 +94,8 @@ export type MigrationConfigStatus = Readonly<{
     configHash: string | null;
 }>;
 export declare function readMigrationConfigStatus(workspaceRoot: string): MigrationConfigStatus;
+/** Migration action code of the automatic recompile of changed sources. */
+export declare const FRESHNESS_RESYNC = "freshness_resync";
 export declare function buildActionsFromStatus(input: {
     workspaceRoot: string;
     branchAttachment?: 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":"AAeA,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;AAED;;;GAGG;AAEH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,aAAa,EACnB,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,GACzB,aAAa,CASf;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,CAkEpB;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,CA+OhB"}
+{"version":3,"file":"migration-plan.d.ts","sourceRoot":"","sources":["../../../src/public/operations/migration-plan.ts"],"names":[],"mappings":"AAgBA,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;AAED;;;GAGG;AAEH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,aAAa,EACnB,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,GACzB,aAAa,CASf;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,CAkEpB;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,2EAA2E;AAC3E,eAAO,MAAM,gBAAgB,qBAAqB,CAAC;AAEnD,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,CAuRhB"}

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

@@ -3,6 +3,7 @@ import { existsSync, readFileSync } from "node:fs";
 import * as path from "node:path";
 import { BRANCH_STORE_NOT_COMPILED } from "../../utils/branch-store.js";
 import { legacyConfigExists } from "../../utils/config.js";
+import { MTIME_SOURCE_REASON_CODES } from "../../utils/content-freshness.js";
 import { readKbManifestStatus } from "../../utils/kb-manifest.js";
 import { getSchemaVersionStatus, normalizeSchemaVersion, } from "../../utils/schema-version.js";
 import { lifecycleActionsFromViolations, schema6ReviewActionsFromCheck, } from "./schema6-check-actions.js";
@@ -438,6 +439,8 @@ function readLegacySchemaVersion(workspaceRoot) {
     }
 }
 // implements REQ-agent-guided-migration-orchestration
+/** Migration action code of the automatic recompile of changed sources. */
+export const FRESHNESS_RESYNC = "freshness_resync";
 export function buildActionsFromStatus(input) {
     const actions = [];
     const attachment = input.branchAttachment;
@@ -562,11 +565,39 @@ export function buildActionsFromStatus(input) {
             autoApplicable: true,
         }));
     }
+    // implements REQ-cli-status-pre-first-sync
+    // Sources whose content changed since the last compilation (kb_status has
+    // already dropped mtime-only reasons) are fixed by recompiling them: one
+    // automatic `kibi sync`, not a review per file. An uncompiled store is
+    // compiled by the step above, which also covers these files.
+    const resyncReasons = (input.staleReasons ?? []).filter((reason) => typeof reason.code === "string" &&
+        MTIME_SOURCE_REASON_CODES.has(reason.code));
+    if (resyncReasons.length > 0 && uncompiled === undefined) {
+        actions.push(migrationAction({
+            id: "freshness-resync",
+            code: FRESHNESS_RESYNC,
+            category: "freshness",
+            safety: "automatic",
+            invocation: { kind: "cli", command_argv: ["kibi", "sync"] },
+            affectedFiles: [
+                ...new Set(resyncReasons.flatMap((reason) => typeof reason.path === "string" ? [reason.path] : [])),
+            ].sort(),
+            evidence: { reasons: resyncReasons },
+            dependsOn: actions
+                .map((action) => action.id)
+                .filter((id) => id === "branch-store-ensure" || id === "schema-config-upgrade"),
+            postconditions: [{ syncState: "fresh" }],
+            autoApplicable: true,
+        }));
+    }
     for (const reason of input.staleReasons ?? []) {
         const code = typeof reason.code === "string" ? reason.code : "stale_source";
         // Planned above as an automatic compile step, not a review.
         if (code === BRANCH_STORE_NOT_COMPILED)
             continue;
+        // Planned above as one automatic resync (or covered by the compile).
+        if (MTIME_SOURCE_REASON_CODES.has(code))
+            continue;
         const file = typeof reason.path === "string" ? reason.path : "";
         actions.push(migrationAction({
             id: `freshness-${code}-${file}`,

package/dist/public/operations/source-relationship-parity.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"source-relationship-parity.d.ts","sourceRoot":"","sources":["../../../src/public/operations/source-relationship-parity.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErD,MAAM,MAAM,wBAAwB,GAAG,QAAQ,CAAC;IAC9C,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,UAAU,GAAG,SAAS,CAAC;CACpC,CAAC,CAAC;AAaH,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,SAAS,wBAAwB,EAAE,EAC7C,QAAQ,EAAE,SAAS,wBAAwB,EAAE,GAC5C,SAAS,EAAE,CAwDb;AAuCD,wBAAgB,6BAA6B,CAC3C,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,GACX,wBAAwB,EAAE,CAmB5B;AA6BD,wBAAsB,yCAAyC,CAC7D,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,UAAU,GACjB,OAAO,CAAC,SAAS,EAAE,CAAC,CA0DtB"}
+{"version":3,"file":"source-relationship-parity.d.ts","sourceRoot":"","sources":["../../../src/public/operations/source-relationship-parity.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErD,MAAM,MAAM,wBAAwB,GAAG,QAAQ,CAAC;IAC9C,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,UAAU,GAAG,SAAS,CAAC;CACpC,CAAC,CAAC;AAaH,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,SAAS,wBAAwB,EAAE,EAC7C,QAAQ,EAAE,SAAS,wBAAwB,EAAE,GAC5C,SAAS,EAAE,CAwDb;AAuCD,wBAAgB,6BAA6B,CAC3C,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,GACX,wBAAwB,EAAE,CAmB5B;AA6BD,wBAAsB,yCAAyC,CAC7D,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,UAAU,GACjB,OAAO,CAAC,SAAS,EAAE,CAAC,CA0DtB"}