The Algerian Football Association (FA) faces a $2.7 million exit liability. That figure is my baseline estimate for the remaining value of coach Vladimir Petković’s contract, assuming a mid-range salary and a three-year term. The FA wants to fire him. The contract says no—not without "just cause." This is not a sports story. It is a study in contractual consensus failure, a bug in the governance layer that mirrors every DeFi exploit I’ve ever dissected.
Context
The FA hired Petković in 2024 on a fixed-term contract. Performance targets are vague, termination clauses opaque. Now, after a disappointing Africa Cup of Nations exit, the FA’s leadership wants a change. But the contract lacks a clean exit function. The legal analysis published by a compliance expert scores the FA’s position at 5.65 out of 10—a "general risk exposure" grade. That score comes from an eight-dimension audit, but I will strip it down to the four variables that matter: (1) probability of unilateral breach, (2) severity of penalty, (3) enforceability of arbitration, and (4) liquidity of the FA’s treasury.
Core: The Smart Contract Audit
Every fixed-term employment contract is a smart contract. The state machine is deterministic: pay salary, receive coaching services. Termination is a conditional jump. The FA wants to call terminate() without providing a valid boolean flag for justCause. That is a logic gap.
Let me define the pseudo-code:
