Refactor requirement macros to accept RST sources via rst_srcs_to_trlc

Wire RST-to-TRLC conversion into all requirement macros so users can
pass .rst files directly instead of pre-built trlc_requirements targets:

- Add assumed_system_requirements() public macro with stable _trlc alias
  generation for downstream cross-package references
- Add _score_requirements() shared helper to deduplicate feature/component
  macro logic
- Extend feature_requirements() and component_requirements() with deps
  and ref_package parameters for RST source support
- Update assumptions_of_use() to accept RST sources and change srcs
  attribute to require TrlcProviderInfo providers
- Export assumed_system_requirements from rules_score.bzl
- Add comprehensive Bazel analysis tests (requirements_rst_test.bzl) for
  all RST-based requirement macros with provider and SphinxSourcesInfo
  verification

Author: hoe-jo

bazel/rules/rules_score/private/assumptions_of_use.bzl

@@ -19,7 +19,9 @@ following S-CORE process guidelines. Assumptions of Use define the safety-releva
 operating conditions and constraints for a Safety Element out of Context (SEooC).
 """
 
+load("@trlc//:trlc.bzl", "TrlcProviderInfo", "trlc_requirements_test")
 load("//bazel/rules/rules_score:providers.bzl", "AssumptionsOfUseInfo", "ComponentRequirementsInfo", "FeatureRequirementsInfo", "SphinxSourcesInfo")
+load("//bazel/rules/rules_score/private:rst_to_trlc.bzl", "rst_srcs_to_trlc")
 
 # ============================================================================
 # Private Rule Implementation
@@ -79,9 +81,9 @@ _assumptions_of_use = rule(
     doc = "Collects Assumptions of Use documents with traceability to feature requirements",
     attrs = {
         "srcs": attr.label_list(
-            allow_files = [".rst", ".md", ".trlc"],
+            providers = [TrlcProviderInfo],
             mandatory = True,
-            doc = "Source files containing Assumptions of Use specifications",
+            doc = "trlc_requirements targets containing Assumptions of Use specifications",
         ),
         "requirements": attr.label_list(
             providers = [[FeatureRequirementsInfo], [ComponentRequirementsInfo]],
@@ -99,6 +101,7 @@ def assumptions_of_use(
         name,
         srcs,
         requirements = [],
+        ref_package = None,
         visibility = None):
     """Define Assumptions of Use following S-CORE process guidelines.
 
@@ -110,29 +113,49 @@ def assumptions_of_use(
     Args:
         name: The name of the assumptions of use target. Used as the base
             name for all generated targets.
-        srcs: List of labels to .rst, .md, or .trlc files containing the
+        srcs: List of labels to trlc_requirements targets containing the
             Assumptions of Use specifications as defined in the S-CORE
-            process.
+            process. RST files containing ``aou_req`` directives are also
+            accepted and will be converted to TRLC automatically.
         requirements: Optional list of labels to feature or component requirements
             targets that these Assumptions of Use trace to. Establishes
             traceability as defined in the S-CORE process.
+        ref_package: Optional TRLC package prefix used for ``derived_from``
+            cross-references when converting RST sources.
         visibility: Bazel visibility specification for the generated targets.
 
     Generated Targets:
         <name>: Main assumptions of use target providing AssumptionsOfUseInfo
+        <name>_test: TRLC validation test for the assumptions of use sources
 
-    Example:
+    Example using trlc_requirements targets:
         ```starlark
         assumptions_of_use(
             name = "my_assumptions_of_use",
-            srcs = ["assumptions_of_use.rst"],
+            srcs = [":my_aous_trlc"],
+            requirements = [":my_feature_requirements"],
+        )
+        ```
+
+    Example using RST sources directly:
+        ```starlark
+        assumptions_of_use(
+            name = "my_assumptions_of_use",
+            srcs = ["docs/assumptions_of_use.rst"],
             requirements = [":my_feature_requirements"],
         )
         ```
     """
+    trlc_srcs = rst_srcs_to_trlc(name, srcs, ref_package = ref_package or "")
+
     _assumptions_of_use(
         name = name,
-        srcs = srcs,
+        srcs = trlc_srcs,
         requirements = requirements,
         visibility = visibility,
     )
+    trlc_requirements_test(
+        name = name + "_test",
+        reqs = trlc_srcs,
+        visibility = visibility,
+    )

bazel/rules/rules_score/private/requirements.bzl

@@ -125,53 +125,123 @@ _requirements = rule(
 # ============================================================================
 # Public Macros
 # ============================================================================
+def _create_trlc_aliases(name, srcs, visibility):
+    """Expose stable public aliases for generated trlc_requirements targets.
 
-def feature_requirements(
-        name,
-        srcs,
-        visibility = None):
-    """Define feature requirements following S-CORE process guidelines.
+    For each RST file in *srcs*, a named alias is created so that downstream
+    requirement macros can reference the generated trlc_requirements target via
+    ``deps`` for cross-package TRLC validation without knowing internal names.
+    When a single RST file is given the alias is ``<name>_trlc``; for multiple
+    RST files the per-source index is appended (``<name>_trlc_0``, …).
 
     Args:
-        name: The name of the target.
-        srcs: List of labels to trlc_requirements targets providing TrlcProviderInfo.
+        name: Base name used by the enclosing macro (same as passed to
+            rst_srcs_to_trlc).
+        srcs: Original srcs list passed to the enclosing macro.
+        visibility: Bazel visibility to apply to the generated aliases.
+    """
+    rst_count = len([s for s in srcs if s.endswith(".rst")])
+    rst_index = 0
+    for i, src in enumerate(srcs):
+        if src.endswith(".rst"):
+            alias_name = name + "_trlc" if rst_count == 1 else "{}_trlc_{}".format(name, rst_index)
+            native.alias(
+                name = alias_name,
+                actual = ":_{}_trlc_{}".format(name, i),
+                visibility = visibility,
+            )
+            rst_index += 1
+
+def _score_requirements(name, srcs, deps, ref_package, visibility, req_kind):
+    """Shared implementation for feature_requirements and component_requirements.
+
+    Args:
+        name: Target name.
+        srcs: Mixed list of trlc_requirements labels or RST file paths.
+        deps: trlc_requirements labels used as parsing dependencies for RST files.
+        ref_package: TRLC package prefix for derived_from cross-references.
         visibility: Bazel visibility specification.
+        req_kind: Either "feature" or "component".
     """
+    trlc_srcs = rst_srcs_to_trlc(name, srcs, deps = deps, ref_package = ref_package or "")
     _requirements(
         name = name,
-        srcs = srcs,
-        lobster_config = Label("//bazel/rules/rules_score/lobster/config:feature_requirement"),
-        req_kind = "feature",
+        srcs = trlc_srcs,
+        lobster_config = Label("//bazel/rules/rules_score/lobster/config:{}_requirement".format(req_kind)),
+        req_kind = req_kind,
         visibility = visibility,
     )
-
     trlc_requirements_test(
         name = name + "_test",
-        reqs = srcs,
+        reqs = trlc_srcs,
         visibility = visibility,
     )
+    _create_trlc_aliases(name, srcs, visibility)
+
+def assumed_system_requirements(
+        name,
+        srcs,
+        deps = [],
+        ref_package = None,
+        visibility = None):
+    """Define Assumed System Requirements following S-CORE process guidelines.
+
+    Creates an assumed_system_requirements target (providing AssumedSystemRequirementsInfo
+    and SphinxSourcesInfo) and a validation test target named *name*_test.
+
+    Args:
+        name: The name of the target.
+        srcs: List of trlc_requirements labels (providing TrlcProviderInfo)
+            or RST file paths containing ``asr_req`` directives.
+            RST files are converted to TRLC automatically.
+        deps: Optional list of trlc_requirements labels to include as
+            parsing dependencies.  Only used when RST files are present in *srcs*.
+        ref_package: TRLC package prefix for derived_from cross-references
+            when converting RST sources.
+        visibility: Bazel visibility specification.
+    """
+    _score_requirements(name, srcs, deps, ref_package, visibility, "assumed_system")
+
+def feature_requirements(
+        name,
+        srcs,
+        deps = [],
+        ref_package = None,
+        visibility = None):
+    """Define feature requirements following S-CORE process guidelines.
+
+    Args:
+        name: The name of the target.
+        srcs: List of trlc_requirements labels (providing TrlcProviderInfo)
+            or RST file paths containing ``feat_req`` directives.
+            RST files are converted to TRLC automatically.
+        deps: Optional list of trlc_requirements labels to include as
+            parsing dependencies (e.g. the assumed system requirements
+            target).  Only used when RST files are present in *srcs*.
+        ref_package: TRLC package prefix for derived_from cross-references
+            when converting RST sources.
+        visibility: Bazel visibility specification.
+    """
+    _score_requirements(name, srcs, deps, ref_package, visibility, "feature")
 
 def component_requirements(
         name,
         srcs = [],
+        deps = [],
+        ref_package = None,
         visibility = None):
     """Define component requirements following S-CORE process guidelines.
 
     Args:
         name: The name of the target.
-        srcs: List of labels to trlc_requirements targets providing TrlcProviderInfo.
+        srcs: List of trlc_requirements labels (providing TrlcProviderInfo)
+            or RST file paths containing ``comp_req`` directives.
+            RST files are converted to TRLC automatically.
+        deps: Optional list of trlc_requirements labels to include as
+            parsing dependencies (e.g. assumed system or feature requirement
+            targets).  Only used when RST files are present in *srcs*.
+        ref_package: TRLC package prefix for derived_from cross-references
+            when converting RST sources.
         visibility: Bazel visibility specification.
     """
-    _requirements(
-        name = name,
-        srcs = srcs,
-        lobster_config = Label("//bazel/rules/rules_score/lobster/config:component_requirement"),
-        req_kind = "component",
-        visibility = visibility,
-    )
-
-    trlc_requirements_test(
-        name = name + "_test",
-        reqs = srcs,
-        visibility = visibility,
-    )
+    _score_requirements(name, srcs, deps, ref_package, visibility, "component")

bazel/rules/rules_score/rules_score.bzl

@@ -43,6 +43,7 @@ load(
 )
 load(
     "//bazel/rules/rules_score/private:requirements.bzl",
+    _assumed_system_requirements = "assumed_system_requirements",
     _component_requirements = "component_requirements",
     _feature_requirements = "feature_requirements",
 )
@@ -61,6 +62,7 @@ load(
 
 architectural_design = _architectural_design
 assumptions_of_use = _assumptions_of_use
+assumed_system_requirements = _assumed_system_requirements
 component_requirements = _component_requirements
 dependability_analysis = _dependability_analysis
 feature_requirements = _feature_requirements

bazel/rules/rules_score/test/BUILD

@@ -14,6 +14,7 @@ load("@rules_cc//cc:defs.bzl", "cc_binary", "cc_library", "cc_test")
 load(
     "@score_tooling//bazel/rules/rules_score:rules_score.bzl",
     "architectural_design",
+    "assumed_system_requirements",
     "assumptions_of_use",
     "component",
     "component_requirements",
@@ -68,6 +69,19 @@ load(
     "unit_provider_test",
     "unit_sphinx_sources_test",
 )
+load(
+    ":requirements_rst_test.bzl",
+    "aous_rst_provider_test",
+    "aous_rst_sphinx_test",
+    "asr_rst_output_test",
+    "asr_rst_provider_test",
+    "asr_rst_sphinx_test",
+    "comp_req_rst_provider_test",
+    "comp_req_rst_sphinx_test",
+    "feat_req_rst_provider_test",
+    "feat_req_rst_sphinx_test",
+    "requirements_rst_test_suite",
+)
 
 package(default_visibility = ["//visibility:public"])
 
@@ -593,6 +607,84 @@ component_sphinx_sources_test(
 # Unit, Component, and Dependable Element test suite
 unit_component_test_suite(name = "unit_component_tests")
 
+# ============================================================================
+# RST-based Requirements Tests
+# ============================================================================
+
+# Fixture: assumed_system_requirements from RST
+assumed_system_requirements(
+    name = "asr_rst",
+    srcs = ["fixtures/rst_requirements/assumed_system_requirements.rst"],
+)
+
+# Fixture: feature_requirements from RST (depends on asr_rst for derived_from resolution)
+feature_requirements(
+    name = "feat_req_rst",
+    srcs = ["fixtures/rst_requirements/feature_requirements.rst"],
+    deps = [":asr_rst_trlc"],
+    ref_package = "AssumedSystemRequirements",
+)
+
+# Fixture: component_requirements from RST
+component_requirements(
+    name = "comp_req_rst",
+    srcs = ["fixtures/rst_requirements/component_requirements.rst"],
+)
+
+# Fixture: assumptions_of_use from RST
+assumptions_of_use(
+    name = "aous_rst",
+    srcs = ["fixtures/rst_requirements/assumptions_of_use.rst"],
+    requirements = [":feat_req_rst"],
+)
+
+asr_rst_output_test(
+    name = "asr_rst_output_test",
+    target_under_test = ":asr_rst",
+)
+
+asr_rst_provider_test(
+    name = "asr_rst_provider_test",
+    target_under_test = ":asr_rst",
+)
+
+asr_rst_sphinx_test(
+    name = "asr_rst_sphinx_test",
+    target_under_test = ":asr_rst",
+)
+
+feat_req_rst_provider_test(
+    name = "feat_req_rst_provider_test",
+    target_under_test = ":feat_req_rst",
+)
+
+feat_req_rst_sphinx_test(
+    name = "feat_req_rst_sphinx_test",
+    target_under_test = ":feat_req_rst",
+)
+
+comp_req_rst_provider_test(
+    name = "comp_req_rst_provider_test",
+    target_under_test = ":comp_req_rst",
+)
+
+comp_req_rst_sphinx_test(
+    name = "comp_req_rst_sphinx_test",
+    target_under_test = ":comp_req_rst",
+)
+
+aous_rst_provider_test(
+    name = "aous_rst_provider_test",
+    target_under_test = ":aous_rst",
+)
+
+aous_rst_sphinx_test(
+    name = "aous_rst_sphinx_test",
+    target_under_test = ":aous_rst",
+)
+
+requirements_rst_test_suite(name = "requirements_rst_tests")
+
 # ============================================================================
 # Combined Test Suite
 # ============================================================================
@@ -635,8 +727,10 @@ py_test(
 test_suite(
     name = "all_tests",
     tests = [
+        ":requirements_rst_tests",
         ":seooc_tests",
         ":sphinx_module_tests",
+        ":test_rst_to_trlc",
         ":test_safety_analysis_tools",
         ":unit_component_tests",
     ],