@sigloch/se-engine 1.7.0 → 1.7.1

package/dist/fix-templates.js

@@ -34,7 +34,7 @@
  * Element-Erzeugung braucht (FCHAIN, REQ-Pre/Postcondition, TEST), sind mit
  * additiven Kanten prinzipiell nicht ausdrückbar — bewusst kein Template.
  */
-import { isValidTrace, BOUNDED_PATTERNS, REQUIRED_PATTERNS, maxOccurs, schemaSimilarity } from '@sigloch/contracts/se';
+import { isValidTrace, flowProducers, BOUNDED_PATTERNS, REQUIRED_PATTERNS, maxOccurs, schemaSimilarity } from '@sigloch/contracts/se';
 function byId(g, id) {
     return g.elements.find((e) => e.id === id);
 }
@@ -139,6 +139,28 @@ function relationToMentioned(types) {
  * von mehreren" wäre geraten — und ein falsch alloziertes FUNC verfälscht
  * `coherence`/`modifiability`, also genau die Zahlen, auf denen das Ranking sitzt.
  */
+/**
+ * Der vierte Waechter: wuerde diese Kante einen ZWEITEN Produzenten an einen FLOW haengen?
+ * (CR-SM-347)
+ *
+ * `isValidTrace` prueft die Grammatik, `retireFor` die Obergrenze aus `BOUNDED_PATTERNS` —
+ * IO-02 faellt durch beide: die vier io-Zeilen tragen kein `cardinality`-Feld, und
+ * Kardinalitaet begrenzt ohnehin die QUELL-, nicht die ZIEL-Seite. Ohne diesen Riegel schlug
+ * die R-31-Vorlage im Release 1.7.0 eine Kante vor, die das Gate mit `IO-02:error` abwies.
+ * Dieselbe Klasse wie der kinds-Riegel aus CR-SM-342, nur fuer eine Mengen- statt einer
+ * Grammatikregel.
+ *
+ * Das Praedikat kommt AUS der Regel (`flowProducers` in contracts), nicht aus einem Nachbau
+ * hier — zwei Fassungen derselben Mengenfrage waeren die zweite Wahrheit aus CR-SM-286/-302.
+ * Nur die Produzentenrichtung ist begrenzt: `FLOW -io-> FUNC` (ein weiterer Leser) bleibt
+ * frei, das ist die normale 1:n-Form.
+ */
+function wuerdeZweitenProduzentenSchaffen(g, source, target, traceType) {
+    if (traceType !== 'io' || target.type !== 'FLOW')
+        return false;
+    const producers = flowProducers(g).get(target.id);
+    return !!producers && producers.size >= 1 && !producers.has(source.id);
+}
 function edgeToMentioned(opts) {
     return (v, g) => {
         const el = byId(g, v.element_id);
@@ -164,6 +186,8 @@ function edgeToMentioned(opts) {
             // entscheidet, ob der Edit ein Anhängen (kein retire), ein Umhängen
             // (genau ein retire) oder nicht ausdrückbar ist ('blocked' → nächster
             // Kandidat; Option C statt eines Edits, den das Gate sicher abweist).
+            if (wuerdeZweitenProduzentenSchaffen(g, source, target, opts.traceType))
+                continue;
             const retire = retireFor(g, source, target, opts.traceType);
             if (retire === 'blocked')
                 continue;
@@ -227,6 +251,8 @@ function edgeToCandidate(opts) {
                 sourceKinds: source.kinds, targetKinds: target.kinds,
             }))
                 continue;
+            if (wuerdeZweitenProduzentenSchaffen(g, source, target, opts.traceType))
+                continue;
             const retire = retireFor(g, source, target, opts.traceType);
             if (retire === 'blocked')
                 continue;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sigloch/se-engine",
-  "version": "1.7.0",
+  "version": "1.7.1",
   "type": "module",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",
@@ -42,9 +42,9 @@
     "access": "public"
   },
   "peerDependencies": {
-    "@sigloch/contracts": ">=10 <11"
+    "@sigloch/contracts": ">=10.8 <11"
   },
   "devDependencies": {
-    "@sigloch/contracts": ">=10 <11"
+    "@sigloch/contracts": ">=10.8 <11"
   }
 }