{"artifact_id":"L1-466","layer":"L1","title":"GNSS Positioning and Navigation","domain":"Geodesy","sub_domain":"Satellite positioning","physics_fingerprint":{"L_DAG":2.8,"title":"GNSS Positioning and Navigation","domain":"Geodesy","carrier":"RF","primitives":["Pi.geometry","S.kalman.navigation","O.least_squares.weighted"],"sub_domain":"Satellite positioning","noise_model":"gaussian","problem_class":"linear_inverse","solution_space":"3D_position_velocity","difficulty_delta":3,"integration_axis":"temporal_navigation","sensing_mechanism":"pseudorange_doppler_measurement"},"observable_profile":{"metric":"position_RMSE_m","regime":"Existence of the recovered 3D_position_velocity is guaranteed within the declared Omega bounds. Uniqueness holds on the measurement-supported subspace; out-of-support modes are controlled by declared priors. Stability is conditionally stable (kappa_eff ~= 10); ionospheric_model_error_m dominates the stability cliff; the remaining mismatch parameters contribute higher-order bias terms. Gaussian sets the irreducible data-fidelity floor.","secondary":"PDOP"},"size_tiers":{"center_spec":{"omega":{"N_sat":8,"ionospheric_TECU":5.0,"multipath_sigma_m":0.5,"elevation_cutoff_deg":15.0},"input_format":"measurement_only","problem_class":"linear_inverse","forward_operator":"pseudorange_doppler_measurement","epsilon_fn_center":"1.5 position_RMSE_m"},"omega_bounds":{"N_sat":[4,30],"ionospheric_TECU":[0.5,50],"multipath_sigma_m":[0.1,5.0],"elevation_cutoff_deg":[5,30]},"epsilon_bounds":{"position_RMSE_m":[0.01,10.0]},"allowed_problem_classes":["linear_inverse"],"allowed_omega_dimensions":["N_sat","elevation_cutoff_deg","ionospheric_TECU","multipath_sigma_m"],"allowed_forward_operators":["pseudorange_doppler_measurement"]},"hardness_fn":{"type":"epsilon_fn","delta":3,"kappa":100,"metric":"position_RMSE_m"},"initiator_dataset":[{"name":"primary","weight":1.0,"ipfs_cid":null,"license_hash":null}],"status":"testnet","staked_pwm":0.0,"chain_hash":"0x0a9120762927c26e70273d9422745920b65641572cdabb858e1e6c38fb79dce6","chain_tx_hash":"0xa3fb986ef0e11cc0baca6524e8d2d21e9d13700aed0b33f989e747e94b1db584","chain_block":41555298}