Public evidence

electrical.rf.smith

Machine-checked verification for calculation version 1.6.3 · tier internally_reviewed

Open calculator API Capability Download JSON CVP Manifest MCP Review policy

CVP: CVP VERIFIED · CVP protocol 1.0.0-proposed · Engineering assurance · Z↔Γ + match-steps + auto-match + stub + Touchstone + f-sweep + Z(f) + S21/K + stab-geom + chart-xy + gain-geom + noise-geom· 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. · Protocol · Schema · Production report

Declared partition coverage: PASS · 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)
Versions: Calculation 1.6.3 · CVP protocol 1.0.0-proposed · Evidence 2026-09-07.p14
Verification revision: 2026-09-07.p14 · 53/53 property · digest b586778d9ca9

Verification

Legacy regression suite: 21/21 calculation tests · Production surface contract 8/8

Three distinct suites: educational examples on the calculator page, this legacy regression count (21/21 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.

This calculator CURRENT · Public schema 1.6.3 matches · Semantic contract ✓ · Production attested · Public/cache ✓ · Origin ✓

CVP verification suite

Protocol checks from the Evidence Manifest. Distinct from the legacy regression suite above. Verification revision 2026-09-07.p14. Calculation version 1.6.3. CVP 1.0.0-proposed. 43/43 golden · 5/5 CVP boundary · 3/3 invalid · 53/53 property · 5/5 metamorphic · 4/4 round-trip · 12/12 O3 · 3/3 cross-interface · 3/3 cross-calculator · 8/8 CVP contract. digest b586778d9ca9.

Golden (oracle-backed) 43 / 43
CVP boundary 5 / 5
Invalid input 3 / 3
Property 53 / 53
Metamorphic 5 / 5
Round-trip 4 / 4
O3 high-precision 12 / 12
Cross-interface 3 / 3
Cross-calculator 3 / 3
CVP contract 8 / 8
Interfaces PASS · UI (SSR) / REST / MCP
Interface claim ui-ssr is query-result HTML, not a live browser session.
Verified scope Z↔Γ + match-steps + auto-match + stub + Touchstone + f-sweep + Z(f) + S21/K + stab-geom + chart-xy + gain-geom + noise-geom
Assurance Engineering

contract page version PASS
contract capability version PASS
contract input schema version PASS
contract output schema version PASS
evidence version matches manifest PASS
schema valid input executes PASS
engine success output validates schema PASS
schema rejects incomplete input PASS

Fingerprint sha256:7ace186bc38978d6caea5c8694605a6e778f40e10ebfd9d79331688a07e99ef5

Input schema sha256:a05ef25ca7cf35bc01f6722b882e746a008756fc0dd54724052d34e5ddac35b7 · Output schema sha256:5736600d32f028e3ae48b600659781b97c032b017db38f2bb489284177b06234 · 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.

Build & scope

Engine identity and declared limitations.

Tool: smith-chart
Engine: smith-chart
Engine build: 2026-09-10
Evidence core: 2026-09-08T06:02:05.651Z
Rendered: 2026-09-16T22:03:43.750Z
Last reviewed: 2026-08-09

Assumptions

Impedance / matching workspace: passive loads with R≥0 (short and pure reactance allowed on |Γ|=1)
Chart / Z↔Γ / matching steps operate in passive region |Γ|≤1; active-device overlays (stability/gain/noise) are analysis aids and may reference circles that extend outside the unit circle but load markers remain clipped to |Γ|≤1
Looking toward generator; lossless line/stub unless R/‖RLC added; narrowband

Limitations

No multi-section Chebyshev / broadband optimizer
Full bilateral gain redesign with S12 feedback not supported
Drag-to-tune and S21/stability overlays are UI-side (API returns numerical modes)
Noise circles require Touchstone noise params (NFmin, Γopt, Rn); not inferred from S alone
Passive Z↔Γ / matching: R≥0 and |Γ|≤1; active overlay circles may extend outside the unit circle

Sources

Standards and references supporting this tool specification. Methods are listed separately — they are algorithms, not bibliographic sources.

Pozar Microwave Engineering — Smith chart / matching
Supports: Γ↔z, L-section, single-stub, λ/4, stability circles
Keysight — Data Format and Scale (Smith / polar) — Smith chart maps Γ to normalized impedance; constant-r / constant-x
Supports: Professional Smith display semantics (R+jX, Γ, SWR)
IBIS Open Forum — Touchstone File Format Specification 2.1 — Reference specification (Touchstone 2.1); CalculatorX implements a Touchstone 1.x compatible subset
Supports: Option-line semantics, S-parameter formats, reference impedance (parser: 1.x subset)

Legacy published checks

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
`z-gamma`	golden	pass	Expected gamma_r=0.3333333333333333 · VSWR=2 · Actual mode=z-gamma · z_r=2 · z_i=0 · y_r=0.5 · y_i=0 · gamma_r=0.3333333333333333 · gamma_i=0 · gamma_mag=0.3333333333333333
`short`	golden	pass	Expected gamma_r=-1 · gamma_i=0 · gamma_mag=1 · Actual mode=z-gamma · z_r=0 · z_i=0 · y_i=0 · gamma_r=-1 · gamma_i=0 · gamma_mag=1 · gamma_angle_deg=180
`bad`	boundary	pass	Expected NEGATIVE_RESISTANCE_NOT_SUPPORTED · Actual NEGATIVE_RESISTANCE_NOT_SUPPORTED
`ts-empty`	boundary	pass	Expected TOUCHSTONE_MISSING_PARAMETER · Actual TOUCHSTONE_MISSING_PARAMETER
`match-steps`	golden	pass	Expected z_r=2 · z_i=1 · Actual mode=match-steps · Z0_ohm=50 · f_Hz=1000000000 · load_z_r=2 · load_z_i=0 · z_r=2 · z_i=1 · y_r=0.4
`tline-90`	golden	pass	Expected z_r=0.5 · z_i=0 · Actual mode=match-steps · Z0_ohm=50 · f_Hz=1000000000 · load_z_r=2 · load_z_i=0 · z_r=0.5000000000000001 · z_i=-4.5924254968025755e-17 · y_r=1.9999999999999996
`s11-touchstone`	golden	pass	Expected n=1 · gamma_r=0.3333333333333333 · gamma_i=0 · Actual n=1 · mode=s11-touchstone · Z0_ohm=50 · f_Hz=1000000000 · gamma_r=0.3333333333333333 · gamma_i=0 · z_r=1.9999999999999998 · z_i=0
`auto-match`	golden	pass	Expected n=2 · already_matched=false · Actual n=2 · mode=auto-match · Z0_ohm=50 · f_Hz=1000000000 · load_z_r=2 · load_z_i=0 · already_matched=false · note=Analytical L-section / single-stub / λ/4 candidates, verified on the match engine.
`series-R`	golden	pass	Expected z_r=2.2 · z_i=1 · Actual mode=match-steps · Z0_ohm=50 · f_Hz=1000000000 · load_z_r=2 · load_z_i=1 · z_r=2.2 · z_i=1 · y_r=0.3767123287671233
`transformer`	golden	pass	Expected z_r=0.5 · z_i=0.25 · Actual mode=match-steps · Z0_ohm=50 · f_Hz=1000000000 · load_z_r=2 · load_z_i=1 · z_r=0.5 · z_i=0.25 · y_r=1.6
`parallel-RLC`	golden	pass	Expected z_r=0.3007336194861796 · z_i=0.49366765764681897 · Actual mode=match-steps · Z0_ohm=50 · f_Hz=1000000000 · load_z_r=2 · load_z_i=1 · z_r=0.3007336194861796 · z_i=0.49366765764681897 · y_r=0.9
`boundary-smith-s11`	boundary	pass	Expected n=1 · gamma_r=0.3333333333333333 · Actual n=1 · mode=s11-touchstone · Z0_ohm=50 · f_Hz=1000000000 · gamma_r=0.3333333333333333 · gamma_i=0 · z_r=1.9999999999999998 · z_i=0
`boundary-smith-auto`	boundary	pass	Expected n=2 · Actual n=2 · mode=auto-match · Z0_ohm=50 · f_Hz=1000000000 · load_z_r=2 · load_z_i=0 · already_matched=false · note=Analytical L-section / single-stub / λ/4 candidates, verified on the match engine.
`boundary-smith-ts-v2`	boundary	pass	Expected TOUCHSTONE_UNSUPPORTED_FORMAT · Actual TOUCHSTONE_UNSUPPORTED_FORMAT
`property-matched`	property	pass	0
`property-steps-x`	property	pass	z_i=1
`property-tline-90`	property	pass	z_r=0.5
`property-auto-n`	property	pass	n≥2
`property-auto-best`	property	pass	residual≈0
`property-series-R`	property	pass	z_r=2.2
`property-transformer`	property	pass	z=0.5+j0.25