@hraness/oh 0.4.0 → 0.4.2

package/dist/sqlite/port.d.ts

@@ -1,6 +1,6 @@
 import { type OhChangesPageV1, type OhCommitInputV1, type OhDependencyClosureV1, type OhHeadRefV1, type OhHeadV1, type OhSnapshotV1, type OhStoreBindingV1, type OhStoreHostControlV1, type OhStoreProfileV1, type OhStoreV1, type OhStoreVerificationV1 } from "../store";
 import type { OhOperationV1 } from "../operation";
-import { type OhSyncBundleV1 } from "../sync";
+import { type OhSyncBundleV1 } from "../sync-model";
 import type { OhSqliteDatabase } from "./driver";
 import { OhSqliteStore, type OhOperationImportResultV1 } from "./store";
 export type OhSqliteStoreAuthorityOptionsV1 = Readonly<{

package/dist/sqlite/port.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"port.d.ts","sourceRoot":"","sources":["../../src/sqlite/port.ts"],"names":[],"mappings":"AAGA,OAAO,EAKL,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,qBAAqB,EAC1B,KAAK,WAAW,EAChB,KAAK,QAAQ,EACb,KAAK,YAAY,EAEjB,KAAK,gBAAgB,EACrB,KAAK,oBAAoB,EACzB,KAAK,gBAAgB,EACrB,KAAK,SAAS,EACd,KAAK,qBAAqB,EAC3B,MAAM,UAAU,CAAC;AAClB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAIL,KAAK,cAAc,EACpB,MAAM,SAAS,CAAC;AACjB,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC;AACjD,OAAO,EACL,aAAa,EACb,KAAK,yBAAyB,EAC/B,MAAM,SAAS,CAAC;AAEjB,MAAM,MAAM,+BAA+B,GAAG,QAAQ,CAAC;IACrD,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IAC5B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,gBAAgB,CAAC;IAC3B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB,CAAC,CAAC;AAEH,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,YAAY,CAAC,KAAK,EAAE,QAAQ,CAAC;QAC3B,KAAK,EAAE,WAAW,CAAC;QACnB,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,OAAO,EAAE,WAAW,CAAC;KACtB,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC;QACpB,MAAM,EAAE,cAAc,CAAC;QACvB,IAAI,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC;QAC9B,OAAO,EAAE,OAAO,CAAC;QACjB,OAAO,EAAE,eAAe,CAAC,SAAS,CAAC,CAAC;QACpC,EAAE,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC,EAAE,CAAC,CAAC;KACN,CAAC,CAAC,CAAC;IACJ,IAAI,IAAI,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC1B,YAAY,CAAC,KAAK,EAAE,QAAQ,CAAC;QAC3B,MAAM,EAAE,OAAO,CAAC;QAChB,YAAY,EAAE,WAAW,CAAC;KAC3B,CAAC,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAAC;CACzC;AAED,MAAM,WAAW,0BAA2B,SAAQ,oBAAoB;IACtE,QAAQ,CAAC,WAAW,EAAE,8BAA8B,GAAG,IAAI,CAAC;CAC7D;AAED,MAAM,MAAM,wBAAwB,GAAG,QAAQ,CAAC;IAC9C,IAAI,EAAE,0BAA0B,CAAC;IACjC,KAAK,EAAE,SAAS,CAAC;CAClB,CAAC,CAAC;AAyBH,qBAAa,mBAAoB,YAAW,SAAS;;IACnD,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;gBAGvB,SAAS,EAAE,aAAa,EAAE,OAAO,EAAE,gBAAgB;IASzD,IAAI,IAAI,OAAO,CAAC,QAAQ,CAAC;IAIzB,QAAQ,CAAC,OAAO,GAAE,QAAQ,CAAC;QAC/B,IAAI,CAAC,EAAE,WAAW,CAAC;QACnB,cAAc,CAAC,EAAE,MAAM,CAAC;KACzB,CAAM,GAAG,OAAO,CAAC,YAAY,CAAC;IAIzB,YAAY,CAChB,IAAI,EAAE,WAAW,EACjB,OAAO,GAAE,QAAQ,CAAC;QAAE,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,WAAW,CAAA;KAAE,CAAM,GAChE,OAAO,CAAC,eAAe,CAAC;IAIrB,MAAM,CAAC,KAAK,EAAE,eAAe,GAAG,OAAO,CAAC,aAAa,CAAC;IAItD,uBAAuB,CAAC,KAAK,EAAE,QAAQ,CAAC;QAC5C,IAAI,CAAC,EAAE,WAAW,CAAC;QACnB,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;KAC1B,CAAC,GAAG,OAAO,CAAC,qBAAqB,CAAC;IAI7B,MAAM,IAAI,OAAO,CAAC,qBAAqB,CAAC;IAMxC,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;CAG7B;AAED;;;;GAIG;AACH,wBAAgB,8BAA8B,CAC5C,OAAO,GAAE,+BAAoC,GAC5C,wBAAwB,CA6E1B"}
+{"version":3,"file":"port.d.ts","sourceRoot":"","sources":["../../src/sqlite/port.ts"],"names":[],"mappings":"AAGA,OAAO,EAKL,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,qBAAqB,EAC1B,KAAK,WAAW,EAChB,KAAK,QAAQ,EACb,KAAK,YAAY,EAEjB,KAAK,gBAAgB,EACrB,KAAK,oBAAoB,EACzB,KAAK,gBAAgB,EACrB,KAAK,SAAS,EACd,KAAK,qBAAqB,EAC3B,MAAM,UAAU,CAAC;AAClB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAIL,KAAK,cAAc,EACpB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC;AACjD,OAAO,EACL,aAAa,EACb,KAAK,yBAAyB,EAC/B,MAAM,SAAS,CAAC;AAEjB,MAAM,MAAM,+BAA+B,GAAG,QAAQ,CAAC;IACrD,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IAC5B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,gBAAgB,CAAC;IAC3B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB,CAAC,CAAC;AAEH,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,YAAY,CAAC,KAAK,EAAE,QAAQ,CAAC;QAC3B,KAAK,EAAE,WAAW,CAAC;QACnB,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,OAAO,EAAE,WAAW,CAAC;KACtB,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC;QACpB,MAAM,EAAE,cAAc,CAAC;QACvB,IAAI,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC;QAC9B,OAAO,EAAE,OAAO,CAAC;QACjB,OAAO,EAAE,eAAe,CAAC,SAAS,CAAC,CAAC;QACpC,EAAE,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC,EAAE,CAAC,CAAC;KACN,CAAC,CAAC,CAAC;IACJ,IAAI,IAAI,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC1B,YAAY,CAAC,KAAK,EAAE,QAAQ,CAAC;QAC3B,MAAM,EAAE,OAAO,CAAC;QAChB,YAAY,EAAE,WAAW,CAAC;KAC3B,CAAC,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAAC;CACzC;AAED,MAAM,WAAW,0BAA2B,SAAQ,oBAAoB;IACtE,QAAQ,CAAC,WAAW,EAAE,8BAA8B,GAAG,IAAI,CAAC;CAC7D;AAED,MAAM,MAAM,wBAAwB,GAAG,QAAQ,CAAC;IAC9C,IAAI,EAAE,0BAA0B,CAAC;IACjC,KAAK,EAAE,SAAS,CAAC;CAClB,CAAC,CAAC;AAyBH,qBAAa,mBAAoB,YAAW,SAAS;;IACnD,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;gBAGvB,SAAS,EAAE,aAAa,EAAE,OAAO,EAAE,gBAAgB;IASzD,IAAI,IAAI,OAAO,CAAC,QAAQ,CAAC;IAIzB,QAAQ,CAAC,OAAO,GAAE,QAAQ,CAAC;QAC/B,IAAI,CAAC,EAAE,WAAW,CAAC;QACnB,cAAc,CAAC,EAAE,MAAM,CAAC;KACzB,CAAM,GAAG,OAAO,CAAC,YAAY,CAAC;IAIzB,YAAY,CAChB,IAAI,EAAE,WAAW,EACjB,OAAO,GAAE,QAAQ,CAAC;QAAE,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,WAAW,CAAA;KAAE,CAAM,GAChE,OAAO,CAAC,eAAe,CAAC;IAIrB,MAAM,CAAC,KAAK,EAAE,eAAe,GAAG,OAAO,CAAC,aAAa,CAAC;IAItD,uBAAuB,CAAC,KAAK,EAAE,QAAQ,CAAC;QAC5C,IAAI,CAAC,EAAE,WAAW,CAAC;QACnB,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;KAC1B,CAAC,GAAG,OAAO,CAAC,qBAAqB,CAAC;IAI7B,MAAM,IAAI,OAAO,CAAC,qBAAqB,CAAC;IAMxC,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;CAG7B;AAED;;;;GAIG;AACH,wBAAgB,8BAA8B,CAC5C,OAAO,GAAE,+BAAoC,GAC5C,wBAAwB,CA6E1B"}

package/dist/sync-libsql-program.d.ts

@@ -0,0 +1,5 @@
+import { Effect } from "effect";
+import { LibSqlSyncClient, type SyncTransportService } from "./sync-platform";
+/** A shared initialization attempt retains its result for every admitted waiter. */
+export declare const makeLibSqlSyncTransport: Effect.Effect<SyncTransportService, never, LibSqlSyncClient>;
+//# sourceMappingURL=sync-libsql-program.d.ts.map

package/dist/sync-libsql-program.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sync-libsql-program.d.ts","sourceRoot":"","sources":["../src/sync-libsql-program.ts"],"names":[],"mappings":"AAAA,OAAO,EAAY,MAAM,EAAqB,MAAM,QAAQ,CAAC;AAM7D,OAAO,EAAE,gBAAgB,EAAiC,KAAK,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAc7G,oFAAoF;AACpF,eAAO,MAAM,uBAAuB,EAAE,MAAM,CAAC,MAAM,CAAC,oBAAoB,EAAE,KAAK,EAAE,gBAAgB,CAoJ/F,CAAC"}

package/dist/sync-model.d.ts

@@ -0,0 +1,60 @@
+import { type Sha256Hex } from "./canonical";
+import { type OhContractManifestV1 } from "./contract";
+import { type OhOperationV1 } from "./operation";
+import type { OhHeadRefV1 } from "./store";
+export declare const OH_SYNC_PROTOCOL_V1: "oh.sync.v1";
+export type OhSyncHeadV1 = Readonly<{
+    operationSha256: Sha256Hex | null;
+    sequence: number;
+    v: 1;
+}>;
+export declare const OH_SYNC_BUNDLE_MAX_OPERATIONS_V1 = 1000;
+export declare const OH_SYNC_BUNDLE_MAX_BYTES_V1: number;
+type SyncIngressBudgetV1 = {
+    bytes: number;
+    maximumBytes: number;
+    maximumNodes: number;
+    nodes: number;
+};
+export declare function syncIngressBundleBudgetV1(spaceId: string): SyncIngressBudgetV1;
+export declare function parseOhSyncHeadRefV1(value: unknown): OhHeadRefV1 | null;
+export declare function parseOhSyncHeadV1(value: unknown): OhSyncHeadV1 | null;
+export type OhSyncBundleV1 = Readonly<{
+    bundleSha256: Sha256Hex;
+    contractSha256: Sha256Hex;
+    operations: readonly OhOperationV1[];
+    protocol: typeof OH_SYNC_PROTOCOL_V1;
+    spaceId: string;
+    v: 1;
+}>;
+export declare function createOhSyncBundleV1(spaceId: string, operations: readonly OhOperationV1[], options?: Readonly<{
+    largestFittingPrefix?: boolean;
+}>): OhSyncBundleV1;
+export declare function parseOhSyncBundleV1(value: unknown): OhSyncBundleV1 | null;
+export interface OhOperationSyncTransportV1 {
+    handshake(manifest: OhContractManifestV1): Promise<void>;
+    head(spaceId: string): Promise<OhSyncHeadV1>;
+    pull(spaceId: string, afterSequence: number, limit: number): Promise<OhSyncBundleV1>;
+    push(bundle: OhSyncBundleV1): Promise<OhSyncHeadV1>;
+}
+export type OhSyncResultV1 = Readonly<{
+    head: OhSyncHeadV1;
+    pulled: number;
+    pushed: number;
+    rounds: number;
+    v: 1;
+}>;
+export type LibSqlValueV1 = ArrayBuffer | Date | Uint8Array | bigint | boolean | null | number | string;
+export type LibSqlStatementV1 = {
+    args?: LibSqlValueV1[];
+    sql: string;
+};
+export type LibSqlResultV1 = Readonly<{
+    rows: readonly (Readonly<Record<string, unknown>> | readonly unknown[])[];
+}>;
+export interface LibSqlClientV1 {
+    execute(statement: LibSqlStatementV1 | string): Promise<LibSqlResultV1>;
+    batch(statements: LibSqlStatementV1[], mode?: "deferred" | "read" | "write"): Promise<readonly LibSqlResultV1[]>;
+}
+export {};
+//# sourceMappingURL=sync-model.d.ts.map

package/dist/sync-model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sync-model.d.ts","sourceRoot":"","sources":["../src/sync-model.ts"],"names":[],"mappings":"AAEA,OAAO,EAOL,KAAK,SAAS,EACf,MAAM,aAAa,CAAC;AACrB,OAAO,EAAsD,KAAK,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAG3G,OAAO,EAAiD,KAAK,aAAa,EAAE,MAAM,aAAa,CAAC;AAChG,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAE3C,eAAO,MAAM,mBAAmB,EAAG,YAAqB,CAAC;AAEzD,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC;IAClC,eAAe,EAAE,SAAS,GAAG,IAAI,CAAC;IAClC,QAAQ,EAAE,MAAM,CAAC;IACjB,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AAEH,eAAO,MAAM,gCAAgC,OAAO,CAAC;AAiBrD,eAAO,MAAM,2BAA2B,QAAuC,CAAC;AAGhF,KAAK,mBAAmB,GAAG;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AA+SF,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,MAAM,GAAG,mBAAmB,CAgB9E;AA6ED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,WAAW,GAAG,IAAI,CAGvE;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,YAAY,GAAG,IAAI,CAKrE;AAED,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC;IACpC,YAAY,EAAE,SAAS,CAAC;IACxB,cAAc,EAAE,SAAS,CAAC;IAC1B,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;IACrC,QAAQ,EAAE,OAAO,mBAAmB,CAAC;IACrC,OAAO,EAAE,MAAM,CAAC;IAChB,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AAEH,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,SAAS,aAAa,EAAE,EACpC,OAAO,GAAE,QAAQ,CAAC;IAAE,oBAAoB,CAAC,EAAE,OAAO,CAAA;CAAE,CAAM,GACzD,cAAc,CAQhB;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG,cAAc,GAAG,IAAI,CAwBzE;AAED,MAAM,WAAW,0BAA0B;IACzC,SAAS,CAAC,QAAQ,EAAE,oBAAoB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACzD,IAAI,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IAC7C,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;IACrF,IAAI,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;CACrD;AAED,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC;IACpC,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AAGH,MAAM,MAAM,aAAa,GAAG,WAAW,GAAG,IAAI,GAAG,UAAU,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,MAAM,GAAG,MAAM,CAAC;AACxG,MAAM,MAAM,iBAAiB,GAAG;IAAE,IAAI,CAAC,EAAE,aAAa,EAAE,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC;AACxE,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC;IAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,SAAS,OAAO,EAAE,CAAC,EAAE,CAAA;CAAE,CAAC,CAAC;AACrH,MAAM,WAAW,cAAc;IAC7B,OAAO,CAAC,SAAS,EAAE,iBAAiB,GAAG,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;IACxE,KAAK,CAAC,UAAU,EAAE,iBAAiB,EAAE,EAAE,IAAI,CAAC,EAAE,UAAU,GAAG,MAAM,GAAG,OAAO,GAAG,OAAO,CAAC,SAAS,cAAc,EAAE,CAAC,CAAC;CAClH"}

package/dist/sync-platform.d.ts

@@ -0,0 +1,41 @@
+import { Context, Effect, Layer } from "effect";
+import type { OhSqliteStore } from "./sqlite/store";
+import type { LibSqlClientV1, LibSqlResultV1, LibSqlStatementV1, OhOperationSyncTransportV1, OhSyncBundleV1, OhSyncHeadV1 } from "./sync-model";
+import type { OhContractManifestV1 } from "./contract";
+export type SyncFailure = Readonly<{
+    _tag: "StoreFailure" | "TransportFailure" | "ValidationFailure" | "SyncConflict" | "RoundLimit";
+    /** Original rejection identity is retained only at the public boundary. */
+    cause: unknown;
+}>;
+export declare function syncInvalid(cause: unknown): SyncFailure;
+export interface SyncTransportService {
+    handshake(manifest: OhContractManifestV1): Effect.Effect<void, SyncFailure>;
+    head(spaceId: string): Effect.Effect<OhSyncHeadV1, SyncFailure>;
+    pull(spaceId: string, afterSequence: number, limit: number): Effect.Effect<OhSyncBundleV1, SyncFailure>;
+    push(bundle: OhSyncBundleV1): Effect.Effect<OhSyncHeadV1, SyncFailure>;
+}
+declare const SyncTransport_base: Context.TagClass<SyncTransport, "@hraness/oh/SyncTransport", SyncTransportService>;
+export declare class SyncTransport extends SyncTransport_base {
+}
+export interface SyncStoreService {
+    readonly spaceId: string;
+    readonly head: Effect.Effect<ReturnType<OhSqliteStore["head"]>, SyncFailure>;
+    importOperations(input: Parameters<OhSqliteStore["importOperations"]>[0]): Effect.Effect<ReturnType<OhSqliteStore["importOperations"]>, SyncFailure>;
+    changesSince(head: Parameters<OhSqliteStore["changesSince"]>[0], options: Parameters<OhSqliteStore["changesSince"]>[1]): Effect.Effect<ReturnType<OhSqliteStore["changesSince"]>, SyncFailure>;
+    updateSyncState(remoteId: string, state: Parameters<OhSqliteStore["updateSyncState"]>[1]): Effect.Effect<void, SyncFailure>;
+}
+declare const SyncStore_base: Context.TagClass<SyncStore, "@hraness/oh/SyncStore", SyncStoreService>;
+export declare class SyncStore extends SyncStore_base {
+}
+export declare function syncStoreLive(store: OhSqliteStore): Layer.Layer<SyncStore>;
+export declare function syncTransportLive(transport: OhOperationSyncTransportV1): Layer.Layer<SyncTransport>;
+export interface LibSqlSyncClientService {
+    execute(statement: LibSqlStatementV1 | string): Effect.Effect<LibSqlResultV1, SyncFailure>;
+    batch(statements: LibSqlStatementV1[], mode: "deferred" | "read" | "write"): Effect.Effect<readonly LibSqlResultV1[], SyncFailure>;
+}
+declare const LibSqlSyncClient_base: Context.TagClass<LibSqlSyncClient, "@hraness/oh/LibSqlSyncClient", LibSqlSyncClientService>;
+export declare class LibSqlSyncClient extends LibSqlSyncClient_base {
+}
+export declare function libSqlSyncClientLive(client: LibSqlClientV1): Layer.Layer<LibSqlSyncClient>;
+export {};
+//# sourceMappingURL=sync-platform.d.ts.map

package/dist/sync-platform.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sync-platform.d.ts","sourceRoot":"","sources":["../src/sync-platform.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAEhD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,KAAK,EAAE,cAAc,EAAE,cAAc,EAAE,iBAAiB,EAC7D,0BAA0B,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACjF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAEvD,MAAM,MAAM,WAAW,GAAG,QAAQ,CAAC;IACjC,IAAI,EAAE,cAAc,GAAG,kBAAkB,GAAG,mBAAmB,GAAG,cAAc,GAAG,YAAY,CAAC;IAChG,2EAA2E;IAC3E,KAAK,EAAE,OAAO,CAAC;CAChB,CAAC,CAAC;AAEH,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,WAAW,CAEvD;AAED,MAAM,WAAW,oBAAoB;IACnC,SAAS,CAAC,QAAQ,EAAE,oBAAoB,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC5E,IAAI,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;IAChE,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC;IACxG,IAAI,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;CACxE;;AAED,qBAAa,aAAc,SAAQ,kBAEhC;CAAG;AAEN,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;IAC7E,gBAAgB,CAAC,KAAK,EAAE,UAAU,CAAC,aAAa,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,GACtE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC,kBAAkB,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;IAC5E,YAAY,CAAC,IAAI,EAAE,UAAU,CAAC,aAAa,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,EAC7D,OAAO,EAAE,UAAU,CAAC,aAAa,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,GACrD,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC,cAAc,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;IACxE,eAAe,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,CAAC,aAAa,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,GACtF,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;CACpC;;AAED,qBAAa,SAAU,SAAQ,cAAmE;CAAG;AAYrG,wBAAgB,aAAa,CAAC,KAAK,EAAE,aAAa,GAAG,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAQ1E;AAED,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,0BAA0B,GAAG,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC,CAOnG;AAED,MAAM,WAAW,uBAAuB;IACtC,OAAO,CAAC,SAAS,EAAE,iBAAiB,GAAG,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC;IAC3F,KAAK,CAAC,UAAU,EAAE,iBAAiB,EAAE,EAAE,IAAI,EAAE,UAAU,GAAG,MAAM,GAAG,OAAO,GACxE,MAAM,CAAC,MAAM,CAAC,SAAS,cAAc,EAAE,EAAE,WAAW,CAAC,CAAC;CACzD;;AAED,qBAAa,gBAAiB,SAAQ,qBAEnC;CAAG;AAEN,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,cAAc,GAAG,KAAK,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAK1F"}

package/dist/sync-program.d.ts

@@ -0,0 +1,11 @@
+import { Effect } from "effect";
+import { type OhSyncResultV1 } from "./sync-model";
+import { SyncStore, SyncTransport, type SyncFailure } from "./sync-platform";
+export type SyncOptions = Readonly<{
+    batchSize?: number;
+    maximumRounds?: number;
+    remoteId?: string;
+}>;
+/** Only the store adapter can enter the synchronous SQLite transaction. */
+export declare function synchronize(options?: SyncOptions): Effect.Effect<OhSyncResultV1, SyncFailure, SyncStore | SyncTransport>;
+//# sourceMappingURL=sync-program.d.ts.map

package/dist/sync-program.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sync-program.d.ts","sourceRoot":"","sources":["../src/sync-program.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAGhC,OAAO,EACc,KAAK,cAAc,EAAE,MAAM,cAAc,CAAC;AAC/D,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,KAAK,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAE7E,MAAM,MAAM,WAAW,GAAG,QAAQ,CAAC;IAAE,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAEtG,2EAA2E;AAC3E,wBAAgB,WAAW,CAAC,OAAO,GAAE,WAAgB,GACnD,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,WAAW,EAAE,SAAS,GAAG,aAAa,CAAC,CAyGtE"}

package/dist/sync-runtime.d.ts

@@ -0,0 +1,6 @@
+import type { OhSqliteStore } from "./sqlite/store";
+import type { LibSqlClientV1, OhOperationSyncTransportV1, OhSyncResultV1 } from "./sync-model";
+import { type SyncOptions } from "./sync-program";
+export declare function runSyncBoundary(store: OhSqliteStore, transport: OhOperationSyncTransportV1, options: SyncOptions): Promise<OhSyncResultV1>;
+export declare function makeLibSqlSyncBoundary(client: LibSqlClientV1): OhOperationSyncTransportV1;
+//# sourceMappingURL=sync-runtime.d.ts.map

package/dist/sync-runtime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sync-runtime.d.ts","sourceRoot":"","sources":["../src/sync-runtime.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,KAAK,EAAE,cAAc,EAAE,0BAA0B,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAG/F,OAAO,EAAe,KAAK,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAW/D,wBAAgB,eAAe,CAAC,KAAK,EAAE,aAAa,EAAE,SAAS,EAAE,0BAA0B,EACzF,OAAO,EAAE,WAAW,GAAG,OAAO,CAAC,cAAc,CAAC,CAK/C;AAED,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,cAAc,GAAG,0BAA0B,CAQzF"}

package/dist/sync.d.ts

@@ -1,63 +1,13 @@
-import { type Sha256Hex } from "./canonical";
-import { type OhContractManifestV1 } from "./contract";
-import { type OhOperationV1 } from "./operation";
 import type { OhSqliteStore } from "./sqlite/store";
-import type { OhHeadRefV1 } from "./store";
-export declare const OH_SYNC_PROTOCOL_V1: "oh.sync.v1";
-export type OhSyncHeadV1 = Readonly<{
-    operationSha256: Sha256Hex | null;
-    sequence: number;
-    v: 1;
-}>;
-export declare const OH_SYNC_BUNDLE_MAX_BYTES_V1: number;
-export declare function parseOhSyncHeadRefV1(value: unknown): OhHeadRefV1 | null;
-export declare function parseOhSyncHeadV1(value: unknown): OhSyncHeadV1 | null;
-export type OhSyncBundleV1 = Readonly<{
-    bundleSha256: Sha256Hex;
-    contractSha256: Sha256Hex;
-    operations: readonly OhOperationV1[];
-    protocol: typeof OH_SYNC_PROTOCOL_V1;
-    spaceId: string;
-    v: 1;
-}>;
-export declare function createOhSyncBundleV1(spaceId: string, operations: readonly OhOperationV1[], options?: Readonly<{
-    largestFittingPrefix?: boolean;
-}>): OhSyncBundleV1;
-export declare function parseOhSyncBundleV1(value: unknown): OhSyncBundleV1 | null;
-export interface OhOperationSyncTransportV1 {
-    handshake(manifest: OhContractManifestV1): Promise<void>;
-    head(spaceId: string): Promise<OhSyncHeadV1>;
-    pull(spaceId: string, afterSequence: number, limit: number): Promise<OhSyncBundleV1>;
-    push(bundle: OhSyncBundleV1): Promise<OhSyncHeadV1>;
-}
-export type OhSyncResultV1 = Readonly<{
-    head: OhSyncHeadV1;
-    pulled: number;
-    pushed: number;
-    rounds: number;
-    v: 1;
-}>;
-/**
- * Reconciles only fast-forward histories. Concurrent heads fail closed and leave
- * both logs intact for an explicit merge operation.
- */
+import type { LibSqlClientV1, OhOperationSyncTransportV1, OhSyncResultV1 } from "./sync-model";
+export { OH_SYNC_PROTOCOL_V1, OH_SYNC_BUNDLE_MAX_BYTES_V1, createOhSyncBundleV1, parseOhSyncHeadRefV1, parseOhSyncHeadV1, parseOhSyncBundleV1 } from "./sync-model";
+export type { OhSyncHeadV1, OhSyncBundleV1, OhOperationSyncTransportV1, OhSyncResultV1, LibSqlValueV1, LibSqlStatementV1, LibSqlResultV1, LibSqlClientV1 } from "./sync-model";
+/** Reconciles only fast-forward histories and preserves the original Promise boundary. */
 export declare function synchronizeOhStoreV1(store: OhSqliteStore, transport: OhOperationSyncTransportV1, options?: Readonly<{
     batchSize?: number;
     maximumRounds?: number;
     remoteId?: string;
 }>): Promise<OhSyncResultV1>;
-export type LibSqlValueV1 = ArrayBuffer | Date | Uint8Array | bigint | boolean | null | number | string;
-export type LibSqlStatementV1 = {
-    args?: LibSqlValueV1[];
-    sql: string;
-};
-export type LibSqlResultV1 = Readonly<{
-    rows: readonly (Readonly<Record<string, unknown>> | readonly unknown[])[];
-}>;
-export interface LibSqlClientV1 {
-    execute(statement: LibSqlStatementV1 | string): Promise<LibSqlResultV1>;
-    batch(statements: LibSqlStatementV1[], mode?: "deferred" | "read" | "write"): Promise<readonly LibSqlResultV1[]>;
-}
-/** A zero-dependency adapter for clients implementing @libsql/client's execute/batch shape. */
+/** Bundled-runtime adapter for clients implementing @libsql/client's execute/batch shape. */
 export declare function createLibSqlOperationSyncTransportV1(client: LibSqlClientV1): OhOperationSyncTransportV1;
 //# sourceMappingURL=sync.d.ts.map

package/dist/sync.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sync.d.ts","sourceRoot":"","sources":["../src/sync.ts"],"names":[],"mappings":"AAEA,OAAO,EAOL,KAAK,SAAS,EACf,MAAM,aAAa,CAAC;AACrB,OAAO,EAAsD,KAAK,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAG3G,OAAO,EAAiD,KAAK,aAAa,EAAE,MAAM,aAAa,CAAC;AAChG,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAE3C,eAAO,MAAM,mBAAmB,EAAG,YAAqB,CAAC;AAEzD,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC;IAClC,eAAe,EAAE,SAAS,GAAG,IAAI,CAAC;IAClC,QAAQ,EAAE,MAAM,CAAC;IACjB,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AAmBH,eAAO,MAAM,2BAA2B,QAAuC,CAAC;AAoZhF,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,WAAW,GAAG,IAAI,CAGvE;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,YAAY,GAAG,IAAI,CAKrE;AAED,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC;IACpC,YAAY,EAAE,SAAS,CAAC;IACxB,cAAc,EAAE,SAAS,CAAC;IAC1B,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;IACrC,QAAQ,EAAE,OAAO,mBAAmB,CAAC;IACrC,OAAO,EAAE,MAAM,CAAC;IAChB,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AAEH,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,SAAS,aAAa,EAAE,EACpC,OAAO,GAAE,QAAQ,CAAC;IAAE,oBAAoB,CAAC,EAAE,OAAO,CAAA;CAAE,CAAM,GACzD,cAAc,CAQhB;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG,cAAc,GAAG,IAAI,CAwBzE;AAED,MAAM,WAAW,0BAA0B;IACzC,SAAS,CAAC,QAAQ,EAAE,oBAAoB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACzD,IAAI,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IAC7C,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;IACrF,IAAI,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;CACrD;AAED,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC;IACpC,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AAEH;;;GAGG;AACH,wBAAsB,oBAAoB,CACxC,KAAK,EAAE,aAAa,EACpB,SAAS,EAAE,0BAA0B,EACrC,OAAO,GAAE,QAAQ,CAAC;IAAE,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,CAAM,GACxF,OAAO,CAAC,cAAc,CAAC,CAqGzB;AAED,MAAM,MAAM,aAAa,GAAG,WAAW,GAAG,IAAI,GAAG,UAAU,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,MAAM,GAAG,MAAM,CAAC;AACxG,MAAM,MAAM,iBAAiB,GAAG;IAAE,IAAI,CAAC,EAAE,aAAa,EAAE,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC;AACxE,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC;IAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,SAAS,OAAO,EAAE,CAAC,EAAE,CAAA;CAAE,CAAC,CAAC;AACrH,MAAM,WAAW,cAAc;IAC7B,OAAO,CAAC,SAAS,EAAE,iBAAiB,GAAG,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;IACxE,KAAK,CAAC,UAAU,EAAE,iBAAiB,EAAE,EAAE,IAAI,CAAC,EAAE,UAAU,GAAG,MAAM,GAAG,OAAO,GAAG,OAAO,CAAC,SAAS,cAAc,EAAE,CAAC,CAAC;CAClH;AAMD,+FAA+F;AAC/F,wBAAgB,oCAAoC,CAAC,MAAM,EAAE,cAAc,GAAG,0BAA0B,CAiIvG"}
+{"version":3,"file":"sync.d.ts","sourceRoot":"","sources":["../src/sync.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,KAAK,EAAE,cAAc,EAAE,0BAA0B,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAG/F,OAAO,EAAE,mBAAmB,EAAE,2BAA2B,EAAE,oBAAoB,EAC7E,oBAAoB,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AACrF,YAAY,EAAE,YAAY,EAAE,cAAc,EAAE,0BAA0B,EAAE,cAAc,EACpF,aAAa,EAAE,iBAAiB,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAEzF,0FAA0F;AAC1F,wBAAsB,oBAAoB,CACxC,KAAK,EAAE,aAAa,EACpB,SAAS,EAAE,0BAA0B,EACrC,OAAO,GAAE,QAAQ,CAAC;IAAE,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,CAAM,GACxF,OAAO,CAAC,cAAc,CAAC,CAEzB;AAED,6FAA6F;AAC7F,wBAAgB,oCAAoC,CAAC,MAAM,EAAE,cAAc,GAAG,0BAA0B,CAEvG"}