{ "claim_id": "EDITION_DIFF", "claim_name": "Every charter row: v0.4.1 against v0.5.0", "snapshot_id": "2026-11-05", "previous_version": "v0.4.1", "rows": [ { "row": "C1", "file": "C1_substrate_size.json", "v041_charter_badge": "PASS", "v041_charter_result_text": "92,160 exact", "v041_json_present": true, "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": [ { "label": "n_measured", "v041": 92160, "v050": 92160, "equal": true } ] }, { "row": "C2", "file": "C2_involutions_commutation.json", "v041_charter_badge": "PASS", "v041_charter_result_text": "", "v041_json_present": true, "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": [ { "label": "n_tau_fixed_points", "v041": 64, "v050": 64, "equal": true } ] }, { "row": "C3", "file": "C3_V4_invariance_eta.json", "v041_charter_badge": "PASS", "v041_charter_result_text": "η = 2.466e-15", "v041_json_present": true, "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": [ { "label": "leakage_eta", "v041": 2.4661498824651675e-15, "v050": 1.8238881047104877e-15, "equal": false } ] }, { "row": "C4", "file": "C4_V4_sigma_invariance.json", "v041_charter_badge": "PASS", "v041_charter_result_text": "max = 2.89e-15", "v041_json_present": true, "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": [ { "label": "max_abs_sigma_residual", "v041": 2.886579864025407e-15, "v050": 2.220446049250313e-15, "equal": false } ] }, { "row": "C5", "file": "C5_klein4_consistency.json", "v041_charter_badge": "PASS", "v041_charter_result_text": "", "v041_json_present": true, "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": [ { "label": "sigma_equivariance_n_pass", "v041": 46492, "v050": 46492, "equal": true } ] }, { "row": "C6", "file": "C6_klein4_orbit_invariance.json", "v041_charter_badge": "PASS", "v041_charter_result_text": "max spread = 5.66e-15", "v041_json_present": true, "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": [ { "label": "max_within_orbit_spread", "v041": 5.662137425588298e-15, "v050": 6.9111383282915995e-15, "equal": false } ] }, { "row": "C7a", "file": "C7a_frozen_catalog_reproducibility.json", "v041_charter_badge": "PASS", "v041_charter_result_text": "+0.241036 (dev 3.6e-5)", "v041_json_present": true, "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": [ { "label": "p_sigma_leo_measured", "v041": 0.24103587644177593, "v050": 0.24103587644177593, "equal": true } ] }, { "row": "C8", "file": "C8_orthogonal_control.json", "v041_charter_badge": "PASS", "v041_charter_result_text": "ratio = 1.970 → SUBSTRATE_REAL", "v041_json_present": true, "v041_json_verdict": "SUBSTRATE_REAL_WORK", "v050_verdict": "PASS", "headline": [ { "label": "ratio", "v041": 1.970344528738832, "v050": 1.970344528738832, "equal": true } ] }, { "row": "S1", "file": "S1_envelope_detection.json", "v041_charter_badge": "PASS", "v041_charter_result_text": "6/6 canonical", "v041_json_present": true, "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": [ { "label": "n_canonical_match", "v041": 6, "v050": 6, "equal": true }, { "label": "n_canonical", "v041": 6, "v050": 6, "equal": true }, { "label": "n_fallback", "v041": 3, "v050": 3, "equal": true } ] }, { "row": "S2", "file": "S2_sigma_mag_bins.json", "v041_charter_badge": "PASS", "v041_charter_result_text": "238/238 bins exact", "v041_json_present": true, "v041_json_verdict": "PASS_WITH_WARN", "v050_verdict": "PASS_WITH_WARN", "headline": [ { "label": "exact_bin_mean_matches", "v041": 238, "v050": 238, "equal": true } ] }, { "row": "S3", "file": "S3_rho_grid_cells.json", "v041_charter_badge": "PASS", "v041_charter_result_text": "2,894/2,894 cells exact", "v041_json_present": true, "v041_json_verdict": "PASS_WITH_WARN", "v050_verdict": "PASS_WITH_WARN", "headline": [ { "label": "exact_cell_mean_matches", "v041": 2894, "v050": 2894, "equal": true } ] }, { "row": "S4", "file": "S4_sls_arithmetic.json", "v041_charter_badge": "PASS", "v041_charter_result_text": "4/4 cases live", "v041_json_present": true, "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": [ { "label": "n_cases_pass", "v041": 4, "v050": 4, "equal": true }, { "label": "n_cases", "v041": 4, "v050": 4, "equal": true } ] }, { "row": "S5", "file": "S5_envelope_alternatives.json", "v041_charter_badge": "PASS", "v041_charter_result_text": "6/6 envelopes", "v041_json_present": true, "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": [ { "label": "n_envelopes_set_match", "v041": 6, "v050": 6, "equal": true }, { "label": "n_envelopes", "v041": 6, "v050": 6, "equal": true } ] }, { "row": "S6", "file": "S6_cascade_triggers.json", "v041_charter_badge": "PASS", "v041_charter_result_text": "5/5 queries; 23/23 cospar resolved", "v041_json_present": true, "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": [ { "label": "n_queries_pass", "v041": 5, "v050": 5, "equal": true }, { "label": "n_queries", "v041": 5, "v050": 5, "equal": true }, { "label": "n_cospar_verified", "v041": 23, "v050": 23, "equal": true }, { "label": "n_triggers", "v041": 23, "v050": 23, "equal": true } ] }, { "row": "S7", "file": "S7_safe_harbors.json", "v041_charter_badge": "PASS", "v041_charter_result_text": "4/4 queries; real customer wins", "v041_json_present": true, "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": [ { "label": "n_queries_pass", "v041": 4, "v050": 4, "equal": true }, { "label": "n_queries", "v041": 4, "v050": 4, "equal": true } ] }, { "row": "F1", "file": "F1_loss_response_calibration.json", "v041_charter_badge": "PASS", "v041_charter_result_text": "3/3 events", "v041_json_present": true, "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": [ { "label": "n_passed", "v041": 3, "v050": 3, "equal": true } ] }, { "row": "F2", "file": "F2_kp_ap_archive_frequencies.json", "v041_charter_badge": "PASS", "v041_charter_result_text": "1932-2026; 34,451 days", "v041_json_present": true, "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": [ { "label": "n_days", "v041": 34451, "v050": 34642, "equal": false }, { "label": "year_max", "v041": 2026, "v050": 2026, "equal": true } ] }, { "row": "F2b", "file": "F2b_archive_continuity.json", "v041_charter_badge": null, "v041_charter_result_text": null, "v041_json_present": false, "v041_json_verdict": null, "v050_verdict": "PASS", "headline": [ { "label": "D2_changed", "v041": null, "v050": 0, "equal": null } ] }, { "row": "F3", "file": "F3_daily_live_substrate_state.json", "v041_charter_badge": "PASS_INFO", "v041_charter_result_text": "wiring task", "v041_json_present": true, "v041_json_verdict": "PASS_INFORMATIONAL", "v050_verdict": "FAIL", "headline": [ { "label": "ipr_v2", "v041": null, "v050": 202.59064119464585, "equal": null } ] }, { "row": "D1", "file": "D1_king_hele_calibration.json", "v041_charter_badge": "CLOSED VIA M2", "v041_charter_result_text": "", "v041_json_present": true, "v041_json_verdict": "FAIL", "v050_verdict": "FAIL", "headline": [ { "label": "n_cases_pass", "v041": 1, "v050": 1, "equal": true }, { "label": "n_cases", "v041": 3, "v050": 3, "equal": true } ] }, { "row": "D2", "file": "D2_SLH_integration.json", "v041_charter_badge": "PASS", "v041_charter_result_text": "exact symmetry", "v041_json_present": true, "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": [ { "label": "linear_scaling_ratio", "v041": 2.0, "v050": 2.0, "equal": true } ] }, { "row": "D3", "file": "D3_disposal_baseline_percentiles.json", "v041_charter_badge": "PASS_INFO", "v041_charter_result_text": "Phase 5.1 cohort", "v041_json_present": true, "v041_json_verdict": "PASS_INFORMATIONAL", "v050_verdict": "PASS_INFORMATIONAL", "headline": [ { "label": "n_samples", "v041": 0, "v050": 0, "equal": true } ] }, { "row": "A4", "file": "SWADI_snapshot_demo.json", "v041_charter_badge": "PENDING", "v041_charter_result_text": "", "v041_json_present": true, "v041_json_verdict": null, "v050_verdict": "FAIL", "headline": [ { "label": "n_in_band", "v041": null, "v050": 8, "equal": null } ] }, { "row": "A13", "file": "A15_A16_A17_storm_response.json", "v041_charter_badge": "PASS", "v041_charter_result_text": "42 quality fits, R²=0.967", "v041_json_present": true, "v041_json_verdict": null, "v050_verdict": "PASS", "headline": [ { "label": "max_fd_rel_err", "v041": null, "v050": 5.275666158513525e-06, "equal": null } ] }, { "row": "A15", "file": "A15_A16_A17_storm_response.json", "v041_charter_badge": "PASS_PARTIAL", "v041_charter_result_text": "81% positive sign; top 8 r=+0.61–0.94", "v041_json_present": true, "v041_json_verdict": "PASS_PARTIAL", "v050_verdict": "PASS_PARTIAL", "headline": [ { "label": "pct_positive", "v041": 0.8095238095238095, "v050": 0.8095238095238095, "equal": true } ] }, { "row": "A16", "file": "A15_A16_A17_storm_response.json", "v041_charter_badge": "PASS_PARTIAL", "v041_charter_result_text": "72% positive; super-pair r=+0.949", "v041_json_present": true, "v041_json_verdict": "PASS_PARTIAL", "v050_verdict": "PASS_PARTIAL", "headline": [ { "label": "pct_positive", "v041": 0.7212389380530974, "v050": 0.7212389380530974, "equal": true } ] }, { "row": "A17", "file": "A15_A16_A17_storm_response.json", "v041_charter_badge": "PASS", "v041_charter_result_text": "250–450 km strict monotonic", "v041_json_present": true, "v041_json_verdict": "PASS", "v050_verdict": "FAIL", "headline": [ { "label": "monotonic_ok_analyzer", "v041": true, "v050": true, "equal": true } ] }, { "row": "A8", "file": "M2_time_machine_gauntlet.json", "v041_charter_badge": "CLOSED VIA M2", "v041_charter_result_text": "", "v041_json_present": true, "v041_json_verdict": null, "v050_verdict": "FAIL", "headline": [ { "label": "M2a_n_pass", "v041": 0, "v050": 0, "equal": true } ] }, { "row": "M1", "file": "M1_time_machine_reproducibility.json", "v041_charter_badge": "PENDING", "v041_charter_result_text": "", "v041_json_present": false, "v041_json_verdict": null, "v050_verdict": "PASS", "headline": [ { "label": "part_b_n_bit_identical", "v041": null, "v050": 30, "equal": null } ] }, { "row": "M2", "file": "M2_time_machine_gauntlet.json", "v041_charter_badge": "PASS_PARTIAL", "v041_charter_result_text": "gauntlet detects own structural limit; closure via M6 envelope-containment", "v041_json_present": true, "v041_json_verdict": null, "v050_verdict": "FAIL", "headline": [ { "label": "M2a_n_pass", "v041": 0, "v050": 0, "equal": true } ] }, { "row": "M3", "file": "MTBOF_envelope_canonical.json", "v041_charter_badge": "PASS", "v041_charter_result_text": "600 km / A_m=0.01 → 29.65 / 13.80 / 9.71 yr (3.05×)", "v041_json_present": true, "v041_json_verdict": "FAIL", "v050_verdict": "FAIL", "headline": [ { "label": "p10_600km", "v041": 29.6518254177891, "v050": 29.618144234786964, "equal": false }, { "label": "p50_600km", "v041": 13.798471905055179, "v050": 13.439189011711555, "equal": false }, { "label": "p90_600km", "v041": 9.711001065175607, "v050": 9.797276876490296, "equal": false } ] }, { "row": "M4", "file": "M4_archetype_invariance.json", "v041_charter_badge": "PENDING", "v041_charter_result_text": "", "v041_json_present": false, "v041_json_verdict": null, "v050_verdict": "FAIL", "headline": [ { "label": "n_pass", "v041": null, "v050": 0, "equal": null } ] }, { "row": "M5", "file": "M5_lifecycle_endpoint.json", "v041_charter_badge": "PENDING", "v041_charter_result_text": "", "v041_json_present": false, "v041_json_verdict": null, "v050_verdict": "NOT_IMPLEMENTED", "headline": [] }, { "row": "M6", "file": "MTBOF_envelope_canonical.json", "v041_charter_badge": "PASS_PARTIAL", "v041_charter_result_text": "1 of 3 inside (ROSAT); 2 of 3 outside disclosed", "v041_json_present": true, "v041_json_verdict": null, "v050_verdict": "PASS", "headline": [ { "label": "n_inside", "v041": 1, "v050": 3, "equal": false }, { "label": "n_assets", "v041": 3, "v050": 3, "equal": true } ] }, { "row": "T1", "file": "T_STATE_COHORT_v0.4.1.json", "v041_charter_badge": "PASS", "v041_charter_result_text": "reference geometries reproduce", "v041_json_present": true, "v041_json_verdict": null, "v050_verdict": "PASS", "headline": [] }, { "row": "T2", "file": "T_STATE_COHORT_v0.4.1.json", "v041_charter_badge": "PASS", "v041_charter_result_text": "derivation reproducible", "v041_json_present": true, "v041_json_verdict": null, "v050_verdict": "PASS", "headline": [] }, { "row": "T3", "file": "T_STATE_COHORT_v0.4.1.json", "v041_charter_badge": "PASS", "v041_charter_result_text": "α range 0.99–1.20; weighted +15.84%", "v041_json_present": true, "v041_json_verdict": null, "v050_verdict": "PASS", "headline": [ { "label": "weighted_pct", "v041": 15.843516969131342, "v050": 15.843516969131342, "equal": true } ] }, { "row": "Op1", "file": "Op1_snapshot_atomicity.json", "v041_charter_badge": "PASS", "v041_charter_result_text": "ready-flag is LAST write", "v041_json_present": true, "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": [ { "label": "n_contracts_passed", "v041": 5, "v050": 5, "equal": true } ] }, { "row": "Op2", "file": "Op2_lookup_contract.json", "v041_charter_badge": null, "v041_charter_result_text": null, "v041_json_present": false, "v041_json_verdict": null, "v050_verdict": "FAIL", "headline": [] }, { "row": "DEMO-SCP", "file": "SUBSTRATE_COUPLING_PATHWAY_demo.json", "v041_charter_badge": "DEMO_DATA", "v041_charter_result_text": "1,580 fleet members coupling > 5000", "v041_json_present": true, "v041_json_verdict": null, "v050_verdict": null, "headline": [ { "label": "operator_fleet_size", "v041": 11422, "v050": 11422, "equal": true } ] }, { "row": "DEMO-INT", "file": "INTERVENTION_DEMO_p_sigma_operator_subset.json", "v041_charter_badge": "DEMO_DATA", "v041_charter_result_text": "", "v041_json_present": true, "v041_json_verdict": null, "v050_verdict": null, "headline": [ { "label": "delta_abs", "v041": -1.8597247390395033e-06, "v050": -1.8597247390395033e-06, "equal": true } ] }, { "row": "DEMO-MTBOF", "file": "MTBOF_envelope_canonical.json", "v041_charter_badge": "DEMO_DATA", "v041_charter_result_text": "M3 PASS (3.05×); M6 1 of 3 inside, 2 of 3 disclosed", "v041_json_present": true, "v041_json_verdict": null, "v050_verdict": null, "headline": [ { "label": "ratio_600km", "v041": 3.0534262347187684, "v050": 3.0230996437243847, "equal": false } ] }, { "row": "DEMO-SWADI", "file": "SWADI_snapshot_demo.json", "v041_charter_badge": "DEMO_DATA", "v041_charter_result_text": "", "v041_json_present": true, "v041_json_verdict": null, "v050_verdict": null, "headline": [ { "label": "n_populated", "v041": null, "v050": 9, "equal": null } ] } ], "by_row": { "C1": { "v041_charter_badge": "PASS", "v041_charter_result_text": "92,160 exact", "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": { "n_measured": { "v041": 92160, "v050": 92160, "equal": true } } }, "C2": { "v041_charter_badge": "PASS", "v041_charter_result_text": "", "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": { "n_tau_fixed_points": { "v041": 64, "v050": 64, "equal": true } } }, "C3": { "v041_charter_badge": "PASS", "v041_charter_result_text": "η = 2.466e-15", "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": { "leakage_eta": { "v041": 2.4661498824651675e-15, "v050": 1.8238881047104877e-15, "equal": false } } }, "C4": { "v041_charter_badge": "PASS", "v041_charter_result_text": "max = 2.89e-15", "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": { "max_abs_sigma_residual": { "v041": 2.886579864025407e-15, "v050": 2.220446049250313e-15, "equal": false } } }, "C5": { "v041_charter_badge": "PASS", "v041_charter_result_text": "", "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": { "sigma_equivariance_n_pass": { "v041": 46492, "v050": 46492, "equal": true } } }, "C6": { "v041_charter_badge": "PASS", "v041_charter_result_text": "max spread = 5.66e-15", "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": { "max_within_orbit_spread": { "v041": 5.662137425588298e-15, "v050": 6.9111383282915995e-15, "equal": false } } }, "C7a": { "v041_charter_badge": "PASS", "v041_charter_result_text": "+0.241036 (dev 3.6e-5)", "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": { "p_sigma_leo_measured": { "v041": 0.24103587644177593, "v050": 0.24103587644177593, "equal": true } } }, "C8": { "v041_charter_badge": "PASS", "v041_charter_result_text": "ratio = 1.970 → SUBSTRATE_REAL", "v041_json_verdict": "SUBSTRATE_REAL_WORK", "v050_verdict": "PASS", "headline": { "ratio": { "v041": 1.970344528738832, "v050": 1.970344528738832, "equal": true } } }, "S1": { "v041_charter_badge": "PASS", "v041_charter_result_text": "6/6 canonical", "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": { "n_canonical_match": { "v041": 6, "v050": 6, "equal": true }, "n_canonical": { "v041": 6, "v050": 6, "equal": true }, "n_fallback": { "v041": 3, "v050": 3, "equal": true } } }, "S2": { "v041_charter_badge": "PASS", "v041_charter_result_text": "238/238 bins exact", "v041_json_verdict": "PASS_WITH_WARN", "v050_verdict": "PASS_WITH_WARN", "headline": { "exact_bin_mean_matches": { "v041": 238, "v050": 238, "equal": true } } }, "S3": { "v041_charter_badge": "PASS", "v041_charter_result_text": "2,894/2,894 cells exact", "v041_json_verdict": "PASS_WITH_WARN", "v050_verdict": "PASS_WITH_WARN", "headline": { "exact_cell_mean_matches": { "v041": 2894, "v050": 2894, "equal": true } } }, "S4": { "v041_charter_badge": "PASS", "v041_charter_result_text": "4/4 cases live", "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": { "n_cases_pass": { "v041": 4, "v050": 4, "equal": true }, "n_cases": { "v041": 4, "v050": 4, "equal": true } } }, "S5": { "v041_charter_badge": "PASS", "v041_charter_result_text": "6/6 envelopes", "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": { "n_envelopes_set_match": { "v041": 6, "v050": 6, "equal": true }, "n_envelopes": { "v041": 6, "v050": 6, "equal": true } } }, "S6": { "v041_charter_badge": "PASS", "v041_charter_result_text": "5/5 queries; 23/23 cospar resolved", "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": { "n_queries_pass": { "v041": 5, "v050": 5, "equal": true }, "n_queries": { "v041": 5, "v050": 5, "equal": true }, "n_cospar_verified": { "v041": 23, "v050": 23, "equal": true }, "n_triggers": { "v041": 23, "v050": 23, "equal": true } } }, "S7": { "v041_charter_badge": "PASS", "v041_charter_result_text": "4/4 queries; real customer wins", "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": { "n_queries_pass": { "v041": 4, "v050": 4, "equal": true }, "n_queries": { "v041": 4, "v050": 4, "equal": true } } }, "F1": { "v041_charter_badge": "PASS", "v041_charter_result_text": "3/3 events", "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": { "n_passed": { "v041": 3, "v050": 3, "equal": true } } }, "F2": { "v041_charter_badge": "PASS", "v041_charter_result_text": "1932-2026; 34,451 days", "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": { "n_days": { "v041": 34451, "v050": 34642, "equal": false }, "year_max": { "v041": 2026, "v050": 2026, "equal": true } } }, "F2b": { "v041_charter_badge": null, "v041_charter_result_text": null, "v041_json_verdict": null, "v050_verdict": "PASS", "headline": { "D2_changed": { "v041": null, "v050": 0, "equal": null } } }, "F3": { "v041_charter_badge": "PASS_INFO", "v041_charter_result_text": "wiring task", "v041_json_verdict": "PASS_INFORMATIONAL", "v050_verdict": "FAIL", "headline": { "ipr_v2": { "v041": null, "v050": 202.59064119464585, "equal": null } } }, "D1": { "v041_charter_badge": "CLOSED VIA M2", "v041_charter_result_text": "", "v041_json_verdict": "FAIL", "v050_verdict": "FAIL", "headline": { "n_cases_pass": { "v041": 1, "v050": 1, "equal": true }, "n_cases": { "v041": 3, "v050": 3, "equal": true } } }, "D2": { "v041_charter_badge": "PASS", "v041_charter_result_text": "exact symmetry", "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": { "linear_scaling_ratio": { "v041": 2.0, "v050": 2.0, "equal": true } } }, "D3": { "v041_charter_badge": "PASS_INFO", "v041_charter_result_text": "Phase 5.1 cohort", "v041_json_verdict": "PASS_INFORMATIONAL", "v050_verdict": "PASS_INFORMATIONAL", "headline": { "n_samples": { "v041": 0, "v050": 0, "equal": true } } }, "A4": { "v041_charter_badge": "PENDING", "v041_charter_result_text": "", "v041_json_verdict": null, "v050_verdict": "FAIL", "headline": { "n_in_band": { "v041": null, "v050": 8, "equal": null } } }, "A13": { "v041_charter_badge": "PASS", "v041_charter_result_text": "42 quality fits, R²=0.967", "v041_json_verdict": null, "v050_verdict": "PASS", "headline": { "max_fd_rel_err": { "v041": null, "v050": 5.275666158513525e-06, "equal": null } } }, "A15": { "v041_charter_badge": "PASS_PARTIAL", "v041_charter_result_text": "81% positive sign; top 8 r=+0.61–0.94", "v041_json_verdict": "PASS_PARTIAL", "v050_verdict": "PASS_PARTIAL", "headline": { "pct_positive": { "v041": 0.8095238095238095, "v050": 0.8095238095238095, "equal": true } } }, "A16": { "v041_charter_badge": "PASS_PARTIAL", "v041_charter_result_text": "72% positive; super-pair r=+0.949", "v041_json_verdict": "PASS_PARTIAL", "v050_verdict": "PASS_PARTIAL", "headline": { "pct_positive": { "v041": 0.7212389380530974, "v050": 0.7212389380530974, "equal": true } } }, "A17": { "v041_charter_badge": "PASS", "v041_charter_result_text": "250–450 km strict monotonic", "v041_json_verdict": "PASS", "v050_verdict": "FAIL", "headline": { "monotonic_ok_analyzer": { "v041": true, "v050": true, "equal": true } } }, "A8": { "v041_charter_badge": "CLOSED VIA M2", "v041_charter_result_text": "", "v041_json_verdict": null, "v050_verdict": "FAIL", "headline": { "M2a_n_pass": { "v041": 0, "v050": 0, "equal": true } } }, "M1": { "v041_charter_badge": "PENDING", "v041_charter_result_text": "", "v041_json_verdict": null, "v050_verdict": "PASS", "headline": { "part_b_n_bit_identical": { "v041": null, "v050": 30, "equal": null } } }, "M2": { "v041_charter_badge": "PASS_PARTIAL", "v041_charter_result_text": "gauntlet detects own structural limit; closure via M6 envelope-containment", "v041_json_verdict": null, "v050_verdict": "FAIL", "headline": { "M2a_n_pass": { "v041": 0, "v050": 0, "equal": true } } }, "M3": { "v041_charter_badge": "PASS", "v041_charter_result_text": "600 km / A_m=0.01 → 29.65 / 13.80 / 9.71 yr (3.05×)", "v041_json_verdict": "FAIL", "v050_verdict": "FAIL", "headline": { "p10_600km": { "v041": 29.6518254177891, "v050": 29.618144234786964, "equal": false }, "p50_600km": { "v041": 13.798471905055179, "v050": 13.439189011711555, "equal": false }, "p90_600km": { "v041": 9.711001065175607, "v050": 9.797276876490296, "equal": false } } }, "M4": { "v041_charter_badge": "PENDING", "v041_charter_result_text": "", "v041_json_verdict": null, "v050_verdict": "FAIL", "headline": { "n_pass": { "v041": null, "v050": 0, "equal": null } } }, "M5": { "v041_charter_badge": "PENDING", "v041_charter_result_text": "", "v041_json_verdict": null, "v050_verdict": "NOT_IMPLEMENTED", "headline": {} }, "M6": { "v041_charter_badge": "PASS_PARTIAL", "v041_charter_result_text": "1 of 3 inside (ROSAT); 2 of 3 outside disclosed", "v041_json_verdict": null, "v050_verdict": "PASS", "headline": { "n_inside": { "v041": 1, "v050": 3, "equal": false }, "n_assets": { "v041": 3, "v050": 3, "equal": true } } }, "T1": { "v041_charter_badge": "PASS", "v041_charter_result_text": "reference geometries reproduce", "v041_json_verdict": null, "v050_verdict": "PASS", "headline": {} }, "T2": { "v041_charter_badge": "PASS", "v041_charter_result_text": "derivation reproducible", "v041_json_verdict": null, "v050_verdict": "PASS", "headline": {} }, "T3": { "v041_charter_badge": "PASS", "v041_charter_result_text": "α range 0.99–1.20; weighted +15.84%", "v041_json_verdict": null, "v050_verdict": "PASS", "headline": { "weighted_pct": { "v041": 15.843516969131342, "v050": 15.843516969131342, "equal": true } } }, "Op1": { "v041_charter_badge": "PASS", "v041_charter_result_text": "ready-flag is LAST write", "v041_json_verdict": "PASS", "v050_verdict": "PASS", "headline": { "n_contracts_passed": { "v041": 5, "v050": 5, "equal": true } } }, "Op2": { "v041_charter_badge": null, "v041_charter_result_text": null, "v041_json_verdict": null, "v050_verdict": "FAIL", "headline": {} }, "DEMO-SCP": { "v041_charter_badge": "DEMO_DATA", "v041_charter_result_text": "1,580 fleet members coupling > 5000", "v041_json_verdict": null, "v050_verdict": null, "headline": { "operator_fleet_size": { "v041": 11422, "v050": 11422, "equal": true } } }, "DEMO-INT": { "v041_charter_badge": "DEMO_DATA", "v041_charter_result_text": "", "v041_json_verdict": null, "v050_verdict": null, "headline": { "delta_abs": { "v041": -1.8597247390395033e-06, "v050": -1.8597247390395033e-06, "equal": true } } }, "DEMO-MTBOF": { "v041_charter_badge": "DEMO_DATA", "v041_charter_result_text": "M3 PASS (3.05×); M6 1 of 3 inside, 2 of 3 disclosed", "v041_json_verdict": null, "v050_verdict": null, "headline": { "ratio_600km": { "v041": 3.0534262347187684, "v050": 3.0230996437243847, "equal": false } } }, "DEMO-SWADI": { "v041_charter_badge": "DEMO_DATA", "v041_charter_result_text": "", "v041_json_verdict": null, "v050_verdict": null, "headline": { "n_populated": { "v041": null, "v050": 9, "equal": null } } } }, "n_rows_headline_equal": 25, "n_rows_with_headline_in_both": 32, "n_rows": 43, "tolerance": "none: a record of change, not a pass/fail claim", "verdict": "INFORMATIONAL", "validator_run_at_utc": "2026-11-06T00:10:36.447967+00:00", "charter_reference": "https://kessler.latticeos.org/audit/v0.5.0/#changes", "edition": { "audit_version": "v0.5.0", "snapshot_id": "2026-11-05", "catalog_snapshot_id": "2026-04-28", "run_mode": "local", "leverage_map_basename": "leverage_map_v2_full_results.csv", "leverage_map_sha256": "47f32fd6942384e282c2691bb4f8a0142be07f4843dfb10fc27dfcd7027cdd40", "gfz_archive_basename": "noaa_kp_ap_historical.csv", "gfz_archive_sha256": "6b811c8a0395abe6d97e613504414eaa9bb7c3702ae841f78c42690827474812", "code_commit": "3911a71", "compiler_version": "0.4.0-locked", "run_mode_note": "Dry-run: compile_snapshot wrote its lookups into an in-memory Firestore stand-in and the backend ran in-process on them. No production Firestore, Auth, or deployed endpoint was read or written." }, "charter_figures": { "by_row.A13.v041_charter_badge|": { "path": "by_row.A13.v041_charter_badge", "format": "str", "text": "PASS" }, "by_row.A13.v041_charter_result_text|": { "path": "by_row.A13.v041_charter_result_text", "format": "str", "text": "42 quality fits, R²=0.967" }, "by_row.A15.v041_charter_badge|": { "path": "by_row.A15.v041_charter_badge", "format": "str", "text": "PASS_PARTIAL" }, "by_row.A16.v041_charter_badge|": { "path": "by_row.A16.v041_charter_badge", "format": "str", "text": "PASS_PARTIAL" }, "by_row.A17.v041_charter_badge|": { "path": "by_row.A17.v041_charter_badge", "format": "str", "text": "PASS" }, "by_row.A8.v041_charter_badge|": { "path": "by_row.A8.v041_charter_badge", "format": "str", "text": "CLOSED VIA M2" }, "by_row.C1.v041_charter_badge|": { "path": "by_row.C1.v041_charter_badge", "format": "str", "text": "PASS" }, "by_row.C2.v041_charter_badge|": { "path": "by_row.C2.v041_charter_badge", "format": "str", "text": "PASS" }, "by_row.C3.v041_charter_badge|": { "path": "by_row.C3.v041_charter_badge", "format": "str", "text": "PASS" }, "by_row.C4.v041_charter_badge|": { "path": "by_row.C4.v041_charter_badge", "format": "str", "text": "PASS" }, "by_row.C5.v041_charter_badge|": { "path": "by_row.C5.v041_charter_badge", "format": "str", "text": "PASS" }, "by_row.C6.v041_charter_badge|": { "path": "by_row.C6.v041_charter_badge", "format": "str", "text": "PASS" }, "by_row.C7a.v041_charter_badge|": { "path": "by_row.C7a.v041_charter_badge", "format": "str", "text": "PASS" }, "by_row.C8.v041_charter_badge|": { "path": "by_row.C8.v041_charter_badge", "format": "str", "text": "PASS" }, "by_row.D1.headline.n_cases.v050|d": { "path": "by_row.D1.headline.n_cases.v050", "format": "d", "text": "3" }, "by_row.D1.headline.n_cases_pass.v050|d": { "path": "by_row.D1.headline.n_cases_pass.v050", "format": "d", "text": "1" }, "by_row.D1.v041_charter_badge|": { "path": "by_row.D1.v041_charter_badge", "format": "str", "text": "CLOSED VIA M2" }, "by_row.D1.v041_json_verdict|": { "path": "by_row.D1.v041_json_verdict", "format": "str", "text": "FAIL" }, "by_row.D2.v041_charter_badge|": { "path": "by_row.D2.v041_charter_badge", "format": "str", "text": "PASS" }, "by_row.D3.v041_charter_badge|": { "path": "by_row.D3.v041_charter_badge", "format": "str", "text": "PASS_INFO" }, "by_row.F1.v041_charter_badge|": { "path": "by_row.F1.v041_charter_badge", "format": "str", "text": "PASS" }, "by_row.F2.v041_charter_badge|": { "path": "by_row.F2.v041_charter_badge", "format": "str", "text": "PASS" }, "by_row.F3.v041_charter_badge|": { "path": "by_row.F3.v041_charter_badge", "format": "str", "text": "PASS_INFO" }, "by_row.M2.headline.M2a_n_pass.v041|d": { "path": "by_row.M2.headline.M2a_n_pass.v041", "format": "d", "text": "0" }, "by_row.M2.v041_charter_badge|": { "path": "by_row.M2.v041_charter_badge", "format": "str", "text": "PASS_PARTIAL" }, "by_row.M3.headline.p10_600km.v041|.2f": { "path": "by_row.M3.headline.p10_600km.v041", "format": ".2f", "text": "29.65" }, "by_row.M3.headline.p10_600km.v050|.2f": { "path": "by_row.M3.headline.p10_600km.v050", "format": ".2f", "text": "29.62" }, "by_row.M3.headline.p50_600km.v041|.2f": { "path": "by_row.M3.headline.p50_600km.v041", "format": ".2f", "text": "13.80" }, "by_row.M3.headline.p50_600km.v050|.2f": { "path": "by_row.M3.headline.p50_600km.v050", "format": ".2f", "text": "13.44" }, "by_row.M3.headline.p90_600km.v041|.2f": { "path": "by_row.M3.headline.p90_600km.v041", "format": ".2f", "text": "9.71" }, "by_row.M3.headline.p90_600km.v050|.2f": { "path": "by_row.M3.headline.p90_600km.v050", "format": ".2f", "text": "9.80" }, "by_row.M3.v041_charter_badge|": { "path": "by_row.M3.v041_charter_badge", "format": "str", "text": "PASS" }, "by_row.M3.v041_json_verdict|": { "path": "by_row.M3.v041_json_verdict", "format": "str", "text": "FAIL" }, "by_row.M6.headline.n_assets.v050|d": { "path": "by_row.M6.headline.n_assets.v050", "format": "d", "text": "3" }, "by_row.M6.headline.n_inside.v041|d": { "path": "by_row.M6.headline.n_inside.v041", "format": "d", "text": "1" }, "by_row.M6.headline.n_inside.v050|d": { "path": "by_row.M6.headline.n_inside.v050", "format": "d", "text": "3" }, "by_row.M6.v041_charter_badge|": { "path": "by_row.M6.v041_charter_badge", "format": "str", "text": "PASS_PARTIAL" }, "by_row.Op1.v041_charter_badge|": { "path": "by_row.Op1.v041_charter_badge", "format": "str", "text": "PASS" }, "by_row.S1.headline.n_canonical.v050|d": { "path": "by_row.S1.headline.n_canonical.v050", "format": "d", "text": "6" }, "by_row.S1.headline.n_canonical_match.v050|d": { "path": "by_row.S1.headline.n_canonical_match.v050", "format": "d", "text": "6" }, "by_row.S1.v041_charter_badge|": { "path": "by_row.S1.v041_charter_badge", "format": "str", "text": "PASS" }, "by_row.S2.v041_charter_badge|": { "path": "by_row.S2.v041_charter_badge", "format": "str", "text": "PASS" }, "by_row.S3.v041_charter_badge|": { "path": "by_row.S3.v041_charter_badge", "format": "str", "text": "PASS" }, "by_row.S4.headline.n_cases.v050|d": { "path": "by_row.S4.headline.n_cases.v050", "format": "d", "text": "4" }, "by_row.S4.headline.n_cases_pass.v050|d": { "path": "by_row.S4.headline.n_cases_pass.v050", "format": "d", "text": "4" }, "by_row.S4.v041_charter_badge|": { "path": "by_row.S4.v041_charter_badge", "format": "str", "text": "PASS" }, "by_row.S5.headline.n_envelopes.v050|d": { "path": "by_row.S5.headline.n_envelopes.v050", "format": "d", "text": "6" }, "by_row.S5.headline.n_envelopes_set_match.v050|d": { "path": "by_row.S5.headline.n_envelopes_set_match.v050", "format": "d", "text": "6" }, "by_row.S5.v041_charter_badge|": { "path": "by_row.S5.v041_charter_badge", "format": "str", "text": "PASS" }, "by_row.S6.headline.n_cospar_verified.v050|d": { "path": "by_row.S6.headline.n_cospar_verified.v050", "format": "d", "text": "23" }, "by_row.S6.headline.n_queries.v050|d": { "path": "by_row.S6.headline.n_queries.v050", "format": "d", "text": "5" }, "by_row.S6.headline.n_queries_pass.v050|d": { "path": "by_row.S6.headline.n_queries_pass.v050", "format": "d", "text": "5" }, "by_row.S6.headline.n_triggers.v050|d": { "path": "by_row.S6.headline.n_triggers.v050", "format": "d", "text": "23" }, "by_row.S6.v041_charter_badge|": { "path": "by_row.S6.v041_charter_badge", "format": "str", "text": "PASS" }, "by_row.S7.headline.n_queries.v050|d": { "path": "by_row.S7.headline.n_queries.v050", "format": "d", "text": "4" }, "by_row.S7.headline.n_queries_pass.v050|d": { "path": "by_row.S7.headline.n_queries_pass.v050", "format": "d", "text": "4" }, "by_row.S7.v041_charter_badge|": { "path": "by_row.S7.v041_charter_badge", "format": "str", "text": "PASS" }, "by_row.T1.v041_charter_badge|": { "path": "by_row.T1.v041_charter_badge", "format": "str", "text": "PASS" }, "by_row.T2.v041_charter_badge|": { "path": "by_row.T2.v041_charter_badge", "format": "str", "text": "PASS" }, "by_row.T3.v041_charter_badge|": { "path": "by_row.T3.v041_charter_badge", "format": "str", "text": "PASS" }, "n_rows_headline_equal|d": { "path": "n_rows_headline_equal", "format": "d", "text": "25" }, "n_rows_with_headline_in_both|d": { "path": "n_rows_with_headline_in_both", "format": "d", "text": "32" } } }