{ "protocol": { "name": "CVP", "version": "1.0.0-proposed" }, "document_status": "proposed", "calculator": { "id": "mosfet-total-loss", "version": "1.1.2", "title": "MOSFET Total Loss Calculator", "formula_family": "conduction-plus-switching-budget", "capability_id": "electrical.mosfet.total_loss" }, "profile": "engineering", "status": "VERIFIED", "runner": { "name": "cvp-runner", "version": "1.0.0" }, "environment": { "runtime": "node", "runtime_version": "20.19.2", "numeric_model": "IEEE-754 binary64", "os": "darwin" }, "suite": { "id": "mosfet-total-loss", "version": "1.1.2", "uri": "https://www.calculatorx.com/evidence/electrical.mosfet.total_loss/1.1.2.json" }, "obligation_set": [ "CVP-PROV-01", "CVP-MODEL-01", "CVP-SCOPE-01", "CVP-UNIT-01", "CVP-REF-01", "CVP-GOLD-01", "CVP-BND-01", "CVP-INV-01", "CVP-NUM-01", "CVP-COV-01", "CVP-CONTRACT-01", "CVP-DEP-01", "CVP-ART-01", "CVP-PROD-01", "CVP-DIM-01", "CVP-PROP-01", "CVP-IFACE-01" ], "provenance": { "mode": "direct", "sources": [ { "label": "Infineon — OptiMOS device selection for synchronous rectification", "kind": "other", "reference": "Conduction losses P_cond = I_RMS² × RDS(on)", "url": "https://www.infineon.com/dgdl/Infineon-MOSFET_OptiMOS_device_selection_for_synchronous_rectification-ApplicationNotes-v01_00-EN.pdf?fileId=8ac78c8c85ecb34701865afe0f7d3f05" }, { "label": "Texas Instruments SLYT664 — MOSFET power losses and how they affect power-supply efficiency", "kind": "other", "reference": "Conduction, switching, gate, and output capacitance", "url": "https://www.ti.com/lit/pdf/slyt664" }, { "label": "Texas Instruments SLUA618 — Fundamentals of MOSFET and IGBT Gate Driver Circuits", "kind": "other", "reference": "Gate-drive energy split among driver and gate resistance", "url": "https://www.ti.com/lit/pdf/slua618" }, { "label": "Erickson & Maksimović — Fundamentals of Power Electronics", "kind": "other", "reference": "Semiconductor conduction and switching loss" } ] }, "reference": { "items": [ { "class": "O1", "reference_scope": "model", "scope": "model", "label": "Published MOSFET loss budget with current_basis + optional Coss/Qrr" }, { "class": "O2", "reference_scope": "expected_values", "scope": "expected_values", "label": "Separate-module MOSFET total-loss oracle — same V8 binary64 as IUT", "engine": { "name": "mosfet-total-loss-reference", "precision_bits": 53, "independent_of_iut": true } }, { "class": "O2", "reference_scope": "numerical_behavior", "scope": "numerical_behavior", "label": "Same O2 module backs ≤2 ULP P_device_W / P_total_W comparison vs IUT", "engine": { "name": "mosfet-total-loss-reference", "precision_bits": 53, "independent_of_iut": true } } ], "notes": "Golden expected values use a separate O2 module (not IUT transcription). O2 shares Node/V8 binary64 with the IUT unless noted otherwise." }, "controls": { "CVP-PROV-01": { "result": "PASS", "applicability": "required", "notes": "Sources present on evidence" }, "CVP-MODEL-01": { "result": "PASS", "applicability": "required", "notes": "P_device = P_cond + P_sw + P_coss; P_total adds optional P_gate + P_rr" }, "CVP-SCOPE-01": { "result": "PASS", "applicability": "required", "notes": "Composite conduction+switching; gate/Qrr excluded from device Tj path" }, "CVP-UNIT-01": { "result": "PASS", "applicability": "required", "notes": "SI Ω, s, F, J, C" }, "CVP-REF-01": { "result": "PASS", "applicability": "required", "notes": "O1 model + O2 expected_values + O2 numerical_behavior" }, "CVP-GOLD-01": { "result": "PASS", "applicability": "required", "notes": "7/7 legacy golden; 3/3 oracle-backed numeric" }, "CVP-BND-01": { "result": "PASS", "applicability": "required", "notes": "22/22 boundary" }, "CVP-INV-01": { "result": "PASS", "applicability": "required", "notes": "19 invalid-domain cases" }, "CVP-NUM-01": { "result": "PASS", "applicability": "required", "notes": "max_error_observed_ulp=0; policy declared a priori" }, "CVP-COV-01": { "result": "PASS", "applicability": "required", "notes": "4/4 declared partitions (on_interval_rms, dc, with-optional-terms, invalid-domain) · 7 golden / 22 boundary unique cases · 19 Evidence invalid-input (may overlap boundary)" }, "CVP-CONTRACT-01": { "result": "PASS", "applicability": "required", "notes": "18/18 contract checks" }, "CVP-DEP-01": { "result": "PASS", "applicability": "required", "notes": "engine mosfet-total-loss; Node binary64" }, "CVP-ART-01": { "result": "PASS", "applicability": "required", "notes": "release_integrity.status=verified · evidence_digest=CVP verification fingerprint v2 (canonical inputs, expected/actual/status, policy, versions; independent of generated_at) · evidence_bundle_sha256=legacy Evidence JSON bytes · production_sha256=bound production attestation report" }, "CVP-PROD-01": { "result": "PASS", "applicability": "required", "notes": "CURRENT · site report pass · local checks pass · attestation_id=00c818a77ba026c2d6aa3f7402680cd2dac2a40a816209600bc3c3fcd0b8921c · CURRENT · Public schema 1.1.2 matches · Semantic contract ✓ · Production attested · Public/cache ✓ · Origin ✓ · schema_const=1.1.2 · report output-const=pass · evidence-sha256=pass · semantic-contract=pass · capability-html-public-origin-agree=pass · cvp-manifest-public-origin-agree=pass · calculator-html-cvp-projection=pass · evidence-html-cvp-projection=pass · attested_evidence_sha256=9424f31d3ca937ec4a453e41479201945df6495214f0a220ebb742e7fd1c3f20" }, "CVP-DIM-01": { "result": "PASS", "applicability": "applicable", "notes": "Power budget terms" }, "CVP-PROP-01": { "result": "PASS", "applicability": "applicable", "notes": "8/8 property" }, "CVP-META-01": { "result": "SKIP", "applicability": "not_applicable", "notes": "No input→output transformation vectors in pack — control not in obligation set" }, "CVP-ROUND-01": { "result": "SKIP", "applicability": "not_applicable", "notes": "No inverse / round-trip vectors in pack — control not in obligation set" }, "CVP-XCAL-01": { "result": "SKIP", "applicability": "not_applicable", "notes": "No related calculator in the same formula family / no related-identity peers declared — control not in obligation set" }, "CVP-IFACE-01": { "result": "PASS", "applicability": "applicable", "notes": "UI (SSR) · REST · MCP equivalent (MCP uses calc API handler). ui-ssr is query-result HTML, not a live browser session." }, "CVP-ORACLE-01": { "result": "SKIP", "applicability": "higher_assurance", "notes": "O2 present; O3 not required this wave" }, "CVP-EXP-01": { "result": "SKIP", "applicability": "optional", "notes": "expert_reviewed=false" } }, "tests": { "golden": { "passed": 3, "total": 3, "failed": 0, "case_ids": [ "g-pwm", "g-dc", "g-eoss-gate" ] }, "boundary": { "passed": 22, "total": 22, "failed": 0, "case_ids": [ "boundary-missing-I", "boundary-missing-tr", "boundary-qg-only", "boundary-zero-I", "boundary-negative-I", "boundary-zero-Rds", "boundary-zero-Vds", "boundary-negative-tr", "boundary-zero-f_sw", "boundary-invalid-basis", "boundary-invalid-temp-model", "boundary-invalid-coss-model", "boundary-zero-duty", "boundary-bad-duty", "boundary-nan-I", "boundary-inf-Vds", "boundary-eoss-needs-energy", "boundary-coss-eq-needs-coss", "boundary-zero-qrr", "boundary-ta-only", "boundary-rth-only", "boundary-eoss-overrides-coss" ] }, "invalid": { "passed": 19, "total": 19, "failed": 0, "case_ids": [ "boundary-missing-I", "boundary-missing-tr", "boundary-qg-only", "boundary-zero-I", "boundary-negative-I", "boundary-zero-Rds", "boundary-zero-Vds", "boundary-negative-tr", "boundary-zero-f_sw", "boundary-invalid-basis", "boundary-invalid-temp-model", "boundary-invalid-coss-model", "boundary-zero-duty", "boundary-bad-duty", "boundary-nan-I", "boundary-inf-Vds", "boundary-eoss-needs-energy", "boundary-coss-eq-needs-coss", "boundary-zero-qrr" ] }, "property": { "passed": 8, "total": 8, "failed": 0, "case_ids": [ "property-sum-core", "property-pwm-duty", "property-gate-adds", "property-eoss", "property-qrr", "property-tj", "property-tj-ignores-gate-qrr", "property-hot-cond" ], "kind": "fixed" }, "round_trip": { "passed": 0, "total": 0, "failed": 0, "case_ids": [] }, "metamorphic": { "passed": 0, "total": 0, "failed": 0, "case_ids": [] }, "contract": { "passed": 18, "total": 18, "failed": 0 }, "cross_interface": { "passed": 1, "total": 1, "failed": 0, "case_ids": [ "iface-pwm" ] } }, "coverage": { "partitions": [ { "id": "on_interval_rms", "description": "ON-interval RMS conduction", "exercised": true, "case_count": 5 }, { "id": "dc", "description": "DC conduction basis", "exercised": true, "case_count": 27 }, { "id": "with-optional-terms", "description": "Gate / Coss / Qrr present", "exercised": true, "case_count": 7 }, { "id": "invalid-domain", "description": "Invalid inputs", "exercised": true, "case_count": 19 } ] }, "numerical": { "representation": "IEEE-754 binary64", "tolerance": { "type": "ulp", "value": 2, "rationale": "Sum of conduction/switching/Coss terms; ≤2 ULP vs separate-module O2 (same V8). Declared a priori.", "declared_before_evaluation": true }, "max_error_observed": 0, "records": [ { "id": "g-pwm", "reference": { "P_total_W": 4.66, "P_device_W": 4.66, "P_cond_W": 2.5, "P_sw_W": 2.16, "P_gate_W": 0, "P_coss_W": 0, "P_rr_W": 0, "V_drop": 0.5, "I": 10, "Rds": 0.05, "Rds_Tj": 0.05, "D": 0.5, "current_basis": "on_interval_rms", "temperature_model": "none", "rds_ratio": 1, "Vds": 48, "Id": 10, "tr": 5e-8, "tf": 4e-8, "f_sw": 100000, "Qg": null, "Vdrive": null, "coss_model": "none", "Tj_est_C": null }, "actual": { "P_total_W": 4.66, "P_device_W": 4.66, "P_cond_W": 2.5, "P_sw_W": 2.16, "P_gate_W": 0, "P_coss_W": 0, "P_rr_W": 0, "V_drop": 0.5, "I": 10, "Rds": 0.05, "Rds_Tj": 0.05, "D": 0.5, "current_basis": "on_interval_rms", "temperature_model": "none", "rds_ratio": 1, "Vds": 48, "Id": 10, "tr": 5e-8, "tf": 4e-8, "f_sw": 100000, "Qg": null, "Vdrive": null, "coss_model": "none", "terms_applied": [ "conduction", "switching" ], "terms_omitted": [ "gate", "coss", "reverse_recovery" ], "terms_in_device": [ "conduction", "switching" ], "dominant_included": "conduction", "included_count": 2 }, "error_ulp": 0, "threshold_ulp": 2 }, { "id": "g-dc", "reference": { "P_total_W": 7.16, "P_device_W": 7.16, "P_cond_W": 5, "P_sw_W": 2.16, "P_gate_W": 0, "P_coss_W": 0, "P_rr_W": 0, "V_drop": 0.5, "I": 10, "Rds": 0.05, "Rds_Tj": 0.05, "D": 1, "current_basis": "dc", "temperature_model": "none", "rds_ratio": 1, "Vds": 48, "Id": 10, "tr": 5e-8, "tf": 4e-8, "f_sw": 100000, "Qg": null, "Vdrive": null, "coss_model": "none", "Tj_est_C": null }, "actual": { "P_total_W": 7.16, "P_device_W": 7.16, "P_cond_W": 5, "P_sw_W": 2.16, "P_gate_W": 0, "P_coss_W": 0, "P_rr_W": 0, "V_drop": 0.5, "I": 10, "Rds": 0.05, "Rds_Tj": 0.05, "D": 1, "current_basis": "dc", "temperature_model": "none", "rds_ratio": 1, "Vds": 48, "Id": 10, "tr": 5e-8, "tf": 4e-8, "f_sw": 100000, "Qg": null, "Vdrive": null, "coss_model": "none", "terms_applied": [ "conduction", "switching" ], "terms_omitted": [ "gate", "coss", "reverse_recovery" ], "terms_in_device": [ "conduction", "switching" ], "dominant_included": "conduction", "included_count": 2, "warnings": [ { "code": "DC_CURRENT_WITH_SWITCHING", "severity": "info", "detail": "DC assumes continuous current through the MOSFET. For PWM operation, consider on-interval RMS + duty or full-cycle RMS.", "suggestion": "Use current_basis=on_interval_rms with D, or full_cycle_rms for MOSFET RMS current." } ] }, "error_ulp": 0, "threshold_ulp": 2 }, { "id": "g-eoss-gate", "reference": { "P_total_W": 6.1899999999999995, "P_device_W": 5.66, "P_cond_W": 2.5, "P_sw_W": 2.16, "P_gate_W": 0.049999999999999996, "P_coss_W": 1, "P_rr_W": 0.48, "V_drop": 0.5, "I": 10, "Rds": 0.05, "Rds_Tj": 0.05, "D": 0.5, "current_basis": "on_interval_rms", "temperature_model": "none", "rds_ratio": 1, "Vds": 48, "Id": 10, "tr": 5e-8, "tf": 4e-8, "f_sw": 100000, "Qg": 5e-8, "Vdrive": 10, "coss_model": "eoss", "Tj_est_C": null }, "actual": { "P_total_W": 6.1899999999999995, "P_device_W": 5.66, "P_cond_W": 2.5, "P_sw_W": 2.16, "P_gate_W": 0.049999999999999996, "P_coss_W": 1, "P_rr_W": 0.48, "V_drop": 0.5, "I": 10, "Rds": 0.05, "Rds_Tj": 0.05, "D": 0.5, "current_basis": "on_interval_rms", "temperature_model": "none", "rds_ratio": 1, "Vds": 48, "Id": 10, "tr": 5e-8, "tf": 4e-8, "f_sw": 100000, "Qg": 5e-8, "Vdrive": 10, "coss_model": "eoss", "terms_applied": [ "conduction", "switching", "gate", "eoss", "reverse_recovery" ], "terms_omitted": [], "terms_in_device": [ "conduction", "switching", "eoss" ], "dominant_included": "conduction", "included_count": 5, "Eoss": 0.00001, "Qrr": 1e-7, "warnings": [ { "code": "GATE_NOT_IN_DEVICE", "severity": "info", "detail": "P_gate is gate-drive power (driver + Rg + Rg,int). It is not included in MOSFET device dissipation or Tj_est.", "suggestion": "Use P_device_W for junction temperature; keep P_gate_W in converter / driver budget." }, { "code": "QRR_NOT_IN_DEVICE", "severity": "info", "detail": "Qrr-related commutation loss is usually attributed to the complementary switch. It is not included in this MOSFET’s Tj_est.", "suggestion": "Treat P_rr_W as associated converter loss, not this die’s dissipation." } ] }, "error_ulp": 0, "threshold_ulp": 2 } ] }, "interfaces": { "compared": [ "ui-ssr", "rest", "mcp" ], "result": "PASS", "notes": "UI (SSR) · REST · MCP equivalent (MCP uses calc API handler). ui-ssr is query-result HTML, not a live browser session." }, "artifacts": { "evidence_bundle_sha256": "c1c89bd22dd2a24a60a4ca7e2db6aff031541b2febffa4605dc9d88b9c1271c5", "evidence_digest": "e1e9664a3ef4e947a20b3ce8c33749c533d3131d6de71df576f1cb1b7addb282", "production_sha256": "9424f31d3ca937ec4a453e41479201945df6495214f0a220ebb742e7fd1c3f20", "attested_catalog_sha256": "e03ef81b30568018b171fd1fc4757c2abe9df7220d9ff35bbaf08038d7630cdb", "production_checks": [ { "id": "electrical.mosfet.total_loss:output-const", "status": "pass", "detail": "output const 1.1.2 vs capability 1.1.2", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-10T02:52:51.379Z" }, { "id": "electrical.mosfet.total_loss:evidence-sha256", "status": "pass", "detail": "fd3f441585b2", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-10T02:52:51.379Z" }, { "id": "electrical.mosfet.total_loss:semantic-contract", "status": "pass", "detail": "39/39", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-10T02:52:51.379Z" }, { "id": "electrical.mosfet.total_loss:capability-html-public-origin-agree", "status": "pass", "detail": "public 1.1.2 vs origin 1.1.2", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-10T02:52:51.379Z" }, { "id": "electrical.mosfet.total_loss:cvp-manifest-public-origin-agree", "status": "pass", "detail": "electrical.mosfet.total_loss/1.1.2/-/engineering/e1e9664a3ef4", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-10T02:52:51.379Z", "projection_compared": false, "observed_live_projection_at_attestation": "VERIFIED" }, { "id": "electrical.mosfet.total_loss:calculator-html-cvp-projection", "status": "pass", "detail": "matches Manifest", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-10T02:52:51.379Z" }, { "id": "electrical.mosfet.total_loss:evidence-html-cvp-projection", "status": "pass", "detail": "matches Manifest", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-10T02:52:51.379Z" } ] }, "dependencies": [ { "name": "mosfet-total-loss-engine", "version": "1.1.2" }, { "name": "mosfet-total-loss-reference-oracle", "version": "1.0.0" }, { "name": "node", "version": "20.19.2" } ], "attestation": { "status": "CURRENT", "href": "/.well-known/calculatorx-production-attestation.json", "id": "00c818a77ba026c2d6aa3f7402680cd2dac2a40a816209600bc3c3fcd0b8921c", "attested_at": "2026-09-10T02:52:51.379Z" }, "domain_review": { "status": "ABSENT", "reviewer_role": "electrical-engineer", "spec_version": "1.1.2", "external_third_party": false, "independence": "internal" }, "timestamps": { "verified_at": "2026-09-10T03:41:42.252Z", "generated_at": "2026-09-10T03:41:42.252Z" }, "links": { "legacy_evidence": "https://www.calculatorx.com/evidence/electrical.mosfet.total_loss/1.1.2.json", "evidence_page": "https://www.calculatorx.com/evidence/electrical.mosfet.total_loss/1.1.2", "calculator": "https://www.calculatorx.com/calc/electric/mosfet-total-loss", "schema": "https://www.calculatorx.com/developers/cvp/schema/cvp-evidence-1.0.json", "protocol": "https://www.calculatorx.com/developers/cvp/spec/1.0", "manifest": "https://www.calculatorx.com/evidence/electrical.mosfet.total_loss/1.1.2.cvp.json" } }