• Joined on 2026-05-02
liviu pushed to main at aere-network/pqc-migration-toolkit 2026-10-27 22:07:43 +00:00
eb88b300a7 Dated correction (2026-10-27): notarizare/verifica-certificat.mjs names the certificate slot as element 5 of extraData, counting from 0 as aere-node SPEC.md 2.3 does; its messages and comment said element 6.
liviu pushed to main at aere-network/aere-research 2026-10-27 22:07:12 +00:00
ac3d299e3f Dated 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.
liviu pushed to main at aere-network/aere-node 2026-10-27 22:04:57 +00:00
cdc523ea64 Dated corrections (2026-10-27): anchor/README.md, the number of Falcon-512 seals an anchor carried in practice is stated with its measured ranges and dates (up to five, most three to five, under the write cap of five until 2026-08-16; eight or nine at nine validators; eight to ten at ten validators, over 400 anchors measured 2026-10-27). tools/verify-anchor.mjs: the ROUND leg names where it is active (testnet 28001 since block 6,157,024; chain 2800 since block 24,148,752), element 6 is counted from 0, and the tool exits 2 (UNMEASURED, with the reason) when the endpoint serves another chain than CHAIN_ID or does not say which. Correction to the message of 9820765 (2026-10-27): it also listed 'the follower's rewrite bound', which belonged to the previous round, and said 'three to five' where the text says 'three or more'.
liviu pushed to main at aere-network/aere-docs 2026-10-27 13:01:36 +00:00
e102341850 Dated corrections (2026-10-27): AERE-PROTOCOL-SPECIFICATION section 7.5, a client built to that checklist alone does not follow chain 2800 (the consensus rules added after it was written are named); REPRODUCE.md, the dated results use the paths of the development tree, and the whole formal suite is one command from a clone of the public research repository (section 3b)
liviu pushed to main at aere-network/aere-research 2026-10-27 13:01:27 +00:00
6d24576357 Dated 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
liviu pushed to main at aere-network/aere-node 2026-10-27 13:00:46 +00:00
9820765ebb Dated corrections (2026-10-27): the package publishes one bootnode (since 2026-08-25) and run-node.sh uses it by default; two addresses from 2026-08-25 to 2026-09-11, one since; the follower's rewrite bound and the threshold ceiling comment brought to the measured anchors (most carried three to five valid seals before 2026-08-14, only some in the lowered window one or two); SPEC and anchor/README the same
liviu pushed to main at aere-network/aere-quantum 2026-10-27 12:48:01 +00:00
687e5e54a4 payments: the public reader of a receipt now exits 2 and says PARTIAL when it did not verify the notarization (no --verify-proof, the reference verifier answering PARTIAL or PENDING, a chain that does not answer), as POST /v1/payments/verify answers; the receiptFile of /v1/payments/receipt carries the policy and the inputs it needs; new probe proba-verifica-chitanta.mjs (14 rows, no chain); README rule names as the module returns them
liviu pushed to main at aere-network/aere-docs 2026-10-27 04:48:20 +00:00
920828ab16 Dated correction (2026-10-27): README, a validator refuses an anchor below the threshold; a node started from the published package lowers the count to one seal
liviu pushed to main at aere-network/aere-research 2026-10-27 04:48:13 +00:00
9b2a69ab6b Dated 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)
liviu pushed to main at aere-network/aere-node 2026-10-27 04:47:50 +00:00
6ece1f2a6c Dated corrections (2026-10-27): a validator, not every node, refuses an anchor below the threshold (a node started from this package lowers the count to one seal; SPEC 6.4); the startup guard refuses above the quorum and only warns below it; anchors carry at least one seal in the warm-up and three or more after; the follower's rewrite bound is 33 from stage R; run-node.sh comment and verify-live-precompiles.mjs brought to the same form
liviu pushed to main at aere-network/aere-docs 2026-10-26 20:55:57 +00:00
4c7202c1bf AIP process and index (2026-10-26): dated form of the stage R and stage 4 lines, brought to the source document
liviu pushed to main at aere-network/aere-research 2026-10-26 20:55:50 +00:00
42047a8b48 Dated 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
liviu pushed to main at aere-network/aere-node 2026-10-26 20:55:31 +00:00
a537b7c9d1 AIP-22 stage R and stage 4 on chain 2800, dated corrections (2026-10-26): README patch rows 0009 and 0010 now say the heights were crossed (24,148,752 on 2026-10-24, 24,300,000 on 2026-10-25); RUN-A-NODE: the seal-threshold ceiling of the published follower weakens what it checks (SPEC 6.4), the startup guard refuses above the quorum and only warns below it, the v2 certificate dated 2026-09-04; SPEC 3.7 and 6.4 the same
liviu pushed to main at aere-network/aere-node 2026-10-26 12:25:15 +00:00
c3e0bd3858 RUN-A-NODE: AIP-22 stage R is in force on chain 2800 since block 24,148,752 (reached 2026-10-24); dated note, four rules, the certificate forms before H_r named as such
liviu pushed to main at aere-network/aere-research 2026-10-26 07:42:01 +00:00
c87197bd8b AIP-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)
liviu pushed to main at aere-network/aere-node 2026-10-26 04:27:54 +00:00
7ba8334ecf AIP-22 stage R and stage 4 in force on chain 2800: SPEC amended 2026-10-26 (stage R since 24,148,752, stage 4 since 24,300,000; below H_hdr a header is still admitted on the ECDSA commit seals of one round), README and anchor/README dated
liviu pushed to main at aere-network/aere-docs 2026-10-26 04:27:43 +00:00
1bf5d00318 AIP-22 stage R and stage 4 in force on chain 2800: README and AIP index dated (votes attributed only through verified post-quantum seals since block 24,300,000; headers still admitted on ECDSA commit seals until stage 5; the AIP-3 interval dated), REPRODUCE note corrected (anchor grid window, stage R)
liviu pushed to main at aere-network/aere-research 2026-10-26 04:27:28 +00:00
0bf80e42fe AIP-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
liviu pushed to main at aere-network/aere-research 2026-10-25 22:07:51 +00:00
4c4d57cd2c Dated correction (2026-10-26): README, ten Foundation-run validators since 2026-09-11 (f=3, commit quorum 7 of 10)
liviu pushed to main at aere-network/aere-docs 2026-10-25 22:07:44 +00:00
3d3c996f5a Dated corrections (2026-10-26): README, ten Foundation-run validators since 2026-09-11 (f=3, commit quorum 7 of 10); REPRODUCE.md, a note that its description of chain 2800 is that of 2026-07-19, with what changed since