@sigloch/contracts 10.0.0 → 10.2.0

package/dist/se/conformance-rules.d.ts

@@ -57,6 +57,18 @@ export interface ConformanceRuleDefinition {
     id: string;
     name: string;
     severity: RuleSeverity;
+    /**
+     * CR-SM-305: die Grundgesamtheit, ueber die die Regel meldet — dieselbe Bedeutung wie an
+     * jeder Katalogregel (CR-SM-235), damit RC in `ALL_RULE_DEFS` stehen kann, ohne dass ein
+     * Feld erfunden werden muss.
+     *
+     * GEMESSEN, nicht gesetzt: RC-01 meldet 10x an FUNC, RC-04 4x an SCHEMA, RC-05 5x an MOD
+     * ueber fuenf Familien-Repos; RC-02/RC-03 sind dort still und ihr Typ ist aus der Schleife
+     * gelesen (`el.type !== 'TEST'` / `'SCHEMA'`). RC-06 laeuft ueber jedes Element mit
+     * `external` + `realRef`, und genau drei Typen duerfen diese Attribute tragen
+     * (`ELEMENT_ATTRIBUTES`): FUNC, MOD, SCHEMA.
+     */
+    domain: readonly string[];
     evaluate: (graph: OntologyGraph, facts: CodeFacts) => RuleViolation[];
 }
 /**

package/dist/se/conformance-rules.js

@@ -450,12 +450,12 @@ function externalRefMustNameDependency(graph, facts) {
 }
 /** All RC conformance rules — evaluated by executors that can supply CodeFacts. */
 export const CODE_CONFORMANCE_RULES = [
-    { id: 'RC-01', name: 'FUNC realRef resolves to a declared symbol', severity: 'error', evaluate: codeRefMustResolve },
-    { id: 'RC-02', name: 'testRefs entries resolve to runnable tests', severity: 'error', evaluate: testRefMustResolve },
-    { id: 'RC-03', name: 'SCHEMA realRef resolves to a declared export', severity: 'error', evaluate: schemaRefMustResolve },
-    { id: 'RC-04', name: 'SCHEMA realRef is parsed at its interface', severity: 'warning', evaluate: schemaRefMustBeUsed },
-    { id: 'RC-05', name: 'cross-module import drift', severity: 'warning', evaluate: importDriftConformance },
-    { id: 'RC-06', name: 'external realRef names a declared dependency', severity: 'warning', evaluate: externalRefMustNameDependency },
+    { id: 'RC-01', name: 'FUNC realRef resolves to a declared symbol', severity: 'error', domain: ['FUNC'], evaluate: codeRefMustResolve },
+    { id: 'RC-02', name: 'testRefs entries resolve to runnable tests', severity: 'error', domain: ['TEST'], evaluate: testRefMustResolve },
+    { id: 'RC-03', name: 'SCHEMA realRef resolves to a declared export', severity: 'error', domain: ['SCHEMA'], evaluate: schemaRefMustResolve },
+    { id: 'RC-04', name: 'SCHEMA realRef is parsed at its interface', severity: 'warning', domain: ['SCHEMA'], evaluate: schemaRefMustBeUsed },
+    { id: 'RC-05', name: 'cross-module import drift', severity: 'warning', domain: ['MOD'], evaluate: importDriftConformance },
+    { id: 'RC-06', name: 'external realRef names a declared dependency', severity: 'warning', domain: ['FUNC', 'MOD', 'SCHEMA'], evaluate: externalRefMustNameDependency },
 ];
 /** Run all RC rules against a graph + extracted code facts. */
 export function evaluateConformanceRules(graph, facts) {

package/dist/se/evaluate-all.d.ts

@@ -14,7 +14,7 @@ import type { MetricPolicy } from './policy.js';
  * wenn es keine zweite gibt.
  */
 /** Profile groupings — see CATALOGS. */
-export type ProfileId = 'default' | 'se' | 'coding';
+export type ProfileId = 'default' | 'se' | 'coding' | 'conformance';
 export declare const ALL_RULE_DEFS: ReadonlyArray<{
     id: string;
     name: string;

package/dist/se/evaluate-all.js

@@ -11,6 +11,7 @@ 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';
 /**
  * CR-SM-285: das Profil haengt am KATALOG, nicht am ID-Praefix.
  *
@@ -38,6 +39,26 @@ const CATALOGS = [
     // 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) {

package/dist/se/function-criticality.d.ts

@@ -0,0 +1,75 @@
+/**
+ * CR-SM-314 — wie kritisch ist eine Funktion? Ketten und Use Cases, als ZAHL.
+ *
+ * Die Frage stammt aus dem Betrieb und hat drei Abnehmer, die bis hierher jeder fuer sich
+ * geraten haben: **Blast Radius** einer Aenderung, **Kritikalitaet** einer Funktion,
+ * **Rollout-Reihenfolge**. Alle drei fragen dasselbe: an wie vielen Wirkketten haengt dieses
+ * Stueck, und wie viele Use Cases stehen dahinter.
+ *
+ * ## Die Definition ist GELIEHEN, nicht neu
+ *
+ * "Eine FUNC ist in einer Kette" heisst hier woertlich, was R-30 darunter versteht: eine
+ * direkte `FCHAIN -compose-> FUNC`-Kante. Keine Vererbung ueber compose-Vorfahren.
+ *
+ * Der Rollup wurde GEMESSEN und VERWORFEN: ueber 17 Familiengraphen haetten Vorfahren-Ketten
+ * die Grundgesamtheit von 224 auf 227 FUNCs gehoben — drei Stueck. Er kauft nichts und waere
+ * eine ZWEITE Vorstellung davon, wozu eine Funktion gehoert, neben R-30s. Genau die Drift, gegen
+ * die `module-crossings.ts` gebaut wurde (CR-SM-276). Ein zerlegter Block misst deshalb 0, und
+ * das ist richtig: FC-03 verbietet ein Kettenglied mit verschachtelter Zerlegung, ein Block KANN
+ * die Kante gar nicht tragen.
+ *
+ * ## Diese Datei URTEILT NICHT
+ *
+ * Kein `infrastructure`-Flag, keine Schwelle, keine Severity. Ein Flag waere ein Urteil in der
+ * MESSUNG, und die Schwelle gehoert in `MetricPolicy` (`criticality.infrastructure`) — dieselbe
+ * Trennung, die `moduleMetrics` gegen MT-01/MT-02 haelt: die Zahl steht in jeder Zeile, ob eine
+ * Regel sie liest oder nicht.
+ *
+ * ## Warum sie nur `ontology` und `graph-index` importiert
+ *
+ * Damit `rules.ts` sie konsumieren darf. R-21 braucht dieselbe Kettenzahl fuer seine
+ * Infrastruktur-Ausnahme (CR-SM-313); rechnete die Regel sie selbst, haetten wir zwei
+ * Kettenbegriffe im selben Paket. EINE Rechnung, ZWEI Abnehmer — Vorbild `module-crossings.ts`,
+ * das aus demselben Grund keinen Regelcode importiert.
+ *
+ * ## Gemessen (17 Familiengraphen, 2026-09-12)
+ *
+ * 278 FUNCs liegen in mindestens einer Kette: 224 in genau einer, 37 in zwei, 6 in drei, 8 in
+ * vier, je eine in fuenf, sechs und elf. Ein duenner Schwanz ohne Plateau — aus der FORM dieser
+ * Verteilung ist keine Schwelle abzulesen (derselbe Befund wie bei `instability`, CR-SM-293).
+ * Ablesbar ist sie an ihrer WIRKUNG, und das steht bei `criticality` in der Policy.
+ *
+ * @author andreas@siglochconsulting
+ */
+import type { OntologyGraph } from './ontology.js';
+/** Eine Zeile je FUNC — mit Schwelle oder ohne, wie `ModuleMetrics` je MOD (CR-SM-232). */
+export interface FunctionCriticality {
+    funcId: string;
+    funcName: string;
+    /**
+     * Wirkketten, die diese FUNC komponieren — R-30s Definition: direkte
+     * `FCHAIN -compose-> FUNC`-Kante, keine Vererbung ueber Vorfahren.
+     *
+     * `0` ist eine AUSSAGE, kein fehlender Wert: bei einem Blatt ist es R-30s Befund, bei einem
+     * zerlegten Block der von FC-03 erzwungene Normalzustand. Wer die beiden unterscheiden muss,
+     * fragt `decomposedFuncs()` — diese Datei tut es bewusst nicht (sie waere sonst an `rules.ts`
+     * gebunden und fuer `rules.ts` nicht mehr importierbar).
+     */
+    chains: number;
+    /**
+     * Use Cases, die ueber diese Ketten an der FUNC haengen (`UC -compose-> FCHAIN`).
+     *
+     * Nicht aus `chains` ableitbar und auch nicht dasselbe: eine FUNC in drei Ketten EINES Use
+     * Case ist etwas anderes als eine in drei Ketten dreier Use Cases. Gemessen an graphcode
+     * faellt die Zahl regelmaessig kleiner aus als `chains` (FUNC-mutate: 11 Ketten, 7 UCs).
+     */
+    useCases: number;
+}
+/**
+ * Kritikalitaet je FUNC, kritischste zuerst.
+ *
+ * Die Rangfolge IST das Signal (wie bei `moduleMetrics`): absteigend nach Ketten, dann nach Use
+ * Cases, dann stabil nach `funcId`. Eine Zeile je FUNC — auch fuer die mit 0, sonst waere die
+ * Abwesenheit eines Wertes von der Abwesenheit der Funktion nicht zu unterscheiden.
+ */
+export declare function functionCriticality(graph: OntologyGraph): FunctionCriticality[];

package/dist/se/function-criticality.js

@@ -0,0 +1,50 @@
+import { indexOf } from './graph-index.js';
+/**
+ * Kritikalitaet je FUNC, kritischste zuerst.
+ *
+ * Die Rangfolge IST das Signal (wie bei `moduleMetrics`): absteigend nach Ketten, dann nach Use
+ * Cases, dann stabil nach `funcId`. Eine Zeile je FUNC — auch fuer die mit 0, sonst waere die
+ * Abwesenheit eines Wertes von der Abwesenheit der Funktion nicht zu unterscheiden.
+ */
+export function functionCriticality(graph) {
+    const idx = indexOf(graph);
+    const funcs = idx.elementsOfType('FUNC');
+    const typeOf = new Map(graph.elements.map((e) => [e.id, e.type]));
+    const funcIds = new Set(funcs.map((f) => f.id));
+    const compose = idx.tracesOfType('compose');
+    // FUNC -> seine Ketten. R-30s Fassung, woertlich.
+    const chainsOf = new Map();
+    for (const t of compose) {
+        if (typeOf.get(t.source) !== 'FCHAIN' || !funcIds.has(t.target))
+            continue;
+        let s = chainsOf.get(t.target);
+        if (!s) {
+            s = new Set();
+            chainsOf.set(t.target, s);
+        }
+        s.add(t.source);
+    }
+    // FCHAIN -> seine Use Cases.
+    const ucsOf = new Map();
+    for (const t of compose) {
+        if (typeOf.get(t.source) !== 'UC' || typeOf.get(t.target) !== 'FCHAIN')
+            continue;
+        let s = ucsOf.get(t.target);
+        if (!s) {
+            s = new Set();
+            ucsOf.set(t.target, s);
+        }
+        s.add(t.source);
+    }
+    const rows = funcs.map((fn) => {
+        const chains = chainsOf.get(fn.id) ?? new Set();
+        const ucs = new Set();
+        for (const ch of chains)
+            for (const uc of ucsOf.get(ch) ?? [])
+                ucs.add(uc);
+        return { funcId: fn.id, funcName: fn.name, chains: chains.size, useCases: ucs.size };
+    });
+    return rows.sort((a, b) => b.chains - a.chains ||
+        b.useCases - a.useCases ||
+        (a.funcId < b.funcId ? -1 : a.funcId > b.funcId ? 1 : 0));
+}

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

@@ -13,15 +13,16 @@ export declare const GRAMMAR_SNAPSHOT: {
     readonly versions: {
         readonly ontology: "9.0.0";
         readonly metaModel: "5.0.0";
-        readonly rules: "19.0.0";
+        readonly rules: "24.0.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 [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]", "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]", "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 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]", "IO-02 (error) domain=[FLOW]", "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,FUNC]", "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]", "RD-05 (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 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", "REQUIRED_PATTERNS", "RULES_VERSION", "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", "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", "moduleMetrics", "mt01Instability", "mt02Lcom4", "nd01FuncNearDuplicate", "nd02SchemaNearDuplicate", "nfr01BudgetOvershoot", "normalizeReqKinds", "pairsAbove", "parseElementUid", "parseFormatE", "sc02IsReferenced", "schemaSimilarity", "serializeToFormatE", "setBQ04SimilarityMatrix", "toElementUid", "toEvaluableGraph", "tokens", "traceRejection", "tryParseElementUid", "uc01HasRequirements", "uc02HasActor", "uc03HasScenario", "uc04GoalDefined", "uc05HasPostcondition", "uc06HasPrecondition", "vr01TestNoResult"];
+    readonly policy: readonly ["apTable = null", "boundaryWidth = {warning:5}", "criticality = {infrastructure:3}", "crossingFlows = {warning:3}", "decompositionBreadth = {min:3,warning:9}", "instability = null", "lcom4 = {info:4,warning:6}", "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", "IO-02", "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", "RD-05", "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", "functionCriticality", "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

@@ -13,7 +13,7 @@ export const GRAMMAR_SNAPSHOT = {
     versions: {
         ontology: "9.0.0",
         metaModel: "5.0.0",
-        rules: "19.0.0",
+        rules: "24.0.0",
     },
     elementTypes: [
         "ACTOR",
@@ -143,6 +143,7 @@ export const GRAMMAR_SNAPSHOT = {
         "FM-02 (warning) domain=[REQ]",
         "FM-03 (error) domain=[REQ]",
         "IO-01 (warning) domain=[FUNC]",
+        "IO-02 (error) domain=[FLOW]",
         "MS-01 (warning) domain=[MS]",
         "MS-02 (error) domain=[MS]",
         "MS-03 (info) domain=[CR]",
@@ -164,17 +165,24 @@ export const GRAMMAR_SNAPSHOT = {
         "R-18 (error) domain=[all]",
         "R-19 (warning) domain=[TEST]",
         "R-20 (warning) domain=[FUNC]",
-        "R-21 (warning) domain=[FCHAIN]",
+        "R-21 (warning) domain=[FCHAIN,FUNC]",
         "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]",
+        "RD-05 (warning) domain=[FUNC,MOD,SYS]",
         "SC-02 (warning) domain=[SCHEMA]",
         "UC-01 (error) domain=[UC]",
         "UC-02 (error) domain=[UC]",
@@ -195,13 +203,86 @@ export const GRAMMAR_SNAPSHOT = {
     policy: [
         "apTable = null",
         "boundaryWidth = {warning:5}",
+        "criticality = {infrastructure:3}",
         "crossingFlows = {warning:3}",
-        "decompositionBreadth = {warning:9}",
+        "decompositionBreadth = {min:3,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",
+        "IO-02",
+        "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",
+        "RD-05",
+        "SC-02",
+        "UC-01",
+        "UC-02",
+        "UC-03",
+        "UC-04",
+        "UC-05",
+        "UC-06",
+        "VR-01",
+    ],
     exports: [
         "AF_RULES",
         "ALL_RULE_DEFS",
@@ -237,8 +318,10 @@ export const GRAMMAR_SNAPSHOT = {
         "OntologyGraph",
         "PHASE_READINESS_NAME",
         "PhaseGate",
+        "READINESS_SCORED_PROFILES",
         "REQUIRED_PATTERNS",
         "RULES_VERSION",
+        "RULE_HELP",
         "RULE_TO_DIMENSION",
         "RULE_TO_PHASE",
         "ReadinessDimension",
@@ -274,6 +357,7 @@ export const GRAMMAR_SNAPSHOT = {
         "bw02WhiteboxWidth",
         "cl01ConopsCompleteness",
         "cr01CrossingFlowCount",
+        "crossingContractCount",
         "decomposedFuncs",
         "evaluateAFRules",
         "evaluateAORules",
@@ -297,6 +381,7 @@ export const GRAMMAR_SNAPSHOT = {
         "fm02MissingMitigation",
         "fm03HighRiskUnverified",
         "funcSimilarity",
+        "functionCriticality",
         "getRuleDefsForProfile",
         "hydrateAttrValue",
         "importCoverage",
@@ -307,6 +392,7 @@ export const GRAMMAR_SNAPSHOT = {
         "jaccard",
         "maxOccurs",
         "minOccurs",
+        "moduleCrossings",
         "moduleMetrics",
         "mt01Instability",
         "mt02Lcom4",
@@ -321,6 +407,7 @@ export const GRAMMAR_SNAPSHOT = {
         "schemaSimilarity",
         "serializeToFormatE",
         "setBQ04SimilarityMatrix",
+        "subtreeFuncs",
         "toElementUid",
         "toEvaluableGraph",
         "tokens",
@@ -333,5 +420,6 @@ export const GRAMMAR_SNAPSHOT = {
         "uc05HasPostcondition",
         "uc06HasPrecondition",
         "vr01TestNoResult",
+        "whiteboxContractCount",
     ],
 };

package/dist/se/index.d.ts

@@ -5,7 +5,7 @@
 /** Ontology schema version (element types + trace types). */
 export declare const ONTOLOGY_VERSION = "9.0.0";
 /** Rules engine version (validation rules incl. RC conformance). */
-export declare const RULES_VERSION = "19.0.0";
+export declare const RULES_VERSION = "24.0.0";
 /** Meta-model version (trace pattern constraints + format-e parser). */
 export declare const META_MODEL_VERSION = "5.0.0";
 export * from './ontology.js';
@@ -23,6 +23,14 @@ 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';
+/**
+ * CR-SM-314: Kritikalitaet je FUNC (Ketten + Use Cases). Wie `module-crossings` eine reine
+ * Rechnung ohne Regelcode — deshalb darf `rules.ts` sie importieren (R-21s Infrastruktur-
+ * Ausnahme, CR-SM-313) und es gibt nur EINEN Kettenbegriff im Paket.
+ */
+export * from './function-criticality.js';
 export * from './quality-rules.js';
 export * from './analysis-freshness-rules.js';
 export * from './evaluate-all.js';