fix: simulator audit remediation - #40

Merged

Monotox merged 12 commits into

mainfrom

fix/simulator-audit-remediation

Jul 28, 2026

Commits on Jul 28, 2026

fix: keep missing and unverifiable evidence out of the GO verdict
Monotox
committed
bf944bb
fix: correct energy figures that were optimistic by construction
Monotox
committed
7245c9a
fix: assess the ground-risk footprint SORA actually requires
Monotox
committed
ade931c
perf: build one metric frame per route segment, not per obstacle
Monotox
committed
76e8510
fix: stop GPS accuracy from driving dead-reckoning drift
Monotox
committed
5103cbf
fix: repair the airspace and weather fetchers and their licence notices
Monotox
committed
9bf1bf2
build: gate types in CI and cap dependency majors
Monotox
committed
1c54bfa
docs: bring the documentation back in line with the code
Monotox
committed
ef6fe60
fix: close the gaps a fresh review found in the audit remediation
Monotox
committed
4fff0e1
fix: close the second round of review findings
Monotox
committed
168798d
fix: guard untrusted documents and explain refused migrations
Monotox
committed
3baf295
build: pin the type checker and fix two extras-only CI failures
Monotox
committed
157885b