Proofline - Verification Certificate

24
Modules scanned
3
GREEN
13
YELLOW
8
RED
1
Changes applied
12
Ledger events

Autonomy Map

RiskModuleComplexity CoverageCommitsReason
GREENbrightshop/__init__.py0100.0%2complexity=0<=5, coverage=100.0%>=80.0%, commits=2>=2
YELLOWbrightshop/__main__.py00.0%1complexity=0<=15, commits=1>=1
YELLOWbrightshop/clock.py20.0%1complexity=2<=15, commits=1>=1
GREENbrightshop/config.py0100.0%3complexity=0<=5, coverage=100.0%>=80.0%, commits=3>=2
REDbrightshop/customers.py1633.3%4complexity=16>15; coverage=33.3%<40.0%
REDbrightshop/discounts.py4216.9%9complexity=42>15; coverage=16.9%<40.0%
YELLOWbrightshop/experiments.py30.0%1complexity=3<=15, commits=1>=1
YELLOWbrightshop/fax_gateway.py20.0%1complexity=2<=15, commits=1>=1
YELLOWbrightshop/inventory.py1435.5%3complexity=14<=15, commits=3>=1
REDbrightshop/invoicing.py3620.8%7complexity=36>15; coverage=20.8%<40.0%
YELLOWbrightshop/legacy_utils.py927.4%1complexity=9<=15, commits=1>=1
GREENbrightshop/models.py098.7%3complexity=0<=5, coverage=98.7%>=80.0%, commits=3>=2
YELLOWbrightshop/money.py6100.0%2complexity=6<=15, coverage=100.0%>=40.0%
YELLOWbrightshop/notifications.py100.0%2complexity=10<=15, commits=2>=1
REDbrightshop/pricing.py4310.9%8complexity=43>15; coverage=10.9%<40.0%
REDbrightshop/reporting.py400.0%5complexity=40>15; coverage=0.0%<40.0%
YELLOWbrightshop/returns.py90.0%1complexity=9<=15, commits=1>=1
REDbrightshop/seed.py230.0%3complexity=23>15; coverage=0.0%<40.0%
REDbrightshop/shipping.py1839.0%6complexity=18>15; coverage=39.0%<40.0%
YELLOWbrightshop/store.py070.8%1complexity=0<=15, coverage=70.8%>=40.0%
YELLOWbrightshop/tax.py1563.2%4complexity=15<=15, coverage=63.2%>=40.0%
YELLOWbrightshop/web/__init__.py0100.0%1complexity=0<=15, coverage=100.0%>=40.0%
REDbrightshop/web/app.py160.0%5complexity=16>15; coverage=0.0%<40.0%
YELLOWbrightshop/web/helpers.py30.0%3complexity=3<=15, commits=3>=1

Audit Chain ✓ Chain intact

#TimestampActorActionHash (prefix)
02026-09-26T15:25:27.168725+00:00actionspropose_delete7473c788a66d4be4…
12026-09-26T15:25:27.177614+00:00actionspropose_delete_blockedbf269fe737d39763…
22026-09-26T15:25:27.340805+00:00actionspropose_refactoraf7d00e7b457df18…
32026-09-26T15:25:27.352020+00:00adversaryrun_start4720c976af39e5b4…
42026-09-26T15:25:27.366077+00:00adversarypytest_before26abbda858b54532…
52026-09-26T15:25:28.200890+00:00adversarypytest_before_result540063728ab4dda6…
62026-09-26T15:25:28.214222+00:00adversaryedge_cases_captured648d75497d9b427e…
72026-09-26T15:25:28.224633+00:00adversarypytest_afterfd2ef5c109d30fe2…
82026-09-26T15:25:29.036682+00:00adversarypytest_after_resultf1bdaf1d1e4e1a1e…
92026-09-26T15:25:29.049793+00:00adversaryedge_cases_comparedc855169282947fe0…
102026-09-26T15:25:29.064235+00:00adversaryverdictfb77070dcf787feb…
112026-09-26T15:25:29.342930+00:00actionspropose_refactor_applied77db5d9a12b0cf5d…

Change Certificates

Refactor - clamp in brightshop/money.py ACCEPT

Branchproofline/refactor-clamp-money
CommittedTrue
Tests before / after 27 / 27
Coverage before / after 22.75561097256858 / 22.75561097256858
Edge cases run36

Known risks

No known risks.

Ledger timestamp: 2026-09-26T15:25:29.342930+00:00 · Hash: 77db5d9a12b0cf5d6a7ee0db7798977c…