Source: https://guthlabs.ai/docs/instruments/voltage-current-divider/

instrument / verified-clean

# Voltage/Current Divider

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/voltage-current-divider/>)[02**Mechanism**Method and assumptions](<https://guthlabs.ai/docs/instruments/voltage-current-divider/mechanism/>)[03**Implementation**Binding and validation](<https://guthlabs.ai/docs/instruments/voltage-current-divider/implementation/>)[04**Qualification**Evidence and errata](<https://guthlabs.ai/docs/instruments/voltage-current-divider/qualification/>)

## Ledger state

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

**Area**: Electrical & Electronics Engineering

**Tranche**: tranche-2

**Evidence ID**: t2-018

**Ledger rows**: 1

No ledger note is attached.

## Review findings

The unloaded voltage-divider and specified R2-branch current-divider formulas are standard under the stated assumptions. The catalog claim should explicitly identify the current branch and distinguish unloaded from loaded operation. The loaded-divider toggle needs a documented formula, input RL, and constraints before the instrument can receive an unqualified PASS. The honest_label field is empty even though the current branch and loaded/unloaded assumptions materially affect the result.

### Formula and scope findings

- The current-divider formula Iout=Iin·R1/(R1+R2) is correct only when Iout means the current through the R2 branch; the output branch is not explicitly identified. For the R1 branch, the numerator must be R2.

- The voltage-divider formula is valid for an unloaded series divider, or when R2 is replaced by the effective parallel combination R2||RL for a resistive load. The specification does not provide the loaded-divider formula or define how the load resistor is applied.

- The phrase "Vout or Iout" does not specify whether the instrument selects voltage-divider mode or current-divider mode, nor does it define the required input relationships for each mode.

### Unit assumptions

- Vin is in volts, Iin is in amperes, and all resistor values are in the same resistance unit, such as ohms or kilohms.

- R1 and R2 are positive resistances for ordinary divider operation; using the same resistance unit in every ratio makes the unit cancel.

- For voltage division, R1 and R2 are series resistors, Vout is measured across R2, and Vin is an ideal source voltage.

- For current division, R1 and R2 are parallel branches, Iin is the total entering current, and Iout is the current through the R2 branch.

- For the loaded example, RL is a resistive load connected in parallel with R2, so R2 is replaced by R2||RL.

## Boundary hardening

**BREAK_CLAIMED** · SELF_FLAGGED

Setting R1=0 and R2=0 makes the common denominator R1+R2 equal zero, producing undefined 0/0 results for both divider formulas. A robust instrument must reject this input.

## 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": {
    "mode": "voltage_unloaded",
    "Vin_V": 12,
    "R1_kOhm": 1,
    "R2_kOhm": 2
  },
  "expected_outputs": {
    "Vout_V": 8
  },
  "working": "Vout = Vin·R2/(R1+R2) = 12·2/(1+2) = 24/3 = 8 V."
}
````

## Related workflows

[Electronics Power-Rail Designersense/scale](<https://guthlabs.ai/docs/instrument-workflows/power-rail/>)

## 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-tranche2/tranche2-results.json`

- `BOUNDARY_HAZARD_CATALOG.json`