{"claimCount":3,"refutedCount":1,"results":[{"kind":"literal-result","package":"Demo/Pricing","binding":"quote","status":"supported","evidence":"every value the result can take originates in literals"},{"kind":"no-detached-read","package":"Demo/Report","status":"supported","evidence":"zero detached reads in Demo/Report — 1 read site(s) examined program-wide, every read's value has influence in scope"},{"kind":"dead-field","package":"Demo/Pricing","struct":"Order","field":"qty","status":"refuted","evidence":"the field IS read, by: Demo/Pricing/line_total, Demo/Pricing/order_qty"}]}