artifacts/INDEPENDENT_VERIFICATION_REPORT.json	-
artifacts/acceptance_results.json	-
artifacts/achievability_sandwich.json	-
artifacts/adaptive_conformal.json	LEAF
artifacts/adversarial_ledger_v78.chain.jsonl	LEAF
artifacts/adversarial_ledger_v78.json	LEAF
artifacts/adversarial_wall_escape.json	LEAF
artifacts/advisory_value_delta_v92.json	-
artifacts/aiml_gate.json	LEAF
artifacts/aoi_fbl_converse_v100.json	-
artifacts/auto_candidates_measured.json	LEAF
artifacts/backends/100x_product_builds.json	-
artifacts/backends/apalache_refinement.json	-
artifacts/backends/base_dedup_view.json	-
artifacts/backends/budget_forall_n.json	-
artifacts/backends/budget_weighted.json	-
artifacts/backends/cloud_rederive_aws.json	-
artifacts/backends/cloud_rederive_modal.json	-
artifacts/backends/cloud_rederive_v62.json	-
artifacts/backends/converse_recompute_audit.json	-
artifacts/backends/deadlock.json	-
artifacts/backends/declared_hazards.json	-
artifacts/backends/do_live_run.json	-
artifacts/backends/engine_independence.json	-
artifacts/backends/evidence_dag_25994a02fcaac963c51d1be7ce97560954f76f124d585be6c27a640022f86fc1.json	-
artifacts/backends/evidence_dag_3703ac811df9612cd95b8db879affad32af9aa002d53be78fa833518c577d30b.json	-
artifacts/backends/evidence_dag_5e0f61ca86cd029f4389e68e7622334b72182303f76799b33a9166a42a8ad9bb.json	-
artifacts/backends/evidence_dag_76b667651bbe59c4fe4c89707a5c2ae4ec81c90fbe586e1c97d2378dd669d710.json	-
artifacts/backends/evidence_dag_853256f55543ee5593ab26abfff41212bbc421735accc75a51360468a24833f7.json	-
artifacts/backends/evidence_dag_8c5ddfade874784fdfc29c873a5f54fedfe70a6e78b6cb0ed57c20e4991c5903.json	-
artifacts/backends/evidence_dag_9d3af1fc4f98fa889253efac4ef625280d5468fbfd9a2c964ca255f486d62d87.json	-
artifacts/backends/evidence_dag_a317bdea7c9885f99ba8814ab559fd53a5b7b7b92809a3b2004f1ca748ef9341.json	-
artifacts/backends/evidence_dag_a35492e8f95fd36b9834b69c85373cbb553399c70ced5f8483bc55d01e0beead.json	-
artifacts/backends/evidence_dag_a672b9abf877c246423ece179ae5cdcf6992b4734871e4b5c178c888fed16e4e.json	-
artifacts/backends/evidence_dag_d5fd4fb6b6c8bb7396328c50bfa35ff52764a673ea2aad7defc7b2edd456b28c.json	-
artifacts/backends/evidence_dag_f5cd62c5931cc2eb1c675edf4f0f8d63a460879f746b081f26a0e58e259b3cff.json	-
artifacts/backends/evidence_dag_fe6c155e3f26dedbd364e3d48d8cc605da07000a4d59c5193c4aef6508a9b9d1.json	-
artifacts/backends/evidence_dag_ffb54f2b7531f18e1d4ab3ceccbd3b2bb6445c1b0fb3d5d5b0829d428f003ced.json	-
artifacts/backends/evidence_robustness.json	-
artifacts/backends/falsification_ledger.json	-
artifacts/backends/floors_recompute_audit.json	-
artifacts/backends/gate_selfconsistency.json	-
artifacts/backends/infoflow.json	-
artifacts/backends/infoflow_quant.json	-
artifacts/backends/lean_depth_grades.json	-
artifacts/backends/lean_substance.json	-
artifacts/backends/ledger_consistency.json	-
artifacts/backends/llm_provenance_scan.json	-
artifacts/backends/nonvacuity_all.json	-
artifacts/backends/ns3_live_run.json	-
artifacts/backends/ns3_remote.json	-
artifacts/backends/outputschema_evidence.json	-
artifacts/backends/pinned_versions.json	-
artifacts/backends/pqc_exact_synth_probe.json	-
artifacts/backends/reach_demo_soundness_audit.json	-
artifacts/backends/real_dichasus_csi_headtohead.json	-
artifacts/backends/real_semantic_achievability.json	-
artifacts/backends/real_sionna_olla.json	-
artifacts/backends/redteam_regression.json	-
artifacts/backends/regen_coverage.json	-
artifacts/backends/robust_hazards.json	-
artifacts/backends/staleness_deepmimo_advisory.json	-
artifacts/backends/tamarin_pqc.json	-
artifacts/backends/trust_evidence.json	-
artifacts/backends/trust_model_sensitivity.json	-
artifacts/backends/valuation_dedup_view.json	-
artifacts/backends/wall_banner_recompute_audit.json	-
artifacts/backends/xdomain_agent_composition.json	-
artifacts/backends/xdomain_all.json	-
artifacts/backends/xdomain_analyze.json	-
artifacts/backends/xdomain_coexistence_sim.json	-
artifacts/backends/xdomain_crosschain_bridge.json	-
artifacts/backends/xdomain_defi_flashloan.json	-
artifacts/backends/xdomain_demo.json	-
artifacts/backends/xdomain_discovery.json	-
artifacts/backends/xdomain_downgrade.json	-
artifacts/backends/xdomain_fairness.json	-
artifacts/backends/xdomain_guard_throughput.json	-
artifacts/backends/xdomain_higher_order.json	-
artifacts/backends/xdomain_iam_composition.json	-
artifacts/backends/xdomain_irreducibility.json	-
artifacts/backends/xdomain_lean_forall_n.json	-
artifacts/backends/xdomain_lean_higher_order.json	-
artifacts/backends/xdomain_lean_weighted.json	-
artifacts/backends/xdomain_pcom.json	-
artifacts/backends/xdomain_regression_corpus.json	-
artifacts/backends/xdomain_robustness.json	-
artifacts/backends/xdomain_soundness.json	-
artifacts/backends/xdomain_spec_analyze.json	-
artifacts/backends/xdomain_spec_geometry.json	-
artifacts/backends/xdomain_spec_grounded.json	-
artifacts/backends/xdomain_symbolic_scale.json	-
artifacts/backends/xdomain_synth_guard.json	-
artifacts/backends/xdomain_three_component.json	-
artifacts/bounded_state_atlas.json	LEAF
artifacts/breach_certificates.json	LEAF
artifacts/byop_two_phase_commit_lock.json	-
artifacts/cegis_witness_v1.json	-
artifacts/cellular_beam_proof.json	LEAF
artifacts/cellular_beam_summary.json	LEAF
artifacts/cellular_harq_proof.json	LEAF
artifacts/cellular_harq_summary.json	LEAF
artifacts/cellular_isac_summary.json	LEAF
artifacts/cellular_ntn_proof.json	LEAF
artifacts/cellular_ntn_summary.json	LEAF
artifacts/cellular_oran_proof.json	LEAF
artifacts/cellular_oran_summary.json	LEAF
artifacts/cellular_tsn5g_proof.json	LEAF
artifacts/cellular_tsn5g_summary.json	LEAF
artifacts/certificates/cellular_beam.json	-
artifacts/certificates/cellular_harq.json	-
artifacts/certificates/cellular_isac.json	-
artifacts/certificates/cellular_ntn.json	-
artifacts/certificates/cellular_oran.json	-
artifacts/certificates/cellular_tsn5g.json	-
artifacts/certificates/guardian.json	-
artifacts/certificates/wifi8_mapc.json	-
artifacts/certificates/wifi8_mlo_harq.json	-
artifacts/certificates/wifi8_p2p_relay.json	-
artifacts/certification_gate.json	LEAF
artifacts/certified_csi_v86.json	LEAF
artifacts/certified_nn_v70.json	-
artifacts/challenge_harness.json	LEAF
artifacts/challenge_submissions.json	LEAF
artifacts/ci_action_acceptance.json	-
artifacts/claim_broadening_v51.json	LEAF
artifacts/claim_broadening_v61.json	LEAF
artifacts/claim_framing_guard.json	-
artifacts/clean_room/clean_room_summary.json	-
artifacts/clean_room/design_around_small.json	-
artifacts/clean_room/harq_small.json	-
artifacts/clean_room/tsn_small.json	-
artifacts/clean_room/wifi8_small.json	-
artifacts/conformal_risk_v87.json	LEAF
artifacts/converse_bounds.json	LEAF
artifacts/converse_bounds_frontier.json	-
artifacts/cost_translation.json	LEAF
artifacts/counterexamples/INDEX.json	LEAF
artifacts/counterexamples/beam_ntn_handover.json	-
artifacts/counterexamples/cxl_forward_progress.json	-
artifacts/counterexamples/harq_early_term.json	-
artifacts/counterexamples/multiap_token.json	-
artifacts/counterexamples/pqc_wifi_handshake.json	-
artifacts/counterexamples/smd_bss_transition.json	-
artifacts/cross_domain_flagships.json	LEAF
artifacts/cross_rat_composition.json	LEAF
artifacts/cv_crc_v97.json	LEAF
artifacts/deepmimo_guarantee.json	-
artifacts/demo_prediction_fallback.json	LEAF
artifacts/design_around_resistance_v89.json	LEAF
artifacts/design_around_tournament.json	LEAF
artifacts/dichasus_fetch.json	-
artifacts/dichasus_fetch_multi.json	-
artifacts/dichasus_guarantee.json	-
artifacts/dichasus_guarantee_multi.json	-
artifacts/diligence_acceptance.json	LEAF
artifacts/discovery_v34_search_log.json	-
artifacts/distributed_attention_floor_v101.json	-
artifacts/diversity_order_calculator.json	LEAF
artifacts/do_dryrun_manifest.json	LEAF
artifacts/empirical_wall_v60.json	LEAF
artifacts/evolution_search_log.json	-
artifacts/fading_converse.json	-
artifacts/fading_sandwich.json	-
artifacts/failclosed_gate.json	-
artifacts/finite_blocklength.json	LEAF
artifacts/formal2_acceptance.json	LEAF
artifacts/formal_acceptance.json	LEAF
artifacts/fpga_timing_v53.json	-
artifacts/fresh_clone_repro.json	-
artifacts/gate_honesty.json	LEAF
artifacts/gate_scorecard.json	LEAF
artifacts/generator_soundness.json	LEAF
artifacts/gha_local_smoke.json	-
artifacts/glm_adversarial_atlas.json	-
artifacts/glm_hard_target.json	-
artifacts/glm_mac_adversary_v61.json	-
artifacts/glm_policy_proposer_v61.json	-
artifacts/glm_rtl_audits.json	-
artifacts/global_optimality.json	LEAF
artifacts/grid_prp_hsr_v98d.json	LEAF
artifacts/guardian_proof.json	LEAF
artifacts/guardian_summary.json	LEAF
artifacts/hard_target_v49.json	-
artifacts/headline_claims.json	-
artifacts/hostapd_ie_roundtrip.json	LEAF
artifacts/improvements_acceptance.json	LEAF
artifacts/ip_factory_candidates.json	LEAF
artifacts/ip_factory_portfolio.json	LEAF
artifacts/joint_significance.json	LEAF
artifacts/leaderboard.json	LEAF
artifacts/lean_converse_v77.json	LEAF
artifacts/learned_harq_v57.json	-
artifacts/learning_augmented.json	LEAF
artifacts/mac_sync_tick_v59.json	LEAF
artifacts/martingale_anytime.json	LEAF
artifacts/mcp_ci_specs/filesystem__fetch__PROP_NO_IRREVERSIBLE_CHANGE.json	-
artifacts/mcp_ci_specs/filesystem__fetch__PROP_NO_PRIV_COMPOSITION.json	-
artifacts/mcp_ci_specs/filesystem__fetch__PROP_NO_REPLAY_AMPLIFICATION.json	-
artifacts/mcp_ci_specs/filesystem__fetch__PROP_NO_SECRET_TO_EGRESS.json	-
artifacts/mcp_ci_specs/filesystem__fetch__PROP_NO_UNAUTH_WRITE.json	-
artifacts/mcp_ci_specs/git__fetch__PROP_NO_IRREVERSIBLE_CHANGE.json	-
artifacts/mcp_ci_specs/git__fetch__PROP_NO_PRIV_COMPOSITION.json	-
artifacts/mcp_ci_specs/git__fetch__PROP_NO_REPLAY_AMPLIFICATION.json	-
artifacts/mcp_ci_specs/git__fetch__PROP_NO_SECRET_TO_EGRESS.json	-
artifacts/mcp_ci_specs/git__fetch__PROP_NO_UNAUTH_WRITE.json	-
artifacts/mcp_ci_specs/memory__filesystem__PROP_NO_IRREVERSIBLE_CHANGE.json	-
artifacts/mcp_ci_specs/memory__filesystem__PROP_NO_PRIV_COMPOSITION.json	-
artifacts/mcp_ci_specs/memory__filesystem__PROP_NO_REPLAY_AMPLIFICATION.json	-
artifacts/mcp_ci_specs/memory__filesystem__PROP_NO_SECRET_TO_EGRESS.json	-
artifacts/mcp_ci_specs/memory__filesystem__PROP_NO_UNAUTH_WRITE.json	-
artifacts/mcp_scan_acceptance.json	-
artifacts/measured_n1000.json	LEAF
artifacts/mechanism_family_closure_v90.json	LEAF
artifacts/method_generality.json	LEAF
artifacts/ml_research_log.json	-
artifacts/multistep_pl_v96.json	LEAF
artifacts/neural_sota_summary.json	LEAF
artifacts/noninterference_v41.json	LEAF
artifacts/oco_regret.json	LEAF
artifacts/online_crc_v95.json	LEAF
artifacts/onwire_signatures.json	LEAF
artifacts/openevolve_glm_log.json	-
artifacts/openevolve_lib_run.json	-
artifacts/optimal_stopping_measured.json	-
artifacts/pac_bayes.json	LEAF
artifacts/parametric_probabilistic.json	LEAF
artifacts/parametric_proofs.json	LEAF
artifacts/parametric_retry_v41.json	LEAF
artifacts/policy_evolution_v61.json	LEAF
artifacts/policy_inevitability.json	LEAF
artifacts/portal_live.json	-
artifacts/portal_smoke.json	-
artifacts/portfolio_packet.json	LEAF
artifacts/prereg/preregistration_v37.json	-
artifacts/prereg/selftest_reliability.json	-
artifacts/prereg_sealed.json	-
artifacts/preregistration.json	LEAF
artifacts/prior_art_matrix_v44.json	LEAF
artifacts/product_acceptance.json	-
artifacts/prose_drift_guard.json	-
artifacts/prove_improvement_demo/platform_status.json	-
artifacts/provenance_boundaries.json	-
artifacts/quant_epsilon_v82.json	LEAF
artifacts/rcu_sandwich.json	-
artifacts/readme_guard.json	-
artifacts/realcode_ceiling_v60.json	-
artifacts/realcode_ceiling_v63.json	-
artifacts/realdata_binding.json	LEAF
artifacts/realdata_breadth.json	LEAF
artifacts/realdata_multi.json	LEAF
artifacts/realdata_summary.json	LEAF
artifacts/realstack_harq_guard.json	-
artifacts/referee_stats_v37.json	LEAF
artifacts/reverse_sensitivity.json	-
artifacts/rounds_second_engine_v59.json	LEAF
artifacts/rtl_cosim.json	LEAF
artifacts/rtl_essentiality.json	LEAF
artifacts/shield_dominance_v52.json	LEAF
artifacts/smt2/csi_lcm_fallback__UseModel__base_init_implies_inv.smt2	-
artifacts/smt2/csi_lcm_fallback__UseModel__necessity_ungated_escapes.smt2	-
artifacts/smt2/csi_lcm_fallback__UseModel__step_gmin_inductive.smt2	-
artifacts/smt2/cxl_forward_progress__A_get_r2__base_init_implies_inv.smt2	-
artifacts/smt2/cxl_forward_progress__A_get_r2__necessity_ungated_escapes.smt2	-
artifacts/smt2/cxl_forward_progress__A_get_r2__step_gmin_inductive.smt2	-
artifacts/smt2/cxl_forward_progress__B_get_r2__base_init_implies_inv.smt2	-
artifacts/smt2/cxl_forward_progress__B_get_r2__necessity_ungated_escapes.smt2	-
artifacts/smt2/cxl_forward_progress__B_get_r2__step_gmin_inductive.smt2	-
artifacts/smt2/emlsr_switch__SwitchAhead__base_init_implies_inv.smt2	-
artifacts/smt2/emlsr_switch__SwitchAhead__necessity_ungated_escapes.smt2	-
artifacts/smt2/emlsr_switch__SwitchAhead__step_gmin_inductive.smt2	-
artifacts/smt2/multiap_token__TxA__base_init_implies_inv.smt2	-
artifacts/smt2/multiap_token__TxA__necessity_ungated_escapes.smt2	-
artifacts/smt2/multiap_token__TxA__step_gmin_inductive.smt2	-
artifacts/smt2/pqc_wifi_handshake__ConfirmKey__base_init_implies_inv.smt2	-
artifacts/smt2/pqc_wifi_handshake__ConfirmKey__necessity_ungated_escapes.smt2	-
artifacts/smt2/pqc_wifi_handshake__ConfirmKey__step_gmin_inductive.smt2	-
artifacts/smt2/pqc_wifi_handshake__SendData__base_init_implies_inv.smt2	-
artifacts/smt2/pqc_wifi_handshake__SendData__necessity_ungated_escapes.smt2	-
artifacts/smt2/pqc_wifi_handshake__SendData__step_gmin_inductive.smt2	-
artifacts/smt2/smd_bss_transition__Commit__base_init_implies_inv.smt2	-
artifacts/smt2/smd_bss_transition__Commit__necessity_ungated_escapes.smt2	-
artifacts/smt2/smd_bss_transition__Commit__step_gmin_inductive.smt2	-
artifacts/sota_headtohead.json	LEAF
artifacts/sota_significance.json	LEAF
artifacts/sota_v24.json	LEAF
artifacts/spec_faithful_v81.json	LEAF
artifacts/sprint_02/smoke.json	-
artifacts/standards_binding.json	LEAF
artifacts/standards_binding/aiml_air_interface.json	-
artifacts/standards_binding/beam_ntn_handover.json	-
artifacts/standards_binding/cxl_forward_progress.json	-
artifacts/standards_binding/multiap_token.json	-
artifacts/standards_binding/pqc_wifi_handshake.json	-
artifacts/standards_binding/smd_bss_transition.json	-
artifacts/standards_fetch.json	-
artifacts/stochastic_nc.json	LEAF
artifacts/tamarin_pqc_v85.json	LEAF
artifacts/trace_spec_validation.json	LEAF
artifacts/traces/csi_lcm_fallback_trace.json	-
artifacts/traces/cxl_forward_progress_trace.json	-
artifacts/traces/harq_early_term_sim_projection.json	-
artifacts/traces/harq_early_term_trace.json	-
artifacts/traces/smd_bss_transition_trace.json	-
artifacts/traces/tsn5g_residence_sim_projection.json	-
artifacts/traces/tsn5g_residence_trace.json	-
artifacts/tsn_acceptance.json	LEAF
artifacts/uec_acceptance.json	LEAF
artifacts/uec_fabric_summary.json	LEAF
artifacts/v100_acceptance.json	-
artifacts/v101_acceptance.json	-
artifacts/v10_acceptance.json	LEAF
artifacts/v11_acceptance.json	LEAF
artifacts/v12_acceptance.json	LEAF
artifacts/v13_acceptance.json	LEAF
artifacts/v14_acceptance.json	LEAF
artifacts/v15_acceptance.json	LEAF
artifacts/v16_acceptance.json	LEAF
artifacts/v17_acceptance.json	LEAF
artifacts/v18_acceptance.json	LEAF
artifacts/v24_acceptance.json	LEAF
artifacts/v25_acceptance.json	LEAF
artifacts/v26_acceptance.json	LEAF
artifacts/v27_acceptance.json	LEAF
artifacts/v28_acceptance.json	LEAF
artifacts/v28_audit.json	-
artifacts/v29_acceptance.json	LEAF
artifacts/v30_acceptance.json	LEAF
artifacts/v31_acceptance.json	LEAF
artifacts/v32_acceptance.json	LEAF
artifacts/v34_acceptance.json	LEAF
artifacts/v35_acceptance.json	-
artifacts/v36_acceptance.json	LEAF
artifacts/v37_acceptance.json	LEAF
artifacts/v38_acceptance.json	-
artifacts/v39_acceptance.json	LEAF
artifacts/v40_acceptance.json	-
artifacts/v41_acceptance.json	LEAF
artifacts/v42_acceptance.json	-
artifacts/v42_docker.json	-
artifacts/v43_acceptance.json	LEAF
artifacts/v44_acceptance.json	LEAF
artifacts/v45_acceptance.json	LEAF
artifacts/v46_acceptance.json	LEAF
artifacts/v48_acceptance.json	LEAF
artifacts/v49_acceptance.json	LEAF
artifacts/v50_acceptance.json	LEAF
artifacts/v51_acceptance.json	LEAF
artifacts/v52_acceptance.json	LEAF
artifacts/v53_acceptance.json	LEAF
artifacts/v54_acceptance.json	LEAF
artifacts/v57_acceptance.json	LEAF
artifacts/v58_acceptance.json	LEAF
artifacts/v59_acceptance.json	LEAF
artifacts/v60_acceptance.json	LEAF
artifacts/v63_acceptance.json	LEAF
artifacts/v64_acceptance.json	LEAF
artifacts/v65_acceptance.json	LEAF
artifacts/v66_acceptance.json	LEAF
artifacts/v67_acceptance.json	LEAF
artifacts/v68_acceptance.json	LEAF
artifacts/v6_acceptance.json	-
artifacts/v70_acceptance.json	LEAF
artifacts/v71_acceptance.json	LEAF
artifacts/v72_acceptance.json	LEAF
artifacts/v73_acceptance.json	LEAF
artifacts/v74_acceptance.json	LEAF
artifacts/v75_acceptance.json	LEAF
artifacts/v76_acceptance.json	LEAF
artifacts/v77_acceptance.json	LEAF
artifacts/v78_acceptance.json	LEAF
artifacts/v79_acceptance.json	LEAF
artifacts/v80_acceptance.json	LEAF
artifacts/v81_acceptance.json	LEAF
artifacts/v82_acceptance.json	LEAF
artifacts/v83_acceptance.json	LEAF
artifacts/v84_acceptance.json	LEAF
artifacts/v85_acceptance.json	LEAF
artifacts/v86_acceptance.json	LEAF
artifacts/v87_acceptance.json	LEAF
artifacts/v88_acceptance.json	LEAF
artifacts/v89_acceptance.json	LEAF
artifacts/v90_acceptance.json	LEAF
artifacts/v91_acceptance.json	LEAF
artifacts/v93_acceptance.json	LEAF
artifacts/v94_acceptance.json	LEAF
artifacts/v95_acceptance.json	LEAF
artifacts/v96_acceptance.json	LEAF
artifacts/v97_acceptance.json	LEAF
artifacts/v98b_acceptance.json	LEAF
artifacts/v98c_acceptance.json	LEAF
artifacts/v98d_acceptance.json	LEAF
artifacts/v99_acceptance.json	LEAF
artifacts/v99e_acceptance.json	LEAF
artifacts/v99h_acceptance.json	LEAF
artifacts/valuation_comparables.json	-
artifacts/wall_low_rate_sweep.json	LEAF
artifacts/wall_meta_converse.json	LEAF
artifacts/wall_mimo_extension.json	LEAF
artifacts/wall_monotonicity_certificate.json	LEAF
artifacts/wall_rcu_band.json	LEAF
artifacts/watch_lottery.json	-
artifacts/weak_flagship_rescue_v44.json	LEAF
artifacts/wifi8_mapc_proof.json	LEAF
artifacts/wifi8_mapc_summary.json	LEAF
artifacts/wifi8_mlo_harq_proof.json	LEAF
artifacts/wifi8_mlo_harq_summary.json	LEAF
artifacts/wifi8_p2p_relay_proof.json	LEAF
artifacts/wifi8_p2p_relay_summary.json	LEAF
artifacts/wifi8_uhr_proof.json	LEAF
artifacts/xdomain_ci/bom.json	-
artifacts/xdomain_ci/ci_result.json	-
artifacts/xdomain_ci/regressions/.xdomain-generated-files.json	-
artifacts/xdomain_ci/regressions/cache_stale_authz_ace721874b.receipt.json	-
artifacts/xdomain_ci/regressions/iam_privilege_escalation_8ecbd696bb.receipt.json	-
artifacts/xdomain_ci/regressions/microservice_auth_d4efc45d16.receipt.json	-
artifacts/xdomain_ci/regressions/typed_credit_game_4c70437028.receipt.json	-
cellular_6g/reports/beam_risk_report.json	-
cellular_6g/reports/conformal_csi_fallback.json	-
cellular_6g/reports/ntn_tracking.json	-
certkit/ai_fabric_feasibility_result.json	-
certkit/artifacts/backends/closed_loop.json	-
certkit/artifacts/monitor_acceptance.json	-
certkit/artifacts/router.json	-
certkit/artifacts/router_acceptance.json	-
certkit/data/cards/demo_llm_stream.json	-
certkit/data/cards/gsm8k.json	-
certkit/data/gsm8k_real_demo.json	-
certkit/eu_ai_act_cert_result.json	-
certkit/monitor_2engine_result.json	-
circuits/artifacts/proven_optima.json	-
circuits/gf_mult_aes_results.json	-
circuits/hunt_modal_results.json	-
circuits/hunt_results.json	-
circuits/linear_min_results.json	-
discovery/flip_graph_kg1.json	-
discovery/found_2x2_R7.json	-
discovery/kill_gate.json	-
discovery/last_run.json	-
discovery/modal_flip_result.json	-
discovery/modal_result.json	-
lean/Main.lean	-
lean/WrflProofs.lean	-
lean/WrflProofs/AchievabilitySandwich.lean	-
lean/WrflProofs/BoundedStateV24.lean	-
lean/WrflProofs/CompositionalMeta.lean	-
lean/WrflProofs/ConformalCoverage.lean	-
lean/WrflProofs/EnergyWall.lean	-
lean/WrflProofs/Exec.lean	-
lean/WrflProofs/FadingSandwich.lean	-
lean/WrflProofs/NeverLate.lean	-
lean/WrflProofs/NeverLateSystem.lean	-
lean/WrflProofs/NoPathGap.lean	-
lean/WrflProofs/OutageDiversity.lean	-
lean/WrflProofs/PolicyInevitability.lean	-
lean/WrflProofs/PqcCxlFabric.lean	-
lean/WrflProofs/RcuSandwich.lean	-
lean/WrflProofs/RoundsConverse.lean	-
lean/WrflProofs/RtlRefinement.lean	-
lean/WrflProofs/SkiRental.lean	-
lean/WrflProofs/SmdNoStaleServe.lean	-
lean/frer_recovery.tte.json	-
lean/lake-manifest.json	-
lean/lakefile.lean	-
telecom_formal/reports/assume_guarantee.json	LEAF
telecom_formal/reports/beam_ntn_handover.json	LEAF
telecom_formal/reports/confirmation_matrix.json	LEAF
telecom_formal/reports/cutoff.json	LEAF
telecom_formal/reports/cxl_forward_progress.json	LEAF
telecom_formal/reports/deductive_proof.json	LEAF
telecom_formal/reports/design_around_region.json	LEAF
telecom_formal/reports/engine_agreement.json	LEAF
telecom_formal/reports/extended/bfr_before_rlf.json	LEAF
telecom_formal/reports/extended/block_ack_reorder_window.json	LEAF
telecom_formal/reports/extended/cho_execution_freshness.json	LEAF
telecom_formal/reports/extended/coordinated_tdma_slot.json	LEAF
telecom_formal/reports/extended/csi_overhead_budget_gate.json	LEAF
telecom_formal/reports/extended/drx_harq_collision_guard.json	LEAF
telecom_formal/reports/extended/drx_xr_awareness.json	LEAF
telecom_formal/reports/extended/emlsr_padding_guard.json	LEAF
telecom_formal/reports/extended/extended_summary.json	LEAF
telecom_formal/reports/extended/ft_key_prestage.json	LEAF
telecom_formal/reports/extended/harq_deadline_drop.json	LEAF
telecom_formal/reports/extended/ltm_cell_context_prestage.json	LEAF
telecom_formal/reports/extended/mlo_link_disable_guard.json	LEAF
telecom_formal/reports/extended/mlo_steer_stale_quality.json	LEAF
telecom_formal/reports/extended/ntn_ta_staleness_guard.json	LEAF
telecom_formal/reports/extended/p2p_relay_make_before_break.json	LEAF
telecom_formal/reports/extended/pcie_replay_recovery.json	LEAF
telecom_formal/reports/extended/pdcp_duplication_budget.json	LEAF
telecom_formal/reports/extended/puncturing_incumbent_guard.json	LEAF
telecom_formal/reports/extended/rlc_am_retx_before_deadline.json	LEAF
telecom_formal/reports/extended/rtwt_latency_admission.json	LEAF
telecom_formal/reports/extended/sdt_completion_guard.json	LEAF
telecom_formal/reports/extended/sidelink_reservation_freshness.json	LEAF
telecom_formal/reports/extended/twt_critical_wake_guard.json	LEAF
telecom_formal/reports/extended/ualink_fairness_isolation.json	LEAF
telecom_formal/reports/extended/ucie_lane_health.json	LEAF
telecom_formal/reports/extended/uec_retry_reorder.json	LEAF
telecom_formal/reports/formal_summary.json	LEAF
telecom_formal/reports/formal_to_measured_bridge.json	LEAF
telecom_formal/reports/guard_synthesis.json	LEAF
telecom_formal/reports/guard_synthesis_harq.json	LEAF
telecom_formal/reports/harq_early_term.json	LEAF
telecom_formal/reports/highfidelity.json	LEAF
telecom_formal/reports/improvements/beam_conformal_backup.json	LEAF
telecom_formal/reports/improvements/cho_freshness_gate.json	LEAF
telecom_formal/reports/improvements/csi_conformal_gate.json	LEAF
telecom_formal/reports/improvements/erasure_selective_coding.json	LEAF
telecom_formal/reports/improvements/frer_latent_detect.json	LEAF
telecom_formal/reports/improvements/harq_deadline_drop.json	LEAF
telecom_formal/reports/improvements/improvements_deep.json	LEAF
telecom_formal/reports/improvements/improvements_engines.json	LEAF
telecom_formal/reports/improvements/improvements_summary.json	LEAF
telecom_formal/reports/improvements/ltm_freshness_prestage.json	LEAF
telecom_formal/reports/improvements/pdcp_selective_duplication.json	LEAF
telecom_formal/reports/improvements/ptp_bounded_holdover.json	LEAF
telecom_formal/reports/improvements/rtwt_latency_admission.json	LEAF
telecom_formal/reports/improvements/tas_adaptive_guard.json	LEAF
telecom_formal/reports/improvements/ualink_workconserve_isolation.json	LEAF
telecom_formal/reports/improvements/ucie_graceful_degrade.json	LEAF
telecom_formal/reports/invalidation.json	LEAF
telecom_formal/reports/ltl_liveness.json	LEAF
telecom_formal/reports/multiap_token.json	LEAF
telecom_formal/reports/parameterized.json	LEAF
telecom_formal/reports/parametric_prob.json	LEAF
telecom_formal/reports/parametric_refinement.json	LEAF
telecom_formal/reports/pqc_wifi_handshake.json	LEAF
telecom_formal/reports/published/3gpp_beam_failure_recovery.json	LEAF
telecom_formal/reports/published/3gpp_drx_timers.json	LEAF
telecom_formal/reports/published/3gpp_pdcp_reordering.json	LEAF
telecom_formal/reports/published/3gpp_rach_contention.json	LEAF
telecom_formal/reports/published/3gpp_rlc_am_retx.json	LEAF
telecom_formal/reports/published/3gpp_rrc_state_machine.json	LEAF
telecom_formal/reports/published/3gpp_xn_handover_premature_release.json	LEAF
telecom_formal/reports/published/counterexample_ledger.json	LEAF
telecom_formal/reports/published/ieee_4way_handshake_krack.json	LEAF
telecom_formal/reports/published/ieee_block_ack_scoreboard.json	LEAF
telecom_formal/reports/published/ieee_fils_auth.json	LEAF
telecom_formal/reports/published/ieee_ft_handshake_802_11r.json	LEAF
telecom_formal/reports/published/ieee_mlo_tid_to_link.json	LEAF
telecom_formal/reports/published/ieee_sa_query.json	LEAF
telecom_formal/reports/published/ieee_twt_wake_sleep.json	LEAF
telecom_formal/reports/published/ieee_uapsd_pspoll.json	LEAF
telecom_formal/reports/published/interconnect_cyclic_deadlock.json	LEAF
telecom_formal/reports/published/pqc_hybrid_downgrade.json	LEAF
telecom_formal/reports/refinement_chain.json	LEAF
telecom_formal/reports/smd_bss_transition.json	LEAF
telecom_formal/reports/timed_probabilistic.json	LEAF
telecom_formal/reports/timed_zones.json	LEAF
telecom_formal/reports/tsn/frer_elimination.json	LEAF
telecom_formal/reports/tsn/ptp_grandmaster_failover.json	LEAF
telecom_formal/reports/tsn/tas_guardband.json	LEAF
telecom_formal/reports/tsn/tsn_parameterized.json	LEAF
telecom_formal/reports/tsn/tsn_refinement.json	LEAF
telecom_formal/reports/tsn/tsn_summary.json	LEAF
telecom_formal/reports/tsn/tsn_timed.json	LEAF
telecom_formal/reports/uec/uet_pds_deep.json	-
tools/formal/tamarin/pqc_handshake.spthy	-
wifi8_uhr/reports/ablation_context_freshness_smd.json	-
wifi8_uhr/reports/baseline_failure.json	-
wifi8_uhr/reports/context_freshness_smd.json	-
wifi8_uhr/reports/duplication_validation.json	-
wifi8_uhr/reports/emlsr_switch_ahead.json	-
wifi8_uhr/reports/guardian_ap_escrow.json	-
wifi8_uhr/reports/loss_budget_tokens.json	-
wifi8_uhr/reports/roaming_baselines.json	-
xdomain/BudgetCompositionForallN.lean	-
xdomain/HigherOrderEmergence.lean	-
xdomain/WeightedRealEmergence.lean	-
xdomain/ci_specs/cache_stale_authz.json	-
xdomain/ci_specs/iam_privilege_escalation.json	-
xdomain/ci_specs/microservice_auth.json	-
xdomain/ci_specs/typed_credit_game.json	-
xdomain/examples/cache_stale_authz.json	-
xdomain/examples/iam_privilege_escalation.json	-
xdomain/examples/microservice_auth.json	-
xdomain/examples/typed_credit_game.json	-
xdomain/mcp/fixtures/destructive_store_hardened.json	-
xdomain/mcp/fixtures/fetch_hardened.json	-
xdomain/mcp/fixtures/planted_destructive_store.json	-
xdomain/mcp/fixtures/planted_fetch.json	-
xdomain/mcp/fixtures/planted_filesystem.json	-
xdomain/mcp/fixtures/planted_role_broker.json	-
xdomain/mcp/fixtures/role_broker_hardened.json	-
xdomain/mcp/schemas/sarif-2.1.0.json	-
xdomain/mcp/schemas/sarif-2.1.0.provenance.json	-
xdomain/mcp/servers/_pre_v2/sqlite.json	-
xdomain/mcp/servers/sqlite.json	-