aere-network/aere-research
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
50 Commits 1 Branch 0 Tags 6.8 MiB
2fe5a51bbd
Commit Graph

4 Commits

Author SHA1 Message Date
Aere Network
2fe5a51bbd formal-consensus, research: the rewrite bound under the round-free seal model (2026-10-07): the security argument and its z3 model, 13 proofs with 8 negative controls; 37 of 37 models in the suite 2026-10-07 13:43:13 +03:00
Aere Network
c5f4691dfa formal-consensus: the reproduction steps name the clone root instead of a workstation path 2026-10-06 01:37:05 +03:00
Aere Network
5129289cea formal-consensus: the post-quantum message-enforcement model and the runner wiring all 36 models; bench: the local test key marked synthetic 2026-09-02 20:34:15 +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