Skip to content

test(contracts): verify live root-signed overload batches - #96

Merged
LucienSong merged 1 commit into
mainfrom
codex/derived-overload-aa-live-20261012
Oct 12, 2026
Merged

LucienSong merged 1 commit into
mainfrom
codex/derived-overload-aa-live-20261012

Conversation

@LucienSong

Copy link
Copy Markdown
Collaborator

Root-signed AA batches now share the documented live overload regression with ordinary transactions. Both ML-DSA-65 and Dilithium3 cover canonical, inherited, internal, free-function and array forms using the original ABI, fixed selectors and manually encoded words. Later zero/MAX/truncated/empty-array failures roll back earlier writes while preserving protocol outer fees and nonce. Tampered calldata, corrupted signatures and a mismatched algorithm are refused without changing balance, nonce or contract storage. Independent P2P import, descending historical reads, offline catch-up, finalized RocksDB crash recovery and a new post-restart batch are verified.

Validation: npm run typecheck and npm test (including the declaration build) pass. The documented canonical overload real RPC entry passed all ten new AA combinations against node source e94038717a1522080ecf701edacbde21cf37b870 with RocksDB/libp2p; already accepted ordinary combinations retain the same execution path. Contracts are predeployed in isolated dev genesis. Native CREATE, CLI contract-write entries and matching public package/profile acceptance remain separate.

@LucienSong
LucienSong merged commit cc89572 into main Oct 12, 2026
3 checks passed
@LucienSong
LucienSong deleted the codex/derived-overload-aa-live-20261012 branch October 12, 2026 12:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant