Home Developers Evidence electrical.rf.antenna_length

Public evidence

electrical.rf.antenna_length

Machine-checked verification for calculation version 1.0.3 · tier expert_verified

Open calculator API Capability Download JSON CVP Manifest Reproduce MCP Review policy

CVP: CVP VERIFIED · CVP protocol 1.0.0-proposed · Engineering assurance· Free-space / shortened wire element models; not a full EM solver · Protocol · Schema · Production report

Declared partition coverage
PASS · 5/5 declared partitions (half, quarter, wavelength, length-factor, invalid-domain)
Versions
Calculation 1.0.3 · CVP protocol 1.0.0-proposed · Evidence 2026-09-11.o3-cov
Verification revision
2026-09-11.o3-cov · 13/13 property · digest 3d9fa5324276

Verification

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

Three distinct suites: educational examples on the calculator page, this legacy regression count (28/28 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.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-11.o3-cov. Calculation version 1.0.3. CVP 1.0.0-proposed. 4/4 golden · 9/9 CVP boundary · 9/9 invalid · 13/13 property · 10/10 O3 · 5/5 cross-interface · 1/1 CVP contract. digest 3d9fa5324276. ≤2 ULP vs O3 applies only to the published tabulated vectors (half, quarter, wavelength/full alias, k≠1, HF/VHF/UHF/LF). It is not a whole-domain antenna-model guarantee.

  • Golden (oracle-backed) 4 / 4
  • CVP boundary 9 / 9
  • Invalid input 9 / 9
  • Property 13 / 13
  • O3 high-precision 10 / 10
  • Cross-interface 5 / 5
  • CVP contract 1 / 1
  • Interfaces PASS · UI (SSR) / REST / MCP
  • Interface claim ui-ssr is query-result HTML, not a live browser session. Error-path engine·REST·MCP 1/1 (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.
  • Assurance Engineering
  • release artifacts aligned PASS
  • schema valid input executes PASS
  • engine success output validates schema PASS
  • schema rejects incomplete input PASS

Fingerprint sha256:fc89c239085f6e1a743b3d35d8b7e8fdeafe47ae9c4f6238ce467904272f741d

Input schema sha256:75b65082e2c05ac7dbf5c781b5ff86c212308cf737ff4a604ac9cac9ac8f98e1 · Output schema sha256:ff32ffc407c1a9cc313e7e4d0ad861649ee2505fe640584d39ae92091a39b93c · 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
antenna-length
Engine
antenna-length
Engine build
2026-09-10
Evidence core
2026-09-05T07:47:40.374Z
Rendered
2026-09-16T22:03:43.726Z
Last reviewed
2026-09-05

Assumptions

  • Straight idealized antenna element.
  • Frequency is the intended resonant/design frequency.
  • No loading coils or distributed reactive loading.
  • No explicit ground, nearby-object, conductor-diameter, or end-effect model.
  • Correction factor k is a scalar length adjustment, not a transmission-line velocity factor.
  • Quarter-wave mode is the ideal monopole radiator length over a perfect image plane / ground plane (≈ λ₀/4); radials and real soil are not modeled.
  • Wavelength mode returns L = k·λ₀ (corrected 1λ), which equals free-space λ₀ only when k=1.
  • S = k·λ₀ is a corrected design length scale, not a physical EM wavelength in a medium.

Limitations

  • Not a full antenna model — no ground, diameter, end-effect, loading coils, or NEC geometry.

Sources

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

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.

IDKindStatusDetail
half-cgoldenpassExpected L_m=0.5 · corrected_length_scale_m=1 · Actual mode=half · f_Hz=299792458 · length_factor=1 · velocity_factor=1 · lambda_free_space_m=1 · corrected_length_scale_m=1 · lambda_effective_m=1 · lambda_m=1
quartergoldenpassExpected L_m=0.25 · Actual mode=quarter · f_Hz=299792458 · length_factor=1 · velocity_factor=1 · lambda_free_space_m=1 · corrected_length_scale_m=1 · lambda_effective_m=1 · lambda_m=1
k-halfgoldenpassExpected L_m=0.33 · lambda_free_space_m=1 · corrected_length_scale_m=0.66 · Actual mode=half · f_Hz=299792458 · length_factor=0.66 · velocity_factor=0.66 · lambda_free_space_m=1 · corrected_length_scale_m=0.66 · lambda_effective_m=0.66 · lambda_m=0.66
half-146mhzgoldenpassExpected L_m=1.0266865 · L_leg_m=0.51334325 · lambda_free_space_m=2.053373 · corrected_length_scale_m=2.053373 · Actual mode=half · f_Hz=146000000 · length_factor=1 · velocity_factor=1 · lambda_free_space_m=2.053373 · corrected_length_scale_m=2.053373 · lambda_effective_m=2.053373 · lambda_m=2.053373
compat-velocity-factor-aliasgoldenpassExpected L_m=0.475 · length_factor=0.95 · corrected_length_scale_m=0.95 · Actual mode=half · f_Hz=299792458 · length_factor=0.95 · velocity_factor=0.95 · lambda_free_space_m=1 · corrected_length_scale_m=0.95 · lambda_effective_m=0.95 · lambda_m=0.95
bad-fboundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
boundary-antennaboundarypassExpected L_m=0.5 · Actual mode=half · f_Hz=299792458 · length_factor=1 · velocity_factor=1 · lambda_free_space_m=1 · corrected_length_scale_m=1 · lambda_effective_m=1 · lambda_m=1
boundary-k-zeroboundarypassExpected FRACTION_OUT_OF_RANGE · Actual FRACTION_OUT_OF_RANGE
boundary-k-negboundarypassExpected FRACTION_OUT_OF_RANGE · Actual FRACTION_OUT_OF_RANGE
boundary-k-gt-oneboundarypassExpected FRACTION_OUT_OF_RANGE · Actual FRACTION_OUT_OF_RANGE
boundary-f-negboundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
boundary-bad-modeboundarypassExpected INVALID_MODE · Actual INVALID_MODE
boundary-f-not-numberboundarypassExpected INVALID_NUMBER · Actual INVALID_NUMBER
boundary-f-too-smallboundarypassExpected VALUE_OUT_OF_RANGE · Actual VALUE_OUT_OF_RANGE
boundary-length-factor-vs-velocity-conflictboundarypassExpected CONFLICTING_INPUTS · Actual CONFLICTING_INPUTS
property-antennapropertypassL_half(c,k=1)=0.5
property-half-is-S-over-2propertypassL_half = S/2
property-quarter-is-S-over-4propertypassL_quarter = S/4
property-quarter-is-half-over-2propertypassL_quarter = L_half/2
property-full-is-corrected-length-scalepropertypassL_full = S
property-full-with-k-is-k-lambda0propertypassL_full(k) = k·λ₀
property-l-proportional-to-kpropertypassL ∝ k
property-legacy-velocity-factor-aliaspropertypassvelocity_factor alias = length_factor
property-legacy-lambda-effective-aliaspropertypasslambda_effective_m alias = corrected_length_scale_m
property-f-doubles-l-halvespropertypassf×2 → L/2
property-lambda0-independent-of-kpropertypassλ₀ independent of k
property-lambda0-at-f-c-is-1mpropertypassλ₀(c)=1 m
property-results-are-finitepropertypasssuccess results are finite