Function emit_value 

pub fn emit_value(ctx: &Context, term: &Term) -> String

Emit a (normalized) data-value Term as a Rust expression — used by the self-verifying demo main to write the kernel-computed expected result.