Generalize ABI selectors and typed EVM calls

[g-r-a-n-t]

No description provided.

[chatgpt-codex-connector]

💡 Codex Review

fe/crates/mir/src/runtime/synthetic.rs

Lines 665 to 667 in 9738fb0

	RuntimeBuiltin::CallDataSelector {
	selector_size: abi.selector_size,
	class: abi.selector_class.clone(),

Respect ABI selector decoding in dispatch

For custom ABIs where Abi::selector_from_prefix is not exactly a raw high-byte shift, generated contract dispatch now ignores the ABI hook and compares the raw CallDataSelector value instead. I checked ingots/core/src/contracts.fe, where ContractHost::runtime_selector<A> decodes selectors via A::selector_from_prefix(input.word_at(0)), but this runtime root emits a builtin that the code generators lower directly to shr(...) on calldataload(0). That means a contract using such an ABI can have Evm.selector_abi<A>() report the intended selector while the compiler-generated dispatch misses the matching recv arm and falls through to the default path.

ℹ️ About Codex in GitHub

Codex has been enabled to automatically review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

When you sign up for Codex through ChatGPT, Codex can also answer questions or update the PR, like "@codex address that feedback".