{ "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": "smith-chart", "version": "1.6.3", "title": "Smith Chart Calculator", "formula_family": "smith-gamma-z", "capability_id": "electrical.rf.smith", "verification_revision": "2026-10-28.metric-scope-v3" }, "profile": "engineering", "verified_scope": "Z↔Γ + match-steps + auto-match + stub + Touchstone + f-sweep + Z(f) + S21/K + stab-geom + chart-xy + gain-geom + noise-geom", "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.20.0", "numeric_model": "IEEE-754 binary64", "os": "darwin" }, "suite": { "id": "smith-chart", "version": "1.6.3", "uri": "https://www.calculatorx.com/evidence/electrical.rf.smith/1.6.3.json", "verification_revision": "2026-10-28.metric-scope-v3" }, "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": "Pozar Microwave Engineering", "kind": "other", "reference": "Smith chart / matching" }, { "label": "Keysight — Data Format and Scale (Smith / polar)", "kind": "other", "reference": "Smith chart maps Γ to normalized impedance; constant-r / constant-x" }, { "label": "IBIS Open Forum — Touchstone File Format Specification 2.1", "kind": "standard", "reference": "Reference specification (Touchstone 2.1); CalculatorX implements a Touchstone 1.x compatible subset" } ] }, "controls": { "CVP-PROV-01": { "result": "PASS", "applicability": "required", "notes": "Sources present on evidence" }, "CVP-MODEL-01": { "result": "PASS", "applicability": "required", "notes": "Γ=(z−1)/(z+1); z=(1+Γ)/(1−Γ); looking-in match-steps (incl. stubs); auto-match L-section + λ/4 + single-stub (Pozar); Touchstone 1.x S11; f-sweep of looking-in; Custom Z(f) linear interpolation at query f; 2-port S21 + Rollett K/μ; Gonzalez load/source stability-circle geometry; canonical Γ→chart XY (size=520, pad=28); unilateral GTU Gs/Gl circles at −1/−3 dB; last-row NF circles at NFmin+0.5/+1 dB" }, "CVP-SCOPE-01": { "result": "PASS", "applicability": "required", "notes": "CVP covers z→Γ, Γ→z, invalid-domain, z↔Γ round-trip, looking-in match-steps (series-X/R, lumped L·C, tline, open/short stub, transformer, parallel-RLC), auto-match (L-section, λ/4, single-stub), Touchstone 1.x S11 (MA/RI/DB), numerical f-sweep of looking-in (±span around f0), Custom Z(f) linear interpolation of normalized z at the query frequency (frozen load), numerical 2-port S21 + Rollett K/μ (last .s2p row; same model as Analyze S21/K readout), Gonzalez load/source stability-circle centre+radius and origin/inside stable-side flags in the Γ-plane (same model as Analyze Stability readout; includes K≈1, |Δ|≈1, and den=0 sentinels), canonical Γ→chart XY at the default SVG viewport (size=520, pad=28, y-up in Γ / y-down in SVG; same affine map as UI toPx, including f-sweep locus points), default-viewport SVG load/Zin marker cx/cy from buildSmithChartSvg at size=520 (and the same map at size=640), unilateral GTU source/load constant-gain circles at absolute −1/−3 dB (same model as Analyze Gain −1/−3 dB readout; |S11|=1 omits Gs), and constant-NF circles at NFmin+0.5 / NFmin+1 dB from the last Touchstone 1.x noise row (NFmin, Γopt mag/ang, rn; same model as Analyze NF +0.5/+1 dB readout; rn=0 and missing noise omit circles). A Node URL-query contract (ohm↔norm conversion that preserves Z, visible R/X beating hidden z_r/z_i, illegal smith_state parse, and Basic/Match/Analyze tier) is exercised as properties; it is not a live browser session. CVP-XCAL-01 compares this IUT to electrical.rf.gamma_z (Γ↔z), electrical.rf.vswr (|Γ|→VSWR/RL), and electrical.rf.lc_match on the overlapping real-RL L-section; complex-z auto-match vs LC Match is N/A because LC Match encodes real RL↔Z0 only. Verification revision 2026-09-07.p14 distinguishes this CVP batch from earlier 1.6.3 manifests and from the legacy 21-test Evidence JSON. Live CSS-resized SVG, grid/path d= markup, stability/gain/noise overlay drawing, drag/hover, history, bilateral MAG/MSG, 3 dB bandwidth, and interactive workspace features are outside this verification scope." }, "CVP-UNIT-01": { "result": "PASS", "applicability": "required", "notes": "normalized z / Γ" }, "CVP-REF-01": { "result": "PASS", "applicability": "required", "notes": "O1 model + O3 mpmath table for tabulated Γ↔z + O2 live identities + O2 Pozar looking-in (incl. stubs) + O2 auto-match L-section/λ/4/stub + O2 Touchstone 1.x S11 + O2 f-sweep + O2 Custom Z(f) + O2 2-port S21/K/μ + O2 Gonzalez L/S stability circles + O2 canonical Γ→chart XY + O2 unilateral GTU Gs/Gl −1/−3 dB + O2 last-row NF +0.5/+1 dB" }, "CVP-GOLD-01": { "result": "PASS", "applicability": "required", "notes": "9/9 legacy golden; 43/43 oracle-backed numeric" }, "CVP-BND-01": { "result": "PASS", "applicability": "required", "notes": "5/5 CVP boundary · 5/5 legacy Evidence boundary" }, "CVP-INV-01": { "result": "PASS", "applicability": "required", "notes": "3 invalid-domain cases" }, "CVP-NUM-01": { "result": "PASS", "applicability": "required", "notes": "Γ↔z ≤2 ULP vs O3 when tabulated / vs O2 live; |Γ|=1 VSWR=+∞ and RL=0; |Γ|≥0.99 but <1 VSWR/RL relative ≤1e-12 (not skipped); match-steps ≤8 ULP on z/Γ; auto-match n exact, best z/residual ≤8 ULP, each candidate residual/z/step kind/L·C·θ ≤8 ULP and L/C/R>0 (residual=|z_in−1|₂; keep<0.08, matched<0.02); Touchstone n/Z0 exact and last-point f_Hz/Γ/z ≤2 ULP; f-sweep n_locus exact and per-point z/Γ ≤8 ULP; Custom Z(f) interpolated load then Γ↔z ≤2 ULP; 2-port S21 mag/ang/dB ≤2 ULP; Rollett K/μ/|Δ| ≤8 ULP; stab L/S centre+radius ≤8 ULP; origin/inside stable-side flags exact; chart_x/chart_y ≤2 ULP on Γ↔z (canonical viewport) and ≤8 ULP on looking-in / f-sweep locus; default SVG load/Zin marker px at size=520/640; Gs/Gl −1/−3 dB centre+radius ≤8 ULP; NF NFmin+0.5/+1 dB centre+radius ≤8 ULP" }, "CVP-COV-01": { "result": "PASS", "applicability": "required", "notes": "16/16 declared partitions (z-gamma, gamma-z, match-steps, auto-match, stub, touchstone, f-sweep, zf-interp, s21-k, stab-geom, chart-xy, gain-geom, noise-geom, url-query, xcal, invalid-domain) · 9 legacy golden / 5 CVP boundary unique cases · 3 Evidence invalid-input (may overlap boundary)" }, "CVP-CONTRACT-01": { "result": "PASS", "applicability": "required", "notes": "10/10 CVP contract · 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 · rest-success-payload-validates-schema=PASS" }, "CVP-DEP-01": { "result": "PASS", "applicability": "required", "notes": "engine smith-chart; 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-10-29T01:22:37.788Z · live site-wide report stale @ 2026-10-29T01:23:23.808Z (124 other capabilities) · local checks pass · attestation_id=52c69c777f14b3653d6a0d99fffe81ea840d401226015698a80d3880c8382ade · This calculator CURRENT · This calculator is not affected · Bound attestation PASS @ 2026-10-29T01:22:37.788Z · Live production status STALE (124 capabilities; 252 remain CURRENT) @ 2026-10-29T01:23:23.808Z · Public schema 1.6.3 matches · Semantic contract ✓ · Production attested · Public/cache ✓ · Origin ✓ · schema_const=1.6.3 · 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=0904162d9842ae579e660eb678ec02f2ca6e852dd03b716905c0a6501acd7dae · verified_at=2026-10-28T16:33:46.450Z · evidence_attested_at=2026-10-28T16:33:46.450Z · last_confirmed_current_at=2026-10-29T01:22:37.788Z · rendered_at=2026-10-29T01:23:24.057Z · binds=cvp_core_sha256", "check_result": "PASS", "production_state": "CURRENT", "binding_current": true }, "CVP-DIM-01": { "result": "PASS", "applicability": "applicable", "notes": "Smith chart reflection coefficient" }, "CVP-PROP-01": { "result": "PASS", "applicability": "applicable", "notes": "53/53 property" }, "CVP-META-01": { "result": "PASS", "applicability": "applicable", "notes": "5/5 metamorphic" }, "CVP-ROUND-01": { "result": "PASS", "applicability": "applicable", "notes": "4/4 round-trips" }, "CVP-XCAL-01": { "result": "PASS", "applicability": "applicable", "notes": "3/3 cross-calculator · xcal-gamma-z-z2j1 PASS vs electrical.rf.gamma_z; xcal-vswr-z2j1 PASS vs electrical.rf.vswr; xcal-lc-match-complex-na N/A (LC Match encodes real RL↔Z0 L-section only (formula_family l-section-match). Complex z=2+j1 auto-match is outside that tool.); xcal-lc-match-real-z2 PASS vs electrical.rf.lc_match" }, "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": "PASS", "applicability": "higher_assurance", "notes": "O3 12/12 tabulated vectors vs IUT" }, "CVP-EXP-01": { "result": "SKIP", "applicability": "optional", "notes": "CalculatorX internal domain review — not CVP-EXP-01" } }, "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": "f44b0bcf8c4b30f9b79b520b7b06cab35453b9522bd98c50e1798cf479019aa7", "evidence_digest": "e16e9c6d4139e6de31dc70acaabe7352b09d231194e3d4d9d2e78b6f14aea1ab", "production_sha256": "0904162d9842ae579e660eb678ec02f2ca6e852dd03b716905c0a6501acd7dae", "attested_catalog_sha256": "163b0d7072a58bed20a0320572211167e1629730bef43c185b5f545ceac7744c", "production_checks": [ { "id": "electrical.rf.smith:output-const", "status": "pass", "detail": "output const 1.6.3 vs capability 1.6.3", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-10-28T16:33:46.450Z" }, { "id": "electrical.rf.smith:evidence-sha256", "status": "pass", "detail": "b994da939d2d", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-10-28T16:33:46.450Z" }, { "id": "electrical.rf.smith:semantic-contract", "status": "pass", "detail": "21/21", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-10-28T16:33:46.450Z" }, { "id": "electrical.rf.smith:capability-html-public-origin-agree", "status": "pass", "detail": "public 1.6.3 vs origin 1.6.3", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-10-28T16:33:46.450Z" }, { "id": "electrical.rf.smith:cvp-manifest-public-origin-agree", "status": "pass", "detail": "electrical.rf.smith/1.6.3/2026-10-28.metric-scope-v3/engineering/e16e9c6d4139", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-10-28T16:33:46.450Z", "projection_compared": false }, { "id": "electrical.rf.smith:cvp-latest-alias-agrees", "status": "pass", "detail": "electrical.rf.smith/1.6.3/2026-10-28.metric-scope-v3/engineering/e16e9c6d4139", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-10-28T16:33:46.450Z", "projection_compared": false }, { "id": "electrical.rf.smith:cvp-immutable-manifest-fetch", "status": "pass", "detail": "public=200 origin=200", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-10-28T16:33:46.450Z" }, { "id": "electrical.rf.smith:cvp-immutable-manifest-sha256", "status": "pass", "detail": "e16e9c6d4139", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-10-28T16:33:46.450Z" }, { "id": "electrical.rf.smith:cvp-latest-alias-matches-immutable", "status": "pass", "detail": "electrical.rf.smith/1.6.3/2026-10-28.metric-scope-v3/engineering/e16e9c6d4139", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-10-28T16:33:46.450Z", "projection_compared": false }, { "id": "electrical.rf.smith:calculator-html-cvp-projection", "status": "pass", "detail": "matches Trust display", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-10-28T16:33:46.450Z" }, { "id": "electrical.rf.smith:evidence-html-cvp-projection", "status": "pass", "detail": "matches Trust display", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-10-28T16:33:46.450Z" } ], "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": "e16e9c6d4139e6de31dc70acaabe7352b09d231194e3d4d9d2e78b6f14aea1ab", "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": "e16e9c6d4139e6de31dc70acaabe7352b09d231194e3d4d9d2e78b6f14aea1ab", "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": "b994da939d2d3931643582e997ec0120bfbbbc7ecdb29163a78c03cb0f9e3613", "note": "Published Evidence JSON core — Trust freshness / production bind subject" }, { "name": "evidence_catalog_digest", "field": "artifacts.attested_catalog_sha256", "digest_scope": "capability_catalog", "value": "163b0d7072a58bed20a0320572211167e1629730bef43c185b5f545ceac7744c", "note": "Capability catalog integrity; site-wide, not per-suite fingerprint" } ] }, "cvp_core_sha256": "e16e9c6d4139e6de31dc70acaabe7352b09d231194e3d4d9d2e78b6f14aea1ab" }, "dependencies": [ { "name": "smith-chart-engine", "version": "1.6.3" }, { "name": "smith-chart-reference-oracle", "version": "1.0.0" }, { "name": "smith-chart-o3-mpmath-table", "version": "smith-mpmath-o3" }, { "name": "electrical.rf.gamma_z", "version": "1.0.0", "role": "cross_calculator_peer", "capability_id": "electrical.rf.gamma_z", "evidence_digest": "23f45727905a999e2907788971c36c166b4281fcab1929b0c4c9ab1eb49c662e", "evidence": "https://www.calculatorx.com/evidence/electrical.rf.gamma_z/1.0.0.cvp.json" }, { "name": "electrical.rf.vswr", "version": "1.0.0", "role": "cross_calculator_peer", "capability_id": "electrical.rf.vswr", "evidence_digest": "03bbbe9c18f08d9a3f5758e9ff26fe41a899f43a5d44f932c0fa672afcf0e6b6", "evidence": "https://www.calculatorx.com/evidence/electrical.rf.vswr/1.0.0.cvp.json" }, { "name": "electrical.rf.lc_match", "version": "1.0.0", "role": "cross_calculator_peer", "capability_id": "electrical.rf.lc_match", "evidence_digest": "3dfc5c6838d6b172f9f1810ea3ca189d32eb0d8ffa311a0d0a76a892810e085e", "evidence": "https://www.calculatorx.com/evidence/electrical.rf.lc_match/1.0.0.cvp.json" }, { "name": "node", "version": "22.20.0" } ], "attestation": { "status": "CURRENT", "href": "/.well-known/calculatorx-production-attestation.json", "id": "52c69c777f14b3653d6a0d99fffe81ea840d401226015698a80d3880c8382ade", "attested_at": "2026-10-28T16:33:46.450Z", "last_confirmed_current_at": "2026-10-29T01:22:37.788Z", "site_attestation_current": false, "capability_attestation_current": true, "bound_snapshot_status": "pass", "live_report_status": "stale", "bound_attested_at": "2026-10-29T01:22:37.788Z", "live_updated_at": "2026-10-29T01:23:23.808Z", "bound_snapshot": { "status": "pass", "attested_at": "2026-10-29T01:22:37.788Z", "site_stale_count": 124 }, "live_site_status": { "href": "/.well-known/calculatorx-production-attestation.json" }, "bound_snapshot_site_stale_count": 124, "site_stale_capability_count": 124, "evidence_attested_at": "2026-10-28T16:33:46.450Z" }, "domain_review": { "status": "ABSENT", "spec_version": "1.6.3", "external_third_party": false, "note": "Supplemental CalculatorX internal domain review — see internal_review" }, "timestamps": { "verified_at": "2026-10-28T16:33:46.450Z", "generated_at": "2026-10-28T16:33:46.450Z", "rendered_at": "2026-10-29T01:23:24.057Z", "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." }, "tests": { "golden": { "passed": 43, "total": 43, "failed": 0 }, "boundary": { "passed": 5, "total": 5, "failed": 0 }, "invalid": { "passed": 3, "total": 3, "failed": 0 }, "property": { "passed": 53, "total": 53, "failed": 0 }, "round_trip": { "passed": 4, "total": 4, "failed": 0 }, "metamorphic": { "passed": 5, "total": 5, "failed": 0 }, "contract": { "passed": 10, "total": 10, "failed": 0 }, "cross_interface": { "passed": 3, "total": 3, "failed": 0 }, "cross_calculator": { "passed": 3, "total": 3, "failed": 0 }, "o3": { "passed": 12, "total": 12, "failed": 0, "max_error_ulp": 192 } }, "numerical": { "representation": "IEEE-754 binary64", "tolerance": { "type": "ulp", "value": 2, "match_steps_value": 8, "rationale": "Γ↔z finite fields ≤2 ULP vs O2/O3. |x|≤1e-14 is numerical zero. |Γ|=1: VSWR is +∞ (sentinel); RL is 0 (unit-circle convention). |Γ|≥0.99 but <1: VSWR/RL compared by relative error ≤1e-12 vs O2/O3 (binary64 ULP of large VSWR is not the claim). Looking-in match-steps ≤8 ULP on z/Γ (Pozar Zin vs IUT Γ-rotation); derived y/VSWR/RL not in that claim. Auto-match: n/already_matched exact; best looking-in z/residual ≤8 ULP; each candidate id compared for residual, looking-in z, step kind, and L/C/θ (independent looking-in O2, not the optimizer matched flag); L/C/R on each candidate must be >0. Residual is |z_in−1|₂ (normalized). Candidate keep residual<0.08; matched residual<0.02. Touchstone 1.x S11: n/Z0 exact; last-point f_Hz/Γ/z ≤2 ULP. f-sweep: n_locus exact; per-point f_Hz exact; looking-in z/Γ ≤8 ULP. Custom Z(f) linear interpolation then Γ↔z ≤2 ULP (looking-in ≤8 ULP). 2-port S21 mag/ang/dB ≤2 ULP; Rollett K/μ/|Δ| ≤8 ULP; stab L/S centre+radius ≤8 ULP (den=0 → ±∞ sentinels); origin/inside stable-side flags exact; K>1 and |Δ|<1 → stab_unconditional. Unilateral GTU Gs/Gl circles at −1/−3 dB: centre+radius ≤8 ULP (invalid g → omitted). Last-row constant-NF circles at NFmin+0.5/+1 dB: centre+radius ≤8 ULP (missing noise / invalid rn → omitted). Canonical chart XY (size=520, pad=28): chart_x/chart_y ≤2 ULP on Γ↔z / Touchstone last Γ; ≤8 ULP on looking-in and f-sweep locus points. Declared a priori.", "declared_before_evaluation": true, "fields": [ "gamma_r", "gamma_i", "z_r", "z_i", "y_r", "y_i", "gamma_mag", "VSWR", "RL_dB" ] }, "max_error_observed": 8748242276167188000, "error_metric": "diagnostic_raw_leaf_ulp", "comparison_evidence_protocol": "scoped-comparison-v1", "max_error_observed_scope": "Raw finite matching numeric leaves across records/hops; diagnostic only. Acceptance is the per-record/hop comparison predicate and its declared scoped policy." }, "coverage": { "partitions": [ { "id": "z-gamma", "description": "z → Γ", "exercised": true, "case_count": 40 }, { "id": "gamma-z", "description": "Γ → z", "exercised": true, "case_count": 8 }, { "id": "match-steps", "description": "Looking-in matching network steps", "exercised": true, "case_count": 25 }, { "id": "auto-match", "description": "Analytical L-section, λ/4, and single-stub auto-match", "exercised": true, "case_count": 14 }, { "id": "stub", "description": "Shunt open/short stub looking-in and single-stub auto-match", "exercised": true, "case_count": 5 }, { "id": "touchstone", "description": "Touchstone 1.x S11 → Γ(f) / last-point z", "exercised": true, "case_count": 38 }, { "id": "f-sweep", "description": "Numerical looking-in f-sweep (±span around f0)", "exercised": true, "case_count": 5 }, { "id": "zf-interp", "description": "Custom Z(f) linear interpolation of normalized load at query f", "exercised": true, "case_count": 9 }, { "id": "s21-k", "description": "2-port Touchstone last-row |S21|/∠S21/dB and Rollett K/μ", "exercised": true, "case_count": 27 }, { "id": "stab-geom", "description": "Gonzalez load/source stability-circle centre+radius and origin/inside stable-side flags", "exercised": true, "case_count": 27 }, { "id": "chart-xy", "description": "Canonical Γ → chart XY (size=520, pad=28)", "exercised": true, "case_count": 48 }, { "id": "gain-geom", "description": "Unilateral GTU Gs/Gl constant-gain circles at −1/−3 dB", "exercised": true, "case_count": 27 }, { "id": "noise-geom", "description": "Last-row constant-NF circles at NFmin+0.5 / NFmin+1 dB", "exercised": true, "case_count": 9 }, { "id": "url-query", "description": "Node URL-query contract: ohm↔norm preserves Z, visible R/X beats hidden z_r/z_i, illegal smith_state, tier (not live history/CSS/drag)", "exercised": true, "case_count": 6 }, { "id": "xcal", "description": "Cross-calculator consistency vs Γ↔z, VSWR, and overlapping real-RL LC Match (complex-z LC Match is N/A)", "exercised": true, "case_count": 3 }, { "id": "invalid-domain", "description": "Invalid Γ↔z inputs (negative R / |Γ|>1)", "exercised": true, "case_count": 1 } ] }, "reference": { "items": [ { "class": "O1", "reference_scope": "model", "scope": "model", "label": "Smith chart Γ↔z, lossless looking-in network, Pozar L-section / λ/4 / single-stub auto-match, Touchstone 1.x S11, f-sweep, Custom Z(f), 2-port S21 + Rollett K/μ, Gonzalez L/S stability circles, canonical Γ→chart XY, unilateral GTU Gs/Gl −1/−3 dB, last-row NF +0.5/+1 dB" }, { "class": "O3", "reference_scope": "expected_values", "scope": "expected_values", "label": "Precomputed mpmath/MPFR Γ↔z (recorded library/dps/backend/rounding/generator SHA-256) rounded to nearest binary64 — not Node/V8 complex arithmetic", "engine": { "name": "smith-mpmath-o3", "library": "mpmath 1.4.1", "mpmath_dps": 80, "precision_bits": 265, "backend": "python", "rounding": "round-to-nearest-even (IEEE-754 binary64 via Python float)", "independent_of_iut": true, "generator_version": "1.0.0", "generator_sha256": "8b9b9bbda869ba82f51207c875cb3f870f3b4c029939bab97f97a07df023d6d6" } }, { "class": "O3", "reference_scope": "numerical_behavior", "scope": "numerical_behavior", "label": "Same O3 table vs IUT per field; ≤2 ULP. Distinct from O2 same-runtime V8 compare.", "engine": { "name": "smith-mpmath-o3", "library": "mpmath 1.4.1", "mpmath_dps": 80, "precision_bits": 265, "backend": "python", "rounding": "round-to-nearest-even (IEEE-754 binary64 via Python float)", "independent_of_iut": true, "generator_version": "1.0.0", "generator_sha256": "8b9b9bbda869ba82f51207c875cb3f870f3b4c029939bab97f97a07df023d6d6" } }, { "class": "O2", "reference_scope": "expected_values", "scope": "expected_values", "label": "Separate-module smith-chart oracle (Γ↔z) — same V8 binary64 as IUT; source in-repo", "engine": { "name": "smith-chart-reference", "precision_bits": 53, "independent_of_iut": true, "same_runtime_as_iut": true } }, { "class": "O2", "reference_scope": "numerical_behavior", "scope": "numerical_behavior", "label": "Same O2 module backs ≤2 ULP per-field comparison vs IUT (common-mode V8 risk acknowledged)", "engine": { "name": "smith-chart-reference", "precision_bits": 53, "independent_of_iut": true, "same_runtime_as_iut": true } }, { "class": "O2", "reference_scope": "expected_values", "scope": "expected_values", "label": "Separate-module looking-in match-steps (Pozar Zin / 1/z / n² / stub cot·tan) — no IUT import", "engine": { "name": "smith-match-steps-reference", "precision_bits": 53, "independent_of_iut": true, "same_runtime_as_iut": true } }, { "class": "O2", "reference_scope": "numerical_behavior", "scope": "numerical_behavior", "label": "Same O2 module vs IUT Γ-rotation tline; ≤8 ULP on looking-in z/Γ (algorithm family differs)", "engine": { "name": "smith-match-steps-reference", "precision_bits": 53, "independent_of_iut": true, "same_runtime_as_iut": true } }, { "class": "O2", "reference_scope": "expected_values", "scope": "expected_values", "label": "Separate-module auto-match (Pozar L-section + λ/4 + single-stub) — no IUT import", "engine": { "name": "smith-auto-match-reference", "precision_bits": 53, "independent_of_iut": true, "same_runtime_as_iut": true } }, { "class": "O2", "reference_scope": "numerical_behavior", "scope": "numerical_behavior", "label": "Same O2 vs IUT: n exact; best looking-in z/residual ≤8 ULP; residual=|z_in−1|₂; keep<0.08 matched<0.02", "engine": { "name": "smith-auto-match-reference", "precision_bits": 53, "independent_of_iut": true, "same_runtime_as_iut": true } }, { "class": "O2", "reference_scope": "expected_values", "scope": "expected_values", "label": "Separate-module Touchstone 1.x S11 (MA/RI/DB, Hz–GHz) — no IUT import", "engine": { "name": "smith-touchstone-reference", "precision_bits": 53, "independent_of_iut": true, "same_runtime_as_iut": true } }, { "class": "O2", "reference_scope": "numerical_behavior", "scope": "numerical_behavior", "label": "Same O2 vs IUT: n and Z0 exact; last-point f_Hz/Γ/z ≤2 ULP", "engine": { "name": "smith-touchstone-reference", "precision_bits": 53, "independent_of_iut": true, "same_runtime_as_iut": true } }, { "class": "O2", "reference_scope": "expected_values", "scope": "expected_values", "label": "Separate-module f-sweep of looking-in match-steps (Pozar Zin) — no IUT import", "engine": { "name": "smith-locus-reference", "precision_bits": 53, "independent_of_iut": true, "same_runtime_as_iut": true } }, { "class": "O2", "reference_scope": "numerical_behavior", "scope": "numerical_behavior", "label": "Same O2 vs IUT: n_locus exact; per-point f_Hz exact; looking-in z/Γ ≤8 ULP", "engine": { "name": "smith-locus-reference", "precision_bits": 53, "independent_of_iut": true, "same_runtime_as_iut": true } }, { "class": "O2", "reference_scope": "expected_values", "scope": "expected_values", "label": "Separate-module Custom Z(f) linear interpolation (normalized z vs f) — no IUT import", "engine": { "name": "smith-zf-reference", "precision_bits": 53, "independent_of_iut": true, "same_runtime_as_iut": true } }, { "class": "O2", "reference_scope": "numerical_behavior", "scope": "numerical_behavior", "label": "Same O2 vs IUT: interpolated load z then Γ↔z ≤2 ULP; looking-in ≤8 ULP", "engine": { "name": "smith-zf-reference", "precision_bits": 53, "independent_of_iut": true, "same_runtime_as_iut": true } }, { "class": "O2", "reference_scope": "expected_values", "scope": "expected_values", "label": "Separate-module Touchstone 1.x 2-port S21 + Rollett K/μ — no IUT import", "engine": { "name": "smith-s21-reference", "precision_bits": 53, "independent_of_iut": true, "same_runtime_as_iut": true } }, { "class": "O2", "reference_scope": "numerical_behavior", "scope": "numerical_behavior", "label": "Same O2 vs IUT: S21 mag/ang/dB ≤2 ULP; K/μ/|Δ| ≤8 ULP", "engine": { "name": "smith-s21-reference", "precision_bits": 53, "independent_of_iut": true, "same_runtime_as_iut": true } }, { "class": "O2", "reference_scope": "expected_values", "scope": "expected_values", "label": "Separate-module 2-port load/source stability-circle geometry — no IUT import", "engine": { "name": "smith-stab-reference", "precision_bits": 53, "independent_of_iut": true, "same_runtime_as_iut": true } }, { "class": "O2", "reference_scope": "numerical_behavior", "scope": "numerical_behavior", "label": "Same O2 vs IUT: stab L/S centre+radius ≤8 ULP (den=0 → ±∞ sentinels); origin/inside stable-side flags exact", "engine": { "name": "smith-stab-reference", "precision_bits": 53, "independent_of_iut": true, "same_runtime_as_iut": true } }, { "class": "O2", "reference_scope": "expected_values", "scope": "expected_values", "label": "Separate-module canonical Γ → chart XY (size=520, pad=28) — no IUT import", "engine": { "name": "smith-chart-xy-reference", "precision_bits": 53, "independent_of_iut": true, "same_runtime_as_iut": true } }, { "class": "O2", "reference_scope": "numerical_behavior", "scope": "numerical_behavior", "label": "Same O2 vs IUT: chart_x/chart_y ≤2 ULP on Γ↔z; ≤8 ULP on looking-in / f-sweep locus points", "engine": { "name": "smith-chart-xy-reference", "precision_bits": 53, "independent_of_iut": true, "same_runtime_as_iut": true } }, { "class": "O2", "reference_scope": "expected_values", "scope": "expected_values", "label": "Separate-module 2-port unilateral GTU Gs/Gl circles at −1/−3 dB — no IUT import", "engine": { "name": "smith-gain-reference", "precision_bits": 53, "independent_of_iut": true, "same_runtime_as_iut": true } }, { "class": "O2", "reference_scope": "numerical_behavior", "scope": "numerical_behavior", "label": "Same O2 vs IUT: Gs/Gl centre+radius ≤8 ULP (invalid g → omitted fields)", "engine": { "name": "smith-gain-reference", "precision_bits": 53, "independent_of_iut": true, "same_runtime_as_iut": true } }, { "class": "O2", "reference_scope": "expected_values", "scope": "expected_values", "label": "Separate-module last-row NF circles at NFmin+0.5/+1 dB — no IUT import", "engine": { "name": "smith-noise-reference", "precision_bits": 53, "independent_of_iut": true, "same_runtime_as_iut": true } }, { "class": "O2", "reference_scope": "numerical_behavior", "scope": "numerical_behavior", "label": "Same O2 vs IUT: NF centre+radius ≤8 ULP (missing noise / invalid rn → omitted fields)", "engine": { "name": "smith-noise-reference", "precision_bits": 53, "independent_of_iut": true, "same_runtime_as_iut": true } } ] }, "links": { "legacy_evidence": "https://www.calculatorx.com/evidence/electrical.rf.smith/1.6.3.json", "evidence_page": "https://www.calculatorx.com/evidence/electrical.rf.smith/1.6.3", "calculator": "https://www.calculatorx.com/calc/electric/smith-chart", "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.rf.smith/1.6.3.cvp.json", "manifest_immutable": "https://www.calculatorx.com/evidence/electrical.rf.smith/1.6.3/2026-10-28.metric-scope-v3.cvp.json", "manifest_core": "https://www.calculatorx.com/evidence/electrical.rf.smith/1.6.3/2026-10-28.metric-scope-v3.e16e9c6d4139.cvp.json" }, "disclosure": { "policy": "calculatorx-public-evidence-v1", "full_validation": "private", "representation": "summary" } }