Page actions
instrument mechanism / verified-clean
Nyquist / Wien Bridge Oscillator Frequency Calculator mechanism
The inspectable method record for Nyquist / Wien Bridge Oscillator Frequency Calculator, kept separate from implementation and qualification.
Model scope
The empty honest_label is a concern. The product should explicitly state that it calculates the ideal symmetric-Wien frequency and nominal gain criterion, not guaranteed real-world oscillation. Exact ambiguity requiring review: the spec lists only R and C but does not state that both bridge resistors are equal to R and both bridge capacitors are equal to C; additionally, Av≥3 is ambiguous between startup and sustained operation.
- f=1/(2πRC) is correct only for a symmetric Wien bridge in which the two series-arm resistors are equal to R and the two capacitors are equal to C. For a general Wien bridge, the formula is f=1/(2π√(R1R2C1C2)).
- Av≥3 is a startup threshold, not a complete sustained-oscillation condition. Ideal steady-state oscillation requires Av=3; Av>3 causes amplitude growth until nonlinear limiting occurs.
- The specification does not state that R and C are equal component values in the two bridge arms.
Units and conventions
- R is entered in ohms (Ω), C is entered in farads (F), and the output frequency is in hertz (Hz).
- R and C are assumed to be the equal values for both corresponding Wien bridge arms.
- Av is a dimensionless voltage gain; the minimum nominal gain is 3 V/V.
- π is the mathematical constant approximately equal to 3.141592653589793.
Inspectable vector
One of 4 source-bound review vectors:
{
"inputs": {
"R_ohm": 10000,
"C_F": 1e-8
},
"expected_outputs": {
"f_Hz": 1591.549431,
"required_min_gain": 3
},
"working": "RC = 10000 × 0.00000001 = 0.0001 s. 2πRC = 2 × 3.141592653589793 × 0.0001 = 0.0006283185307. f = 1 ÷ 0.0006283185307 = 1591.549431 Hz. Required minimum gain = 3."
}Failure boundary
BREAK_CLAIMED · SELF_FLAGGED
The formula produces an undefined result when R=0, so the instrument must explicitly reject zero-valued component inputs. Unit-prefix ambiguity can also produce a million-fold frequency error if kΩ and nF are stripped or misinterpreted.
Other records
Sources and evidence
These pointers bind the page to evidence. They do not grant authority or collapse verification into deployment.
VERIFIED_LEDGER.jsonevidence-tranche5/tranche5-results.jsonBOUNDARY_HAZARD_CATALOG.json