mnesis 0.1.0

A zero-compromise event-sourcing and CQRS kernel for Rust with maximum compile-time type safety
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

# mnesis

Event-sourcing kernel — aggregates, events, versioning, command handling. No `Box<dyn>`, no runtime downcasting, no `std` allocation.

See the [root README](../../README.md) for usage and examples.

## Verification

The kernel is tested with 9 verification techniques:

| Technique | What it proves |
|-----------|---------------|
| Unit tests + edge cases | Correct behavior |
| Property-based testing (proptest) | Algebraic properties hold for all random inputs |
| Compile-failure tests (trybuild) | Invalid code fails to compile |
| Static assertions | Send, Sync, size, trait bounds enforced at compile time |
| Miri | Zero undefined behavior under strict provenance |
| Mutation testing (cargo-mutants) | Every viable mutation caught |
| Benchmarks (criterion) | Performance regression detection |
| Doc tests | All examples compile and run |
| Architecture tests | Kernel imports nothing from outer layers |

## License

Licensed under your choice of [MIT](../../LICENSE-MIT) or [Apache-2.0](../../LICENSE-APACHE).