Source changed 2026-10-03 16:02:47 UTC · snapshot created 2026-10-03 16:03:51 UTC · last check 2026-10-03 16:40:20 UTC
C.38:4.5 - Separate recognition from assurance
Recognition. A candidate list whose labels name unlike things, or whose rows omit different burdens, is enough to open C.38. Two parallel ordinary descriptions can be enough for a reversible decision.
Assurance. Consequential use checks that every row seeks the same result on the same basis, every actual premise has direct support, modal premises remain modal, protected conditions remain visible, and no omitted burden can plausibly reverse the choice unnoticed. Domain acceptance, assurance, authority, realization, and release stay with their direct Methods.