{ "protocol": { "name": "CVP", "version": "1.0.0-proposed", "revision": "2026-09-13", "spec_sha256": "f62725968356c92930531cd6085db76e216da06e95be53d636b0d2cf3218b148", "spec": "https://www.calculatorx.com/developers/cvp/spec/1.0" }, "document_status": "proposed", "calculator": { "id": "heatsink-rth", "version": "1.1.0", "title": "Heatsink Thermal Resistance Calculator", "formula_family": "thermal-rth-heatsink-stack", "capability_id": "electrical.thermal.heatsink_rth" }, "profile": "engineering", "status": "VERIFIED", "verification_status": "VERIFIED", "production_freshness": "CURRENT", "overall_trust": "VERIFIED", "runner": { "name": "cvp-runner", "version": "1.0.0" }, "environment": { "runtime": "node", "runtime_version": "22.23.2", "numeric_model": "IEEE-754 binary64", "os": "linux" }, "suite": { "id": "heatsink-rth", "version": "1.1.0", "uri": "https://www.calculatorx.com/evidence/electrical.thermal.heatsink_rth/1.1.0.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-META-01", "CVP-ROUND-01", "CVP-XCAL-01", "CVP-IFACE-01" ], "provenance": { "mode": "direct", "sources": [ { "label": "JEDEC JESD51 series — Integrated Circuits Thermal Measurement Method", "kind": "standard", "reference": "Junction-to-ambient and junction-to-case thermal metrics on specified test boards" }, { "label": "Analog Devices — Practical Design Techniques for Power and Thermal Management", "kind": "other", "reference": "Section 8, Fig. 8.50 — junction → case → case-to-sink → sink-to-ambient", "url": "https://www.analog.com/media/en/training-seminars/design-handbooks/Practical-Design-Techniques-Power-Thermal/Section8.pdf" }, { "label": "Texas Instruments SPRA953 — Semiconductor and IC Package Thermal Metrics", "kind": "other", "reference": "RθJA, RθJC, and application dependence of junction-to-ambient metrics", "url": "https://www.ti.com/lit/pdf/spra953" }, { "label": "Analog Devices — Thermal Characterization of IC Packages", "kind": "other", "reference": "θCA is case-to-ambient (all case-to-ambient paths); θJA = θJC + θCA", "url": "https://www.analog.com/en/resources/technical-articles/thermal-characterization-of-ic-packages.html" } ] }, "reference": { "items": [ { "class": "O1", "reference_scope": "model", "scope": "model", "label": "Lumped θJA and explicit θJC+θCS+θSA heatsink path" }, { "class": "O2", "reference_scope": "expected_values", "scope": "expected_values", "label": "Separate-module heatsink-Rth oracle — same V8 binary64 as IUT", "engine": { "name": "heatsink-rth-reference", "precision_bits": 53, "independent_of_iut": true } }, { "class": "O2", "reference_scope": "numerical_behavior", "scope": "numerical_behavior", "label": "Same O2 module backs ≤2 ULP Tj / θSA comparison vs IUT", "engine": { "name": "heatsink-rth-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": "Effective θJA: Tj=Ta+P·θJA. Stack: Tj=Ta+P·(θJC+θCS+θSA). Required: θSA,max=(Tj,max−Ta)/P − θJC − θCS." }, "CVP-SCOPE-01": { "result": "PASS", "applicability": "required", "notes": "Lumped steady-state Rθ; not Zth(t), CFD, or θCA+θSA (double-count)" }, "CVP-UNIT-01": { "result": "PASS", "applicability": "required", "notes": "°C, W, °C/W ≡ K/W" }, "CVP-REF-01": { "result": "PASS", "applicability": "required", "notes": "O1 model + O2 expected_values + O2 numerical_behavior" }, "CVP-GOLD-01": { "result": "PASS", "applicability": "required", "notes": "4/4 legacy golden; 4/4 oracle-backed numeric" }, "CVP-BND-01": { "result": "PASS", "applicability": "required", "notes": "5/5 numeric-edge Evidence + 3/3 near-singularity numeric; illegal enum/system is Invalid only" }, "CVP-INV-01": { "result": "PASS", "applicability": "required", "notes": "4 Evidence illegal-input + 5/5 oracle-backed error-code (exact_error_match, not ULP)" }, "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 (ja, stack, required-sa, invalid-domain) · 4 legacy golden / 8 CVP boundary unique cases · 4 Evidence invalid-input (may overlap boundary)" }, "CVP-CONTRACT-01": { "result": "PASS", "applicability": "required", "notes": "4/4 CVP contract" }, "CVP-DEP-01": { "result": "PASS", "applicability": "required", "notes": "engine heatsink-rth; Node binary64" }, "CVP-ART-01": { "result": "PASS", "applicability": "required", "notes": "release_integrity.status=verified · digests: artifact_evidence_sha256=Evidence core (Trust freshness) · cvp_evidence_digest=artifacts.evidence_digest (fingerprint v2) · evidence_bundle_sha256=legacy Evidence JSON bytes · evidence_catalog_digest=attested_catalog_sha256 · production_sha256=bound production report · see artifacts.digest_registry" }, "CVP-PROD-01": { "result": "PASS", "applicability": "required", "notes": "this calculator CURRENT · bound snapshot pass @ 2026-09-14T00:43:05.498Z · live site-wide report stale @ 2026-09-14T00:43:08.973Z (1 other capabilities) · local checks pass · attestation_id=1fdd351e49d9a9103d52e8d4d216269454fafffce59ccada2570a57ac43a6b27 · This calculator CURRENT · This calculator is not affected · Bound attestation PASS @ 2026-09-14T00:43:05.498Z · Live production status STALE (1 capability; 156 remain CURRENT) @ 2026-09-14T00:43:08.973Z · Public schema 1.1.0 matches · Semantic contract ✓ · Production attested · Public/cache ✓ · Origin ✓ · schema_const=1.1.0 · report output-const=pass · evidence-sha256=pass · semantic-contract=pass · capability-html-public-origin-agree=pass · cvp-manifest-public-origin-agree=pass · cvp-latest-alias-agrees=pass · calculator-html-cvp-projection=pass · evidence-html-cvp-projection=pass · attested_evidence_sha256=3c45d14ff1258b0eea59837f3942585dd6825ab0585ca7cb85b4608e08c1f590 · verified_at=2026-09-13T22:54:10.664Z · evidence_attested_at=2026-09-13T22:54:10.664Z · last_confirmed_current_at=2026-09-14T00:43:05.498Z · rendered_at=2026-09-14T00:43:09.027Z · binds=cvp_core_sha256", "check_result": "PASS", "production_state": "CURRENT", "binding_current": true }, "CVP-DIM-01": { "result": "PASS", "applicability": "applicable", "notes": "Junction temperature / heatsink thermal resistance" }, "CVP-PROP-01": { "result": "PASS", "applicability": "applicable", "notes": "3/3 property · enumerated fixed assertions (not generated; no seed)" }, "CVP-META-01": { "result": "PASS", "applicability": "applicable", "notes": "3/3 metamorphic" }, "CVP-ROUND-01": { "result": "PASS", "applicability": "applicable", "notes": "2/2 round-trips" }, "CVP-XCAL-01": { "result": "PASS", "applicability": "applicable", "notes": "1/1 cross-calculator · xcal-ja-mosfet-tj PASS vs electrical.mosfet.tj" }, "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": "CalculatorX internal domain review — not CVP-EXP-01" } }, "tests": { "golden": { "passed": 4, "total": 4, "failed": 0, "case_ids": [ "g-ja", "g-ja-alias-rise", "g-stack", "g-required" ] }, "boundary": { "passed": 8, "total": 8, "failed": 0, "case_ids": [ "legacy-ca", "missing", "boundary-required-p-zero", "boundary-infeasible", "boundary-legacy-hs", "bnd-zero-p-ja", "bnd-zero-p-stack", "bnd-infeasible" ] }, "invalid": { "passed": 9, "total": 9, "failed": 0, "case_ids": [ "legacy-ca", "missing", "boundary-required-p-zero", "boundary-legacy-hs", "inv-required-p-zero", "inv-legacy-ca", "inv-mixed-ja-stack", "inv-mode", "inv-tjmax" ], "comparison": "exact_error_match", "records": [ { "id": "inv-required-p-zero", "comparison": "exact_error_match", "expected": { "code": "VALUE_MUST_BE_POSITIVE" }, "actual": { "code": "VALUE_MUST_BE_POSITIVE" }, "match": true }, { "id": "inv-legacy-ca", "comparison": "exact_error_match", "expected": { "code": "CONFLICTING_INPUTS" }, "actual": { "code": "CONFLICTING_INPUTS" }, "match": true }, { "id": "inv-mixed-ja-stack", "comparison": "exact_error_match", "expected": { "code": "CONFLICTING_INPUTS" }, "actual": { "code": "CONFLICTING_INPUTS" }, "match": true }, { "id": "inv-mode", "comparison": "exact_error_match", "expected": { "code": "INVALID_MODE" }, "actual": { "code": "INVALID_MODE" }, "match": true }, { "id": "inv-tjmax", "comparison": "exact_error_match", "expected": { "code": "VALUE_OUT_OF_RANGE" }, "actual": { "code": "VALUE_OUT_OF_RANGE" }, "match": true } ] }, "property": { "passed": 3, "total": 3, "failed": 0, "case_ids": [ "prop-dT-identity", "prop-stack-sum", "prop-required-sa" ], "kind": "fixed", "claim_scope": "Enumerated identities: ΔT=P·Rθ; P=0 → Tj=Ta on rise models; ambient translation; stack sum; required-θSA round trip. Not generated/random property tests.", "definition_ids": [ "delta-T-equals-P-Rth", "Rtotal-equals-JC-CS-SA", "required-theta-SA" ] }, "round_trip": { "passed": 2, "total": 2, "failed": 0, "case_ids": [ "rt-sa-to-tj", "rt-stack-to-sa" ] }, "metamorphic": { "passed": 3, "total": 3, "failed": 0, "case_ids": [ "meta-ambient-shift", "meta-scale-P", "meta-zero-power" ], "definition_ids": [ "ambient-translation", "power-monotonic-scale", "zero-power-Tj-equals-Ta" ] }, "contract": { "passed": 4, "total": 4, "failed": 0 }, "cross_interface": { "passed": 3, "total": 3, "failed": 0, "case_ids": [ "iface-ja", "iface-stack", "iface-required" ] }, "cross_calculator": { "passed": 1, "total": 1, "failed": 0, "case_ids": [ "xcal-ja-mosfet-tj" ] } }, "coverage": { "partitions": [ { "id": "ja", "description": "Effective θJA rise", "exercised": true, "case_count": 10 }, { "id": "stack", "description": "Explicit θJC+θCS+θSA", "exercised": true, "case_count": 5 }, { "id": "required-sa", "description": "Required heatsink θSA", "exercised": true, "case_count": 6 }, { "id": "invalid-domain", "description": "Invalid inputs", "exercised": true, "case_count": 9 } ] }, "numerical": { "representation": "IEEE-754 binary64", "tolerance": { "type": "ulp", "value": 2, "rationale": "Heatsink thermal rise / required θSA; ≤2 ULP vs separate-module O2 (same V8). Declared a priori.", "declared_before_evaluation": true }, "max_error_observed": 0, "records": [ { "id": "g-ja", "reference": { "Rth_JA": 5, "Rth_JC": null, "Rth_CS": null, "Rth_SA": null, "Rth_total": 5, "Rth_total_max": null, "Rth_SA_required": null, "dT_JC_C": null, "dT_CS_C": null, "dT_SA_C": null, "Tj_C": 35, "Tj_max_C": null, "margin_C": null, "mode": "junction_effective_ja", "thermal_path": "JA", "Ta_C": 25, "P_W": 2, "Rth_C_per_W": 5, "dT_C": 10 }, "actual": { "Rth_JA": 5, "Rth_JC": null, "Rth_CS": null, "Rth_SA": null, "Rth_total": 5, "Rth_total_max": null, "Rth_SA_required": null, "dT_JC_C": null, "dT_CS_C": null, "dT_SA_C": null, "Tj_C": 35, "Tj_max_C": null, "margin_C": null, "mode": "junction_effective_ja", "thermal_path": "JA", "Ta_C": 25, "P_W": 2, "Rth_C_per_W": 5, "dT_C": 10 }, "error_ulp": 0, "threshold_ulp": 2, "suite": "golden" }, { "id": "g-ja-alias-rise", "reference": { "Rth_JA": 5, "Rth_JC": null, "Rth_CS": null, "Rth_SA": null, "Rth_total": 5, "Rth_total_max": null, "Rth_SA_required": null, "dT_JC_C": null, "dT_CS_C": null, "dT_SA_C": null, "Tj_C": 35, "Tj_max_C": null, "margin_C": null, "mode": "junction_effective_ja", "thermal_path": "JA", "Ta_C": 25, "P_W": 2, "Rth_C_per_W": 5, "dT_C": 10 }, "actual": { "Rth_JA": 5, "Rth_JC": null, "Rth_CS": null, "Rth_SA": null, "Rth_total": 5, "Rth_total_max": null, "Rth_SA_required": null, "dT_JC_C": null, "dT_CS_C": null, "dT_SA_C": null, "Tj_C": 35, "Tj_max_C": null, "margin_C": null, "mode": "junction_effective_ja", "thermal_path": "JA", "Ta_C": 25, "P_W": 2, "Rth_C_per_W": 5, "dT_C": 10 }, "error_ulp": 0, "threshold_ulp": 2, "suite": "golden" }, { "id": "g-stack", "reference": { "Rth_JA": null, "Rth_JC": 1.5, "Rth_CS": 0.5, "Rth_SA": 3, "Rth_total": 5, "Rth_total_max": null, "Rth_SA_required": null, "dT_JC_C": 3, "dT_CS_C": 1, "dT_SA_C": 6, "Tj_C": 35, "Tj_max_C": null, "margin_C": null, "mode": "junction_heatsink_stack", "thermal_path": "JC+CS+SA", "Ta_C": 25, "P_W": 2, "Rth_C_per_W": 5, "dT_C": 10 }, "actual": { "Rth_JA": null, "Rth_JC": 1.5, "Rth_CS": 0.5, "Rth_SA": 3, "Rth_total": 5, "Rth_total_max": null, "Rth_SA_required": null, "dT_JC_C": 3, "dT_CS_C": 1, "dT_SA_C": 6, "Tj_C": 35, "Tj_max_C": null, "margin_C": null, "mode": "junction_heatsink_stack", "thermal_path": "JC+CS+SA", "Ta_C": 25, "P_W": 2, "Rth_C_per_W": 5, "dT_C": 10 }, "error_ulp": 0, "threshold_ulp": 2, "suite": "golden" }, { "id": "g-required", "reference": { "Rth_JA": null, "Rth_JC": 1.5, "Rth_CS": 0.5, "Rth_SA": null, "Rth_total": null, "Rth_total_max": 12.5, "Rth_SA_required": 10.5, "dT_JC_C": null, "dT_CS_C": null, "dT_SA_C": null, "Tj_C": null, "Tj_max_C": 150, "margin_C": null, "mode": "required_heatsink_sa", "thermal_path": "required_SA", "Ta_C": 25, "P_W": 10, "Rth_C_per_W": 10.5, "dT_C": 125 }, "actual": { "Rth_JA": null, "Rth_JC": 1.5, "Rth_CS": 0.5, "Rth_SA": null, "Rth_total": null, "Rth_total_max": 12.5, "Rth_SA_required": 10.5, "dT_JC_C": null, "dT_CS_C": null, "dT_SA_C": null, "Tj_C": null, "Tj_max_C": 150, "margin_C": null, "mode": "required_heatsink_sa", "thermal_path": "required_SA", "Ta_C": 25, "P_W": 10, "Rth_C_per_W": 10.5, "dT_C": 125 }, "error_ulp": 0, "threshold_ulp": 2, "suite": "golden" }, { "id": "bnd-zero-p-ja", "reference": { "Rth_JA": 5, "Rth_JC": null, "Rth_CS": null, "Rth_SA": null, "Rth_total": 5, "Rth_total_max": null, "Rth_SA_required": null, "dT_JC_C": null, "dT_CS_C": null, "dT_SA_C": null, "Tj_C": 25, "Tj_max_C": null, "margin_C": null, "mode": "junction_effective_ja", "thermal_path": "JA", "Ta_C": 25, "P_W": 0, "Rth_C_per_W": 5, "dT_C": 0 }, "actual": { "Rth_JA": 5, "Rth_JC": null, "Rth_CS": null, "Rth_SA": null, "Rth_total": 5, "Rth_total_max": null, "Rth_SA_required": null, "dT_JC_C": null, "dT_CS_C": null, "dT_SA_C": null, "Tj_C": 25, "Tj_max_C": null, "margin_C": null, "mode": "junction_effective_ja", "thermal_path": "JA", "Ta_C": 25, "P_W": 0, "Rth_C_per_W": 5, "dT_C": 0 }, "error_ulp": 0, "threshold_ulp": 2, "suite": "boundary" }, { "id": "bnd-zero-p-stack", "reference": { "Rth_JA": null, "Rth_JC": 1.5, "Rth_CS": 0.5, "Rth_SA": 3, "Rth_total": 5, "Rth_total_max": null, "Rth_SA_required": null, "dT_JC_C": 0, "dT_CS_C": 0, "dT_SA_C": 0, "Tj_C": 25, "Tj_max_C": null, "margin_C": null, "mode": "junction_heatsink_stack", "thermal_path": "JC+CS+SA", "Ta_C": 25, "P_W": 0, "Rth_C_per_W": 5, "dT_C": 0 }, "actual": { "Rth_JA": null, "Rth_JC": 1.5, "Rth_CS": 0.5, "Rth_SA": 3, "Rth_total": 5, "Rth_total_max": null, "Rth_SA_required": null, "dT_JC_C": 0, "dT_CS_C": 0, "dT_SA_C": 0, "Tj_C": 25, "Tj_max_C": null, "margin_C": null, "mode": "junction_heatsink_stack", "thermal_path": "JC+CS+SA", "Ta_C": 25, "P_W": 0, "Rth_C_per_W": 5, "dT_C": 0 }, "error_ulp": 0, "threshold_ulp": 2, "suite": "boundary" }, { "id": "bnd-infeasible", "reference": { "Rth_JA": null, "Rth_JC": 1.5, "Rth_CS": 0.5, "Rth_SA": null, "Rth_total": null, "Rth_total_max": 1.5, "Rth_SA_required": -0.5, "dT_JC_C": null, "dT_CS_C": null, "dT_SA_C": null, "Tj_C": null, "Tj_max_C": 40, "margin_C": null, "mode": "required_heatsink_sa", "thermal_path": "required_SA", "Ta_C": 25, "P_W": 10, "Rth_C_per_W": -0.5, "dT_C": 15, "warnings": [ { "code": "HEATSINK_INFEASIBLE", "severity": "warning", "detail": "Required θSA is -0.5 °C/W (≤ 0)." } ] }, "actual": { "Rth_JA": null, "Rth_JC": 1.5, "Rth_CS": 0.5, "Rth_SA": null, "Rth_total": null, "Rth_total_max": 1.5, "Rth_SA_required": -0.5, "dT_JC_C": null, "dT_CS_C": null, "dT_SA_C": null, "Tj_C": null, "Tj_max_C": 40, "margin_C": null, "mode": "required_heatsink_sa", "thermal_path": "required_SA", "Ta_C": 25, "P_W": 10, "Rth_C_per_W": -0.5, "dT_C": 15, "warnings": [ { "code": "HEATSINK_INFEASIBLE", "severity": "warning", "detail": "Required θSA is -0.5 °C/W (≤ 0). θJC+θCS = 2 °C/W already uses the (Tj,max−Ta)/P budget of 1.5 °C/W.", "suggestion": "Lower dissipation P, raise Tj,max, reduce Ta, or improve θJC/θCS." } ] }, "error_ulp": 0, "threshold_ulp": 2, "suite": "boundary" }, { "id": "rt-sa-to-tj", "reference": { "Rth_JA": null, "Rth_JC": 1.5, "Rth_CS": 0.5, "Rth_SA": null, "Rth_total": null, "Rth_total_max": 12.5, "Rth_SA_required": 10.5, "dT_JC_C": null, "dT_CS_C": null, "dT_SA_C": null, "Tj_C": null, "Tj_max_C": 150, "margin_C": null, "mode": "required_heatsink_sa", "thermal_path": "required_SA", "Ta_C": 25, "P_W": 10, "Rth_C_per_W": 10.5, "dT_C": 125 }, "actual": { "Rth_JA": null, "Rth_JC": 1.5, "Rth_CS": 0.5, "Rth_SA": null, "Rth_total": null, "Rth_total_max": 12.5, "Rth_SA_required": 10.5, "dT_JC_C": null, "dT_CS_C": null, "dT_SA_C": null, "Tj_C": null, "Tj_max_C": 150, "margin_C": null, "mode": "required_heatsink_sa", "thermal_path": "required_SA", "Ta_C": 25, "P_W": 10, "Rth_C_per_W": 10.5, "dT_C": 125 }, "error_ulp": 0, "threshold_ulp": 2, "suite": "round-trip", "hops": { "forward": { "reference": { "Rth_JA": null, "Rth_JC": 1.5, "Rth_CS": 0.5, "Rth_SA": null, "Rth_total": null, "Rth_total_max": 12.5, "Rth_SA_required": 10.5, "dT_JC_C": null, "dT_CS_C": null, "dT_SA_C": null, "Tj_C": null, "Tj_max_C": 150, "margin_C": null, "mode": "required_heatsink_sa", "thermal_path": "required_SA", "Ta_C": 25, "P_W": 10, "Rth_C_per_W": 10.5, "dT_C": 125 }, "actual": { "Rth_JA": null, "Rth_JC": 1.5, "Rth_CS": 0.5, "Rth_SA": null, "Rth_total": null, "Rth_total_max": 12.5, "Rth_SA_required": 10.5, "dT_JC_C": null, "dT_CS_C": null, "dT_SA_C": null, "Tj_C": null, "Tj_max_C": 150, "margin_C": null, "mode": "required_heatsink_sa", "thermal_path": "required_SA", "Ta_C": 25, "P_W": 10, "Rth_C_per_W": 10.5, "dT_C": 125 }, "error_ulp": 0 }, "reverse": { "reference": { "Rth_JA": null, "Rth_JC": 1.5, "Rth_CS": 0.5, "Rth_SA": 10.5, "Rth_total": 12.5, "Rth_total_max": null, "Rth_SA_required": null, "dT_JC_C": 15, "dT_CS_C": 5, "dT_SA_C": 105, "Tj_C": 150, "Tj_max_C": null, "margin_C": null, "mode": "junction_heatsink_stack", "thermal_path": "JC+CS+SA", "Ta_C": 25, "P_W": 10, "Rth_C_per_W": 12.5, "dT_C": 125 }, "actual": { "Rth_JA": null, "Rth_JC": 1.5, "Rth_CS": 0.5, "Rth_SA": 10.5, "Rth_total": 12.5, "Rth_total_max": null, "Rth_SA_required": null, "dT_JC_C": 15, "dT_CS_C": 5, "dT_SA_C": 105, "Tj_C": 150, "Tj_max_C": null, "margin_C": null, "mode": "junction_heatsink_stack", "thermal_path": "JC+CS+SA", "Ta_C": 25, "P_W": 10, "Rth_C_per_W": 12.5, "dT_C": 125 }, "error_ulp": 0 } } }, { "id": "rt-stack-to-sa", "reference": { "Rth_JA": null, "Rth_JC": 1.5, "Rth_CS": 0.5, "Rth_SA": 10.5, "Rth_total": 12.5, "Rth_total_max": null, "Rth_SA_required": null, "dT_JC_C": 15, "dT_CS_C": 5, "dT_SA_C": 105, "Tj_C": 150, "Tj_max_C": null, "margin_C": null, "mode": "junction_heatsink_stack", "thermal_path": "JC+CS+SA", "Ta_C": 25, "P_W": 10, "Rth_C_per_W": 12.5, "dT_C": 125 }, "actual": { "Rth_JA": null, "Rth_JC": 1.5, "Rth_CS": 0.5, "Rth_SA": 10.5, "Rth_total": 12.5, "Rth_total_max": null, "Rth_SA_required": null, "dT_JC_C": 15, "dT_CS_C": 5, "dT_SA_C": 105, "Tj_C": 150, "Tj_max_C": null, "margin_C": null, "mode": "junction_heatsink_stack", "thermal_path": "JC+CS+SA", "Ta_C": 25, "P_W": 10, "Rth_C_per_W": 12.5, "dT_C": 125 }, "error_ulp": 0, "threshold_ulp": 2, "suite": "round-trip", "hops": { "forward": { "reference": { "Rth_JA": null, "Rth_JC": 1.5, "Rth_CS": 0.5, "Rth_SA": 10.5, "Rth_total": 12.5, "Rth_total_max": null, "Rth_SA_required": null, "dT_JC_C": 15, "dT_CS_C": 5, "dT_SA_C": 105, "Tj_C": 150, "Tj_max_C": null, "margin_C": null, "mode": "junction_heatsink_stack", "thermal_path": "JC+CS+SA", "Ta_C": 25, "P_W": 10, "Rth_C_per_W": 12.5, "dT_C": 125 }, "actual": { "Rth_JA": null, "Rth_JC": 1.5, "Rth_CS": 0.5, "Rth_SA": 10.5, "Rth_total": 12.5, "Rth_total_max": null, "Rth_SA_required": null, "dT_JC_C": 15, "dT_CS_C": 5, "dT_SA_C": 105, "Tj_C": 150, "Tj_max_C": null, "margin_C": null, "mode": "junction_heatsink_stack", "thermal_path": "JC+CS+SA", "Ta_C": 25, "P_W": 10, "Rth_C_per_W": 12.5, "dT_C": 125 }, "error_ulp": 0 }, "reverse": { "reference": { "Rth_JA": null, "Rth_JC": 1.5, "Rth_CS": 0.5, "Rth_SA": null, "Rth_total": null, "Rth_total_max": 12.5, "Rth_SA_required": 10.5, "dT_JC_C": null, "dT_CS_C": null, "dT_SA_C": null, "Tj_C": null, "Tj_max_C": 150, "margin_C": null, "mode": "required_heatsink_sa", "thermal_path": "required_SA", "Ta_C": 25, "P_W": 10, "Rth_C_per_W": 10.5, "dT_C": 125 }, "actual": { "Rth_JA": null, "Rth_JC": 1.5, "Rth_CS": 0.5, "Rth_SA": null, "Rth_total": null, "Rth_total_max": 12.5, "Rth_SA_required": 10.5, "dT_JC_C": null, "dT_CS_C": null, "dT_SA_C": null, "Tj_C": null, "Tj_max_C": 150, "margin_C": null, "mode": "required_heatsink_sa", "thermal_path": "required_SA", "Ta_C": 25, "P_W": 10, "Rth_C_per_W": 10.5, "dT_C": 125 }, "error_ulp": 0 } } }, { "id": "meta-ambient-shift", "reference": 10, "actual": 10, "error_ulp": 0, "threshold_ulp": 2, "suite": "metamorphic", "hops": { "base": { "reference": { "Rth_JA": 5, "Rth_JC": null, "Rth_CS": null, "Rth_SA": null, "Rth_total": 5, "Rth_total_max": null, "Rth_SA_required": null, "dT_JC_C": null, "dT_CS_C": null, "dT_SA_C": null, "Tj_C": 35, "Tj_max_C": null, "margin_C": null, "mode": "junction_effective_ja", "thermal_path": "JA", "Ta_C": 25, "P_W": 2, "Rth_C_per_W": 5, "dT_C": 10 }, "actual": { "Rth_JA": 5, "Rth_JC": null, "Rth_CS": null, "Rth_SA": null, "Rth_total": 5, "Rth_total_max": null, "Rth_SA_required": null, "dT_JC_C": null, "dT_CS_C": null, "dT_SA_C": null, "Tj_C": 35, "Tj_max_C": null, "margin_C": null, "mode": "junction_effective_ja", "thermal_path": "JA", "Ta_C": 25, "P_W": 2, "Rth_C_per_W": 5, "dT_C": 10 }, "error_ulp": 0 }, "follow": { "reference": { "Rth_JA": 5, "Rth_JC": null, "Rth_CS": null, "Rth_SA": null, "Rth_total": 5, "Rth_total_max": null, "Rth_SA_required": null, "dT_JC_C": null, "dT_CS_C": null, "dT_SA_C": null, "Tj_C": 45, "Tj_max_C": null, "margin_C": null, "mode": "junction_effective_ja", "thermal_path": "JA", "Ta_C": 35, "P_W": 2, "Rth_C_per_W": 5, "dT_C": 10 }, "actual": { "Rth_JA": 5, "Rth_JC": null, "Rth_CS": null, "Rth_SA": null, "Rth_total": 5, "Rth_total_max": null, "Rth_SA_required": null, "dT_JC_C": null, "dT_CS_C": null, "dT_SA_C": null, "Tj_C": 45, "Tj_max_C": null, "margin_C": null, "mode": "junction_effective_ja", "thermal_path": "JA", "Ta_C": 35, "P_W": 2, "Rth_C_per_W": 5, "dT_C": 10 }, "error_ulp": 0 }, "relation": { "reference": 10, "actual": 10, "error_ulp": 0 } } }, { "id": "meta-scale-P", "reference": 2, "actual": 2, "error_ulp": 0, "threshold_ulp": 2, "suite": "metamorphic", "hops": { "base": { "reference": { "Rth_JA": 5, "Rth_JC": null, "Rth_CS": null, "Rth_SA": null, "Rth_total": 5, "Rth_total_max": null, "Rth_SA_required": null, "dT_JC_C": null, "dT_CS_C": null, "dT_SA_C": null, "Tj_C": 35, "Tj_max_C": null, "margin_C": null, "mode": "junction_effective_ja", "thermal_path": "JA", "Ta_C": 25, "P_W": 2, "Rth_C_per_W": 5, "dT_C": 10 }, "actual": { "Rth_JA": 5, "Rth_JC": null, "Rth_CS": null, "Rth_SA": null, "Rth_total": 5, "Rth_total_max": null, "Rth_SA_required": null, "dT_JC_C": null, "dT_CS_C": null, "dT_SA_C": null, "Tj_C": 35, "Tj_max_C": null, "margin_C": null, "mode": "junction_effective_ja", "thermal_path": "JA", "Ta_C": 25, "P_W": 2, "Rth_C_per_W": 5, "dT_C": 10 }, "error_ulp": 0 }, "follow": { "reference": { "Rth_JA": 5, "Rth_JC": null, "Rth_CS": null, "Rth_SA": null, "Rth_total": 5, "Rth_total_max": null, "Rth_SA_required": null, "dT_JC_C": null, "dT_CS_C": null, "dT_SA_C": null, "Tj_C": 45, "Tj_max_C": null, "margin_C": null, "mode": "junction_effective_ja", "thermal_path": "JA", "Ta_C": 25, "P_W": 4, "Rth_C_per_W": 5, "dT_C": 20 }, "actual": { "Rth_JA": 5, "Rth_JC": null, "Rth_CS": null, "Rth_SA": null, "Rth_total": 5, "Rth_total_max": null, "Rth_SA_required": null, "dT_JC_C": null, "dT_CS_C": null, "dT_SA_C": null, "Tj_C": 45, "Tj_max_C": null, "margin_C": null, "mode": "junction_effective_ja", "thermal_path": "JA", "Ta_C": 25, "P_W": 4, "Rth_C_per_W": 5, "dT_C": 20 }, "error_ulp": 0 }, "relation": { "reference": 2, "actual": 2, "error_ulp": 0 } } }, { "id": "meta-zero-power", "reference": 0, "actual": 0, "error_ulp": 0, "threshold_ulp": 2, "suite": "metamorphic", "hops": { "base": { "reference": { "Rth_JA": 5, "Rth_JC": null, "Rth_CS": null, "Rth_SA": null, "Rth_total": 5, "Rth_total_max": null, "Rth_SA_required": null, "dT_JC_C": null, "dT_CS_C": null, "dT_SA_C": null, "Tj_C": 35, "Tj_max_C": null, "margin_C": null, "mode": "junction_effective_ja", "thermal_path": "JA", "Ta_C": 25, "P_W": 2, "Rth_C_per_W": 5, "dT_C": 10 }, "actual": { "Rth_JA": 5, "Rth_JC": null, "Rth_CS": null, "Rth_SA": null, "Rth_total": 5, "Rth_total_max": null, "Rth_SA_required": null, "dT_JC_C": null, "dT_CS_C": null, "dT_SA_C": null, "Tj_C": 35, "Tj_max_C": null, "margin_C": null, "mode": "junction_effective_ja", "thermal_path": "JA", "Ta_C": 25, "P_W": 2, "Rth_C_per_W": 5, "dT_C": 10 }, "error_ulp": 0 }, "follow": { "reference": { "Rth_JA": 5, "Rth_JC": null, "Rth_CS": null, "Rth_SA": null, "Rth_total": 5, "Rth_total_max": null, "Rth_SA_required": null, "dT_JC_C": null, "dT_CS_C": null, "dT_SA_C": null, "Tj_C": 25, "Tj_max_C": null, "margin_C": null, "mode": "junction_effective_ja", "thermal_path": "JA", "Ta_C": 25, "P_W": 0, "Rth_C_per_W": 5, "dT_C": 0 }, "actual": { "Rth_JA": 5, "Rth_JC": null, "Rth_CS": null, "Rth_SA": null, "Rth_total": 5, "Rth_total_max": null, "Rth_SA_required": null, "dT_JC_C": null, "dT_CS_C": null, "dT_SA_C": null, "Tj_C": 25, "Tj_max_C": null, "margin_C": null, "mode": "junction_effective_ja", "thermal_path": "JA", "Ta_C": 25, "P_W": 0, "Rth_C_per_W": 5, "dT_C": 0 }, "error_ulp": 0 }, "relation": { "reference": 0, "actual": 0, "error_ulp": 0 } } } ] }, "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": "4d7d1c024597633f22c16664ea541953798be99d417bcc12da66a96ff0db06ad", "evidence_digest": "e84796291008cd0c17042761a6cd479e878ec64cab52ad790c47a6ca90c37401", "production_sha256": "3c45d14ff1258b0eea59837f3942585dd6825ab0585ca7cb85b4608e08c1f590", "attested_catalog_sha256": "d7330775e814d9fe1f97af28b52db2ecba2f32e2e3e82f08076f10a72d85c01b", "production_checks": [ { "id": "electrical.thermal.heatsink_rth:output-const", "status": "pass", "detail": "output const 1.1.0 vs capability 1.1.0", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-13T22:54:10.664Z" }, { "id": "electrical.thermal.heatsink_rth:evidence-sha256", "status": "pass", "detail": "f435fbad9279", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-13T22:54:10.664Z" }, { "id": "electrical.thermal.heatsink_rth:semantic-contract", "status": "pass", "detail": "17/17", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-13T22:54:10.664Z" }, { "id": "electrical.thermal.heatsink_rth:capability-html-public-origin-agree", "status": "pass", "detail": "public 1.1.0 vs origin 1.1.0", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-13T22:54:10.664Z" }, { "id": "electrical.thermal.heatsink_rth:cvp-manifest-public-origin-agree", "status": "pass", "detail": "electrical.thermal.heatsink_rth/1.1.0/-/engineering/e84796291008", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-13T22:54:10.664Z", "projection_compared": false }, { "id": "electrical.thermal.heatsink_rth:cvp-latest-alias-agrees", "status": "pass", "detail": "electrical.thermal.heatsink_rth/1.1.0/-/engineering/e84796291008", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-13T22:54:10.664Z", "projection_compared": false }, { "id": "electrical.thermal.heatsink_rth:calculator-html-cvp-projection", "status": "pass", "detail": "matches Trust display", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-13T22:54:10.664Z" }, { "id": "electrical.thermal.heatsink_rth:evidence-html-cvp-projection", "status": "pass", "detail": "matches Trust display", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-13T22:54:10.664Z" } ], "digest_registry": { "digest_algorithm": "sha256", "canonicalization": "json-sorted-keys-utf8", "entries": [ { "name": "cvp_core_sha256", "field": "artifacts.cvp_core_sha256", "digest_scope": "cvp_verification_fingerprint_v2", "value": "e84796291008cd0c17042761a6cd479e878ec64cab52ad790c47a6ca90c37401", "note": "Immutable verification core; excludes attestation/live-status and Evidence contract counts" }, { "name": "cvp_evidence_digest", "field": "artifacts.evidence_digest", "digest_scope": "cvp_verification_fingerprint_v2", "value": "e84796291008cd0c17042761a6cd479e878ec64cab52ad790c47a6ca90c37401", "note": "Alias of cvp_core_sha256 (historical field name)" }, { "name": "artifact_evidence_sha256", "field": "release_integrity.digests.evidence_core_sha256", "digest_scope": "evidence_artifact_core", "value": "f435fbad9279ca8c0f72d1a83bdd0a00e8936278f535fb461a81b0995489869d", "note": "Published Evidence JSON core — Trust freshness / production bind subject" }, { "name": "evidence_catalog_digest", "field": "artifacts.attested_catalog_sha256", "digest_scope": "capability_catalog", "value": "d7330775e814d9fe1f97af28b52db2ecba2f32e2e3e82f08076f10a72d85c01b", "note": "Capability catalog integrity; site-wide, not per-suite fingerprint" } ] }, "cvp_core_sha256": "e84796291008cd0c17042761a6cd479e878ec64cab52ad790c47a6ca90c37401" }, "dependencies": [ { "name": "heatsink-rth-engine", "version": "1.1.0" }, { "name": "heatsink-rth-reference-oracle", "version": "1.0.0" }, { "name": "electrical.mosfet.tj", "version": "1.1.2", "role": "cross_calculator_peer", "capability_id": "electrical.mosfet.tj", "evidence_digest": "950f87c6bdabf7a6fb33b63047d53f234e38437d68809e4fcaba36ed1103db34", "evidence": "https://www.calculatorx.com/evidence/electrical.mosfet.tj/1.1.2.cvp.json" }, { "name": "node", "version": "22.23.2" } ], "attestation": { "status": "CURRENT", "href": "/.well-known/calculatorx-production-attestation.json", "id": "1fdd351e49d9a9103d52e8d4d216269454fafffce59ccada2570a57ac43a6b27", "attested_at": "2026-09-13T22:54:10.664Z", "last_confirmed_current_at": "2026-09-14T00:43:05.498Z", "site_attestation_current": false, "capability_attestation_current": true, "bound_snapshot_status": "pass", "live_report_status": "stale", "bound_attested_at": "2026-09-14T00:43:05.498Z", "live_updated_at": "2026-09-14T00:43:08.973Z", "bound_snapshot": { "status": "pass", "attested_at": "2026-09-14T00:43:05.498Z", "site_stale_count": 1 }, "live_site_status": { "href": "/.well-known/calculatorx-production-attestation.json" }, "bound_snapshot_site_stale_count": 1, "site_stale_capability_count": 1, "evidence_attested_at": "2026-09-13T22:54:10.664Z" }, "domain_review": { "status": "ABSENT", "spec_version": "1.1.0", "external_third_party": false, "note": "Supplemental CalculatorX internal domain review — see internal_review" }, "internal_review": { "status": "PASS", "reviewer_role": "electrical-engineer", "reviewed_by": "CalculatorX electrical review (EE-001)", "spec_version": "1.1.0", "independence": "internal", "external_third_party": false }, "timestamps": { "verified_at": "2026-09-13T22:54:10.664Z", "generated_at": "2026-09-13T22:54:10.664Z", "rendered_at": "2026-09-14T00:43:09.027Z", "notes": "verified_at/generated_at mark the first publication of this cvp_core_sha256 (artifacts.evidence_digest alias) for suite verification. evidence_attested_at/attested_at is the first production bind of that core digest. last_confirmed_current_at is the latest site-wide report that still confirms CURRENT. rendered_at is this JSON serialization and is not part of cvp_core_sha256 / evidence_digest. Production attestation binds cvp_core_sha256 (binds evidence_digest). Causal order: verified_at ≤ evidence_attested_at ≤ last_confirmed_current_at. attestation.bound_snapshot.site_stale_count is the site-wide stale capability count at Manifest bind time — not a live value. Fetch attestation.live_site_status.href for the current site report." }, "links": { "legacy_evidence": "https://www.calculatorx.com/evidence/electrical.thermal.heatsink_rth/1.1.0.json", "evidence_page": "https://www.calculatorx.com/evidence/electrical.thermal.heatsink_rth/1.1.0", "calculator": "https://www.calculatorx.com/calc/electric/heatsink-rth", "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.thermal.heatsink_rth/1.1.0.cvp.json" } }