aere-network/aere-docs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Note of 2026-09-24 points to the consensus page, which states the live set and quorum

Browse Source
This commit is contained in:
Aere Network 2026-09-24 22:43:24 +03:00
parent 4886ad8f0e
commit 854b893a24
10 changed files with 10 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
AERE-AIP-PROCESS-AND-INDEX.md
View File

@ -1,6 +1,6 @@
# spec-25: The Aere Improvement Proposal (AIP) Process and Index # spec-25: The Aere Improvement Proposal (AIP) Process and Index
> **Note added 2026-09-24.** Validator-set figures in this document (N=7 with f=2 and a commit quorum of 5 of 7, or N=9 with a quorum of 6) describe the set on the date they were written. Since 2026-09-11 chain 2800 has ten validators (f=3, commit quorum 7 of 10), all still operated by the Foundation, one of them running the second, Nethermind-derived client. Since 2026-09-04 the anchor certificate carries Falcon-512 and SLH-DSA-SHA2-128s seals, at least six valid seals for each scheme, and since block 17,225,968 (2026-09-05) there is one anchor every 128 blocks. The current parameters are at https://aere.network/docs/network/parameters. > **Note added 2026-09-24.** Validator-set figures in this document (N=7 with f=2 and a commit quorum of 5 of 7, or N=9 with a quorum of 6) describe the set on the date they were written. Since 2026-09-11 chain 2800 has ten validators (f=3, commit quorum 7 of 10), all still operated by the Foundation, one of them running the second, Nethermind-derived client. Since 2026-09-04 the anchor certificate carries Falcon-512 and SLH-DSA-SHA2-128s seals, at least six valid seals for each scheme, and since block 17,225,968 (2026-09-05) there is one anchor every 128 blocks. The live set and its quorum are at https://aere.network/docs/network/consensus.
| Field | Value | | Field | Value |
| --- | --- | | --- | --- |

2
AERE-ARCHITECTURE-MAP.md
View File

@ -1,6 +1,6 @@
# Aere Network Architecture Map # Aere Network Architecture Map
> **Note added 2026-09-24.** Validator-set figures in this document (N=7 with f=2 and a commit quorum of 5 of 7, or N=9 with a quorum of 6) describe the set on the date they were written. Since 2026-09-11 chain 2800 has ten validators (f=3, commit quorum 7 of 10), all still operated by the Foundation, one of them running the second, Nethermind-derived client. Since 2026-09-04 the anchor certificate carries Falcon-512 and SLH-DSA-SHA2-128s seals, at least six valid seals for each scheme, and since block 17,225,968 (2026-09-05) there is one anchor every 128 blocks. The current parameters are at https://aere.network/docs/network/parameters. > **Note added 2026-09-24.** Validator-set figures in this document (N=7 with f=2 and a commit quorum of 5 of 7, or N=9 with a quorum of 6) describe the set on the date they were written. Since 2026-09-11 chain 2800 has ten validators (f=3, commit quorum 7 of 10), all still operated by the Foundation, one of them running the second, Nethermind-derived client. Since 2026-09-04 the anchor certificate carries Falcon-512 and SLH-DSA-SHA2-128s seals, at least six valid seals for each scheme, and since block 17,225,968 (2026-09-05) there is one anchor every 128 blocks. The live set and its quorum are at https://aere.network/docs/network/consensus.
> **Note added 2026-08-19.** Statements in this document that consensus on chain 2800 is (or remains) classical secp256k1 ECDSA QBFT were written before the post-quantum header anchor went live, and remain true for block-by-block finality. Since block 13,014,000 anchor blocks (every 32nd block, on every one since block 13,889,296) also carry, under the block hash, a certificate of validator Falcon-512 seals, and since 2026-08-14 a node rejects an anchor block with fewer than three valid seals (f+1 of nine; eight or nine are carried in practice). That is a post-quantum checkpoint about every 16 seconds, not a per-block quorum: the claim published on 2026-08-15 that from block 14,050,000 no block finalizes without a post-quantum quorum was wrong (the per-block rule armed at that height is retired in the shipped code in favour of the anchor rules) and was withdrawn on 2026-08-19. Details: https://aere.network/quantum.html and the aere-node repository, anchor/README.md. > **Note added 2026-08-19.** Statements in this document that consensus on chain 2800 is (or remains) classical secp256k1 ECDSA QBFT were written before the post-quantum header anchor went live, and remain true for block-by-block finality. Since block 13,014,000 anchor blocks (every 32nd block, on every one since block 13,889,296) also carry, under the block hash, a certificate of validator Falcon-512 seals, and since 2026-08-14 a node rejects an anchor block with fewer than three valid seals (f+1 of nine; eight or nine are carried in practice). That is a post-quantum checkpoint about every 16 seconds, not a per-block quorum: the claim published on 2026-08-15 that from block 14,050,000 no block finalizes without a post-quantum quorum was wrong (the per-block rule armed at that height is retired in the shipped code in favour of the anchor rules) and was withdrawn on 2026-08-19. Details: https://aere.network/quantum.html and the aere-node repository, anchor/README.md.

2
AERE-EIP-COMPATIBILITY-MATRIX.md
View File

@ -1,6 +1,6 @@
# Aere Network: Ethereum EIP Compatibility Matrix # Aere Network: Ethereum EIP Compatibility Matrix
> **Note added 2026-09-24.** Validator-set figures in this document (N=7 with f=2 and a commit quorum of 5 of 7, or N=9 with a quorum of 6) describe the set on the date they were written. Since 2026-09-11 chain 2800 has ten validators (f=3, commit quorum 7 of 10), all still operated by the Foundation, one of them running the second, Nethermind-derived client. Since 2026-09-04 the anchor certificate carries Falcon-512 and SLH-DSA-SHA2-128s seals, at least six valid seals for each scheme, and since block 17,225,968 (2026-09-05) there is one anchor every 128 blocks. The current parameters are at https://aere.network/docs/network/parameters. > **Note added 2026-09-24.** Validator-set figures in this document (N=7 with f=2 and a commit quorum of 5 of 7, or N=9 with a quorum of 6) describe the set on the date they were written. Since 2026-09-11 chain 2800 has ten validators (f=3, commit quorum 7 of 10), all still operated by the Foundation, one of them running the second, Nethermind-derived client. Since 2026-09-04 the anchor certificate carries Falcon-512 and SLH-DSA-SHA2-128s seals, at least six valid seals for each scheme, and since block 17,225,968 (2026-09-05) there is one anchor every 128 blocks. The live set and its quorum are at https://aere.network/docs/network/consensus.
**Chain:** Aere Network mainnet, chain ID 2800 (`0xaf0`). Execution client: Hyperledger Besu 26.4.0 with QBFT consensus (classical secp256k1 ECDSA, N=7 validators, f=2), approximately 0.5 second blocks. This document is a developer reference: it states, EIP by EIP, where Aere's EVM matches Ethereum mainnet and where it deliberately differs. **Chain:** Aere Network mainnet, chain ID 2800 (`0xaf0`). Execution client: Hyperledger Besu 26.4.0 with QBFT consensus (classical secp256k1 ECDSA, N=7 validators, f=2), approximately 0.5 second blocks. This document is a developer reference: it states, EIP by EIP, where Aere's EVM matches Ethereum mainnet and where it deliberately differs.

2
AERE-ENGINEERING-SECURITY-SPEC.md
View File

@ -1,6 +1,6 @@
# Aere Network Engineering and Security Specification # Aere Network Engineering and Security Specification
> **Note added 2026-09-24.** Validator-set figures in this document (N=7 with f=2 and a commit quorum of 5 of 7, or N=9 with a quorum of 6) describe the set on the date they were written. Since 2026-09-11 chain 2800 has ten validators (f=3, commit quorum 7 of 10), all still operated by the Foundation, one of them running the second, Nethermind-derived client. Since 2026-09-04 the anchor certificate carries Falcon-512 and SLH-DSA-SHA2-128s seals, at least six valid seals for each scheme, and since block 17,225,968 (2026-09-05) there is one anchor every 128 blocks. The current parameters are at https://aere.network/docs/network/parameters. > **Note added 2026-09-24.** Validator-set figures in this document (N=7 with f=2 and a commit quorum of 5 of 7, or N=9 with a quorum of 6) describe the set on the date they were written. Since 2026-09-11 chain 2800 has ten validators (f=3, commit quorum 7 of 10), all still operated by the Foundation, one of them running the second, Nethermind-derived client. Since 2026-09-04 the anchor certificate carries Falcon-512 and SLH-DSA-SHA2-128s seals, at least six valid seals for each scheme, and since block 17,225,968 (2026-09-05) there is one anchor every 128 blocks. The live set and its quorum are at https://aere.network/docs/network/consensus.
> **Note added 2026-08-19.** Statements in this document that consensus on chain 2800 is (or remains) classical secp256k1 ECDSA QBFT were written before the post-quantum header anchor went live, and remain true for block-by-block finality. Since block 13,014,000 anchor blocks (every 32nd block, on every one since block 13,889,296) also carry, under the block hash, a certificate of validator Falcon-512 seals, and since 2026-08-14 a node rejects an anchor block with fewer than three valid seals (f+1 of nine; eight or nine are carried in practice). That is a post-quantum checkpoint about every 16 seconds, not a per-block quorum: the claim published on 2026-08-15 that from block 14,050,000 no block finalizes without a post-quantum quorum was wrong (the per-block rule armed at that height is retired in the shipped code in favour of the anchor rules) and was withdrawn on 2026-08-19. Details: https://aere.network/quantum.html and the aere-node repository, anchor/README.md. > **Note added 2026-08-19.** Statements in this document that consensus on chain 2800 is (or remains) classical secp256k1 ECDSA QBFT were written before the post-quantum header anchor went live, and remain true for block-by-block finality. Since block 13,014,000 anchor blocks (every 32nd block, on every one since block 13,889,296) also carry, under the block hash, a certificate of validator Falcon-512 seals, and since 2026-08-14 a node rejects an anchor block with fewer than three valid seals (f+1 of nine; eight or nine are carried in practice). That is a post-quantum checkpoint about every 16 seconds, not a per-block quorum: the claim published on 2026-08-15 that from block 14,050,000 no block finalizes without a post-quantum quorum was wrong (the per-block rule armed at that height is retired in the shipped code in favour of the anchor rules) and was withdrawn on 2026-08-19. Details: https://aere.network/quantum.html and the aere-node repository, anchor/README.md.

2
AERE-ERC7683-DESTINATION.md
View File

@ -1,6 +1,6 @@
# Aere Network ERC-7683 Destination Settler # Aere Network ERC-7683 Destination Settler
> **Note added 2026-09-24.** Validator-set figures in this document (N=7 with f=2 and a commit quorum of 5 of 7, or N=9 with a quorum of 6) describe the set on the date they were written. Since 2026-09-11 chain 2800 has ten validators (f=3, commit quorum 7 of 10), all still operated by the Foundation, one of them running the second, Nethermind-derived client. Since 2026-09-04 the anchor certificate carries Falcon-512 and SLH-DSA-SHA2-128s seals, at least six valid seals for each scheme, and since block 17,225,968 (2026-09-05) there is one anchor every 128 blocks. The current parameters are at https://aere.network/docs/network/parameters. > **Note added 2026-09-24.** Validator-set figures in this document (N=7 with f=2 and a commit quorum of 5 of 7, or N=9 with a quorum of 6) describe the set on the date they were written. Since 2026-09-11 chain 2800 has ten validators (f=3, commit quorum 7 of 10), all still operated by the Foundation, one of them running the second, Nethermind-derived client. Since 2026-09-04 the anchor certificate carries Falcon-512 and SLH-DSA-SHA2-128s seals, at least six valid seals for each scheme, and since block 17,225,968 (2026-09-05) there is one anchor every 128 blocks. The live set and its quorum are at https://aere.network/docs/network/consensus.
The receiving side of cross-chain intents on Aere Network. This document explains how The receiving side of cross-chain intents on Aere Network. This document explains how
the origin and destination halves compose, the solver flow, the repayment proof path, the origin and destination halves compose, the solver flow, the repayment proof path,

2
AERE-POST-QUANTUM-GOVERNANCE.md
View File

@ -1,6 +1,6 @@
# Spec 29: Post-Quantum Governance # Spec 29: Post-Quantum Governance
> **Note added 2026-09-24.** Validator-set figures in this document (N=7 with f=2 and a commit quorum of 5 of 7, or N=9 with a quorum of 6) describe the set on the date they were written. Since 2026-09-11 chain 2800 has ten validators (f=3, commit quorum 7 of 10), all still operated by the Foundation, one of them running the second, Nethermind-derived client. Since 2026-09-04 the anchor certificate carries Falcon-512 and SLH-DSA-SHA2-128s seals, at least six valid seals for each scheme, and since block 17,225,968 (2026-09-05) there is one anchor every 128 blocks. The current parameters are at https://aere.network/docs/network/parameters. > **Note added 2026-09-24.** Validator-set figures in this document (N=7 with f=2 and a commit quorum of 5 of 7, or N=9 with a quorum of 6) describe the set on the date they were written. Since 2026-09-11 chain 2800 has ten validators (f=3, commit quorum 7 of 10), all still operated by the Foundation, one of them running the second, Nethermind-derived client. Since 2026-09-04 the anchor certificate carries Falcon-512 and SLH-DSA-SHA2-128s seals, at least six valid seals for each scheme, and since block 17,225,968 (2026-09-05) there is one anchor every 128 blocks. The live set and its quorum are at https://aere.network/docs/network/consensus.
> **Note added 2026-08-19.** Statements in this document that consensus on chain 2800 is (or remains) classical secp256k1 ECDSA QBFT were written before the post-quantum header anchor went live, and remain true for block-by-block finality. Since block 13,014,000 anchor blocks (every 32nd block, on every one since block 13,889,296) also carry, under the block hash, a certificate of validator Falcon-512 seals, and since 2026-08-14 a node rejects an anchor block with fewer than three valid seals (f+1 of nine; eight or nine are carried in practice). That is a post-quantum checkpoint about every 16 seconds, not a per-block quorum: the claim published on 2026-08-15 that from block 14,050,000 no block finalizes without a post-quantum quorum was wrong (the per-block rule armed at that height is retired in the shipped code in favour of the anchor rules) and was withdrawn on 2026-08-19. Details: https://aere.network/quantum.html and the aere-node repository, anchor/README.md. > **Note added 2026-08-19.** Statements in this document that consensus on chain 2800 is (or remains) classical secp256k1 ECDSA QBFT were written before the post-quantum header anchor went live, and remain true for block-by-block finality. Since block 13,014,000 anchor blocks (every 32nd block, on every one since block 13,889,296) also carry, under the block hash, a certificate of validator Falcon-512 seals, and since 2026-08-14 a node rejects an anchor block with fewer than three valid seals (f+1 of nine; eight or nine are carried in practice). That is a post-quantum checkpoint about every 16 seconds, not a per-block quorum: the claim published on 2026-08-15 that from block 14,050,000 no block finalizes without a post-quantum quorum was wrong (the per-block rule armed at that height is retired in the shipped code in favour of the anchor rules) and was withdrawn on 2026-08-19. Details: https://aere.network/quantum.html and the aere-node repository, anchor/README.md.

2
AERE-PROTOCOL-SPECIFICATION.md
View File

@ -1,6 +1,6 @@
# Aere Network Protocol Specification # Aere Network Protocol Specification
> **Note added 2026-09-24.** Validator-set figures in this document (N=7 with f=2 and a commit quorum of 5 of 7, or N=9 with a quorum of 6) describe the set on the date they were written. Since 2026-09-11 chain 2800 has ten validators (f=3, commit quorum 7 of 10), all still operated by the Foundation, one of them running the second, Nethermind-derived client. Since 2026-09-04 the anchor certificate carries Falcon-512 and SLH-DSA-SHA2-128s seals, at least six valid seals for each scheme, and since block 17,225,968 (2026-09-05) there is one anchor every 128 blocks. The current parameters are at https://aere.network/docs/network/parameters. > **Note added 2026-09-24.** Validator-set figures in this document (N=7 with f=2 and a commit quorum of 5 of 7, or N=9 with a quorum of 6) describe the set on the date they were written. Since 2026-09-11 chain 2800 has ten validators (f=3, commit quorum 7 of 10), all still operated by the Foundation, one of them running the second, Nethermind-derived client. Since 2026-09-04 the anchor certificate carries Falcon-512 and SLH-DSA-SHA2-128s seals, at least six valid seals for each scheme, and since block 17,225,968 (2026-09-05) there is one anchor every 128 blocks. The live set and its quorum are at https://aere.network/docs/network/consensus.
> **Note added 2026-08-19.** Statements in this document that consensus on chain 2800 is (or remains) classical secp256k1 ECDSA QBFT were written before the post-quantum header anchor went live, and remain true for block-by-block finality. Since block 13,014,000 anchor blocks (every 32nd block, on every one since block 13,889,296) also carry, under the block hash, a certificate of validator Falcon-512 seals, and since 2026-08-14 a node rejects an anchor block with fewer than three valid seals (f+1 of nine; eight or nine are carried in practice). That is a post-quantum checkpoint about every 16 seconds, not a per-block quorum: the claim published on 2026-08-15 that from block 14,050,000 no block finalizes without a post-quantum quorum was wrong (the per-block rule armed at that height is retired in the shipped code in favour of the anchor rules) and was withdrawn on 2026-08-19. Details: https://aere.network/quantum.html and the aere-node repository, anchor/README.md. > **Note added 2026-08-19.** Statements in this document that consensus on chain 2800 is (or remains) classical secp256k1 ECDSA QBFT were written before the post-quantum header anchor went live, and remain true for block-by-block finality. Since block 13,014,000 anchor blocks (every 32nd block, on every one since block 13,889,296) also carry, under the block hash, a certificate of validator Falcon-512 seals, and since 2026-08-14 a node rejects an anchor block with fewer than three valid seals (f+1 of nine; eight or nine are carried in practice). That is a post-quantum checkpoint about every 16 seconds, not a per-block quorum: the claim published on 2026-08-15 that from block 14,050,000 no block finalizes without a post-quantum quorum was wrong (the per-block rule armed at that height is retired in the shipped code in favour of the anchor rules) and was withdrawn on 2026-08-19. Details: https://aere.network/quantum.html and the aere-node repository, anchor/README.md.

2
AERE-QA-CONSOLIDATION-REPORT.md
View File

@ -1,6 +1,6 @@
# Aere Network Consolidation QA Report # Aere Network Consolidation QA Report
> **Note added 2026-09-24.** Validator-set figures in this document (N=7 with f=2 and a commit quorum of 5 of 7, or N=9 with a quorum of 6) describe the set on the date they were written. Since 2026-09-11 chain 2800 has ten validators (f=3, commit quorum 7 of 10), all still operated by the Foundation, one of them running the second, Nethermind-derived client. Since 2026-09-04 the anchor certificate carries Falcon-512 and SLH-DSA-SHA2-128s seals, at least six valid seals for each scheme, and since block 17,225,968 (2026-09-05) there is one anchor every 128 blocks. The current parameters are at https://aere.network/docs/network/parameters. > **Note added 2026-09-24.** Validator-set figures in this document (N=7 with f=2 and a commit quorum of 5 of 7, or N=9 with a quorum of 6) describe the set on the date they were written. Since 2026-09-11 chain 2800 has ten validators (f=3, commit quorum 7 of 10), all still operated by the Foundation, one of them running the second, Nethermind-derived client. Since 2026-09-04 the anchor certificate carries Falcon-512 and SLH-DSA-SHA2-128s seals, at least six valid seals for each scheme, and since block 17,225,968 (2026-09-05) there is one anchor every 128 blocks. The live set and its quorum are at https://aere.network/docs/network/consensus.
> **Note added 2026-08-19.** Statements in this document that consensus on chain 2800 is (or remains) classical secp256k1 ECDSA QBFT were written before the post-quantum header anchor went live, and remain true for block-by-block finality. Since block 13,014,000 anchor blocks (every 32nd block, on every one since block 13,889,296) also carry, under the block hash, a certificate of validator Falcon-512 seals, and since 2026-08-14 a node rejects an anchor block with fewer than three valid seals (f+1 of nine; eight or nine are carried in practice). That is a post-quantum checkpoint about every 16 seconds, not a per-block quorum: the claim published on 2026-08-15 that from block 14,050,000 no block finalizes without a post-quantum quorum was wrong (the per-block rule armed at that height is retired in the shipped code in favour of the anchor rules) and was withdrawn on 2026-08-19. Details: https://aere.network/quantum.html and the aere-node repository, anchor/README.md. > **Note added 2026-08-19.** Statements in this document that consensus on chain 2800 is (or remains) classical secp256k1 ECDSA QBFT were written before the post-quantum header anchor went live, and remain true for block-by-block finality. Since block 13,014,000 anchor blocks (every 32nd block, on every one since block 13,889,296) also carry, under the block hash, a certificate of validator Falcon-512 seals, and since 2026-08-14 a node rejects an anchor block with fewer than three valid seals (f+1 of nine; eight or nine are carried in practice). That is a post-quantum checkpoint about every 16 seconds, not a per-block quorum: the claim published on 2026-08-15 that from block 14,050,000 no block finalizes without a post-quantum quorum was wrong (the per-block rule armed at that height is retired in the shipped code in favour of the anchor rules) and was withdrawn on 2026-08-19. Details: https://aere.network/quantum.html and the aere-node repository, anchor/README.md.

2
AERE-STARK-VERIFIER-PORT-SPEC.md
View File

@ -1,6 +1,6 @@
# AERE STARK verifier port specification (0x0AE8): component order, interfaces, vectors, effort # AERE STARK verifier port specification (0x0AE8): component order, interfaces, vectors, effort
> **Note added 2026-09-24.** Validator-set figures in this document (N=7 with f=2 and a commit quorum of 5 of 7, or N=9 with a quorum of 6) describe the set on the date they were written. Since 2026-09-11 chain 2800 has ten validators (f=3, commit quorum 7 of 10), all still operated by the Foundation, one of them running the second, Nethermind-derived client. Since 2026-09-04 the anchor certificate carries Falcon-512 and SLH-DSA-SHA2-128s seals, at least six valid seals for each scheme, and since block 17,225,968 (2026-09-05) there is one anchor every 128 blocks. The current parameters are at https://aere.network/docs/network/parameters. > **Note added 2026-09-24.** Validator-set figures in this document (N=7 with f=2 and a commit quorum of 5 of 7, or N=9 with a quorum of 6) describe the set on the date they were written. Since 2026-09-11 chain 2800 has ten validators (f=3, commit quorum 7 of 10), all still operated by the Foundation, one of them running the second, Nethermind-derived client. Since 2026-09-04 the anchor certificate carries Falcon-512 and SLH-DSA-SHA2-128s seals, at least six valid seals for each scheme, and since block 17,225,968 (2026-09-05) there is one anchor every 128 blocks. The live set and its quorum are at https://aere.network/docs/network/consensus.
> **SCOPE CAVEAT (research finding, 2026-07-19; read before anything else).** The six generic > **SCOPE CAVEAT (research finding, 2026-07-19; read before anything else).** The six generic
> components below are real and conformance-confirmed, but they were confirmed against Plonky3 > components below are real and conformance-confirmed, but they were confirmed against Plonky3

2
AERE-TLA-FORMAL-SPEC.md
View File

@ -1,6 +1,6 @@
# Spec 27: TLA+ specification of Aere QBFT consensus # Spec 27: TLA+ specification of Aere QBFT consensus
> **Note added 2026-09-24.** Validator-set figures in this document (N=7 with f=2 and a commit quorum of 5 of 7, or N=9 with a quorum of 6) describe the set on the date they were written. Since 2026-09-11 chain 2800 has ten validators (f=3, commit quorum 7 of 10), all still operated by the Foundation, one of them running the second, Nethermind-derived client. Since 2026-09-04 the anchor certificate carries Falcon-512 and SLH-DSA-SHA2-128s seals, at least six valid seals for each scheme, and since block 17,225,968 (2026-09-05) there is one anchor every 128 blocks. The current parameters are at https://aere.network/docs/network/parameters. > **Note added 2026-09-24.** Validator-set figures in this document (N=7 with f=2 and a commit quorum of 5 of 7, or N=9 with a quorum of 6) describe the set on the date they were written. Since 2026-09-11 chain 2800 has ten validators (f=3, commit quorum 7 of 10), all still operated by the Foundation, one of them running the second, Nethermind-derived client. Since 2026-09-04 the anchor certificate carries Falcon-512 and SLH-DSA-SHA2-128s seals, at least six valid seals for each scheme, and since block 17,225,968 (2026-09-05) there is one anchor every 128 blocks. The live set and its quorum are at https://aere.network/docs/network/consensus.
Date: 2026-07-19 Date: 2026-07-19
Deliverable location: `aerenew/formal-tla/` (new directory) Deliverable location: `aerenew/formal-tla/` (new directory)