Public evidence

electrical.rf.fspl

Machine-checked verification for calculation version 1.0.0 · tier expert_verified

Open calculator API Capability Download JSON CVP Manifest MCP Review policy

CVP: CVP VERIFIED · CVP protocol 1.0.0-proposed · Engineering assurance· Free-space isotropic model; path_loss_dB is antenna-adjusted link loss (FSPL − Gt − Gr) · Protocol · Schema · Production report

Declared partition coverage: PASS · 3/3 declared partitions (isotropic, with-gains, invalid-domain)
Versions: Calculation 1.0.0 · CVP protocol 1.0.0-proposed
CVP identity: 4/4 property · digest 486d3a52cd93

Verification

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

Three distinct suites: educational examples on the calculator page, this legacy regression count (10/10 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.0.0 matches · Semantic contract ✓ · Production attested · Public/cache ✓ · Origin ✓

CVP verification suite

Protocol checks from the Evidence Manifest. Distinct from the legacy regression suite above. Calculation version 1.0.0. CVP 1.0.0-proposed. 2/2 golden · 4/4 CVP boundary · 3/3 invalid · 4/4 property · 2/2 cross-interface · 4/4 CVP contract. digest 486d3a52cd93.

Golden (oracle-backed) 2 / 2
CVP boundary 4 / 4
Invalid input 3 / 3
Property 4 / 4
Cross-interface 2 / 2
CVP contract 4 / 4
Interfaces PASS · UI (SSR) / REST / MCP
Interface claim ui-ssr is query-result HTML, not a live browser session. CVP-UI-01: canonical SI is the only calculation source. Mixed share URLs (d_m + fsplDInput without fsplDUnit) must still yield FSPL. Live Chromium session is npm run test:fspl-live-e2e — not executed inside this SSR/REST/MCP probe.
Assurance Engineering

release artifacts aligned PASS
schema valid input executes PASS
engine success output validates schema PASS
schema rejects incomplete input PASS

Fingerprint sha256:c7a8b2174f78935dc58ed709b0e1449baaa02910ae4df9cb845a1c5cacf381d1

Input schema sha256:15a38c2c350af9df0aa158b3922ecbf7bb4ca0c425c2052715ea6b2091759591 · Output schema sha256:05956bcab131a871e415bc3b8b424c44a4a6abdc6b6b8841cc85cef1533e09ad · 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: fspl
Engine: fspl
Engine build: 2026-09-13
Evidence core: 2026-09-13T01:10:14.255Z
Rendered: 2026-09-16T22:03:43.716Z
Last reviewed: 2026-08-08

Assumptions

Ideal free space; isotropic reference for FSPL.
c = 299792458 m/s.
Friis free-space equation assumes far-field propagation. For electrically large antennas or short separations, verify that the antenna separation exceeds the applicable far-field distance.

Limitations

Ideal free-space only — no atmosphere, multipath, or cable loss
d_m/f_Hz ≤ 0 → VALUE_MUST_BE_POSITIVE

Sources

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

Friis transmission equation — Free-space path loss form
Supports: FSPL from distance and wavelength/frequency
ITU-R P.525-5 (11/2024), Calculation of free-space attenuation — Free-space basic transmission loss
Supports: Standard FSPL formulation for radio links; version-locked recommendation

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
`1km-2g4`	golden	pass	Expected fspl_dB=100.05200805611548 · path_loss_dB=100.05200805611548 · Actual fspl_dB=100.05200805611548 · path_loss_dB=100.05200805611548 · wavelength_m=0.12491352416666666 · d_m=1000 · f_Hz=2400000000 · Gt_dBi=0 · Gr_dBi=0
`with-gains`	golden	pass	Expected path_loss_dB=88.05200805611548 · Actual fspl_dB=100.05200805611548 · path_loss_dB=88.05200805611548 · wavelength_m=0.12491352416666666 · d_m=1000 · f_Hz=2400000000 · Gt_dBi=6 · Gr_dBi=6
`missing-f`	boundary	pass	Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT
`zero-d`	boundary	pass	Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
`nan-d`	boundary	pass	Expected INVALID_NUMBER · Actual INVALID_NUMBER
`boundary-1km-2g4`	boundary	pass	Expected fspl_dB=100.05200805611548 · Actual fspl_dB=100.05200805611548 · path_loss_dB=100.05200805611548 · wavelength_m=0.12491352416666666 · d_m=1000 · f_Hz=2400000000 · Gt_dBi=0 · Gr_dBi=0
`property-fspl`	property	pass	1 km · 2.4 GHz
`property-6db`	property	pass	2×d → +20·log10(2) dB
`property-freq`	property	pass	2×f → +20·log10(2) dB
`property-gains`	property	pass	PL = FSPL−Gt−Gr