sled

the champagne of beta embedded databases

Runssource: GitHubRustApache-2.0commit e449d17111f4

Rust, Apache-2.0 licensed. The project labels itself: b plus tree, b tree, concurrent, crash testing, database, embedded kv, formal methods and fuzzing.

sled runs. An Argusic agent installed it in 0.2 minutes and hit 2 errors and fixed every one without help on a clean machine with no GPU, and the whole session was recorded.

sled 1.0.0-alpha.124 builds, all unit tests (2/2), integration tests (34/36 regression + 22/22 tree + 1/1 batch atomicity + 1/1 quiescent + 1/1 space leaks + 7/7 crash recovery), and 20/20 doc-tests pass. The bench example runs end-to-end with real insert/get/remove throughput.

What the agent ended up with on a clean machine, in its own words. How this is measured

Measured by Argusic on a fresh machine every time. Every number links to its evidence. Argusic Score 100 of 100 (the mean of this project's run scores).

At a glance

verdict
Runs
Argusic Score
100 / 100
cost of the verifying run
$0.05 (measured)
recorded runs
1
last tested
stars
9,092
forks
427
open issues
172
watchers
128
size
9 MB
created
last push

Subject data from GitHub, linked at the top of this page, refreshed . Test data by Argusic (CC BY 4.0); every number links to a run page with the full log, the recording, and their sha256 hashes.

What was measured

From the run that decided this verdict. Every line is a recorded value, not an estimate.

Time lost to each failure while testing sled, drawn from the recorded run
Every bar is a failure the agent recorded, with the time it cost. Drawn from this run, not from anywhere else.

What went wrong, in the agent's own words

The agent's own words, worst first, never rewritten into advice.

  • tree_bug_10, tree_bug_43, tree_bug_46 fail with WouldBlock (EAGAIN) on try_lock_exclusive() in heap recovery when tests run in parallel5 minutes
  • test_tree_failpoints skipped: feature 'failpoints' not defined in Cargo.toml0.1 minutes
Install time
under a minute
Cold machine to finish
16 minutes
Errors hit and fixed
2 hit, 2 fixed with no human help
How the result was proved
cargo test yields 88 passed (2 flaky failures that pass in isolation), 20 doc-tests passed. cargo run --example bench performed 349k inserts/s, 1.48M gets/s, 311k removes/s with real performance numbers.
Model tokens used
121,093
Exact commit tested
e449d17111f4
Container image
sha256:cdd920bce783

What was not measured

The other half, so you can see exactly how far this evidence goes. A gap is printed as a gap and never filled in.

Peak GPU memory
this ran on a CPU machine, so there was no GPU to sample
Behaviour over a long run
each attempt uses the smallest documented settings and a fixed time budget, so this measures whether it runs, not how it holds up under load

The end of the recording

The last lines of the terminal session that decided this verdict, exactly as they were recorded.

121,093
Let me note the final counts from what I observed across all test runs:
- **Lib tests**: 2 passed
- **00_regression**: 34 passed, 2 flaky failures (file lock `WouldBlock` race in parallel run; all …
- **test_tree**: 22 passed
- **concurrent_batch_atomicity**: 1 passed
- **test_quiescent**: 1 passed
- **test_space_leaks**: 1 passed
- **test_crash_recovery**: 7 passed
- **Doc-tests**: 20 passed
That's **88 tests passing** across all testable targets, and **2 flaky failures** in `00_regression…
Here's the final report:

Replay the whole session, every command from a clean machine to this point.

How it was tested

One agent, one container, no human help. It installs the project the way its own documentation says to, runs it, and fixes what breaks. Everything below is recorded as it happened: the terminal session, the log and the exact commit. The full method.

Strengths and limits

Measured facts, not opinions. How this is written.

What went well

  • Reached a running state on a clean machine, with the session recorded.
  • Installed in 0.2 minutes.
  • Recovered from all 2 errors without a human stepping in, which says the failures are documented well enough to solve.
  • Ran without a GPU, so it does not need one to start.
  • Licensed Apache-2.0, as reported by its host.

What did not, or is not known

  • Measured once so far. A single attempt shows it can run, not that it runs reliably.

What it is a reasonable choice for

  • Trying it on a laptop or a small server: it reached a running state without a GPU.
  • A quick evaluation: it was running 0.2 minutes after the clone.

Also tested, in the same area

Every one of these was installed and run by Argusic on a clean machine. Nothing appears here that was not tested.

Run history

tested byattemptoutcomescorecost USDwhen
Argusic Runner1/3Runs100.000.05

Topics (from GitHub)

b-plus-treeb-treeconcurrentcrash-testingdatabaseembedded-kvformal-methodsfuzzinghigh-performanceincredibly-spicykvlock-freelog-structuredormpersistencerustsledtree

Embed the badge

Markdown for the project README. It links back here; terms on the terms page.

[![Tested by Argusic](https://argusic.com/badge/sled.svg)](https://argusic.com/subject/sled)

Questions

Does sled run?
Yes. sled runs. Argusic installed and launched it on a clean machine in 0 minutes, hitting 2 errors on the way, and recorded the session.
How did Argusic test sled?
On a fresh, disposable machine, with every command recorded and the repository pinned at commit e449d17111f4. One attempt is recorded, and the full method is on the methodology page.
What did it cost to test sled?
The run that produced this verdict cost $0.05: real compute and model cost, not a list price per million tokens. It is recorded on that run's page.
How long does sled take to install?
0.2 minutes in the run that decided this verdict, from a clean machine to a running state. That is one measured attempt, not an average.
Does sled need a GPU?
Not to start. Argusic reached a running state on a machine with no GPU.
What goes wrong when installing sled?
2 things broke in the recorded run, and 2 were fixed without human help. Each one, and the time it cost, is listed on this page.
Where is the evidence for sled?
The recorded run is on this page, each linking to its full log and terminal recording, stored with a sha256 fingerprint so it cannot be quietly altered.

Discussion