Build a formal logic constraint layer that encodes Kantian-style moral axioms into the system prompt or reward model of an AI agent. This makes agent decision-making verifiable against ethical rules.