From b9a40ccebbd42ad27fc13731a287c3dcfbf13351 Mon Sep 17 00:00:00 2001 From: Frank Scholter Peres Date: Wed, 8 Jul 2026 15:11:50 +0000 Subject: [PATCH 1/4] adopt verification report --- .bazelrc | 10 + BUILD | 8 + MODULE.bazel | 6 + MODULE.bazel.lock | 56 ---- .../module_verification_report.rst | 187 +++++++++--- tests/README.md | 7 + ubproject.toml | 286 ++++++++++++++++++ 7 files changed, 457 insertions(+), 103 deletions(-) create mode 100644 ubproject.toml diff --git a/.bazelrc b/.bazelrc index f9c248d18..c8b3e5152 100644 --- a/.bazelrc +++ b/.bazelrc @@ -38,6 +38,16 @@ build:lint --config=per-x86_64-linux test --test_output=errors +# ------------------------------------------------------------------------------- +# Local config for CIT debugging in presence of upstream deprecation warnings +# ------------------------------------------------------------------------------- +# This keeps strict settings by default, but allows local debugging to proceed +# when external dependencies emit deprecated-declaration warnings under -Werror. +build:cit-local-debug --copt=-Wno-error=deprecated-declarations +build:cit-local-debug --cxxopt=-Wno-error=deprecated-declarations +test:cit-local-debug --copt=-Wno-error=deprecated-declarations +test:cit-local-debug --cxxopt=-Wno-error=deprecated-declarations + # ------------------------------------------------------------------------------- # Shared configuration for simple test execution # ------------------------------------------------------------------------------- diff --git a/BUILD b/BUILD index 177a938bf..1e3ab49f0 100644 --- a/BUILD +++ b/BUILD @@ -143,6 +143,14 @@ test_suite( visibility = ["//visibility:public"], ) +test_suite( + name = "cit_tests_local", + tests = [ + "//tests/test_cases:cit_cpp", + ], + visibility = ["//visibility:public"], +) + test_suite( name = "miri_tests", tags = ["manual"], diff --git a/MODULE.bazel b/MODULE.bazel index 56e815c8f..048744845 100644 --- a/MODULE.bazel +++ b/MODULE.bazel @@ -67,6 +67,12 @@ bazel_dep(name = "score_rules_imagefs", version = "0.0.3", dev_dependency = True bazel_dep(name = "score_docs_as_code", version = "4.6.0") +# Local development override to test in-flight docs-as-code changes. +local_path_override( + module_name = "score_docs_as_code", + path = "../docs-as-code", +) + bazel_dep(name = "score_platform", version = "0.6.0", dev_dependency = True) bazel_dep(name = "score_process", version = "2.0.1", dev_dependency = True) diff --git a/MODULE.bazel.lock b/MODULE.bazel.lock index b834a18df..2ece48154 100644 --- a/MODULE.bazel.lock +++ b/MODULE.bazel.lock @@ -38,7 +38,6 @@ "https://bcr.bazel.build/modules/aspect_bazel_lib/2.7.7/MODULE.bazel": "491f8681205e31bb57892d67442ce448cda4f472a8e6b3dc062865e29a64f89c", "https://bcr.bazel.build/modules/aspect_bazel_lib/2.8.1/MODULE.bazel": "812d2dd42f65dca362152101fbec418029cc8fd34cbad1a2fde905383d705838", "https://bcr.bazel.build/modules/aspect_bazel_lib/2.9.3/MODULE.bazel": "66baf724dbae7aff4787bf2245cc188d50cb08e07789769730151c0943587c14", - "https://bcr.bazel.build/modules/aspect_bazel_lib/2.9.4/MODULE.bazel": "ccc41028429f894b02fde7ef67d416cba3ba5084ed9ddb9bb6107aa82d118776", "https://bcr.bazel.build/modules/aspect_rules_esbuild/0.21.0/MODULE.bazel": "77dc393c43ad79398b05865444c5200c6f1aae6765615544f2c7730b5858d533", "https://bcr.bazel.build/modules/aspect_rules_esbuild/0.21.0/source.json": "062b1d3dba8adcfeb28fe60c185647f5a53ec0487ffe93cf0ae91566596e4b49", "https://bcr.bazel.build/modules/aspect_rules_js/1.33.1/MODULE.bazel": "db3e7f16e471cf6827059d03af7c21859e7a0d2bc65429a3a11f005d46fc501b", @@ -48,15 +47,12 @@ "https://bcr.bazel.build/modules/aspect_rules_js/2.3.8/source.json": "411ec9d79d6f5fe8a083359588c21d01a5b48d88a2cbd334a4c90365015b7836", "https://bcr.bazel.build/modules/aspect_rules_lint/0.12.0/MODULE.bazel": "e767c5dbfeb254ec03275a7701b5cfde2c4d2873676804bc7cb27ddff3728fed", "https://bcr.bazel.build/modules/aspect_rules_lint/1.0.3/MODULE.bazel": "ed0fe929647ba21d2041e14ea3d757133ca306b72d4998e8a3d0d2f515196765", - "https://bcr.bazel.build/modules/aspect_rules_lint/1.3.1/MODULE.bazel": "06ce330900a7d6403bc8d88e5dfad6aeeb8ae40179f66bb89e69c8bf6f6b1a0b", "https://bcr.bazel.build/modules/aspect_rules_lint/1.4.2/MODULE.bazel": "78d025facf6fa675fd6f0b62fd6a9a2bec7ef5ae1e288e5b53f4383b98017105", - "https://bcr.bazel.build/modules/aspect_rules_lint/1.4.4/MODULE.bazel": "24459eeeeb084bc3e7628c338e494746718bc17b3a3cbd94415c8df5c7c6dc37", "https://bcr.bazel.build/modules/aspect_rules_lint/1.5.3/MODULE.bazel": "7fee71b11be63f1cf0458cd8c731712a0e672d0bb6df8879ed70249bf8dfdfdc", "https://bcr.bazel.build/modules/aspect_rules_lint/2.0.0/MODULE.bazel": "1f4c81edd9af0c54e65dedbe36653fc63dc9a91605313d54d5ab371f853d693c", "https://bcr.bazel.build/modules/aspect_rules_lint/2.3.0/MODULE.bazel": "4d36bce3c1347bb4fed5906877dce0e683cb207f4032711aff32334003bcf835", "https://bcr.bazel.build/modules/aspect_rules_lint/2.5.0/MODULE.bazel": "24f49acb3b8375fa138ba6ab53bcf517ae92529770a04ab04d47c958ff47b63e", "https://bcr.bazel.build/modules/aspect_rules_lint/2.5.0/source.json": "8beadb1db5fa4b5e36769a5247c200a877fbc9f397dc10b5aa33e76099483070", - "https://bcr.bazel.build/modules/aspect_rules_py/1.0.0/MODULE.bazel": "8eb29876512d3242af50a424300bec5c5f8957b455963df5f618cb7fd4e8ae19", "https://bcr.bazel.build/modules/aspect_rules_py/1.4.0/MODULE.bazel": "6fd29b93207a31445d5d3ab9d9882fd5511e43c95e8e82e7492872663720fd44", "https://bcr.bazel.build/modules/aspect_rules_py/1.4.0/source.json": "fb1ba946478fb6dbb26d49307d756b0fd2ff88be339af23c39c0397d59143d2c", "https://bcr.bazel.build/modules/aspect_rules_ts/3.6.0/MODULE.bazel": "d0045b5eabb012be550a609589b3e5e47eba682344b19cfd9365d4d896ed07df", @@ -405,14 +401,11 @@ "https://bcr.bazel.build/modules/rules_java/7.3.2/MODULE.bazel": "50dece891cfdf1741ea230d001aa9c14398062f2b7c066470accace78e412bc2", "https://bcr.bazel.build/modules/rules_java/7.4.0/MODULE.bazel": "a592852f8a3dd539e82ee6542013bf2cadfc4c6946be8941e189d224500a8934", "https://bcr.bazel.build/modules/rules_java/7.6.1/MODULE.bazel": "2f14b7e8a1aa2f67ae92bc69d1ec0fa8d9f827c4e17ff5e5f02e91caa3b2d0fe", - "https://bcr.bazel.build/modules/rules_java/8.11.0/MODULE.bazel": "c3d280bc5ff1038dcb3bacb95d3f6b83da8dd27bba57820ec89ea4085da767ad", - "https://bcr.bazel.build/modules/rules_java/8.13.0/MODULE.bazel": "0444ebf737d144cf2bb2ccb368e7f1cce735264285f2a3711785827c1686625e", "https://bcr.bazel.build/modules/rules_java/8.14.0/MODULE.bazel": "717717ed40cc69994596a45aec6ea78135ea434b8402fb91b009b9151dd65615", "https://bcr.bazel.build/modules/rules_java/8.15.1/MODULE.bazel": "5071eebf0fd602ab0617f846e0e0d8f388d66c961513c736e0ac4a1dcde3ff2c", "https://bcr.bazel.build/modules/rules_java/8.15.1/source.json": "e48286d5819767bc5b3d457539ae7f94e28a9b3e55d092d5c47176cb6a2a289b", "https://bcr.bazel.build/modules/rules_java/8.3.2/MODULE.bazel": "7336d5511ad5af0b8615fdc7477535a2e4e723a357b6713af439fe8cf0195017", "https://bcr.bazel.build/modules/rules_java/8.5.1/MODULE.bazel": "d8a9e38cc5228881f7055a6079f6f7821a073df3744d441978e7a43e20226939", - "https://bcr.bazel.build/modules/rules_java/8.6.3/MODULE.bazel": "e90505b7a931d194245ffcfb6ff4ca8ef9d46b4e830d12e64817752e0198e2ed", "https://bcr.bazel.build/modules/rules_jvm_external/4.4.2/MODULE.bazel": "a56b85e418c83eb1839819f0b515c431010160383306d13ec21959ac412d2fe7", "https://bcr.bazel.build/modules/rules_jvm_external/5.1/MODULE.bazel": "33f6f999e03183f7d088c9be518a63467dfd0be94a11d0055fe2d210f89aa909", "https://bcr.bazel.build/modules/rules_jvm_external/5.2/MODULE.bazel": "d9351ba35217ad0de03816ef3ed63f89d411349353077348a45348b096615036", @@ -486,7 +479,6 @@ "https://bcr.bazel.build/modules/rules_rust/0.67.0/MODULE.bazel": "87c3816c4321352dcfd9e9e26b58e84efc5b21351ae3ef8fb5d0d57bde7237f5", "https://bcr.bazel.build/modules/rules_shell/0.2.0/MODULE.bazel": "fda8a652ab3c7d8fee214de05e7a9916d8b28082234e8d2c0094505c5268ed3c", "https://bcr.bazel.build/modules/rules_shell/0.3.0/MODULE.bazel": "de4402cd12f4cc8fda2354fce179fdb068c0b9ca1ec2d2b17b3e21b24c1a937b", - "https://bcr.bazel.build/modules/rules_shell/0.4.0/MODULE.bazel": "0f8f11bb3cd11755f0b48c1de0bbcf62b4b34421023aa41a2fc74ef68d9584f0", "https://bcr.bazel.build/modules/rules_shell/0.4.1/MODULE.bazel": "00e501db01bbf4e3e1dd1595959092c2fadf2087b2852d3f553b5370f5633592", "https://bcr.bazel.build/modules/rules_shell/0.5.0/MODULE.bazel": "8c8447370594d45539f66858b602b0bb2cb2d3401a4ebb9ad25830c59c0f366d", "https://bcr.bazel.build/modules/rules_shell/0.6.1/MODULE.bazel": "72e76b0eea4e81611ef5452aa82b3da34caca0c8b7b5c0c9584338aa93bae26b", @@ -564,7 +556,6 @@ "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/aspect_bazel_lib/2.7.7/MODULE.bazel": "not found", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/aspect_bazel_lib/2.8.1/MODULE.bazel": "not found", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/aspect_bazel_lib/2.9.3/MODULE.bazel": "not found", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/aspect_bazel_lib/2.9.4/MODULE.bazel": "not found", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/aspect_rules_esbuild/0.21.0/MODULE.bazel": "not found", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/aspect_rules_js/1.33.1/MODULE.bazel": "not found", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/aspect_rules_js/1.40.0/MODULE.bazel": "not found", @@ -572,14 +563,11 @@ "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/aspect_rules_js/2.3.8/MODULE.bazel": "not found", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/aspect_rules_lint/0.12.0/MODULE.bazel": "not found", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/aspect_rules_lint/1.0.3/MODULE.bazel": "not found", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/aspect_rules_lint/1.3.1/MODULE.bazel": "not found", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/aspect_rules_lint/1.4.2/MODULE.bazel": "not found", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/aspect_rules_lint/1.4.4/MODULE.bazel": "not found", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/aspect_rules_lint/1.5.3/MODULE.bazel": "not found", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/aspect_rules_lint/2.0.0/MODULE.bazel": "not found", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/aspect_rules_lint/2.3.0/MODULE.bazel": "not found", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/aspect_rules_lint/2.5.0/MODULE.bazel": "not found", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/aspect_rules_py/1.0.0/MODULE.bazel": "not found", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/aspect_rules_py/1.4.0/MODULE.bazel": "not found", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/aspect_rules_ts/3.6.0/MODULE.bazel": "not found", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/aspect_tools_telemetry/0.2.5/MODULE.bazel": "not found", @@ -833,13 +821,10 @@ "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/rules_java/7.3.2/MODULE.bazel": "not found", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/rules_java/7.4.0/MODULE.bazel": "not found", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/rules_java/7.6.1/MODULE.bazel": "not found", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/rules_java/8.11.0/MODULE.bazel": "not found", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/rules_java/8.13.0/MODULE.bazel": "not found", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/rules_java/8.14.0/MODULE.bazel": "not found", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/rules_java/8.15.1/MODULE.bazel": "not found", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/rules_java/8.3.2/MODULE.bazel": "not found", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/rules_java/8.5.1/MODULE.bazel": "not found", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/rules_java/8.6.3/MODULE.bazel": "not found", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/rules_jvm_external/4.4.2/MODULE.bazel": "not found", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/rules_jvm_external/5.1/MODULE.bazel": "not found", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/rules_jvm_external/5.2/MODULE.bazel": "not found", @@ -906,7 +891,6 @@ "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/rules_rust/0.68.2-score/source.json": "f88ad98dd08f296a546677e86ad42b20f61851e41a9fd3e0449971162fcaf784", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/rules_shell/0.2.0/MODULE.bazel": "not found", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/rules_shell/0.3.0/MODULE.bazel": "not found", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/rules_shell/0.4.0/MODULE.bazel": "not found", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/rules_shell/0.4.1/MODULE.bazel": "not found", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/rules_shell/0.5.0/MODULE.bazel": "not found", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/rules_shell/0.6.1/MODULE.bazel": "not found", @@ -924,57 +908,19 @@ "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_bazel_platforms/0.1.2/source.json": "549c18a968c1ab76135ad38fd15981fcc04d377a62f20e2e5e0b5faa9de2b01d", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_communication/0.2.1/MODULE.bazel": "4f9e3ac5a12e510412025dc0860bf56c2a186c4e9c4f7144c8fd425aca492bbf", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_communication/0.2.1/source.json": "598f3278128013fb96cb86586c045d045bcaa43869d563f7155101990fe5dd9e", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_cr_checker/0.2.2/MODULE.bazel": "dc36d9c35543db918c3fb5b93a8e684431f56c7c784cf2a1b90f35802a373c98", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_cr_checker/0.3.1/MODULE.bazel": "f49e037d7fbc0b2a8b2734fc6b47334e8cc8589ca7a5aa0f3ccca85cc5f79fac", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_crates/0.0.10/MODULE.bazel": "80599c71cfc5827a189ab40fe2f320c8f52e0fca5bcc7c8bf8bfbdead7f97a74", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_crates/0.0.10/source.json": "9fb86963b62475c8fffb6432749a547d52d728ff829b48679fa091f0dfd338a7", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_crates/0.0.6/MODULE.bazel": "da72d24b2afb4456377f7ee13d0d95fb6bfc70dbfb949c7b8676618e661edf61", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_crates/0.0.7/MODULE.bazel": "4b08e2124d1627b08a9a5ce86e3693fe6eea302d0aad98c05216d26da3fced89", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_crates/0.0.9/MODULE.bazel": "8f581e0a658a6dab149f381d783443cb00b559f4e9623956f8ff3de06108c550", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_dash_license_checker/0.1.1/MODULE.bazel": "76681dbd2d45b5c540869a2337174086c56c54953aab1d02cd878b59d31d13a5", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_devcontainer/1.7.0/MODULE.bazel": "f9a5971fbd05f0ed14e7a373dbf58af72a5c58d081537a75c314daaf61c92ae9", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_devcontainer/1.7.0/source.json": "a3f55522fd9f63fae7a92f3cb5f91c25ae7474a39e9f9c633f0cf797fc0ca8e5", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_docs_as_code/0.2.4/MODULE.bazel": "ea4801e96c87e2b8650a0fa9e5fed9b8bdbef05c1bc3e30003ba527d5af60a43", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_docs_as_code/0.2.6/MODULE.bazel": "1af2963e91c6472555e222f0aba3dc2f5492d04598298209a361978ee3e321e3", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_docs_as_code/0.3.3/MODULE.bazel": "95d2b7d44d461c1cf9bd016605f740716fd4ea1303f5f2ed93de3566b90feb1b", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_docs_as_code/1.0.0-RC1/MODULE.bazel": "e118b5cbdc453cde83b5ce481107d8e4a713d3458550b9d10445046d4bba2ff3", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_docs_as_code/1.0.0/MODULE.bazel": "a3ad204b7412c02a899034d78de62b5549bafba5530a256d1007cb3f4ed20a11", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_docs_as_code/1.0.2-CW1/MODULE.bazel": "08d30eba6a1c502096abd65ebb759afb35f988b31e4b72ab5866177703cfec77", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_docs_as_code/1.0.2/MODULE.bazel": "259894df09b4aa6bb5152717b03c3c06a3fd4ad583a7119c52f3a2f0d277b857", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_docs_as_code/1.2.0/MODULE.bazel": "a2b10950d585e14b09a6266025c0624b42101f72d3c4efe9591716b8713ede47", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_docs_as_code/2.0.0/MODULE.bazel": "0c850a488fd50067b28726bfd7330a6970e36b63e67ea06efd5fbbc813e7be5c", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_docs_as_code/2.0.3/MODULE.bazel": "9b945514727190d4c381d8965b972884ba04ce105260ffd2b3c9df51f206ebfe", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_docs_as_code/2.3.1/MODULE.bazel": "1b1f694232bd2037704d2f7412ef229e3df2e8e2eb796678999c9e3e2d0f5ddb", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_docs_as_code/3.0.0/MODULE.bazel": "61625b107e374d3c3fbfa4431a497f55567ee49892290cbf64278e92878e231d", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_docs_as_code/3.0.1/MODULE.bazel": "296328e60d5481ff529e0c937ba80c5d3d4838445d119caf517fd82f97cd053a", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_docs_as_code/4.0.0/MODULE.bazel": "522dc070354e6be2f984468a4243fe4ab8bec690922df5f31f7f0916ee264e20", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_docs_as_code/4.0.1/MODULE.bazel": "5955f4cf37228a9cdda7f6009b81db0446f005c618f4bc43665bfa45f2673ebc", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_docs_as_code/4.5.0/MODULE.bazel": "4cfe52fe8b8dbeaf7e87500036391da278f72f1c2b41b689ffdd4337196dd8fe", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_docs_as_code/4.6.0/MODULE.bazel": "d5fbfed7b9bd65f10830e2290045dea639a8cfcaf9f9f0f7a1b12888c14e7d2b", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_docs_as_code/4.6.0/source.json": "a24b2bbb23817086971252bffc739c23a3db5d0d2546b0c775940dc0d5061068", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_format_checker/0.1.1/MODULE.bazel": "1acc254faa90e9f97b79ac69af25b6c21c561f8d6079914f6352b9b20d26bd37", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_platform/0.1.0/MODULE.bazel": "cc9eae86e76f2a930510ed6e50ec991bb5661687e24881685b39c322087adf6f", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_platform/0.1.1/MODULE.bazel": "eb086ba99f9319371fbbd0a9252dfd27b0817039b88bd4d691602974b1ada005", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_platform/0.6.0/MODULE.bazel": "cbba367a590ba770225cabde923e8052f3990d6a311fe5b9f0da28b28d51f58e", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_platform/0.6.0/source.json": "1ce1ea5c0061e4b254c1f9ec4d3800046786aa3c2fda8ceef5840d5f7be62800", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_process/1.0.4/MODULE.bazel": "f74302cb90a7c4878db302276afae82966878099861dcfca3ef43256131dab52", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_process/1.0.5/MODULE.bazel": "ed17c232ebd65e9d50fd5c1832f90f95ffe95b2a1113d63a176295a2af64d111", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_process/1.1.0/MODULE.bazel": "97dd927309f87ecb73629725683028a5dbb37a49b1159c771292e6993569055b", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_process/1.1.1-Beta/MODULE.bazel": "7ab8931f4b2754b728101ed5a2afda458b82b885f5cfdb9d8c4c62b5c1a2da7e", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_process/1.1.1/MODULE.bazel": "35c84c7cec7d15678f63145054bb74367afb65929724c2115095d5e1b96fca94", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_process/1.2.0/MODULE.bazel": "ec092bf01731a1866352d7b8aaa0e30cae319667abc8cf7a86aec0bdb8555a0e", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_process/1.3.1/MODULE.bazel": "29666e38fbc76eddd6676e594f225e474d130dce9c3a9d224e59ae7a499c4575", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_process/1.3.2/MODULE.bazel": "a32390ef217cef9a811408b0a1c5aeed1398c377aa846f5d5416d7b95b4e4366", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_process/1.4.2/MODULE.bazel": "7593d62baf500c4e40bf0758f2515b5df016e177b889d11ca964818821ebe505", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_process/1.4.3/MODULE.bazel": "eb8243299a6ae3663618db5b4718e2c0d3c93f91a44994641e70106c400b23fb", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_process/1.5.2/MODULE.bazel": "be52d29278d6671221f28921e8f1acfce29c3bfc3e6b4f503f0625ab2c61586f", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_process/1.5.3/MODULE.bazel": "65024b7f23ce5f72bd6ffd455a67c042ecf56d267f0bf63a90330a3241781b7a", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_process/1.6.0/MODULE.bazel": "2496bc24311f69f49449ee85d8bb38e3b970cbfcf10d0a7f19b2d5262ce80e8d", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_process/2.0.1/MODULE.bazel": "88bff0ed46da79d87f8c441a6bf6b760ee7c194b282e7e54a8b7db6ea2354db9", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_process/2.0.1/source.json": "61a928568125351da7918bbf842a7237ac061e244bd25d4ab6147f76c4e336f1", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_python_basics/0.3.0/MODULE.bazel": "785ddd5295213e36c31ab86bdc34f29c0f7d1b72e9abd931bb08f42c0e48e2e9", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_python_basics/0.3.1/MODULE.bazel": "99c491109937542e61df090222666a8613ef946fa7bb2b2d5ba648b2baba03ad", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_python_basics/0.3.2/MODULE.bazel": "f25490f64035a0e3a0d53ad9cb6164e8325ce6cf2a7ee68c6ae153840cb2497e", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_python_basics/0.3.4/MODULE.bazel": "53bd16dfbb1fb8ecf6822fb26f9f4e8333bac7b14d12bb02bf84078063820a31", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_python_basics/0.3.4/source.json": "28ed0207a16f8498a84fae4983fa73060805003a4fbd68c6d749e2f1cc14601f", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_rules_imagefs/0.0.3/MODULE.bazel": "d87fcd3485438284fa96d6a5a81923d6b6672468947423517cc43c4d7692ca6a", @@ -982,14 +928,12 @@ "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_rust_policies/0.0.2/MODULE.bazel": "ade2bad4a331b02d9b7e7d9842e8de8c6fded6186486e02c4f7db5cd4b71d34d", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_rust_policies/0.0.5/MODULE.bazel": "7de02547bdf121d3dedf5141b97f0fd9a545bd255ff5c7b699056b35816ffad9", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_rust_policies/0.0.5/source.json": "22c8bf0a5cbf7c7b06f774f3f66498e0bc14346a8b2208f7427a8fbb78a42547", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_starpls_lsp/0.1.0/MODULE.bazel": "b2f8c4c8d8e851706255ff9002b448bff6e040b8f0c6adedbde2a09375aa16cc", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_test_scenarios/0.4.1/MODULE.bazel": "69478ff7f59d1a4f0d96e8e303a17ce904848fea7ffd1fc3030406aa68dcfeae", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_test_scenarios/0.4.1/source.json": "9e0591cb24f7ec25f6f5987883b368eac439c41b6b52b65eed1121750335b0f5", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_toolchains_rust/0.9.1/MODULE.bazel": "40cab3f733d11fa7ebfa00667148c8da7c4c4168f0010cc8fff90d577f4f28f9", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_toolchains_rust/0.9.1/source.json": "af8b25d7a21b2f60678f31fef4ad767c6e0ad8935386d51e0e3180bf5989e8d9", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_tooling/1.0.2/MODULE.bazel": "e70f396375b9d612b4f41ebceff7f18f68ab423b14625c138a354cc01bc62a10", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_tooling/1.1.0/MODULE.bazel": "5a04a5ce3512eb742a036600fba58b465f427e2e193db8e88857132e4a4eb513", - "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_tooling/1.1.2-RC/MODULE.bazel": "ac89da18ac88f7169d2fe675bfd173464f8de58ea934c12079aed0488c3b4dcd", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_tooling/1.1.2/MODULE.bazel": "56d08309931cfad67c2b6691207bb5f761a3946830d620c630d2436630e6b499", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_tooling/1.2.0/MODULE.bazel": "982db97a4f8440356ea935f103204f644fb2b84d8188df63533c7312c82afc37", "https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_tooling/1.2.0/source.json": "c742d8932e4e6b667f3c81f40127768a8541f01ca7b1e6751773926231cbd852", diff --git a/docs/verification_report/module_verification_report.rst b/docs/verification_report/module_verification_report.rst index 59b80e797..a6878624d 100644 --- a/docs/verification_report/module_verification_report.rst +++ b/docs/verification_report/module_verification_report.rst @@ -24,86 +24,179 @@ Verification Report :realizes: wp__verification_module_ver_report[version==1] :tags: persistency +.. mod:: Persistency Module + :id: mod__persistency + :status: valid + :safety: ASIL_B + :security: NO + :includes: comp__persistency_kvs[version==1] + +.. mod_insp:: KVS Requirements Inspection Record + :id: mod_insp__kvs_req + :safety: ASIL_B + :security: NO + :status: valid + :inspection_type: requirements + :inspection_state: approved + :checklist_ref: gd_chklst__req_inspection + :reviewers: kvs-reviewer-a,kvs-reviewer-b + :checklist_type: req + :findings_total: 0 + :findings_open: 0 + :inspection_date: 2026-07-07 + :belongs_to: mod__persistency + :inspects: comp_req__kvs__key_naming[version==1], comp_req__kvs__value_default[version==1], aou_req__persistency__error_handling[version==1] + :evidence: doc__kvs_req_inspection + +.. mod_insp:: Persistency Architecture Inspection Record + :id: mod_insp__persistency_arch + :safety: ASIL_B + :security: NO + :status: valid + :inspection_type: architecture + :inspection_state: approved + :checklist_ref: gd_chklst__arch_inspection_checklist + :reviewers: feature-reviewer-a,feature-reviewer-b + :checklist_type: arc + :findings_total: 0 + :findings_open: 0 + :inspection_date: 2026-07-07 + :belongs_to: mod__persistency + :inspects: feat_arc_sta__persistency__static[version==1], comp_arc_sta__kvs__static_view + :evidence: doc__persistency_arc_inspection, doc__kvs_arc_inspection + +.. mod_insp:: KVS Implementation Inspection Record + :id: mod_insp__kvs_impl + :safety: ASIL_B + :security: NO + :status: valid + :inspection_type: implementation + :inspection_state: approved + :checklist_ref: gd_chklst__impl_inspection_checklist + :reviewers: kvs-impl-reviewer-a + :checklist_type: impl + :findings_total: 0 + :findings_open: 0 + :inspection_date: 2026-07-07 + :belongs_to: mod__persistency + :inspects: doc__kvs_detailed_design, comp_arc_dyn__kvs__dynamic_view + :evidence: doc__kvs_impl_inspection + +.. mod_ver_report:: Persistency Module Verification Summary + :id: mod_vrep__persistency_report + :safety: ASIL_B + :security: NO + :status: valid + :verification_method: test_and_inspection + :requirements_coverage_percent: 100 + :structural_coverage_percent: 0 + :branch_coverage_percent: 0 + :verdict: open + :report_version: 1 + :release_baseline: main + :belongs_to: mod__persistency + :contains: mod_insp__kvs_req, mod_insp__persistency_arch, mod_insp__kvs_impl + :covers: comp_req__kvs__key_naming[version==1], feat_arc_sta__persistency__static[version==1], doc__kvs_detailed_design, feat_saf_dfa__persistency__execution_blocking[version==1], feat_saf_fmea__persistency__err_handl[version==1] + :evidence: doc__persistency_verification_report, doc__persistency_safety_analysis_fdr + :realizes: wp__verification_module_ver_report[version==1] This verification report is based on the verification plan. -It covers all the components of the above stated module. +It covers the persistency module and all linked component/feature verification evidence. Verification Report contains: **1. Verification Coverage** **1.1. on Requirements** - - Lists of component requirements (incl. AoU satisfied by the component) tested by which test case, passed/failed and completeness verdict - (this shall be generated by tools and accompanied by progress charts to be usable also for project steering) - - For external component Assumptions of Use: coverage by platform safety manual or feature/components incl. test case, passed/failed and completeness verdict - - This is split in a list of QM requirements tested and a separate list of tests for ASIL rated requirements. - - List of component requirements (ASIL rated) linked to inspection checklist and verdict (derived from PR export) + +.. needtable:: Requirements and AoU Traceability Coverage + :filter: type in ["comp_req", "aou_req"] and docname is not None and "kvs/docs/requirements" in docname and status == "valid" + :style: table + :sort: id + :columns: id as "ID";status as "Status";tags as "Tags";fully_verifies_back as "Fully Verified By Tests";partially_verifies_back as "Partially Verified By Tests";inspects_back as "Inspected By" **1.2. on Architecture** - - List of component architecture tags tested by which test case, passed/failed and completeness verdict - (this shall be generated by tools and accompanied by progress charts to be usable also for project steering) - - This is split in a list of QM components tested and a separate list of tests for ASIL rated components. - - List of component architecture tags (ASIL rated) linked to inspection checklist and verdict (derived from PR export) + +.. needtable:: Architecture Verification Coverage + :filter: type in ["feat_arc_sta", "feat_arc_dyn", "comp_arc_sta", "comp_arc_dyn"] and status == "valid" and ("persistency" in id or "kvs" in id) + :style: table + :sort: id + :columns: id as "ID";type_name as "Type";status as "Status";fully_verifies_back as "Fully Verified By Tests";partially_verifies_back as "Partially Verified By Tests";inspects_back as "Inspected By" **1.3. on Detailed Design** - - List of detailed design tags tested by which test case, passed/failed and completeness verdict - (this shall be generated by tools and accompanied by progress charts to be usable also for project steering) - - This is split in a list of QM components tested and a separate list of tests for ASIL rated components. - - List of detailed design tags (ASIL rated) linked to inspection checklist and verdict (derived from PR export) - - The lists may also contain other verification methods like "Analysis" - process tbd +.. needtable:: Detailed Design Verification Coverage + :filter: id == "doc__kvs_detailed_design" + :style: table + :columns: id as "ID";status as "Status";inspects_back as "Inspected By";realizes as "Realizes" -**2. DFA Report** - - :need:`doc__kvs_dfa` documents that DFA is performed on feature level :need:`doc__persistency_dfa` - - :need:`doc__persistency_safety_analysis_fdr` performed +The above requirement, architecture, and detailed design tables are generated from needs relations and inspection records. - .. needtable:: List of performed feature DFA analyses - :filter: "persistency" in id and type == "feat_saf_dfa" and is_external == False - :style: table - :sort: status - :columns: id as "ID";mitigated_by as "Mitigation";sufficient as "Sufficient";status as "Status" - :colwidths: 40,30,15,15 +**2. DFA Report** - DFA is performed. All mitigations are sufficient to reduce the risk to an acceptable level. The AoU is documented - in the safety manual. +.. needtable:: Performed Feature DFA Analyses + :filter: "persistency" in id and type == "feat_saf_dfa" and is_external == False + :style: table + :sort: id + :columns: id as "ID";mitigated_by as "Mitigation";sufficient as "Sufficient";status as "Status" + :colwidths: 40,30,15,15 **3. Safety Analysis Report** - - :need:`doc__kvs_fmea` documents that FMEA is performed on feature level :need:`doc__persistency_fmea` - - :need:`doc__persistency_safety_analysis_fdr` performed - .. needtable:: List of performed feature FMEA analyses - :filter: "persistency" in id and type == "feat_saf_fmea" and is_external == False - :style: table - :sort: status - :columns: id as "ID";mitigated_by as "Mitigation";sufficient as "Sufficient";status as "Status" - :colwidths: 40,30,15,15 - - FMEA is performed. All mitigations are sufficient to reduce the risk to an acceptable level. The AoU's are documented - in the safety manual. +.. needtable:: Performed Feature FMEA Analyses + :filter: "persistency" in id and type == "feat_saf_fmea" and is_external == False + :style: table + :sort: id + :columns: id as "ID";mitigated_by as "Mitigation";sufficient as "Sufficient";status as "Status" + :colwidths: 40,30,15,15 **4. Unit Verification Coverage** **4.1. Structural Coverage** - - List of the units with C0(line) and C1(branch) coverage absolute and percentage - (this shall be generated by tools and accompanied by progress charts to be usable also for project steering) - - List includes a column for the safety rating of each unit. + +Automatic structural/branch coverage needs are currently not available in this repository's needs dataset. +This section remains manual until unit coverage artifacts are exported as needs. **4.2. Static Code Analysis** - - List of the units with compiler warning numbers and coding rule violation numbers - (this shall be generated by tools and accompanied by progress charts to be usable also for project steering) - - List includes a column for the safety rating of each unit. + +Automatic static-analysis findings needs are currently not available in this repository's needs dataset. +This section remains manual until static-analysis artifacts are exported as needs. **4.3. Manual Code Inspection** - - List of components (ASIL rated) linked to inspection checklist and verdict (derived from PR export) + +.. needtable:: Inspection Records (Requirements, Architecture, Implementation) + :filter: type == "mod_insp" and ("persistency" in id or "kvs" in id) + :style: table + :sort: id + :columns: id as "Inspection ID";inspection_type as "Type";inspection_state as "State";findings_open as "Open Findings";inspects as "Inspected Artifacts";evidence as "Evidence" **5. Software component qualification verification report** - - Contains the needed verification results if for some components a qualification of pre-developed SW is performed. + +No separate pre-developed software qualification report is currently linked in this module. **6. Test results** - - Test result per test case with status passed/failed/not_run + +.. needpie:: Test Results + :labels: passed, failed, skipped + :colors: green, red, orange + + type == 'testcase' and result == 'passed' + type == 'testcase' and result == 'failed' + type == 'testcase' and result == 'skipped' + +.. needtable:: Test Result Per Testcase + :filter: type == "testcase" + :style: table + :sort: id + :columns: id as "Need ID";name as "Testcase";result as "Result";fully_verifies as "Fully Verifies";partially_verifies as "Partially Verifies" **7. Test logs** - - Test log per test case with status passed/failed/not_run + +.. needtable:: Test Logs Per Testcase + :filter: type == "testcase" + :style: table + :sort: id + :columns: id as "Need ID";name as "Testcase";result_text as "Result Text";file as "File";line as "Line" **Note1:** The verification report is valid for the module version tagged together with the report diff --git a/tests/README.md b/tests/README.md index 80077ae0e..92dacf39e 100644 --- a/tests/README.md +++ b/tests/README.md @@ -75,6 +75,13 @@ Run all Component Integration Tests: bazel test //:cit_tests ``` +If external baselibs warnings/errors should not block local persistency CIT debugging, +run the local debug configuration and local-only suite: + +```bash +bazel test --config=cit-local-debug //:cit_tests_local +``` + When the dependencies in [requirements.txt](test_cases/requirements.txt) file are manually modified, the user should invoke command and commit changes: ```bash diff --git a/ubproject.toml b/ubproject.toml new file mode 100644 index 000000000..8fa05b5bd --- /dev/null +++ b/ubproject.toml @@ -0,0 +1,286 @@ +# This file is auto-generated by needs-config-writer. +# It is a duplicate of shared and local configs to make tools like ubCode / ubc work. +# Do not manually modify it - changes will be overwritten. + +[needs] +build_json = true +build_needumls = "_plantuml_sources" +default_layout = "score" +id_regex = "^[A-Za-z0-9_-]{6,}" +id_required = true +json_remove_defaults = true +reproducible_json = true +schema_debug_path = "/workspaces/persistency/schema_debug" + +[[needs.external_needs]] +base_url = "https://eclipse-score.github.io/score/main" +json_path = "bazel-bin/external/score_platform+/needs_json/_build/needs/needs.json" + +[[needs.external_needs]] +base_url = "https://eclipse-score.github.io/process_description//main" +json_path = "bazel-bin/external/score_process+/needs_json/_build/needs/needs.json" + +[needs.flow_configs] +cplant = "\n ' CPLANT by AOKI (https://github.com/aoki/cplant)\n !define BLACK #363D5D\n !define RED #F6363F\n !define PINK #F6216E\n !define MAGENTA #A54FBD\n !define GREEN #37A77C\n !define YELLOW #F97A00\n !define BLUE #1E98F2\n !define CYAN #25AFCA\n !define WHITE #FEF2DC\n\n ' Base Setting\n skinparam Shadowing false\n skinparam BackgroundColor transparent\n skinparam ComponentStyle uml2\n skinparam Default {\n FontName 'Hiragino Sans'\n FontColor BLACK\n FontSize 10\n FontStyle plain\n }\n\n skinparam Sequence {\n ArrowThickness 1\n ArrowColor RED\n ActorBorderThickness 1\n LifeLineBorderColor GREEN\n ParticipantBorderThickness 0\n }\n skinparam Participant {\n BackgroundColor BLACK\n BorderColor BLACK\n FontColor #FFFFFF\n }\n\n skinparam Actor {\n BackgroundColor BLACK\n BorderColor BLACK\n }\n " +handwritten = "\n skinparam handwritten true\n " +lefttoright = "\n left to right direction\n " +mixing = "\n allowmixing\n " +monochrome = "\n skinparam monochrome true\n " +score_config = "!include ../docs-as-code/src/extensions/score_layout/assets/puml-theme-score.puml" +tne = "\n ' Based on \"Tomorrow night eighties\" color theme (see https://github.com/chriskempson/tomorrow-theme)\n ' Provided by gabrieljoelc (https://github.com/gabrieljoelc/plantuml-themes)\n !define Background #2d2d2d\n !define CurrentLine #393939\n !define Selection #515151\n !define Foregound #cccccc\n !define Comment #999999\n !define Red #f2777a\n !define Orange #f99157\n !define Yellow #ffcc66\n !define Green #99cc99\n !define Aqua #66cccc\n !define Blue #6699cc\n !define Purple #cc99cc\n\n skinparam Shadowing false\n skinparam backgroundColor #2d2d2d\n skinparam Arrow {\n Color Foregound\n FontColor Foregound\n FontStyle Bold\n }\n skinparam Default {\n FontName Menlo\n FontColor #fdfdfd\n }\n skinparam package {\n FontColor Purple\n BackgroundColor CurrentLine\n BorderColor Selection\n }\n skinparam node {\n FontColor Yellow\n BackgroundColor CurrentLine\n BorderColor Selection\n }\n skinparam component {\n BackgroundColor Selection\n BorderColor Blue\n FontColor Blue\n Style uml2\n }\n skinparam database {\n BackgroundColor CurrentLine\n BorderColor Selection\n FontColor Orange\n }\n\n skinparam cloud {\n BackgroundColor CurrentLine\n BorderColor Selection\n }\n\n skinparam interface {\n BackgroundColor CurrentLine\n BorderColor Selection\n FontColor Green\n }\n " +toptobottom = "\n top to bottom direction\n " +transparent = "\n skinparam backgroundcolor transparent\n " + +[needs.graphviz_styles.default.edge] +minlen = "2" + +[needs.graphviz_styles.default.node] +margin = "0.21,0.11" + +[needs.graphviz_styles.lefttoright.graph] +rankdir = "LR" + +[needs.graphviz_styles.toptobottom.graph] +rankdir = "TB" + +[needs.graphviz_styles.transparent.graph] +bgcolor = "transparent" + +[needs.layouts.clean] +grid = "simple" + +[needs.layouts.clean.layout] +head = [ + "<>: **<>** <> <> ", +] +meta = [ + "<>", + "<>", +] + +[needs.layouts.clean_l] +grid = "simple_side_left" + +[needs.layouts.clean_l.layout] +head = [ + "<>: **<>** <> <> ", +] +meta = [ + "<>", + "<>", +] +side = [ + "<>", +] + +[needs.layouts.clean_lp] +grid = "simple_side_left_partial" + +[needs.layouts.clean_lp.layout] +head = [ + "<>: **<>** <> <> ", +] +meta = [ + "<>", + "<>", +] +side = [ + "<>", +] + +[needs.layouts.clean_r] +grid = "simple_side_right" + +[needs.layouts.clean_r.layout] +head = [ + "<>: **<>** <> <> ", +] +meta = [ + "<>", + "<>", +] +side = [ + "<>", +] + +[needs.layouts.clean_rp] +grid = "simple_side_right_partial" + +[needs.layouts.clean_rp.layout] +head = [ + "<>: **<>** <> <> ", +] +meta = [ + "<>", + "<>", +] +side = [ + "<>", +] + +[needs.layouts.complete] +grid = "complex" + +[needs.layouts.complete.layout] +footer = [] +footer_left = [ + "layout: <>", +] +footer_right = [ + "style: <>", +] +head = [ + "<>", +] +head_left = [ + "<>", +] +head_right = [ + "<>", +] +meta_left = [ + "<>", +] +meta_right = [ + "<>", +] + +[needs.layouts.debug] +grid = "simple" + +[needs.layouts.debug.layout] +head = [ + "<> **<>**", + "**<>**", +] +meta = [ + "<>", +] + +[needs.layouts.focus] +grid = "content" + +[needs.layouts.focus.layout] + +[needs.layouts.focus_f] +grid = "content_footer" + +[needs.layouts.focus_f.layout] +footer = [ + "<>", +] + +[needs.layouts.focus_l] +grid = "content_side_left" + +[needs.layouts.focus_l.layout] +side = [ + "<>", +] + +[needs.layouts.focus_r] +grid = "content_side_right" + +[needs.layouts.focus_r.layout] +side = [ + "<>", +] + +[needs.layouts.github] +grid = "complex" + +[needs.layouts.github.layout] +footer = [ + "service: <>", +] +footer_left = [ + "layout: <>", +] +footer_right = [ + "style: <>", +] +head = [ + "**<>** (<>)", +] +head_left = [ + "<>", + "<>", +] +head_right = [ + "<>", + "<>", +] +meta_left = [ + "<>", + "<>", + "<>", + "<>", + "<>", + "<>", +] +meta_right = [ + "<>", + "<>", + "<>", +] + +[needs.layouts.score] +grid = "complex" + +[needs.layouts.score.layout] +footer = [ + "<>", +] +footer_left = [ + "<>", +] +footer_right = [] +head = [ + "<>", + "<>", + "<>", +] +head_left = [ + "<>", +] +head_right = [ + "<>", +] +meta_left = [ + "<>", + "<>", +] +meta_right = [] + +[needs.layouts.test] +grid = "simple" + +[needs.layouts.test.layout] +head = [ + "<>: **<>** <> <> ", +] +meta = [ + "<>", + "<>", +] + +[parse.extend_directives.grid] +argument = true +options = true +content = true +parse_content = true +content_required = true + +[parse.extend_directives.grid-item-card] +argument = false +options = true +content = true +parse_content = true +content_required = true + +[parse.extend_directives.uml] +argument = true +options = true +content = true +parse_content = false +content_required = false From 482c2830f1450d30047e13c8fffdc0d785a6c187 Mon Sep 17 00:00:00 2001 From: Frank Scholter Peres Date: Wed, 8 Jul 2026 15:20:29 +0000 Subject: [PATCH 2/4] remove local CIT debug config and docs note --- .bazelrc | 10 ---------- tests/README.md | 7 ------- 2 files changed, 17 deletions(-) diff --git a/.bazelrc b/.bazelrc index c8b3e5152..f9c248d18 100644 --- a/.bazelrc +++ b/.bazelrc @@ -38,16 +38,6 @@ build:lint --config=per-x86_64-linux test --test_output=errors -# ------------------------------------------------------------------------------- -# Local config for CIT debugging in presence of upstream deprecation warnings -# ------------------------------------------------------------------------------- -# This keeps strict settings by default, but allows local debugging to proceed -# when external dependencies emit deprecated-declaration warnings under -Werror. -build:cit-local-debug --copt=-Wno-error=deprecated-declarations -build:cit-local-debug --cxxopt=-Wno-error=deprecated-declarations -test:cit-local-debug --copt=-Wno-error=deprecated-declarations -test:cit-local-debug --cxxopt=-Wno-error=deprecated-declarations - # ------------------------------------------------------------------------------- # Shared configuration for simple test execution # ------------------------------------------------------------------------------- diff --git a/tests/README.md b/tests/README.md index 92dacf39e..80077ae0e 100644 --- a/tests/README.md +++ b/tests/README.md @@ -75,13 +75,6 @@ Run all Component Integration Tests: bazel test //:cit_tests ``` -If external baselibs warnings/errors should not block local persistency CIT debugging, -run the local debug configuration and local-only suite: - -```bash -bazel test --config=cit-local-debug //:cit_tests_local -``` - When the dependencies in [requirements.txt](test_cases/requirements.txt) file are manually modified, the user should invoke command and commit changes: ```bash From 12d9088e0f596aa1cc63f544a0a0003d22ae9a0e Mon Sep 17 00:00:00 2001 From: Frank Scholter Peres Date: Wed, 8 Jul 2026 15:24:05 +0000 Subject: [PATCH 3/4] pin score_docs_as_code override to docs-as-code PR 612 commit --- MODULE.bazel | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/MODULE.bazel b/MODULE.bazel index 048744845..2a41480dc 100644 --- a/MODULE.bazel +++ b/MODULE.bazel @@ -67,10 +67,11 @@ bazel_dep(name = "score_rules_imagefs", version = "0.0.3", dev_dependency = True bazel_dep(name = "score_docs_as_code", version = "4.6.0") -# Local development override to test in-flight docs-as-code changes. -local_path_override( +# Pin docs-as-code to PR 612 head for verification report integration testing. +git_override( module_name = "score_docs_as_code", - path = "../docs-as-code", + commit = "66a9c2dc5c63b5b94c27198ac398c54556bee991", + remote = "https://github.com/eclipse-score/docs-as-code.git", ) bazel_dep(name = "score_platform", version = "0.6.0", dev_dependency = True) From 0b9bc434c4b0591fe4eaa0ace31c140da4317d91 Mon Sep 17 00:00:00 2001 From: Frank Scholter Peres Date: Thu, 9 Jul 2026 13:36:00 +0000 Subject: [PATCH 4/4] fixed linking --- .../module_verification_report.rst | 20 +++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/docs/verification_report/module_verification_report.rst b/docs/verification_report/module_verification_report.rst index a6878624d..bb5aa3a63 100644 --- a/docs/verification_report/module_verification_report.rst +++ b/docs/verification_report/module_verification_report.rst @@ -32,7 +32,7 @@ Verification Report :includes: comp__persistency_kvs[version==1] .. mod_insp:: KVS Requirements Inspection Record - :id: mod_insp__kvs_req + :id: mod_insp__kvs__req :safety: ASIL_B :security: NO :status: valid @@ -49,7 +49,7 @@ Verification Report :evidence: doc__kvs_req_inspection .. mod_insp:: Persistency Architecture Inspection Record - :id: mod_insp__persistency_arch + :id: mod_insp__persistency__arch :safety: ASIL_B :security: NO :status: valid @@ -62,11 +62,11 @@ Verification Report :findings_open: 0 :inspection_date: 2026-07-07 :belongs_to: mod__persistency - :inspects: feat_arc_sta__persistency__static[version==1], comp_arc_sta__kvs__static_view - :evidence: doc__persistency_arc_inspection, doc__kvs_arc_inspection + :inspects: feat_arc_sta__persistency__static[version==1], feat_arc_dyn__persistency__read_key[version==1] + :evidence: doc__persistency_kvs_architecture[version==1] .. mod_insp:: KVS Implementation Inspection Record - :id: mod_insp__kvs_impl + :id: mod_insp__kvs__impl :safety: ASIL_B :security: NO :status: valid @@ -79,11 +79,11 @@ Verification Report :findings_open: 0 :inspection_date: 2026-07-07 :belongs_to: mod__persistency - :inspects: doc__kvs_detailed_design, comp_arc_dyn__kvs__dynamic_view - :evidence: doc__kvs_impl_inspection + :inspects: feat_arc_dyn__persistency__write_key[version==1], feat_arc_dyn__persistency__flush[version==1] + :evidence: doc__persistency_kvs_architecture[version==1] .. mod_ver_report:: Persistency Module Verification Summary - :id: mod_vrep__persistency_report + :id: mod_vrep__persistency__report :safety: ASIL_B :security: NO :status: valid @@ -95,8 +95,8 @@ Verification Report :report_version: 1 :release_baseline: main :belongs_to: mod__persistency - :contains: mod_insp__kvs_req, mod_insp__persistency_arch, mod_insp__kvs_impl - :covers: comp_req__kvs__key_naming[version==1], feat_arc_sta__persistency__static[version==1], doc__kvs_detailed_design, feat_saf_dfa__persistency__execution_blocking[version==1], feat_saf_fmea__persistency__err_handl[version==1] + :contains: mod_insp__kvs__req, mod_insp__persistency__arch, mod_insp__kvs__impl + :covers: comp_req__kvs__key_naming[version==1], comp_req__kvs__value_default[version==1], feat_arc_sta__persistency__static[version==1], feat_saf_dfa__persistency__execution_blocking[version==1], feat_saf_fmea__persistency__err_handl[version==1] :evidence: doc__persistency_verification_report, doc__persistency_safety_analysis_fdr :realizes: wp__verification_module_ver_report[version==1]