01 / Публічно
Призначення, межі висновків, вигаданий приклад і зразки огляду. Вихідні коди дослідницьких програм не публікуються.
← До доказовості
ВІДКРИТИЙ МЕТОД / ВИЗНАЧЕНІ МЕЖІ
Побачити метод. Оцінити результат.
Окремий навчальний компонент показує спосіб перевірки. Зразки огляду пояснюють, що отримує замовник. Внутрішні реалізації дослідницьких програм до цих матеріалів не входять.
ВІЗУАЛЬНИЙ КОНТЕКСТЛокальні обчислення
01 / DA-MODEL-002
Квитанція ≠ зовнішній ефект.
DA-MODEL-002 — вигаданий стенд зі світловим індикатором. Команда прийнята програмою; чи ввімкнулося світло — окреме питання до зовнішнього спостереження.
- 01
Команда
Запит на ввімкнення індикатора.
- 02
Програмна квитанція
Програма прийняла запит. Стан індикатора ще не встановлено.
- 03
Зовнішнє спостереження
Свіже повідомлення довіреного спостерігача, пов’язане з цією командою.
Підтвердження можливе лише для поточної команди й свіжого довіреного спостереження. Чужі, прострочені та підроблені повідомлення відхиляються; повтор не поновлює свіжість.
Перевірений результат скінченного прикладу
- досяжних станів
- 106
- переходів перевірено
- 1378
- послідовностей по 100 подій
- 1000
- помилкові варіанти виявлено
- 4
PASS · Python 3.12.14 ·
Контрприклади до навмисних помилок
receipt_is_effect
request_1 → receiptwrong_ticket
request_1 → wrong_ticketstale
request_1 → staleforged
request_1 → forgedПовторити локально
Python 3.10+ · без зовнішніх залежностей
python verify.py --report verification.local.jsonSHA-256 / ZIP
1ba4989109c73bfb1f16bc0787153e13d4e222a055917b2131b5fc612bae2bff02 / Зразки огляду
Що саме отримує замовник.
Два узгоджені документи на тому самому вигаданому стенді. Ідентифікатори пов’язують межу довіри, прогалину, потрібний доказ і критерій закриття.
Карта меж довіри
| Межа | Що перетинає межу | Довірена підстава / обмеження |
|---|---|---|
| TB-01 · Клієнт → приймач | Команда та її ідентифікатор. | Квитанція підтверджує приймання; вона не є свідченням стану індикатора. |
| TB-02 · Приймач → середовище | Намір змінити зовнішній стан. | Виконання й спостереження розділені; ефект може статися без підтвердження. |
| TB-03 · Спостерігач → оцінка | Пов’язане з командою спостереження. | Справжність джерела та коректність вимірювання тут припускаються. Для реальної системи потрібні окремі докази. |
| TB-04 · Оцінка → інтерфейс | Статус і момент спостереження. | Показувати «спостережено», час і межі; не перетворювати минулий факт на гарантію поточного стану. |
Реєстр прогалин
| Прогалина | Наслідок і потрібний доказ | Критерій закриття |
|---|---|---|
| G-01 / TB-03 · Висока | Автентичність спостерігача лише припущена. Потрібні модель довіри, правила ключів і негативні перевірки. | Визначене джерело; чужі, відкликані та підроблені повідомлення не приймаються. |
| G-02 / TB-03 · Висока | Абстрактна свіжість не є виміряним часом. Потрібні межі затримки, похибки годинника й поведінка при її перевищенні. | Прострочення та розбіжність часу не дають статусу свіжого підтвердження. |
| G-03 / TB-02 · Середня | Поведінка після збою й повторне використання ідентифікаторів не змодельовані. Потрібні сценарії перезапуску та журналювання. | Після перезапуску старе підтвердження не прив’язується до нової команди. |
| G-04 / TB-04 · Середня | Користувач може сприйняти спостереження як поточну істину. Потрібен зразок інтерфейсу та перевірка зрозумілості статусів. | Інтерфейс відрізняє прийнято, спостережено, прострочено й невідомо. |
Усі прогалини відкриті для переходу від моделі до реального стенда. Це демонстрація форми результату, а не огляд системи замовника.
03 / Рівні доступу
Спочатку обсяг. Потім доступ.
Публічна сторінка не відкриває закриті матеріали. Передача кожного пакета потребує окремо погодженого предмета, отримувача й умов.
02 / Огляд за NDA
Після погодження — зафіксований вивід перевірки, ідентифікатор версії та вибрані редаговані матеріали. Персональна копія з унікальною міткою видачі; без повного коду.
03 / Контрольований перегляд
Погоджений перелік матеріалів, іменний доступ лише для читання, строк доступу й журнал видачі. Канал та отримувача підтверджують до відкриття.
- Описати мету оцінювання та потрібний результат.
- Погодити NDA, версію матеріалів і дозволений обсяг.
- Підтвердити отримувача, строк та канал перегляду.
- Видати позначену копію й записати її хеш, обсяг і строк у журнал.
Мітка видачі допомагає відрізняти копії; вона не запобігає знімкам екрана або переписуванню. NDA саме по собі не є технічним контролем доступу. Сайт не має автоматичного сховища закритих програм.
Запитати технічний огляд ↗Прямий зв’язок з автором
1westwestwest@gmail.com04 / Цілісність і походження
Цілісність і походження
Перевірювані хеші та підписи доступних публічних матеріалів. Підпис засвідчує володіння ключем; окрема зовнішня перевірка особи й незалежна часова позначка не заявляються.
minisign -Vm public-evidence-index.json -p release-key.pubЗавантажте також public-evidence-index.json.minisig у ту саму папку. Зафіксуйте відбиток публічного ключа окремо: файли та ключ з одного сайту самі по собі не створюють незалежної довіри.
SHA-256 / публічний ключ
df5ad41bb5583bfe18ce84336e5122a5f24fd8c667868e99b7702c393882fa84Підписи охоплюють публічний приклад, зразки огляду та історичний пакет форми. Хеші приватних специфікацій і коду шести програм не заявляються без окремо визначених знімків. Час у підписі — час виконавця, а не незалежна часова позначка.