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
```

Rewind v0.1.0 — Le premier SDK de calcul nativement reversible pour Rust

Information is Sacred — elle ne doit jamais etre detruite.

Fonctionnalites

Types et Portes

• QuantumCell — Type lineaire qui doit etre consomme exactement une fois
• Jeu de portes universel complet : Toffoli (CCNOT), Fredkin (CSWAP), CNOT, Pauli-X
• Circuits pre-construits : demi-additionneur, additionneur complet, swap, composition, inversion
• Algorithmes reversibles : accumulation XOR, rotation, fan-out, parite

Moteur d Execution

• Forward/Backward : execution bidirectionnelle avec restauration parfaite
• Checkpoint/Restore : points de sauvegarde programmables
• ReversibleRuntime : API unifiee avec tracking et rewind
• Tracing : execution pas-a-pas avec callbacks

Outils Developpeur

• #[reversible] : macro verifiant la reversibilite a la compilation + generation du code inverse
• CLI : rewind run, rewind analyze, rewind example
• Format .rev : serialisation/deserialisation de programmes

Infrastructure

• Garbage-Free Collector avec budget memoire configurable
• Algorithme de Bennett : graphe de calcul + strategie de pebbling
• 184 tests (proptest + unitaires + integration + stress + CLI)
• Benchmarks Criterion : 93 milliards de bit-ops/sec (Toffoli scalaire)

Installation

git clone https://github.com/CTC-Kernel/aion-os.git
cd aion-os
cargo build
cargo test
cargo run -p rewind --example hello_rewind

Quick Start

use rewind::prelude::*;
let mut rt = ReversibleRuntime::new(vec![
 BitPlane::from_words(vec![42]),
 BitPlane::from_words(vec![0]),
]);
rt.execute_tracked(Op::Not(0));
rt.execute_tracked(Op::Cnot { control: 0, target: 1 });
rt.rewind_all().unwrap(); // Parfaitement restaure
assert!(rt.is_garbage_free());