Autosetup: recommend optimistic_fallback for native value transfers; filter NONDET-ineligible methods at match time#52

Draft

shellygr wants to merge 7 commits into

shelly/ap-autosetup-vacuity-prevention

Commits on Jul 4, 2026

Add ContractName/MethodName type aliases to shared types

shellygr
and
claude
committed
Detect native value transfers from the solc AST dump

shellygr
and
claude
committed
Recommend optimistic_fallback for unresolvable native value transfers

shellygr
and
claude
committed
Merge phase-recommended conf flags through a ConfigManager whitelist

shellygr
and
claude
committed
Filter NONDET-ineligible methods at recipe match time

shellygr
and
claude
committed
Test the NONDET match-time filter, AST value-transfer detection, and flag whitelist

shellygr
and
claude
committed
Drop the match-time NONDET filter; correct the optimistic_fallback rationale

shellygr
and
claude
committed