Implement `interfaceId` via new `type(C).publicMethods` builtin - #462

Draft

axic wants to merge 14 commits into

argotorg:mainfrom

axic:interface-id

Commits on Aug 3, 2026

Add `type(C).publicMethods` primitive and interface-id computation
claude
committed
1393bf0
Fix interfaceid example: construct uint256(0) instead of bare literal
claude
committed
46544df
Use concrete SelectorArray instead of generic DynArray for publicMethods
claude
committed
46deaec
Simplify test

axic
authored and
claude
committed
207c75d
Formatting

axic
authored and
claude
committed
2f28215
Align publicMethods feature with main's funIsPublic FunDef
claude
committed
aa5e1b9
Redesign publicMethods as a PublicMethods type class over Proxy(Method)
claude
committed
69e0a65
PublicMethods: drop length, constrain head as Method(...) like compute
claude
committed
3ec0e10
ContractDispatch: lift unwrapSigs/isTyped/getTy to top level
claude
committed
061eb56
Formatting

axic
authored and
claude
committed
1de8301
interfaceid: return bytes4 directly and use ^ for the selector fold
claude
committed
41f8b58
std: add bytes4:Int and use bare integer literals for interface-id
claude
committed
f2d37e6
deposit: implement supportsInterface via type(C).publicMethods
claude
committed
3cef997
deposit: test supportsInterface against the contract's interface id
claude
committed
bc55f23