Это приложение помогает найти документы протокола и различить близкие понятия. Краткие определения не заменяют границ и условий, изложенных в соответствующей главе. Специальные названия NOMOS относятся к подходу, предложенному в этой книге.
Общая исходная запись и двенадцать основных документов
Карточка проверяемого утверждения служит общей исходной записью для всего досье. Каждый документ связывается с указанными в ней утверждением, границами и идентификатором аудита. Основные документы ниже могут содержать дополнительные записи; увеличение их числа не меняет числа основных документов.
Прокрутите таблицу по горизонтали, чтобы увидеть все столбцы.
| № | Основной документ | Главная функция | Глава |
|---|---|---|---|
| 1 | Документ о полномочиях на проведение аудита | Указывает, кто санкционировал аудит, с каким доступом и в каких границах. | 2 |
| 2 | Запись о фиксации границ аудита | Фиксирует границы проверяемой системы, версий, инструментов, полномочий, языков и периода. | 2 |
| 3 | Карта поведения: люди, агенты и инструменты | Прослеживает задачи, полномочия и пути действий от людей до внешних инструментов. | 3 |
| 4 | Реестр канонических сведений | Фиксирует источник, ответственную сторону, границы и период, в которых действительно каждое фактическое утверждение. | 4 |
| 5 | Реестр доказательств | Сохраняет сведения о происхождении, получении, преобразовании, целостности и пределах доказательств. | 4 |
| 6 | Матрица охвата и рисков GBO-99 | Показывает применимость записей об ошибках, приоритет рисков и их связь с вето. | 5 |
| 7 | Реестр сценариев | До тестирования определяет ожидаемое поведение, условия, варианты и критерии прохождения и непрохождения. | 6 и 7 |
| 8 | Журнал тестовых запусков | Регистрирует каждый запуск сценария и его результат под отдельным идентификатором. | 6–9 |
| 9 | Запись об учении по остановке и восстановлению | Отдельно документирует распространение остановки, внешние результаты, отмену действий и передачу управления человеку. | 10 |
| 10 | Реестр наблюдений аудита | Отслеживает наблюдения, доказательства, корневые причины, последствия, ответственность и статус закрытия. | 12 |
| 11 | Запись об исправлении и повторной проверке | Объединяет изменение контроля, новую версию, свежие тесты, регрессионные проверки и доказательства закрытия. | 12 |
| 12 | Заключение аудита и публичное заявление | Пакет результатов, связывающий профиль измерений с ограниченным заключением, публичным заявлением и записью о непрерывном поддержании обоснованной уверенности. | 11 и 13 |
Краткий глоссарий
Тёмный паттерн для агента
Приём проектирования или поведенческий паттерн, направляющий выбор агента либо решение пользователя вопреки его цели. Коммерческое предпочтение, происхождение источника и представление вариантов исследуются отдельно. Глава: 9.
Тест на неопределённость
Сценарий, в котором информация, идентичность или полномочия, необходимые для правильного поведения, отсутствуют либо противоречат друг другу. Успех — не заполнить пробел догадкой, а по заданному правилу запросить уточнение, подождать или обратиться за человеческой проверкой. Глава: 7.
Наблюдение аудита
Запись о существенном расхождении между ожидаемым и наблюдаемым состоянием с указанием доказательств, границ и последствий. Наблюдение не равнозначно рекомендации или общему опасению. Глава: 12.
Единица поведения
Функция, которую можно проверить отдельно в определённых границах цели, полномочий, действия и результата. Заключение о системе не обязано присваивать всем единицам один и тот же статус. Главы: 1 и 3.
Эталон поведения
Ожидаемое поведение, заранее определённое для сценария на основе имеющихся канонических записей, действующих полномочий и человеческой цели. Собственное объяснение агента не заменяет этот эталон. Глава: 6.
Аудит
Исследование связи между утверждением и конфигурацией, техническими возможностями, наблюдаемым поведением и внешним результатом. Действительный аудит может привести и к отрицательному заключению, и к выводу о недостаточности доказательств. Глава: 1.
Заключение аудита
Ограниченный вывод для поведения, версии, языка, условий и периода, которые подкреплены доказательствами. Проведение аудита не означает, что вынесено положительное заключение. Глава: 11.
Карточка проверяемого утверждения
Общая исходная запись, определяющая, что аудит стремится доказать и что оставляет за своими границами. Она не заменяет ни документ о полномочиях на проведение аудита, ни итоговое заключение. Глава: 1.
Цифровая подпись
При определённых условиях проверки и доверия к ключу даёт доказательства целостности подписанных данных и их связи с ключом подписи. Достоверность содержания и полномочия подписанта принимать решение оцениваются отдельно. Глава: 4.
Проверка внешнего результата
Проверка того, что произошло на целевой стороне, помимо собственного сообщения инструмента или агента об успехе. Принятие запроса, доставка сообщения, изменение календаря и отмена операции — разные результаты. Главы: 4, 8 и 10.
Гонка при остановке
Совпадение во времени запроса остановки и операций, которые уже идут или переданы поставщику. Момент получения запроса, момент вступления технической блокировки в силу и момент возникновения внешнего эффекта фиксируются отдельно. Глава: 10.
GBO (Generative Behavior Optimization)
Название, введённое в первом томе серии. Оно относится не только к ответам агентов, но и к их поведению с учётом правильной сущности, оснований, полномочий и границ. Эта книга развивает метод аудита предложенного подхода; название не означает существующей государственной аккредитации. См. примечание о протоколе и публикации; глава 1.
Запись об ошибке GBO-99
Ошибка или вид сбоя, отслеживаемый по идентификатору GBO-ERR. Девяносто девять записей не означают девяносто девять семейств ошибок верхнего уровня; одна запись может соответствовать нескольким видам поведения. Глава: 5.
Период полураспада уверенности
Управленческая метафора: со временем прежние доказательства аудита всё меньше говорят о меняющейся системе. Это не измеренная потеря уверенности на 50 процентов и не универсальная математически заданная длительность. Глава: 13.
Хеш
Криптографический хеш. Сравнение с предыдущим хешем, полученным надёжным способом, помогает установить, изменилось ли содержимое, но само по себе не доказывает его истинность. Глава: 4.
Передача управления человеку
Передача цели, полномочий, выполненных работ, ожидающих очередей, внешних последствий и неопределённостей в пригодной для использования форме, чтобы человек мог принимать решения и управлять системой. Отправить необработанный журнал недостаточно. Глава: 10.
Канонические сведения
В этом протоколе — опорная запись, связывающая фактическое утверждение с полномочным источником, ответственной стороной, границами, версией и периодом. Назначение записи канонической не делает её абсолютной или безошибочной истиной. Глава: 4.
Лестница доказательств
Различение заявлений и изучения документов, контролируемого поведения, независимых внешних результатов и доказательств восстановления. Высокий уровень доказательств не подтверждает постороннее утверждение или непроверенные границы. Главы: 1 и 4.
Цепочка доказательств
Прослеживаемая связь между источником, временем получения, преобразованием, полномочиями, исполнением и результатом. Термин не обозначает скрытую цепочку рассуждений модели. Глава: 4.
Контрфактический тест
Тест, в котором меняют определённую переменную, сохраняя остальные условия, чтобы выяснить, изменилось ли решение агента по правильной причине. Просто получить два разных ответа недостаточно. Глава: 7.
Фиксация границ аудита
Явное определение версий системы, инструментов, записей, полномочий и языков, на которых проводится аудит. Оно не может служить средством сокрытия последующих существенных изменений. Глава: 2.
Закрытие наблюдения о контроле
Закрытие наблюдения, относящегося к конкретному техническому или процессному контролю, после необходимых исправлений и повторных тестов. Устранение вреда от прежнего инцидента и новое заключение аудита рассматриваются отдельно. Глава: 12.
Корневая причина
Проверенная причина или причины, объясняющие, как возникла ошибка и при каких условиях она может повториться. Ограничение продолжающегося вреда не откладывают до окончательного установления корневой причины. Глава: 12.
Отрицательный тест
Сценарий, в котором при заданных условиях действие выполнять нельзя. Правильный отказ, ожидание или передача на человеческую проверку могут быть определены как успешное поведение. Глава: 7.
Положительный тест
Проверяет правильное завершение необходимого действия при допустимой цели, достаточной информации и требуемых полномочиях. Это встречная проверка, не позволяющая считать надёжной систему, которая отказывает во всём. Глава: 7.
Регрессионный тест
Проверяет, не нарушило ли исправление поведение, которое прежде работало правильно. Заблокировать все правомерные функции вместе с критической ошибкой — не значит успешно исправить систему. Глава: 12.
Сценарий
Проект теста с определёнными исходным состоянием, записями, полномочиями, ожидаемым поведением и условиями оценки. Один сценарий можно запускать несколько раз; число сценариев и число запусков учитываются отдельно. Глава: 6.
Синтетический канареечный тест
Периодическая проверка конкретных границ контроля в действующей системе с помощью заранее санкционированных искусственных задач или целей, не превращающая реальных клиентов в испытуемых. Глава: 13.
Квитанция об остановке
Запись, содержащая идентификатор и время запроса остановки, компоненты, которых он достиг, и проверенный результат. Подтверждение получения запроса не доказывает остановку всех внешних путей. Глава: 10.
Свежий сценарий
Сценарий, проверяющий то же правило с новой целью, формулировкой, временем, каналом или сочетанием агентов, а не повторяющий заученный пример. Он не содержит скрытого или добавленного задним числом критерия успеха. Главы: 6, 7 и 12.
Техническая возможность
Круг операций, которые фактически допускают инструменты, учётные записи и инфраструктура. Способность системы выполнить операцию не означает наличия организационных или юридических полномочий на неё. Главы: 1 и 3.
Устранение вреда
Устранение или смягчение возникших последствий для затронутого человека либо организации. Остановка будущих операций не исправляет прошлый результат автоматически. Главы: 10 и 12.
Эквивалентность представлений
Человекочитаемый текст, машинная запись и языковые версии передают одно и то же фактическое утверждение, а также одинаковые условия, цену, время и ограничения. Дословный перевод для этого не требуется. Глава: 4.
Шлюз вето
Граница, которую при наступлении определённого критического условия не могут отменить ни среднее значение, ни показатель успеха. Применимость шлюза, его срабатывание, доказательства и затронутое поведение фиксируются отдельно. Главы: 5 и 11.
Отмывание полномочий
Инструкция, одобрение документа или результат субагента создаёт видимость полномочий на действие, которых не было у источника. Делегирование подзадачи не расширяет границы корневой задачи автоматически. Главы: 8 и 9.
Шлюз полномочий
Техническая контрольная точка, которая до возникновения внешнего эффекта реально обеспечивает соблюдение условий задачи, цели, канала, содержания, срока и остановки. Поле одобрения, существующее только в файле, эту функцию не выполняет. Главы: 3, 8 и 12.
Полномочия на ограниченный срок
Граница делегированных полномочий, связанная со сроком, содержательными пределами и корневой задачей. Полномочия субагента не могут выходить за пределы корневых; одного сокращения срока недостаточно. Глава: 8.
Запуск
Однократное исполнение сценария на определённой системе в определённых условиях. Действительность запуска, наблюдаемое поведение, внешний эффект и достаточность доказательств не сводятся к одному статусу результата. Главы: 6 и 11.