kibi-cli 2.0.0 → 2.2.0

package/dist/runtime/cli-runtime.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli-runtime.d.ts","sourceRoot":"","sources":["../../src/runtime/cli-runtime.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAIV,gBAAgB,EAEhB,cAAc,EACf,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EACL,KAAK,qBAAqB,EAE3B,MAAM,6BAA6B,CAAC;AAErC,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,qBAAqB,GAChC,MAAM,CAOR;AA0ED,wBAAgB,gBAAgB,CAC9B,OAAO,GAAE,cAAmB,GAC3B,gBAAgB,CAgHlB"}
+{"version":3,"file":"cli-runtime.d.ts","sourceRoot":"","sources":["../../src/runtime/cli-runtime.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAKV,gBAAgB,EAEhB,cAAc,EACf,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EACL,KAAK,qBAAqB,EAE3B,MAAM,6BAA6B,CAAC;AAErC,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,qBAAqB,GAChC,MAAM,CAOR;AAkFD,wBAAgB,gBAAgB,CAC9B,OAAO,GAAE,cAAmB,GAC3B,gBAAgB,CAwHlB"}

package/dist/runtime/cli-runtime.js

@@ -1,6 +1,7 @@
 import path from "node:path";
 import { retryAttachAfterBreakingStaleLock } from "../prolog/store-lock.js";
 import { EngineClient } from "../engine.js";
+import { CapabilityRegistryCache, ensureCapabilityRegistry, } from "../plugins/registry.js";
 import { nodeFilesystem, nodeGit, nodeNetwork, } from "../public/operations/node-ports.js";
 import { resolveBranchAttachment, } from "../utils/branch-resolver.js";
 export function attachmentFailureMessage(attachment) {
@@ -57,9 +58,18 @@ function enginePort(port, signal) {
         execute: (command, commandSignal) => execute.call(port, command, commandSignal ?? signal),
     };
 }
+function resolvePluginsOption(plugins) {
+    if (plugins === undefined)
+        return undefined;
+    if (typeof plugins === "function")
+        return plugins;
+    return async () => plugins;
+}
 // implements REQ-kibi-operation-interface-parity
 export function createCliRuntime(options = {}) {
     const ownedPrologs = new WeakMap();
+    // Per-runtime cache — not a process-global singleton.
+    const pluginCache = new CapabilityRegistryCache();
     return {
         open: async (spec, invocationOptions = {}) => {
             const merged = {
@@ -70,6 +80,12 @@ export function createCliRuntime(options = {}) {
             const signal = merged.signal ?? new AbortController().signal;
             const clock = merged.clock ?? (() => new Date());
             const git = merged.git ?? nodeGit;
+            const injectedPlugins = resolvePluginsOption(merged.plugins);
+            const ensurePlugins = async () => {
+                if (injectedPlugins)
+                    return injectedPlugins();
+                return ensureCapabilityRegistry(root, { cache: pluginCache });
+            };
             const contextBase = {
                 workspaceRoot: root,
                 signal,
@@ -77,6 +93,8 @@ export function createCliRuntime(options = {}) {
                 fs: merged.fs ?? nodeFilesystem,
                 git,
                 net: merged.net ?? nodeNetwork,
+                ensurePlugins,
+                ...(merged.plugins !== undefined ? { plugins: merged.plugins } : {}),
             };
             if (!spec.requiresProlog) {
                 // Read-only operations such as status may choose to use an explicitly

package/dist/schemas/entity.schema.json

@@ -1173,6 +1173,28 @@
                 "type": "string"
             }
         },
+        "argument_constants": {
+            "type": "object",
+            "additionalProperties": {
+                "type": "array",
+                "minItems": 1,
+                "uniqueItems": true,
+                "items": {
+                    "type": "string",
+                    "minLength": 1
+                }
+            }
+        },
+        "argument_aliases": {
+            "type": "object",
+            "additionalProperties": {
+                "type": "object",
+                "additionalProperties": {
+                    "type": "string",
+                    "minLength": 1
+                }
+            }
+        },
         "rule_ir": {
             "$ref": "#/$defs/logicRule"
         },
@@ -1373,6 +1395,16 @@
                                 "predicate_args"
                             ]
                         },
+                        {
+                            "required": [
+                                "argument_constants"
+                            ]
+                        },
+                        {
+                            "required": [
+                                "argument_aliases"
+                            ]
+                        },
                         {
                             "required": [
                                 "rule_ir"

package/dist/traceability/staged-diagnostics.d.ts

@@ -1,6 +1,6 @@
 import type { QualityDiagnostic } from "../public/impact/types.js";
 import { type KibiImpactEvidence } from "./evidence-model.js";
-export type KibiImpactDiagnosticId = "kibi_impact_evidence_missing" | "symbols_manifest_stale" | "symbol_granularity_violation" | "symbol_semantic_review_needed" | "multi_requirement_symbol_review" | "duplicate_symbol_coordinate_review" | "component_mixed_purpose_review" | "broad_requirement_review" | "requirement_status_review" | "strict_fact_modeling_review" | "logical_coverage_review" | "kibi_impact_override_missing_rationale";
+export type KibiImpactDiagnosticId = "kibi_impact_evidence_missing" | "symbols_manifest_stale" | "symbol_granularity_violation" | "symbol_semantic_review_needed" | "multi_requirement_symbol_review" | "duplicate_symbol_coordinate_review" | "component_mixed_purpose_review" | "broad_requirement_review" | "requirement_status_review" | "strict_fact_modeling_review" | "logical_coverage_review" | "kibi_impact_override_missing_rationale" | "entity_id_style_review";
 export interface KibiImpactDiagnostic extends QualityDiagnostic {
     /** Stable staged-enforcement diagnostic identifier. */
     id: KibiImpactDiagnosticId;

package/dist/traceability/staged-diagnostics.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"staged-diagnostics.d.ts","sourceRoot":"","sources":["../../src/traceability/staged-diagnostics.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAGL,KAAK,kBAAkB,EAKxB,MAAM,qBAAqB,CAAC;AAQ7B,MAAM,MAAM,sBAAsB,GAC9B,8BAA8B,GAC9B,wBAAwB,GACxB,8BAA8B,GAC9B,+BAA+B,GAC/B,iCAAiC,GACjC,oCAAoC,GACpC,gCAAgC,GAChC,0BAA0B,GAC1B,2BAA2B,GAC3B,6BAA6B,GAC7B,yBAAyB,GACzB,wCAAwC,CAAC;AAE7C,MAAM,WAAW,oBAAqB,SAAQ,iBAAiB;IAC7D,uDAAuD;IACvD,EAAE,EAAE,sBAAsB,CAAC;IAC3B,QAAQ,EAAE,iBAAiB,CAAC,UAAU,CAAC,CAAC;IACxC,iEAAiE;IACjE,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,gDAAgD;IAChD,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACxB,2CAA2C;IAC3C,OAAO,EAAE,MAAM,CAAC;IAChB,0CAA0C;IAC1C,UAAU,EAAE,MAAM,CAAC;IACnB;;;;OAIG;IACH,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7B;AAwID,wBAAgB,wCAAwC,CACtD,QAAQ,EAAE,kBAAkB,GAC3B,oBAAoB,CAoBtB;AAED;;;;;;GAMG;AACH,wBAAgB,4BAA4B,CAC1C,QAAQ,EAAE,kBAAkB,EAC5B,mBAAmB,GAAE,MAAmC,GACvD,oBAAoB,EAAE,CAiDxB"}
+{"version":3,"file":"staged-diagnostics.d.ts","sourceRoot":"","sources":["../../src/traceability/staged-diagnostics.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAGL,KAAK,kBAAkB,EAKxB,MAAM,qBAAqB,CAAC;AAQ7B,MAAM,MAAM,sBAAsB,GAC9B,8BAA8B,GAC9B,wBAAwB,GACxB,8BAA8B,GAC9B,+BAA+B,GAC/B,iCAAiC,GACjC,oCAAoC,GACpC,gCAAgC,GAChC,0BAA0B,GAC1B,2BAA2B,GAC3B,6BAA6B,GAC7B,yBAAyB,GACzB,wCAAwC,GACxC,wBAAwB,CAAC;AAE7B,MAAM,WAAW,oBAAqB,SAAQ,iBAAiB;IAC7D,uDAAuD;IACvD,EAAE,EAAE,sBAAsB,CAAC;IAC3B,QAAQ,EAAE,iBAAiB,CAAC,UAAU,CAAC,CAAC;IACxC,iEAAiE;IACjE,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,gDAAgD;IAChD,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACxB,2CAA2C;IAC3C,OAAO,EAAE,MAAM,CAAC;IAChB,0CAA0C;IAC1C,UAAU,EAAE,MAAM,CAAC;IACnB;;;;OAIG;IACH,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7B;AAwID,wBAAgB,wCAAwC,CACtD,QAAQ,EAAE,kBAAkB,GAC3B,oBAAoB,CAoBtB;AAED;;;;;;GAMG;AACH,wBAAgB,4BAA4B,CAC1C,QAAQ,EAAE,kBAAkB,EAC5B,mBAAmB,GAAE,MAAmC,GACvD,oBAAoB,EAAE,CAiDxB"}

package/dist/traceability/staged-entity-id-style.d.ts

@@ -0,0 +1,12 @@
+import type { StagedFile } from "./git-staged.js";
+import type { KibiImpactDiagnostic } from "./staged-diagnostics.js";
+/**
+ * Naming-style review for entity Markdown that this commit introduces.
+ *
+ * Only added or renamed files are evaluated: a staged edit to a committed
+ * legacy entity such as `REQ-003.md` is never reported, so the legacy numbered
+ * lanes stay grandfathered without a cutoff date or history lookup. The
+ * diagnostics are advisory and never block a commit.
+ */
+export declare function createStagedEntityIdStyleDiagnostics(stagedFiles: readonly StagedFile[]): KibiImpactDiagnostic[];
+//# sourceMappingURL=staged-entity-id-style.d.ts.map

package/dist/traceability/staged-entity-id-style.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"staged-entity-id-style.d.ts","sourceRoot":"","sources":["../../src/traceability/staged-entity-id-style.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAEpE;;;;;;;GAOG;AAEH,wBAAgB,oCAAoC,CAClD,WAAW,EAAE,SAAS,UAAU,EAAE,GACjC,oBAAoB,EAAE,CAuBxB"}

package/dist/traceability/staged-entity-id-style.js

@@ -0,0 +1,68 @@
+/*
+ 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 { extractFromMarkdownString } from "../extractors/markdown.js";
+import { entityIdStyleIssues } from "../utils/entity-id-style.js";
+import { isEntityLanePath } from "../utils/kb-paths.js";
+/**
+ * Naming-style review for entity Markdown that this commit introduces.
+ *
+ * Only added or renamed files are evaluated: a staged edit to a committed
+ * legacy entity such as `REQ-003.md` is never reported, so the legacy numbered
+ * lanes stay grandfathered without a cutoff date or history lookup. The
+ * diagnostics are advisory and never block a commit.
+ */
+// implements REQ-kibi-entity-id-style
+export function createStagedEntityIdStyleDiagnostics(stagedFiles) {
+    const diagnostics = [];
+    for (const file of stagedFiles) {
+        if (file.status !== "A" && file.status !== "R")
+            continue;
+        if (!file.path.endsWith(".md") || !isEntityLanePath(file.path))
+            continue;
+        const id = readEntityId(file);
+        if (id === undefined)
+            continue;
+        for (const issue of entityIdStyleIssues({ id, sourcePath: file.path })) {
+            diagnostics.push({
+                id: "entity_id_style_review",
+                severity: "warning",
+                blocking: false,
+                category: "naming",
+                entityId: id,
+                source: file.path,
+                files: [file.path],
+                docs: ["docs/entity-schema.md"],
+                message: issue.message,
+                suggestion: issue.suggestion,
+            });
+        }
+    }
+    return diagnostics;
+}
+function readEntityId(file) {
+    if (file.content === undefined)
+        return undefined;
+    try {
+        const id = extractFromMarkdownString(file.content, file.path).entity.id;
+        return typeof id === "string" && id.trim() !== "" ? id.trim() : undefined;
+    }
+    catch {
+        // Frontmatter errors are reported by staged Markdown validation.
+        return undefined;
+    }
+}

package/dist/traceability/symbol-extract.d.ts

@@ -1,6 +1,10 @@
-import { Scope } from "ts-morph";
+import type { SourceAnalysisResult as SdkSourceAnalysisResult } from "kibi-plugin-sdk";
+import { isPrivateClassMember } from "../extractors/symbols-ts.js";
 import { type SymbolKind, type SymbolRole } from "../public/symbol-granularity.js";
 import type { HunkRange, StagedFile } from "./git-staged.js";
+type SourceAnalysisResult = SdkSourceAnalysisResult & {
+    providerId?: string | null;
+};
 type TraceabilityRelationship = {
     type: string;
     to: string;
@@ -25,10 +29,23 @@ export interface ManifestLookupEntry {
 }
 export type ManifestLookup = Map<string, ManifestLookupEntry>;
 export declare function createManifestLookupSentinelKey(manifestPath: string): string;
-export declare function extractSymbolsFromStagedFile(stagedFile: StagedFile, manifestLookup?: ManifestLookup): ExtractedSymbol[];
-export declare function isPrivateClassMember(member: {
-    getName?: () => string;
-    getScope?: () => Scope;
-}): boolean;
-export {};
+export type ExtractSymbolsOptions = Readonly<{
+    /**
+     * Host-owned analysis. Prefer SourceAnalysisService / capability registry.
+     * When omitted, falls back to the builtin ts-morph provider for parity.
+     */
+    analyzeText?: (filePath: string, content: string) => SourceAnalysisResult | null | Promise<SourceAnalysisResult | null>;
+}>;
+export declare function extractSymbolsFromStagedFile(stagedFile: StagedFile, manifestLookup?: ManifestLookup, options?: ExtractSymbolsOptions): ExtractedSymbol[];
+/**
+ * Async staged symbol extraction. Defaults to deterministic builtin analysis.
+ * Pass an explicit `registry` only from allowlisted async surfaces that compose
+ * replace/augment/shadow (e.g. symbol repair). Maintenance paths (`check`,
+ * impact, sync, status, proof) must omit `registry` so external extractors
+ * never participate.
+ */
+export declare function extractSymbolsFromStagedFileAsync(stagedFile: StagedFile, manifestLookup: ManifestLookup | undefined, options: ExtractSymbolsOptions & Readonly<{
+    registry?: import("../plugins/registry.js").CapabilityRegistry;
+}>): Promise<ExtractedSymbol[]>;
+export { isPrivateClassMember };
 //# sourceMappingURL=symbol-extract.d.ts.map

package/dist/traceability/symbol-extract.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"symbol-extract.d.ts","sourceRoot":"","sources":["../../src/traceability/symbol-extract.ts"],"names":[],"mappings":"AACA,OAAO,EAAW,KAAK,EAA+B,MAAM,UAAU,CAAC;AAEvE,OAAO,EACL,KAAK,UAAU,EACf,KAAK,UAAU,EAEhB,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7D,KAAK,wBAAwB,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAU7D,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE;QACR,IAAI,EAAE,MAAM,CAAC;QACb,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;IACF,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,aAAa,CAAC,EAAE,wBAAwB,EAAE,CAAC;CAC5C;AAED,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,aAAa,CAAC,EAAE,wBAAwB,EAAE,CAAC;CAC5C;AAED,MAAM,MAAM,cAAc,GAAG,GAAG,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;AAE9D,wBAAgB,+BAA+B,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CAG5E;AAmOD,wBAAgB,4BAA4B,CAE1C,UAAU,EAAE,UAAU,EACtB,cAAc,CAAC,EAAE,cAAc,GAC9B,eAAe,EAAE,CA2SnB;AAED,wBAAgB,oBAAoB,CAAC,MAAM,EAAE;IAC3C,OAAO,CAAC,EAAE,MAAM,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,MAAM,KAAK,CAAC;CACxB,GAAG,OAAO,CASV"}
+{"version":3,"file":"symbol-extract.d.ts","sourceRoot":"","sources":["../../src/traceability/symbol-extract.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,oBAAoB,IAAI,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AAEvF,OAAO,EAEL,oBAAoB,EACrB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,KAAK,UAAU,EACf,KAAK,UAAU,EAEhB,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7D,KAAK,oBAAoB,GAAG,uBAAuB,GAAG;IACpD,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAC5B,CAAC;AAEF,KAAK,wBAAwB,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAU7D,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE;QACR,IAAI,EAAE,MAAM,CAAC;QACb,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;IACF,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,aAAa,CAAC,EAAE,wBAAwB,EAAE,CAAC;CAC5C;AAED,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,aAAa,CAAC,EAAE,wBAAwB,EAAE,CAAC;CAC5C;AAED,MAAM,MAAM,cAAc,GAAG,GAAG,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;AAE9D,wBAAgB,+BAA+B,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CAG5E;AAyND,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC;IAC3C;;;OAGG;IACH,WAAW,CAAC,EAAE,CACZ,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,KACZ,oBAAoB,GAAG,IAAI,GAAG,OAAO,CAAC,oBAAoB,GAAG,IAAI,CAAC,CAAC;CACzE,CAAC,CAAC;AAWH,wBAAgB,4BAA4B,CAE1C,UAAU,EAAE,UAAU,EACtB,cAAc,CAAC,EAAE,cAAc,EAC/B,OAAO,CAAC,EAAE,qBAAqB,GAC9B,eAAe,EAAE,CAkCnB;AAED;;;;;;GAMG;AAEH,wBAAsB,iCAAiC,CACrD,UAAU,EAAE,UAAU,EACtB,cAAc,EAAE,cAAc,GAAG,SAAS,EAC1C,OAAO,EAAE,qBAAqB,GAC5B,QAAQ,CAAC;IACP,QAAQ,CAAC,EAAE,OAAO,wBAAwB,EAAE,kBAAkB,CAAC;CAChE,CAAC,GACH,OAAO,CAAC,eAAe,EAAE,CAAC,CA8B5B;AAwCD,OAAO,EAAE,oBAAoB,EAAE,CAAC"}

package/dist/traceability/symbol-extract.js

@@ -1,6 +1,6 @@
 import { createHash } from "node:crypto";
-import { Project, Scope, ScriptKind } from "ts-morph";
 import { readManifestWithCoordinateOverlay } from "../extractors/manifest.js";
+import { createTsMorphSourceAnalysisProvider, isPrivateClassMember, } from "../extractors/symbols-ts.js";
 import { inferSymbolRole, } from "../public/symbol-granularity.js";
 const TRACEABILITY_RELATIONSHIP_TYPES = new Set([
     "implements",
@@ -122,24 +122,13 @@ function buildSymbolResult(stagedFile, name, kind, span, inlineReqLinks, manifes
     };
 }
 // Simple in-memory cache keyed by blob sha with 30s TTL
-const sourceFileCache = new Map();
+const analysisCache = new Map();
 const CACHE_TTL_MS = 30 * 1000;
-const project = new Project({ skipAddingFilesFromTsConfig: true });
 function computeContentSha(content) {
     const h = createHash("sha256");
     h.update(content);
     return h.digest("hex");
 }
-function chooseScriptKind(path) {
-    const lower = path.toLowerCase();
-    if (lower.endsWith(".tsx"))
-        return ScriptKind.TSX;
-    if (lower.endsWith(".ts") || lower.endsWith(".mts") || lower.endsWith(".cts"))
-        return ScriptKind.TS;
-    if (lower.endsWith(".jsx"))
-        return ScriptKind.JSX;
-    return ScriptKind.JS;
-}
 function parseReqDirectives(text) {
     // look for lines containing implements REQ-123 or implements: REQ-1, REQ-2
     // Stop at end-of-line and only accept IDs starting with an uppercase letter
@@ -167,210 +156,92 @@ function parseReqDirectives(text) {
 function rangesIntersect(aStart, aEnd, bStart, bEnd) {
     return aStart <= bEnd && bStart <= aEnd;
 }
+function analyzeWithBuiltinFallback(filePath, content) {
+    const provider = createTsMorphSourceAnalysisProvider();
+    if (!provider.supportsFile(filePath))
+        return null;
+    return provider.analyzeText(filePath, content);
+}
 export function extractSymbolsFromStagedFile(
 // implements REQ-008
-stagedFile, manifestLookup) {
+stagedFile, manifestLookup, options) {
     const content = stagedFile.content ?? "";
-    const sha = computeContentSha(`${content}|${stagedFile.path}`);
+    const sha = computeContentSha(`${content}|${stagedFile.path}|${options?.analyzeText ? "custom" : "builtin"}`);
     // TTL cache lookup
     const now = Date.now();
-    let cached = sourceFileCache.get(sha);
+    let cached = analysisCache.get(sha);
     if (!cached || now - cached.ts > CACHE_TTL_MS) {
-        // create or recreate SourceFile in project (in-memory)
         try {
-            const scriptKind = chooseScriptKind(stagedFile.path);
-            const sf = project.createSourceFile(`${stagedFile.path}::staged`, content, {
-                overwrite: true,
-                scriptKind,
-            });
-            cached = { tsf: sf, ts: now };
-            sourceFileCache.set(sha, cached);
+            const analyze = options?.analyzeText ?? analyzeWithBuiltinFallback;
+            const raw = analyze(stagedFile.path, content);
+            if (raw instanceof Promise) {
+                throw new Error("extractSymbolsFromStagedFile received async analyzeText; use extractSymbolsFromStagedFileAsync");
+            }
+            cached = { result: raw, ts: now };
+            analysisCache.set(sha, cached);
         }
-        catch (err) {
+        catch (error) {
+            if (error instanceof Error &&
+                error.message.includes("extractSymbolsFromStagedFileAsync")) {
+                throw error;
+            }
             // on parse error, cache null to avoid retry storms briefly
-            cached = { tsf: null, ts: now };
-            sourceFileCache.set(sha, cached);
-        }
-    }
-    const sf = cached.tsf;
-    if (!sf)
-        return [];
-    const results = [];
-    // helpers to compute line spans
-    const getSpan = (startPos, endPos) => {
-        const start = sf.getLineAndColumnAtPos(startPos);
-        const end = sf.getLineAndColumnAtPos(endPos);
-        return { startLine: start.line, endLine: end.line };
-    };
-    // Functions
-    for (const fn of sf.getFunctions()) {
-        if (!fn.isExported())
-            continue;
-        try {
-            const name = fn.getName() ?? "<anonymous>";
-            const nameNode = fn.getNameNode();
-            const start = nameNode ? nameNode.getStart() : fn.getStart();
-            const end = fn.getEnd();
-            const span = getSpan(start, end);
-            const reqLinks = parseReqDirectives(`${fn.getFullText()}\n${fn
-                .getJsDocs()
-                .map((d) => d.getFullText())
-                .join("\n")}`);
-            results.push(buildSymbolResult(stagedFile, name, "function", span, reqLinks, manifestLookup));
-        }
-        catch {
-            void stagedFile.path;
+            cached = { result: null, ts: now };
+            analysisCache.set(sha, cached);
         }
     }
-    // Classes
-    for (const cls of sf.getClasses()) {
-        if (!cls.isExported())
-            continue;
+    return symbolsFromAnalysis(stagedFile, cached.result, manifestLookup);
+}
+/**
+ * Async staged symbol extraction. Defaults to deterministic builtin analysis.
+ * Pass an explicit `registry` only from allowlisted async surfaces that compose
+ * replace/augment/shadow (e.g. symbol repair). Maintenance paths (`check`,
+ * impact, sync, status, proof) must omit `registry` so external extractors
+ * never participate.
+ */
+// implements REQ-capability-plugin-activation-disclosure-v1
+export async function extractSymbolsFromStagedFileAsync(stagedFile, manifestLookup, options) {
+    const content = stagedFile.content ?? "";
+    const sha = computeContentSha(`${content}|${stagedFile.path}|async|${options.registry ? "registry" : "custom"}`);
+    const now = Date.now();
+    let cached = analysisCache.get(sha);
+    if (!cached || now - cached.ts > CACHE_TTL_MS) {
         try {
-            const name = cls.getName() ?? "<anonymous>";
-            const start = cls.getNameNode()?.getStart() ?? cls.getStart();
-            const end = cls.getEnd();
-            const span = getSpan(start, end);
-            const reqLinks = parseReqDirectives(getJsDocText(cls.getJsDocs()));
-            results.push(buildSymbolResult(stagedFile, name, "class", span, reqLinks, manifestLookup));
-        }
-        catch {
-            void stagedFile.path;
-        }
-        for (const method of typeof cls.getMethods === "function"
-            ? cls.getMethods()
-            : []) {
-            try {
-                if (isPrivateClassMember(method))
-                    continue;
-                const name = formatMethodSymbolName(cls.getName(), method.getName());
-                const start = method.getNameNode()?.getStart() ?? method.getStart();
-                const end = method.getEnd();
-                const span = getSpan(start, end);
-                const reqLinks = parseReqDirectives(`${method.getFullText()}\n${method
-                    .getJsDocs()
-                    .map((d) => d.getFullText())
-                    .join("\n")}`);
-                results.push(buildSymbolResult(stagedFile, name, "method", span, reqLinks, manifestLookup));
-            }
-            catch {
-                void stagedFile.path;
-            }
-        }
-        for (const property of typeof cls.getProperties === "function"
-            ? cls.getProperties()
-            : []) {
-            try {
-                if (isPrivateClassMember(property))
-                    continue;
-                const name = formatMethodSymbolName(cls.getName(), property.getName());
-                const start = property.getNameNode()?.getStart() ?? property.getStart();
-                const end = property.getEnd();
-                const span = getSpan(start, end);
-                const reqLinks = parseReqDirectives(`${property.getFullText()}\n${property
-                    .getJsDocs()
-                    .map((d) => d.getFullText())
-                    .join("\n")}`);
-                results.push(buildSymbolResult(stagedFile, name, "property", span, reqLinks, manifestLookup));
-            }
-            catch {
-                void stagedFile.path;
+            let analysis = null;
+            if (options.analyzeText) {
+                analysis = await options.analyzeText(stagedFile.path, content);
             }
-        }
-        for (const accessor of [
-            ...(typeof cls.getGetAccessors === "function"
-                ? cls.getGetAccessors()
-                : []),
-            ...(typeof cls.getSetAccessors === "function"
-                ? cls.getSetAccessors()
-                : []),
-        ]) {
-            try {
-                if (isPrivateClassMember(accessor))
-                    continue;
-                const name = formatMethodSymbolName(cls.getName(), accessor.getName());
-                const start = accessor.getNameNode()?.getStart() ?? accessor.getStart();
-                const end = accessor.getEnd();
-                const span = getSpan(start, end);
-                const reqLinks = parseReqDirectives(`${accessor.getFullText()}\n${accessor
-                    .getJsDocs()
-                    .map((d) => d.getFullText())
-                    .join("\n")}`);
-                results.push(buildSymbolResult(stagedFile, name, "accessor", span, reqLinks, manifestLookup));
+            else if (options.registry) {
+                const { createSourceAnalysisService } = await import("../plugins/source-analysis-service.js");
+                analysis = await createSourceAnalysisService({
+                    registry: options.registry,
+                }).analyzeText(stagedFile.path, content);
             }
-            catch {
-                void stagedFile.path;
+            else {
+                analysis = analyzeWithBuiltinFallback(stagedFile.path, content);
             }
-        }
-    }
-    // Enums
-    for (const en of sf.getEnums()) {
-        if (!en.isExported())
-            continue;
-        try {
-            const name = en.getName() ?? "<anonymous>";
-            const start = en.getNameNode()?.getStart() ?? en.getStart();
-            const end = en.getEnd();
-            const span = getSpan(start, end);
-            const reqLinks = parseReqDirectives(en.getText());
-            results.push(buildSymbolResult(stagedFile, name, "enum", span, reqLinks, manifestLookup));
-        }
-        catch {
-            void stagedFile.path;
-        }
-    }
-    for (const iface of typeof sf.getInterfaces === "function"
-        ? sf.getInterfaces()
-        : []) {
-        if (!iface.isExported())
-            continue;
-        try {
-            const name = iface.getName();
-            const start = iface.getNameNode().getStart();
-            const end = iface.getEnd();
-            const span = getSpan(start, end);
-            const reqLinks = parseReqDirectives(iface.getText());
-            results.push(buildSymbolResult(stagedFile, name, "interface", span, reqLinks, manifestLookup));
+            cached = { result: analysis, ts: now };
+            analysisCache.set(sha, cached);
         }
         catch {
-            void stagedFile.path;
+            cached = { result: null, ts: now };
+            analysisCache.set(sha, cached);
         }
     }
-    for (const alias of typeof sf.getTypeAliases === "function"
-        ? sf.getTypeAliases()
-        : []) {
-        if (!alias.isExported())
-            continue;
+    return symbolsFromAnalysis(stagedFile, cached.result, manifestLookup);
+}
+function symbolsFromAnalysis(stagedFile, analysis, manifestLookup) {
+    if (!analysis)
+        return [];
+    const results = [];
+    for (const symbol of analysis.symbols) {
         try {
-            const name = alias.getName();
-            const start = alias.getNameNode().getStart();
-            const end = alias.getEnd();
-            const span = getSpan(start, end);
-            const reqLinks = parseReqDirectives(alias.getText());
-            results.push(buildSymbolResult(stagedFile, name, "type", span, reqLinks, manifestLookup));
+            results.push(buildSymbolResult(stagedFile, symbol.name, symbol.kind, { startLine: symbol.startLine, endLine: symbol.endLine }, parseReqDirectives(symbol.directiveText ?? ""), manifestLookup));
         }
         catch {
             void stagedFile.path;
         }
     }
-    // Variable statements (exported)
-    for (const vs of sf.getVariableStatements()) {
-        if (!vs.isExported())
-            continue;
-        for (const decl of vs.getDeclarations()) {
-            try {
-                const name = decl.getName();
-                const start = decl.getNameNode()?.getStart() ?? decl.getStart();
-                const end = decl.getEnd();
-                const span = getSpan(start, end);
-                const reqLinks = parseReqDirectives(decl.getText());
-                results.push(buildSymbolResult(stagedFile, name, "variable", span, reqLinks, manifestLookup));
-            }
-            catch {
-                void stagedFile.path;
-            }
-        }
-    }
     // Filter to only include symbols that intersect with at least one hunk
     // (unless it's a new file or rename, in which case we include all)
     const shouldFilterByHunks = stagedFile.status === "M" && stagedFile.hunkRanges.length > 0;
@@ -379,22 +250,7 @@ stagedFile, manifestLookup) {
     }
     return results;
 }
-export function isPrivateClassMember(member) {
-    const name = typeof member.getName === "function" ? member.getName() : "";
-    if (name.startsWith("#")) {
-        return true;
-    }
-    if (typeof member.getScope === "function") {
-        return member.getScope() === Scope.Private;
-    }
-    return false;
-}
-function formatMethodSymbolName(className, methodName) {
-    return className ? `${className}.${methodName}` : methodName;
-}
-function getJsDocText(jsDocs) {
-    return jsDocs.map((d) => d.getFullText()).join("\n");
-}
+export { isPrivateClassMember };
 function intersectingHunks(startLine, endLine, hunks) {
     const out = [];
     for (const h of hunks) {

package/dist/traceability/temp-kb.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"temp-kb.d.ts","sourceRoot":"","sources":["../../src/traceability/temp-kb.ts"],"names":[],"mappings":"AAMA,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,MAAM,GACZ,OAAO,CAET;AACD,OAAO,KAAK,EAGV,gBAAgB,EACjB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAE7C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAExD,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,aAAa,CAAC;CACvB;AAMD;;;GAGG;AACH,wBAAgB,gBAAgB,IAAI,IAAI,CASvC;AAQD;;;GAGG;AACH,wBAAgB,iBAAiB,CAE/B,OAAO,EAAE,CAAC,IAAI,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,KAAK,CAAA;CAAE,KAAK,aAAa,GACpE,IAAI,CAEN;AAmQD,iBAAe,cAAc,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAgB/D;AAED,OAAO,EAAE,cAAc,EAAE,CAAC;AAG1B,wBAAsB,qBAAqB,CACzC,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,gBAAgB,EAAE,GAC1B,OAAO,CAAC,IAAI,CAAC,CA2Bf;AAED,wBAAsB,YAAY,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,CA6C7E;AAGD,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,eAAe,EAAE,GAAG,MAAM,CAkBrE;AAED,wBAAsB,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CA2BlE"}
+{"version":3,"file":"temp-kb.d.ts","sourceRoot":"","sources":["../../src/traceability/temp-kb.ts"],"names":[],"mappings":"AAMA,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,MAAM,GACZ,OAAO,CAET;AACD,OAAO,KAAK,EAGV,gBAAgB,EACjB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAE7C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAExD,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,aAAa,CAAC;CACvB;AAMD;;;GAGG;AACH,wBAAgB,gBAAgB,IAAI,IAAI,CASvC;AAQD;;;GAGG;AACH,wBAAgB,iBAAiB,CAE/B,OAAO,EAAE,CAAC,IAAI,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,KAAK,CAAA;CAAE,KAAK,aAAa,GACpE,IAAI,CAEN;AA4QD,iBAAe,cAAc,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAgB/D;AAED,OAAO,EAAE,cAAc,EAAE,CAAC;AAG1B,wBAAsB,qBAAqB,CACzC,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,gBAAgB,EAAE,GAC1B,OAAO,CAAC,IAAI,CAAC,CA2Bf;AAED,wBAAsB,YAAY,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,CA6C7E;AAGD,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,eAAe,EAAE,GAAG,MAAM,CAkBrE;AAED,wBAAsB,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CA2BlE"}

package/dist/traceability/temp-kb.js

@@ -107,6 +107,14 @@ function serializeTypedFactFields(entity) {
     if (ruleIr !== undefined && ruleIr !== null) {
         fields.push(`rule_ir=${toPrologString(JSON.stringify(ruleIr))}`);
     }
+    // Predicate-schema vocabularies are objects; like rule_ir they travel as
+    // JSON strings and are decoded again at the public boundary.
+    for (const field of ["argument_constants", "argument_aliases"]) {
+        const value = getEntityField(entity, field);
+        if (value !== undefined && value !== null) {
+            fields.push(`${field}=${toPrologString(JSON.stringify(value))}`);
+        }
+    }
     for (const field of FACT_ATOM_FIELDS) {
         const value = getEntityField(entity, field);
         if (value !== undefined && value !== null) {

package/dist/traceability/validate.js

@@ -153,7 +153,7 @@ export function formatViolations(violations) {
         const loc = `${v.file}:${v.line}`;
         const name = `${v.name}()`;
         // Suggest adding requirement links with role-specific guidance
-        const suggestion = "Add ownership: implements: REQ-001 (production code), use covered_by for production coverage, or executable_for for executable test code";
+        const suggestion = "Add ownership: implements: REQ-<area>-<behavior> (production code), use covered_by for production coverage, or executable_for for executable test code";
         lines.push(`${loc}  ${name}  -> ${suggestion}`);
     }
     return lines.join("\n");

package/dist/types/entities.d.ts

@@ -39,6 +39,8 @@ export interface FactFields {
     argument_names?: string[];
     argument_types?: string[];
     argument_descriptions?: string[];
+    argument_constants?: Record<string, string[]>;
+    argument_aliases?: Record<string, Record<string, string>>;
     aliases?: string[];
     examples?: string[];
     predicate_args?: string[];

package/dist/types/entities.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"entities.d.ts","sourceRoot":"","sources":["../../src/types/entities.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC/E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAE/D,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAGD,MAAM,WAAW,UAAU;IACzB,SAAS,CAAC,EACN,SAAS,GACT,gBAAgB,GAChB,aAAa,GACb,MAAM,GACN,kBAAkB,GAClB,WAAW,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;IACtD,UAAU,CAAC,EAAE,QAAQ,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;IAClD,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,MAAM,CAAC;IACpD,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED,MAAM,WAAW,sBAAsB;IACrC,kBAAkB,CAAC,EAAE,MAAM,GAAG,aAAa,GAAG,YAAY,CAAC;IAC3D,wBAAwB,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;IACnD,cAAc,CAAC,EAAE,aAAa,CAAC;IAC/B,cAAc,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IACzC,cAAc,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;CAC1C;AAED,MAAM,MAAM,WAAW,GAAG,UAAU,GAAG;IACrC,IAAI,EAAE,KAAK,CAAC;IACZ,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;CACzB,CAAC;AACF,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC;AACzD,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG,sBAAsB,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAChF,MAAM,MAAM,GAAG,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC;AAC/C,MAAM,MAAM,IAAI,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AACjD,MAAM,MAAM,KAAK,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AACnD,MAAM,MAAM,MAAM,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AACrD,MAAM,MAAM,IAAI,GAAG,UAAU,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE9D,MAAM,MAAM,MAAM,GACd,WAAW,GACX,QAAQ,GACR,UAAU,GACV,GAAG,GACH,IAAI,GACJ,KAAK,GACL,MAAM,GACN,IAAI,CAAC"}
+{"version":3,"file":"entities.d.ts","sourceRoot":"","sources":["../../src/types/entities.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC/E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAE/D,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAGD,MAAM,WAAW,UAAU;IACzB,SAAS,CAAC,EACN,SAAS,GACT,gBAAgB,GAChB,aAAa,GACb,MAAM,GACN,kBAAkB,GAClB,WAAW,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;IACtD,UAAU,CAAC,EAAE,QAAQ,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;IAClD,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,MAAM,CAAC;IACpD,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,kBAAkB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC9C,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1D,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED,MAAM,WAAW,sBAAsB;IACrC,kBAAkB,CAAC,EAAE,MAAM,GAAG,aAAa,GAAG,YAAY,CAAC;IAC3D,wBAAwB,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;IACnD,cAAc,CAAC,EAAE,aAAa,CAAC;IAC/B,cAAc,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IACzC,cAAc,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;CAC1C;AAED,MAAM,MAAM,WAAW,GAAG,UAAU,GAAG;IACrC,IAAI,EAAE,KAAK,CAAC;IACZ,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;CACzB,CAAC;AACF,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC;AACzD,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG,sBAAsB,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAChF,MAAM,MAAM,GAAG,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC;AAC/C,MAAM,MAAM,IAAI,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AACjD,MAAM,MAAM,KAAK,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AACnD,MAAM,MAAM,MAAM,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AACrD,MAAM,MAAM,IAAI,GAAG,UAAU,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE9D,MAAM,MAAM,MAAM,GACd,WAAW,GACX,QAAQ,GACR,UAAU,GACV,GAAG,GACH,IAAI,GACJ,KAAK,GACL,MAAM,GACN,IAAI,CAAC"}