A researcher explores compositional theory for self-stabilizing systems by adapting parametric assume-guarantee contracts from control theory. Using a retry storm model, they reframe conditional contracts into parameterized families covering all system states, moving beyond layered approaches while acknowledging limitations in expressing memory-dependent components like queues.