open-multi-agent-kit 0.80.7 → 0.90.0

package/dist/core/context-graph-memory-store.js

@@ -1,377 +0,0 @@
-const ALLOWED_MEMORY_CATEGORIES = new Set([
-    "decision",
-    "verified_fact",
-    "resolved_error",
-    "user_preference",
-    "unresolved_task",
-    "test_evidence",
-    "build_evidence",
-]);
-const FORBIDDEN_MEMORY_CATEGORIES = new Set(["raw_conversation", "raw_shell_output", "speculation", "secret"]);
-const DEFAULT_ASSERTION_STATUSES = ["active"];
-export function validateMemoryScope(scope) {
-    if (scope.workspaceId.trim().length === 0)
-        return { ok: false, reason: "missing_workspace_id" };
-    if (scope.repoSha.trim().length === 0)
-        return { ok: false, reason: "missing_repo_sha" };
-    if (scope.branch.trim().length === 0)
-        return { ok: false, reason: "missing_branch" };
-    return { ok: true, reason: "eligible" };
-}
-export function validateMemoryCategory(category) {
-    const normalized = category.trim();
-    if (FORBIDDEN_MEMORY_CATEGORIES.has(normalized))
-        return { ok: false, reason: "forbidden_category" };
-    if (!ALLOWED_MEMORY_CATEGORIES.has(normalized))
-        return { ok: false, reason: "unsupported_category" };
-    return { ok: true, reason: "eligible" };
-}
-export function reinforceAssertionConfidence(input) {
-    const currentConfidence = clamp01(input.currentConfidence);
-    const evidenceConfidence = clamp01(input.evidenceConfidence);
-    const weight = clamp01(input.weight ?? 1);
-    return clamp01(currentConfidence + (1 - currentConfidence) * evidenceConfidence * weight);
-}
-export function detectFunctionalAssertionConflicts(assertions, options = {}) {
-    const functionalPredicates = new Set(options.functionalPredicates ?? []);
-    const statuses = new Set(options.statuses ?? DEFAULT_ASSERTION_STATUSES);
-    const candidates = [...assertions]
-        .filter((candidate) => statuses.has(candidate.status) && isFunctionalAssertion(candidate, functionalPredicates))
-        .sort(compareAssertionIds);
-    const conflicts = [];
-    for (const [leftIndex, left] of candidates.entries()) {
-        for (const right of candidates.slice(leftIndex + 1)) {
-            if (!canConflict(left, right))
-                continue;
-            const validOverlap = getIntervalOverlap(left.validTime, right.validTime);
-            if (!validOverlap)
-                continue;
-            conflicts.push({
-                subjectId: left.subjectId,
-                predicate: left.predicate,
-                assertionIds: [left.id, right.id],
-                objectValues: [left.object, right.object],
-                validOverlap,
-            });
-        }
-    }
-    return conflicts.sort((a, b) => a.assertionIds[0].localeCompare(b.assertionIds[0]) || a.assertionIds[1].localeCompare(b.assertionIds[1]));
-}
-export class InMemoryContextGraphMemoryStore {
-    generations = new Map();
-    entities = new Map();
-    assertions = new Map();
-    episodes = new Map();
-    async putGeneration(generation) {
-        assertValidScope(generation.scope);
-        assertNonEmptyId(generation.id, "generation id");
-        parseInstant(generation.createdAt, "generation createdAt");
-        const record = cloneGeneration(generation);
-        this.generations.set(record.id, record);
-        return cloneGeneration(record);
-    }
-    async putEntity(entity) {
-        assertValidScope(entity.scope);
-        assertNonEmptyId(entity.id, "entity id");
-        this.assertGenerationScope(entity.generationId, entity.scope);
-        assertValidInterval(entity.validTime, "entity validTime");
-        assertValidInterval(entity.transactionTime, "entity transactionTime");
-        const record = cloneEntity(entity);
-        this.entities.set(record.id, record);
-        return cloneEntity(record);
-    }
-    async putAssertion(assertion) {
-        assertValidScope(assertion.scope);
-        assertNonEmptyId(assertion.id, "assertion id");
-        assertAllowedCategory(assertion.category);
-        assertValidConfidence(assertion.confidence);
-        assertProvenance(assertion);
-        this.assertGenerationScope(assertion.generationId, assertion.scope);
-        assertValidInterval(assertion.validTime, "assertion validTime");
-        assertValidInterval(assertion.transactionTime, "assertion transactionTime");
-        const record = cloneAssertion(assertion);
-        this.assertions.set(record.id, record);
-        return cloneAssertion(record);
-    }
-    async putEpisode(episode) {
-        assertValidScope(episode.scope);
-        assertNonEmptyId(episode.id, "episode id");
-        assertAllowedCategory(episode.category);
-        parseInstant(episode.occurredAt, "episode occurredAt");
-        this.assertGenerationScope(episode.generationId, episode.scope);
-        assertValidInterval(episode.validTime, "episode validTime");
-        assertValidInterval(episode.transactionTime, "episode transactionTime");
-        const record = cloneEpisode(episode);
-        this.episodes.set(record.id, record);
-        return cloneEpisode(record);
-    }
-    async getGeneration(id) {
-        const generation = this.generations.get(id);
-        return generation ? cloneGeneration(generation) : undefined;
-    }
-    async listAssertions(input) {
-        assertValidScope(input.scope);
-        for (const category of input.categories ?? []) {
-            assertAllowedCategory(category);
-        }
-        const categories = input.categories ? new Set(input.categories) : undefined;
-        const statuses = new Set(input.statuses ?? DEFAULT_ASSERTION_STATUSES);
-        const activeGenerationIds = this.getGenerationIds(input.scope, "active");
-        const filtered = [...this.assertions.values()]
-            .filter((assertion) => sameScope(assertion.scope, input.scope))
-            .filter((assertion) => categories === undefined || categories.has(assertion.category))
-            .filter((assertion) => statuses.has(assertion.status))
-            .filter((assertion) => input.includeInactiveGenerations === true || activeGenerationIds.has(assertion.generationId))
-            .filter((assertion) => matchesValidTime(assertion.validTime, input.validAt))
-            .filter((assertion) => matchesTransactionTime(assertion.transactionTime, input.transactionAsOf))
-            .sort(compareAssertionIds)
-            .map(cloneAssertion);
-        return filtered;
-    }
-    async memory_search(input) {
-        assertAllowedCategory(input.category);
-        const queryTokens = uniqueTokens(input.query);
-        const assertions = await this.listAssertions({
-            scope: input.scope,
-            categories: [input.category],
-            statuses: input.statuses,
-            validAt: input.validAt,
-            transactionAsOf: input.transactionAsOf,
-            includeInactiveGenerations: input.includeInactiveGenerations,
-        });
-        const hits = assertions
-            .map((assertion) => scoreSearchAssertion(assertion, input.query, queryTokens))
-            .filter((hit) => queryTokens.length === 0 || hit.score > 0)
-            .sort(compareSearchHits);
-        const limit = input.limit === undefined ? hits.length : Math.max(0, Math.floor(input.limit));
-        return hits.slice(0, limit);
-    }
-    assertGenerationScope(generationId, scope) {
-        const generation = this.generations.get(generationId);
-        if (!generation)
-            throw new Error(`memory generation not found: ${generationId}`);
-        if (!sameScope(generation.scope, scope))
-            throw new Error(`memory generation scope mismatch: ${generationId}`);
-    }
-    getGenerationIds(scope, status) {
-        return new Set([...this.generations.values()]
-            .filter((generation) => generation.status === status && sameScope(generation.scope, scope))
-            .map((generation) => generation.id));
-    }
-}
-function assertValidScope(scope) {
-    const decision = validateMemoryScope(scope);
-    if (decision.ok)
-        return;
-    throw new Error(`invalid memory scope: missing ${formatScopeReason(decision.reason)}`);
-}
-function assertAllowedCategory(category) {
-    const decision = validateMemoryCategory(category);
-    if (decision.ok)
-        return;
-    if (decision.reason === "forbidden_category")
-        throw new Error(`forbidden memory category: ${category}`);
-    throw new Error(`unsupported memory category: ${category}`);
-}
-function assertProvenance(assertion) {
-    if (assertion.assertionKind !== "observed" && assertion.assertionKind !== "inferred")
-        return;
-    const provenance = assertion.provenance ?? [];
-    if (provenance.length === 0 || provenance.some((entry) => entry.sourceId.trim().length === 0)) {
-        throw new Error("provenance is required for observed and inferred assertions");
-    }
-}
-function assertValidConfidence(confidence) {
-    if (!Number.isFinite(confidence) || confidence < 0 || confidence > 1) {
-        throw new Error("assertion confidence must be between 0 and 1");
-    }
-}
-function assertNonEmptyId(id, label) {
-    if (id.trim().length === 0)
-        throw new Error(`missing ${label}`);
-}
-function assertValidInterval(interval, label) {
-    const from = parseInstant(interval.from, `${label}.from`);
-    const to = interval.to === undefined ? Number.POSITIVE_INFINITY : parseInstant(interval.to, `${label}.to`);
-    if (to <= from)
-        throw new Error(`${label} must have to greater than from`);
-}
-function parseInstant(instant, label) {
-    const timestamp = instant instanceof Date ? instant.getTime() : Date.parse(instant);
-    if (!Number.isFinite(timestamp))
-        throw new Error(`invalid temporal instant: ${label}`);
-    return timestamp;
-}
-function matchesValidTime(interval, validAt) {
-    if (validAt === undefined)
-        return true;
-    return intervalContains(interval, parseInstant(validAt, "validAt"));
-}
-function matchesTransactionTime(interval, transactionAsOf) {
-    if (transactionAsOf === undefined)
-        return interval.to === undefined;
-    return intervalContains(interval, parseInstant(transactionAsOf, "transactionAsOf"));
-}
-function intervalContains(interval, timestamp) {
-    const from = parseInstant(interval.from, "interval.from");
-    const to = interval.to === undefined ? Number.POSITIVE_INFINITY : parseInstant(interval.to, "interval.to");
-    return from <= timestamp && timestamp < to;
-}
-function getIntervalOverlap(left, right) {
-    const leftFrom = parseInstant(left.from, "left validTime.from");
-    const leftTo = left.to === undefined ? Number.POSITIVE_INFINITY : parseInstant(left.to, "left validTime.to");
-    const rightFrom = parseInstant(right.from, "right validTime.from");
-    const rightTo = right.to === undefined ? Number.POSITIVE_INFINITY : parseInstant(right.to, "right validTime.to");
-    const overlapFrom = Math.max(leftFrom, rightFrom);
-    const overlapTo = Math.min(leftTo, rightTo);
-    if (overlapTo <= overlapFrom)
-        return undefined;
-    return {
-        from: new Date(overlapFrom).toISOString(),
-        to: Number.isFinite(overlapTo) ? new Date(overlapTo).toISOString() : undefined,
-    };
-}
-function isFunctionalAssertion(assertion, functionalPredicates) {
-    return assertion.functional === true || functionalPredicates.has(assertion.predicate);
-}
-function canConflict(left, right) {
-    return (sameScope(left.scope, right.scope) &&
-        left.subjectId === right.subjectId &&
-        left.predicate === right.predicate &&
-        canonicalJsonStringify(left.object) !== canonicalJsonStringify(right.object));
-}
-function scoreSearchAssertion(assertion, query, queryTokens) {
-    const searchText = getAssertionSearchText(assertion);
-    const searchTokens = new Set(tokenize(searchText));
-    const matchedTokens = queryTokens.filter((token) => searchTokens.has(token));
-    const coverageScore = queryTokens.length === 0 ? 1 : matchedTokens.length / queryTokens.length;
-    const normalizedQuery = normalizeSearchText(query);
-    const phraseBonus = normalizedQuery.length > 0 && normalizeSearchText(searchText).includes(normalizedQuery) ? 0.1 : 0;
-    return {
-        assertion,
-        score: clamp01(coverageScore + phraseBonus),
-        matchedTokens,
-    };
-}
-function getAssertionSearchText(assertion) {
-    return [
-        assertion.id,
-        assertion.subjectId,
-        assertion.predicate,
-        assertion.category,
-        canonicalJsonStringify(assertion.object),
-    ]
-        .filter((part) => part.length > 0)
-        .join("\n");
-}
-function uniqueTokens(text) {
-    return [...new Set(tokenize(text))];
-}
-function tokenize(text) {
-    return normalizeSearchText(text).match(/[\p{L}\p{N}]+/gu) ?? [];
-}
-function normalizeSearchText(text) {
-    return text
-        .replace(/([\p{Ll}\d])([\p{Lu}])/gu, "$1 $2")
-        .normalize("NFKC")
-        .toLowerCase();
-}
-function canonicalJsonStringify(value) {
-    if (value === null)
-        return "null";
-    if (typeof value === "string" || typeof value === "boolean")
-        return JSON.stringify(value);
-    if (typeof value === "number")
-        return Number.isFinite(value) ? JSON.stringify(value) : "null";
-    if (isMemoryJsonArray(value))
-        return `[${value.map((item) => canonicalJsonStringify(item)).join(",")}]`;
-    const record = value;
-    const entries = Object.keys(record)
-        .filter((key) => record[key] !== undefined)
-        .sort()
-        .map((key) => `${JSON.stringify(key)}:${canonicalJsonStringify(record[key] ?? null)}`);
-    return `{${entries.join(",")}}`;
-}
-function isMemoryJsonArray(value) {
-    return Array.isArray(value);
-}
-function compareAssertionIds(left, right) {
-    return left.id.localeCompare(right.id);
-}
-function compareSearchHits(left, right) {
-    return (right.score - left.score ||
-        right.assertion.confidence - left.assertion.confidence ||
-        left.assertion.id.localeCompare(right.assertion.id));
-}
-function sameScope(left, right) {
-    return left.workspaceId === right.workspaceId && left.repoSha === right.repoSha && left.branch === right.branch;
-}
-function formatScopeReason(reason) {
-    if (reason === "missing_workspace_id")
-        return "workspaceId";
-    if (reason === "missing_repo_sha")
-        return "repoSha";
-    return "branch";
-}
-function cloneScope(scope) {
-    return { workspaceId: scope.workspaceId, repoSha: scope.repoSha, branch: scope.branch };
-}
-function cloneInterval(interval) {
-    return { from: interval.from, to: interval.to };
-}
-function cloneProvenance(provenance) {
-    return provenance?.map((entry) => ({ ...entry }));
-}
-function cloneGeneration(generation) {
-    return { ...generation, scope: cloneScope(generation.scope) };
-}
-function cloneEntity(entity) {
-    return {
-        ...entity,
-        scope: cloneScope(entity.scope),
-        aliases: entity.aliases ? [...entity.aliases] : undefined,
-        validTime: cloneInterval(entity.validTime),
-        transactionTime: cloneInterval(entity.transactionTime),
-    };
-}
-function cloneAssertion(assertion) {
-    return {
-        ...assertion,
-        scope: cloneScope(assertion.scope),
-        object: cloneJsonValue(assertion.object),
-        validTime: cloneInterval(assertion.validTime),
-        transactionTime: cloneInterval(assertion.transactionTime),
-        provenance: cloneProvenance(assertion.provenance),
-    };
-}
-function cloneJsonValue(value) {
-    if (value === null || typeof value === "string" || typeof value === "number" || typeof value === "boolean") {
-        return value;
-    }
-    if (isMemoryJsonArray(value))
-        return value.map((item) => cloneJsonValue(item));
-    const clone = {};
-    for (const key of Object.keys(value)) {
-        const item = value[key];
-        if (item !== undefined)
-            clone[key] = cloneJsonValue(item);
-    }
-    return clone;
-}
-function cloneEpisode(episode) {
-    return {
-        ...episode,
-        scope: cloneScope(episode.scope),
-        validTime: cloneInterval(episode.validTime),
-        transactionTime: cloneInterval(episode.transactionTime),
-        provenance: cloneProvenance(episode.provenance),
-    };
-}
-function clamp01(value) {
-    if (!Number.isFinite(value) || value <= 0)
-        return 0;
-    if (value >= 1)
-        return 1;
-    return value;
-}
-//# sourceMappingURL=context-graph-memory-store.js.map

package/dist/core/context-graph-memory-store.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"context-graph-memory-store.js","sourceRoot":"","sources":["../../src/core/context-graph-memory-store.ts"],"names":[],"mappings":"AA6JA,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAAS;IACjD,UAAU;IACV,eAAe;IACf,gBAAgB;IAChB,iBAAiB;IACjB,iBAAiB;IACjB,eAAe;IACf,gBAAgB;CAChB,CAAC,CAAC;AAEH,MAAM,2BAA2B,GAAG,IAAI,GAAG,CAAS,CAAC,kBAAkB,EAAE,kBAAkB,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC;AACvH,MAAM,0BAA0B,GAAqC,CAAC,QAAQ,CAAC,CAAC;AAEhF,MAAM,UAAU,mBAAmB,CAAC,KAAkB,EAAiC;IACtF,IAAI,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,sBAAsB,EAAE,CAAC;IAChG,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;IACxF,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;IACrF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;AAAA,CACxC;AAED,MAAM,UAAU,sBAAsB,CAAC,QAAwB,EAAoC;IAClG,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IACnC,IAAI,2BAA2B,CAAC,GAAG,CAAC,UAAU,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC;IACpG,IAAI,CAAC,yBAAyB,CAAC,GAAG,CAAC,UAAU,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,sBAAsB,EAAE,CAAC;IACrG,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;AAAA,CACxC;AAED,MAAM,UAAU,4BAA4B,CAAC,KAAmC,EAAU;IACzF,MAAM,iBAAiB,GAAG,OAAO,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;IAC3D,MAAM,kBAAkB,GAAG,OAAO,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;IAC1C,OAAO,OAAO,CAAC,iBAAiB,GAAG,CAAC,CAAC,GAAG,iBAAiB,CAAC,GAAG,kBAAkB,GAAG,MAAM,CAAC,CAAC;AAAA,CAC1F;AAED,MAAM,UAAU,kCAAkC,CACjD,UAAsC,EACtC,OAAO,GAA8B,EAAE,EACX;IAC5B,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,oBAAoB,IAAI,EAAE,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,QAAQ,IAAI,0BAA0B,CAAC,CAAC;IACzE,MAAM,UAAU,GAAG,CAAC,GAAG,UAAU,CAAC;SAChC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,qBAAqB,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAAC;SAC/G,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAC5B,MAAM,SAAS,GAA8B,EAAE,CAAC;IAEhD,KAAK,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;QACtD,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,EAAE,CAAC;YACrD,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;gBAAE,SAAS;YACxC,MAAM,YAAY,GAAG,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;YACzE,IAAI,CAAC,YAAY;gBAAE,SAAS;YAC5B,SAAS,CAAC,IAAI,CAAC;gBACd,SAAS,EAAE,IAAI,CAAC,SAAS;gBACzB,SAAS,EAAE,IAAI,CAAC,SAAS;gBACzB,YAAY,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC;gBACjC,YAAY,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;gBACzC,YAAY;aACZ,CAAC,CAAC;QACJ,CAAC;IACF,CAAC;IAED,OAAO,SAAS,CAAC,IAAI,CACpB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACR,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CACzG,CAAC;AAAA,CACF;AAED,MAAM,OAAO,+BAA+B;IAC1B,WAAW,GAAG,IAAI,GAAG,EAA4B,CAAC;IAClD,QAAQ,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC3C,UAAU,GAAG,IAAI,GAAG,EAA2B,CAAC;IAChD,QAAQ,GAAG,IAAI,GAAG,EAAyB,CAAC;IAE7D,KAAK,CAAC,aAAa,CAAC,UAA4B,EAA6B;QAC5E,gBAAgB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACnC,gBAAgB,CAAC,UAAU,CAAC,EAAE,EAAE,eAAe,CAAC,CAAC;QACjD,YAAY,CAAC,UAAU,CAAC,SAAS,EAAE,sBAAsB,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;QAC3C,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACxC,OAAO,eAAe,CAAC,MAAM,CAAC,CAAC;IAAA,CAC/B;IAED,KAAK,CAAC,SAAS,CAAC,MAAoB,EAAyB;QAC5D,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC/B,gBAAgB,CAAC,MAAM,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;QACzC,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QAC9D,mBAAmB,CAAC,MAAM,CAAC,SAAS,EAAE,kBAAkB,CAAC,CAAC;QAC1D,mBAAmB,CAAC,MAAM,CAAC,eAAe,EAAE,wBAAwB,CAAC,CAAC;QACtE,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;QACnC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACrC,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAAA,CAC3B;IAED,KAAK,CAAC,YAAY,CAAC,SAA0B,EAA4B;QACxE,gBAAgB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAClC,gBAAgB,CAAC,SAAS,CAAC,EAAE,EAAE,cAAc,CAAC,CAAC;QAC/C,qBAAqB,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC1C,qBAAqB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAC5C,gBAAgB,CAAC,SAAS,CAAC,CAAC;QAC5B,IAAI,CAAC,qBAAqB,CAAC,SAAS,CAAC,YAAY,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;QACpE,mBAAmB,CAAC,SAAS,CAAC,SAAS,EAAE,qBAAqB,CAAC,CAAC;QAChE,mBAAmB,CAAC,SAAS,CAAC,eAAe,EAAE,2BAA2B,CAAC,CAAC;QAC5E,MAAM,MAAM,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACvC,OAAO,cAAc,CAAC,MAAM,CAAC,CAAC;IAAA,CAC9B;IAED,KAAK,CAAC,UAAU,CAAC,OAAsB,EAA0B;QAChE,gBAAgB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAChC,gBAAgB,CAAC,OAAO,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;QAC3C,qBAAqB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACxC,YAAY,CAAC,OAAO,CAAC,UAAU,EAAE,oBAAoB,CAAC,CAAC;QACvD,IAAI,CAAC,qBAAqB,CAAC,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QAChE,mBAAmB,CAAC,OAAO,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC;QAC5D,mBAAmB,CAAC,OAAO,CAAC,eAAe,EAAE,yBAAyB,CAAC,CAAC;QACxE,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACrC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACrC,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC;IAAA,CAC5B;IAED,KAAK,CAAC,aAAa,CAAC,EAAU,EAAyC;QACtE,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5C,OAAO,UAAU,CAAC,CAAC,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAAA,CAC5D;IAED,KAAK,CAAC,cAAc,CAAC,KAAgC,EAA8B;QAClF,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC9B,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;YAC/C,qBAAqB,CAAC,QAAQ,CAAC,CAAC;QACjC,CAAC;QACD,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,IAAI,0BAA0B,CAAC,CAAC;QACvE,MAAM,mBAAmB,GAAG,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACzE,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;aAC5C,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;aAC9D,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;aACrF,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;aACrD,MAAM,CACN,CAAC,SAAS,EAAE,EAAE,CAAC,KAAK,CAAC,0BAA0B,KAAK,IAAI,IAAI,mBAAmB,CAAC,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,CAC3G;aACA,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;aAC3E,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC,eAAe,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;aAC/F,IAAI,CAAC,mBAAmB,CAAC;aACzB,GAAG,CAAC,cAAc,CAAC,CAAC;QACtB,OAAO,QAAQ,CAAC;IAAA,CAChB;IAED,KAAK,CAAC,aAAa,CAAC,KAAwB,EAA8B;QACzE,qBAAqB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACtC,MAAM,WAAW,GAAG,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC9C,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC;YAC5C,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,UAAU,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;YAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,eAAe,EAAE,KAAK,CAAC,eAAe;YACtC,0BAA0B,EAAE,KAAK,CAAC,0BAA0B;SAC5D,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,UAAU;aACrB,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,oBAAoB,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;aAC7E,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC;aAC1D,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAC7F,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAAA,CAC5B;IAEO,qBAAqB,CAAC,YAAoB,EAAE,KAAkB,EAAQ;QAC7E,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QACtD,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,YAAY,EAAE,CAAC,CAAC;QACjF,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,YAAY,EAAE,CAAC,CAAC;IAAA,CAC9G;IAEO,gBAAgB,CAAC,KAAkB,EAAE,MAA8B,EAAe;QACzF,OAAO,IAAI,GAAG,CACb,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;aAC5B,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,KAAK,MAAM,IAAI,SAAS,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;aAC1F,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CACpC,CAAC;IAAA,CACF;CACD;AAED,SAAS,gBAAgB,CAAC,KAAkB,EAAQ;IACnD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,QAAQ,CAAC,EAAE;QAAE,OAAO;IACxB,MAAM,IAAI,KAAK,CAAC,iCAAiC,iBAAiB,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAAA,CACvF;AAED,SAAS,qBAAqB,CAAC,QAAwB,EAAQ;IAC9D,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IAClD,IAAI,QAAQ,CAAC,EAAE;QAAE,OAAO;IACxB,IAAI,QAAQ,CAAC,MAAM,KAAK,oBAAoB;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,QAAQ,EAAE,CAAC,CAAC;IACxG,MAAM,IAAI,KAAK,CAAC,gCAAgC,QAAQ,EAAE,CAAC,CAAC;AAAA,CAC5D;AAED,SAAS,gBAAgB,CAAC,SAA0B,EAAQ;IAC3D,IAAI,SAAS,CAAC,aAAa,KAAK,UAAU,IAAI,SAAS,CAAC,aAAa,KAAK,UAAU;QAAE,OAAO;IAC7F,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,IAAI,EAAE,CAAC;IAC9C,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;QAC/F,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;IAChF,CAAC;AAAA,CACD;AAED,SAAS,qBAAqB,CAAC,UAAkB,EAAQ;IACxD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,UAAU,GAAG,CAAC,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;QACtE,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IACjE,CAAC;AAAA,CACD;AAED,SAAS,gBAAgB,CAAC,EAAU,EAAE,KAAa,EAAQ;IAC1D,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,WAAW,KAAK,EAAE,CAAC,CAAC;AAAA,CAChE;AAED,SAAS,mBAAmB,CAAC,QAAgC,EAAE,KAAa,EAAQ;IACnF,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,KAAK,OAAO,CAAC,CAAC;IAC1D,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,KAAK,KAAK,CAAC,CAAC;IAC3G,IAAI,EAAE,IAAI,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,iCAAiC,CAAC,CAAC;AAAA,CAC3E;AAED,SAAS,YAAY,CAAC,OAA8B,EAAE,KAAa,EAAU;IAC5E,MAAM,SAAS,GAAG,OAAO,YAAY,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACpF,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,KAAK,EAAE,CAAC,CAAC;IACvF,OAAO,SAAS,CAAC;AAAA,CACjB;AAED,SAAS,gBAAgB,CAAC,QAAgC,EAAE,OAA0C,EAAW;IAChH,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACvC,OAAO,gBAAgB,CAAC,QAAQ,EAAE,YAAY,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;AAAA,CACpE;AAED,SAAS,sBAAsB,CAC9B,QAAgC,EAChC,eAAkD,EACxC;IACV,IAAI,eAAe,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC,EAAE,KAAK,SAAS,CAAC;IACpE,OAAO,gBAAgB,CAAC,QAAQ,EAAE,YAAY,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC,CAAC;AAAA,CACpF;AAED,SAAS,gBAAgB,CAAC,QAAgC,EAAE,SAAiB,EAAW;IACvF,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IAC1D,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;IAC3G,OAAO,IAAI,IAAI,SAAS,IAAI,SAAS,GAAG,EAAE,CAAC;AAAA,CAC3C;AAED,SAAS,kBAAkB,CAC1B,IAA4B,EAC5B,KAA6B,EACQ;IACrC,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,mBAAmB,CAAC,CAAC;IAC7G,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,sBAAsB,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,KAAK,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,EAAE,oBAAoB,CAAC,CAAC;IACjH,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC5C,IAAI,SAAS,IAAI,WAAW;QAAE,OAAO,SAAS,CAAC;IAC/C,OAAO;QACN,IAAI,EAAE,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE;QACzC,EAAE,EAAE,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS;KAC9E,CAAC;AAAA,CACF;AAED,SAAS,qBAAqB,CAAC,SAA0B,EAAE,oBAAyC,EAAW;IAC9G,OAAO,SAAS,CAAC,UAAU,KAAK,IAAI,IAAI,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;AAAA,CACtF;AAED,SAAS,WAAW,CAAC,IAAqB,EAAE,KAAsB,EAAW;IAC5E,OAAO,CACN,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;QAClC,IAAI,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS;QAClC,IAAI,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS;QAClC,sBAAsB,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,sBAAsB,CAAC,KAAK,CAAC,MAAM,CAAC,CAC5E,CAAC;AAAA,CACF;AAED,SAAS,oBAAoB,CAC5B,SAA0B,EAC1B,KAAa,EACb,WAA8B,EACZ;IAClB,MAAM,UAAU,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC;IACrD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;IACnD,MAAM,aAAa,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7E,MAAM,aAAa,GAAG,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC;IAC/F,MAAM,eAAe,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACnD,MAAM,WAAW,GAChB,eAAe,CAAC,MAAM,GAAG,CAAC,IAAI,mBAAmB,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACnG,OAAO;QACN,SAAS;QACT,KAAK,EAAE,OAAO,CAAC,aAAa,GAAG,WAAW,CAAC;QAC3C,aAAa;KACb,CAAC;AAAA,CACF;AAED,SAAS,sBAAsB,CAAC,SAA0B,EAAU;IACnE,OAAO;QACN,SAAS,CAAC,EAAE;QACZ,SAAS,CAAC,SAAS;QACnB,SAAS,CAAC,SAAS;QACnB,SAAS,CAAC,QAAQ;QAClB,sBAAsB,CAAC,SAAS,CAAC,MAAM,CAAC;KACxC;SACC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;SACjC,IAAI,CAAC,IAAI,CAAC,CAAC;AAAA,CACb;AAED,SAAS,YAAY,CAAC,IAAY,EAAY;IAC7C,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAAA,CACpC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAY;IACzC,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC;AAAA,CAChE;AAED,SAAS,mBAAmB,CAAC,IAAY,EAAU;IAClD,OAAO,IAAI;SACT,OAAO,CAAC,0BAA0B,EAAE,OAAO,CAAC;SAC5C,SAAS,CAAC,MAAM,CAAC;SACjB,WAAW,EAAE,CAAC;AAAA,CAChB;AAED,SAAS,sBAAsB,CAAC,KAAsB,EAAU;IAC/D,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC1F,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC9F,IAAI,iBAAiB,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACxG,MAAM,MAAM,GAA4D,KAAK,CAAC;IAC9E,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;SACjC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC;SAC1C,IAAI,EAAE;SACN,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,sBAAsB,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;IACxF,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAAA,CAChC;AAED,SAAS,iBAAiB,CAAC,KAAsB,EAAuC;IACvF,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAAA,CAC5B;AAED,SAAS,mBAAmB,CAAC,IAAqB,EAAE,KAAsB,EAAU;IACnF,OAAO,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAAA,CACvC;AAED,SAAS,iBAAiB,CAAC,IAAqB,EAAE,KAAsB,EAAU;IACjF,OAAO,CACN,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK;QACxB,KAAK,CAAC,SAAS,CAAC,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU;QACtD,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,CACnD,CAAC;AAAA,CACF;AAED,SAAS,SAAS,CAAC,IAAiB,EAAE,KAAkB,EAAW;IAClE,OAAO,IAAI,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC;AAAA,CAChH;AAED,SAAS,iBAAiB,CAAC,MAAwD,EAAU;IAC5F,IAAI,MAAM,KAAK,sBAAsB;QAAE,OAAO,aAAa,CAAC;IAC5D,IAAI,MAAM,KAAK,kBAAkB;QAAE,OAAO,SAAS,CAAC;IACpD,OAAO,QAAQ,CAAC;AAAA,CAChB;AAED,SAAS,UAAU,CAAC,KAAkB,EAAe;IACpD,OAAO,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;AAAA,CACxF;AAED,SAAS,aAAa,CAAC,QAAgC,EAA0B;IAChF,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC;AAAA,CAChD;AAED,SAAS,eAAe,CAAC,UAAmD,EAAkC;IAC7G,OAAO,UAAU,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC;AAAA,CAClD;AAED,SAAS,eAAe,CAAC,UAA4B,EAAoB;IACxE,OAAO,EAAE,GAAG,UAAU,EAAE,KAAK,EAAE,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;AAAA,CAC9D;AAED,SAAS,WAAW,CAAC,MAAoB,EAAgB;IACxD,OAAO;QACN,GAAG,MAAM;QACT,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC;QAC/B,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;QACzD,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC;QAC1C,eAAe,EAAE,aAAa,CAAC,MAAM,CAAC,eAAe,CAAC;KACtD,CAAC;AAAA,CACF;AAED,SAAS,cAAc,CAAC,SAA0B,EAAmB;IACpE,OAAO;QACN,GAAG,SAAS;QACZ,KAAK,EAAE,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC;QAClC,MAAM,EAAE,cAAc,CAAC,SAAS,CAAC,MAAM,CAAC;QACxC,SAAS,EAAE,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC;QAC7C,eAAe,EAAE,aAAa,CAAC,SAAS,CAAC,eAAe,CAAC;QACzD,UAAU,EAAE,eAAe,CAAC,SAAS,CAAC,UAAU,CAAC;KACjD,CAAC;AAAA,CACF;AAED,SAAS,cAAc,CAAC,KAAsB,EAAmB;IAChE,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QAC5G,OAAO,KAAK,CAAC;IACd,CAAC;IACD,IAAI,iBAAiB,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/E,MAAM,KAAK,GAAoC,EAAE,CAAC;IAClD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;QACxB,IAAI,IAAI,KAAK,SAAS;YAAE,KAAK,CAAC,GAAG,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,KAAK,CAAC;AAAA,CACb;AAED,SAAS,YAAY,CAAC,OAAsB,EAAiB;IAC5D,OAAO;QACN,GAAG,OAAO;QACV,KAAK,EAAE,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC;QAChC,SAAS,EAAE,aAAa,CAAC,OAAO,CAAC,SAAS,CAAC;QAC3C,eAAe,EAAE,aAAa,CAAC,OAAO,CAAC,eAAe,CAAC;QACvD,UAAU,EAAE,eAAe,CAAC,OAAO,CAAC,UAAU,CAAC;KAC/C,CAAC;AAAA,CACF;AAED,SAAS,OAAO,CAAC,KAAa,EAAU;IACvC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC;IACpD,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC;IACzB,OAAO,KAAK,CAAC;AAAA,CACb","sourcesContent":["export type MemoryGenerationStatus = \"active\" | \"archived\";\nexport type MemoryAssertionKind = \"observed\" | \"inferred\" | \"declared\";\nexport type MemoryAssertionStatus = \"active\" | \"superseded\" | \"retracted\";\n\nexport type AllowedMemoryCategory =\n\t| \"decision\"\n\t| \"verified_fact\"\n\t| \"resolved_error\"\n\t| \"user_preference\"\n\t| \"unresolved_task\"\n\t| \"test_evidence\"\n\t| \"build_evidence\";\n\nexport type ForbiddenMemoryCategory = \"raw_conversation\" | \"raw_shell_output\" | \"speculation\" | \"secret\";\nexport type MemoryCategory = AllowedMemoryCategory | ForbiddenMemoryCategory | (string & {});\n\nexport type MemoryJsonValue =\n\t| string\n\t| number\n\t| boolean\n\t| null\n\t| readonly MemoryJsonValue[]\n\t| { readonly [key: string]: MemoryJsonValue | undefined };\n\nexport type MemoryTemporalInstant = string | Date;\n\nexport interface MemoryTemporalInterval {\n\treadonly from: MemoryTemporalInstant;\n\treadonly to?: MemoryTemporalInstant;\n}\n\nexport interface MemoryScope {\n\treadonly workspaceId: string;\n\treadonly repoSha: string;\n\treadonly branch: string;\n}\n\nexport interface MemoryProvenance {\n\treadonly sourceKind: \"compiler\" | \"test\" | \"git\" | \"tool\" | \"user\" | \"document\" | \"llm\" | \"heuristic\";\n\treadonly sourceId: string;\n\treadonly observedAt?: MemoryTemporalInstant;\n\treadonly excerpt?: string;\n}\n\nexport interface MemoryGeneration {\n\treadonly id: string;\n\treadonly scope: MemoryScope;\n\treadonly status: MemoryGenerationStatus;\n\treadonly createdAt: MemoryTemporalInstant;\n\treadonly label?: string;\n}\n\nexport interface MemoryEntity {\n\treadonly id: string;\n\treadonly scope: MemoryScope;\n\treadonly generationId: string;\n\treadonly entityType: string;\n\treadonly name: string;\n\treadonly aliases?: readonly string[];\n\treadonly validTime: MemoryTemporalInterval;\n\treadonly transactionTime: MemoryTemporalInterval;\n}\n\nexport interface MemoryAssertion {\n\treadonly id: string;\n\treadonly scope: MemoryScope;\n\treadonly generationId: string;\n\treadonly subjectId: string;\n\treadonly predicate: string;\n\treadonly object: MemoryJsonValue;\n\treadonly category: MemoryCategory;\n\treadonly assertionKind: MemoryAssertionKind;\n\treadonly status: MemoryAssertionStatus;\n\treadonly confidence: number;\n\treadonly functional?: boolean;\n\treadonly validTime: MemoryTemporalInterval;\n\treadonly transactionTime: MemoryTemporalInterval;\n\treadonly provenance?: readonly MemoryProvenance[];\n}\n\nexport interface MemoryEpisode {\n\treadonly id: string;\n\treadonly scope: MemoryScope;\n\treadonly generationId: string;\n\treadonly category: MemoryCategory;\n\treadonly title: string;\n\treadonly occurredAt: MemoryTemporalInstant;\n\treadonly validTime: MemoryTemporalInterval;\n\treadonly transactionTime: MemoryTemporalInterval;\n\treadonly provenance?: readonly MemoryProvenance[];\n}\n\nexport type MemoryScopeValidationReason = \"eligible\" | \"missing_workspace_id\" | \"missing_repo_sha\" | \"missing_branch\";\nexport type MemoryScopeValidationDecision =\n\t| { readonly ok: true; readonly reason: \"eligible\" }\n\t| { readonly ok: false; readonly reason: Exclude<MemoryScopeValidationReason, \"eligible\"> };\n\nexport type MemoryCategoryValidationReason = \"eligible\" | \"forbidden_category\" | \"unsupported_category\";\nexport type MemoryCategoryValidationDecision =\n\t| { readonly ok: true; readonly reason: \"eligible\" }\n\t| { readonly ok: false; readonly reason: Exclude<MemoryCategoryValidationReason, \"eligible\"> };\n\nexport interface ListMemoryAssertionsInput {\n\treadonly scope: MemoryScope;\n\treadonly categories?: readonly MemoryCategory[];\n\treadonly statuses?: readonly MemoryAssertionStatus[];\n\treadonly validAt?: MemoryTemporalInstant;\n\treadonly transactionAsOf?: MemoryTemporalInstant;\n\treadonly includeInactiveGenerations?: boolean;\n}\n\nexport interface MemorySearchInput {\n\treadonly scope: MemoryScope;\n\treadonly category: MemoryCategory;\n\treadonly query: string;\n\treadonly statuses?: readonly MemoryAssertionStatus[];\n\treadonly validAt?: MemoryTemporalInstant;\n\treadonly transactionAsOf?: MemoryTemporalInstant;\n\treadonly limit?: number;\n\treadonly includeInactiveGenerations?: boolean;\n}\n\nexport interface MemorySearchHit {\n\treadonly assertion: MemoryAssertion;\n\treadonly score: number;\n\treadonly matchedTokens: readonly string[];\n}\n\nexport interface FunctionalConflictOptions {\n\treadonly functionalPredicates?: readonly string[];\n\treadonly statuses?: readonly MemoryAssertionStatus[];\n}\n\nexport interface MemoryAssertionConflict {\n\treadonly subjectId: string;\n\treadonly predicate: string;\n\treadonly assertionIds: readonly [string, string];\n\treadonly objectValues: readonly [MemoryJsonValue, MemoryJsonValue];\n\treadonly validOverlap: MemoryTemporalInterval;\n}\n\nexport interface ConfidenceReinforcementInput {\n\treadonly currentConfidence: number;\n\treadonly evidenceConfidence: number;\n\treadonly weight?: number;\n}\n\nexport interface ContextGraphMemoryStore {\n\tputGeneration(generation: MemoryGeneration): Promise<MemoryGeneration>;\n\tputEntity(entity: MemoryEntity): Promise<MemoryEntity>;\n\tputAssertion(assertion: MemoryAssertion): Promise<MemoryAssertion>;\n\tputEpisode(episode: MemoryEpisode): Promise<MemoryEpisode>;\n\tgetGeneration(id: string): Promise<MemoryGeneration | undefined>;\n\tlistAssertions(input: ListMemoryAssertionsInput): Promise<MemoryAssertion[]>;\n\tmemory_search(input: MemorySearchInput): Promise<MemorySearchHit[]>;\n}\n\nconst ALLOWED_MEMORY_CATEGORIES = new Set<string>([\n\t\"decision\",\n\t\"verified_fact\",\n\t\"resolved_error\",\n\t\"user_preference\",\n\t\"unresolved_task\",\n\t\"test_evidence\",\n\t\"build_evidence\",\n]);\n\nconst FORBIDDEN_MEMORY_CATEGORIES = new Set<string>([\"raw_conversation\", \"raw_shell_output\", \"speculation\", \"secret\"]);\nconst DEFAULT_ASSERTION_STATUSES: readonly MemoryAssertionStatus[] = [\"active\"];\n\nexport function validateMemoryScope(scope: MemoryScope): MemoryScopeValidationDecision {\n\tif (scope.workspaceId.trim().length === 0) return { ok: false, reason: \"missing_workspace_id\" };\n\tif (scope.repoSha.trim().length === 0) return { ok: false, reason: \"missing_repo_sha\" };\n\tif (scope.branch.trim().length === 0) return { ok: false, reason: \"missing_branch\" };\n\treturn { ok: true, reason: \"eligible\" };\n}\n\nexport function validateMemoryCategory(category: MemoryCategory): MemoryCategoryValidationDecision {\n\tconst normalized = category.trim();\n\tif (FORBIDDEN_MEMORY_CATEGORIES.has(normalized)) return { ok: false, reason: \"forbidden_category\" };\n\tif (!ALLOWED_MEMORY_CATEGORIES.has(normalized)) return { ok: false, reason: \"unsupported_category\" };\n\treturn { ok: true, reason: \"eligible\" };\n}\n\nexport function reinforceAssertionConfidence(input: ConfidenceReinforcementInput): number {\n\tconst currentConfidence = clamp01(input.currentConfidence);\n\tconst evidenceConfidence = clamp01(input.evidenceConfidence);\n\tconst weight = clamp01(input.weight ?? 1);\n\treturn clamp01(currentConfidence + (1 - currentConfidence) * evidenceConfidence * weight);\n}\n\nexport function detectFunctionalAssertionConflicts(\n\tassertions: readonly MemoryAssertion[],\n\toptions: FunctionalConflictOptions = {},\n): MemoryAssertionConflict[] {\n\tconst functionalPredicates = new Set(options.functionalPredicates ?? []);\n\tconst statuses = new Set(options.statuses ?? DEFAULT_ASSERTION_STATUSES);\n\tconst candidates = [...assertions]\n\t\t.filter((candidate) => statuses.has(candidate.status) && isFunctionalAssertion(candidate, functionalPredicates))\n\t\t.sort(compareAssertionIds);\n\tconst conflicts: MemoryAssertionConflict[] = [];\n\n\tfor (const [leftIndex, left] of candidates.entries()) {\n\t\tfor (const right of candidates.slice(leftIndex + 1)) {\n\t\t\tif (!canConflict(left, right)) continue;\n\t\t\tconst validOverlap = getIntervalOverlap(left.validTime, right.validTime);\n\t\t\tif (!validOverlap) continue;\n\t\t\tconflicts.push({\n\t\t\t\tsubjectId: left.subjectId,\n\t\t\t\tpredicate: left.predicate,\n\t\t\t\tassertionIds: [left.id, right.id],\n\t\t\t\tobjectValues: [left.object, right.object],\n\t\t\t\tvalidOverlap,\n\t\t\t});\n\t\t}\n\t}\n\n\treturn conflicts.sort(\n\t\t(a, b) =>\n\t\t\ta.assertionIds[0].localeCompare(b.assertionIds[0]) || a.assertionIds[1].localeCompare(b.assertionIds[1]),\n\t);\n}\n\nexport class InMemoryContextGraphMemoryStore implements ContextGraphMemoryStore {\n\tprivate readonly generations = new Map<string, MemoryGeneration>();\n\tprivate readonly entities = new Map<string, MemoryEntity>();\n\tprivate readonly assertions = new Map<string, MemoryAssertion>();\n\tprivate readonly episodes = new Map<string, MemoryEpisode>();\n\n\tasync putGeneration(generation: MemoryGeneration): Promise<MemoryGeneration> {\n\t\tassertValidScope(generation.scope);\n\t\tassertNonEmptyId(generation.id, \"generation id\");\n\t\tparseInstant(generation.createdAt, \"generation createdAt\");\n\t\tconst record = cloneGeneration(generation);\n\t\tthis.generations.set(record.id, record);\n\t\treturn cloneGeneration(record);\n\t}\n\n\tasync putEntity(entity: MemoryEntity): Promise<MemoryEntity> {\n\t\tassertValidScope(entity.scope);\n\t\tassertNonEmptyId(entity.id, \"entity id\");\n\t\tthis.assertGenerationScope(entity.generationId, entity.scope);\n\t\tassertValidInterval(entity.validTime, \"entity validTime\");\n\t\tassertValidInterval(entity.transactionTime, \"entity transactionTime\");\n\t\tconst record = cloneEntity(entity);\n\t\tthis.entities.set(record.id, record);\n\t\treturn cloneEntity(record);\n\t}\n\n\tasync putAssertion(assertion: MemoryAssertion): Promise<MemoryAssertion> {\n\t\tassertValidScope(assertion.scope);\n\t\tassertNonEmptyId(assertion.id, \"assertion id\");\n\t\tassertAllowedCategory(assertion.category);\n\t\tassertValidConfidence(assertion.confidence);\n\t\tassertProvenance(assertion);\n\t\tthis.assertGenerationScope(assertion.generationId, assertion.scope);\n\t\tassertValidInterval(assertion.validTime, \"assertion validTime\");\n\t\tassertValidInterval(assertion.transactionTime, \"assertion transactionTime\");\n\t\tconst record = cloneAssertion(assertion);\n\t\tthis.assertions.set(record.id, record);\n\t\treturn cloneAssertion(record);\n\t}\n\n\tasync putEpisode(episode: MemoryEpisode): Promise<MemoryEpisode> {\n\t\tassertValidScope(episode.scope);\n\t\tassertNonEmptyId(episode.id, \"episode id\");\n\t\tassertAllowedCategory(episode.category);\n\t\tparseInstant(episode.occurredAt, \"episode occurredAt\");\n\t\tthis.assertGenerationScope(episode.generationId, episode.scope);\n\t\tassertValidInterval(episode.validTime, \"episode validTime\");\n\t\tassertValidInterval(episode.transactionTime, \"episode transactionTime\");\n\t\tconst record = cloneEpisode(episode);\n\t\tthis.episodes.set(record.id, record);\n\t\treturn cloneEpisode(record);\n\t}\n\n\tasync getGeneration(id: string): Promise<MemoryGeneration | undefined> {\n\t\tconst generation = this.generations.get(id);\n\t\treturn generation ? cloneGeneration(generation) : undefined;\n\t}\n\n\tasync listAssertions(input: ListMemoryAssertionsInput): Promise<MemoryAssertion[]> {\n\t\tassertValidScope(input.scope);\n\t\tfor (const category of input.categories ?? []) {\n\t\t\tassertAllowedCategory(category);\n\t\t}\n\t\tconst categories = input.categories ? new Set(input.categories) : undefined;\n\t\tconst statuses = new Set(input.statuses ?? DEFAULT_ASSERTION_STATUSES);\n\t\tconst activeGenerationIds = this.getGenerationIds(input.scope, \"active\");\n\t\tconst filtered = [...this.assertions.values()]\n\t\t\t.filter((assertion) => sameScope(assertion.scope, input.scope))\n\t\t\t.filter((assertion) => categories === undefined || categories.has(assertion.category))\n\t\t\t.filter((assertion) => statuses.has(assertion.status))\n\t\t\t.filter(\n\t\t\t\t(assertion) => input.includeInactiveGenerations === true || activeGenerationIds.has(assertion.generationId),\n\t\t\t)\n\t\t\t.filter((assertion) => matchesValidTime(assertion.validTime, input.validAt))\n\t\t\t.filter((assertion) => matchesTransactionTime(assertion.transactionTime, input.transactionAsOf))\n\t\t\t.sort(compareAssertionIds)\n\t\t\t.map(cloneAssertion);\n\t\treturn filtered;\n\t}\n\n\tasync memory_search(input: MemorySearchInput): Promise<MemorySearchHit[]> {\n\t\tassertAllowedCategory(input.category);\n\t\tconst queryTokens = uniqueTokens(input.query);\n\t\tconst assertions = await this.listAssertions({\n\t\t\tscope: input.scope,\n\t\t\tcategories: [input.category],\n\t\t\tstatuses: input.statuses,\n\t\t\tvalidAt: input.validAt,\n\t\t\ttransactionAsOf: input.transactionAsOf,\n\t\t\tincludeInactiveGenerations: input.includeInactiveGenerations,\n\t\t});\n\t\tconst hits = assertions\n\t\t\t.map((assertion) => scoreSearchAssertion(assertion, input.query, queryTokens))\n\t\t\t.filter((hit) => queryTokens.length === 0 || hit.score > 0)\n\t\t\t.sort(compareSearchHits);\n\t\tconst limit = input.limit === undefined ? hits.length : Math.max(0, Math.floor(input.limit));\n\t\treturn hits.slice(0, limit);\n\t}\n\n\tprivate assertGenerationScope(generationId: string, scope: MemoryScope): void {\n\t\tconst generation = this.generations.get(generationId);\n\t\tif (!generation) throw new Error(`memory generation not found: ${generationId}`);\n\t\tif (!sameScope(generation.scope, scope)) throw new Error(`memory generation scope mismatch: ${generationId}`);\n\t}\n\n\tprivate getGenerationIds(scope: MemoryScope, status: MemoryGenerationStatus): Set<string> {\n\t\treturn new Set(\n\t\t\t[...this.generations.values()]\n\t\t\t\t.filter((generation) => generation.status === status && sameScope(generation.scope, scope))\n\t\t\t\t.map((generation) => generation.id),\n\t\t);\n\t}\n}\n\nfunction assertValidScope(scope: MemoryScope): void {\n\tconst decision = validateMemoryScope(scope);\n\tif (decision.ok) return;\n\tthrow new Error(`invalid memory scope: missing ${formatScopeReason(decision.reason)}`);\n}\n\nfunction assertAllowedCategory(category: MemoryCategory): void {\n\tconst decision = validateMemoryCategory(category);\n\tif (decision.ok) return;\n\tif (decision.reason === \"forbidden_category\") throw new Error(`forbidden memory category: ${category}`);\n\tthrow new Error(`unsupported memory category: ${category}`);\n}\n\nfunction assertProvenance(assertion: MemoryAssertion): void {\n\tif (assertion.assertionKind !== \"observed\" && assertion.assertionKind !== \"inferred\") return;\n\tconst provenance = assertion.provenance ?? [];\n\tif (provenance.length === 0 || provenance.some((entry) => entry.sourceId.trim().length === 0)) {\n\t\tthrow new Error(\"provenance is required for observed and inferred assertions\");\n\t}\n}\n\nfunction assertValidConfidence(confidence: number): void {\n\tif (!Number.isFinite(confidence) || confidence < 0 || confidence > 1) {\n\t\tthrow new Error(\"assertion confidence must be between 0 and 1\");\n\t}\n}\n\nfunction assertNonEmptyId(id: string, label: string): void {\n\tif (id.trim().length === 0) throw new Error(`missing ${label}`);\n}\n\nfunction assertValidInterval(interval: MemoryTemporalInterval, label: string): void {\n\tconst from = parseInstant(interval.from, `${label}.from`);\n\tconst to = interval.to === undefined ? Number.POSITIVE_INFINITY : parseInstant(interval.to, `${label}.to`);\n\tif (to <= from) throw new Error(`${label} must have to greater than from`);\n}\n\nfunction parseInstant(instant: MemoryTemporalInstant, label: string): number {\n\tconst timestamp = instant instanceof Date ? instant.getTime() : Date.parse(instant);\n\tif (!Number.isFinite(timestamp)) throw new Error(`invalid temporal instant: ${label}`);\n\treturn timestamp;\n}\n\nfunction matchesValidTime(interval: MemoryTemporalInterval, validAt: MemoryTemporalInstant | undefined): boolean {\n\tif (validAt === undefined) return true;\n\treturn intervalContains(interval, parseInstant(validAt, \"validAt\"));\n}\n\nfunction matchesTransactionTime(\n\tinterval: MemoryTemporalInterval,\n\ttransactionAsOf: MemoryTemporalInstant | undefined,\n): boolean {\n\tif (transactionAsOf === undefined) return interval.to === undefined;\n\treturn intervalContains(interval, parseInstant(transactionAsOf, \"transactionAsOf\"));\n}\n\nfunction intervalContains(interval: MemoryTemporalInterval, timestamp: number): boolean {\n\tconst from = parseInstant(interval.from, \"interval.from\");\n\tconst to = interval.to === undefined ? Number.POSITIVE_INFINITY : parseInstant(interval.to, \"interval.to\");\n\treturn from <= timestamp && timestamp < to;\n}\n\nfunction getIntervalOverlap(\n\tleft: MemoryTemporalInterval,\n\tright: MemoryTemporalInterval,\n): MemoryTemporalInterval | undefined {\n\tconst leftFrom = parseInstant(left.from, \"left validTime.from\");\n\tconst leftTo = left.to === undefined ? Number.POSITIVE_INFINITY : parseInstant(left.to, \"left validTime.to\");\n\tconst rightFrom = parseInstant(right.from, \"right validTime.from\");\n\tconst rightTo = right.to === undefined ? Number.POSITIVE_INFINITY : parseInstant(right.to, \"right validTime.to\");\n\tconst overlapFrom = Math.max(leftFrom, rightFrom);\n\tconst overlapTo = Math.min(leftTo, rightTo);\n\tif (overlapTo <= overlapFrom) return undefined;\n\treturn {\n\t\tfrom: new Date(overlapFrom).toISOString(),\n\t\tto: Number.isFinite(overlapTo) ? new Date(overlapTo).toISOString() : undefined,\n\t};\n}\n\nfunction isFunctionalAssertion(assertion: MemoryAssertion, functionalPredicates: ReadonlySet<string>): boolean {\n\treturn assertion.functional === true || functionalPredicates.has(assertion.predicate);\n}\n\nfunction canConflict(left: MemoryAssertion, right: MemoryAssertion): boolean {\n\treturn (\n\t\tsameScope(left.scope, right.scope) &&\n\t\tleft.subjectId === right.subjectId &&\n\t\tleft.predicate === right.predicate &&\n\t\tcanonicalJsonStringify(left.object) !== canonicalJsonStringify(right.object)\n\t);\n}\n\nfunction scoreSearchAssertion(\n\tassertion: MemoryAssertion,\n\tquery: string,\n\tqueryTokens: readonly string[],\n): MemorySearchHit {\n\tconst searchText = getAssertionSearchText(assertion);\n\tconst searchTokens = new Set(tokenize(searchText));\n\tconst matchedTokens = queryTokens.filter((token) => searchTokens.has(token));\n\tconst coverageScore = queryTokens.length === 0 ? 1 : matchedTokens.length / queryTokens.length;\n\tconst normalizedQuery = normalizeSearchText(query);\n\tconst phraseBonus =\n\t\tnormalizedQuery.length > 0 && normalizeSearchText(searchText).includes(normalizedQuery) ? 0.1 : 0;\n\treturn {\n\t\tassertion,\n\t\tscore: clamp01(coverageScore + phraseBonus),\n\t\tmatchedTokens,\n\t};\n}\n\nfunction getAssertionSearchText(assertion: MemoryAssertion): string {\n\treturn [\n\t\tassertion.id,\n\t\tassertion.subjectId,\n\t\tassertion.predicate,\n\t\tassertion.category,\n\t\tcanonicalJsonStringify(assertion.object),\n\t]\n\t\t.filter((part) => part.length > 0)\n\t\t.join(\"\\n\");\n}\n\nfunction uniqueTokens(text: string): string[] {\n\treturn [...new Set(tokenize(text))];\n}\n\nfunction tokenize(text: string): string[] {\n\treturn normalizeSearchText(text).match(/[\\p{L}\\p{N}]+/gu) ?? [];\n}\n\nfunction normalizeSearchText(text: string): string {\n\treturn text\n\t\t.replace(/([\\p{Ll}\\d])([\\p{Lu}])/gu, \"$1 $2\")\n\t\t.normalize(\"NFKC\")\n\t\t.toLowerCase();\n}\n\nfunction canonicalJsonStringify(value: MemoryJsonValue): string {\n\tif (value === null) return \"null\";\n\tif (typeof value === \"string\" || typeof value === \"boolean\") return JSON.stringify(value);\n\tif (typeof value === \"number\") return Number.isFinite(value) ? JSON.stringify(value) : \"null\";\n\tif (isMemoryJsonArray(value)) return `[${value.map((item) => canonicalJsonStringify(item)).join(\",\")}]`;\n\tconst record: { readonly [key: string]: MemoryJsonValue | undefined } = value;\n\tconst entries = Object.keys(record)\n\t\t.filter((key) => record[key] !== undefined)\n\t\t.sort()\n\t\t.map((key) => `${JSON.stringify(key)}:${canonicalJsonStringify(record[key] ?? null)}`);\n\treturn `{${entries.join(\",\")}}`;\n}\n\nfunction isMemoryJsonArray(value: MemoryJsonValue): value is readonly MemoryJsonValue[] {\n\treturn Array.isArray(value);\n}\n\nfunction compareAssertionIds(left: MemoryAssertion, right: MemoryAssertion): number {\n\treturn left.id.localeCompare(right.id);\n}\n\nfunction compareSearchHits(left: MemorySearchHit, right: MemorySearchHit): number {\n\treturn (\n\t\tright.score - left.score ||\n\t\tright.assertion.confidence - left.assertion.confidence ||\n\t\tleft.assertion.id.localeCompare(right.assertion.id)\n\t);\n}\n\nfunction sameScope(left: MemoryScope, right: MemoryScope): boolean {\n\treturn left.workspaceId === right.workspaceId && left.repoSha === right.repoSha && left.branch === right.branch;\n}\n\nfunction formatScopeReason(reason: Exclude<MemoryScopeValidationReason, \"eligible\">): string {\n\tif (reason === \"missing_workspace_id\") return \"workspaceId\";\n\tif (reason === \"missing_repo_sha\") return \"repoSha\";\n\treturn \"branch\";\n}\n\nfunction cloneScope(scope: MemoryScope): MemoryScope {\n\treturn { workspaceId: scope.workspaceId, repoSha: scope.repoSha, branch: scope.branch };\n}\n\nfunction cloneInterval(interval: MemoryTemporalInterval): MemoryTemporalInterval {\n\treturn { from: interval.from, to: interval.to };\n}\n\nfunction cloneProvenance(provenance: readonly MemoryProvenance[] | undefined): MemoryProvenance[] | undefined {\n\treturn provenance?.map((entry) => ({ ...entry }));\n}\n\nfunction cloneGeneration(generation: MemoryGeneration): MemoryGeneration {\n\treturn { ...generation, scope: cloneScope(generation.scope) };\n}\n\nfunction cloneEntity(entity: MemoryEntity): MemoryEntity {\n\treturn {\n\t\t...entity,\n\t\tscope: cloneScope(entity.scope),\n\t\taliases: entity.aliases ? [...entity.aliases] : undefined,\n\t\tvalidTime: cloneInterval(entity.validTime),\n\t\ttransactionTime: cloneInterval(entity.transactionTime),\n\t};\n}\n\nfunction cloneAssertion(assertion: MemoryAssertion): MemoryAssertion {\n\treturn {\n\t\t...assertion,\n\t\tscope: cloneScope(assertion.scope),\n\t\tobject: cloneJsonValue(assertion.object),\n\t\tvalidTime: cloneInterval(assertion.validTime),\n\t\ttransactionTime: cloneInterval(assertion.transactionTime),\n\t\tprovenance: cloneProvenance(assertion.provenance),\n\t};\n}\n\nfunction cloneJsonValue(value: MemoryJsonValue): MemoryJsonValue {\n\tif (value === null || typeof value === \"string\" || typeof value === \"number\" || typeof value === \"boolean\") {\n\t\treturn value;\n\t}\n\tif (isMemoryJsonArray(value)) return value.map((item) => cloneJsonValue(item));\n\tconst clone: Record<string, MemoryJsonValue> = {};\n\tfor (const key of Object.keys(value)) {\n\t\tconst item = value[key];\n\t\tif (item !== undefined) clone[key] = cloneJsonValue(item);\n\t}\n\treturn clone;\n}\n\nfunction cloneEpisode(episode: MemoryEpisode): MemoryEpisode {\n\treturn {\n\t\t...episode,\n\t\tscope: cloneScope(episode.scope),\n\t\tvalidTime: cloneInterval(episode.validTime),\n\t\ttransactionTime: cloneInterval(episode.transactionTime),\n\t\tprovenance: cloneProvenance(episode.provenance),\n\t};\n}\n\nfunction clamp01(value: number): number {\n\tif (!Number.isFinite(value) || value <= 0) return 0;\n\tif (value >= 1) return 1;\n\treturn value;\n}\n"]}

package/dist/core/context-graph-ontology-generation.d.ts

@@ -1,104 +0,0 @@
-import { type JsonObject } from "./exact-cache-policy.ts";
-export declare const ONTOLOGY_GENERATION_ID_VERSION = "v1";
-export declare const ONTOLOGY_GENERATION_CACHE_KEY_VERSION = "v1";
-export declare const ONTOLOGY_GENERATION_STATUSES: readonly ["draft", "active", "superseded", "failed"];
-export type OntologyGenerationStatus = (typeof ONTOLOGY_GENERATION_STATUSES)[number];
-export type UaGraphFreshnessReason = "fresh" | "metadata_missing" | "schema_mismatch" | "graph_commit_mismatch" | "meta_commit_mismatch" | "branch_mismatch" | "graph_hash_mismatch" | "dirty_covered_paths";
-export interface CurrentRepositoryMetadata {
-    readonly repoSha: string;
-    readonly branch: string;
-    readonly ontologySchemaVersion?: string;
-    readonly schemaVersion?: string;
-    readonly uaGraphSha256?: string;
-    readonly graphSha256?: string;
-}
-export interface UaGraphMetadata {
-    readonly schemaVersion: string;
-    readonly branch: string;
-    readonly graphRepoSha?: string;
-    readonly graphCommitSha?: string;
-    readonly repoSha?: string;
-    readonly metadataRepoSha?: string;
-    readonly metaRepoSha?: string;
-    readonly uaGraphSha256?: string;
-    readonly graphSha256?: string;
-    readonly coveredPaths?: readonly string[];
-}
-export interface UaGraphFreshnessDiagnostic {
-    readonly reason: Exclude<UaGraphFreshnessReason, "fresh">;
-    readonly field: string;
-    readonly expected?: string;
-    readonly actual?: string;
-    readonly dirtyCoveredPaths?: readonly string[];
-}
-export interface UaGraphFreshnessEvaluation {
-    readonly fresh: boolean;
-    readonly reasons: readonly UaGraphFreshnessReason[];
-    readonly diagnostics: readonly UaGraphFreshnessDiagnostic[];
-    readonly dirtyCoveredPaths: readonly string[];
-}
-export interface OntologyGenerationIdentityInput {
-    readonly schemaVersion: string;
-    readonly registryVersion: string;
-    readonly uaGraphSha256: string;
-    readonly workspaceId: string;
-    readonly repositoryId: string;
-    readonly repoSha: string;
-    readonly branch: string;
-}
-export interface OntologyGenerationIdMaterial extends JsonObject {
-    readonly schemaVersion: string;
-    readonly registryVersion: string;
-    readonly uaGraphSha256: string;
-    readonly workspaceId: string;
-    readonly repositoryId: string;
-    readonly repoSha: string;
-    readonly branch: string;
-}
-export interface OntologyGenerationCacheKeyMaterial extends JsonObject {
-    readonly kind: "ontology-generation";
-    readonly version: typeof ONTOLOGY_GENERATION_CACHE_KEY_VERSION;
-    readonly schemaVersion: string;
-    readonly registryVersion: string;
-    readonly generationId: string;
-    readonly workspaceId: string;
-    readonly repositoryId: string;
-    readonly repoSha: string;
-    readonly branch: string;
-    readonly uaGraphSha256: string;
-}
-export interface OntologyGenerationCacheKey {
-    readonly kind: "ontology-generation";
-    readonly version: typeof ONTOLOGY_GENERATION_CACHE_KEY_VERSION;
-    readonly key: string;
-    readonly hash: string;
-    readonly material: OntologyGenerationCacheKeyMaterial;
-}
-export interface OntologyGenerationValidationIssue {
-    readonly code: string;
-    readonly severity: "error" | "warning" | "info";
-    readonly message: string;
-}
-export type OntologyGenerationActivationReason = "eligible" | "stale_source_graph" | "generation_failed" | "generation_superseded" | "validation_errors";
-export type OntologyGenerationActivationDecision = {
-    readonly ok: true;
-    readonly reason: "eligible";
-    readonly nextStatus: "active";
-} | {
-    readonly ok: false;
-    readonly reason: Exclude<OntologyGenerationActivationReason, "eligible">;
-    readonly blockers: readonly string[];
-    readonly diagnostics?: readonly UaGraphFreshnessDiagnostic[] | readonly OntologyGenerationValidationIssue[];
-};
-export interface OntologyGenerationActivationInput {
-    readonly status: OntologyGenerationStatus;
-    readonly freshness: UaGraphFreshnessEvaluation;
-    readonly validationIssues?: readonly OntologyGenerationValidationIssue[];
-}
-export declare function evaluateUaGraphFreshnessFromMetadata(currentMetadata: CurrentRepositoryMetadata, graphMetadata: UaGraphMetadata, dirtyPaths: readonly string[]): UaGraphFreshnessEvaluation;
-export declare function createOntologyGenerationIdMaterial(input: OntologyGenerationIdentityInput): OntologyGenerationIdMaterial;
-export declare function computeOntologyGenerationId(input: OntologyGenerationIdentityInput): string;
-export declare function createOntologyGenerationCacheKeyMaterial(input: OntologyGenerationIdentityInput): OntologyGenerationCacheKeyMaterial;
-export declare function createOntologyGenerationCacheKey(input: OntologyGenerationIdentityInput): OntologyGenerationCacheKey;
-export declare function canActivateOntologyGeneration(input: OntologyGenerationActivationInput): OntologyGenerationActivationDecision;
-//# sourceMappingURL=context-graph-ontology-generation.d.ts.map

package/dist/core/context-graph-ontology-generation.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"context-graph-ontology-generation.d.ts","sourceRoot":"","sources":["../../src/core/context-graph-ontology-generation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAqB,KAAK,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAE7E,eAAO,MAAM,8BAA8B,OAAO,CAAC;AACnD,eAAO,MAAM,qCAAqC,OAAO,CAAC;AAE1D,eAAO,MAAM,4BAA4B,sDAAuD,CAAC;AAEjG,MAAM,MAAM,wBAAwB,GAAG,CAAC,OAAO,4BAA4B,CAAC,CAAC,MAAM,CAAC,CAAC;AAErF,MAAM,MAAM,sBAAsB,GAC/B,OAAO,GACP,kBAAkB,GAClB,iBAAiB,GACjB,uBAAuB,GACvB,sBAAsB,GACtB,iBAAiB,GACjB,qBAAqB,GACrB,qBAAqB,CAAC;AAEzB,MAAM,WAAW,yBAAyB;IACzC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,qBAAqB,CAAC,EAAE,MAAM,CAAC;IACxC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,eAAe;IAC/B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1C;AAED,MAAM,WAAW,0BAA0B;IAC1C,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,sBAAsB,EAAE,OAAO,CAAC,CAAC;IAC1D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/C;AAED,MAAM,WAAW,0BAA0B;IAC1C,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACpD,QAAQ,CAAC,WAAW,EAAE,SAAS,0BAA0B,EAAE,CAAC;IAC5D,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9C;AAED,MAAM,WAAW,+BAA+B;IAC/C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,4BAA6B,SAAQ,UAAU;IAC/D,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,kCAAmC,SAAQ,UAAU;IACrE,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,OAAO,qCAAqC,CAAC;IAC/D,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,0BAA0B;IAC1C,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,OAAO,qCAAqC,CAAC;IAC/D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,kCAAkC,CAAC;CACtD;AAED,MAAM,WAAW,iCAAiC;IACjD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;IAChD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,MAAM,kCAAkC,GAC3C,UAAU,GACV,oBAAoB,GACpB,mBAAmB,GACnB,uBAAuB,GACvB,mBAAmB,CAAC;AAEvB,MAAM,MAAM,oCAAoC,GAC7C;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAA;CAAE,GACjF;IACA,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,kCAAkC,EAAE,UAAU,CAAC,CAAC;IACzE,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,0BAA0B,EAAE,GAAG,SAAS,iCAAiC,EAAE,CAAC;CAC3G,CAAC;AAEL,MAAM,WAAW,iCAAiC;IACjD,QAAQ,CAAC,MAAM,EAAE,wBAAwB,CAAC;IAC1C,QAAQ,CAAC,SAAS,EAAE,0BAA0B,CAAC;IAC/C,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,iCAAiC,EAAE,CAAC;CACzE;AAED,wBAAgB,oCAAoC,CACnD,eAAe,EAAE,yBAAyB,EAC1C,aAAa,EAAE,eAAe,EAC9B,UAAU,EAAE,SAAS,MAAM,EAAE,GAC3B,0BAA0B,CA2D5B;AAED,wBAAgB,kCAAkC,CACjD,KAAK,EAAE,+BAA+B,GACpC,4BAA4B,CAU9B;AAED,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,+BAA+B,GAAG,MAAM,CAE1F;AAED,wBAAgB,wCAAwC,CACvD,KAAK,EAAE,+BAA+B,GACpC,kCAAkC,CAcpC;AAED,wBAAgB,gCAAgC,CAAC,KAAK,EAAE,+BAA+B,GAAG,0BAA0B,CAUnH;AAED,wBAAgB,6BAA6B,CAC5C,KAAK,EAAE,iCAAiC,GACtC,oCAAoC,CAqBtC","sourcesContent":["import { hashCanonicalJson, type JsonObject } from \"./exact-cache-policy.ts\";\n\nexport const ONTOLOGY_GENERATION_ID_VERSION = \"v1\";\nexport const ONTOLOGY_GENERATION_CACHE_KEY_VERSION = \"v1\";\n\nexport const ONTOLOGY_GENERATION_STATUSES = [\"draft\", \"active\", \"superseded\", \"failed\"] as const;\n\nexport type OntologyGenerationStatus = (typeof ONTOLOGY_GENERATION_STATUSES)[number];\n\nexport type UaGraphFreshnessReason =\n\t| \"fresh\"\n\t| \"metadata_missing\"\n\t| \"schema_mismatch\"\n\t| \"graph_commit_mismatch\"\n\t| \"meta_commit_mismatch\"\n\t| \"branch_mismatch\"\n\t| \"graph_hash_mismatch\"\n\t| \"dirty_covered_paths\";\n\nexport interface CurrentRepositoryMetadata {\n\treadonly repoSha: string;\n\treadonly branch: string;\n\treadonly ontologySchemaVersion?: string;\n\treadonly schemaVersion?: string;\n\treadonly uaGraphSha256?: string;\n\treadonly graphSha256?: string;\n}\n\nexport interface UaGraphMetadata {\n\treadonly schemaVersion: string;\n\treadonly branch: string;\n\treadonly graphRepoSha?: string;\n\treadonly graphCommitSha?: string;\n\treadonly repoSha?: string;\n\treadonly metadataRepoSha?: string;\n\treadonly metaRepoSha?: string;\n\treadonly uaGraphSha256?: string;\n\treadonly graphSha256?: string;\n\treadonly coveredPaths?: readonly string[];\n}\n\nexport interface UaGraphFreshnessDiagnostic {\n\treadonly reason: Exclude<UaGraphFreshnessReason, \"fresh\">;\n\treadonly field: string;\n\treadonly expected?: string;\n\treadonly actual?: string;\n\treadonly dirtyCoveredPaths?: readonly string[];\n}\n\nexport interface UaGraphFreshnessEvaluation {\n\treadonly fresh: boolean;\n\treadonly reasons: readonly UaGraphFreshnessReason[];\n\treadonly diagnostics: readonly UaGraphFreshnessDiagnostic[];\n\treadonly dirtyCoveredPaths: readonly string[];\n}\n\nexport interface OntologyGenerationIdentityInput {\n\treadonly schemaVersion: string;\n\treadonly registryVersion: string;\n\treadonly uaGraphSha256: string;\n\treadonly workspaceId: string;\n\treadonly repositoryId: string;\n\treadonly repoSha: string;\n\treadonly branch: string;\n}\n\nexport interface OntologyGenerationIdMaterial extends JsonObject {\n\treadonly schemaVersion: string;\n\treadonly registryVersion: string;\n\treadonly uaGraphSha256: string;\n\treadonly workspaceId: string;\n\treadonly repositoryId: string;\n\treadonly repoSha: string;\n\treadonly branch: string;\n}\n\nexport interface OntologyGenerationCacheKeyMaterial extends JsonObject {\n\treadonly kind: \"ontology-generation\";\n\treadonly version: typeof ONTOLOGY_GENERATION_CACHE_KEY_VERSION;\n\treadonly schemaVersion: string;\n\treadonly registryVersion: string;\n\treadonly generationId: string;\n\treadonly workspaceId: string;\n\treadonly repositoryId: string;\n\treadonly repoSha: string;\n\treadonly branch: string;\n\treadonly uaGraphSha256: string;\n}\n\nexport interface OntologyGenerationCacheKey {\n\treadonly kind: \"ontology-generation\";\n\treadonly version: typeof ONTOLOGY_GENERATION_CACHE_KEY_VERSION;\n\treadonly key: string;\n\treadonly hash: string;\n\treadonly material: OntologyGenerationCacheKeyMaterial;\n}\n\nexport interface OntologyGenerationValidationIssue {\n\treadonly code: string;\n\treadonly severity: \"error\" | \"warning\" | \"info\";\n\treadonly message: string;\n}\n\nexport type OntologyGenerationActivationReason =\n\t| \"eligible\"\n\t| \"stale_source_graph\"\n\t| \"generation_failed\"\n\t| \"generation_superseded\"\n\t| \"validation_errors\";\n\nexport type OntologyGenerationActivationDecision =\n\t| { readonly ok: true; readonly reason: \"eligible\"; readonly nextStatus: \"active\" }\n\t| {\n\t\t\treadonly ok: false;\n\t\t\treadonly reason: Exclude<OntologyGenerationActivationReason, \"eligible\">;\n\t\t\treadonly blockers: readonly string[];\n\t\t\treadonly diagnostics?: readonly UaGraphFreshnessDiagnostic[] | readonly OntologyGenerationValidationIssue[];\n\t  };\n\nexport interface OntologyGenerationActivationInput {\n\treadonly status: OntologyGenerationStatus;\n\treadonly freshness: UaGraphFreshnessEvaluation;\n\treadonly validationIssues?: readonly OntologyGenerationValidationIssue[];\n}\n\nexport function evaluateUaGraphFreshnessFromMetadata(\n\tcurrentMetadata: CurrentRepositoryMetadata,\n\tgraphMetadata: UaGraphMetadata,\n\tdirtyPaths: readonly string[],\n): UaGraphFreshnessEvaluation {\n\tconst diagnostics: UaGraphFreshnessDiagnostic[] = [];\n\n\taddRequiredComparisonDiagnostic(\n\t\tdiagnostics,\n\t\t\"schema_mismatch\",\n\t\t\"schemaVersion\",\n\t\tfirstNonEmptyString(currentMetadata.ontologySchemaVersion, currentMetadata.schemaVersion),\n\t\tgraphMetadata.schemaVersion,\n\t);\n\taddRequiredComparisonDiagnostic(\n\t\tdiagnostics,\n\t\t\"graph_commit_mismatch\",\n\t\t\"graphRepoSha\",\n\t\tcurrentMetadata.repoSha,\n\t\tfirstNonEmptyString(graphMetadata.graphRepoSha, graphMetadata.graphCommitSha, graphMetadata.repoSha),\n\t);\n\taddRequiredComparisonDiagnostic(\n\t\tdiagnostics,\n\t\t\"meta_commit_mismatch\",\n\t\t\"metadataRepoSha\",\n\t\tcurrentMetadata.repoSha,\n\t\tfirstNonEmptyString(graphMetadata.metadataRepoSha, graphMetadata.metaRepoSha, graphMetadata.repoSha),\n\t);\n\taddRequiredComparisonDiagnostic(\n\t\tdiagnostics,\n\t\t\"branch_mismatch\",\n\t\t\"branch\",\n\t\tcurrentMetadata.branch,\n\t\tgraphMetadata.branch,\n\t);\n\taddRequiredComparisonDiagnostic(\n\t\tdiagnostics,\n\t\t\"graph_hash_mismatch\",\n\t\t\"uaGraphSha256\",\n\t\tfirstNonEmptyString(currentMetadata.uaGraphSha256, currentMetadata.graphSha256),\n\t\tfirstNonEmptyString(graphMetadata.uaGraphSha256, graphMetadata.graphSha256),\n\t);\n\n\tconst dirtyCoveredPaths = findDirtyCoveredPaths(graphMetadata.coveredPaths ?? [], dirtyPaths);\n\tif (dirtyCoveredPaths.length > 0) {\n\t\tdiagnostics.push({\n\t\t\treason: \"dirty_covered_paths\",\n\t\t\tfield: \"coveredPaths\",\n\t\t\tdirtyCoveredPaths,\n\t\t\tactual: dirtyCoveredPaths.join(\",\"),\n\t\t});\n\t}\n\n\tif (diagnostics.length === 0) {\n\t\treturn { fresh: true, reasons: [\"fresh\"], diagnostics: [], dirtyCoveredPaths: [] };\n\t}\n\n\treturn {\n\t\tfresh: false,\n\t\treasons: uniqueReasons(diagnostics),\n\t\tdiagnostics,\n\t\tdirtyCoveredPaths,\n\t};\n}\n\nexport function createOntologyGenerationIdMaterial(\n\tinput: OntologyGenerationIdentityInput,\n): OntologyGenerationIdMaterial {\n\treturn {\n\t\tschemaVersion: requireNonEmptyString(\"schemaVersion\", input.schemaVersion),\n\t\tregistryVersion: requireNonEmptyString(\"registryVersion\", input.registryVersion),\n\t\tuaGraphSha256: requireNonEmptyString(\"uaGraphSha256\", input.uaGraphSha256),\n\t\tworkspaceId: requireNonEmptyString(\"workspaceId\", input.workspaceId),\n\t\trepositoryId: requireNonEmptyString(\"repositoryId\", input.repositoryId),\n\t\trepoSha: requireNonEmptyString(\"repoSha\", input.repoSha),\n\t\tbranch: requireNonEmptyString(\"branch\", input.branch),\n\t};\n}\n\nexport function computeOntologyGenerationId(input: OntologyGenerationIdentityInput): string {\n\treturn hashCanonicalJson(createOntologyGenerationIdMaterial(input));\n}\n\nexport function createOntologyGenerationCacheKeyMaterial(\n\tinput: OntologyGenerationIdentityInput,\n): OntologyGenerationCacheKeyMaterial {\n\tconst material = createOntologyGenerationIdMaterial(input);\n\treturn {\n\t\tkind: \"ontology-generation\",\n\t\tversion: ONTOLOGY_GENERATION_CACHE_KEY_VERSION,\n\t\tschemaVersion: material.schemaVersion,\n\t\tregistryVersion: material.registryVersion,\n\t\tgenerationId: computeOntologyGenerationId(input),\n\t\tworkspaceId: material.workspaceId,\n\t\trepositoryId: material.repositoryId,\n\t\trepoSha: material.repoSha,\n\t\tbranch: material.branch,\n\t\tuaGraphSha256: material.uaGraphSha256,\n\t};\n}\n\nexport function createOntologyGenerationCacheKey(input: OntologyGenerationIdentityInput): OntologyGenerationCacheKey {\n\tconst material = createOntologyGenerationCacheKeyMaterial(input);\n\tconst hash = hashCanonicalJson(material);\n\treturn {\n\t\tkind: \"ontology-generation\",\n\t\tversion: ONTOLOGY_GENERATION_CACHE_KEY_VERSION,\n\t\tkey: `ontology-generation:${ONTOLOGY_GENERATION_CACHE_KEY_VERSION}:${hash}`,\n\t\thash,\n\t\tmaterial,\n\t};\n}\n\nexport function canActivateOntologyGeneration(\n\tinput: OntologyGenerationActivationInput,\n): OntologyGenerationActivationDecision {\n\tif (input.status === \"failed\") {\n\t\treturn denyActivation(\"generation_failed\", [\"failed generations are immutable and cannot be activated\"]);\n\t}\n\tif (input.status === \"superseded\") {\n\t\treturn denyActivation(\"generation_superseded\", [\"superseded generations cannot be reactivated\"]);\n\t}\n\tif (!input.freshness.fresh) {\n\t\treturn denyActivation(\"stale_source_graph\", input.freshness.reasons, input.freshness.diagnostics);\n\t}\n\n\tconst errors = (input.validationIssues ?? []).filter((issue) => issue.severity === \"error\");\n\tif (errors.length > 0) {\n\t\treturn denyActivation(\n\t\t\t\"validation_errors\",\n\t\t\terrors.map((issue) => issue.code),\n\t\t\terrors,\n\t\t);\n\t}\n\n\treturn { ok: true, reason: \"eligible\", nextStatus: \"active\" };\n}\n\nfunction addRequiredComparisonDiagnostic(\n\tdiagnostics: UaGraphFreshnessDiagnostic[],\n\treason: Exclude<UaGraphFreshnessReason, \"fresh\" | \"dirty_covered_paths\" | \"metadata_missing\">,\n\tfield: string,\n\texpected: string | undefined,\n\tactual: string | undefined,\n): void {\n\tconst normalizedExpected = normalizeMetadataValue(expected);\n\tconst normalizedActual = normalizeMetadataValue(actual);\n\tif (normalizedExpected === undefined || normalizedActual === undefined) {\n\t\tdiagnostics.push({ reason: \"metadata_missing\", field, expected: normalizedExpected, actual: normalizedActual });\n\t\treturn;\n\t}\n\tif (normalizedExpected !== normalizedActual) {\n\t\tdiagnostics.push({ reason, field, expected: normalizedExpected, actual: normalizedActual });\n\t}\n}\n\nfunction findDirtyCoveredPaths(coveredPaths: readonly string[], dirtyPaths: readonly string[]): readonly string[] {\n\tconst normalizedCoveredPaths = coveredPaths.map(normalizePath).filter((path) => path.length > 0);\n\treturn [\n\t\t...new Set(\n\t\t\tdirtyPaths\n\t\t\t\t.map(normalizePath)\n\t\t\t\t.filter((path) => path.length > 0)\n\t\t\t\t.filter((dirtyPath) => normalizedCoveredPaths.some((coveredPath) => pathsOverlap(coveredPath, dirtyPath))),\n\t\t),\n\t].sort();\n}\n\nfunction pathsOverlap(coveredPath: string, dirtyPath: string): boolean {\n\treturn (\n\t\tdirtyPath === coveredPath || dirtyPath.startsWith(`${coveredPath}/`) || coveredPath.startsWith(`${dirtyPath}/`)\n\t);\n}\n\nfunction uniqueReasons(diagnostics: readonly UaGraphFreshnessDiagnostic[]): readonly UaGraphFreshnessReason[] {\n\treturn [...new Set(diagnostics.map((diagnostic) => diagnostic.reason))];\n}\n\nfunction firstNonEmptyString(...values: readonly (string | undefined)[]): string | undefined {\n\treturn values.find((value) => normalizeMetadataValue(value) !== undefined);\n}\n\nfunction normalizeMetadataValue(value: string | undefined): string | undefined {\n\tif (value === undefined) return undefined;\n\tconst normalized = value.trim();\n\treturn normalized.length === 0 ? undefined : normalized;\n}\n\nfunction normalizePath(path: string): string {\n\treturn path.trim().replace(/\\\\/g, \"/\").replace(/\\/+/g, \"/\").replace(/^\\.\\//, \"\").replace(/\\/$/, \"\");\n}\n\nfunction requireNonEmptyString(name: string, value: string): string {\n\tconst normalized = value.trim();\n\tif (normalized.length === 0) {\n\t\tthrow new TypeError(`${name} must be a non-empty string`);\n\t}\n\treturn normalized;\n}\n\nfunction denyActivation(\n\treason: Exclude<OntologyGenerationActivationReason, \"eligible\">,\n\tblockers: readonly string[],\n\tdiagnostics?: readonly UaGraphFreshnessDiagnostic[] | readonly OntologyGenerationValidationIssue[],\n): OntologyGenerationActivationDecision {\n\treturn diagnostics === undefined ? { ok: false, reason, blockers } : { ok: false, reason, blockers, diagnostics };\n}\n"]}