Skip to content

evidence(OMN-19997): bind each criterion to the test that decides it, retire the merge-state bindings - #11828

Merged
jake-b-omni merged 2 commits into
devfrom
jake/omn-19997-bind-ac-to-behaviour-proof
Sep 29, 2026
Merged

jake-b-omni merged 2 commits into
devfrom
jake/omn-19997-bind-ac-to-behaviour-proof

evidence(OMN-18921): mint the owed OCC self-bind for PR #11828

522b68b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar