Definition: Graph bridge certificate

A graph bridge certificate consists of:

1. an explicit identification of the prepared-source object with the frozen graph input package;

2. a presentation-level construction on characteristic tests, together with global reconstruction descent;

3. a resulting full joint map agreeing with canonical composition on its proved domain and retaining the complete frozen contraction;

4. the required section and controlled remainder;

5. uniform estimates in the transverse variables required by the graph interface;

6. contact compatibility and the complete output wavefront bound;

7. the independently required proof of membership and normalization in the stated quantum output space.