Expand description
Canonical source declaration scopes shared by parser proof and graph publication. Purpose: Share canonical declaration scope identities with graph consumers.
Functions§
- qualified_
symbol_ identity - Derive one exact or compact qualified scope from validated components.
- qualified_
symbol_ parents - Qualify graph-only parent identity from the parser’s existing containment rows.
- qualified_
symbol_ parents_ checked - Qualify parents while admitting vector and scope ownership before growth.
- source_
symbol_ identity - Admit one parser-owned symbol identity outside the derived-scope namespace.
- validate_
source_ symbol_ identity - Validate borrowed parser identity text using the publication admission policy.