SaturatingSub/SaturatingSubAssign for BigUint

[andrei-marinica]

Pull request overview

Adds saturating subtraction support for managed BigUint in the framework, and extends the operator test generator + feature-test scenarios to cover the new behavior.

Changes:

• Introduce SaturatingSub / SaturatingSubAssign traits and implement them for BigUint via a new BigInt API helper (bi_sub_unsigned_saturated).
• Extend op-test-gen to generate endpoints + scenarios for saturating_sub / saturating_sub_assign.
• Add unit + scenario test coverage and wire new endpoints into the basic-features SC.

[github-actions]

Contract comparison - from a29dc7c to e1711c1

Path	size	has-allocator	has-format
large-storage.wasm	1656	false	None
send-tx-repeat.wasm	1292	false	None
queue-repeat.wasm	5540	false	None
linked-list-repeat.wasm	6842	false	without message
map-repeat.wasm	7367	false	without message
set-repeat.wasm	6515	false	None
vec-repeat.wasm	4876	false	None
single-value-repeat.wasm	4257	false	None
str-repeat-mb-builder-cached.wasm	1109	false	without message
str-repeat.wasm	2733	false	without message
str-repeat-mb-builder-basic.wasm	757	false	None
multiversx-wegld-swap-sc.wasm	4492	false	None
multiversx-price-aggregator-sc.wasm	17910	false	without message
crypto-zombies.wasm	9255	false	without message
empty.wasm	244	false	None
digital-cash.wasm	9845	false	None
token-release.wasm	6977	false	without message
bonding-curve-contract.wasm	14132	false	None
crowdfunding.wasm	3557	false	None
crypto-bubbles.wasm	2541	false	None
nft-minter.wasm	9725	false	without message
proxy-pause.wasm	4148	false	None
nft-storage-prepay.wasm	2606	false	None
multisig.wasm	13442	false	without message
multisig-full.wasm	15130	false	without message
multisig-view.wasm	5590	false	None
adder.wasm	699	false	None
esdt-transfer-with-fee.wasm	7502	false	without message
nft-subscription.wasm	8840	false	without message
kitty-genetic-alg.wasm	3494	false	without message
kitty-ownership.wasm	12965	false	without message
kitty-auction.wasm	9411	false	without message
fractional-nfts.wasm	8306	false	without message
order-book-factory.wasm	3401	false	None
order-book-pair.wasm	14229	false	None
ping-pong-egld.wasm	6397	false	None
seed-nft-minter.wasm	14443	false	without message
rewards-distribution.wasm	9605	false	without message
factorial.wasm	579	false	None
check-pause.wasm	1260	false	None
lottery-esdt.wasm	10578	false	without message
erc20.wasm	1870	false	None
erc1155.wasm	12023	false	without message
crowdfunding-erc20.wasm	4910	false	without message
erc1155-marketplace.wasm	10602	false	without message
erc721.wasm	2232	false	None
erc1155-user-mock.wasm	1229	false	None
lottery-erc20.wasm	12893	false	without message
use-module.wasm	32741	false	without message
use-module-view.wasm	736	false	None
std-contract.wasm	3469	true	without message
abi-tester.wasm	8607	true	without message
abi-tester-ev.wasm	760	false	None
rust-testing-framework-tester.wasm	8608	false	None
rust-snippets-generator-test.wasm	4710	false	None
exchange-features.wasm	1514	false	None
formatted-message-features.wasm	3600	false	without message
big-float-features.wasm	6373	false	without message
multi-contract-example-feature.wasm	680	false	None
multi-contract-features.wasm	681	false	None
multi-contract-alt-impl.wasm	353	false	None
multi-contract-features-view.wasm	1113	false	None
esdt-system-sc-mock.wasm	4623	false	None
child.wasm	3982	false	without message
parent.wasm	1979	false	None
vault-upgrade.wasm	708	false	None
vault.wasm	9035	false	None
mesh-node.wasm	16145	false	without message
recursive-caller.wasm	5163	false	without message
transfer-role-features.wasm	8667	false	without message
forwarder-blind.wasm	14242	false	without message
forwarder-raw-init-sync-call.wasm	2938	false	None
forwarder-raw-init-async-call.wasm	2357	false	None
forwarder-raw.wasm	13193	false	None
forwarder-legacy.wasm	33668	false	without message
first-contract.wasm	3433	false	None
second-contract.wasm	1158	false	None
proxy-test-second.wasm	2329	false	without message
forwarder.wasm	49178	false	without message
local-esdt-and-nft.wasm	12568	false	without message
proxy-test-first.wasm	5719	false	without message
builtin-func-features.wasm	3820	false	None
scenario-tester.wasm	1374	false	None
forbidden-opcodes.wasm	842	false	None
alloc-mem-fail.wasm	17819	true	without message
alloc-features.wasm	23267	false	without message
alloc-mem-leaking.wasm	23424	false	without message
payable-features.wasm	5872	false	None
basic-features-small-int-bug.wasm	824	false	None
basic-features-storage-bytes.wasm	541	false	None
basic-features.wasm	86426 ➡️ 87206 🔴 (+780)	false	without message
panic-message-features.wasm	13036	false	with message
panic-message-std.wasm	16074	false	with message

[Copilot]

Pull request overview

Adds saturating subtraction support for managed BigUint in the framework, and extends the operator test generator + feature-test scenarios to cover the new behavior.

Changes:

• Introduce SaturatingSub / SaturatingSubAssign traits and implement them for BigUint via a new BigInt API helper (bi_sub_unsigned_saturated).
• Extend op-test-gen to generate endpoints + scenarios for saturating_sub / saturating_sub_assign.
• Add unit + scenario test coverage and wire new endpoints into the basic-features WASM adapter.

Reviewed changes

Copilot reviewed 18 out of 21 changed files in this pull request and generated 3 comments.

Show a summary per file

File	Description
tools/op-test-gen/src/op_list.rs	Adds SaturatingSub operator metadata and formatting support for method-style ops.
tools/op-test-gen/src/op_gen_scenario.rs	Generates a new saturating-sub scenario JSON.
tools/op-test-gen/src/op_gen_lib.rs	Emits generated endpoints for saturating-sub methods/assign methods.
tools/op-test-gen/src/op_gen_endpoints.rs	Generates method-call bodies for saturating-sub and adds endpoint combinations for BigUint.
framework/scenario/tests/big_uint_test.rs	Adds unit tests for BigUint saturating sub + assign.
framework/base/src/types/managed/wrapped/traits/saturating_sub.rs	New public trait definition for saturating subtraction returning a new value.
framework/base/src/types/managed/wrapped/traits/saturating_sub_assign.rs	New public trait definition for in-place saturating subtraction.
framework/base/src/types/managed/wrapped/traits.rs	Registers new traits and adjusts trait module structure/exports.
framework/base/src/types/managed/wrapped/num/big_uint_operators.rs	Implements saturating sub/sub-assign for BigUint via API calls.
framework/base/src/types/managed/wrapped.rs	Re-exports wrapped traits from the managed types module.
framework/base/src/api/managed_types/big_int_api.rs	Adds bi_sub_unsigned_saturated default implementation.
contracts/feature-tests/basic-features/wasm-basic-features/src/lib.rs	Updates exported endpoint list/counts to include saturating-sub endpoints.
contracts/feature-tests/basic-features/tests/basic_features_scenario_rs_test.rs	Adds (ignored) fast-test entry for saturating-sub scenario; also marks cmp as ignored here.
contracts/feature-tests/basic-features/tests/basic_features_scenario_rs_slow_test.rs	Adds slow-test entries for cmp + saturating-sub scenarios.
contracts/feature-tests/basic-features/tests/basic_features_scenario_go_test.rs	Adds Go-vm scenario test for saturating-sub.
contracts/feature-tests/basic-features/src/big_num_operators.rs	Adds generated endpoints exercising saturating sub/sub-assign variants.
contracts/feature-tests/basic-features/scenarios/big_num_ops_shift.scen.json	Regenerated scenario JSON (field name changes for query IDs).
contracts/feature-tests/basic-features/scenarios/big_num_ops_saturating_sub.scen.json	New generated scenario JSON covering saturating subtraction.
contracts/feature-tests/basic-features/scenarios/big_num_ops_cmp.scen.json	Regenerated scenario JSON (field name changes for query IDs).

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.