I built five SQLite engines from one spec in a week

First publishable cut of the five-target sqlite-leap research artifact.

What's in this release

Five tarballs, one per target language. Each contains the engine source
under src-{target}/ with build artifacts excluded. The main repo ships
the spec (parts/), tests (tests/), and bench harness; the engine
source lives here so reproducers don't need to re-run the LLM-agent
emission step.

| File | Size | What's inside |
|---|---:|---|
| src-c.tar.gz | 504 KB | leap-c engine source (C) |
| src-rust.tar.gz | 484 KB | leap-rust engine source (Rust + WASM target) |
| src-zig.tar.gz | 368 KB | leap-zig engine source (Zig 0.16) |
| src-go.tar.gz | 320 KB | leap-go engine source (Go) |
| src-python.tar.gz | 272 KB | leap-python engine source (Python 3) |

Excluded from each: target/, zig-out/, .zig-cache/, build/,
obj/, bin/, __pycache__/, *.bak, Cargo.lock. The engine's
build scripts re-create these from source.

Reproduction

git clone https://github.com/safitudo/sqlite-leap.git
cd sqlite-leap

# Pull the engine sources for the targets you want to reproduce
TAG=v0.1.0-publication-2026-04-28
for tgt in c rust zig go python; do
  curl -L -o /tmp/src-$tgt.tar.gz \
    https://github.com/safitudo/sqlite-leap/releases/download/$TAG/src-$tgt.tar.gz
  tar xzf /tmp/src-$tgt.tar.gz
done

# Verify checksums
curl -L -o SHA256SUMS \
  https://github.com/safitudo/sqlite-leap/releases/download/$TAG/SHA256SUMS
shasum -a 256 -c SHA256SUMS

# Mac (arm64): full demo (~90s)
cargo build --release --manifest-path src-rust/Cargo.toml \
  --example slt_runner --example lib_bench
bash src-c/build_lib_bench.sh
bash demo_5target_stunt.sh

# Linux x86_64 (Ubuntu 22.04, kernel 6.8, rustc 1.89, gcc 11.4):
bash bench/run-linux-libmode.sh

SHA256

0694c1bdc09ec5084fbc4270ea4de7722c4b61eeeb1ee9bed2a8d07a4dd9db86  src-c.tar.gz
6248a998d3b0d293ce1c4969b00a0dc3d70c10220ad2b8ba6fbd411a179d45b1  src-rust.tar.gz
aeedfb906ef3f0e7f023ed12ad55ac1ef2167f220e47da198cc35e149972108a  src-zig.tar.gz
28b654903aa7c2252ff9c31c18c05100edef431797fdaf04d7ed7149064329f5  src-go.tar.gz
ff305fe2cc848bba83a890530b1d8321e9592656024668edcf86ad3a01bbdcc5  src-python.tar.gz

Headline numbers (cite-anchor: bench/PUBLISHED.md)

• 5/5 targets produce SHA1-identical .db files at fixed fixtures (270-row split + 5,000-row deep-split). Mainline PRAGMA integrity_check returns ok on every leap-emitted file.
• Full 622-file upstream sqllogictest corpus on Linux x86_64 native: 99.56–99.98% excl-SKIP across 5 leap targets (mainline 99.9997%). Per-target denominators differ — see bench/PUBLISHED.md §A.1.
• leap-c binary: 361 KB (Mac) / 500 KB (Linux).

Methodology and caveats: docs/PUBLICATION.md and bench/PUBLISHED.md.