Derive is deterministic computation over available state; infer is LLM-mediated judgment under declared context and capability constraints.