{ "method": "Number-pin sweep (pass 3, the one that decides). For every sidecar claim, extract each number and look for it\nin the entry's artifact_path plus the entry's declared also_artifacts, at the claim's printed precision, accepting\npercent<->fraction (x/100) and float-vs-integer rounding. Citation identifiers (arXiv ids, PR/issue numbers,\nline numbers, hashes, version strings, sprint labels) are stripped first: they are references, not measurements.\nA number found nowhere is reported; a number found only in a non-cited artifact is a mis-citation.\nRegenerable: python3 reaudit/pin_sweep.py > reaudit/pin_sweep.json", "n_entries": 164, "n_numbers": 570, "n_unfound": 46, "entries": [ { "id": "N01", "artifact": "results/s46b_engine_hit_rate.json", "also": [], "artifact_exists": true, "n_numbers": 7, "found_in": { "0.037596": "results/s46b_engine_hit_rate.json", "0": "results/s46b_engine_hit_rate.json", "0.038678": "results/s46b_engine_hit_rate.json", "0.169": "results/s46b_engine_hit_rate.json", "8.2904": "results/s46b_engine_hit_rate.json", "8.9465": "results/s46b_engine_hit_rate.json", "0.926664": "results/s46b_engine_hit_rate.json" }, "unfound": [] }, { "id": "N02", "artifact": "results/d1_engine_hit_rate.json", "also": [], "artifact_exists": true, "n_numbers": 5, "found_in": { "0.386463": "results/d1_engine_hit_rate.json", "0.1687": "results/d1_engine_hit_rate.json", "13,712": "results/d1_engine_hit_rate.json", "33": "results/d1_engine_hit_rate.json", "1.3048": "results/d1_engine_hit_rate.raw.json" }, "unfound": [] }, { "id": "N08", "artifact": "results/sprint47_report.json", "also": [], "artifact_exists": true, "n_numbers": 6, "found_in": { "1.0": "results/sprint47_report.json", "0.646293": "results/sprint47_report.json", "0.04704": "results/sprint47_report.json", "4.64": "results/s47_aa_null_real_trace.json", "0.90": "results/s47_aa_null_real_trace.json", "1.10": "results/s47_aa_null_real_trace.json" }, "unfound": [] }, { "id": "N31", "artifact": "results/s06_weka_prefix_hit_rate.json", "also": [], "artifact_exists": true, "n_numbers": 9, "found_in": { "739": "results/s06_weka_prefix_hit_rate.json", "59,204": "results/s06_weka_prefix_hit_rate.json", "129,409,824": "results/s06_weka_prefix_hit_rate.json", "0": "results/s06_weka_prefix_hit_rate.json", "0.9657": "results/s06_weka_prefix_hit_rate.json", "0.9678": "results/s06_weka_prefix_hit_rate.json", "0.0000": "results/s06_weka_prefix_hit_rate.json" }, "unfound": [] }, { "id": "N32", "artifact": "results/s06_weka_residency.json", "also": [], "artifact_exists": true, "n_numbers": 11, "found_in": { "59,204": "results/s06_weka_residency.json", "176,406,170,212": "results/s06_weka_residency.json", "1": "results/s06_weka_residency.json", "20": "results/s06_weka_residency.json", "77": "results/s06_weka_residency.json", "6": "results/s06_weka_residency.json", "589,578,606": "results/s06_weka_residency.json", "0.922": "results/s06_weka_residency.json", "0": "results/s06_weka_residency.json", "8,118,824,114": "results/s06_weka_residency.json" }, "unfound": [] }, { "id": "H002", "artifact": "results/s02_sweep_sharded.json", "also": [ "results/s02_sweep_tiny.json", "results/s02_sweep_tiny.raw.json" ], "artifact_exists": true, "n_numbers": 6, "found_in": { "18.75": "results/s02_sweep_sharded.json", "40.00": "results/s02_sweep_sharded.json", "113": "results/s02_sweep_sharded.json", "10": "results/s02_sweep_sharded.json", "16.78": "results/s02_sweep_tiny.json", "15.73": "results/s02_sweep_sharded.json" }, "unfound": [] }, { "id": "H030", "artifact": "results/sprint44_knee_claim_path.json", "also": [], "artifact_exists": true, "n_numbers": 14, "found_in": { "0.8235": "results/sprint44_knee_claim_path.json", "21.4": "results/sprint44_knee_claim_path.json", "4": "results/sprint44_knee_claim_path.json", "3": "results/sprint44_knee_claim_path.json", "100": "results/sprint44_knee_claim_path.json", "0.9553": "results/sprint44_knee_claim_path.json", "0.3041": "results/sprint44_knee_claim_path.json", "0.852": "results/sprint44_knee_claim_path.json", "1.067": "results/sprint44_knee_claim_path.json", "20.10": "results/sprint44_knee_claim_path.json", "13.79": "results/sprint44_knee_claim_path.json", "10.0": "results/sprint44_knee_claim_path.json", "0.090258": "results/sprint44_knee_claim_path.json", "16.39": "results/sprint44_knee_claim_path.json" }, "unfound": [] }, { "id": "H035", "artifact": "results/d1_engine_hit_rate.json", "also": [], "artifact_exists": true, "n_numbers": 5, "found_in": { "4": "results/d1_engine_hit_rate.json", "0.31": "results/d1_engine_hit_rate.json", "0.386463": "results/d1_engine_hit_rate.json", "0": "results/d1_engine_hit_rate.json", "0.1687": "results/d1_engine_hit_rate.json" }, "unfound": [] }, { "id": "NII-IX", "artifact": "results/d1_engine_hit_rate.attempt1_no_counters.json", "also": [], "artifact_exists": true, "n_numbers": 1, "found_in": { "0.86": "results/d1_engine_hit_rate.attempt1_no_counters.json" }, "unfound": [] }, { "id": "N03", "artifact": "results/d1_engine_hit_rate.attempt2_timestamp_as_counter.json", "also": [], "artifact_exists": true, "n_numbers": 3, "found_in": { "2": "results/d1_engine_hit_rate.attempt2_timestamp_as_counter.json", "1.788": "results/d1_engine_hit_rate.attempt2_timestamp_as_counter.json", "1.0": "results/d1_engine_hit_rate.attempt2_timestamp_as_counter.json" }, "unfound": [] }, { "id": "N04", "artifact": "results/d3_determinism_2x2.json", "also": [], "artifact_exists": true, "n_numbers": 1, "found_in": { "1": "results/d3_determinism_2x2.json" }, "unfound": [] }, { "id": "N05", "artifact": "results/d4_step_law_profile.json", "also": [], "artifact_exists": true, "n_numbers": 10, "found_in": { "0.05342": "results/d4_step_law_profile.json", "0.03781": "results/d4_step_law_profile.json", "0.00891": "results/d4_step_law_profile.json", "0.00532": "results/d4_step_law_profile.json", "0.00242": "results/d4_step_law_profile.json", "0.10789": "results/d4_step_law_profile.json", "0.1405": "results/d4_step_law_profile.json", "0.0364": "results/d4_step_law_profile.json", "1": "results/d4_step_law_profile.json", "3": "results/d4_step_law_profile.json" }, "unfound": [] }, { "id": "N06", "artifact": "results/d8_expert_rank.json", "also": [], "artifact_exists": true, "n_numbers": 5, "found_in": { "64": "results/d8_expert_rank.json", "2,048": "results/d8_expert_rank.json", "0.891": "results/d8_expert_rank.json", "0.409": "results/d8_expert_rank.json", "0.017": "results/d8_expert_rank.json" }, "unfound": [] }, { "id": "N07", "artifact": "results/d2_positions_per_pass.json", "also": [], "artifact_exists": true, "n_numbers": 6, "found_in": { "1.54": "results/d2_positions_per_pass.json", "1.26": "results/d2_positions_per_pass.json", "4.83": "results/d2_positions_per_pass.json", "4.9": "results/d2_positions_per_pass.json", "3": "results/d2_positions_per_pass.json", "1.5": "results/d2_positions_per_pass.json" }, "unfound": [] }, { "id": "N09", "artifact": "results/sprint8_connector_api_probe.json", "also": [], "artifact_exists": true, "n_numbers": 2, "found_in": { "9": "results/sprint8_connector_api_probe.json" }, "unfound": [] }, { "id": "N10", "artifact": "results/s48_connector_smoke.json", "also": [], "artifact_exists": true, "n_numbers": 3, "found_in": { "442": "results/s48_connector_smoke.json", "358": "results/s48_connector_smoke.json", "11.05": "results/s48_connector_smoke.json" }, "unfound": [] }, { "id": "N11", "artifact": "results/s53_demo.json", "also": [], "artifact_exists": true, "n_numbers": 1, "found_in": { "2": "results/s53_demo.json" }, "unfound": [] }, { "id": "N12", "artifact": "results/sprint50_offload_oracle.json", "also": [], "artifact_exists": true, "n_numbers": 6, "found_in": { "65,536": "results/sprint50_offload_oracle.json", "13.004": "results/sprint50_offload_oracle.json", "0.03868": "results/sprint50_offload_oracle.json", "0.16872": "results/sprint50_offload_oracle.json", "0.831282": "results/sprint50_offload_oracle.json", "0.037596": "results/s46b_engine_hit_rate.json" }, "unfound": [] }, { "id": "N22", "artifact": "results/multimodel_demand.json", "also": [], "artifact_exists": true, "n_numbers": 3, "found_in": { "0.538019": "results/multimodel_demand.json", "0.944433": "results/multimodel_demand.json", "5.766": "results/multimodel_demand.json" }, "unfound": [] }, { "id": "N25", "artifact": "formal/lean/SubmodularCover.lean", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "N26", "artifact": "formal/lean/CacheCeiling.lean", "also": [], "artifact_exists": true, "n_numbers": 2, "found_in": { "0.19645": "results/mooncake_reconciliation.json", "0.28906": "results/mooncake_reconciliation.json" }, "unfound": [] }, { "id": "H000", "artifact": "results/kv_footprint_ladder.json", "also": [ "results/kv_footprint_ladder.json" ], "artifact_exists": true, "n_numbers": 6, "found_in": { "147,456": "results/kv_footprint_ladder.json", "27,648": "results/kv_footprint_ladder.json", "20": "results/kv_footprint_ladder.json" }, "unfound": [ "5.3", "7.248", "6.040" ] }, { "id": "H001", "artifact": "results/s01_aa_null_tiny.json", "also": [ "results/s01_aa_null_tiny.raw.json", "results/s01_positive_control_eager.json" ], "artifact_exists": true, "n_numbers": 4, "found_in": { "1.5": "results/s01_aa_null_tiny.json", "1.2": "results/s01_aa_null_tiny.json", "5.6": "results/s01_aa_null_tiny.json", "38": "results/s01_aa_null_tiny.json" }, "unfound": [] }, { "id": "H003", "artifact": "results/mooncake_reconciliation.json", "also": [], "artifact_exists": true, "n_numbers": 3, "found_in": { "0.23465": "results/mooncake_reconciliation.json", "0.28906": "results/mooncake_reconciliation.json", "0.19645": "results/mooncake_reconciliation.json" }, "unfound": [] }, { "id": "H005", "artifact": "results/sprint32_lead_sweep.json", "also": [ "results/sprint32_reconstructed.json" ], "artifact_exists": true, "n_numbers": 7, "found_in": { "1.0": "results/sprint32_lead_sweep.json", "1693": "results/sprint32_reconstructed.json", "1": "results/sprint32_lead_sweep.json", "0.99995": "results/sprint32_lead_sweep.json", "+80.35": "results/sprint32_lead_sweep.json", "1.000": "results/sprint32_lead_sweep.json", "5": "results/sprint32_reconstructed.json" }, "unfound": [] }, { "id": "H006", "artifact": "evidence/imported/agentic_fleet_gpu.json", "also": [ "evidence/imported/exact_fallback_yield.json" ], "artifact_exists": true, "n_numbers": 5, "found_in": { "8": "evidence/imported/agentic_fleet_gpu.json", "-0.1379": "evidence/imported/exact_fallback_yield.json", "-0.0638": "evidence/imported/exact_fallback_yield.json", "-0.0794": "evidence/imported/exact_fallback_yield.json", "15": "evidence/imported/agentic_fleet_gpu.json" }, "unfound": [] }, { "id": "H007", "artifact": "results/estate_imports.json", "also": [ "results/estate_acceptance_triples.json" ], "artifact_exists": true, "n_numbers": 6, "found_in": { "70": "results/estate_acceptance_triples.json", "9": "results/estate_acceptance_triples.json", "17": "results/estate_imports.json", "268": "results/estate_acceptance_triples.json", "5": "results/estate_imports.json" }, "unfound": [] }, { "id": "H008", "artifact": "traces/_summary.json", "also": [], "artifact_exists": true, "n_numbers": 6, "found_in": { "0.9083": "traces/_summary.json", "0.2891": "traces/_summary.json", "0.00000": "traces/_summary.json" }, "unfound": [ "0.64", "90", "3.1" ] }, { "id": "H010", "artifact": "results/sprint32_reconstructed.json", "also": [ "results/sprint32_above_the_wall.json" ], "artifact_exists": true, "n_numbers": 5, "found_in": { "0.19621": "results/sprint32_reconstructed.json", "0.19645": "results/sprint32_reconstructed.json", "0.02": "results/sprint32_reconstructed.json", "-0.0": "results/sprint32_reconstructed.json" }, "unfound": [ "66" ] }, { "id": "H012", "artifact": "results/sprint3_simulator_calibration.json", "also": [], "artifact_exists": true, "n_numbers": 6, "found_in": { "2": "results/sprint3_simulator_calibration.json", "0.994": "results/sprint3_simulator_calibration.json", "49.6": "results/sprint3_simulator_calibration.json", "40": "results/sprint3_simulator_calibration.json", "-1.2": "results/sprint3_simulator_calibration.json", "51": "results/sprint3_simulator_calibration.json" }, "unfound": [] }, { "id": "H013", "artifact": "results/sprint5_recompute.json", "also": [], "artifact_exists": true, "n_numbers": 4, "found_in": { "2": "results/sprint5_recompute.json", "15": "results/sprint5_recompute.json", "22.2": "results/sprint5_recompute.json", "26.3": "results/sprint5_recompute.json" }, "unfound": [] }, { "id": "H014", "artifact": "results/sprint6_oracle.json", "also": [], "artifact_exists": true, "n_numbers": 2, "found_in": { "0.782": "results/sprint6_oracle.json", "2.5": "results/sprint6_oracle.json" }, "unfound": [] }, { "id": "H017", "artifact": "results/sprint13_consensus_weighted.json", "also": [ "results/sprint13_delta_census.json" ], "artifact_exists": true, "n_numbers": 4, "found_in": { "1.74": "results/sprint13_consensus_weighted.json", "6.2": "results/sprint13_consensus_weighted.json", "6.32": "results/sprint13_consensus_weighted.json", "8.39": "results/sprint13_delta_census.json" }, "unfound": [] }, { "id": "H018", "artifact": "results/sprint14_codec_frontier.json", "also": [ "results/sprint13_consensus_weighted.json" ], "artifact_exists": true, "n_numbers": 3, "found_in": { "1": "results/sprint14_codec_frontier.json", "56.7": "results/sprint14_codec_frontier.json" }, "unfound": [ "4.6" ] }, { "id": "H019", "artifact": "results/sprint19_expert_oracle_topk.json", "also": [ "results/sprint19_expert_oracle.json" ], "artifact_exists": true, "n_numbers": 7, "found_in": { "50": "results/sprint19_expert_oracle_topk.json", "2,072": "results/sprint19_expert_oracle.json", "145,909": "results/sprint19_expert_oracle.json", "82.3": "results/sprint19_expert_oracle.json", "0.125": "results/sprint18_expert_census.json", "2": "results/sprint19_expert_oracle_topk.json" }, "unfound": [ "0.265" ] }, { "id": "H021", "artifact": "results/sprint20_partitioning.json", "also": [], "artifact_exists": true, "n_numbers": 4, "found_in": { "25": "results/sprint20_partitioning.json", "4": "results/sprint20_partitioning.json", "60": "results/sprint20_partitioning.json" }, "unfound": [] }, { "id": "H022", "artifact": "results/sprint22_speculation.json", "also": [], "artifact_exists": true, "n_numbers": 7, "found_in": { "249": "results/sprint22_speculation.json", "0.489": "results/sprint22_speculation.json", "0.953": "results/sprint22_speculation.json", "3.7": "results/sprint22_speculation.json", "0.883": "results/sprint22_speculation.json", "0.566": "results/sprint22_speculation.json", "0.470": "results/sprint22_speculation.json" }, "unfound": [] }, { "id": "H023", "artifact": "results/sprint23_joint.json", "also": [], "artifact_exists": true, "n_numbers": 2, "found_in": { "+33.18": "results/sprint23_joint.json", "+0.00": "results/sprint23_joint.json" }, "unfound": [] }, { "id": "H024", "artifact": "results/lossless_probe.json", "also": [], "artifact_exists": true, "n_numbers": 3, "found_in": { "2.55": "results/lossless_probe.json", "1.50": "results/lossless_probe.json", "59": "results/lossless_throughput.json" }, "unfound": [] }, { "id": "H027", "artifact": "results/sprint28_heterogeneous.json", "also": [ "results/s28_crossgpu_A10G.json", "results/s28_crossgpu_L40S.json" ], "artifact_exists": true, "n_numbers": 7, "found_in": { "3.59": "results/sprint28_heterogeneous.json", "20": "results/sprint28_heterogeneous.json", "9,548": "results/sprint28_heterogeneous.json", "10,076": "results/sprint28_heterogeneous.json", "10,172": "results/sprint28_heterogeneous.json", "6.5": "results/s28_crossgpu_L40S.json", "2.6": "results/sprint28_heterogeneous.json" }, "unfound": [] }, { "id": "H028", "artifact": "results/sprint24_customer_proof.json", "also": [], "artifact_exists": true, "n_numbers": 1, "found_in": { "0.00": "results/sprint24_customer_proof.json" }, "unfound": [] }, { "id": "H029", "artifact": "results/sprint32_reconstructed.json", "also": [], "artifact_exists": true, "n_numbers": 4, "found_in": { "+12.7": "results/sprint32_reconstructed.json", "0.19621": "results/sprint32_reconstructed.json", "0.06934": "results/sprint32_reconstructed.json", "0.000": "results/sprint32_reconstructed.json" }, "unfound": [] }, { "id": "H031", "artifact": "results/sprint45_trace_bridge.json", "also": [], "artifact_exists": true, "n_numbers": 5, "found_in": { "20,000": "results/sprint45_trace_bridge.json", "0": "results/sprint45_trace_bridge.json", "0.0000": "results/sprint45_trace_bridge.json", "10.7": "results/sprint45_trace_bridge.json", "7.3": "results/sprint45_trace_bridge.json" }, "unfound": [] }, { "id": "H032", "artifact": "results/fleet_report_validation.json", "also": [ "results/fleet_report_091494c4.json", "results/offload_ceiling_generalization.json" ], "artifact_exists": true, "n_numbers": 12, "found_in": { "0.831282": "results/fleet_report_validation.json", "0.038678": "results/fleet_report_validation.json", "0.168718": "results/fleet_report_validation.json", "13.0039": "results/fleet_report_validation.json", "0.011": "results/fleet_report_validation.json", "0.27": "results/fleet_report_validation.json", "0.32": "results/fleet_report_validation.json", "1.09": "results/fleet_report_validation.json", "2.88": "results/fleet_report_validation.json", "100.7": "results/fleet_report_validation.json", "13": "results/fleet_report_validation.json", "0.57": "results/fleet_report_validation.json" }, "unfound": [] }, { "id": "H033", "artifact": "results/d6_isolation_tax.json", "also": [], "artifact_exists": true, "n_numbers": 8, "found_in": { "65,536": "results/d6_isolation_tax.json", "0.144": "results/d6_isolation_tax.json", "0.6957": "results/d6_isolation_tax.json", "0.6943": "results/d6_isolation_tax.json", "1,372": "results/d6_isolation_tax.json", "8": "results/d6_isolation_tax.json", "46.5": "results/d6_isolation_tax.json", "45.8": "results/d6_isolation_tax.json" }, "unfound": [] }, { "id": "H034", "artifact": "results/d7_admission_above_knee.json", "also": [], "artifact_exists": true, "n_numbers": 5, "found_in": { "2.0": "results/d7_admission_above_knee.json", "+108.78": "results/d7_admission_above_knee.json", "39.7": "results/d7_admission_above_knee.json", "1.206": "results/d7_admission_above_knee.json", "96.5": "results/d7_admission_above_knee.json" }, "unfound": [] }, { "id": "H036", "artifact": "HYPOTHESES/036-eval-integrity-prior-art.md", "also": [], "artifact_exists": true, "n_numbers": 3, "found_in": { "0": "HYPOTHESES/036-eval-integrity-prior-art.md" }, "unfound": [ "4", "5" ] }, { "id": "H037", "artifact": "results/d3_determinism_2x2.json", "also": [], "artifact_exists": true, "n_numbers": 1, "found_in": { "0": "results/d3_determinism_2x2.json" }, "unfound": [] }, { "id": "H038", "artifact": "results/d2_positions_per_pass.json", "also": [], "artifact_exists": true, "n_numbers": 2, "found_in": { "3": "results/d2_positions_per_pass.json", "1.5": "results/d2_positions_per_pass.json" }, "unfound": [] }, { "id": "H039", "artifact": "results/d5_knee_binding_by_shards.json", "also": [], "artifact_exists": true, "n_numbers": 10, "found_in": { "1.0": "results/d5_knee_binding_by_shards.json", "1": "results/d5_knee_binding_by_shards.json", "0.0": "results/d5_knee_binding_by_shards.json", "4": "results/d5_knee_binding_by_shards.json", "0.0455": "results/d5_knee_binding_by_shards.json", "8": "results/d5_knee_binding_by_shards.json", "0.039": "results/d5_knee_binding_by_shards.json", "0.6686": "results/d5_knee_binding_by_shards.json" }, "unfound": [] }, { "id": "NI-01", "artifact": "results/sprint32_lead_sweep.json", "also": [ "results/sprint32_reconstructed.json" ], "artifact_exists": true, "n_numbers": 10, "found_in": { "+12.7": "results/sprint32_lead_sweep.json", "0.19621": "results/sprint32_lead_sweep.json", "0.06934": "results/sprint32_lead_sweep.json", "0.000": "results/sprint32_lead_sweep.json", "2,580": "results/sprint32_lead_sweep.json", "2,947": "results/sprint32_lead_sweep.json", "0.99995": "results/sprint32_lead_sweep.json", "0.90450": "results/sprint32_lead_sweep.json" }, "unfound": [ "14" ] }, { "id": "NI-03", "artifact": "results/lossless_throughput.json", "also": [], "artifact_exists": true, "n_numbers": 5, "found_in": { "1.50": "results/lossless_throughput.json", "2.55": "results/lossless_throughput.json", "2.284": "results/lossless_throughput.json", "0.482": "results/lossless_throughput.json", "25": "results/lossless_throughput.json" }, "unfound": [] }, { "id": "NI-06", "artifact": "results/sprint22_speculation.json", "also": [], "artifact_exists": true, "n_numbers": 5, "found_in": { "0.883": "results/sprint22_speculation.json", "0.566": "results/sprint22_speculation.json", "0.470": "results/sprint22_speculation.json", "3.7": "results/sprint22_speculation.json", "293": "results/sprint22_speculation.json" }, "unfound": [] }, { "id": "NI-08", "artifact": "evidence/imported/exact_fallback_yield.json", "also": [], "artifact_exists": true, "n_numbers": 8, "found_in": { "15": "evidence/imported/exact_fallback_yield.json", "1": "evidence/imported/exact_fallback_yield.json", "-0.1379": "evidence/imported/exact_fallback_yield.json", "-0.0638": "evidence/imported/exact_fallback_yield.json", "-0.0794": "evidence/imported/exact_fallback_yield.json", "0.496": "evidence/imported/exact_fallback_yield.json", "0.746": "evidence/imported/exact_fallback_yield.json", "0.75": "evidence/imported/exact_fallback_yield.json" }, "unfound": [] }, { "id": "NI-10", "artifact": "HYPOTHESES/033-isolation-tax.md", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "NII-III", "artifact": "results/sprint28_censoring.json", "also": [], "artifact_exists": true, "n_numbers": 5, "found_in": { "38": "results/sprint28_censoring.json", "13.8": "results/sprint28_censoring.json", "9.6": "results/sprint28_censoring.json", "115": "results/sprint28_censoring.json", "1.44": "results/sprint28_censoring.json" }, "unfound": [] }, { "id": "NIII-1", "artifact": "results/offload_ceiling_generalization.json", "also": [ "results/sprint50_offload_oracle.json" ], "artifact_exists": true, "n_numbers": 13, "found_in": { "65,536": "results/offload_ceiling_generalization.json", "13.004": "results/offload_ceiling_generalization.json", "0.8313": "results/offload_ceiling_generalization.json", "0.0387": "results/offload_ceiling_generalization.json", "0.1687": "results/offload_ceiling_generalization.json", "22.9": "results/offload_ceiling_generalization.json", "0.642": "results/offload_ceiling_generalization.json", "0.3267": "results/offload_ceiling_generalization.json", "0.6669": "results/offload_ceiling_generalization.json", "99.0": "results/offload_ceiling_generalization.json", "0.5": "results/offload_ceiling_generalization.json", "0.573": "results/offload_ceiling_generalization.json" }, "unfound": [] }, { "id": "NIV-1", "artifact": "results/sprint19_20_gpucount.json", "also": [], "artifact_exists": true, "n_numbers": 4, "found_in": { "1.86": "results/sprint19_20_gpucount.json", "2": "results/sprint19_20_gpucount.json" }, "unfound": [ "-31.7", "1.23" ] }, { "id": "NIV-2", "artifact": "results/sprint32_lead_sweep.json", "also": [], "artifact_exists": true, "n_numbers": 5, "found_in": { "2026": "results/sprint32_lead_sweep.json" }, "unfound": [ "1.83", "2.19", "3", "14" ] }, { "id": "NIV-3", "artifact": "NEGATIVE_RESULTS.md", "also": [], "artifact_exists": true, "n_numbers": 1, "found_in": { "2026": "NEGATIVE_RESULTS.md" }, "unfound": [] }, { "id": "NIV-4", "artifact": "results/sprint44_knee_binding.json", "also": [], "artifact_exists": true, "n_numbers": 2, "found_in": { "1000": "results/sprint44_knee_binding.json" }, "unfound": [ "146" ] }, { "id": "NIV-5", "artifact": "results/s53_demo.json", "also": [], "artifact_exists": true, "n_numbers": 1, "found_in": { "2026": "results/s53_demo.json" }, "unfound": [] }, { "id": "N13", "artifact": "bench/economics.py", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "N14", "artifact": "bench/stats.py", "also": [], "artifact_exists": true, "n_numbers": 15, "found_in": { "0.785": "tests/test_stats.py", "0.815": "tests/test_stats.py", "5": "bench/stats.py", "10": "bench/stats.py", "0.0500": "bench/stats.py", "0.0294": "bench/stats.py", "0.0221": "bench/stats.py", "0.0158": "bench/stats.py", "1": "bench/stats.py", "2": "bench/stats.py", "3": "bench/stats.py", "0.03": "bench/stats.py", "10.288": "tests/test_stats.py" }, "unfound": [] }, { "id": "N15", "artifact": "bench/quality.py", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "N16", "artifact": "bench/prereg.py", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "N17", "artifact": "results/sprint45_trace_bridge.json", "also": [], "artifact_exists": true, "n_numbers": 2, "found_in": { "13,712": "results/sprint45_trace_bridge.json" }, "unfound": [] }, { "id": "N18", "artifact": "gateway/proxy.py", "also": [], "artifact_exists": true, "n_numbers": 1, "found_in": { "30": "gateway/proxy.py" }, "unfound": [] }, { "id": "N19", "artifact": "tools/sprint53.py", "also": [], "artifact_exists": true, "n_numbers": 3, "found_in": { "0": "tools/sprint53.py", "1": "tools/sprint53.py", "10": "tools/sprint53.py" }, "unfound": [] }, { "id": "N20", "artifact": "traces/mooncake_timed_600.json", "also": [], "artifact_exists": true, "n_numbers": 4, "found_in": { "300": "traces/mooncake_timed_600.json", "200": "traces/mooncake_timed_600.json", "2.0": "traces/mooncake_timed_600.json", "12,031": "traces/mooncake_timed_600.json" }, "unfound": [] }, { "id": "N21", "artifact": "results/active_expert_ceiling.json", "also": [], "artifact_exists": true, "n_numbers": 5, "found_in": { "1.648": "results/active_expert_ceiling.json", "1": "results/active_expert_ceiling.json", "0.001": "tests/test_active_expert_ceiling.py", "8": "results/active_expert_ceiling.json" }, "unfound": [] }, { "id": "N23", "artifact": "results/spend_ledger.json", "also": [], "artifact_exists": true, "n_numbers": 4, "found_in": { "8.0557": "results/spend_ledger.json", "22": "results/spend_ledger.json", "3": "results/spend_ledger.json", "85": "results/spend_ledger.json" }, "unfound": [] }, { "id": "N24", "artifact": "results/d4_step_law_profile.attempt3_zero_events.json", "also": [], "artifact_exists": true, "n_numbers": 3, "found_in": { "1": "results/d4_step_law_profile.attempt3_zero_events.json", "3": "results/d4_step_law_profile.attempt3_zero_events.json" }, "unfound": [] }, { "id": "N27", "artifact": "results/order_effect.json", "also": [], "artifact_exists": true, "n_numbers": 3, "found_in": { "30": "results/order_effect.json", "95": "results/order_effect.json", "2.7": "results/order_effect.json" }, "unfound": [] }, { "id": "N28", "artifact": "tools/extract_transcript.py", "also": [], "artifact_exists": true, "n_numbers": 5, "found_in": { "21": "tests/test_extract_transcript.py", "32": "tests/test_extract_transcript.py", "3": "tests/test_extract_transcript.py", "11": "tests/test_extract_transcript.py", "8": "tools/extract_transcript.py" }, "unfound": [] }, { "id": "N29", "artifact": "traces/agentic_real_cc.provenance.json", "also": [], "artifact_exists": true, "n_numbers": 3, "found_in": { "400": "traces/agentic_real_cc.provenance.json", "30": "traces/agentic_real_cc.jsonl.gz" }, "unfound": [ "7,119" ] }, { "id": "N30", "artifact": "results/agentic_residency_cc.json", "also": [], "artifact_exists": true, "n_numbers": 11, "found_in": { "1": "results/agentic_residency_cc.json", "50": "results/agentic_residency_cc.json", "6": "results/agentic_residency_cc.json", "0.993": "results/agentic_residency_cc.json", "0": "results/agentic_residency_cc.json" }, "unfound": [ "128,966", "2,960,791,629,176", "48", "431,592,453", "49,525,197,994" ] }, { "id": "H004", "artifact": "tests/test_guards.py", "also": [], "artifact_exists": true, "n_numbers": 1, "found_in": {}, "unfound": [ "33" ] }, { "id": "H009", "artifact": "results/sprint7_liveness_reconstructed.json", "also": [ "results/sprint7_cross_family_reconstructed.json" ], "artifact_exists": true, "n_numbers": 8, "found_in": { "0.23177": "results/sprint7_cross_family_reconstructed.json", "0.20500": "results/sprint7_cross_family_reconstructed.json", "0.5": "results/sprint7_liveness_reconstructed.json", "0.87802": "results/sprint7_cross_family_reconstructed.json", "0.71449": "results/sprint7_cross_family_reconstructed.json", "56.2": "results/sprint7_cross_family_reconstructed.json", "66.3": "results/sprint7_cross_family_reconstructed.json", "63.8": "results/sprint7_cross_family_reconstructed.json" }, "unfound": [] }, { "id": "H011", "artifact": "results/sprint9_signal_value_reconstructed.json", "also": [], "artifact_exists": true, "n_numbers": 6, "found_in": { "4.200": "results/sprint9_signal_value_reconstructed.json", "2.800": "results/sprint9_signal_value_reconstructed.json", "2,050": "results/sprint9_signal_value_reconstructed.json", "5,660": "results/sprint9_signal_value_reconstructed.json", "0.362": "results/sprint9_signal_value_reconstructed.json" }, "unfound": [ "1.88" ] }, { "id": "H015", "artifact": "results/sprint10_shadow.json", "also": [], "artifact_exists": true, "n_numbers": 2, "found_in": { "100.0": "results/sprint10_shadow.json", "0.70": "results/sprint10_shadow.json" }, "unfound": [] }, { "id": "H016", "artifact": "results/sprint12_unified_allocation.json", "also": [], "artifact_exists": true, "n_numbers": 4, "found_in": { "0.00": "results/sprint12_unified_allocation.json", "0.01": "results/sprint12_unified_allocation.json", "0.0004": "results/sprint12_unified_allocation.json", "0": "results/sprint12_unified_allocation.json" }, "unfound": [] }, { "id": "H020", "artifact": "results/sprint21_expert_prefetch.json", "also": [], "artifact_exists": true, "n_numbers": 6, "found_in": { "+31.3": "results/sprint21_expert_prefetch.json", "95": "results/sprint21_expert_prefetch.json", "8": "results/sprint21_expert_prefetch.json", "0.4": "results/sprint21_expert_prefetch.json", "63.7": "results/sprint21_expert_prefetch.json", "25": "results/sprint21_expert_prefetch.json" }, "unfound": [] }, { "id": "H020b", "artifact": "results/sprint21b_confidence_gate.json", "also": [], "artifact_exists": true, "n_numbers": 5, "found_in": { "94.6": "results/sprint21b_confidence_gate.json", "7.9": "results/sprint21b_confidence_gate.json", "1.011": "results/sprint21b_confidence_gate.json", "82": "results/sprint21b_confidence_gate.json", "+5.49": "results/sprint21b_confidence_gate.json" }, "unfound": [] }, { "id": "H025", "artifact": "results/sprint29_energy.json", "also": [], "artifact_exists": true, "n_numbers": 2, "found_in": { "0.999479": "results/sprint29_energy.json", "10.1": "results/sprint29_energy.json" }, "unfound": [] }, { "id": "H026", "artifact": "results/sprint27_forecasting.json", "also": [], "artifact_exists": true, "n_numbers": 2, "found_in": { "+1.50": "results/sprint27_forecasting.json", "+23.18": "results/sprint27_forecasting.json" }, "unfound": [] }, { "id": "NI-02", "artifact": "results/sprint21_expert_prefetch.json", "also": [ "results/sprint21b_confidence_gate.json" ], "artifact_exists": true, "n_numbers": 8, "found_in": { "+31.3": "results/sprint21_expert_prefetch.json", "95": "results/sprint21_expert_prefetch.json", "8": "results/sprint21_expert_prefetch.json", "0.4": "results/sprint21_expert_prefetch.json", "63.7": "results/sprint21_expert_prefetch.json", "25": "results/sprint21_expert_prefetch.json", "53": "results/sprint21_expert_prefetch.json", "+5.49": "results/sprint21b_confidence_gate.json" }, "unfound": [] }, { "id": "NI-04", "artifact": "results/sprint12_unified_allocation.json", "also": [], "artifact_exists": true, "n_numbers": 1, "found_in": { "0.0004": "results/sprint12_unified_allocation.json" }, "unfound": [] }, { "id": "NI-05", "artifact": "results/sprint13_consensus_weighted.json", "also": [ "results/sprint14_codec_frontier.json" ], "artifact_exists": true, "n_numbers": 3, "found_in": { "1.74": "results/sprint13_consensus_weighted.json", "6.2": "results/sprint13_consensus_weighted.json" }, "unfound": [ "4.6" ] }, { "id": "NI-07", "artifact": "results/sprint29_energy.json", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "NI-09", "artifact": "results/sprint24_nvlink_recomposed.json", "also": [], "artifact_exists": true, "n_numbers": 5, "found_in": { "0.00": "results/sprint24_nvlink_recomposed.json", "6": "results/sprint24_nvlink_recomposed.json", "25.3": "results/sprint24_nvlink_recomposed.json", "17.3": "results/sprint24_nvlink_recomposed.json" }, "unfound": [] }, { "id": "NII-I", "artifact": "results/slo_sensitivity.json", "also": [], "artifact_exists": true, "n_numbers": 10, "found_in": { "0.5": "results/slo_sensitivity.json", "22.80": "results/slo_sensitivity.json", "33.16": "results/slo_sensitivity.json", "17": "results/slo_sensitivity.json", "0": "results/slo_sensitivity.json", "21": "results/slo_sensitivity.json", "6": "results/slo_sensitivity.json", "0.00": "results/slo_sensitivity.json" }, "unfound": [] }, { "id": "NII-II", "artifact": "results/sprint44_knee_binding.json", "also": [], "artifact_exists": true, "n_numbers": 5, "found_in": { "9": "results/sprint44_knee_binding.json", "1": "results/sprint44_knee_binding.json", "6": "results/sprint44_knee_binding.json", "3.5": "results/sprint44_knee_binding.json", "9.0": "results/sprint44_knee_binding.json" }, "unfound": [] }, { "id": "NII-IV", "artifact": "results/sprint3_endogeneity.json", "also": [], "artifact_exists": true, "n_numbers": 8, "found_in": { "1.08": "results/sprint3_endogeneity.json", "1.09": "results/sprint3_endogeneity.json", "2": "results/sprint3_endogeneity.json", "0.2": "results/sprint3_endogeneity.json", "1": "results/sprint3_endogeneity.json", "16.5": "results/sprint3_endogeneity.json", "10": "results/sprint3_endogeneity.json" }, "unfound": [] }, { "id": "NII-V", "artifact": "results/sprint19_20_gpucount.json", "also": [], "artifact_exists": true, "n_numbers": 5, "found_in": { "31.7": "results/sprint19_20_gpucount.json", "25": "results/sprint19_20_gpucount.json", "1.0": "results/sprint19_20_gpucount.json", "50": "results/sprint19_20_gpucount.json", "0.6301": "results/sprint19_20_gpucount.json" }, "unfound": [] }, { "id": "NII-VI", "artifact": "results/sprint29_pareto.json", "also": [], "artifact_exists": true, "n_numbers": 3, "found_in": { "78.2": "results/sprint29_pareto.json", "40": "results/sprint29_pareto.json", "1.06": "results/sprint29_pareto.json" }, "unfound": [] }, { "id": "NII-VII", "artifact": "results/order_effect.json", "also": [], "artifact_exists": true, "n_numbers": 3, "found_in": { "30": "results/order_effect.json", "95": "results/order_effect.json", "2.7": "results/order_effect.json" }, "unfound": [] }, { "id": "NII-VIII", "artifact": "results/plan_status.json", "also": [], "artifact_exists": true, "n_numbers": 2, "found_in": { "100": "results/plan_status.json" }, "unfound": [ "82" ] }, { "id": "R01", "artifact": "results/mooncake_reconciliation.json", "also": [], "artifact_exists": true, "n_numbers": 1, "found_in": { "8": "results/mooncake_reconciliation.json" }, "unfound": [] }, { "id": "R02", "artifact": "results/estate_imports.json", "also": [], "artifact_exists": true, "n_numbers": 3, "found_in": { "17": "results/estate_imports.json" }, "unfound": [ "7", "9" ] }, { "id": "R03", "artifact": "tests/test_guards.py", "also": [], "artifact_exists": true, "n_numbers": 1, "found_in": { "4": "tests/test_guards.py" }, "unfound": [] }, { "id": "R04", "artifact": "evidence/imported/agentic_fleet_gpu.json", "also": [], "artifact_exists": true, "n_numbers": 2, "found_in": { "4": "evidence/imported/agentic_fleet_gpu.json", "3": "evidence/imported/agentic_fleet_gpu.json" }, "unfound": [] }, { "id": "R05", "artifact": "results/s01_aa_null_tiny.json", "also": [ "results/s01_aa_null_tiny.raw.json" ], "artifact_exists": true, "n_numbers": 4, "found_in": { "1": "results/s01_aa_null_tiny.json", "1.2": "results/s01_aa_null_tiny.json", "38": "results/s01_aa_null_tiny.json" }, "unfound": [] }, { "id": "R06", "artifact": "results/s02_sweep_sharded.json", "also": [ "results/s02_sweep_tiny.json" ], "artifact_exists": true, "n_numbers": 6, "found_in": { "2": "results/s02_sweep_sharded.json", "18.75": "results/s02_sweep_sharded.json", "40.0": "results/s02_sweep_sharded.json", "15.7": "results/s02_sweep_sharded.json", "10": "results/s02_sweep_sharded.json", "6": "results/s02_sweep_sharded.json" }, "unfound": [] }, { "id": "R07", "artifact": "traces/_summary.json", "also": [], "artifact_exists": true, "n_numbers": 3, "found_in": { "4": "traces/_summary.json", "0.00000": "traces/_summary.json" }, "unfound": [] }, { "id": "R08", "artifact": "results/sprint7_liveness_reconstructed.json", "also": [], "artifact_exists": true, "n_numbers": 2, "found_in": { "7": "results/sprint7_liveness_reconstructed.json" }, "unfound": [ "56" ] }, { "id": "R09", "artifact": "results/sprint32_reconstructed.json", "also": [], "artifact_exists": true, "n_numbers": 5, "found_in": { "32": "results/sprint32_reconstructed.json", "0.19621": "results/sprint32_reconstructed.json", "0.19645": "results/sprint32_reconstructed.json" }, "unfound": [ "2.61", "99.9" ] }, { "id": "R10", "artifact": "results/kv_footprint_ladder.json", "also": [ "results/kv_footprint_ladder.json" ], "artifact_exists": true, "n_numbers": 7, "found_in": { "27,648": "results/kv_footprint_ladder.json", "147,456": "results/kv_footprint_ladder.json", "20": "results/kv_footprint_ladder.json", "3,072": "results/kv_footprint_ladder.json" }, "unfound": [ "5.3", "7.25", "6.04" ] }, { "id": "R11", "artifact": "results/s01_aa_null_tiny.json", "also": [ "results/s01_aa_null_tiny.raw.json" ], "artifact_exists": true, "n_numbers": 4, "found_in": { "1.2": "results/s01_aa_null_tiny.json", "5.6": "results/s01_aa_null_tiny.json", "38": "results/s01_aa_null_tiny.json", "0.55": "results/s01_aa_null_tiny.json" }, "unfound": [] }, { "id": "R12", "artifact": "results/s01_aa_null_tiny.json", "also": [ "results/s01_aa_null_tiny.raw.json" ], "artifact_exists": true, "n_numbers": 3, "found_in": { "15": "results/s01_aa_null_tiny.json", "1.1524": "tests/test_gateway_controller.py", "0.9515": "bench/run_sprint44_knee_binding.py" }, "unfound": [] }, { "id": "R13", "artifact": "results/s02_sweep_sharded.json", "also": [ "results/s02_sweep_tiny.json", "results/s02_sweep_tiny.raw.json" ], "artifact_exists": true, "n_numbers": 8, "found_in": { "20": "results/s02_sweep_sharded.json", "75.4": "results/s02_sweep_tiny.raw.json", "78.8": "results/s02_sweep_sharded.json", "78.5": "results/s02_sweep_tiny.raw.json", "16.78": "results/s02_sweep_tiny.raw.json", "18.75": "results/s02_sweep_sharded.json", "40.0": "results/s02_sweep_sharded.json", "15.73": "results/s02_sweep_sharded.json" }, "unfound": [] }, { "id": "X01", "artifact": "results/estate_acceptance_triples.json", "also": [], "artifact_exists": true, "n_numbers": 1, "found_in": { "268": "results/estate_acceptance_triples.json" }, "unfound": [] }, { "id": "X02", "artifact": "results/estate_axiom_coverage.json", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "X03", "artifact": "results/estate_release_readiness.json", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "X04", "artifact": "results/estate_verify_all.json", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "X05", "artifact": "results/kv_footprint_ladder.json", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "X06", "artifact": "results/s01_variance_levels_L1.json", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "X07", "artifact": "results/s01_variance_levels_L3.json", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "X08", "artifact": "results/s47_aa_null_real_trace.json", "also": [], "artifact_exists": true, "n_numbers": 3, "found_in": { "1.0": "results/s47_aa_null_real_trace.json", "0.646": "results/s47_aa_null_real_trace.json", "0.04704": "results/s47_aa_null_real_trace.json" }, "unfound": [] }, { "id": "X09", "artifact": "results/s47_aa_null_real_trace.prereg.json", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "X10", "artifact": "results/s47_aa_null_real_trace.superseded.prereg.json", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "X11", "artifact": "results/sprint46_report.json", "also": [], "artifact_exists": true, "n_numbers": 4, "found_in": { "30.477": "results/sprint46_report.json", "1.304769": "results/sprint46_report.json", "0.6997": "results/sprint46_report.json", "0.8044": "results/sprint46_report.json" }, "unfound": [] }, { "id": "X12", "artifact": "results/sprint4_baseline_costs.json", "also": [], "artifact_exists": true, "n_numbers": 2, "found_in": { "0.041385": "results/sprint4_baseline_costs.json", "76.404": "results/sprint4_baseline_costs.json" }, "unfound": [] }, { "id": "X13", "artifact": "results/sprint7_affinity_baseline.json", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "X14", "artifact": "results/sprint7_cross_family_reconstructed.json", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "X15", "artifact": "results/sprint7_liveness_reconstructed.json", "also": [], "artifact_exists": true, "n_numbers": 3, "found_in": { "16": "results/sprint7_liveness_reconstructed.json", "500": "results/sprint7_liveness_reconstructed.json" }, "unfound": [ "157" ] }, { "id": "X16", "artifact": "results/sprint9_signal_value_reconstructed.json", "also": [], "artifact_exists": true, "n_numbers": 1, "found_in": { "0.35": "results/sprint9_signal_value_reconstructed.json" }, "unfound": [] }, { "id": "X17", "artifact": "results/sprint11_type_agnosticism.json", "also": [], "artifact_exists": true, "n_numbers": 1, "found_in": { "1.0": "results/sprint11_type_agnosticism.json" }, "unfound": [] }, { "id": "X18", "artifact": "results/s02_paired_knee.prereg.json", "also": [], "artifact_exists": true, "n_numbers": 1, "found_in": { "000": "results/s02_paired_knee.prereg.json" }, "unfound": [] }, { "id": "X19", "artifact": "results/d5_knee_binding_by_shards.json", "also": [], "artifact_exists": true, "n_numbers": 1, "found_in": { "1": "results/d5_knee_binding_by_shards.json" }, "unfound": [] }, { "id": "X20", "artifact": "results/fleet_report_091494c4.md", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "X21", "artifact": "results/s46_apc_real_trace.json", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "X22", "artifact": "results/s48_connector_smoke.json", "also": [], "artifact_exists": true, "n_numbers": 2, "found_in": { "442": "results/s48_connector_smoke.json", "11.05": "results/s48_connector_smoke.json" }, "unfound": [] }, { "id": "X23", "artifact": "results/sprint22_roofline.json", "also": [], "artifact_exists": true, "n_numbers": 1, "found_in": { "300": "results/sprint22_roofline.json" }, "unfound": [] }, { "id": "S01", "artifact": "papers/knee_is_not_the_slo.md", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "S02", "artifact": "gateway/proxy.py", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "S03", "artifact": "connector/noop_observer.py", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "S04", "artifact": "simulator/fitted_params.json", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "S05", "artifact": "simulator/calibrate.py", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "S06", "artifact": "predictors/signal.py", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "S07", "artifact": "guards/artifact_binding.py", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "S08", "artifact": "evidence/imported/certified_elision_gate.json", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "S09", "artifact": "traces/mooncake_timed_200.json", "also": [], "artifact_exists": true, "n_numbers": 3, "found_in": { "200": "traces/mooncake_timed_200.json", "300": "traces/mooncake_timed_200.json", "2.0": "traces/mooncake_timed_200.json" }, "unfound": [] }, { "id": "S10", "artifact": "configs/s46_apc_real_trace.yaml", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "S11", "artifact": "formal/lean/SubmodularCover.lean", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "S12", "artifact": "tests/test_unified.py", "also": [], "artifact_exists": true, "n_numbers": 4, "found_in": { "20.0": "tests/test_unified.py", "15.1": "tests/test_unified.py", "10.0": "tests/test_unified.py", "4.9": "tests/test_unified.py" }, "unfound": [] }, { "id": "E01", "artifact": "ESTATE_FREEZE.md", "also": [], "artifact_exists": true, "n_numbers": 2, "found_in": { "3": "ESTATE_FREEZE.md", "4": "ESTATE_FREEZE.md" }, "unfound": [] }, { "id": "E02", "artifact": "results/estate_verify_all.json", "also": [], "artifact_exists": true, "n_numbers": 2, "found_in": { "2026": "results/estate_verify_all.json", "12": "results/estate_verify_all.json" }, "unfound": [] }, { "id": "E03", "artifact": "results/estate_acceptance_triples.json", "also": [ "results/estate_acceptance_triples.json" ], "artifact_exists": true, "n_numbers": 5, "found_in": { "268": "results/estate_acceptance_triples.json", "9": "results/estate_acceptance_triples.json", "5": "results/estate_acceptance_triples.json", "270": "results/estate_acceptance_triples.json", "271": "results/estate_acceptance_triples.json" }, "unfound": [] }, { "id": "E04", "artifact": "results/estate_orphan_theorems.json", "also": [], "artifact_exists": true, "n_numbers": 3, "found_in": { "1,717": "results/estate_orphan_theorems.json", "972": "results/estate_orphan_theorems.json", "480": "results/estate_orphan_theorems.json" }, "unfound": [] }, { "id": "E05", "artifact": "results/estate_axiom_coverage.json", "also": [], "artifact_exists": true, "n_numbers": 3, "found_in": { "32.4": "results/estate_axiom_coverage.json" }, "unfound": [ "605", "1,870" ] }, { "id": "E06", "artifact": "ESTATE_FREEZE.md", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "E07", "artifact": "ESTATE_FREEZE.md", "also": [], "artifact_exists": true, "n_numbers": 4, "found_in": { "77": "ESTATE_FREEZE.md", "1": "ESTATE_FREEZE.md", "76": "ESTATE_FREEZE.md", "73": "ESTATE_FREEZE.md" }, "unfound": [] }, { "id": "E08", "artifact": "results/estate_release_readiness.json", "also": [], "artifact_exists": true, "n_numbers": 2, "found_in": { "144": "results/estate_release_readiness.json" }, "unfound": [ "6" ] }, { "id": "E09", "artifact": "results/estate_negatives_and_pins.json", "also": [ "results/estate_negatives_and_pins.json" ], "artifact_exists": true, "n_numbers": 3, "found_in": { "4": "results/estate_negatives_and_pins.json" }, "unfound": [ "2", "+78.2" ] }, { "id": "E10", "artifact": "results/estate_negatives_and_pins.json", "also": [], "artifact_exists": true, "n_numbers": 3, "found_in": { "52": "results/estate_negatives_and_pins.json", "39": "results/estate_negatives_and_pins.json", "8": "results/estate_negatives_and_pins.json" }, "unfound": [] }, { "id": "E11", "artifact": "ESTATE_FREEZE.md", "also": [], "artifact_exists": true, "n_numbers": 3, "found_in": { "370.6": "ESTATE_FREEZE.md", "751.9": "ESTATE_FREEZE.md" }, "unfound": [ "-0.698" ] }, { "id": "E12", "artifact": "ESTATE_FREEZE.md", "also": [], "artifact_exists": true, "n_numbers": 2, "found_in": { "200,000": "ESTATE_FREEZE.md", "0": "ESTATE_FREEZE.md" }, "unfound": [] }, { "id": "E13", "artifact": "ESTATE_FREEZE.md", "also": [], "artifact_exists": true, "n_numbers": 2, "found_in": { "14": "ESTATE_FREEZE.md", "83": "ESTATE_FREEZE.md" }, "unfound": [] }, { "id": "E14", "artifact": "results/estate_published_datasets.json", "also": [], "artifact_exists": true, "n_numbers": 3, "found_in": { "2.0": "results/estate_published_datasets.json" }, "unfound": [ "18", "27" ] }, { "id": "E15", "artifact": "results/estate_publish_force_risk.json", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "E16", "artifact": "results/estate_imports.json", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] }, { "id": "E17", "artifact": "PROVENANCE_GAP.md", "also": [], "artifact_exists": true, "n_numbers": 2, "found_in": { "43": "PROVENANCE_GAP.md", "40": "PROVENANCE_GAP.md" }, "unfound": [] }, { "id": "E18", "artifact": "formal/lean/CacheCeiling.lean", "also": [], "artifact_exists": true, "n_numbers": 0, "found_in": {}, "unfound": [] } ] }