Spec autograd

Umbrella import for spec-level reverse-mode contracts.

OpSpec records pure forward and backward meanings for operations. Runtime autograd can cache or schedule these operations differently, but its behavior is expected to refine these contracts.