Vouch Bridge checks a report emitted by an external engine that binds declared source, target, route, engine identity, gates, and linked hashes.
Working method
- Run the external engine separately, preserve its source/target bytes, then run
lispex verify-bridgeon the report and supplied artifacts. - The checker validates report shape, byte bindings, declared gates, and proof-link hashes.
- Bridge remains a different artifact class and verifier entrypoint from native differential receipts.
Boundaries
- The checker does not run the external engine, inspect private implementation, or establish semantic equivalence.