LMDB/SQLite store, temporal APIs, shared-API parity, SQLite Share_index_db

.cursor/Dockerfile

@@ -0,0 +1,39 @@
+FROM ubuntu:24.04
+
+ENV DEBIAN_FRONTEND=noninteractive
+ENV OPAMYES=1
+
+# System packages + opam as root so /usr/bin/opam is available to every shell.
+RUN apt-get update \
+    && apt-get install -y --no-install-recommends \
+        ca-certificates \
+        curl \
+        git \
+        build-essential \
+        pkg-config \
+        bubblewrap \
+        opam \
+        libsqlite3-dev \
+        liblmdb-dev \
+    && rm -rf /var/lib/apt/lists/*
+
+# Node.js 24 for js_of_ocaml / Melange smoke tests.
+RUN curl -fsSL https://deb.nodesource.com/setup_24.x | bash - \
+    && apt-get install -y --no-install-recommends nodejs \
+    && rm -rf /var/lib/apt/lists/*
+
+RUN useradd -m -s /bin/bash ubuntu 2>/dev/null || true
+
+USER ubuntu
+WORKDIR /home/ubuntu
+
+# OCaml 5.5 toolchain lives in the image; project opam deps are installed by
+# .cursor/cloud-agent-install.sh after the repository checkout is available.
+RUN opam init --disable-sandboxing -a -y \
+    && opam update -a \
+    && opam switch create 5.5 ocaml-base-compiler.5.5.0 -y \
+    && eval "$(opam env --switch=5.5)" \
+    && opam install dune ocamlfind -y
+
+RUN echo 'test -r ~/.opam/opam-init/init.sh && . ~/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true' >> ~/.bashrc \
+    && echo 'eval $(opam env --switch=5.5 2>/dev/null)' >> ~/.bashrc

.cursor/cloud-agent-install.sh

@@ -0,0 +1,67 @@
+#!/usr/bin/env bash
+# Idempotent Cloud Agent bootstrap.
+# Works both when the Dockerfile already provides opam/OCaml 5.5 and when a
+# Personal/DB-managed base image does not (install must self-bootstrap).
+set -euo pipefail
+
+repo_root="$(git rev-parse --show-toplevel)"
+cd "$repo_root"
+
+export DEBIAN_FRONTEND=noninteractive
+export OPAMYES=1
+export OPAMCOLOR=never
+
+need_sudo() {
+  if [ "$(id -u)" -eq 0 ]; then
+    "$@"
+  elif command -v sudo >/dev/null 2>&1; then
+    sudo DEBIAN_FRONTEND=noninteractive "$@"
+  else
+    echo "Need root or sudo to install system packages: $*" >&2
+    exit 1
+  fi
+}
+
+ensure_system_packages() {
+  local missing=0
+  for pkg in opam pkg-config libsqlite3-dev liblmdb-dev build-essential bubblewrap curl ca-certificates git; do
+    if ! dpkg -s "$pkg" >/dev/null 2>&1; then
+      missing=1
+      break
+    fi
+  done
+  if [ "$missing" -eq 0 ] && command -v opam >/dev/null 2>&1; then
+    return 0
+  fi
+  need_sudo apt-get update
+  need_sudo apt-get install -y --no-install-recommends \
+    ca-certificates \
+    curl \
+    git \
+    build-essential \
+    pkg-config \
+    bubblewrap \
+    opam \
+    libsqlite3-dev \
+    liblmdb-dev
+}
+
+ensure_system_packages
+
+if ! command -v opam >/dev/null 2>&1; then
+  echo "opam is still missing after apt install" >&2
+  exit 1
+fi
+
+if [ ! -d "${HOME}/.opam" ]; then
+  opam init --disable-sandboxing -a -y
+fi
+
+if ! opam switch list --short 2>/dev/null | grep -qx '5.5'; then
+  opam switch create 5.5 ocaml-base-compiler.5.5.0
+fi
+
+eval "$(opam env --switch=5.5)"
+
+opam install . --deps-only --with-test -y
+dune build @install

.cursor/environment.json

@@ -0,0 +1,9 @@
+{
+  "name": "DataScript OCaml (OCaml 5.5)",
+  "user": "ubuntu",
+  "build": {
+    "dockerfile": "Dockerfile",
+    "context": ".."
+  },
+  "install": ".cursor/cloud-agent-install.sh"
+}

.github/workflows/ci.yml

@@ -48,7 +48,7 @@ jobs:
           lein: latest
 
       - name: Install system dependencies
-        run: sudo apt-get update && sudo apt-get install -y libsqlite3-dev pkg-config
+        run: sudo apt-get update && sudo apt-get install -y libsqlite3-dev liblmdb-dev pkg-config
 
       - name: Install OCaml dependencies
         run: opam install . --deps-only --with-test -y

.gitignore

@@ -9,3 +9,5 @@ tmp/
 /db.sqlite-shm
 /db.sqlite-wal
 /_deps/
+/vendor/
+_bench_data/

AGENTS.md

@@ -1,5 +1,6 @@
 - Code and comments should be written in English.
 - Solve root causes, not workarounds.
+- When debugging a problem, do not guess and patch blindly. Add targeted debug logging (or other runtime evidence), identify the root cause, then implement the fix.
 - Prefer simple implementations over complex ones.
 - All observable behavior should match upstream DataScript.
 - Implementation details should match upstream DataScript unless a divergence is explicitly requested and documented.

README.md

@@ -47,7 +47,6 @@ to use a different checkout or compiled JS bundle.
 - `type/`: shared public type definitions
 - `impl/`: implementation modules
 - `test/`: unit, integration, js_of_ocaml, and cross-runtime tests
-- `examples/`: small executable examples
 - `bench/`: benchmark entry points
 - `script/`: parity and benchmark helper scripts