Logical Assertion [Dido Solutions, Inc Wiki]

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
====== Logical Assertion ======

[[public:99_annexes:annex-b-terms-and-definitions:l:start|Return to L Terms]]

===== Discussion =====

A Logical Assertion represents a Logical Data Structure Instance that states a conclusion, derived fact, validation result, interpretation result, analytical result, policy decision, or other claim produced by a Logical Node.

Logical Assertions connect interpretation and evidence. They identify what a Logical Node asserts, which inputs, rules, versions, models, or policies support the assertion, and which provenance or evidence records preserve the basis for review.

A Logical Assertion differs from raw data because it expresses a claim or conclusion. It differs from evidence in that evidence supports the claim, whereas an assertion states the claim.

===== Definition =====

//Logical Data Structure Instance stating a conclusion, derived fact, validation result, interpretation result, analytical result, policy decision, or other claim.//

===== Source =====

Specialization of Data Structure Instance, Evidence, and Traceability from Part 1, Sections 7.8, 7.9, and 7.10; generalised from analytical assertion, validation, policy-decision, and interpretation material in the original FX Demo Reference Architecture.

===== Note =====

A Logical Assertion requires traceability to the inputs, rules, versions, models, and policies, producing Logical Node, and evidence expectations that support review.

===== Example =====

A validation assertion states that a candidate transaction record passed structural validation and identifies the validation rule version and input record used to produce that result.

----

[[public:99_annexes:annex-b-terms-and-definitions:l:start|Return to Top]]

----

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