Core-First Selection
Use core monomers before extended monomers.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?