{ "all_ok": true, "citations": { "aging_primitive": "Truong & Heath \u2014 arXiv:1305.6151 (rho(f_D*T) aging law)", "design_around_contrast": "arXiv:2603.24024 (empirical Delta=3dB shield \u2014 tuned, not derived)", "narrowed_claim_thread": "NOVELTY_RISK_MEMO \u00a72.3: keep/switch boundary numerically derived from a finite-blocklength bound", "scattering": "Clarke 1968 / Jakes 1974 isotropic model" }, "csi_proxy_mapping": { "csi_model_untouched": true, "mapping": "common/csi_model.py's unitless aging proxy (aging_thr=0.25) corresponds to age/T* normalized by the reporting scale: aging_proxy ~ age_s / T*(v,f_c,g,g_req). The physical parameterization lives ENTIRELY in common/channel_aging.py and this producer \u2014 csi_model.py is not edited (pinned benchmark bytes untouched, the pre-decided C1 fallback)." }, "exactness_checks": { "crossing_tight_both_sides": true, "inverse_velocity_law_exact": true, "j0_principal_branch_monotone_grid": true }, "executed": true, "explicit_non_claim": "NOT a claim about sparse mmWave AoA/AoD geometries (the DeepMIMO advisory validates the decay law separately, UNPINNED), NOT about non-isotropic scattering or real arrays; the 0.423/f_D rule of thumb is a different convention, not an error; the wall target is the AWGN sphere-packing converse (the pinned Rician banner is re-asserted untouched, not re-derived here). CONVERSE SEMANTICS (load-bearing): g_req is the CONVERSE wall SNR, so past T* the (n, eps) target is provably UNREACHABLE \u2014 the floor claim; INSIDE T* the converse merely no longer forbids it ('meets_target_if_served' = at/above the impossibility floor, NOT an achievability guarantee \u2014 the achievability side sits higher, per the repo's two-sided band methodology).", "fbl_targets": { "fresh_snr_db": 10.0, "n_block": 60, "rate_bits_per_use": 0.5, "wall_snr_db_by_eps": { "1e-05": 0.14389856847455368, "1e-06": 0.550073860807502 } }, "flagship": { "carrier": "28GHz", "eps": 1e-05, "fresh_snr_db": 10.0, "gate_demo": [ { "age_s": 8.853574302555523e-05, "effective_snr_lin": 3.8180496006921505, "meets_target_if_served": true, "rho": 0.933644390611351, "serve": true, "t_star_s": 0.00017707148605111046 }, { "age_s": 0.00017530077119059937, "effective_snr_lin": 1.0604640535631447, "meets_target_if_served": true, "rho": 0.7524225405360808, "serve": true, "t_star_s": 0.00017707148605111046 }, { "age_s": 0.00017884220091162156, "effective_snr_lin": 1.00757799179314, "meets_target_if_served": true, "rho": 0.7430182241903014, "serve": false, "t_star_s": 0.00017707148605111046 }, { "age_s": 0.00035414297210222093, "effective_snr_lin": 0.030000924196217287, "meets_target_if_served": true, "rho": 0.17899662904235797, "serve": false, "t_star_s": 0.00017707148605111046 } ], "gate_safe_inside_floor": true, "headline": "a 28GHz beam/CSI prediction for a 10 m/s user is PHYSICALLY invalid after 0.1771 ms against the eps=1e-05 FBL wall \u2014 the gate boundary is derived, not tuned", "naive_past_floor_below_target": true, "t_star_ms": 0.17707148605111048, "v_mps": 10.0, "wall_snr_db": 0.14389856847455368 }, "floor_grid": { "28GHz": { "1e-05": { "rows": [ { "coherence_time_rho05_ms": 2.592108334306887, "crossing_tight": true, "f_doppler_hz": 93.39794665548257, "t_star_ms": 1.7707148605111045, "t_star_s": 0.0017707148605111045, "v_mps": 1.0 }, { "coherence_time_rho05_ms": 0.8640361114356289, "crossing_tight": true, "f_doppler_hz": 280.19383996644774, "t_star_ms": 0.5902382868370348, "t_star_s": 0.0005902382868370348, "v_mps": 3.0 }, { "coherence_time_rho05_ms": 0.2592108334306887, "crossing_tight": true, "f_doppler_hz": 933.9794665548258, "t_star_ms": 0.17707148605111048, "t_star_s": 0.00017707148605111046, "v_mps": 10.0 }, { "coherence_time_rho05_ms": 0.0864036111435629, "crossing_tight": true, "f_doppler_hz": 2801.9383996644774, "t_star_ms": 0.05902382868370348, "t_star_s": 5.9023828683703486e-05, "v_mps": 30.0 }, { "coherence_time_rho05_ms": 0.02592108334306887, "crossing_tight": true, "f_doppler_hz": 9339.794665548257, "t_star_ms": 0.017707148605111047, "t_star_s": 1.7707148605111047e-05, "v_mps": 100.0 } ], "t_star_times_v_constant": true, "wall_snr_db": 0.14389856847455368 }, "1e-06": { "rows": [ { "coherence_time_rho05_ms": 2.592108334306887, "crossing_tight": true, "f_doppler_hz": 93.39794665548257, "t_star_ms": 1.7059309816558772, "t_star_s": 0.0017059309816558773, "v_mps": 1.0 }, { "coherence_time_rho05_ms": 0.8640361114356289, "crossing_tight": true, "f_doppler_hz": 280.19383996644774, "t_star_ms": 0.568643660551959, "t_star_s": 0.000568643660551959, "v_mps": 3.0 }, { "coherence_time_rho05_ms": 0.2592108334306887, "crossing_tight": true, "f_doppler_hz": 933.9794665548258, "t_star_ms": 0.1705930981655877, "t_star_s": 0.00017059309816558772, "v_mps": 10.0 }, { "coherence_time_rho05_ms": 0.0864036111435629, "crossing_tight": true, "f_doppler_hz": 2801.9383996644774, "t_star_ms": 0.05686436605519591, "t_star_s": 5.686436605519591e-05, "v_mps": 30.0 }, { "coherence_time_rho05_ms": 0.02592108334306887, "crossing_tight": true, "f_doppler_hz": 9339.794665548257, "t_star_ms": 0.01705930981655877, "t_star_s": 1.705930981655877e-05, "v_mps": 100.0 } ], "t_star_times_v_constant": true, "wall_snr_db": 0.550073860807502 } }, "3.5GHz": { "1e-05": { "rows": [ { "coherence_time_rho05_ms": 20.736866674455097, "crossing_tight": true, "f_doppler_hz": 11.674743331935321, "t_star_ms": 14.165718884088836, "t_star_s": 0.014165718884088836, "v_mps": 1.0 }, { "coherence_time_rho05_ms": 6.912288891485031, "crossing_tight": true, "f_doppler_hz": 35.02422999580597, "t_star_ms": 4.721906294696279, "t_star_s": 0.004721906294696278, "v_mps": 3.0 }, { "coherence_time_rho05_ms": 2.0736866674455094, "crossing_tight": true, "f_doppler_hz": 116.74743331935322, "t_star_ms": 1.4165718884088838, "t_star_s": 0.0014165718884088837, "v_mps": 10.0 }, { "coherence_time_rho05_ms": 0.6912288891485032, "crossing_tight": true, "f_doppler_hz": 350.2422999580597, "t_star_ms": 0.47219062946962786, "t_star_s": 0.0004721906294696279, "v_mps": 30.0 }, { "coherence_time_rho05_ms": 0.20736866674455096, "crossing_tight": true, "f_doppler_hz": 1167.4743331935322, "t_star_ms": 0.14165718884088838, "t_star_s": 0.00014165718884088838, "v_mps": 100.0 } ], "t_star_times_v_constant": true, "wall_snr_db": 0.14389856847455368 }, "1e-06": { "rows": [ { "coherence_time_rho05_ms": 20.736866674455097, "crossing_tight": true, "f_doppler_hz": 11.674743331935321, "t_star_ms": 13.647447853247018, "t_star_s": 0.013647447853247018, "v_mps": 1.0 }, { "coherence_time_rho05_ms": 6.912288891485031, "crossing_tight": true, "f_doppler_hz": 35.02422999580597, "t_star_ms": 4.549149284415672, "t_star_s": 0.004549149284415672, "v_mps": 3.0 }, { "coherence_time_rho05_ms": 2.0736866674455094, "crossing_tight": true, "f_doppler_hz": 116.74743331935322, "t_star_ms": 1.3647447853247017, "t_star_s": 0.0013647447853247017, "v_mps": 10.0 }, { "coherence_time_rho05_ms": 0.6912288891485032, "crossing_tight": true, "f_doppler_hz": 350.2422999580597, "t_star_ms": 0.4549149284415673, "t_star_s": 0.0004549149284415673, "v_mps": 30.0 }, { "coherence_time_rho05_ms": 0.20736866674455096, "crossing_tight": true, "f_doppler_hz": 1167.4743331935322, "t_star_ms": 0.13647447853247016, "t_star_s": 0.00013647447853247017, "v_mps": 100.0 } ], "t_star_times_v_constant": true, "wall_snr_db": 0.550073860807502 } } }, "gate_species": { "bfs_candidate_holds": true, "bfs_candidate_states": 16, "bfs_naive_refuted": true, "bfs_naive_states": 12, "bridge_external": true, "note": "tracked OUTSIDE essentiality_bridge _reg() and OUTSIDE REGISTRY by design \u2014 the pinned n_machine_checked==8 and canonical-8 ledgers stay byte-identical; this leg carries its own two-engine check", "two_engine_ok": true, "z3_inductive_proven": true }, "honest_scope": "The staleness floor T* is EXACT within the declared model: isotropic Jakes/Clarke scattering + matched-beam outdated-CSI loss + the exact AWGN sphere-packing wall as the target. The crossing is tight both sides, the inverse-velocity law is exact on the grid, the order is z3-certified, and the gate species is two-engine (BFS + z3 UNBOUNDED inductive). MODEL, NOT OTA.", "physics": { "aging_loss": "gamma_eff = rho^2*g / (1 + (1-rho^2)*g) (matched-beam outdated CSI)", "autocorrelation": "Jakes/Clarke rho(tau) = J0(2*pi*f_D*tau)", "convention": "T* is the EXACT first J0 crossing on the principal branch \u2014 not the ~0.423/f_D rule of thumb (a different convention)", "doppler": "f_D = v * f_c / c" }, "schema": "staleness-floor-v93", "skipped": false, "wall_banner_untouched": { "checked": true, "reference": { "slope": 5.673, "wall_1e5": 18.7858, "wall_1e6": 26.4421 }, "slope_db_per_decade": 5.673, "unchanged": true, "wall_1e5_db": 18.7858, "wall_1e6_db": 26.4421 }, "z3_ordering_lemma": { "name": "staleness_floor_ordering", "proven": true, "tier": "z3-lra" } }