Repository navigation
AetherRuntime v2.0.0 — Reference Implementation
Reference implementation of the v0.1.0 architecture. The v0.1.0 hypothesis (F1–F5) is not falsified by the implementation or the experiments, but it is also not confirmed.
What v2.0.0 adds to v0.1.0
| v0.1.0 (hypothesis) | v2.0.0 (this release) |
|---|---|
| Formal architecture specified | Reference implementation built |
| Two propositions (proof sketches) | Implemented local anomaly detection and monotonic halt |
| Five failure conditions (F1–F5) | Evaluated against M1–M6 (simulation) |
| No implementation, no tests, no experiments | 16 modules, 60 tests, 3 experiments |
| No PyPI package | aetherruntime-arch 2.0.0 on PyPI |
Implementation status
| Component | Status |
|---|---|
| Modules | 16 (Python, ~4,520 lines) |
| CLI | aetherruntime info|verify|simulate|experiment |
| Tests | 60 passed (pytest) |
| Experiments | 3/3 completed (simulated data) |
| PyPI | aetherruntime-arch 2.0.0 |
| GitHub | https://github.com/gitdeeper15/aetherRuntime |
| Website | https://aether-runtime.netlify.app |
Experimental results (simulation only)
| # | Experiment | Result |
|---|---|---|
| 1 | Detection Accuracy (M1, M2) | M1 = 109.67 (S1–S5 total); M2 = 7.33 (S6 false positives) |
| 2 | Halt Window (M5) | 10/10 enforced; mean window = 0.000243 s; median = 0.000220 s |
| 3 | Recovery Correctness (M6) | 10/10 verified; M6 = 1.0000 |
Caveat: Experiments use simulated data. These are preliminary results; no real-world deployment has been evaluated.
What v2.0.0 does not change
- The v0.1.0 hypothesis (F1–F5) — still the authoritative record.
- Propositions P1–P2 — still proof sketches, not machine-checked.
- Real-world deployment — still not evaluated.
Installation
pip install aetherruntime-archRequires Python 3.9+. Runtime dependency: cryptography >= 41.0.
Links
· PyPI: https://pypi.org/project/aetherruntime-arch/
· Paper (Zenodo): https://doi.org/10.5281/zenodo.24078477
· Website: https://aether-runtime.netlify.app
· GitHub: https://github.com/gitdeeper15/aetherRuntime
Known limitations
- Simulation only. No real-world deployment.
- Simplified network model.
- Simplified Byzantine model.
- Root registry is centralized.
- No ablation.
- No mechanized proofs (P1–P2 remain proof sketches).
- No performance benchmarks.
"AetherRuntime is a candidate, not a result."
— AetherRuntime v0.1.0