feat(status): on-behalf v→V/d→D assertion and Vendor-implies-V invariant - #3102

feat(status): on-behalf v→V/d→D assertion and Vendor-implies-V invariant#3102

ahouseholder merged 5 commits into

mainCERTCC/Vultron:mainfrom

task/3057-on-behalf-rm-state-assertionCERTCC/Vultron:task/3057-on-behalf-rm-state-assertionCopy head branch name to clipboard