Skip to main content

Module declaration_identity

Module declaration_identity 

Source
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.