integration.crdt-loro

@lssm-tech/integration.crdt-loro

Isolated Loro adapter proof for ContractSpec collaboration envelopes.

Limite

This is the only V0 package that imports loro-crdt. Core data-transmission spec/runtime packages expose ContractSpec envelopes and never expose raw Loro types.

The production adapter uses Loro's base64 distribution so its WebAssembly is embedded in serverless bundles. Hosts do not depend on build-machine paths or provider-specific file tracing to initialize collaborative documents.

Convergence proof

The package exports runLoroConvergenceProof, which applies independent left/right document updates, exchanges snapshots/updates through adapter-scoped envelopes, and verifies converged snapshots, versions, update counts, and byte counts without leaking Loro document objects to core contracts.

V0 constraints

The proof covers in-memory update/snapshot/export/import/merge semantics. Production persistence, auth, managed WebSocket hosting, multi-region guarantees, and hosted collaboration backends are future work.

Standalone declaration exports keep their existing public subpath names. The shared builder preserves their original declaration suffix and copies checked source declarations into dist, without overwriting emitted implementation types.