====== P2-REQ-16-5-009 ======

[[dido:99_annexes:annex-d-requirements:part-02:start| Return to Requirements]]

===== Statement =====

A [[dido:99_annexes:annex-b-terms-and-definitions:l:logical_assertion|Logical Assertion]] SHALL represent a [[dido:99_annexes:annex-b-terms-and-definitions:l:logical_data_structure_instance|Logical Data Structure Instance]] stating a conclusion, derived fact, validation result, interpretation result, analytical result, policy decision, or other claim.

===== Source =====

Part 2, Section 16.5: Logical Information Requirements.

===== Rationale =====

Logical Assertions represent conclusions derived through analysis, interpretation, validation, policy evaluation, or other reasoning activities. Treating assertions as Logical Data Structure Instances preserves a consistent platform-independent representation of derived information while supporting governance, traceability, and later implementation mapping.

===== Applies To =====

This requirement applies to the Logical Information Model.

It applies specifically to:

  * Logical Assertions;
  * Logical Data Structure Instances;
  * Analytical and validation processes; and
  * Policy evaluation activities.

===== Verification =====

Verification SHALL confirm that each Logical Assertion represents a Logical Data Structure Instance stating a conclusion or other derived claim.

Verification activities should include review checks confirming that:

  * Logical Assertions are explicitly identified;
  * assertions represent derived information rather than raw observations;
  * Logical Assertions remain platform independent; and
  * implementation technologies do not redefine Logical Assertions.

===== Traceability =====

This requirement supports traceability between Logical Assertions, the information from which they are derived, and the logical processes that produce them.

Related requirement identifiers:

  * [[dido:99_annexes:annex-d-requirements:part-02:p2-req-16-5-002]]
  * [[dido:99_annexes:annex-d-requirements:part-02:p2-req-16-5-011]]
  * [[dido:99_annexes:annex-d-requirements:part-02:p2-req-16-7-008]]

Related source section:

  * [[fxdemo:02-part:16-logical-requirements:16-5-logical-information-requirements:start]]

===== Status =====

Draft

----

<WRAP centeralign>
© 2026 Dido Solutions, Inc. and Jackrabbit Consulting, Inc.
</WRAP>