open-multi-agent-kit 0.80.6 → 0.80.7

package/dist/core/context-graph-identity-resolution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-graph-identity-resolution.js","sourceRoot":"","sources":["../../src/core/context-graph-identity-resolution.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAkIzC,MAAM,CAAC,MAAM,0BAA0B,GAAG,0BAA0B,CAAC;AACrE,MAAM,CAAC,MAAM,6BAA6B,GAAG,6BAA6B,CAAC;AAE3E,MAAM,CAAC,MAAM,oCAAoC,GAA+B;IAC/E,UAAU,EAAE,IAAI;IAChB,cAAc,EAAE,IAAI;CACpB,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAa,EAAU,EAAE,CACtD,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AAE9F,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAuB,EAAa,EAAE,CAAC;IACpE,MAAM,KAAK,GAAG;QACb,gBAAgB;QAChB,aAAa,CAAC,KAAK,CAAC,WAAW,CAAC;QAChC,aAAa,CAAC,KAAK,CAAC,YAAY,CAAC;QACjC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC;QAC3B,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC;QAC7B,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC;QAC/B,aAAa,CAAC,KAAK,CAAC,iBAAiB,CAAC;QACtC,yBAAyB,CAAC,KAAK,CAAC;QAChC,aAAa,CAAC,KAAK,CAAC,mBAAmB,CAAC;KACxC,CAAC;IAEF,OAAO,OAAO,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;AAAA,CAC5C,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAuB,EAAc,EAAE,CAAC;IACtE,MAAM,KAAK,GAAG;QACb,iBAAiB;QACjB,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC;QAC9B,aAAa,CAAC,KAAK,CAAC,iBAAiB,CAAC;QACtC,aAAa,CAAC,KAAK,CAAC,cAAc,CAAC;KACnC,CAAC;IAEF,OAAO,OAAO,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;AAAA,CAC5C,CAAC;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,KAAiC,EAAyB,EAAE,CAAC;IACvG,MAAM,iBAAiB,GAAG,KAAK,CAAC,iBAAiB;QAChD,CAAC,CAAC,SAAS,CAAC,CAAC,gBAAgB,EAAE,WAAW,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChF,CAAC,CAAC,SAAS,CAAC;IAEb,OAAO;QACN,OAAO,EAAE,6BAA6B;QACtC,SAAS,EAAE,8BAA8B;QACzC,QAAQ,EAAE,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC;QACvC,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,iBAAiB;QACjB,cAAc,EAAE,UAAU,CAAC,kBAAkB,EAAE,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC;QACpF,aAAa,EAAE,UAAU,CAAC,mBAAmB,EAAE,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,eAAe,CAAC,CAAC;QAC1F,iBAAiB,EAAE,UAAU,CAAC,uBAAuB,EAAE,KAAK,CAAC,cAAc,CAAC;QAC5E,UAAU,EAAE,kBAAkB,CAAC,gBAAgB,EAAE,KAAK,CAAC,YAAY,CAAC;QACpE,UAAU,EAAE,kBAAkB,CAAC,gBAAgB,EAAE,KAAK,CAAC,YAAY,CAAC;QACpE,eAAe,EAAE,kBAAkB,CAAC,gBAAgB,EAAE,KAAK,CAAC,aAAa,CAAC;QAC1E,OAAO,EAAE,EAAE,GAAG,KAAK,CAAC,OAAO,EAAE;KAC7B,CAAC;AAAA,CACF,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,QAAoC,EAAU,EAAE,CAAC;IAC5F,IAAI,QAAQ,CAAC,kBAAkB;QAAE,OAAO,CAAC,CAAC;IAE1C,MAAM,KAAK,GACV,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,6BAA6B,CAAC;QACtD,GAAG,GAAG,OAAO,CAAC,QAAQ,CAAC,uBAAuB,CAAC;QAC/C,GAAG,GAAG,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC;QACtC,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC;QACvC,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAC;QAC9C,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC;QACvC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEpC,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;AAAA,CACtB,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,2BAA2B,CAAC;AAE9D,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,KAA8B,EAA8B,EAAE,CAAC;IAC9F,MAAM,UAAU,GAAG,EAAE,GAAG,oCAAoC,EAAE,GAAG,KAAK,CAAC,UAAU,EAAE,CAAC;IACpF,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAC/D,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,KAAK,KAAK,CAAC,gBAAgB,CACnD,CAAC;IACF,IAAI,UAAU;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;IAEjG,MAAM,aAAa,GAAG,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CACpD,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,KAAK,KAAK,CAAC,gBAAgB,IAAI,KAAK,CAAC,UAAU,IAAI,UAAU,CAAC,UAAU,CACpG,CAAC;IACF,IAAI,aAAa,EAAE,CAAC;QACnB,OAAO;YACN,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,OAAO;YACf,SAAS,EAAE,aAAa,CAAC,aAAa;YACtC,UAAU,EAAE,OAAO,CAAC,aAAa,CAAC,UAAU,CAAC;SAC7C,CAAC;IACH,CAAC;IAED,MAAM,gBAAgB,GAAG,cAAc,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC1D,MAAM,IAAI,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;IACjC,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,gBAAgB,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;IACpF,IAAI,IAAI,CAAC,KAAK,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QACzC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;IACxG,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,IAAI,UAAU,CAAC,cAAc,EAAE,CAAC;QAC7C,OAAO;YACN,IAAI,EAAE,gBAAgB;YACtB,UAAU,EAAE,gBAAgB,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,IAAI,UAAU,CAAC,cAAc,CAAC;YAChG,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;SAC/B,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,gBAAgB,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;AAAA,CACzE,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAAC,KAAuB,EAAU,EAAE,CAAC;IACtE,MAAM,aAAa,GAAG,aAAa,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IACzD,IAAI,aAAa,IAAI,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC;QAAE,OAAO,aAAa,CAAC;IACzE,OAAO,aAAa,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;AAAA,CAC3C,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,QAAgB,EAAW,EAAE,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;AAEhG,MAAM,SAAS,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAEtG,MAAM,WAAW,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;AAE7E,MAAM,UAAU,GAAG,CAAC,OAAe,EAAE,MAAyB,EAAU,EAAE,CAAC;IAC1E,MAAM,eAAe,GAAG,MAAM;SAC5B,GAAG,CAAC,aAAa,CAAC;SAClB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;SACnC,IAAI,EAAE,CAAC;IACT,OAAO,SAAS,CAAC,CAAC,OAAO,EAAE,GAAG,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;AAAA,CAC3D,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,OAAe,EAAE,MAAqC,EAAsB,EAAE,CAAC;IAC1G,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACrD,OAAO,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AAAA,CACnC,CAAC;AAEF,MAAM,OAAO,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC;IAC1C,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC;IAChD,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC;IACzB,OAAO,KAAK,CAAC;AAAA,CACb,CAAC;AAEF,MAAM,cAAc,GAAG,CAAC,UAAgC,EAAe,EAAE,CACxE,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;AAEpD,MAAM,WAAW,GAAG,CAAC,OAAiC,EAAmB,EAAE,CAC1E,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;AAE5G,MAAM,cAAc,GAAG,CAAC,UAAkD,EAAiC,EAAE,CAC5G,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC","sourcesContent":["import { createHash } from \"node:crypto\";\n\nexport type Sha256 = string;\nexport type WorkspaceId = string;\nexport type RepositoryId = string;\nexport type LogicalId = string;\nexport type RevisionId = string;\n\nexport type SourceKind =\n\t| \"compiler\"\n\t| \"test\"\n\t| \"git\"\n\t| \"tree_sitter\"\n\t| \"understand_anything\"\n\t| \"user\"\n\t| \"document\"\n\t| \"llm\"\n\t| \"heuristic\";\n\nexport interface IdentityKeyInput {\n\treadonly workspaceId: WorkspaceId;\n\treadonly repositoryId: RepositoryId;\n\treadonly branch: string;\n\treadonly classIri: string;\n\treadonly sourceKind: SourceKind;\n\treadonly identityNamespace: string;\n\treadonly qualifiedName: string;\n\treadonly normalizedSignature: string;\n\t/** Retained for callers, but ignored for symbol identity when namespace/name/signature exist. */\n\treadonly filePath?: string;\n}\n\nexport interface RevisionKeyInput {\n\treadonly logicalId: LogicalId;\n\treadonly revisionSourceSha: string;\n\treadonly structuralHash: Sha256;\n}\n\nexport interface StructuralFingerprintMetrics {\n\treadonly astNodeCount: number;\n\treadonly exportedSymbolCount: number;\n\treadonly importCount: number;\n\treadonly relationCount: number;\n\treadonly lineCount?: number;\n}\n\nexport interface StructuralFingerprintInput {\n\treadonly classIri: string;\n\treadonly sourceKind: SourceKind;\n\treadonly normalizedContent?: string;\n\treadonly astTokens: readonly string[];\n\treadonly publicApiTokens: readonly string[];\n\treadonly relationTokens: readonly string[];\n\treadonly importTokens?: readonly string[];\n\treadonly exportTokens?: readonly string[];\n\treadonly summaryTokens?: readonly string[];\n\treadonly metrics: StructuralFingerprintMetrics;\n}\n\nexport interface StructuralFingerprint {\n\treadonly version: \"omk.ontology.fingerprint.v1\";\n\treadonly extractor: \"ua-tree-sitter-normalized-v1\";\n\treadonly classIri: string;\n\treadonly sourceKind: SourceKind;\n\treadonly strictContentHash?: Sha256;\n\treadonly structuralHash: Sha256;\n\treadonly publicApiHash: Sha256;\n\treadonly relationShapeHash: Sha256;\n\treadonly importHash?: Sha256;\n\treadonly exportHash?: Sha256;\n\treadonly textSummaryHash?: Sha256;\n\treadonly metrics: StructuralFingerprintMetrics;\n}\n\nexport interface IdentitySimilarityFeatures {\n\treadonly strictContentEqual: boolean;\n\treadonly structuralEqual: boolean;\n\treadonly publicApiEqual: boolean;\n\treadonly normalizedSignatureSimilarity: number;\n\treadonly relationShapeSimilarity: number;\n\treadonly nameSimilarity: number;\n\treadonly pathSimilarity: number;\n\treadonly parentScopeSimilarity: number;\n\treadonly sizeSimilarity: number;\n\treadonly gitRenameHint: boolean;\n}\n\nexport interface IdentityDecisionThresholds {\n\treadonly autoSameAs: number;\n\treadonly possibleSameAs: number;\n}\n\nexport interface IdentityResolutionCandidate {\n\treadonly logicalId: LogicalId;\n\treadonly score: number;\n}\n\nexport interface IdentityAlias {\n\treadonly fromLogicalId: LogicalId;\n\treadonly toLogicalId: LogicalId;\n\treadonly confidence: number;\n\treadonly relation: \"sameAs\" | \"renamedTo\";\n}\n\nexport interface IdentityResolutionInput {\n\treadonly currentLogicalId: LogicalId;\n\treadonly previousLogicalIds: readonly LogicalId[];\n\treadonly aliases: readonly IdentityAlias[];\n\treadonly candidates: readonly IdentityResolutionCandidate[];\n\treadonly thresholds?: Partial<IdentityDecisionThresholds>;\n}\n\nexport type IdentityResolutionDecision =\n\t| {\n\t\t\treadonly kind: \"sameAs\";\n\t\t\treadonly reason: \"exact\" | \"alias\" | \"merge\";\n\t\t\treadonly logicalId: LogicalId;\n\t\t\treadonly confidence: number;\n\t  }\n\t| {\n\t\t\treadonly kind: \"possibleSameAs\";\n\t\t\treadonly candidates: readonly IdentityResolutionCandidate[];\n\t\t\treadonly confidence: number;\n\t  }\n\t| {\n\t\t\treadonly kind: \"new\";\n\t\t\treadonly logicalId: LogicalId;\n\t\t\treadonly confidence: 0;\n\t  };\n\nexport const IDENTITY_ALGORITHM_VERSION = \"omk.ontology.identity.v1\";\nexport const FINGERPRINT_ALGORITHM_VERSION = \"omk.ontology.fingerprint.v1\";\n\nexport const DEFAULT_IDENTITY_DECISION_THRESHOLDS: IdentityDecisionThresholds = {\n\tautoSameAs: 0.92,\n\tpossibleSameAs: 0.78,\n};\n\nexport const canonicalText = (value: string): string =>\n\tvalue.normalize(\"NFKC\").replace(/\\\\/g, \"/\").replace(/\\s+/g, \" \").replace(/^\\.\\//, \"\").trim();\n\nexport const makeLogicalId = (input: IdentityKeyInput): LogicalId => {\n\tconst tuple = [\n\t\t\"omk.logical.v1\",\n\t\tcanonicalText(input.workspaceId),\n\t\tcanonicalText(input.repositoryId),\n\t\tcanonicalText(input.branch),\n\t\tcanonicalText(input.classIri),\n\t\tcanonicalText(input.sourceKind),\n\t\tcanonicalText(input.identityNamespace),\n\t\tmakeQualifiedIdentityName(input),\n\t\tcanonicalText(input.normalizedSignature),\n\t];\n\n\treturn `log_${sha256Hex(tuple.join(\"\\0\"))}`;\n};\n\nexport const makeRevisionId = (input: RevisionKeyInput): RevisionId => {\n\tconst tuple = [\n\t\t\"omk.revision.v1\",\n\t\tcanonicalText(input.logicalId),\n\t\tcanonicalText(input.revisionSourceSha),\n\t\tcanonicalText(input.structuralHash),\n\t];\n\n\treturn `rev_${sha256Hex(tuple.join(\"\\0\"))}`;\n};\n\nexport const buildStructuralFingerprint = (input: StructuralFingerprintInput): StructuralFingerprint => {\n\tconst strictContentHash = input.normalizedContent\n\t\t? sha256Hex([\"omk.content.v1\", normalizeLf(input.normalizedContent)].join(\"\\0\"))\n\t\t: undefined;\n\n\treturn {\n\t\tversion: FINGERPRINT_ALGORITHM_VERSION,\n\t\textractor: \"ua-tree-sitter-normalized-v1\",\n\t\tclassIri: canonicalText(input.classIri),\n\t\tsourceKind: input.sourceKind,\n\t\tstrictContentHash,\n\t\tstructuralHash: hashTokens(\"omk.structure.v1\", [input.classIri, ...input.astTokens]),\n\t\tpublicApiHash: hashTokens(\"omk.public-api.v1\", [input.classIri, ...input.publicApiTokens]),\n\t\trelationShapeHash: hashTokens(\"omk.relation-shape.v1\", input.relationTokens),\n\t\timportHash: hashOptionalTokens(\"omk.imports.v1\", input.importTokens),\n\t\texportHash: hashOptionalTokens(\"omk.exports.v1\", input.exportTokens),\n\t\ttextSummaryHash: hashOptionalTokens(\"omk.summary.v1\", input.summaryTokens),\n\t\tmetrics: { ...input.metrics },\n\t};\n};\n\nexport const calculateIdentitySimilarity = (features: IdentitySimilarityFeatures): number => {\n\tif (features.strictContentEqual) return 1;\n\n\tconst score =\n\t\t(features.structuralEqual ? 0.35 : 0) +\n\t\t(features.publicApiEqual ? 0.18 : 0) +\n\t\t0.12 * clamp01(features.normalizedSignatureSimilarity) +\n\t\t0.1 * clamp01(features.relationShapeSimilarity) +\n\t\t0.1 * clamp01(features.nameSimilarity) +\n\t\t0.08 * clamp01(features.pathSimilarity) +\n\t\t0.05 * clamp01(features.parentScopeSimilarity) +\n\t\t0.02 * clamp01(features.sizeSimilarity) +\n\t\t(features.gitRenameHint ? 0.1 : 0);\n\n\treturn clamp01(score);\n};\n\nexport const identitySimilarity = calculateIdentitySimilarity;\n\nexport const resolveIdentity = (input: IdentityResolutionInput): IdentityResolutionDecision => {\n\tconst thresholds = { ...DEFAULT_IDENTITY_DECISION_THRESHOLDS, ...input.thresholds };\n\tconst exactMatch = sortLogicalIds(input.previousLogicalIds).find(\n\t\t(logicalId) => logicalId === input.currentLogicalId,\n\t);\n\tif (exactMatch) return { kind: \"sameAs\", reason: \"exact\", logicalId: exactMatch, confidence: 1 };\n\n\tconst acceptedAlias = sortAliases(input.aliases).find(\n\t\t(alias) => alias.toLogicalId === input.currentLogicalId && alias.confidence >= thresholds.autoSameAs,\n\t);\n\tif (acceptedAlias) {\n\t\treturn {\n\t\t\tkind: \"sameAs\",\n\t\t\treason: \"alias\",\n\t\t\tlogicalId: acceptedAlias.fromLogicalId,\n\t\t\tconfidence: clamp01(acceptedAlias.confidence),\n\t\t};\n\t}\n\n\tconst sortedCandidates = sortCandidates(input.candidates);\n\tconst best = sortedCandidates[0];\n\tif (!best) return { kind: \"new\", logicalId: input.currentLogicalId, confidence: 0 };\n\tif (best.score >= thresholds.autoSameAs) {\n\t\treturn { kind: \"sameAs\", reason: \"merge\", logicalId: best.logicalId, confidence: clamp01(best.score) };\n\t}\n\tif (best.score >= thresholds.possibleSameAs) {\n\t\treturn {\n\t\t\tkind: \"possibleSameAs\",\n\t\t\tcandidates: sortedCandidates.filter((candidate) => candidate.score >= thresholds.possibleSameAs),\n\t\t\tconfidence: clamp01(best.score),\n\t\t};\n\t}\n\treturn { kind: \"new\", logicalId: input.currentLogicalId, confidence: 0 };\n};\n\nconst makeQualifiedIdentityName = (input: IdentityKeyInput): string => {\n\tconst qualifiedName = canonicalText(input.qualifiedName);\n\tif (qualifiedName || isSymbolClass(input.classIri)) return qualifiedName;\n\treturn canonicalText(input.filePath ?? \"\");\n};\n\nconst isSymbolClass = (classIri: string): boolean => canonicalText(classIri).endsWith(\"Symbol\");\n\nconst sha256Hex = (value: string): Sha256 => createHash(\"sha256\").update(value, \"utf8\").digest(\"hex\");\n\nconst normalizeLf = (value: string): string => value.replace(/\\r\\n?/g, \"\\n\");\n\nconst hashTokens = (version: string, tokens: readonly string[]): Sha256 => {\n\tconst canonicalTokens = tokens\n\t\t.map(canonicalText)\n\t\t.filter((token) => token.length > 0)\n\t\t.sort();\n\treturn sha256Hex([version, ...canonicalTokens].join(\"\\0\"));\n};\n\nconst hashOptionalTokens = (version: string, tokens: readonly string[] | undefined): Sha256 | undefined => {\n\tif (!tokens || tokens.length === 0) return undefined;\n\treturn hashTokens(version, tokens);\n};\n\nconst clamp01 = (value: number): number => {\n\tif (Number.isNaN(value) || value <= 0) return 0;\n\tif (value >= 1) return 1;\n\treturn value;\n};\n\nconst sortLogicalIds = (logicalIds: readonly LogicalId[]): LogicalId[] =>\n\t[...logicalIds].sort((a, b) => a.localeCompare(b));\n\nconst sortAliases = (aliases: readonly IdentityAlias[]): IdentityAlias[] =>\n\t[...aliases].sort((a, b) => b.confidence - a.confidence || a.fromLogicalId.localeCompare(b.fromLogicalId));\n\nconst sortCandidates = (candidates: readonly IdentityResolutionCandidate[]): IdentityResolutionCandidate[] =>\n\t[...candidates].sort((a, b) => b.score - a.score || a.logicalId.localeCompare(b.logicalId));\n"]}

package/dist/core/context-graph-memory-store.d.ts

@@ -0,0 +1,153 @@
+export type MemoryGenerationStatus = "active" | "archived";
+export type MemoryAssertionKind = "observed" | "inferred" | "declared";
+export type MemoryAssertionStatus = "active" | "superseded" | "retracted";
+export type AllowedMemoryCategory = "decision" | "verified_fact" | "resolved_error" | "user_preference" | "unresolved_task" | "test_evidence" | "build_evidence";
+export type ForbiddenMemoryCategory = "raw_conversation" | "raw_shell_output" | "speculation" | "secret";
+export type MemoryCategory = AllowedMemoryCategory | ForbiddenMemoryCategory | (string & {});
+export type MemoryJsonValue = string | number | boolean | null | readonly MemoryJsonValue[] | {
+    readonly [key: string]: MemoryJsonValue | undefined;
+};
+export type MemoryTemporalInstant = string | Date;
+export interface MemoryTemporalInterval {
+    readonly from: MemoryTemporalInstant;
+    readonly to?: MemoryTemporalInstant;
+}
+export interface MemoryScope {
+    readonly workspaceId: string;
+    readonly repoSha: string;
+    readonly branch: string;
+}
+export interface MemoryProvenance {
+    readonly sourceKind: "compiler" | "test" | "git" | "tool" | "user" | "document" | "llm" | "heuristic";
+    readonly sourceId: string;
+    readonly observedAt?: MemoryTemporalInstant;
+    readonly excerpt?: string;
+}
+export interface MemoryGeneration {
+    readonly id: string;
+    readonly scope: MemoryScope;
+    readonly status: MemoryGenerationStatus;
+    readonly createdAt: MemoryTemporalInstant;
+    readonly label?: string;
+}
+export interface MemoryEntity {
+    readonly id: string;
+    readonly scope: MemoryScope;
+    readonly generationId: string;
+    readonly entityType: string;
+    readonly name: string;
+    readonly aliases?: readonly string[];
+    readonly validTime: MemoryTemporalInterval;
+    readonly transactionTime: MemoryTemporalInterval;
+}
+export interface MemoryAssertion {
+    readonly id: string;
+    readonly scope: MemoryScope;
+    readonly generationId: string;
+    readonly subjectId: string;
+    readonly predicate: string;
+    readonly object: MemoryJsonValue;
+    readonly category: MemoryCategory;
+    readonly assertionKind: MemoryAssertionKind;
+    readonly status: MemoryAssertionStatus;
+    readonly confidence: number;
+    readonly functional?: boolean;
+    readonly validTime: MemoryTemporalInterval;
+    readonly transactionTime: MemoryTemporalInterval;
+    readonly provenance?: readonly MemoryProvenance[];
+}
+export interface MemoryEpisode {
+    readonly id: string;
+    readonly scope: MemoryScope;
+    readonly generationId: string;
+    readonly category: MemoryCategory;
+    readonly title: string;
+    readonly occurredAt: MemoryTemporalInstant;
+    readonly validTime: MemoryTemporalInterval;
+    readonly transactionTime: MemoryTemporalInterval;
+    readonly provenance?: readonly MemoryProvenance[];
+}
+export type MemoryScopeValidationReason = "eligible" | "missing_workspace_id" | "missing_repo_sha" | "missing_branch";
+export type MemoryScopeValidationDecision = {
+    readonly ok: true;
+    readonly reason: "eligible";
+} | {
+    readonly ok: false;
+    readonly reason: Exclude<MemoryScopeValidationReason, "eligible">;
+};
+export type MemoryCategoryValidationReason = "eligible" | "forbidden_category" | "unsupported_category";
+export type MemoryCategoryValidationDecision = {
+    readonly ok: true;
+    readonly reason: "eligible";
+} | {
+    readonly ok: false;
+    readonly reason: Exclude<MemoryCategoryValidationReason, "eligible">;
+};
+export interface ListMemoryAssertionsInput {
+    readonly scope: MemoryScope;
+    readonly categories?: readonly MemoryCategory[];
+    readonly statuses?: readonly MemoryAssertionStatus[];
+    readonly validAt?: MemoryTemporalInstant;
+    readonly transactionAsOf?: MemoryTemporalInstant;
+    readonly includeInactiveGenerations?: boolean;
+}
+export interface MemorySearchInput {
+    readonly scope: MemoryScope;
+    readonly category: MemoryCategory;
+    readonly query: string;
+    readonly statuses?: readonly MemoryAssertionStatus[];
+    readonly validAt?: MemoryTemporalInstant;
+    readonly transactionAsOf?: MemoryTemporalInstant;
+    readonly limit?: number;
+    readonly includeInactiveGenerations?: boolean;
+}
+export interface MemorySearchHit {
+    readonly assertion: MemoryAssertion;
+    readonly score: number;
+    readonly matchedTokens: readonly string[];
+}
+export interface FunctionalConflictOptions {
+    readonly functionalPredicates?: readonly string[];
+    readonly statuses?: readonly MemoryAssertionStatus[];
+}
+export interface MemoryAssertionConflict {
+    readonly subjectId: string;
+    readonly predicate: string;
+    readonly assertionIds: readonly [string, string];
+    readonly objectValues: readonly [MemoryJsonValue, MemoryJsonValue];
+    readonly validOverlap: MemoryTemporalInterval;
+}
+export interface ConfidenceReinforcementInput {
+    readonly currentConfidence: number;
+    readonly evidenceConfidence: number;
+    readonly weight?: number;
+}
+export interface ContextGraphMemoryStore {
+    putGeneration(generation: MemoryGeneration): Promise<MemoryGeneration>;
+    putEntity(entity: MemoryEntity): Promise<MemoryEntity>;
+    putAssertion(assertion: MemoryAssertion): Promise<MemoryAssertion>;
+    putEpisode(episode: MemoryEpisode): Promise<MemoryEpisode>;
+    getGeneration(id: string): Promise<MemoryGeneration | undefined>;
+    listAssertions(input: ListMemoryAssertionsInput): Promise<MemoryAssertion[]>;
+    memory_search(input: MemorySearchInput): Promise<MemorySearchHit[]>;
+}
+export declare function validateMemoryScope(scope: MemoryScope): MemoryScopeValidationDecision;
+export declare function validateMemoryCategory(category: MemoryCategory): MemoryCategoryValidationDecision;
+export declare function reinforceAssertionConfidence(input: ConfidenceReinforcementInput): number;
+export declare function detectFunctionalAssertionConflicts(assertions: readonly MemoryAssertion[], options?: FunctionalConflictOptions): MemoryAssertionConflict[];
+export declare class InMemoryContextGraphMemoryStore implements ContextGraphMemoryStore {
+    private readonly generations;
+    private readonly entities;
+    private readonly assertions;
+    private readonly episodes;
+    putGeneration(generation: MemoryGeneration): Promise<MemoryGeneration>;
+    putEntity(entity: MemoryEntity): Promise<MemoryEntity>;
+    putAssertion(assertion: MemoryAssertion): Promise<MemoryAssertion>;
+    putEpisode(episode: MemoryEpisode): Promise<MemoryEpisode>;
+    getGeneration(id: string): Promise<MemoryGeneration | undefined>;
+    listAssertions(input: ListMemoryAssertionsInput): Promise<MemoryAssertion[]>;
+    memory_search(input: MemorySearchInput): Promise<MemorySearchHit[]>;
+    private assertGenerationScope;
+    private getGenerationIds;
+}
+//# sourceMappingURL=context-graph-memory-store.d.ts.map

package/dist/core/context-graph-memory-store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-graph-memory-store.d.ts","sourceRoot":"","sources":["../../src/core/context-graph-memory-store.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,sBAAsB,GAAG,QAAQ,GAAG,UAAU,CAAC;AAC3D,MAAM,MAAM,mBAAmB,GAAG,UAAU,GAAG,UAAU,GAAG,UAAU,CAAC;AACvE,MAAM,MAAM,qBAAqB,GAAG,QAAQ,GAAG,YAAY,GAAG,WAAW,CAAC;AAE1E,MAAM,MAAM,qBAAqB,GAC9B,UAAU,GACV,eAAe,GACf,gBAAgB,GAChB,iBAAiB,GACjB,iBAAiB,GACjB,eAAe,GACf,gBAAgB,CAAC;AAEpB,MAAM,MAAM,uBAAuB,GAAG,kBAAkB,GAAG,kBAAkB,GAAG,aAAa,GAAG,QAAQ,CAAC;AACzG,MAAM,MAAM,cAAc,GAAG,qBAAqB,GAAG,uBAAuB,GAAG,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC;AAE7F,MAAM,MAAM,eAAe,GACxB,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,SAAS,eAAe,EAAE,GAC1B;IAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,eAAe,GAAG,SAAS,CAAA;CAAE,CAAC;AAE3D,MAAM,MAAM,qBAAqB,GAAG,MAAM,GAAG,IAAI,CAAC;AAElD,MAAM,WAAW,sBAAsB;IACtC,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACrC,QAAQ,CAAC,EAAE,CAAC,EAAE,qBAAqB,CAAC;CACpC;AAED,MAAM,WAAW,WAAW;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,gBAAgB;IAChC,QAAQ,CAAC,UAAU,EAAE,UAAU,GAAG,MAAM,GAAG,KAAK,GAAG,MAAM,GAAG,MAAM,GAAG,UAAU,GAAG,KAAK,GAAG,WAAW,CAAC;IACtG,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,CAAC,EAAE,qBAAqB,CAAC;IAC5C,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,gBAAgB;IAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC;IACxC,QAAQ,CAAC,SAAS,EAAE,qBAAqB,CAAC;IAC1C,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,sBAAsB,CAAC;IAC3C,QAAQ,CAAC,eAAe,EAAE,sBAAsB,CAAC;CACjD;AAED,MAAM,WAAW,eAAe;IAC/B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,aAAa,EAAE,mBAAmB,CAAC;IAC5C,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,sBAAsB,CAAC;IAC3C,QAAQ,CAAC,eAAe,EAAE,sBAAsB,CAAC;IACjD,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;CAClD;AAED,MAAM,WAAW,aAAa;IAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;IAC3C,QAAQ,CAAC,SAAS,EAAE,sBAAsB,CAAC;IAC3C,QAAQ,CAAC,eAAe,EAAE,sBAAsB,CAAC;IACjD,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;CAClD;AAED,MAAM,MAAM,2BAA2B,GAAG,UAAU,GAAG,sBAAsB,GAAG,kBAAkB,GAAG,gBAAgB,CAAC;AACtH,MAAM,MAAM,6BAA6B,GACtC;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,2BAA2B,EAAE,UAAU,CAAC,CAAA;CAAE,CAAC;AAE7F,MAAM,MAAM,8BAA8B,GAAG,UAAU,GAAG,oBAAoB,GAAG,sBAAsB,CAAC;AACxG,MAAM,MAAM,gCAAgC,GACzC;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,8BAA8B,EAAE,UAAU,CAAC,CAAA;CAAE,CAAC;AAEhG,MAAM,WAAW,yBAAyB;IACzC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IAChD,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACrD,QAAQ,CAAC,OAAO,CAAC,EAAE,qBAAqB,CAAC;IACzC,QAAQ,CAAC,eAAe,CAAC,EAAE,qBAAqB,CAAC;IACjD,QAAQ,CAAC,0BAA0B,CAAC,EAAE,OAAO,CAAC;CAC9C;AAED,MAAM,WAAW,iBAAiB;IACjC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACrD,QAAQ,CAAC,OAAO,CAAC,EAAE,qBAAqB,CAAC;IACzC,QAAQ,CAAC,eAAe,CAAC,EAAE,qBAAqB,CAAC;IACjD,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,0BAA0B,CAAC,EAAE,OAAO,CAAC;CAC9C;AAED,MAAM,WAAW,eAAe;IAC/B,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1C;AAED,MAAM,WAAW,yBAAyB;IACzC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClD,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,qBAAqB,EAAE,CAAC;CACrD;AAED,MAAM,WAAW,uBAAuB;IACvC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjD,QAAQ,CAAC,YAAY,EAAE,SAAS,CAAC,eAAe,EAAE,eAAe,CAAC,CAAC;IACnE,QAAQ,CAAC,YAAY,EAAE,sBAAsB,CAAC;CAC9C;AAED,MAAM,WAAW,4BAA4B;IAC5C,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,uBAAuB;IACvC,aAAa,CAAC,UAAU,EAAE,gBAAgB,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;IACvE,SAAS,CAAC,MAAM,EAAE,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IACvD,YAAY,CAAC,SAAS,EAAE,eAAe,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;IACnE,UAAU,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAC3D,aAAa,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,GAAG,SAAS,CAAC,CAAC;IACjE,cAAc,CAAC,KAAK,EAAE,yBAAyB,GAAG,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC;IAC7E,aAAa,CAAC,KAAK,EAAE,iBAAiB,GAAG,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC;CACpE;AAeD,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,WAAW,GAAG,6BAA6B,CAKrF;AAED,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,cAAc,GAAG,gCAAgC,CAKjG;AAED,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,4BAA4B,GAAG,MAAM,CAKxF;AAED,wBAAgB,kCAAkC,CACjD,UAAU,EAAE,SAAS,eAAe,EAAE,EACtC,OAAO,GAAE,yBAA8B,GACrC,uBAAuB,EAAE,CA2B3B;AAED,qBAAa,+BAAgC,YAAW,uBAAuB;IAC9E,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAuC;IACnE,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAmC;IAC5D,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAsC;IACjE,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAoC;IAEvD,aAAa,CAAC,UAAU,EAAE,gBAAgB,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAO3E;IAEK,SAAS,CAAC,MAAM,EAAE,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC,CAS3D;IAEK,YAAY,CAAC,SAAS,EAAE,eAAe,GAAG,OAAO,CAAC,eAAe,CAAC,CAYvE;IAEK,UAAU,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,aAAa,CAAC,CAW/D;IAEK,aAAa,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,GAAG,SAAS,CAAC,CAGrE;IAEK,cAAc,CAAC,KAAK,EAAE,yBAAyB,GAAG,OAAO,CAAC,eAAe,EAAE,CAAC,CAoBjF;IAEK,aAAa,CAAC,KAAK,EAAE,iBAAiB,GAAG,OAAO,CAAC,eAAe,EAAE,CAAC,CAiBxE;IAED,OAAO,CAAC,qBAAqB;IAM7B,OAAO,CAAC,gBAAgB;CAOxB","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-memory-store.js

@@ -0,0 +1,377 @@
+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