Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 08:26:43 UTC · last check 2026-10-03 10:00:09 UTC
A.6.RSIG:7 - Conformance checklist
CC-RSIG-1 First-contact only. The pattern governs recognition of the
right description, not the full semantics of that description.
CC-RSIG-2 Carrier/definition-episteme split. A conforming description-recognition signature
distinguishes description_seen, encountered carrier or projection,
defining U.Episteme, and projection role when those distinctions are
load-bearing. The encountered carrier or projection may help recognition,
but it does not become authoritative merely by being encountered.
CC-RSIG-3 Neighbor boundaries explicit. The text states the conditions
under which the recognition question calls for each relevant neighboring
pattern in §4.4; use only the patterns that govern the current questions.
CC-RSIG-4 No kind inflation. An ordinary recognition cue is not by itself a
typed U.Signature; a task requiring a typed declaration uses the applicable
neighboring pattern under §4.5.
CC-RSIG-5 Recoverable cue shape. For load-bearing cases, description,
viewpoint, cue, applicability, exclusion, defining U.Episteme, and admissible
entry stop remain recoverable. A false neighbor is required only when the
grounded-guard condition in §4.1 holds.
CC-RSIG-6 No alias minting. Query cues and ordinary phrasing do not by
themselves establish a naming settlement or Bridge. Use F.18 for naming
settlement and F.9 for a Bridge, each under its own conditions.