dhcp-simulator 2.9.0__tar.gz

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (221) hide show
  1. dhcp_simulator-2.9.0/.github/workflows/publish.yml +85 -0
  2. dhcp_simulator-2.9.0/.gitignore +6 -0
  3. dhcp_simulator-2.9.0/.hypothesis/.gitignore +9 -0
  4. dhcp_simulator-2.9.0/.hypothesis/constants/0102683f71d25de5 +4 -0
  5. dhcp_simulator-2.9.0/.hypothesis/constants/0f18b43734b92a90 +4 -0
  6. dhcp_simulator-2.9.0/.hypothesis/constants/155291c93f6ecf6a +4 -0
  7. dhcp_simulator-2.9.0/.hypothesis/constants/1a5af2f49d4925af +4 -0
  8. dhcp_simulator-2.9.0/.hypothesis/constants/24762a51be80c0b1 +4 -0
  9. dhcp_simulator-2.9.0/.hypothesis/constants/24d6a239c5247321 +4 -0
  10. dhcp_simulator-2.9.0/.hypothesis/constants/24dd0b50ef69bc53 +4 -0
  11. dhcp_simulator-2.9.0/.hypothesis/constants/2656fea52b8074b6 +4 -0
  12. dhcp_simulator-2.9.0/.hypothesis/constants/3e98c109c6168aca +4 -0
  13. dhcp_simulator-2.9.0/.hypothesis/constants/5154cae3fece3678 +4 -0
  14. dhcp_simulator-2.9.0/.hypothesis/constants/548f10ae0e9c9d27 +4 -0
  15. dhcp_simulator-2.9.0/.hypothesis/constants/5684aa66811ccfc2 +4 -0
  16. dhcp_simulator-2.9.0/.hypothesis/constants/5ba5c5f56f26def7 +4 -0
  17. dhcp_simulator-2.9.0/.hypothesis/constants/5ee4879111219731 +4 -0
  18. dhcp_simulator-2.9.0/.hypothesis/constants/6657ce223a714be2 +4 -0
  19. dhcp_simulator-2.9.0/.hypothesis/constants/6e31b27a89c4d328 +4 -0
  20. dhcp_simulator-2.9.0/.hypothesis/constants/76525d4b553265d1 +4 -0
  21. dhcp_simulator-2.9.0/.hypothesis/constants/782553b9813742fc +4 -0
  22. dhcp_simulator-2.9.0/.hypothesis/constants/78a730856f1dc0ad +4 -0
  23. dhcp_simulator-2.9.0/.hypothesis/constants/78f57dae97514246 +4 -0
  24. dhcp_simulator-2.9.0/.hypothesis/constants/7ce94952eab08251 +4 -0
  25. dhcp_simulator-2.9.0/.hypothesis/constants/7e8588a05187f31d +4 -0
  26. dhcp_simulator-2.9.0/.hypothesis/constants/83f2af996133d087 +4 -0
  27. dhcp_simulator-2.9.0/.hypothesis/constants/847e8de692bcdd0d +4 -0
  28. dhcp_simulator-2.9.0/.hypothesis/constants/86bbc64b1655a175 +4 -0
  29. dhcp_simulator-2.9.0/.hypothesis/constants/88761d0eb5193d31 +4 -0
  30. dhcp_simulator-2.9.0/.hypothesis/constants/8b7b6e49c7914822 +4 -0
  31. dhcp_simulator-2.9.0/.hypothesis/constants/8f7cc3023688dc36 +4 -0
  32. dhcp_simulator-2.9.0/.hypothesis/constants/92902f90e164b38b +4 -0
  33. dhcp_simulator-2.9.0/.hypothesis/constants/9c48f3d37da6dddc +4 -0
  34. dhcp_simulator-2.9.0/.hypothesis/constants/9c52ef5f167fea19 +4 -0
  35. dhcp_simulator-2.9.0/.hypothesis/constants/a821042a87e74819 +4 -0
  36. dhcp_simulator-2.9.0/.hypothesis/constants/a96ac6b7547fcb1a +4 -0
  37. dhcp_simulator-2.9.0/.hypothesis/constants/ae23608128a4a595 +4 -0
  38. dhcp_simulator-2.9.0/.hypothesis/constants/b35230933120ac3e +4 -0
  39. dhcp_simulator-2.9.0/.hypothesis/constants/c32d8868457b7dc1 +4 -0
  40. dhcp_simulator-2.9.0/.hypothesis/constants/cbcca05a0c39eefc +4 -0
  41. dhcp_simulator-2.9.0/.hypothesis/constants/cc88fdc032b2db28 +4 -0
  42. dhcp_simulator-2.9.0/.hypothesis/constants/cd3d1b3fb33e470f +4 -0
  43. dhcp_simulator-2.9.0/.hypothesis/constants/cd44c40d38406cb8 +4 -0
  44. dhcp_simulator-2.9.0/.hypothesis/constants/cea854bf014673d5 +4 -0
  45. dhcp_simulator-2.9.0/.hypothesis/constants/d35dd17c11e8801b +4 -0
  46. dhcp_simulator-2.9.0/.hypothesis/constants/d56bc90f89ff1e69 +4 -0
  47. dhcp_simulator-2.9.0/.hypothesis/constants/dace2142e2fc9b82 +4 -0
  48. dhcp_simulator-2.9.0/.hypothesis/constants/e4aa7cbbc82bf938 +4 -0
  49. dhcp_simulator-2.9.0/.hypothesis/constants/e9a9a131bace1014 +4 -0
  50. dhcp_simulator-2.9.0/.hypothesis/constants/e9c99d347aa945b8 +4 -0
  51. dhcp_simulator-2.9.0/.hypothesis/constants/ed7011955501ca53 +4 -0
  52. dhcp_simulator-2.9.0/.hypothesis/constants/f0dc0bac03c80e3d +4 -0
  53. dhcp_simulator-2.9.0/.hypothesis/constants/f39faa2181fd42e0 +4 -0
  54. dhcp_simulator-2.9.0/.hypothesis/constants/f96f0314443cae70 +4 -0
  55. dhcp_simulator-2.9.0/.hypothesis/constants/fca58920a849243b +4 -0
  56. dhcp_simulator-2.9.0/CHANGELOG.md +429 -0
  57. dhcp_simulator-2.9.0/LICENSE +21 -0
  58. dhcp_simulator-2.9.0/PKG-INFO +298 -0
  59. dhcp_simulator-2.9.0/README.md +258 -0
  60. dhcp_simulator-2.9.0/SECURITY.md +3 -0
  61. dhcp_simulator-2.9.0/VERSION +1 -0
  62. dhcp_simulator-2.9.0/documentation/ARCHITECTURE.md +310 -0
  63. dhcp_simulator-2.9.0/documentation/FULL_SWEEP_ENGINEERING_AUDIT.md +402 -0
  64. dhcp_simulator-2.9.0/documentation/HEAVY_TRANSPORT_OPERATIONS.md +314 -0
  65. dhcp_simulator-2.9.0/documentation/INDUSTRY_BENCHMARKS.md +149 -0
  66. dhcp_simulator-2.9.0/documentation/MODEL_EVIDENCE_AND_CALIBRATION.md +234 -0
  67. dhcp_simulator-2.9.0/documentation/PHASE_29_VALIDATION_REPORT.md +153 -0
  68. dhcp_simulator-2.9.0/documentation/ROADMAP_SOURCE.txt +376 -0
  69. dhcp_simulator-2.9.0/documentation/RUNTIME_RELIABILITY_AND_CONCURRENCY.md +290 -0
  70. dhcp_simulator-2.9.0/documentation/UI_DESIGN_SYSTEM.md +165 -0
  71. dhcp_simulator-2.9.0/documentation/UNIFIED_OPERATIONS_EXPERIENCE.md +77 -0
  72. dhcp_simulator-2.9.0/pyproject.toml +51 -0
  73. dhcp_simulator-2.9.0/src/dhcp/__init__.py +2 -0
  74. dhcp_simulator-2.9.0/src/dhcp/ai_operations/contracts.py +19 -0
  75. dhcp_simulator-2.9.0/src/dhcp/apps/operations_console.py +33 -0
  76. dhcp_simulator-2.9.0/src/dhcp/apps/simulation_console.py +35 -0
  77. dhcp_simulator-2.9.0/src/dhcp/audit/journal.py +313 -0
  78. dhcp_simulator-2.9.0/src/dhcp/communications/lease.py +10 -0
  79. dhcp_simulator-2.9.0/src/dhcp/communications/simulation_link.py +9 -0
  80. dhcp_simulator-2.9.0/src/dhcp/core/clock.py +7 -0
  81. dhcp_simulator-2.9.0/src/dhcp/core/monitoring_audio.py +741 -0
  82. dhcp_simulator-2.9.0/src/dhcp/core/numeric.py +20 -0
  83. dhcp_simulator-2.9.0/src/dhcp/domain/enums.py +35 -0
  84. dhcp_simulator-2.9.0/src/dhcp/domain/models.py +110 -0
  85. dhcp_simulator-2.9.0/src/dhcp/domain/state_machines.py +23 -0
  86. dhcp_simulator-2.9.0/src/dhcp/emergencies/engine.py +8 -0
  87. dhcp_simulator-2.9.0/src/dhcp/eta/engine.py +9 -0
  88. dhcp_simulator-2.9.0/src/dhcp/identity/authorization.py +11 -0
  89. dhcp_simulator-2.9.0/src/dhcp/mapping/__init__.py +3 -0
  90. dhcp_simulator-2.9.0/src/dhcp/mapping/engine.py +134 -0
  91. dhcp_simulator-2.9.0/src/dhcp/mapping/models.py +41 -0
  92. dhcp_simulator-2.9.0/src/dhcp/mapping/providers/__init__.py +2 -0
  93. dhcp_simulator-2.9.0/src/dhcp/mapping/providers/base.py +7 -0
  94. dhcp_simulator-2.9.0/src/dhcp/mapping/providers/maptiler.py +13 -0
  95. dhcp_simulator-2.9.0/src/dhcp/persistence/__init__.py +3 -0
  96. dhcp_simulator-2.9.0/src/dhcp/persistence/sqlite_repository.py +791 -0
  97. dhcp_simulator-2.9.0/src/dhcp/runtime.py +853 -0
  98. dhcp_simulator-2.9.0/src/dhcp/safety/kernel.py +321 -0
  99. dhcp_simulator-2.9.0/src/dhcp/services/coordinator.py +232 -0
  100. dhcp_simulator-2.9.0/src/dhcp/simulation/aircraft.py +493 -0
  101. dhcp_simulator-2.9.0/src/dhcp/simulation/airspace_operations.py +241 -0
  102. dhcp_simulator-2.9.0/src/dhcp/simulation/awareness.py +42 -0
  103. dhcp_simulator-2.9.0/src/dhcp/simulation/dispatch.py +124 -0
  104. dhcp_simulator-2.9.0/src/dhcp/simulation/flight_phases.py +1617 -0
  105. dhcp_simulator-2.9.0/src/dhcp/simulation/flight_sequencing.py +160 -0
  106. dhcp_simulator-2.9.0/src/dhcp/simulation/heavy_transport.py +328 -0
  107. dhcp_simulator-2.9.0/src/dhcp/simulation/hub.py +103 -0
  108. dhcp_simulator-2.9.0/src/dhcp/simulation/intelligence.py +262 -0
  109. dhcp_simulator-2.9.0/src/dhcp/simulation/live_operations.py +187 -0
  110. dhcp_simulator-2.9.0/src/dhcp/simulation/maintenance_execution.py +135 -0
  111. dhcp_simulator-2.9.0/src/dhcp/simulation/model_evidence.py +572 -0
  112. dhcp_simulator-2.9.0/src/dhcp/simulation/operations.py +133 -0
  113. dhcp_simulator-2.9.0/src/dhcp/simulation/performance.py +434 -0
  114. dhcp_simulator-2.9.0/src/dhcp/simulation/postflight_operations.py +174 -0
  115. dhcp_simulator-2.9.0/src/dhcp/simulation/recovery_operations.py +255 -0
  116. dhcp_simulator-2.9.0/src/dhcp/simulation/reference_scenarios.py +755 -0
  117. dhcp_simulator-2.9.0/src/dhcp/simulation/reliability.py +102 -0
  118. dhcp_simulator-2.9.0/src/dhcp/simulation/replay_evidence.py +306 -0
  119. dhcp_simulator-2.9.0/src/dhcp/simulation/resilience.py +171 -0
  120. dhcp_simulator-2.9.0/src/dhcp/simulation/scenarios.py +40 -0
  121. dhcp_simulator-2.9.0/src/dhcp/simulation/scheduling.py +134 -0
  122. dhcp_simulator-2.9.0/src/dhcp/simulation/sensitivity.py +619 -0
  123. dhcp_simulator-2.9.0/src/dhcp/simulation/session.py +3047 -0
  124. dhcp_simulator-2.9.0/src/dhcp/simulation/traffic.py +150 -0
  125. dhcp_simulator-2.9.0/src/dhcp/simulation/turnaround.py +114 -0
  126. dhcp_simulator-2.9.0/src/dhcp/ui/__init__.py +1 -0
  127. dhcp_simulator-2.9.0/src/dhcp/ui/assets/icons/activity.svg +1 -0
  128. dhcp_simulator-2.9.0/src/dhcp/ui/assets/icons/alert.svg +1 -0
  129. dhcp_simulator-2.9.0/src/dhcp/ui/assets/icons/audio.svg +4 -0
  130. dhcp_simulator-2.9.0/src/dhcp/ui/assets/icons/audio_muted.svg +4 -0
  131. dhcp_simulator-2.9.0/src/dhcp/ui/assets/icons/audit.svg +1 -0
  132. dhcp_simulator-2.9.0/src/dhcp/ui/assets/icons/battery.svg +1 -0
  133. dhcp_simulator-2.9.0/src/dhcp/ui/assets/icons/communications.svg +1 -0
  134. dhcp_simulator-2.9.0/src/dhcp/ui/assets/icons/drone.svg +1 -0
  135. dhcp_simulator-2.9.0/src/dhcp/ui/assets/icons/filter.svg +1 -0
  136. dhcp_simulator-2.9.0/src/dhcp/ui/assets/icons/link.svg +1 -0
  137. dhcp_simulator-2.9.0/src/dhcp/ui/assets/icons/map.svg +1 -0
  138. dhcp_simulator-2.9.0/src/dhcp/ui/assets/icons/mission.svg +1 -0
  139. dhcp_simulator-2.9.0/src/dhcp/ui/assets/icons/more.svg +1 -0
  140. dhcp_simulator-2.9.0/src/dhcp/ui/assets/icons/overview.svg +1 -0
  141. dhcp_simulator-2.9.0/src/dhcp/ui/assets/icons/pad.svg +1 -0
  142. dhcp_simulator-2.9.0/src/dhcp/ui/assets/icons/pause.svg +1 -0
  143. dhcp_simulator-2.9.0/src/dhcp/ui/assets/icons/play.svg +1 -0
  144. dhcp_simulator-2.9.0/src/dhcp/ui/assets/icons/reset.svg +1 -0
  145. dhcp_simulator-2.9.0/src/dhcp/ui/assets/icons/route.svg +1 -0
  146. dhcp_simulator-2.9.0/src/dhcp/ui/assets/icons/settings.svg +1 -0
  147. dhcp_simulator-2.9.0/src/dhcp/ui/assets/icons/simulation.svg +1 -0
  148. dhcp_simulator-2.9.0/src/dhcp/ui/assets/icons/telemetry.svg +1 -0
  149. dhcp_simulator-2.9.0/src/dhcp/ui/assets/icons/transport.svg +5 -0
  150. dhcp_simulator-2.9.0/src/dhcp/ui/assets/map/maplibre_shell.html +3 -0
  151. dhcp_simulator-2.9.0/src/dhcp/ui/assets/transport_classes/README.md +35 -0
  152. dhcp_simulator-2.9.0/src/dhcp/ui/assets/transport_classes/extra_heavy.png +0 -0
  153. dhcp_simulator-2.9.0/src/dhcp/ui/assets/transport_classes/heavy.png +0 -0
  154. dhcp_simulator-2.9.0/src/dhcp/ui/assets/transport_classes/large.png +0 -0
  155. dhcp_simulator-2.9.0/src/dhcp/ui/data_catalog.py +69 -0
  156. dhcp_simulator-2.9.0/src/dhcp/ui/design_system.py +74 -0
  157. dhcp_simulator-2.9.0/src/dhcp/ui/focus.py +24 -0
  158. dhcp_simulator-2.9.0/src/dhcp/ui/graphics.py +123 -0
  159. dhcp_simulator-2.9.0/src/dhcp/ui/icons.py +24 -0
  160. dhcp_simulator-2.9.0/src/dhcp/ui/main_window.py +247 -0
  161. dhcp_simulator-2.9.0/src/dhcp/ui/menus.py +34 -0
  162. dhcp_simulator-2.9.0/src/dhcp/ui/monitoring_audio_adapter.py +285 -0
  163. dhcp_simulator-2.9.0/src/dhcp/ui/pages.py +1693 -0
  164. dhcp_simulator-2.9.0/src/dhcp/ui/theme.py +80 -0
  165. dhcp_simulator-2.9.0/src/dhcp/ui/widgets.py +490 -0
  166. dhcp_simulator-2.9.0/src/dhcp/ui/workspace.py +25 -0
  167. dhcp_simulator-2.9.0/tests/mapping/test_mapping_engine.py +29 -0
  168. dhcp_simulator-2.9.0/tests/test_digital_twin.py +78 -0
  169. dhcp_simulator-2.9.0/tests/test_dispatch_phase.py +86 -0
  170. dhcp_simulator-2.9.0/tests/test_end_to_end.py +22 -0
  171. dhcp_simulator-2.9.0/tests/test_fidelity_hardening.py +447 -0
  172. dhcp_simulator-2.9.0/tests/test_full_sweep_reliability.py +330 -0
  173. dhcp_simulator-2.9.0/tests/test_heavy_transport.py +512 -0
  174. dhcp_simulator-2.9.0/tests/test_journal.py +5 -0
  175. dhcp_simulator-2.9.0/tests/test_journal_recovery.py +111 -0
  176. dhcp_simulator-2.9.0/tests/test_monitoring_audio.py +315 -0
  177. dhcp_simulator-2.9.0/tests/test_numeric_validation.py +348 -0
  178. dhcp_simulator-2.9.0/tests/test_operations_phase.py +91 -0
  179. dhcp_simulator-2.9.0/tests/test_persistence_reliability.py +80 -0
  180. dhcp_simulator-2.9.0/tests/test_phase10_droneport_persistence.py +93 -0
  181. dhcp_simulator-2.9.0/tests/test_phase11_living_hub_data.py +60 -0
  182. dhcp_simulator-2.9.0/tests/test_phase12_hub_flow_scheduling.py +57 -0
  183. dhcp_simulator-2.9.0/tests/test_phase13_resilience_training.py +61 -0
  184. dhcp_simulator-2.9.0/tests/test_phase14_mission_feasibility.py +74 -0
  185. dhcp_simulator-2.9.0/tests/test_phase15_airspace_operations.py +70 -0
  186. dhcp_simulator-2.9.0/tests/test_phase16_flight_sequencing.py +87 -0
  187. dhcp_simulator-2.9.0/tests/test_phase17_recovery_operations.py +64 -0
  188. dhcp_simulator-2.9.0/tests/test_phase18_postflight_assurance.py +107 -0
  189. dhcp_simulator-2.9.0/tests/test_phase19_maintenance_execution.py +84 -0
  190. dhcp_simulator-2.9.0/tests/test_phase20_reliability_planning.py +52 -0
  191. dhcp_simulator-2.9.0/tests/test_phase26_runtime_resilience.py +95 -0
  192. dhcp_simulator-2.9.0/tests/test_phase29_authority_replay_regressions.py +344 -0
  193. dhcp_simulator-2.9.0/tests/test_phase29_flight_phases.py +604 -0
  194. dhcp_simulator-2.9.0/tests/test_phase29_model_evidence.py +291 -0
  195. dhcp_simulator-2.9.0/tests/test_phase29_persistence_detachment.py +40 -0
  196. dhcp_simulator-2.9.0/tests/test_phase29_persistence_evidence.py +198 -0
  197. dhcp_simulator-2.9.0/tests/test_phase29_recovery_authority.py +259 -0
  198. dhcp_simulator-2.9.0/tests/test_phase29_replay_evidence.py +127 -0
  199. dhcp_simulator-2.9.0/tests/test_phase29_sensitivity.py +322 -0
  200. dhcp_simulator-2.9.0/tests/test_phase29_session_flight_runtime.py +727 -0
  201. dhcp_simulator-2.9.0/tests/test_phase29_session_numeric.py +89 -0
  202. dhcp_simulator-2.9.0/tests/test_phase29_session_replay.py +83 -0
  203. dhcp_simulator-2.9.0/tests/test_phase9_operations_intelligence.py +81 -0
  204. dhcp_simulator-2.9.0/tests/test_runtime_foundation.py +211 -0
  205. dhcp_simulator-2.9.0/tests/test_safety.py +8 -0
  206. dhcp_simulator-2.9.0/tests/test_simulation_session.py +70 -0
  207. dhcp_simulator-2.9.0/tests/test_state_machines.py +7 -0
  208. dhcp_simulator-2.9.0/tests/test_traffic_phase.py +68 -0
  209. dhcp_simulator-2.9.0/tests/ui/test_heavy_transport_ui_contract.py +94 -0
  210. dhcp_simulator-2.9.0/tests/ui/test_mapping_ui_contract.py +9 -0
  211. dhcp_simulator-2.9.0/tests/ui/test_nextgen_ui_contract.py +34 -0
  212. dhcp_simulator-2.9.0/tests/ui/test_phase21_technical_operations_ui.py +36 -0
  213. dhcp_simulator-2.9.0/tests/ui/test_phase22_map_focus.py +47 -0
  214. dhcp_simulator-2.9.0/tests/ui/test_phase23_map_operational_indicators.py +46 -0
  215. dhcp_simulator-2.9.0/tests/ui/test_phase24_full_ui_data_parity.py +64 -0
  216. dhcp_simulator-2.9.0/tests/ui/test_phase25_unified_aerospace_experience.py +44 -0
  217. dhcp_simulator-2.9.0/tests/ui/test_phase28_heavy_map_audio_integration.py +81 -0
  218. dhcp_simulator-2.9.0/tests/ui/test_phase29_large_artwork_repair.py +26 -0
  219. dhcp_simulator-2.9.0/tests/ui/test_phase29_model_disclosure.py +203 -0
  220. dhcp_simulator-2.9.0/tests/ui/test_ui_hardening_contract.py +94 -0
  221. dhcp_simulator-2.9.0/tests/ui/test_ui_source_contract.py +20 -0
@@ -0,0 +1,85 @@
1
+ name: Publish to PyPI
2
+
3
+ on:
4
+ pull_request:
5
+ branches:
6
+ - main
7
+ push:
8
+ tags:
9
+ - "v*.*.*"
10
+ workflow_dispatch:
11
+
12
+ permissions:
13
+ contents: read
14
+
15
+ jobs:
16
+ build:
17
+ name: Build and validate distributions
18
+ runs-on: ubuntu-latest
19
+ steps:
20
+ - name: Check out source
21
+ uses: actions/checkout@v4
22
+
23
+ - name: Set up Python
24
+ uses: actions/setup-python@v5
25
+ with:
26
+ python-version: "3.11"
27
+ cache: pip
28
+
29
+ - name: Install release tooling
30
+ run: >-
31
+ python -m pip install --upgrade
32
+ pip build twine ruff
33
+ -e ".[test]"
34
+
35
+ - name: Run release gates
36
+ run: |
37
+ python -m pytest
38
+ python -m ruff check --select E9,F63,F7,F82 .
39
+ python -m compileall -q src tests
40
+
41
+ - name: Build wheel and source distribution
42
+ run: |
43
+ rm -rf dist
44
+ python -m build
45
+
46
+ - name: Check package metadata
47
+ run: python -m twine check dist/*
48
+
49
+ - name: Verify clean wheel install
50
+ run: |
51
+ python -m venv /tmp/dhcp-wheel-check
52
+ /tmp/dhcp-wheel-check/bin/python -m pip install --upgrade pip
53
+ /tmp/dhcp-wheel-check/bin/python -m pip install dist/*.whl
54
+ /tmp/dhcp-wheel-check/bin/python -m pip check
55
+ /tmp/dhcp-wheel-check/bin/python -c "from importlib.metadata import version; assert version('dhcp-simulator') == '2.9.0'"
56
+ /tmp/dhcp-wheel-check/bin/python -c "import dhcp; assert dhcp.__version__ == '2.9.0-sim'"
57
+ /tmp/dhcp-wheel-check/bin/python -m dhcp.apps.simulation_console
58
+
59
+ - name: Upload distributions
60
+ uses: actions/upload-artifact@v4
61
+ with:
62
+ name: python-package-distributions
63
+ path: dist/
64
+ if-no-files-found: error
65
+ retention-days: 1
66
+
67
+ publish:
68
+ name: Publish distributions
69
+ if: github.event_name != 'pull_request'
70
+ needs: build
71
+ runs-on: ubuntu-latest
72
+ environment:
73
+ name: pypi
74
+ url: https://pypi.org/p/dhcp-simulator
75
+ permissions:
76
+ id-token: write
77
+ steps:
78
+ - name: Download distributions
79
+ uses: actions/download-artifact@v4
80
+ with:
81
+ name: python-package-distributions
82
+ path: dist/
83
+
84
+ - name: Publish to PyPI
85
+ uses: pypa/gh-action-pypi-publish@release/v1
@@ -0,0 +1,6 @@
1
+ .venv/
2
+ __pycache__/
3
+ .pytest_cache/
4
+ *.pyc
5
+ *.db
6
+ *.log
@@ -0,0 +1,9 @@
1
+ # This .gitignore file was automatically created by Hypothesis. Hypothesis gitignores
2
+ # .hypothesis by default, because we generally recommend that .hypothesis not be checked
3
+ # into version control.
4
+ #
5
+ # If you *would* like to check .hypothesis into version control, you should delete this
6
+ # file. Hypothesis will not re-create this .gitignore unless .hypothesis is deleted (and
7
+ # if it does, that's a bug - please report it!)
8
+
9
+ *
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/simulation/model_evidence.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [-60.0, 0.0, 1e-09, 0.1, 0.15, 0.2, 0.25, 0.3, 1.0, 5.0, 15.0, 25.0, 40.0, 60.0, 70.0, 80.0, 100.0, 500.0, 1500.0, 2000.0, 100000.0, 1000000.0, 2000000.0, 2026, '%', ',', ':', 'CALIBRATED', 'CATALOG_ACCESS_DATE', 'CalibrationStatus', 'ESTIMATED', 'EvidenceStatus', 'MODEL_VERSION', 'NOT_CALIBRATED', 'NumericRange', 'PARAMETER_IDS', 'VALIDATED', 'W', 'Wh', 'Wh/km', 'aircraft_class', 'battery_capacity_wh', 'calibration', 'configuration', 'cruise_speed_mps', 'degC', 'derivation', 'derived value', 'derived_value', 'empty_mass_kg', 'hover_power_w', 'kg', 'km', 'lower', 'm', 'm/s', 'maximum_payload_kg', 'maximum_wind_mps', 'model version', 'model_version', 'parameter id', 'parameter_id', 'profile attribute', 'profile_attribute', 'range lower', 'range upper', 'range value', 'records', 'schema version', 'schema_version', 'source id', 'source value', 'source_access_date', 'source_id', 'source_value', 'status', 'uncertainty', 'uncertainty absolute', 'uncertainty fraction', 'uncertainty_absolute', 'uncertainty_fraction', 'units', 'upper', 'utf-8', 'valid_range']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/simulation/scheduling.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [0.0, 1.0, 60.0, 120.0, 180.0, 240.0, 300.0, 1800.0, 2700.0, 'AT_RISK', 'AVAILABLE', 'CARGO_STATION', 'CHARGER', 'CHG-01', 'CRG-01', 'LATE', 'LOAD_CREW', 'MAINTENANCE_BAY', 'MNT-01', 'ON_TIME', 'PAD']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/core/monitoring_audio.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [0.0, 0.65, 0.8, 1.0, 3.0, 128, 1024, 2048, 'AlarmAudioLifecycle', 'CRITICAL', 'HUB', 'LIVE', 'MonitoringAudioCue', 'MonitoringCueKind', 'Operational alarm', 'RAISED', 'RESOLVED', 'SIMULATION', 'WARNING', 'alarm_id', 'alarms', 'cue_history_capacity', 'detail', 'elapsed_s', 'entity_ref', 'global_cooldown_s', 'history_capacity', 'mode', 'observation_capacity', 'replay', 'resolved', 'resolved_elapsed_s', 'severity', 'source', 'text', 'title', 'value']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/services/coordinator.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ ['COMMAND_EXPIRED', 'CommandAccepted', 'CommandRejected', 'UNAUTHORIZED', 'UNSUPPORTED_COMMAND', 'aircraft_id', 'aircraft_state', 'command_id', 'epoch', 'mission_id', 'mission_state', 'operator_id', 'reason', 'sequence_number', 'type', 'value']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/mapping/providers/__init__.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ ['MapTilerProvider']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/ai_operations/contracts.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ []
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/mapping/engine.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [-84.388, -84.36, -84.332, -0.003, -0.002, 0.0, 0.001, 0.002, 0.003, 0.006, 0.01, 0.011, 0.012, 0.014, 0.018, 1.0, 2.5, 11.5, 33.7488, 33.764, 33.782, 100.0, 10000.0, 100000.0, '#06b6d4', '#14b8a6', '#22c55e', '#3b82f6', '#64748b', '#8b5cf6', '#a855f7', '#dc2626', '#eab308', '#ef4444', '#f59e0b', '2', 'AIRBORNE', 'AIRCRAFT_STAGED', 'APPROACHING', 'AT HUB', 'AT_DESTINATION', 'AVAILABLE_AT_HUB', 'DELIVERED', 'EMERGENCY', 'EN_ROUTE', 'GROUNDED', 'HUB_TURNAROUND', 'LANDING', 'LANDING_AUTHORIZED', 'LAUNCH_AUTHORIZED', 'LAUNCH_RELEASED', 'LineString', 'MAINT', 'MAINTENANCE', 'NORMAL', 'ON PAD', 'ON_LAUNCH_PAD', 'OUTBOUND', 'OUTBOUND_FLIGHT', 'PAD READY', 'PARCEL', 'PAYLOAD_VERIFIED', 'PREFLIGHT', 'PREFLIGHT_COMPLETE', 'PREPARING', 'Point', 'Polygon', 'QUARANTINED', 'RESERVED', 'RETURNING', 'RETURN_TO_HUB', 'RTB', 'TURNAROUND', 'WARNING', 'WX-HUB', '_', 'active', 'aircraft', 'aircraft_callsign', 'aircraft_class', 'battery_pct', 'callsign', 'class_label', 'empty_mass_kg', 'end_s', 'gust_mps', 'kind', 'link_quality', 'max_payload_kg', 'maximum_altitude_m', 'maximum_payload_kg', 'mission_state', 'name', 'operational', 'operational_phase', 'pad_id', 'payload_kg', 'phase', 'phase_color', 'phase_label', 'severity', 'stale_age_s', 'start_s', 'state', 'utilization', 'value', 'visibility_km', 'wind_mps']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/simulation/flight_phases.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [-180.0, -100.0, -90.0, -1.0, 0.0, 1e-09, 0.004, 0.08, 0.1, 0.12, 0.18, 0.2, 0.22, 0.55, 0.72, 0.8, 1.0, 1.12, 1.35, 2.0, 3.0, 5.0, 12.0, 22.0, 45.0, 90.0, 100.0, 180.0, 1000.0, 3600.0, 'ALTERNATE', 'ALTERNATE_SELECTED', 'APPROACH', 'CLIMB', 'COMPLETE', 'CRUISE', 'DELIVERY_COMPLETE', 'DESCENT', 'ENERGY_EXHAUSTED', 'FLIGHT_COMPLETE', 'FlightDirective', 'FlightExecutionState', 'FlightMilestone', 'FlightMilestoneKind', 'FlightPhase', 'FlightPhaseExecutor', 'FlightPoint', 'FlightStepInputs', 'FlightStepResult', 'GO_AROUND', 'GO_AROUND_STARTED', 'HOLD', 'HOLD_ENTERED', 'HOVER_DWELL', 'NORMAL', 'OUTBOUND_COMPLETE', 'PHASE_CHANGED', 'RETURN', 'RETURN_COMPLETE', 'RouteGeometry', 'UNMANNED_CARGO_UAS', '_', 'aircraft_callsign', 'aircraft_class', 'alternate distance', 'alternate_distance_m', 'altitude_m', 'battery percentage', 'battery_capacity_wh', 'battery_pct', 'climb_rate_mps', 'consumed_seconds', 'cruise_altitude_m', 'cruise_speed_mps', 'descent_rate_mps', 'directive', 'energy_remaining_wh', 'energy_used_wh', 'evidence_status', 'flight timestep', 'flight_elapsed_s', 'gust speed', 'gust_mps', 'hover dwell duration', 'hover_dwell_s', 'hover_power_w', 'initial energy', 'kind', 'latitude', 'longitude', 'maximum temperature', 'maximum_payload_kg', 'maximum_wind_mps', 'minimum temperature', 'motion_seconds', 'next_phase', 'outbound_distance_m', 'outbound_progress', 'payload', 'payload_kg', 'phase', 'phase_elapsed_s', 'powered_seconds', 'reserve_margin_pct', 'return_distance_m', 'return_progress', 'route distance', 'route_distance_m', 'speed_mps', 'temperature', 'temperature_c', 'total_progress', 'travelled_distance_m', 'validity', 'wind speed', 'wind_mps']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/simulation/maintenance_execution.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [0.0, 1.0, 1.5, 2.5, 4.0, 'AOG', 'BAT-CONN-01', 'COM-RF-02', 'EXPEDITE', 'GEN-LRU-01', 'INSPECTION', 'IN_PROGRESS', 'NAV-GNSS-01', 'OPEN', 'RELEASED', 'ROUTINE', 'WAITING_PARTS', 'battery', 'communications', 'emergency', 'fault', 'gnss', 'link']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/simulation/replay_evidence.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [0.0, 1e-09, ',', '.9f', '0123456789abcdef', ':', '__float__', 'absolute_tolerance', 'dropped input count', 'input count', 'last input sequence', 'normalized_input', 'normalized_inputs', 'relative_tolerance', 'release_version', 'retained input count', 'schema_version', 'seed', 'state_sha256', 'utf-8']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/simulation/operations.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [0.0, 0.00025, 0.0008, 0.001, 0.002, 0.96, 0.98, 0.99, 4.0, 6.0, 12.0, 16.0, 25.0, 3600.0, 100, 'Cargo Receiving', 'DELIVERED', 'GROUNDED', 'HELD', 'HUB', 'INFO', 'INSPECTED', 'INSPECTION_DUE', 'IN_MAINTENANCE', 'IN_TRANSIT', 'LOADED', 'QUEUED', 'RECEIVED', 'RELEASE_PENDING', 'RETURNED', 'SERVICEABLE', 'SORTED']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/simulation/awareness.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [100, 'ABORTED', 'AIRBORNE', 'COMPLETED', 'CONTINGENCY', 'CREATED', 'DEGRADED', 'DELIVERED', 'LANDING', 'NORMAL', 'PAD-', 'RETURNING']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/mapping/models.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [0.0, 1.0, -180, 180, 'AIRCRAFT', 'AIRSPACE', 'BASEMAP', 'COMMUNICATIONS', 'FACILITIES', 'REPLAY', 'ROUTES', 'WEATHER']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/simulation/sensitivity.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [-100.0, 0.0, 1e-09, 0.01, 0.0125, 0.16, 0.18, 0.2, 0.25, 0.3, 0.35, 0.5, 0.6, 0.65, 0.9, 0.95, 1.0, 1.08, 1.1, 1.15, 1.18, 1.35, 1.5, 2.0, 4.0, 5.0, 8.0, 10.0, 12.0, 30.0, 45.0, 100.0, 135.0, 1000.0, 3600.0, 243, 972, 'CLIMB', 'CRUISE', 'FACTOR_DIMENSIONS', 'FactorDimension', 'HOVER_DWELL', 'InvalidRegion', 'MAX_BOUNDARY', 'MIN_BOUNDARY', 'NOMINAL', 'PAYLOAD_FACTORS', 'PHASE_ENERGY_FACTORS', 'PhaseFactor', 'RESERVE_FACTORS', 'RESIDUAL_EVIDENCE', 'ResidualEvidence', 'SENSITIVITY_CASES', 'SENSITIVITY_REPORT', 'SensitivityCase', 'SensitivityReport', 'SensitivityValidity', 'TemperatureFactor', 'WIND_FACTORS', 'aircraft_class', 'case id', 'case_id', 'class_configuration', 'condition', 'configuration', 'consequence', 'dhcp.sensitivity.v1', 'dimension', 'estimated_error_pct', 'factor name', 'model version', 'model_version', 'name', 'numeric_input', 'payload_fraction', 'payload_kg', 'phase', 'phase_energy_factor', 'phase_factor', 'projected_duration_s', 'projected_energy_wh', 'required_reserve_pct', 'reserve', 'reserve_factor', 'reserve_margin_pct', 'residual statement', 'sensitivity_cases', 'statement', 'status', 'temperature_c', 'temperature_factor', 'validity', 'wind_fraction', 'wind_mps']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/simulation/airspace_operations.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [-84.388, 0.0, 0.004, 0.006, 0.008, 0.02, 0.025, 0.035, 0.04, 0.041, 0.045, 0.062, 0.071, 0.5, 1.0, 30.0, 33.7488, 40.0, 45.0, 60.0, 65.0, 70.0, 75.0, 80.0, 85.0, 90.0, 93.0, 105.0, 111.0, 120.0, 'ADVISORY', 'ALTITUDE_SEPARATION', 'AVAILABLE', 'BIDIRECTIONAL', 'BUSY', 'CLINIC-APP', 'CLOSED', 'COR-', 'COR-01', 'COR-02', 'CORRIDOR_CAPACITY', 'CRITICAL', 'ELZ-APP', 'EMR-', 'EMR-01', 'EMR-ENTRY', 'HUB-E', 'HUB-N', 'INBOUND', 'MID-MERGE', 'NORTH-GATE', 'OPPOSING_TRAFFIC', 'OUTBOUND', 'RESEARCH-APP', 'RESTRICTED', 'RESTRICTED_ZONE', 'SATURATED', 'TEMPORAL_SEPARATION', 'TEMPORARY_HOLD', 'WARNING', 'value']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/communications/lease.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ []
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/simulation/flight_sequencing.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [0.0, 45.0, 75.0, 'ACTIVE', 'ARRIVAL', 'CLOSED', 'COMPLETED', 'CONFIRMED', 'CRITICAL', 'DELAYED', 'DEPARTURE', 'EMERGENCY', 'EXPEDITE', 'HELD', 'STANDARD']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/identity/authorization.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ ['admin', 'dispatcher', 'emergency_operator', 'flight_operator', 'pad_operator']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/domain/enums.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ ['ABORT', 'ABORTED', 'AIRBORNE', 'APPROACHING', 'AUTHORIZE_LANDING', 'AUTHORIZE_LAUNCH', 'AVAILABLE', 'AWAITING_LOAD', 'BEGIN_PREFLIGHT', 'COMPLETED', 'CONTINGENCY', 'CREATED', 'CRITICAL', 'DEGRADED', 'DELIVERED', 'EMERGENCY', 'EMERGENCY_LAND', 'EN_ROUTE', 'EXTRA_HEAVY', 'GROUNDED', 'HEAVY', 'INFO', 'LAND', 'LANDING', 'LANDING_AUTHORIZED', 'LARGE', 'LAUNCH', 'LAUNCH_AUTHORIZED', 'LOADED', 'MAINTENANCE', 'NORMAL', 'OFFLINE', 'PAD_READY', 'PARCEL', 'PREFLIGHT', 'QUARANTINED', 'RESERVE', 'RESERVED', 'RETIRED', 'RETURN', 'RETURNING', 'SIMULATION', 'TRAINING', 'VALIDATING', 'WARNING']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/simulation/session.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [-84.388, -1.0, 0.0, 1e-09, 1e-06, 0.0002, 0.0003, 0.004, 0.012, 0.014, 0.018, 0.025, 0.05, 0.06, 0.1, 0.11, 0.18, 0.2, 0.22, 0.25, 0.4, 0.45, 0.5, 0.55, 0.65, 0.7, 0.75, 0.78, 0.8, 0.95, 0.98, 1.0, 1.1, 1.2, 1.35, 1.5, 1.8, 2.0, 2.2, 2.5, 2.8, 3.0, 3.1, 3.6, 4.0, 5.0, 5.2, 5.5, 6.0, 7.1, 8.0, 8.4, 8.5, 10.0, 10.8, 11.0, 11.7, 12.0, 12.5, 13.4, 14.0, 16.0, 18.0, 22.0, 24.0, 30.0, 32.0, 33.7488, 35.0, 45.0, 65.0, 80.0, 90.0, 91.0, 95.0, 100.0, 105.0, 120.0, 150.0, 220.0, 280.0, 900.0, 1000.0, 750, 1000, 1200, 2000, 5000, 20000, '; ', 'ABCD', 'AIRSPACE', 'ALARM', 'AOG', 'APPROACHING', 'ASSURANCE', 'AirspaceZoneChanged', 'Alarm acknowledged', 'AlarmAcknowledged', 'BATTERY_DRAIN', 'BatteryReserved', 'CARGO', 'CARGO_UAS', 'CG-1007', 'CG-1008', 'CG-1009', 'COR-01', 'COR-02', 'CRG-01', 'CRITICAL', 'CTL-01', 'CargoStateChanged', 'Civic Center', 'DATABASE', 'DEGRADED', 'DISPATCH', 'DSP-2005', 'DSP-2006', 'DSP-2007', 'DeliveryConfirmed', 'DispatchAssigned', 'DispatchStateChanged', 'Documents', 'ENERGY', 'ESTIMATED', 'EVENT', 'EXPEDITE', 'Electronics parcel', 'EmergencyDeclared', 'FLIGHT_MODEL', 'FacilityStateChanged', 'FaultInjected', 'FlightDirectiveSet', 'FlightHoldEntered', 'FlightPhaseChanged', 'GNSS_DRIFT', 'GoAroundStarted', 'HUB', 'Hub Operations', 'HubRecoveryCompleted', 'INFO', 'INITIALIZE', 'Innovation District', 'LINK_DEGRADATION', 'LINK_LOSS', 'Laboratory sample', 'MAINTENANCE', 'MISSION', 'Medical supplies', 'Midtown', 'Midtown Block 4', 'NAVIGATION_DEGRADED', 'NONE', 'NORMAL', 'NORMAL_OPERATIONS', 'North Clinic', 'OUTSIDE_MODEL_RANGE', 'Operational hold', 'PAD', 'PAD-A', 'PadPhaseChanged', 'PersonnelAssigned', 'Pharmacy order', 'RECOVERY', 'REPLAY', 'RST-01', 'RUNTIME', 'Research Campus', 'River District', 'SCENARIO', 'SIMULATION', 'SITE', 'SITE-01', 'SITE-02', 'SITE-03', 'SITE-04', 'STANDARD', 'STEP', 'SYSTEM', 'Scenario activated', 'ScenarioActivated', 'ScenarioDraftCreated', 'Simulation Operator', 'Simulation reset', 'SimulationCreated', 'SimulationPaused', 'SimulationReset', 'SimulationSession', 'SimulationSnapshot', 'SimulationStarted', 'TELEMETRY_STALE', 'TRAFFIC', 'TURNAROUND', 'TurnaroundAdvanced', 'TurnaroundCompleted', 'TurnaroundCreated', 'UAS', 'UI', 'VALID', 'WARNING', 'West Industrial', 'West Service Yard', 'Work order started', 'WorkOrderCompleted', 'WorkOrderStarted', '_', '__qualname__', '__rng_state', '__self__', '_last_good_snapshot', '_next_checkpoint_id', '_observer_cache', '_replay_inputs', '_timeline_dropped', '_timeline_sequence', 'active', 'actor', 'aircraft', 'aircraft_callsign', 'aircraft_class', 'aircraft_profiles', 'aircraft_state', 'airframe_health', 'airspace_operations', 'airspace_zones', 'alarm_id', 'alarms', 'altitude_m', 'assigned_technician', 'audit_journal', 'batteries', 'battery_health', 'battery_id', 'battery_pct', 'callsign', 'capacity', 'cargo', 'cargo_id', 'checkpoint_id', 'checkpoints', 'classification', 'completed_elapsed_s', 'conflict_with', 'containment_event', 'corrective_action', 'database_path', 'delivered', 'delivery_sites', 'directive', 'dispatch_id', 'dispatches', 'dropped_history', 'elapsed_s', 'emergency', 'empty_mass_kg', 'eta', 'exception_type', 'facilities', 'facility_id', 'fault', 'finding', 'fleet_analytics', 'fleet_reliability', 'fleet_size', 'flight_cycles', 'flight_directive', 'flight_elapsed_s', 'flight_hours', 'flight_parameters', 'flight_route', 'flight_sequencing', 'flight_state', 'flight_validity', 'gnss_latitude_offset', 'grounded', 'heavy_transport', 'hold_reason', 'hub_flow_scheduler', 'hub_operations_data', 'hub_resilience', 'inspector', 'intent duration', 'intent_id', 'isVisible', 'items', 'labor_hours_estimate', 'latest_telemetry', 'latitude', 'launch_ready', 'link_quality', 'location', 'longitude', 'maintenance', 'mapping', 'maximum altitude', 'maximum_payload_kg', 'message', 'minimum altitude', 'mission payload', 'mission progress', 'mission_feasibility', 'mission_state', 'monotonic_ts', 'motor_health', 'name', 'next_id', 'next_phase', 'note', 'obstacle_clear', 'open_findings', 'opened_elapsed_s', 'operating_envelope', 'operation_intents', 'operational_mode', 'operational_picture', 'operations_data', 'outbound_progress', 'pad_id', 'pad_operations', 'payload_kg', 'persistence', 'persistence_report', 'person_id', 'personnel', 'phase', 'priority', 'progress', 'quarantined_reason', 'real_seconds', 'reason', 'recovery_operations', 'recovery_snapshot', 'released_to_service', 'replay', 'request_id', 'required_part', 'response', 'rng_state', 'route_distance_km', 'running', 'save_session', 'save_session_async', 'saved_entities', 'scenario', 'scenario_drafts', 'seed', 'sequence_number', 'severity', 'simulation speed', 'simulation_authority', 'simulation_snapshot', 'site_id', 'snapshot', 'snapshot_delivery', 'snapshot_dispatcher', 'spare_parts', 'speed', 'speed_mps', 'stage', 'stale_age_s', 'state', 'status', 'step', 'step_rollback', 'task', 'technician', 'telemetry_laboratory', 'telemetry_sequence', 'timeline', 'title', 'traffic', 'turnaround_id', 'turnarounds', 'units', 'weather', 'weather gust', 'weather temperature', 'weather wind', 'work_order_id', 'work_orders', 'zone_id']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/simulation/performance.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [-20.0, -10.0, -5.0, 0.0, 0.01, 0.0125, 0.025, 0.08, 0.1, 0.12, 0.18, 0.2, 0.25, 0.32, 0.38, 0.5, 0.55, 0.6, 0.65, 0.7, 1.0, 1.08, 1.35, 2.0, 2.3, 8.0, 10.0, 12.0, 12.7, 14.0, 15.0, 16.0, 18.0, 20.0, 25.0, 28.0, 30.0, 34.0, 35.0, 38.0, 40.0, 45.0, 60.0, 65.0, 70.0, 75.0, 90.0, 95.0, 100.0, 120.0, 175.0, 235.0, 350.0, 700.0, 1100.0, 1350.0, 1800.0, 3500.0, 3600.0, 3900.0, 3968.8, 15000.0, 25000.0, 60000.0, 240000.0, 600000.0, 'EDU-HEAVY-100KG', 'EDU-LARGE-30KG', 'FEASIBLE', 'INFEASIBLE', 'LOCAL-DELIVERY-5LB', 'MARGINAL', 'UNMANNED_CARGO_UAS', '_', 'available energy', 'battery percentage', 'battery_capacity_wh', 'cruise_speed_mps', 'current safe radius', 'empty_mass_kg', 'gust speed', 'hover_power_w', 'link quality', 'maximum temperature', 'maximum_payload_kg', 'maximum_wind_mps', 'minimum link quality', 'minimum temperature', 'minimum_link_quality', 'non-certified', 'payload', 'precipitation', 'projected energy', 'round-trip distance', 'route distance', 'temperature', 'wind speed']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/ui/data_catalog.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ ['Alarm Center', 'Audit Review', 'Command Overview', 'Fleet & Cargo UAS', 'Fleet Analytics', 'Hub Simulation Model', 'Launch-Pad Control', 'Maintenance Control', 'Scenario Editor', 'Simulation Control', 'Traffic Coordination', 'Weather Operations', 'active_alerts', 'airspace_operations', 'airspace_zones', 'alarms', 'analytics', 'audit_count', 'batteries', 'cargo', 'checkpoints', 'communications.links', 'delivery_sites', 'dispatches', 'elapsed_s', 'facilities', 'fleet_reliability', 'flight_executions', 'flight_sequencing', 'heavy_transport', 'hub_operations', 'hub_resilience', 'hub_schedule', 'maintenance', 'map_snapshot', 'mission_feasibility', 'model_evidence', 'operating_envelope', 'operation_intents', 'operational_picture', 'operational_records', 'pad_operations', 'persistence_report', 'personnel', 'recovery_operations', 'replay', 'replay_evidence', 'running', 'runtime_health', 'runtime_incidents', 'runtime_mode', 'scenario', 'scenario_drafts', 'speed', 'telemetry_samples', 'timeline', 'turnarounds', 'units', 'weather']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/simulation/scenarios.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [3.0, 15.0, 21.0, 'GNSS Interference', 'GNSS_INTERFERENCE', 'HOLIDAY_SURGE', 'MULTIPLE_EMERGENCIES', 'Multiple Emergencies', 'NORMAL_OPERATIONS', 'Normal Operations', 'PAD-C', 'PAD_CLOSURE', 'Pad Closure', 'THUNDERSTORM', 'Thunderstorm Cell']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/simulation/resilience.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [0.0, 0.2, 0.25, 0.35, 0.5, 0.75, 1.0, 2.0, 45.0, 100.0, 120.0, 180.0, 300.0, 600.0, 900.0, 100, 'ADVISORY', 'AIRWORTHINESS', 'AVAILABLE', 'BUSY', 'CLOSED', 'CRITICAL', 'DEGRADED', 'DISPATCH', 'FLEET', 'GROUNDED', 'LAUNCH', 'MAINTENANCE', 'PAD_AVAILABILITY', 'PAD_STAGING', 'PERSONNEL', 'RECOVERY', 'RESOURCE:', 'SAFETY', 'SATURATED', 'SERVICE_LEVEL', 'STAFFING', 'SUSPENDED', 'TRAINING', 'TURNAROUND', 'WEATHER']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/simulation/dispatch.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [0.0, 120.0, 'AIRCRAFT_STAGED', 'ASSIGNED', 'AVAILABLE', 'CANCELLED', 'CLOSED', 'COMPLETED', 'CONTROLLED', 'EMERGENCY', 'HOLD', 'LAUNCH_RELEASED', 'OPERATING_CORRIDOR', 'PAYLOAD_VERIFIED', 'PLANNED', 'PREFLIGHT_COMPLETE', 'READY', 'RELEASED', 'RESERVED', 'RESTRICTED', 'TEMPORARY_HOLD', 'TURNAROUND', 'VALIDATING']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/runtime.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [0.0, 0.05, 0.1, 1.0, 2.0, 30.0, 1000.0, -8000, 250, 'CANCELLED', 'CLOSED', 'DEGRADED', 'FAILED', 'HEALTHY', 'PENDING', 'RECOVERING', 'RUNNING', 'SHUTTING_DOWN', 'STOPPED', 'T', 'UNRESPONSIVE', 'authority_loop', 'dhcp-io', 'fn must be callable', 'process', 'shutdown_timeout', 'simulation_authority', 'simulation_tick', 'spawn', 'thread', 'tick']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/domain/models.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [0.0, 2.5, 12.7, 16.0, 100.0, ',', ':', 'event_id', 'event_type', 'occurred_at', 'payload', 'sim-policy-1']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/safety/kernel.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [-180.0, -90.0, 0.0, 0.35, 1.0, 2.3, 5.0, 12.0, 30.0, 35.0, 90.0, 100.0, 180.0, 200.0, 350.0, 10000.0, 'ACCEPTED', 'AIRCRAFT_MISMATCH', 'AIRCRAFT_STATE', 'BATTERY_RESERVE', 'INVALID_BATTERY', 'INVALID_PAYLOAD', 'INVALID_TELEMETRY', 'LINK_DEGRADED', 'PAYLOAD_LIMIT', 'SIMULATION_ONLY', 'TELEMETRY_STALE', 'altitude', 'battery', 'latitude', 'link quality', 'longitude', 'maximum payload', 'minimum link', 'numeric value', 'progress', 'speed']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/eta/engine.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [0.0, 0.1, 0.85, 1.25, 1000, 'deterministic-v1']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/audit/journal.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [b'\n', b'\r\n', '.tmp', '0', 'ab', 'event_id', 'event_type', 'occurred_at', 'payload', 'r+b', 'utf-8', 'wb', '|']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/persistence/__init__.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ ['PersistenceReport']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/ui/monitoring_audio_adapter.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [0.0, 0.008, 0.035, 0.07, 0.08, 0.09, 0.12, 0.13, 0.14, 1.0, 2.0, 440.0, 640.0, 660.0, 720.0, 960.0, 11500.0, 8000, 22050, 'AudioAdapterHealth', 'AudioAdapterStatus', 'CLOSED', 'DEGRADED', 'READY', 'UNAVAILABLE', 'h', 'little', 'none']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/mapping/__init__.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ ['GeoPoint', 'LayerKind', 'MapFeature', 'MapLayerState', 'MapSnapshot', 'MappingEngine']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/simulation/aircraft.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [-180.0, -90.0, -84.388, 0.0, 1e-09, 0.1, 0.9, 1.0, 2.0, 12.0, 22.0, 33.7488, 60.0, 90.0, 100.0, 180.0, 1000.0, 1500.0, 93000.0, 111000.0, 1000000.0, 'AIRBORNE', 'LANDING', 'NOT_CONFIGURED', 'RETURNING', 'VALID', 'aircraft battery', 'battery capacity', 'cruise altitude', 'cruise energy', 'cruise speed', 'energy multiplier', 'latitude', 'link quality', 'longitude', 'mission progress', 'now', 'seconds']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/simulation/heavy_transport.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [0.0, 0.25, 0.3, 1.0, 2.0, 3.6, 5.0, 10.0, 60.0, 90.0, 100.0, 200.0, 1000.0, 1440.0, 3600.0, 10000.0, 1000000000.0, 'ENERGY_CRITICAL', 'INVALID_DATA', 'LINK_DEGRADED', 'MARGINAL', 'NOMINAL', 'OVER_LIMIT', 'TELEMETRY_STALE', 'WIND_LIMITED', 'aircraft_profiles', 'altitude', 'battery_pct', 'elapsed_s', 'empty_mass_kg', 'get', 'latest', 'link', 'max_payload_kg', 'payload_kg', 'speed', 'stale_age_s', 'units', 'weather', 'wind_mps']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/ui/__init__.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ []
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/domain/state_machines.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ []
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/simulation/turnaround.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [0.0, 5.0, 7.0, 23.0, 24.0, 45.0, 80.0, 90.0, 96.0, 98.0, 99.0, 'AVAILABLE', 'BATTERY_EXCHANGE', 'CARGO_LOAD', 'CHARGING', 'CLEANING', 'COMPLETE', 'COOLING', 'HOLD', 'INSTALLED', 'PAD_STAGING', 'PAYLOAD_UNLOAD', 'QUARANTINED', 'RECOVERED', 'RELEASE_READY', 'RESERVED', 'RETIRED', 'SAFETY_INSPECTION', 'TECHNICAL_INSPECTION', 'invalid resume phase']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/simulation/recovery_operations.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [0.0, 0.05, 1.0, 8.0, 12.0, 14.0, 20.0, 60.0, 90.0, 100.0, 120.0, 1000.0, 2000.0, 'ALT-01', 'ALTERNATE_SITE', 'APPROACHING', 'CLOSED', 'COR-01', 'DIVERTED', 'EMERGENCY_ZONE', 'EMR-01', 'HELD', 'HOLDING', 'HUB_RECOVERY', 'LANDED', 'MAINTENANCE', 'OPEN', 'PLANNED', 'SEQUENCED', 'alternate_selected', 'flight_state']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/__init__.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ ['2.9.0-sim']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/simulation/traffic.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [0.0, 3.0, 10.0, 'ACTIVE', 'CANCELLED', 'COMPLETED', 'CONFLICT', 'CONTROLLED_TRIAL', 'COR-01', 'COR-02', 'EXPANDED_SERVICE', 'LAB', 'LIMITED_SERVICE', 'PROPOSED', 'RESERVED', 'maximum altitude', 'minimum altitude', 'operation end', 'operation start']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/simulation/postflight_operations.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [0.6, 20.0, 'ATTENTION', 'AWAITING_RECOVERY', 'BLOCKED', 'CLEAR', 'CRITICAL', 'GROUNDED', 'IN_PROCESS', 'NONE', 'PENDING', 'READY', 'RECOVERY', 'TECHNICAL', 'TURNAROUND_REQUIRED', 'WARNING']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/simulation/reliability.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [0.0, 0.5, 2.0, 5.0, 8.0, 25.0, 100.0, 'CRITICAL', 'HIGH', 'LOW', 'MODERATE']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/mapping/providers/maptiler.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ ['dataviz-dark', 'maptiler']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/simulation/live_operations.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [0.0, 1.0, 5.0, 12.0, 100.0, 20000, 'AVAILABLE', 'BUSY', 'CARGO', 'CHARGING', 'DELIVERED', 'ENERGY', 'FACILITY', 'FLEET', 'HEAVY_TRANSPORT', 'LIMITING', 'NOMINAL', 'OPERATIONAL', 'PERSONNEL', 'QUARANTINED', 'RETIRED', 'RETURNED', 'WEATHER', 'WXR-01', 'Wh', '_records', 'altitude', 'availability', 'battery', 'boolean', 'degC', 'dropped_records', 'energy_remaining', 'estimated_endurance', 'estimated_gross_mass', 'estimated_power', 'gross_mass_margin', 'gust', 'health', 'kW', 'kg', 'km', 'link_quality', 'm', 'm/s', 'min', 'mission_progress', 'occupancy', 'payload_utilization', 'percent', 'positions', 's', 'speed', 'state_of_charge', 'state_of_health', 'telemetry_freshness', 'temperature', 'utilization', 'visibility', 'weight', 'wind', 'wind_margin']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/simulation/reference_scenarios.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [-100.0, -20.0, -10.0, -5.0, 0.0, 0.001, 0.01, 0.0125, 0.16, 0.18, 0.2, 0.25, 0.3, 0.35, 0.65, 1.0, 1.08, 1.15, 1.35, 1.5, 2.0, 2.185, 2.4, 2.8, 3.0, 3.6, 4.0, 4.2, 4.8, 5.0, 5.4, 5.6, 6.0, 6.3, 7.0, 7.2, 8.4, 10.0, 10.8, 12.0, 12.6, 14.0, 15.0, 20.0, 28.5, 30.0, 32.275, 38.0, 39.429, 39.666, 40.0, 40.208, 43.782, 45.0, 45.549, 46.19, 49.128, 50.0, 60.0, 61.453, 62.528, 62.731, 64.712, 65.615, 66.545, 66.634, 68.632, 68.906, 69.898, 77.433, 77.95, 95.0, 100.0, 175.0, 304.658, 332.5, 419.722, 423.466, 450.442, 464.167, 464.193, 474.125, 480.714, 510.0, 515.718, 520.385, 529.45, 536.032, 550.661, 579.362, 591.604, 603.739, 604.137, 630.256, 653.994, 684.465, 1000.0, 1400.513, 2018.991, 2135.628, 2161.05, 2394.553, 3600.0, 9317.25, 14054.529, 14947.92, 15142.64, 16931.175, 52920.0, 72245.84, 74626.083, 80291.311, 89932.135, 'CALM', 'EnvironmentCase', 'NEAR_LIMIT_PAYLOAD', 'NEAR_WIND_LIMIT', 'NO-PAYLOAD-CALM', 'NOMINAL_PAYLOAD', 'NOMINAL_WIND', 'NO_PAYLOAD', 'PayloadCase', 'REFERENCE_BASIS', 'REFERENCE_SCENARIOS', 'ReferenceOutcome', 'ReferenceResidual', 'ReferenceScenario', 'ScenarioTolerance', 'ScenarioVerification', 'aircraft_class', 'battery', 'battery health', 'battery_health_pct', 'battery_pct', 'configuration', 'corpus version', 'corpus_version', 'distance', 'distance_km', 'duration', 'duration_s', 'energy', 'energy_wh', 'environment_case', 'gust', 'gust_mps', 'model version', 'model_version', 'payload', 'payload_case', 'payload_kg', 'profile id', 'profile_id', 'reference basis', 'reference_basis', 'reference_scenarios', 'reserve', 'reserve_pct', 'route distance', 'route_distance_km', 'scenario id', 'scenario_id', 'simulation-only', 'status', 'temperature', 'temperature_c', 'vendor-independent', 'wind', 'wind_mps']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/simulation/hub.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [0.0, 1.0, 4.0, 5.0, 6.5, 12.0, 16.0, 22.0, 150.0, 1400.0, 'A. Morgan', 'ABCD', 'ACTIVE', 'Access monitoring', 'BAT-01', 'BATTERY', 'Battery Vault', 'CARGO', 'CHARGING', 'CHG-01', 'CLOSED', 'CRG-01', 'Cargo Processing', 'Charging Bank', 'D. Chen', 'DEGRADED', 'DISPATCHER', 'Dispatch sequencing', 'ELZ-01', 'EMERGENCY_ZONE', 'FLIGHT_SUPERVISOR', 'Fleet watch', 'J. Rivera', 'K. Brooks', 'LAUNCH_PAD', 'LOAD_CREW', 'Launch Pad B', 'M. Young', 'MAINTENANCE', 'MNT-01', 'Maintenance Hangar', 'Monitoring', 'OPERATIONS', 'OPERATOR', 'OPS-01', 'Operations Center', 'P-001', 'P-002', 'P-003', 'P-004', 'P-005', 'P-006', 'P-007', 'Payload preparation', 'R. Lewis', 'READY', 'RF Tower', 'RF-01', 'RF_TOWER', 'Risk review', 'S. Patel', 'SAFETY_OFFICER', 'SECURITY', 'SIM-105 inspection', 'Security Gate', 'WEATHER', 'WXR-01', 'Weather Station']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/core/clock.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [0.0]
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/core/numeric.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ []
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/emergencies/engine.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [0.15, 'CRITICAL_BATTERY', 'LINK_LOSS', 'LOW_BATTERY']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/simulation/intelligence.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [0.0, 1.0, 100.0, 2000, 7200, 'ADVISORY', 'CRITICAL', 'DELIVERED', 'HUB', 'INFO', 'IN_TRANSIT', 'LIVE', 'PAUSED', 'PLAYING', 'RESOLVED', 'SERVICEABLE', 'Simulation Operator', 'WARNING', 'aircraft_callsign', 'value']
@@ -0,0 +1,4 @@
1
+ # file: /home/runner/work/dhcp-simulator/dhcp-simulator/src/dhcp/persistence/sqlite_repository.py
2
+ # hypothesis_version: 6.163.0
3
+
4
+ [0.025, 0.25, 1.0, ',', ':', 'BEGIN IMMEDIATE', 'CHECKPOINT', 'CURRENT', 'CURRENT_SNAPSHOT', 'DRONE-HUB-ALPHA', 'T', 'absolute_tolerance', 'aircraft', 'aircraft_class', 'altitude_m', 'battery', 'battery_id', 'busy', 'calibration', 'callsign', 'cargo', 'cargo_id', 'checkpoint_id', 'configuration', 'count', 'derivation', 'derived_value', 'dispatch', 'dispatch_id', 'dropped_input_count', 'elapsed_s', 'entity_type', 'evidence_id', 'evidence_source', 'facility', 'facility_id', 'fault', 'hex', 'input_count', 'last_input_sequence', 'latitude', 'link_quality', 'locked', 'longitude', 'maintenance', 'mission', 'model_version', 'name', 'pad', 'pad_id', 'parameter_id', 'payload_json', 'person_id', 'personnel', 'position', 'prefix_chain_sha256', 'relative_tolerance', 'release_version', 'replay_sha256', 'retained_input_count', 'scenario', 'scenario_draft', 'schema_version', 'scope_notice', 'seed', 'session_id', 'source_access_date', 'source_id', 'source_value', 'state_sha256', 'status', 'turnaround', 'turnaround_id', 'uncertainty_lower', 'uncertainty_upper', 'units', 'valid_range_lower', 'valid_range_upper']