- Spegnimento
- 26 giugno 2026 alle ore 20:34 UTC
- Autore
- Kamo
- Impegno
- ae753fa
Il predicato guida-rule congiunto di §8.1 step-2. Criticamente, REUSES la condizione recensione di Slice-4 evaluatore invece di duplicare la logica del predicato critico della sicurezza. DRY refactor (non regressivo — evaluator bodies byte-identical): L'interfaccia PredicateCondition e'... - MlosAdjustmentCondition + MlosGuidelineRuleCondition entrambi lo implementano. - Condizione di regolazioneEvaluator generalizzato a PredicateCondizione; regolazioneMatches -> allCondizioniMatch (List <? estende PredicateCondition>). Il test Slice-4 viene eseguito in verde (9), entrambi i precedenti HIGH si fissano intatti. Nuovo: - MlosGuidelineRule (mlos guideline rule): guidelineVersionId FK, productId FK, ruleCode (unique per versione), verdetto (RuleVerdict ELIGIBLE/INELIGIBLE/STIPULATED §10.3 vocab), requisitoKind Non e' vero. requisito Valore, gravità, fonteSectionRef, bandiera incondizionata. + MlosGuidelineRuleCondition (implementi PredicateCondition). - Linee guidaRuleEvaluator (ungated @Component) + Linee guidaValutazione + Linee guidaOutcome: una regola incendi quando tutte le sue condizioni detengono (tramite l'evaluatore condiviso); INELIGIBLE iff qualsiasi regola INELIGIBLE licenziata; stipulazioni raccolti. 8 Linee guidaRuleEvaluatorTest verde. Rivisto individualmente (2-agente): refattore confermato date-identico/non regressivo; MEDIUM fisso pericolo di sovra-blocco — una regola non-blanket con zero condizioni ora fallisce SAFE (non spara) quindi una semi-autorizzato/dangling-FK INELIGIBLE regola non può bloccare silenziosamente ogni mutuatario (mirrors value-set fail-closed); esplicito `non condizionata` bandiera per regole di coperta intenzionali. N. cambio codice KamoInitializer.