mcard-js 2.1.47 → 2.1.49

package/dist/chunk-Z7EFXSTO.js

@@ -0,0 +1,217 @@
+import {
+  AbstractSqlEngine,
+  initCoreSchemas
+} from "./chunk-HIVVDGE5.js";
+import {
+  createPage
+} from "./chunk-3EIBJPNF.js";
+import {
+  Handle_exports,
+  init_Handle
+} from "./chunk-ADV52544.js";
+import {
+  DEFAULT_PAGE_SIZE,
+  SQLITE_BUSY_TIMEOUT_MS
+} from "./chunk-3FFEA2XK.js";
+import {
+  MCard
+} from "./chunk-GGQCF7ZK.js";
+import {
+  __toCommonJS
+} from "./chunk-PNKVD2UK.js";
+
+// src/storage/engines/SqliteNodeEngine.ts
+var SqliteNodeEngine = class _SqliteNodeEngine extends AbstractSqlEngine {
+  db;
+  dbPath;
+  /**
+   * Convert a database row into an MCard instance.
+   */
+  rowToCard(row) {
+    const rawContent = row.content;
+    const content = rawContent instanceof Buffer ? new Uint8Array(rawContent) : new Uint8Array(rawContent);
+    return MCard.fromData(content, String(row.hash), String(row.g_time));
+  }
+  /**
+   * Create a new SqliteNodeEngine via async factory.
+   * @param dbPath Path to database file, or ':memory:' for in-memory database
+   */
+  static async create(dbPath = ":memory:") {
+    const engine = new _SqliteNodeEngine(dbPath);
+    await engine.init();
+    return engine;
+  }
+  constructor(dbPath) {
+    super();
+    this.dbPath = dbPath;
+  }
+  async init() {
+    try {
+      const mod = await import("better-sqlite3");
+      const Database = mod.default || mod;
+      this.db = new Database(this.dbPath);
+      this.setupDatabase();
+    } catch (e) {
+      console.error(`SqliteNodeEngine: Failed to load better-sqlite3: ${e.message}`);
+      throw e;
+    }
+  }
+  /**
+   * Initialize database schema
+   */
+  setupDatabase() {
+    this.db.pragma("journal_mode = WAL");
+    this.db.pragma(`busy_timeout = ${SQLITE_BUSY_TIMEOUT_MS}`);
+    this.db.pragma("synchronous = NORMAL");
+    initCoreSchemas(this.db);
+  }
+  // ======================================================================
+  // AbstractSqlEngine primitives
+  // ======================================================================
+  async queryRows(sql, ...params) {
+    const stmt = this.db.prepare(sql);
+    return stmt.all(...params);
+  }
+  async execSql(sql, ...params) {
+    if (params.length === 0) {
+      this.db.exec(sql);
+      return 0;
+    }
+    const stmt = this.db.prepare(sql);
+    const result = stmt.run(...params);
+    return result.changes;
+  }
+  /**
+   * Close the database connection
+   */
+  close() {
+    this.db.close();
+  }
+  /**
+   * Get the database path
+   */
+  getDbPath() {
+    return this.dbPath;
+  }
+  // =========== Card Operations (overrides to use Buffer.from for better-sqlite3) ===========
+  async add(card) {
+    const stmt = this.db.prepare(
+      "INSERT OR REPLACE INTO card (hash, content, g_time) VALUES (?, ?, ?)"
+    );
+    stmt.run(card.hash, Buffer.from(card.content), card.g_time);
+    return card.hash;
+  }
+  // =========== Sync card operations (for performance-critical callers) ===========
+  addSync(card) {
+    const stmt = this.db.prepare(
+      "INSERT OR REPLACE INTO card (hash, content, g_time) VALUES (?, ?, ?)"
+    );
+    stmt.run(card.hash, Buffer.from(card.content), card.g_time);
+    return card.hash;
+  }
+  getSync(hash) {
+    const stmt = this.db.prepare("SELECT hash, content, g_time FROM card WHERE hash = ?");
+    const row = stmt.get(hash);
+    if (!row) return null;
+    return this.rowToCard(row);
+  }
+  deleteSync(hash) {
+    const stmt = this.db.prepare("DELETE FROM card WHERE hash = ?");
+    const result = stmt.run(hash);
+    return result.changes > 0;
+  }
+  getPageSync(pageNumber = 1, pageSize = DEFAULT_PAGE_SIZE) {
+    if (pageNumber < 1) throw new Error("Page number must be >= 1");
+    if (pageSize < 1) throw new Error("Page size must be >= 1");
+    const totalItems = this.countSync();
+    const offset = (pageNumber - 1) * pageSize;
+    const stmt = this.db.prepare(
+      "SELECT hash, content, g_time FROM card ORDER BY g_time DESC LIMIT ? OFFSET ?"
+    );
+    const rows = stmt.all(pageSize, offset);
+    const items = rows.map((row) => this.rowToCard(row));
+    return createPage(items, totalItems, pageNumber, pageSize);
+  }
+  countSync() {
+    const stmt = this.db.prepare("SELECT COUNT(*) as cnt FROM card");
+    const row = stmt.get();
+    return row.cnt;
+  }
+  clearSync() {
+    this.db.exec("DELETE FROM handle_history");
+    this.db.exec("DELETE FROM handle_registry");
+    this.db.exec("DELETE FROM card");
+  }
+  // =========== Additional sync search operations ===========
+  searchByString(searchString, pageNumber = 1, pageSize = DEFAULT_PAGE_SIZE) {
+    if (pageNumber < 1) throw new Error("Page number must be >= 1");
+    if (pageSize < 1) throw new Error("Page size must be >= 1");
+    const pattern = `%${searchString}%`;
+    const offset = (pageNumber - 1) * pageSize;
+    const countStmt = this.db.prepare(`
+            SELECT COUNT(*) as cnt FROM card
+            WHERE hash LIKE ? OR g_time LIKE ? OR CAST(content AS TEXT) LIKE ?
+        `);
+    const countRow = countStmt.get(pattern, pattern, pattern);
+    const totalItems = countRow.cnt;
+    const stmt = this.db.prepare(`
+            SELECT hash, content, g_time FROM card
+            WHERE hash LIKE ? OR g_time LIKE ? OR CAST(content AS TEXT) LIKE ?
+            ORDER BY g_time DESC LIMIT ? OFFSET ?
+        `);
+    const rows = stmt.all(pattern, pattern, pattern, pageSize, offset);
+    const items = rows.map((row) => this.rowToCard(row));
+    return createPage(items, totalItems, pageNumber, pageSize);
+  }
+  searchByContent(searchPattern, pageNumber = 1, pageSize = DEFAULT_PAGE_SIZE) {
+    if (pageNumber < 1) throw new Error("Page number must be >= 1");
+    if (pageSize < 1) throw new Error("Page size must be >= 1");
+    if (!searchPattern || typeof searchPattern === "string" && searchPattern.length === 0) {
+      throw new Error("Search pattern cannot be empty");
+    }
+    const searchBytes = typeof searchPattern === "string" ? Buffer.from(searchPattern, "utf-8") : Buffer.from(searchPattern);
+    const offset = (pageNumber - 1) * pageSize;
+    const countStmt = this.db.prepare("SELECT COUNT(*) as cnt FROM card WHERE INSTR(content, ?) > 0");
+    const countRow = countStmt.get(searchBytes);
+    const totalItems = countRow.cnt;
+    const stmt = this.db.prepare(`
+            SELECT hash, content, g_time FROM card
+            WHERE INSTR(content, ?) > 0
+            ORDER BY g_time DESC LIMIT ? OFFSET ?
+        `);
+    const rows = stmt.all(searchBytes, pageSize, offset);
+    const items = rows.map((row) => this.rowToCard(row));
+    return createPage(items, totalItems, pageNumber, pageSize);
+  }
+  getAllCards() {
+    const stmt = this.db.prepare("SELECT hash, content, g_time FROM card ORDER BY g_time DESC");
+    const rows = stmt.all();
+    const items = rows.map((row) => this.rowToCard(row));
+    return createPage(items, items.length, 1, items.length || 1);
+  }
+  // =========== Unique sync method (not in AbstractSqlEngine) ===========
+  deleteHistoryEntrySync(handle, previousHash) {
+    const { validateHandle } = (init_Handle(), __toCommonJS(Handle_exports));
+    const normalized = validateHandle(handle);
+    const performStitch = this.db.transaction(() => {
+      const rOut = this.db.prepare(
+        "SELECT id, previous_hash FROM handle_history WHERE handle = ? AND previous_hash = ? ORDER BY id DESC LIMIT 1"
+      ).get(normalized, previousHash);
+      if (!rOut) return;
+      const rIn = this.db.prepare(
+        "SELECT id, previous_hash FROM handle_history WHERE handle = ? AND id < ? ORDER BY id DESC LIMIT 1"
+      ).get(normalized, rOut.id);
+      if (rIn) {
+        this.db.prepare("UPDATE handle_history SET previous_hash = ? WHERE id = ?").run(rIn.previous_hash, rOut.id);
+        this.db.prepare("DELETE FROM handle_history WHERE id = ?").run(rIn.id);
+      } else {
+        this.db.prepare("DELETE FROM handle_history WHERE id = ?").run(rOut.id);
+      }
+    });
+    performStitch();
+  }
+};
+
+export {
+  SqliteNodeEngine
+};

package/dist/index.browser.cjs

@@ -96,13 +96,13 @@ var init_GTime = __esm({
       static DEFAULT_ALGORITHM = "sha256";
       /**
        * Generate a GTime stamp for the current moment
-       * Format: HASH_ALGO|TIMESTAMP|REGION_CODE
+       * Format: ALGORITHM|TIMESTAMP|LOCALE_OR_DID
+       * Representing the mathematical coordinate (a,b,c) for an event signature.
        */
-      static stampNow(hashAlgorithm = this.DEFAULT_ALGORITHM) {
+      static stampNow(hashAlgorithm = this.DEFAULT_ALGORITHM, localeOrDID = "UTC") {
         const algo = hashAlgorithm.toLowerCase();
         const timestamp = (/* @__PURE__ */ new Date()).toISOString();
-        const region = "UTC";
-        return `${algo}|${timestamp}|${region}`;
+        return `${algo}|${timestamp}|${localeOrDID}`;
       }
       /**
        * Parse a GTime string
@@ -115,26 +115,28 @@ var init_GTime = __esm({
         return {
           algorithm: parts[0],
           timestamp: new Date(parts[1]),
-          region: parts[2]
+          localeOrDID: parts[2]
         };
       }
-      /**
-       * Get the hash algorithm from a GTime string
-       */
-      static getHashAlgorithm(gtime) {
+      /** Extract coordinate a: Algorithm */
+      static getAlgorithm(gtime) {
         return this.parse(gtime).algorithm;
       }
-      /**
-       * Get the timestamp from a GTime string
-       */
+      /** Alias for backward compatibility */
+      static getHashAlgorithm(gtime) {
+        return this.getAlgorithm(gtime);
+      }
+      /** Extract coordinate b: Timestamp */
       static getTimestamp(gtime) {
         return this.parse(gtime).timestamp;
       }
-      /**
-       * Get the region code from a GTime string
-       */
+      /** Extract coordinate c: Locale or DID */
+      static getLocaleOrDID(gtime) {
+        return this.parse(gtime).localeOrDID;
+      }
+      /** Alias for backward compatibility */
       static getRegionCode(gtime) {
-        return this.parse(gtime).region;
+        return this.getLocaleOrDID(gtime);
       }
       /**
        * Check if the provided hash function is valid.
@@ -147,11 +149,11 @@ var init_GTime = __esm({
         return VALID_HASH_ALGORITHMS.includes(hashFunction.toLowerCase());
       }
       /**
-       * Check if the provided region code is valid.
-       * Matches Python's GTime.is_valid_region_code()
+       * Check if the provided locale/region code is valid.
+       * Maintains backward compatibility by checking for strings.
        */
       static isValidRegionCode(regionCode) {
-        return Boolean(regionCode && regionCode === regionCode.toUpperCase());
+        return Boolean(regionCode && typeof regionCode === "string");
       }
       /**
        * Check if the provided timestamp is in ISO format.
@@ -355,6 +357,8 @@ __export(index_browser_exports, {
   MCard: () => MCard,
   MCardStore: () => MCardStore,
   Maybe: () => Maybe,
+  PostconditionViolation: () => PostconditionViolation,
+  PreconditionViolation: () => PreconditionViolation,
   Reader: () => Reader,
   ServiceWorkerPTR: () => ServiceWorkerPTR,
   SqliteWasmEngine: () => SqliteWasmEngine,
@@ -525,6 +529,8 @@ var app_config_default = {
     default_ws_host: "127.0.0.1",
     default_ws_port: 5321,
     default_api_port: 5320,
+    default_python_api_port: 28302,
+    default_js_api_port: 28303,
     default_server_host: "0.0.0.0",
     cors_origins: [
       "http://localhost:3000",
@@ -554,7 +560,8 @@ var app_config_default = {
     default_server_memory_db: "servermemory.db",
     default_mcard_db: "mcard.db",
     default_server_log_db: "server_log.db",
-    default_push_subscriptions_file: "subscriptions.json"
+    default_push_subscriptions_file: "subscriptions.json",
+    default_vcard_db_path: "data/vcard.db"
   },
   services: {
     default_ollama_base_url: "http://localhost:11434",
@@ -607,6 +614,9 @@ var INDEXEDDB_DEFAULT_DB_VERSION = 1;
 var DEFAULT_IDENTITY_PROVIDER = String(identity.provider ?? "sqlite");
 var DEFAULT_IDENTITY_SPACE_PATH = String(identity.space_path ?? "./data/IDENTITY_SPACE.db");
 var DEFAULT_API_PORT = Number(network.default_api_port ?? 5320);
+var DEFAULT_PYTHON_API_PORT = Number(network.default_python_api_port ?? 28302);
+var DEFAULT_JS_API_PORT = Number(network.default_js_api_port ?? 28303);
+var DEFAULT_VCARD_DB_PATH = String(app_config_default.storage?.default_vcard_db_path ?? "./data/vcard.db");
 var DEFAULT_WS_PORT = Number(network.default_ws_port ?? 5321);
 var DEFAULT_WS_HOST = String(network.default_ws_host ?? "127.0.0.1");
 var DEFAULT_SERVER_HOST = String(network.default_server_host ?? "0.0.0.0");
@@ -2154,6 +2164,32 @@ var VerificationStatus = /* @__PURE__ */ ((VerificationStatus2) => {
   VerificationStatus2["SKIPPED"] = "skipped";
   return VerificationStatus2;
 })(VerificationStatus || {});
+var PreconditionViolation = class extends Error {
+  pcardHash;
+  inputHash;
+  detail;
+  constructor(pcardHash, inputHash, detail = "") {
+    const msg = `PreconditionViolation: PCard ${pcardHash.substring(0, 16)} rejected input ${inputHash.substring(0, 16)}${detail ? ` \u2014 ${detail}` : ""}`;
+    super(msg);
+    this.name = "PreconditionViolation";
+    this.pcardHash = pcardHash;
+    this.inputHash = inputHash;
+    this.detail = detail;
+  }
+};
+var PostconditionViolation = class extends Error {
+  pcardHash;
+  outputRepr;
+  detail;
+  constructor(pcardHash, outputRepr, detail = "") {
+    const msg = `PostconditionViolation: PCard ${pcardHash.substring(0, 16)} postcondition failed for output ${outputRepr.substring(0, 64)}${detail ? ` \u2014 ${detail}` : ""}`;
+    super(msg);
+    this.name = "PostconditionViolation";
+    this.pcardHash = pcardHash;
+    this.outputRepr = outputRepr;
+    this.detail = detail;
+  }
+};
 
 // src/ptr/browser/storage/MCardStore.ts
 var import_idb2 = require("idb");
@@ -2788,6 +2824,8 @@ var validationRegistry = new ValidationRegistry();
   MCard,
   MCardStore,
   Maybe,
+  PostconditionViolation,
+  PreconditionViolation,
   Reader,
   ServiceWorkerPTR,
   SqliteWasmEngine,

package/dist/index.browser.d.cts

@@ -1,4 +1,4 @@
-import { S as StorageEngine, M as MCard, P as Page } from './AbstractSqlEngine-BSfp8S_Y.cjs';
+import { S as StorageEngine, M as MCard, P as Page } from './AbstractSqlEngine-DKka6XjT.cjs';
 export { SqliteWasmEngine } from './storage/SqliteWasmEngine.cjs';
 import { getWebInstrumentations, Faro } from '@grafana/faro-web-sdk';
 
@@ -6,28 +6,27 @@ declare class GTime {
     private static readonly DEFAULT_ALGORITHM;
     /**
      * Generate a GTime stamp for the current moment
-     * Format: HASH_ALGO|TIMESTAMP|REGION_CODE
+     * Format: ALGORITHM|TIMESTAMP|LOCALE_OR_DID
+     * Representing the mathematical coordinate (a,b,c) for an event signature.
      */
-    static stampNow(hashAlgorithm?: string): string;
+    static stampNow(hashAlgorithm?: string, localeOrDID?: string): string;
     /**
      * Parse a GTime string
      */
     static parse(gtime: string): {
-        timestamp: Date;
         algorithm: string;
-        region: string;
+        timestamp: Date;
+        localeOrDID: string;
     };
-    /**
-     * Get the hash algorithm from a GTime string
-     */
+    /** Extract coordinate a: Algorithm */
+    static getAlgorithm(gtime: string): string;
+    /** Alias for backward compatibility */
     static getHashAlgorithm(gtime: string): string;
-    /**
-     * Get the timestamp from a GTime string
-     */
+    /** Extract coordinate b: Timestamp */
     static getTimestamp(gtime: string): Date;
-    /**
-     * Get the region code from a GTime string
-     */
+    /** Extract coordinate c: Locale or DID */
+    static getLocaleOrDID(gtime: string): string;
+    /** Alias for backward compatibility */
     static getRegionCode(gtime: string): string;
     /**
      * Check if the provided hash function is valid.
@@ -35,8 +34,8 @@ declare class GTime {
      */
     static isValidHashFunction(hashFunction: string): boolean;
     /**
-     * Check if the provided region code is valid.
-     * Matches Python's GTime.is_valid_region_code()
+     * Check if the provided locale/region code is valid.
+     * Maintains backward compatibility by checking for strings.
      */
     static isValidRegionCode(regionCode: string): boolean;
     /**
@@ -701,6 +700,24 @@ interface ExecutionResult {
     liveness_metrics: LivenessMetric[];
     error_message?: string;
 }
+/**
+ * Raised when a PCard's precondition check fails during VCard Sandwich evaluation.
+ */
+declare class PreconditionViolation extends Error {
+    readonly pcardHash: string;
+    readonly inputHash: string;
+    readonly detail: string;
+    constructor(pcardHash: string, inputHash: string, detail?: string);
+}
+/**
+ * Raised when a PCard's postcondition check fails during VCard Sandwich evaluation.
+ */
+declare class PostconditionViolation extends Error {
+    readonly pcardHash: string;
+    readonly outputRepr: string;
+    readonly detail: string;
+    constructor(pcardHash: string, outputRepr: string, detail?: string);
+}
 
 type StoredMCardContent = string | Uint8Array | Record<string, unknown>;
 type CardRecord = {
@@ -821,4 +838,4 @@ declare class ValidationRegistry {
 }
 declare const validationRegistry: ValidationRegistry;
 
-export { ALGORITHM_HIERARCHY, CardCollection, ContentHandle, ContentTypeInterpreter, EVENT_CONSTANTS, Either, ErrorCodes, type ExecutionResult, FaroSidecar, type FaroSidecarConfig, GTime, HandleValidationError, HashValidator, IO, IndexedDBEngine, type JsonRpcRequest, type JsonRpcResponse, LensProtocol, type LivenessMetric, MCard, MCardStore, Maybe, Page, type PolynomialTerm, type PrimeHash, Reader, type SafetyViolation, ServiceWorkerPTR, State, StorageEngine, ValidationRegistry, VerificationStatus, Writer, computeHash, validateHandle, validationRegistry };
+export { ALGORITHM_HIERARCHY, CardCollection, ContentHandle, ContentTypeInterpreter, EVENT_CONSTANTS, Either, ErrorCodes, type ExecutionResult, FaroSidecar, type FaroSidecarConfig, GTime, HandleValidationError, HashValidator, IO, IndexedDBEngine, type JsonRpcRequest, type JsonRpcResponse, LensProtocol, type LivenessMetric, MCard, MCardStore, Maybe, Page, type PolynomialTerm, PostconditionViolation, PreconditionViolation, type PrimeHash, Reader, type SafetyViolation, ServiceWorkerPTR, State, StorageEngine, ValidationRegistry, VerificationStatus, Writer, computeHash, validateHandle, validationRegistry };

package/dist/index.browser.d.ts

@@ -1,4 +1,4 @@
-import { S as StorageEngine, M as MCard, P as Page } from './AbstractSqlEngine-BSfp8S_Y.js';
+import { S as StorageEngine, M as MCard, P as Page } from './AbstractSqlEngine-DKka6XjT.js';
 export { SqliteWasmEngine } from './storage/SqliteWasmEngine.js';
 import { getWebInstrumentations, Faro } from '@grafana/faro-web-sdk';
 
@@ -6,28 +6,27 @@ declare class GTime {
     private static readonly DEFAULT_ALGORITHM;
     /**
      * Generate a GTime stamp for the current moment
-     * Format: HASH_ALGO|TIMESTAMP|REGION_CODE
+     * Format: ALGORITHM|TIMESTAMP|LOCALE_OR_DID
+     * Representing the mathematical coordinate (a,b,c) for an event signature.
      */
-    static stampNow(hashAlgorithm?: string): string;
+    static stampNow(hashAlgorithm?: string, localeOrDID?: string): string;
     /**
      * Parse a GTime string
      */
     static parse(gtime: string): {
-        timestamp: Date;
         algorithm: string;
-        region: string;
+        timestamp: Date;
+        localeOrDID: string;
     };
-    /**
-     * Get the hash algorithm from a GTime string
-     */
+    /** Extract coordinate a: Algorithm */
+    static getAlgorithm(gtime: string): string;
+    /** Alias for backward compatibility */
     static getHashAlgorithm(gtime: string): string;
-    /**
-     * Get the timestamp from a GTime string
-     */
+    /** Extract coordinate b: Timestamp */
     static getTimestamp(gtime: string): Date;
-    /**
-     * Get the region code from a GTime string
-     */
+    /** Extract coordinate c: Locale or DID */
+    static getLocaleOrDID(gtime: string): string;
+    /** Alias for backward compatibility */
     static getRegionCode(gtime: string): string;
     /**
      * Check if the provided hash function is valid.
@@ -35,8 +34,8 @@ declare class GTime {
      */
     static isValidHashFunction(hashFunction: string): boolean;
     /**
-     * Check if the provided region code is valid.
-     * Matches Python's GTime.is_valid_region_code()
+     * Check if the provided locale/region code is valid.
+     * Maintains backward compatibility by checking for strings.
      */
     static isValidRegionCode(regionCode: string): boolean;
     /**
@@ -701,6 +700,24 @@ interface ExecutionResult {
     liveness_metrics: LivenessMetric[];
     error_message?: string;
 }
+/**
+ * Raised when a PCard's precondition check fails during VCard Sandwich evaluation.
+ */
+declare class PreconditionViolation extends Error {
+    readonly pcardHash: string;
+    readonly inputHash: string;
+    readonly detail: string;
+    constructor(pcardHash: string, inputHash: string, detail?: string);
+}
+/**
+ * Raised when a PCard's postcondition check fails during VCard Sandwich evaluation.
+ */
+declare class PostconditionViolation extends Error {
+    readonly pcardHash: string;
+    readonly outputRepr: string;
+    readonly detail: string;
+    constructor(pcardHash: string, outputRepr: string, detail?: string);
+}
 
 type StoredMCardContent = string | Uint8Array | Record<string, unknown>;
 type CardRecord = {
@@ -821,4 +838,4 @@ declare class ValidationRegistry {
 }
 declare const validationRegistry: ValidationRegistry;
 
-export { ALGORITHM_HIERARCHY, CardCollection, ContentHandle, ContentTypeInterpreter, EVENT_CONSTANTS, Either, ErrorCodes, type ExecutionResult, FaroSidecar, type FaroSidecarConfig, GTime, HandleValidationError, HashValidator, IO, IndexedDBEngine, type JsonRpcRequest, type JsonRpcResponse, LensProtocol, type LivenessMetric, MCard, MCardStore, Maybe, Page, type PolynomialTerm, type PrimeHash, Reader, type SafetyViolation, ServiceWorkerPTR, State, StorageEngine, ValidationRegistry, VerificationStatus, Writer, computeHash, validateHandle, validationRegistry };
+export { ALGORITHM_HIERARCHY, CardCollection, ContentHandle, ContentTypeInterpreter, EVENT_CONSTANTS, Either, ErrorCodes, type ExecutionResult, FaroSidecar, type FaroSidecarConfig, GTime, HandleValidationError, HashValidator, IO, IndexedDBEngine, type JsonRpcRequest, type JsonRpcResponse, LensProtocol, type LivenessMetric, MCard, MCardStore, Maybe, Page, type PolynomialTerm, PostconditionViolation, PreconditionViolation, type PrimeHash, Reader, type SafetyViolation, ServiceWorkerPTR, State, StorageEngine, ValidationRegistry, VerificationStatus, Writer, computeHash, validateHandle, validationRegistry };

package/dist/index.browser.js

@@ -3,6 +3,8 @@ import {
   FaroSidecar,
   LensProtocol,
   MCardStore,
+  PostconditionViolation,
+  PreconditionViolation,
   Reader,
   ServiceWorkerPTR,
   State,
@@ -11,10 +13,10 @@ import {
   Writer,
   computeHash,
   validationRegistry
-} from "./chunk-SP4YPKPR.js";
+} from "./chunk-XJZOEM5F.js";
 import {
   IndexedDBEngine
-} from "./chunk-GQZKMXGA.js";
+} from "./chunk-NGTY4P6A.js";
 import {
   IO
 } from "./chunk-MPMRBT5R.js";
@@ -23,8 +25,8 @@ import {
 } from "./chunk-2KADE3SE.js";
 import {
   SqliteWasmEngine
-} from "./chunk-UFSXA5QB.js";
-import "./chunk-FPW33LMV.js";
+} from "./chunk-7AXRV7NS.js";
+import "./chunk-HIVVDGE5.js";
 import "./chunk-3EIBJPNF.js";
 import {
   ContentHandle,
@@ -39,16 +41,16 @@ import {
 import {
   CardCollection,
   Maybe
-} from "./chunk-Q7EHSN3K.js";
-import "./chunk-J3IDWMDN.js";
+} from "./chunk-QPVEUPMU.js";
+import "./chunk-3FFEA2XK.js";
 import {
   ContentTypeInterpreter,
   MCard
-} from "./chunk-2NFGZ6PA.js";
+} from "./chunk-GGQCF7ZK.js";
 import {
   GTime,
   HashValidator
-} from "./chunk-7NKII2JA.js";
+} from "./chunk-ASW6AOA7.js";
 import "./chunk-PNKVD2UK.js";
 
 // src/index.browser.ts
@@ -71,6 +73,8 @@ export {
   MCard,
   MCardStore,
   Maybe,
+  PostconditionViolation,
+  PreconditionViolation,
   Reader,
   ServiceWorkerPTR,
   SqliteWasmEngine,