sampleMemberName

The module records a structural, offline schema check of one real HDF5 posterior inside the public GWTC-3 ringdown ZIP, without fetching the full 1.44 GB archive. The method is: HTTP range-read the ZIP central directory, pick the smallest .h5 member, range-read only that member's local header and compressed payload, inflate locally, and inspect with h5py.

Live metadata for that member include compressed size 679110 bytes, uncompressed size 931208 bytes, 97 HDF5 objects (14 groups, 83 datasets), and the key posterior dataset /EXP6/posterior_samples with 15114 samples and 7 fields. This definition is the canonical string name of that chosen member; sibling constants hold the numeric schema fields. It is schema inspection only, not a likelihood or science claim about ringdown parameters.

Definitional constant: the value is the string literal of the selected ZIP member path. No tactics or lemmas. Downstream equalities such as sample_member_is_h5 and summary matching theorems close by rfl against this literal.

Anchors the one-member HDF5 schema certificate and the bundled one-statement theorem: both require the sample member name to equal this path, together with positive sizes, object-count additivity, and the posterior path/count/field facts. The summary module reuses it so summaryMemberName = sampleMemberName, keeping the summary certificate aligned with the schema certificate.

In the Recognition verification layer this is empirical scaffolding closure (status: structural theorem, 0 sorry, 0 new RS axioms): it pins which public LIGO/Virgo ringdown posterior file was inspected so later claims about data shape cannot silently drift. It does not touch T0–T8 forcing, RCL, or mass-ladder physics; it only hardens the GWTC-3 reproducibility surface those physics claims may later cite.