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 status

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.

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-10-28.metric-scope-v3
Verification revision: 2026-10-28.metric-scope-v3 · 53/53 property · digest e16e9c6d4139

Verification

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

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-10-28.metric-scope-v3. 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 · 10/10 CVP contract. digest e16e9c6d4139.

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 10 / 10
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 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

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-11-10T05:18:41.909Z
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)

Verification disclosure

Aggregate outcomes, scope and artifact commitments are public. Complete test inputs, expected values, execution records and oracle infrastructure are retained privately. This summary does not independently reproduce the full verification run.