Module block_spec 

Data model for the blockwise carrier (subset moved down to gam-problem): parameter-block specs, the effective-Jacobian and channel-Hessian abstractions, per-block working sets and states, and the block geometry directional derivative.

The coefficient-group/label/prior types, custom_family_block_role, and the blockspec validators remain in the family crate because they depend on CoefficientGroupPrior/RhoPrior/BlockRole/CustomFamilyError.

Structs

AdditiveBlockJacobian

A BlockEffectiveJacobian for any block that contributes linearly to exactly one output of a multi-output family.

BlockGeometryDirectionalDerivative

FamilyLinearizationState

β-linearization state passed to BlockEffectiveJacobian::effective_jacobian_at.

GaugeComposedJacobian

A BlockEffectiveJacobian that composes an inner callback’s raw-width effective Jacobian with a fixed reduced→raw block transform T_b (p_raw × r_reduced), so the family sees the reduced coordinates by construction (#933).

ParameterBlockSpec

Static specification for one parameter block in a custom family.

ParameterBlockState

Current state for a parameter block.

RowScaledJacobian

A BlockEffectiveJacobian for a single-output block whose contribution to the linear predictor is diag(eta_scaling) · design (row-wise scaling).

TensorChannelHessian

A FamilyChannelHessian backed directly by a pre-computed (n × K × K) tensor. Used by the default channel_hessian_at implementation and by tests.

Enums

BlockWorkingSet

Working quantities supplied by a custom family for one block.

Traits

BlockEffectiveJacobian

β-dependent Jacobian callback for a parameter block.

FamilyChannelHessian

Per-subject channel Hessian provider for multi-output families.