Page actions
instrument / verified-clean
String/Wind Instrument Fundamental Frequency (String Length)
The current ledger marks this instrument verified clean within the source-bound verification corpus.
Inspectable records
Ledger state
The current ledger marks this instrument verified clean within the source-bound verification corpus.
- Area
- Audio, Music, Photography & Color
- Tranche
- tranche-4
- Evidence ID
- t4-133
- Ledger rows
- 1
No ledger note is attached.
Review findings
The mathematical formula is correct for an ideal flexible string under uniform tension with fixed endpoints. The honest-label statement appropriately identifies the main physical limitation, but the catalog specification must explicitly define the units for length, tension, and linear mass density before release.
Formula and scope findings
- The formula f=(1/(2L))*sqrt(T/µ) is the standard ideal flexible-string fundamental-frequency formula, but the specification does not define input units, making application ambiguous.
Unit assumptions
- Length L must be in metres.
- Tension T must be in newtons.
- Linear mass density µ must be in kilograms per metre.
- With these SI units, sqrt(T/µ) has units of metres per second, and division by 2L produces hertz.
- All test-vector values are interpreted using the units explicitly supplied in each input object.
Boundary hardening
BREAK_CLAIMED · SELF_FLAGGED
Zero length and zero linear mass density produce division-by-zero, while negative tension produces a non-real square-root argument. The specification also lacks an explicit unit convention, allowing a 100-fold frequency discrepancy for the same numeric length.
Errata and corrections
No applied erratum is attached to this unique-name record.
Inspectable example
4 review vectors are recorded. One source-bound sample is shown below.
{
"inputs": {
"length": 0.5,
"length_unit": "m",
"tension": 100,
"tension_unit": "N",
"linear_mass_density": 0.01,
"linear_mass_density_unit": "kg/m"
},
"expected_outputs": {
"fundamental_frequency_Hz": 100
},
"working": "f=(1/(2L))*sqrt(T/µ)\nf=(1/(2*0.5))*sqrt(100/0.01)\nf=(1/1)*sqrt(10000)\nf=1*100\nf=100 Hz"
}Related workflows
Sources and evidence
These pointers bind the page to evidence. They do not grant authority or collapse verification into deployment.
VERIFIED_LEDGER.json · VERIFIED_CLEANevidence-tranche4/tranche4-results.jsonBOUNDARY_HAZARD_CATALOG.json