Skip to content

feat!: enforce tool_req__docs_saf_attrs_mitigated_by - #1011

Draft
a-zw wants to merge 3 commits into
eclipse-score:mainfrom
etas-contrib:970-enforce-mitigated-by
Draft

a-zw wants to merge 3 commits into
eclipse-score:mainfrom
etas-contrib:970-enforce-mitigated-by

Conversation

@a-zw

@a-zw a-zw commented Nov 2, 2026

Copy link
Copy Markdown
Contributor

📌 Description

Implement tool_req__docs_saf_attrs_mitigated_by.

Fixes #970

🚨 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

github-actions Bot commented Nov 2, 2026

Copy link
Copy Markdown
Contributor

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

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🟡 Changes recommended

Mitigation checks omit platform DFAs and allow lower-ASIL AoU requirements to satisfy mitigation links, leaving documented safety requirements unenforced.

2 open issues
What changed in this PR

This PR promotes safety-analysis mitigation validation from informational reporting to enforcement, addressing issue #970 in the documentation metamodel.

Changes:

  • Removes info_only from the mitigated_by graph check.
  • Adds positive, negative, and invalid-status test cases for feature/component safety analyses.
  • Marks the requirement implemented and updates the generated-source line-count snapshot.
File Description
src/​tests/​docs_bzl/​scenarios/​reference_integration/​_expected/​docs/​modules/​modern_module/​components/​unlinked_component/​generated_metamodel/​index.html Updates the expected metamodel line count.
src/​extensions/​score_metamodel/​tests/​rst/​safety/​test_saf_mitigated_by.rst Adds mitigation-link validation fixtures.
src/​extensions/​score_metamodel/​metamodel.yaml Enables enforcement of the mitigation check.
docs/​internals/​requirements/​requirements.rst Marks implementation complete and removes the transition note.

Review effort: Balanced

@a-zw

a-zw commented Nov 3, 2026

Copy link
Copy Markdown
Contributor Author

Created #1014 to fix the check while keeping it info-only. Plan is to release that as a minor change. Afterwards merge this PR for a breaking release.

Turning this into a draft for now.

@a-zw
a-zw marked this pull request as draft November 3, 2026 16:36
@a-zw a-zw mentioned this pull request Nov 3, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: No status

Development

Successfully merging this pull request may close these issues.

enforce mitigated_by

2 participants