One-for-one coupling analysis.
Detects cross-branch coupling under one_for_one supervisors: when one child calls another's API, a crash of the callee won't restart the caller, leaving it with a stale reference. Pairs linked to each other (directly or through the supervisor hierarchy) are excluded — the exit propagates and both restart together, so the stale-reference hazard is already mitigated.
Requires the supervision and OTP domain extractors for layer 2 facts about supervisor children and inter-process communication.
Output relations
one_for_one_coupling(sup, caller_mod, callee_mod, sup_site, witness, site, kind)— cross-branch coupling under one_for_one;siteis the coupling call instruction when known, else the witness function;kindiscallorcast.
Finding severities
:warning: restart isolation hazards surface as stale references and
failed calls during crash windows, not as immediate failures.