Guth
NewsDocs
Page actions
View as Markdown ↗
Explore MCP tools ↗

instrument / verified-clean

Capacitor Series/Parallel Combiner

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

Status: VERIFIED_CLEANLifecycle: verified-clean

Inspectable records

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-119
Ledger rows
1

No ledger note is attached.

Review findings

Formula verification passes for the two stated pure topologies, but the specification needs review because input units and the exact topology representation are unspecified. The empty honest_label is a concern: the instrument should clearly state that it supports only pure series or pure parallel networks unless mixed series/parallel reduction is implemented.

Formula and scope findings

  • The formulas are standard and correct for a purely parallel network (Cp=ΣCi) or a purely series network (1/Cs=Σ1/Ci). They do not define how arbitrary mixed series/parallel topologies are represented or reduced.
  • The series formula requires every capacitor value Ci to be nonzero; for physical capacitors, values should also be strictly positive.

Unit assumptions

  • All capacitor values in a calculation must use one common unit, or the implementation must perform explicit unit conversion before summation or reciprocal calculation.
  • The test outputs below are expressed in microfarads unless otherwise stated.
  • Capacitance values are ideal lumped capacitances; parasitic effects, voltage dependence, tolerance, and frequency-dependent behavior are not included.

Boundary hardening

BREAK_CLAIMED · SELF_FLAGGED

A zero-valued capacitor in a series network creates a 1/0 undefined term, and omitted units create a convention-dependent result. Inputs should be validated and units made explicit.

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": "parallel",
    "capacitors": [
      {
        "value": 10,
        "unit": "uF"
      },
      {
        "value": 22,
        "unit": "uF"
      }
    ]
  },
  "expected_outputs": {
    "Ceq": 32,
    "unit": "uF"
  },
  "working": "Cp = ΣCi = 10 uF + 22 uF = 32 uF."
}

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