HF RL Explorer

Issue: Attribute‑based code derivation (EVM flavor)

Issue: Attribute‑based code derivation (EVM flavor): a task in LegoFlow-SWE (Harbor dataset). The Move compiler does not support automatic derivation of domain‑specific code from attributes on functions or modules. This limits the ability to generate cross‑contract call entry points, for example…

The task

The Move compiler does not support automatic derivation of domain‑specific code from attributes on functions or modules. This limits the ability to generate cross‑contract call entry points, for example, from a simple attribute annotation.

Part of Lego-X/LegoFlow-SWE.