certora-fv-amenability: static FV-amenability scorer (phase 1)#87

Draft

shellygr wants to merge 19 commits into

shelly/fv-amenability

Commits on Jul 15, 2026

solidity_ast: base node classes + vendored OZ solidity-ast schema

shellygr
and
claude
committed
solidity_ast: full typed model set, unions, loader, traversal, conformance tests, fixtures

shellygr
and
claude
committed
solidity_ast: loader/traversal/fixture-parsing tests + parent-graph golden test

shellygr
and
claude
committed
autosetup: migrate AST consumers to the typed solidity_ast models

shellygr
and
claude
committed
solidity_ast: __main__ demo summarizing a dump through the typed models

shellygr
and
claude
committed
solidity_ast: harden coverage after review — raw sweep, open version enums, cached loads

shellygr
and
claude
committed
solidity_ast: round-trip fidelity diagnostics + --json validator mode

shellygr
and
claude
committed
solidity_ast: typed parsing for solc 0.4/0.5 dumps + legacy fixtures

shellygr
and
claude
committed
solidity_ast: VERSION_GATES, virtual=None, derived legacy accessors

shellygr
and
claude
committed
solidity_ast: ladder-verified gates + solc 0.7.2 isLValue quirk

shellygr
and
claude
committed

Commits on Jul 16, 2026

Commits on Jul 18, 2026