{"data":{"event":{"event_hash":"3918f8c50219b5fa8082d2229e7edfeb44bc183fbd9014985c6ab56b565c29c2","payload":{"authority_current":true,"autonomy_enabled":true,"battery_margin":72,"collision_avoidance":true,"communications_available":true,"environmental_uncertainty":28,"geofence_valid":true,"human_supervision":true,"lost_link_fallback":"return","mission_profile":"infrastructure-inspection","mission_progress":40,"navigation_integrity":true,"operator_command":"start-inspection","software_attested":true},"persisted":false,"result_hash":"ee47694afa0898259a601db89a4d3e98da2ea24054495c3c6077e34ed3308113","scene_hash":"087831094fc3d0932bf3bf973b025193551bd75a46a5cdf1a931ef4c30ae5f92","simulation":"autonomous-drone-control","synthetic":true},"mode":"drone-control","notice":"This demonstration uses fictional or abstract data. It is not an operational targeting, planning, command, or force-authorization system.","proof":{"checks":[{"evidence":"BOUNDED AUTONOMOUS INSPECTION","name":"Human hold, return, or land overrides dominate autonomy","passed":true},{"evidence":"{\"authority current\": true, \"battery margin at or above 20 percent\": true, \"environmental uncertainty at or below abstention boundary\": true, \"human supervision available\": true, \"navigation integrity established\": true, \"separation assurance available\": true, \"software and configuration attested\": true, \"synthetic safety volume valid\": true}","name":"Missing critical gates cannot produce an inspection state","passed":true},{"evidence":"SYNTHETIC_NORMALIZED_SCENE_UNITS","name":"Only normalized synthetic coordinates are emitted","passed":true},{"evidence":"Hardware interface NONE; protocol list empty","name":"No hardware or flight-control protocol exists","passed":true},{"evidence":"All prohibited output classes are false","name":"No target, payload, weapon, or force function exists","passed":true},{"evidence":"f4ccd8f30961ca4a0c2af2feeb25d6c80975271b5fde4f3cdd7d4f1bdb02575d","name":"Control-state history is append-oriented and hash-addressed","passed":true},{"evidence":"Derived state recorded; no external command channel exists","name":"Every derived state terminates at the synthetic null sink","passed":true}],"passed":true,"result_sha256":"ee47694afa0898259a601db89a4d3e98da2ea24054495c3c6077e34ed3308113","scene_sha256":"087831094fc3d0932bf3bf973b025193551bd75a46a5cdf1a931ef4c30ae5f92"},"qualification":"The deterministic result proves the declared synthetic software behavior for this input. It does not certify a real system or establish legal liability.","result":{"autonomy_enabled":true,"battery_margin_percent":72.0,"communications_state":"AVAILABLE","coordinate_system":"SYNTHETIC_NORMALIZED_SCENE_UNITS","drone_states":[{"assigned_volume":"zone-a","id":"drone-a","normalized_position":[-2.36,-0.43,-0.38],"state":"INSPECT"},{"assigned_volume":"zone-b","id":"drone-b","normalized_position":[0.0,-0.09,-0.24],"state":"INSPECT"},{"assigned_volume":"zone-c","id":"drone-c","normalized_position":[2.36,-0.43,-0.38],"state":"INSPECT"}],"environmental_uncertainty_index":28.0,"fleet_state":"INSPECT","flight_protocols":[],"gates":{"authority current":true,"battery margin at or above 20 percent":true,"environmental uncertainty at or below abstention boundary":true,"human supervision available":true,"navigation integrity established":true,"separation assurance available":true,"software and configuration attested":true,"synthetic safety volume valid":true},"hardware_interface":"NONE","lost_link_fallback":"RETURN","mission_profile":"infrastructure-inspection","mission_progress_percent":40.0,"notice":"This demonstration uses fictional or abstract data. It is not an operational targeting, planning, command, or force-authorization system.","operator_command":"start-inspection","outcome":"BOUNDED AUTONOMOUS INSPECTION","payload_control":false,"public_persistence":false,"qualification":"This is a bounded assurance demonstration for a fictional inspection fleet. It does not control aircraft, calculate real flight paths, issue hardware commands, select targets, manage payloads, or authorize force.","real_vehicle_control":false,"real_world_coordinates":false,"reason":"Declared conditions support bounded synthetic inspection.","state_transitions":[{"from":"SCENARIO_LOADED","reason":"Declared synthetic controls evaluated conjunctively","sequence":1,"sha256":"9df93af676b48743b638af41290d6fcd6a965d87377e2e434ed822fac6de25c9","to":"GATES_EVALUATED"},{"from":"GATES_EVALUATED","reason":"Declared conditions support bounded synthetic inspection.","sequence":2,"sha256":"5e5902c9fb66d09cecae444ccf70ba786e65e214ec809afca11348cff8a8381d","to":"INSPECT"},{"from":"INSPECT","reason":"Derived state recorded; no external command channel exists","sequence":3,"sha256":"f4ccd8f30961ca4a0c2af2feeb25d6c80975271b5fde4f3cdd7d4f1bdb02575d","to":"SYNTHETIC_NULL_SINK"}],"target_selection":false,"weapon_functions":false},"scene":{"camera":{"distance":13.5,"pitch":0.3,"yaw":0.62},"edges":[{"from":"authority","kind":"delegates","state":"baseline","to":"drone-a"},{"from":"authority","kind":"delegates","state":"baseline","to":"drone-b"},{"from":"authority","kind":"delegates","state":"baseline","to":"drone-c"},{"from":"human","kind":"supervises","state":"baseline","to":"drone-a"},{"from":"human","kind":"supervises","state":"baseline","to":"drone-b"},{"from":"human","kind":"supervises","state":"baseline","to":"drone-c"},{"from":"base","kind":"stages","state":"baseline","to":"drone-a"},{"from":"base","kind":"stages","state":"baseline","to":"drone-b"},{"from":"base","kind":"stages","state":"baseline","to":"drone-c"},{"from":"drone-a","kind":"predeclared_path","state":"baseline","to":"zone-a"},{"from":"drone-b","kind":"predeclared_path","state":"baseline","to":"zone-b"},{"from":"drone-c","kind":"predeclared_path","state":"baseline","to":"zone-c"},{"from":"drone-a","kind":"records_state","state":"baseline","to":"provenance"},{"from":"drone-b","kind":"records_state","state":"baseline","to":"provenance"},{"from":"drone-c","kind":"records_state","state":"baseline","to":"provenance"},{"from":"provenance","kind":"derived_output_only","state":"baseline","to":"sink"}],"nodes":[{"detail":"Authority current","id":"authority","kind":"authority","label":"Bounded authority artifact","position":[-3.6,2.1,-2.2],"state":"supported"},{"detail":"Operator command: start inspection","id":"human","kind":"human","label":"Human supervisor","position":[3.6,2.1,-2.2],"state":"supported"},{"detail":"Normalized safety volume established","id":"geofence","kind":"geofence","label":"Normalized safety volume","position":[0,0.2,0],"state":"supported"},{"detail":"Fleet state: INSPECT","id":"base","kind":"drone-base","label":"Synthetic drone base","position":[0,-2.15,-2.6],"state":"qualified"},{"detail":"Inspecting a predeclared infrastructure inspection path at 40% synthetic progress","id":"drone-a","kind":"drone","label":"Inspection Drone A","position":[-2.36,-0.43,-0.38],"state":"supported"},{"detail":"Inspecting a predeclared infrastructure inspection path at 40% synthetic progress","id":"drone-b","kind":"drone","label":"Inspection Drone B","position":[0.0,-0.09,-0.24],"state":"supported"},{"detail":"Inspecting a predeclared infrastructure inspection path at 40% synthetic progress","id":"drone-c","kind":"drone","label":"Inspection Drone C","position":[2.36,-0.43,-0.38],"state":"supported"},{"detail":"Predeclared fictional inspection volume","id":"zone-a","kind":"inspection-zone","label":"Inspection Volume A","position":[-2.6,1.1,2.2],"state":"supported"},{"detail":"Predeclared fictional inspection volume","id":"zone-b","kind":"inspection-zone","label":"Inspection Volume B","position":[0,1.8,2.7],"state":"supported"},{"detail":"Predeclared fictional inspection volume","id":"zone-c","kind":"inspection-zone","label":"Inspection Volume C","position":[2.6,1.1,2.2],"state":"supported"},{"detail":"3 append-oriented transition records","id":"provenance","kind":"provenance","label":"Control-state ledger","position":[-1.4,-1.9,1.7],"state":"supported"},{"detail":"No command leaves the synthetic null sink","id":"sink","kind":"null-sink","label":"Synthetic null sink","position":[1.4,-1.9,1.7],"state":"safe"}]},"slug":"autonomous-drone-control"},"meta":{"derived":true,"operational":false,"persisted":false,"request_id":"891d820e-e363-4781-8741-95257ade8912","synthetic":true},"ok":true}