Source changed 2026-10-03 11:52:20 UTC · snapshot created 2026-10-03 11:53:41 UTC · last check 2026-10-03 13:50:10 UTC
G.Core:4.4.2 - Rules
Exactly one governing definition per DefaultId.
Any other mention in G.x MUST be a citation/delegation to the governing definition, not a competing statement.
A default may be conditional (default-rule) with explicit applicability conditions.
The Default Governing Definition Index SHALL NOT be used to “smuggle” mandatory invariants as defaults. Invariants remain invariants (typically cited through CC‑GCORE‑… and their canonical governing definitions).