A reproducible debugging case with command outcomes, source hashes, hypotheses and a precise proof boundary.
.FF
======================================================================
FAIL: test_negative_and_duplicate_values (test_sort_prices.PriceOrdering.test_negative_and_duplicate_values)
----------------------------------------------------------------------
Traceback (most recent call last):
File "<workspace>/test_sort_prices.py", line 10, in test_negative_and_duplicate_values
self.assertEqual(order_prices([2, -4, 10, 2, -12]), [-12, -4, 2, 2, 10])
AssertionError: Lists differ: [-12, -4, 10, 2, 2] != [-12, -4, 2, 2, 10]
First differing element 2:
10
2
- [-12, -4, 10, 2, 2]
+ [-12, -4, 2, 2, 10]
======================================================================
FAIL: test_numeric_order (test_sort_prices.PriceOrdering.test_numeric_order)
----------------------------------------------------------------------
Traceback (most recent call last):
File "<workspace>/test_sort_prices.py", line 7, in test_numeric_order
self.assertEqual(order_prices([20, 3, 100]), [3, 20, 100])
AssertionError: Lists differ: [100, 20, 3] != [3, 20, 100]
First differing element 0:
100
3
- [100, 20, 3]
+ [3, 20, 100]
----------------------------------------------------------------------
Ran 3 tests in 0.000s
FAILED (failures=2)
Full bounded captured logs shown. Review before sharing.
... ---------------------------------------------------------------------- Ran 3 tests in 0.000s OK
Full bounded captured logs shown. Review before sharing.
The observed reproduction passes after a source change only when all evidence comparisons pass. Other behavior stays unverified.