Human approval is not treated as independent judgment by default
PROCEDURAL CONFIRMATION
DETERMINISTIC PROOF VECTORS
PROVE THE DECLARED SOFTWARE BEHAVIOR.
Every baseline and preset is executed by the same pure Python engines used by the public API. The proof verifies named invariants and publishes result digests; it does not claim certification of any real autonomous system.
RESULT INVENTORY
BASELINES AND ADVERSARIAL PRESETS.
A passing vector means the implemented engine satisfied all declared invariants for that exact synthetic input.
PASSAccountability Evidence RoomBaselinedb479314802f52b7…
Model-scope failure remains visible
Model factor preserved
No legal-liability conclusion is emitted
Result uses conditions and contributing factors
PASSAccountability Evidence RoomCompressed approvaldb479314802f52b7…
Human approval is not treated as independent judgment by default
PROCEDURAL CONFIRMATION
Model-scope failure remains visible
Model factor preserved
No legal-liability conclusion is emitted
Result uses conditions and contributing factors
PASSAccountability Evidence RoomMerits review905a61c8682bf59a…
Human approval is not treated as independent judgment by default
MERITS REVIEW POSSIBLE
Model-scope failure remains visible
Model factor preserved
No legal-liability conclusion is emitted
Result uses conditions and contributing factors
PASSAccountability Evidence RoomIndependent-review conditionsb0286fd31d2e8049…
Human approval is not treated as independent judgment by default
INDEPENDENT JUDGMENT CONDITIONS PRESENT
Model-scope failure remains visible
Model factor preserved
No legal-liability conclusion is emitted
Result uses conditions and contributing factors
PASSProvenance ReplayBaselineedf7276dcb249383…
Canonical history is unchanged by branching
1078aa8ed95c039b97085a359a50bb095a37fde5f7f3c58a78010d13af7a3571
Branch is visibly non-canonical
prov-quarantine-001-cf
Invalidated evidence remains present
Invalidated event preserved
PASSProvenance ReplayCanonical historyf9698a6c71319464…
Canonical history is unchanged by branching
1078aa8ed95c039b97085a359a50bb095a37fde5f7f3c58a78010d13af7a3571
Branch is visibly non-canonical
prov-quarantine-001-cf
Invalidated evidence remains present
Invalidated event preserved
PASSProvenance ReplayCounterfactual branchedf7276dcb249383…
Canonical history is unchanged by branching
1078aa8ed95c039b97085a359a50bb095a37fde5f7f3c58a78010d13af7a3571
Branch is visibly non-canonical
prov-quarantine-001-cf
Invalidated evidence remains present
Invalidated event preserved
PASSAssurance Change ImpactBaseline5b7c0fc0a9be0371…
An invalidation event is appended
89e8d5d018a83d311db692a80433f997814a12352a5898f3d50a1d9fd4f7cba9
Prior evidence is not silently deleted
Valid and invalidated evidence are listed separately
Renewed verification duties are explicit
4 tests; 2 reviews
PASSAssurance Change ImpactModel update82d5208dc44dcd6d…
An invalidation event is appended
874703a067b36bd2028baa61231a92fc98681237d78e28b1f53641050659fcbf
Prior evidence is not silently deleted
Valid and invalidated evidence are listed separately
Renewed verification duties are explicit
4 tests; 2 reviews
PASSAssurance Change ImpactInterface updatec5cb18b763423115…
An invalidation event is appended
a0c3fa443421e12d71ef74573cd78fefae8b19c8e1267241630451ee33fd738c
Prior evidence is not silently deleted
Valid and invalidated evidence are listed separately
Renewed verification duties are explicit
4 tests; 2 reviews
PASSAssurance Change ImpactEvidence expiredfa8c9126924a04e7…
An invalidation event is appended
9ded2e6ae146298a722d64cec5fd222fd0d2052a5601f9640ac6e7b971f55e74
Prior evidence is not silently deleted
Valid and invalidated evidence are listed separately
Renewed verification duties are explicit
2 tests; 2 reviews
PASSAuthority BoundaryBaseline860165dc3b780e64…
All authority gates are conjunctive
TRUSTED BUT UNAUTHORIZED
Expired authority cannot pass
TRUSTED BUT UNAUTHORIZED
No external effect exists
Synthetic null sink
PASSAuthority BoundaryTrusted but unauthorized860165dc3b780e64…
All authority gates are conjunctive
TRUSTED BUT UNAUTHORIZED
Expired authority cannot pass
TRUSTED BUT UNAUTHORIZED
No external effect exists
Synthetic null sink
PASSAuthority BoundaryExpired authority860165dc3b780e64…
All authority gates are conjunctive
TRUSTED BUT UNAUTHORIZED
Expired authority cannot pass
TRUSTED BUT UNAUTHORIZED
No external effect exists
Synthetic null sink
PASSAuthority BoundaryPermitted synthetic request3aa244b6f7c002e2…
All authority gates are conjunctive
PERMITTED WITHIN DECLARED SYNTHETIC BOUNDS
Expired authority cannot pass
PERMITTED WITHIN DECLARED SYNTHETIC BOUNDS
No external effect exists
Synthetic null sink
PASSUncertainty FieldBaseline5f2665d6a211d70d…
Aleatoric and epistemic uncertainty are separate fields
46.2 / 78.2
Out-of-distribution status is explicit
OUTSIDE VALIDATED RANGE
High ignorance can trigger abstention despite model confidence
HOLD — INSUFFICIENT EPISTEMIC SUPPORT
PASSUncertainty FieldInside range146111df17931770…
Aleatoric and epistemic uncertainty are separate fields
18.8 / 15.0
Out-of-distribution status is explicit
WITHIN DECLARED RANGE
High ignorance can trigger abstention despite model confidence
CONTINUE EVIDENCE COLLECTION
PASSUncertainty FieldHigh confidence, high ignorance86d09e42d74dc3bf…
Aleatoric and epistemic uncertainty are separate fields
33.8 / 90.0
Out-of-distribution status is explicit
OUTSIDE VALIDATED RANGE
High ignorance can trigger abstention despite model confidence
HOLD — INSUFFICIENT EPISTEMIC SUPPORT
PASSUncertainty FieldSparse evidence9563d1f0b68e8e76…
Aleatoric and epistemic uncertainty are separate fields
42.5 / 38.5
Out-of-distribution status is explicit
NEAR VALIDATED BOUNDARY
High ignorance can trigger abstention despite model confidence
HOLD — INSUFFICIENT EPISTEMIC SUPPORT
PASSFederated TrustBaseline43af2ef4bca4f1aa…
Trust dimensions remain separate
trust in identity, trust in data, semantic compatibility, permission to disclose, permission to use, authority to act
Secondary reuse requires separate permission
DATA RECEIVED — REQUESTED USE DENIED
Shared data does not create authority
DATA RECEIVED — REQUESTED USE DENIED
PASSFederated TrustShare for review only37d63e1eade7c5d5…
Trust dimensions remain separate
trust in identity, trust in data, semantic compatibility, permission to disclose, permission to use, authority to act
Secondary reuse requires separate permission
SHARED DATA DOES NOT CREATE SHARED AUTHORITY
Shared data does not create authority
SHARED DATA DOES NOT CREATE SHARED AUTHORITY
PASSFederated TrustReuse denied522e622c9a79f990…
Trust dimensions remain separate
trust in identity, trust in data, semantic compatibility, permission to disclose, permission to use, authority to act
Secondary reuse requires separate permission
DECLARED USE PERMITTED — SECONDARY REUSE DENIED
Shared data does not create authority
DECLARED USE PERMITTED — SECONDARY REUSE DENIED
PASSFederated TrustIntegrity invalidated5d81e85a87b7a930…
Trust dimensions remain separate
trust in identity, trust in data, semantic compatibility, permission to disclose, permission to use, authority to act
Secondary reuse requires separate permission
QUARANTINE DATA — IDENTITY MAY REMAIN TRUSTED
Shared data does not create authority
QUARANTINE DATA — IDENTITY MAY REMAIN TRUSTED
PASSFederated TrustPurpose-bounded transfer52437a4c1d9493eb…
Trust dimensions remain separate
trust in identity, trust in data, semantic compatibility, permission to disclose, permission to use, authority to act
Secondary reuse requires separate permission
PURPOSE-BOUNDED TRANSFER PERMITTED
Shared data does not create authority
PURPOSE-BOUNDED TRANSFER PERMITTED
PASSResilience WebBaseline24f30ca94c0883a9…
Path dimensions preserve subset relationships
{"authorized": 4, "permissible": 3, "technically_connected": 8, "trusted": 6, "usable": 3}
Integrity or authority failure reaches safe hold
BASELINE — MONITORING
Recovery never silently revives stale evidence
DEGRADED STATE APPLIED
PASSResilience WebBaselineb22f4081d78966a2…
Path dimensions preserve subset relationships
{"authorized": 4, "permissible": 3, "technically_connected": 8, "trusted": 6, "usable": 3}
Integrity or authority failure reaches safe hold
BASELINE — MONITORING
Recovery never silently revives stale evidence
BASELINE INSPECTION
PASSResilience WebPartition and stale state7f63b8786a845103…
Path dimensions preserve subset relationships
{"authorized": 1, "permissible": 0, "technically_connected": 5, "trusted": 5, "usable": 0}
Integrity or authority failure reaches safe hold
SAFE HOLD
Recovery never silently revives stale evidence
RECONCILIATION PLAN GENERATED — NOT YET PROVEN
PASSResilience WebProvenance failured9e14d95f38b6a05…
Path dimensions preserve subset relationships
{"authorized": 0, "permissible": 0, "technically_connected": 8, "trusted": 0, "usable": 0}
Integrity or authority failure reaches safe hold
SAFE HOLD
Recovery never silently revives stale evidence
RECOVERY BLOCKED — NEW EVIDENCE OR AUTHORITY REQUIRED
PASSResilience WebBounded recovery3db56a6fcc95afc7…
Path dimensions preserve subset relationships
{"authorized": 2, "permissible": 1, "technically_connected": 7, "trusted": 3, "usable": 1}
Integrity or authority failure reaches safe hold
DEGRADED — BOUNDED OPERATION
Recovery never silently revives stale evidence
BOUNDED RECOVERY POSSIBLE AFTER VERIFICATION
PASSModular AcquisitionBaselined4ee281aa4d4e3d7…
Component pass is distinguished from thread pass
VENDOR SWAP BLOCKED — PROPRIETARY BOUNDARY
A proprietary interface can block a vendor swap
VENDOR SWAP BLOCKED — PROPRIETARY BOUNDARY
No real procurement recommendation is generated
This abstract acquisition lab does not generate a solicitation, endorse a vendor, or provide contracting or legal advice.
PASSModular AcquisitionProprietary trapcdce8042a9975d4a…
Component pass is distinguished from thread pass
VENDOR SWAP BLOCKED — PROPRIETARY BOUNDARY
A proprietary interface can block a vendor swap
VENDOR SWAP BLOCKED — PROPRIETARY BOUNDARY
No real procurement recommendation is generated
This abstract acquisition lab does not generate a solicitation, endorse a vendor, or provide contracting or legal advice.
PASSModular AcquisitionOpen but non-conformant22f38e2cd1f7087b…
Component pass is distinguished from thread pass
COMPONENT AVAILABLE — THREAD INTEGRATION FAILED
A proprietary interface can block a vendor swap
COMPONENT AVAILABLE — THREAD INTEGRATION FAILED
No real procurement recommendation is generated
This abstract acquisition lab does not generate a solicitation, endorse a vendor, or provide contracting or legal advice.
PASSModular AcquisitionMOSA-style swap35835f9abc916f44…
Component pass is distinguished from thread pass
MODULAR SWAP SUPPORTED WITHIN SYNTHETIC BOUNDS
A proprietary interface can block a vendor swap
MODULAR SWAP SUPPORTED WITHIN SYNTHETIC BOUNDS
No real procurement recommendation is generated
This abstract acquisition lab does not generate a solicitation, endorse a vendor, or provide contracting or legal advice.
PASSGovernance LifecycleBaseline45e31045c22837da…
Technical feasibility alone cannot complete governance
LIFECYCLE HOLD — INDEPENDENT QUALIFIED REVIEW COMPLETE
All lifecycle gates are conjunctive
LIFECYCLE HOLD — INDEPENDENT QUALIFIED REVIEW COMPLETE
Contested interpretations remain visible
Simulation-to-reality gap; Institution-specific legal interpretation; Contested interpretation remains unresolved
PASSGovernance LifecycleTechnical prototype only45e31045c22837da…
Technical feasibility alone cannot complete governance
LIFECYCLE HOLD — INDEPENDENT QUALIFIED REVIEW COMPLETE
All lifecycle gates are conjunctive
LIFECYCLE HOLD — INDEPENDENT QUALIFIED REVIEW COMPLETE
Contested interpretations remain visible
Simulation-to-reality gap; Institution-specific legal interpretation; Contested interpretation remains unresolved
PASSGovernance LifecycleReview incomplete048372fad927366c…
Technical feasibility alone cannot complete governance
LIFECYCLE HOLD — INDEPENDENT QUALIFIED REVIEW COMPLETE
All lifecycle gates are conjunctive
LIFECYCLE HOLD — INDEPENDENT QUALIFIED REVIEW COMPLETE
Contested interpretations remain visible
Simulation-to-reality gap; Institution-specific legal interpretation; Contested interpretation remains unresolved
PASSGovernance LifecycleBounded synthetic approval patha3a775e52e9fba44…
Technical feasibility alone cannot complete governance
BOUNDED SYNTHETIC GOVERNANCE PATH COMPLETE
All lifecycle gates are conjunctive
BOUNDED SYNTHETIC GOVERNANCE PATH COMPLETE
Contested interpretations remain visible
Simulation-to-reality gap; Institution-specific legal interpretation; Contested interpretation remains unresolved
PASSAutonomous Drone ControlBaselinedaec00396a38b7c6…
World-truth objects are not present in autonomy belief before observability and detection
Belief activation follows each object's observable and latency boundary.
Every active track references one or more synthetic observations
All active tracks contain observation_refs.
The selected planner trajectory is dynamically feasible under declared normalized constraints
TRAJ-VERTICAL
The applied synthetic action is compliant or a minimum-risk hold/return
TRAJ-VERTICAL
An infeasible candidate cannot become the selected planner candidate
TRAJ-VERTICAL
Existing critical gates cannot fail while the result remains an inspection state
COMPLETE
Minimum-risk hold occurs when no compliant trajectory exists
feasible=3; applied=TRAJ-VERTICAL
Human hold, return, land, or abort dominates bounded autonomy where specified
command=start-inspection; applied=TRAJ-VERTICAL
Planner intent and independent safety-filter output are recorded separately
requested=TRAJ-VERTICAL; applied=TRAJ-VERTICAL
Every applied synthetic action references its originating frame and selected candidate
Applied action records include origin_frame_id, selected_candidate_id, and null-sink terminal.
Every avoidance state transition is append-oriented and hash chained
be92f8a4853e953191a5d0702c660c0964e5a67e9435772c7deff78fe6568918
Only bounded normalized scene coordinates are emitted
SYNTHETIC_NORMALIZED_SCENE_UNITS
No real hardware, protocol, payload, targeting, weapon, or force output exists
hardware_interfaces=[]; flight_protocols=[]; external_command_channel=false
Every derived result terminates at the synthetic null sink
SYNTHETIC_NULL_SINK
PASSAutonomous Drone ControlNominal bounded inspection19006aad1508159d…
World-truth objects are not present in autonomy belief before observability and detection
Belief activation follows each object's observable and latency boundary.
Every active track references one or more synthetic observations
All active tracks contain observation_refs.
The selected planner trajectory is dynamically feasible under declared normalized constraints
TRAJ-NOMINAL
The applied synthetic action is compliant or a minimum-risk hold/return
TRAJ-NOMINAL
An infeasible candidate cannot become the selected planner candidate
TRAJ-NOMINAL
Existing critical gates cannot fail while the result remains an inspection state
COMPLETE
Minimum-risk hold occurs when no compliant trajectory exists
feasible=0; applied=TRAJ-NOMINAL
Human hold, return, land, or abort dominates bounded autonomy where specified
command=start-inspection; applied=TRAJ-NOMINAL
Planner intent and independent safety-filter output are recorded separately
requested=TRAJ-NOMINAL; applied=TRAJ-NOMINAL
Every applied synthetic action references its originating frame and selected candidate
Applied action records include origin_frame_id, selected_candidate_id, and null-sink terminal.
Every avoidance state transition is append-oriented and hash chained
afd1f337ce8fbd35d66deeb0fb1fbac923b96458717c3924db79d9f50e1bb3c9
Only bounded normalized scene coordinates are emitted
SYNTHETIC_NORMALIZED_SCENE_UNITS
No real hardware, protocol, payload, targeting, weapon, or force output exists
hardware_interfaces=[]; flight_protocols=[]; external_command_channel=false
Every derived result terminates at the synthetic null sink
SYNTHETIC_NULL_SINK
PASSAutonomous Drone ControlSudden crossing objectdaec00396a38b7c6…
World-truth objects are not present in autonomy belief before observability and detection
Belief activation follows each object's observable and latency boundary.
Every active track references one or more synthetic observations
All active tracks contain observation_refs.
The selected planner trajectory is dynamically feasible under declared normalized constraints
TRAJ-VERTICAL
The applied synthetic action is compliant or a minimum-risk hold/return
TRAJ-VERTICAL
An infeasible candidate cannot become the selected planner candidate
TRAJ-VERTICAL
Existing critical gates cannot fail while the result remains an inspection state
COMPLETE
Minimum-risk hold occurs when no compliant trajectory exists
feasible=3; applied=TRAJ-VERTICAL
Human hold, return, land, or abort dominates bounded autonomy where specified
command=start-inspection; applied=TRAJ-VERTICAL
Planner intent and independent safety-filter output are recorded separately
requested=TRAJ-VERTICAL; applied=TRAJ-VERTICAL
Every applied synthetic action references its originating frame and selected candidate
Applied action records include origin_frame_id, selected_candidate_id, and null-sink terminal.
Every avoidance state transition is append-oriented and hash chained
be92f8a4853e953191a5d0702c660c0964e5a67e9435772c7deff78fe6568918
Only bounded normalized scene coordinates are emitted
SYNTHETIC_NORMALIZED_SCENE_UNITS
No real hardware, protocol, payload, targeting, weapon, or force output exists
hardware_interfaces=[]; flight_protocols=[]; external_command_channel=false
Every derived result terminates at the synthetic null sink
SYNTHETIC_NULL_SINK
PASSAutonomous Drone ControlObject emerges from occlusionf26eae35d59b7423…
World-truth objects are not present in autonomy belief before observability and detection
Belief activation follows each object's observable and latency boundary.
Every active track references one or more synthetic observations
All active tracks contain observation_refs.
The selected planner trajectory is dynamically feasible under declared normalized constraints
No planner candidate selected; minimum-risk action used.
The applied synthetic action is compliant or a minimum-risk hold/return
TRAJ-HOLD
An infeasible candidate cannot become the selected planner candidate
None
Existing critical gates cannot fail while the result remains an inspection state
HOLD
Minimum-risk hold occurs when no compliant trajectory exists
feasible=0; applied=TRAJ-HOLD
Human hold, return, land, or abort dominates bounded autonomy where specified
command=start-inspection; applied=TRAJ-HOLD
Planner intent and independent safety-filter output are recorded separately
requested=None; applied=TRAJ-HOLD
Every applied synthetic action references its originating frame and selected candidate
Applied action records include origin_frame_id, selected_candidate_id, and null-sink terminal.
Every avoidance state transition is append-oriented and hash chained
4bfab1a37b65537703683bc30955d899fe1835158d4532b1fb8ba1101dcbc3d7
Only bounded normalized scene coordinates are emitted
SYNTHETIC_NORMALIZED_SCENE_UNITS
No real hardware, protocol, payload, targeting, weapon, or force output exists
hardware_interfaces=[]; flight_protocols=[]; external_command_channel=false
Every derived result terminates at the synthetic null sink
SYNTHETIC_NULL_SINK
PASSAutonomous Drone ControlStatic debris in corridor2ea941f59d9c237e…
World-truth objects are not present in autonomy belief before observability and detection
Belief activation follows each object's observable and latency boundary.
Every active track references one or more synthetic observations
All active tracks contain observation_refs.
The selected planner trajectory is dynamically feasible under declared normalized constraints
No planner candidate selected; minimum-risk action used.
The applied synthetic action is compliant or a minimum-risk hold/return
TRAJ-HOLD
An infeasible candidate cannot become the selected planner candidate
None
Existing critical gates cannot fail while the result remains an inspection state
HOLD
Minimum-risk hold occurs when no compliant trajectory exists
feasible=0; applied=TRAJ-HOLD
Human hold, return, land, or abort dominates bounded autonomy where specified
command=start-inspection; applied=TRAJ-HOLD
Planner intent and independent safety-filter output are recorded separately
requested=None; applied=TRAJ-HOLD
Every applied synthetic action references its originating frame and selected candidate
Applied action records include origin_frame_id, selected_candidate_id, and null-sink terminal.
Every avoidance state transition is append-oriented and hash chained
de63adfb42d753e3edf9ced7b7e21f436093289e9008f53720afb496063696c8
Only bounded normalized scene coordinates are emitted
SYNTHETIC_NORMALIZED_SCENE_UNITS
No real hardware, protocol, payload, targeting, weapon, or force output exists
hardware_interfaces=[]; flight_protocols=[]; external_command_channel=false
Every derived result terminates at the synthetic null sink
SYNTHETIC_NULL_SINK
PASSAutonomous Drone ControlTracked object reverses direction8afbd4e3f8bf7330…
World-truth objects are not present in autonomy belief before observability and detection
Belief activation follows each object's observable and latency boundary.
Every active track references one or more synthetic observations
All active tracks contain observation_refs.
The selected planner trajectory is dynamically feasible under declared normalized constraints
No planner candidate selected; minimum-risk action used.
The applied synthetic action is compliant or a minimum-risk hold/return
TRAJ-HOLD
An infeasible candidate cannot become the selected planner candidate
None
Existing critical gates cannot fail while the result remains an inspection state
HOLD
Minimum-risk hold occurs when no compliant trajectory exists
feasible=0; applied=TRAJ-HOLD
Human hold, return, land, or abort dominates bounded autonomy where specified
command=start-inspection; applied=TRAJ-HOLD
Planner intent and independent safety-filter output are recorded separately
requested=None; applied=TRAJ-HOLD
Every applied synthetic action references its originating frame and selected candidate
Applied action records include origin_frame_id, selected_candidate_id, and null-sink terminal.
Every avoidance state transition is append-oriented and hash chained
421ec6a5171c289ec6df5d246d14db05a7a67d1961ee39fd67965fd413e420bd
Only bounded normalized scene coordinates are emitted
SYNTHETIC_NORMALIZED_SCENE_UNITS
No real hardware, protocol, payload, targeting, weapon, or force output exists
hardware_interfaces=[]; flight_protocols=[]; external_command_channel=false
Every derived result terminates at the synthetic null sink
SYNTHETIC_NULL_SINK
PASSAutonomous Drone ControlHigh-speed synthetic intruder77eab34330215e91…
World-truth objects are not present in autonomy belief before observability and detection
Belief activation follows each object's observable and latency boundary.
Every active track references one or more synthetic observations
All active tracks contain observation_refs.
The selected planner trajectory is dynamically feasible under declared normalized constraints
No planner candidate selected; minimum-risk action used.
The applied synthetic action is compliant or a minimum-risk hold/return
TRAJ-HOLD
An infeasible candidate cannot become the selected planner candidate
None
Existing critical gates cannot fail while the result remains an inspection state
HOLD
Minimum-risk hold occurs when no compliant trajectory exists
feasible=0; applied=TRAJ-HOLD
Human hold, return, land, or abort dominates bounded autonomy where specified
command=start-inspection; applied=TRAJ-HOLD
Planner intent and independent safety-filter output are recorded separately
requested=None; applied=TRAJ-HOLD
Every applied synthetic action references its originating frame and selected candidate
Applied action records include origin_frame_id, selected_candidate_id, and null-sink terminal.
Every avoidance state transition is append-oriented and hash chained
e392a0fb244fdd1da31601d9d272bffa7af967c81586899e699d0294170b2926
Only bounded normalized scene coordinates are emitted
SYNTHETIC_NORMALIZED_SCENE_UNITS
No real hardware, protocol, payload, targeting, weapon, or force output exists
hardware_interfaces=[]; flight_protocols=[]; external_command_channel=false
Every derived result terminates at the synthetic null sink
SYNTHETIC_NULL_SINK
PASSAutonomous Drone ControlMultiple converging objects9c6b54cdd3a64be1…
World-truth objects are not present in autonomy belief before observability and detection
Belief activation follows each object's observable and latency boundary.
Every active track references one or more synthetic observations
All active tracks contain observation_refs.
The selected planner trajectory is dynamically feasible under declared normalized constraints
TRAJ-VERTICAL
The applied synthetic action is compliant or a minimum-risk hold/return
TRAJ-VERTICAL
An infeasible candidate cannot become the selected planner candidate
TRAJ-VERTICAL
Existing critical gates cannot fail while the result remains an inspection state
COMPLETE
Minimum-risk hold occurs when no compliant trajectory exists
feasible=1; applied=TRAJ-VERTICAL
Human hold, return, land, or abort dominates bounded autonomy where specified
command=start-inspection; applied=TRAJ-VERTICAL
Planner intent and independent safety-filter output are recorded separately
requested=TRAJ-VERTICAL; applied=TRAJ-VERTICAL
Every applied synthetic action references its originating frame and selected candidate
Applied action records include origin_frame_id, selected_candidate_id, and null-sink terminal.
Every avoidance state transition is append-oriented and hash chained
aa3341002c72f6d28d1f40fd64392e48ebd7cc93a3052abe2da8e566e5a6339d
Only bounded normalized scene coordinates are emitted
SYNTHETIC_NORMALIZED_SCENE_UNITS
No real hardware, protocol, payload, targeting, weapon, or force output exists
hardware_interfaces=[]; flight_protocols=[]; external_command_channel=false
Every derived result terminates at the synthetic null sink
SYNTHETIC_NULL_SINK
PASSAutonomous Drone ControlCorridor becomes blockede919f1415f1ded01…
World-truth objects are not present in autonomy belief before observability and detection
Belief activation follows each object's observable and latency boundary.
Every active track references one or more synthetic observations
All active tracks contain observation_refs.
The selected planner trajectory is dynamically feasible under declared normalized constraints
TRAJ-HOLD
The applied synthetic action is compliant or a minimum-risk hold/return
TRAJ-HOLD
An infeasible candidate cannot become the selected planner candidate
TRAJ-HOLD
Existing critical gates cannot fail while the result remains an inspection state
HOLD
Minimum-risk hold occurs when no compliant trajectory exists
feasible=1; applied=TRAJ-HOLD
Human hold, return, land, or abort dominates bounded autonomy where specified
command=start-inspection; applied=TRAJ-HOLD
Planner intent and independent safety-filter output are recorded separately
requested=TRAJ-HOLD; applied=TRAJ-HOLD
Every applied synthetic action references its originating frame and selected candidate
Applied action records include origin_frame_id, selected_candidate_id, and null-sink terminal.
Every avoidance state transition is append-oriented and hash chained
14f9bd8a8e3cba60fd311a6e0d674d1aef0af3886372111489676d0bf9d47e4d
Only bounded normalized scene coordinates are emitted
SYNTHETIC_NORMALIZED_SCENE_UNITS
No real hardware, protocol, payload, targeting, weapon, or force output exists
hardware_interfaces=[]; flight_protocols=[]; external_command_channel=false
Every derived result terminates at the synthetic null sink
SYNTHETIC_NULL_SINK
PASSAutonomous Drone ControlLow-confidence ambiguous track0bf9aae5a5493bb4…
World-truth objects are not present in autonomy belief before observability and detection
Belief activation follows each object's observable and latency boundary.
Every active track references one or more synthetic observations
All active tracks contain observation_refs.
The selected planner trajectory is dynamically feasible under declared normalized constraints
No planner candidate selected; minimum-risk action used.
The applied synthetic action is compliant or a minimum-risk hold/return
TRAJ-HOLD
An infeasible candidate cannot become the selected planner candidate
None
Existing critical gates cannot fail while the result remains an inspection state
HOLD
Minimum-risk hold occurs when no compliant trajectory exists
feasible=0; applied=TRAJ-HOLD
Human hold, return, land, or abort dominates bounded autonomy where specified
command=start-inspection; applied=TRAJ-HOLD
Planner intent and independent safety-filter output are recorded separately
requested=None; applied=TRAJ-HOLD
Every applied synthetic action references its originating frame and selected candidate
Applied action records include origin_frame_id, selected_candidate_id, and null-sink terminal.
Every avoidance state transition is append-oriented and hash chained
de63adfb42d753e3edf9ced7b7e21f436093289e9008f53720afb496063696c8
Only bounded normalized scene coordinates are emitted
SYNTHETIC_NORMALIZED_SCENE_UNITS
No real hardware, protocol, payload, targeting, weapon, or force output exists
hardware_interfaces=[]; flight_protocols=[]; external_command_channel=false
Every derived result terminates at the synthetic null sink
SYNTHETIC_NULL_SINK
PASSAutonomous Drone ControlFalse-positive track decaysdf01d140475dd97f…
World-truth objects are not present in autonomy belief before observability and detection
Belief activation follows each object's observable and latency boundary.
Every active track references one or more synthetic observations
All active tracks contain observation_refs.
The selected planner trajectory is dynamically feasible under declared normalized constraints
No planner candidate selected; minimum-risk action used.
The applied synthetic action is compliant or a minimum-risk hold/return
TRAJ-HOLD
An infeasible candidate cannot become the selected planner candidate
None
Existing critical gates cannot fail while the result remains an inspection state
HOLD
Minimum-risk hold occurs when no compliant trajectory exists
feasible=0; applied=TRAJ-HOLD
Human hold, return, land, or abort dominates bounded autonomy where specified
command=start-inspection; applied=TRAJ-HOLD
Planner intent and independent safety-filter output are recorded separately
requested=None; applied=TRAJ-HOLD
Every applied synthetic action references its originating frame and selected candidate
Applied action records include origin_frame_id, selected_candidate_id, and null-sink terminal.
Every avoidance state transition is append-oriented and hash chained
da736bd5fc898481ef02241dbf5122d602b3c3dcdd43ec20e1e9fb7cf9283ab1
Only bounded normalized scene coordinates are emitted
SYNTHETIC_NORMALIZED_SCENE_UNITS
No real hardware, protocol, payload, targeting, weapon, or force output exists
hardware_interfaces=[]; flight_protocols=[]; external_command_channel=false
Every derived result terminates at the synthetic null sink
SYNTHETIC_NULL_SINK
PASSAutonomous Drone ControlSynthetic sensor degradation140736aa014034ec…
World-truth objects are not present in autonomy belief before observability and detection
Belief activation follows each object's observable and latency boundary.
Every active track references one or more synthetic observations
All active tracks contain observation_refs.
The selected planner trajectory is dynamically feasible under declared normalized constraints
No planner candidate selected; minimum-risk action used.
The applied synthetic action is compliant or a minimum-risk hold/return
TRAJ-HOLD
An infeasible candidate cannot become the selected planner candidate
None
Existing critical gates cannot fail while the result remains an inspection state
HOLD
Minimum-risk hold occurs when no compliant trajectory exists
feasible=0; applied=TRAJ-HOLD
Human hold, return, land, or abort dominates bounded autonomy where specified
command=start-inspection; applied=TRAJ-HOLD
Planner intent and independent safety-filter output are recorded separately
requested=None; applied=TRAJ-HOLD
Every applied synthetic action references its originating frame and selected candidate
Applied action records include origin_frame_id, selected_candidate_id, and null-sink terminal.
Every avoidance state transition is append-oriented and hash chained
de63adfb42d753e3edf9ced7b7e21f436093289e9008f53720afb496063696c8
Only bounded normalized scene coordinates are emitted
SYNTHETIC_NORMALIZED_SCENE_UNITS
No real hardware, protocol, payload, targeting, weapon, or force output exists
hardware_interfaces=[]; flight_protocols=[]; external_command_channel=false
Every derived result terminates at the synthetic null sink
SYNTHETIC_NULL_SINK
PASSAutonomous Drone ControlNavigation integrity degradationf2f69b35be37e3b0…
World-truth objects are not present in autonomy belief before observability and detection
Belief activation follows each object's observable and latency boundary.
Every active track references one or more synthetic observations
All active tracks contain observation_refs.
The selected planner trajectory is dynamically feasible under declared normalized constraints
TRAJ-HOLD
The applied synthetic action is compliant or a minimum-risk hold/return
TRAJ-HOLD
An infeasible candidate cannot become the selected planner candidate
TRAJ-HOLD
Existing critical gates cannot fail while the result remains an inspection state
HOLD
Minimum-risk hold occurs when no compliant trajectory exists
feasible=3; applied=TRAJ-HOLD
Human hold, return, land, or abort dominates bounded autonomy where specified
command=start-inspection; applied=TRAJ-HOLD
Planner intent and independent safety-filter output are recorded separately
requested=TRAJ-HOLD; applied=TRAJ-HOLD
Every applied synthetic action references its originating frame and selected candidate
Applied action records include origin_frame_id, selected_candidate_id, and null-sink terminal.
Every avoidance state transition is append-oriented and hash chained
6d40540bd40fb8c66dc1cae0d209d02b0a13079c4fd0896d69a22c274fe061db
Only bounded normalized scene coordinates are emitted
SYNTHETIC_NORMALIZED_SCENE_UNITS
No real hardware, protocol, payload, targeting, weapon, or force output exists
hardware_interfaces=[]; flight_protocols=[]; external_command_channel=false
Every derived result terminates at the synthetic null sink
SYNTHETIC_NULL_SINK
PASSAutonomous Drone ControlSeparation assurance unavailable91bf9a6ae15f8a4c…
World-truth objects are not present in autonomy belief before observability and detection
Belief activation follows each object's observable and latency boundary.
Every active track references one or more synthetic observations
All active tracks contain observation_refs.
The selected planner trajectory is dynamically feasible under declared normalized constraints
TRAJ-HOLD
The applied synthetic action is compliant or a minimum-risk hold/return
TRAJ-HOLD
An infeasible candidate cannot become the selected planner candidate
TRAJ-HOLD
Existing critical gates cannot fail while the result remains an inspection state
HOLD
Minimum-risk hold occurs when no compliant trajectory exists
feasible=0; applied=TRAJ-HOLD
Human hold, return, land, or abort dominates bounded autonomy where specified
command=start-inspection; applied=TRAJ-HOLD
Planner intent and independent safety-filter output are recorded separately
requested=TRAJ-HOLD; applied=TRAJ-HOLD
Every applied synthetic action references its originating frame and selected candidate
Applied action records include origin_frame_id, selected_candidate_id, and null-sink terminal.
Every avoidance state transition is append-oriented and hash chained
23e7c91d1f900e8beb21086ebcd312045cdd78b6c04f80a1274489abe6877efe
Only bounded normalized scene coordinates are emitted
SYNTHETIC_NORMALIZED_SCENE_UNITS
No real hardware, protocol, payload, targeting, weapon, or force output exists
hardware_interfaces=[]; flight_protocols=[]; external_command_channel=false
Every derived result terminates at the synthetic null sink
SYNTHETIC_NULL_SINK
PASSAutonomous Drone ControlLost link during avoidance50d6dedf8591385b…
World-truth objects are not present in autonomy belief before observability and detection
Belief activation follows each object's observable and latency boundary.
Every active track references one or more synthetic observations
All active tracks contain observation_refs.
The selected planner trajectory is dynamically feasible under declared normalized constraints
TRAJ-VERTICAL
The applied synthetic action is compliant or a minimum-risk hold/return
TRAJ-HOLD
An infeasible candidate cannot become the selected planner candidate
TRAJ-VERTICAL
Existing critical gates cannot fail while the result remains an inspection state
HOLD
Minimum-risk hold occurs when no compliant trajectory exists
feasible=3; applied=TRAJ-HOLD
Human hold, return, land, or abort dominates bounded autonomy where specified
command=start-inspection; applied=TRAJ-HOLD
Planner intent and independent safety-filter output are recorded separately
requested=TRAJ-VERTICAL; applied=TRAJ-HOLD
Every applied synthetic action references its originating frame and selected candidate
Applied action records include origin_frame_id, selected_candidate_id, and null-sink terminal.
Every avoidance state transition is append-oriented and hash chained
45a65b742f52c83f7bc3b6bac5b422c338992f76e5364749369a51796215a47f
Only bounded normalized scene coordinates are emitted
SYNTHETIC_NORMALIZED_SCENE_UNITS
No real hardware, protocol, payload, targeting, weapon, or force output exists
hardware_interfaces=[]; flight_protocols=[]; external_command_channel=false
Every derived result terminates at the synthetic null sink
SYNTHETIC_NULL_SINK
PASSAutonomous Drone ControlGoal / safety conflictfcf7411f6584dd04…
World-truth objects are not present in autonomy belief before observability and detection
Belief activation follows each object's observable and latency boundary.
Every active track references one or more synthetic observations
All active tracks contain observation_refs.
The selected planner trajectory is dynamically feasible under declared normalized constraints
No planner candidate selected; minimum-risk action used.
The applied synthetic action is compliant or a minimum-risk hold/return
TRAJ-HOLD
An infeasible candidate cannot become the selected planner candidate
None
Existing critical gates cannot fail while the result remains an inspection state
HOLD
Minimum-risk hold occurs when no compliant trajectory exists
feasible=0; applied=TRAJ-HOLD
Human hold, return, land, or abort dominates bounded autonomy where specified
command=start-inspection; applied=TRAJ-HOLD
Planner intent and independent safety-filter output are recorded separately
requested=None; applied=TRAJ-HOLD
Every applied synthetic action references its originating frame and selected candidate
Applied action records include origin_frame_id, selected_candidate_id, and null-sink terminal.
Every avoidance state transition is append-oriented and hash chained
de63adfb42d753e3edf9ced7b7e21f436093289e9008f53720afb496063696c8
Only bounded normalized scene coordinates are emitted
SYNTHETIC_NORMALIZED_SCENE_UNITS
No real hardware, protocol, payload, targeting, weapon, or force output exists
hardware_interfaces=[]; flight_protocols=[]; external_command_channel=false
Every derived result terminates at the synthetic null sink
SYNTHETIC_NULL_SINK
PASSAutonomous Drone ControlNo feasible trajectory4552273b03a7460f…
World-truth objects are not present in autonomy belief before observability and detection
Belief activation follows each object's observable and latency boundary.
Every active track references one or more synthetic observations
All active tracks contain observation_refs.
The selected planner trajectory is dynamically feasible under declared normalized constraints
TRAJ-HOLD
The applied synthetic action is compliant or a minimum-risk hold/return
TRAJ-HOLD
An infeasible candidate cannot become the selected planner candidate
TRAJ-HOLD
Existing critical gates cannot fail while the result remains an inspection state
HOLD
Minimum-risk hold occurs when no compliant trajectory exists
feasible=1; applied=TRAJ-HOLD
Human hold, return, land, or abort dominates bounded autonomy where specified
command=start-inspection; applied=TRAJ-HOLD
Planner intent and independent safety-filter output are recorded separately
requested=TRAJ-HOLD; applied=TRAJ-HOLD
Every applied synthetic action references its originating frame and selected candidate
Applied action records include origin_frame_id, selected_candidate_id, and null-sink terminal.
Every avoidance state transition is append-oriented and hash chained
14f9bd8a8e3cba60fd311a6e0d674d1aef0af3886372111489676d0bf9d47e4d
Only bounded normalized scene coordinates are emitted
SYNTHETIC_NORMALIZED_SCENE_UNITS
No real hardware, protocol, payload, targeting, weapon, or force output exists
hardware_interfaces=[]; flight_protocols=[]; external_command_channel=false
Every derived result terminates at the synthetic null sink
SYNTHETIC_NULL_SINK
PASSAutonomous Drone ControlLate detectionf16f1e1190638076…
World-truth objects are not present in autonomy belief before observability and detection
Belief activation follows each object's observable and latency boundary.
Every active track references one or more synthetic observations
All active tracks contain observation_refs.
The selected planner trajectory is dynamically feasible under declared normalized constraints
No planner candidate selected; minimum-risk action used.
The applied synthetic action is compliant or a minimum-risk hold/return
TRAJ-HOLD
An infeasible candidate cannot become the selected planner candidate
None
Existing critical gates cannot fail while the result remains an inspection state
HOLD
Minimum-risk hold occurs when no compliant trajectory exists
feasible=0; applied=TRAJ-HOLD
Human hold, return, land, or abort dominates bounded autonomy where specified
command=start-inspection; applied=TRAJ-HOLD
Planner intent and independent safety-filter output are recorded separately
requested=None; applied=TRAJ-HOLD
Every applied synthetic action references its originating frame and selected candidate
Applied action records include origin_frame_id, selected_candidate_id, and null-sink terminal.
Every avoidance state transition is append-oriented and hash chained
8611706e39f189ca0b2ff0c513f52b26527ee82bdc36d8d42b99d9fa039fb27b
Only bounded normalized scene coordinates are emitted
SYNTHETIC_NORMALIZED_SCENE_UNITS
No real hardware, protocol, payload, targeting, weapon, or force output exists
hardware_interfaces=[]; flight_protocols=[]; external_command_channel=false
Every derived result terminates at the synthetic null sink
SYNTHETIC_NULL_SINK
PASSAutonomous Drone ControlHuman hold overridebf15b219b6f4740f…
World-truth objects are not present in autonomy belief before observability and detection
Belief activation follows each object's observable and latency boundary.
Every active track references one or more synthetic observations
All active tracks contain observation_refs.
The selected planner trajectory is dynamically feasible under declared normalized constraints
TRAJ-HOLD
The applied synthetic action is compliant or a minimum-risk hold/return
TRAJ-HOLD
An infeasible candidate cannot become the selected planner candidate
TRAJ-HOLD
Existing critical gates cannot fail while the result remains an inspection state
HOLD
Minimum-risk hold occurs when no compliant trajectory exists
feasible=3; applied=TRAJ-HOLD
Human hold, return, land, or abort dominates bounded autonomy where specified
command=hold; applied=TRAJ-HOLD
Planner intent and independent safety-filter output are recorded separately
requested=TRAJ-HOLD; applied=TRAJ-HOLD
Every applied synthetic action references its originating frame and selected candidate
Applied action records include origin_frame_id, selected_candidate_id, and null-sink terminal.
Every avoidance state transition is append-oriented and hash chained
92aab1c89c1be5ed34db4568ed63db702c9dbc33e827ea86461bba44119dbf4f
Only bounded normalized scene coordinates are emitted
SYNTHETIC_NORMALIZED_SCENE_UNITS
No real hardware, protocol, payload, targeting, weapon, or force output exists
hardware_interfaces=[]; flight_protocols=[]; external_command_channel=false
Every derived result terminates at the synthetic null sink
SYNTHETIC_NULL_SINK
PASSAutonomous Drone ControlHuman return overridec5a1d2d6e1f29d8a…
World-truth objects are not present in autonomy belief before observability and detection
Belief activation follows each object's observable and latency boundary.
Every active track references one or more synthetic observations
All active tracks contain observation_refs.
The selected planner trajectory is dynamically feasible under declared normalized constraints
TRAJ-RETURN
The applied synthetic action is compliant or a minimum-risk hold/return
TRAJ-RETURN
An infeasible candidate cannot become the selected planner candidate
TRAJ-RETURN
Existing critical gates cannot fail while the result remains an inspection state
RETURN
Minimum-risk hold occurs when no compliant trajectory exists
feasible=3; applied=TRAJ-RETURN
Human hold, return, land, or abort dominates bounded autonomy where specified
command=return; applied=TRAJ-RETURN
Planner intent and independent safety-filter output are recorded separately
requested=TRAJ-RETURN; applied=TRAJ-RETURN
Every applied synthetic action references its originating frame and selected candidate
Applied action records include origin_frame_id, selected_candidate_id, and null-sink terminal.
Every avoidance state transition is append-oriented and hash chained
d8476f4568b0d9761143acd9eee3a565425d89254c6e0874b146e1420bc0f81a
Only bounded normalized scene coordinates are emitted
SYNTHETIC_NORMALIZED_SCENE_UNITS
No real hardware, protocol, payload, targeting, weapon, or force output exists
hardware_interfaces=[]; flight_protocols=[]; external_command_channel=false
Every derived result terminates at the synthetic null sink
SYNTHETIC_NULL_SINK
PASSAutonomous Drone ControlAuthority expiredad3308565994e5ac…
World-truth objects are not present in autonomy belief before observability and detection
Belief activation follows each object's observable and latency boundary.
Every active track references one or more synthetic observations
All active tracks contain observation_refs.
The selected planner trajectory is dynamically feasible under declared normalized constraints
TRAJ-HOLD
The applied synthetic action is compliant or a minimum-risk hold/return
TRAJ-HOLD
An infeasible candidate cannot become the selected planner candidate
TRAJ-HOLD
Existing critical gates cannot fail while the result remains an inspection state
HOLD
Minimum-risk hold occurs when no compliant trajectory exists
feasible=3; applied=TRAJ-HOLD
Human hold, return, land, or abort dominates bounded autonomy where specified
command=start-inspection; applied=TRAJ-HOLD
Planner intent and independent safety-filter output are recorded separately
requested=TRAJ-HOLD; applied=TRAJ-HOLD
Every applied synthetic action references its originating frame and selected candidate
Applied action records include origin_frame_id, selected_candidate_id, and null-sink terminal.
Every avoidance state transition is append-oriented and hash chained
84f68044adae4e79bd9e84c967448c2648a120e4b285dd3aa2339a7e86ccbde9
Only bounded normalized scene coordinates are emitted
SYNTHETIC_NORMALIZED_SCENE_UNITS
No real hardware, protocol, payload, targeting, weapon, or force output exists
hardware_interfaces=[]; flight_protocols=[]; external_command_channel=false
Every derived result terminates at the synthetic null sink
SYNTHETIC_NULL_SINK
PASSAutonomous Drone ControlLow-battery return9d7af25cf2414d03…
World-truth objects are not present in autonomy belief before observability and detection
Belief activation follows each object's observable and latency boundary.
Every active track references one or more synthetic observations
All active tracks contain observation_refs.
The selected planner trajectory is dynamically feasible under declared normalized constraints
TRAJ-RETURN
The applied synthetic action is compliant or a minimum-risk hold/return
TRAJ-RETURN
An infeasible candidate cannot become the selected planner candidate
TRAJ-RETURN
Existing critical gates cannot fail while the result remains an inspection state
RETURN
Minimum-risk hold occurs when no compliant trajectory exists
feasible=3; applied=TRAJ-RETURN
Human hold, return, land, or abort dominates bounded autonomy where specified
command=start-inspection; applied=TRAJ-RETURN
Planner intent and independent safety-filter output are recorded separately
requested=TRAJ-RETURN; applied=TRAJ-RETURN
Every applied synthetic action references its originating frame and selected candidate
Applied action records include origin_frame_id, selected_candidate_id, and null-sink terminal.
Every avoidance state transition is append-oriented and hash chained
4a1c507f438cbe32ef0142487464c2425d802e09847407de58af9873afb7bba0
Only bounded normalized scene coordinates are emitted
SYNTHETIC_NORMALIZED_SCENE_UNITS
No real hardware, protocol, payload, targeting, weapon, or force output exists
hardware_interfaces=[]; flight_protocols=[]; external_command_channel=false
Every derived result terminates at the synthetic null sink
SYNTHETIC_NULL_SINK
PASSAutonomous Drone ControlUncertainty abstention0787eb44d6bad8eb…
World-truth objects are not present in autonomy belief before observability and detection
Belief activation follows each object's observable and latency boundary.
Every active track references one or more synthetic observations
All active tracks contain observation_refs.
The selected planner trajectory is dynamically feasible under declared normalized constraints
TRAJ-HOLD
The applied synthetic action is compliant or a minimum-risk hold/return
TRAJ-HOLD
An infeasible candidate cannot become the selected planner candidate
TRAJ-HOLD
Existing critical gates cannot fail while the result remains an inspection state
HOLD
Minimum-risk hold occurs when no compliant trajectory exists
feasible=0; applied=TRAJ-HOLD
Human hold, return, land, or abort dominates bounded autonomy where specified
command=start-inspection; applied=TRAJ-HOLD
Planner intent and independent safety-filter output are recorded separately
requested=TRAJ-HOLD; applied=TRAJ-HOLD
Every applied synthetic action references its originating frame and selected candidate
Applied action records include origin_frame_id, selected_candidate_id, and null-sink terminal.
Every avoidance state transition is append-oriented and hash chained
f9fe52ededc6e03eef57ad945e4d3c082fa8eddd7419f5534841c0852e2816a6
Only bounded normalized scene coordinates are emitted
SYNTHETIC_NORMALIZED_SCENE_UNITS
No real hardware, protocol, payload, targeting, weapon, or force output exists
hardware_interfaces=[]; flight_protocols=[]; external_command_channel=false
Every derived result terminates at the synthetic null sink
SYNTHETIC_NULL_SINK
PASSAutonomous Drone ControlSoftware attestation failed57523fcaeee0d681…
World-truth objects are not present in autonomy belief before observability and detection
Belief activation follows each object's observable and latency boundary.
Every active track references one or more synthetic observations
All active tracks contain observation_refs.
The selected planner trajectory is dynamically feasible under declared normalized constraints
TRAJ-HOLD
The applied synthetic action is compliant or a minimum-risk hold/return
TRAJ-HOLD
An infeasible candidate cannot become the selected planner candidate
TRAJ-HOLD
Existing critical gates cannot fail while the result remains an inspection state
HOLD
Minimum-risk hold occurs when no compliant trajectory exists
feasible=3; applied=TRAJ-HOLD
Human hold, return, land, or abort dominates bounded autonomy where specified
command=start-inspection; applied=TRAJ-HOLD
Planner intent and independent safety-filter output are recorded separately
requested=TRAJ-HOLD; applied=TRAJ-HOLD
Every applied synthetic action references its originating frame and selected candidate
Applied action records include origin_frame_id, selected_candidate_id, and null-sink terminal.
Every avoidance state transition is append-oriented and hash chained
8244d32b2cfe402179dfe284c590cb838afd54350af10b89ecb6141f4f374fbf
Only bounded normalized scene coordinates are emitted
SYNTHETIC_NORMALIZED_SCENE_UNITS
No real hardware, protocol, payload, targeting, weapon, or force output exists
hardware_interfaces=[]; flight_protocols=[]; external_command_channel=false
Every derived result terminates at the synthetic null sink
SYNTHETIC_NULL_SINK
PASSAutonomous Drone ControlHuman supervision unavailableb7f665fb8c44f4ac…
World-truth objects are not present in autonomy belief before observability and detection
Belief activation follows each object's observable and latency boundary.
Every active track references one or more synthetic observations
All active tracks contain observation_refs.
The selected planner trajectory is dynamically feasible under declared normalized constraints
TRAJ-HOLD
The applied synthetic action is compliant or a minimum-risk hold/return
TRAJ-HOLD
An infeasible candidate cannot become the selected planner candidate
TRAJ-HOLD
Existing critical gates cannot fail while the result remains an inspection state
HOLD
Minimum-risk hold occurs when no compliant trajectory exists
feasible=3; applied=TRAJ-HOLD
Human hold, return, land, or abort dominates bounded autonomy where specified
command=start-inspection; applied=TRAJ-HOLD
Planner intent and independent safety-filter output are recorded separately
requested=TRAJ-HOLD; applied=TRAJ-HOLD
Every applied synthetic action references its originating frame and selected candidate
Applied action records include origin_frame_id, selected_candidate_id, and null-sink terminal.
Every avoidance state transition is append-oriented and hash chained
8cc0d65a1226b1630c059ea2ad614d604a8fb39d2b29f9552b8fec66c3d8a663
Only bounded normalized scene coordinates are emitted
SYNTHETIC_NORMALIZED_SCENE_UNITS
No real hardware, protocol, payload, targeting, weapon, or force output exists
hardware_interfaces=[]; flight_protocols=[]; external_command_channel=false
Every derived result terminates at the synthetic null sink
SYNTHETIC_NULL_SINK
PASSAutonomous Drone ControlSynthetic safety volume invalidf7e959cc451147db…
World-truth objects are not present in autonomy belief before observability and detection
Belief activation follows each object's observable and latency boundary.
Every active track references one or more synthetic observations
All active tracks contain observation_refs.
The selected planner trajectory is dynamically feasible under declared normalized constraints
TRAJ-RETURN
The applied synthetic action is compliant or a minimum-risk hold/return
TRAJ-HOLD
An infeasible candidate cannot become the selected planner candidate
TRAJ-RETURN
Existing critical gates cannot fail while the result remains an inspection state
HOLD
Minimum-risk hold occurs when no compliant trajectory exists
feasible=3; applied=TRAJ-HOLD
Human hold, return, land, or abort dominates bounded autonomy where specified
command=start-inspection; applied=TRAJ-HOLD
Planner intent and independent safety-filter output are recorded separately
requested=TRAJ-RETURN; applied=TRAJ-HOLD
Every applied synthetic action references its originating frame and selected candidate
Applied action records include origin_frame_id, selected_candidate_id, and null-sink terminal.
Every avoidance state transition is append-oriented and hash chained
bdbbfd52ce5907efa9b55627f82dece56abdfe466e93616d76f99876c03b40bd
Only bounded normalized scene coordinates are emitted
SYNTHETIC_NORMALIZED_SCENE_UNITS
No real hardware, protocol, payload, targeting, weapon, or force output exists
hardware_interfaces=[]; flight_protocols=[]; external_command_channel=false
Every derived result terminates at the synthetic null sink
SYNTHETIC_NULL_SINK
PASSAutonomous Drone ControlLost-link safe return5bcf7adfe0ec605f…
World-truth objects are not present in autonomy belief before observability and detection
Belief activation follows each object's observable and latency boundary.
Every active track references one or more synthetic observations
All active tracks contain observation_refs.
The selected planner trajectory is dynamically feasible under declared normalized constraints
TRAJ-VERTICAL
The applied synthetic action is compliant or a minimum-risk hold/return
TRAJ-RETURN
An infeasible candidate cannot become the selected planner candidate
TRAJ-VERTICAL
Existing critical gates cannot fail while the result remains an inspection state
RETURN
Minimum-risk hold occurs when no compliant trajectory exists
feasible=3; applied=TRAJ-RETURN
Human hold, return, land, or abort dominates bounded autonomy where specified
command=start-inspection; applied=TRAJ-RETURN
Planner intent and independent safety-filter output are recorded separately
requested=TRAJ-VERTICAL; applied=TRAJ-RETURN
Every applied synthetic action references its originating frame and selected candidate
Applied action records include origin_frame_id, selected_candidate_id, and null-sink terminal.
Every avoidance state transition is append-oriented and hash chained
87421f542d3c335989cdf1a9ebff9189a9cf7993638b33a1d636a8ba81af2155
Only bounded normalized scene coordinates are emitted
SYNTHETIC_NORMALIZED_SCENE_UNITS
No real hardware, protocol, payload, targeting, weapon, or force output exists
hardware_interfaces=[]; flight_protocols=[]; external_command_channel=false
Every derived result terminates at the synthetic null sink
SYNTHETIC_NULL_SINK
LIMIT OF THE PROOF
SIMULATION DOES NOT EQUAL CERTIFICATION.
These vectors establish deterministic behavior, report integrity, state-transition invariants, and safe public boundaries inside this software package. They do not eliminate the reality gap, replace independent validation, or prove a real deployed system lawful, safe, or reliable.