Web3.py-style facade (Aleo/AsyncAleo) + restore dropped testnet#45

Merged

iamalwaysuncomfortable merged 41 commits into

feat/web3py-facade-clean

Jul 13, 2026

Commits on Jul 10, 2026

feat(sdk): restore testnet bundle dropped from squashed PR #44

iamalwaysuncomfortable
and
claude
committed
feat(facade): F1 — Aleo client, HTTPProvider, helpers, typed exceptions

iamalwaysuncomfortable
and
claude
committed
fix(facade): make AleoError a true base so 'except AleoError' catches all

iamalwaysuncomfortable
and
claude
committed
feat(facade): F2 — aleo.account module (create/import/sign/sign_value)

iamalwaysuncomfortable
and
claude
committed
fix(facade): F2 review — repr network, tighten encrypted test, doc export network-agnostic

iamalwaysuncomfortable
and
claude
committed
feat(facade): F3 — aleo.network module (reads + submit + wait)

iamalwaysuncomfortable
and
claude
committed
fix(facade): F3 review — map 404 to TransactionNotFound on tx getters

iamalwaysuncomfortable
and
claude
committed
feat(facade): F4 — aleo.programs, dynamic functions, coercion, mapping reads, ABI

iamalwaysuncomfortable
and
claude
committed
fix(facade): F4 review — map 404 to ProgramNotFound on Mapping reads; dedup 404 mapping; bool-rejection regression test

iamalwaysuncomfortable
and
claude
committed
feat(facade): F5 — bound-call verb ladder (simulate/authorize/build_transaction/transact/delegate) + result inspection

iamalwaysuncomfortable
and
claude
committed
feat(facade): F6 — aleo.records + RecordProvider; close private-fee auto-sourcing seam

iamalwaysuncomfortable
and
claude
committed
fix(facade): F6 review — get_unspent pulls full set when excluding nonces; document single-fee-record path

iamalwaysuncomfortable
and
claude
committed
feat(facade): F7 — AsyncAleo async facade (shared orchestration, async I/O)
iamalwaysuncomfortable
committed
refactor(facade): F7 review — share OwnedFilter builder across sync/async; make input_type_name public

iamalwaysuncomfortable
and
claude
committed
docs(facade): lead with Aleo(provider) verb ladder + delegate; runnable quickstart example; snarkvm 4.8.1

iamalwaysuncomfortable
and
claude
committed
docs(facade): F8 review — example uses facade aleo.account.sign_value/verify_value

iamalwaysuncomfortable
and
claude
committed
fix(facade): final-review — async parity (abi/decode/imports/mappings), route decode-by-id through network (404→TransactionNotFound), get_transaction_object passthrough
iamalwaysuncomfortable
committed
fix(facade): import aleo without testnet extension; export facade names in __init__.pyi; type functions.<fn>() as BoundCall

iamalwaysuncomfortable
and
claude
committed
test(testnet): importorskip _aleolib_testnet so mainnet-only lanes skip cleanly

iamalwaysuncomfortable
and
claude
committed
ci: build both networks + run testnet tests in proving and aleo-abi lanes

iamalwaysuncomfortable
and
claude
committed
ci(wheels): chown container-written dist before testnet merge (fixes linux build)

iamalwaysuncomfortable
and
claude
committed
feat(testing): LocalRecordScanner + devnode e2e (transact + public/private roundtrip)

iamalwaysuncomfortable
and
claude
committed
test(e2e): live testnet delegate + hosted record scanner (env-gated ALEO_E2E_*)

iamalwaysuncomfortable
and
claude
committed
docs(facade): verb-ladder + async how-to; testing utilities (Devnode, LocalRecordScanner); ALEO_E2E_* vars; snarkvm 4.8.1

iamalwaysuncomfortable
and
claude
committed
feat(facade): base_fee override on build_transaction/transact; delegate gets priority_fee only

iamalwaysuncomfortable
and
claude
committed
test(e2e): live testnet private roundtrip (delegated prover + hosted scanner)

iamalwaysuncomfortable
and
claude
committed
docs: live private-transfer usage (delegated proving + record discovery)

iamalwaysuncomfortable
and
claude
committed
fix(scanner): make RecordScanner + compute_uuid network-aware (testnet was using mainnet types)

iamalwaysuncomfortable
and
claude
committed
fix(network-client): network-aware Program/Plaintext/Transaction parsing (sync+async)

iamalwaysuncomfortable
and
claude
committed
docs(agents): DPS/JWT + proving endpoints live on the explorer /v2; record correct paths + SDK drift

iamalwaysuncomfortable
and
claude
committed
test(e2e): live testnet object suite (network client + facade parsing, network-correctness guard)

iamalwaysuncomfortable
and
claude
committed
ci: keep live (real-API) tests out of CI — standalone `live` marker, fast lane excludes slow/live/devnode

iamalwaysuncomfortable
and
claude
committed
revert: drop consensus-heights binding + LocalRecordScanner

iamalwaysuncomfortable
and
claude
committed
Fix DPS prover cookie affinity: rely on the session/client cookie jar

iamalwaysuncomfortable
and
claude
committed
Harden live DPS e2e: real endpoint, self-transfer, required prover host

iamalwaysuncomfortable
and
claude
committed

Commits on Jul 13, 2026