// We first start with nothing "in the mempool", using package checks

// Trivial single transaction with no dust

// Now with dust, ok because the tx has no dusty parents

// Dust checks pass

auto dust_non_spend = make_tx({COutPoint{dust_txid, dust_index - 1}}, /*version=*/2);

// Child spending non-dust only from parent should be disallowed even if dust otherwise spent

auto grandparent_tx_2 = make_ephemeral_tx(random_outpoints(1), /*version=*/2);

const auto dust_txid_2 = grandparent_tx_2->GetHash();

// Spend dust from one but not another is ok, as long as second grandparent has no child

auto dust_non_spend_both_parents = make_tx({COutPoint{dust_txid, dust_index}, COutPoint{dust_txid_2, dust_index - 1}}, /*version=*/2);

// But if we spend from the parent, it must spend dust

auto dust_spend_both_parents = make_tx({COutPoint{dust_txid, dust_index}, COutPoint{dust_txid_2, dust_index}}, /*version=*/2);

// Spending other outputs is also correct, as long as the dusty one is spent

const std::vector<COutPoint> all_outpoints{COutPoint(dust_txid, 0), COutPoint(dust_txid, 1), COutPoint(dust_txid, 2),

COutPoint(dust_txid_2, 0), COutPoint(dust_txid_2, 1), COutPoint(dust_txid_2, 2)};

auto dust_spend_all_outpoints = make_tx(all_outpoints, /*version=*/2);

// 2 grandparents with dust <- 1 dust-spending parent with dust <- child with no dust

auto parent_with_dust = make_ephemeral_tx({COutPoint{dust_txid, dust_index}, COutPoint{dust_txid_2, dust_index}}, /*version=*/2);

// Ok for parent to have dust

auto child_no_dust = make_tx({COutPoint{parent_with_dust->GetHash(), dust_index}}, /*version=*/2);

// 2 grandparents with dust <- 1 dust-spending parent with dust <- child with dust

auto child_with_dust = make_ephemeral_tx({COutPoint{parent_with_dust->GetHash(), dust_index}}, /*version=*/2);

// Tests with parents in mempool

// Nothing in mempool, this should pass for any transaction

// Add first grandparent to mempool and fetch entry

pool.addUnchecked(entry.FromTx(grandparent_tx_1));

// Ignores ancestors that aren't direct parents

// Valid spend of dust with grandparent in mempool

// Second grandparent in same package

// Order in package doesn't matter

// Add second grandparent to mempool

pool.addUnchecked(entry.FromTx(grandparent_tx_2));

// Only spends single dust out of two direct parents

// Spends both parents' dust

// Now add dusty parent to mempool

pool.addUnchecked(entry.FromTx(parent_with_dust));

// Passes dust checks even with non-parent ancestors

}

BOOST_FIXTURE_TEST_CASE(version3_tests, RegTestingSetup)