Skip to content

Releases: CTC-Kernel/aion-os

v1.0.0 — Information is Sacred

06 Apr 11:39
@CTC-Kernel CTC-Kernel
v1.0.0
bb3b8c9

Choose a tag to compare

View all tags
v1.0.0 — Information is Sacred Latest
Latest

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

Assets 2
Loading

v0.1.0 — Information is Sacred

06 Apr 11:15
@CTC-Kernel CTC-Kernel
v0.1.0
7ac6fc9

Choose a tag to compare

View all tags
v0.1.0 — Information is Sacred

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());
Loading