Rewind v1.0.0 — API Stable
Le premier SDK de calcul nativement reversible pour Rust.
Information is Sacred — elle ne doit jamais etre detruite.
API Stable
A partir de cette version, l'API publique est stable. Pas de breaking changes sans changement de version majeure.
Types & Portes
- QuantumCell — Type lineaire avec operateurs +=, -=, ^=
- 4 portes universelles : Toffoli, Fredkin, CNOT, Pauli-X
- ProgramBuilder — API fluente pour construire des programmes
- BitPlane — Stockage SoA avec operateurs ^, &, !
Moteur d'Execution
- ReversibleRuntime — API unifiee (execute, rewind, checkpoint, trace)
- SimulatedCpu + RecordingBackend — Backends d'execution
- Bennett — Compilation reversible automatique
Outils
- #[reversible] — Validation compile-time + generation inverse
- CLI — `rewind run/analyze/example`
- Serde — Serialisation JSON (feature flag)
- Fuzzer — Generation aleatoire de programmes
Metriques
- 228 tests (232 avec serde)
- 12 exemples (physique, crypto, DB, debugging)
- 7,000+ lignes de Rust
- CI GitHub Actions
- Pret pour crates.io
```bash
git clone https://github.com/CTC-Kernel/aion-os.git && cd aion-os
cargo test && cargo run -p rewind --example hello_rewind
```