Skip to content

test(drive-abci): add token supply edge-case coverage #3849

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
thephez wants to merge 8 commits into
base: v3.1-dev
Choose a base branch
from
Open

test(drive-abci): add token supply edge-case coverage #3849

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
f5437b9
test(drive-abci): add token supply edge-case coverage
thephez Jun 10, 2026
8c1fedf
test(drive-abci): clarify i64::MAX overflow test as characterization
thephez Jun 10, 2026
f5057a2
Merge branch 'v3.1-dev' into test/token-supply-edge-cases
thephez Jun 10, 2026
6354960
chore: address review comment
thephez Jun 11, 2026
2c653ce
Merge branch 'v3.1-dev' into test/token-supply-edge-cases
thephez Jun 11, 2026
80f5617
Merge branch 'v3.1-dev' into test/token-supply-edge-cases
thephez Jun 15, 2026
416226e
Merge branch 'v3.1-dev' into test/token-supply-edge-cases
thephez Jun 22, 2026
157d003
Merge branch 'v3.1-dev' into test/token-supply-edge-cases
thephez Jun 23, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
267 changes: 267 additions & 0 deletions ...src/execution/validation/state_transition/state_transitions/batch/tests/token/burn/mod.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1049,6 +1049,273 @@ mod token_burn_tests {
assert_eq!(total_supply_after, Some(75000));
}

#[tokio::test]
async fn test_token_burn_below_base_supply_allowed() {
// base_supply is purely the INITIAL mint at contract creation; there is no guard
// anywhere preventing burns from dropping total_supply below base_supply. This is
// allowed by design. This test locks in that invariant: burning
// 60_000 from a base supply of 100_000 leaves a total of 40_000, below base.
let platform_version = PlatformVersion::latest();
let mut platform = TestPlatformBuilder::new()
.with_latest_protocol_version()
.build_with_mock_rpc()
.set_genesis_state();

let mut rng = StdRng::seed_from_u64(49853);
let platform_state = platform.state.load();

let (identity, signer, key) =
setup_identity(&mut platform, rng.gen(), dash_to_credits!(0.5));

let (contract, token_id) = create_token_contract_with_owner_identity(
&mut platform,
identity.id(),
None::<fn(&mut TokenConfiguration)>,
None,
None,
None,
platform_version,
);

let total_supply_before = platform
.drive
.fetch_token_total_supply(token_id.to_buffer(), None, platform_version)
.expect("expected to fetch total supply");
assert_eq!(total_supply_before, Some(100000));

let burn_transition = BatchTransition::new_token_burn_transition(
token_id,
identity.id(),
contract.id(),
0,
60000,
None,
None,
&key,
2,
0,
&signer,
platform_version,
None,
)
.await
.expect("expect to create burn transition");

let serialized = burn_transition
.serialize_to_bytes()
.expect("expected serialized state transition");

let transaction = platform.drive.grove.start_transaction();

let processing_result = platform
.platform
.process_raw_state_transitions(
&[serialized],
&platform_state,
&BlockInfo::default(),
&transaction,
platform_version,
false,
None,
)
.expect("expected to process state transition");

assert_matches!(
processing_result.execution_results().as_slice(),
[StateTransitionExecutionResult::SuccessfulExecution { .. }]
);

platform
.drive
.grove
.commit_transaction(transaction)
.unwrap()
.expect("expected to commit transaction");

// Supply dropped below the original base_supply (100_000) and that is allowed.
let balance = platform
.drive
.fetch_identity_token_balance(
token_id.to_buffer(),
identity.id().to_buffer(),
None,
platform_version,
)
.expect("expected to fetch balance");
assert_eq!(balance, Some(40000));

let total_supply_after = platform
.drive
.fetch_token_total_supply(token_id.to_buffer(), None, platform_version)
.expect("expected to fetch total supply");
assert_eq!(total_supply_after, Some(40000));
}

#[tokio::test]
async fn test_token_burn_entire_supply_then_mint_again() {
// Burning the entire supply to zero must leave the supply entry at Some(0) (not
// absent), so a subsequent mint resumes correctly rather than hitting a
// CorruptedDriveState "total supply not found". Existing depletion coverage only
// checks that a *further burn* fails; this checks that a mint after depletion
// works.
let platform_version = PlatformVersion::latest();
let mut platform = TestPlatformBuilder::new()
.with_latest_protocol_version()
.build_with_mock_rpc()
.set_genesis_state();

let mut rng = StdRng::seed_from_u64(49853);
let platform_state = platform.state.load();

let (identity, signer, key) =
setup_identity(&mut platform, rng.gen(), dash_to_credits!(0.5));

let (contract, token_id) = create_token_contract_with_owner_identity(
&mut platform,
identity.id(),
None::<fn(&mut TokenConfiguration)>,
None,
None,
None,
platform_version,
);

// Burn the entire base supply (100_000) to zero.
let burn_transition = BatchTransition::new_token_burn_transition(
token_id,
identity.id(),
contract.id(),
0,
100000,
None,
None,
&key,
2,
0,
&signer,
platform_version,
None,
)
.await
.expect("expect to create burn transition");

let serialized = burn_transition
.serialize_to_bytes()
.expect("expected serialized state transition");

let transaction = platform.drive.grove.start_transaction();

let processing_result = platform
.platform
.process_raw_state_transitions(
&[serialized],
&platform_state,
&BlockInfo::default(),
&transaction,
platform_version,
false,
None,
)
.expect("expected to process state transition");

assert_matches!(
processing_result.execution_results().as_slice(),
[StateTransitionExecutionResult::SuccessfulExecution { .. }]
);

platform
.drive
.grove
.commit_transaction(transaction)
.unwrap()
.expect("expected to commit transaction");

let balance = platform
.drive
.fetch_identity_token_balance(
token_id.to_buffer(),
identity.id().to_buffer(),
None,
platform_version,
)
.expect("expected to fetch balance");
assert_eq!(balance, Some(0));

let total_supply = platform
.drive
.fetch_token_total_supply(token_id.to_buffer(), None, platform_version)
.expect("expected to fetch total supply");
assert_eq!(total_supply, Some(0));

// Now mint again from the depleted (but present) supply entry.
let mint_transition = BatchTransition::new_token_mint_transition(
token_id,
identity.id(),
contract.id(),
0,
500,
Some(identity.id()),
None,
None,
&key,
3,
0,
&signer,
platform_version,
None,
)
.await
.expect("expect to create mint transition");

let serialized = mint_transition
.serialize_to_bytes()
.expect("expected serialized state transition");

let transaction = platform.drive.grove.start_transaction();

let processing_result = platform
.platform
.process_raw_state_transitions(
&[serialized],
&platform_state,
&BlockInfo::default(),
&transaction,
platform_version,
false,
None,
)
.expect("expected to process state transition");

assert_matches!(
processing_result.execution_results().as_slice(),
[StateTransitionExecutionResult::SuccessfulExecution { .. }]
);

platform
.drive
.grove
.commit_transaction(transaction)
.unwrap()
.expect("expected to commit transaction");

let total_supply = platform
.drive
.fetch_token_total_supply(token_id.to_buffer(), None, platform_version)
.expect("expected to fetch total supply");
assert_eq!(total_supply, Some(500));

let balance = platform
.drive
.fetch_identity_token_balance(
token_id.to_buffer(),
identity.id().to_buffer(),
None,
platform_version,
)
.expect("expected to fetch balance");
assert_eq!(balance, Some(500));
}

#[tokio::test]
async fn test_token_burn_with_public_note_succeeds() {
let platform_version = PlatformVersion::latest();
Expand Down
Loading
Loading