"""Deterministic semantic-SFT and public typed-contract compilers."""