Monomorphization
A deterministic worklist specializes generic definitions by canonical type IDs.
DByte 12.0 · Internals
Contract§
Open generic parameters cannot reach a backend.
Mechanics§
Roots come from entry points, exported concrete functions, globals and address-taken functions. A deterministic worklist substitutes all generic types, fields, variants, layouts, calls and closure environments.
Validation and failure§
Same-type recursion reuses an existing instance; expanding type recursion fails deterministically. Specialization identity remains separate even if code bytes could be identical.
Evidence and boundary§
Specialization ordering snapshots and concrete object symbols prove no hash-order or backend inference controls instance creation.