Guardat en:
| Autor principal: | |
|---|---|
| Format: | Recurso digital |
| Idioma: | |
| Publicat: |
Zenodo
2025
|
| Accés en línia: | https://doi.org/10.5281/zenodo.17832190 |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Taula de continguts:
- <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>