corebreaker / stratodb / 28

98%

main: 98%

Pull #5

circleci

Raise test coverage from ~83% to ~96%

Adds unit and integration tests across both crates, lifting workspace line coverage (cargo llvm-cov --all-features --workspace, the CircleCI methodology) from 80.88% to 96.27% with no changes to production code.

New in-file #[cfg(test)] modules cover the previously-untested pure and near-pure surface: the dynamic Value accessors, Scalar/Skey/SValue conversions, the engine codecs (TableKey/TableValue/MemNodes ordering and roundtrips), bootstrap_metadata's version checks, NodeKind, codec::Reader bounds, the ordered index codec for every integer width, and the SPath last/parent/Debug/DivAssign helpers.

New integration tests (coverage_paths.rs, error_paths.rs, plus additions to containers/foundation/derive) exercise the packed-entity read-modify-write path, index recompose, rooted views, and the tree's kind/range guards reachable through the public API.

Three techniques unlocked regions that resist ordinary tests: a generic fn exercise<R: Reader>(r: &R) whose opaque R forces dispatch through the Box/Arc<dyn Reader/Writer> forwarding impls that a concrete-pointer call derefs past; deliberate mutex poisoning to reach the CannotAccess error closures in PathCache/DbInner; and calling the proc-macro's internal functions with invalid syn input so their Err returns (which only surface as compile_error! at the entry point) execute under instrumentation, covering nearly all of stratodb-derive's error paths.

The remaining ~3.7% is defensive code that is unreachable in correct operation — Corrupt/missing-node/wrong-kind guards the API pre-validates, and a few unreachable!() panics — so it would need fault injection to exercise.

The full gate stays green: cargo test --all-features --all-targets, doctests, clippy (default/derive/all-features/bignum-as-data), and cargo +nightly fmt --check all pass.

897 of 897 new or added lines in 26 files covered. (100.0%)

6968 of 7091 relevant lines covered (98.27%)

440316.15 hits per line