Derive a portable claim from a source graph into a target graph or the instruction tier, with association and human approval. Use when the user asks to promote a note or insight to the commons, wants to know whether something generalizes, invokes /promote, asks to derive a claim into the commons, or asks to graduate a principle into a rule. Triggers: promote this to the commons, does this generalize, /promote, derive this into the commons, graduate this principle to a rule.