modules/accordare-stav-producer) — це незалежно встановлюваний продюсер крижаного шляху на Go для обмеженого контуру аудиту SAV Named Version. Він забезпечує стійкість намірів до зміни та відновлення дописування, автентифікує своїх локальних партнерів і подає лише точного безпечного кандидата, допущеного його закритим словником. Він сам не є органом дописування STAV.
Шаблон «намір, результат, відновлення»
Продюсер дотримується тристадійного шаблону для кожної аудитованої зміни:1
Намір до зміни
Стійко записати заявлений намір викликача до того, як будь-яка зміна стане спостережуваною. Продюсер відхиляє кандидатів поза своїм закритим словником.
2
Кінцевий результат
Після завершення або збою зміни зафіксувати точний результат, щоб аудит відображав реальність, а не бажаний стан.
3
Обмежене відновлення
У разі переривання продюсер виконує обмежене відновлення потоку дописування, не вигадуючи узгодження і не відкидаючи непомітно намір.
Межі
- Словник продюсера закритий. Він приймає лише кандидатів аудиту SAV Named Version.
- Продюсер працює на крижаному шляху. Він не повинен ставати залежністю гарячого шляху.
- Продюсер автентифікує локальних партнерів; він не автентифікує віддалених викликачів.
Пов’язані поверхні
STAV
Орган дописування, що запечатує записи аудиту.
SSIAG
Авторизує зміну, яку аудитує продюсер.
SAV
Семантика композиції Named Version, яку аудитує цей контур.
Команди векторів qxctl
Ратифікована граматика Accordare з’явиться як
qxctl accord ... після реалізації.