- Порезанный
- 26 июня 2026 г. в 20:34 UTC
- Автор
- Kamo
- Обещать
- ae753fa
Принцип-правило предиката конъюнкта §8.1 шага-2. Повторяет пересмотренное условие Slice-4 оценщик вместо дублирования критически важной для безопасности логики предикатов. Рефактор DRY (нерегрессивный — тел оценки байт-идентичный): - Интерфейс предварительного состояния **************** - MlosAdjustmentCondition + MlosGuidelineRuleCondition оба реализуют его. - AdjustmentConditionEvaluator generalized to PredicateCondition; adjustmentMatches -> allConditionMatch (Список <? расширяет предикатное состояние>). Тест Slice-4 повторяет зеленый (9), оба предыдущих исправления HIGH не повреждены. Новое: - MlosGuidelineRule (mlos guideline rule): guidelineVersionId FK, productId FK, ruleCode Версия), вердикт (Правило Вердикта ELIGIBLE/INELIGIBLE/STIPULATED §10.3 vocab), требование **************************** требование Значение, серьезность, SourceSectionRef, Unconditioned flag. + MlosGuidelineRuleCondition (реализует PredicateCondition). - GuidelineRuleEvaluator (ungated @Component) + GuidelineEvaluation + GuidelineOutcome: правило загорается, когда все его условия (через общего оценщика); НЕЛИГИБИЛЬНО любое уволенное НЕЛИГИБИЛЬНОЕ правило; собраны. 8 GuidelineRuleEvaluatorТест зеленый. 2-агент: рефактор, подтвержденный байт-идентичным/нерегрессивным; фиксированный MEDIUM сверхблоковая опасность — правило без одеяла с нулевыми условиями теперь не обеспечивает безопасность (не стреляет) Полуавторское правило INELIGIBLE не может бесшумно блокировать каждого заемщика (зеркала с набором стоимости) незакрытый); явный "безусловный" флаг для преднамеренных общих правил. Никаких изменений кода KamoInitializer.