a2fe6c46baCitations: the unresolved-citation disclosure regenerated against the full published family (nine repositories, not four)
main
Aere Network
2026-09-12 09:50:51 +0300
ec3ca3368fAIP-8 through AIP-19 and CONTRIBUTING.md published: the index linked twelve documents this package did not carry. Validator counts carry their measurement date (errata on the Final ones, per AIP-1 section 5), the Fusaka activation block corrected to the measured 2,106,597, and the staging rewrites are now a checked table
Aere Network
2026-09-12 09:49:12 +0300
83453d9a79AIP-1, AIP-2, AIP-7, the template and the index brought to the working generation: the published governance text was missing entire sections, including the rules themselves (D-377)
Aere Network
2026-09-11 22:04:15 +0300
16ce7e8989AIP-7 erratum 1 and the PQC precompile draft: withdraw the uncitable 'audited' adjective from the wrapped library (O-006)
Aere Network
2026-09-11 21:34:40 +0300
16ccb98d34Citations: family-wide resolution (published repositories on the forge) and the disclosure regenerated
Aere Network
2026-09-02 21:51:59 +0300
5129289ceaformal-consensus: the post-quantum message-enforcement model and the runner wiring all 36 models; bench: the local test key marked synthetic
Aere Network
2026-09-02 20:34:15 +0300
3c9205c3dcformal-consensus: carry the 2026-08-12 fix into falcon_blocking (the old block proved a constant, not the property)
Aere Network
2026-08-28 01:01:12 +0300
dcf3374f45Citations ledger refreshed: every unresolvable cited path declared, stale entries pruned (generated by legaturi-repara)
Aere Network
2026-08-28 00:46:17 +0300
a2f4d835a3Formal: partitii de retea si view-change x certificat PQ dovedite la N=9, cu controale negative
Aere Network
2026-08-24 20:02:07 +0300
0164207076README: nine validators (seven until 2026-08-09); consensus is classical ECDSA on every block with a post-quantum checkpoint every 32 blocks (>=3 of 9 seals since 2026-08-14); live height dated
Aere Network
2026-08-19 15:50:49 +0300
cde69bd25fPrecision fix 2026-08-19: the three-seal anchor minimum has been enforced since 2026-08-14 (the schedule step is at block 13,034,000 but an emergency ceiling held the effective minimum to one until then); anchors universal since block 13,889,296
Aere Network
2026-08-19 15:46:59 +0300
8e2b2fa7faDated note: the post-quantum anchor checkpoint qualifies the 'consensus remains classical' statements; the 14,050,000 per-block quorum claim was withdrawn on 2026-08-19
Aere Network
2026-08-19 14:37:34 +0300
f0fb52862fCorrection 2026-08-19: the anchor SMT model proves K=3-of-9 on anchor blocks since 13,034,000; the 14,050,000 fork height changed no enforcement and the 'blocking quorum' wording is withdrawn; runner entry added
Aere Network
2026-08-19 14:31:57 +0300
f2ab368c36Hostile-read repairs across the kernel artifacts: 17 confirmed over-claims fixed to honest
Aere Network
2026-08-15 23:28:24 +0300
46c42164deSMT: registry index binding, the loader and the seal rule must read ONE mapping
Aere Network
2026-08-15 22:52:13 +0300
8546a4592dCrypto-agility layer verified live from a stranger's machine, with a negative control
Aere Network
2026-08-15 22:51:00 +0300
85495f3830Execution Kernel Stage 4: parallel execution under MI, with a determinism oracle that goes red
Aere Network
2026-08-15 22:36:27 +0300
42dd039ddbExecution Kernel Stage 2: the claim-chain gap detector, with lag as a first-class metric
Aere Network
2026-08-15 22:15:54 +0300
cea943ff57Execution Kernel, Stage 1: the MachineInterface seam, contract plus a differential replay harness proven on real blocks
Aere Network
2026-08-15 22:13:28 +0300
4ce1928d9eThree formal models for the blocking post-quantum consensus, each with its negative control
Aere Network
2026-08-15 21:05:47 +0300
6cb0140faeRepublished from a clean root: the compiled artifact is gone from history, and the local line of work joins the sanitized public line
Aere Network
2026-08-15 13:52:14 +0300
Aere Network