docs: add EXPLAINME.adoc — prove-it file backing README claims

Standard RSR documentation: quotes README claims, lists tech choices with
links, honest caveats, dogfooding table. See rsr-template-repo for the pattern.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

EXPLAINME.adoc

@@ -0,0 +1,46 @@
+// SPDX-License-Identifier: PMPL-1.0-or-later
+= VeriSimDB — Show Me The Receipts
+:toc:
+:icons: font
+
+The README makes claims. This file backs them up.
+
+[quote, README]
+____
+Your data lives in multiple systems — graphs, vector stores, document indexes, time-series databases. When one system's view of an entity silently diverges from the others, you get **data drift**: stale embeddings, broken provenance chains, graph edges referencing deleted documents, spatial coordinates that no longer match textual descriptions.
+____
+
+== Technology Choices
+
+[cols="1,2"]
+|===
+| Technology | Learn More
+
+| **Rust** | https://www.rust-lang.org
+| **Zig** | https://ziglang.org
+| **ReScript** | https://rescript-lang.org
+| **Idris2 ABI** | https://www.idris-lang.org
+|===
+
+== Dogfooded Across The Account
+
+Uses the hyperpolymath ABI/FFI standard (Idris2 + Zig). Same pattern used across
+https://github.com/hyperpolymath/proven[proven],
+https://github.com/hyperpolymath/burble[burble], and
+https://github.com/hyperpolymath/gossamer[gossamer].
+
+== File Map
+
+[cols="1,2"]
+|===
+| Path | What's There
+
+| `src/` | Source code
+| `lib/` | Library code
+| `ffi/` | Foreign function interface
+| `test(s)/` | Test suite
+|===
+
+== Questions?
+
+Open an issue or reach out directly — happy to explain anything in more detail.