@sigloch/contracts 10.14.0 → 11.0.0

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

@@ -5,6 +5,7 @@
 import type { OntologyGraph } from './ontology.js';
 import type { RuleViolation } from './rules.js';
 import type { MetricPolicy } from './policy.js';
+import { type MarkType, type RuleRole, type RuleStage } from './readiness.js';
 /**
  * All prescribed rule definitions (single source of truth for the catalog).
  *
@@ -22,6 +23,10 @@ export declare const ALL_RULE_DEFS: ReadonlyArray<{
     domain: readonly string[];
     /** CR-SM-285: das Profil reist mit der Regel, statt aus ihrer ID geraten zu werden. */
     profile: Exclude<ProfileId, 'default'>;
+    /** CR-SM-395: Stufe und Rolle von der Regeldefinition; `mark` ist daraus BERECHNET (`null` bei `'immer'`). */
+    stage: RuleStage;
+    role?: RuleRole;
+    mark: MarkType | null;
 }>;
 export declare function getRuleDefsForProfile(profile: ProfileId): typeof ALL_RULE_DEFS;
 /**

package/dist/se/evaluate-all.js

@@ -12,6 +12,7 @@ import { AO_RULES } from './ao-rules.js';
 import { BQ_RULES } from './quality-rules.js';
 import { AF_RULES, TASK_OUTCOME_RULES } from './analysis-freshness-rules.js';
 import { CODE_CONFORMANCE_RULES } from './conformance-rules.js';
+import { markOfStage } from './readiness.js';
 /**
  * CR-SM-285: das Profil haengt am KATALOG, nicht am ID-Praefix.
  *
@@ -61,7 +62,7 @@ const CATALOGS = [
      */
     { 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 const ALL_RULE_DEFS = CATALOGS.flatMap(({ profile, rules }) => rules.map(r => ({ id: r.id, name: r.name, severity: r.severity, domain: r.domain, profile, stage: r.stage, role: r.role, mark: markOfStage(r.stage) })));
 export function getRuleDefsForProfile(profile) {
     if (profile === 'default')
         return ALL_RULE_DEFS;

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

@@ -230,13 +230,13 @@ export function fc05ChainConnected(graph) {
 // Aggregated
 // ---------------------------------------------------------------------------
 export const FC_RULES = [
-    { id: 'FC-02', name: 'Leaf UC has FCHAIN', severity: 'warning', evaluate: fc02LeafUcHasFchain, domain: ['UC'] },
+    { id: 'FC-02', name: 'Leaf UC has FCHAIN', severity: 'warning', stage: 2, 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:
     // eine Kette mit n verschachtelten FUNCs erzeugt n Verstoesse gegen einen Beitrag von 1.
-    { id: 'FC-03', name: 'FCHAIN is flat', severity: 'warning', evaluate: fc03FchainFlat, domain: ['FUNC'] },
-    { id: 'FC-04', name: 'FCHAIN actor-bounded (trigger+consumer)', severity: 'warning', evaluate: fc04ActorBounded, domain: ['FCHAIN'] },
-    { id: 'FC-05', name: 'FCHAIN is connected (producer -> consumer)', severity: 'warning', evaluate: fc05ChainConnected, domain: ['FCHAIN'] },
+    { id: 'FC-03', name: 'FCHAIN is flat', severity: 'warning', stage: 5, evaluate: fc03FchainFlat, domain: ['FUNC'] },
+    { id: 'FC-04', name: 'FCHAIN actor-bounded (trigger+consumer)', severity: 'warning', stage: 6, evaluate: fc04ActorBounded, domain: ['FCHAIN'] },
+    { id: 'FC-05', name: 'FCHAIN is connected (producer -> consumer)', severity: 'warning', stage: 6, evaluate: fc05ChainConnected, domain: ['FCHAIN'] },
 ];
 // 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/fmea-rules.js

@@ -174,14 +174,14 @@ export function nfr01BudgetOvershoot(graph) {
 // Aggregated array & convenience runner
 // ---------------------------------------------------------------------------
 export const FM_RULES = [
-    { id: 'FM-01', name: 'RiskReqFmeaAttributes', severity: 'warning', evaluate: fm01MissingFmeaAttributes, domain: ['REQ'] },
-    { id: 'FM-02', name: 'RiskReqMitigation', severity: 'warning', evaluate: fm02MissingMitigation, domain: ['REQ'] },
-    { id: 'FM-03', name: 'HighRiskVerification', severity: 'warning', evaluate: fm03HighRiskUnverified, domain: ['REQ'] },
+    { id: 'FM-01', name: 'RiskReqFmeaAttributes', severity: 'warning', stage: 3, evaluate: fm01MissingFmeaAttributes, domain: ['REQ'] },
+    { id: 'FM-02', name: 'RiskReqMitigation', severity: 'warning', stage: 3, evaluate: fm02MissingMitigation, domain: ['REQ'] },
+    { id: 'FM-03', name: 'HighRiskVerification', severity: 'warning', stage: 9, evaluate: fm03HighRiskUnverified, domain: ['REQ'] },
     // CR-SM-243: die Regel prueft drei Typen, nicht einen — physische Budgets am MOD
     // (PHYSICAL_BUDGET_TYPES), Verhaltensbudgets an FUNC und FCHAIN (BEHAVIORAL_BUDGET_TYPES).
     // Die domain nennt dieselben Mengen wie die beiden Konstanten oben; wer eine davon
     // erweitert, zieht diese Zeile mit.
-    { id: 'NFR-01', name: 'BudgetOvershoot', severity: 'warning', evaluate: nfr01BudgetOvershoot, domain: ['MOD', 'FUNC', 'FCHAIN'] },
+    { id: 'NFR-01', name: 'BudgetOvershoot', severity: 'warning', stage: 7, evaluate: nfr01BudgetOvershoot, domain: ['MOD', 'FUNC', 'FCHAIN'] },
 ];
 export function evaluateFMRules(graph, policy) {
     return FM_RULES.flatMap(rule => rule.evaluate(graph, policy));

package/dist/se/format-e-parser.js

@@ -65,7 +65,7 @@ export function attributeTypeOf(elementType, key) {
 export function hydrateAttrValue(raw, declaredType) {
     // CR-SM-251: `concept:true` kam als String "true" an, und alle 11 Vergleiche in
     // rules.ts/conformance-rules.ts pruefen identitaetsscharf (`=== true`). Damit war jeder
-    // Ausnahme-Schalter (concept/external/safety_relevant/spike) ueber Format-E unerreichbar:
+    // Ausnahme-Schalter (damals concept, heute external/safety_relevant/spike) ueber Format-E unerreichbar:
     // der Autor befolgt den fix_hint woertlich, und die Warnung bleibt stehen. Ein Export-Reimport
     // entwertete zusaetzlich jede bestehende Ausnahme still.
     if (declaredType === 'boolean') {

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

@@ -11,18 +11,18 @@
  */
 export declare const GRAMMAR_SNAPSHOT: {
     readonly versions: {
-        readonly ontology: "10.2.0";
+        readonly ontology: "11.0.0";
         readonly metaModel: "6.0.0";
-        readonly rules: "34.1.0";
+        readonly rules: "41.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-> SCHEMA", "CR -relation-> UC", "FCHAIN -compose-> FUNC [1..*]", "FCHAIN -satisfy-> REQ where target.kinds in {non-functional}", "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}", "MOD -compose-> MOD [0..*]", "MOD -satisfy-> REQ where target.kinds in {non-functional}", "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 {non-functional}", "TEST -verify-> REQ", "TEST -verify-> SCHEMA", "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.architectureOnly: boolean", "CR.rationale: string", "CR.spike: boolean", "CR.status: enum", "FLOW.sync: enum", "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.role: enum", "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 (warning) domain=[CR]", "CR-R02 (warning) domain=[CR]", "CR-R03 (warning) domain=[all]", "CR-R05 (warning) domain=[REQ]", "FC-02 (warning) domain=[UC]", "FC-03 (warning) domain=[FUNC]", "FC-04 (warning) domain=[FCHAIN]", "FC-05 (warning) domain=[FCHAIN]", "FM-01 (warning) domain=[REQ]", "FM-02 (warning) domain=[REQ]", "FM-03 (warning) domain=[REQ]", "IO-01 (warning) domain=[FUNC]", "IO-02 (error) domain=[FLOW]", "IR-01 (warning) domain=[graph]", "MS-01 (warning) domain=[MS]", "MS-02 (warning) domain=[MS]", "MS-03 (info) domain=[CR]", "MT-01 (warning) domain=[MOD]", "MT-02 (warning) domain=[MOD]", "MT-04 (info) domain=[FUNC]", "ND-01 (warning) domain=[FUNC]", "ND-02 (warning) 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]", "R-32 (warning) domain=[SCHEMA]", "RC-01 (warning) domain=[FUNC]", "RC-02 (warning) domain=[TEST]", "RC-03 (warning) domain=[SCHEMA]", "RC-04 (warning) domain=[SCHEMA]", "RC-05 (warning) domain=[MOD]", "RC-06 (warning) domain=[FUNC,MOD,SCHEMA]", "RC-07 (warning) domain=[CR,SYS]", "RC-08 (warning) domain=[SCHEMA]", "RC-09 (warning) domain=[SCHEMA]", "RC-10 (warning) domain=[MOD]", "RD-01 (warning) domain=[REQ]", "RD-02 (warning) domain=[REQ]", "RD-04 (warning) domain=[FUNC,MOD,SYS]", "RD-05 (warning) domain=[FUNC,MOD]", "SC-02 (warning) domain=[SCHEMA]", "TR-01 (warning) domain=[graph]", "UC-01 (warning) domain=[UC]", "UC-02 (warning) domain=[UC]", "UC-03 (warning) domain=[UC]", "UC-04 (warning) domain=[UC]", "VR-01 (info) domain=[TEST]"];
+    readonly attributes: readonly ["CR.architectureOnly: boolean", "CR.rationale: string", "CR.spike: boolean", "CR.status: enum", "FLOW.sync: enum", "FUNC.external: boolean", "FUNC.measuredMs: number", "FUNC.realRef: object", "FUNC.safety_relevant: boolean", "FUNC.sourceFile: string", "FUNC.timingBudgetMs: number", "MOD.external: boolean", "MOD.kind: string", "MOD.path: string", "MOD.realRef: object", "REQ.detection: number", "REQ.occurrence: number", "REQ.role: enum", "REQ.severity: number", "SCHEMA.contract: string", "SCHEMA.external: boolean", "SCHEMA.realRef: object", "TEST.sourceFile: string", "TEST.testRefs: array", "UC.operatingMode: string"];
+    readonly rules: readonly ["AF-01 (warning) domain=[graph] stage=3 role=analysis", "AF-02 (warning) domain=[graph] stage=7 role=analysis", "AF-03 (warning) domain=[graph] stage=7 role=analysis", "AF-04 (warning) domain=[graph] stage=8 role=analysis", "AF-05 (warning) domain=[graph] stage=10 role=existence", "BQ-01 (warning) domain=[REQ] stage=3", "BQ-02 (warning) domain=[REQ] stage=3", "BQ-04 (warning) domain=[REQ] stage=3", "BQ-06 (warning) domain=[REQ] stage=3", "BQ-07 (warning) domain=[REQ] stage=3", "BW-02 (warning) domain=[FUNC] stage=5", "CL-01 (warning) domain=[ACTOR] stage=2", "CR-01 (warning) domain=[MOD] stage=7", "CR-R01 (warning) domain=[CR] stage=10", "CR-R02 (warning) domain=[CR] stage=10", "CR-R03 (warning) domain=[all] stage=immer", "FC-02 (warning) domain=[UC] stage=2", "FC-03 (warning) domain=[FUNC] stage=5", "FC-04 (warning) domain=[FCHAIN] stage=6", "FC-05 (warning) domain=[FCHAIN] stage=6", "FM-01 (warning) domain=[REQ] stage=3", "FM-02 (warning) domain=[REQ] stage=3", "FM-03 (warning) domain=[REQ] stage=9", "IO-01 (warning) domain=[FUNC] stage=5", "IO-02 (error) domain=[FLOW] stage=6", "IR-01 (warning) domain=[graph] stage=7 role=analysis", "MS-01 (warning) domain=[MS] stage=10", "MS-02 (warning) domain=[MS] stage=10", "MS-03 (info) domain=[CR] stage=10", "MT-01 (warning) domain=[MOD] stage=7", "MT-02 (warning) domain=[MOD] stage=7", "MT-04 (info) domain=[FUNC] stage=5", "ND-01 (warning) domain=[FUNC] stage=5", "ND-02 (warning) domain=[SCHEMA] stage=8", "NFR-01 (warning) domain=[FCHAIN,FUNC,MOD] stage=7", "R-01 (error) domain=[REQ] stage=9 role=existence", "R-02 (warning) domain=[FUNC] stage=5", "R-04 (warning) domain=[MOD] stage=7", "R-05 (warning) domain=[TEST] stage=9", "R-08 (error) domain=[all] stage=immer", "R-10 (warning) domain=[FLOW] stage=6", "R-12 (warning) domain=[FUNC] stage=5", "R-15 (warning) domain=[FCHAIN] stage=5 role=existence", "R-16 (warning) domain=[ACTOR] stage=2", "R-17 (warning) domain=[SYS] stage=2 role=existence", "R-18 (error) domain=[all] stage=immer", "R-19 (warning) domain=[TEST] stage=11", "R-20 (warning) domain=[FUNC] stage=11", "R-21 (warning) domain=[FCHAIN,FUNC] stage=9", "R-22 (warning) domain=[FUNC] stage=7 role=existence", "R-23 (warning) domain=[MOD] stage=7", "R-26 (warning) domain=[SCHEMA] stage=11", "R-29 (error) domain=[TEST] stage=11", "R-30 (warning) domain=[FUNC] stage=5", "R-31 (warning) domain=[FUNC] stage=6 role=existence", "R-32 (warning) domain=[SCHEMA] stage=9 role=existence", "R-33 (warning) domain=[graph] stage=1 role=existence", "RC-01 (warning) domain=[FUNC] stage=12", "RC-02 (warning) domain=[TEST] stage=12", "RC-03 (warning) domain=[SCHEMA] stage=12", "RC-04 (warning) domain=[SCHEMA] stage=12", "RC-05 (warning) domain=[MOD] stage=10", "RC-06 (warning) domain=[FUNC,MOD,SCHEMA] stage=12", "RC-07 (warning) domain=[CR,SYS] stage=10", "RC-08 (warning) domain=[SCHEMA] stage=12", "RC-09 (warning) domain=[SCHEMA] stage=12", "RC-10 (warning) domain=[MOD] stage=12", "RD-01 (warning) domain=[REQ] stage=3", "RD-02 (warning) domain=[REQ] stage=3", "RD-04 (warning) domain=[FUNC,MOD,SYS] stage=7", "RD-05 (warning) domain=[FUNC,MOD] stage=7", "SC-02 (warning) domain=[SCHEMA] stage=8", "TR-01 (warning) domain=[graph] stage=7 role=analysis", "UC-01 (warning) domain=[UC] stage=3 role=existence", "UC-02 (warning) domain=[UC] stage=2 role=existence", "UC-03 (warning) domain=[UC] stage=4 role=existence", "UC-04 (warning) domain=[UC] stage=2", "VR-01 (info) domain=[TEST] stage=11"];
     readonly conformanceRules: readonly ["RC-01 (warning)", "RC-02 (warning)", "RC-03 (warning)", "RC-04 (warning)", "RC-05 (warning)", "RC-06 (warning)", "RC-07 (warning)", "RC-08 (warning)", "RC-09 (warning)", "RC-10 (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", "CR-R05", "FC-02", "FC-03", "FC-04", "FC-05", "FM-01", "FM-02", "FM-03", "IO-01", "IO-02", "IR-01", "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", "RC-08", "RC-09", "RC-10", "RD-01", "RD-02", "RD-04", "RD-05", "SC-02", "TR-01", "UC-01", "UC-02", "UC-03", "UC-04", "VR-01"];
-    readonly exports: readonly ["ACCEPTED_FINDINGS_ATTRIBUTE", "AF_RULES", "ALL_RULE_DEFS", "AO_RULES", "AcceptedFindingSchema", "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", "FlowSync", "FunctionCriticality", "ImportEdgeSchema", "MAX_SLUG_LENGTH", "META_MODEL_VERSION", "MODELING_ELEMENT_TYPES", "MT_RULES", "MetricPolicySchema", "ModuleMetrics", "ND_RULES", "ONTOLOGY_VERSION", "OntologyElement", "OntologyGraph", "PHASE_READINESS_NAME", "PhaseGate", "READINESS_SCORED_PROFILES", "REQUIRED_PATTERNS", "RULES_VERSION", "RULE_HELP", "RULE_PRECONDITION", "RULE_TASKS", "RULE_TO_DIMENSION", "RULE_TO_PHASE", "ReadinessDimension", "ReadinessReport", "ReadinessScore", "RealRefSchema", "RepoRelativePathSchema", "ReqKind", "ReqRole", "RuleSeverity", "RuleViolation", "SC_RULES", "SteerSpace", "SteerTerm", "TASK_ENTRY", "TASK_OUTCOME_RULES", "TASK_OWNED_RULES", "TRACE_PATTERNS", "TestRefSchema", "TestRefsSchema", "TestResult", "Trace", "TraceType", "UC_RULES", "V3_RULES", "VIEW_RULES", "VerificationMethod", "ViolationCandidate", "ViolationContext", "acceptedRuleIds", "actionPriority", "admittingAlternatives", "allocationCohesion", "apMethod", "assumptionReviewPromoted", "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", "evaluateTaskOutcomeRules", "evaluateUCRules", "evaluateViewRules", "extractFormatE", "fc02LeafUcHasFchain", "fc03FchainFlat", "fc04ActorBounded", "fc05ChainConnected", "flowProducers", "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", "readFlowSync", "readRealRef", "readReqRole", "readTestRefs", "ruleApplies", "sc02IsReferenced", "schemaSimilarity", "setBQ04SimilarityMatrix", "subtreeFuncs", "taskOf", "toElementUid", "toEvaluableGraph", "tokens", "traceRejection", "tradeDecisionRecorded", "tryParseElementUid", "uc01HasRequirements", "uc02HasActor", "uc03HasScenario", "uc04GoalDefined", "vr01TestNoResult", "whiteboxContractCount"];
+    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", "FC-05", "FM-01", "FM-02", "FM-03", "IO-01", "IO-02", "IR-01", "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", "R-33", "RC-01", "RC-02", "RC-03", "RC-04", "RC-05", "RC-06", "RC-07", "RC-08", "RC-09", "RC-10", "RD-01", "RD-02", "RD-04", "RD-05", "SC-02", "TR-01", "UC-01", "UC-02", "UC-03", "UC-04", "VR-01"];
+    readonly exports: readonly ["ACCEPTED_FINDINGS_ATTRIBUTE", "AF_RULES", "ALL_RULE_DEFS", "AO_RULES", "AcceptedFindingSchema", "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", "FlowSync", "FunctionCriticality", "GRAPH_ANCHOR", "ImportEdgeSchema", "MARK_STAGE", "MAX_SLUG_LENGTH", "META_MODEL_VERSION", "MODELING_ELEMENT_TYPES", "MT_RULES", "Mark", "MetricPolicySchema", "ModuleMetrics", "ND_RULES", "ONTOLOGY_VERSION", "OntologyElement", "OntologyGraph", "PHASE_READINESS_NAME", "READINESS_SCORED_PROFILES", "REQUIRED_PATTERNS", "RULES_VERSION", "RULE_HELP", "RULE_TASKS", "RULE_TO_DIMENSION", "ReadinessDimension", "ReadinessReport", "ReadinessScore", "RealRefSchema", "RepoRelativePathSchema", "ReqKind", "ReqRole", "RuleSeverity", "RuleViolation", "SC_RULES", "STAGE_SETS", "SteerSpace", "SteerTerm", "TASK_ENTRY", "TASK_OUTCOME_RULES", "TASK_OWNED_RULES", "TRACE_PATTERNS", "TestRefSchema", "TestRefsSchema", "TestResult", "Trace", "TraceType", "UC_RULES", "V3_RULES", "VIEW_RULES", "VerificationMethod", "ViolationCandidate", "ViolationContext", "acceptedRuleIds", "actionPriority", "admittingAlternatives", "allocationCohesion", "apMethod", "assumptionReviewRequirementsExist", "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", "evaluateTaskOutcomeRules", "evaluateUCRules", "evaluateViewRules", "extractFormatE", "fc02LeafUcHasFchain", "fc03FchainFlat", "fc04ActorBounded", "fc05ChainConnected", "flowProducers", "fm01MissingFmeaAttributes", "fm02MissingMitigation", "fm03HighRiskUnverified", "funcSimilarity", "funcSubtree", "functionCriticality", "getRuleDefsForProfile", "hydrateAttrValue", "importCoverage", "indexOf", "io01CrossModuleCompleteness", "isDue", "isElementUid", "isValidTrace", "jaccard", "markOfStage", "maxOccurs", "minOccurs", "moduleCrossings", "moduleMetrics", "mt01Instability", "mt02Lcom4", "mt04WhiteboxLcom4", "nd01FuncNearDuplicate", "nd02SchemaNearDuplicate", "nfr01BudgetOvershoot", "normalizeReqKinds", "pairsAbove", "parseElementUid", "readAnalysisStamp", "readFlowSync", "readRealRef", "readReqRole", "readTestRefs", "sc02IsReferenced", "schemaSimilarity", "setBQ04SimilarityMatrix", "subtreeFuncs", "taskOf", "toElementUid", "toEvaluableGraph", "tokens", "traceRejection", "tradeDecisionRecorded", "tryParseElementUid", "uc01HasRequirements", "uc02HasActor", "uc03HasScenario", "uc04GoalDefined", "unbuiltElementIds", "vr01TestNoResult", "whiteboxContractCount"];
 };

package/dist/se/grammar-snapshot.js

@@ -11,9 +11,9 @@
  */
 export const GRAMMAR_SNAPSHOT = {
     versions: {
-        ontology: "10.2.0",
+        ontology: "11.0.0",
         metaModel: "6.0.0",
-        rules: "34.1.0",
+        rules: "41.0.0",
     },
     elementTypes: [
         "ACTOR",
@@ -97,14 +97,12 @@ export const GRAMMAR_SNAPSHOT = {
         "CR.spike: boolean",
         "CR.status: enum",
         "FLOW.sync: enum",
-        "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",
@@ -113,94 +111,92 @@ export const GRAMMAR_SNAPSHOT = {
         "REQ.occurrence: number",
         "REQ.role: enum",
         "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",
     ],
     rules: [
-        "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 (warning) domain=[CR]",
-        "CR-R02 (warning) domain=[CR]",
-        "CR-R03 (warning) domain=[all]",
-        "CR-R05 (warning) domain=[REQ]",
-        "FC-02 (warning) domain=[UC]",
-        "FC-03 (warning) domain=[FUNC]",
-        "FC-04 (warning) domain=[FCHAIN]",
-        "FC-05 (warning) domain=[FCHAIN]",
-        "FM-01 (warning) domain=[REQ]",
-        "FM-02 (warning) domain=[REQ]",
-        "FM-03 (warning) domain=[REQ]",
-        "IO-01 (warning) domain=[FUNC]",
-        "IO-02 (error) domain=[FLOW]",
-        "IR-01 (warning) domain=[graph]",
-        "MS-01 (warning) domain=[MS]",
-        "MS-02 (warning) domain=[MS]",
-        "MS-03 (info) domain=[CR]",
-        "MT-01 (warning) domain=[MOD]",
-        "MT-02 (warning) domain=[MOD]",
-        "MT-04 (info) domain=[FUNC]",
-        "ND-01 (warning) domain=[FUNC]",
-        "ND-02 (warning) 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]",
-        "R-32 (warning) domain=[SCHEMA]",
-        "RC-01 (warning) domain=[FUNC]",
-        "RC-02 (warning) domain=[TEST]",
-        "RC-03 (warning) domain=[SCHEMA]",
-        "RC-04 (warning) domain=[SCHEMA]",
-        "RC-05 (warning) domain=[MOD]",
-        "RC-06 (warning) domain=[FUNC,MOD,SCHEMA]",
-        "RC-07 (warning) domain=[CR,SYS]",
-        "RC-08 (warning) domain=[SCHEMA]",
-        "RC-09 (warning) domain=[SCHEMA]",
-        "RC-10 (warning) domain=[MOD]",
-        "RD-01 (warning) domain=[REQ]",
-        "RD-02 (warning) domain=[REQ]",
-        "RD-04 (warning) domain=[FUNC,MOD,SYS]",
-        "RD-05 (warning) domain=[FUNC,MOD]",
-        "SC-02 (warning) domain=[SCHEMA]",
-        "TR-01 (warning) domain=[graph]",
-        "UC-01 (warning) domain=[UC]",
-        "UC-02 (warning) domain=[UC]",
-        "UC-03 (warning) domain=[UC]",
-        "UC-04 (warning) domain=[UC]",
-        "VR-01 (info) domain=[TEST]",
+        "AF-01 (warning) domain=[graph] stage=3 role=analysis",
+        "AF-02 (warning) domain=[graph] stage=7 role=analysis",
+        "AF-03 (warning) domain=[graph] stage=7 role=analysis",
+        "AF-04 (warning) domain=[graph] stage=8 role=analysis",
+        "AF-05 (warning) domain=[graph] stage=10 role=existence",
+        "BQ-01 (warning) domain=[REQ] stage=3",
+        "BQ-02 (warning) domain=[REQ] stage=3",
+        "BQ-04 (warning) domain=[REQ] stage=3",
+        "BQ-06 (warning) domain=[REQ] stage=3",
+        "BQ-07 (warning) domain=[REQ] stage=3",
+        "BW-02 (warning) domain=[FUNC] stage=5",
+        "CL-01 (warning) domain=[ACTOR] stage=2",
+        "CR-01 (warning) domain=[MOD] stage=7",
+        "CR-R01 (warning) domain=[CR] stage=10",
+        "CR-R02 (warning) domain=[CR] stage=10",
+        "CR-R03 (warning) domain=[all] stage=immer",
+        "FC-02 (warning) domain=[UC] stage=2",
+        "FC-03 (warning) domain=[FUNC] stage=5",
+        "FC-04 (warning) domain=[FCHAIN] stage=6",
+        "FC-05 (warning) domain=[FCHAIN] stage=6",
+        "FM-01 (warning) domain=[REQ] stage=3",
+        "FM-02 (warning) domain=[REQ] stage=3",
+        "FM-03 (warning) domain=[REQ] stage=9",
+        "IO-01 (warning) domain=[FUNC] stage=5",
+        "IO-02 (error) domain=[FLOW] stage=6",
+        "IR-01 (warning) domain=[graph] stage=7 role=analysis",
+        "MS-01 (warning) domain=[MS] stage=10",
+        "MS-02 (warning) domain=[MS] stage=10",
+        "MS-03 (info) domain=[CR] stage=10",
+        "MT-01 (warning) domain=[MOD] stage=7",
+        "MT-02 (warning) domain=[MOD] stage=7",
+        "MT-04 (info) domain=[FUNC] stage=5",
+        "ND-01 (warning) domain=[FUNC] stage=5",
+        "ND-02 (warning) domain=[SCHEMA] stage=8",
+        "NFR-01 (warning) domain=[FCHAIN,FUNC,MOD] stage=7",
+        "R-01 (error) domain=[REQ] stage=9 role=existence",
+        "R-02 (warning) domain=[FUNC] stage=5",
+        "R-04 (warning) domain=[MOD] stage=7",
+        "R-05 (warning) domain=[TEST] stage=9",
+        "R-08 (error) domain=[all] stage=immer",
+        "R-10 (warning) domain=[FLOW] stage=6",
+        "R-12 (warning) domain=[FUNC] stage=5",
+        "R-15 (warning) domain=[FCHAIN] stage=5 role=existence",
+        "R-16 (warning) domain=[ACTOR] stage=2",
+        "R-17 (warning) domain=[SYS] stage=2 role=existence",
+        "R-18 (error) domain=[all] stage=immer",
+        "R-19 (warning) domain=[TEST] stage=11",
+        "R-20 (warning) domain=[FUNC] stage=11",
+        "R-21 (warning) domain=[FCHAIN,FUNC] stage=9",
+        "R-22 (warning) domain=[FUNC] stage=7 role=existence",
+        "R-23 (warning) domain=[MOD] stage=7",
+        "R-26 (warning) domain=[SCHEMA] stage=11",
+        "R-29 (error) domain=[TEST] stage=11",
+        "R-30 (warning) domain=[FUNC] stage=5",
+        "R-31 (warning) domain=[FUNC] stage=6 role=existence",
+        "R-32 (warning) domain=[SCHEMA] stage=9 role=existence",
+        "R-33 (warning) domain=[graph] stage=1 role=existence",
+        "RC-01 (warning) domain=[FUNC] stage=12",
+        "RC-02 (warning) domain=[TEST] stage=12",
+        "RC-03 (warning) domain=[SCHEMA] stage=12",
+        "RC-04 (warning) domain=[SCHEMA] stage=12",
+        "RC-05 (warning) domain=[MOD] stage=10",
+        "RC-06 (warning) domain=[FUNC,MOD,SCHEMA] stage=12",
+        "RC-07 (warning) domain=[CR,SYS] stage=10",
+        "RC-08 (warning) domain=[SCHEMA] stage=12",
+        "RC-09 (warning) domain=[SCHEMA] stage=12",
+        "RC-10 (warning) domain=[MOD] stage=12",
+        "RD-01 (warning) domain=[REQ] stage=3",
+        "RD-02 (warning) domain=[REQ] stage=3",
+        "RD-04 (warning) domain=[FUNC,MOD,SYS] stage=7",
+        "RD-05 (warning) domain=[FUNC,MOD] stage=7",
+        "SC-02 (warning) domain=[SCHEMA] stage=8",
+        "TR-01 (warning) domain=[graph] stage=7 role=analysis",
+        "UC-01 (warning) domain=[UC] stage=3 role=existence",
+        "UC-02 (warning) domain=[UC] stage=2 role=existence",
+        "UC-03 (warning) domain=[UC] stage=4 role=existence",
+        "UC-04 (warning) domain=[UC] stage=2",
+        "VR-01 (info) domain=[TEST] stage=11",
     ],
     conformanceRules: [
         "RC-01 (warning)",
@@ -241,7 +237,6 @@ export const GRAMMAR_SNAPSHOT = {
         "CR-R01",
         "CR-R02",
         "CR-R03",
-        "CR-R05",
         "FC-02",
         "FC-03",
         "FC-04",
@@ -282,6 +277,7 @@ export const GRAMMAR_SNAPSHOT = {
         "R-30",
         "R-31",
         "R-32",
+        "R-33",
         "RC-01",
         "RC-02",
         "RC-03",
@@ -332,11 +328,14 @@ export const GRAMMAR_SNAPSHOT = {
         "FileFactsSchema",
         "FlowSync",
         "FunctionCriticality",
+        "GRAPH_ANCHOR",
         "ImportEdgeSchema",
+        "MARK_STAGE",
         "MAX_SLUG_LENGTH",
         "META_MODEL_VERSION",
         "MODELING_ELEMENT_TYPES",
         "MT_RULES",
+        "Mark",
         "MetricPolicySchema",
         "ModuleMetrics",
         "ND_RULES",
@@ -344,15 +343,12 @@ export const GRAMMAR_SNAPSHOT = {
         "OntologyElement",
         "OntologyGraph",
         "PHASE_READINESS_NAME",
-        "PhaseGate",
         "READINESS_SCORED_PROFILES",
         "REQUIRED_PATTERNS",
         "RULES_VERSION",
         "RULE_HELP",
-        "RULE_PRECONDITION",
         "RULE_TASKS",
         "RULE_TO_DIMENSION",
-        "RULE_TO_PHASE",
         "ReadinessDimension",
         "ReadinessReport",
         "ReadinessScore",
@@ -363,6 +359,7 @@ export const GRAMMAR_SNAPSHOT = {
         "RuleSeverity",
         "RuleViolation",
         "SC_RULES",
+        "STAGE_SETS",
         "SteerSpace",
         "SteerTerm",
         "TASK_ENTRY",
@@ -385,7 +382,7 @@ export const GRAMMAR_SNAPSHOT = {
         "admittingAlternatives",
         "allocationCohesion",
         "apMethod",
-        "assumptionReviewPromoted",
+        "assumptionReviewRequirementsExist",
         "attributeTypeOf",
         "boxContracts",
         "bq01Unambiguous",
@@ -431,9 +428,11 @@ export const GRAMMAR_SNAPSHOT = {
         "importCoverage",
         "indexOf",
         "io01CrossModuleCompleteness",
+        "isDue",
         "isElementUid",
         "isValidTrace",
         "jaccard",
+        "markOfStage",
         "maxOccurs",
         "minOccurs",
         "moduleCrossings",
@@ -447,11 +446,11 @@ export const GRAMMAR_SNAPSHOT = {
         "normalizeReqKinds",
         "pairsAbove",
         "parseElementUid",
+        "readAnalysisStamp",
         "readFlowSync",
         "readRealRef",
         "readReqRole",
         "readTestRefs",
-        "ruleApplies",
         "sc02IsReferenced",
         "schemaSimilarity",
         "setBQ04SimilarityMatrix",
@@ -467,6 +466,7 @@ export const GRAMMAR_SNAPSHOT = {
         "uc02HasActor",
         "uc03HasScenario",
         "uc04GoalDefined",
+        "unbuiltElementIds",
         "vr01TestNoResult",
         "whiteboxContractCount",
     ],

package/dist/se/index.d.ts

@@ -3,9 +3,9 @@
  * Single source of truth for SE ontology schemas across all projects.
  */
 /** Ontology schema version (element types + trace types). */
-export declare const ONTOLOGY_VERSION = "10.2.0";
+export declare const ONTOLOGY_VERSION = "11.0.0";
 /** Rules engine version (validation rules incl. RC conformance). */
-export declare const RULES_VERSION = "34.1.0";
+export declare const RULES_VERSION = "41.0.0";
 /** Meta-model version (trace pattern constraints + format-e parser). */
 export declare const META_MODEL_VERSION = "6.0.0";
 export * from './ontology.js';
@@ -37,6 +37,7 @@ export * from './evaluate-all.js';
 export * from './flat-graph.js';
 export * from './graph-index.js';
 export * from './readiness.js';
+export { isDue } from './rule-due.js';
 export * from './meta-model.js';
 export * from './element-uid.js';
 export * from './format-e-parser.js';