@sigloch/contracts 9.1.0 → 10.1.0

package/dist/se/evaluate-all.js

@@ -3,6 +3,7 @@ import { SC_RULES, evaluateSCRules } from './schema-quality-rules.js';
 import { UC_RULES, evaluateUCRules } from './uc-quality-rules.js';
 import { FC_RULES, evaluateFCRules } from './fchain-quality-rules.js';
 import { MT_RULES, evaluateMTRules } from './metric-rules.js';
+import { toEvaluableGraph } from './flat-graph.js';
 import { FM_RULES, evaluateFMRules } from './fmea-rules.js';
 import { VIEW_RULES, evaluateViewRules } from './view-rules.js';
 import { CR_RULES, evaluateCRRules } from './cr-quality-rules.js';
@@ -10,34 +11,60 @@ import { ND_RULES, evaluateNDRules } from './near-duplicate-rules.js';
 import { AO_RULES, evaluateAORules } from './ao-rules.js';
 import { BQ_RULES, evaluateBQRules } from './quality-rules.js';
 import { AF_RULES, evaluateAFRules } from './analysis-freshness-rules.js';
+import { CODE_CONFORMANCE_RULES } from './conformance-rules.js';
 /**
- * All prescribed rule definitions (single source of truth for the catalog).
+ * CR-SM-285: das Profil haengt am KATALOG, nicht am ID-Praefix.
  *
- * CR-SM-235: `domain` reicht mit durch — die Grundgesamtheit, ueber die eine Regel feuert.
- * Konsumenten, die einen Anteil bilden (`se-steering`s `computeApplicable`), lesen den Nenner
- * hier statt eine eigene Tabelle zu fuehren. Eine zweite Tabelle kann nicht hinterherhinken,
- * wenn es keine zweite gibt.
+ * Bis hierher ordnete `SE_PREFIXES`/`CODING_PREFIXES` eine Regel ueber den Anfang ihrer ID zu.
+ * Drei dokumentierte Ausfaelle derselben Klasse: `RD-` (CR-SM-221 — `'RD-01'.startsWith('R-')`
+ * ist false, die Zerlegungsregeln liefen nie im se-Profil), `MS-` (CR-SM-245 — fehlte in BEIDEN
+ * Listen, die Dimension `ms` hatte im se-Profil keine einzige zaehlende Regel), `BW-`
+ * (CR-SM-283). Jede neue Regel-ID war ein potenzieller vierter.
+ *
+ * Ein Katalog weiss, wozu er gehoert; eine Zeichenkette weiss es nicht. Neue Regeln erben das
+ * Profil ihres Katalogs automatisch — und ein NEUER Katalog muss hier eingetragen werden, sonst
+ * bricht `ALL_RULE_DEFS` schon beim Typcheck (jeder Eintrag braucht sein Profil).
  */
-export const ALL_RULE_DEFS = [
-    ...V3_RULES, ...UC_RULES, ...FC_RULES, ...SC_RULES, ...MT_RULES, ...BQ_RULES,
-    ...ND_RULES, ...CR_RULES, ...AO_RULES, ...FM_RULES, ...VIEW_RULES, ...AF_RULES,
-].map(r => ({ id: r.id, name: r.name, severity: r.severity, domain: r.domain }));
-// CR-SM-221: 'RD-' was missing — 'RD-01'.startsWith('R-') is false, so the
-// decomposition rules ran in `default` only and never in the `se` profile.
-// CR-SM-245: 'MS-' fehlte hier UND in CODING_PREFIXES — MS-01/02/03 fielen aus beiden Profilen
-// und liefen nur im 'default'-Lauf. Die Dimension `ms` wird von genau vier Regeln getragen
-// (MS-01/02/03 + AF-05); AF-05 ist eine `domain: ['graph']`-Regel und traegt per CR-SM-239
-// keinen Nenner bei. Im se-Profil hatte `ms` damit keine einzige zaehlende Regel — ein leerer
-// Topic-Score und drei fehlende SRR-Legs. Zweiter Fall derselben Klasse nach 'RD-' (CR-SM-221),
-// jetzt vom Profil-Test in se-grammar-invariant.test.ts abgedeckt.
-const SE_PREFIXES = ['R-', 'RD-', 'UC-', 'FC-', 'SC-', 'MT-', 'CR-', 'AO-', 'FM-', 'NFR-', 'RT-', 'PH-', 'CA-', 'IO-', 'VR-', 'CL-', 'AF-', 'MS-'];
-const CODING_PREFIXES = ['BQ-', 'ND-'];
+const CATALOGS = [
+    { profile: 'se', rules: V3_RULES },
+    { profile: 'se', rules: UC_RULES },
+    { profile: 'se', rules: FC_RULES },
+    { profile: 'se', rules: SC_RULES },
+    { profile: 'se', rules: MT_RULES },
+    { profile: 'se', rules: CR_RULES },
+    { profile: 'se', rules: AO_RULES },
+    { profile: 'se', rules: FM_RULES },
+    { profile: 'se', rules: VIEW_RULES },
+    { profile: 'se', rules: AF_RULES },
+    // Sprach-/Textqualitaet statt SE-Struktur — das ist die Trennlinie, die die Praefixliste meinte.
+    { profile: 'coding', rules: BQ_RULES },
+    { profile: 'coding', rules: ND_RULES },
+    /*
+     * CR-SM-305: die RC-Regeln stehen im Katalog — mit EIGENEM Profil, weil sie eine andere
+     * Signatur haben: `(graph, facts: CodeFacts)` statt `(graph, policy)`.
+     *
+     * Warum ueberhaupt: das Kongruenz-Urteil existierte, war getestet und erreichte KEINEN
+     * Produktionspfad. Gate (`harness.mutate`), Steuerung (fit-advisory, steering-snapshot) und
+     * `GET /api/graph/readiness` lesen alle `ALL_RULE_DEFS`; RC stand nicht darin, also ging jeder
+     * Modell-Zug, der die Bindung an den Code bricht, lautlos durch. Der einzige Aufrufer von
+     * `scoreReadinessWithConformance` war ein Test.
+     *
+     * Warum ein eigenes Profil und nicht `se`: das Profil traegt seit CR-SM-285 die
+     * AUSWERTBARKEIT mit. Stuende RC unter `se`, behauptete `getRuleDefsForProfile('se')` eine
+     * Auswertung, die ohne Repo-Wurzel gar nicht stattfinden kann.
+     *
+     * `evaluateAllRules` fuehrt sie NICHT aus — es kann es nicht, es hat keine `CodeFacts`. Genau
+     * diese Differenz ist das Signal: deklariert und nicht ausgewertet heisst NICHT GEPRUEFT, und
+     * die vorhandene Ableitung `ALL_RULE_DEFS minus ausgewertet` macht es von selbst laut. Kein
+     * zweiter Zweig — die ND-fail-open-Lehre aus CR-SM-286.
+     */
+    { profile: 'conformance', rules: CODE_CONFORMANCE_RULES },
+];
+export const ALL_RULE_DEFS = CATALOGS.flatMap(({ profile, rules }) => rules.map(r => ({ id: r.id, name: r.name, severity: r.severity, domain: r.domain, profile })));
 export function getRuleDefsForProfile(profile) {
-    if (profile === 'se')
-        return ALL_RULE_DEFS.filter(r => SE_PREFIXES.some(p => r.id.startsWith(p)));
-    if (profile === 'coding')
-        return ALL_RULE_DEFS.filter(r => CODING_PREFIXES.some(p => r.id.startsWith(p)));
-    return ALL_RULE_DEFS;
+    if (profile === 'default')
+        return ALL_RULE_DEFS;
+    return ALL_RULE_DEFS.filter(r => r.profile === profile);
 }
 /**
  * Evaluate all rules against a graph. Single call replaces the individual evaluator calls.
@@ -47,6 +74,16 @@ export function getRuleDefsForProfile(profile) {
  * `DEFAULT_METRIC_POLICY` sichtbar an der Aufrufstelle.
  */
 export function evaluateAllRules(graph, policy) {
+    // CR-SM-284: die Hebung der flach committeten SSOT laeuft HIER, nicht beim Aufrufer.
+    //
+    // `toEvaluableGraph` gibt es seit CR-SM-258 — und sie wurde von keinem Produktionspfad und
+    // keinem Messskript gerufen, nur aus Tests. Eine Korrektur, die man rufen DARF statt MUSS, ist
+    // keine: an graphcode erzeugte die flache Lesart 158 Phantom-Befunde (R-19 124, R-20 115,
+    // R-26 36, CR-R04 42) und verdeckte zugleich 156 ECHTE Fehler (CR-R02, severity error).
+    //
+    // Idempotent und identitaetserhaltend (s. dort), also eine Normalisierung am einzigen Eingang
+    // und kein Fallback: ein bereits genesteter Graph geht unveraendert und uneingepackt durch.
+    graph = toEvaluableGraph(graph);
     return [
         ...evaluateRules(graph, policy),
         ...evaluateBQRules(graph, policy),

package/dist/se/fchain-quality-rules.d.ts

@@ -4,7 +4,6 @@
 import type { OntologyGraph } from './ontology.js';
 import type { RuleDefinition, RuleViolation } from './rules.js';
 import type { MetricPolicy } from './policy.js';
-export declare function fc01ActorBoundary(graph: OntologyGraph): RuleViolation[];
 export declare function fc02LeafUcHasFchain(graph: OntologyGraph): RuleViolation[];
 export declare function fc03FchainFlat(graph: OntologyGraph): RuleViolation[];
 export declare function fc04ActorBounded(graph: OntologyGraph): RuleViolation[];

package/dist/se/fchain-quality-rules.js

@@ -1,48 +1,5 @@
 import { indexOf } from './graph-index.js';
 // ---------------------------------------------------------------------------
-// FC-01: FCHAIN must have Actor boundary (input or output via FLOW→ACTOR io)
-// ---------------------------------------------------------------------------
-export function fc01ActorBoundary(graph) {
-    // CR-SM-264: dieselbe Frage, einmal statt je Kette neu.
-    //
-    // Die alte Fassung war die verschachtelte Form, die UC-02 kubisch gemacht hat (CR-SM-261):
-    // je FCHAIN alle Traces, darin je io-Kante noch einmal alle Traces, darin je Treffer alle
-    // Elemente — `FCHAIN x FUNC x T x T x E`. Im Profil nach Teil a war FC-01 mit 6,3 % die
-    // teuerste FCHAIN-Regel.
-    //
-    // Beide Zweige fragen in Wahrheit DASSELBE: "beruehrt dieses Element eine io-Kante, deren
-    // anderes Ende ein ACTOR ist?" Einmal fuer den Zwischenknoten der Kettenglieder, einmal
-    // direkt fuer den Eltern-UC. Eine Menge beantwortet beide.
-    const idx = indexOf(graph);
-    const actorAdjacent = new Set();
-    for (const t of idx.tracesOfType('io')) {
-        if (idx.typeOf(t.target) === 'ACTOR')
-            actorAdjacent.add(t.source);
-        if (idx.typeOf(t.source) === 'ACTOR')
-            actorAdjacent.add(t.target);
-    }
-    return idx.elementsOfType('FCHAIN')
-        .filter(fc => {
-        // Mitglieder der Kette — bewusst OHNE Typfilter, wie in der alten Fassung: FC-01 fragt
-        // nach dem, was komponiert ist, nicht nach dem, was eine FUNC ist (FC-03 tut das).
-        const memberIds = idx.out(fc.id, 'compose').map(t => t.target);
-        const hasActorIO = memberIds.some(fid => idx.out(fid, 'io').some(t => actorAdjacent.has(t.target)) ||
-            idx.in(fid, 'io').some(t => actorAdjacent.has(t.source)));
-        // Der Umweg ueber den Eltern-UC: dessen eigene ACTOR-io zaehlt auch.
-        const parentUC = idx.in(fc.id, 'compose').find(t => idx.typeOf(t.source) === 'UC');
-        const hasDirectActorIO = parentUC !== undefined && actorAdjacent.has(parentUC.source);
-        return !hasActorIO && !hasDirectActorIO;
-    })
-        .map(fc => ({
-        rule_id: 'FC-01',
-        severity: 'warning',
-        element_id: fc.id,
-        message: `${fc.id} has no actor boundary (no ACTOR io connection)`,
-        fix_hint: 'Ensure at least one FUNC in the chain connects to an ACTOR via FLOW io',
-        context: { element_type: fc.type, element_name: fc.name },
-    }));
-}
-// ---------------------------------------------------------------------------
 // FC-02: Leaf UC (no UC→compose→UC) must have at least one FCHAIN
 // ---------------------------------------------------------------------------
 export function fc02LeafUcHasFchain(graph) {
@@ -142,7 +99,6 @@ export function fc04ActorBounded(graph) {
 // Aggregated
 // ---------------------------------------------------------------------------
 export const FC_RULES = [
-    { id: 'FC-01', name: 'FCHAIN has actor boundary', severity: 'warning', evaluate: fc01ActorBoundary, domain: ['FCHAIN'] },
     { id: 'FC-02', name: 'Leaf UC has FCHAIN', severity: 'warning', evaluate: fc02LeafUcHasFchain, domain: ['UC'] },
     // CR-SM-243: domain ist FUNC, nicht FCHAIN — die Regel meldet am FUNC mit der
     // verschachtelten Zerlegung. Die FCHAIN ist der Suchraum, nicht die Grundgesamtheit:

package/dist/se/flat-graph.d.ts

@@ -1,3 +1,11 @@
 import type { OntologyGraph } from './ontology.js';
-/** Hebt eine flach committete SSOT in die Form, die der Live-Gate dem Evaluator gibt. */
+/**
+ * Hebt eine flach committete SSOT in die Form, die der Live-Gate dem Evaluator gibt.
+ *
+ * CR-SM-284: **identitaetserhaltend.** War nichts zu heben — der Normalfall, weil der Live-Gate
+ * bereits genestet liefert —, kommt DIESELBE Referenz zurueck. Das ist die Voraussetzung dafuer,
+ * dass `evaluateAllRules` die Funktion selbst rufen kann: die WeakMap-Caches der Familie
+ * (`indexOf`, `moduleCrossings`, `MEASURE_CACHE`) haengen an der Graph-Identitaet, und ein bei
+ * jedem Aufruf neu gebautes Objekt haette sie im Best-of-N-Loop bei jedem Kandidaten gesprengt.
+ */
 export declare function toEvaluableGraph(graph: OntologyGraph): OntologyGraph;

package/dist/se/flat-graph.js

@@ -42,11 +42,20 @@ function nestAttributes(entry, canonical) {
         attributes.status = entry.status;
     return { ...top, attributes };
 }
-/** Hebt eine flach committete SSOT in die Form, die der Live-Gate dem Evaluator gibt. */
+/**
+ * Hebt eine flach committete SSOT in die Form, die der Live-Gate dem Evaluator gibt.
+ *
+ * CR-SM-284: **identitaetserhaltend.** War nichts zu heben — der Normalfall, weil der Live-Gate
+ * bereits genestet liefert —, kommt DIESELBE Referenz zurueck. Das ist die Voraussetzung dafuer,
+ * dass `evaluateAllRules` die Funktion selbst rufen kann: die WeakMap-Caches der Familie
+ * (`indexOf`, `moduleCrossings`, `MEASURE_CACHE`) haengen an der Graph-Identitaet, und ein bei
+ * jedem Aufruf neu gebautes Objekt haette sie im Best-of-N-Loop bei jedem Kandidaten gesprengt.
+ */
 export function toEvaluableGraph(graph) {
-    return {
-        ...graph,
-        elements: graph.elements.map((e) => nestAttributes(e, TOP_LEVEL_ELEMENT_KEYS)),
-        traces: graph.traces.map((t) => nestAttributes(t, TOP_LEVEL_TRACE_KEYS)),
-    };
+    const elements = graph.elements.map((e) => nestAttributes(e, TOP_LEVEL_ELEMENT_KEYS));
+    const traces = graph.traces.map((t) => nestAttributes(t, TOP_LEVEL_TRACE_KEYS));
+    // `nestAttributes` gibt bei bereits genesteten Eintraegen das Original zurueck; sind ALLE
+    // unveraendert, war der Graph schon evaluierbar und wird nicht angefasst.
+    const untouched = elements.every((e, i) => e === graph.elements[i]) && traces.every((t, i) => t === graph.traces[i]);
+    return untouched ? graph : { ...graph, elements, traces };
 }

package/dist/se/grammar-snapshot.d.ts

@@ -11,14 +11,18 @@
  */
 export declare const GRAMMAR_SNAPSHOT: {
     readonly versions: {
-        readonly ontology: "8.0.0";
-        readonly metaModel: "4.0.0";
-        readonly rules: "9.1.0";
+        readonly ontology: "9.0.0";
+        readonly metaModel: "5.0.0";
+        readonly rules: "19.2.0";
     };
     readonly elementTypes: readonly ["ACTOR", "CR", "FCHAIN", "FLOW", "FUNC", "MOD", "MS", "REQ", "SCHEMA", "SYS", "TEST", "UC"];
     readonly traceTypes: readonly ["allocate", "compose", "io", "relation", "satisfy", "verify"];
-    readonly patterns: readonly ["ACTOR -io-> FLOW", "CR -relation-> FUNC", "CR -relation-> MOD", "CR -relation-> MS", "CR -relation-> REQ", "CR -relation-> UC", "FCHAIN -compose-> FUNC [1..*]", "FCHAIN -satisfy-> REQ", "FLOW -io-> ACTOR", "FLOW -io-> FUNC", "FLOW -relation-> SCHEMA [0..1]", "FUNC -allocate-> MOD [0..1]", "FUNC -compose-> FUNC [0..*]", "FUNC -io-> FLOW", "FUNC -satisfy-> REQ where target.kinds in {functional,postcondition,precondition}", "MOD -compose-> MOD [0..*]", "MOD -satisfy-> REQ where target.kinds in {mitigation,non-functional,risk}", "MS -compose-> FUNC", "MS -compose-> REQ", "MS -compose-> UC", "MS -relation-> MS label=depends-on", "REQ -compose-> REQ [0..*]", "SYS -compose-> MOD [0..*]", "SYS -compose-> REQ [0..*]", "SYS -compose-> SYS [0..*]", "SYS -compose-> UC [1..*]", "SYS -satisfy-> REQ where target.kinds in {mitigation,non-functional,risk}", "TEST -verify-> REQ", "UC -compose-> FCHAIN [1..*]", "UC -compose-> REQ [1..*]"];
+    readonly patterns: readonly ["ACTOR -io-> FLOW", "CR -relation-> FUNC", "CR -relation-> MOD", "CR -relation-> MS", "CR -relation-> REQ", "CR -relation-> UC", "FCHAIN -compose-> FUNC [1..*]", "FCHAIN -satisfy-> REQ", "FLOW -io-> ACTOR", "FLOW -io-> FUNC", "FLOW -relation-> SCHEMA [1]", "FUNC -allocate-> MOD [0..1]", "FUNC -compose-> FUNC [0..*]", "FUNC -io-> FLOW", "FUNC -satisfy-> REQ where target.kinds in {functional,postcondition,precondition}", "MOD -compose-> MOD [0..*]", "MOD -satisfy-> REQ where target.kinds in {mitigation,non-functional,risk}", "MS -compose-> FUNC", "MS -compose-> REQ", "MS -compose-> UC", "MS -relation-> MS label=depends-on", "REQ -compose-> REQ [0..*]", "SYS -compose-> MOD [0..*]", "SYS -compose-> REQ [0..*]", "SYS -compose-> SYS [0..*]", "SYS -compose-> UC [1..*]", "SYS -satisfy-> REQ where target.kinds in {mitigation,non-functional,risk}", "TEST -verify-> REQ", "UC -compose-> FCHAIN [1..*]", "UC -compose-> REQ [1..*]"];
+    readonly elementColumns: readonly ["OntologyElement.attributes", "OntologyElement.created_at", "OntologyElement.description", "OntologyElement.id", "OntologyElement.kinds", "OntologyElement.method", "OntologyElement.name", "OntologyElement.status", "OntologyElement.type", "OntologyElement.updated_at", "Trace.attributes", "Trace.created_at", "Trace.label", "Trace.source", "Trace.target", "Trace.type", "Trace.verified_at", "Trace.weight"];
     readonly attributes: readonly ["CR.rationale: string", "CR.spike: boolean", "CR.status: enum", "FLOW.protocol: string", "FLOW.qos: string", "FUNC.concept: boolean", "FUNC.external: boolean", "FUNC.measuredMs: number", "FUNC.realRef: object", "FUNC.safety_relevant: boolean", "FUNC.sourceFile: string", "FUNC.timingBudgetMs: number", "MOD.concept: boolean", "MOD.external: boolean", "MOD.kind: string", "MOD.path: string", "MOD.realRef: object", "REQ.detection: number", "REQ.occurrence: number", "REQ.severity: number", "SCHEMA.concept: boolean", "SCHEMA.contract: string", "SCHEMA.external: boolean", "SCHEMA.realRef: object", "TEST.concept: boolean", "TEST.sourceFile: string", "TEST.testRefs: array", "UC.operatingMode: string"];
-    readonly rules: readonly ["AF-01 (warning) domain=[graph]", "AF-02 (warning) domain=[graph]", "AF-03 (warning) domain=[graph]", "AF-04 (warning) domain=[graph]", "AF-05 (warning) domain=[graph]", "AO-D01 (info) domain=[FUNC]", "AO-D03 (info) domain=[FUNC]", "BQ-01 (warning) domain=[REQ]", "BQ-02 (warning) domain=[REQ]", "BQ-04 (warning) domain=[REQ]", "BQ-06 (warning) domain=[REQ]", "BQ-07 (warning) domain=[REQ]", "CA-01 (error) domain=[FUNC]", "CL-01 (warning) domain=[ACTOR]", "CR-01 (warning) domain=[MOD]", "CR-R01 (error) domain=[CR]", "CR-R02 (error) domain=[CR]", "CR-R03 (warning) domain=[all]", "CR-R04 (warning) domain=[CR]", "FC-01 (warning) domain=[FCHAIN]", "FC-02 (warning) domain=[UC]", "FC-03 (warning) domain=[FUNC]", "FC-04 (warning) domain=[FCHAIN]", "FM-01 (warning) domain=[REQ]", "FM-02 (warning) domain=[REQ]", "FM-03 (error) domain=[REQ]", "IO-01 (warning) domain=[FUNC]", "MS-01 (warning) domain=[MS]", "MS-02 (error) domain=[MS]", "MS-03 (info) domain=[CR]", "MT-01 (warning) domain=[MOD]", "MT-02 (info) domain=[MOD]", "ND-01 (error) domain=[FUNC]", "ND-02 (error) domain=[SCHEMA]", "NFR-01 (warning) domain=[FCHAIN,FUNC,MOD]", "PH-01 (info) domain=[MOD]", "R-01 (error) domain=[REQ]", "R-02 (warning) domain=[FUNC]", "R-03 (error) domain=[MOD]", "R-04 (warning) domain=[MOD]", "R-05 (warning) domain=[TEST]", "R-08 (error) domain=[all]", "R-10 (warning) domain=[FLOW]", "R-12 (warning) domain=[FUNC]", "R-14 (warning) domain=[UC]", "R-15 (warning) domain=[FCHAIN]", "R-16 (warning) domain=[ACTOR]", "R-17 (warning) domain=[SYS]", "R-18 (error) domain=[all]", "R-19 (warning) domain=[TEST]", "R-20 (warning) domain=[FUNC]", "R-21 (warning) domain=[FCHAIN]", "R-22 (warning) domain=[FUNC]", "R-23 (warning) domain=[MOD]", "R-26 (warning) domain=[SCHEMA]", "R-27 (warning) domain=[MOD]", "R-29 (error) domain=[TEST]", "R-30 (warning) domain=[FUNC]", "R-31 (warning) domain=[FUNC]", "RD-01 (warning) domain=[REQ]", "RD-02 (warning) domain=[REQ]", "RD-03 (info) domain=[REQ]", "RD-04 (warning) domain=[FUNC,MOD,SYS]", "RT-01 (error) domain=[FUNC]", "SC-02 (warning) domain=[SCHEMA]", "SC-04 (warning) domain=[FLOW]", "UC-01 (error) domain=[UC]", "UC-02 (error) domain=[UC]", "UC-03 (warning) domain=[UC]", "UC-04 (warning) domain=[UC]", "UC-05 (info) domain=[UC]", "UC-06 (info) domain=[UC]", "VR-01 (info) domain=[TEST]"];
+    readonly rules: readonly ["AF-01 (warning) domain=[graph]", "AF-02 (warning) domain=[graph]", "AF-03 (warning) domain=[graph]", "AF-04 (warning) domain=[graph]", "AF-05 (warning) domain=[graph]", "BQ-01 (warning) domain=[REQ]", "BQ-02 (warning) domain=[REQ]", "BQ-04 (warning) domain=[REQ]", "BQ-06 (warning) domain=[REQ]", "BQ-07 (warning) domain=[REQ]", "BW-02 (warning) domain=[FUNC]", "CL-01 (warning) domain=[ACTOR]", "CR-01 (warning) domain=[MOD]", "CR-R01 (error) domain=[CR]", "CR-R02 (error) domain=[CR]", "CR-R03 (warning) domain=[all]", "FC-02 (warning) domain=[UC]", "FC-03 (warning) domain=[FUNC]", "FC-04 (warning) domain=[FCHAIN]", "FM-01 (warning) domain=[REQ]", "FM-02 (warning) domain=[REQ]", "FM-03 (error) domain=[REQ]", "IO-01 (warning) domain=[FUNC]", "MS-01 (warning) domain=[MS]", "MS-02 (error) domain=[MS]", "MS-03 (info) domain=[CR]", "MT-01 (warning) domain=[MOD]", "MT-02 (info) domain=[MOD]", "ND-01 (error) domain=[FUNC]", "ND-02 (error) domain=[SCHEMA]", "NFR-01 (warning) domain=[FCHAIN,FUNC,MOD]", "R-01 (error) domain=[REQ]", "R-02 (warning) domain=[FUNC]", "R-04 (warning) domain=[MOD]", "R-05 (warning) domain=[TEST]", "R-08 (error) domain=[all]", "R-10 (warning) domain=[FLOW]", "R-12 (warning) domain=[FUNC]", "R-15 (warning) domain=[FCHAIN]", "R-16 (warning) domain=[ACTOR]", "R-17 (warning) domain=[SYS]", "R-18 (error) domain=[all]", "R-19 (warning) domain=[TEST]", "R-20 (warning) domain=[FUNC]", "R-21 (warning) domain=[FCHAIN]", "R-22 (warning) domain=[FUNC]", "R-23 (warning) domain=[MOD]", "R-26 (warning) domain=[SCHEMA]", "R-29 (error) domain=[TEST]", "R-30 (warning) domain=[FUNC]", "R-31 (warning) domain=[FUNC]", "RC-01 (error) domain=[FUNC]", "RC-02 (error) domain=[TEST]", "RC-03 (error) domain=[SCHEMA]", "RC-04 (warning) domain=[SCHEMA]", "RC-05 (warning) domain=[MOD]", "RC-06 (warning) domain=[FUNC,MOD,SCHEMA]", "RD-01 (warning) domain=[REQ]", "RD-02 (warning) domain=[REQ]", "RD-03 (info) domain=[REQ]", "RD-04 (warning) domain=[FUNC,MOD,SYS]", "SC-02 (warning) domain=[SCHEMA]", "UC-01 (error) domain=[UC]", "UC-02 (error) domain=[UC]", "UC-03 (warning) domain=[UC]", "UC-04 (warning) domain=[UC]", "UC-05 (info) domain=[UC]", "UC-06 (info) domain=[UC]", "VR-01 (info) domain=[TEST]"];
     readonly conformanceRules: readonly ["RC-01 (error)", "RC-02 (error)", "RC-03 (error)", "RC-04 (warning)", "RC-05 (warning)", "RC-06 (warning)"];
+    readonly policy: readonly ["apTable = null", "boundaryWidth = {warning:5}", "crossingFlows = {warning:3}", "decompositionBreadth = {warning:9}", "instability = null", "lcom4 = {info:4,warning:6}", "moduleSize = {coupled:7,crossings:2,large:9}", "riskRpn = 100"];
+    readonly ruleHelp: readonly ["AF-01", "AF-02", "AF-03", "AF-04", "AF-05", "BQ-01", "BQ-02", "BQ-04", "BQ-06", "BQ-07", "BW-02", "CL-01", "CR-01", "CR-R01", "CR-R02", "CR-R03", "FC-02", "FC-03", "FC-04", "FM-01", "FM-02", "FM-03", "IO-01", "MS-01", "MS-02", "MS-03", "MT-01", "MT-02", "ND-01", "ND-02", "NFR-01", "R-01", "R-02", "R-04", "R-05", "R-08", "R-10", "R-12", "R-15", "R-16", "R-17", "R-18", "R-19", "R-20", "R-21", "R-22", "R-23", "R-26", "R-29", "R-30", "R-31", "RC-01", "RC-02", "RC-03", "RC-04", "RC-05", "RC-06", "RD-01", "RD-02", "RD-03", "RD-04", "SC-02", "UC-01", "UC-02", "UC-03", "UC-04", "UC-05", "UC-06", "VR-01"];
+    readonly exports: readonly ["AF_RULES", "ALL_RULE_DEFS", "AO_RULES", "ActionPriority", "AnalysisArtifactId", "AnalysisFreshnessStampSchema", "ApTableSchema", "BOUNDED_PATTERNS", "BQ_RULES", "CODE_CONFORMANCE_RULES", "CR_RULES", "CodeFactsSchema", "DEFAULT_METRIC_POLICY", "DIMENSION_READINESS_DELTA_NAME", "DIMENSION_READINESS_NAME", "ELEMENT_ATTRIBUTES", "ELEMENT_DESCRIPTIONS", "ElementType", "ElementUid", "FC_RULES", "FM_RULES", "FileFactsSchema", "ImportEdgeSchema", "MAX_SLUG_LENGTH", "META_MODEL_VERSION", "MODELING_ELEMENT_TYPES", "MT_RULES", "MetricPolicySchema", "ND_RULES", "ONTOLOGY_VERSION", "OntologyElement", "OntologyGraph", "PHASE_READINESS_NAME", "PhaseGate", "READINESS_SCORED_PROFILES", "REQUIRED_PATTERNS", "RULES_VERSION", "RULE_HELP", "RULE_TO_DIMENSION", "RULE_TO_PHASE", "ReadinessDimension", "ReadinessReport", "ReadinessScore", "RealRefSchema", "RepoRelativePathSchema", "ReqKind", "RuleSeverity", "RuleViolation", "SC_RULES", "TRACE_PATTERNS", "TestRefSchema", "TestRefsSchema", "TestResult", "Trace", "TraceType", "UC_RULES", "V3_RULES", "VIEW_RULES", "VerificationMethod", "ViolationCandidate", "ViolationContext", "actionPriority", "allocationCohesion", "apMethod", "attributeTypeOf", "bq01Unambiguous", "bq02Verifiable", "bq04Necessary", "bq06Conforming", "bq07Complete", "bw02WhiteboxWidth", "cl01ConopsCompleteness", "cr01CrossingFlowCount", "crossingContractCount", "decomposedFuncs", "evaluateAFRules", "evaluateAORules", "evaluateAllRules", "evaluateBQRules", "evaluateCRRules", "evaluateConformanceRules", "evaluateFCRules", "evaluateFMRules", "evaluateMTRules", "evaluateNDRules", "evaluateRules", "evaluateSCRules", "evaluateUCRules", "evaluateViewRules", "extractFormatE", "fc02LeafUcHasFchain", "fc03FchainFlat", "fc04ActorBounded", "fm01MissingFmeaAttributes", "fm02MissingMitigation", "fm03HighRiskUnverified", "funcSimilarity", "getRuleDefsForProfile", "hydrateAttrValue", "importCoverage", "indexOf", "io01CrossModuleCompleteness", "isElementUid", "isValidTrace", "jaccard", "maxOccurs", "minOccurs", "moduleCrossings", "moduleMetrics", "mt01Instability", "mt02Lcom4", "nd01FuncNearDuplicate", "nd02SchemaNearDuplicate", "nfr01BudgetOvershoot", "normalizeReqKinds", "pairsAbove", "parseElementUid", "parseFormatE", "sc02IsReferenced", "schemaSimilarity", "serializeToFormatE", "setBQ04SimilarityMatrix", "subtreeFuncs", "toElementUid", "toEvaluableGraph", "tokens", "traceRejection", "tryParseElementUid", "uc01HasRequirements", "uc02HasActor", "uc03HasScenario", "uc04GoalDefined", "uc05HasPostcondition", "uc06HasPrecondition", "vr01TestNoResult", "whiteboxContractCount"];
 };

package/dist/se/grammar-snapshot.js

@@ -11,9 +11,9 @@
  */
 export const GRAMMAR_SNAPSHOT = {
     versions: {
-        ontology: "8.0.0",
-        metaModel: "4.0.0",
-        rules: "9.1.0",
+        ontology: "9.0.0",
+        metaModel: "5.0.0",
+        rules: "19.2.0",
     },
     elementTypes: [
         "ACTOR",
@@ -48,7 +48,7 @@ export const GRAMMAR_SNAPSHOT = {
         "FCHAIN -satisfy-> REQ",
         "FLOW -io-> ACTOR",
         "FLOW -io-> FUNC",
-        "FLOW -relation-> SCHEMA [0..1]",
+        "FLOW -relation-> SCHEMA [1]",
         "FUNC -allocate-> MOD [0..1]",
         "FUNC -compose-> FUNC [0..*]",
         "FUNC -io-> FLOW",
@@ -69,6 +69,26 @@ export const GRAMMAR_SNAPSHOT = {
         "UC -compose-> FCHAIN [1..*]",
         "UC -compose-> REQ [1..*]",
     ],
+    elementColumns: [
+        "OntologyElement.attributes",
+        "OntologyElement.created_at",
+        "OntologyElement.description",
+        "OntologyElement.id",
+        "OntologyElement.kinds",
+        "OntologyElement.method",
+        "OntologyElement.name",
+        "OntologyElement.status",
+        "OntologyElement.type",
+        "OntologyElement.updated_at",
+        "Trace.attributes",
+        "Trace.created_at",
+        "Trace.label",
+        "Trace.source",
+        "Trace.target",
+        "Trace.type",
+        "Trace.verified_at",
+        "Trace.weight",
+    ],
     attributes: [
         "CR.rationale: string",
         "CR.spike: boolean",
@@ -105,21 +125,17 @@ export const GRAMMAR_SNAPSHOT = {
         "AF-03 (warning) domain=[graph]",
         "AF-04 (warning) domain=[graph]",
         "AF-05 (warning) domain=[graph]",
-        "AO-D01 (info) domain=[FUNC]",
-        "AO-D03 (info) domain=[FUNC]",
         "BQ-01 (warning) domain=[REQ]",
         "BQ-02 (warning) domain=[REQ]",
         "BQ-04 (warning) domain=[REQ]",
         "BQ-06 (warning) domain=[REQ]",
         "BQ-07 (warning) domain=[REQ]",
-        "CA-01 (error) domain=[FUNC]",
+        "BW-02 (warning) domain=[FUNC]",
         "CL-01 (warning) domain=[ACTOR]",
         "CR-01 (warning) domain=[MOD]",
         "CR-R01 (error) domain=[CR]",
         "CR-R02 (error) domain=[CR]",
         "CR-R03 (warning) domain=[all]",
-        "CR-R04 (warning) domain=[CR]",
-        "FC-01 (warning) domain=[FCHAIN]",
         "FC-02 (warning) domain=[UC]",
         "FC-03 (warning) domain=[FUNC]",
         "FC-04 (warning) domain=[FCHAIN]",
@@ -135,16 +151,13 @@ export const GRAMMAR_SNAPSHOT = {
         "ND-01 (error) domain=[FUNC]",
         "ND-02 (error) domain=[SCHEMA]",
         "NFR-01 (warning) domain=[FCHAIN,FUNC,MOD]",
-        "PH-01 (info) domain=[MOD]",
         "R-01 (error) domain=[REQ]",
         "R-02 (warning) domain=[FUNC]",
-        "R-03 (error) domain=[MOD]",
         "R-04 (warning) domain=[MOD]",
         "R-05 (warning) domain=[TEST]",
         "R-08 (error) domain=[all]",
         "R-10 (warning) domain=[FLOW]",
         "R-12 (warning) domain=[FUNC]",
-        "R-14 (warning) domain=[UC]",
         "R-15 (warning) domain=[FCHAIN]",
         "R-16 (warning) domain=[ACTOR]",
         "R-17 (warning) domain=[SYS]",
@@ -155,17 +168,20 @@ export const GRAMMAR_SNAPSHOT = {
         "R-22 (warning) domain=[FUNC]",
         "R-23 (warning) domain=[MOD]",
         "R-26 (warning) domain=[SCHEMA]",
-        "R-27 (warning) domain=[MOD]",
         "R-29 (error) domain=[TEST]",
         "R-30 (warning) domain=[FUNC]",
         "R-31 (warning) domain=[FUNC]",
+        "RC-01 (error) domain=[FUNC]",
+        "RC-02 (error) domain=[TEST]",
+        "RC-03 (error) domain=[SCHEMA]",
+        "RC-04 (warning) domain=[SCHEMA]",
+        "RC-05 (warning) domain=[MOD]",
+        "RC-06 (warning) domain=[FUNC,MOD,SCHEMA]",
         "RD-01 (warning) domain=[REQ]",
         "RD-02 (warning) domain=[REQ]",
         "RD-03 (info) domain=[REQ]",
         "RD-04 (warning) domain=[FUNC,MOD,SYS]",
-        "RT-01 (error) domain=[FUNC]",
         "SC-02 (warning) domain=[SCHEMA]",
-        "SC-04 (warning) domain=[FLOW]",
         "UC-01 (error) domain=[UC]",
         "UC-02 (error) domain=[UC]",
         "UC-03 (warning) domain=[UC]",
@@ -182,4 +198,223 @@ export const GRAMMAR_SNAPSHOT = {
         "RC-05 (warning)",
         "RC-06 (warning)",
     ],
+    policy: [
+        "apTable = null",
+        "boundaryWidth = {warning:5}",
+        "crossingFlows = {warning:3}",
+        "decompositionBreadth = {warning:9}",
+        "instability = null",
+        "lcom4 = {info:4,warning:6}",
+        "moduleSize = {coupled:7,crossings:2,large:9}",
+        "riskRpn = 100",
+    ],
+    ruleHelp: [
+        "AF-01",
+        "AF-02",
+        "AF-03",
+        "AF-04",
+        "AF-05",
+        "BQ-01",
+        "BQ-02",
+        "BQ-04",
+        "BQ-06",
+        "BQ-07",
+        "BW-02",
+        "CL-01",
+        "CR-01",
+        "CR-R01",
+        "CR-R02",
+        "CR-R03",
+        "FC-02",
+        "FC-03",
+        "FC-04",
+        "FM-01",
+        "FM-02",
+        "FM-03",
+        "IO-01",
+        "MS-01",
+        "MS-02",
+        "MS-03",
+        "MT-01",
+        "MT-02",
+        "ND-01",
+        "ND-02",
+        "NFR-01",
+        "R-01",
+        "R-02",
+        "R-04",
+        "R-05",
+        "R-08",
+        "R-10",
+        "R-12",
+        "R-15",
+        "R-16",
+        "R-17",
+        "R-18",
+        "R-19",
+        "R-20",
+        "R-21",
+        "R-22",
+        "R-23",
+        "R-26",
+        "R-29",
+        "R-30",
+        "R-31",
+        "RC-01",
+        "RC-02",
+        "RC-03",
+        "RC-04",
+        "RC-05",
+        "RC-06",
+        "RD-01",
+        "RD-02",
+        "RD-03",
+        "RD-04",
+        "SC-02",
+        "UC-01",
+        "UC-02",
+        "UC-03",
+        "UC-04",
+        "UC-05",
+        "UC-06",
+        "VR-01",
+    ],
+    exports: [
+        "AF_RULES",
+        "ALL_RULE_DEFS",
+        "AO_RULES",
+        "ActionPriority",
+        "AnalysisArtifactId",
+        "AnalysisFreshnessStampSchema",
+        "ApTableSchema",
+        "BOUNDED_PATTERNS",
+        "BQ_RULES",
+        "CODE_CONFORMANCE_RULES",
+        "CR_RULES",
+        "CodeFactsSchema",
+        "DEFAULT_METRIC_POLICY",
+        "DIMENSION_READINESS_DELTA_NAME",
+        "DIMENSION_READINESS_NAME",
+        "ELEMENT_ATTRIBUTES",
+        "ELEMENT_DESCRIPTIONS",
+        "ElementType",
+        "ElementUid",
+        "FC_RULES",
+        "FM_RULES",
+        "FileFactsSchema",
+        "ImportEdgeSchema",
+        "MAX_SLUG_LENGTH",
+        "META_MODEL_VERSION",
+        "MODELING_ELEMENT_TYPES",
+        "MT_RULES",
+        "MetricPolicySchema",
+        "ND_RULES",
+        "ONTOLOGY_VERSION",
+        "OntologyElement",
+        "OntologyGraph",
+        "PHASE_READINESS_NAME",
+        "PhaseGate",
+        "READINESS_SCORED_PROFILES",
+        "REQUIRED_PATTERNS",
+        "RULES_VERSION",
+        "RULE_HELP",
+        "RULE_TO_DIMENSION",
+        "RULE_TO_PHASE",
+        "ReadinessDimension",
+        "ReadinessReport",
+        "ReadinessScore",
+        "RealRefSchema",
+        "RepoRelativePathSchema",
+        "ReqKind",
+        "RuleSeverity",
+        "RuleViolation",
+        "SC_RULES",
+        "TRACE_PATTERNS",
+        "TestRefSchema",
+        "TestRefsSchema",
+        "TestResult",
+        "Trace",
+        "TraceType",
+        "UC_RULES",
+        "V3_RULES",
+        "VIEW_RULES",
+        "VerificationMethod",
+        "ViolationCandidate",
+        "ViolationContext",
+        "actionPriority",
+        "allocationCohesion",
+        "apMethod",
+        "attributeTypeOf",
+        "bq01Unambiguous",
+        "bq02Verifiable",
+        "bq04Necessary",
+        "bq06Conforming",
+        "bq07Complete",
+        "bw02WhiteboxWidth",
+        "cl01ConopsCompleteness",
+        "cr01CrossingFlowCount",
+        "crossingContractCount",
+        "decomposedFuncs",
+        "evaluateAFRules",
+        "evaluateAORules",
+        "evaluateAllRules",
+        "evaluateBQRules",
+        "evaluateCRRules",
+        "evaluateConformanceRules",
+        "evaluateFCRules",
+        "evaluateFMRules",
+        "evaluateMTRules",
+        "evaluateNDRules",
+        "evaluateRules",
+        "evaluateSCRules",
+        "evaluateUCRules",
+        "evaluateViewRules",
+        "extractFormatE",
+        "fc02LeafUcHasFchain",
+        "fc03FchainFlat",
+        "fc04ActorBounded",
+        "fm01MissingFmeaAttributes",
+        "fm02MissingMitigation",
+        "fm03HighRiskUnverified",
+        "funcSimilarity",
+        "getRuleDefsForProfile",
+        "hydrateAttrValue",
+        "importCoverage",
+        "indexOf",
+        "io01CrossModuleCompleteness",
+        "isElementUid",
+        "isValidTrace",
+        "jaccard",
+        "maxOccurs",
+        "minOccurs",
+        "moduleCrossings",
+        "moduleMetrics",
+        "mt01Instability",
+        "mt02Lcom4",
+        "nd01FuncNearDuplicate",
+        "nd02SchemaNearDuplicate",
+        "nfr01BudgetOvershoot",
+        "normalizeReqKinds",
+        "pairsAbove",
+        "parseElementUid",
+        "parseFormatE",
+        "sc02IsReferenced",
+        "schemaSimilarity",
+        "serializeToFormatE",
+        "setBQ04SimilarityMatrix",
+        "subtreeFuncs",
+        "toElementUid",
+        "toEvaluableGraph",
+        "tokens",
+        "traceRejection",
+        "tryParseElementUid",
+        "uc01HasRequirements",
+        "uc02HasActor",
+        "uc03HasScenario",
+        "uc04GoalDefined",
+        "uc05HasPostcondition",
+        "uc06HasPrecondition",
+        "vr01TestNoResult",
+        "whiteboxContractCount",
+    ],
 };

package/dist/se/index.d.ts

@@ -3,11 +3,11 @@
  * Single source of truth for SE ontology schemas across all projects.
  */
 /** Ontology schema version (element types + trace types). */
-export declare const ONTOLOGY_VERSION = "8.0.0";
+export declare const ONTOLOGY_VERSION = "9.0.0";
 /** Rules engine version (validation rules incl. RC conformance). */
-export declare const RULES_VERSION = "9.1.0";
+export declare const RULES_VERSION = "19.2.0";
 /** Meta-model version (trace pattern constraints + format-e parser). */
-export declare const META_MODEL_VERSION = "4.0.0";
+export declare const META_MODEL_VERSION = "5.0.0";
 export * from './ontology.js';
 export * from './rules.js';
 export * from './conformance-rules.js';
@@ -21,7 +21,10 @@ export * from './fmea-rules.js';
 export * from './view-rules.js';
 export * from './cr-quality-rules.js';
 export * from './near-duplicate-rules.js';
+export * from './similarity.js';
 export * from './ao-rules.js';
+export * from './rule-help.js';
+export * from './module-crossings.js';
 export * from './quality-rules.js';
 export * from './analysis-freshness-rules.js';
 export * from './evaluate-all.js';