{ "protocol": { "name": "CVP", "version": "1.0.0-proposed" }, "document_status": "proposed", "calculator": { "id": "capacitance", "version": "1.1.0", "title": "Capacitance Calculator", "formula_family": "capacitance", "capability_id": "electrical.capacitance", "verification_revision": "2026-09-11.url-canonical-mode" }, "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": "capacitance", "version": "1.1.0", "uri": "https://www.calculatorx.com/evidence/electrical.capacitance/1.1.0.json", "verification_revision": "2026-09-11.url-canonical-mode" }, "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-IFACE-01" ], "provenance": { "mode": "direct", "sources": [ { "label": "IEC 60050-131 — International Electrotechnical Vocabulary", "kind": "standard", "reference": "Capacitance (IEV 131-12-13)", "url": "https://www.electropedia.org/iev/iev.nsf/display?openform&ievref=131-12-13" }, { "label": "IEC 60050-121 — International Electrotechnical Vocabulary", "kind": "standard", "reference": "Electric constant (IEV 121-11-03)", "url": "https://www.electropedia.org/iev/iev.nsf/display?openform&ievref=121-11-03" }, { "label": "IEC 60050-121 — International Electrotechnical Vocabulary", "kind": "standard", "reference": "Relative permittivity (IEV 121-12-13)", "url": "https://www.electropedia.org/iev/iev.nsf/display?openform&ievref=121-12-13" }, { "label": "NIST CODATA 2022", "kind": "other", "reference": "Vacuum electric permittivity ε0", "url": "https://physics.nist.gov/cgi-bin/cuu/Value?ep0" }, { "label": "Horowitz & Hill — The Art of Electronics, 3rd ed.", "kind": "other", "reference": "Capacitor networks (series/parallel combinations)" } ] }, "reference": { "items": [ { "class": "O1", "reference_scope": "model", "scope": "model", "label": "Parallel-plate and capacitor networks" }, { "class": "O2", "reference_scope": "expected_values", "scope": "expected_values", "label": "Separate-module capacitance oracle — same V8 binary64 as IUT", "engine": { "name": "capacitance-reference", "precision_bits": 53, "independent_of_iut": true } }, { "class": "O2", "reference_scope": "numerical_behavior", "scope": "numerical_behavior", "label": "Same O2 module backs ≤2 ULP C_F comparison vs IUT", "engine": { "name": "capacitance-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": "plate C=ε0·er·A/d with ε0=8.8541878188e-12 F/m (NIST CODATA 2022); parallel ΣC; series 1/Σ(1/C)" }, "CVP-SCOPE-01": { "result": "PASS", "applicability": "required", "notes": "Ideal parallel plates with a homogeneous isotropic dielectric fully filling the gap. εr is a scalar ≥ 1. Fringing, frequency dependence, dielectric loss, leakage, ESR/ESL and parasitics are neglected." }, "CVP-UNIT-01": { "result": "PASS", "applicability": "required", "notes": "m², m, F (canonical). Human UI may enter cm²/mm² and mm/µm; share URLs stay SI and include only the active mode’s inputs." }, "CVP-REF-01": { "result": "PASS", "applicability": "required", "notes": "O1 model + O2 expected_values + O2 numerical_behavior" }, "CVP-GOLD-01": { "result": "PASS", "applicability": "required", "notes": "3/3 legacy golden; 3/3 oracle-backed numeric" }, "CVP-BND-01": { "result": "PASS", "applicability": "required", "notes": "7/7 numeric-edge Evidence + 2/2 near-singularity numeric; illegal enum/system is Invalid only" }, "CVP-INV-01": { "result": "PASS", "applicability": "required", "notes": "6 Evidence illegal-input + 6/6 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 (plate, parallel, series, invalid-domain) · 3 legacy golden / 9 CVP boundary unique cases · 6 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 capacitance; 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-12T06:38:55.860Z · live site-wide report stale @ 2026-09-12T06:38:59.498Z (1 other capabilities) · local checks pass · attestation_id=0cba66913e1a0c9f51658de1c5b7d4f5a5e5b4b55519ee93861f627917666e2d · This calculator CURRENT · This calculator is not affected · Bound attestation PASS @ 2026-09-12T06:38:55.860Z · Site-wide CVP health: 155 CURRENT · 1 require re-attestation @ 2026-09-12T06:38:59.498Z · 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 · cvp-immutable-manifest-fetch=pass · cvp-immutable-manifest-sha256=pass · cvp-latest-alias-matches-immutable=pass · calculator-html-cvp-projection=pass · evidence-html-cvp-projection=pass · attested_evidence_sha256=732282b173fd8d9ff1fdc90e178902932242bfd96365d6c1cf371bb708b2d592 · verified_at=2026-09-11T15:55:34.160Z · evidence_attested_at=2026-09-11T15:55:34.160Z · last_confirmed_current_at=2026-09-12T06:38:55.860Z · rendered_at=2026-09-12T06:38:59.539Z · binds=cvp_core_sha256", "check_result": "PASS", "production_state": "CURRENT", "binding_current": true }, "CVP-DIM-01": { "result": "PASS", "applicability": "applicable", "notes": "Capacitance" }, "CVP-PROP-01": { "result": "PASS", "applicability": "applicable", "notes": "5/5 property · enumerated fixed assertions (not generated; no seed)" }, "CVP-META-01": { "result": "PASS", "applicability": "applicable", "notes": "5/5 metamorphic" }, "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. Error-path engine·REST·MCP 2/2 (status, code, calculation_version). SSR compared on URL-canonical requested calculations; empty query is idle (not an error) and JSON-typed object/array inputs are REST/MCP-only." }, "CVP-ORACLE-01": { "result": "SKIP", "applicability": "higher_assurance", "notes": "O2 present; O3 not required this wave" }, "CVP-EXP-01": { "result": "PASS", "applicability": "optional", "notes": "expert_reviewed=true" } }, "tests": { "golden": { "passed": 3, "total": 3, "failed": 0, "case_ids": [ "g-plate", "g-parallel", "g-series" ] }, "boundary": { "passed": 9, "total": 9, "failed": 0, "case_ids": [ "bad-d", "boundary-cap-plate", "boundary-cap-series-three", "boundary-cap-bad", "boundary-cap-d-zero", "boundary-cap-er-frac", "boundary-cap-one", "bnd-vacuum", "bnd-series-three" ] }, "invalid": { "passed": 12, "total": 12, "failed": 0, "case_ids": [ "bad-d", "boundary-cap-bad", "boundary-cap-d-zero", "boundary-cap-er-frac", "boundary-cap-one", "boundary-cap-mode", "inv-d-zero", "inv-a-zero", "inv-er-frac", "inv-mode", "inv-one-cap", "inv-missing-a" ], "comparison": "exact_error_match", "records": [ { "id": "inv-d-zero", "comparison": "exact_error_match", "expected": { "code": "VALUE_MUST_BE_POSITIVE" }, "actual": { "code": "VALUE_MUST_BE_POSITIVE" }, "match": true }, { "id": "inv-a-zero", "comparison": "exact_error_match", "expected": { "code": "VALUE_MUST_BE_POSITIVE" }, "actual": { "code": "VALUE_MUST_BE_POSITIVE" }, "match": true }, { "id": "inv-er-frac", "comparison": "exact_error_match", "expected": { "code": "VALUE_OUT_OF_RANGE" }, "actual": { "code": "VALUE_OUT_OF_RANGE" }, "match": true }, { "id": "inv-mode", "comparison": "exact_error_match", "expected": { "code": "INVALID_MODE" }, "actual": { "code": "INVALID_MODE" }, "match": true }, { "id": "inv-one-cap", "comparison": "exact_error_match", "expected": { "code": "NEEDS_TWO_INPUTS" }, "actual": { "code": "NEEDS_TWO_INPUTS" }, "match": true }, { "id": "inv-missing-a", "comparison": "exact_error_match", "expected": { "code": "MISSING_REQUIRED_INPUT" }, "actual": { "code": "MISSING_REQUIRED_INPUT" }, "match": true } ] }, "property": { "passed": 5, "total": 5, "failed": 0, "case_ids": [ "prop-plate-eps0", "prop-parallel-sum", "prop-series-half", "prop-parallel-gt-max", "prop-series-lt-min" ], "kind": "fixed", "claim_scope": "Enumerated identities: plate vacuum ε0·A/d, area/gap/er scaling, parallel sum/commute/Ceq>max, series half/commute/Ceq