Skip to content

v0.4.0 - Generative State Machine Testing, Invariant Verification & Fault Injection

Choose a tag to compare

View all tags
@github-actions github-actions released this 18 Sep 23:01
· 56 commits to main since this release
v0.4.0
67e2cf4

What's Changed in v0.4.0

High-Assurance Generative State Machine Testing

  • Implemented randomized state machine harness (test_stateful_random_harness.rs) simulating thousands of randomized interleavings of lock, unlock, rekey, add-recipient, and commit operations.

Repository Invariant Verification Suite

  • Introduced automated invariant assertions (tests/common/invariants.rs) verifying clean trees, ciphertext validity, key synchronization, and zero-plaintext leakage after every lifecycle step.

Fault Injection & SIGKILL Durability Testing

  • Validated atomic crash resilience and WAL journal recovery under simulated sudden process termination during critical write sections.

Verification Matrix Documentation

  • Published comprehensive verification matrix mapping threats, operational invariants, and test coverage in docs/verification-matrix.md.

Full Changelog: v0.3.0...v0.4.0

Assets 6
Loading