The above architecture allows us to annotate code with resource consumption annotations and to compile this to proof-carrying object code. These object code files would be used in code-on-demand or remote evaluation contexts. This final task exposes resource consumption certificates at the Grid services level so that remote users can evaluate the effectiveness of a remote evaluation service in advance of shipping their code or data.