PROOF9 evidence report

Repositoryshop
Commit184158309cf2a791689474fc43ec235d27702794
Toolcodeframe-ai 0.9.7
Generated2026-10-16T18:08:06+00:00
Requirements4
Runs4

Each requirement is a defect or behaviour that was captured and is enforced by named tests. Evidence is re-verified against its checksum, bound to the run and gate that produced it, when this report is made. A run that verified nothing is marked VACUOUS.

Requirements

REQ-0004: test_total_includes_shipping keeps passing SATISFIED

Sourceratchet
Severitymedium
Scopefiles: shop/cart.py, tests/test_cart.py
Obligationsunit: satisfied
GateResultChecksumRunRecorded
unit PASSED c9ca7493681fec8e675e7882625e9c328b08de55db9ca2b133aec087a7b4ff0886fa627b-a452-4f5e-a503-6204f9e92e2b2026-10-16T18:01:53.835590+00:00
unit PASSED 9b3fff5daaad9a5c7c80ea47d3a01b32cfa243db8006f8a276ead1c36f63c8360292ccc2-5f89-48a3-b8af-78aadc91856a2026-10-16T16:56:20.714050+00:00
unit PASSED 92150e5f65c067c36009f29cf352fe7dfeaef4706e0570d317dca23a2826112be875b103-4073-4876-8883-0ecf77e0c9242026-10-16T16:56:15.666082+00:00
unit PASSED 751436af2c31108e0439c70f9fe03f660708c5a46c1069700403b81de81488daa6994f9e-ee4e-45fa-9d63-83939dff757f2026-10-16T16:48:41.304226+00:00

REQ-0003: test_subtotal_adds_every_line keeps passing SATISFIED

Sourceratchet
Severitymedium
Scopefiles: shop/cart.py, tests/test_cart.py
Obligationsunit: satisfied
GateResultChecksumRunRecorded
unit PASSED bff215e8fded1a820a5896aa751084f2abf66981f6b941a1d13c4fd74387b2f086fa627b-a452-4f5e-a503-6204f9e92e2b2026-10-16T18:01:53.887054+00:00
unit PASSED 9f7b30e7da0c20220269b7f0e457f4e81e0ecc5e60336cbfffabea686c433bf90292ccc2-5f89-48a3-b8af-78aadc91856a2026-10-16T16:56:20.757887+00:00
unit PASSED 32bd4cf877820535827f44a1d97feec95b8641497988009668f115b6beda47b8e875b103-4073-4876-8883-0ecf77e0c9242026-10-16T16:56:15.704171+00:00
unit PASSED 1b1b9d5643370107e1dd343c01fbb7de3d473da01e7b3f01fe20d3dcb204c815a6994f9e-ee4e-45fa-9d63-83939dff757f2026-10-16T16:48:41.342608+00:00

REQ-0002: test_small_orders_pay_shipping keeps passing SATISFIED

Sourceratchet
Severitymedium
Scopefiles: shop/cart.py, tests/test_cart.py
Obligationsunit: satisfied
GateResultChecksumRunRecorded
unit PASSED 53ddfa3fd9b8df442b66b49ad6373d9a4711eb4424cc65988778d4b9dbcbe21b86fa627b-a452-4f5e-a503-6204f9e92e2b2026-10-16T18:01:53.924936+00:00
unit PASSED 013616f0d00f35c501ac6c587d919fd9faa24807b77767c0c55a406728a0caf80292ccc2-5f89-48a3-b8af-78aadc91856a2026-10-16T16:56:20.803271+00:00
unit PASSED 1e7dd07da4094e5863453f02f925fd1caf24afc054704526a4bee45a487393bbe875b103-4073-4876-8883-0ecf77e0c9242026-10-16T16:56:15.742597+00:00
unit PASSED c821e40f594906d0befeb2a20d3343b554aa7d520e7604c02cfc2108e69eccd3a6994f9e-ee4e-45fa-9d63-83939dff757f2026-10-16T16:48:41.388270+00:00

REQ-0001: test_orders_over_50_ship_free keeps passing SATISFIED

Sourceratchet
Severitymedium
Scopefiles: shop/cart.py, tests/test_cart.py
Obligationsunit: satisfied
GateResultChecksumRunRecorded
unit PASSED 90f5bdea778be7003e15f5544c066f109c49986189096152eb70e9e6ace9f68786fa627b-a452-4f5e-a503-6204f9e92e2b2026-10-16T18:01:53.960026+00:00
unit PASSED 6aba41d335500774090f6dbc9d286e39e8eac5d46dc472a429c2e7f9c498ffaf0292ccc2-5f89-48a3-b8af-78aadc91856a2026-10-16T16:56:20.840929+00:00
unit PASSED b383398fd9a6457269bd810499eab0503237f0bf2e8157f384c8ac8f999b6a4fe875b103-4073-4876-8883-0ecf77e0c9242026-10-16T16:56:15.778011+00:00
unit PASSED 56ef5af0d69d20718e17908088d4bf7f4b443ed9d7d83f6f0721eedcaf57183ba6994f9e-ee4e-45fa-9d63-83939dff757f2026-10-16T16:48:41.425639+00:00

Run history

StartedResultDurationRun
2026-10-16T18:01:53.536427+00:00 PASSED 458 ms86fa627b-a452-4f5e-a503-6204f9e92e2b
2026-10-16T16:56:20.415335+00:00 PASSED 463 ms0292ccc2-5f89-48a3-b8af-78aadc91856a
2026-10-16T16:56:15.372908+00:00 PASSED 441 mse875b103-4073-4876-8883-0ecf77e0c924
2026-10-16T16:48:40.995207+00:00 PASSED 466 msa6994f9e-ee4e-45fa-9d63-83939dff757f

Merge overrides

No merge overrides recorded.