Аудитор: Человеко-Ориентированный Трекер Эволюции Библиотек

Java принято называть языком программирования, но по сути это целая программная система, включающая три уровня: формальную верификацию модели через теорию типов, среду выполнения с динамическим линковщиком JVM и ментальную модель, которую разработчик выстраивает вокруг библиотек. Когда автор меняет сигнатуру метода, страдает не только байт-код — рушится контракт и привычное представление о стабильности API. Существующие инструменты проверяют бинарную и исходную совместимость, но их ответ сводится к вопросу «упадёт или не упадёт».