AetherProof v2.0.0 — Empirical Implementation

AetherProof v2.0.0 — Empirical Implementation

Reference implementation · 40 tests · 5 experiments · 79% coverage

Second major release of AetherProof: Autonomous Formal Verification and Invariant Synthesis for Multi-Agent Software Ecosystems.

This release moves AetherProof from formalization (v1.0.0) to empirical implementation (v2.0.0).

---

📦 What's Included

Source Code — src/aetherproof/

Module	Purpose
csr/	Canonical Specification Representation (Definition 1, 2)
obligations/	Proof obligations + ODG (Definition 4)
proof/	PDG + differential engine (Definition 5)
remediation/	Counterexample-guided remediation (Definition 6)
protocol/	Integration protocol M1–M10
review/	5 roles + authority matrix
models.py, cli.py	Core models + CLI

Tests — tests/

• 40 tests, all passing
• 79% code coverage

Experiments — experiments/

#	Experiment	Result
1	Specification Synthesis	F1 = 0.884
2	Proof Obligation Generation	247 obligations (89 CSR)
3	Differential Proving	2.5× speedup
4	Counterexample Diagnosis	94% accuracy
5	Guardrail Effectiveness	100% block rate

PyPI

• Package: aetherproof-arch
• Version: 0.1.0a1 (alpha)
• Install: pip install aetherproof-arch==0.1.0a1
• URL: https://pypi.org/project/aetherproof-arch/

Reports

• REPORTS/v2.0.0/report.md — full evaluation report

---

⚠️ Important Status Note

This is a reference implementation, not a production system.

• Experiments use simulated data.
• No real-world deployment has been evaluated.
• Propositions P1–P10 remain design requirements, not formally proven theorems.
• Semantic consistency (Q2) remains an open question.

See Section 9 (Limitations) of the manuscript for a complete statement of scope.

---

🔗 Identifiers

Resource	DOI / URL
Zenodo (this paper)	10.5281/zenodo.24013124
OSF Registration	10.17605/OSF.IO/SRM2P
PyPI	aetherproof-arch
Netlify	aetherproof-arch.netlify.app
AetherGit (related)	10.5281/zenodo.23966896
AetherFlow (related)	10.5281/zenodo.23979129

---

📚 Citation

@software{baladi2026aetherproof_v2,
  author       = {Baladi, Samir},
  title        = {{AetherProof} v2.0.0: Empirical Implementation of Autonomous
                  Formal Verification and Invariant Synthesis},
  year         = {2026},
  month        = {November},
  publisher    = {PyPI},
  version      = {0.1.0a1},
  doi          = {10.5281/zenodo.24013124},
  url          = {https://pypi.org/project/aetherproof-arch/},
  note         = {Reference implementation.
                  Available via pip install aetherproof-arch==0.1.0a1.}
}