@proposit/proposit-core 0.8.9

package/dist/lib/core/variable-manager.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"variable-manager.js","sourceRoot":"","sources":["../../../src/lib/core/variable-manager.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,+BAA+B,EAAE,MAAM,sBAAsB,CAAA;AACtE,OAAO,EAAE,uBAAuB,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAA;AAE/E,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAC9C,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAKrC,OAAO,EACH,kBAAkB,EAClB,gBAAgB,EAChB,oBAAoB,EACpB,qBAAqB,GACxB,MAAM,wBAAwB,CAAA;AAS/B;;;;;;;GAOG;AACH,MAAM,OAAO,eAAe;IAGhB,SAAS,CAAmB;IAC5B,iBAAiB,CAAqB;IACtC,MAAM,CAAsB;IAEpC,YAAY,MAA4B;QACpC,IAAI,CAAC,SAAS,GAAG,IAAI,GAAG,EAAE,CAAA;QAC1B,IAAI,CAAC,iBAAiB,GAAG,IAAI,GAAG,EAAE,CAAA;QAClC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAA;IACxB,CAAC;IAED,8EAA8E;IACvE,OAAO;QACV,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACrD,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAC3B,CAAA;IACL,CAAC;IAED;;;;;OAKG;IACI,WAAW,CAAC,QAAc;QAC7B,IAAI,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9C,MAAM,IAAI,KAAK,CACX,oBAAoB,QAAQ,CAAC,MAAM,mBAAmB,CACzD,CAAA;QACL,CAAC;QACD,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CAAC,qBAAqB,QAAQ,CAAC,EAAE,mBAAmB,CAAC,CAAA;QACxE,CAAC;QAED,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAA;QACzC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAA;IAC5D,CAAC;IAED;;;OAGG;IACI,cAAc,CAAC,UAAkB;QACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC/C,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,OAAO,SAAS,CAAA;QACpB,CAAC;QAED,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;QACjC,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;QAC9C,OAAO,QAAQ,CAAA;IACnB,CAAC;IAED,oEAAoE;IAC7D,WAAW,CAAC,UAAkB;QACjC,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACzC,CAAC;IAED,2EAA2E;IACpE,WAAW,CAAC,UAAkB;QACjC,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACzC,CAAC;IAED,+EAA+E;IACxE,mBAAmB,CAAC,MAAc;QACrC,MAAM,EAAE,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QAC7C,IAAI,EAAE,KAAK,SAAS;YAAE,OAAO,SAAS,CAAA;QACtC,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IACjC,CAAC;IAED;;;;;OAKG;IACI,cAAc,CAAC,UAAkB,EAAE,SAAiB;QACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC/C,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,MAAM,IAAI,KAAK,CAAC,aAAa,UAAU,mBAAmB,CAAC,CAAA;QAC/D,CAAC;QACD,IACI,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC;YACrC,QAAQ,CAAC,MAAM,KAAK,SAAS,EAC/B,CAAC;YACC,MAAM,IAAI,KAAK,CAAC,oBAAoB,SAAS,sBAAsB,CAAC,CAAA;QACxE,CAAC;QACD,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;QAC9C,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,CAAA;QACjD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,EAAE;YAC3B,GAAG,QAAQ;YACX,MAAM,EAAE,SAAS;SACZ,CAAC,CAAA;IACd,CAAC;IAED;;;;;;;OAOG;IACI,cAAc,CACjB,UAAkB,EAClB,OAAsB;QAEtB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC/C,IAAI,CAAC,QAAQ;YAAE,OAAO,SAAS,CAAA;QAE/B,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC/B,IAAI,CAAC,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;QACnD,CAAC;QAED,oEAAoE;QACpE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,CAAA;QAC5C,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAE,CAAA;YAC/C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,EAAE;gBAC3B,GAAG,OAAO;gBACV,GAAG,IAAI;aACF,CAAC,CAAA;QACd,CAAC;QAED,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACzC,CAAC;IAED;;;;OAIG;IACI,QAAQ;QACX,MAAM,UAAU,GAA0B,EAAE,CAAA;QAC5C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;QACjC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAA;QAErC,MAAM,MAAM,GACR,IAAI,CAAC,MAAM,EAAE,cAAc,EAAE,cAAc;YAC3C,uBAAuB,CAAC,cAAe,CAAA;QAE3C,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;YACpC,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAA;YAEtB,kBAAkB;YAClB,IACI,CAAC,KAAK,CAAC,KAAK,CACR,+BAA+B,EAC/B,QAAiD,CACpD,EACH,CAAC;gBACC,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,kBAAkB;oBACxB,OAAO,EAAE,aAAa,EAAE,wDAAwD;oBAChF,UAAU,EAAE,UAAU;oBACtB,QAAQ,EAAE,EAAE;iBACf,CAAC,CAAA;YACN,CAAC;YAED,kBAAkB;YAClB,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBAClB,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,gBAAgB;oBACtB,OAAO,EAAE,0BAA0B,EAAE,IAAI;oBACzC,UAAU,EAAE,UAAU;oBACtB,QAAQ,EAAE,EAAE;iBACf,CAAC,CAAA;YACN,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YAEf,sBAAsB;YACtB,IAAI,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;gBACnC,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,oBAAoB;oBAC1B,OAAO,EAAE,8BAA8B,QAAQ,CAAC,MAAM,IAAI;oBAC1D,UAAU,EAAE,UAAU;oBACtB,QAAQ,EAAE,EAAE;iBACf,CAAC,CAAA;YACN,CAAC;YACD,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;YAEhC,uEAAuE;YACvE,IAAI,QAAQ,CAAC,QAAQ,KAAK,EAAE,EAAE,CAAC;gBAC3B,MAAM,QAAQ,GAAG,cAAc,CAC3B,QAA8C,EAC9C,MAAM,CACT,CAAA;gBACD,IAAI,QAAQ,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;oBACjC,UAAU,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,qBAAqB;wBAC3B,OAAO,EAAE,aAAa,EAAE,gCAAgC,QAAQ,CAAC,QAAQ,gBAAgB,QAAQ,IAAI;wBACrG,UAAU,EAAE,UAAU;wBACtB,QAAQ,EAAE,EAAE;qBACf,CAAC,CAAA;gBACN,CAAC;YACL,CAAC;QACL,CAAC;QAED,OAAO;YACH,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC;YAC3B,UAAU;SACb,CAAA;IACL,CAAC;IAED,4DAA4D;IACrD,QAAQ;QACX,OAAO;YACH,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE;YACzB,MAAM,EAAE,IAAI,CAAC,MAAM;gBACf,CAAC,CAAE;oBACG,GAAG,IAAI,CAAC,MAAM;oBACd,cAAc,EAAE,uBAAuB,CACnC,IAAI,CAAC,MAAM,CAAC,cAAc,CAC7B;iBACoB;gBAC3B,CAAC,CAAC,IAAI,CAAC,MAAM;SACpB,CAAA;IACL,CAAC;IAED,yEAAyE;IAClE,MAAM,CAAC,YAAY,CAExB,QAAwC;QACtC,MAAM,EAAE,GAAG,IAAI,eAAe,CAAO,QAAQ,CAAC,MAAM,CAAC,CAAA;QACrD,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC;YACjC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAA;QACrB,CAAC;QACD,OAAO,EAAE,CAAA;IACb,CAAC;CACJ"}

package/dist/lib/core/versioned-library.d.ts

@@ -0,0 +1,52 @@
+import type { TSchema } from "typebox";
+import type { TCoreChecksumConfig } from "../types/checksum.js";
+import type { TInvariantValidationResult, TInvariantViolationEntityType } from "../types/validation.js";
+/** Base shape for entities managed by {@link VersionedLibrary}. */
+export type TVersionedEntity = {
+    id: string;
+    version: number;
+    frozen: boolean;
+    checksum: string;
+};
+/**
+ * Abstract base class for versioned, freezable entity libraries.
+ * Provides CRUD, freeze/unfreeze lifecycle, schema validation, and checksum
+ * computation. Subclasses supply the entity label, schema, and validation codes.
+ */
+export declare abstract class VersionedLibrary<TEntity extends TVersionedEntity> {
+    protected entities: Map<string, Map<number, TEntity>>;
+    protected checksumConfig?: TCoreChecksumConfig;
+    protected abstract readonly entityLabel: string;
+    protected abstract readonly entityType: TInvariantViolationEntityType;
+    protected abstract readonly schema: TSchema;
+    protected abstract readonly checksumFieldsKey: keyof TCoreChecksumConfig;
+    protected abstract readonly schemaInvalidCode: string;
+    protected abstract readonly frozenSuccessorCode: string;
+    constructor(options?: {
+        checksumConfig?: TCoreChecksumConfig;
+    });
+    protected restoreFromEntities(items: TEntity[]): void;
+    protected withValidation<T>(fn: () => T): T;
+    /** Creates a new entity at version 0. Throws if the ID already exists. */
+    create(entity: Omit<TEntity, "version" | "frozen" | "checksum">): TEntity;
+    /** Applies partial updates to the latest version of an entity. Throws if the entity is frozen. */
+    update(id: string, updates: Partial<Omit<TEntity, "id" | "version" | "frozen" | "checksum">>): TEntity;
+    /** Freezes the latest version and creates a new mutable successor. Returns both. */
+    freeze(id: string): {
+        frozen: TEntity;
+        current: TEntity;
+    };
+    /** Returns a specific version of an entity, or `undefined` if not found. */
+    get(id: string, version: number): TEntity | undefined;
+    /** Returns the latest (highest-version) entity for the given ID, or `undefined` if not found. */
+    getCurrent(id: string): TEntity | undefined;
+    /** Returns every entity across all IDs and versions. */
+    getAll(): TEntity[];
+    /** Returns all versions of an entity sorted ascending by version number. */
+    getVersions(id: string): TEntity[];
+    /** Validates all entities against the schema and checks that frozen versions have successors. */
+    validate(): TInvariantValidationResult;
+    private maxVersion;
+    private computeChecksum;
+}
+//# sourceMappingURL=versioned-library.d.ts.map

package/dist/lib/core/versioned-library.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"versioned-library.d.ts","sourceRoot":"","sources":["../../../src/lib/core/versioned-library.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AACtC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAG/D,OAAO,KAAK,EACR,0BAA0B,EAE1B,6BAA6B,EAChC,MAAM,wBAAwB,CAAA;AAG/B,mEAAmE;AACnE,MAAM,MAAM,gBAAgB,GAAG;IAC3B,EAAE,EAAE,MAAM,CAAA;IACV,OAAO,EAAE,MAAM,CAAA;IACf,MAAM,EAAE,OAAO,CAAA;IACf,QAAQ,EAAE,MAAM,CAAA;CACnB,CAAA;AAED;;;;GAIG;AACH,8BAAsB,gBAAgB,CAAC,OAAO,SAAS,gBAAgB;IACnE,SAAS,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;IACrD,SAAS,CAAC,cAAc,CAAC,EAAE,mBAAmB,CAAA;IAE9C,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC/C,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,EAAE,6BAA6B,CAAA;IACrE,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IAC3C,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;IACxE,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAA;IACrD,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAA;gBAE3C,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE;IAK9D,SAAS,CAAC,mBAAmB,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,IAAI;IAYrD,SAAS,CAAC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC;IAkB3C,0EAA0E;IACnE,MAAM,CACT,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,GACzD,OAAO;IAsBV,kGAAkG;IAC3F,MAAM,CACT,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,OAAO,CACZ,IAAI,CAAC,OAAO,EAAE,IAAI,GAAG,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,CAC1D,GACF,OAAO;IA2BV,oFAAoF;IAC7E,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG;QAAE,MAAM,EAAE,OAAO,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE;IAmChE,4EAA4E;IACrE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS;IAI5D,iGAAiG;IAC1F,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS;IAMlD,wDAAwD;IACjD,MAAM,IAAI,OAAO,EAAE;IAU1B,4EAA4E;IACrE,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,EAAE;IAQzC,iGAAiG;IAC1F,QAAQ,IAAI,0BAA0B;IA+B7C,OAAO,CAAC,UAAU;IAQlB,OAAO,CAAC,eAAe;CAS1B"}

package/dist/lib/core/versioned-library.js

@@ -0,0 +1,192 @@
+import { Value } from "typebox/value";
+import { DEFAULT_CHECKSUM_CONFIG } from "../consts.js";
+import { entityChecksum } from "./checksum.js";
+import { InvariantViolationError } from "./invariant-violation-error.js";
+/**
+ * Abstract base class for versioned, freezable entity libraries.
+ * Provides CRUD, freeze/unfreeze lifecycle, schema validation, and checksum
+ * computation. Subclasses supply the entity label, schema, and validation codes.
+ */
+export class VersionedLibrary {
+    entities;
+    checksumConfig;
+    constructor(options) {
+        this.entities = new Map();
+        this.checksumConfig = options?.checksumConfig;
+    }
+    restoreFromEntities(items) {
+        this.entities = new Map();
+        for (const entity of items) {
+            let versions = this.entities.get(entity.id);
+            if (!versions) {
+                versions = new Map();
+                this.entities.set(entity.id, versions);
+            }
+            versions.set(entity.version, entity);
+        }
+    }
+    withValidation(fn) {
+        const all = this.getAll();
+        try {
+            const result = fn();
+            const validation = this.validate();
+            if (!validation.ok) {
+                this.restoreFromEntities(all);
+                throw new InvariantViolationError(validation.violations);
+            }
+            return result;
+        }
+        catch (e) {
+            if (!(e instanceof InvariantViolationError)) {
+                this.restoreFromEntities(all);
+            }
+            throw e;
+        }
+    }
+    /** Creates a new entity at version 0. Throws if the ID already exists. */
+    create(entity) {
+        return this.withValidation(() => {
+            if (this.entities.has(entity.id)) {
+                throw new Error(`${this.entityLabel} with ID "${entity.id}" already exists.`);
+            }
+            const full = {
+                ...entity,
+                version: 0,
+                frozen: false,
+                checksum: "",
+            };
+            full.checksum = this.computeChecksum(full);
+            const versions = new Map();
+            versions.set(0, full);
+            this.entities.set(full.id, versions);
+            return full;
+        });
+    }
+    /** Applies partial updates to the latest version of an entity. Throws if the entity is frozen. */
+    update(id, updates) {
+        return this.withValidation(() => {
+            const versions = this.entities.get(id);
+            if (!versions) {
+                throw new Error(`${this.entityLabel} "${id}" does not exist.`);
+            }
+            const maxVersion = this.maxVersion(versions);
+            const current = versions.get(maxVersion);
+            if (current.frozen) {
+                throw new Error(`${this.entityLabel} "${id}" version ${maxVersion} is frozen and cannot be updated.`);
+            }
+            const updated = {
+                ...current,
+                ...updates,
+                id: current.id,
+                version: current.version,
+                frozen: current.frozen,
+                checksum: "",
+            };
+            updated.checksum = this.computeChecksum(updated);
+            versions.set(maxVersion, updated);
+            return updated;
+        });
+    }
+    /** Freezes the latest version and creates a new mutable successor. Returns both. */
+    freeze(id) {
+        return this.withValidation(() => {
+            const versions = this.entities.get(id);
+            if (!versions) {
+                throw new Error(`${this.entityLabel} "${id}" does not exist.`);
+            }
+            const maxVersion = this.maxVersion(versions);
+            const current = versions.get(maxVersion);
+            if (current.frozen) {
+                throw new Error(`${this.entityLabel} "${id}" version ${maxVersion} is already frozen.`);
+            }
+            const frozenEntity = {
+                ...current,
+                frozen: true,
+                checksum: "",
+            };
+            frozenEntity.checksum = this.computeChecksum(frozenEntity);
+            versions.set(maxVersion, frozenEntity);
+            const nextVersion = maxVersion + 1;
+            const nextEntity = {
+                ...current,
+                version: nextVersion,
+                frozen: false,
+                checksum: "",
+            };
+            nextEntity.checksum = this.computeChecksum(nextEntity);
+            versions.set(nextVersion, nextEntity);
+            return { frozen: frozenEntity, current: nextEntity };
+        });
+    }
+    /** Returns a specific version of an entity, or `undefined` if not found. */
+    get(id, version) {
+        return this.entities.get(id)?.get(version);
+    }
+    /** Returns the latest (highest-version) entity for the given ID, or `undefined` if not found. */
+    getCurrent(id) {
+        const versions = this.entities.get(id);
+        if (!versions)
+            return undefined;
+        return versions.get(this.maxVersion(versions));
+    }
+    /** Returns every entity across all IDs and versions. */
+    getAll() {
+        const result = [];
+        for (const versions of this.entities.values()) {
+            for (const entity of versions.values()) {
+                result.push(entity);
+            }
+        }
+        return result;
+    }
+    /** Returns all versions of an entity sorted ascending by version number. */
+    getVersions(id) {
+        const versions = this.entities.get(id);
+        if (!versions)
+            return [];
+        return Array.from(versions.values()).sort((a, b) => a.version - b.version);
+    }
+    /** Validates all entities against the schema and checks that frozen versions have successors. */
+    validate() {
+        const violations = [];
+        for (const [id, versions] of this.entities) {
+            const sortedVersions = [...versions.entries()].sort(([a], [b]) => a - b);
+            for (const [version, entity] of sortedVersions) {
+                if (!Value.Check(this.schema, entity)) {
+                    violations.push({
+                        code: this.schemaInvalidCode,
+                        message: `${this.entityLabel} "${id}" version ${version} does not conform to schema`,
+                        entityType: this.entityType,
+                        entityId: id,
+                    });
+                }
+                if (entity.frozen) {
+                    const maxVer = this.maxVersion(versions);
+                    if (version < maxVer && !versions.has(version + 1)) {
+                        violations.push({
+                            code: this.frozenSuccessorCode,
+                            message: `${this.entityLabel} "${id}" version ${version} is frozen but has no successor version`,
+                            entityType: this.entityType,
+                            entityId: id,
+                        });
+                    }
+                }
+            }
+        }
+        return { ok: violations.length === 0, violations };
+    }
+    maxVersion(versions) {
+        let max = -1;
+        for (const v of versions.keys()) {
+            if (v > max)
+                max = v;
+        }
+        return max;
+    }
+    computeChecksum(entity) {
+        const fields = this.checksumConfig?.[this.checksumFieldsKey] ??
+            DEFAULT_CHECKSUM_CONFIG[this.checksumFieldsKey];
+        return entityChecksum(entity, fields);
+    }
+}
+//# sourceMappingURL=versioned-library.js.map

package/dist/lib/core/versioned-library.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"versioned-library.js","sourceRoot":"","sources":["../../../src/lib/core/versioned-library.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAGrC,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAA;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAM9C,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAA;AAUxE;;;;GAIG;AACH,MAAM,OAAgB,gBAAgB;IACxB,QAAQ,CAAmC;IAC3C,cAAc,CAAsB;IAS9C,YAAY,OAAkD;QAC1D,IAAI,CAAC,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAA;QACzB,IAAI,CAAC,cAAc,GAAG,OAAO,EAAE,cAAc,CAAA;IACjD,CAAC;IAES,mBAAmB,CAAC,KAAgB;QAC1C,IAAI,CAAC,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAA;QACzB,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YAC3C,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAA;gBACpB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAA;YAC1C,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;QACxC,CAAC;IACL,CAAC;IAES,cAAc,CAAI,EAAW;QACnC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,CAAA;QACzB,IAAI,CAAC;YACD,MAAM,MAAM,GAAG,EAAE,EAAE,CAAA;YACnB,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAA;YAClC,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;gBACjB,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAA;gBAC7B,MAAM,IAAI,uBAAuB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;YAC5D,CAAC;YACD,OAAO,MAAM,CAAA;QACjB,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACT,IAAI,CAAC,CAAC,CAAC,YAAY,uBAAuB,CAAC,EAAE,CAAC;gBAC1C,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAA;YACjC,CAAC;YACD,MAAM,CAAC,CAAA;QACX,CAAC;IACL,CAAC;IAED,0EAA0E;IACnE,MAAM,CACT,MAAwD;QAExD,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAY,CAAC,EAAE,CAAC;gBACzC,MAAM,IAAI,KAAK,CACX,GAAG,IAAI,CAAC,WAAW,aAAa,MAAM,CAAC,EAAE,mBAAmB,CAC/D,CAAA;YACL,CAAC;YACD,MAAM,IAAI,GAAG;gBACT,GAAG,MAAM;gBACT,OAAO,EAAE,CAAC;gBACV,MAAM,EAAE,KAAK;gBACb,QAAQ,EAAE,EAAE;aACJ,CAAA;YACZ,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAA;YAE1C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAA;YAC3C,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;YACrB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAA;YACpC,OAAO,IAAI,CAAA;QACf,CAAC,CAAC,CAAA;IACN,CAAC;IAED,kGAAkG;IAC3F,MAAM,CACT,EAAU,EACV,OAEC;QAED,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACtC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,WAAW,KAAK,EAAE,mBAAmB,CAAC,CAAA;YAClE,CAAC;YACD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAA;YAC5C,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAE,CAAA;YACzC,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;gBACjB,MAAM,IAAI,KAAK,CACX,GAAG,IAAI,CAAC,WAAW,KAAK,EAAE,aAAa,UAAU,mCAAmC,CACvF,CAAA;YACL,CAAC;YACD,MAAM,OAAO,GAAG;gBACZ,GAAG,OAAO;gBACV,GAAG,OAAO;gBACV,EAAE,EAAE,OAAO,CAAC,EAAE;gBACd,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,QAAQ,EAAE,EAAE;aACJ,CAAA;YACZ,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,CAAA;YAChD,QAAQ,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;YACjC,OAAO,OAAO,CAAA;QAClB,CAAC,CAAC,CAAA;IACN,CAAC;IAED,oFAAoF;IAC7E,MAAM,CAAC,EAAU;QACpB,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACtC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,WAAW,KAAK,EAAE,mBAAmB,CAAC,CAAA;YAClE,CAAC;YACD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAA;YAC5C,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAE,CAAA;YACzC,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;gBACjB,MAAM,IAAI,KAAK,CACX,GAAG,IAAI,CAAC,WAAW,KAAK,EAAE,aAAa,UAAU,qBAAqB,CACzE,CAAA;YACL,CAAC;YACD,MAAM,YAAY,GAAG;gBACjB,GAAG,OAAO;gBACV,MAAM,EAAE,IAAI;gBACZ,QAAQ,EAAE,EAAE;aACJ,CAAA;YACZ,YAAY,CAAC,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,YAAY,CAAC,CAAA;YAC1D,QAAQ,CAAC,GAAG,CAAC,UAAU,EAAE,YAAY,CAAC,CAAA;YAEtC,MAAM,WAAW,GAAG,UAAU,GAAG,CAAC,CAAA;YAClC,MAAM,UAAU,GAAG;gBACf,GAAG,OAAO;gBACV,OAAO,EAAE,WAAW;gBACpB,MAAM,EAAE,KAAK;gBACb,QAAQ,EAAE,EAAE;aACJ,CAAA;YACZ,UAAU,CAAC,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,CAAA;YACtD,QAAQ,CAAC,GAAG,CAAC,WAAW,EAAE,UAAU,CAAC,CAAA;YAErC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,CAAA;QACxD,CAAC,CAAC,CAAA;IACN,CAAC;IAED,4EAA4E;IACrE,GAAG,CAAC,EAAU,EAAE,OAAe;QAClC,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAA;IAC9C,CAAC;IAED,iGAAiG;IAC1F,UAAU,CAAC,EAAU;QACxB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QACtC,IAAI,CAAC,QAAQ;YAAE,OAAO,SAAS,CAAA;QAC/B,OAAO,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAA;IAClD,CAAC;IAED,wDAAwD;IACjD,MAAM;QACT,MAAM,MAAM,GAAc,EAAE,CAAA;QAC5B,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;YAC5C,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;gBACrC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;YACvB,CAAC;QACL,CAAC;QACD,OAAO,MAAM,CAAA;IACjB,CAAC;IAED,4EAA4E;IACrE,WAAW,CAAC,EAAU;QACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QACtC,IAAI,CAAC,QAAQ;YAAE,OAAO,EAAE,CAAA;QACxB,OAAO,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CACrC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,CAClC,CAAA;IACL,CAAC;IAED,iGAAiG;IAC1F,QAAQ;QACX,MAAM,UAAU,GAA0B,EAAE,CAAA;QAC5C,KAAK,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACzC,MAAM,cAAc,GAAG,CAAC,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAC/C,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CACtB,CAAA;YACD,KAAK,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;gBAC7C,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;oBACpC,UAAU,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,IAAI,CAAC,iBAAiB;wBAC5B,OAAO,EAAE,GAAG,IAAI,CAAC,WAAW,KAAK,EAAE,aAAa,OAAO,6BAA6B;wBACpF,UAAU,EAAE,IAAI,CAAC,UAAU;wBAC3B,QAAQ,EAAE,EAAE;qBACf,CAAC,CAAA;gBACN,CAAC;gBACD,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;oBAChB,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAA;oBACxC,IAAI,OAAO,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC;wBACjD,UAAU,CAAC,IAAI,CAAC;4BACZ,IAAI,EAAE,IAAI,CAAC,mBAAmB;4BAC9B,OAAO,EAAE,GAAG,IAAI,CAAC,WAAW,KAAK,EAAE,aAAa,OAAO,yCAAyC;4BAChG,UAAU,EAAE,IAAI,CAAC,UAAU;4BAC3B,QAAQ,EAAE,EAAE;yBACf,CAAC,CAAA;oBACN,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAA;IACtD,CAAC;IAEO,UAAU,CAAC,QAA8B;QAC7C,IAAI,GAAG,GAAG,CAAC,CAAC,CAAA;QACZ,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;YAC9B,IAAI,CAAC,GAAG,GAAG;gBAAE,GAAG,GAAG,CAAC,CAAA;QACxB,CAAC;QACD,OAAO,GAAG,CAAA;IACd,CAAC;IAEO,eAAe,CAAC,MAAe;QACnC,MAAM,MAAM,GACR,IAAI,CAAC,cAAc,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC;YAC7C,uBAAuB,CAAC,IAAI,CAAC,iBAAiB,CAAE,CAAA;QACpD,OAAO,cAAc,CACjB,MAA4C,EAC5C,MAAM,CACT,CAAA;IACL,CAAC;CACJ"}

package/dist/lib/index.d.ts

@@ -0,0 +1,54 @@
+/**
+ * Library barrel export. Re-exports core classes, evaluation types, diff
+ * types, schemata, and the diff function.
+ */
+export * from "./schemata/index.js";
+export { ArgumentEngine, defaultGenerateId } from "./core/argument-engine.js";
+export type { TLogicEngineOptions, TArgumentEngineSnapshot, } from "./core/argument-engine.js";
+export { PremiseEngine } from "./core/premise-engine.js";
+export type { TPremiseEngineSnapshot } from "./core/premise-engine.js";
+export type * from "./core/interfaces/index.js";
+export type { TExpressionManagerSnapshot } from "./core/expression-manager.js";
+export type { TVariableManagerSnapshot } from "./core/variable-manager.js";
+export { ClaimLibrary } from "./core/claim-library.js";
+export { SourceLibrary } from "./core/source-library.js";
+export { VersionedLibrary } from "./core/versioned-library.js";
+export type { TVersionedEntity } from "./core/versioned-library.js";
+export { ClaimSourceLibrary } from "./core/claim-source-library.js";
+export { ArgumentLibrary } from "./core/argument-library.js";
+export type { TArgumentLibraryLibraries } from "./core/argument-library.js";
+export { ForkNamespace } from "./core/fork-namespace.js";
+export { ForkLibrary } from "./core/fork-library.js";
+export { PropositCore } from "./core/proposit-core.js";
+export type { TPropositCoreOptions } from "./core/proposit-core.js";
+export * from "./types/evaluation.js";
+export { gradeEvaluation } from "./core/evaluation/grading.js";
+export type { TCoreEvaluationGrade, TCoreEvaluationGrading, } from "./core/evaluation/grading.js";
+export { evaluateArgument, checkArgumentValidity, propagateOperatorConstraints, } from "./core/evaluation/argument-evaluation.js";
+export type { TArgumentEvaluationContext, TEvaluablePremise, } from "./core/evaluation/argument-evaluation.js";
+export * from "./types/diff.js";
+export * from "./types/mutation.js";
+export { mergeChangesets, orderChangeset } from "./utils/changeset.js";
+export type { TOrderedOperation } from "./utils/changeset.js";
+export { createLookup, EMPTY_CLAIM_LOOKUP, EMPTY_SOURCE_LOOKUP, EMPTY_CLAIM_SOURCE_LOOKUP, } from "./utils/lookup.js";
+export * from "./types/checksum.js";
+export { computeHash, canonicalSerialize, entityChecksum, } from "./core/checksum.js";
+export { diffArguments, defaultCompareArgument, defaultCompareVariable, defaultComparePremise, defaultCompareExpression, } from "./core/diff.js";
+export * from "./types/relationships.js";
+export { analyzePremiseRelationships, buildPremiseProfile, } from "./core/relationships.js";
+export { DEFAULT_CHECKSUM_CONFIG, createChecksumConfig, normalizeChecksumConfig, serializeChecksumConfig, } from "./consts.js";
+export { parseFormula } from "./core/parser/formula.js";
+export type { TFormulaAST } from "./core/parser/formula.js";
+export type { TExpressionInput, TExpressionWithoutPosition, TExpressionUpdate, } from "./core/expression-manager.js";
+export { POSITION_MIN, POSITION_MAX, POSITION_INITIAL, DEFAULT_POSITION_CONFIG, midpoint, } from "./utils/position.js";
+export type { TCorePositionConfig } from "./utils/position.js";
+export * from "./types/reactive.js";
+export * from "./types/grammar.js";
+export * from "./types/fork.js";
+export { forkArgumentEngine } from "./core/fork.js";
+export * from "./parsing/index.js";
+export * from "./types/validation.js";
+export { validateArgument, validateArgumentAfterPremiseMutation, validateArgumentEvaluability, collectArgumentReferencedVariables, } from "./core/argument-validation.js";
+export type { TArgumentValidationContext, TValidatablePremise, } from "./core/argument-validation.js";
+export { InvariantViolationError } from "./core/invariant-violation-error.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/lib/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAC7E,YAAY,EACR,mBAAmB,EACnB,uBAAuB,GAC1B,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,YAAY,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAA;AACtE,mBAAmB,4BAA4B,CAAA;AAC/C,YAAY,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAA;AAC9E,YAAY,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAA;AAC1E,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AAC9D,YAAY,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AACnE,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAA;AACnE,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAC5D,YAAY,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAA;AAC3E,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAA;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AACtD,YAAY,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAA;AACnE,cAAc,uBAAuB,CAAA;AACrC,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AAC9D,YAAY,EACR,oBAAoB,EACpB,sBAAsB,GACzB,MAAM,8BAA8B,CAAA;AACrC,OAAO,EACH,gBAAgB,EAChB,qBAAqB,EACrB,4BAA4B,GAC/B,MAAM,0CAA0C,CAAA;AACjD,YAAY,EACR,0BAA0B,EAC1B,iBAAiB,GACpB,MAAM,0CAA0C,CAAA;AACjD,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACtE,YAAY,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AAC7D,OAAO,EACH,YAAY,EACZ,kBAAkB,EAClB,mBAAmB,EACnB,yBAAyB,GAC5B,MAAM,mBAAmB,CAAA;AAC1B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,cAAc,GACjB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,GAC3B,MAAM,gBAAgB,CAAA;AACvB,cAAc,0BAA0B,CAAA;AACxC,OAAO,EACH,2BAA2B,EAC3B,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EACH,uBAAuB,EACvB,oBAAoB,EACpB,uBAAuB,EACvB,uBAAuB,GAC1B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AACvD,YAAY,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAA;AAC3D,YAAY,EACR,gBAAgB,EAChB,0BAA0B,EAC1B,iBAAiB,GACpB,MAAM,8BAA8B,CAAA;AACrC,OAAO,EACH,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,QAAQ,GACX,MAAM,qBAAqB,CAAA;AAC5B,YAAY,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAC9D,cAAc,qBAAqB,CAAA;AACnC,cAAc,oBAAoB,CAAA;AAClC,cAAc,iBAAiB,CAAA;AAC/B,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACnD,cAAc,oBAAoB,CAAA;AAClC,cAAc,uBAAuB,CAAA;AACrC,OAAO,EACH,gBAAgB,EAChB,oCAAoC,EACpC,4BAA4B,EAC5B,kCAAkC,GACrC,MAAM,+BAA+B,CAAA;AACtC,YAAY,EACR,0BAA0B,EAC1B,mBAAmB,GACtB,MAAM,+BAA+B,CAAA;AACtC,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAA"}

package/dist/lib/index.js

@@ -0,0 +1,39 @@
+/**
+ * Library barrel export. Re-exports core classes, evaluation types, diff
+ * types, schemata, and the diff function.
+ */
+export * from "./schemata/index.js";
+export { ArgumentEngine, defaultGenerateId } from "./core/argument-engine.js";
+export { PremiseEngine } from "./core/premise-engine.js";
+export { ClaimLibrary } from "./core/claim-library.js";
+export { SourceLibrary } from "./core/source-library.js";
+export { VersionedLibrary } from "./core/versioned-library.js";
+export { ClaimSourceLibrary } from "./core/claim-source-library.js";
+export { ArgumentLibrary } from "./core/argument-library.js";
+export { ForkNamespace } from "./core/fork-namespace.js";
+export { ForkLibrary } from "./core/fork-library.js";
+export { PropositCore } from "./core/proposit-core.js";
+export * from "./types/evaluation.js";
+export { gradeEvaluation } from "./core/evaluation/grading.js";
+export { evaluateArgument, checkArgumentValidity, propagateOperatorConstraints, } from "./core/evaluation/argument-evaluation.js";
+export * from "./types/diff.js";
+export * from "./types/mutation.js";
+export { mergeChangesets, orderChangeset } from "./utils/changeset.js";
+export { createLookup, EMPTY_CLAIM_LOOKUP, EMPTY_SOURCE_LOOKUP, EMPTY_CLAIM_SOURCE_LOOKUP, } from "./utils/lookup.js";
+export * from "./types/checksum.js";
+export { computeHash, canonicalSerialize, entityChecksum, } from "./core/checksum.js";
+export { diffArguments, defaultCompareArgument, defaultCompareVariable, defaultComparePremise, defaultCompareExpression, } from "./core/diff.js";
+export * from "./types/relationships.js";
+export { analyzePremiseRelationships, buildPremiseProfile, } from "./core/relationships.js";
+export { DEFAULT_CHECKSUM_CONFIG, createChecksumConfig, normalizeChecksumConfig, serializeChecksumConfig, } from "./consts.js";
+export { parseFormula } from "./core/parser/formula.js";
+export { POSITION_MIN, POSITION_MAX, POSITION_INITIAL, DEFAULT_POSITION_CONFIG, midpoint, } from "./utils/position.js";
+export * from "./types/reactive.js";
+export * from "./types/grammar.js";
+export * from "./types/fork.js";
+export { forkArgumentEngine } from "./core/fork.js";
+export * from "./parsing/index.js";
+export * from "./types/validation.js";
+export { validateArgument, validateArgumentAfterPremiseMutation, validateArgumentEvaluability, collectArgumentReferencedVariables, } from "./core/argument-validation.js";
+export { InvariantViolationError } from "./core/invariant-violation-error.js";
+//# sourceMappingURL=index.js.map

package/dist/lib/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAK7E,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AAKxD,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AAE9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAA;AACnE,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAE5D,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAA;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAEtD,cAAc,uBAAuB,CAAA;AACrC,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AAK9D,OAAO,EACH,gBAAgB,EAChB,qBAAqB,EACrB,4BAA4B,GAC/B,MAAM,0CAA0C,CAAA;AAKjD,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAEtE,OAAO,EACH,YAAY,EACZ,kBAAkB,EAClB,mBAAmB,EACnB,yBAAyB,GAC5B,MAAM,mBAAmB,CAAA;AAC1B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,cAAc,GACjB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,GAC3B,MAAM,gBAAgB,CAAA;AACvB,cAAc,0BAA0B,CAAA;AACxC,OAAO,EACH,2BAA2B,EAC3B,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EACH,uBAAuB,EACvB,oBAAoB,EACpB,uBAAuB,EACvB,uBAAuB,GAC1B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AAOvD,OAAO,EACH,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,QAAQ,GACX,MAAM,qBAAqB,CAAA;AAE5B,cAAc,qBAAqB,CAAA;AACnC,cAAc,oBAAoB,CAAA;AAClC,cAAc,iBAAiB,CAAA;AAC/B,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACnD,cAAc,oBAAoB,CAAA;AAClC,cAAc,uBAAuB,CAAA;AACrC,OAAO,EACH,gBAAgB,EAChB,oCAAoC,EACpC,4BAA4B,EAC5B,kCAAkC,GACrC,MAAM,+BAA+B,CAAA;AAKtC,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAA"}

package/dist/lib/parsing/argument-parser.d.ts

@@ -0,0 +1,49 @@
+import type { TSchema } from "typebox";
+import type { TParserWarning, TParserBuildOptions } from "./types.js";
+import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable, TCoreSource, TCoreClaim, TCoreClaimSourceAssociation } from "../schemata/index.js";
+import { ArgumentEngine } from "../core/argument-engine.js";
+import { ClaimLibrary } from "../core/claim-library.js";
+import { SourceLibrary } from "../core/source-library.js";
+import { ClaimSourceLibrary } from "../core/claim-source-library.js";
+import type { TParsedArgumentResponse, TParsedArgument, TParsedClaim, TParsedVariable, TParsedSource, TParsedPremise } from "./schemata.js";
+/**
+ * The result returned by `ArgumentParser.build()`.
+ */
+export type TArgumentParserResult<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource, TClaim extends TCoreClaim = TCoreClaim, TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation> = {
+    engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc>;
+    claimLibrary: ClaimLibrary<TClaim>;
+    sourceLibrary: SourceLibrary<TSource>;
+    claimSourceLibrary: ClaimSourceLibrary<TAssoc>;
+    warnings: TParserWarning[];
+};
+/**
+ * Validates and builds an `ArgumentEngine` from a parsed LLM response.
+ *
+ * Override the protected `map*` hooks to inject custom fields into
+ * the entities created during the build phase.
+ */
+export declare class ArgumentParser<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource, TClaim extends TCoreClaim = TCoreClaim, TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation> {
+    protected readonly responseSchema: TSchema;
+    constructor(responseSchema?: TSchema);
+    /**
+     * Validate raw LLM output against the response schema.
+     */
+    validate(raw: unknown): TParsedArgumentResponse;
+    /**
+     * Build an ArgumentEngine from a validated response.
+     *
+     * @throws If `response.argument` is null
+     * @throws If any formula references an undeclared variable
+     * @throws If any formula contains nested implies/iff
+     * @throws If a variable references an undeclared claim miniId
+     * @throws If the conclusion premise miniId is unresolvable
+     */
+    build(response: TParsedArgumentResponse, options?: TParserBuildOptions): TArgumentParserResult<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc>;
+    protected mapArgument(_parsed: TParsedArgument): Record<string, unknown>;
+    protected mapClaim(_parsed: TParsedClaim): Record<string, unknown>;
+    protected mapSource(_parsed: TParsedSource): Record<string, unknown>;
+    protected mapVariable(_parsed: TParsedVariable): Record<string, unknown>;
+    protected mapPremise(_parsed: TParsedPremise): Record<string, unknown>;
+    protected mapClaimSourceAssociation(_parsed: TParsedClaim, _claimId: string, _sourceId: string): Record<string, unknown>;
+}
+//# sourceMappingURL=argument-parser.d.ts.map

package/dist/lib/parsing/argument-parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"argument-parser.d.ts","sourceRoot":"","sources":["../../../src/lib/parsing/argument-parser.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AACtC,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAA;AACrE,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,WAAW,EACX,UAAU,EACV,2BAA2B,EAC9B,MAAM,sBAAsB,CAAA;AAM7B,OAAO,EAAE,cAAc,EAAqB,MAAM,4BAA4B,CAAA;AAC9E,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAA;AAGpE,OAAO,KAAK,EACR,uBAAuB,EACvB,eAAe,EACf,YAAY,EACZ,eAAe,EACf,aAAa,EACb,cAAc,EACjB,MAAM,eAAe,CAAA;AAEtB;;GAEG;AACH,MAAM,MAAM,qBAAqB,CAC7B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EACzC,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,MAAM,SAAS,2BAA2B,GAAG,2BAA2B,IACxE;IACA,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAC5E,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IAClC,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;IACrC,kBAAkB,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAA;IAC9C,QAAQ,EAAE,cAAc,EAAE,CAAA;CAC7B,CAAA;AA2LD;;;;;GAKG;AACH,qBAAa,cAAc,CACvB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EACzC,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,MAAM,SAAS,2BAA2B,GAAG,2BAA2B;IAExE,SAAS,CAAC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAA;gBAE9B,cAAc,CAAC,EAAE,OAAO;IAIpC;;OAEG;IACI,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,uBAAuB;IAKtD;;;;;;;;OAQG;IACI,KAAK,CACR,QAAQ,EAAE,uBAAuB,EACjC,OAAO,CAAC,EAAE,mBAAmB,GAC9B,qBAAqB,CACpB,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,CACT;IAkSD,SAAS,CAAC,WAAW,CAAC,OAAO,EAAE,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIxE,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIlE,SAAS,CAAC,SAAS,CAAC,OAAO,EAAE,aAAa,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIpE,SAAS,CAAC,WAAW,CAAC,OAAO,EAAE,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIxE,SAAS,CAAC,UAAU,CAAC,OAAO,EAAE,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAItE,SAAS,CAAC,yBAAyB,CAC/B,OAAO,EAAE,YAAY,EACrB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,GAClB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;CAG7B"}