Simulating RBFT-1 in TLA+: Formalizing Relativistic Finality and Irreversible Collapse for AI Swarms
Fuente:
Zenodo
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Recurso digital |
| Pubblicazione: |
Zenodo
2025
|
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866901251261726720 |
|---|---|
| author | m |
| author_facet | m |
| contents | <p><strong>Context and Goal</strong></p> <p>RBFT-1 is the relativistic consensus regime used by EthicBit to decide when an interplanetary AI swarm has irreversibly lost “ethical finality” and must be collapsed. Rather than treating this as an informal narrative, we encode RBFT-1 as a temporal specification in <strong>TLA+</strong> and use model checking to validate the key claim of the preprint and Annex A:</p> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_17832190 |
| institution | Zenodo |
| language | |
| publishDate | 2025 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | Simulating RBFT-1 in TLA+: Formalizing Relativistic Finality and Irreversible Collapse for AI Swarms m <p><strong>Context and Goal</strong></p> <p>RBFT-1 is the relativistic consensus regime used by EthicBit to decide when an interplanetary AI swarm has irreversibly lost “ethical finality” and must be collapsed. Rather than treating this as an informal narrative, we encode RBFT-1 as a temporal specification in <strong>TLA+</strong> and use model checking to validate the key claim of the preprint and Annex A:</p> |
| title | Simulating RBFT-1 in TLA+: Formalizing Relativistic Finality and Irreversible Collapse for AI Swarms |
| url | https://doi.org/10.5281/zenodo.17832190 |