Research Outputs · v2.0.0 · Reference Implementation

Reports

Manuscripts, software record, literature review, and archived publications

Access all research outputs and analysis documents for AetherRuntime v2.0.0 (paper v0.1.0 + reference implementation v2.0.0).

Manuscript & Software Record

Formal Documents

Foundational documents and artifacts
DocumentVersionStatus
01 — Orchestrate Study0.1.0Complete
02 — Govern Study0.1.0In progress
03 — Runtime Study0.1.0In progress
04 — Comparison0.1.0Pending
Research Paper (Markdown)0.1.0Published (Zenodo)
Figshare Preprint0.1.0Published (Figshare)
OSF Registration0.1.0Published (OSF)
Reference Implementation2.0.0Built (16 modules)
Test Suite2.0.060 passed
Experiments2.0.03/3 completed (simulated)
PyPI Package2.0.0Published

v2.0.0 at a Glance

Snapshot of v2.0.0 maturity
DimensionStatus
Manuscript (v0.1.0)Complete (33 pages)
ImplementationBuilt · src/aetherruntime/, 16 modules
Tests60 passed
Experiments3/3 completed (simulated data)
PyPI packagePublished
Real-world deploymentNot evaluated
Causal claimsNone (argument only)

Propositions

Propositions and their proof status
#PropositionStatus
P1Determinism of Local Anomaly DetectionProof sketch (not machine-checked)
P2Irreducible Halt WindowProof sketch (not machine-checked)
Both propositions are stated with proof sketches; neither is machine-checked. They are conditional on assumptions A1–A6 (inherited from AetherMesh). They bear directly on F4 (decentralizability).

Failure Conditions F1–F5

Falsification status of the five failure conditions
IDClaim under testStatus
F1Non-redundancyNot falsified (R3, R4, R5)
F2Orthogonality to verificationNot falsified (narrowly)
F3Boundary with governanceNot falsified (decentralized setting)
F4DecentralizabilityNot falsified (with residuals)
F5Observable benefitUntested
"Not falsified" is a weaker status than "confirmed". F5 (observable benefit) remains untested. Neither the implementation nor the simulated experiments promote "not falsified" to "confirmed".

v2.0.0 Experimental Results

Results from experiments/*/results.json (simulated data)
#ExperimentMetricsResult
1Detection AccuracyM1, M2M1 = 109.67 (S1–S5 total); M2 = 7.33 (S6 FP)
2Halt WindowM510/10 enforced; mean 0.000243 s; median 0.000220 s
3Recovery CorrectnessM610/10 verified; M6 = 1.0000
Simulation only. The halt window is a property of the simulation's time step, not a real network measurement. M6 = 1.0 is a ceiling on real recovery quality, not a lower bound. No generalization beyond simulation is claimed.

Literature Review

Literature areas covered in the v0.1.0 paper
AreaFocusStatus
Runtime verificationBartocci et al. (2018)Reviewed
Anomaly detectionChandola et al. (2009)Reviewed
Intrusion detectionAxelsson (2000); Denning (1987)Reviewed
Safety envelopes / shieldingAlthoff (2015); Alshiekh et al. (2018)Reviewed
Fault toleranceAvizienis et al. (2004)Reviewed
Multi-agent systemsWooldridge (2009); Jennings & Wooldridge (1998)Reviewed
Distributed systemsCRDTs, gossip, BFTReviewed

Archived Publications

Archives and mirrors
ArchiveDOI / LinkDateStatus
Zenodo (v0.1.0)10.5281/zenodo.24078477Nov 2026Published
Figshare (v0.1.0)10.6084/m9.figshare.34955746Nov 2026Published
OSF10.17605/OSF.IO/KZU7PNov 2026Published
OSF Projectosf.io/ft7ezNov 2026Published
PyPIpypi.org/project/aetherruntime-archNov 2026Published
GitHubgithub.com/gitdeeper15/aetherruntimeNov 2026Active
GitLabgitlab.com/gitdeeper15/aetherruntimeNov 2026Active
Codebergcodeberg.org/gitdeeper15/aetherruntimeNov 2026Active
Bitbucketbitbucket.org/gitdeeper15/aetherruntimeNov 2026Active
Netlifyaether-runtime.netlify.appNov 2026Active

Metadata

Version History

Released versions
VersionReleaseFocusStatus
v2.0.02026-11-09Reference implementation: 16 modules, 60 tests, 3 experimentsReleased
v0.1.02026-11-09Formalization: 5 failure conditions, 5 layers, 2 propositions, 20 open questionsReleased
planned2027+Real-world evaluation; comparison against baselines B1–B5Not executed

Citation & License

APA (paper): Baladi, S. (2026). AetherRuntime: A Falsification-First Investigation of Runtime Assurance in the Aether Family (Version 0.1.0). Zenodo. https://doi.org/10.5281/zenodo.24078477

APA (software): Baladi, S. (2026). AetherRuntime v2.0.0: Reference Implementation of the Falsification-First Runtime Assurance Architecture (Version 2.0.0). PyPI. https://pypi.org/project/aetherruntime-arch/

License: MIT (code) · CC-BY-4.0 (docs, manuscript, figures)

BibTeX

@techreport{baladi2026aetherruntime,
  author       = {Baladi, Samir},
  title        = {AetherRuntime: A Falsification-First Investigation of Runtime Assurance in the Aether Family},
  institution  = {Ronin Institute / Rite of Renaissance},
  type         = {Research Paper},
  year         = {2026},
  month        = {November},
  version      = {0.1.0},
  doi          = {10.5281/zenodo.24078477},
  url          = {https://doi.org/10.5281/zenodo.24078477},
  note         = {Architectural Hypothesis Under Investigation --- Not a committed project.}
}

@software{baladi2026aetherruntime_v2,
  author       = {Baladi, Samir},
  title        = {{AetherRuntime} v2.0.0: Reference Implementation of the Falsification-First Runtime Assurance Architecture},
  year         = {2026},
  month        = {November},
  publisher    = {PyPI},
  version      = {2.0.0},
  doi          = {10.5281/zenodo.24078477},
  url          = {https://pypi.org/project/aetherruntime-arch/},
  note         = {Reference implementation. Available via pip install aetherruntime-arch.}
}

Threats and Limitations (Summary)

Selected threats to validity
TypeThreatStatus
InternalSame author proposes candidate, failure conditions, baselines, thresholdsPre-registration; invite external review
Construct"Anomaly" and "harm" simulated by the experimenterStated explicitly
ConstructM6 measured against ground truth that exists only in simulationReported as upper bound
ExternalSimulated network, simplified adversary, synthetic workloadNo generalization claimed
ConclusionFew scenario classes; thresholds are proposalsAll outcomes reported
LiteratureRuntime-verification and anomaly-detection literature not reviewed in depthAcknowledged
Status note (v2.0.0): This is a research article plus reference implementation (v2.0.0) of the runtime-assurance architecture for the Aether family. A reference implementation is built (16 modules, 60 tests) and 3 experiments are completed on simulated data. No real-world deployment has been evaluated. F1–F4 are not falsified by the implementation or the experiments, but they are also not confirmed. F5 (observable benefit) remains untested. Propositions P1–P2 remain proof sketches (not machine-checked) and are conditional on assumptions A1–A6. The paper is not peer reviewed. AetherRuntime is a candidate, not a result.