C.2.3:13.5 - F4 - First-order constraints
Critical claims can be rendered as explicit predicates or invariants over typed entities. Consistency and conflict are at least checkable in principle.
Source changed 2026-10-03 10:39:28 UTC · snapshot created 2026-10-03 10:40:04 UTC · last check 2026-10-03 10:45:12 UTC
F4 - First-order constraintsCritical claims can be rendered as explicit predicates or invariants over typed entities. Consistency and conflict are at least checkable in principle.