traceVerify(receipt) accepts an engine-issued NikaReceipt object only. It does not
accept a path and does not reconstruct or verify the chain in TypeScript.
The engine reads the existing journal and its evidence. Verification does
not seal a trace, and an admitted job does not guarantee a journal exists.
Receipts
Store proof beside application state.
Testing guide
Learn goldens and mock-provider workflows.