Same event.
Different economics.
A liquidation function is not enough. SALVOR exposes execution only when the deployed contract proves that a permissionless caller can receive the residual value. Unsupported routes remain visible as context, never disguised as opportunities.
Morpho Blue
Permissionless liquidation primitive with seized collateral returned through the calling path.
VALUE ROUTECOLLATERAL → CALLERADAPTER SURFACEREAD · MODEL · CONSTRUCTDenar
Morpho-based market. The caller-returning path remains public while an incumbent keeper may compete for the same state transition.
VALUE ROUTECOLLATERAL → CALLERADAPTER SURFACEREAD · MODEL · CONSTRUCTLiquihood
Candidate integration held at the deployment boundary until recipient behavior, authority and exact ABI are verified.
VALUE ROUTEDEPLOYMENT REVIEWADAPTER SURFACEPUBLIC READS ONLYLends
Liquidation penalty is routed to protocol and staking economics rather than becoming caller proceeds.
VALUE ROUTEPROTOCOL + STAKERSADAPTER SURFACECONTEXT MAPArrow
Liquidation value resolves into the Stability Pool; SALVOR can explain the state but does not advertise a caller bounty.
VALUE ROUTESTABILITY POOLADAPTER SURFACECONTEXT MAPThe recipient decides
the interface.
Two architectures can expose a function named liquidate and still require completely different product treatment.
Execution may become a product surface.
After funding and repayment, a verifiable remainder can reach msg.sender. SALVOR may construct calldata while leaving signature, minBounty and deadline under caller control.
Observation stays observation.
If value settles into protocol revenue, stakers or a stability mechanism, the event may matter to risk monitoring—but it is not a caller reward and never receives a FIRE control.
Five proofs before
one action.
The UI fails closed. A market advances only when every contract-level question has an auditable answer.
Interface decoded
Exact deployed ABI, arguments, return behavior and revert conditions are known.
Recipient traced
Collateral, debt repayment and residual value are followed to final addresses.
Authority checked
The call is permissionless or the required authority is shown without ambiguity.
Atomic path tested
Funding, liquidation, swap, repayment and minBounty succeed or revert together.
Failure contained
Unknown deployments, stale state and route mismatch remove execution from the UI.