prisma-risk / tsoracle / 26671252506
95%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 95
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 95.166% (+0.3%) from 94.848%
26671252506

push

github

web-flow 
feat: keyed dense sequence service (GetSeq) with file driver consensus support (#579)

* feat(core): seq constants and CoreError variants for dense sequences

Signed-off-by: Sebastian Thiebaud <sebastian@prismarisk.com>

* feat(core): SeqKey validated dense-sequence key

Signed-off-by: Sebastian Thiebaud <sebastian@prismarisk.com>

* feat(core): SeqGrant contiguous dense-ordinal block

Signed-off-by: Sebastian Thiebaud <sebastian@prismarisk.com>

* feat(core): SeqAllocator leadership/epoch gate

Signed-off-by: Sebastian Thiebaud <sebastian@prismarisk.com>

* fix(core,server): address dense-seq code review (doc accuracy, core_status test coverage, boundary tests)

Signed-off-by: Sebastian Thiebaud <sebastian@prismarisk.com>

* feat(consensus): advance_dense/load_dense_seq trait methods with default DenseUnsupported

Signed-off-by: Sebastian Thiebaud <sebastian@prismarisk.com>

* fix(server): propagate the actual ConsensusError in dense persist_disposition arm

The dense-path variants were laundered through std::io::Error::other(error.to_string()),
discarding the concrete error type. Box the ConsensusError itself so its Display and
type survive (downcast_ref now succeeds). Add a regression test.

Signed-off-by: Sebastian Thiebaud <sebastian@prismarisk.com>

* feat(driver-file): versioned checksummed dense-sequence record format

Signed-off-by: Sebastian Thiebaud <sebastian@prismarisk.com>

* feat(driver-file): durable keyed dense fetch-add (advance_dense/load_dense_seq)

Signed-off-by: Sebastian Thiebaud <sebastian@prismarisk.com>

* test(driver-file): close dense-record review gaps (cast asserts, BadMagic payload, version/utf8/overflow/cardinality tests)

Signed-off-by: Sebastian Thiebaud <sebastian@prismarisk.com>

* test(driver-file): failpoint proofs that dense advance is gapless under crash

Signed-off-by: Sebastian Thiebaud <sebastian@prismarisk.com>

* test(driver-file): concurrent dense advances tile contiguously

Signed-off-by: Sebastian Thieba... (continued)

1337 of 1399 new or added lines in 15 files covered. (95.57%)

4 existing lines in 1 file now uncovered.

15377 of 16158 relevant lines covered (95.17%)

363934.67 hits per line

Uncovered Changes

Lines Coverage ∆ File
29
93.98
 3.73% crates/tsoracle-client/src/retry.rs
8
93.01
 4.08% crates/tsoracle-client/src/lib.rs
8
88.57
 -11.43% crates/tsoracle-client/src/test_support.rs
4
89.74
 crates/tsoracle-client/src/seq_attempt.rs
4
84.21
 -7.46% crates/tsoracle-consensus/src/driver.rs
3
98.34
 crates/tsoracle-core/src/seq.rs
2
98.89
 crates/tsoracle-driver-file/src/dense_record.rs
2
98.7
 -0.25% crates/tsoracle-driver-file/src/driver.rs
1
93.44
 -0.56% crates/tsoracle-server/src/persist_disposition.rs
1
94.15
 -0.0% crates/tsoracle-server/src/service.rs

Coverage Regressions

Lines Coverage ∆ File
4
95.28
 3.96% crates/tsoracle-client/src/attempt.rs
Jobs
ID Job ID Ran Files Coverage
1 26671252506.1 95
95.17
 GitHub Action Run
Source Files on build 26671252506