@sigloch/contracts 10.9.0 → 10.12.0

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

@@ -10,7 +10,7 @@ export function uc01HasRequirements(graph) {
         .filter(uc => !idx.out(uc.id, 'compose').some(t => idx.typeOf(t.target) === 'REQ'))
         .map(uc => ({
         rule_id: 'UC-01',
-        severity: 'error',
+        severity: 'warning',
         element_id: uc.id,
         message: `${uc.id} has no requirements (compose→REQ)`,
         fix_hint: 'Add at least one REQ via compose trace',
@@ -67,7 +67,7 @@ export function uc02HasActor(graph) {
         .filter(uc => !idx.out(uc.id, 'compose').some(chain => idx.out(chain.target, 'compose').some(member => actorFacingFuncs.has(member.target))))
         .map(uc => ({
         rule_id: 'UC-02',
-        severity: 'error',
+        severity: 'warning',
         element_id: uc.id,
         message: `${uc.id} is not reachable from any ACTOR`,
         fix_hint: 'Wire an ACTOR to a FLOW that feeds (or is fed by) a FUNC in one of this UC\'s function chains',
@@ -112,53 +112,15 @@ export function uc04GoalDefined(graph) {
     }));
 }
 // ---------------------------------------------------------------------------
-// UC-05: UC should have postcondition REQ (CR-165: compose only, satisfy UC→REQ invalid)
-// ---------------------------------------------------------------------------
-export function uc05HasPostcondition(graph) {
-    const idx = indexOf(graph);
-    return idx.elementsOfType('UC')
-        .filter(uc => !idx.out(uc.id, 'compose').some(t => {
-        const target = idx.byId.get(t.target);
-        return target?.type === 'REQ' && target.kinds?.includes('postcondition');
-    }))
-        .map(uc => ({
-        rule_id: 'UC-05',
-        severity: 'info',
-        element_id: uc.id,
-        message: `${uc.id} has no postcondition requirement`,
-        fix_hint: 'Add a REQ with kinds=["postcondition"] via compose trace',
-        context: { element_type: uc.type, element_name: uc.name },
-    }));
-}
-// ---------------------------------------------------------------------------
-// UC-06: UC should have precondition REQ (CR-165: compose only, satisfy UC→REQ invalid)
-// ---------------------------------------------------------------------------
-export function uc06HasPrecondition(graph) {
-    const idx = indexOf(graph);
-    return idx.elementsOfType('UC')
-        .filter(uc => !idx.out(uc.id, 'compose').some(t => {
-        const target = idx.byId.get(t.target);
-        return target?.type === 'REQ' && target.kinds?.includes('precondition');
-    }))
-        .map(uc => ({
-        rule_id: 'UC-06',
-        severity: 'info',
-        element_id: uc.id,
-        message: `${uc.id} has no precondition requirement`,
-        fix_hint: 'Add a REQ with kinds=["precondition"] via compose trace',
-        context: { element_type: uc.type, element_name: uc.name },
-    }));
-}
-// ---------------------------------------------------------------------------
 // Aggregated
 // ---------------------------------------------------------------------------
+// CR-SM-357: UC-05/UC-06 (Pre-/Postcondition-REQ) sind gestrichen — Schreibregel in se:author-uc,
+// wie BQ in author-req (CR-GC-602): sie feuerten an fast jedem UC, und niemand handelte darauf.
 export const UC_RULES = [
-    { id: 'UC-01', name: 'UC has requirements', severity: 'error', evaluate: uc01HasRequirements, domain: ['UC'] },
-    { id: 'UC-02', name: 'UC has actor', severity: 'error', evaluate: uc02HasActor, domain: ['UC'] },
+    { id: 'UC-01', name: 'UC has requirements', severity: 'warning', evaluate: uc01HasRequirements, domain: ['UC'] },
+    { id: 'UC-02', name: 'UC has actor', severity: 'warning', evaluate: uc02HasActor, domain: ['UC'] },
     { id: 'UC-03', name: 'UC has scenario', severity: 'warning', evaluate: uc03HasScenario, domain: ['UC'] },
     { id: 'UC-04', name: 'UC has goal', severity: 'warning', evaluate: uc04GoalDefined, domain: ['UC'] },
-    { id: 'UC-05', name: 'UC has postcondition', severity: 'info', evaluate: uc05HasPostcondition, domain: ['UC'] },
-    { id: 'UC-06', name: 'UC has precondition', severity: 'info', evaluate: uc06HasPrecondition, domain: ['UC'] },
 ];
 // CR-SM-236: `policy` wird durchgereicht, auch wo diese Familie heute keine Schwelle hat —
 // ein Sonderweg je Familie waere genau der zweite Pfad, den der Regelsatz verbietet.

package/dist/se/view-rules.js

@@ -3,7 +3,7 @@
  * VR-01: TEST with a testRefs entry that has no result (info).
  * CL-01: ACTOR without UCs in at least 2 distinct operatingModes (warning).
  */
-import { TestRefsSchema } from './ontology.js';
+import { readTestRefs } from './ontology.js';
 // ---------------------------------------------------------------------------
 // VR-01: ein testRefs-Eintrag ohne Ergebnis
 //
@@ -20,17 +20,17 @@ export function vr01TestNoResult(graph) {
     for (const el of graph.elements) {
         if (el.type !== 'TEST')
             continue;
-        const parsed = TestRefsSchema.safeParse(el.attributes?.testRefs);
-        if (!parsed.success)
+        const parsed = readTestRefs(el.attributes);
+        if (parsed.state !== 'bound')
             continue; // keine/ungueltige Bindung → R-19-Gebiet
-        const pending = parsed.data.filter(ref => ref.result === undefined);
+        const pending = parsed.value.filter(ref => ref.result === undefined);
         if (pending.length === 0)
             continue;
         violations.push({
             rule_id: 'VR-01',
             severity: 'info',
             element_id: el.id,
-            message: `${el.id} has ${pending.length} of ${parsed.data.length} testRefs entries without a result — assumed pending: ${pending.map(r => r.file).join(', ')}`,
+            message: `${el.id} has ${pending.length} of ${parsed.value.length} testRefs entries without a result — assumed pending: ${pending.map(r => r.file).join(', ')}`,
             fix_hint: 'Record the run outcome on the entry (result, ranAt, evidence) — a binding without a result is not evidence',
         });
     }

package/package.json

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