====== Logical Assertion ====== [[dido: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. ---- [[dido:99_annexes:annex-b-terms-and-definitions:l:start|Return to Top]] ---- © 2026 Dido Solutions, Inc. and Jackrabbit Consulting, Inc.