prisma-risk / tsoracle / 26313896576

95%

push

github

feat(paxos-toolkit): postcard codec, RocksDB key space, and meta serializers (#165)

* feat(paxos-toolkit): postcard codec wrapper with typed errors

* feat(paxos-toolkit): conditional fail_point! wrapper

* feat(paxos-toolkit): RocksDB key-space layout and prefix helpers

* feat(paxos-toolkit): typed meta-field serializers

* refactor(paxos-toolkit): apply code-review feedback

Four review-driven cleanups:

- failpoint.rs: switch to the openraft-toolkit pattern (macro_rules! in
  both cfg branches, no pub use re-exports). Drops the
  #[allow(unused_imports)] workarounds; also makes the closure form
  syntactically visible in the wrapper so a fail-crate signature change
  would surface here rather than at every call site.
- meta.rs: rename `b: &Ballot` to `ballot` (project convention forbids
  single-letter names for nouns), and add explicit #[must_use] on the
  fallible encode/decode wrappers for consistency with encode_u64.
- codec.rs: replace the truncated-input test payload with a longer
  Sample so that bytes.len() / 2 cuts through an interior field boundary
  rather than the trivial minimum.
- key_space.rs: fix a stale `LOG_PREFIX/0` comment fragment that
  implied a literal `L//0` key; rewrite the range bound description
  to refer to log_key(0).

136 of 146 new or added lines in 4 files covered. (93.15%)

7678 of 8011 relevant lines covered (95.84%)

661410.75 hits per line