trellis 2.1.7 → 2.1.9

package/dist/core/ontology/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/core/ontology/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAMlD,MAAM,MAAM,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,GAAG,KAAK,GAAG,KAAK,CAAC;AAEhF,MAAM,WAAW,YAAY;IAC3B,iCAAiC;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,2BAA2B;IAC3B,IAAI,EAAE,QAAQ,CAAC;IACf,kCAAkC;IAClC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,6DAA6D;IAC7D,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,yDAAyD;IACzD,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,qCAAqC;IACrC,OAAO,CAAC,EAAE,IAAI,CAAC;IACf,wCAAwC;IACxC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC;IACd,uCAAuC;IACvC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,+DAA+D;IAC/D,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,+DAA+D;IAC/D,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,sEAAsE;IACtE,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACrB;AAMD,MAAM,WAAW,WAAW;IAC1B,0CAA0C;IAC1C,IAAI,EAAE,MAAM,CAAC;IACb,kCAAkC;IAClC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,yDAAyD;IACzD,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,wDAAwD;IACxD,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,mEAAmE;IACnE,WAAW,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC;IAC7B,yCAAyC;IACzC,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,0DAA0D;IAC1D,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAMD,MAAM,WAAW,SAAS;IACxB,0DAA0D;IAC1D,IAAI,EAAE,MAAM,CAAC;IACb,kCAAkC;IAClC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,kDAAkD;IAClD,UAAU,EAAE,YAAY,EAAE,CAAC;IAC3B,8EAA8E;IAC9E,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,4CAA4C;IAC5C,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAMD,MAAM,WAAW,cAAc;IAC7B,2EAA2E;IAC3E,EAAE,EAAE,MAAM,CAAC;IACX,2BAA2B;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,wBAAwB;IACxB,OAAO,EAAE,MAAM,CAAC;IAChB,kCAAkC;IAClC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,+BAA+B;IAC/B,QAAQ,EAAE,SAAS,EAAE,CAAC;IACtB,4BAA4B;IAC5B,SAAS,EAAE,WAAW,EAAE,CAAC;CAC1B;AAMD,MAAM,WAAW,eAAe;IAC9B,wCAAwC;IACxC,QAAQ,EAAE,MAAM,CAAC;IACjB,mBAAmB;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,0CAA0C;IAC1C,KAAK,EAAE,MAAM,CAAC;IACd,qBAAqB;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,8DAA8D;IAC9D,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;CAC/B;AAED,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B,QAAQ,EAAE,eAAe,EAAE,CAAC;CAC7B"}

package/dist/core/ontology/validator.d.ts

@@ -0,0 +1,34 @@
+/**
+ * Ontology Validation — Schema enforcement for graph mutations.
+ *
+ * Provides both standalone validation (check existing entities against schemas)
+ * and a kernel middleware that rejects mutations violating ontology constraints.
+ *
+ * @module trellis/core/ontology
+ */
+import type { EAVStore } from '../store/eav-store.js';
+import type { KernelMiddleware } from '../kernel/middleware.js';
+import type { OntologyRegistry } from './registry.js';
+import type { ValidationResult } from './types.js';
+/**
+ * Validate a single entity against the ontology registry.
+ */
+export declare function validateEntity(entityId: string, store: EAVStore, registry: OntologyRegistry): ValidationResult;
+/**
+ * Validate all entities in the store against the ontology registry.
+ */
+export declare function validateStore(store: EAVStore, registry: OntologyRegistry): ValidationResult;
+/**
+ * Creates a kernel middleware that validates mutations against the ontology.
+ *
+ * - On `addFacts`: validates that new facts conform to attribute definitions
+ * - On `addLinks`: validates that links conform to relation definitions
+ * - Blocks operations that would create invalid data (throws on error)
+ *
+ * @param registry The ontology registry to validate against
+ * @param strict If true, unknown entity types cause errors (default: false = warnings only)
+ */
+export declare function createValidationMiddleware(registry: OntologyRegistry, options?: {
+    strict?: boolean;
+}): KernelMiddleware;
+//# sourceMappingURL=validator.d.ts.map

package/dist/core/ontology/validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../../../src/core/ontology/validator.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAoB,MAAM,uBAAuB,CAAC;AAExE,OAAO,KAAK,EAAE,gBAAgB,EAAuC,MAAM,yBAAyB,CAAC;AACrG,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,KAAK,EAKV,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAMpB;;GAEG;AACH,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,QAAQ,EACf,QAAQ,EAAE,gBAAgB,GACzB,gBAAgB,CAoMlB;AAED;;GAEG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,QAAQ,EACf,QAAQ,EAAE,gBAAgB,GACzB,gBAAgB,CAkBlB;AAsCD;;;;;;;;;GASG;AACH,wBAAgB,0BAA0B,CACxC,QAAQ,EAAE,gBAAgB,EAC1B,OAAO,CAAC,EAAE;IAAE,MAAM,CAAC,EAAE,OAAO,CAAA;CAAE,GAC7B,gBAAgB,CA4ElB"}

package/dist/core/persist/backend.d.ts

@@ -0,0 +1,60 @@
+/**
+ * Kernel persistence backend types.
+ * Inlined from trellis-core for single-package publish.
+ *
+ * @module trellis/core
+ */
+import type { Fact, Link } from '../store/eav-store.js';
+export type KernelOpKind = 'addFacts' | 'addLinks' | 'deleteFacts' | 'deleteLinks';
+export interface KernelOp {
+    /**
+     * Content hash of this operation (including previousHash).
+     * Format: trellis:op:{hash}
+     */
+    hash: string;
+    /**
+     * Kind of operation.
+     */
+    kind: KernelOpKind;
+    /**
+     * ISO timestamp of when the op was created.
+     */
+    timestamp: string;
+    /**
+     * The ID of the agent that performed the operation.
+     */
+    agentId: string;
+    /**
+     * Hash of the previous operation in the local chain.
+     */
+    previousHash?: string;
+    /**
+     * The actual data payload.
+     */
+    facts?: Fact[];
+    links?: Link[];
+    /**
+     * Facts to delete (for update/delete operations).
+     */
+    deleteFacts?: Fact[];
+    /**
+     * Links to delete (for update/delete operations).
+     */
+    deleteLinks?: Link[];
+}
+export interface KernelBackend {
+    init(): void;
+    append(op: KernelOp): void;
+    readAll(): KernelOp[];
+    readUntil(hash: string): KernelOp[];
+    readAfter(hash: string): KernelOp[];
+    readUntilTimestamp(isoTimestamp: string): KernelOp[];
+    getLastOp(): KernelOp | undefined;
+    saveSnapshot(lastOpHash: string, data: any): void;
+    loadLatestSnapshot(): {
+        lastOpHash: string;
+        data: any;
+    } | undefined;
+    close?(): void;
+}
+//# sourceMappingURL=backend.d.ts.map

package/dist/core/persist/backend.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"backend.d.ts","sourceRoot":"","sources":["../../../src/core/persist/backend.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAExD,MAAM,MAAM,YAAY,GACpB,UAAU,GACV,UAAU,GACV,aAAa,GACb,aAAa,CAAC;AAElB,MAAM,WAAW,QAAQ;IACvB;;;OAGG;IACH,IAAI,EAAE,MAAM,CAAC;IAEb;;OAEG;IACH,IAAI,EAAE,YAAY,CAAC;IAEnB;;OAEG;IACH,SAAS,EAAE,MAAM,CAAC;IAElB;;OAEG;IACH,OAAO,EAAE,MAAM,CAAC;IAEhB;;OAEG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IAEtB;;OAEG;IACH,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC;IACf,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC;IAEf;;OAEG;IACH,WAAW,CAAC,EAAE,IAAI,EAAE,CAAC;IAErB;;OAEG;IACH,WAAW,CAAC,EAAE,IAAI,EAAE,CAAC;CACtB;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,IAAI,IAAI,CAAC;IACb,MAAM,CAAC,EAAE,EAAE,QAAQ,GAAG,IAAI,CAAC;IAC3B,OAAO,IAAI,QAAQ,EAAE,CAAC;IACtB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,EAAE,CAAC;IACpC,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,EAAE,CAAC;IACpC,kBAAkB,CAAC,YAAY,EAAE,MAAM,GAAG,QAAQ,EAAE,CAAC;IACrD,SAAS,IAAI,QAAQ,GAAG,SAAS,CAAC;IAGlC,YAAY,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,GAAG,IAAI,CAAC;IAClD,kBAAkB,IAAI;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,GAAG,CAAA;KAAE,GAAG,SAAS,CAAC;IAEpE,KAAK,CAAC,IAAI,IAAI,CAAC;CAChB"}

package/dist/core/persist/sqlite-backend.d.ts

@@ -0,0 +1,41 @@
+/**
+ * SQLite-backed Kernel Backend
+ *
+ * Replaces the P0 JsonOpLog with a proper WAL-mode SQLite database.
+ * Stores ops, snapshots, and blobs in a single database file.
+ *
+ * @module trellis/core
+ */
+import type { KernelOp, KernelBackend } from './backend.js';
+export declare class SqliteKernelBackend implements KernelBackend {
+    private dbPath;
+    private db;
+    private _stmts;
+    constructor(dbPath: string);
+    init(): void;
+    private _prepareStatements;
+    append(op: KernelOp): void;
+    appendBatch(ops: KernelOp[]): void;
+    readAll(): KernelOp[];
+    readUntil(hash: string): KernelOp[];
+    readAfter(hash: string): KernelOp[];
+    readUntilTimestamp(isoTimestamp: string): KernelOp[];
+    getLastOp(): KernelOp | undefined;
+    getOpByHash(hash: string): KernelOp | undefined;
+    count(): number;
+    /**
+     * Find the common ancestor op of two op hashes by walking
+     * previousHash chains until they converge.
+     */
+    findCommonAncestor(hashA: string, hashB: string): KernelOp | undefined;
+    saveSnapshot(lastOpHash: string, data: any): void;
+    loadLatestSnapshot(): {
+        lastOpHash: string;
+        data: any;
+    } | undefined;
+    putBlob(hash: string, content: Uint8Array): void;
+    getBlob(hash: string): Uint8Array | undefined;
+    hasBlob(hash: string): boolean;
+    close(): void;
+}
+//# sourceMappingURL=sqlite-backend.d.ts.map

package/dist/core/persist/sqlite-backend.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-backend.d.ts","sourceRoot":"","sources":["../../../src/core/persist/sqlite-backend.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAuC5D,qBAAa,mBAAoB,YAAW,aAAa;IAiB3C,OAAO,CAAC,MAAM;IAhB1B,OAAO,CAAC,EAAE,CAAW;IACrB,OAAO,CAAC,MAAM,CAaE;gBAEI,MAAM,EAAE,MAAM;IAIlC,IAAI,IAAI,IAAI;IAQZ,OAAO,CAAC,kBAAkB;IAqD1B,MAAM,CAAC,EAAE,EAAE,QAAQ,GAAG,IAAI;IAoB1B,WAAW,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,IAAI;IASlC,OAAO,IAAI,QAAQ,EAAE;IAKrB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,EAAE;IAKnC,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,EAAE;IAKnC,kBAAkB,CAAC,YAAY,EAAE,MAAM,GAAG,QAAQ,EAAE;IAUpD,SAAS,IAAI,QAAQ,GAAG,SAAS;IAKjC,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS;IAK/C,KAAK,IAAI,MAAM;IAKf;;;OAGG;IACH,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS;IA2BtE,YAAY,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,GAAG,IAAI;IAOjD,kBAAkB,IAAI;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,GAAG,CAAA;KAAE,GAAG,SAAS;IAanE,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,GAAG,IAAI;IAOhD,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS;IAM7C,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAQ9B,KAAK,IAAI,IAAI;CAGd"}

package/dist/core/plugins/index.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Plugin System — Public API Surface
+ *
+ * @module trellis/core/plugins
+ */
+export { PluginRegistry, EventBus } from './registry.js';
+export type { PluginDef, PluginContext, PluginManifest, EventCallback, EventHandler, WellKnownEvent, WorkspaceConfig, } from './types.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/core/plugins/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/plugins/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAEzD,YAAY,EACV,SAAS,EACT,aAAa,EACb,cAAc,EACd,aAAa,EACb,YAAY,EACZ,cAAc,EACd,eAAe,GAChB,MAAM,YAAY,CAAC"}

package/dist/core/plugins/registry.d.ts

@@ -0,0 +1,69 @@
+/**
+ * Plugin Registry — Load, register, and manage plugins.
+ *
+ * Handles plugin lifecycle, dependency resolution, event dispatching,
+ * and workspace configuration.
+ *
+ * @module trellis/core/plugins
+ */
+import type { TrellisKernel } from '../kernel/trellis-kernel.js';
+import type { OntologyRegistry } from '../ontology/registry.js';
+import type { QueryEngine } from '../query/engine.js';
+import type { PluginDef, EventCallback, WorkspaceConfig } from './types.js';
+export declare class EventBus {
+    private handlers;
+    on(event: string, handler: EventCallback): void;
+    off(event: string, handler: EventCallback): void;
+    emit(event: string, data?: unknown): Promise<void>;
+    listEvents(): string[];
+    clear(): void;
+}
+export declare class PluginRegistry {
+    private plugins;
+    private eventBus;
+    private workspaceConfig;
+    private logs;
+    /**
+     * Register a plugin definition. Does not load it yet.
+     */
+    register(def: PluginDef): void;
+    /**
+     * Unregister a plugin. Unloads it first if loaded.
+     */
+    unregister(id: string): Promise<void>;
+    /**
+     * Load a plugin (call onLoad, register middleware/ontologies/rules/events).
+     * Resolves dependencies first.
+     */
+    load(id: string, kernel?: TrellisKernel, ontologyRegistry?: OntologyRegistry, queryEngine?: QueryEngine): Promise<void>;
+    /**
+     * Unload a plugin (call onUnload, remove middleware/events).
+     */
+    unload(id: string): Promise<void>;
+    /**
+     * Load all registered plugins in dependency order.
+     */
+    loadAll(kernel?: TrellisKernel, ontologyRegistry?: OntologyRegistry, queryEngine?: QueryEngine): Promise<void>;
+    /**
+     * Unload all plugins in reverse order.
+     */
+    unloadAll(): Promise<void>;
+    get(id: string): PluginDef | undefined;
+    isLoaded(id: string): boolean;
+    list(): Array<{
+        def: PluginDef;
+        loaded: boolean;
+    }>;
+    listLoaded(): PluginDef[];
+    getEventBus(): EventBus;
+    emit(event: string, data?: unknown): Promise<void>;
+    on(event: string, handler: EventCallback): void;
+    getWorkspaceConfig(): WorkspaceConfig;
+    setWorkspaceConfig(config: WorkspaceConfig): void;
+    getConfigValue(key: string): unknown;
+    setConfigValue(key: string, value: unknown): void;
+    getLogs(pluginId?: string): typeof this.logs;
+    private _buildContext;
+    private _resolveDependencyOrder;
+}
+//# sourceMappingURL=registry.d.ts.map

package/dist/core/plugins/registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../../src/core/plugins/registry.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EACV,SAAS,EAGT,aAAa,EAEb,eAAe,EAChB,MAAM,YAAY,CAAC;AAMpB,qBAAa,QAAQ;IACnB,OAAO,CAAC,QAAQ,CAA8C;IAE9D,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,GAAG,IAAI;IAM/C,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,GAAG,IAAI;IAQ1C,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;IAgBxD,UAAU,IAAI,MAAM,EAAE;IAItB,KAAK,IAAI,IAAI;CAGd;AAMD,qBAAa,cAAc;IACzB,OAAO,CAAC,OAAO,CAA+D;IAC9E,OAAO,CAAC,QAAQ,CAA4B;IAC5C,OAAO,CAAC,eAAe,CAAuB;IAC9C,OAAO,CAAC,IAAI,CAAuE;IAEnF;;OAEG;IACH,QAAQ,CAAC,GAAG,EAAE,SAAS,GAAG,IAAI;IAO9B;;OAEG;IACG,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAO3C;;;OAGG;IACG,IAAI,CACR,EAAE,EAAE,MAAM,EACV,MAAM,CAAC,EAAE,aAAa,EACtB,gBAAgB,CAAC,EAAE,gBAAgB,EACnC,WAAW,CAAC,EAAE,WAAW,GACxB,OAAO,CAAC,IAAI,CAAC;IA0DhB;;OAEG;IACG,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAoBvC;;OAEG;IACG,OAAO,CACX,MAAM,CAAC,EAAE,aAAa,EACtB,gBAAgB,CAAC,EAAE,gBAAgB,EACnC,WAAW,CAAC,EAAE,WAAW,GACxB,OAAO,CAAC,IAAI,CAAC;IAOhB;;OAEG;IACG,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC;IAWhC,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS;IAItC,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO;IAI7B,IAAI,IAAI,KAAK,CAAC;QAAE,GAAG,EAAE,SAAS,CAAC;QAAC,MAAM,EAAE,OAAO,CAAA;KAAE,CAAC;IAIlD,UAAU,IAAI,SAAS,EAAE;IAUzB,WAAW,IAAI,QAAQ;IAIjB,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;IAIxD,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,GAAG,IAAI;IAQ/C,kBAAkB,IAAI,eAAe;IAIrC,kBAAkB,CAAC,MAAM,EAAE,eAAe,GAAG,IAAI;IAIjD,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO;IAIpC,cAAc,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI;IASjD,OAAO,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,OAAO,IAAI,CAAC,IAAI;IAS5C,OAAO,CAAC,aAAa;IAYrB,OAAO,CAAC,uBAAuB;CA0BhC"}

package/dist/core/plugins/types.d.ts

@@ -0,0 +1,87 @@
+/**
+ * Plugin System Types
+ *
+ * Defines the plugin interface, manifest format, lifecycle hooks,
+ * and event system for extensibility.
+ *
+ * @module trellis/core/plugins
+ */
+import type { KernelMiddleware } from '../kernel/middleware.js';
+import type { OntologySchema } from '../ontology/types.js';
+import type { DatalogRule } from '../query/types.js';
+export interface PluginDef {
+    /** Unique plugin identifier (e.g. "trellis:security", "my-org:custom"). */
+    id: string;
+    /** Human-readable name. */
+    name: string;
+    /** Semantic version. */
+    version: string;
+    /** Description. */
+    description?: string;
+    /** Plugin dependencies (other plugin IDs). */
+    dependencies?: string[];
+    /** Kernel middleware provided by this plugin. */
+    middleware?: KernelMiddleware[];
+    /** Ontology schemas provided by this plugin. */
+    ontologies?: OntologySchema[];
+    /** Datalog rules provided by this plugin. */
+    rules?: DatalogRule[];
+    /** Event listeners provided by this plugin. */
+    eventHandlers?: EventHandler[];
+    /** Called when the plugin is loaded. */
+    onLoad?: (ctx: PluginContext) => void | Promise<void>;
+    /** Called when the plugin is unloaded. */
+    onUnload?: (ctx: PluginContext) => void | Promise<void>;
+}
+export interface PluginContext {
+    /** The plugin's own ID. */
+    pluginId: string;
+    /** Subscribe to events. */
+    on: (event: string, handler: EventCallback) => void;
+    /** Emit an event. */
+    emit: (event: string, data?: unknown) => void;
+    /** Get workspace config value. */
+    getConfig: (key: string) => unknown;
+    /** Log a message. */
+    log: (message: string) => void;
+}
+export type EventCallback = (data: unknown) => void | Promise<void>;
+export interface EventHandler {
+    /** Event name pattern (e.g. "op:*", "entity:created", "milestone:created"). */
+    event: string;
+    /** Handler function. */
+    handler: EventCallback;
+}
+/** Well-known event names. */
+export type WellKnownEvent = 'op:applied' | 'entity:created' | 'entity:updated' | 'entity:deleted' | 'link:added' | 'link:removed' | 'milestone:created' | 'issue:created' | 'issue:closed' | 'plugin:loaded' | 'plugin:unloaded';
+export interface WorkspaceConfig {
+    /** Active ontology IDs. */
+    ontologies?: string[];
+    /** Active plugin IDs. */
+    plugins?: string[];
+    /** Tracked file patterns (globs). */
+    trackedPaths?: string[];
+    /** Ignore patterns. */
+    ignorePaths?: string[];
+    /** Branch policies. */
+    branchPolicies?: Record<string, {
+        linear?: boolean;
+    }>;
+    /** Embedding model override. */
+    embeddingModel?: string;
+    /** Snapshot threshold (ops between auto-snapshots). */
+    snapshotThreshold?: number;
+    /** Custom key-value settings. */
+    settings?: Record<string, unknown>;
+}
+export interface PluginManifest {
+    /** Plugin ID. */
+    id: string;
+    /** Installed version. */
+    version: string;
+    /** Whether the plugin is enabled. */
+    enabled: boolean;
+    /** Plugin-specific configuration. */
+    config?: Record<string, unknown>;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/core/plugins/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/core/plugins/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAOrD,MAAM,WAAW,SAAS;IACxB,2EAA2E;IAC3E,EAAE,EAAE,MAAM,CAAC;IACX,2BAA2B;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,wBAAwB;IACxB,OAAO,EAAE,MAAM,CAAC;IAChB,mBAAmB;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,8CAA8C;IAC9C,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IAExB,iDAAiD;IACjD,UAAU,CAAC,EAAE,gBAAgB,EAAE,CAAC;IAChC,gDAAgD;IAChD,UAAU,CAAC,EAAE,cAAc,EAAE,CAAC;IAC9B,6CAA6C;IAC7C,KAAK,CAAC,EAAE,WAAW,EAAE,CAAC;IACtB,+CAA+C;IAC/C,aAAa,CAAC,EAAE,YAAY,EAAE,CAAC;IAE/B,wCAAwC;IACxC,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,aAAa,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACtD,0CAA0C;IAC1C,QAAQ,CAAC,EAAE,CAAC,GAAG,EAAE,aAAa,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACzD;AAMD,MAAM,WAAW,aAAa;IAC5B,2BAA2B;IAC3B,QAAQ,EAAE,MAAM,CAAC;IACjB,2BAA2B;IAC3B,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,KAAK,IAAI,CAAC;IACpD,qBAAqB;IACrB,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,OAAO,KAAK,IAAI,CAAC;IAC9C,kCAAkC;IAClC,SAAS,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC;IACpC,qBAAqB;IACrB,GAAG,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;CAChC;AAMD,MAAM,MAAM,aAAa,GAAG,CAAC,IAAI,EAAE,OAAO,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;AAEpE,MAAM,WAAW,YAAY;IAC3B,+EAA+E;IAC/E,KAAK,EAAE,MAAM,CAAC;IACd,wBAAwB;IACxB,OAAO,EAAE,aAAa,CAAC;CACxB;AAED,8BAA8B;AAC9B,MAAM,MAAM,cAAc,GACtB,YAAY,GACZ,gBAAgB,GAChB,gBAAgB,GAChB,gBAAgB,GAChB,YAAY,GACZ,cAAc,GACd,mBAAmB,GACnB,eAAe,GACf,cAAc,GACd,eAAe,GACf,iBAAiB,CAAC;AAMtB,MAAM,WAAW,eAAe;IAC9B,2BAA2B;IAC3B,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,yBAAyB;IACzB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,qCAAqC;IACrC,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,uBAAuB;IACvB,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,uBAAuB;IACvB,cAAc,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,MAAM,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IACtD,gCAAgC;IAChC,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,uDAAuD;IACvD,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,iCAAiC;IACjC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACpC;AAMD,MAAM,WAAW,cAAc;IAC7B,iBAAiB;IACjB,EAAE,EAAE,MAAM,CAAC;IACX,yBAAyB;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,qCAAqC;IACrC,OAAO,EAAE,OAAO,CAAC;IACjB,qCAAqC;IACrC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAClC"}

package/dist/core/query/datalog.d.ts

@@ -0,0 +1,52 @@
+/**
+ * Datalog Evaluator — Rule-based recursive queries.
+ *
+ * Provides transitive closure, reachability, and other recursive
+ * graph queries via Datalog-style rules evaluated over the EAV store.
+ *
+ * Built-in rules:
+ *   - `reachable(?src, ?tgt)` via a named link attribute
+ *   - `ancestor(?x, ?y)` (generic transitive closure over any link)
+ *
+ * Custom rules can be registered via `addRule()`.
+ *
+ * @module trellis/core/query
+ */
+import type { EAVStore } from '../store/eav-store.js';
+import type { DatalogRule } from './types.js';
+import { QueryEngine } from './engine.js';
+/**
+ * Creates a transitive closure rule over a specific link attribute.
+ *
+ * `reachable(?x, ?y) :- (x attr y)`
+ * `reachable(?x, ?y) :- (x attr ?z), reachable(?z, ?y)`
+ */
+export declare function transitiveClosureRules(ruleName: string, linkAttribute: string): DatalogRule[];
+/**
+ * Creates a reverse reachability rule (follows links backwards).
+ */
+export declare function reverseReachabilityRules(ruleName: string, linkAttribute: string): DatalogRule[];
+/**
+ * Creates a "sibling" rule — entities that share a common parent via a link attribute.
+ *
+ * `sibling(?a, ?b) :- (?a attr ?parent), (?b attr ?parent)`
+ * FILTER ?a != ?b
+ */
+export declare function siblingRules(ruleName: string, linkAttribute: string): DatalogRule[];
+export declare class DatalogRuntime {
+    private engine;
+    constructor(store: EAVStore);
+    /** Register a Datalog rule (or multiple). */
+    addRule(rule: DatalogRule): void;
+    addRules(rules: DatalogRule[]): void;
+    removeRule(name: string): void;
+    /** Register built-in transitive closure for a link attribute. */
+    registerTransitiveClosure(ruleName: string, linkAttribute: string): void;
+    /** Register built-in reverse reachability for a link attribute. */
+    registerReverseReachability(ruleName: string, linkAttribute: string): void;
+    /** Register built-in sibling rule for a link attribute. */
+    registerSiblings(ruleName: string, linkAttribute: string): void;
+    /** Get the underlying QueryEngine for direct query execution. */
+    getEngine(): QueryEngine;
+}
+//# sourceMappingURL=datalog.d.ts.map

package/dist/core/query/datalog.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"datalog.d.ts","sourceRoot":"","sources":["../../../src/core/query/datalog.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE9C,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAM1C;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,GAAG,WAAW,EAAE,CAoC7F;AAED;;GAEG;AACH,wBAAgB,wBAAwB,CAAC,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,GAAG,WAAW,EAAE,CAkC/F;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,GAAG,WAAW,EAAE,CA6BnF;AAMD,qBAAa,cAAc;IACzB,OAAO,CAAC,MAAM,CAAc;gBAEhB,KAAK,EAAE,QAAQ;IAI3B,6CAA6C;IAC7C,OAAO,CAAC,IAAI,EAAE,WAAW,GAAG,IAAI;IAIhC,QAAQ,CAAC,KAAK,EAAE,WAAW,EAAE,GAAG,IAAI;IAIpC,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAI9B,iEAAiE;IACjE,yBAAyB,CAAC,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,GAAG,IAAI;IAIxE,mEAAmE;IACnE,2BAA2B,CAAC,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,GAAG,IAAI;IAI1E,2DAA2D;IAC3D,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,GAAG,IAAI;IAI/D,iEAAiE;IACjE,SAAS,IAAI,WAAW;CAGzB"}

package/dist/core/query/engine.d.ts

@@ -0,0 +1,42 @@
+/**
+ * EQL-S Query Engine — Pattern-matching evaluator over the EAV store.
+ *
+ * Evaluates queries by matching fact/link patterns against the store,
+ * binding variables, applying filters, and computing aggregates.
+ *
+ * @module trellis/core/query
+ */
+import type { EAVStore, Atom } from '../store/eav-store.js';
+import type { Query, DatalogRule } from './types.js';
+export interface QueryResult {
+    bindings: Record<string, Atom>[];
+    executionTime: number;
+    count: number;
+}
+export declare class QueryEngine {
+    private store;
+    private rules;
+    private maxRuleDepth;
+    constructor(store: EAVStore);
+    /** Register a Datalog rule. Multiple rules with the same name = union. */
+    addRule(rule: DatalogRule): void;
+    removeRule(name: string): void;
+    /** Execute a query against the store. */
+    execute(query: Query): QueryResult;
+    private _evaluatePatterns;
+    private _evaluatePattern;
+    private _evalFactPattern;
+    private _evalLinkPattern;
+    private _evalNotPattern;
+    private _evalOrPattern;
+    private _evalRuleApplication;
+    private _evalFilter;
+    private _aggregate;
+    private _computeAggregate;
+    private _order;
+    private _project;
+    private _resolve;
+    private _bind;
+    private _dedup;
+}
+//# sourceMappingURL=engine.d.ts.map

package/dist/core/query/engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../../src/core/query/engine.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAc,IAAI,EAAE,MAAM,uBAAuB,CAAC;AACxE,OAAO,KAAK,EACV,KAAK,EAaL,WAAW,EACZ,MAAM,YAAY,CAAC;AAOpB,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;IACjC,aAAa,EAAE,MAAM,CAAC;IACtB,KAAK,EAAE,MAAM,CAAC;CACf;AAMD,qBAAa,WAAW;IAIV,OAAO,CAAC,KAAK;IAHzB,OAAO,CAAC,KAAK,CAAyC;IACtD,OAAO,CAAC,YAAY,CAAM;gBAEN,KAAK,EAAE,QAAQ;IAEnC,0EAA0E;IAC1E,OAAO,CAAC,IAAI,EAAE,WAAW,GAAG,IAAI;IAMhC,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAI9B,yCAAyC;IACzC,OAAO,CAAC,KAAK,EAAE,KAAK,GAAG,WAAW;IAuClC,OAAO,CAAC,iBAAiB;IAYzB,OAAO,CAAC,gBAAgB;IAexB,OAAO,CAAC,gBAAgB;IAwCxB,OAAO,CAAC,gBAAgB;IAuCxB,OAAO,CAAC,eAAe;IAOvB,OAAO,CAAC,cAAc;IAStB,OAAO,CAAC,oBAAoB;IAsD5B,OAAO,CAAC,WAAW;IAmCnB,OAAO,CAAC,UAAU;IA+BlB,OAAO,CAAC,iBAAiB;IAqCzB,OAAO,CAAC,MAAM;IAmBd,OAAO,CAAC,QAAQ;IAsBhB,OAAO,CAAC,QAAQ;IAKhB,OAAO,CAAC,KAAK;IAQb,OAAO,CAAC,MAAM;CAYf"}

package/dist/core/query/index.d.ts

@@ -0,0 +1,12 @@
+/**
+ * EQL-S Query Module — Public API Surface
+ *
+ * @module trellis/core/query
+ */
+export type { Variable, Literal, Term, FactPattern, LinkPattern, NotPattern, OrPattern, RuleApplication, Pattern, FilterOp, Filter, AggregateOp, Aggregate, OrderBy, Query, Bindings, DatalogRule, } from './types.js';
+export { isVariable, isLiteral, variable, literal } from './types.js';
+export { QueryEngine } from './engine.js';
+export type { QueryResult } from './engine.js';
+export { parseQuery, parseRule, parseSimple } from './parser.js';
+export { DatalogRuntime, transitiveClosureRules, reverseReachabilityRules, siblingRules, } from './datalog.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/core/query/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/query/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,YAAY,EACV,QAAQ,EAAE,OAAO,EAAE,IAAI,EACvB,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,eAAe,EAAE,OAAO,EACzE,QAAQ,EAAE,MAAM,EAChB,WAAW,EAAE,SAAS,EACtB,OAAO,EACP,KAAK,EACL,QAAQ,EACR,WAAW,GACZ,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAGtE,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAG/C,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAGjE,OAAO,EACL,cAAc,EACd,sBAAsB,EACtB,wBAAwB,EACxB,YAAY,GACb,MAAM,cAAc,CAAC"}

package/dist/core/query/parser.d.ts

@@ -0,0 +1,37 @@
+/**
+ * EQL-S Query Parser — Parses a simple DSL into Query AST.
+ *
+ * Syntax overview:
+ *   SELECT ?e ?name
+ *   WHERE {
+ *     [?e "type" "Project"]
+ *     [?e "name" ?name]
+ *     (?e "memberOf" ?org)
+ *   }
+ *   FILTER ?name != "archived"
+ *   ORDER BY ?name ASC
+ *   LIMIT 10
+ *   OFFSET 5
+ *
+ * Fact patterns: [entity attr value]
+ * Link patterns: (source attr target)
+ * Not patterns:  NOT [entity attr value]
+ * Or patterns:   OR { branch1 } { branch2 }
+ * Rule calls:    ruleName(?x, ?y)
+ *
+ * Variables start with `?`. Strings are double-quoted.
+ * Numbers are bare. Booleans: true/false.
+ *
+ * @module trellis/core/query
+ */
+import type { Query, DatalogRule } from './types.js';
+export declare function parseQuery(input: string): Query;
+export declare function parseRule(input: string): DatalogRule;
+/**
+ * Shorthand: parse a simple "find entities where" query.
+ *
+ * Example: `find ?e where type = "Project"`
+ * Becomes: SELECT ?e WHERE { [?e "type" "Project"] }
+ */
+export declare function parseSimple(input: string): Query;
+//# sourceMappingURL=parser.d.ts.map

package/dist/core/query/parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../../src/core/query/parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,KAAK,EACV,KAAK,EAEC,WAAW,EAClB,MAAM,YAAY,CAAC;AAoYpB,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,CAG/C;AAED,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAGpD;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,CA6ChD"}

package/dist/core/query/types.d.ts

@@ -0,0 +1,135 @@
+/**
+ * EQL-S Query Types — Entity Query Language (Structured)
+ *
+ * Defines the AST for structured queries over the EAV store.
+ * Queries are composed of patterns (fact/link clauses) that bind
+ * variables, plus optional filters, aggregations, and projections.
+ *
+ * @module trellis/core/query
+ */
+import type { Atom } from '../store/eav-store.js';
+/**
+ * A query variable, prefixed with `?` in the DSL.
+ * e.g. `?e`, `?name`, `?type`
+ */
+export interface Variable {
+    kind: 'variable';
+    name: string;
+}
+/**
+ * A literal constant value.
+ */
+export interface Literal {
+    kind: 'literal';
+    value: Atom;
+}
+/**
+ * A term is either a variable or a literal.
+ */
+export type Term = Variable | Literal;
+/**
+ * A fact pattern matches triples (e, a, v) in the EAV store.
+ *
+ * Example DSL: `[?e "type" "Project"]` or `[?e ?attr ?val]`
+ */
+export interface FactPattern {
+    kind: 'fact';
+    entity: Term;
+    attribute: Term;
+    value: Term;
+}
+/**
+ * A link pattern matches links (e1, a, e2) in the graph.
+ *
+ * Example DSL: `(?src "memberOf" ?tgt)`
+ */
+export interface LinkPattern {
+    kind: 'link';
+    source: Term;
+    attribute: Term;
+    target: Term;
+}
+/**
+ * A negation pattern — succeeds when the inner pattern has NO matches.
+ */
+export interface NotPattern {
+    kind: 'not';
+    pattern: Pattern;
+}
+/**
+ * An or-pattern — succeeds when ANY branch matches.
+ */
+export interface OrPattern {
+    kind: 'or';
+    branches: Pattern[][];
+}
+/**
+ * A rule application — invoke a named Datalog rule.
+ */
+export interface RuleApplication {
+    kind: 'rule';
+    name: string;
+    args: Term[];
+}
+export type Pattern = FactPattern | LinkPattern | NotPattern | OrPattern | RuleApplication;
+export type FilterOp = '=' | '!=' | '<' | '<=' | '>' | '>=' | 'contains' | 'startsWith' | 'endsWith' | 'matches';
+export interface Filter {
+    kind: 'filter';
+    left: Term;
+    op: FilterOp;
+    right: Term;
+}
+export type AggregateOp = 'count' | 'sum' | 'avg' | 'min' | 'max' | 'collect';
+export interface Aggregate {
+    op: AggregateOp;
+    /** Variable to aggregate over. */
+    variable: string;
+    /** Output variable name. */
+    as: string;
+}
+export interface OrderBy {
+    variable: string;
+    direction: 'asc' | 'desc';
+}
+/**
+ * A complete EQL-S query.
+ */
+export interface Query {
+    /** Variables to project in the result. Empty = return all bound variables. */
+    select: string[];
+    /** Pattern clauses that must all match (conjunction). */
+    where: Pattern[];
+    /** Post-match filters. */
+    filters: Filter[];
+    /** Aggregation functions. */
+    aggregates: Aggregate[];
+    /** Ordering. */
+    orderBy: OrderBy[];
+    /** Maximum number of results (0 = unlimited). */
+    limit: number;
+    /** Number of results to skip. */
+    offset: number;
+}
+/**
+ * A single set of variable bindings.
+ */
+export type Bindings = Map<string, Atom>;
+/**
+ * A Datalog rule: `head :- body`.
+ *
+ * Example: `ancestor(?x, ?z) :- [?x "parent" ?y], ancestor(?y, ?z)`
+ */
+export interface DatalogRule {
+    name: string;
+    /** Parameter variable names for the head. */
+    params: string[];
+    /** Body patterns (conjunction). */
+    body: Pattern[];
+    /** Body filters. */
+    filters: Filter[];
+}
+export declare function isVariable(t: Term): t is Variable;
+export declare function isLiteral(t: Term): t is Literal;
+export declare function variable(name: string): Variable;
+export declare function literal(value: Atom): Literal;
+//# sourceMappingURL=types.d.ts.map

package/dist/core/query/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/core/query/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAMlD;;;GAGG;AACH,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;GAEG;AACH,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,IAAI,CAAC;CACb;AAED;;GAEG;AACH,MAAM,MAAM,IAAI,GAAG,QAAQ,GAAG,OAAO,CAAC;AAMtC;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,IAAI,CAAC;IACb,SAAS,EAAE,IAAI,CAAC;IAChB,KAAK,EAAE,IAAI,CAAC;CACb;AAED;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,IAAI,CAAC;IACb,SAAS,EAAE,IAAI,CAAC;IAChB,MAAM,EAAE,IAAI,CAAC;CACd;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,KAAK,CAAC;IACZ,OAAO,EAAE,OAAO,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,IAAI,CAAC;IACX,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,IAAI,EAAE,CAAC;CACd;AAED,MAAM,MAAM,OAAO,GAAG,WAAW,GAAG,WAAW,GAAG,UAAU,GAAG,SAAS,GAAG,eAAe,CAAC;AAM3F,MAAM,MAAM,QAAQ,GAAG,GAAG,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,GAAG,UAAU,GAAG,YAAY,GAAG,UAAU,GAAG,SAAS,CAAC;AAEjH,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,IAAI,CAAC;IACX,EAAE,EAAE,QAAQ,CAAC;IACb,KAAK,EAAE,IAAI,CAAC;CACb;AAMD,MAAM,MAAM,WAAW,GAAG,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,SAAS,CAAC;AAE9E,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,WAAW,CAAC;IAChB,kCAAkC;IAClC,QAAQ,EAAE,MAAM,CAAC;IACjB,4BAA4B;IAC5B,EAAE,EAAE,MAAM,CAAC;CACZ;AAMD,MAAM,WAAW,OAAO;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,KAAK,GAAG,MAAM,CAAC;CAC3B;AAMD;;GAEG;AACH,MAAM,WAAW,KAAK;IACpB,8EAA8E;IAC9E,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,yDAAyD;IACzD,KAAK,EAAE,OAAO,EAAE,CAAC;IACjB,0BAA0B;IAC1B,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,6BAA6B;IAC7B,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,gBAAgB;IAChB,OAAO,EAAE,OAAO,EAAE,CAAC;IACnB,iDAAiD;IACjD,KAAK,EAAE,MAAM,CAAC;IACd,iCAAiC;IACjC,MAAM,EAAE,MAAM,CAAC;CAChB;AAMD;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAMzC;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,6CAA6C;IAC7C,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,mCAAmC;IACnC,IAAI,EAAE,OAAO,EAAE,CAAC;IAChB,oBAAoB;IACpB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAMD,wBAAgB,UAAU,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,QAAQ,CAEjD;AAED,wBAAgB,SAAS,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,OAAO,CAE/C;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,CAE/C;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,IAAI,GAAG,OAAO,CAE5C"}