The compiler and runtime for financial intent

Define intent once, enforce it on every authorization, and keep the proof of why value moved or did not.