Module cascade_emit 

Cascade-extern emission helpers — building blocks the scope builders use to push individual lines of Polydat source into a string that’s later folded into a polydat::kernel::subcontext::PolydatMatter and handed to the builder.

These are the “build” half of walk + build + synthesize: the walker has decided that a particular name should be cascaded; these helpers do the per-name source-line emission consistent with nmbrs-runtime’s Polydat conventions (chain-aware lookup, type widening rules, escape handling).

Functions

emit_workload_param_chain_aware

Emit const NAME := <literal> for one workload param into source, choosing the literal value via the canonical chain-aware lookup order: