Potential Errors
================

**Coverage:** 100.0% (8 of 8 items OK)

.. _lobster-item-513ab6aaff6aa3ab495c8007ef045aa47b9b3c8c:

.. dropdown:: [OK] TRLC Potentialerror UseCases.Missing\_Requirement\_In\_Output
   :class-title: sd-bg-success sd-text-white

   .. pull-quote::

      A requirement defined in a TRLC source file is silently omitted
      from the rendered RST output, causing the documentation to be
      incomplete without any build error.

   .. raw:: html

      <hr>

   **Traces to:**

   * :ref:`UseCases.Render\_All\_TRLC\_Records <lobster-item-1102c0bb8e3735c7b72d233cfc9c348d75bdb9cc>`

   .. raw:: html

      <hr>

   **Derived from:**

   * :ref:`UseCases.Build\_Traceable\_Documentation <lobster-item-5bf01423d1d7ec424f75a8f52b286c3bf9e51f24>`

   .. raw:: html

      <hr>

   **Source:** `bazel/rules/rules\_score/docs/requirements/potential\_errors.trlc:20:42 <../../../../../../../bazel/rules/rules_score/docs/requirements/potential_errors.trlc#L20>`__

.. _lobster-item-7ced35da8f7cd8140cb2772ba5ec95ef08ed8097:

.. dropdown:: [OK] TRLC Potentialerror UseCases.Broken\_Cross\_Reference
   :class-title: sd-bg-success sd-text-white

   .. pull-quote::

      A cross-reference between requirements (e.g. derived\_from) is
      not resolved correctly in the rendered documentation, showing
      a broken link or missing reference.

   .. raw:: html

      <hr>

   **Traces to:**

   * :ref:`UseCases.Resolve\_Derived\_From\_References <lobster-item-def20b14ccda057fb83ba3094f3e71d8ec473104>`

   .. raw:: html

      <hr>

   **Derived from:**

   * :ref:`UseCases.Validate\_Requirement\_Chains <lobster-item-f834194333ad628849b71e9d604bb30dfb5b145c>`
   * :ref:`UseCases.Build\_Traceable\_Documentation <lobster-item-5bf01423d1d7ec424f75a8f52b286c3bf9e51f24>`

   .. raw:: html

      <hr>

   **Source:** `bazel/rules/rules\_score/docs/requirements/potential\_errors.trlc:31:42 <../../../../../../../bazel/rules/rules_score/docs/requirements/potential_errors.trlc#L31>`__

.. _lobster-item-8678328713fd839c86743dab0ef6d2dce2d24554:

.. dropdown:: [OK] TRLC Potentialerror UseCases.Undetected\_Missing\_Traceability
   :class-title: sd-bg-success sd-text-white

   .. pull-quote::

      A component requirement that lacks a derived\_from reference to
      a feature requirement is not flagged as an error during the
      build, allowing gaps in the traceability chain.

   .. raw:: html

      <hr>

   **Traces to:**

   * :ref:`UseCases.Validate\_Traceability\_Completeness <lobster-item-c0d474eadd91c03f8b4758f479ec7b3c9b5f6b32>`
   * :ref:`UseCases.Extract\_Lobster\_From\_Requirements <lobster-item-6bbb6db619fc087a556a3ace6025a91d3f93f6da>`

   .. raw:: html

      <hr>

   **Derived from:**

   * :ref:`UseCases.Validate\_Requirement\_Chains <lobster-item-f834194333ad628849b71e9d604bb30dfb5b145c>`

   .. raw:: html

      <hr>

   **Source:** `bazel/rules/rules\_score/docs/requirements/potential\_errors.trlc:46:42 <../../../../../../../bazel/rules/rules_score/docs/requirements/potential_errors.trlc#L46>`__

.. _lobster-item-a5ad25025aa0de256a2a9ca702af7ac5d1566b00:

.. dropdown:: [OK] TRLC Potentialerror UseCases.Incorrect\_Provider\_Chain
   :class-title: sd-bg-success sd-text-white

   .. pull-quote::

      The Bazel provider chain (TrlcProviderInfo, SphinxSourcesInfo)
      is assembled incorrectly so that downstream rules receive stale
      or incomplete requirement data.

   .. raw:: html

      <hr>

   **Traces to:**

   * :ref:`UseCases.Emit\_Correct\_Provider\_Info <lobster-item-9003272ca273f0c849d138c3c23b0650b8e2c983>`
   * :ref:`UseCases.Emit\_Sphinx\_Sources <lobster-item-6bdd395f561eb0252f2c4e1b1560f959a34ebe63>`

   .. raw:: html

      <hr>

   **Derived from:**

   * :ref:`UseCases.Assemble\_Dependable\_Element <lobster-item-da6f8db567d860ce010c454046551ab29d0cb9bb>`
   * :ref:`UseCases.Validate\_Requirement\_Chains <lobster-item-f834194333ad628849b71e9d604bb30dfb5b145c>`

   .. raw:: html

      <hr>

   **Source:** `bazel/rules/rules\_score/docs/requirements/potential\_errors.trlc:57:42 <../../../../../../../bazel/rules/rules_score/docs/requirements/potential_errors.trlc#L57>`__

.. _lobster-item-0ea377ceb997572e4699ddf21c406295870469d4:

.. dropdown:: [OK] TRLC Potentialerror UseCases.Missing\_Failure\_Mode\_In\_Render
   :class-title: sd-bg-success sd-text-white

   .. pull-quote::

      A failure mode defined in TRLC is not rendered in the FMEA
      documentation output, causing an incomplete safety analysis
      artefact.

   .. raw:: html

      <hr>

   **Traces to:**

   * :ref:`UseCases.Render\_All\_Failure\_Modes <lobster-item-00a741c54edf65f799e8488f3766a73e0184187e>`

   .. raw:: html

      <hr>

   **Derived from:**

   * :ref:`UseCases.Assemble\_Dependable\_Element <lobster-item-da6f8db567d860ce010c454046551ab29d0cb9bb>`
   * :ref:`UseCases.Render\_Safety\_Analyses <lobster-item-265868cb6b0ede376eae2aee867df97ecf6dfe9a>`

   .. raw:: html

      <hr>

   **Source:** `bazel/rules/rules\_score/docs/requirements/potential\_errors.trlc:72:42 <../../../../../../../bazel/rules/rules_score/docs/requirements/potential_errors.trlc#L72>`__

.. _lobster-item-40e89cc7b9b5484db47595fbc2bc6bdd0e0670dc:

.. dropdown:: [OK] TRLC Potentialerror UseCases.Silent\_Diagram\_Parse\_Failure
   :class-title: sd-bg-success sd-text-white

   .. pull-quote::

      A syntactically invalid PlantUML diagram is not rejected by
      the parser, producing an incorrect or empty FlatBuffers output
      that is consumed silently by downstream rules.

   .. raw:: html

      <hr>

   **Traces to:**

   * :ref:`UseCases.Reject\_Invalid\_PlantUML <lobster-item-bc6c57f4ce83b257e6906b63b8cc68b0c27a4cfc>`

   .. raw:: html

      <hr>

   **Derived from:**

   * :ref:`UseCases.Assemble\_Dependable\_Element <lobster-item-da6f8db567d860ce010c454046551ab29d0cb9bb>`
   * :ref:`UseCases.Parse\_Architectural\_Diagrams <lobster-item-b8b0170d611a7c1ad38b646be9c84537c209fed0>`

   .. raw:: html

      <hr>

   **Source:** `bazel/rules/rules\_score/docs/requirements/potential\_errors.trlc:87:42 <../../../../../../../bazel/rules/rules_score/docs/requirements/potential_errors.trlc#L87>`__

.. _lobster-item-8e1731daac058e1c027aceaf7961ddec068708a4:

.. dropdown:: [OK] TRLC Potentialerror UseCases.AoU\_Silently\_Dropped
   :class-title: sd-bg-success sd-text-white

   .. pull-quote::

      An assumption of use defined by a dependency is not forwarded
      to the dependee, causing the integrating project to be unaware
      of a condition it must satisfy.

   .. raw:: html

      <hr>

   **Traces to:**

   * :ref:`UseCases.Forward\_Own\_AoUs\_To\_Dependees <lobster-item-be679b47c92dbdbdf17bcced82d849d26676380f>`
   * :ref:`UseCases.Chain\_Forward\_Received\_AoUs <lobster-item-c661040750af1f5839ed1bbbd8aba0041b85e665>`
   * :ref:`UseCases.Include\_Forwarded\_AoUs\_In\_Traceability <lobster-item-17a39770072b667118cf1735da8715741074325a>`

   .. raw:: html

      <hr>

   **Derived from:**

   * :ref:`UseCases.Gate\_Traceability\_At\_Test\_Time <lobster-item-23df4d1efff6944e78ae37380bfa4d84d42d23bd>`
   * :ref:`UseCases.Forward\_AoU\_To\_Dependees <lobster-item-101773ba44552347386d09e29933907d90195a47>`

   .. raw:: html

      <hr>

   **Source:** `bazel/rules/rules\_score/docs/requirements/potential\_errors.trlc:102:42 <../../../../../../../bazel/rules/rules_score/docs/requirements/potential_errors.trlc#L102>`__

.. _lobster-item-542ad2e8b8d798aea0954d942233ef68af9ab2c1:

.. dropdown:: [OK] TRLC Potentialerror UseCases.Invalid\_Forwarding\_YAML\_Accepted
   :class-title: sd-bg-success sd-text-white

   .. pull-quote::

      A chain-forwarding YAML file that references a non-existent
      AoU identifier is accepted without error, causing the build to
      succeed while the intended forwarding does not take effect.

   .. raw:: html

      <hr>

   **Traces to:**

   * :ref:`UseCases.Reject\_Unknown\_AoU\_In\_Forwarding\_YAML <lobster-item-d7700af5df55a2279ad6ecccdb7693b489039986>`

   .. raw:: html

      <hr>

   **Derived from:**

   * :ref:`UseCases.Forward\_AoU\_To\_Dependees <lobster-item-101773ba44552347386d09e29933907d90195a47>`

   .. raw:: html

      <hr>

   **Source:** `bazel/rules/rules\_score/docs/requirements/potential\_errors.trlc:113:42 <../../../../../../../bazel/rules/rules_score/docs/requirements/potential_errors.trlc#L113>`__