@sigloch/contracts 10.7.0 → 10.8.0

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

@@ -24,5 +24,5 @@ export declare const GRAMMAR_SNAPSHOT: {
     readonly conformanceRules: readonly ["RC-01 (error)", "RC-02 (error)", "RC-03 (error)", "RC-04 (warning)", "RC-05 (warning)", "RC-06 (warning)", "RC-07 (warning)"];
     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", "MT-04", "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", "R-32", "RC-01", "RC-02", "RC-03", "RC-04", "RC-05", "RC-06", "RC-07", "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", "CLOSED_STATUS", "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", "SteerSpace", "SteerTerm", "TRACE_PATTERNS", "TestRefSchema", "TestRefsSchema", "TestResult", "Trace", "TraceType", "UC_RULES", "V3_RULES", "VIEW_RULES", "VerificationMethod", "ViolationCandidate", "ViolationContext", "actionPriority", "admittingAlternatives", "allocationCohesion", "apMethod", "attributeTypeOf", "boxContracts", "bq01Unambiguous", "bq02Verifiable", "bq04Necessary", "bq06Conforming", "bq07Complete", "bw02WhiteboxWidth", "chainsByFunc", "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", "funcSubtree", "functionCriticality", "getRuleDefsForProfile", "hydrateAttrValue", "importCoverage", "indexOf", "io01CrossModuleCompleteness", "isElementUid", "isValidTrace", "jaccard", "maxOccurs", "minOccurs", "moduleCrossings", "moduleMetrics", "mt01Instability", "mt02Lcom4", "mt04WhiteboxLcom4", "nd01FuncNearDuplicate", "nd02SchemaNearDuplicate", "nfr01BudgetOvershoot", "normalizeReqKinds", "pairsAbove", "parseElementUid", "sc02IsReferenced", "schemaSimilarity", "setBQ04SimilarityMatrix", "subtreeFuncs", "toElementUid", "toEvaluableGraph", "tokens", "traceRejection", "tryParseElementUid", "uc01HasRequirements", "uc02HasActor", "uc03HasScenario", "uc04GoalDefined", "uc05HasPostcondition", "uc06HasPrecondition", "vr01TestNoResult", "whiteboxContractCount"];
+    readonly exports: readonly ["AF_RULES", "ALL_RULE_DEFS", "AO_RULES", "ActionPriority", "AnalysisArtifactId", "AnalysisFreshnessStampSchema", "ApTableSchema", "BOUNDED_PATTERNS", "BQ_RULES", "CLOSED_STATUS", "CODE_CONFORMANCE_RULES", "CR_RULES", "CodeFactsSchema", "DEFAULT_METRIC_POLICY", "DIMENSION_READINESS_DELTA_NAME", "DIMENSION_READINESS_NAME", "ELEMENT_ATTRIBUTES", "ELEMENT_DESCRIPTIONS", "ElementType", "ElementUid", "FC_RULES", "flowProducers", "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", "SteerSpace", "SteerTerm", "TRACE_PATTERNS", "TestRefSchema", "TestRefsSchema", "TestResult", "Trace", "TraceType", "UC_RULES", "V3_RULES", "VIEW_RULES", "VerificationMethod", "ViolationCandidate", "ViolationContext", "actionPriority", "admittingAlternatives", "allocationCohesion", "apMethod", "attributeTypeOf", "boxContracts", "bq01Unambiguous", "bq02Verifiable", "bq04Necessary", "bq06Conforming", "bq07Complete", "bw02WhiteboxWidth", "chainsByFunc", "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", "funcSubtree", "functionCriticality", "getRuleDefsForProfile", "hydrateAttrValue", "importCoverage", "indexOf", "io01CrossModuleCompleteness", "isElementUid", "isValidTrace", "jaccard", "maxOccurs", "minOccurs", "moduleCrossings", "moduleMetrics", "mt01Instability", "mt02Lcom4", "mt04WhiteboxLcom4", "nd01FuncNearDuplicate", "nd02SchemaNearDuplicate", "nfr01BudgetOvershoot", "normalizeReqKinds", "pairsAbove", "parseElementUid", "sc02IsReferenced", "schemaSimilarity", "setBQ04SimilarityMatrix", "subtreeFuncs", "toElementUid", "toEvaluableGraph", "tokens", "traceRejection", "tryParseElementUid", "uc01HasRequirements", "uc02HasActor", "uc03HasScenario", "uc04GoalDefined", "uc05HasPostcondition", "uc06HasPrecondition", "vr01TestNoResult", "whiteboxContractCount"];
 };

package/dist/se/grammar-snapshot.js

@@ -314,6 +314,7 @@ export const GRAMMAR_SNAPSHOT = {
         "ElementType",
         "ElementUid",
         "FC_RULES",
+        "flowProducers",
         "FM_RULES",
         "FileFactsSchema",
         "ImportEdgeSchema",

package/dist/se/rules.d.ts

@@ -335,6 +335,24 @@ export interface RuleDefinition {
  * vierter Nutzer daran (MT-02, `metric-rules.ts`) — deshalb exportiert.
  */
 export declare function decomposedFuncs(graph: OntologyGraph): Set<string>;
+/**
+ * Die Produzentenmenge je FLOW — das Praedikat hinter IO-02, exportiert (CR-SM-347).
+ *
+ * Zwei io-Kanten derselben Quelle auf denselben FLOW sind EINE Quelle, kein Verstoss.
+ * Konsumenten werden bewusst nicht gezaehlt (Begruendung im Kopf von IO-02).
+ *
+ * WARUM EXPORTIERT: die Zug-Vorlagen muessen vor dem Vorschlag wissen, ob eine
+ * `X -io-> FLOW`-Kante den FLOW auf zwei Produzenten braechte — sonst schlagen sie einen Zug
+ * vor, den das Gate mit `IO-02:error` abweist (genau so geschehen mit der R-31-Vorlage im
+ * Release 1.7.0). Die Waechterkette in `edgeToCandidate` sieht diese Grenze sonst NICHT:
+ * `isValidTrace` prueft Grammatik, `retireFor` die Obergrenze aus `BOUNDED_PATTERNS` — und die
+ * vier io-Zeilen tragen kein `cardinality`-Feld, ausserdem begrenzt Kardinalitaet die QUELL-,
+ * nicht die ZIEL-Seite.
+ *
+ * Exportiert statt in se-engine nachgebaut: zwei Fassungen derselben Mengenfrage waeren genau
+ * die zweite Wahrheit, die CR-SM-286/-302 beseitigt haben.
+ */
+export declare function flowProducers(graph: OntologyGraph): Map<string, Set<string>>;
 export declare const V3_RULES: RuleDefinition[];
 /** Run all rules against a graph. CR-SM-236: `policy` ist Pflicht — wie bei `evaluateAllRules`. */
 export declare function evaluateRules(graph: OntologyGraph, policy: MetricPolicy): RuleViolation[];

package/dist/se/rules.js

@@ -461,12 +461,27 @@ function flowCompleteness(graph) {
 // umgelegten Ketten, nicht vom Auftrennen. Die Entscheidung oben steht; ein gemessener
 // Zielkonflikt mit BW-02 traegt sie nicht.
 // ---------------------------------------------------------------------------
-function flowSingleProducer(graph) {
+/**
+ * Die Produzentenmenge je FLOW — das Praedikat hinter IO-02, exportiert (CR-SM-347).
+ *
+ * Zwei io-Kanten derselben Quelle auf denselben FLOW sind EINE Quelle, kein Verstoss.
+ * Konsumenten werden bewusst nicht gezaehlt (Begruendung im Kopf von IO-02).
+ *
+ * WARUM EXPORTIERT: die Zug-Vorlagen muessen vor dem Vorschlag wissen, ob eine
+ * `X -io-> FLOW`-Kante den FLOW auf zwei Produzenten braechte — sonst schlagen sie einen Zug
+ * vor, den das Gate mit `IO-02:error` abweist (genau so geschehen mit der R-31-Vorlage im
+ * Release 1.7.0). Die Waechterkette in `edgeToCandidate` sieht diese Grenze sonst NICHT:
+ * `isValidTrace` prueft Grammatik, `retireFor` die Obergrenze aus `BOUNDED_PATTERNS` — und die
+ * vier io-Zeilen tragen kein `cardinality`-Feld, ausserdem begrenzt Kardinalitaet die QUELL-,
+ * nicht die ZIEL-Seite.
+ *
+ * Exportiert statt in se-engine nachgebaut: zwei Fassungen derselben Mengenfrage waeren genau
+ * die zweite Wahrheit, die CR-SM-286/-302 beseitigt haben.
+ */
+export function flowProducers(graph) {
     const idx = indexOf(graph);
     const flowIds = new Set(idx.idsOfType('FLOW'));
     const isEndpoint = (id) => { const t = idx.typeOf(id); return t === 'FUNC' || t === 'ACTOR'; };
-    // Produzenten je FLOW als MENGE: zwei io-Kanten derselben Quelle auf denselben FLOW sind
-    // eine Quelle, kein Verstoss. Konsumenten werden bewusst nicht gezaehlt (s. Kopf).
     const producers = new Map();
     for (const t of idx.tracesOfType('io')) {
         if (!flowIds.has(t.target) || !isEndpoint(t.source))
@@ -475,6 +490,11 @@ function flowSingleProducer(graph) {
             producers.set(t.target, new Set());
         producers.get(t.target).add(t.source);
     }
+    return producers;
+}
+function flowSingleProducer(graph) {
+    const idx = indexOf(graph);
+    const producers = flowProducers(graph);
     const violations = [];
     // Ueber die Elementliste laufen, nicht ueber die Map: die Reihenfolge eines Befundes darf
     // nicht an der Trace-Reihenfolge haengen (CR-SM-244, Ordnung).

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sigloch/contracts",
-  "version": "10.7.0",
+  "version": "10.8.0",
   "type": "module",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",