Provable Trust for the AI Era