Faying Protocol/1.0 — Приложение B Бюджеты параметров по умолчанию
Навигация по тексту протокола: Оглавление | предыдущая Приложение A Выравнивание терминологии | следующая Приложение C Журнал изменений
Приложение B Бюджеты параметров по умолчанию
Это приложение даёт бюджеты параметров по умолчанию и верхние границы Faying Protocol 1.0; конкретные значения могут настраиваться реализациями, но значение реализации любого параметра не должно превышать столбец «Верхняя граница»; жёсткое ограничение монотонного ужесточения по уровню (см. P17.3 LivenessDetectionBudget / P8 свежесть присутствия) должно поддерживаться.
B.1 Глобальные бюджеты
| Параметр | По умолчанию | Верхняя граница | Правило ужесточения по уровню | Источник |
|---|---|---|---|---|
MaxMandateLifetime | 24 ч | 30 д | Должен быть короче для высокочувствительных сценариев (определяется реализацией) | §1.3 G2 / §4.1 / P7 |
BootstrapTimeout | 60 с | 5 мин | — | §5.3.1 / §5.3.6 / §8.2 |
RevocationVisibilityBudget | 1 с | 5 с | Ужесточается по уровню (выше автономность → короче бюджет) | §3.4 I-RR-1 / §9.6 / P5 |
StaleBudget (порог отклонения при недостижимости RR) | 5 с | 30 с | — | §3.4 / §EH.1 / §EH.4 |
HumanReachabilityBudget | 30 мин | 24 ч | — | §EH производное / глава 11 концепции |
MaxDegradedDuration | 5 мин (на уровень) | 30 мин | Ужесточается по уровню (выше автономность → короче пребывание) | §4.3 / §8.2 / P11 |
B.2 Presence max-staleness (по уровню)
| Уровень | По умолчанию | Верхняя граница | Примечание |
|---|---|---|---|
| G1 Strict | 5 с | 10 с | Уровень по умолчанию для высокочувствительных действий |
| G2 Moderate | 60 с | 5 мин | — |
| G3 Loose | 5 мин | 30 мин | — |
| G4 Autonomous | 30 мин | 2 ч | Потеря heartbeat G4 напрямую → Suspended (§7.3) |
Источник: §7.1 / P8 свежесть присутствия.
B.3 LivenessDetectionBudget (верхняя граница окна выявления обрыва связи)
Ужесточается синхронно с Presence max-staleness; жёсткое ограничение P17.3:
max_staleness_ms ≤ LivenessDetectionBudget(grade)∧ монотонно ужесточается по уровню (строже уровень → короче окно выявления).
| Уровень | По умолчанию | Верхняя граница | Примечание |
|---|---|---|---|
| G1 Strict | 5 с | 10 с | Ужесточается синхронно с max-staleness G1 |
| G2 Moderate | 60 с | 5 мин | — |
| G3 Loose | 5 мин | 30 мин | — |
| G4 Autonomous | 30 мин | 2 ч | Потеря heartbeat G4 напрямую → Suspended (§7.3) |
Источник: §9.9 / P17.3 / Requirement 12.3.
B.4 AttentionDriftThreshold (порог простоя представления HP)
Непрерывная неактивность канала представления HP, превышающая этот порог, рассматривается как «потеря внимания»; высокочувствительные действия запрещены в этот период (см. §9.10.5 T4, P18.4).
| Уровень | По умолчанию | Верхняя граница | Примечание |
|---|---|---|---|
| G1 Strict | 30 с | 2 мин | Высокочувствительные действия должны попадать на ≤ G1 автономность |
| G2 Moderate | 5 мин | 15 мин | — |
| G3 Loose | 15 мин | 1 ч | — |
| G4 Autonomous | 1 ч | 4 ч | — |
Источник: §9.10.5 / P18.4 / Requirement 13.4.
B.5 ConfirmationRateLimit (верхняя граница частоты подтверждений)
Превышение лимита запускает автопонижение / приостановку; события корзины critical должны проникать и не отбрасываться тихо; частота FAYING_REQUEST включена в тот же бюджет (согласовано с Открытыми вопросами Q12).
| Параметр | По умолчанию | Верхняя граница | Примечание |
|---|---|---|---|
ConfirmationRateLimit (на пару HP × IF) | 10 / мин | 60 / мин | Включает FAYING_REQUEST, GRADE_SWITCH-up, предподтверждение высокой чувствительности DISCLOSURE и все события, требующие явного подтверждения HP |
Источник: §9.10.7 / P18.6 / Requirement 13.6.
B.6 Мягкая верхняя граница Endorsed_Lifetime
В паре с P16.3 (Endorsement_Convergence) / P16.4 (Endorsed_Lifetime_Hard_Stop); не должна превышать
Mandate.not_after − Mandate.not_before; по истечении Mandate отзывается (Revoked), даже если IF всё ещё физически отключена (жёсткое ограничение мягкого тайм-аута).
| Параметр | По умолчанию | Мягкая верхняя граница | Примечание |
|---|---|---|---|
Мягкая верхняя граница Endorsed_Lifetime | 4 ч | 12 ч | Используется как рекомендуемое значение до разрешения Открытого вопроса Q11; жёсткая верхняя граница, дополнительно ужесточаемая по уровню, ожидает разрешения RFC |
Источник: §7.5 / P16.3 / P16.4 / Requirement 11.3 / Открытые вопросы Q11.
B.7 Жёсткие ограничения числовой согласованности
- B.2 и B.3 ужесточаются синхронно:
max_staleness_ms ≤ LivenessDetectionBudget(grade); выходящие за границы запросы BOOTSTRAP / GRADE_SWITCH единообразно отклоняются сE_PROTOCOL(P17.3). - Превышение B.5 ConfirmationRateLimit: автопонижение / приостановка по §9.10.7; события корзины
criticalне должны тихо отбрасываться и должны проникать в канал представления HP (P18.6). - Жёсткое ограничение истечения B.6 Endorsed_Lifetime: по истечении конечный автомат Mandate мигрирует в Revoked, даже если IF всё ещё в Disconnected (P16.4).
- Единое правило ужесточения по уровню: все бюджеты, ужесточаемые по уровню (B.2 / B.3 / B.4), отклоняют выходящие за границы запросы BOOTSTRAP / GRADE_SWITCH / DELEGATE единообразно с
E_PROTOCOL. - Согласованность Приложения A и Приложения B: имена бюджетов, перечисленные в Приложении A.5, должны быть строго согласованы с именами параметров, определёнными в каждом подразделе этого приложения; любое изменение имени требует синхронных обновлений в обоих местах.