Skip to content

Gate live advert locations on actual GPS providers - #18

Merged
n30nex merged 1 commit into
mainfrom
codex/full-build-audit-followup2-20260823
Aug 23, 2026
Merged

Gate live advert locations on actual GPS providers#18
n30nex merged 1 commit into
mainfrom
codex/full-build-audit-followup2-20260823

Conversation

@n30nex

@n30nex n30nex commented Aug 23, 2026

Copy link
Copy Markdown
Owner

What changed

  • decide live-location sharing from the actual runtime GPS provider, not only ENV_INCLUDE_GPS
  • preserve saved-coordinate adverts on hardware without a provider
  • keep custom provider boards working even when their build does not define the GPS macro
  • extend the static contract verifier for the provider-aware behavior

Why

The earlier compile-time-only gate could suppress valid custom GPS providers or leave GPS-less devices configured for an invalid live location. Runtime provider detection is the smallest correct cross-board policy.

Validation

  • repository static verifier passed
  • git diff --check passed
  • exact PR-head firmware CI required before merge

@qodo-code-review

Copy link
Copy Markdown

Qodo reviews are paused for this user.

Troubleshooting steps vary by plan Learn more →

On a Teams plan?
Reviews resume once this user has a paid seat and their Git account is linked in Qodo.
Link Git account →

Using GitHub Enterprise Server, GitLab Self-Managed, or Bitbucket Data Center?
These require an Enterprise plan - Contact us
Contact us →

@n30nex
n30nex merged commit 1290c7e into main Aug 23, 2026
7 checks passed
@n30nex
n30nex deleted the codex/full-build-audit-followup2-20260823 branch August 23, 2026 03:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant