- Shiked
- 26 Haziran 2026 20:34 UTC
- Yazar
- Kamo
- Commit
- ae753fa
Rehberlik öncesi §8.1 adım-2. Eleştirel olarak, REUSES incelenen Slice-4 koşulu Güvenlik-köpektif predikasyon mantığını ortaya çıkarmak yerine evaluator. DRY refaksiyon (regreive – evaluator vücutları aste-identical): - PredicateCondition UI ************************ - MlosAdjustmentCondition + MlosGuidelineRuleCondition both implement it. - SetmentConditionEvaluator, PredicateCondition için genelleştirilmiş; ayarlamaMatches -> TümConditionsMatch (List<? genişlet PredicateCondition>). Slice-4 test re-runs yeşil (9), her ikisi de önceden sağlam düzeltmeler. Yeni: - MlosGuidelineRule (mlos guideline rule): rehberVersionId FK, ürünId FK, kuralKom (her per per per per per per per per per per per per per per per per per per per per per per per per sürüm), karar (RuleVerdict ELIGIBLE/INELIGIBLE/STIPULATED §10.3 vocab) **************** Gereklilik Değer, ciddiyet, kaynakSectionRef, Hiçbir bayrak. + MlosgedGuidelineRuleCondition (basitleştirme) - KılavuzRuleEvaluator ( @Component) + KılavuzEvaluation + GuidelineOutcome: bir kural yangınları, zaman zaman bir kural yangınları Tüm koşulları tutar ( paylaşılan evaluator ile birlikte); INELIGIBLE iff herhangi bir kovulan INELIGIBLE kuralı; tebrikler toplandı. 8 KılavuzRuleEvaluatorTest yeşil. Adversarially (2-agent): refaksiyonel / non-regressive tarafından doğrulandı; sabit MEDIUM Over-block tehlike - sıfır koşullarla olmayan bir kural şimdi SAFE (dolar yangını yapmaz) bu yüzden bir yangın değildir. Yarı yazarlı/dangling-FK INELIGIBLE kuralı her borçlayıcıyı sessizce engelleyebilir (mirrors değeri-setir Başarısızlık; açıkça “taraflı battaniye kuralları için” bayrağı. NO KamoInitializer code change.