Kshana run report
L-band spectrum model and waterfall: the whole GNSS L band as one power spectral density (PSD), frequency across, time down, over a scripted jammer timeline.
scenario spectrum | 5 bands | 3 jammers | noise floor -202.0 dBW/Hz | worst band gps-l1ca min C/N0 3.2 dB-Hz (J/S 60.2 dB)
Honesty label (result `label`): MODELLED: an L-band power spectral density built from closed-form signal spectra (VALIDATED against the textbook main-lobe widths and spectral separation coefficients), jammer spectra and a kT noise floor, reduced to J/S and effective C/N0 by the spectral separation coefficient. The jammer powers, timeline and front-end bandwidths are scenario inputs, not measurements.
Capabilities used: 1 VALIDATED, 4 MODELLED, 1 PARTNER (relied on, not provided); see section 5.
Every field the scenario file sets, flattened to its path. Units come from the result's units block (the field-units schema, docs/field-units-schema.json) where it describes the field, otherwise from the field-name suffix; a unit neither states is shown as not stated.
| Parameter | Value | Unit | Unit source |
|---|---|---|---|
duration_s | 60 | s | field-units schema: units entry `duration_s` |
grid.f_max_mhz | 1590 | MHz | field-name suffix |
grid.f_min_mhz | 1160 | MHz | field-name suffix |
grid.n_freq | 430 | not stated | no units entry and no unit suffix |
iq.centre_mhz | 1575.42 | MHz | field-name suffix |
iq.datatype | cf32_le | text | a text input carries no unit |
iq.log2_samples | 16 | not stated | no units entry and no unit suffix |
iq.nfft | 1024 | count | field-units schema: units entry `iq.nfft` |
iq.sample_rate_mhz | 20.48 | MHz | field-name suffix |
iq.t_s | 35 | s | field-units schema: units entry `iq.t_s` |
jammers[0].bandwidth_mhz | 16 | MHz | field-name suffix |
jammers[0].centre_mhz | 1575.42 | MHz | field-name suffix |
jammers[0].eirp_dbw | -13 | dBW | field-units schema: units entry `jammers[].eirp_dbw` |
jammers[0].name | chirp privacy device | text | a text input carries no unit |
jammers[0].off_s | 40 | s | field-units schema: units entry `jammers[].off_s` |
jammers[0].on_s | 10 | s | field-units schema: units entry `jammers[].on_s` |
jammers[0].range_m | 100 | m | field-units schema: units entry `jammers[].range_m` |
jammers[0].sweep_period_us | 9 | us | field-name suffix |
jammers[0].waveform | chirp | text | a text input carries no unit |
jammers[1].centre_mhz | 1575.42 | MHz | field-name suffix |
jammers[1].eirp_dbw | -20 | dBW | field-units schema: units entry `jammers[].eirp_dbw` |
jammers[1].name | CW tone on L1 | text | a text input carries no unit |
jammers[1].on_s | 30 | s | field-units schema: units entry `jammers[].on_s` |
jammers[1].range_m | 1000 | m | field-units schema: units entry `jammers[].range_m` |
jammers[1].waveform | cw | text | a text input carries no unit |
jammers[2].bandwidth_mhz | 2 | MHz | field-name suffix |
jammers[2].centre_mhz | 1227.6 | MHz | field-name suffix |
jammers[2].name | L2 narrowband noise | text | a text input carries no unit |
jammers[2].on_s | 45 | s | field-units schema: units entry `jammers[].on_s` |
jammers[2].received_power_dbw | -135 | dBW | field-units schema: units entry `jammers[].received_power_dbw` |
jammers[2].waveform | narrowband | text | a text input carries no unit |
kind | spectrum | text | a text input carries no unit |
receiver.antenna_temp_k | 290 | K | field-units schema: units entry `receiver.antenna_temp_k` |
receiver.noise_figure_db | 2 | dB | field-units schema: units entry `receiver.noise_figure_db` |
receiver.tracking_threshold_dbhz | 25 | dB-Hz | field-units schema: units entry `receiver.tracking_threshold_dbhz` |
seed | 7 | 1 | field-units schema: units entry `seed` |
step_s | 1 | s | field-units schema: units entry `step_s` |
| Result | Value | Unit |
|---|---|---|
duration_s | 60 | s |
iq.centre_hz | 1575420000 | Hz |
iq.comparison.bins_compared | 912 | count |
iq.comparison.integrated_power_ratio | 0.999883 | 1 |
iq.comparison.mean_abs_difference_db | 5.439371 | dB |
iq.comparison.median_difference_db | -0.521006 | dB |
iq.enbw_hz | 30000 | Hz |
iq.n_samples | 65536 | count |
iq.nfft | 1024 | count |
iq.sample_rate_hz | 20480000 | Hz |
iq.segments | 127 | count |
iq.sigmf.clipped_components | 0 | count |
iq.sigmf.data_bytes | 524288 | byte |
iq.sigmf.datatype | cf32_le | text |
iq.sigmf.full_scale | 1.3574e-4 | sqrt(W) |
iq.sigmf.meta.global.core:datatype | cf32_le | text |
iq.sigmf.meta.global.core:description | kshana spectrum model snapshot (synthetic) | text |
iq.sigmf.meta.global.core:recorder | kshana 0.29.0 | text |
iq.sigmf.meta.global.core:sample_rate | 20480000 | Hz |
iq.sigmf.meta.global.core:version | 1.0.0 | text |
iq.t_s | 35 | s |
receiver.antenna_temp_k | 290 | K |
receiver.degraded_margin_db | 6 | dB |
receiver.noise_density_dbw_per_hz | -201.975187 | dBW/Hz |
receiver.noise_figure_db | 2 | dB |
receiver.system_temp_k | 459.619026 | K |
receiver.tracking_threshold_dbhz | 25 | dB-Hz |
recording | no value | not stated |
seed | 7 | 1 |
step_s | 1 | s |
waterfall.bin_width_hz | 3000000 | Hz |
waterfall.f_max_hz | 1590000000 | Hz |
waterfall.f_min_hz | 1160000000 | Hz |
waterfall.n_freq | 144 | count |
waterfall.n_time | 60 | count |
waterfall.noise_floor_dbw_per_hz | -201.975187 | dBW/Hz |
waterfall.peak_dbw_per_hz | -161.300019 | dBW/Hz |
waterfall.row_duration_s | 1 | s |
waterfall.source_n_freq | 430 | count |
waterfall.source_n_time | 60 | count |
| Column | Count | Min | Max | First | Last | Unit |
|---|---|---|---|---|---|---|
bands[].centre_hz | 5 | 1176450000 | 1575420000 | 1575420000 | 1176450000 | Hz |
bands[].chip_rate_hz | 5 | 1023000 | 10230000 | 1023000 | 10230000 | Hz |
bands[].first_null_hz | 5 | 1.0230e6 | 1.0230e7 | 1.0230e6 | 1.0230e7 | Hz |
bands[].nominal_cn0_dbhz | 5 | 41.975187 | 46.975187 | 43.475187 | 46.975187 | dB-Hz |
bands[].psd_peak_dbw_per_hz | 5 | -227.998756 | -218.598756 | -218.598756 | -225.098756 | dBW/Hz |
bands[].psd_peak_offset_hz | 5 | 0.006998 | 7.5855e5 | 0.006998 | 0.069982 | Hz |
bands[].rx_bandwidth_hz | 5 | 2.0460e6 | 20460000 | 2.0460e6 | 20460000 | Hz |
bands[].signal_power_dbw | 5 | -160 | -155 | -158.5 | -155 | dBW |
bands[].tracked_power_dbw | 5 | -160 | -155 | -158.5 | -155 | dBW |
iq.freq_offset_hz[] | 256 | -10240000 | 10160000 | -10240000 | 10160000 | Hz |
iq.model_dbw_per_hz[] | 256 | -201.98 | -157.3 | -201.98 | -201.98 | dBW/Hz |
iq.sigmf.meta.captures[].core:frequency | 1 | 1575420000 | 1575420000 | 1575420000 | 1575420000 | Hz |
iq.sigmf.meta.captures[].core:sample_start | 1 | 0 | 0 | 0 | 0 | count |
iq.welch_dbw_per_hz[] | 256 | -178.34 | -157.05 | -177.18 | -175.77 | dBW/Hz |
jammers[].bandwidth_hz | 3 | 0 | 16000000 | 16000000 | 2000000 | Hz |
jammers[].centre_hz | 3 | 1227600000 | 1575420000 | 1575420000 | 1227600000 | Hz |
jammers[].eirp_dbw | 2 | -20 | -13 | -13 | -20 | dBW |
jammers[].off_s | 1 | 40 | 40 | 40 | 40 | s |
jammers[].on_s | 3 | 10 | 45 | 10 | 45 | s |
jammers[].per_band[].cn0_effective_dbhz | 15 | 3.380457 | 46.975187 | 3.380457 | 46.975187 | dB-Hz |
jammers[].per_band[].in_band_power_fraction | 15 | 0 | 1 | 0.127875 | 0 | 1 |
jammers[].per_band[].js_db | 15 | 20 | 70.60429 | 69.10429 | 20 | dB |
jammers[].per_band[].js_in_band_db | 5 | 25 | 67.123127 | 60.172146 | 25 | dB |
jammers[].per_band[].q | 4 | 1 | 17.323737 | 17.323737 | 2.165486 | 1 |
jammers[].per_band[].ssc_db_per_hz | 4 | -72.485172 | -60.098756 | -72.485172 | -63.45431 | dB(1/Hz) |
jammers[].range_m | 2 | 100 | 1000 | 100 | 1000 | m |
jammers[].received_power_dbw | 3 | -135 | -89.39571 | -89.39571 | -135 | dBW |
jammers[].rx_gain_dbi | 2 | 0 | 0 | 0 | 0 | dBi |
jammers[].sweep_period_s | 1 | 9.0000e-6 | 9.0000e-6 | 9.0000e-6 | 9.0000e-6 | s |
jamming_kind_cross_check[].abs_difference_db | 3 | 0 | 4.4409e-16 | 4.4409e-16 | 0 | dB |
jamming_kind_cross_check[].cn0_jamming_kind_q_from_ssc_dbhz | 3 | 3.380457 | 17.982189 | 3.380457 | 17.982189 | dB-Hz |
jamming_kind_cross_check[].cn0_jamming_kind_table_q_dbhz | 3 | -9.005558 | 19.736976 | -9.005558 | 19.736976 | dB-Hz |
jamming_kind_cross_check[].cn0_spectrum_dbhz | 3 | 3.380457 | 17.982189 | 3.380457 | 17.982189 | dB-Hz |
jamming_kind_cross_check[].jamming_kind_table_q | 3 | 1 | 1.5 | 1 | 1.5 | 1 |
jamming_kind_cross_check[].js_jamming_kind_db | 3 | 42.10429 | 69.10429 | 69.10429 | 42.10429 | dB |
jamming_kind_cross_check[].js_spectrum_db | 3 | 42.10429 | 69.10429 | 69.10429 | 42.10429 | dB |
timeline.bands[].cn0_effective_dbhz[] | 300 | 3.23 | 46.98 | 43.48 | 46.98 | dB-Hz |
timeline.bands[].first_loss_t_s | 2 | 10 | 10 | 10 | 10 | s |
timeline.bands[].js_db[] | 115 | 25 | 67.13 | 60.17 | 25 | dB |
timeline.bands[].min_cn0_dbhz | 5 | 3.232859 | 46.975187 | 3.232859 | 46.975187 | dB-Hz |
timeline.bands[].min_cn0_t_s | 5 | 0 | 45 | 31 | 0 | s |
timeline.bands[].tracking_fraction | 5 | 0.166667 | 1 | 0.166667 | 1 | 1 |
timeline.bands[].worst_js_db | 3 | 25 | 67.132797 | 60.239416 | 25 | dB |
timeline.t_s[] | 60 | 0 | 59 | 0 | 59 | s |
waterfall.freq_hz[] | 144 | 1161500000 | 1589500000 | 1161500000 | 1589500000 | Hz |
waterfall.psd_dbw_per_hz[][] | 8640 | -201.98 | -161.39 | -201.97 | -201.98 | dBW/Hz |
waterfall.t_s[] | 60 | 0 | 59 | 0 | 59 | s |
--animate svg; it shows the finished picture under reduced motion and in print).The interactive player is written by kshana scenarios/l-band-waterfall-jamming.toml --animate html.
| Export | Applies | Files or reason |
|---|---|---|
| czml https://github.com/AnalyticalGraphicsInc/czml-writer/wiki/CZML-Structure | no | the scenario input carries no horizontal position (no latitude and longitude, no Earth-centred coordinates, no orbital elements beyond at most an altitude), so there is nothing to place on the Earth |
| kml https://www.ogc.org/standard/kml/ | no | the scenario input carries no horizontal position (no latitude and longitude, no Earth-centred coordinates, no orbital elements beyond at most an altitude), so there is nothing to place on the Earth |
| geojson https://www.rfc-editor.org/rfc/rfc7946 | no | the scenario input carries no horizontal position (no latitude and longitude, no Earth-centred coordinates, no orbital elements beyond at most an altitude), so there is nothing to place on the Earth |
| stk https://help.agi.com/stk/#stk/importfiles-02.htm | no | the scenario input carries no horizontal position (no latitude and longitude, no Earth-centred coordinates, no orbital elements beyond at most an altitude), so there is nothing to place on the Earth |
| sigmf https://github.com/sigmf/SigMF/blob/main/sigmf-spec.md | yes | written by kshana scenarios/l-band-waterfall-jamming.toml --export all |
| Start (s) | End (s) | Event | Source |
|---|---|---|---|
| 0 | 60 | run span | scenario `duration_s` |
| 10 | 40 | jammers[0]: name = chirp privacy device | scenario `jammers[0].on_s` / `off_s` |
| 30 | point event | jammers[1]: name = CW tone on L1 | scenario `jammers[1].on_s` |
| 45 | point event | jammers[2]: name = L2 narrowband noise | scenario `jammers[2].on_s` |
Each row is a verification-matrix row this run's kinds exercise, with the label and the oracle the matrix gives it (src/verification.rs, docs/VERIFICATION-MATRIX.md). A label grades the capability as the matrix records it; it does not grade this scenario's configuration, and a VALIDATED row does not make the run's inputs measured. A PARTNER row is a discipline the run relies on that Kshana does not provide.
| Capability (matrix requirement) | Label | Used by | Source: oracle | Test evidence |
|---|---|---|---|---|
| Reproducibility & software assurance Deterministic, scenario-hashed, SBOM + cross-platform golden gates | MODELLED exercised | every run | SBOM conformance to the official CycloneDX 1.5 JSON Schema (+ valid SPDX identifiers) — an external published standard, zero validation errors over the full dependency graph; the FoM-determinism / byte-reproducibility part remains a pinned self-consistency check, so the row stays MODELLED (ExternalDataset) | tests/golden.rs, tests/determinism.rs, tests/cross_platform_golden.rs; tests/reproducibility_software_assurance_reference.rs (the generated SBOM validates with zero errors against the official CycloneDX 1.5 JSON Schema over the full 66-component shipped graph: default + python + wasm features, dev-dependencies excluded) |
| Navigation RF payload & antenna hardware design Not provided — Kshana models signal performance, not payload/antenna hardware | PARTNER relied on, not provided | spectrum | none: a partner-owned discipline, with no module and no test by design (NoneKind) | none: a partner-owned discipline |
| Closed-form L-band signal power spectral densities and spectral separation coefficients Unit-area power spectral densities of GPS L1 C/A and L2C (BPSK(1)), GPS L5 and Galileo E5a (BPSK(10)), sine-BOC(1,1) and Galileo E1 MBOC(6,1,1/11) (navsignal::Modulation::psd, with an MBOC variant added), their numerically located nulls and maxima (spectrum::psd_nulls_hz, psd_peak_hz, main_lobe_null_to_null_hz), and the spectral separation coefficient of a signal against any spectrum at any offset (navsignal::spectral_separation_coeff_offset) or against a tone, flat noise, a chirp or matched noise (spectrum::Jammer::ssc), with the anti-jam coefficient Q = 1/(R_c kappa) | VALIDATED exercised | spectrum | Published textbook values: the BPSK(n) main lobe of 2n x 1.023 MHz null to null and the anti-jam coefficients Q = 1 for a narrowband (CW) jammer and Q = 1.5 for a spread-spectrum jammer matched to C/A (Kaplan & Hegarty, Understanding GPS/GNSS, 3rd ed., section 9.4); the BOC(m,n) main lobes centred at plus or minus m x 1.023 MHz (Betz, Binary Offset Carrier Modulations for Radionavigation, NAVIGATION 48(4), 2001); the spectral separation coefficients -61.8, -64.8 and -67.8 dB/Hz for C/A with C/A, BOC(1,1) with BOC(1,1) and C/A with BOC(1,1) (Betz 2001; Hein et al., MBOC: The New Optimized Spreading Modulation Recommended for Galileo L1 OS and GPS L1C, Inside GNSS, May/June 2006), reproduced here from their Parseval autocorrelation closed forms. The BOC(1,1) maximum is not at 1.023 MHz: the lobe spans the carrier null to 2.046 MHz and peaks at 0.759 MHz, and the test pins both. The MBOC mix is the ICD definition, checked for unit area and linearity only (ExternalDataset) | spectrum::tests (bpsk_main_lobe_null_to_null_is_two_n_times_1_023_mhz — BPSK(1) 2.046 MHz and BPSK(10) 20.46 MHz located numerically on the closed form; boc11_lobes_are_centred_at_plus_minus_1_023_mhz — carrier null, first null at 2.046 MHz, lobe centre 1.023 MHz, and the exact maximum at 0.7590 MHz against an independent Newton solve of tan y = 2y; ssc_matches_parseval_closed_forms — C/A x C/A 2/(3R_c) = -61.86 dB/Hz, BOC(1,1) x BOC(1,1) 1/(3R_c) = -64.87 dB/Hz, C/A x BOC(1,1) 1/(6R_c) = -67.88 dB/Hz, each within 0.02 dB; q_values_match_kaplan_hegarty — CW at the carrier Q = 1, matched-spectrum noise Q = 1.5, flat null-to-null noise Q = 2.215; mboc_is_a_unit_area_one_eleventh_mix) |
| L-band spectrum waterfall with per-band J/S and effective C/N0 under a scripted jammer timeline The `spectrum` kind: a frequency-by-time grid of the L-band power spectral density (thermal floor k T_sys with T_sys = T_ant + 290 K (F - 1), the signals at their interface-specification minimum received powers, and continuous-wave, narrowband, chirp and matched-noise jammers with on/off times), each cell averaged over its bin and row (chirps exactly over whole and partial sweeps, jammers by duty), per-band effective C/N0 = [1/(C/N0) + sum (J/S) kappa]^-1 per row, J/S per band, in-band J/S, and an SVG waterfall with C/N0 bars. The report carries a cross-check against the `jamming` kind's chain on the same link inputs | MODELLED exercised | spectrum | Reduction to the existing `jamming` kind's anti-jam equation and link budget (the same code, called on the same inputs), and the k T0 F noise-floor closed form. The signal spectra underneath are the validated row above; the jammer powers, timeline and front-end bandwidths are scenario inputs, the spectra are continuous (no spreading-code lines), and no automatic gain control, blanking or antenna pattern acts on the jammer. No measured jammed spectrum is in the repository to check the composite against. The `jamming` kind's representative Q table (broadband 1.0, CW 1.5) differs from the Q this model derives from the spectra (CW at the carrier 1.0, matched 1.5, flat null-to-null 2.2); the report prints both (InternalConsistency) | spectrum::tests (agrees_with_the_jamming_kind_chain — J/S equal to jamming::j_over_s_db and effective C/N0 equal to jamming::effective_cn0_dbhz with Q = 1/(R_c kappa) to 1e-9 dB, and the 32.105 dB anchor of the jamming kind's own test; noise_floor_is_kt0f; chirp_window_splits_whole_and_partial_sweeps; duty_weights_partial_rows; demo_scenario_runs_and_denies_l1_while_l5_survives; defaults_run_with_no_jammer; bad_inputs_are_refused) |
| SigMF recording input and output, and Welch spectral estimates of complex IQ sigmf: read and write Signal Metadata Format recordings (JSON .sigmf-meta with the core global, captures and annotations fields; raw .sigmf-data as cf32_le, ci16_le or ci8, the integer decoders shared with realdata::iqif::load_iq), all on strings and byte buffers. spectrum::welch_psd: Hann-windowed, overlapped, averaged periodograms, density-scaled, on an in-crate radix-2 transform (spectrum::fft_in_place). spectrum::synthesise_iq draws the model as IQ, and the `spectrum` kind's [iq] section runs model to IQ to SigMF to Welch and compares with the model; its [recording] section estimates a real recording (native builds) | MODELLED exercised | spectrum | Round-trip identities, a direct discrete Fourier transform, and the white-noise, Parseval and Hann equivalent-noise-bandwidth closed forms. The SigMF field names follow the published specification (github.com/sigmf/SigMF), but no externally produced recording is in the repository, so reading a third-party file is untested here and the row stays Modelled. A synthesised periodic chirp shows lines, Fresnel ripple and edge tails the smooth model omits: total power agrees within 2 %, per-bin densities near a chirp do not (InternalConsistency) | sigmf::tests (cf32_round_trip_is_exact_to_single_precision; ci16_round_trip_is_within_half_a_code; ci16_is_little_endian_i_then_q; integer_encoding_counts_saturation; metadata_uses_the_core_namespace; unsupported_types_and_channels_are_refused; sample_start_offsets_into_the_data); spectrum::tests (fft_matches_a_direct_dft; welch_reads_white_noise_as_variance_over_fs_and_keeps_a_tone_s_power — floor within 2 % of variance over sample rate, Parseval total within 2 %, Hann equivalent noise bandwidth 1.5 bins; noise_like_synthesis_is_unbiased_through_welch — median Welch-minus-model within 0.1 dB through a ci16_le round trip; synthesised_iq_through_sigmf_reproduces_the_model_spectrum) |
| Multi-band spectrum waterfall (UHF, L, S, C) with designed signals and per-band jammers The `spectrum` kind extended beyond the L band: bands given as a preset signal design (drawn with every component, band-limited to the transmit bandwidth, C/N0 and J/S referred to the tracked component) or as a custom carrier and modulation; extra waterfall panels over any frequency range on the same timeline and colour scale; a wideband (barrage) jammer beside CW, narrowband, chirp and matched noise; per-band J/S and effective C/N0 from the unchanged spectral separation coefficient chain | MODELLED exercised | spectrum | Reduction to the existing spectrum chain and the jamming kind's anti-jam equation (a single-component band gives the same numbers as before the extension) and the signal spectra of the validated rows. The jammer powers, timeline, front-end bandwidths and the designed signals are inputs, and a designed signal is truncated at its transmit band (no out-of-band emission). (InternalConsistency) | tests/leo_signal_reference.rs (the multi-band waterfall runs with four panels, the UHF, L5-band, S and C jammers each deny only their own band, and a plain-band run is unchanged by the extension); leo_signal::tests::to_spectrum_band_is_consistent_with_the_design; spectrum::tests (agrees_with_the_jamming_kind_chain) |
Each item is quoted from where it is stated: the result document, the kind catalogue, the scenario file, or the verification matrix's reason a MODELLED row stays modelled.
| Statement | Source |
|---|---|
| spreading-code line structure (for example the 1 kHz lines of C/A): tones are scored against the smooth envelope | result `not_modelled[0]` |
| automatic gain control, quantisation, pulse blanking and notch filtering | result `not_modelled[1]` |
| the receive-antenna pattern toward the jammer beyond one gain figure | result `not_modelled[2]` |
| intra-system multiple-access interference between satellites of one band | result `not_modelled[3]` |
| GLONASS G1/G2, BeiDou B1/B2 and Galileo E6 | result `not_modelled[4]` |
| a designed signal's emissions outside its transmit bandwidth: its spectrum is truncated there, so no out-of-band emission reaches a neighbouring band | result `not_modelled[5]` |
| a chirp's effect on the loop at sweep rates comparable with the loop bandwidth: its C/N0 uses the row-averaged spectrum | result `not_modelled[6]` |
| MODELLED: an L-band power spectral density built from closed-form signal spectra (VALIDATED against the textbook main-lobe widths and spectral separation coefficients), jammer spectra and a kT noise floor, reduced to J/S and effective C/N0 by the spectral separation coefficient. The jammer powers, timeline and front-end bandwidths are scenario inputs, not measurements. | result `label` |
| SIGNALS: GPS L1 C/A and L2C (BPSK(1)), Galileo E1 open service (MBOC(6,1,1/11), or BOC(1,1)), GPS L5 and Galileo E5a (BPSK(10)), each at its carrier with the interface-specification minimum received power (IS-GPS-200, IS-GPS-705, Galileo OS SIS ICD) unless overridden; GLONASS, BeiDou and Galileo E6 are not modelled. | kind catalogue (`kshana kinds --json`) |
| MODELLED: jammer powers, timeline, front-end bandwidths, the continuous-spectrum (no code lines) treatment and the absence of AGC, blanking and antenna pattern. | kind catalogue (`kshana kinds --json`) |
| Assumptions: signal powers are the interface-specification minimum received powers (IS-GPS-200, IS-GPS-705, Galileo Open Service Signal-in-Space Interface Control Document); a 290 K antenna and a 2 dB receiver noise figure; free-space propagation to the jammers, 0 dBi receive gain toward them. MODELLED: the signal spectra are validated closed forms, but every jammer, power and timing here is a scenario input. | scenario file comment, lines 32 to 36 |
| Reproducibility & software assurance is MODELLED, not validated: a sub-claim is externally checked, but the whole capability composes modelled pieces, so the capability stays Modelled. | verification matrix (docs/MODELLED-RATIONALE.md) |
| L-band spectrum waterfall with per-band J/S and effective C/N0 under a scripted jammer timeline is MODELLED, not validated: checked against its own closed-form / analytic identity — catches transcription and coefficient errors, but is not an external oracle. | verification matrix (docs/MODELLED-RATIONALE.md) |
| SigMF recording input and output, and Welch spectral estimates of complex IQ is MODELLED, not validated: checked against its own closed-form / analytic identity — catches transcription and coefficient errors, but is not an external oracle. | verification matrix (docs/MODELLED-RATIONALE.md) |
| Multi-band spectrum waterfall (UHF, L, S, C) with designed signals and per-band jammers is MODELLED, not validated: checked against its own closed-form / analytic identity — catches transcription and coefficient errors, but is not an external oracle. | verification matrix (docs/MODELLED-RATIONALE.md) |
| Command to reproduce | kshana scenarios/l-band-waterfall-jamming.toml |
|---|---|
| Working directory | Run the command from the directory the original run was started in: the scenario path, and any relative data path inside the scenario, resolve against it. Check the scenario file against scenario_sha256 first. |
| Engine version | 0.29.0 |
| Source commit | not recorded: this engine was built without the KSHANA_GIT_COMMIT environment variable; the engine version identifies the release |
| Scenario file | l-band-waterfall-jamming.toml |
| Scenario file SHA-256 (Secure Hash Algorithm 256-bit) | 204830758faac62c51e3b396ff425442fee7d781378790c9c4ca7173f6c4973d |
| Result scenario_hash | 5b6d91fbe8900aef98e62df8e7b51704462854a7f3522535e7942c37d59d4184 (the kind's own fingerprint of the scenario; not the file digest) |
| Result document SHA-256 | 75455b50f5df107fe353e13f154b464cad17b55ec605f1707dc9ab6a47b8e389 (l-band-waterfall-jamming.result.json) |
| Seed | 7 (scenario `seed`) |
| Platform | macos / aarch64 (unix) |
| Determinism | Same scenario bytes, seed and engine build give a byte-identical result document and report; this report carries no timestamp. Floating-point results are pinned per platform; another operating system or architecture may differ in the last digits. |
To print this page to a Portable Document Format (PDF) file, use the browser's print dialog and choose “Save as PDF”; the print stylesheet fits A4 and US Letter paper, repeats table headers across pages and starts the inputs, results, labels and reproducibility sections on a new page. The engine writes no PDF itself. report.json carries the same content as this page.