This is an earlier edition of the documentation. To check an external engine's report against your chosen files and execution settings, open the current Vouch Bridge guide.
Vouch Bridge gives an external engine a public evidence format. The engine emits
vouch.bridge-report/v0 with exact source and target identities, engine
identity, its declared route and gates, and linked evidence hashes.
lispex verify-bridge \
--source source.lspx \
--target translated.output \
bridge-report.json--linked <artifact-id>=<artifact-file> binds a named evidence artifact.
--expect-context <manifest.json> selects the expected profile, subject, and
route. A successful command returns vouch.bridge-verify-report/v0 with the
validated structure and receiver-selected byte bindings.
The external engine owns conversion correctness and its gates. The recipient owns the accepted engine, route, and evidence policy. Lispex owns the report schema and verification of the supplied bindings.
The current guide includes the complete field list, exit codes, and artifact roles.