Skip to main content

​
Core-First Selection

Use core monomers before extended monomers. 
MC_00..MC_63 -> preferred default
MC_64..MC_127 -> extended contract candidate

​
Questions

  • Can ordinary PCD arithmetic or branching express this?
  • Is a core monomer available?
  • Does extended behavior introduce external contracts?
  • Can the behavior be bounded with simpler inputs?
  • Is the monomer name and arity documented?
If the answer is unclear, do not invent a monomer. Mark the candidate as needing review.