Source: https://guthlabs.ai/docs/instruments/filter-designer-rc-low-pass-high-pass/

instrument / verified-clean

# Filter Designer — RC Low-Pass/High-Pass

The current ledger marks this instrument verified clean within the source-bound verification corpus.

Status: **VERIFIED_CLEAN**Lifecycle: **verified-clean**

## Inspectable records

[01**Overview**Purpose and lifecycle](<https://guthlabs.ai/docs/instruments/filter-designer-rc-low-pass-high-pass/>)[02**Mechanism**Method and assumptions](<https://guthlabs.ai/docs/instruments/filter-designer-rc-low-pass-high-pass/mechanism/>)[03**Implementation**Binding and validation](<https://guthlabs.ai/docs/instruments/filter-designer-rc-low-pass-high-pass/implementation/>)[04**Qualification**Evidence and errata](<https://guthlabs.ai/docs/instruments/filter-designer-rc-low-pass-high-pass/qualification/>)

## Ledger state

The current ledger marks this instrument verified clean within the source-bound verification corpus.

**Area**: Electrical & Electronics Engineering — Circuits, Power Systems, Electronics Lab

**Tranche**: tranche-5

**Evidence ID**: t5-028

**Ledger rows**: 1

No ledger note is attached.

## Review findings

The core cutoff formula is correct under the ideal first-order RC assumption, but the specification needs explicit inverse formulas, input units, positivity constraints, topology/transfer-function definitions, and an honest label stating that results are nominal ideal values rather than guaranteed measured cutoffs.

### Formula and scope findings

- fc=1/(2πRC) is the standard ideal first-order RC cutoff formula for both low-pass and high-pass filters, but the specification does not explicitly provide the inverse formulas R=1/(2πfcC) and C=1/(2πfcR) required for the claimed component-value calculation.

- The stated −3 dB output is valid only for an ideal single-pole RC network when measured relative to the passband gain; source impedance, load impedance, parasitic capacitance, and non-ideal component behavior are not addressed.

- The topology is ambiguous: low-pass and high-pass filters share the same cutoff-frequency formula, but their transfer functions and passband references differ.

### Unit assumptions

- R must be entered in ohms, C in farads, and fc in hertz before applying the formula.

- The factor 2π converts angular frequency to ordinary frequency in hertz.

- All component values are positive real quantities.

- The circuit is assumed to be an ideal first-order RC network with negligible source and load impedance.

## Boundary hardening

**BREAK_CLAIMED** · SELF_FLAGGED

The zero-resistance input produces an undefined cutoff and must be rejected; additionally, unspecified component units can produce a 1,000,000-fold cutoff-frequency discrepancy.

## 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": {
    "topology": "low-pass",
    "R_ohm": 10000,
    "C_F": 1e-8
  },
  "expected_outputs": {
    "fc_Hz": 1591.54943,
    "minus_3dB_frequency_Hz": 1591.54943
  },
  "working": "C=10 nF=10×10^-9 F=1×10^-8 F. RC=10000×1×10^-8=1×10^-4 s. 2πRC=2π×1×10^-4=0.00062831853. fc=1/0.00062831853=1591.54943 Hz. For an ideal first-order low-pass, the −3 dB frequency equals fc."
}
````

## Related workflows

No source-defined multi-instrument workflow membership is recorded.

## Sources and evidence

These pointers bind the page to evidence. They do not grant authority or collapse verification into deployment.

- `VERIFIED_LEDGER.json · VERIFIED_CLEAN`

- `evidence-tranche5/tranche5-results.json`

- `BOUNDARY_HAZARD_CATALOG.json`