ChronoRoute

Experiments / E0

Correctness gate

Do geometry, physics and all wire implementations agree?

Label: DERIVED statistics and accounting Label: MODELLED network outcomes

Pre-registered hypothesis

No invariant or wire-byte violations; position differences stay within the existing parity tolerances. Any violation blocks the campaign.

Frozen preregistration, identified and verified against this result’s manifest.

Verdict

Hypothesis supported (Pass): all 34 recorded checks have 0 violations. Only the cross-implementation and fixed-value rows are external references; the rest are self-consistency or invariant checks.

  • External references, where another implementation, an independent reader or fixed expected values are compared: wire_golden_fixed (golden 70; golden vectors against their fixed expected values); orbit_pinned_full (C5 120200, C2 120200; browser SGP4 positions against the Python reference); orbit_pinned_ms_epoch (C5 120200, C2 120200); orbit_exported_full (C5 120200, C2 120200); orbit_exported_ms_epoch (C5 120200, C2 120200); wire_browser (C5+C2+golden 5866; the browser TypeScript implementation); wire_ns3 (C5+C2+golden 5866; the ns-3 C++ implementation); wire_capture_bytes (C5+C2+golden 10765; frame bytes as tshark itself reads them); wire_wireshark_fields (C5+C2+golden 10765; Wireshark dissector fields).
  • Self-consistency only: wire_python (C5+C2+golden 5866; mostly Python compared with Python-made expectations).
  • Model invariants, one implementation against registered limits: positions_finite (C5 1711047, C2 951984); isl_grazing (C5 3206936, C2 1903968); link_light_time (C5 3206936, C2 1903968); isl_polar_cutoff (C5 1510914, C2 951984); gsl_light_time (C5 238195, C2 173144); gsl_elevation (C5 238195, C2 173144); gsl_visibility_complete (C5 16227, C2 16227); gsl_degree (C5 16227, C2 16227); path_great_circle (C5 10818, C2 10818); full_orbit_coverage (C5 2847, C2 1584).
  • isl_polar_cutoff cannot fail here: the highest latitude reached is 53.31° (C5) and 53.15° (C2) against a 70° cutoff.
  • isl_grazing worst values (C5 138.07 km, C2 472.31 km) are certified spherical lower bounds, not exact minimum heights.

Every number in this verdict is computed at build time from the verified summary.csv.

C5 orbital inputs are REAL public data; C2 orbits and positions are MODELLED. Topology, probes, faults and network behaviour are MODELLED. Starlink’s operational routing is UNKNOWN; Starlink does not use T-CRH.

Charts and data

Download CSV · Download manifest

Source: results/E00/20261011T214507Z/summary.csv. SHA-256: 76ceeb678603afc716b5b0103fa116cbb8c1e2e85c6dcc9fa2825e70cc7beaa3.

Correctness violations (count). Exact checks or accounting: sampling confidence intervals do not apply.
Values and confidence bounds from the verified summary CSV. Exact values are available in the data table. Infinite and undefined values are listed below.0.0000positions_finite / C5: 0; exact accountingpositions_finite / C5isl_grazing / C5: 0; exact accountingisl_grazing / C5link_light_time / C5: 0; exact accountinglink_light_time / C5isl_polar_cutoff / C5: 0; exact accountingisl_polar_cutoff / C5gsl_light_time / C5: 0; exact accountinggsl_light_time / C5gsl_elevation / C5: 0; exact accountinggsl_elevation / C5gsl_visibility_complete / C5: 0; exact accountinggsl_visibility_complete / C5gsl_degree / C5: 0; exact accountinggsl_degree / C5path_great_circle / C5: 0; exact accountingpath_great_circle / C5full_orbit_coverage / C5: 0; exact accountingfull_orbit_coverage / C5positions_finite / C2: 0; exact accountingpositions_finite / C2isl_grazing / C2: 0; exact accountingisl_grazing / C2link_light_time / C2: 0; exact accountinglink_light_time / C2isl_polar_cutoff / C2: 0; exact accountingisl_polar_cutoff / C2gsl_light_time / C2: 0; exact accountinggsl_light_time / C2gsl_elevation / C2: 0; exact accountinggsl_elevation / C2gsl_visibility_complete / C2: 0; exact accountinggsl_visibility_complete / C2gsl_degree / C2: 0; exact accountinggsl_degree / C2path_great_circle / C2: 0; exact accountingpath_great_circle / C2full_orbit_coverage / C2: 0; exact accountingfull_orbit_coverage / C2wire_python / C5+C2+golden: 0; exact accountingwire_python / C5+C2+goldenwire_golden_fixed / golden: 0; exact accountingwire_golden_fixed / goldenorbit_pinned_full / C5: 0; exact accountingorbit_pinned_full / C5orbit_pinned_ms_epoch / C5: 0; exact accountingorbit_pinned_ms_epoch / C5orbit_exported_full / C5: 0; exact accountingorbit_exported_full / C5orbit_exported_ms_epoch / C5: 0; exact accountingorbit_exported_ms_epoch / C5orbit_pinned_full / C2: 0; exact accountingorbit_pinned_full / C2orbit_pinned_ms_epoch / C2: 0; exact accountingorbit_pinned_ms_epoch / C2orbit_exported_full / C2: 0; exact accountingorbit_exported_full / C2orbit_exported_ms_epoch / C2: 0; exact accountingorbit_exported_ms_epoch / C2wire_browser / C5+C2+golden: 0; exact accountingwire_browser / C5+C2+goldenwire_ns3 / C5+C2+golden: 0; exact accountingwire_ns3 / C5+C2+goldenwire_capture_bytes / C5+C2+golden: 0; exact accountingwire_capture_bytes / C5+C2+goldenwire_wireshark_fields / C5+C2+golden: 0; exact accountingwire_wireshark_fields / C5+C2+golden

Data table

Showing 1–25 of 34 matching rows. The download contains every original row and column.

Values from summary.csv. Empty fields are shown as undefined; infinite effective latency remains infinite; a p-value stored as 0 is shown as below numerical resolution.
checkconstellationlabelcheckedviolationsworstlimitunitbound
positions_finiteC5REAL171104701.01booleanminimum
isl_grazingC5MODELLED32069360138.0726463768933280kmminimum
link_light_timeC5REAL32069360-0.49999969569034874-0.5nsminimum
isl_polar_cutoffC5MODELLED1510914053.31378227729029470.0degreesmaximum
gsl_light_timeC5REAL2381950-0.49998852517455816-0.5nsminimum
gsl_elevationC5MODELLED238195025.00017390029689725.0degreesminimum
gsl_visibility_completeC5MODELLED1622700.00satellitesmaximum
gsl_degreeC5MODELLED1622704.04linksmaximum
path_great_circleC5DERIVED1081801591493.10012918340nsminimum
full_orbit_coverageC5DERIVED284705632.3817055903186000smaximum
positions_finiteC2MODELLED95198401.01booleanminimum
isl_grazingC2MODELLED19039680472.3119715456541680kmminimum
link_light_timeC2MODELLED19039680-0.4999994048848748-0.5nsminimum
isl_polar_cutoffC2MODELLED951984053.15104693991483570.0degreesmaximum
gsl_light_timeC2MODELLED1731440-0.4999793553724885-0.5nsminimum
gsl_elevationC2MODELLED173144025.00002148239983425.0degreesminimum
gsl_visibility_completeC2MODELLED1622700.00satellitesmaximum
gsl_degreeC2MODELLED1622704.04linksmaximum
path_great_circleC2DERIVED1081803641655.4982577340nsminimum
full_orbit_coverageC2DERIVED158405738.9928150147986000smaximum
wire_pythonC5+C2+goldenREAL586600.00mismatchmaximum
wire_golden_fixedgoldenREAL7000.00mismatchmaximum
orbit_pinned_fullC5REAL12020007.84112551092019410mmaximum
orbit_pinned_ms_epochC5REAL12020000.29899727386278821mmaximum
orbit_exported_fullC5REAL12020007.84112551092019410mmaximum

Where ChronoRoute loses

Every listed point disadvantage is retained, including privileged-oracle advantages. Where a registered paired comparison exists for the same cell, its paired Student-t 95% interval and Holm-adjusted p-value are quoted; otherwise marginal intervals alone do not establish a significant loss. Ties in the predicted stuck-loss reduction are listed as unsupported advantages.

No correctness violation is recorded in this summary.

Limitations

  • Sampled geometry is not a continuous-time proof.
  • Agreement of implementations does not establish the realism of the network model.
  • Only the cross-implementation and fixed-value checks are external references. wire_python mostly compares Python with Python-made expectations, and the geometry rows check one implementation against registered limits.
  • isl_polar_cutoff cannot fail on 53° shells: the highest latitude reached stays far below the 70° cutoff, so its zero violations carry no evidence.
  • The isl_grazing "worst" value is a certified spherical lower bound on the grazing height, not the exact minimum height.
  • path_great_circle compares propagation delay only; processing time is not added to the bound.
  • Sampled geometry, not continuous-time proof; MODELLED topology and traffic, DERIVED routes; real Starlink routing UNKNOWN. Wireshark suppresses timing verdicts beyond 120 s clock margin, and its native CRH decoder cannot list SIDs when SL indexes beyond the header. The top-level labels describe C5 (REAL elements); C2 is a MODELLED Walker preset, see constellation_labels and the per-row labels. isl_polar_cutoff cannot fail on 53 deg shells and wire_python mostly compares Python with Python-made expectations; wire_golden_fixed, wire_browser, wire_ns3 and wire_wireshark_fields are the external references.

These pages use only summary.csv and manifest.json; each file is checked against the manifest SHA-256. They do not infer missing comparisons from figures, reports, raw traces or other result files.

How this was made

Recorded producer
experiments/E00/gate.py (1.0.0.dev0)
Manifest commit
8004d42f0053673fb6750c12353e4236651ed140; dirty: false
Run
0e201e5043b834c5
Time
2026-10-11T21:45:08.014258Z to 2026-10-11T21:46:23.094097Z; 75.079824 seconds of recorded host wall time (REAL)
Snapshot
20261010T1358Z-celestrak; SHA-256: c37e70812155c2d1d9eeb3e96681303c00c9fca91287939b21bf5313ce83aecd
Seeds
No random seed applies
Command
venv/bin/python -B experiments/E00/gate.py --out results/E00/20261011T214507Z
Config SHA-256
10c9280b476a138212c5eb146acd9912f343b51418c8d544c895991361aae1cc
Labels
  • city_coordinates: REAL
  • gsl_mask_and_assignment: MODELLED
  • isl_topology_grid4: MODELLED
  • orbital_elements: REAL
  • pcap_addresses: MODELLED
  • pcap_timestamps: MODELLED
  • processing_delay: MODELLED
  • routes_and_budgets: DERIVED
  • satellite_positions_sgp4: REAL
  • shells_and_planes: DERIVED
  • tcrh_header_bytes: REAL
Manifest

chronoroute.manifest/1; 18 recorded output files (41957752 bytes); 0 recorded input hashes. Download the full manifest (30313 bytes, SHA-256 c9b9cb8174e6d432fae3d97caf3575b649cbe94bf59cebdcf621671f25b57d95) for the configuration, versions, host and every input and output hash.

  • summary.csv: 2411 bytes, SHA-256 76ceeb678603afc716b5b0103fa116cbb8c1e2e85c6dcc9fa2825e70cc7beaa3
  • Versions: chronoroute 1.0.0.dev0; matplotlib 3.11.1; networkx 3.6.1; numpy 2.5.3; python 3.14.4; sgp4 2.27
  • Host (REAL): cpu_model: 13th Gen Intel(R) Core(TM) i9-13900H; logical_cores: 20; machine: x86_64; platform: Linux-6.18.33.2-microsoft-standard-WSL2-x86_64-with-glibc2.43; ram_bytes: 8131362816

For collected results, the manifest commit identifies the collector. Input hashes preserve the producer chain in the downloaded manifest; this page does not load those additional files.