How do I slash a restaker whose off-chain output is wrong but unprovable on-chain?

EigenLayer activated slashing in April 2025 with roughly $15 billion restaked across 40 AVSs. As of mid-2026, zero slashing events have been recorded. Most AVS tasks, including oracle feeds, off-chain compute, and AI inference, produce outputs that an on-chain verifier cannot falsify without re-executing the same workload at equivalent cost. The fallback mechanism is EIGEN token-weighted social slashing, which requires a supermajority vote and is gameable by any operator with sufficient stake concentration. Additionally, operators must actively opt into each AVS's slashing terms rather than inheriting them automatically, so the security model accumulates coverage incrementally and unevenly across the network.