Aere Network
|
fcece14a12
|
Stranger pass of 21 Oct: x402 verify-payments reads all wallet transfers in windows under the endpoint range limit (was UNMEASURED on the live testnet; now VALID), device-operation reputation is byte-identical in JS --canonical and Python, module README figures as measured, .gitignore for the keys the examples write, temporary directories removed by the probes
|
2026-10-21 23:20:15 +03:00 |
|
Aere Network
|
c1721b3bf1
|
market-settlement: the sender of a job event is read from the raw transaction (ethers does not decode the post-quantum transaction type 0x50, live on testnet 28001, and the whole timeline threw); a read-only proof re-reads the senders of the recorded run
|
2026-10-20 13:20:52 +03:00 |
|
Aere Network
|
c9798a0013
|
conformance: 97 rules of 9 verifiers, 206 vectors; verify-layer and agents refuse a classical key under an ML-DSA-65 name; market-settlement reads the notarization time from the certified read; proof-of-ai README in English
|
2026-10-05 17:17:59 +03:00 |
|
Aere Network
|
c9f2932e04
|
conformance: a conformance suite for the AIP-23 proof kinds (one verdict form over the published verifiers, 35 rules derived from code, 122 vectors, a runner for any implementation, a second verifier in Python); four defects it found in the published verifiers are fixed here: the market judge accepted a timeline with its submission event withheld, and three verifiers threw on malformed input instead of refusing by name
|
2026-10-03 13:26:03 +03:00 |
|
Aere Network
|
52634a1300
|
market-settlement: the dispute and settlement rail of a verifiable infrastructure market (AereComputeMarketV3 on testnet 28001, five scenarios measured end to end, a pure judge over recorded timelines, AIP-23 receipts); README index
|
2026-10-02 20:05:37 +03:00 |
|