docs: sync README/ROADMAP/CLAUDE/CHANGELOG with Tier 1-4 hardening work

README.md:
- Fix badly stale LongMemEval numbers (badge said Hit@5 46%, table showed
  fabricated ~46%/~0.34/~72% figures that never matched BENCHMARKS.md's
  actual results of Hit@5 100% session / 84.4% turn-level, MRR 1.0/0.6597)
- Remove clawhdf5-types from the Crate Map — that crate was removed in an
  earlier cleanup pass but the README diagram was never updated; fix the
  crate count (16, not 17) and stale line-of-code figures (72,087/84K -> ~92K)
- Fix a dead #benchmarks badge anchor (no such heading exists) -> #performance
- Document the new clawhdf5-ann `parallel` feature (had no Feature Flags entry)
- Note WAL's CRC32 per-entry check, link the new tank LongMemEval/SIMD/
  vector-search reproduction section, update stale test-count comment
  (417+ -> 1,650+) and Phase 2 roadmap blurb (LongMemEval is now done)

ROADMAP.md:
- Check off "Academic benchmark cross-validation" (done via the tank
  LongMemEval re-run) and add a new "Recently closed out" section
  summarizing the Tier 3-4 hardening pass (Android JNI validation, pyo3
  bump, WAL CRC32, bounds-check audit + fuzz harness that found 3 real
  bugs, HNSW optional parallel feature, workspace.dependencies)
- Update stale test count (1,546 -> 1,650+) and last-updated date

CLAUDE.md: mention WAL's per-entry CRC32 check

CHANGELOG.md: add Security/Performance/Architecture/Documentation entries
under Unreleased summarizing all of Tiers 1-4 (this had not been touched
since 2026-06-04, predating the entire hardening pass)

CHANGELOG.md

@@ -2,6 +2,90 @@
 
 ## Unreleased
 
+### Security
+- `clawhdf5-format`: bounded decompression output (`MAX_DECOMPRESS_SIZE`) for
+  deflate/lz4/zstd/pcodec so a crafted compressed chunk can't drive an
+  unbounded allocation (memory-exhaustion DoS).
+- `clawhdf5-format`: `chunked_read.rs`/`data_read.rs`/`local_heap.rs` bounds
+  audit — added `ensure_len` overflow guards at every plain-arithmetic
+  offset+size check, a recursion-depth guard against a crafted
+  self-referencing/cyclic B-tree chunk index, a fix for an unguarded
+  compound-datatype `byte_offset` overrun in `read_compound_fields`, and an
+  `ndims - 1` underflow guard for degenerate zero-dimension chunked layouts.
+  Added a new `fuzz_dataset_read` cargo-fuzz target (walks every dataset in a
+  parsed file and exercises the contiguous/chunked/compact raw-data read
+  paths) which found and fixed 3 real crash bugs — an integer-multiply
+  overflow in `copy_chunk_to_output`'s N-D assembly path, the `ndims - 1`
+  underflow above, and an overflow in `local_heap.rs` — within the first few
+  fuzzing runs.
+- `clawhdf5-format`: `btree_v1.rs` overflow-safe bounds checks via a local
+  `ensure_len` helper, closing a `usize`-overflow panic reachable from a
+  crafted near-`usize::MAX` B-tree offset.
+- `clawhdf5-agent`: WAL length-prefix caps (`MAX_WAL_FIELD_LEN`, 64 MiB) reject
+  a corrupted/truncated length claim before allocating. Followed by a full
+  per-entry CRC32 trailer (`WAL_VERSION` bumped to 2) — a bit-flip inside an
+  entry now stops replay cleanly instead of silently accepting corrupted
+  data. Old-format WAL files are still read correctly and migrated to the new
+  format on next open.
+- `clawhdf5-android`: validate `embedding_len`/`query_embedding_len` against
+  the handle's configured `embedding_dim` (and reject null pointers) before
+  constructing a slice from a raw pointer in `edgehdf5_save` /
+  `edgehdf5_hybrid_search`.
+- `clawhdf5-py`: bump pyo3/numpy `0.28` → `0.29`, clearing two RUSTSEC
+  advisories (OOB read in `PyList`/`PyTuple` iterator; missing `Sync` bound on
+  `PyCFunction::new_closure`).
+- Clarified that the integrity hashes in `clawhdf5-agent::provenance`
+  (FNV-1a) and `clawhdf5-format::provenance` (SHA-256) are unkeyed and detect
+  only accidental corruption, not tampering — doc-only change, no behavior
+  change.
+
+### Performance
+- `clawhdf5-format`: chunk cache lookup is now O(1) (`slot_index: HashMap`)
+  instead of a linear scan, and cache hits return a shared `Arc` instead of
+  cloning the decompressed buffer — the hottest path in chunked reads.
+- `clawhdf5-ann`: optional `parallel` feature (rayon) parallelizes HNSW's
+  `prune_connections` neighbor-distance computation. The outer build/insert
+  loop is deliberately left sequential — it has genuine cross-iteration data
+  dependencies and needs its own correctness-focused design pass.
+- `clawhdf5-format/chunked_read.rs`: removed 12 unnecessary
+  `chunk_dimensions[..rank].to_vec()` allocations where callees already
+  accept `&[u32]`.
+
+### Architecture
+- Added `.gitea/workflows/ci.yml`, actually wiring the long-existing
+  `scripts/ci-test.sh` (fmt, clippy, tests, no_std check) into CI on every
+  push/PR to `main`. Fixed stale package names in `ci-test.sh`/
+  `check-nostd.sh` that had been silently no-op'ing the `clawhdf5-py`
+  exclusion and the no_std check.
+- Fixed a genuine no_std build break in `clawhdf5-format` (uncovered once the
+  no_std CI check actually started running): `core::sync::atomic::AtomicU64`
+  doesn't exist on `thumbv7em-none-eabihf` (switched to `portable-atomic`),
+  missing `alloc` imports for `Box`/`Vec`/`format!` on a few no_std paths, and
+  `f64::powi` (std/libm-only) replaced with a local exponentiation-by-squaring
+  helper in the scale-offset filter.
+- Added `[workspace.dependencies]` for `tempfile`/`criterion`/`half`/`serde`,
+  fixing a real version skew on `half` (`2` vs `2.7` across crates).
+- Fixed version skew: `clawhdf5-py` (`pyproject.toml`) and
+  `packages/clawhdf5-node` (`package.json`) were both behind the actual crate
+  version (2.1.0).
+- Documented that the `mpi-io` feature's read/write paths are root-read
+  +broadcast / gather-to-rank-0, not true collective I/O.
+
+### Documentation
+- BENCHMARKS.md: re-ran the previously-undated "LongMemEval Results", "SIMD &
+  Parallelism", and "Vector Search Latency"/"Comparison to MemX" sections on
+  a second machine (tank, Ryzen 7 7800X3D) with explicit dates and reproduce
+  commands. Found and corrected a methodology issue in the SIMD/Parallelism
+  benchmark selection (several originally-compared benchmarks didn't actually
+  isolate the scalar/SIMD/parallel axis).
+- README.md / ROADMAP.md / CLAUDE.md: corrected several stale facts —
+  the `clawhdf5-types` crate (removed earlier) was still listed in the
+  README crate map; the LongMemEval numbers in the README badge and table
+  didn't match the actual (much better) benchmark results in BENCHMARKS.md;
+  total line-of-code and test-count figures were stale; `clawhdf5-gpu`'s
+  CubeCL→wgpu correction; documented the new `clawhdf5-ann` `parallel`
+  feature flag, which had no entry in the Feature Flags table.
+
 ### New Features
 - `clawhdf5-migrate`: substantial engine improvements:
   - **Real content validation** — the post-migration check now reads the written

CLAUDE.md

@@ -33,7 +33,7 @@ Cargo workspace with 16 crates under `crates/` (plus `libaec-sys`, an internal F
   the approximate `clawhdf5-ann` index for the vector stage (the index mirrors
   the cache and self-heals on drift). Build the agent with
   `--no-default-features --features float16` to force the exact linear cosine scan.
-- WAL (write-ahead log) for crash-safe persistence
+- WAL (write-ahead log) for crash-safe persistence, with a CRC32 trailer per entry so a corrupted entry stops replay cleanly instead of loading bad data
 - GPU-accelerated batch I/O for large dataset processing
 - Python and Node.js bindings for cross-language use
 - NetCDF-4 compatibility for scientific data interop

README.md

@@ -4,8 +4,8 @@
 
 [![License: MIT](https://img.shields.io/badge/license-MIT-blue.svg)](LICENSE)
 [![Rust](https://img.shields.io/badge/rust-1.75%2B-orange.svg)](https://www.rust-lang.org)
-[![Tests](https://img.shields.io/badge/tests-1500%2B%20passing-brightgreen.svg)](#benchmarks)
+[![Tests](https://img.shields.io/badge/tests-1650%2B%20passing-brightgreen.svg)](#performance)
-[![LongMemEval](https://img.shields.io/badge/LongMemEval-Hit@5%2046%25%20BM25--only-blue.svg)](BENCHMARKS.md#longmemeval-results)
+[![LongMemEval](https://img.shields.io/badge/LongMemEval-Turn--Level%20Hit@5%2084%25%20BM25--only-blue.svg)](BENCHMARKS.md#longmemeval-results)
 [![Footprint](https://img.shields.io/badge/footprint-6.5%20KB%2Frecord-lightgrey.svg)](BENCHMARKS.md#memory-footprint)
 
 ClawHDF5 is a pure-Rust HDF5 implementation combined with a research-grade agent memory engine. It gives AI agents persistent, searchable, cryptographically verifiable memory — all stored in a single portable file.
@@ -66,6 +66,11 @@ Figures below are from an independent reproduction run on a second machine (AMD
 | 10K | 753 µs | **27 µs** | — | — |
 | 100K | 11.4 ms | 1.32 ms | **1.19 ms** | **8–76× faster** |
 
+> Reproduced on the same second machine (Ryzen 7 7800X3D) with a corrected,
+> apples-to-apples SIMD/scalar/parallel comparison methodology — see
+> [BENCHMARKS.md § Independent Validation: tank — LongMemEval & Vector
+> Search](BENCHMARKS.md#independent-validation-tank--longmemeval--vector-search-ryzen-7-7800x3d-2026-08-05).
+
 ### Agent Memory Operations
 
 | Operation | Latency | Scale |
@@ -97,15 +102,18 @@ Use `.with_zstd(3)` or `.with_deflate(6)` for write-heavy workloads — both now
 ### LongMemEval Retrieval Recall
 
 Evaluated against the LongMemEval dataset (500 questions, multi-session haystack).
-BM25-only baseline (no embedding model required at bench time):
+BM25-only baseline (no embedding model required at bench time), reproduced
+identically on a second machine (see [BENCHMARKS.md § LongMemEval
+Results](BENCHMARKS.md#longmemeval-results)):
 
-| Metric | BM25-only | Full hybrid¹ |
+| Metric | Session-Level | Turn-Level |
-|--------|-----------|--------------|
+|--------|---------------|------------|
-| Hit@5 (session) | ~46% | Higher |
+| Hit@5 | 100.0% | **84.4%** |
-| MRR (session) | ~0.34 | Higher |
+| MRR | 1.0000 | 0.6597 |
-| Abstention accuracy | ~72% | — |
 
-> ¹ Enable embeddings via `hybrid_search(query_emb, text, 0.7, 0.3, k)` for substantially higher recall. The vector stage is served by the HNSW index by default (the `hnsw` feature is on by default); build with `--no-default-features --features float16` to fall back to an exact linear cosine scan.
+Turn-level Hit@5 (84.4%) beats MemX's reported 51.6% at the same task.
+
+> Enable embeddings via `hybrid_search(query_emb, text, 0.7, 0.3, k)` for substantially higher recall. The vector stage is served by the HNSW index by default (the `hnsw` feature is on by default); build with `--no-default-features --features float16` to fall back to an exact linear cosine scan.
 
 ### Memory Footprint
 
@@ -194,7 +202,7 @@ ClawhDF5's agent memory engine implements research from 15+ recent papers on age
 | **`ivf` / `pq`** | IVF-PQ approximate nearest neighbor for billion-scale search |
 | **`bm25`** | BM25 keyword index with TF-IDF scoring |
 | **`entity_extract`** | Rule-based entity extraction from text chunks into the knowledge graph |
-| **`wal`** | Write-ahead log for crash-safe persistence |
+| **`wal`** | Write-ahead log for crash-safe persistence; each entry is CRC32-checked on replay, so a corrupted entry stops replay there instead of loading bad data |
 | **`memory_strategy`** | Pluggable strategies: save-every, semantic-shift, user-correction detection |
 | **`decision_gate`** | Sub-microsecond trivial/substantive classification |
 | **`async_memory`** | Tokio-based async wrapper over the memory store (`async` feature) |
@@ -338,22 +346,22 @@ let exported = backend.export_markdown("MEMORY.md")?;
 ## Crate Map
 
 ```
-clawhdf5 workspace (17 crates, 84K lines of Rust)
+clawhdf5 workspace (16 crates, ~92K lines of Rust; plus libaec-sys, an
+                     internal FFI bindings crate for the optional szip feature)
 │
 ├── Core HDF5
-│   ├── clawhdf5-types      — Type system definitions
+│   ├── clawhdf5-format      — Binary parser/writer (no_std), shared type definitions
-│   ├── clawhdf5-format      — Binary parser/writer (no_std)
 │   ├── clawhdf5-io          — I/O abstraction (buffered, mmap, async)
 │   ├── clawhdf5-filters     — Compression (deflate, lz4, zstd, blosc)
 │   ├── clawhdf5-derive      — Proc macros
 │   ├── clawhdf5             — High-level API
 │   ├── clawhdf5-netcdf4     — NetCDF-4 support
 │   ├── clawhdf5-accel       — SIMD (NEON, AVX2, AVX-512)
-│   └── clawhdf5-gpu         — GPU compute (wgpu)
+│   └── clawhdf5-gpu         — GPU compute (wgpu, hand-written WGSL compute shaders)
 │
 ├── Agent Memory
-│   ├── clawhdf5-agent       — Memory engine (20.7K lines, 32 modules)
+│   ├── clawhdf5-agent       — Memory engine (20.9K lines, 32 modules; WAL is CRC32-checked per entry)
-│   ├── clawhdf5-ann         — HNSW approximate nearest neighbor (default backend)
+│   ├── clawhdf5-ann         — HNSW approximate nearest neighbor (default backend; optional `parallel` feature)
 │   ├── clawhdf5-migrate     — SQLite → HDF5 migration
 │   ├── clawhdf5-android     — Android JNI bridge
 │   └── clawhdf5-cli         — CLI tool
@@ -420,6 +428,12 @@ ClawhDF5's agent memory design draws from 15+ recent papers:
 | `system-zlib` / `zlib-rs` | no | Alternative zlib backends for deflate |
 | `blake3_hash` | no | BLAKE3 content hashing for provenance |
 
+### `clawhdf5-ann`
+
+| Flag | Default | Description |
+|------|---------|-------------|
+| `parallel` | no | Rayon-parallel neighbor-distance computation during HNSW graph pruning |
+
 ### `clawhdf5-io`
 
 | Flag | Default | Description |
@@ -447,7 +461,7 @@ cargo build -p clawhdf5-agent --features "agent,float16,parallel,fast-math"
 cargo build -p clawhdf5-agent --features "agent,float16,accelerate,parallel,gpu"
 
 # Tests
-cargo test --workspace            # all 417+ tests
+cargo test --workspace            # all 1,650+ tests
 cargo test -p clawhdf5-agent      # agent memory tests
 
 # Benchmarks
@@ -517,7 +531,7 @@ See [ROADMAP.md](ROADMAP.md) for the full implementation tracker.
 - ✅ OpenClaw integration layer
 - ✅ Comprehensive Criterion benchmarks
 
-**Phase 2** — OpenClaw TypeScript bridge, academic benchmarks (MemoryArena, LongMemEval), cross-platform validation.
+**Phase 2** — MemoryArena and LongMemEval academic benchmarks are done (see [BENCHMARKS.md](BENCHMARKS.md), reproduced on a second machine); remaining: publish the OpenClaw TypeScript bridge to npm, crates.io/PyPI publishing.
 
 ---
 
@@ -535,5 +549,5 @@ MIT
 
 <p align="center">
   <em>Built by <a href="https://github.com/redclawsystems">RedClaw Systems</a></em><br>
-  <em>72,087 lines of Rust. Zero C dependencies. One file to remember everything.</em>
+  <em>~92,000 lines of Rust. Zero C dependencies. One file to remember everything.</em>
 </p>

ROADMAP.md

@@ -145,7 +145,7 @@
 **Phase 3:** ~~Track 6 (multi-modal) + Track 7 (OpenClaw integration)~~ 🟢 Complete
 **Phase 4:** ~~Track 8 (benchmarking + validation)~~ 🟢 Complete
 
-All 8 tracks delivered. 1,546 tests passing, zero clippy warnings.
+All 8 tracks delivered. 1,650+ tests passing, zero clippy warnings.
 
 ---
 
@@ -153,10 +153,22 @@ All 8 tracks delivered. 1,546 tests passing, zero clippy warnings.
 
 Verified against current repo state on 2026-08-05 (see also `docs/superpowers/plans/` for the filter-codec/format-write/MPI-IO work, now shipped):
 
-- [ ] Academic benchmark cross-validation — reproduce MemX/LongMemEval under identical conditions
 - [ ] TypeScript bridge not wired into CI — `packages/clawhdf5-node/` already has a complete, working napi-rs package (package.json, tsconfig, hand-written TS wrapper matching all 21 `#[napi]` items, Jest test suite, README); it isn't published to npm and has no committed lockfile
 - [ ] Publish crates to crates.io — no `publish` config anywhere in the workspace yet
 - [ ] Python wheel distribution via maturin — `crates/clawhdf5-py/pyproject.toml` exists (maturin-buildable locally) but wheels aren't published anywhere
+- [ ] `chunked_read.rs`/`data_read.rs` full bounds-check audit + scheduled fuzz campaigns (the new `fuzz_dataset_read` target covers the two files' main entry points; a full manual audit of every indexing site is still open) — see Tier 4 below
+- [ ] WAL per-entry checksum landed as CRC32 (see below); a stronger per-entry format (explicit length prefix, avoiding the read-then-verify restructuring) could still be revisited if profiling shows it matters
+- [ ] HNSW build parallelism is still narrow (only `prune_connections`); the correctness-sensitive outer insert loop needs its own dedicated design pass before parallelizing
+
+### Recently closed out (2026-08-05, Tier 3–4 hardening pass)
+
+- [x] Academic benchmark cross-validation — LongMemEval reproduced against MemX on tank (Ryzen 7 7800X3D): turn-level Hit@5 84.4% vs MemX's 51.6%; recall numbers are deterministic and reproduce exactly across machines. SIMD/Parallelism and Vector Search sections also re-run and dated. See [BENCHMARKS.md § Independent Validation: tank — LongMemEval & Vector Search](BENCHMARKS.md#independent-validation-tank--longmemeval--vector-search-ryzen-7-7800x3d-2026-08-05)
+- [x] Android JNI (`clawhdf5-android`): validate `embedding_len`/`query_embedding_len` against the handle's configured `embedding_dim` before constructing a slice from a raw pointer
+- [x] `clawhdf5-py`: bumped pyo3/numpy 0.28 → 0.29, clearing two RUSTSEC advisories
+- [x] WAL (`clawhdf5-agent`): length-prefix caps (`MAX_WAL_FIELD_LEN`) to reject a corrupted length claim before allocating, then a full per-entry CRC32 trailer (`WAL_VERSION` 2) so a bit-flip stops replay cleanly instead of loading corrupted data; old-format WAL files still read correctly and are migrated on next open
+- [x] `chunked_read.rs`/`data_read.rs`/`local_heap.rs` bounds-check audit: added `ensure_len` overflow guards, a recursion-depth guard against cyclic B-trees, and a fix for an unguarded compound-datatype byte-offset overrun. Added a new `fuzz_dataset_read` cargo-fuzz target exercising the contiguous/chunked/compact read paths — it found and we fixed 3 real crash bugs (integer-overflow panics) within the first few runs
+- [x] `clawhdf5-ann`: optional `parallel` feature (rayon) for HNSW's `prune_connections` neighbor-distance computation
+- [x] `[workspace.dependencies]` added for `tempfile`/`criterion`/`half`/`serde`, fixing a real version skew on `half` (2 vs 2.7)
 
 ### Recently closed out (2026-08-05 hardening pass)
 
@@ -172,4 +184,4 @@ Verified against current repo state on 2026-08-05 (see also `docs/superpowers/pl
 
 ---
 
-_Last updated: 2026-08-03_
+_Last updated: 2026-08-05_