@sigloch/se-engine 1.4.0 → 1.4.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/rule-classify.js +17 -0
- package/package.json +1 -1
package/dist/rule-classify.js
CHANGED
|
@@ -124,6 +124,23 @@ export const CLASS_MAP = {
|
|
|
124
124
|
// --- Ambiguous (mixed-intent fix) ------------------------------------------
|
|
125
125
|
'CL-01': { class: 'Constraint', rationale: 'ConOps completeness — attribute vs added element unclear', ambiguous: true },
|
|
126
126
|
'FM-01': { class: 'Constraint', rationale: 'FMEA S/O/D attributes vs added mitigation — mixed', ambiguous: true },
|
|
127
|
+
// --- Kongruenz (CR-SM-305): der Code hat recht, nicht der Graph ------------
|
|
128
|
+
//
|
|
129
|
+
// Alle sechs sind **Constraints**, und der Grund ist derselbe für alle: der Befund sagt, dass
|
|
130
|
+
// die Bindung an den Code nicht mehr stimmt — und die Antwort darauf ist entweder eine
|
|
131
|
+
// Änderung AM CODE (den der Optimizer nicht anfasst) oder ein Umbinden der Referenz auf den
|
|
132
|
+
// Stand, den der Code inzwischen hat. Beides ist keine Topologie-Änderung am Graphen, und
|
|
133
|
+
// beides kann der Optimizer nicht aus dem Elementtext ableiten: wohin eine verwaiste `realRef`
|
|
134
|
+
// ZEIGEN SOLL, steht in keinem Feld. Ein Operator daraus wäre geraten, nicht abgeleitet.
|
|
135
|
+
//
|
|
136
|
+
// `applyRule`/`suggestEdits` verwerfen alles, was nicht `Operator` ist — RC bleibt damit
|
|
137
|
+
// Bericht und Gate-Signal, so wie es gemeint ist.
|
|
138
|
+
'RC-01': { class: 'Constraint', rationale: 'realRef zeigt ins Leere — umbinden oder Code nachziehen, keine Kante' },
|
|
139
|
+
'RC-02': { class: 'Constraint', rationale: 'testRefs zeigt ins Leere — Testdatei/Fall umbinden, keine Kante' },
|
|
140
|
+
'RC-03': { class: 'Constraint', rationale: 'SCHEMA-realRef zeigt ins Leere — umbinden, keine Kante' },
|
|
141
|
+
'RC-04': { class: 'Constraint', rationale: 'SCHEMA wird an seiner Schnittstelle nicht geparst — Codeänderung' },
|
|
142
|
+
'RC-05': { class: 'Constraint', rationale: 'Import quert eine undokumentierte Modulgrenze — Import entfernen oder Fluss modellieren', ambiguous: true },
|
|
143
|
+
'RC-06': { class: 'Constraint', rationale: 'externe Bindung nennt ein nicht deklariertes Paket — dependency oder realRef' },
|
|
127
144
|
};
|
|
128
145
|
const UNKNOWN = { class: 'Constraint', rationale: 'unclassified — not in CLASS_MAP', ambiguous: true };
|
|
129
146
|
/** Classify a single rule id (falls back to ambiguous-unknown). */
|