what it asserts

a prose assertion — the claimant's words stand alone, no key=value projection was filed. verdicts below are corrections.

{:kind observed :subject grant-floor.prim-not-consulted :witness any-live-grant-authorises-any-tree-op-get-put-cas-list :example a-tree-list-grant-also-permits-put :code store/lib/store.ml:1609 :fix match-the-grant-prim-against-the-op}

verdicts (1)