Module identifiability_audit 

Pure-data identifiability-audit result types.

These structs are the family-facing results of the pre-fit cross-block identifiability audit and the MAP-uniqueness check. They carry only plain data (Vec/String/f64/bool/usize) with no faer/ndarray/solver dependency, so they live in gam-problem (below the monolith) where the CustomFamilyError cone and other low-level consumers can name them. The compute code that BUILDS these audits stays in the monolith (crate::identifiability::audit) and constructs them through these public fields.

Structs

AliasedPair

A pair (block_a.column → block_b.column) whose normalised inner product exceeds the alias-overlap reporting threshold. Reported once per audited pair, in block-order (block_a index strictly less than block_b index in the spec list, so the “earlier block carries the image” attribution is well-defined).

BlockIdentity

Per-block accounting record. original_dim is the spec’s column count at audit entry (post joint_null_rotation absorption — the audit is contractually run on the rotated specs). effective_dim is what remains after the audit drops aliased columns. Equal values mean the block carried no redundant directions w.r.t. earlier blocks.

DroppedColumn

IdentifiabilityAudit

MapUniquenessError

Error produced when the MAP uniqueness condition ker(J^T W J) ∩ ker(S) = {0} is violated.