aere-research

aere-network/aere-research

Fork 0

Commit Graph

Author	SHA1	Message	Date
Aere Network	c9ba6d4bec	AIP-21 erratum and AIP-23 note (2026-10-01), formal models annotated: the post-quantum commit seal carries no round AIP-21: a record that reaches `post-quantum` shows that the commit quorum of distinct validators sealed the block post-quantum in some round; it does not by itself prove that the block was decided (follows the AIP-22 erratum of the same day). AIP-23: dated note on what the finality level rests on; level names unchanged. Three formal models carry a dated note where they treated certificate uniqueness as a property of the code rather than of the model. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-01 17:10:21 +03:00
Aere Network	a2f4d835a3	Formal: partitii de retea si view-change x certificat PQ dovedite la N=9, cu controale negative partition_safety_smt.py (N=9 f=2 q=6): split-brain imposibil, starvatie clasificata, vindecare fara fork. anchor_viewchange_smt.py: o schimbare de runda pe ancora nu da doua certificate valide diferite, si unicitatea vine din legarea de bloc, nu din K=3 sigilii (< cvorum). Rulatorul cablat: 35 modele, 282 PROVED + 149 CEX, 0 FAILED.	2026-08-24 20:02:07 +03:00

Author

SHA1

Message

Date

Aere Network

c9ba6d4bec

AIP-21 erratum and AIP-23 note (2026-10-01), formal models annotated: the post-quantum commit seal carries no round

AIP-21: a record that reaches `post-quantum` shows that the commit quorum of distinct validators sealed the block
post-quantum in some round; it does not by itself prove that the block was decided (follows the AIP-22 erratum of the same
day). AIP-23: dated note on what the finality level rests on; level names unchanged. Three formal models carry a dated note
where they treated certificate uniqueness as a property of the code rather than of the model.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

2026-10-01 17:10:21 +03:00

Aere Network

a2f4d835a3

Formal: partitii de retea si view-change x certificat PQ dovedite la N=9, cu controale negative

partition_safety_smt.py (N=9 f=2 q=6): split-brain imposibil, starvatie clasificata,
vindecare fara fork. anchor_viewchange_smt.py: o schimbare de runda pe ancora nu da
doua certificate valide diferite, si unicitatea vine din legarea de bloc, nu din K=3
sigilii (< cvorum). Rulatorul cablat: 35 modele, 282 PROVED + 149 CEX, 0 FAILED.

2026-08-24 20:02:07 +03:00

2 Commits