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.
Logical Data Structure Instance stating a conclusion, derived fact, validation result, interpretation result, analytical result, policy decision, or other claim.
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.
A Logical Assertion requires traceability to the inputs, rules, versions, models, and policies, producing Logical Node, and evidence expectations that support review.
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.
© 2026 Dido Solutions, Inc. and Jackrabbit Consulting, Inc.