{"data":{"boundary":{"external_command_channel":false,"flight_protocols":[],"force_authorization":false,"hardware_interfaces":[],"normalized_coordinates_only":true,"output_terminal":"SYNTHETIC_NULL_SINK","payload_control":false,"public_persistence":false,"real_vehicle_control":false,"real_world_coordinates":false,"synthetic_null_sink":true,"target_ranking":false,"target_selection":false,"terminal_guidance":false,"weapon_functions":false},"passed":true,"results":[{"history_sha256":"572edf5f51b8c8b5cfadde05ace99a7123f4368fd8e379f29195ee0297269109","name":"Nominal inspection","outcome":"NOMINAL INSPECTION \u2014 OBJECTIVE REACHED","passed":true,"proof_count":14,"result_sha256":"b94f2d1ec9e3332bbe6ab5aaf27483adf6a9a58f14d39727dc600c32897a30b6"},{"history_sha256":"dad037e36f9a3d052b2c180d91315e892fc36749afb67f26868c8dd815bc465f","name":"Sudden crossing obstacle safe avoidance","outcome":"SAFE AVOIDANCE \u2014 ROUTE REACQUIRED","passed":true,"proof_count":14,"result_sha256":"7b4aae9cb21df5600807ff6b8eac0fcf52727d53c0a6bdf0f94fb30545c64b7e"},{"history_sha256":"9d8e0f1966ec3cd6c6c58cde23bb7afbdc5c734dafd66f5e80258c2ec11c90e8","name":"Blocked path safe hold","outcome":"MINIMUM-RISK HOLD \u2014 NO COMPLIANT TRAJECTORY","passed":true,"proof_count":14,"result_sha256":"bf13e03e999db0f7ef8137a30161dce30abcc53fec516ebe6f1ed88e112ac981"},{"history_sha256":"9dfff8b5f20af445295d8f141f32751a5f347f36b55d97d768237e9eb918e608","name":"Late detection minimum-risk transition","outcome":"MINIMUM-RISK HOLD \u2014 NO COMPLIANT TRAJECTORY","passed":true,"proof_count":14,"result_sha256":"02a209ac530bbc93493ff83ca02daeab8df48a35e0d401bd9803623838d4129c"},{"history_sha256":"f45e7702af41a5d0487737cee9c1e2133281231e409ce0784d4c99a16103a73e","name":"Human hold override","outcome":"MINIMUM-RISK HOLD \u2014 HUMAN SUPERVISORY OVERRIDE","passed":true,"proof_count":14,"result_sha256":"3355009eacd0760fac713a3054562e95087589b156618eadbd17e090fddfbf4b"},{"history_sha256":"f6bde77948f838ae2613160ff1eedca8b1602267fdc60e2f9587ae359e63f866","name":"Lost-link fallback","outcome":"MINIMUM-RISK HOLD \u2014 PREDECLARED LOST-LINK FALLBACK","passed":true,"proof_count":14,"result_sha256":"1f10df9f1f2390e4c5db90ae899d5d632af1d10909d76607b95c9bbcf520ef7f"},{"history_sha256":"2881ff5e8b688f2c904a1c06c1d67d404992c2149652d50e85779918517173c7","name":"Authority expired","outcome":"MINIMUM-RISK HOLD \u2014 AUTHORITY UNAVAILABLE","passed":true,"proof_count":14,"result_sha256":"f22ab14b598b14c1b2dd4db930103d6cccf5290baf971e7d540db68ee6132f65"},{"history_sha256":"a3d05147933ff1a3938164a1899c5979babc14e406d6aa9730f0db5f032899ea","name":"Navigation integrity lost","outcome":"MINIMUM-RISK HOLD \u2014 NAVIGATION INTEGRITY LOST","passed":true,"proof_count":14,"result_sha256":"844bc7e381bfb6132805552e79e89870c5af30fd7fd6b29b0730061aeb79e560"},{"history_sha256":"4487fc20aa6a21dbc7b01f90eb051521ea3e5419cfb60c77a76e05822af4d7db","name":"Separation unavailable","outcome":"MINIMUM-RISK HOLD \u2014 SEPARATION ASSURANCE UNAVAILABLE","passed":true,"proof_count":14,"result_sha256":"8a85b383cd9c957c22737c40e9d2cf5809a601428c8951c60c2b9f39fc88b58f"},{"history_sha256":"db24eecbe8d3b16b42d31a665f534a8daaa89dbc062a68b07aa47cb7d80f603e","name":"Software attestation failure","outcome":"MINIMUM-RISK HOLD \u2014 SOFTWARE ATTESTATION FAILED","passed":true,"proof_count":14,"result_sha256":"53a1f4b6abf41b2dfc79b1abb1cc5adef64fa3ce0d562dbd2bc6f7b76427affe"},{"history_sha256":"dad037e36f9a3d052b2c180d91315e892fc36749afb67f26868c8dd815bc465f","name":"Counterfactual isolation","outcome":"SAFE AVOIDANCE \u2014 ROUTE REACQUIRED","passed":true,"proof_count":1,"result_sha256":"f7da5dc0cc3d6c244770d28a02f39a04c52873d50605cf934f8e9206ebed3cea"}],"run_count":11,"schema":"evulgare.autonomy-navigation-proof.v1","version":"1.6.0"},"meta":{"operational":false,"passed":true,"persisted":false,"request_id":"6240d29d-b9e0-4039-9b56-0a1049f7039d","run_count":11,"synthetic":true},"ok":true}