SigilX — Executable Proof Systems for Onchain Agents