Differentiable Support Matrix
July 14, 2026 ยท View on GitHub
This page is generated from executable registry and planner surfaces. It is checked against the committed capability manifest so source modules, public registry exports, focused tests, and this documentation page cannot drift independently.
Regenerate and validate it with:
python tools/differentiable_support_matrix_page.py --write
python tools/differentiable_support_matrix_page.py --check
The generated Differentiable Reviewer Evidence page maps the current support rows to scoped reproduction commands and explicit public open-gap pointers.
Evidence boundary
Generated registry and planner evidence only. Complete registry rows identify declared Program AD metadata contracts; supported planner rows identify bounded local or host-bridge plans. Neither surface promotes provider, hardware, universal transform, compiler-execution, or performance claims.
| Executable source | Current result | Interpretation |
|---|---|---|
| Program AD registry | 118/118 complete | Each row records derivative, batching, lowering-metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts. |
| Quantum-gradient planner audit | 5 supported / 5 fail-closed | Representative gate, observable, backend, transform, and adapter plans. |
Quantum-gradient planner matrix
Use plan_gradient_support(...) for caller-specific combinations. The rows
below are the executable audit cases, not an exhaustive cross-product.
| Request cell | Status | Selected method | Evaluation mode | Conditions and boundary |
|---|---|---|---|---|
ry::pauli_expectation::statevector::grad::native | supported | parameter_shift | deterministic_local | deterministic local quantum-gradient support for registered gates and observables |
rz::kuramoto_xy_energy::qasm_simulator::grad::native | supported | stochastic_parameter_shift | finite_shot_callback | finite-shot gradients require variance propagation and confidence metadata; finite-shot gradient support with explicit variance metadata; no hardware claim is implied |
ry::pauli_expectation::statevector::value_and_grad::jax | supported | jax_host_callback_parameter_shift | host_bridge | jax route crosses an explicit host callback or tensor bridge boundary; jax bounded bridge support; native framework autodiff through arbitrary providers is not claimed |
rx::sparse_pauli_sum::statevector::grad::qiskit | supported | qiskit_shifted_circuit_parameter_shift | host_bridge | qiskit route is shifted-circuit/local execution unless provider policy is supplied; qiskit bounded bridge support; native framework autodiff through arbitrary providers is not claimed |
ry::pauli_expectation::qasm_simulator::value_and_grad::provider_callback | supported | provider_callback_stochastic_parameter_shift | finite_shot_provider_callback | finite-shot gradients require variance propagation and confidence metadata; provider callback route requires caller-supplied expectation samples and variance metadata for finite-shot execution; provider callback gradient support with explicit sample records; no live hardware claim is implied |
arbitrary_unitary::pauli_expectation::statevector::grad::native | fail-closed | unsupported | fail_closed | gate has no registered parameter-shift generator spectrum; unsupported combination; no derivative execution or production claim is permitted |
ry::arbitrary_povm::statevector::grad::native | fail-closed | unsupported | fail_closed | observable has no registered expectation-gradient contract; unsupported combination; no derivative execution or production claim is permitted |
ry::pauli_expectation::hardware::grad::native | fail-closed | unsupported | fail_closed | hardware gradient execution requires explicit hardware policy approval; finite-shot gradients require variance propagation and confidence metadata; unsupported combination; no derivative execution or production claim is permitted |
ry::pauli_expectation::statevector::vmap::jax | fail-closed | unsupported | fail_closed | transform is outside the bounded quantum-gradient algebra; jax bridge supports first-order value/gradient calls only; jax route crosses an explicit host callback or tensor bridge boundary; unsupported combination; no derivative execution or production claim is permitted |
ry::pauli_expectation::qasm_simulator::hessian::native | fail-closed | unsupported | fail_closed | hessian support is limited to deterministic local backends; finite-shot gradients require variance propagation and confidence metadata; hessian route is a local curvature diagnostic; unsupported combination; no derivative execution or production claim is permitted |
Planner claim boundary:
gradient support matrix audit only; supported entries identify bounded local or host-bridge gradient surfaces, blocked entries are fail-closed planning evidence, and no live hardware-gradient or universal transform claim is implied
Program AD registry dispatch matrix
Every declared primitive identity is emitted directly from the registry coverage report. A future incomplete row remains visible with its exact blocked reason instead of silently disappearing.
Registry families: array 6, assembly 21, cumulative 3, elementwise 24, interpolation 1, linalg 14, product 7, reduction 11, selection 11, shape 17, signal 2, stencil 1.
| Family | Primitive | Identity | Derivative rule | Contract facets | Status and boundary |
|---|---|---|---|---|---|
array | delete | scpn.program_ad.array:delete@1 | program_ad_array_delete_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
array | getitem | scpn.program_ad.array:getitem@1 | program_ad_array_getitem_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
array | insert | scpn.program_ad.array:insert@1 | program_ad_array_insert_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
array | pad | scpn.program_ad.array:pad@1 | program_ad_array_pad_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
array | take | scpn.program_ad.array:take@1 | program_ad_array_take_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
array | take_along_axis | scpn.program_ad.array:take_along_axis@1 | program_ad_array_take_along_axis_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
shape | atleast_1d | scpn.program_ad.shape:atleast_1d@1 | program_ad_shape_atleast_1d_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
shape | atleast_2d | scpn.program_ad.shape:atleast_2d@1 | program_ad_shape_atleast_2d_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
shape | atleast_3d | scpn.program_ad.shape:atleast_3d@1 | program_ad_shape_atleast_3d_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
shape | expand_dims | scpn.program_ad.shape:expand_dims@1 | program_ad_shape_expand_dims_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
shape | flip | scpn.program_ad.shape:flip@1 | program_ad_shape_flip_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
shape | fliplr | scpn.program_ad.shape:fliplr@1 | program_ad_shape_fliplr_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
shape | flipud | scpn.program_ad.shape:flipud@1 | program_ad_shape_flipud_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
shape | moveaxis | scpn.program_ad.shape:moveaxis@1 | program_ad_shape_moveaxis_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
shape | ravel | scpn.program_ad.shape:ravel@1 | program_ad_shape_ravel_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
shape | repeat | scpn.program_ad.shape:repeat@1 | program_ad_shape_repeat_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
shape | reshape | scpn.program_ad.shape:reshape@1 | program_ad_shape_reshape_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
shape | roll | scpn.program_ad.shape:roll@1 | program_ad_shape_roll_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
shape | rot90 | scpn.program_ad.shape:rot90@1 | program_ad_shape_rot90_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
shape | squeeze | scpn.program_ad.shape:squeeze@1 | program_ad_shape_squeeze_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
shape | swapaxes | scpn.program_ad.shape:swapaxes@1 | program_ad_shape_swapaxes_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
shape | tile | scpn.program_ad.shape:tile@1 | program_ad_shape_tile_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
shape | transpose | scpn.program_ad.shape:transpose@1 | program_ad_shape_transpose_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
reduction | max | scpn.program_ad.reduction:max@1 | program_ad_reduction_max_q_1_0_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
reduction | mean | scpn.program_ad.reduction:mean@1 | program_ad_reduction_mean_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
reduction | median | scpn.program_ad.reduction:median@1 | program_ad_reduction_median_q_0_5_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
reduction | min | scpn.program_ad.reduction:min@1 | program_ad_reduction_min_q_0_0_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
reduction | percentile | scpn.program_ad.reduction:percentile@1 | program_ad_reduction_percentile_q_0_5_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
reduction | prod | scpn.program_ad.reduction:prod@1 | program_ad_reduction_prod_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
reduction | quantile | scpn.program_ad.reduction:quantile@1 | program_ad_reduction_quantile_q_0_5_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
reduction | std | scpn.program_ad.reduction:std@1 | program_ad_reduction_std_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
reduction | sum | scpn.program_ad.reduction:sum@1 | program_ad_reduction_sum_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
reduction | trapezoid | scpn.program_ad.reduction:trapezoid@1 | program_ad_reduction_trapezoid_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
reduction | var | scpn.program_ad.reduction:var@1 | program_ad_reduction_var_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
stencil | gradient | scpn.program_ad.stencil:gradient@1 | program_ad_stencil_gradient_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
interpolation | interp | scpn.program_ad.interpolation:interp@1 | program_ad_interpolation_interp_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
assembly | append | scpn.program_ad.assembly:append@1 | program_ad_assembly_append_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
assembly | array_split | scpn.program_ad.assembly:array_split@1 | program_ad_assembly_array_split_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
assembly | block | scpn.program_ad.assembly:block@1 | program_ad_assembly_block_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
assembly | broadcast_arrays | scpn.program_ad.assembly:broadcast_arrays@1 | program_ad_assembly_broadcast_arrays_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
assembly | broadcast_to | scpn.program_ad.assembly:broadcast_to@1 | program_ad_assembly_broadcast_to_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
assembly | column_stack | scpn.program_ad.assembly:column_stack@1 | program_ad_assembly_column_stack_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
assembly | concatenate | scpn.program_ad.assembly:concatenate@1 | program_ad_assembly_concatenate_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
assembly | diagonal | scpn.program_ad.assembly:diagonal@1 | program_ad_assembly_diagonal_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
assembly | dsplit | scpn.program_ad.assembly:dsplit@1 | program_ad_assembly_dsplit_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
assembly | dstack | scpn.program_ad.assembly:dstack@1 | program_ad_assembly_dstack_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
assembly | full_like | scpn.program_ad.assembly:full_like@1 | program_ad_assembly_full_like_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
assembly | hsplit | scpn.program_ad.assembly:hsplit@1 | program_ad_assembly_hsplit_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
assembly | hstack | scpn.program_ad.assembly:hstack@1 | program_ad_assembly_hstack_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
assembly | ones_like | scpn.program_ad.assembly:ones_like@1 | program_ad_assembly_ones_like_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
assembly | split | scpn.program_ad.assembly:split@1 | program_ad_assembly_split_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
assembly | stack | scpn.program_ad.assembly:stack@1 | program_ad_assembly_stack_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
assembly | tril | scpn.program_ad.assembly:tril@1 | program_ad_assembly_tril_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
assembly | triu | scpn.program_ad.assembly:triu@1 | program_ad_assembly_triu_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
assembly | vsplit | scpn.program_ad.assembly:vsplit@1 | program_ad_assembly_vsplit_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
assembly | vstack | scpn.program_ad.assembly:vstack@1 | program_ad_assembly_vstack_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
assembly | zeros_like | scpn.program_ad.assembly:zeros_like@1 | program_ad_assembly_zeros_like_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
signal | convolve | scpn.program_ad.signal:convolve@1 | program_ad_signal_convolve_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
signal | correlate | scpn.program_ad.signal:correlate@1 | program_ad_signal_correlate_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
elementwise | abs | scpn.program_ad.elementwise:abs@1 | program_ad_elementwise_abs_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
elementwise | add | scpn.program_ad.elementwise:add@1 | program_ad_elementwise_add_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
elementwise | arccos | scpn.program_ad.elementwise:arccos@1 | program_ad_elementwise_arccos_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
elementwise | arcsin | scpn.program_ad.elementwise:arcsin@1 | program_ad_elementwise_arcsin_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
elementwise | cos | scpn.program_ad.elementwise:cos@1 | program_ad_elementwise_cos_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
elementwise | divide | scpn.program_ad.elementwise:divide@1 | program_ad_elementwise_divide_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
elementwise | exp | scpn.program_ad.elementwise:exp@1 | program_ad_elementwise_exp_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
elementwise | expm1 | scpn.program_ad.elementwise:expm1@1 | program_ad_elementwise_expm1_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
elementwise | heaviside | scpn.program_ad.elementwise:heaviside@1 | program_ad_elementwise_heaviside_fail_closed_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
elementwise | log | scpn.program_ad.elementwise:log@1 | program_ad_elementwise_log_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
elementwise | log1p | scpn.program_ad.elementwise:log1p@1 | program_ad_elementwise_log1p_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
elementwise | maximum | scpn.program_ad.elementwise:maximum@1 | program_ad_elementwise_maximum_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
elementwise | minimum | scpn.program_ad.elementwise:minimum@1 | program_ad_elementwise_minimum_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
elementwise | multiply | scpn.program_ad.elementwise:multiply@1 | program_ad_elementwise_multiply_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
elementwise | negative | scpn.program_ad.elementwise:negative@1 | program_ad_elementwise_negative_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
elementwise | power | scpn.program_ad.elementwise:power@1 | program_ad_elementwise_power_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
elementwise | reciprocal | scpn.program_ad.elementwise:reciprocal@1 | program_ad_elementwise_reciprocal_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
elementwise | sign | scpn.program_ad.elementwise:sign@1 | program_ad_elementwise_sign_fail_closed_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
elementwise | sin | scpn.program_ad.elementwise:sin@1 | program_ad_elementwise_sin_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
elementwise | sqrt | scpn.program_ad.elementwise:sqrt@1 | program_ad_elementwise_sqrt_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
elementwise | square | scpn.program_ad.elementwise:square@1 | program_ad_elementwise_square_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
elementwise | subtract | scpn.program_ad.elementwise:subtract@1 | program_ad_elementwise_subtract_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
elementwise | tan | scpn.program_ad.elementwise:tan@1 | program_ad_elementwise_tan_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
elementwise | tanh | scpn.program_ad.elementwise:tanh@1 | program_ad_elementwise_tanh_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
selection | argmax | scpn.program_ad.selection:argmax@1 | program_ad_selection_argmax_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
selection | argmin | scpn.program_ad.selection:argmin@1 | program_ad_selection_argmin_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
selection | argsort | scpn.program_ad.selection:argsort@1 | program_ad_selection_argsort_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
selection | choose | scpn.program_ad.selection:choose@1 | program_ad_selection_choose_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
selection | clip | scpn.program_ad.selection:clip@1 | program_ad_selection_clip_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
selection | compress | scpn.program_ad.selection:compress@1 | program_ad_selection_compress_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
selection | extract | scpn.program_ad.selection:extract@1 | program_ad_selection_extract_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
selection | piecewise | scpn.program_ad.selection:piecewise@1 | program_ad_selection_piecewise_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
selection | select | scpn.program_ad.selection:select@1 | program_ad_selection_select_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
selection | sort | scpn.program_ad.selection:sort@1 | program_ad_selection_sort_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
selection | where | scpn.program_ad.selection:where@1 | program_ad_selection_where_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
product | dot | scpn.program_ad.product:dot@1 | program_ad_product_dot_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
product | einsum | scpn.program_ad.product:einsum@1 | program_ad_product_einsum_static_signature_required_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
product | inner | scpn.program_ad.product:inner@1 | program_ad_product_inner_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
product | matmul | scpn.program_ad.product:matmul@1 | program_ad_product_matmul_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
product | outer | scpn.program_ad.product:outer@1 | program_ad_product_outer_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
product | tensordot | scpn.program_ad.product:tensordot@1 | program_ad_product_tensordot_static_signature_required_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
product | vdot | scpn.program_ad.product:vdot@1 | program_ad_product_vdot_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
cumulative | cumprod | scpn.program_ad.cumulative:cumprod@1 | program_ad_cumulative_cumprod_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
cumulative | cumsum | scpn.program_ad.cumulative:cumsum@1 | program_ad_cumulative_cumsum_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
cumulative | diff | scpn.program_ad.cumulative:diff@1 | program_ad_cumulative_diff_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
linalg | det | scpn.program_ad.linalg:det@1 | program_ad_linalg_det_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
linalg | diag | scpn.program_ad.linalg:diag@1 | program_ad_linalg_diag_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
linalg | diagflat | scpn.program_ad.linalg:diagflat@1 | program_ad_linalg_diagflat_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
linalg | eig | scpn.program_ad.linalg:eig@1 | program_ad_linalg_eig_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
linalg | eigh | scpn.program_ad.linalg:eigh@1 | program_ad_linalg_eigh_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
linalg | eigvals | scpn.program_ad.linalg:eigvals@1 | program_ad_linalg_eigvals_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
linalg | eigvalsh | scpn.program_ad.linalg:eigvalsh@1 | program_ad_linalg_eigvalsh_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
linalg | inv | scpn.program_ad.linalg:inv@1 | program_ad_linalg_inv_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
linalg | matrix_power | scpn.program_ad.linalg:matrix_power@1 | program_ad_linalg_matrix_power_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
linalg | multi_dot | scpn.program_ad.linalg:multi_dot@1 | program_ad_linalg_multi_dot_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
linalg | pinv | scpn.program_ad.linalg:pinv@1 | program_ad_linalg_pinv_square_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
linalg | solve | scpn.program_ad.linalg:solve@1 | program_ad_linalg_solve_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
linalg | svd | scpn.program_ad.linalg:svd@1 | program_ad_linalg_svd_trace_contract | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
linalg | trace | scpn.program_ad.linalg:trace@1 | program_ad_linalg_trace_direct_rule | batch=yes; lowering=no; metadata=yes; shape=yes; dtype=yes; static=yes; nondiff=program_ad_trace_exact_fail_closed; effect=pure | completeregistry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence |
Registry claim boundary:
registry-dispatched Program AD primitive coverage over declared derivative, batching, lowering metadata, shape, dtype, static-argument, nondifferentiability, and effect contracts only; not executable Rust, LLVM, JIT, provider, hardware, or performance evidence
Capability-manifest cross-check
The page check requires these tracked surfaces before it passes:
- Package exports:
ProgramADRegistryDispatchCoverageReport,ProgramADRegistryDispatchCoverageRow,program_ad_registry_dispatch_coverage_report - Source modules:
src/scpn_quantum_control/phase/gradient_support_matrix.py,src/scpn_quantum_control/program_ad_registry.py - Focused tests:
tests/test_phase_gradient_support_matrix.py,tests/test_program_ad_registry.py,tests/test_differentiable_support_matrix_page.py - Public page:
docs/differentiable_reviewer_evidence.md,docs/differentiable_support_matrix.md
The capability manifest is a static inventory, while the two matrices above are runtime-derived governance evidence. The cross-check proves wiring and inventory agreement; it does not turn either source into a hardware, provider, compiler-execution, or performance claim.