This repository was archived by the owner on Sep 29, 2026. It is now read-only.
Repository navigation
Releases: neverhuman/redline-testing
Releases · neverhuman/redline-testing
Release list
v1.0.1
redline-testing v1.0.0
redline-testing v1.0.0
Conformance, benchmark, and SQLite-parity test harness for any SQLite-compatible database.
Point --target-bin at your binary; the runner does the rest.
Install
curl -fsSL \
https://github.com/neverhuman/redline-testing/releases/download/v1.0.0/redline-testing-1.0.0-linux-x86_64.tar.gz \
| tar -xz
./redline-testing-1.0.0-linux-x86_64/bin/redline-testing --versionVerify attestation (Sigstore/SLSA)
gh attestation verify redline-testing-1.0.0-linux-x86_64.tar.gz \
--repo neverhuman/redline-testingOr verify the SHA-256 sidecar:
sha256sum -c redline-testing-1.0.0-linux-x86_64.tar.gz.sha256Quick start
redline-testing run \
--suite sqlite_parity \
--target-bin /path/to/your-db \
--sqlite-bin /usr/bin/sqlite3 \
--output results.jsonlWhat's in this release
Added — exhaustive corpus expansion
- 24 hand-authored SQLite-parity shards under
corpus/sqlite_parity/cases/
(630 cases, IDs 10001–10630, P0 priority). Categories: NULL semantics, NULL
ordering, aggregate-NULL, autoincrement, strict tables, CLI output mode, CLI
dot-command, CLI option, PRAGMA P0, foreign keys, transactions, UPSERT,
RETURNING, ATTACH, schema introspection, ALTER, recursive CTE, JOIN, compound,
subquery, aggregate-advanced, error messages, pattern, BLOB. - 8 xtask matrix-generated shards under
corpus/sqlite_parity/cases/gen_*
(688 cases, IDs 11000–12037). Generators inxtask/src/generators.rs:
math(109),cast(45),affinity(64),string(52),datetime(240),
json_path(67),window(73),pragma_sweep(38).cargo run -p xtask -- generate --checkis the drift guard. - 12 beyond-SQLite oracle shards under
corpus/beyond_sqlite/generated_manifest.json
(265 cases, IDs 20001–20444) covering all 12 ranked feature areas in
metadata/beyond_sqlite/features.json. Validated via psql ↔ psql self-compare
insrc/beyond_sqlite/oracle.rs; 253 passed, 12 graceful skips, 0 failures.
Added — runner / infrastructure
xtaskworkspace member withgenerateandship-gatesubcommands. Not
shipped in the release tarball.build.rsenumeratescorpus/sqlite_parity/cases/*.jsonat compile time so
include_str!picks up new shards automatically.src/beyond_sqlite/module split:mod.rs,case.rs,engine.rs,
normalize.rs,oracle.rs,taxonomy.rs. Postgres resolver returns
Configured(_) | Unavailable(_); SQLite-parity suite is mathematically
incapable of depending on Postgres.- Extended capability enum (
fts5,rtree,jsonb,math1,generate_series,
json_pretty,jsonb_array_insert) + probes in
src/sqlite_parity/engine.rs. - 5 new Rust integration tests under
tests/: shard schema, beyond manifest,
capability probe, release-manifest integrity, runner JSONL invariants. scripts/release-package.shreplaces the monoline justfile recipe — every
file underdist/<package>/is glob-hashed intoartifact_hashes.justfile: newcheck,test,verify,generate-check,ship-gate
recipes alongsidepr-ciandrelease-local..github/workflows/ci.yml: optionalbeyond-postgresjob (push +
workflow_dispatch +exhaustivebranch) that spins up a postgres:16
service container and runs the oracle path. The defaultpr-cijob stays
Postgres-free, preserving the SQLite-parity invariant.
Changed
.jankurai/audit-policy.toml— adopted withmode = "advisory", scan
exclusions fortests/integration files andxtask/. Mirror in
agent/audit-policy.toml.Cargo.toml— workspace[".", "xtask"],default-members = ["."],
resolver 3,[features] pg-embedded(declaration only; dep not yet wired).- README.md / AGENTS.md — document the corpus development flow, ship contract,
oracle gating, and new tarball contents.
Notes
- The pinned upstream manifest
corpus/sqlite_parity/generated_manifest.json
(1,127 cases) stays byte-identical. - New cases start at ID 10001 (parity) / 20001 (beyond), reserving 1128–9999
for upstream growth. - Ship contract: a case lands on
mainonly after passing reference
self-compare (sqlite3 ↔ sqlite3for parity,psql ↔ psqlfor beyond).
Full changelog: CHANGELOG.md