Monomer Selection

Try MC_00..MC_63 first.
Use MC_64..MC_127 only when behavior cannot be expressed cleanly with core monomers.

​

Selection Steps

1. Identify the smallest operation needed.
2. Check whether a core monomer expresses it.
3. Prefer ordinary PCD control flow for branches.
4. Add extended monomer comments when extended behavior is required.
5. Do not invent helper functions or monomer names.

​

Extended Candidate Comment

// certification-profile: extended_contract
// extended-monomers: MC_64 required for contract-bound float adapter