"We've been building in this direction too — deterministic compiler layer that certifies agent outputs before execution. The probabilistic alignment problem is exactly why we started. Curious how your constraint matrix handles multi-step pipelines where intermediate outputs need certification."