Что означает «верность» ключевых слов доступа?

Вздох.

Просто слишком много документации, и у команды разработчиков недостаточно времени, чтобы проверить ее на точность в жаргоне. Этот обзор представляет собой беспорядок небольших ошибок и сбивающих с толку нестандартных жаргонных терминов.

Рассматриваемый абзац:

Type safety is also used to help enforce encapsulation by guaranteeing the fidelity of the accessor keywords. Accessor keywords are artifacts which control access to members of a given type by other code. These are usually used for various kinds of data within a type that are used to manage its behavior.

Фу. Здесь так много неправильного. «ключевое слово доступа» должно быть «уровнем доступности». «Другой код» сбивает с толку; «другой код» означает код, который точно разное, чем какие? Модификаторы доступности управляют доступом к членам где угодно, а не только в «другом коде». Почему мы говорим о члены, а потом вдруг переключаемся на данные? Что означает «управлять поведением»?

Давайте перефразируем, используя стандартный жаргон C#.

Static type checking helps enforce encapsulation by ensuring that a program respects the accessibility levels declared by a member of a type. For example, if type Dog has a private member mother, then static type checking helps ensure that attempts to access that member from code outside the Dog class will be prevented.

Исправление всех остальных сумасшедших ошибок в этом документе оставлено читателю в качестве упражнения. Например, что не так с этим примером кода?

Dog dog = AnimalShelter.AdoptDog(); // Returns a Dog type.
Pet pet = (Pet)dog; // Dog derives from Pet.
pet.ActCute();
Car car = (Car)dog; // Will throw - no relationship between Car and Dog.
object temp = (object)dog; // Legal - a Dog is an object.