Improve graph checks

[a-zw]

📌 Description

Resolves one finding from eclipse-score/score#3180

Extend safety/security graph checks to all relation types (M3, M5). The metamodel defines five graph checks; the safety/security-relevant ones constrain only derived_from, fulfils and the safety variant of implements (complies covers the ASPICE-40 workproduct rule, not safety/security). satisfied_by, covers, includes, uses, belongs_to, consists_of, etc. remain unchecked. A safety-relevant element linked to a non-safety one via any relation should be flagged, closing the gap where a wrong classification or disallowed link enters the baseline undetected.

Consolidates four requirements into one.

🚨 Impact Analysis

• This change does not violate any tool requirements and is covered by existing tool requirements
• This change does not violate any design decisions
• Otherwise I have created a ticket for new tool qualification

✅ Checklist

• Added/updated documentation for new or changed features
• Added/updated tests to cover the changes
• Followed project coding standards and guidelines

[github-actions]

License Check Results

🚀 The license check job ran with the Bazel command:

bazel run --lockfile_mode=error //src:license-check

Status: ⚠️ Needs Review

Click to expand output

[License Check Output]
Extracting Bazel installation...
Starting local Bazel server (8.6.0) and connecting to it...
INFO: Invocation ID: 25fe9cb0-d414-4c14-b9ba-0c48e082705b
Computing main repo mapping: 
Loading: 
Loading: 0 packages loaded
Loading: 0 packages loaded
Loading: 0 packages loaded
    currently loading: src
WARNING: Target pattern parsing failed.
ERROR: Skipping '//src:license-check': no such target '//src:license-check': target 'license-check' not declared in package 'src' defined by /home/runner/work/docs-as-code/docs-as-code/src/BUILD
ERROR: no such target '//src:license-check': target 'license-check' not declared in package 'src' defined by /home/runner/work/docs-as-code/docs-as-code/src/BUILD
INFO: Elapsed time: 5.512s
INFO: 0 processes.
ERROR: Build did NOT complete successfully
ERROR: Build failed. Not running target

[github-actions]

Documentation preview for this pull request is available at:
pr-719: https://eclipse-score.github.io/docs-as-code/pr-719/