Page actions
instrument mechanism / verified-with-binding-errata
Schmitt Trigger Threshold Calculator mechanism
The inspectable method record for Schmitt Trigger Threshold Calculator, kept separate from implementation and qualification.
Model scope
The instrument cannot honestly claim to compute general op-amp Schmitt-trigger upper and lower trip points until the topology, resistor placement, reference voltage, and positive/negative saturation definitions are specified. The provided vectors use the additional symmetric zero-reference assumption. The original second-vector value was corrected in the working and expected outputs to maintain arithmetic accuracy.
- VTH=Vsat×R1/(R1+R2) is valid only for a specific zero-reference Schmitt-trigger topology and resistor placement; it is not a universal op-amp Schmitt-trigger threshold formula.
- The specification does not define the reference configuration, so VTH+ and VTH− cannot be uniquely determined. A nonzero reference voltage changes both thresholds.
- Only one Vsat is provided, but real circuits may have unequal positive and negative saturation levels. The formula must specify whether Vsat is a positive magnitude, a signed rail, or separate Vsat+ and Vsat− values.
- hysteresis=VTH_high−VTH_low is standard, but VTH_high and VTH_low are not independently defined by the supplied formula. For a symmetric zero-reference circuit, the result would be 2×Vsat×R1/(R1+R2).
Units and conventions
- Vsat is treated as a positive voltage magnitude in volts.
- R1 and R2 must use the same resistance unit; only their ratio matters.
- The test-vector calculations assume a zero-reference, symmetric Schmitt-trigger configuration in which VTH+=+Vsat×R1/(R1+R2) and VTH−=−Vsat×R1/(R1+R2).
- Positive resistance values are assumed unless explicitly testing a boundary case.
Inspectable vector
One of 4 source-bound review vectors:
{
"inputs": {
"Vsat": 5,
"R1": 10000,
"R2": 20000,
"reference_config": "zero reference; symmetric rails; R1 and R2 in ohms"
},
"expected_outputs": {
"VTH_plus": 1.6666666667,
"VTH_minus": -1.6666666667,
"hysteresis": 3.3333333333
},
"working": "R1+R2=10000+20000=30000 ohms. VTH magnitude=5×10000/30000=50000/30000=1.6666666667 V. VTH+=+1.6666666667 V. VTH−=−1.6666666667 V. Hysteresis=VTH+−VTH−=1.6666666667−(−1.6666666667)=3.3333333333 V."
}Failure boundary
BREAK_CLAIMED · SELF_FLAGGED
The denominator can be forced to zero with R1+R2=0, producing an undefined threshold that must be rejected. In addition, the specification provides only one threshold formula and does not explicitly define how VTH_plus and VTH_minus, reference polarity, or signed hysteresis are derived.
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