dido:99_annexes:annex-b-terms-and-definitions:l:logical_assertion

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision		 Previous revision
dido:99_annexes:annex-b-terms-and-definitions:l:logical_assertion [2026/07/11 11:14] – removed - external edit (Unknown date) 127.0.0.1dido:99_annexes:annex-b-terms-and-definitions:l:logical_assertion [2026/07/18 12:33] (current) – external edit 127.0.0.1
Line 1: Line 1:
 +====== 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]]
 +
 +----
 +
 +<WRAP centeralign>
 +© 2026 Dido Solutions, Inc. and Jackrabbit Consulting, Inc.
 +</WRAP>