Remove unwanted doc

docs/compatibility.md

···
-# CRDT Library - json-joy Compatibility Specification
-
-This document defines the compatibility scope for the OCaml CRDT library with the
-[json-joy](https://github.com/streamich/json-joy) TypeScript implementation.
-
-## Reference Implementation
-
-- **Repository**: https://github.com/streamich/json-joy
-- **Source**: `packages/json-joy/src/`
-- **Test Fixtures**: https://github.com/streamich/json-crdt-traces
-
-## CRDT Node Types (7 types)
-
-All node types from `json-crdt/nodes/` must be implemented:
-
-| Type | Description | json-joy Source | Priority |
-|------|-------------|-----------------|----------|
-| `con` | Constant/immutable value | `nodes/const/` | P1 |
-| `val` | Mutable reference (LWW register) | `nodes/val/` | P1 |
-| `obj` | Mutable string-keyed map (LWW per key) | `nodes/obj/` | P1 |
-| `vec` | Mutable indexed tuple (0-255 slots) | `nodes/vec/` | P1 |
-| `arr` | Mutable ordered list (RGA-based) | `nodes/arr/` | P1 |
-| `str` | Mutable text string (RGA-based) | `nodes/str/` | P1 |
-| `bin` | Mutable binary data (RGA-based) | `nodes/bin/` | P1 |
-
-### Node Interface
-
-Each node must implement:
-- `id: Timestamp` - Creation timestamp (unique identifier)
-- `name(): string` - Type name for debugging
-- `view(): Value.t` - Materialize current value
-- `children(): Node list` - Child nodes for traversal
-
-## Patch Operations (18 opcodes)
-
-All operations from `json-crdt-patch/operations.ts`:
-
-### Creation Operations (7)
-
-| Opcode | Name | Description |
-|--------|------|-------------|
-| 0 | `new_con` | Create constant node |
-| 1 | `new_val` | Create mutable value node |
-| 2 | `new_obj` | Create object node |
-| 3 | `new_vec` | Create vector/tuple node |
-| 4 | `new_str` | Create string node |
-| 5 | `new_bin` | Create binary node |
-| 6 | `new_arr` | Create array node |
-
-### Insertion Operations (7)
-
-| Opcode | Name | Description |
-|--------|------|-------------|
-| 7 | `ins_val` | Set value node reference |
-| 8 | `ins_obj` | Insert/update object key |
-| 9 | `ins_vec` | Set vector slot |
-| 10 | `ins_str` | Insert text into string |
-| 11 | `ins_bin` | Insert bytes into binary |
-| 12 | `ins_arr` | Insert element into array |
-| 13 | `upd_arr` | Update array element in place |
-
-### Other Operations (4)
-
-| Opcode | Name | Description |
-|--------|------|-------------|
-| 14 | `del` | Delete range (RGA tombstone) |
-| 15 | `nop` | No-op (padding/alignment) |
-
-**Note**: Opcodes 16-17 are reserved for future use.
-
-## Value Types (CBOR Extended)
-
-The library must support JSON values plus CBOR extensions:
-
-```ocaml
-type t =
-  | Null
-  | Undefined       (* CBOR extension - not in JSON *)
-  | Bool of bool
-  | Int of int      (* 53-bit safe integer *)
-  | Float of float
-  | String of string
-  | Bytes of bytes  (* CBOR extension - not in JSON *)
-  | Array of t list
-  | Object of (string * t) list
-  | Timestamp_ref of Timestamp.t  (* Reference to another node *)
-```
-
-### Encoding Notes
-
-- `Undefined` encodes as CBOR undefined (0xf7), JSON `null`
-- `Bytes` encodes as CBOR bytes, JSON base64 string
-- `Timestamp_ref` encodes as 2-element array `[sid, time]`
-
-## Clock and Timestamp Types
-
-From `json-crdt-patch/clock/`:
-
-### Timestamp
-
-```ocaml
-type timestamp = {
-  sid: int;   (* Session ID, 53-bit safe integer *)
-  time: int;  (* Logical time, 53-bit safe integer *)
-}
-```
-
-### Timespan
-
-```ocaml
-type timespan = {
-  sid: int;
-  time: int;
-  span: int;  (* Length of the span *)
-}
-```
-
-### Session ID Constants
-
-From `json-crdt-patch/constants.ts`:
-
-| Name | Value | Description |
-|------|-------|-------------|
-| `SYSTEM` | 0 | Reserved for system use |
-| `SERVER` | 1 | Server clock mode |
-| `GLOBAL` | 2 | Global/schema patches |
-| `LOCAL` | 3 | Local-only data |
-| `MAX` | 9007199254740991 | 53-bit max (2^53 - 1) |
-
-### ClockVector
-
-Full vector clock implementation supporting multiple concurrent sessions:
-
-```ocaml
-type clock_vector = {
-  local: logical_clock;           (* This session's clock *)
-  peers: (int, int) Map.t;        (* Session ID -> observed time *)
-}
-```
-
-Methods:
-- `tick()` - Increment local clock
-- `observe(timestamp)` - Update peer knowledge
-- `fork(new_sid)` - Create independent replica
-- `clone()` - Deep copy
-
-## Codec Formats
-
-### Patch Codecs
-
-| Format | Description | File Extension |
-|--------|-------------|----------------|
-| Verbose JSON | Human-readable, explicit types | `.verbose.json` |
-| Compact JSON | Array-based, smaller | `.compact.json` |
-| Binary | CBOR-based, wire-efficient | `.bin` |
-
-### Document Codecs
-
-| Format | Description | Use Case |
-|--------|-------------|----------|
-| Sidecar | View + separate metadata | Non-CRDT compatibility |
-| Verbose Structural | Tree with explicit nodes | Debugging |
-| Compact Structural | Array-based tree | Storage |
-| Binary Structural | CBOR tree | Wire transfer |
-| Indexed | Flat node map | Incremental sync |
-
-## Conformance Testing
-
-The library must pass all tests from [json-crdt-traces](https://github.com/streamich/json-crdt-traces):
-
-### Test Categories
-
-1. **Codec Roundtrip**
-   - Decode each format (verbose, compact, binary)
-   - Re-encode and compare
-   - Binary must match byte-for-byte
-
-2. **Patch Application**
-   - Apply patches from trace to empty model
-   - Compare final view to `view.json`
-
-3. **Model Codecs**
-   - Decode model snapshots
-   - Verify view matches expected
-   - Re-encode and compare
-
-4. **Convergence**
-   - Apply patches in different orders
-   - Verify all replicas converge to same state
-
-### Trace Types
-
-- `text/` - Plain text editing traces
-- `json/` - JSON document editing traces  
-- `rich-text/` - Peritext rich text traces
-- `fuzzer/` - Randomized operation traces
-
-## Extensions (Optional)
-
-Higher-order CRDT types built on the core:
-
-| Extension | Description | Built On |
-|-----------|-------------|----------|
-| Counter (`cnt`) | PN-counter | `vec` node |
-| Multi-value (`mval`) | All concurrent writes visible | `arr` node |
-| Peritext | Rich text with formatting | `str` + annotations |
-
-## JSON-Rx RPC Protocol
-
-For OCaml-to-OCaml communication:
-
-### Message Types
-
-```ocaml
-type message =
-  | Request of { id: int; method_: string; data: Value.t option }
-  | Response of { id: int; data: Value.t }
-  | Error of { id: int; error: Value.t }
-  | Notification of { method_: string; data: Value.t option }
-  | Subscribe of { id: int; channel: string }
-  | Unsubscribe of { id: int }
-  | Data of { id: int; data: Value.t }
-  | Complete of { id: int }
-```
-
-### Sync Protocol
-
-1. Client subscribes to document
-2. Server sends initial snapshot
-3. Bidirectional patch streaming
-4. Conflict-free merge on both sides
-
-## OCaml-Specific Design
-
-### Effects-Based IO
-
-Use OCaml 5.4 effects for IO-agnostic design:
-
-```ocaml
-type _ Effect.t +=
-  | Read_bytes : int -> bytes Effect.t
-  | Write_bytes : bytes -> unit Effect.t
-  | Yield : unit Effect.t
-```
-
-Effect handlers for:
-- Eio (recommended)
-- Lwt (legacy)
-- Direct/blocking (simple scripts)
-
-### Module Structure
-
-```
-lib/
-  crdt.ml           (* Top-level module *)
-  value/            (* Value.t and JSON Pointer *)
-  clock/            (* Timestamps, ClockVector *)
-  patch/            (* Operations, Patch, Builder *)
-  model/            (* Nodes, Model, API *)
-  codec/            (* All codec implementations *)
-  rx/               (* JSON-Rx RPC *)
-```
-
-### Dependencies
-
-- `jsont` - JSON encoding/decoding
-- `jsont.bytesrw` - Binary/streaming support
-
-## Version Compatibility
-
-This specification targets json-joy compatibility as of:
-- **json-joy version**: Latest main branch (Dec 2024)
-- **json-crdt-traces version**: Latest main branch
-
-Wire format compatibility is required - documents and patches encoded by
-either implementation must be readable by the other.