So, I figured out using your signature profiles thing that I'd typo'd on the matrix proof. Ideally one invalid proof shouldn't take out the entire profile.

Great you got it working again! Normally, individual invalid claims do not block the execution of other claims. Could you provide an example of the typo you made?