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

JointRankCertificate

The joint-rank decision an audit took, kept with the margin that makes it transportable (#2337 §8 Thm 8.3).

MapUniquenessError

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