@devflow-tools/semantic-engine 0.18.0

package/dist/semantic-router.js

@@ -0,0 +1,175 @@
+import { EMBEDDING_MODEL_ID, EMBEDDING_MODEL_REVISION, } from '@devflow-tools/sdk';
+import { SEMANTIC_ROUTE_CATALOG, } from './semantic-route-catalog.js';
+import { requestValidatedEmbeddingBatch } from '@devflow-tools/provider-runtime';
+export const SHADOW_SEMANTIC_THRESHOLDS = {
+    schemaVersion: 'semantic-thresholds.v1',
+    version: 'shadow-bootstrap.v1',
+    minimumScore: 0.55,
+    minimumMargin: 0.08,
+};
+export class SemanticRouter {
+    encoder;
+    routes;
+    thresholds;
+    embeddedRoutes = null;
+    warmupPromise = null;
+    constructor(encoder, routes = SEMANTIC_ROUTE_CATALOG.routes, thresholds = SHADOW_SEMANTIC_THRESHOLDS) {
+        this.encoder = encoder;
+        this.routes = routes;
+        this.thresholds = thresholds;
+    }
+    warmup() {
+        this.warmupPromise ??= this.initialize().finally(() => {
+            if (!this.embeddedRoutes)
+                this.warmupPromise = null;
+        });
+        return this.warmupPromise;
+    }
+    async route(prompt) {
+        const startedAt = performance.now();
+        if (!this.embeddedRoutes && !(await this.warmup())) {
+            return this.unavailable(startedAt, 'encoder_unavailable');
+        }
+        try {
+            const [query] = await this.encoder.embedBatch([prompt.normalize('NFKC')]);
+            if (!query)
+                return this.unavailable(startedAt, 'query_embedding_missing');
+            const allScores = this.embeddedRoutes.map(item => scoreRoute(query, item));
+            const fieldGroups = [...new Set(this.routes.map(item => item.field))]
+                .map(field => allScores.filter(item => item.field === field).sort(compareScoredRoute));
+            const fieldWinners = fieldGroups.flatMap(group => group.slice(0, 2));
+            const ranked = fieldWinners.sort(compareScoredRoute);
+            const top = ranked[0];
+            const acceptedRoutes = fieldGroups.flatMap(group => {
+                const winner = group[0];
+                const runnerUp = group[1];
+                const fieldMargin = winner && runnerUp ? winner.score - runnerUp.score : undefined;
+                return winner && winner.score >= this.thresholds.minimumScore
+                    && (fieldMargin === undefined || fieldMargin >= this.thresholds.minimumMargin)
+                    ? [winner.route]
+                    : [];
+            });
+            const ambiguousFields = fieldGroups.filter(group => {
+                const winner = group[0];
+                const runnerUp = group[1];
+                return winner && winner.score >= this.thresholds.minimumScore && runnerUp
+                    && winner.score - runnerUp.score < this.thresholds.minimumMargin;
+            });
+            const topGroup = top ? fieldGroups.find(group => group[0]?.field === top.field) : undefined;
+            const margin = topGroup?.[0] && topGroup[1]
+                ? topGroup[0].score - topGroup[1].score : undefined;
+            const candidates = ranked.map(item => ({
+                route: item.route,
+                score: item.score,
+                prototypeIds: item.prototypeIds,
+            }));
+            if (acceptedRoutes.length === 0 && ambiguousFields.length === 0) {
+                return decision('out_of_scope', candidates, margin, this, startedAt, 'minimum_score_not_met');
+            }
+            if (acceptedRoutes.length === 0 && ambiguousFields.length > 0) {
+                return decision('escalation_required', candidates, margin, this, startedAt, 'minimum_margin_not_met');
+            }
+            return decision('accepted', candidates, margin, this, startedAt, 'route_accepted', acceptedRoutes);
+        }
+        catch {
+            return this.unavailable(startedAt, 'encoder_failed');
+        }
+    }
+    get modelId() { return this.encoder.modelId; }
+    get modelRevision() { return this.encoder.modelRevision; }
+    get thresholdVersion() { return this.thresholds.version; }
+    async initialize() {
+        if (!(await this.encoder.warmup()))
+            return false;
+        const flattened = this.routes.flatMap(item => [
+            ...item.positives.map(prototype => ({ route: item, kind: 'positive', prototype })),
+            ...item.contrasts.map(prototype => ({ route: item, kind: 'contrast', prototype })),
+        ]);
+        try {
+            const embeddings = await this.encoder.embedBatch(flattened.map(item => item.prototype.text));
+            if (embeddings.length !== flattened.length || embeddings.some(item => !validVector(item)))
+                return false;
+            const grouped = new Map();
+            flattened.forEach((item, index) => {
+                const entry = grouped.get(item.route.id) ?? { route: item.route, positives: [], contrasts: [] };
+                entry[item.kind === 'positive' ? 'positives' : 'contrasts'].push(embeddings[index]);
+                grouped.set(item.route.id, entry);
+            });
+            this.embeddedRoutes = this.routes.map(item => grouped.get(item.id));
+            return true;
+        }
+        catch {
+            this.embeddedRoutes = null;
+            return false;
+        }
+    }
+    unavailable(startedAt, reason) {
+        return decision('unavailable', [], undefined, this, startedAt, reason);
+    }
+}
+export class EmbeddingProviderSemanticEncoder {
+    provider;
+    modelId = EMBEDDING_MODEL_ID;
+    modelRevision = EMBEDDING_MODEL_REVISION;
+    constructor(provider) {
+        this.provider = provider;
+    }
+    warmup() { return this.provider.warmup(); }
+    embedBatch(texts) {
+        return requestValidatedEmbeddingBatch({
+            provider: this.provider,
+            purpose: 'semantic_routing',
+            texts,
+        });
+    }
+}
+function scoreRoute(query, embedded) {
+    const positiveScores = embedded.positives.map(value => cosine(query, value));
+    const contrastScores = embedded.contrasts.map(value => cosine(query, value));
+    const positive = Math.max(...positiveScores);
+    const contrast = contrastScores.length > 0 ? Math.max(...contrastScores) : 0;
+    const winningPositive = positiveScores.indexOf(positive);
+    const winningContrast = contrastScores.indexOf(contrast);
+    return {
+        route: embedded.route.id,
+        field: embedded.route.field,
+        score: positive - contrast,
+        prototypeIds: [
+            embedded.route.positives[winningPositive]?.id,
+            embedded.route.contrasts[winningContrast]?.id,
+        ].filter((value) => Boolean(value)),
+    };
+}
+function compareScoredRoute(left, right) {
+    return right.score - left.score || left.route.localeCompare(right.route);
+}
+function cosine(left, right) {
+    if (left.length === 0 || left.length !== right.length)
+        return -1;
+    let dot = 0;
+    let leftNorm = 0;
+    let rightNorm = 0;
+    for (let index = 0; index < left.length; index += 1) {
+        dot += left[index] * right[index];
+        leftNorm += left[index] ** 2;
+        rightNorm += right[index] ** 2;
+    }
+    return leftNorm > 0 && rightNorm > 0 ? dot / Math.sqrt(leftNorm * rightNorm) : -1;
+}
+function validVector(value) {
+    return value instanceof Float32Array && value.length > 0 && !value.some(item => !Number.isFinite(item));
+}
+function decision(status, candidates, margin, router, startedAt, reason, acceptedRoutes) {
+    return {
+        status,
+        candidates,
+        ...(acceptedRoutes?.length ? { acceptedRoutes } : {}),
+        ...(margin !== undefined ? { margin } : {}),
+        thresholdVersion: router.thresholdVersion,
+        modelId: router.modelId,
+        modelRevision: router.modelRevision,
+        latencyMs: Math.max(0, Math.round((performance.now() - startedAt) * 1000) / 1000),
+        reason,
+    };
+}
+//# sourceMappingURL=semantic-router.js.map

package/dist/semantic-router.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-router.js","sourceRoot":"","sources":["../src/semantic-router.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kBAAkB,EAClB,wBAAwB,GAIzB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,sBAAsB,GAEvB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,8BAA8B,EAAE,MAAM,iCAAiC,CAAC;AAgBjF,MAAM,CAAC,MAAM,0BAA0B,GAA6B;IAClE,aAAa,EAAE,wBAAwB;IACvC,OAAO,EAAE,qBAAqB;IAC9B,YAAY,EAAE,IAAI;IAClB,aAAa,EAAE,IAAI;CACpB,CAAC;AAQF,MAAM,OAAO,cAAc;IAKN;IACA;IACA;IANX,cAAc,GAA2B,IAAI,CAAC;IAC9C,aAAa,GAA4B,IAAI,CAAC;IAEtD,YACmB,OAA8B,EAC9B,SAAoC,sBAAsB,CAAC,MAAM,EACjE,aAAuC,0BAA0B;QAFjE,YAAO,GAAP,OAAO,CAAuB;QAC9B,WAAM,GAAN,MAAM,CAA2D;QACjE,eAAU,GAAV,UAAU,CAAuD;IACjF,CAAC;IAEJ,MAAM;QACJ,IAAI,CAAC,aAAa,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE;YACpD,IAAI,CAAC,IAAI,CAAC,cAAc;gBAAE,IAAI,CAAC,aAAa,GAAG,IAAI,CAAC;QACtD,CAAC,CAAC,CAAC;QACH,OAAO,IAAI,CAAC,aAAa,CAAC;IAC5B,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,MAAc;QACxB,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;QACpC,IAAI,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;YACnD,OAAO,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,qBAAqB,CAAC,CAAC;QAC5D,CAAC;QACD,IAAI,CAAC;YACH,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC1E,IAAI,CAAC,KAAK;gBAAE,OAAO,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,yBAAyB,CAAC,CAAC;YAC1E,MAAM,SAAS,GAAG,IAAI,CAAC,cAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;YAC5E,MAAM,WAAW,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;iBAClE,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC;YACzF,MAAM,YAAY,GAAG,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACrE,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YACrD,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACtB,MAAM,cAAc,GAAG,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;gBACjD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACxB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC1B,MAAM,WAAW,GAAG,MAAM,IAAI,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;gBACnF,OAAO,MAAM,IAAI,MAAM,CAAC,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,YAAY;uBACxD,CAAC,WAAW,KAAK,SAAS,IAAI,WAAW,IAAI,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC;oBAC9E,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;oBAChB,CAAC,CAAC,EAAE,CAAC;YACT,CAAC,CAAC,CAAC;YACH,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;gBACjD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACxB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC1B,OAAO,MAAM,IAAI,MAAM,CAAC,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,YAAY,IAAI,QAAQ;uBACpE,MAAM,CAAC,KAAK,GAAG,QAAQ,CAAC,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC;YACrE,CAAC,CAAC,CAAC;YACH,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC5F,MAAM,MAAM,GAAG,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC;gBACzC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;YACtD,MAAM,UAAU,GAAyB,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAC3D,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,YAAY,EAAE,IAAI,CAAC,YAAY;aAChC,CAAC,CAAC,CAAC;YACJ,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAChE,OAAO,QAAQ,CAAC,cAAc,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,uBAAuB,CAAC,CAAC;YAChG,CAAC;YACD,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC9D,OAAO,QAAQ,CAAC,qBAAqB,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,wBAAwB,CAAC,CAAC;YACxG,CAAC;YACD,OAAO,QAAQ,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,gBAAgB,EAAE,cAAc,CAAC,CAAC;QACrG,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED,IAAI,OAAO,KAAa,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IACtD,IAAI,aAAa,KAAa,OAAO,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC;IAClE,IAAI,gBAAgB,KAAa,OAAO,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;IAE1D,KAAK,CAAC,UAAU;QACtB,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC;QACjD,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5C,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,UAAmB,EAAE,SAAS,EAAE,CAAC,CAAC;YAC3F,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,UAAmB,EAAE,SAAS,EAAE,CAAC,CAAC;SAC5F,CAAC,CAAC;QACH,IAAI,CAAC;YACH,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;YAC7F,IAAI,UAAU,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;YACxG,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;YACjD,SAAS,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;gBAChC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;gBAChG,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAE,CAAC,CAAC;gBACrF,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YACpC,CAAC,CAAC,CAAC;YACH,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAE,CAAC,CAAC;YACrE,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,MAAM,CAAC;YACP,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC;YAC3B,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAEO,WAAW,CAAC,SAAiB,EAAE,MAAc;QACnD,OAAO,QAAQ,CAAC,aAAa,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IACzE,CAAC;CACF;AAED,MAAM,OAAO,gCAAgC;IAGd;IAFpB,OAAO,GAAG,kBAAkB,CAAC;IAC7B,aAAa,GAAG,wBAAwB,CAAC;IAClD,YAA6B,QAAmC;QAAnC,aAAQ,GAAR,QAAQ,CAA2B;IAAG,CAAC;IACpE,MAAM,KAAuB,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC7D,UAAU,CAAC,KAAe;QACxB,OAAO,8BAA8B,CAAC;YACpC,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,OAAO,EAAE,kBAAkB;YAC3B,KAAK;SACN,CAAC,CAAC;IACL,CAAC;CACF;AAED,SAAS,UAAU,CAAC,KAAmB,EAAE,QAAuB;IAM9D,MAAM,cAAc,GAAG,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAC7E,MAAM,cAAc,GAAG,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAC7E,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,cAAc,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7E,MAAM,eAAe,GAAG,cAAc,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACzD,MAAM,eAAe,GAAG,cAAc,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACzD,OAAO;QACL,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE;QACxB,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK;QAC3B,KAAK,EAAE,QAAQ,GAAG,QAAQ;QAC1B,YAAY,EAAE;YACZ,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,eAAe,CAAC,EAAE,EAAE;YAC7C,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,eAAe,CAAC,EAAE,EAAE;SAC9C,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;KACrD,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,IAAsC,EACtC,KAAuC;IAEvC,OAAO,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,MAAM,CAAC,IAAkB,EAAE,KAAmB;IACrD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,CAAC,CAAC,CAAC;IACjE,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACpD,GAAG,IAAI,IAAI,CAAC,KAAK,CAAE,GAAG,KAAK,CAAC,KAAK,CAAE,CAAC;QACpC,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAE,IAAI,CAAC,CAAC;QAC9B,SAAS,IAAI,KAAK,CAAC,KAAK,CAAE,IAAI,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,QAAQ,GAAG,CAAC,IAAI,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpF,CAAC;AAED,SAAS,WAAW,CAAC,KAAmB;IACtC,OAAO,KAAK,YAAY,YAAY,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;AAC1G,CAAC;AAED,SAAS,QAAQ,CACf,MAAuC,EACvC,UAAgC,EAChC,MAA0B,EAC1B,MAAsB,EACtB,SAAiB,EACjB,MAAc,EACd,cAAyB;IAEzB,OAAO;QACL,MAAM;QACN,UAAU;QACV,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3C,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;QACzC,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;QACjF,MAAM;KACP,CAAC;AACJ,CAAC"}

package/dist/semantic-structural-evidence.d.ts

@@ -0,0 +1,27 @@
+import { type KnowledgeChunkKind, type SemanticEvidenceSpanV1 } from '@devflow-tools/sdk';
+export interface StructuralKnowledgeNeed {
+    kind: KnowledgeChunkKind;
+    entity?: string;
+    evidence: SemanticEvidenceSpanV1;
+}
+export interface StructuralSemanticEvidence {
+    normalizedPrompt: string;
+    command?: string;
+    targetAnchors: string[];
+    packageVersions: Array<{
+        name: string;
+        version: string;
+    }>;
+    symbols: string[];
+    memoryDirectives: SemanticEvidenceSpanV1[];
+    knowledgeNeeds: StructuralKnowledgeNeed[];
+    prohibitions: SemanticEvidenceSpanV1[];
+    positiveActionSpans: SemanticEvidenceSpanV1[];
+    conditions: SemanticEvidenceSpanV1[];
+}
+export declare function extractStructuralSemanticEvidence(input: {
+    prompt: string;
+    command?: string;
+    targetAnchors?: string[];
+}): StructuralSemanticEvidence;
+//# sourceMappingURL=semantic-structural-evidence.d.ts.map

package/dist/semantic-structural-evidence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-structural-evidence.d.ts","sourceRoot":"","sources":["../src/semantic-structural-evidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,kBAAkB,EACvB,KAAK,sBAAsB,EAC5B,MAAM,oBAAoB,CAAC;AAE5B,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,kBAAkB,CAAC;IACzB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,sBAAsB,CAAC;CAClC;AAED,MAAM,WAAW,0BAA0B;IACzC,gBAAgB,EAAE,MAAM,CAAC;IACzB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,eAAe,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC1D,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,gBAAgB,EAAE,sBAAsB,EAAE,CAAC;IAC3C,cAAc,EAAE,uBAAuB,EAAE,CAAC;IAC1C,YAAY,EAAE,sBAAsB,EAAE,CAAC;IACvC,mBAAmB,EAAE,sBAAsB,EAAE,CAAC;IAC9C,UAAU,EAAE,sBAAsB,EAAE,CAAC;CACtC;AAuCD,wBAAgB,iCAAiC,CAAC,KAAK,EAAE;IACvD,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;CAC1B,GAAG,0BAA0B,CAiB7B"}

package/dist/semantic-structural-evidence.js

@@ -0,0 +1,134 @@
+import { semanticTextHash, } from '@devflow-tools/sdk';
+const PROHIBITION_RULES = [
+    { pattern: /\b(?:do\s+not|don't|never|must\s+not|without)\s+(?:execute|run|change|modify|edit|create|fix|build|publish|release)(?:\s+anything|\s+files?)?/giu, value: 'all_mutation' },
+    { pattern: /\b(?:no|without)\s+(?:file|code|project)\s+changes?\b/giu, value: 'all_mutation' },
+    { pattern: /\b(?:only|just)\s+(?:analy[sz]e|explain|review|inspect)\b/giu, value: 'all_mutation' },
+    { pattern: /(?:不要|禁止|不可|不能|无需|无须|不需要|不)\s*(?:重新)?(?:执行|运行|修改|编辑|创建|生成|修复|构建|编译|发布|发版)(?:任何)?(?:文件|代码|命令|内容)?/gu, value: 'all_mutation' },
+    { pattern: /(?:只|仅)(?:做|进行)?(?:分析|解释|审查|查看)(?:原因|日志|代码)?/gu, value: 'all_mutation' },
+];
+const ACTION_RULES = [
+    { pattern: /\b(?:publish|release)\b|发布|发版/giu, value: 'release' },
+    { pattern: /\b(?:install|add dependency|upgrade dependency)\b|安装依赖|更新依赖/giu, value: 'install' },
+    { pattern: /\b(?:run|execute|write)\s+(?:the\s+)?tests?\b|运行测试|执行测试|编写测试/giu, value: 'test' },
+    { pattern: /\b(?:compile|bundle|build)\b|构建|编译|打包/giu, value: 'build' },
+    { pattern: /\b(?:fix|debug|resolve)\b|修复|调试|解决/giu, value: 'debug' },
+    { pattern: /\b(?:create|generate|implement|scaffold|add)\b|创建|生成|实现|新增|开发/giu, value: 'create' },
+    { pattern: /\b(?:modify|edit|update|refactor|change|optimize)\b|修改|编辑|更新|重构|调整|优化/giu, value: 'modify' },
+    { pattern: /\b(?:write|update)\s+(?:the\s+)?(?:docs?|documentation)\b|编写文档|更新文档/giu, value: 'document' },
+    { pattern: /\b(?:format|prettier)\b|格式化/giu, value: 'format' },
+];
+const CONDITION_RULES = [
+    { pattern: /\b(?:if|when|once|after|only after|provided that)\b[^,.;，。；]{0,100}/giu, value: text => text.trim() },
+    { pattern: /(?:如果|若|当|等到|确认|完成|通过)[^，。；;]{0,80}(?:后|之后|再|才)/gu, value: text => text.trim() },
+];
+const MEMORY_DIRECTIVE_RULES = [
+    {
+        pattern: /\b(?:recall|retrieve|look up)\b[^,.;]{0,48}\b(?:memory|preference|convention|decision)s?\b|(?:召回|回忆|检索|查询|读取)[^，。；;]{0,48}(?:记忆|偏好|约定|决策)/giu,
+        value: 'recall',
+    },
+];
+export function extractStructuralSemanticEvidence(input) {
+    const normalizedPrompt = input.prompt.normalize('NFKC');
+    return {
+        normalizedPrompt,
+        ...(input.command ? { command: input.command } : {}),
+        targetAnchors: [...new Set([
+                ...(input.targetAnchors ?? []),
+                ...extractExplicitCodeTargets(normalizedPrompt),
+            ])].slice(0, 16),
+        packageVersions: extractPackageVersions(normalizedPrompt),
+        symbols: extractSymbols(normalizedPrompt),
+        memoryDirectives: collectSpans(normalizedPrompt, MEMORY_DIRECTIVE_RULES, 'memory', 'structural'),
+        knowledgeNeeds: extractKnowledgeNeeds(normalizedPrompt),
+        prohibitions: collectSpans(normalizedPrompt, PROHIBITION_RULES, 'negation', 'structural'),
+        positiveActionSpans: collectSpans(normalizedPrompt, ACTION_RULES, 'action', 'structural'),
+        conditions: collectSpans(normalizedPrompt, CONDITION_RULES, 'condition', 'structural'),
+    };
+}
+function extractKnowledgeNeeds(prompt) {
+    const needs = [];
+    for (const match of prompt.matchAll(/\b(?:query|consult|read|look up)\b[^,.;]{0,80}\b(?:api|docs?|documentation|reference)\b|(?:查询|查阅|检索|阅读)[^，。；;]{0,80}(?:API|接口|文档|资料|参考)/giu)) {
+        const text = match[0];
+        const start = match.index;
+        if (start === undefined || !text)
+            continue;
+        const kind = knowledgeKind(text);
+        const entity = (text.match(/\b[A-Z][A-Za-z0-9_$-]{1,}\b/gu) ?? [])
+            .find(value => value.toLocaleLowerCase('en-US') !== 'api');
+        needs.push({
+            kind,
+            ...(entity ? { entity } : {}),
+            evidence: {
+                field: 'knowledge', source: 'structural', value: kind,
+                start, end: start + text.length, textHash: semanticTextHash(text), confidence: 1,
+            },
+        });
+    }
+    return needs;
+}
+function extractExplicitCodeTargets(prompt) {
+    const values = new Set();
+    for (const match of prompt.matchAll(/(?:\b(?:locate|find|open|inspect)\b|定位|查找|找到|查看)\s+[`'"]?([A-Z][A-Za-z0-9_$]{2,})[`'"]?(?:\s*(?:component|class|function|module|组件|类|函数|模块))?/giu)) {
+        values.add(match[1]);
+    }
+    return [...values].slice(0, 16);
+}
+function knowledgeKind(text) {
+    if (/\bapi\b|接口|参数|签名|组件/iu.test(text))
+        return 'api';
+    if (/migration|migrat|upgrade|升级|迁移|破坏性变更/iu.test(text))
+        return 'migration';
+    if (/error|exception|failure|错误|异常|失败/iu.test(text))
+        return 'error';
+    if (/behavior|behaviour|runtime|行为|机制/iu.test(text))
+        return 'behavior';
+    return 'overview';
+}
+function collectSpans(prompt, rules, field, source) {
+    const spans = [];
+    const seen = new Set();
+    for (const rule of rules) {
+        rule.pattern.lastIndex = 0;
+        for (const match of prompt.matchAll(rule.pattern)) {
+            const text = match[0];
+            const start = match.index;
+            if (start === undefined || text.length === 0)
+                continue;
+            const value = typeof rule.value === 'function' ? rule.value(text) : rule.value;
+            const key = `${field}:${value}:${start}:${text.length}`;
+            if (seen.has(key))
+                continue;
+            seen.add(key);
+            spans.push({
+                field,
+                source,
+                value,
+                start,
+                end: start + text.length,
+                textHash: semanticTextHash(text),
+                confidence: 1,
+            });
+        }
+    }
+    return spans.sort((left, right) => left.start - right.start || left.end - right.end || left.value.localeCompare(right.value));
+}
+function extractPackageVersions(prompt) {
+    const result = new Map();
+    for (const match of prompt.matchAll(/(@?[a-z][a-z0-9._/-]*)\s+v?(\d+(?:\.\d+){0,2})/giu)) {
+        result.set(match[1], match[2]);
+    }
+    return [...result].map(([name, version]) => ({ name, version })).slice(0, 16);
+}
+function extractSymbols(prompt) {
+    const values = new Set();
+    for (const pattern of [
+        /\b[A-Za-z_$][A-Za-z0-9_$]*(?:\.[A-Za-z_$][A-Za-z0-9_$]*)+\b/gu,
+        /\b[A-Z][A-Za-z0-9_$]{2,}\b/gu,
+        /`([A-Za-z_$][A-Za-z0-9_$]*(?:\.[A-Za-z_$][A-Za-z0-9_$]*)*)`/gu,
+    ]) {
+        for (const match of prompt.matchAll(pattern))
+            values.add(match[1] ?? match[0]);
+    }
+    return [...values].slice(0, 16);
+}
+//# sourceMappingURL=semantic-structural-evidence.js.map

package/dist/semantic-structural-evidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-structural-evidence.js","sourceRoot":"","sources":["../src/semantic-structural-evidence.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,GAGjB,MAAM,oBAAoB,CAAC;AA0B5B,MAAM,iBAAiB,GAAe;IACpC,EAAE,OAAO,EAAE,kJAAkJ,EAAE,KAAK,EAAE,cAAc,EAAE;IACtL,EAAE,OAAO,EAAE,0DAA0D,EAAE,KAAK,EAAE,cAAc,EAAE;IAC9F,EAAE,OAAO,EAAE,8DAA8D,EAAE,KAAK,EAAE,cAAc,EAAE;IAClG,EAAE,OAAO,EAAE,oGAAoG,EAAE,KAAK,EAAE,cAAc,EAAE;IACxI,EAAE,OAAO,EAAE,gDAAgD,EAAE,KAAK,EAAE,cAAc,EAAE;CACrF,CAAC;AAEF,MAAM,YAAY,GAAe;IAC/B,EAAE,OAAO,EAAE,kCAAkC,EAAE,KAAK,EAAE,SAAS,EAAE;IACjE,EAAE,OAAO,EAAE,gEAAgE,EAAE,KAAK,EAAE,SAAS,EAAE;IAC/F,EAAE,OAAO,EAAE,iEAAiE,EAAE,KAAK,EAAE,MAAM,EAAE;IAC7F,EAAE,OAAO,EAAE,0CAA0C,EAAE,KAAK,EAAE,OAAO,EAAE;IACvE,EAAE,OAAO,EAAE,uCAAuC,EAAE,KAAK,EAAE,OAAO,EAAE;IACpE,EAAE,OAAO,EAAE,kEAAkE,EAAE,KAAK,EAAE,QAAQ,EAAE;IAChG,EAAE,OAAO,EAAE,0EAA0E,EAAE,KAAK,EAAE,QAAQ,EAAE;IACxG,EAAE,OAAO,EAAE,wEAAwE,EAAE,KAAK,EAAE,UAAU,EAAE;IACxG,EAAE,OAAO,EAAE,gCAAgC,EAAE,KAAK,EAAE,QAAQ,EAAE;CAC/D,CAAC;AAEF,MAAM,eAAe,GAAe;IAClC,EAAE,OAAO,EAAE,wEAAwE,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE;IACjH,EAAE,OAAO,EAAE,mDAAmD,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE;CAC7F,CAAC;AAEF,MAAM,sBAAsB,GAAe;IACzC;QACE,OAAO,EAAE,8IAA8I;QACvJ,KAAK,EAAE,QAAQ;KAChB;CACF,CAAC;AAEF,MAAM,UAAU,iCAAiC,CAAC,KAIjD;IACC,MAAM,gBAAgB,GAAG,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACxD,OAAO;QACL,gBAAgB;QAChB,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,aAAa,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC;gBACzB,GAAG,CAAC,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC;gBAC9B,GAAG,0BAA0B,CAAC,gBAAgB,CAAC;aAChD,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;QAChB,eAAe,EAAE,sBAAsB,CAAC,gBAAgB,CAAC;QACzD,OAAO,EAAE,cAAc,CAAC,gBAAgB,CAAC;QACzC,gBAAgB,EAAE,YAAY,CAAC,gBAAgB,EAAE,sBAAsB,EAAE,QAAQ,EAAE,YAAY,CAAC;QAChG,cAAc,EAAE,qBAAqB,CAAC,gBAAgB,CAAC;QACvD,YAAY,EAAE,YAAY,CAAC,gBAAgB,EAAE,iBAAiB,EAAE,UAAU,EAAE,YAAY,CAAC;QACzF,mBAAmB,EAAE,YAAY,CAAC,gBAAgB,EAAE,YAAY,EAAE,QAAQ,EAAE,YAAY,CAAC;QACzF,UAAU,EAAE,YAAY,CAAC,gBAAgB,EAAE,eAAe,EAAE,WAAW,EAAE,YAAY,CAAC;KACvF,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAc;IAC3C,MAAM,KAAK,GAA8B,EAAE,CAAC;IAC5C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,QAAQ,CACjC,4IAA4I,CAC7I,EAAE,CAAC;QACF,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;QAC1B,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,IAAI;YAAE,SAAS;QAC3C,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,+BAA+B,CAAC,IAAI,EAAE,CAAC;aAC/D,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC,OAAO,CAAC,KAAK,KAAK,CAAC,CAAC;QAC7D,KAAK,CAAC,IAAI,CAAC;YACT,IAAI;YACJ,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7B,QAAQ,EAAE;gBACR,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI;gBACrD,KAAK,EAAE,GAAG,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC;aACjF;SACF,CAAC,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,0BAA0B,CAAC,MAAc;IAChD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,QAAQ,CACjC,kJAAkJ,CACnJ,EAAE,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAClC,CAAC;AAED,SAAS,aAAa,CAAC,IAAY;IACjC,IAAI,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACrD,IAAI,wCAAwC,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,WAAW,CAAC;IAC5E,IAAI,oCAAoC,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,OAAO,CAAC;IACpE,IAAI,oCAAoC,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,UAAU,CAAC;IACvE,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,YAAY,CACnB,MAAc,EACd,KAAiB,EACjB,KAAsC,EACtC,MAAwC;IAExC,MAAM,KAAK,GAA6B,EAAE,CAAC;IAC3C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,OAAO,CAAC,SAAS,GAAG,CAAC,CAAC;QAC3B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAClD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACtB,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;YAC1B,IAAI,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YACvD,MAAM,KAAK,GAAG,OAAO,IAAI,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;YAC/E,MAAM,GAAG,GAAG,GAAG,KAAK,IAAI,KAAK,IAAI,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACxD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,KAAK,CAAC,IAAI,CAAC;gBACT,KAAK;gBACL,MAAM;gBACN,KAAK;gBACL,KAAK;gBACL,GAAG,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM;gBACxB,QAAQ,EAAE,gBAAgB,CAAC,IAAI,CAAC;gBAChC,UAAU,EAAE,CAAC;aACd,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;AAChI,CAAC;AAED,SAAS,sBAAsB,CAAC,MAAc;IAC5C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,QAAQ,CAAC,mDAAmD,CAAC,EAAE,CAAC;QACzF,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,cAAc,CAAC,MAAc;IACpC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,OAAO,IAAI;QACpB,+DAA+D;QAC/D,8BAA8B;QAC9B,+DAA+D;KAChE,EAAE,CAAC;QACF,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAClC,CAAC"}

package/dist/task-claim-compiler.d.ts

@@ -0,0 +1,13 @@
+import { type ActionAuthority, type ChannelDisposition, type SemanticFacts, type ValidatedSemanticClaimV1 } from '@devflow-tools/sdk';
+export interface CompiledSemanticAuthority {
+    facts: SemanticFacts;
+    dispositions: ChannelDisposition[];
+    actionAuthority: ActionAuthority;
+    claims: ValidatedSemanticClaimV1[];
+}
+export declare function compileSemanticFacts(input: {
+    sourceHash: string;
+    claims: ValidatedSemanticClaimV1[];
+    providerReceiptIds: string[];
+}): CompiledSemanticAuthority;
+//# sourceMappingURL=task-claim-compiler.d.ts.map

package/dist/task-claim-compiler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-claim-compiler.d.ts","sourceRoot":"","sources":["../src/task-claim-compiler.ts"],"names":[],"mappings":"AAAA,OAAO,EAKL,KAAK,eAAe,EAEpB,KAAK,kBAAkB,EAIvB,KAAK,aAAa,EAMlB,KAAK,wBAAwB,EAC9B,MAAM,oBAAoB,CAAC;AAE5B,MAAM,WAAW,yBAAyB;IACxC,KAAK,EAAE,aAAa,CAAC;IACrB,YAAY,EAAE,kBAAkB,EAAE,CAAC;IACnC,eAAe,EAAE,eAAe,CAAC;IACjC,MAAM,EAAE,wBAAwB,EAAE,CAAC;CACpC;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE;IAC1C,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,wBAAwB,EAAE,CAAC;IACnC,kBAAkB,EAAE,MAAM,EAAE,CAAC;CAC9B,GAAG,yBAAyB,CAoD5B"}

package/dist/task-claim-compiler.js

@@ -0,0 +1,210 @@
+import { createSemanticFacts, isMutatingTaskAction, semanticEvidenceId, stableRuntimeHash, } from '@devflow-tools/sdk';
+export function compileSemanticFacts(input) {
+    const claims = uniqueBy(input.claims, item => item.claimId)
+        .sort((left, right) => left.claimId.localeCompare(right.claimId));
+    const providerReceiptIds = [...new Set(input.providerReceiptIds)].sort();
+    if (claims.some(claim => !providerReceiptIds.includes(claim.providerReceiptId))) {
+        throw new Error('TASK_CLAIM_PROVIDER_RECEIPT_MISSING');
+    }
+    for (const claim of claims)
+        assertClaimIntegrity(input.sourceHash, claim);
+    const intent = selectScalar(claims, 'intent');
+    const action = selectScalar(claims, 'action');
+    const memory = selectScalar(claims, 'memory_directive');
+    const outOfScope = selectScalar(claims, 'out_of_scope');
+    const conflicts = [intent.conflict, action.conflict, memory.conflict, outOfScope.conflict]
+        .filter((item) => Boolean(item))
+        .sort((left, right) => left.field.localeCompare(right.field));
+    const memoryDirective = memory.conflict ? 'ambiguous' : memory.value ?? 'none';
+    const knowledgeNeeds = uniqueKnowledge(claims
+        .filter(isKind('knowledge_need')).map(item => item.claim.value));
+    const structuralNegations = claims.filter(isKind('negation'))
+        .filter(item => item.source === 'structural');
+    const structuralConditions = claims.filter(isKind('condition'))
+        .filter(item => item.source === 'structural');
+    const evidence = uniqueEvidence(claims.flatMap(item => item.evidence));
+    const confidence = compileConfidence(claims);
+    const facts = createSemanticFacts({
+        sourceHash: input.sourceHash,
+        intents: uniqueStrings(claims.filter(isKind('intent')).map(item => item.claim.value)),
+        actions: uniqueStrings(claims.filter(isKind('action')).map(item => item.claim.value)),
+        entities: uniqueStrings(claims.filter(isKind('entity')).map(item => item.claim.value)),
+        targets: uniqueStrings(claims.filter(isKind('target')).map(item => item.claim.value)),
+        constraints: uniqueStrings(claims.filter(isKind('constraint')).map(item => item.claim.value)),
+        prohibitions: uniqueStrings(claims.filter(isKind('negation')).map(item => item.claim.value)),
+        conditions: uniqueStrings(claims.filter(isKind('condition')).map(item => item.claim.value)),
+        memoryDirective,
+        knowledgeNeeds,
+        confidence,
+        evidence,
+        conflicts,
+    });
+    return {
+        facts,
+        dispositions: compileChannelDispositions(facts, claims),
+        actionAuthority: compileActionAuthority({
+            action: action.conflict ? undefined : action.value,
+            targets: facts.targets,
+            structuralNegations,
+            structuralConditions,
+            claims,
+        }),
+        claims,
+    };
+}
+function compileActionAuthority(input) {
+    const structuralActions = input.claims.filter(claim => claim.source === 'structural'
+        && claim.claim.kind === 'action' && claim.claim.value === input.action);
+    const conditionEvidenceIds = uniqueStrings(input.structuralConditions.flatMap(item => item.evidenceIds));
+    const authorityEvidenceIds = uniqueStrings(structuralActions.flatMap(item => item.evidenceIds));
+    const mutation = input.structuralNegations.length > 0
+        ? 'prohibited'
+        : !input.action || !isMutatingTaskAction(input.action)
+            ? 'not_requested'
+            : conditionEvidenceIds.length > 0
+                ? 'conditional'
+                : authorityEvidenceIds.length > 0
+                    ? 'authorized'
+                    : 'not_requested';
+    const reasonCode = mutation === 'prohibited' ? 'explicit_structural_prohibition'
+        : mutation === 'conditional' ? 'condition_proof_required'
+            : mutation === 'authorized' ? 'explicit_structural_action'
+                : input.action && isMutatingTaskAction(input.action)
+                    ? 'structural_action_absent' : 'mutation_not_requested';
+    const body = {
+        mutation,
+        ...(input.action ? { action: input.action } : {}),
+        targetAnchors: input.targets,
+        conditionEvidenceIds,
+        authorityEvidenceIds,
+        reasonCode,
+    };
+    return Object.freeze({ ...body, authorityHash: stableRuntimeHash(body) });
+}
+function compileChannelDispositions(facts, claims) {
+    return ['code', 'memory', 'knowledge'].map(channel => {
+        const prohibited = claims.filter(claim => claim.source === 'structural'
+            && claim.claim.kind === 'negation' && claim.claim.value === `channel:${channel}`);
+        const required = channelEvidence(channel, claims, facts);
+        if (prohibited.length > 0)
+            return {
+                channel, requirement: 'prohibited', reasonCode: 'explicit_channel_prohibition',
+                evidenceIds: uniqueStrings(prohibited.flatMap(item => item.evidenceIds)),
+            };
+        if (required.length > 0)
+            return {
+                channel, requirement: 'required', reasonCode: 'explicit_channel_request',
+                evidenceIds: uniqueStrings(required.flatMap(item => item.evidenceIds)),
+            };
+        return { channel, requirement: 'optional', reasonCode: 'safe_read_default', evidenceIds: [] };
+    });
+}
+function channelEvidence(channel, claims, facts) {
+    if (channel === 'code') {
+        const targets = claims.filter(isKind('target'));
+        if (targets.length > 0)
+            return targets;
+        if (facts.actions.some(action => ['test', 'build', 'release', 'verify'].includes(action))) {
+            return claims.filter(isKind('action'));
+        }
+        return [];
+    }
+    if (channel === 'memory') {
+        return facts.memoryDirective === 'none' || facts.memoryDirective === 'ambiguous'
+            ? [] : claims.filter(isKind('memory_directive'));
+    }
+    return claims.filter(isKind('knowledge_need'));
+}
+function selectScalar(claims, kind) {
+    const candidates = claims.filter(item => item.claim.kind === kind);
+    if (candidates.length === 0)
+        return {};
+    const topRank = Math.max(...candidates.map(item => sourceRank(item.source)));
+    const top = candidates.filter(item => sourceRank(item.source) === topRank);
+    const topValues = uniqueStrings(top.map(item => printable(item.claim.value)));
+    if (topValues.length > 1) {
+        return {
+            conflict: {
+                field: kind,
+                claimIds: top.map(item => item.claimId).sort(),
+                values: topValues,
+                resolution: 'abstain',
+            },
+        };
+    }
+    const selected = [...top].sort((left, right) => right.confidence - left.confidence || left.claimId.localeCompare(right.claimId))[0];
+    const differing = candidates.filter(item => printable(item.claim.value) !== topValues[0]);
+    return {
+        value: selected.claim.value,
+        ...(differing.length > 0 ? {
+            conflict: {
+                field: kind,
+                claimIds: [selected, ...differing].map(item => item.claimId).sort(),
+                values: uniqueStrings([topValues[0], ...differing.map(item => printable(item.claim.value))]),
+                resolution: resolutionFor(selected.source),
+            },
+        } : {}),
+    };
+}
+function isKind(kind) {
+    return (claim) => claim.claim.kind === kind;
+}
+function sourceRank(source) {
+    if (source === 'structural')
+        return 3;
+    if (source === 'host_sampling')
+        return 2;
+    return 1;
+}
+function resolutionFor(source) {
+    if (source === 'structural')
+        return 'structural_wins';
+    if (source === 'host_sampling')
+        return 'host_wins';
+    return 'embedding_wins';
+}
+function assertClaimIntegrity(sourceHash, claim) {
+    const { claimHash, ...body } = claim;
+    if (stableRuntimeHash(body) !== claimHash)
+        throw new Error('TASK_CLAIM_HASH_MISMATCH');
+    if (claim.sourceHash !== sourceHash)
+        throw new Error('TASK_CLAIM_SOURCE_HASH_MISMATCH');
+    if (claim.evidence.length === 0 || claim.evidence.some(item => !claim.evidenceIds.includes(semanticEvidenceId(item)))) {
+        throw new Error('TASK_CLAIM_EVIDENCE_INVALID');
+    }
+    if (!sourceHash)
+        throw new Error('TASK_CLAIM_SOURCE_HASH_MISSING');
+}
+function compileConfidence(claims) {
+    if (claims.length === 0)
+        return { overall: 0 };
+    const perField = {};
+    for (const claim of claims) {
+        const field = claim.evidence[0].field;
+        perField[field] = Math.max(perField[field] ?? 0, claim.confidence);
+    }
+    return { overall: claims.reduce((sum, item) => sum + item.confidence, 0) / claims.length, ...perField };
+}
+function uniqueKnowledge(values) {
+    const unique = uniqueBy(values, item => stableRuntimeHash(item));
+    return unique.filter(item => isScopedKnowledgeNeed(item)
+        || !unique.some(candidate => candidate.kind === item.kind && isScopedKnowledgeNeed(candidate)))
+        .sort((left, right) => stableRuntimeHash(left).localeCompare(stableRuntimeHash(right)));
+}
+function isScopedKnowledgeNeed(value) {
+    return Boolean(value.entity || value.symbol || value.version);
+}
+function uniqueEvidence(values) {
+    return uniqueBy(values, semanticEvidenceId)
+        .sort((left, right) => semanticEvidenceId(left).localeCompare(semanticEvidenceId(right)));
+}
+function uniqueStrings(values) {
+    return [...new Set(values)].sort();
+}
+function uniqueBy(values, key) {
+    return [...new Map(values.map(value => [key(value), value])).values()];
+}
+function printable(value) {
+    return typeof value === 'string' ? value : JSON.stringify(value);
+}
+//# sourceMappingURL=task-claim-compiler.js.map

package/dist/task-claim-compiler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-claim-compiler.js","sourceRoot":"","sources":["../src/task-claim-compiler.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,EAClB,iBAAiB,GAclB,MAAM,oBAAoB,CAAC;AAS5B,MAAM,UAAU,oBAAoB,CAAC,KAIpC;IACC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC;SACxD,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IACpE,MAAM,kBAAkB,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACzE,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,kBAAkB,CAAC,QAAQ,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC;QAChF,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACzD,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,MAAM;QAAE,oBAAoB,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAE1E,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IACxD,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACxD,MAAM,SAAS,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC;SACvF,MAAM,CAAC,CAAC,IAAI,EAAmC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;SAChE,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IAChE,MAAM,eAAe,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC;IAC/E,MAAM,cAAc,GAAG,eAAe,CAAC,MAAM;SAC1C,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IACnE,MAAM,mBAAmB,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;SAC1D,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,YAAY,CAAC,CAAC;IAChD,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;SAC5D,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,YAAY,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IACvE,MAAM,UAAU,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,mBAAmB,CAAC;QAChC,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAA0B;QAC9G,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAA0B;QAC9G,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACtF,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACrF,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC7F,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC5F,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3F,eAAe;QACf,cAAc;QACd,UAAU;QACV,QAAQ;QACR,SAAS;KACV,CAAC,CAAC;IACH,OAAO;QACL,KAAK;QACL,YAAY,EAAE,0BAA0B,CAAC,KAAK,EAAE,MAAM,CAAC;QACvD,eAAe,EAAE,sBAAsB,CAAC;YACtC,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK;YAClD,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,mBAAmB;YACnB,oBAAoB;YACpB,MAAM;SACP,CAAC;QACF,MAAM;KACP,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,KAM/B;IACC,MAAM,iBAAiB,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,YAAY;WAC/E,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1E,MAAM,oBAAoB,GAAG,aAAa,CAAC,KAAK,CAAC,oBAAoB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;IACzG,MAAM,oBAAoB,GAAG,aAAa,CAAC,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;IAChG,MAAM,QAAQ,GAAgC,KAAK,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC;QAChF,CAAC,CAAC,YAAY;QACd,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,MAAM,CAAC;YACpD,CAAC,CAAC,eAAe;YACjB,CAAC,CAAC,oBAAoB,CAAC,MAAM,GAAG,CAAC;gBAC/B,CAAC,CAAC,aAAa;gBACf,CAAC,CAAC,oBAAoB,CAAC,MAAM,GAAG,CAAC;oBAC/B,CAAC,CAAC,YAAY;oBACd,CAAC,CAAC,eAAe,CAAC;IAC1B,MAAM,UAAU,GAAG,QAAQ,KAAK,YAAY,CAAC,CAAC,CAAC,iCAAiC;QAC9E,CAAC,CAAC,QAAQ,KAAK,aAAa,CAAC,CAAC,CAAC,0BAA0B;YACvD,CAAC,CAAC,QAAQ,KAAK,YAAY,CAAC,CAAC,CAAC,4BAA4B;gBACxD,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,oBAAoB,CAAC,KAAK,CAAC,MAAM,CAAC;oBAClD,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,wBAAwB,CAAC;IAChE,MAAM,IAAI,GAAG;QACX,QAAQ;QACR,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjD,aAAa,EAAE,KAAK,CAAC,OAAO;QAC5B,oBAAoB;QACpB,oBAAoB;QACpB,UAAU;KACX,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,0BAA0B,CACjC,KAAoB,EACpB,MAAkC;IAElC,OAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAW,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE;QAC9D,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,YAAY;eAClE,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,WAAW,OAAO,EAAE,CAAC,CAAC;QACpF,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;QACzD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO;gBAChC,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,8BAA8B;gBAC9E,WAAW,EAAE,aAAa,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;aACzE,CAAC;QACF,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO;gBAC9B,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,0BAA0B;gBACxE,WAAW,EAAE,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;aACvE,CAAC;QACF,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,mBAAmB,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;IAChG,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CACtB,OAAoB,EACpB,MAAkC,EAClC,KAAoB;IAEpB,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;QACvB,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAChD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,OAAO,CAAC;QACvC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YAC1F,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QACzC,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,eAAe,KAAK,MAAM,IAAI,KAAK,CAAC,eAAe,KAAK,WAAW;YAC9E,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC;AACjD,CAAC;AAeD,SAAS,YAAY,CACnB,MAAkC,EAClC,IAAgB;IAEhB,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAE/D,CAAC;IACH,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC7E,MAAM,GAAG,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,OAAO,CAAC,CAAC;IAC3E,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC9E,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,OAAO;YACL,QAAQ,EAAE;gBACR,KAAK,EAAE,IAAI;gBACX,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE;gBAC9C,MAAM,EAAE,SAAS;gBACjB,UAAU,EAAE,SAAS;aACtB;SACF,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC7C,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC;IACvF,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1F,OAAO;QACL,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK;QAC3B,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;YACzB,QAAQ,EAAE;gBACR,KAAK,EAAE,IAAI;gBACX,QAAQ,EAAE,CAAC,QAAQ,EAAE,GAAG,SAAS,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE;gBACnE,MAAM,EAAE,aAAa,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC7F,UAAU,EAAE,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC;aAC3C;SACF,CAAC,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CAA4C,IAAU;IACnE,OAAO,CAAC,KAA+B,EAErC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC;AACjC,CAAC;AAED,SAAS,UAAU,CAAC,MAA2B;IAC7C,IAAI,MAAM,KAAK,YAAY;QAAE,OAAO,CAAC,CAAC;IACtC,IAAI,MAAM,KAAK,eAAe;QAAE,OAAO,CAAC,CAAC;IACzC,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,aAAa,CAAC,MAA2B;IAChD,IAAI,MAAM,KAAK,YAAY;QAAE,OAAO,iBAAiB,CAAC;IACtD,IAAI,MAAM,KAAK,eAAe;QAAE,OAAO,WAAW,CAAC;IACnD,OAAO,gBAAgB,CAAC;AAC1B,CAAC;AAED,SAAS,oBAAoB,CAAC,UAAkB,EAAE,KAA+B;IAC/E,MAAM,EAAE,SAAS,EAAE,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC;IACrC,IAAI,iBAAiB,CAAC,IAAI,CAAC,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;IACvF,IAAI,KAAK,CAAC,UAAU,KAAK,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;IACxF,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC5D,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAkC;IAC3D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAC/C,MAAM,QAAQ,GAAmD,EAAE,CAAC;IACpE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC;QACvC,QAAQ,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,QAAQ,EAAE,CAAC;AAC1G,CAAC;AAED,SAAS,eAAe,CAAC,MAAuB;IAC9C,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC;IACjE,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;WACnD,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,qBAAqB,CAAC,SAAS,CAAC,CAAC,CAAC;SAC9F,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAC5F,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAoB;IACjD,OAAO,OAAO,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,cAAc,CAAC,MAAgC;IACtD,OAAO,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC;SACxC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAC9F,CAAC;AAED,SAAS,aAAa,CAAC,MAAgB;IACrC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACrC,CAAC;AAED,SAAS,QAAQ,CAAI,MAAW,EAAE,GAAyB;IACzD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;AACzE,CAAC;AAED,SAAS,SAAS,CAAC,KAAc;IAC/B,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AACnE,CAAC"}