Public evidence

electrical.mosfet.total_loss

Machine-checked verification for calculation version 1.1.2 · tier internally_reviewed

Open calculator API Capability Download JSON CVP Manifest MCP Review policy

CVP status

Composite conduction+switching; gate/Qrr excluded from device Tj path

Declared partition coverage: PASS · 4/4 declared partitions (on_interval_rms, dc, with-optional-terms, invalid-domain)
Versions: Calculation 1.1.2 · CVP protocol 1.0.0-proposed · Evidence 2026-10-28.meta-metrics-v2
Verification revision: 2026-10-28.meta-metrics-v2 · 8/8 property · digest 12ea603c0107

Verification

Legacy regression suite: 39/39 calculation tests · Production surface contract 20/20

Three distinct suites: educational examples on the calculator page, this legacy regression count (39/39 golden + boundary), and the CVP verification suite below. They are not the same number. Property, metamorphic, round-trip, O3, and interface statuses/checks are recorded in the CVP Manifest . SKIP (0/0) means that suite has no published vectors.

This calculator CURRENT · Public schema 1.1.2 matches · Semantic contract ✓ · Production attested · Public/cache ✓ · Origin ✓

CVP verification suite

Protocol checks from the Evidence Manifest. Distinct from the legacy regression suite above. Verification revision 2026-10-28.meta-metrics-v2. Calculation version 1.1.2. CVP 1.0.0-proposed. 3/3 golden · 19/19 CVP boundary · 19/19 invalid · 8/8 property · 2/2 metamorphic · 1/1 cross-interface · 20/20 CVP contract. digest 12ea603c0107.

Golden (oracle-backed) 3 / 3
CVP boundary 19 / 19
Invalid input 19 / 19
Property 8 / 8
Metamorphic 2 / 2
Cross-interface 1 / 1
CVP contract 20 / 20
Interfaces PASS · UI (SSR) / REST / MCP
Interface claim ui-ssr is query-result HTML, not a live browser session.
Assurance Engineering

contract page version PASS
contract capability version PASS
contract input schema version PASS
contract output schema version PASS
evidence version matches manifest PASS
schema output required declared PASS
schema valid input executes PASS
engine success output validates schema PASS
schema rejects incomplete input PASS
temperature linear schema requires Tj_C PASS
temperature ratio schema requires rds_ratio PASS
share url roundtrip dc PASS
share url roundtrip pwm PASS
qg xor vdrive rejected PASS
schema rejects qg without vdrive PASS
schema rejects incomplete coss mode PASS
device excludes gate qrr PASS
omitted terms listed PASS
eoss overrides coss PASS
rest success payload validates schema PASS

Fingerprint sha256:63796283361c5a2cc011efc022665fc2401eee8cd2aa34530424d3f8836e4702

Input schema sha256:cd71e7633305576f0635af201a746a518b735993cc5a997b458ad543f4ed3b05 · Output schema sha256:1905f96b840a7a6cc79298022264e09a3c9031a1276ed4686145711363dbfe16 · Build-time SHA-256 digests prove published artifacts agree with each other (release_integrity.scope=workspace). Production attestation GETs canonical URLs twice (public/cached view and origin), including Capability HTML, via npm run attest:production --write (published at /.well-known/calculatorx-production-attestation.json) and fails if the public Capability page advertises a different calculation_version. This is artifact consistency, not an independent immutable release log.

Build & scope

Engine identity and declared limitations.

Tool: mosfet-total-loss
Engine: mosfet-total-loss
Engine build: 2026-09-10
Evidence core: 2026-09-05T02:35:39.217Z
Rendered: 2026-11-10T05:18:41.728Z
Last reviewed: 2026-08-19

Assumptions

Hard-switching linear V/I overlap.
Conduction current_basis contract is identical to electrical.mosfet.conduction_loss.
Coss term is lumped or Eoss-at-Vds — not a Qoss(V) integral.
P_gate is drive-circuit power, not die dissipation.
P_rr is commutation loss, usually not this MOSFET.
Tj_est is steady-state RthJA of P_device only.

Limitations

First-order hard-switching workspace — not Eon/Eoff tables, Qoss(V) curves, or compact models
Conduction uses electrical.mosfet.conduction_loss; switching/gate use electrical.mosfet.switching_loss
Default α = 0.006 /°C is a Si planning default, not manufacturer validated
P_coss from ½·Coss·V²·f is a lumped equivalent — prefer datasheet Eoss at Vds
Overlap P_sw plus P_coss may overestimate due to double counting; first-order only — validate against measured Eon/Eoff
P_rr = Qrr·Vds·f is recovered-charge commutation loss, usually attributed to the complementary switch — not this die
P_gate is gate-drive power (driver + Rg + Rg,int) — not MOSFET junction dissipation; Tj_est uses P_device only
Tj_est is steady-state RthJA only — not Zth or CFD
Numeric 0 on omitted P_gate/P_coss/P_rr means not included (see terms_omitted), not a measured zero
Optional Qg/Coss/Eoss/Qrr if present must be > 0; explicit 0 is not yet a supported known-zero state
Qg and Vdrive must both be present or both omitted (else NEEDS_TWO_INPUTS)

Sources

Standards and references supporting this tool specification. Methods are listed separately — they are algorithms, not bibliographic sources.

Infineon — OptiMOS device selection for synchronous rectification — Conduction losses P_cond = I_RMS² × RDS(on)
Supports: MOSFET RMS current (not converter output current) for conduction; first-order loss stack
Texas Instruments SLYT664 — MOSFET power losses and how they affect power-supply efficiency — Conduction, switching, gate, and output capacitance
Supports: P_cond = I_RMS²·RDS(on); P_sw ≈ ½·V·I·(tr+tf)·f; P_gate = Qg·Vdrive·f
Texas Instruments SLUA618 — Fundamentals of MOSFET and IGBT Gate Driver Circuits — Gate-drive energy split among driver and gate resistance
Supports: P_gate is not entirely dissipated in the MOSFET junction
Erickson & Maksimović — Fundamentals of Power Electronics — Semiconductor conduction and switching loss
Supports: I_rms conduction and linear-transition switching estimates

Verification disclosure

Aggregate outcomes, scope and artifact commitments are public. Complete test inputs, expected values, execution records and oracle infrastructure are retained privately. This summary does not independently reproduce the full verification run.