Self-Repairing Systems via Interface Specification Compliance: A Mathematical Framework with Scalability and Stochastic Extensions