Logical Assertion

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

Specialisation 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.

Return to Top

© 2026 Dido Solutions, Inc. and Jackrabbit Consulting, Inc.