Research questionHow can practitioners train compact code embeddings effectively without reliable documentation or costly execution traces?Compact code encoders need semantic supervision, but human-written docstrings can be labor-intensive and inconsistent while execution traces can be costly and dependent on the execution setting.