Language reference map

A compact map to normative GenesisCode language semantics.

Semantic map

Area	Normative source	Key contract
Reader, printer, canonical hash	CoreForm canon/hash	Equivalent forms print and hash identically
Evaluation and module scope	Module scope	Pure lexical evaluation; top-level recursive def
Runtime values and effect hashes	Value/effect hash	Total, stable hashes for replay
Text, bytes, and paths	Text/path profile	Unicode 17; exact text identity; explicit NFC; portable base-relative paths
Seals and dispatch	Seals/dispatch/replay	Protocol values cannot be forged
Types	Types	Typechecking remains outside TCB-A
Standard library	Foundation stdlib	Behavior in libraries, not kernel forms
Effects and concurrency	Concurrency	Deterministic scheduling facts and explicit host work
Optimization	Optimizer	Semantics preserved by validation
Translation tiers	Translation validation	Same canonical behavior across tiers

Exact inventory

The generated symbol reference is the closed, searchable inventory for the current agent profile. Unsupported classes are explicit; absence is not permission to invent syntax or behavior.