Source: https://guthlabs.ai/docs/instruments/coulomb-s-law-calculator/

instrument / verified-clean

# Coulomb's Law Calculator

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

## Ledger state

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

**Area**: Physics — Kinematics/Projectiles/Orbits, Forces/Energy/Momentum, Rotational Dynamics, Gravitation, Oscillations/Waves, Optics, E&M Fields, Relativity, Quantum, Statistical Thermo

**Tranche**: tranche-5

**Evidence ID**: t5-168

**Ledger rows**: 1

No ledger note is attached.

## Review findings

The physics formula is standard under the stated SI, vacuum, electrostatic, point-charge assumptions, but the specification needs an explicit signed-force convention, a positive-distance constraint, unit handling, and a clear vacuum/point-charge limitation before it can receive PASS.

### Formula and scope findings

- The standard magnitude formula is F=|kq1q2|/r²; the supplied F=kq1q2/r² is a signed scalar unless a sign convention is explicitly defined. Direction must be reported separately as repulsive for like signs and attractive for unlike signs.

- The expression k=1/4πε0 requires explicit denominator parentheses: k=1/(4πε0).

- The formula applies to point charges in vacuum or air-like conditions; the specification does not state the medium or point-charge approximation.

### Unit assumptions

- q1 and q2 are signed charges in coulombs (C), with microcoulomb and nanocoulomb inputs converted using 1 μC=10^-6 C and 1 nC=10^-9 C.

- r is the positive separation distance in metres (m), with centimetre inputs converted using 1 cm=10^-2 m.

- F is in newtons (N).

- Use vacuum permittivity and k=8.9875517923×10^9 N·m²/C².

- For these vectors, signed F means sign(q1q2) times the force magnitude; positive denotes repulsion and negative denotes attraction.

## Boundary hardening

**BREAK_CLAIMED** · SELF_FLAGGED

The zero-separation input produces an undefined result and must be rejected. The specification also leaves unit conversion, signed-versus-magnitude force reporting, and the zero-force direction convention unspecified.

## 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": {
    "q1": 2,
    "q1_unit": "μC",
    "q2": 3,
    "q2_unit": "μC",
    "r": 0.5,
    "r_unit": "m"
  },
  "expected_outputs": {
    "F_N": 0.2157012430152,
    "direction": "repulsive"
  },
  "working": "q1=2×10^-6 C; q2=3×10^-6 C. q1q2=(2×10^-6)(3×10^-6)=6×10^-12 C². r²=(0.5)²=0.25 m². F=8.9875517923×10^9×(6×10^-12)/0.25=8.9875517923×10^9×2.4×10^-11=0.2157012430152 N. Both charges have the same sign, so the force is repulsive."
}
````

## 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`
