Public evidence
Machine-checked verification for calculation version 1.1.2 · tier internally_reviewed
CVP: CVP VERIFIED · CVP protocol 1.0.0-proposed · Engineering assurance· Composite conduction+switching; gate/Qrr excluded from device Tj path · Protocol · Schema · Production report
Legacy regression suite: 39/39 calculation tests · Production surface contract 18/18
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.
Protocol checks from the Evidence Manifest. Distinct from the legacy regression suite above. Calculation version 1.1.2. CVP 1.0.0-proposed. 3/3 golden · 22/22 CVP boundary · 19/19 invalid · 8/8 property · 1/1 cross-interface · 18/18 CVP contract. digest e1e9664a3ef4.
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.
Engine identity and declared limitations.
Standards and references supporting this tool specification. Methods are listed separately — they are algorithms, not bibliographic sources.
Golden and boundary cases from the legacy Evidence JSON. CVP property, metamorphic, round-trip, O3, and interface statuses/checks are recorded in the Manifest — including SKIP when a suite has no vectors.
| ID | Kind | Status | Detail |
|---|---|---|---|
pwm-on-interval | golden | pass | Expected P_cond_W=2.5 · P_sw_W=2.16 · P_device_W=4.66 · P_total_W=4.66 · dominant_included=conduction · 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 |
cond-plus-sw | golden | pass | Expected P_cond_W=5 · P_sw_W=2.16 · P_gate_W=0 · P_coss_W=0 · P_rr_W=0 · P_device_W=7.16 · P_total_W=7.16 · dominant_included=conduction · 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 |
with-gate-eoss-qrr | golden | pass | Expected P_cond_W=5 · P_sw_W=2.16 · P_gate_W=0.05 · P_coss_W=1 · P_rr_W=0.48 · P_device_W=8.16 · P_total_W=8.69 · coss_model=eoss · Actual P_total_W=8.690000000000001 · P_device_W=8.16 · P_cond_W=5 · P_sw_W=2.16 · P_gate_W=0.049999999999999996 · P_coss_W=1 · P_rr_W=0.48 · V_drop=0.5 |
coss-eq | golden | pass | Expected P_coss_W=0.1152 · P_device_W=7.2752 · P_total_W=7.2752 · coss_model=coss_eq · Actual P_total_W=7.2752 · P_device_W=7.2752 · P_cond_W=5 · P_sw_W=2.16 · P_gate_W=0 · P_coss_W=0.11520000000000001 · P_rr_W=0 · V_drop=0.5 |
hot-rds-ratio | golden | pass | Expected P_cond_W=7.2 · P_sw_W=2.16 · P_device_W=9.36 · P_total_W=9.36 · Actual P_total_W=9.36 · P_device_W=9.36 · P_cond_W=7.199999999999999 · P_sw_W=2.16 · P_gate_W=0 · P_coss_W=0 · P_rr_W=0 · V_drop=0.72 |
tj-from-rth | golden | pass | Expected P_total_W=7.16 · P_device_W=7.16 · Tj_est_C=96.6 · 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 |
xref-ti-slyt664-sum | formula cross-check | pass | Expected P_cond_W=5 · P_sw_W=2.16 · P_gate_W=0.05 · P_device_W=7.16 · P_total_W=7.21 · Actual P_total_W=7.21 · P_device_W=7.16 · P_cond_W=5 · P_sw_W=2.16 · P_gate_W=0.049999999999999996 · P_coss_W=0 · P_rr_W=0 · V_drop=0.5 |
xref-infineon-eoss-qrr | formula cross-check | pass | Expected P_coss_W=1 · P_rr_W=0.48 · P_device_W=8.16 · P_total_W=8.64 · Actual P_total_W=8.64 · P_device_W=8.16 · P_cond_W=5 · P_sw_W=2.16 · P_gate_W=0 · P_coss_W=1 · P_rr_W=0.48 · V_drop=0.5 |
device-excludes-gate-qrr | golden | pass | Expected P_device_W=7.16 · P_gate_W=0.05 · P_rr_W=0.48 · P_total_W=7.69 · Tj_est_C=96.6 · Actual P_total_W=7.6899999999999995 · P_device_W=7.16 · P_cond_W=5 · P_sw_W=2.16 · P_gate_W=0.049999999999999996 · P_coss_W=0 · P_rr_W=0.48 · V_drop=0.5 |
boundary-missing-I | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
boundary-missing-tr | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
boundary-qg-only | boundary | pass | Expected NEEDS_TWO_INPUTS · Actual NEEDS_TWO_INPUTS |
boundary-zero-I | boundary | pass | Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE |
boundary-negative-I | boundary | pass | Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE |
boundary-zero-Rds | boundary | pass | Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE |
boundary-zero-Vds | boundary | pass | Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE |
boundary-negative-tr | boundary | pass | Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE |
boundary-zero-f_sw | boundary | pass | Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE |
boundary-invalid-basis | boundary | pass | Expected INVALID_MODE · Actual INVALID_MODE |
boundary-invalid-temp-model | boundary | pass | Expected INVALID_MODE · Actual INVALID_MODE |
boundary-invalid-coss-model | boundary | pass | Expected INVALID_MODE · Actual INVALID_MODE |
boundary-zero-duty | boundary | pass | Expected FRACTION_OUT_OF_RANGE · Actual FRACTION_OUT_OF_RANGE |
boundary-bad-duty | boundary | pass | Expected FRACTION_OUT_OF_RANGE · Actual FRACTION_OUT_OF_RANGE |
boundary-nan-I | boundary | pass | Expected INVALID_NUMBER · Actual INVALID_NUMBER |
boundary-inf-Vds | boundary | pass | Expected INVALID_NUMBER · Actual INVALID_NUMBER |
boundary-eoss-needs-energy | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
boundary-coss-eq-needs-coss | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
boundary-zero-qrr | boundary | pass | Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE |
boundary-ta-only | boundary | pass | warning THERMAL_NOT_APPLIED |
boundary-rth-only | boundary | pass | warning THERMAL_NOT_APPLIED |
boundary-eoss-overrides-coss | boundary | pass | warning EOSS_OVERRIDES_COSS |
property-sum-core | property | pass | P_device = P_total = P_cond + P_sw when extras omitted |
property-pwm-duty | property | pass | on-interval RMS · D=0.5 scales conduction only |
property-gate-adds | property | pass | gate adds to associated total only |
property-eoss | property | pass | Eoss·f is in P_device |
property-qrr | property | pass | Qrr is associated, not device |
property-tj | property | pass | Tj = Ta + P_device·Rth |
property-tj-ignores-gate-qrr | property | pass | Tj ignores P_gate and P_rr |
property-hot-cond | property | pass | rds_ratio scales conduction only |