Source: https://guthlabs.ai/docs/instruments/ohm-s-law-solver/

instrument / verified-clean

# Ohm's Law Solver

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

## Ledger state

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

**Area**: Electrical & Electronics

**Tranche**: calibration-1

**Evidence ID**: offline/source boundary

**Ledger rows**: 1

No ledger note is attached.

## Review findings

Core equations are correct for an ideal ohmic DC element, but the empty honest_label is a concern: the product should disclose its domain, unit conventions, passive sign convention, nonzero-division requirements, and branch behavior. The exact ambiguities requiring resolution are signed versus nonnegative quantities, whether P+R returns both mathematical branches or only the positive physical branch, and how indeterminate or division-by-zero cases are reported.

### Formula and scope findings

- The formulas are standard for a lumped ohmic DC element under the passive sign convention, but the specification does not state whether V, I, R, and P are signed quantities or restricted to nonnegative magnitudes.

- The claim that P plus one other variable always determines a unique result is ambiguous: P plus R yields two mathematical sign branches for I and V unless nonnegative physical magnitudes are required.

- P=V²/R requires R≠0, and solving other forms by division requires the divisor to be nonzero.

- The scope should say resistive DC loads or ohmic elements; Ohm's law and these power relationships are not universally valid for arbitrary DC circuit elements.

### Unit assumptions

- V is measured in volts, I in amperes, R in ohms, and P in watts.

- All equations use coherent SI units; milliamperes must be converted to amperes before calculation.

- P=VI uses the passive sign convention, with positive power representing absorbed power.

- The test vectors assume nonnegative physical magnitudes and an ideal resistive element.

## Boundary hardening

**BREAK_CLAIMED** · SELF_FLAGGED

The unrestricted input promise is unsafe at singular combinations such as V=12 V and R=0 ohms, where current and power are undefined. The solver must reject or explicitly flag these inputs instead of forcing a numeric result. A second degeneracy occurs at V=0 and I=0, where resistance is non-unique.

## 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": {
    "V": 12,
    "I": 2,
    "unit_V": "V",
    "unit_I": "A"
  },
  "expected_outputs": {
    "R": 6,
    "P": 24,
    "unit_R": "ohm",
    "unit_P": "W"
  },
  "working": "R = V/I = 12 V / 2 A = 6 ohm. P = V*I = 12 V * 2 A = 24 W."
}
````

## 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-tranche2/batch10-output.jsonl`

- `BOUNDARY_HAZARD_CATALOG.json`