{
  "schema": "orbexa.current-gap-evidence.v1",
  "controller_commit": "4c3bf605f20c61518db5d6fd4bc026976d60a1e7",
  "scope": "Central development comparison and separately qualified components. No complete mission, held-out superiority or real-time guarantee.",
  "full_mission_complete": false,
  "comparison": {
    "schema": "orbexa.independent-v6-factorial-verification.v1",
    "scope": "Four closed22-update central development prefixes. Native/source/archive/certificate/exact-ledger authentication, not interval differential proof replay, held-out comparison or complete mission.",
    "comparison_request_sha256": "2e0c232d1beb3f274482dea53664e48a679e37e967fe9e1e4168d89bf928585a",
    "verifier_base_sha256": "a0cdf8e8f528e893d47fd709119839aefc10e92ff0639fb490f259229307a6e4",
    "arms": [
      {
        "arm": "adaptive-dynamic",
        "verification_status": "VERIFIED",
        "producer_pid": 65816,
        "source_inputs": {
          "files": 216,
          "runtime_files": 216,
          "inputs": 3,
          "source_receipt_sha256": "78ed45e54e244e05b7dedd58bee3c6b9abbf88b2cfb557764ddf70d7ef53254c",
          "source_manifest_sha256": "92690219d0bad52caa38570ea33445a6cbd3c10d1a027323433e0e7d2c03bda2",
          "study_manifest_sha256": "18a32efb70b03d87200978346f4487d6320a8e1e26da9be578a6ec02d6faa21c",
          "producer_environment_matches": true
        },
        "native": {
          "attempts": 169,
          "controller_calls": 168,
          "verified_files": 2197,
          "outcomes": {
            "successful": 168,
            "refused": 1
          },
          "iteration_histogram": {
            "117": 1,
            "126": 1,
            "32": 7,
            "33": 4,
            "34": 4,
            "35": 7,
            "36": 13,
            "37": 13,
            "38": 20,
            "39": 9,
            "40": 13,
            "41": 11,
            "42": 12,
            "43": 5,
            "44": 3,
            "45": 1,
            "46": 1,
            "47": 3,
            "471": 1,
            "48": 2,
            "51": 1,
            "54": 3,
            "55": 1,
            "57": 1,
            "58": 3,
            "60": 2,
            "61": 3,
            "62": 2,
            "64": 3,
            "65": 1,
            "67": 2,
            "70": 1,
            "72": 1,
            "73": 2,
            "76": 1,
            "78": 2,
            "80": 2,
            "81": 1,
            "82": 1,
            "83": 1,
            "869": 1,
            "90": 1,
            "92": 1,
            "98": 1
          },
          "all_count_provenance_matches": true,
          "all_retry_totals_match": true
        },
        "archive_ledger": {
          "holds": 704,
          "entries": 3250,
          "raw_sha256": "9946d381e1cf06d769cd66a579af037a44ec8f141a82a7b130c5fe256651af6c",
          "identity": "d274d02f10bf51cbca1297b2dd8762a32f6cdc9f998cb97707ef30f2f2aa7ddb",
          "exact_end_q": "12682136550675317/576460752303423488",
          "command_sources": {
            "FALLBACK_TRACK": 32,
            "PERFORMANCE": 672
          },
          "geometry_records": 81664,
          "exact_resource_conservation": true,
          "actual_inputs_inside_applied_supports": true,
          "exact_held_effort_recomputed": true,
          "exact_impulse_and_fuel_upper_debits_recomputed": true,
          "unconfirmed_tail": false,
          "charged_fuel_upper_kg": {
            "chaser_1": 0.17593881615572793,
            "chaser_2": 0.17330058097232937,
            "chaser_3": 0.17079180215846015,
            "chaser_4": 0.1757741831031128,
            "chaser_5": 0.17347201456910213,
            "chaser_6": 0.17118585744883383,
            "chaser_7": 0.1783951235575319,
            "chaser_8": 0.17612959435866632
          },
          "applied_support_fuel_upper_kg": {
            "chaser_1": 0.04653912323678976,
            "chaser_2": 0.04390088805083744,
            "chaser_3": 0.04139210923444064,
            "chaser_4": 0.04637449018458514,
            "chaser_5": 0.04407232164839946,
            "chaser_6": 0.041786164525811825,
            "chaser_7": 0.04899543063994569,
            "chaser_8": 0.0467299014390766
          }
        },
        "certificates": {
          "staged_source_links_verified": {
            "target": 704,
            "flows": 5632,
            "navigation_flows": 5632,
            "nominal": 5376
          },
          "whole_fleet_geometry_coverage_authenticated": true,
          "interval_differential_proofs_reexecuted": false
        },
        "adaptation": {
          "mode": "adaptive",
          "membership_events": [
            {
              "update": 20,
              "status": "RETAINED",
              "candidate_count_before": 4,
              "candidate_count_after": 4,
              "discarded_count": 0,
              "observation_outcomes": {
                "CONSISTENT_OR_UNRESOLVED_RETAINED": 4
              },
              "target_flow_statuses": {
                "null": 4
              },
              "relative_flow_statuses": {
                "null": 4
              }
            }
          ],
          "retained_candidates": 4,
          "physical_prior_fingerprint": "866fb7e423c1a275afcddf14c025da61dd204985520f8e96cb34230f18d3c9c4",
          "physical_final_hull_fingerprint": "866fb7e423c1a275afcddf14c025da61dd204985520f8e96cb34230f18d3c9c4",
          "physical_hull_unchanged": true,
          "scalar_widths": {
            "alpha": {
              "initial": 3.2e-09,
              "final": 3.1999998422970957e-09,
              "history": [
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.1999998422970957e-09,
                3.1999998422970957e-09
              ]
            },
            "beta": {
              "initial": 7.2e-09,
              "final": 7.199999645168464e-09,
              "history": [
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.199999645168464e-09,
                7.199999645168464e-09
              ]
            },
            "eccentricity": {
              "initial": 0.0014,
              "final": 2.5594163162168115e-06,
              "history": [
                0.0014,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06
              ]
            }
          },
          "scalar_change_explanation": "Scalar change exactly matches fixed reference-density CdA/m mapping and prior intersection; no physical candidate exclusion",
          "post_update20_control_update_executed": true,
          "linked_candidates_checked": 4,
          "linked_agent_window_sizes": [
            8
          ],
          "linked_flow_evaluations": [
            256,
            256,
            256,
            256
          ]
        },
        "sensing": {
          "field_declaration": {
            "randomness_policy": "physical-slot-keyed-v1",
            "seed": 1503341,
            "acquisition_period_s": 0.05,
            "acquisition_epoch_s": 0.0,
            "noise_time_quantum_s": 1e-09,
            "algorithm_source_sha256": "0a715989675083fe09d8bda488310857a556632a92150d2dcad5db6f90e09830"
          },
          "field_fingerprint": "f5905dd98c8ed297d0d3aef9346c07b5215df30459942dfc8a49fc7fab3f4d9c",
          "initial_accepted_gnss_packets": 8,
          "initial_conditioned_state_fingerprint": "e28da4cbf65966e7576375f4342c064b27ed09a180958737d251de200a83c274",
          "accepted_packet_ids": 5984,
          "acceptance_event_count": 23,
          "accepted_packet_counts_by_outer_event": [
            0,
            272,
            544,
            816,
            1088,
            1360,
            1632,
            1904,
            2176,
            2448,
            2720,
            2992,
            3264,
            3536,
            3808,
            4080,
            4352,
            4624,
            4896,
            5168,
            5440,
            5712,
            5984
          ],
          "actual_acquisition_events_after_initial": 353,
          "actual_keyed_channel_slot_overlap_after_initial": "Independently decoded physical_slot,agent_id,measurement_kind",
          "initial_event_scope": "Full raw measurements and exact acquisition/delivery intervals independently authenticated"
        },
        "artifact_sha256": {
          "source-manifest.json": "92690219d0bad52caa38570ea33445a6cbd3c10d1a027323433e0e7d2c03bda2",
          "study-manifest.json": "18a32efb70b03d87200978346f4487d6320a8e1e26da9be578a6ec02d6faa21c",
          "study-metrics.json": "02e16a9bcfb39b46facdb6d35cf71d8b0616aaa4c8a683386c900defb0d403ba",
          "run-result.json": "a5ebef9012a4a092b51d43156f022e46cd85d4f7b53805178d4aa240ff0cba0c",
          "nonlinear-certificates.jsonl.zst.manifest.json": "f1a9d2282e355430c2a033826c091e4b61f2803462755b05ad87547b7d091423",
          "nonlinear-certificates.jsonl.zst": "9946d381e1cf06d769cd66a579af037a44ec8f141a82a7b130c5fe256651af6c",
          "native-attempts.jsonl": "6f13951a91a02825a11b449623680a22e1061b0340bc0e4a68ac2d562c4ddcd4",
          "approach/mission_data.json": "ea4af5f9ff7e80e2c07055b596e36867f5f8e736e6affec87c756f94a1c29914"
        },
        "all_verified_artifacts_stable": true,
        "mission_status": "INCOMPLETE",
        "updates": 22,
        "physical_elapsed_s": 21.149624975380704,
        "deadline_misses": 22,
        "wall_time_s": 714.251538200002,
        "completion_claim_supported": false,
        "superiority_claim_supported": false,
        "verification_wall_s": 35.06864019999921,
        "raw_sensing": {
          "acquisition_events": {
            "GENERATED": 353
          },
          "delivery_events": {
            "SENSOR_DELIVERY_ATTEMPT": 704,
            "SENSOR_DELIVERY_RESULT": 704
          },
          "complete_packets": 6001,
          "physical_slot_agent_channels": 6001,
          "all_accepted_packets_have_prior_raw_records": true,
          "packet_hashes_and_delivery_eligibility_checked": true,
          "accepted_current_batch_ids": 5984
        }
      },
      {
        "arm": "adaptive-fixed",
        "verification_status": "VERIFIED",
        "producer_pid": 51296,
        "source_inputs": {
          "files": 216,
          "runtime_files": 216,
          "inputs": 3,
          "source_receipt_sha256": "78ed45e54e244e05b7dedd58bee3c6b9abbf88b2cfb557764ddf70d7ef53254c",
          "source_manifest_sha256": "dfa0d1c6bca936dc98056f1f9ea21d37acc31a465f5c28ef58ceac8239079022",
          "study_manifest_sha256": "b9a5ca9bed3dee14b729dce1b0c46dd437b8abd02f319c7f6647c3b7f581ca58",
          "producer_environment_matches": true
        },
        "native": {
          "attempts": 169,
          "controller_calls": 168,
          "verified_files": 2197,
          "outcomes": {
            "successful": 168,
            "refused": 1
          },
          "iteration_histogram": {
            "115": 1,
            "120": 1,
            "122": 1,
            "32": 2,
            "33": 10,
            "34": 3,
            "35": 6,
            "36": 12,
            "37": 12,
            "38": 15,
            "39": 11,
            "40": 10,
            "41": 11,
            "42": 14,
            "43": 5,
            "44": 7,
            "45": 4,
            "47": 2,
            "48": 2,
            "49": 3,
            "52": 3,
            "54": 2,
            "55": 1,
            "56": 3,
            "58": 3,
            "60": 3,
            "62": 3,
            "65": 2,
            "678": 1,
            "68": 3,
            "70": 2,
            "73": 1,
            "76": 1,
            "77": 3,
            "78": 2,
            "79": 1,
            "95": 2,
            "98": 1
          },
          "all_count_provenance_matches": true,
          "all_retry_totals_match": true
        },
        "archive_ledger": {
          "holds": 704,
          "entries": 3250,
          "raw_sha256": "8b81c6620b55164846a86d03dadfcbdd6fba01d6a3d9f225c6253d83e9372ec3",
          "identity": "d3bd30fdce872c8699d18ffbf2c89acc7d33f264c784df5237813f40a9ef905c",
          "exact_end_q": "12682136550675317/576460752303423488",
          "command_sources": {
            "FALLBACK_TRACK": 32,
            "PERFORMANCE": 672
          },
          "geometry_records": 81664,
          "exact_resource_conservation": true,
          "actual_inputs_inside_applied_supports": true,
          "exact_held_effort_recomputed": true,
          "exact_impulse_and_fuel_upper_debits_recomputed": true,
          "unconfirmed_tail": false,
          "charged_fuel_upper_kg": {
            "chaser_1": 0.17594136527126392,
            "chaser_2": 0.1732992620758535,
            "chaser_3": 0.17079398599320916,
            "chaser_4": 0.1757736343346758,
            "chaser_5": 0.1734686475177483,
            "chaser_6": 0.17118584972122783,
            "chaser_7": 0.1783959869369416,
            "chaser_8": 0.17612957007862853
          },
          "applied_support_fuel_upper_kg": {
            "chaser_1": 0.04654167235232955,
            "chaser_2": 0.0438995691543633,
            "chaser_3": 0.04139429306919836,
            "chaser_4": 0.04637394141614757,
            "chaser_5": 0.04406895459704467,
            "chaser_6": 0.041786156798211606,
            "chaser_7": 0.04899629401935679,
            "chaser_8": 0.04672987715904202
          }
        },
        "certificates": {
          "staged_source_links_verified": {
            "target": 704,
            "flows": 5632,
            "navigation_flows": 5632,
            "nominal": 5376
          },
          "whole_fleet_geometry_coverage_authenticated": true,
          "interval_differential_proofs_reexecuted": false
        },
        "adaptation": {
          "mode": "adaptive",
          "membership_events": [
            {
              "update": 20,
              "status": "RETAINED",
              "candidate_count_before": 4,
              "candidate_count_after": 4,
              "discarded_count": 0,
              "observation_outcomes": {
                "CONSISTENT_OR_UNRESOLVED_RETAINED": 4
              },
              "target_flow_statuses": {
                "null": 4
              },
              "relative_flow_statuses": {
                "null": 4
              }
            }
          ],
          "retained_candidates": 4,
          "physical_prior_fingerprint": "866fb7e423c1a275afcddf14c025da61dd204985520f8e96cb34230f18d3c9c4",
          "physical_final_hull_fingerprint": "866fb7e423c1a275afcddf14c025da61dd204985520f8e96cb34230f18d3c9c4",
          "physical_hull_unchanged": true,
          "scalar_widths": {
            "alpha": {
              "initial": 3.2e-09,
              "final": 3.1999998422970957e-09,
              "history": [
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.1999998422970957e-09,
                3.1999998422970957e-09
              ]
            },
            "beta": {
              "initial": 7.2e-09,
              "final": 7.199999645168464e-09,
              "history": [
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.199999645168464e-09,
                7.199999645168464e-09
              ]
            },
            "eccentricity": {
              "initial": 0.0014,
              "final": 2.5594163162168115e-06,
              "history": [
                0.0014,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06
              ]
            }
          },
          "scalar_change_explanation": "Scalar change exactly matches fixed reference-density CdA/m mapping and prior intersection; no physical candidate exclusion",
          "post_update20_control_update_executed": true,
          "linked_candidates_checked": 4,
          "linked_agent_window_sizes": [
            8
          ],
          "linked_flow_evaluations": [
            256,
            256,
            256,
            256
          ]
        },
        "sensing": {
          "field_declaration": {
            "randomness_policy": "physical-slot-keyed-v1",
            "seed": 1503341,
            "acquisition_period_s": 0.05,
            "acquisition_epoch_s": 0.0,
            "noise_time_quantum_s": 1e-09,
            "algorithm_source_sha256": "0a715989675083fe09d8bda488310857a556632a92150d2dcad5db6f90e09830"
          },
          "field_fingerprint": "f5905dd98c8ed297d0d3aef9346c07b5215df30459942dfc8a49fc7fab3f4d9c",
          "initial_accepted_gnss_packets": 8,
          "initial_conditioned_state_fingerprint": "e28da4cbf65966e7576375f4342c064b27ed09a180958737d251de200a83c274",
          "accepted_packet_ids": 5984,
          "acceptance_event_count": 23,
          "accepted_packet_counts_by_outer_event": [
            0,
            272,
            544,
            816,
            1088,
            1360,
            1632,
            1904,
            2176,
            2448,
            2720,
            2992,
            3264,
            3536,
            3808,
            4080,
            4352,
            4624,
            4896,
            5168,
            5440,
            5712,
            5984
          ],
          "actual_acquisition_events_after_initial": 353,
          "actual_keyed_channel_slot_overlap_after_initial": "Independently decoded physical_slot,agent_id,measurement_kind",
          "initial_event_scope": "Full raw measurements and exact acquisition/delivery intervals independently authenticated"
        },
        "artifact_sha256": {
          "source-manifest.json": "dfa0d1c6bca936dc98056f1f9ea21d37acc31a465f5c28ef58ceac8239079022",
          "study-manifest.json": "b9a5ca9bed3dee14b729dce1b0c46dd437b8abd02f319c7f6647c3b7f581ca58",
          "study-metrics.json": "2fa596b3058c92290171e68efa7a3f72a83424f45062a265c00a6fc9f9536d72",
          "run-result.json": "691828a427e869e021c28551fccc97f13f66f2d8fd841e6bdcbbbf705812ba46",
          "nonlinear-certificates.jsonl.zst.manifest.json": "65243fe21367bcf8db9af6214fc9866aaa931a64eaecd15f248b5b5c039c9e2f",
          "nonlinear-certificates.jsonl.zst": "8b81c6620b55164846a86d03dadfcbdd6fba01d6a3d9f225c6253d83e9372ec3",
          "native-attempts.jsonl": "dbe413b76822432330d7b0b89111ce6dd25332748d9004d5e58981e0d9f501b9",
          "approach/mission_data.json": "84daaad2bf2f3ca8481d47e8897067b475bdf2341d8ba023b2dc7cec4b9e525b"
        },
        "all_verified_artifacts_stable": true,
        "mission_status": "INCOMPLETE",
        "updates": 22,
        "physical_elapsed_s": 21.149624975380704,
        "deadline_misses": 22,
        "wall_time_s": 697.8765085999985,
        "completion_claim_supported": false,
        "superiority_claim_supported": false,
        "verification_wall_s": 35.86429380000118,
        "raw_sensing": {
          "acquisition_events": {
            "GENERATED": 353
          },
          "delivery_events": {
            "SENSOR_DELIVERY_ATTEMPT": 704,
            "SENSOR_DELIVERY_RESULT": 704
          },
          "complete_packets": 6001,
          "physical_slot_agent_channels": 6001,
          "all_accepted_packets_have_prior_raw_records": true,
          "packet_hashes_and_delivery_eligibility_checked": true,
          "accepted_current_batch_ids": 5984
        }
      },
      {
        "arm": "frozen-dynamic",
        "verification_status": "VERIFIED",
        "producer_pid": 57584,
        "source_inputs": {
          "files": 216,
          "runtime_files": 216,
          "inputs": 3,
          "source_receipt_sha256": "78ed45e54e244e05b7dedd58bee3c6b9abbf88b2cfb557764ddf70d7ef53254c",
          "source_manifest_sha256": "578eee86536b70fa5862effa6c917fc5740f0e5651f75ea68f42a84018d5b0df",
          "study_manifest_sha256": "5c014a558a51d494f07a49279fe6c0f9354bc656c4d05b325ace41205e6c26fb",
          "producer_environment_matches": true
        },
        "native": {
          "attempts": 169,
          "controller_calls": 168,
          "verified_files": 2197,
          "outcomes": {
            "successful": 168,
            "refused": 1
          },
          "iteration_histogram": {
            "117": 1,
            "126": 1,
            "32": 7,
            "33": 4,
            "34": 4,
            "35": 7,
            "36": 13,
            "37": 13,
            "38": 20,
            "39": 9,
            "40": 13,
            "41": 11,
            "42": 12,
            "43": 5,
            "44": 3,
            "45": 1,
            "46": 1,
            "47": 3,
            "471": 1,
            "48": 2,
            "51": 1,
            "54": 3,
            "55": 1,
            "57": 1,
            "58": 3,
            "60": 2,
            "61": 3,
            "62": 2,
            "64": 3,
            "65": 1,
            "67": 2,
            "70": 1,
            "72": 1,
            "73": 2,
            "76": 1,
            "78": 2,
            "80": 2,
            "81": 1,
            "82": 1,
            "83": 1,
            "869": 1,
            "90": 1,
            "92": 1,
            "98": 1
          },
          "all_count_provenance_matches": true,
          "all_retry_totals_match": true
        },
        "archive_ledger": {
          "holds": 704,
          "entries": 3250,
          "raw_sha256": "82b3fffd1f3bab653076cdfb0c9fddfd3756eed8d3352a5baf2e7ede5ab95b44",
          "identity": "77fc3ecc2730982eaeffb953bbf71a74dba4cfa3c744a40b72fb420236fff19f",
          "exact_end_q": "12682136550675317/576460752303423488",
          "command_sources": {
            "FALLBACK_TRACK": 32,
            "PERFORMANCE": 672
          },
          "geometry_records": 81664,
          "exact_resource_conservation": true,
          "actual_inputs_inside_applied_supports": true,
          "exact_held_effort_recomputed": true,
          "exact_impulse_and_fuel_upper_debits_recomputed": true,
          "unconfirmed_tail": false,
          "charged_fuel_upper_kg": {
            "chaser_1": 0.17593881615572846,
            "chaser_2": 0.1733005809723291,
            "chaser_3": 0.17079180215849415,
            "chaser_4": 0.17577418310311327,
            "chaser_5": 0.17347201456910297,
            "chaser_6": 0.17118585744883438,
            "chaser_7": 0.17839512355753137,
            "chaser_8": 0.17612959435866643
          },
          "applied_support_fuel_upper_kg": {
            "chaser_1": 0.04653912323679027,
            "chaser_2": 0.04390088805083717,
            "chaser_3": 0.04139210923447464,
            "chaser_4": 0.046374490184585594,
            "chaser_5": 0.0440723216484003,
            "chaser_6": 0.04178616452581239,
            "chaser_7": 0.048995430639945194,
            "chaser_8": 0.0467299014390767
          }
        },
        "certificates": {
          "staged_source_links_verified": {
            "target": 704,
            "flows": 5632,
            "navigation_flows": 5632,
            "nominal": 5376
          },
          "whole_fleet_geometry_coverage_authenticated": true,
          "interval_differential_proofs_reexecuted": false
        },
        "adaptation": {
          "mode": "frozen",
          "membership_events": [
            {
              "update": 20,
              "status": "FROZEN",
              "candidate_count": 4,
              "discarded_count": 0,
              "observation_outcomes": {},
              "target_flow_statuses": {},
              "relative_flow_statuses": {}
            }
          ],
          "retained_candidates": 4,
          "physical_prior_fingerprint": "866fb7e423c1a275afcddf14c025da61dd204985520f8e96cb34230f18d3c9c4",
          "physical_final_hull_fingerprint": "866fb7e423c1a275afcddf14c025da61dd204985520f8e96cb34230f18d3c9c4",
          "physical_hull_unchanged": true,
          "scalar_widths": {
            "alpha": {
              "initial": 3.2e-09,
              "final": 3.2e-09,
              "history": [
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09
              ]
            },
            "beta": {
              "initial": 7.2e-09,
              "final": 7.2e-09,
              "history": [
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09
              ]
            },
            "eccentricity": {
              "initial": 0.0014,
              "final": 2.5594163162168115e-06,
              "history": [
                0.0014,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06
              ]
            }
          },
          "scalar_change_explanation": null,
          "post_update20_control_update_executed": true,
          "linked_candidates_checked": 0,
          "linked_agent_window_sizes": [],
          "linked_flow_evaluations": []
        },
        "sensing": {
          "field_declaration": {
            "randomness_policy": "physical-slot-keyed-v1",
            "seed": 1503341,
            "acquisition_period_s": 0.05,
            "acquisition_epoch_s": 0.0,
            "noise_time_quantum_s": 1e-09,
            "algorithm_source_sha256": "0a715989675083fe09d8bda488310857a556632a92150d2dcad5db6f90e09830"
          },
          "field_fingerprint": "f5905dd98c8ed297d0d3aef9346c07b5215df30459942dfc8a49fc7fab3f4d9c",
          "initial_accepted_gnss_packets": 8,
          "initial_conditioned_state_fingerprint": "e28da4cbf65966e7576375f4342c064b27ed09a180958737d251de200a83c274",
          "accepted_packet_ids": 5984,
          "acceptance_event_count": 23,
          "accepted_packet_counts_by_outer_event": [
            0,
            272,
            544,
            816,
            1088,
            1360,
            1632,
            1904,
            2176,
            2448,
            2720,
            2992,
            3264,
            3536,
            3808,
            4080,
            4352,
            4624,
            4896,
            5168,
            5440,
            5712,
            5984
          ],
          "actual_acquisition_events_after_initial": 353,
          "actual_keyed_channel_slot_overlap_after_initial": "Independently decoded physical_slot,agent_id,measurement_kind",
          "initial_event_scope": "Full raw measurements and exact acquisition/delivery intervals independently authenticated"
        },
        "artifact_sha256": {
          "source-manifest.json": "578eee86536b70fa5862effa6c917fc5740f0e5651f75ea68f42a84018d5b0df",
          "study-manifest.json": "5c014a558a51d494f07a49279fe6c0f9354bc656c4d05b325ace41205e6c26fb",
          "study-metrics.json": "03f24e0ae2e173ab05b3a8d5354471737c2c888283579d116cf84b4decbf5c63",
          "run-result.json": "a1777ab153fda7df2b56f3b75b62e00f3cfe3ac05457c86735e27317bd1e2ad4",
          "nonlinear-certificates.jsonl.zst.manifest.json": "91c60698697c23fc9a62ae824c18e31c54f31496178e6becd7084a6d32ec8113",
          "nonlinear-certificates.jsonl.zst": "82b3fffd1f3bab653076cdfb0c9fddfd3756eed8d3352a5baf2e7ede5ab95b44",
          "native-attempts.jsonl": "d41643883c19568a244ea4de6384cd157d1efb778c04fa327258621df4ef14dc",
          "approach/mission_data.json": "d6b74731686a6c24d2cda4f5fc4c8125e0f730f24dd3ec1c283c6259bb1e3fab"
        },
        "all_verified_artifacts_stable": true,
        "mission_status": "INCOMPLETE",
        "updates": 22,
        "physical_elapsed_s": 21.149624975380704,
        "deadline_misses": 22,
        "wall_time_s": 721.739792700002,
        "completion_claim_supported": false,
        "superiority_claim_supported": false,
        "verification_wall_s": 38.502577200000815,
        "raw_sensing": {
          "acquisition_events": {
            "GENERATED": 353
          },
          "delivery_events": {
            "SENSOR_DELIVERY_ATTEMPT": 704,
            "SENSOR_DELIVERY_RESULT": 704
          },
          "complete_packets": 6001,
          "physical_slot_agent_channels": 6001,
          "all_accepted_packets_have_prior_raw_records": true,
          "packet_hashes_and_delivery_eligibility_checked": true,
          "accepted_current_batch_ids": 5984
        }
      },
      {
        "arm": "frozen-fixed",
        "verification_status": "VERIFIED",
        "producer_pid": 72572,
        "source_inputs": {
          "files": 216,
          "runtime_files": 216,
          "inputs": 3,
          "source_receipt_sha256": "78ed45e54e244e05b7dedd58bee3c6b9abbf88b2cfb557764ddf70d7ef53254c",
          "source_manifest_sha256": "d63824df75e9eef95540d8cba86141c9192fb75d1cc1dc52f3a807d056f02643",
          "study_manifest_sha256": "fc5eea8828cc4898542657a029414aa34e5c4ac95f3164b3f7b83567eba3d2c5",
          "producer_environment_matches": true
        },
        "native": {
          "attempts": 169,
          "controller_calls": 168,
          "verified_files": 2197,
          "outcomes": {
            "successful": 168,
            "refused": 1
          },
          "iteration_histogram": {
            "115": 1,
            "120": 1,
            "122": 1,
            "32": 2,
            "33": 10,
            "34": 3,
            "35": 6,
            "36": 12,
            "37": 12,
            "38": 15,
            "39": 11,
            "40": 10,
            "41": 11,
            "42": 14,
            "43": 5,
            "44": 7,
            "45": 4,
            "47": 2,
            "48": 2,
            "49": 3,
            "52": 3,
            "54": 2,
            "55": 1,
            "56": 3,
            "58": 3,
            "60": 3,
            "62": 3,
            "65": 2,
            "678": 1,
            "68": 3,
            "70": 2,
            "73": 1,
            "76": 1,
            "77": 3,
            "78": 2,
            "79": 1,
            "95": 2,
            "98": 1
          },
          "all_count_provenance_matches": true,
          "all_retry_totals_match": true
        },
        "archive_ledger": {
          "holds": 704,
          "entries": 3250,
          "raw_sha256": "7955a4196afa093b97765aae24eee7779921db562f5dc6b1c6d8ddc53f8e7e25",
          "identity": "66ff343342c80a4534a2439a13935058f1d25b91de97f3df22e3591030f1b3cc",
          "exact_end_q": "12682136550675317/576460752303423488",
          "command_sources": {
            "FALLBACK_TRACK": 32,
            "PERFORMANCE": 672
          },
          "geometry_records": 81664,
          "exact_resource_conservation": true,
          "actual_inputs_inside_applied_supports": true,
          "exact_held_effort_recomputed": true,
          "exact_impulse_and_fuel_upper_debits_recomputed": true,
          "unconfirmed_tail": false,
          "charged_fuel_upper_kg": {
            "chaser_1": 0.17594136527126392,
            "chaser_2": 0.1732992620758531,
            "chaser_3": 0.17079398599321077,
            "chaser_4": 0.17577363433467594,
            "chaser_5": 0.17346864751774785,
            "chaser_6": 0.1711858497212281,
            "chaser_7": 0.1783959869369428,
            "chaser_8": 0.17612957007862862
          },
          "applied_support_fuel_upper_kg": {
            "chaser_1": 0.04654167235232953,
            "chaser_2": 0.04389956915436293,
            "chaser_3": 0.041394293069199964,
            "chaser_4": 0.04637394141614771,
            "chaser_5": 0.044068954597044234,
            "chaser_6": 0.04178615679821188,
            "chaser_7": 0.04899629401935803,
            "chaser_8": 0.04672987715904211
          }
        },
        "certificates": {
          "staged_source_links_verified": {
            "target": 704,
            "flows": 5632,
            "navigation_flows": 5632,
            "nominal": 5376
          },
          "whole_fleet_geometry_coverage_authenticated": true,
          "interval_differential_proofs_reexecuted": false
        },
        "adaptation": {
          "mode": "frozen",
          "membership_events": [
            {
              "update": 20,
              "status": "FROZEN",
              "candidate_count": 4,
              "discarded_count": 0,
              "observation_outcomes": {},
              "target_flow_statuses": {},
              "relative_flow_statuses": {}
            }
          ],
          "retained_candidates": 4,
          "physical_prior_fingerprint": "866fb7e423c1a275afcddf14c025da61dd204985520f8e96cb34230f18d3c9c4",
          "physical_final_hull_fingerprint": "866fb7e423c1a275afcddf14c025da61dd204985520f8e96cb34230f18d3c9c4",
          "physical_hull_unchanged": true,
          "scalar_widths": {
            "alpha": {
              "initial": 3.2e-09,
              "final": 3.2e-09,
              "history": [
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09,
                3.2e-09
              ]
            },
            "beta": {
              "initial": 7.2e-09,
              "final": 7.2e-09,
              "history": [
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09,
                7.2e-09
              ]
            },
            "eccentricity": {
              "initial": 0.0014,
              "final": 2.5594163162168115e-06,
              "history": [
                0.0014,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06,
                2.5594163162168115e-06
              ]
            }
          },
          "scalar_change_explanation": null,
          "post_update20_control_update_executed": true,
          "linked_candidates_checked": 0,
          "linked_agent_window_sizes": [],
          "linked_flow_evaluations": []
        },
        "sensing": {
          "field_declaration": {
            "randomness_policy": "physical-slot-keyed-v1",
            "seed": 1503341,
            "acquisition_period_s": 0.05,
            "acquisition_epoch_s": 0.0,
            "noise_time_quantum_s": 1e-09,
            "algorithm_source_sha256": "0a715989675083fe09d8bda488310857a556632a92150d2dcad5db6f90e09830"
          },
          "field_fingerprint": "f5905dd98c8ed297d0d3aef9346c07b5215df30459942dfc8a49fc7fab3f4d9c",
          "initial_accepted_gnss_packets": 8,
          "initial_conditioned_state_fingerprint": "e28da4cbf65966e7576375f4342c064b27ed09a180958737d251de200a83c274",
          "accepted_packet_ids": 5984,
          "acceptance_event_count": 23,
          "accepted_packet_counts_by_outer_event": [
            0,
            272,
            544,
            816,
            1088,
            1360,
            1632,
            1904,
            2176,
            2448,
            2720,
            2992,
            3264,
            3536,
            3808,
            4080,
            4352,
            4624,
            4896,
            5168,
            5440,
            5712,
            5984
          ],
          "actual_acquisition_events_after_initial": 353,
          "actual_keyed_channel_slot_overlap_after_initial": "Independently decoded physical_slot,agent_id,measurement_kind",
          "initial_event_scope": "Full raw measurements and exact acquisition/delivery intervals independently authenticated"
        },
        "artifact_sha256": {
          "source-manifest.json": "d63824df75e9eef95540d8cba86141c9192fb75d1cc1dc52f3a807d056f02643",
          "study-manifest.json": "fc5eea8828cc4898542657a029414aa34e5c4ac95f3164b3f7b83567eba3d2c5",
          "study-metrics.json": "7d8212a5e45c7f8a6c30906a466a1125ca4f0ac4fc6bdc2a9ae50c626c2d3362",
          "run-result.json": "6e7af650ebc87b746657f19ca6a4cc1e8842a016bbe4b6e13731538bf18ffd6e",
          "nonlinear-certificates.jsonl.zst.manifest.json": "87b2a5e1816693e818be2adb535520219cd7cdfa57857e1ad5f26339919aa1a1",
          "nonlinear-certificates.jsonl.zst": "7955a4196afa093b97765aae24eee7779921db562f5dc6b1c6d8ddc53f8e7e25",
          "native-attempts.jsonl": "fc794d5223757addabb20081ef2ebf645c02ff3f875f7e1a659260ec8e9947da",
          "approach/mission_data.json": "dae5210e7177275b0a1bb76ec93e83018fc692b86ff338b6ba9fea7d979ca35c"
        },
        "all_verified_artifacts_stable": true,
        "mission_status": "INCOMPLETE",
        "updates": 22,
        "physical_elapsed_s": 21.149624975380704,
        "deadline_misses": 22,
        "wall_time_s": 704.0266919999995,
        "completion_claim_supported": false,
        "superiority_claim_supported": false,
        "verification_wall_s": 89.97668229999908,
        "raw_sensing": {
          "acquisition_events": {
            "GENERATED": 353
          },
          "delivery_events": {
            "SENSOR_DELIVERY_ATTEMPT": 704,
            "SENSOR_DELIVERY_RESULT": 704
          },
          "complete_packets": 6001,
          "physical_slot_agent_channels": 6001,
          "all_accepted_packets_have_prior_raw_records": true,
          "packet_hashes_and_delivery_eligibility_checked": true,
          "accepted_current_batch_ids": 5984
        }
      }
    ],
    "pairing": {
      "same_declared_field": true,
      "same_initial_conditioned_state": true,
      "shared_physical_slot_agent_channels": 6001,
      "union_physical_slot_agent_channels": 6001,
      "shared_raw_packet_ids": 625,
      "control_after_first_contraction": true,
      "limits": [
        "Different trajectories can produce different measurements and packet identities at the same noise-field slot.",
        "Central case is development data; runtime measured on shared host; no held-out superiority or flight deadline guarantee."
      ]
    },
    "status": "VERIFIED"
  },
  "generalization": {
    "passed": true,
    "scope": "Two explicitly synthetic composite targets; initialization and finite fallback proof setup only. No mission or real spacecraft qualification.",
    "cases": [
      {
        "fleet_count": 2,
        "target_mass_kg": 80.0,
        "target_inertia_kg_m2": [
          [
            30.0,
            1.0,
            0.0
          ],
          [
            1.0,
            60.0,
            0.0
          ],
          [
            0.0,
            0.0,
            70.0
          ]
        ],
        "vehicle_design": {
          "geometry_id": "synthetic-2-agent-wing-target",
          "geometry_fingerprint": "92c20b687ade14c919e66acdd00e79c345e31dc2d5684000a73ea1072766a3b5",
          "target_mass_kg": 80.0,
          "chaser": {
            "dry_mass_kg": 4.0,
            "fuel_kg": 15.0,
            "body_radius_m": 0.2,
            "gripper_offset_m": 0.3
          },
          "com_standoff_m": 0.35,
          "arm_reach_m": 0.1,
          "translation_force_n": 20.0,
          "attitude_nozzle_force_n": 0.3,
          "attitude_moment_arm_m": 0.1,
          "specific_impulse_s": 220.0,
          "detumbling_gain_nm_s": 50.0,
          "pointing_attitude_gain_nm": 20.0,
          "pointing_rate_gain_nm_s": 300.0,
          "scope": "Declared study vehicle concept and actuator limits; no manufactured spacecraft or propulsion qualification"
        },
        "nominal_spin_vector": [
          0.0,
          0.0,
          0.01
        ],
        "physical_truth_spin_vector": [
          -0.001,
          0.001,
          0.01
        ],
        "input_sha256": {
          "config.yaml": "8077d5219c523539dcd543be1b0f791f075872d3e1736f3e4391f28002335ad0",
          "spacecraft.json": "25e0e7336f48132c14bb0c5a6f6a7954f180b553307650af4179247163c04aa2",
          "study.json": "2bd549574759b36c8acd959e7d067d68ba2e66fd8c8561d041f1b79edf2b1800"
        }
      },
      {
        "fleet_count": 3,
        "target_mass_kg": 250.0,
        "target_inertia_kg_m2": [
          [
            180.0,
            3.0,
            4.0
          ],
          [
            3.0,
            420.0,
            2.0
          ],
          [
            4.0,
            2.0,
            480.0
          ]
        ],
        "vehicle_design": {
          "geometry_id": "synthetic-3-agent-wing-target",
          "geometry_fingerprint": "cc5726b18519dd83c2a5fbb200579ac93b43b48b67682da835dd42e886a877af",
          "target_mass_kg": 250.0,
          "chaser": {
            "dry_mass_kg": 8.0,
            "fuel_kg": 25.0,
            "body_radius_m": 0.25,
            "gripper_offset_m": 0.35
          },
          "com_standoff_m": 0.4,
          "arm_reach_m": 0.15,
          "translation_force_n": 30.0,
          "attitude_nozzle_force_n": 0.4,
          "attitude_moment_arm_m": 0.15,
          "specific_impulse_s": 260.0,
          "detumbling_gain_nm_s": 100.0,
          "pointing_attitude_gain_nm": 30.0,
          "pointing_rate_gain_nm_s": 500.0,
          "scope": "Declared study vehicle concept and actuator limits; no manufactured spacecraft or propulsion qualification"
        },
        "nominal_spin_vector": [
          0.003,
          -0.002,
          0.009
        ],
        "physical_truth_spin_vector": [
          0.004,
          -0.001,
          0.009
        ],
        "input_sha256": {
          "config.yaml": "6226b15f0b8ff730c152e52ef1eca1e0d51a7497b89c2f3dacffb20098f687f9",
          "spacecraft.json": "867110ae5c7121880de16d5af46d00e22debd76716e0296e76f84e2745f62f6a",
          "study.json": "12ad35b2bb14c83d9d3de37abe749dc6654bdf0b68d652c2f3c8a6e2e9fb7f6f"
        }
      }
    ],
    "receipt_sha256": "8a7a85e3deb9a5e3ac5a3b3da538247e88d689b2fc5cb4abb75840f53862c2ee"
  },
  "online": {
    "check_count": 84,
    "all_receipts_pass": true,
    "attitude_reserve": "6 * exact(declared nozzle force)",
    "physical_timing_outcome": "REFUSED_OR_OVERRUN",
    "receipt_sha256": "b3b254fe9e8511346e753296a8e85a4665e2c5fff11971ab9c2b7f722c969b93"
  },
  "contact": {
    "receipt_sha256": "3c3832a98f998b850cc055914ea823e0042086ba8106ddc9360c9415c7a52aed",
    "scope": "Whole-step declared contact/rigid-load models; initial uncertainty transfer, rigid-lock impulse and accumulated postcapture enclosures remain unverified"
  },
  "artifacts": {
    "raw_approach_sha256": "ea4af5f9ff7e80e2c07055b596e36867f5f8e736e6affec87c756f94a1c29914",
    "projection_sha256": "5197cb372582241ef24bb6cf7fd0563d7c42fd37197d7320c9d93bfd0258abb6"
  },
  "limitations": [
    "Default mission runner is offline. Prepared policy suffix keeps its finite original expiry.",
    "Useful drag identification remains unproven at unchanged mission noise and time scales.",
    "No authenticated complete free-flight/contact/rigid-assembly handover or full300m mission.",
    "Alternative targets are synthetic interface and initial-backup examples, not flight-qualified models."
  ],
  "source_binding": {
    "status": "PASSED",
    "reference": "4c3bf605f20c61518db5d6fd4bc026976d60a1e7",
    "kind": "commit",
    "all_lf_normalized_python_bytes_match": true,
    "normalization": "Git LF; immutable runtime raw byte hashes independently retained",
    "runtime_raw_files_equal_git": 28,
    "python_files": 216,
    "inputs": 3,
    "changed_studio_asset_matches": true,
    "source_manifest_sha256": "78ed45e54e244e05b7dedd58bee3c6b9abbf88b2cfb557764ddf70d7ef53254c",
    "immutable_runtime_python_sha256": {
      "__init__.py": "1de832b00d72861996252448cbd59b6e4aa2817fe778cb07ec5d847607156f41",
      "cli/__init__.py": "5ac8944d80c0033fa4de44894bd34c25a380ea6cd4022e8baafee5b4a837198d",
      "cli/complete_mission.py": "5952b40f0d32001f766de19cb51849935116e5b6e72a9bd3d8542d100aff1603",
      "cli/generate_demo.py": "7962fd43f5efd1fe77680487b27159d68e451a5efb16991431b961b87ccf2020",
      "cli/run_mission.py": "91b0eb92a128d0447e169f1528c32967a03afe6f9fef98e3581ddb631a5ee12a",
      "cli/run_nonlinear.py": "f6eb2a4dde2271552da9efb385de066cd3e530fba902c7d01d7bb1d1d4bb9b33",
      "cli/serve_studio.py": "ab650c3d2db7fe25791ebd730e5a9abb982249bbfe305cf0d270cd139b444ddf",
      "contracts.py": "9c5c80eada729d676412b63a9dc94415984007b803d44e8507925e5ff5350577",
      "control/__init__.py": "200f05373ecea7a3afc9956c2baf1974fa3fd4834c303d6d2f0a899b6c80bd83",
      "control/actuation.py": "8941f04ce145e44556abad63ec8d90067afd677dcd3d278a7553f652e45eaece",
      "control/attitude_flow.py": "2864c0a517a6b33485c56bd8d90daf05a4c93eb455701a2809bd47a7f0ddd2a2",
      "control/barrier.py": "991dc377437e713364bbf38d05adef21a63cd27126a89ae1f7546bef3aef8d1e",
      "control/command_projection.py": "978c263f7140cae1ed1565043ce6da08461bf85b6a516f00dae2592c2ed1b60a",
      "control/componentwise_terminal.py": "af872f1c6de77e95dae44fab5ca0541e07ace0505cedef9b89f154f3468dc588",
      "control/composite_geometry.py": "5958e62151dd2d790afa8cfcee5df28ed33a8a34bcba935b0fd73ca79595d75e",
      "control/composite_terminal.py": "4a6557b672cd399cb436b72d57922e0c04efae510abd4d9f63aad53a274bde1c",
      "control/constraints.py": "18bb56a8116e6ae34b82c7fbb202365241c9412b12740bd000f683d18a249df7",
      "control/contact_admission.py": "4cd72887bda21d0978988478b71a171e46a5f6dc1035f487ae28f96ddfa98c8c",
      "control/continuation.py": "833afc1cc0f9e95118e23513d6886bd41d760689f5c065ccbd060cc35b54a1c2",
      "control/dynamic_tube_model.py": "d1bc20b8bb86614da754a215a281e4ef99bed01d6252eb09196dd4b643757e51",
      "control/dynamic_tube_spec.py": "bea83be7f991da725658a429e0a408d4d4de3cf0a5ecf09f347d2e154b1bb7bc",
      "control/fleet_fallback.py": "680a8ef757deb1da3c10dd108a66381ab086c2e8d1082bf29734d707ab116b6e",
      "control/fuel_budget.py": "1e4ede3b7d819db02ba79ab5f2609e6bf65ef08869056978f7799e86759d109a",
      "control/linearization.py": "aee9ff8d93b98456fd983f99cae6dc4043718ac3125cf9884388baa1915a2b19",
      "control/mpc_controller.py": "f49450f116b4c8134204f70ae6d56a60cb1b6034043b5b805b0f4a9f6d6cf1cc",
      "control/mpc_problem_builder.py": "9e97a6724bd3c87b0f1ea76a9909a6882c1e03dbc1033f61cc2ee31da7806692",
      "control/nonlinear_flow.py": "baec7a8c896c5251bb914359b42d8d99a7aa8988056ee08a0222068cdf1b9ed3",
      "control/orbital_hold.py": "2af10713b2f898f2ad68d904b6d3de61a517dabc850d7a22b038768988e74d2b",
      "control/physical_terminal.py": "cdd3d8c338e9ecfa54d61b3d5ddcb54d318c6add537d19f87bb90abf86c9dcfb",
      "control/prepared_admission.py": "51a19f74cc1df7d148dd2751c1e48c89c8d0c8902342afa9ad2a744b1e00c3f6",
      "control/reachability.py": "9830bda17be6a3f8605d4d2c9d1cc6f2cda5d51b9a661cbd4446f32e2e2c5b48",
      "control/refuge.py": "58a75541c8ce383c79fcd34055f55b7472bcc6a75f3742d575f1ad19438683db",
      "control/rigid_body_bounds.py": "f309b9012a1948d7af6752b9cb0774d08aa5dfa253699884624ac102b064ae96",
      "control/rigid_body_terminal.py": "b9dad8c063b52c30a708690a38fbeeced239ccd44832ffc546b3bbc2b8a3bd75",
      "control/rotation_support.py": "ab20c2d3e2a3a7a986c0d9f71009b2d1ad998eaf24860253eec7a0d0dec0c3b0",
      "control/sample_hold.py": "854e81a6ca9a5fdd631f4ebd910729d72ad7afb0c2598744ae0660dee9b3d438",
      "control/sensed_tube.py": "7b50afc7e7a44c04a83f96dc171dedcd85e82c0d5619a7ac85b2ad5877ee953e",
      "control/terminal_cost.py": "63bc6ad2153a9991a3d252f11f57af5d70349fe82e5c896b53d15b6de4ecb204",
      "control/terminal_region.py": "d27a0c9bb288ef94755abb8e6136d5ceda714d626e81dfd174aaa01c58fa0c3b",
      "control/terminal_tracking.py": "c203480d1382697d024ca57e6c2461729469d077721369558e9e04dbaf1346fb",
      "control/tracking_reference.py": "6f7e0446014d5e2d1cd4c0982ec0dfd9913c086ae89ec976b81036d74a23b3ef",
      "control/uncertainty.py": "cb818f6ce248274d85f0e21430a3f58b52c33a43527f83c6c2786dae4c837a8a",
      "core/__init__.py": "dc4b9ed6852c7b6314cf2cb971d91d5b79479fb228934b5ec76e5fdf291af961",
      "core/attitude.py": "84060d5ad87a983ed33bf3108ed1f1cd8b080d9a9ff188b29bf450589d16be5a",
      "core/chaser_spacecraft.py": "6903eb59586e33a6bd7640b2945dea032ba42e660ef891ad614c8f175c1085f7",
      "core/config.py": "fd1ca1c1bc6e8536723be634c8d8b014754ebc4d7cacd4ba8cf47eb0546aae21",
      "core/config_loader.py": "a115733a063685aad1e1c42b00af566bc678b533d041c108c83942cfc15e0a8e",
      "core/config_types.py": "e4a423640e716280702cc0f777aaa8c74781bd521342f94d6f98ef95bc2b6700",
      "core/dynamics.py": "b4fa3fc789ea18a9bf38070d1abb8c20cf4fce07da016ba2fb27bccc6f1125cc",
      "core/inertial_dynamics.py": "a1539f135375e5ae4e0ea2f02ea01595fb34bef1f09a191789c5db4b3a290056",
      "core/mounting.py": "64daa4c2d677897317899f6fced03fb45e7cf9effa0d5ec0ab0bc0adf77e4096",
      "core/nonlinear_relative.py": "f4fee7d298d693599c9add6464fe247fb13a7fcd071208e661bbe96926afd014",
      "core/nonlinear_target.py": "2dabe85e86d02d754b47e323eed038a3024415b866bb2a3653817c844a570289",
      "core/orbital_parameters.py": "34820e6a4fecaf92c3135dd9c293ce9f0aad1767b9b237d7b5bf71d983a383ec",
      "core/reference_frame.py": "9fd6ccc93cd036988097b0ba53b4085f251539064c9651a6145a9a3f28524b1c",
      "core/rigid_body_motion.py": "89ff2d2ba3cf7d9fbda11b612e52e75d84d5b512de3a311b65419a8d3ed6a855",
      "core/rigid_body_target.py": "db0dc789605b6b850312a86dfe3355965b596b64452db8945ae138eeab362d0b",
      "core/spacecraft.py": "58afa477a3e877ab658dd4fef4b9e03c02ed447e916d825320f16ae88898f4a2",
      "core/spacecraft_geometry.py": "bc78aea913a30b332925b632a5c620d07889e768ef34f85500f5fc83c0d50026",
      "core/spacecraft_target.py": "528e818bdcd58a115abe4190e2e723ac6f4555d8ac77d76ac8553341d30ad7fc",
      "core/target_geometry.py": "02aba4aa003b5e87c8fba74ee9e7795addf5f484d7b68b82dd9bee3adda7b015",
      "core/target_spacecraft.py": "172405fe33f60c966470c2c2934e5dfd44622cbe729621d7e5744ab8ab01d707",
      "estimation/__init__.py": "8ea7820915c13195a3e04cac996de5f8819e2700b506a76d202e8222030e0f24",
      "estimation/adaptor.py": "19f1034edd7b5d0e32249b4737eba05d7440b0e4c97222cbf6ee5a8e6e380ace",
      "estimation/batch_adaptation.py": "925b31991d748de381285b14c65dde6fc0ad243ec400a92881cc1fb2ff8cc9d1",
      "estimation/belief.py": "2e395d2eede30ccd3a737690cb2edf56b41fb22f8970d34b3ef2a30f1f4ebc4e",
      "estimation/enclosures.py": "ac5865d3a274bec710f1fc441af4a23734fda97849888b5068ed42d2173a2a7a",
      "estimation/estimator.py": "3b35c9613709c178722533a6949138a67a54fb48fecbc48ad364b9d1f2accd5c",
      "estimation/interval_membership.py": "60f17eb4643d5ad6b9e00ed31a93bc8589ad4ca0240697bc70c4e2604f6ba285",
      "estimation/linked_membership.py": "ab19017a60827a33a5fd52871f49d9090abbfc9815f97437d529d168a7b8afc4",
      "estimation/mission_adaptation.py": "661123b64623b2411ae8f39b118f9c0bc395795d314920875f89a9205d7c2dd6",
      "estimation/navigation.py": "d10e894f95057fcc0ca49a2cac528d6be3dbdf7fc1f4a5e89952b6c2d3d3d6f7",
      "estimation/nonlinear_adaptation.py": "64db98b2bc6d18056102dcc6ba35e3da3d98409a1553155513fd025fac9659f4",
      "estimation/nonlinear_membership.py": "75a482cfee9af0a351328853e34b0e2264557e56fa303fc54c4f5080a1136a7b",
      "estimation/prediction.py": "c52247de3db3fcab221d25c00b4386612c784dac07270451e90f1ef4af35abea",
      "estimation/residual_gp.py": "a80ca12127bb74146f65bf551e62417e6c1de97c395ec62b6f5f006a86844fe5",
      "estimation/sensor_noise.py": "0a715989675083fe09d8bda488310857a556632a92150d2dcad5db6f90e09830",
      "estimation/smid.py": "6a3618f61af6647a104e55e263afb37714d583b5738ca167a3848fdc93582a90",
      "estimation/smid_records.py": "ade8fc8f33e0b1a42ecfe62107d7b721b3907de551e2d8729dfa00a7e6a4916e",
      "layout.py": "a6d73748d67bee26a7f330fab27d114df3aed7e1264776738943b47ad39c9f6f",
      "planning/__init__.py": "d528baab8a85ca6c7ece3cb8659142c22eda3b3059bb0d86e7ba5fccb3614d87",
      "planning/attachment_routes.py": "1bb8ed603970ec9e718cedaada667ad5b65fd90db49caa5d31e5843128de106b",
      "planning/carrier_transfer.py": "e35eda62583da50460f9ced56f13227f4837681effc14d4ae1088c5294299988",
      "planning/composite_assignment.py": "aef20c53875b20fa1e9a6cd73beab9b4d3144e0b90d256dc3c60310f60f86005",
      "planning/connectivity.py": "994853e43c25866212207c9e6f286b2515e5d01aa2d4b21092c7111af9682163",
      "planning/consensus.py": "48ca4a6534b53b77bcf2f8f59bc1b69d4949d911d3c004ae91ca1aa8c0bd04c3",
      "planning/deflection.py": "b4f97882baa43e79dbb54495e0d1b73c43c61c16c1b4dc9ea184fdd01b318051",
      "planning/distributed_optim.py": "288325d66ec46bfa39c6f8385a98718e23cb32ebe7a7a3493fa6b64cfa09e061",
      "planning/docking_assignment.py": "9683e2b2e261bba4e60f64d0b6d3bb14b1f5bbdbf4c15582c5cc1ea8b2f5332f",
      "planning/observation.py": "977b97dc9651843a89f30d33be6c317708c2b5453a9ee54b0c09477c6873b75d",
      "planning/policy_features.py": "93965e19aa3964a18c9d92c8c5954b88ed3801a656517df91404a7a9d6abeed1",
      "planning/ppo_proposal.py": "1849462b58e6a8264c4cdb987d12b60c87b97b7d9df3a3cd93ad996c34c403bb",
      "planning/task_allocation.py": "bf0065bbb34ebe12cfa3d6c0e29a33cbbf79c5edc4c5f057f152af3cf153d57f",
      "planning/training.py": "be12a07b2aea6a083334725edd537a9fb69b07eade9f59ffd00d657958db5304",
      "planning/trajectory_hints.py": "a68846f0ab075cffdefbf363a714f102b0fe5e081067441e691ea8c0eed4d0dd",
      "sessions.py": "3aa1aefa7e8d1b638630cbf3cc0e1c46ea59eb1cbf017955ab37d924345ad648",
      "simulation/__init__.py": "7eec4d4ab3572ad330330ccd134769af80d22b00fbdbe6e9383b4e2686add3f8",
      "simulation/adtmpc_mission.py": "87c4dfdcdf28c969eb7cf23c5cbe15382d900bc91dbac811b3297cdd3b0c0a8e",
      "simulation/arrival_policy.py": "2446197500c67f113b59f361035d32d56a49dd2ebee7960bb9a47b89d260d619",
      "simulation/assembly.py": "9a5d1787a4482049b4a13966a2cd29f812b6fed1f7348515c878bcf1803f5d4d",
      "simulation/attachment_enclosure.py": "97ea4b8865abb9911ebf7ba8246b2a9edfa06427a1bdd6a8d0a6ce95cf43cb89",
      "simulation/burn_axis.py": "5ee6e82a42e1ecdd95325674f803da7d0ba4f21fa8b38e8cf00cf9c2927a637e",
      "simulation/capture.py": "36c02729d502a3d2decb19ef9bbf11235c70ec48cb57a3564e50c55165ae2fd5",
      "simulation/certified_execution.py": "714a02c8842b39f235a1511b4d9ae063ecb47fea25091727c155607e8b2c64b8",
      "simulation/chaser_attitude.py": "6e68d5db6f062cc3fa114c4d83ade2b7e72dd448c824a7ceaf422d7140e19edc",
      "simulation/complete_mission.py": "1c55b98d00689e000d747b62750ba5acfa9edcabb55a80e33f423bdcd01a91ce",
      "simulation/composite_deployment.py": "6659bcca6e30a1a297df1d232431f40a054400b98489922b8e51e44d2f8cb879",
      "simulation/composite_deployment_policy.py": "a1277af18cf8134879126120b3cc09faba18a3e84b28d70babfa47a12deefd93",
      "simulation/contact.py": "2c2f93dd51aef251ddeeec48c1df7058262630d91d34673db7551c2a035435b3",
      "simulation/contact_contracts.py": "5b8cbd1b8791a728c1b98f58db68835d4f1a12e062a47bec16adcc7baf1aa968",
      "simulation/contact_control.py": "a72424eceec0c29225e588f3b9c955329a5640497ebac6073068d420679f7e25",
      "simulation/contact_enclosure.py": "c7b9084407acbb3fa04e9847a92a18ba3e2a14e6bc13dd0ef90c8c7cfd389b57",
      "simulation/contact_guards.py": "6dc4f7c7d8f2c4ee409ac33b20a9077fa4531d19044d37fc139703365cf33aae",
      "simulation/contact_mechanics.py": "6f5fb2a4e9077256736431b85cc0694d7c7a05059f77f9375504a16635cac7d8",
      "simulation/contact_records.py": "423f4cbbbb396305fed7c4d046ac32d83c2379485cf6a95873873826a78bb421",
      "simulation/contact_state.py": "4274363d59bf91c0cfa0aa144bf897910b6e12006a1fc5013d95c19f831c5a14",
      "simulation/coupled_execution.py": "7c87aaabcad3eb42ca55e45f9295d83bcb21f0aed1f06be234ebd3d10884d2a6",
      "simulation/coupled_mission.py": "9d2a8cf0d95d0d5c19a2754a18f1873b5cc7561861e47782d943d93d4f9f76a5",
      "simulation/coupled_planning.py": "4c0e8c9be7401319e2479e0069ddc7407940235b1b7ff8244a4bc5a434ac22b0",
      "simulation/coupled_state.py": "845a2de8ce4fc836ef8256e63a22fbfe6f2618c64c7ae58fb91f3fd37b612f10",
      "simulation/deorbit.py": "958cf7781bbc94b8470a8fe5bbb4918b6c029bedcdbbebfbe012eae2334a11e4",
      "simulation/deployment.py": "c4da31c0df80b9bb2048bdbd2202de2918541c89e641eb587a373cf8e0d48ddb",
      "simulation/deployment_policy.py": "eef132ba23676389faacbae81f5808daed13cd39443556de92349e0cc6bd6769",
      "simulation/detumbling.py": "d6b3fe3a3479c580c45a6fe51ceda52c8c35e5d927e93ccd570a2f709712a5f9",
      "simulation/execution_journal.py": "cf181227894daad33653ed9aecdcb21d2d069e5e616b8625b713c4361201b608",
      "simulation/finite_burn.py": "f5bac031ae69dbb7a869f067b5ebafb2947baf7017d81fa4bd554c1d83817dce",
      "simulation/fleet.py": "58f3d0d7c069a8fe5b9a221789c33f0c0d7d19a8cabc16873ef78c5e9fd2d493",
      "simulation/fleet_braking.py": "e019dc98b59d3260c496e95f4318275833b6f8728f9efbfae214ee7f43ad9958",
      "simulation/held_propellant.py": "f25f38db68fb69f2088bee035e9249c85184cc0811524837e052a3d7c452d187",
      "simulation/integration.py": "ec0b59103845a93a8147f852fa78f43c31ed520a5d487b43cb2428defe065c4c",
      "simulation/lifecycle.py": "992454fb0b1caf35a279e8a859efa9434e720dc649ac5e63aca55a93140f1d24",
      "simulation/live_service.py": "12543f6ca2e12470c11fe5dd6e73eff1adfb9894e58209ed54e7b464bcbf2e2f",
      "simulation/mission_checkpoint.py": "3a79f16ee7a98ae4695ccc4c4fb3a49e7b1d5ac86ea8146936eee2cb69b99a6b",
      "simulation/mission_models.py": "06f673d4d5decf40dcd653af45739700993071590037a0a00858342bb0fd079c",
      "simulation/mission_policy.py": "2db5bf6b88946fc46d5a259217e3ce2f277c3b7f761e6de004cd05154def489b",
      "simulation/mission_recording.py": "c1063971626d201d3c3bb29e715da8fea011835b6722f83d20b9715d2b74aa89",
      "simulation/mission_result.py": "b137eeb1dcc86723bdabd2c759f8c09f419db1ad94c95b379cfb62e271b88e16",
      "simulation/mission_safety.py": "897ddb9061533677467cc9bfb7bc62eb87893874cf01a22955bda4ad9ea549fc",
      "simulation/mission_scenario.py": "270b27b0be19861635db634eec2e8f94bcff8f69c15a6d59cd908d7d514dce96",
      "simulation/mission_transition.py": "f0f45bef46618f4f9ceaa71bc8987b45543a34e78ca87e61241bd143eb330c7d",
      "simulation/nonlinear_archive.py": "890ae3d289042f473661d28535032f1949ded9df91735425dff262cf67e9e20d",
      "simulation/nonlinear_completion.py": "dc0c5cf6429869f3a21b7d9f7125e949214ad0eaac00cc16feb27da23dc61f30",
      "simulation/nonlinear_completion_boundary.py": "3ca5477f547df18c4b103f7755bab36c38e0ea92902efc3c1ad730d53cb63117",
      "simulation/nonlinear_completion_contracts.py": "361a3f6cdf575e2dc82fed43e1c8b7c6d69d98758b6833b928422de182fa4a56",
      "simulation/nonlinear_completion_environment.py": "725509f29e9b31f3b0b9e8696ae130f246c7ec6dc5b5e1b882c96e01e4a4a518",
      "simulation/nonlinear_completion_journal.py": "eb94fe149691dfed6546a6f5f85b8e1c9de27e382a23eb210ccc2aa9cc7aed4b",
      "simulation/nonlinear_completion_observers.py": "f34e6f7804032b034ff2ca16a266375ee7a6f9526a9769afd7782e1d467886e3",
      "simulation/nonlinear_completion_propellant.py": "65836dc0f33e362958c1bef78dafbd5f309246bb803ae6e4554ea447e54a4026",
      "simulation/nonlinear_environment_enclosure.py": "5a99865bd1e332d7b93bdf1206d404460ebe4019b2ccf0224f3f89acad918d57",
      "simulation/nonlinear_execution.py": "339105b7d745a3c074214af2ccda93aa48f3bea76c7eab1bdbd7f97f6e62371b",
      "simulation/nonlinear_execution_contracts.py": "daee88209e38b8d5a727ed486239c345a316c084c690821e42872fadac8bb1d0",
      "simulation/nonlinear_mission.py": "3a086200ce82e693c86eca3e1177d899caa5e1873387511701dac202b34c43b0",
      "simulation/nonlinear_nominal.py": "63388a43cefc9badd4d4184a87386fbe71cbac4ea26ec9eff14c85e48e517be8",
      "simulation/nonlinear_planning.py": "db57e43ef7e1f45cf4f31894632159669d904e212a6fb08b105680d5acf3b781",
      "simulation/nonlinear_plant.py": "7c8aa8939139433fc85b9251175910fc4c6a901012a72bb87fc81f5cf0b719ea",
      "simulation/nonlinear_profile.py": "23f59a81d41aa4c81a643cd1531a8ac95c3eeeee186df2391e9e27b2d113b4ee",
      "simulation/nonlinear_recording.py": "f08e353bde13b7764e38663672f1ccd3f9cc1566a8b31332a954a32dffea9a0f",
      "simulation/nonlinear_refuge.py": "049de65bc632e18207d7a5b1c333e5ada688c4e8c749bb76be1be7e8dc0926ff",
      "simulation/nonlinear_safety.py": "b3d29e1f756a41d2fe7271bfcbfe111ff3af4cb6087a688336474835a566ee22",
      "simulation/nonlinear_sensing.py": "d97c6fe3eba459d2bf1db0120b241fdd64c83d9e1a086867f679a9d08714aa5d",
      "simulation/nonlinear_stage_bindings.py": "05e3908f5add4b5696e9a17d4f2a7aedc65a4e5174ba54c5bc19328418f77601",
      "simulation/nonlinear_study.py": "a08be8eed87f959d8ad0834f889d8a4b7f795b450cd1c6ebd1c810d9967702f2",
      "simulation/nonlinear_target_bounds.py": "82b4c6c3339c07b55650d8646f0f40dced170fa3124a9a062e5b58e2aff00b40",
      "simulation/online_execution.py": "b6197ebd174d43cd7bb94be82440ec29744a3c7a955e06a42db51f1dbb3773b2",
      "simulation/online_worker.py": "6749f278cad52d7a4e16590e9e68d5e0f6d16de6f3c74442bd370491069a8eb0",
      "simulation/physical_approach.py": "33554ac217be3942e00d5a3854e0bb6a98300f3ed9b3fe22742da7f472a0ae58",
      "simulation/physical_terminal_execution.py": "a4b1eb8c48f769ea6ac0f16166004112b26be83201f9d529603c7654e377c542",
      "simulation/proof_provider.py": "5ade01e8f8d00f68937fadf1e253a82ebe92108fd45f24492f6786c4dea401c6",
      "simulation/propulsion.py": "f8f0a3ce34d2851ee477144e059b6f6897264e7a7232e489914a142a55cea243",
      "simulation/rigid_interval.py": "ff56949c3cbbb9c465ad270525a7a11a41b2cdd4cad8d0b7f2b0f9b5fb164cd9",
      "simulation/spacecraft_design.py": "5497c5918b5cc75d0819e5a84b1d94e342889d4fad904d2c39ca4fa4967c7213",
      "simulation/study_execution.py": "ecc24aae0f233ce78bc7bdaead43d3d9b12d0f58878cbf4b64952d95ffb478a0",
      "simulation/study_metrics.py": "6623b94c4922e2fcefbb94a0c7f63fb22e33be13e14c97964d468ccdd056b19f",
      "simulation/study_records.py": "aba4b420ced45370089092cd6582e61bdc96597b1cb24dc491d8981a5a1ed98b",
      "simulation/study_request.py": "49f039639c04442d4a5d9c2010a22215fd9789a45e4898914c62a938851ffd97",
      "simulation/study_source.py": "847ae0915dc4f50bc25361019d2788e8f341a2a96e79f805bc22c84bfef5c820",
      "simulation/terminal_handoff.py": "08a838565f2a21c645d0e130686a428caaace62580de97142d5358f66c8035f9",
      "solvers/__init__.py": "a416feafb2d578523f4ab235f054bb972827934b728f1fd34dc65c3fdfe6d81e",
      "solvers/base.py": "17bd01b57a47ff4064a39564e13f64ab6528b21abaa9469caf36a63f8b89285c",
      "solvers/casadi_solver.py": "c84883f7d79d535a43905bbb60e007909f64f278141ba46bfbe668d10c179dfa",
      "solvers/composite_geometry.py": "ccaae77268774b646fae4abfe03ffa2335b35b4e5b0fa90bed62d9ac5d085e11",
      "solvers/gekko_dynamic_tube.py": "528fa698f1b11d8c25ddead268e75a042adaf8d39c3d980be597f480404ad280",
      "solvers/gekko_estimation.py": "7d696705c7328e6661cea979c7c52bdc617add88e3ea53edea7aecc393ac1f55",
      "solvers/gekko_solver.py": "436d97307275671f3c503da95aa8ecc72c7dbd07d89316b0d364d128eb95695d",
      "solvers/native_iterations.py": "e09a9e158477f502d1719a55be98339ac67240662e16672ab4275e6612db0ee1",
      "solvers/proposal_seed.py": "57da58d88eb6ece53a78d3f592238a6f9dee39bde2e49d50f79e52b14f67d543",
      "solvers/scipy_solver.py": "dce452e353fbaf6e61cb4b9a7651c003cb0ce5f576b4551228a4c2f5d2fd90e0",
      "utils/__init__.py": "1c6cc568489c937aa757f5fa5a40a45292ae293823afb223cc27f9d308940a77",
      "utils/anomaly.py": "1eb02875b524e79cba0e2b6032c6d9ab54cccedbcbb84bbeb71e3bd516e74a99",
      "utils/io_utils.py": "b08c7966d7cc9677c7e36256eb9636d7f10331b2f006a7f09aa06105d06ec9a2",
      "utils/math_utils.py": "a52e9e60d7841a8aecedd11cb40b6a3b0cf49a67fe93be0ced801d7ab0674bbe",
      "utils/solver_options.py": "55e2f7914f5cca60b60a3506804abb2feea1adade86ab117826c30b38a1b7c08",
      "visualization/__init__.py": "76b72f99e82c0d6373ddcaa7d6bda14397382ea90cd899135e9494babeffc2b8",
      "visualization/control_figures.py": "17e543fc41f7c3bd5d71cc0109e43fc0c62b4424b7bbd51e5de28fa148b32d12",
      "visualization/demo.py": "42f8723c398bbf849c578088b76e1c15daca7c7e294e59c9bc2c31d39c65877e",
      "visualization/demo_config.py": "b9417aec3b7409134c29011e94a306398357be88ee591fa14f6eb4070494666c",
      "visualization/demo_workflow.py": "6101acb929906b178c631e0f3a99e3c2a56e6c322e46e7af93531398a4883ede",
      "visualization/geometry.py": "d71a7405b08c9ac46813e45b13c71b8a78e5b6b6897f1e895b27e27eb16978bd",
      "visualization/lifecycle_renderer.py": "fdd706f36cacf78326f6d157f350f0d640aa313528a26f434abe65617fbc8dc8",
      "visualization/manifest.py": "eb4f79c321576bdfd6f4074cd7abc825274c3c07c9e3a919978f89b2e3e14687",
      "visualization/mission_animation.py": "49749e77a0c973ac611a823a26c2cad2402ec0a5088178c0b0fdfd829c221d6a",
      "visualization/mission_catalog.py": "fc2758e8ddd00b7c6d6a56b81f652e2809fae4888492a3254ea15ee8ea813690",
      "visualization/mission_gallery.py": "d942d99c0726bc665e9bda5a3638311119f0da04c3da54a03893748ef23a8f5b",
      "visualization/mission_insights.py": "74beeb4993d0c3f014bbfacc06172a9def03b25784b26364582e4c5d3ab96c34",
      "visualization/mission_interactive.py": "148c62e040c05fa906f59d68808c65a938b7868e26e8ccdad199c9890710ac51",
      "visualization/mission_plots.py": "ae7d9520a14980f96e4ce332eed9abc73a0061c57fea7248d1ac6d62905c8262",
      "visualization/mission_renderer.py": "554bbe6907990286cc7797ae2aa2fc52e7339cc41a69bd1ce50aa6caea123d9c",
      "visualization/mission_replay.py": "ca93cac6d606732375706f9cc41ba075c7a438b79870a15d25dd95487c6f2765",
      "visualization/mission_studio.py": "ba2fecadedebf5f7c1488731e85938c09bc76a4a6ba33c01152918c621a68a85",
      "visualization/nonlinear_comparison.py": "5af504597466995bc557854df2b879da144cbc09e20ddfecea57c615ccb2f540",
      "visualization/nonlinear_plots.py": "ac8c3918e67632476f06ee96eb3c5dfdaf08bf414b68b6fbbe6639f5edf0d7dc",
      "visualization/plot_canvas.py": "b10cddc3d976f11dd3cbf2ffaa4a22621b8dd5da261256288b4b9fa27f61adf4",
      "visualization/samples.py": "947b8604d0a6a94e6d3f89550a1b5d85f2599c4fd31d258f641b9fc752344cde",
      "visualization/studio_data.py": "aca2ef02df617b587ed5aa66d913dda6cc3e775bf585351d477944c9432b1a8b",
      "visualization/style.py": "42354d1de8cca2020b44994b7b8bbe4a5970d00d3867c1bbdce75ee495ff86d6",
      "visualization/tube_diagnostics.py": "0c1b428e98ce73ec50d40607a06bf7c38b052d3b917090f90457bcbb8fae3c05"
    }
  },
  "geometry": {
    "exact_rotation_support_receipt_sha256": "b5cab894534bc29ebcab105b93da0e1d963fe4c33a51c26a7740af4509b5867d",
    "complete_24m_refuge_receipt_sha256": "3de4a223247658f48ca7fbbe8b6bf8a5711a75c3d03af95e194d09c2921d1a54",
    "corrected_attitude_reserve_n": 18,
    "scope": "Counterfactual declared eight-agent initial set at24m; complete actual refuge proofs, no physical motion or mission replay"
  },
  "software_delivery": {
    "python_sources": 216,
    "imported_modules": 216,
    "wheel_sha256": "452962850bdd722cead1ed43b00c90ffb90f232b248115063892525009d38083",
    "all_packaged_source_and_studio_bytes_equal": true,
    "scope": "Built and imported locally; no flight timing implication"
  },
  "component_progress": {
    "source_commit": "9e3909c6a353b07a4ad2dfe01ba6d208cdcb681a",
    "online": {
      "holds": 2200,
      "physical_duration_s": 66.09267138861149,
      "source_manifest_sha256": "c4a1af7c8e933ac74d5230d66bee688cc95a5d4596ab2d8200532b63aef244b4",
      "qualification_sha256": "d8156a0842da4867561ab3bd67469b5cbd15002c296298b72bd3927c06ebd9b4",
      "independent_audit_sha256": "500ea5c96a7f31275b3ab49580a9acd66e9aa16efb6ceccb5520f3b5e6db5b72",
      "physical_deadline_claim": false,
      "scope": "Independent sensed feedback and genuinely extended finite backup; not a full mission"
    },
    "terminal_gain_comparison_sha256": "8a18106bd692953a1a256228f045d44d275b7e464763a66ee2bfee79e2a8b250",
    "handoff_figure": {
      "kind": "dimensional_geometry_explanation",
      "not_a_simulated_capture": true,
      "scope": "One-dimensional fixed nominal hull normal only; orientation, patch geometry and dynamics are separate checks",
      "vehicle": {
        "com_standoff_m": 0.85,
        "gripper_offset_m": 0.8,
        "body_radius_m": 0.55,
        "arm_reach_m": 0.1
      },
      "handoff_position_allowance_m": 0.04,
      "tip_gap_bounds_m": [
        0.009999999999999933,
        0.08999999999999994
      ],
      "positive_reach_margin_m": 0.010000000000000071,
      "input_sha256": {
        "config\\spacecraft\\envisat.json": "96344efbc30dcc76b58cccb11a01ef965a2db282cc89417fbef566f60767cbd1",
        "config\\nonlinear-study.json": "e6cafa2efa75ffb46173c198f18f4f65042c7d763774dd13e54003b0c5b6a2e7"
      }
    },
    "full_mission_complete": false,
    "contact_wrench": {
      "immutable_handoff_sha256": "bf5ceb3a9f684c0c32d66a12e445eb45bb7ad27939b6a81cfd9a41df40dccdb6",
      "source_commit": "9e3909c6a353b07a4ad2dfe01ba6d208cdcb681a",
      "scope": "Same-boundary contact proof correction; declared terminal-set component fixture, not an acquired 300 m arrival",
      "old_refused_moment_display_nm": 5.117,
      "new_proven_moment_display_nm": 4.997,
      "values_rounded_for_display": true,
      "unchanged_capacity_nm": 5,
      "latest_component_outcome": "REFUSED",
      "latest_component_refusal": "finite_contact_whole_step_not_proven: chaser_7: whole-step pad compression/force/power not proven",
      "latest_component_certificate_events": 1761,
      "latest_component_archive_sha256": "4cb1efc32d8ea516c2b1f55f2113bf87d60a0a9bd1f176413c95caa81b0a9059",
      "latest_component_result_sha256": "1795fa244f7cd93a0219cf1d383179e2e4a156e9335e33e5608514c78314c1ec",
      "full_attachment_complete": false,
      "earlier_component_cohort": "production-eight-v8"
    },
    "shortened_cadence": {
      "handoff_sha256": "9c402c93f1ec5cb911003427c3d6659463cf3c16551ac0f989fe349b15935ce3",
      "audit_sha256": "39cb90ebf6482bf4715fcc587025fb1d44b32a0c5a03bfef6cf45ce7d1d8dfb8",
      "exact_source_manifest_sha256": "2125abdbcb81a5ea005c51f586c747bd5d8c33c4b68d2a01b1a79895ff64ad1b",
      "initial_distance_m": 25,
      "accepted_solves": 8,
      "priming_holds": 128,
      "performance_holds": 128,
      "shortened_transfers": 1024,
      "budget_scale": "1/4",
      "new_backup_used": true,
      "source_archive_sha256": "af3ff33aca6ad129fdeaafc92be9e6b7fd815837f9674a51c8ccb15b0c5e1b8c",
      "full_mission_complete": false,
      "physical_deadline_met": false,
      "scope": "Declared alternate initial-condition component; not an acquired 300 m endpoint"
    },
    "target_configuration": {
      "handoff_sha256": "00cffe513ab5c07610d5aea8b78086cde5fe46dbcf9a10785e9d525caad9a439",
      "old_near_certificate_unchanged": true,
      "old_far_certificate_unchanged": true,
      "automatic_target_and_arm_envelope": true,
      "full_alternate_mission_qualified": false
    },
    "latest_contact_trace": {
      "cohort": "production-eight-v9",
      "simulator_output_success": true,
      "holds": 2343,
      "raw_archive_sha256": "2059998b677b01948d68ec20c12da70fb574398a52199b2336178165199bcd0c",
      "raw_result_sha256": "77c5a96a43a61a65191e84483b0dac05b25273ab8a3025ae7e0129672ca5d753",
      "independently_verified": false,
      "consistency_audit": "OPEN_ENDPOINT_SWEPT_NESTING",
      "finite_lock_verified": false,
      "full_mission_complete": false,
      "scope": "Declared synchronized contact fixture; no acquired 300 m arrival or independent complete-trace claim"
    },
    "picard_trial_handoff_sha256": "519d1f43fe6df0bc8095927deab8ab2f64ab493a0a032cc8045088bfacf888ad"
  }
}
