Module dims 

The ADL dimension census — every numeric field of the characterized descriptors (AnalogTarget, NonIdealityModel) declares its physical dimension, ONCE, here.

Dimensionless is a CLAIM, not a default: counts, ratios, and exponents say so explicitly. analog_dimension_lock holds full struct literals of both descriptors, so ADDING a field breaks the lock at compile time until it is consciously censused — and pins the naming convention (*_v ⇒ voltage, *_ns ⇒ time, *_k_range ⇒ frequency) so a field cannot lie about its unit in its name.

Functions

adl_dimensions

Every numeric field of the ADL, with its declared dimension. Names are Type::field — exactly one row per field, no field left out (the lock cross-checks against compile-guarded struct literals).