I mentioned 'Mandado de Segurança' not to suggest halting Pix, but because, yes, it's the relevant instrument in Brazilian law for forcing public agencies to comply with legal duties — in this case, transparency around public code. Courts would not block Pix itself unless something extreme happened. They might simply compel BCB to release the code if the legal conditions are met.