9ed3c91f7dAIP-22: four dated notes (2026-11-01): two items withdrawn from the 2026-10-27 erratum, a commit's author in the form of rule 3, the field ecdsa required in fact; Errata entry
main
Aere Network
2026-11-01 19:13:59 +0200
777bebf547AIP-22: dated correction to rule 3 of section 4 (one path of the second client until 2026-10-31 12:27Z), Errata entry 2026-11-01
Aere Network
2026-11-01 14:07:58 +0200
9abcbbf9d9AIP-22: the per-author message quotas named without an internal register identifier (four sentences, Errata entry 2026-11-01)
Aere Network
2026-11-01 09:04:15 +0200
412fc73285AIP-22 stage 5 live on chain 2800 since block 25,080,000 (2026-10-30): prose, AIPs and dated notes
Aere Network
2026-10-31 14:55:18 +0200
7dcad651caAIP-22 T5: nota datata in 22 de documente datate/derivate (proza-trepte le numise de adus la zi de mana)
Aere Network
2026-10-31 14:46:53 +0200
5efd857998AIP-22 T5 pe 2800 (H_hdr 25.080.000, 2026-10-30): proza scrisa de proza-trepte.py T5 --scrie --formulare 1
Aere Network
2026-10-31 14:28:23 +0200
7e1ba97afcRunda 11 a reviziei prozei AIP-22 (2026-10-28): nota de consens corectata (17,250,000 commit; 17,700,000 orice mesaj), AIP-22 patch 0009, Errata in loc de note in capul AIP-urilor Final (AIP-7, AIP-13); citarile nerezolvabile declarate (formal-tla/, manifestul registrului v3)
Aere Network
2026-10-29 00:25:02 +0200
78cc137b7dDated corrections (2026-10-28) from the tenth review round: AIP-7, AIP-10, AIP-13, AIP-15, AIP-16, AIP-20 and AIP-22 and seven research documents; each change states its date in the text (what the anchor certificate is bound by, the consensus note after AIP-22 stage 4, and the denial-of-service paragraph of AIP-20, which no longer claims per-peer limits on pool admission)
Aere Network
2026-10-28 12:47:00 +0200
ac3d299e3fDated corrections (2026-10-27): AIP-7 and AIP-13 carry a note that their statements that AERE consensus is classical describe chain 2800 before AIP-22 stage 4 (block 24,300,000); AIP-22 gains three dated notes (section 3.3, the clause on the envelope's recovered address no longer applies from stage 4; the correction of 2026-10-25 to section 5, every consensus message still carries the ECDSA envelope, whose form both clients judge; Security Considerations, 'Denial of service by seals': no per-peer bound in the consensus layer of either client, and a forged proposal can cost about 1,025 Falcon-512 verifications) and an Errata entry; execution-kernel/MACHINE-INTERFACE-CONTRACT.md no longer says it was written the day a consensus milestone went live at block 14,050,000 (withdrawn 2026-08-19) and names what the block hash covers; formal-consensus/RULEAZA-TOT.md dated.
Aere Network
2026-10-28 00:07:07 +0200
6d24576357Dated corrections (2026-10-27): formal-consensus/RULEAZA-TOT.md translated into English and dated (it stated, without a date, facts of the chain of August 2026); the models print the chain facts of their time with the date, or the facts of today (labels and printed strings only, the logic and the verdicts unchanged: 37 of 37 models pass); README: 37 models counted on 2026-10-27 and the reproduction pointer to aere-docs REPRODUCE.md section 3b
Aere Network
2026-10-27 15:01:25 +0200
9b2a69ab6bDated corrections (2026-10-27): README (a validator refuses an anchor below the threshold; the published follower lowers the count to one seal); formal-consensus models print the chain facts of today or date the ones of their time (ten validators, the anchor certificate enforced since 2026-08-14, votes attributed through post-quantum seals since block 24,300,000); verdicts unchanged (ALL MODELS PASS)
Aere Network
2026-10-27 06:48:09 +0200
42047a8b48Dated corrections (2026-10-26): execution-kernel/mi-replay-diferential.mjs honesty field (since block 24,300,000, AIP-22 stage 4, consensus votes count only through their verified post-quantum seals; headers are still admitted on ECDSA commit seals until stage 5); aips/README index brought to the AIP index of the same date
Aere Network
2026-10-26 22:55:48 +0200
c87197bd8bAIP-22: dated correction to the transition principle (from stage 5 one post-quantum validator key can serve a non-validating node a branch up to the next anchor, which a quorum certificate ends)
Aere Network
2026-10-26 09:41:57 +0200
0bf80e42feAIP-22 stage R and stage 4 in force on chain 2800 (2026-10-24, 2026-10-25): dated corrections to the README, pq-stark README and AIP index (votes attributed only through verified post-quantum seals since block 24,300,000; headers still admitted on ECDSA commit seals until stage 5), AIP-1 and CONTRIBUTING editorial rules corrected with their date, AIP-22 dated correction to rule 2 of section 4, AIP-3 interval dated
Aere Network
2026-10-26 06:27:26 +0200
4c4d57cd2cDated correction (2026-10-26): README, ten Foundation-run validators since 2026-09-11 (f=3, commit quorum 7 of 10)
Aere Network
2026-10-26 00:07:50 +0200
1b788f86d1Dated corrections (2026-10-25): AIP-8 consensus note (per-block finality was the classical ECDSA statement until block 24,300,000, AIP-22 stage 4; the second client attributes every consensus message through its post-quantum seal since then); README: anchor certificate seals proved signing, not decision, below block 24,148,752
Aere Network
2026-10-25 23:00:30 +0200
c74184dc55AIP index: the anchor certificate seals proved signing, not decision, below block 24,148,752; from that block (AIP-22 stage R) a certificate carrying the quorum of one round proves the decision
Aere Network
2026-10-25 22:51:57 +0200
7493940923AIP-22: dated correction to section 5 (after H_hdr a commit still carries the validator's ECDSA commit seal, checked by both clients as an additional check; no header carries an ECDSA signature)
Aere Network
2026-10-25 20:17:51 +0200
7932becfb4AIP-20, AIP-22, index and execution-kernel contract: AIP-22 stage 4 in force on chain 2800 since block 24,300,000 (2026-10-25), dated notes
Aere Network
2026-10-25 08:14:53 +0200
200f4338f0execution-kernel/MACHINE-INTERFACE-CONTRACT.md: restore the sentence on consensus finality as it stands today (classical secp256k1 ECDSA QBFT plus a Falcon certificate); the previous commit carried, by a staging race on 2026-10-24, a draft sentence written for AIP-22 stage 4, which is not in force before block 24,300,000
Aere Network
2026-10-25 03:47:40 +0300
1e386c7e18AIP-21, AIP-22: note added 2026-10-24: stage R (the round-bound post-quantum commit seal, COMMIT-2, and the v3 anchor certificate) is in force on chain 2800 since block 24,148,752; from that block a v3 certificate carrying the quorum of a single round proves the anchor's parent decided; stage 4 takes effect at block 24,300,000 (announced 2026-10-22)
Aere Network
2026-10-24 12:57:55 +0300
f54fb37175AIP-23 proof kinds: agent-witness-checkpoint, a checkpoint of the hosted agents witness log (log name, size, RFC 9162 root, the witness, the chain where it is notarized, the merge delay)
Aere Network
2026-10-20 01:16:45 +0300
0a58d9f04aAIP-22 conformance corpus: two equivocation-pair descriptions name the repaired form by its date (2026-10-16) instead of an internal tracking identifier; vectors, verdicts and blocks unchanged
Aere Network
2026-10-19 09:41:25 +0300
316ba7171fAIP-23 proof kinds: secret-access carries requestHash (the presentation is signed for this exact request), claimedHolder/claimedPresenter, judged, and the allowed values of each field
Aere Network
2026-10-19 00:06:23 +0300
6110ef2047AIP-23 proof kinds: secret-access (a secrets service judged one request on a named secret: verdict, rules, presented identity and policy by digest; never the value); 17 kinds
Aere Network
2026-10-18 15:47:41 +0300
39e0d944caAIP-22 conformance corpus (section 9) regenerated from the repository: the equivocation-pair vectors now carry the round-bound COMMIT-2 form of 2026-10-16 (eight, two valid), judged identically by both clients
Aere Network
2026-10-16 10:40:43 +0300
84e00729d1AIP-22 section 6 (2026-10-16): the erratum paragraph made precise: the evidence verifiers of both clients judge the equivocation vectors identically; on incoming consensus messages the second client on chain 2800 requires the post-quantum seal on commits only (the other three types from stage 4, whose height is not set there); 'all four instances' reworded as the two new and two retired contract instances
Aere Network
2026-10-16 10:24:25 +0300
e1c39747edAIP-22 erratum (2026-10-16), section 6: the first form of the equivocation-evidence contract took two COMMIT-1 seals (no round) as evidence; COMMIT evidence is now round-bound (COMMIT-2), new instances on testnet 28001, the old ones retired, both clients agree on the eight vectors
Aere Network
2026-10-16 03:55:34 +0300
7a5340aea5AIP-22: the measured shape of chain 2800 'today' (Motivation) gave the certificate grid and threshold of before stages 1 and 2; corrected in place with today's values (Falcon-512 every 32nd block, hybrid every 128th, at least seven per scheme) and a dated note (2026-10-12)
Aere Network
2026-10-12 13:16:19 +0300
994eaacf8eCorrection (2026-10-12): the 2026-09-24 consensus note said every QBFT consensus message must carry a Falcon-512 seal; on chain 2800 the nine AERE-client validators refuse any message without it, the second client enforces it only on commit messages. Clause corrected in place, with the date of the correction
Aere Network
2026-10-12 11:45:11 +0300
382d9c44fcCitations: CITATIONS-UNRESOLVED.md regenerated against the whole published family (the previous regeneration indexed only the local bundle and declared as unpublished a few paths a reader can open)
Aere Network
2026-10-12 06:05:25 +0300
19039e5b71Citations: regenerated CITATIONS-UNRESOLVED.md (O-017, 2026-10-12); the cross-repository citation in the rewrite-bound note written in the side-by-side form; AIP-8 restaged
Aere Network
2026-10-12 06:03:27 +0300
381c8e508bAIP-22: correction dated 2026-10-11 - the external audit is no longer a precondition of the chain 2800 heights (scheduled after the remaining stages since 2026-09-30); stages 4 and 5 follow testnet 28001 with both clients and an internal adversarial review, which is not a third-party audit; the rows that said otherwise are kept as written
Aere Network
2026-10-11 10:32:20 +0300
3b62b2c757AIP-20, AIP-22, README: message-layer enforcement stated per client (corrected 2026-10-09): every validator refuses a commit without a post-quantum seal, the nine primary-client validators any consensus message since block 17,700,000; the second client enforces commits since 18,131,633 and the other three types from AIP-22 stage 4, whose height is not yet set on chain 2800; dated notes and an Errata entry, nothing removed
Aere Network
2026-10-10 00:02:22 +0300
2fe5a51bbdformal-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
Aere Network
2026-10-07 13:43:13 +0300
c5f4691dfaformal-consensus: the reproduction steps name the clone root instead of a workstation path
Aere Network
2026-10-06 01:37:05 +0300
51c17f08deAIP-20: clarification dated 2026-10-05 under the quantum threat model: the post-quantum seal is already required beside the classical signature on consensus messages; what is not active is the seal as the validity criterion (AIP-22 stage 4)
Aere Network
2026-10-05 17:11:14 +0300
4739d4206bAIP-20: key reuse with the empty ML-DSA context, and a dated correction on consensus enforcement; AIP-22 and README: seals stated as many as the quorum, proving signing, not decision (erratum of 2026-10-01)
Aere Network
2026-10-01 19:11:23 +0300
c9ba6d4becAIP-21 erratum and AIP-23 note (2026-10-01), formal models annotated: the post-quantum commit seal carries no round
Aere Network
2026-10-01 17:10:21 +0300
51d63e4c17AIP index: numbering is contiguous from 1 to 23 (the sentence still said 22, and that no AIP numbered 23 or higher existed)
Aere Network
2026-10-01 16:19:01 +0300
95435019ddAIP-22 erratum 2026-10-01: the post-quantum commit seal carries no round, so a certificate of seals does not prove that the anchor's parent was decided
Aere Network
2026-10-01 15:28:19 +0300
856c5df2f8AIPs: dated notes for AIP-20, AIP-21 and AIP-22 on chain 2800; AIP-22 stages 1 to 3 active
Aere Network
2026-10-01 13:27:18 +0300
3117a33107AIP-23: a sixteenth proof kind, agent-decision (an AI agent's action judged against a policy named by its hash, allowed or refused and why), with its conformance envelope; its actionHash is the SHA-256 of the canonical JSON of the action, so anyone can recompute it. Produced by the agents component published in aere-quantum the same day. All sixteen envelopes VALID with verify-proof.mjs offline.
Aere Network
2026-09-29 22:01:33 +0300
a464214626AIP-23: the proof kinds AERE produces, with their conformance envelopes (aips/aip23-kinds/: fifteen kinds, authorization, settlement and provenance added 2026-09-28; KINDS.json lists each kind's required fields); correction: the notary on chain 2800 has held digests since 2026-09-17 (the measured status of 2026-09-27 said nothing was notarized there), Errata 1
Aere Network
2026-09-29 11:44:27 +0300
f86746a376AIP-23 AERE Proof Protocol (Draft) published with its reference verifier and conformance vectors (aere-node/tools/); index: AIP-22 status brought to date, AIP-23 added
Aere Network
2026-09-27 06:44:07 +0300
6d907fa2e9AIP-22 conformance corpus complete: the ninth kind (classical-only fork, from rehearsal network 28099), all nine kinds judged conformingly by both clients; the options and files each harness judged with, per chain (config-28001/, config-28099/)
Aere Network
2026-09-27 05:57:01 +0300
dccd277337AIP-22: dated addition of 2026-09-27, the public verifier's early refusals exit 1 on Windows (were 127)
Aere Network
2026-09-27 05:32:14 +0300
fa920a45a5AIP-22: conformance corpus published (aips/aip22-conformance/, eight of the nine kinds of section 9, every vector judged by both clients); section 5 re-proposal correction and the 2026-09-25/26/27 stage records; erratum for section 5
Aere Network
2026-09-27 05:24:44 +0300
c40c52d3b6AIP-22 erratum, section 9: conformance vectors are to be published (none yet); the stage proofs on 28001 are the two clients checked against each other on a live chain
Aere Network
2026-09-25 01:32:33 +0300
cd0b36af8dAIP-22 erratum: ECDSA-quorum ZK light clients stop following at H_id (the set becomes ids), not at H_fin; read in the guest program's verify_finality, corrected in place
Aere Network
2026-09-24 23:42:40 +0300
b1eceecbd8Note added 2026-09-24 in seven research documents (validator-set figures are dated; ten validators since 2026-09-11) and in the Stage 4 execution contract (Block-STM on since 2026-09-05)
Aere Network
2026-09-24 23:12:35 +0300
7f00c88a86AIP-22: dated record, the public verifier checks the proposer seal on every recent header (stage 5), proven on testnet 28001 with two planted forgeries rejected
Aere Network
2026-09-24 23:04:07 +0300
b1f852bc52AIP-2, 3, 7, 17: propozitiile la prezent despre sapte validatori datate (setul de zece din 2026-09-11, al doilea client validator); AIP-7 fara 'audited native code'
Aere Network
2026-09-24 22:38:31 +0300
95ef18af25Citations: declaration regenerated against the whole published family (paths in sdk-js and aere-client2 resolve and are no longer listed)
Aere Network
2026-09-24 17:36:34 +0300
5c8d100173Citations: the declaration of unpublished paths regenerated (2026-09-24); cross-repository citations written with their repository name
Aere Network
2026-09-24 17:35:07 +0300
57fef08cd2AIP-20: live on chain 2800 since block 19,900,000; the first native post-quantum transaction (block 19,900,028) imported identically by every node, the corrupted-signature control refused by both clients
Aere Network
2026-09-24 02:05:16 +0300
72360f1ea6AIP-22: stage 6 (on-chain equivocation evidence) built and proven on testnet 28001; the gas estimate replaced by the measurement
Aere Network
2026-09-24 01:35:25 +0300
c5cef2821fAIP-22: section 5 made exact (the certificate slot is present when the proposer seal is; the rule judges every header from H_hdr); stage 5 rehearsed, armed and proven on testnet 28001
Aere Network
2026-09-24 01:17:07 +0300
fbb8f318d2AIP-22: stage 4 on testnet 28001 (message authorship from verified post-quantum seals, H_fin 3,117,000): the two holes found by reading the code before any live step, the guards AERE-PQC-FIN-01/02/03, the shared authorship vectors, and the proof (502 of 502 hashes equal between clients, five of five ids proposing, rhythm unchanged, negative control of the method); section 4 rule 3 made precise
Aere Network
2026-09-23 22:49:31 +0300
f4db867d80AIP-22: dated stage records for stages 1 to 3b on testnet 28001 (quorum threshold, per-scheme intervals, post-quantum validator identity, key rotation under an id), with their negative controls; stage-0 measurement replaces the NOT MEASURED row
Aere Network
2026-09-23 19:41:55 +0300
c94b3f5c06AIPs: AIP-20 and AIP-21 status rows carry the chain-2800 deployment of 2026-09-22 (AIP-21 live on all ten validators, AIP-20 armed for block 19,900,000); AIP-22 (post-quantum-only finality) added as a design-only Draft; the index no longer describes the pre-September world (seven validators, one client, no AIP above 19) and states which post-quantum layers are live with their heights
Aere Network
2026-09-23 01:30:13 +0300
a2fe6c46baCitations: the unresolved-citation disclosure regenerated against the full published family (nine repositories, not four)
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