Defective escrow
tx.origin == buyer
Same intermediary call. Values in test ETH.
Evidence pipeline
The linked report includes reviewed license enrichment: 77 gaps resolved, 0 missing licenses. Existing vulnerability findings remain. This dated report is separate from later local scans. Enrichment audit
Fixed escrow
msg.sender == buyer
Immediate caller checked. Values in test ETH.
Buyer signs→Untrusted intermediary→Escrow→Configured supplier
Selected stage
Select a stage.
Source provenance
Evidence has not loaded.
Interpretation boundary
Recorded playback is not live execution. EVM checks concern the local fixture; Wolfram and Lean concern an abstract model; Olympix may be blocked; SBOMator inventories dependencies and known CVEs, not Solidity correctness. No result here is a global “all secure” claim.
Fetching evidence/replay.json…