demo: render module verification report via score_module_verification_report (tracks docs-as-code#730)

.github/workflows/docs_and_test.yml

@@ -0,0 +1,52 @@
+# *******************************************************************************
+# Copyright (c) 2026 Contributors to the Eclipse Foundation
+#
+# See the NOTICE file(s) distributed with this work for additional
+# information regarding copyright ownership.
+#
+# This program and the accompanying materials are made available under the
+# terms of the Apache License Version 2.0 which is available at
+# https://www.apache.org/licenses/LICENSE-2.0
+#
+# SPDX-License-Identifier: Apache-2.0
+# *******************************************************************************
+name: Docs and Test
+permissions:
+  contents: read
+  actions: write
+on:
+  pull_request:
+    types: [opened, reopened, synchronize]
+  push:
+    branches:
+      - main
+  merge_group:
+    types: [checks_requested]
+  workflow_call:
+jobs:
+  docs-and-test:
+    runs-on: ubuntu-24.04
+    steps:
+      - uses: eclipse-score/more-disk-space@6a3b48901846bf7f8cc985925157d71a8973e61f # v1
+        with:
+          level: 4
+      - name: Checkout Repository
+        uses: actions/checkout@v6
+      - name: Install Graphviz
+        run: |
+          sudo apt-get update
+          sudo apt-get install -y graphviz
+      - name: Setup Bazel Cache
+        uses: eclipse-score/cicd-actions/setup-bazel-cache@659dcbed63f6b7fbde88c7850125ea0a0a92f939
+        with:
+          unique-cache-name: ${{ github.workflow }}-${{ github.job }}
+      - name: Run docs_and_test (module verification report)
+        run: |
+          bazel run //:module_verification_report -- --test-flag=--config=bl-x86_64-linux
+      - name: Upload Module Verification Report
+        uses: actions/upload-artifact@v6
+        with:
+          name: ${{ github.event.repository.name }}_module_verification_report
+          path: _build/
+          include-hidden-files: true
+          retention-days: 10

BUILD

@@ -14,6 +14,7 @@
 load("@hedron_compile_commands//:refresh_compile_commands.bzl", "refresh_compile_commands")
 load("@score_bazel_tools_cc//quality:defs.bzl", "quality_clang_tidy_config")
 load("@score_docs_as_code//:docs.bzl", "docs")
+load("@score_docs_as_code//:bzl/docs_and_test.bzl", "docs_and_test")
 load("@score_tooling//:defs.bzl", "copyright_checker", "dash_license_checker", "rust_coverage_report", "use_format_targets")
 load("//:project_config.bzl", "PROJECT_CONFIG")
 load(":qemu.bzl", "qemu_aarch64")
@@ -96,6 +97,28 @@ docs(
     source_dir = "docs",
 )
 
+# Builds/serves the module verification report for a small, known-good subset
+# of //score/... with coverage. The full //score/... tree currently has ~20
+# pre-existing, unrelated build failures under bl-aarch64-linux (deprecated
+# logging API under -Werror=deprecated-declarations, and a Rust nightly-only
+# feature used by score_log_fmt), so this uses a reduced scope sufficient to
+# validate the docs_and_test integration and coverage report rendering.
+#
+# Extra Bazel flags (e.g. --config=…) go on the command line after --, e.g.::
+#
+#     bazel run //:module_verification_report -- --test-flag=--config=bl-aarch64-linux
+#
+# See @score_docs_as_code//:bzl/docs_and_test.bzl for the underlying driver.
+docs_and_test(
+    name = "module_verification_report",
+    test_targets = [
+        "//score/bitmanipulation/...",
+        "//score/flatbuffers/...",
+        "//score/filesystem/...",
+    ],
+    docs_target = "//:docs",
+)
+
 # Generate `compile_commands.json`.
 # Required for `clangd` support.
 refresh_compile_commands(

MODULE.bazel

@@ -103,8 +103,13 @@ bazel_dep(name = "score_toolchains_rust", version = "0.10.0", dev_dependency = T
 ## Custom Module Loading
 
 bazel_dep(name = "score_docs_as_code", version = "8.0.0")
-bazel_dep(name = "score_process_description", version = "2.1.1")
+git_override(
+    module_name = "score_docs_as_code",
+    commit = "5402638e533e75133743c42d2d01bd411a62f75a",
+    remote = "https://github.com/eclipse-score/docs-as-code.git",
+)
 
+bazel_dep(name = "score_process_description", version = "2.1.2", dev_dependency = True)
 bazel_dep(name = "score_tooling", version = "1.3.1", dev_dependency = True)
 
 # score_tooling declares trlc and lobster as regular bazel_deps with their own
@@ -122,7 +127,7 @@ git_override(
     remote = "https://github.com/bmw-software-engineering/lobster.git",
 )
 
-bazel_dep(name = "score_platform", version = "0.7.0")
+bazel_dep(name = "score_platform", version = "0.7.1", dev_dependency = True)
 
 ## Configure the python toolchain
 

docs/conf.py

@@ -11,6 +11,7 @@
 # SPDX-License-Identifier: Apache-2.0
 # *******************************************************************************
 
+
 project = "S-CORE Baselibs"
 project_url = "https://eclipse-score.github.io/baselibs"
 version = "0.1"

docs/index.rst

@@ -55,6 +55,14 @@ The Components documentation provides detailed documentation for each individual
 
    baselibs/components/index
 
+Reporting
+---------
+
+.. toctree::
+   :maxdepth: 1
+
+   reporting/module_verification_report
+
 
 Quick Start - Building and Testing
 ==================================

docs/module/index.rst

@@ -14,7 +14,7 @@
 
 .. mod:: Baselibs
    :id: mod__baselibs
-   :includes: comp__baselibs_json[version==1], comp__baselibs_memory_shared[version==1], comp__baselibs_result[version==1], comp__baselibs_bit_manipulation[version==1], comp__baselibs_containers[version==1], comp__baselibs_filesystem[version==1], comp__baselibs_utils[version==1], comp__baselibs_concurrency[version==1], comp__baselibs_safecpp[version==1]
+   :includes: comp__baselibs_static_reflection[version==1], comp__baselibs_result[version==1], comp__log[version==1], comp__baselibs_hash[version==1], comp__baselibs_flatbuffers[version==1], comp__baselibs_abi_compatible_data_types[version==1], comp__baselibs_json[version==1], comp__baselibs_memory_shared[version==1], comp__baselibs_result[version==1], comp__baselibs_bit_manipulation[version==1], comp__baselibs_containers[version==1], comp__baselibs_filesystem[version==1], comp__baselibs_utils[version==1], comp__baselibs_concurrency[version==1], comp__baselibs_safecpp[version==1]
    :status: valid
    :version: 1
    :safety: ASIL_B

docs/reporting/module_verification_report.rst

@@ -0,0 +1,47 @@
+..
+    ******************************************************************************
+    Copyright (c) 2026 Contributors to the Eclipse Foundation
+
+    See the NOTICE file(s) distributed with this work for additional
+    information regarding copyright ownership.
+
+    This program and the accompanying materials are made available under the
+    terms of the Apache License Version 2.0 which is available at
+    https://www.apache.org/licenses/LICENSE-2.0
+
+    SPDX-License-Identifier: Apache-2.0
+    ******************************************************************************
+
+Module Verification Report
+==========================
+
+.. document:: Module Verification Report
+   :id: doc__baselibs_module_verification_report
+   :status: valid
+   :safety: QM
+   :security: YES
+   :version: 1
+   :realizes: wp__feature_arch[version==1]
+
+This document provides a verification report of the Baselibs feature and its
+associated components.
+
+.. module-verification-report::
+   :module-id: mod__baselibs
+   :feature-id: feat__baselibs
+   :safety: ASIL_B
+   :security: YES
+   :status: valid
+   :verification-method: test_and_inspection
+   :components: comp__baselibs_json,
+               comp__baselibs_memory_shared,
+               comp__baselibs_result,
+               comp__baselibs_bit_manipulation,
+               comp__baselibs_containers,
+               comp__baselibs_filesystem,
+               comp__baselibs_concurrency,
+               comp__baselibs_safecpp,
+               comp__baselibs_static_reflection,
+               comp__baselibs_hash,
+               comp__baselibs_flatbuffers,
+               comp__baselibs_abi_compatible_data_types