Version Information

Forge version: 31.1.47
Botania version: r1.15-382

What I expected to happen: Bore lens and magnet lens to craft into a single lens

What happened instead: Nothing. Other combinations work fine. Specifically bore and magnet lens will not combine regardless of order in crafting grid

Each lens declares a set of properties that it has, and lenses sharing the property cannot be combined. Some combinations not working is intentional behavior noted in the lexicon:

The properties can be seen in this part of mod code:
https://github.com/Vazkii/Botania/blob/66388ac52d0f0e59e52bf461cee1c1982db8359c/src/main/java/vazkii/botania/common/item/ModItems.java#L485-L508
More specifically, Bore and Magnet both have the orientation prop, and as such they cannot be combined. The control prop blacklists combinations altogether.