A profile whose every field has been checked against the domain it declares.
The mark is carried by the type alone — nothing is added to the object, so a
validated profile serializes exactly as the plain one it was made from. Its
only source is toInstrumentProfile, which is what makes the mark worth
anything: the routines that read a profile note by note take this rather than
a plain InstrumentProfile, so a path that skipped the checks does not
compile instead of failing on the one passage that happens to expose it.
A profile whose every field has been checked against the domain it declares.
The mark is carried by the type alone — nothing is added to the object, so a validated profile serializes exactly as the plain one it was made from. Its only source is toInstrumentProfile, which is what makes the mark worth anything: the routines that read a profile note by note take this rather than a plain InstrumentProfile, so a path that skipped the checks does not compile instead of failing on the one passage that happens to expose it.