Repository navigation

Pareto fidelity: signed Int256 storage reads (G28), ERC-20 hop lemmas (G14), kernel-eval scope (G2) - #2469

Merged

Th0rgal merged 5 commits into

mainfrom

fix/pareto-g28-g14-g2

Oct 6, 2026

Commits on Oct 5, 2026

fix(edsl): signed Int256 storage reads in executable plane (G28); ERC-20 hop lemmas (G14)

Th0rgal
and
claude
committed
ce21286
chore: auto-refresh derived artifacts
github-actions[bot]
committed
af94be1
test: G2 kernel evaluation of hashed-mapping bodies; fix ERC-20 hop smoke state

Th0rgal
and
claude
committed
5076d53
chore: macro property-test artifacts for ERC-20 hop smoke

Th0rgal
and
claude
committed
bb3b50b
docs: executable Int256 storage reads are signed (G28)

Th0rgal
and
claude
committed
9422010