greplica 0.1.0

package/dist/libs/knowledge-graph/proposal.js

@@ -0,0 +1,135 @@
+export function normalizeProposal(input, lookup) {
+    if (!isRecord(input)) {
+        return input;
+    }
+    const creates = isRecord(input.creates) ? input.creates : {};
+    const components = objectArray(creates.components);
+    const flows = objectArray(creates.flows);
+    const claims = objectArray(creates.claims);
+    const sources = objectArray(creates.sources);
+    const explicitEdges = objectArray(creates.edges);
+    const subjectTypes = new Map();
+    for (const component of components)
+        subjectTypes.set(component.id, "component");
+    for (const flow of flows)
+        subjectTypes.set(flow.id, "flow");
+    for (const claim of claims)
+        subjectTypes.set(claim.id, "claim");
+    for (const source of sources)
+        subjectTypes.set(source.id, "source");
+    const normalizedComponents = components.map(({ contains: _contains, supersedes: _supersedes, ...component }) => component);
+    const normalizedFlows = flows.map(({ contains: _contains, touches: _touches, supersedes: _supersedes, ...flow }) => flow);
+    const normalizedClaims = claims.map(({ about: _about, evidenced_by: _evidencedBy, supersedes: _supersedes, ...claim }) => claim);
+    const edges = [];
+    for (const component of components) {
+        for (const target of asArray(component.contains)) {
+            edges.push(makeEdge("contains", component.id, "component", target, "component"));
+        }
+        for (const target of asArray(component.supersedes)) {
+            edges.push(makeEdge("supersedes", component.id, "component", target, "component"));
+        }
+    }
+    for (const flow of flows) {
+        for (const target of asArray(flow.contains)) {
+            edges.push(makeEdge("contains", flow.id, "flow", target, "flow"));
+        }
+        for (const target of asArray(flow.touches)) {
+            edges.push(makeEdge("touches", flow.id, "flow", target, "component"));
+        }
+        for (const target of asArray(flow.supersedes)) {
+            edges.push(makeEdge("supersedes", flow.id, "flow", target, "flow"));
+        }
+    }
+    for (const claim of claims) {
+        for (const target of asArray(claim.about)) {
+            const targetType = resolveSubjectType(target, subjectTypes, lookup);
+            edges.push(makeEdge("about", claim.id, "claim", target, targetType ?? "component"));
+        }
+        for (const target of asArray(claim.evidenced_by)) {
+            edges.push(makeEdge("evidenced_by", claim.id, "claim", target, "source"));
+        }
+        for (const target of asArray(claim.supersedes)) {
+            edges.push(makeEdge("supersedes", claim.id, "claim", target, "claim"));
+        }
+    }
+    for (const edge of explicitEdges) {
+        if (isCanonicalEdge(edge)) {
+            edges.push(edge);
+            continue;
+        }
+        const fromType = resolveSubjectType(edge.from, subjectTypes, lookup) ?? "component";
+        const toType = resolveSubjectType(edge.to, subjectTypes, lookup) ?? defaultToType(edge.kind);
+        edges.push(makeEdge(edge.kind, edge.from, fromType, edge.to, toType, edge.metadata));
+    }
+    return {
+        title: typeof input.title === "string" ? input.title : "",
+        summary: typeof input.summary === "string" ? input.summary : undefined,
+        creates: {
+            components: normalizedComponents,
+            flows: normalizedFlows,
+            claims: normalizedClaims,
+            sources,
+            edges: dedupeEdges(edges),
+        },
+    };
+}
+function makeEdge(kind, fromId, fromType, toId, toType, metadata) {
+    return {
+        id: edgeId(kind, fromType, fromId, toType, toId),
+        from_id: fromId,
+        from_type: fromType,
+        to_id: toId,
+        to_type: toType,
+        kind,
+        metadata,
+    };
+}
+function edgeId(kind, fromType, fromId, toType, toId) {
+    return `edge_${slug(kind)}_${slug(fromType)}_${slug(fromId)}_${slug(toType)}_${slug(toId)}`;
+}
+function dedupeEdges(edges) {
+    const seen = new Set();
+    const deduped = [];
+    for (const edge of edges) {
+        if (seen.has(edge.id))
+            continue;
+        seen.add(edge.id);
+        deduped.push(edge);
+    }
+    return deduped;
+}
+function resolveSubjectType(id, createdSubjects, lookup) {
+    return createdSubjects.get(id) ?? lookup?.subjectType(id);
+}
+function defaultToType(kind) {
+    switch (kind) {
+        case "about":
+            return "component";
+        case "contains":
+            return "component";
+        case "touches":
+            return "component";
+        case "supersedes":
+            return "component";
+        case "evidenced_by":
+            return "source";
+    }
+}
+function asArray(value) {
+    if (value === undefined)
+        return [];
+    return Array.isArray(value) ? value : [value];
+}
+function objectArray(value) {
+    return Array.isArray(value) ? value : [];
+}
+function isCanonicalEdge(edge) {
+    return "from_id" in edge && "from_type" in edge && "to_id" in edge && "to_type" in edge;
+}
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+function slug(value) {
+    return value.replace(/[^a-zA-Z0-9]+/g, "_").replace(/^_+|_+$/g, "").toLowerCase();
+}
+//# sourceMappingURL=proposal.js.map

package/dist/libs/knowledge-graph/proposal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proposal.js","sourceRoot":"","sources":["../../../libs/knowledge-graph/proposal.ts"],"names":[],"mappings":"AA+DA,MAAM,UAAU,iBAAiB,CAAC,KAAc,EAAE,MAA8B;IAC9E,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,KAA6B,CAAC;IACvC,CAAC;IAED,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7D,MAAM,UAAU,GAAG,WAAW,CAAmB,OAAO,CAAC,UAAU,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,WAAW,CAAc,OAAO,CAAC,KAAK,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,WAAW,CAAe,OAAO,CAAC,MAAM,CAAC,CAAC;IACzD,MAAM,OAAO,GAAG,WAAW,CAAS,OAAO,CAAC,OAAO,CAAC,CAAC;IACrD,MAAM,aAAa,GAAG,WAAW,CAAqB,OAAO,CAAC,KAAK,CAAC,CAAC;IACrE,MAAM,YAAY,GAAG,IAAI,GAAG,EAA2B,CAAC;IAExD,KAAK,MAAM,SAAS,IAAI,UAAU;QAAE,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;IAChF,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAC5D,KAAK,MAAM,KAAK,IAAI,MAAM;QAAE,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IAChE,KAAK,MAAM,MAAM,IAAI,OAAO;QAAE,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;IAEpE,MAAM,oBAAoB,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC;IAC3H,MAAM,eAAe,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;IAC1H,MAAM,gBAAgB,GAAG,MAAM,CAAC,GAAG,CACjC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAC5F,CAAC;IAEF,MAAM,KAAK,GAAW,EAAE,CAAC;IAEzB,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YACjD,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;QACnF,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;YACnD,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,EAAE,SAAS,CAAC,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;QACrF,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5C,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QACpE,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3C,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;QACxE,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAC9C,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1C,MAAM,UAAU,GAAG,kBAAkB,CAAC,MAAM,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;YACpE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,IAAI,WAAW,CAAC,CAAC,CAAC;QACtF,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;YACjD,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC5E,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;YAC/C,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QACzE,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QACjC,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,SAAS;QACX,CAAC;QAED,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,CAAC,IAAI,WAAW,CAAC;QACpF,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,CAAC,EAAE,EAAE,YAAY,EAAE,MAAM,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7F,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IACvF,CAAC;IAED,OAAO;QACL,KAAK,EAAE,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;QACzD,OAAO,EAAE,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;QACtE,OAAO,EAAE;YACP,UAAU,EAAE,oBAAoB;YAChC,KAAK,EAAE,eAAe;YACtB,MAAM,EAAE,gBAAgB;YACxB,OAAO;YACP,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC;SAC1B;KACF,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CACf,IAAc,EACd,MAAc,EACd,QAAyB,EACzB,IAAY,EACZ,MAAuB,EACvB,QAAuB;IAEvB,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC;QAChD,OAAO,EAAE,MAAM;QACf,SAAS,EAAE,QAAQ;QACnB,KAAK,EAAE,IAAI;QACX,OAAO,EAAE,MAAM;QACf,IAAI;QACJ,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,IAAc,EAAE,QAAyB,EAAE,MAAc,EAAE,MAAuB,EAAE,IAAY;IAC9G,OAAO,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AAC9F,CAAC;AAED,SAAS,WAAW,CAAC,KAAa;IAChC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,OAAO,GAAW,EAAE,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,SAAS;QAChC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,kBAAkB,CACzB,EAAU,EACV,eAA6C,EAC7C,MAAyC;IAEzC,OAAO,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,MAAM,EAAE,WAAW,CAAC,EAAE,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,aAAa,CAAC,IAAc;IACnC,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,OAAO;YACV,OAAO,WAAW,CAAC;QACrB,KAAK,UAAU;YACb,OAAO,WAAW,CAAC;QACrB,KAAK,SAAS;YACZ,OAAO,WAAW,CAAC;QACrB,KAAK,YAAY;YACf,OAAO,WAAW,CAAC;QACrB,KAAK,cAAc;YACjB,OAAO,QAAQ,CAAC;IACpB,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CAAC,KAAoC;IACnD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACnC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,WAAW,CAAI,KAAc;IACpC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,KAAa,CAAC,CAAC,CAAC,EAAE,CAAC;AACpD,CAAC;AAED,SAAS,eAAe,CAAC,IAAwB;IAC/C,OAAO,SAAS,IAAI,IAAI,IAAI,WAAW,IAAI,IAAI,IAAI,OAAO,IAAI,IAAI,IAAI,SAAS,IAAI,IAAI,CAAC;AAC1F,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,IAAI,CAAC,KAAa;IACzB,OAAO,KAAK,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;AACpF,CAAC"}

package/dist/libs/knowledge-graph/schema.d.ts

@@ -0,0 +1,32 @@
+export type GraphScopeId = string;
+export type MemoryCommitId = string;
+export type ComponentId = string;
+export type FlowId = string;
+export type ClaimId = string;
+export type EdgeId = string;
+export type SourceId = string;
+export type GraphObjectType = "component" | "flow" | "claim" | "edge" | "source";
+export type MembershipSubjectType = "component" | "flow" | "claim" | "edge";
+export type SubjectIdByType = {
+    component: ComponentId;
+    flow: FlowId;
+    claim: ClaimId;
+    edge: EdgeId;
+    source: SourceId;
+};
+export interface Component {
+    id: ComponentId;
+    name: string;
+    code_anchor?: string;
+}
+export interface Flow {
+    id: FlowId;
+    name: string;
+}
+export type SourceKind = "session";
+export interface Source {
+    id: SourceId;
+    kind: SourceKind;
+    ref: string;
+    title?: string;
+}

package/dist/libs/knowledge-graph/schema.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=schema.js.map

package/dist/libs/knowledge-graph/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../../libs/knowledge-graph/schema.ts"],"names":[],"mappings":""}

package/dist/libs/knowledge-graph/scope.d.ts

@@ -0,0 +1,16 @@
+import type { GraphScopeId, MembershipSubjectType, MemoryCommitId } from "./schema.js";
+export type GraphScopeKind = "main" | "working" | "branch" | "session" | "source";
+export interface GraphScope {
+    id: GraphScopeId;
+    kind: GraphScopeKind;
+    name: string;
+    parent_scope_id?: GraphScopeId;
+    ref?: string;
+    created_at: string;
+}
+export interface GraphMembership {
+    scope_id: GraphScopeId;
+    subject_type: MembershipSubjectType;
+    subject_id: string;
+    memory_commit_id: MemoryCommitId;
+}

package/dist/libs/knowledge-graph/scope.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=scope.js.map

package/dist/libs/knowledge-graph/scope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope.js","sourceRoot":"","sources":["../../../libs/knowledge-graph/scope.ts"],"names":[],"mappings":""}

package/dist/libs/knowledge-graph/service.d.ts

@@ -0,0 +1,54 @@
+import { type ProposalValidationResult } from "./validate-proposal.js";
+import type { Claim } from "./claim.js";
+import type { Edge } from "./edge.js";
+import type { Component, Flow, Source } from "./schema.js";
+import { GraphContextBuilder } from "./graph-context/context-builder.js";
+import { type GraphContextConfig } from "./graph-context/config.js";
+import type { EmbeddingStatus, GraphContextResult } from "./graph-context/types.js";
+import type { SqliteRepository } from "../storage/sqlite/repository.js";
+export type { GraphContextResult } from "./graph-context/types.js";
+export interface RepoRef {
+    repo_root?: string;
+    remote_url?: string;
+    repo_name: string;
+    default_branch: string;
+}
+export interface InitRepoResult {
+    repo_id: string;
+    main_scope_id: string;
+    working_scope_id: string;
+    database_path: string;
+    created: boolean;
+}
+export interface GraphReadResult {
+    components: Component[];
+    flows: Flow[];
+    claims: Claim[];
+    sources: Source[];
+    edges: Edge[];
+}
+export interface ApplyProposalResult {
+    memory_commit_id: string;
+    scope_id: string;
+    embedding_status: EmbeddingStatus;
+    created: {
+        components: number;
+        flows: number;
+        claims: number;
+        sources: number;
+        edges: number;
+    };
+}
+export declare class KnowledgeGraphService {
+    private readonly repository;
+    private readonly contextConfig;
+    private readonly contextBuilder;
+    constructor(repository: SqliteRepository, contextConfig?: GraphContextConfig, contextBuilder?: GraphContextBuilder);
+    initRepo(input: RepoRef): InitRepoResult;
+    readGraph(input: RepoRef): GraphReadResult;
+    contextGraph(input: RepoRef, query: string): Promise<GraphContextResult>;
+    validateProposal(input: RepoRef, proposal: unknown): ProposalValidationResult;
+    applyProposal(input: RepoRef, proposal: unknown): Promise<ApplyProposalResult>;
+    private ensureInitialized;
+}
+export declare function createLocalKnowledgeGraphService(config?: GraphContextConfig): KnowledgeGraphService;

package/dist/libs/knowledge-graph/service.js

@@ -0,0 +1,89 @@
+import { normalizeProposal } from "./proposal.js";
+import { validateProposal } from "./validate-proposal.js";
+import { GraphContextBuilder } from "./graph-context/context-builder.js";
+import { graphContextConfig } from "./graph-context/config.js";
+import { defaultDatabasePath, openDatabase } from "../storage/sqlite/db.js";
+import { SqliteRepository as SqliteKnowledgeGraphRepository } from "../storage/sqlite/repository.js";
+export class KnowledgeGraphService {
+    repository;
+    contextConfig;
+    contextBuilder;
+    constructor(repository, contextConfig = graphContextConfig, contextBuilder = new GraphContextBuilder(repository)) {
+        this.repository = repository;
+        this.contextConfig = contextConfig;
+        this.contextBuilder = contextBuilder;
+    }
+    initRepo(input) {
+        const { repo, created } = this.repository.upsertRepo(input);
+        const main = this.repository.ensureScope({
+            repo_id: repo.id,
+            kind: "main",
+            name: input.default_branch,
+            ref: input.default_branch,
+        });
+        const working = this.repository.ensureScope({
+            repo_id: repo.id,
+            kind: "working",
+            name: "working",
+            parent_scope_id: main.id,
+            ref: "working",
+        });
+        return {
+            repo_id: repo.id,
+            main_scope_id: main.id,
+            working_scope_id: working.id,
+            database_path: defaultDatabasePath(),
+            created,
+        };
+    }
+    readGraph(input) {
+        const initialized = this.ensureInitialized(input);
+        return this.repository.readGraphView(initialized.repo_id);
+    }
+    async contextGraph(input, query) {
+        const initialized = this.ensureInitialized(input);
+        return this.contextBuilder.build(initialized.repo_id, this.repository.readGraphView(initialized.repo_id), query, {
+            config: this.contextConfig,
+            warnOnCreatedEmbeddings: true,
+        });
+    }
+    validateProposal(input, proposal) {
+        this.ensureInitialized(input);
+        return validateProposal(normalizeProposal(proposal, this.repository), this.repository);
+    }
+    async applyProposal(input, proposal) {
+        const normalizedProposal = normalizeProposal(proposal, this.repository);
+        const validation = this.validateProposal(input, normalizedProposal);
+        if (!validation.valid) {
+            throw new Error(`Proposal is invalid:\n${validation.errors.map((error) => `- ${error}`).join("\n")}`);
+        }
+        const initialized = this.ensureInitialized(input);
+        const working = this.repository.requireWorkingScope(initialized.repo_id);
+        const memoryCommit = this.repository.createMemoryCommit({
+            scope_id: working.id,
+            title: normalizedProposal.title,
+            summary: normalizedProposal.summary,
+        });
+        this.repository.createProposalRecords(working.id, memoryCommit.id, normalizedProposal);
+        const embeddingStatus = await this.contextBuilder.ensureForGraph(initialized.repo_id, this.repository.readGraphView(initialized.repo_id), this.contextConfig);
+        return {
+            memory_commit_id: memoryCommit.id,
+            scope_id: working.id,
+            embedding_status: embeddingStatus,
+            created: {
+                components: normalizedProposal.creates.components?.length ?? 0,
+                flows: normalizedProposal.creates.flows?.length ?? 0,
+                claims: normalizedProposal.creates.claims?.length ?? 0,
+                sources: normalizedProposal.creates.sources?.length ?? 0,
+                edges: normalizedProposal.creates.edges?.length ?? 0,
+            },
+        };
+    }
+    ensureInitialized(input) {
+        return this.initRepo(input);
+    }
+}
+export function createLocalKnowledgeGraphService(config = graphContextConfig) {
+    return new KnowledgeGraphService(new SqliteKnowledgeGraphRepository(openDatabase()), config);
+}
+//# sourceMappingURL=service.js.map

package/dist/libs/knowledge-graph/service.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"service.js","sourceRoot":"","sources":["../../../libs/knowledge-graph/service.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,gBAAgB,EAAiC,MAAM,wBAAwB,CAAC;AAIzF,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,kBAAkB,EAA2B,MAAM,2BAA2B,CAAC;AAExF,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAE5E,OAAO,EAAE,gBAAgB,IAAI,8BAA8B,EAAE,MAAM,iCAAiC,CAAC;AAwCrG,MAAM,OAAO,qBAAqB;IAEb;IACA;IACA;IAHnB,YACmB,UAA4B,EAC5B,gBAAoC,kBAAkB,EACtD,iBAAiB,IAAI,mBAAmB,CAAC,UAAU,CAAC;QAFpD,eAAU,GAAV,UAAU,CAAkB;QAC5B,kBAAa,GAAb,aAAa,CAAyC;QACtD,mBAAc,GAAd,cAAc,CAAsC;IACpE,CAAC;IAEJ,QAAQ,CAAC,KAAc;QACrB,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC5D,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC;YACvC,OAAO,EAAE,IAAI,CAAC,EAAE;YAChB,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,KAAK,CAAC,cAAc;YAC1B,GAAG,EAAE,KAAK,CAAC,cAAc;SAC1B,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC;YAC1C,OAAO,EAAE,IAAI,CAAC,EAAE;YAChB,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,SAAS;YACf,eAAe,EAAE,IAAI,CAAC,EAAE;YACxB,GAAG,EAAE,SAAS;SACf,CAAC,CAAC;QAEH,OAAO;YACL,OAAO,EAAE,IAAI,CAAC,EAAE;YAChB,aAAa,EAAE,IAAI,CAAC,EAAE;YACtB,gBAAgB,EAAE,OAAO,CAAC,EAAE;YAC5B,aAAa,EAAE,mBAAmB,EAAE;YACpC,OAAO;SACR,CAAC;IACJ,CAAC;IAED,SAAS,CAAC,KAAc;QACtB,MAAM,WAAW,GAAG,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;QAClD,OAAO,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;IAC5D,CAAC;IAED,KAAK,CAAC,YAAY,CAAC,KAAc,EAAE,KAAa;QAC9C,MAAM,WAAW,GAAG,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;QAClD,OAAO,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE;YAC/G,MAAM,EAAE,IAAI,CAAC,aAAa;YAC1B,uBAAuB,EAAE,IAAI;SAC9B,CAAC,CAAC;IACL,CAAC;IAED,gBAAgB,CAAC,KAAc,EAAE,QAAiB;QAChD,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;QAC9B,OAAO,gBAAgB,CAAC,iBAAiB,CAAC,QAAQ,EAAE,IAAI,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IACzF,CAAC;IAED,KAAK,CAAC,aAAa,CAAC,KAAc,EAAE,QAAiB;QACnD,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,QAAQ,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QACxE,MAAM,UAAU,GAAG,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;QACpE,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;YACtB,MAAM,IAAI,KAAK,CAAC,yBAAyB,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxG,CAAC;QAED,MAAM,WAAW,GAAG,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;QAClD,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,mBAAmB,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;QACzE,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC,kBAAkB,CAAC;YACtD,QAAQ,EAAE,OAAO,CAAC,EAAE;YACpB,KAAK,EAAE,kBAAkB,CAAC,KAAK;YAC/B,OAAO,EAAE,kBAAkB,CAAC,OAAO;SACpC,CAAC,CAAC;QAEH,IAAI,CAAC,UAAU,CAAC,qBAAqB,CAAC,OAAO,CAAC,EAAE,EAAE,YAAY,CAAC,EAAE,EAAE,kBAAkB,CAAC,CAAC;QACvF,MAAM,eAAe,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,cAAc,CAC9D,WAAW,CAAC,OAAO,EACnB,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,WAAW,CAAC,OAAO,CAAC,EAClD,IAAI,CAAC,aAAa,CACnB,CAAC;QAEF,OAAO;YACL,gBAAgB,EAAE,YAAY,CAAC,EAAE;YACjC,QAAQ,EAAE,OAAO,CAAC,EAAE;YACpB,gBAAgB,EAAE,eAAe;YACjC,OAAO,EAAE;gBACP,UAAU,EAAE,kBAAkB,CAAC,OAAO,CAAC,UAAU,EAAE,MAAM,IAAI,CAAC;gBAC9D,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,IAAI,CAAC;gBACpD,MAAM,EAAE,kBAAkB,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC;gBACtD,OAAO,EAAE,kBAAkB,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,IAAI,CAAC;gBACxD,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,IAAI,CAAC;aACrD;SACF,CAAC;IACJ,CAAC;IAEO,iBAAiB,CAAC,KAAc;QACtC,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;CACF;AAED,MAAM,UAAU,gCAAgC,CAAC,SAA6B,kBAAkB;IAC9F,OAAO,IAAI,qBAAqB,CAAC,IAAI,8BAA8B,CAAC,YAAY,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;AAC/F,CAAC"}

package/dist/libs/knowledge-graph/validate-proposal.d.ts

@@ -0,0 +1,9 @@
+import type { GraphObjectType } from "./schema.js";
+export interface ExistingSubjectLookup {
+    subjectExists(type: GraphObjectType, id: string): boolean;
+}
+export interface ProposalValidationResult {
+    valid: boolean;
+    errors: string[];
+}
+export declare function validateProposal(proposal: unknown, existingSubjects?: ExistingSubjectLookup): ProposalValidationResult;

package/dist/libs/knowledge-graph/validate-proposal.js

@@ -0,0 +1,166 @@
+import { isAllowedEdge } from "./edge.js";
+const claimKinds = new Set(["fact", "requirement", "decision", "task", "question", "risk"]);
+const claimTruths = new Set(["code_verified", "source_verified", "unknown"]);
+const claimIntents = new Set(["intended", "accidental", "unknown"]);
+const sourceKinds = new Set(["session"]);
+const edgeKinds = new Set(["about", "contains", "touches", "supersedes", "evidenced_by"]);
+const graphObjectTypes = new Set(["component", "flow", "claim", "edge", "source"]);
+export function validateProposal(proposal, existingSubjects) {
+    const errors = [];
+    if (!isRecord(proposal)) {
+        return { valid: false, errors: ["Proposal must be an object."] };
+    }
+    if (!isNonEmptyString(proposal.title)) {
+        errors.push("Proposal title must be a non-empty string.");
+    }
+    if (proposal.summary !== undefined && typeof proposal.summary !== "string") {
+        errors.push("Proposal summary must be a string when present.");
+    }
+    if (!isRecord(proposal.creates)) {
+        errors.push("Proposal creates must be an object.");
+        return { valid: false, errors };
+    }
+    const typedProposal = proposal;
+    const creates = typedProposal.creates ?? {};
+    const ids = new Map();
+    const components = arrayField(creates, "components", errors);
+    const flows = arrayField(creates, "flows", errors);
+    const claims = arrayField(creates, "claims", errors);
+    const sources = arrayField(creates, "sources", errors);
+    const edges = arrayField(creates, "edges", errors);
+    for (const component of components) {
+        if (!isRecord(component)) {
+            errors.push("Every component must be an object.");
+            continue;
+        }
+        validateSubjectBase("component", component.id, ids, existingSubjects, errors);
+        if (!isNonEmptyString(component.name))
+            errors.push(`Component ${stringId(component.id)} needs a name.`);
+        if (component.code_anchor !== undefined && typeof component.code_anchor !== "string") {
+            errors.push(`Component ${stringId(component.id)} code_anchor must be a string when present.`);
+        }
+    }
+    for (const flow of flows) {
+        if (!isRecord(flow)) {
+            errors.push("Every flow must be an object.");
+            continue;
+        }
+        validateSubjectBase("flow", flow.id, ids, existingSubjects, errors);
+        if (!isNonEmptyString(flow.name))
+            errors.push(`Flow ${stringId(flow.id)} needs a name.`);
+    }
+    for (const claim of claims) {
+        if (!isRecord(claim)) {
+            errors.push("Every claim must be an object.");
+            continue;
+        }
+        validateSubjectBase("claim", claim.id, ids, existingSubjects, errors);
+        if (!claimKinds.has(String(claim.kind)))
+            errors.push(`Claim ${stringId(claim.id)} has invalid kind.`);
+        if (!isNonEmptyString(claim.text))
+            errors.push(`Claim ${stringId(claim.id)} needs text.`);
+        if (!claimTruths.has(String(claim.truth)))
+            errors.push(`Claim ${stringId(claim.id)} has invalid truth.`);
+        if (!claimIntents.has(String(claim.intent)))
+            errors.push(`Claim ${stringId(claim.id)} has invalid intent.`);
+    }
+    for (const source of sources) {
+        if (!isRecord(source)) {
+            errors.push("Every source must be an object.");
+            continue;
+        }
+        validateSubjectBase("source", source.id, ids, existingSubjects, errors);
+        if (!sourceKinds.has(String(source.kind)))
+            errors.push(`Source ${stringId(source.id)} has invalid kind.`);
+        if (!isNonEmptyString(source.ref))
+            errors.push(`Source ${stringId(source.id)} needs ref.`);
+        if (source.title !== undefined && typeof source.title !== "string") {
+            errors.push(`Source ${stringId(source.id)} title must be a string when present.`);
+        }
+    }
+    for (const edge of edges) {
+        if (!isRecord(edge)) {
+            errors.push("Every edge must be an object.");
+            continue;
+        }
+        validateSubjectBase("edge", edge.id, ids, existingSubjects, errors);
+        const fromType = String(edge.from_type);
+        const toType = String(edge.to_type);
+        const kind = String(edge.kind);
+        if (!graphObjectTypes.has(fromType))
+            errors.push(`Edge ${stringId(edge.id)} has invalid from_type.`);
+        if (!graphObjectTypes.has(toType))
+            errors.push(`Edge ${stringId(edge.id)} has invalid to_type.`);
+        if (!edgeKinds.has(kind))
+            errors.push(`Edge ${stringId(edge.id)} has invalid kind.`);
+        if (graphObjectTypes.has(fromType) && !subjectRefExists(fromType, String(edge.from_id), ids, existingSubjects)) {
+            errors.push(`Edge ${stringId(edge.id)} references missing from subject ${fromType}:${String(edge.from_id)}.`);
+        }
+        if (graphObjectTypes.has(toType) && !subjectRefExists(toType, String(edge.to_id), ids, existingSubjects)) {
+            errors.push(`Edge ${stringId(edge.id)} references missing to subject ${toType}:${String(edge.to_id)}.`);
+        }
+        if (graphObjectTypes.has(fromType) &&
+            graphObjectTypes.has(toType) &&
+            edgeKinds.has(kind) &&
+            !isAllowedEdge({ from_type: fromType, to_type: toType, kind })) {
+            errors.push(`Edge ${stringId(edge.id)} has invalid direction for ${kind}.`);
+        }
+        if (edge.metadata !== undefined && !isRecord(edge.metadata)) {
+            errors.push(`Edge ${stringId(edge.id)} metadata must be an object when present.`);
+        }
+        if (kind === "evidenced_by") {
+            validateEvidenceMetadata(edge, errors);
+        }
+    }
+    return { valid: errors.length === 0, errors };
+}
+function validateEvidenceMetadata(edge, errors) {
+    if (!isRecord(edge.metadata)) {
+        errors.push(`Edge ${stringId(edge.id)} evidenced_by edges require metadata.reason.`);
+        return;
+    }
+    const reason = edge.metadata.reason;
+    if (!isNonEmptyString(reason)) {
+        errors.push(`Edge ${stringId(edge.id)} evidenced_by metadata.reason must be a non-empty string.`);
+    }
+}
+function validateSubjectBase(type, id, ids, existingSubjects, errors) {
+    if (!isNonEmptyString(id)) {
+        errors.push(`${type} must have a non-empty id.`);
+        return;
+    }
+    const key = subjectKey(type, id);
+    if (ids.has(key)) {
+        errors.push(`Duplicate id ${key} in proposal.`);
+    }
+    ids.set(key, { type, id });
+    if (existingSubjects?.subjectExists(type, id)) {
+        errors.push(`${key} already exists.`);
+    }
+}
+function subjectRefExists(type, id, ids, existingSubjects) {
+    return ids.has(subjectKey(type, id)) || existingSubjects?.subjectExists(type, id) === true;
+}
+function subjectKey(type, id) {
+    return `${type}:${id}`;
+}
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+function isNonEmptyString(value) {
+    return typeof value === "string" && value.trim().length > 0;
+}
+function arrayField(source, key, errors) {
+    const value = source[key];
+    if (value === undefined)
+        return [];
+    if (!Array.isArray(value)) {
+        errors.push(`creates.${key} must be an array when present.`);
+        return [];
+    }
+    return value;
+}
+function stringId(value) {
+    return typeof value === "string" && value.length > 0 ? value : "<missing>";
+}
+//# sourceMappingURL=validate-proposal.js.map

package/dist/libs/knowledge-graph/validate-proposal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-proposal.js","sourceRoot":"","sources":["../../../libs/knowledge-graph/validate-proposal.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAK1C,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;AAC5F,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,eAAe,EAAE,iBAAiB,EAAE,SAAS,CAAC,CAAC,CAAC;AAC7E,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC,CAAC;AACpE,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;AACzC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC,CAAC;AAC1F,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;AAWnF,MAAM,UAAU,gBAAgB,CAC9B,QAAiB,EACjB,gBAAwC;IAExC,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,6BAA6B,CAAC,EAAE,CAAC;IACnE,CAAC;IAED,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC;IAC5D,CAAC;IAED,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,QAAQ,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QAC3E,MAAM,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAC;IACjE,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;QACnD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAClC,CAAC;IAED,MAAM,aAAa,GAAG,QAAyC,CAAC;IAChE,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,IAAI,EAAE,CAAC;IAC5C,MAAM,GAAG,GAAG,IAAI,GAAG,EAA2B,CAAC;IAC/C,MAAM,UAAU,GAAG,UAAU,CAAC,OAAO,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IACrD,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAEnD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YACzB,MAAM,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;YAClD,SAAS;QACX,CAAC;QACD,mBAAmB,CAAC,WAAW,EAAE,SAAS,CAAC,EAAE,EAAE,GAAG,EAAE,gBAAgB,EAAE,MAAM,CAAC,CAAC;QAC9E,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,aAAa,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC;QACxG,IAAI,SAAS,CAAC,WAAW,KAAK,SAAS,IAAI,OAAO,SAAS,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;YACrF,MAAM,CAAC,IAAI,CAAC,aAAa,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,6CAA6C,CAAC,CAAC;QAChG,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;YAC7C,SAAS;QACX,CAAC;QACD,mBAAmB,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,gBAAgB,EAAE,MAAM,CAAC,CAAC;QACpE,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC;IAC3F,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;YAC9C,SAAS;QACX,CAAC;QACD,mBAAmB,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,gBAAgB,EAAE,MAAM,CAAC,CAAC;QACtE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,SAAS,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC;QACtG,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,SAAS,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC;QAC1F,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,SAAS,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC;QACzG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,SAAS,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,sBAAsB,CAAC,CAAC;IAC9G,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACtB,MAAM,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;YAC/C,SAAS;QACX,CAAC;QACD,mBAAmB,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE,gBAAgB,EAAE,MAAM,CAAC,CAAC;QACxE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,UAAU,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC;QAC1G,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,GAAG,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,UAAU,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC;QAC3F,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACnE,MAAM,CAAC,IAAI,CAAC,UAAU,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,uCAAuC,CAAC,CAAC;QACpF,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;YAC7C,SAAS;QACX,CAAC;QAED,mBAAmB,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,gBAAgB,EAAE,MAAM,CAAC,CAAC;QAEpE,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAoB,CAAC;QAC3D,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAoB,CAAC;QACvD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAa,CAAC;QAE3C,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,CAAC;QACrG,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,CAAC;QACjG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC;QAErF,IAAI,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,gBAAgB,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,gBAAgB,CAAC,EAAE,CAAC;YAC/G,MAAM,CAAC,IAAI,CAAC,QAAQ,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,oCAAoC,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAChH,CAAC;QAED,IAAI,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,gBAAgB,CAAC,EAAE,CAAC;YACzG,MAAM,CAAC,IAAI,CAAC,QAAQ,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,kCAAkC,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC1G,CAAC;QAED,IACE,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC9B,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC;YAC5B,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;YACnB,CAAC,aAAa,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAC9D,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,QAAQ,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,8BAA8B,IAAI,GAAG,CAAC,CAAC;QAC9E,CAAC;QAED,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5D,MAAM,CAAC,IAAI,CAAC,QAAQ,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,2CAA2C,CAAC,CAAC;QACpF,CAAC;QAED,IAAI,IAAI,KAAK,cAAc,EAAE,CAAC;YAC5B,wBAAwB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,wBAAwB,CAAC,IAA6B,EAAE,MAAgB;IAC/E,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7B,MAAM,CAAC,IAAI,CAAC,QAAQ,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,8CAA8C,CAAC,CAAC;QACrF,OAAO;IACT,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;IACpC,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9B,MAAM,CAAC,IAAI,CAAC,QAAQ,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,2DAA2D,CAAC,CAAC;IACpG,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAAqB,EACrB,EAAW,EACX,GAAiC,EACjC,gBAAmD,EACnD,MAAgB;IAEhB,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC,EAAE,CAAC;QAC1B,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,4BAA4B,CAAC,CAAC;QACjD,OAAO;IACT,CAAC;IAED,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACjC,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QACjB,MAAM,CAAC,IAAI,CAAC,gBAAgB,GAAG,eAAe,CAAC,CAAC;IAClD,CAAC;IAED,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IAE3B,IAAI,gBAAgB,EAAE,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC;QAC9C,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,kBAAkB,CAAC,CAAC;IACxC,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAqB,EACrB,EAAU,EACV,GAAiC,EACjC,gBAAmD;IAEnD,OAAO,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,gBAAgB,EAAE,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC;AAC7F,CAAC;AAED,SAAS,UAAU,CAAC,IAAqB,EAAE,EAAU;IACnD,OAAO,GAAG,IAAI,IAAI,EAAE,EAAE,CAAC;AACzB,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc;IACtC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,UAAU,CAAC,MAAc,EAAE,GAAW,EAAE,MAAgB;IAC/D,MAAM,KAAK,GAAI,MAAkC,CAAC,GAAG,CAAC,CAAC;IACvD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACnC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,CAAC,IAAI,CAAC,WAAW,GAAG,iCAAiC,CAAC,CAAC;QAC7D,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC;AAC7E,CAAC"}

package/dist/libs/storage/sqlite/db.d.ts

@@ -0,0 +1,3 @@
+import Database from "better-sqlite3";
+export declare function defaultDatabasePath(): string;
+export declare function openDatabase(path?: string): Database.Database;

package/dist/libs/storage/sqlite/db.js

@@ -0,0 +1,16 @@
+import Database from "better-sqlite3";
+import { mkdirSync } from "node:fs";
+import { dirname, join } from "node:path";
+import { greplicaHome } from "../../config/greplica-home.js";
+import { migrate } from "./migrate.js";
+export function defaultDatabasePath() {
+    return join(greplicaHome(), "graph.db");
+}
+export function openDatabase(path = defaultDatabasePath()) {
+    mkdirSync(dirname(path), { recursive: true });
+    const db = new Database(path);
+    db.pragma("foreign_keys = ON");
+    migrate(db);
+    return db;
+}
+//# sourceMappingURL=db.js.map

package/dist/libs/storage/sqlite/db.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"db.js","sourceRoot":"","sources":["../../../../libs/storage/sqlite/db.ts"],"names":[],"mappings":"AAAA,OAAO,QAAQ,MAAM,gBAAgB,CAAC;AACtC,OAAO,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACpC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAC7D,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAEvC,MAAM,UAAU,mBAAmB;IACjC,OAAO,IAAI,CAAC,YAAY,EAAE,EAAE,UAAU,CAAC,CAAC;AAC1C,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAI,GAAG,mBAAmB,EAAE;IACvD,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9C,MAAM,EAAE,GAAG,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC9B,EAAE,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC;IAC/B,OAAO,CAAC,EAAE,CAAC,CAAC;IACZ,OAAO,EAAE,CAAC;AACZ,CAAC"}

package/dist/libs/storage/sqlite/migrate.d.ts

@@ -0,0 +1,2 @@
+import type Database from "better-sqlite3";
+export declare function migrate(db: Database.Database): void;

package/dist/libs/storage/sqlite/migrate.js

@@ -0,0 +1,56 @@
+import { schemaSql } from "./schema.js";
+export function migrate(db) {
+    db.exec(schemaSql);
+    migrateReposTable(db);
+}
+function migrateReposTable(db) {
+    const columns = db.prepare("PRAGMA table_info(repos)").all();
+    const remoteUrl = columns.find((column) => column.name === "remote_url");
+    const hasRootPath = columns.some((column) => column.name === "root_path");
+    if (hasRootPath && remoteUrl?.notnull === 0)
+        return;
+    const foreignKeys = db.pragma("foreign_keys", { simple: true });
+    const legacyAlterTable = db.pragma("legacy_alter_table", { simple: true });
+    db.pragma("foreign_keys = OFF");
+    db.pragma("legacy_alter_table = ON");
+    try {
+        db.exec(`
+      BEGIN;
+      ALTER TABLE repos RENAME TO repos_old;
+      CREATE TABLE repos (
+        id TEXT PRIMARY KEY,
+        remote_url TEXT UNIQUE,
+        root_path TEXT UNIQUE,
+        repo_name TEXT NOT NULL,
+        default_branch TEXT NOT NULL
+      );
+      INSERT INTO repos (id, remote_url, root_path, repo_name, default_branch)
+      SELECT
+        id,
+        CASE
+          WHEN remote_url LIKE 'folder:%' THEN NULL
+          WHEN remote_url LIKE 'local:%' THEN NULL
+          ELSE remote_url
+        END,
+        CASE
+          WHEN remote_url LIKE 'folder:%' THEN substr(remote_url, 8)
+          WHEN remote_url LIKE 'local:%' THEN substr(remote_url, 7)
+          ELSE NULL
+        END,
+        repo_name,
+        default_branch
+      FROM repos_old;
+      DROP TABLE repos_old;
+      COMMIT;
+    `);
+    }
+    catch (error) {
+        db.exec("ROLLBACK;");
+        throw error;
+    }
+    finally {
+        db.pragma(`legacy_alter_table = ${legacyAlterTable ? "ON" : "OFF"}`);
+        db.pragma(`foreign_keys = ${foreignKeys ? "ON" : "OFF"}`);
+    }
+}
+//# sourceMappingURL=migrate.js.map

package/dist/libs/storage/sqlite/migrate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"migrate.js","sourceRoot":"","sources":["../../../../libs/storage/sqlite/migrate.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAExC,MAAM,UAAU,OAAO,CAAC,EAAqB;IAC3C,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACnB,iBAAiB,CAAC,EAAE,CAAC,CAAC;AACxB,CAAC;AAED,SAAS,iBAAiB,CAAC,EAAqB;IAC9C,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC,GAAG,EAGxD,CAAC;IACH,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;IACzE,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;IAC1E,IAAI,WAAW,IAAI,SAAS,EAAE,OAAO,KAAK,CAAC;QAAE,OAAO;IAEpD,MAAM,WAAW,GAAG,EAAE,CAAC,MAAM,CAAC,cAAc,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAW,CAAC;IAC1E,MAAM,gBAAgB,GAAG,EAAE,CAAC,MAAM,CAAC,oBAAoB,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAW,CAAC;IACrF,EAAE,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC;IAChC,EAAE,CAAC,MAAM,CAAC,yBAAyB,CAAC,CAAC;IACrC,IAAI,CAAC;QACH,EAAE,CAAC,IAAI,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;KA4BP,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACrB,MAAM,KAAK,CAAC;IACd,CAAC;YAAS,CAAC;QACT,EAAE,CAAC,MAAM,CAAC,wBAAwB,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QACrE,EAAE,CAAC,MAAM,CAAC,kBAAkB,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IAC5D,CAAC;AACH,CAAC"}