From 3472e1f56580433534b8bcfdb80b025e6dcca19f Mon Sep 17 00:00:00 2001 From: Frank Scholter Peres Date: Tue, 9 Jun 2026 08:52:12 +0000 Subject: [PATCH 1/4] Add verification report schema sync contract --- .../module_verification_report.rst | 34 +++++++++++++++++++ 1 file changed, 34 insertions(+) diff --git a/docs/verification_report/module_verification_report.rst b/docs/verification_report/module_verification_report.rst index d5f4c3a5..ec43e3b7 100644 --- a/docs/verification_report/module_verification_report.rst +++ b/docs/verification_report/module_verification_report.rst @@ -38,6 +38,40 @@ It covers all the components of the above stated module. Verification Report contains: +.. note:: Schema synchronization contract + + The following fields define the canonical section keys and descriptions used for + machine-readable verification report schema synchronization. + +.. list-table:: Verification report section contract fields + :header-rows: 1 + :widths: 1 2 5 + + * - section_index + - section_key + - section_description + * - 1 + - verification_coverage + - Coverage on requirements, architecture, and detailed design including test and inspection results. + * - 2 + - dfa_report + - Report of component DFA results including verdict and open mitigations. + * - 3 + - safety_analysis_report + - Report of component safety analysis results including verdict and open mitigations. + * - 4 + - unit_verification + - Unit-level verification coverage including structural coverage, static analysis, and manual inspection. + * - 5 + - software_component_qualification + - Verification results for qualification of pre-developed software components. + * - 6 + - test_results + - Per-testcase execution result status. + * - 7 + - test_logs + - Per-testcase execution logs with pass/fail/not_run status context. + **1. Verification Coverage** **1.1. on Requirements** From 0175c41984d3645e3b8aa7a4f63b2ee0d90736ff Mon Sep 17 00:00:00 2001 From: Frank Scholter Peres Date: Tue, 9 Jun 2026 08:52:52 +0000 Subject: [PATCH 2/4] Fix RST indentation for schema contract table --- .../module_verification_report.rst | 58 +++++++++---------- 1 file changed, 29 insertions(+), 29 deletions(-) diff --git a/docs/verification_report/module_verification_report.rst b/docs/verification_report/module_verification_report.rst index ec43e3b7..158ec152 100644 --- a/docs/verification_report/module_verification_report.rst +++ b/docs/verification_report/module_verification_report.rst @@ -40,37 +40,37 @@ Verification Report contains: .. note:: Schema synchronization contract - The following fields define the canonical section keys and descriptions used for - machine-readable verification report schema synchronization. + The following fields define the canonical section keys and descriptions used for + machine-readable verification report schema synchronization. .. list-table:: Verification report section contract fields - :header-rows: 1 - :widths: 1 2 5 - - * - section_index - - section_key - - section_description - * - 1 - - verification_coverage - - Coverage on requirements, architecture, and detailed design including test and inspection results. - * - 2 - - dfa_report - - Report of component DFA results including verdict and open mitigations. - * - 3 - - safety_analysis_report - - Report of component safety analysis results including verdict and open mitigations. - * - 4 - - unit_verification - - Unit-level verification coverage including structural coverage, static analysis, and manual inspection. - * - 5 - - software_component_qualification - - Verification results for qualification of pre-developed software components. - * - 6 - - test_results - - Per-testcase execution result status. - * - 7 - - test_logs - - Per-testcase execution logs with pass/fail/not_run status context. + :header-rows: 1 + :widths: 1 2 5 + + * - section_index + - section_key + - section_description + * - 1 + - verification_coverage + - Coverage on requirements, architecture, and detailed design including test and inspection results. + * - 2 + - dfa_report + - Report of component DFA results including verdict and open mitigations. + * - 3 + - safety_analysis_report + - Report of component safety analysis results including verdict and open mitigations. + * - 4 + - unit_verification + - Unit-level verification coverage including structural coverage, static analysis, and manual inspection. + * - 5 + - software_component_qualification + - Verification results for qualification of pre-developed software components. + * - 6 + - test_results + - Per-testcase execution result status. + * - 7 + - test_logs + - Per-testcase execution logs with pass/fail/not_run status context. **1. Verification Coverage** From b5ee71d9c4e7aaa4f5c195a34a650c2dec5f5af5 Mon Sep 17 00:00:00 2001 From: Frank Scholter Peres Date: Tue, 9 Jun 2026 08:53:11 +0000 Subject: [PATCH 3/4] Normalize schema contract list-table indentation --- .../module_verification_report.rst | 32 +++++++++---------- 1 file changed, 16 insertions(+), 16 deletions(-) diff --git a/docs/verification_report/module_verification_report.rst b/docs/verification_report/module_verification_report.rst index 158ec152..de246e19 100644 --- a/docs/verification_report/module_verification_report.rst +++ b/docs/verification_report/module_verification_report.rst @@ -48,29 +48,29 @@ Verification Report contains: :widths: 1 2 5 * - section_index - - section_key - - section_description + - section_key + - section_description * - 1 - - verification_coverage - - Coverage on requirements, architecture, and detailed design including test and inspection results. + - verification_coverage + - Coverage on requirements, architecture, and detailed design including test and inspection results. * - 2 - - dfa_report - - Report of component DFA results including verdict and open mitigations. + - dfa_report + - Report of component DFA results including verdict and open mitigations. * - 3 - - safety_analysis_report - - Report of component safety analysis results including verdict and open mitigations. + - safety_analysis_report + - Report of component safety analysis results including verdict and open mitigations. * - 4 - - unit_verification - - Unit-level verification coverage including structural coverage, static analysis, and manual inspection. + - unit_verification + - Unit-level verification coverage including structural coverage, static analysis, and manual inspection. * - 5 - - software_component_qualification - - Verification results for qualification of pre-developed software components. + - software_component_qualification + - Verification results for qualification of pre-developed software components. * - 6 - - test_results - - Per-testcase execution result status. + - test_results + - Per-testcase execution result status. * - 7 - - test_logs - - Per-testcase execution logs with pass/fail/not_run status context. + - test_logs + - Per-testcase execution logs with pass/fail/not_run status context. **1. Verification Coverage** From 95385845c9403ed89edc88b7fc443962aaa11978 Mon Sep 17 00:00:00 2001 From: Frank Scholter Peres Date: Tue, 9 Jun 2026 09:06:30 +0000 Subject: [PATCH 4/4] changed to new copyright release --- .github/workflows/copyright.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/copyright.yml b/.github/workflows/copyright.yml index b0b65fc6..ca74be9b 100644 --- a/.github/workflows/copyright.yml +++ b/.github/workflows/copyright.yml @@ -19,6 +19,6 @@ on: types: [checks_requested] jobs: copyright-check: - uses: eclipse-score/cicd-workflows/.github/workflows/copyright.yml@829b3e11ccbf924a5782f7bfed647cb1619fdf78 # v0.0.1 + uses: eclipse-score/cicd-workflows/.github/workflows/copyright.yml@v0.0.2 with: bazel-target: "run --lockfile_mode=error //:copyright.check"