v0.5.1
What's Changed
- Forbid truncated model checks by @robot-head in #128
- Rollback log appends after write or sync failures by @robot-head in #125
- Prevent orphaned multipart uploads during archive verification by @robot-head in #122
- Add CI markdown link checking and verification documentation by @robot-head in #123
- Restore segment position after partial append failure by @robot-head in #121
- Include sealed-segment transaction indexes in fetches by @robot-head in #124
- Validate inputs before invoking verified kernels by @robot-head in #133
- Move producer sequencing and deduplication into verified crate by @robot-head in #135
- Verify sparse offset and time index lookups by @robot-head in #136
- Move throttle proof kernel into krabka-verified by @robot-head in #129
- Implement diskless crash recovery and verified quorum watermark proofs by @robot-head in #134
- Enforce API version bounds before dispatch by @robot-head in #132
- Implement broker audit logging and verification by @robot-head in #138
- Restore cluster metadata from controller snapshots by @robot-head in #131
- Implement WORM storage verification and reporting by @robot-head in #130
- Verify leader epoch divergence lookup by @robot-head in #137
- Fix milestone 2 blockers by @robot-head in #139
- Release 0.5.1 by @robot-head in #140
Full Changelog: v0.5.0...v0.5.1