Page actions
instrument / verified-clean
Power Calculator
The current ledger marks this instrument verified clean within the source-bound verification corpus.
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-4
- Evidence ID
- t4-167
- Ledger rows
- 1
No ledger note is attached.
Review findings
The arithmetic is valid under the stated SI-unit assumptions and with parallel force and velocity. The catalog claim needs clarification that W/t is average power, that Fv is a special case of F·v, and that the horsepower toggle means mechanical horsepower using 746 W/hp.
Formula and scope findings
- P = W/t is average power over the interval, not necessarily instantaneous power.
- The general force-velocity formula is P = F·v = Fv cos(theta); P = Fv is correct only when force and velocity are parallel and in consistent SI units.
- The symbol W is ambiguous because it can denote work in joules or the watt unit of power.
- The specification does not define whether horsepower conversion is mechanical horsepower (746 W/hp) or metric horsepower (approximately 735.5 W/hp).
Unit assumptions
- Work W is measured in joules (J) and time t in seconds (s), producing power in watts (W).
- Force F is measured in newtons (N) and velocity v in metres per second (m/s), producing power in watts (W).
- The horsepower toggle is assumed to use mechanical horsepower: 1 hp = 746 W, so hp = P_W/746.
- For nonparallel force and velocity, an angle theta and the dot-product relation Fv cos(theta) are required.
- Time must be converted to seconds and work to joules before applying P = W/t.
Boundary hardening
BREAK_CLAIMED · SELF_FLAGGED
The specification exposes an undefined zero-time input and does not define behavior when both input representations are supplied or whether force-velocity power is signed or magnitude-only. The calculator should reject t=0 and require an explicit mode and sign convention.
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": "work_time",
"W": 1200,
"W_unit": "J",
"t": 30,
"t_unit": "s"
},
"expected_outputs": {
"P_W": 40,
"P_hp": 0.0536193029
},
"working": "P = W/t = 1200 J / 30 s = 40 J/s = 40 W.\\nP_hp = 40 W / 746 W per hp = 0.0536193029 hp."
}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_CLEANevidence-tranche4/tranche4-results.jsonBOUNDARY_HAZARD_CATALOG.json