feat(contracts): differential verification harness for settlement_math vs WASM oracle - #477

Open

Neziahtech wants to merge 12 commits into

TevaLabs:mainfrom

Neziahtech:freebuff/362-security-formal-differential-ver-zs8dcmpb

Commits on Aug 29, 2026

Update 4 files\n\nCo-authored-by: Freebuff Agent <agent@mail.freebuff.app>
Neziahtech
committed
eef5352
fix: resolve CI failures for #362 differential verification harness

Neziahtech
and
codebuff-team
committed
65d7d79
fix: enable soroban-sdk alloc feature for WASM build

Neziahtech
and
codebuff-team
committed
8c0c827
fix: WASM build allocator + script permissions for CI

Neziahtech
and
codebuff-team
committed
0919b5d
fix: add 11 missing error codes and 55 methods to TypeScript bindings parity

Neziahtech
and
codebuff-team
committed
e614e26
fix: add set_fee_model and get_fee_model to fromJSON parity map

Neziahtech
and
codebuff-team
committed
26795ae
fix(e2e): increase deploy budget for large WASM on local Soroban network

Neziahtech
and
codebuff-team
committed
18f1114
fix(ci): split E2E deploy into upload+deploy and optimize WASM

Neziahtech
and
codebuff-team
committed
26b5992
fix(e2e): fix broken stderr redirect and error handling in split deploy

Neziahtech
and
codebuff-team
committed
9d10434
fix(tests): fix pre-existing test failures across 12 files

Neziahtech
and
codebuff-team
committed
f60373d

Commits on Aug 31, 2026

Merge branch 'main' into freebuff/362-security-formal-differential-ver-zs8dcmpb
Neziahtech
authored
9ddd737

Commits on Sep 1, 2026

Merge branch 'main' into freebuff/362-security-formal-differential-ver-zs8dcmpb
Neziahtech
authored
36303f9