Struct FrameInnerRotationGauge 

pub struct FrameInnerRotationGauge {
    pub per_atom_ranks: Vec<usize>,
    pub dim: usize,
}

The #972 decoder-frame inner-rotation gauge, enumerated for the certificate.

A frame-factored atom B_k = U_k C_k is exactly invariant under U_k → U_k R, C_k → Rᵀ C_k for any R ∈ O(r_k): the reconstruction, the likelihood, the penalty — every objective term — sees only the product. Unlike the latent-isometry / ARD-rotation / permutation generators, this freedom is therefore not a candidate to be pinned by data or penalty curvature (its orbit direction is identically zero in function space), so running it through the pinning-span test would be a category error: it would always come back “unpinned” and pollute the verdict list with freedoms the parameterization already handles. The honest certificate treatment is what this struct is: enumerate the group and its dimension Σ_k r_k(r_k−1)/2, and record how it is fixed — by the canonical orientation gauge (crate::manifold::GrassmannFrame’s SVD-ordered representative), which picks one point per O(r_k) orbit for serialization/comparison stability.

Fields

per_atom_ranks: Vec<usize>

Active frame rank r_k per frame-factored atom (atoms on the full-B path contribute no entry).

dim: usize

Total group dimension Σ_k r_k (r_k − 1) / 2 (dim O(r) = r(r−1)/2).

Implementations

impl FrameInnerRotationGauge

pub fn from_ranks(per_atom_ranks: Vec<usize>) -> Self

Enumerate the gauge from the active frame ranks.

Trait Implementations

impl Clone for FrameInnerRotationGauge

fn clone(&self) -> FrameInnerRotationGauge

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for FrameInnerRotationGauge

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for FrameInnerRotationGauge

impl PartialEq for FrameInnerRotationGauge

fn eq(&self, other: &FrameInnerRotationGauge) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for FrameInnerRotationGauge