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

instrument / verified-clean

Coulomb's Law Calculator

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