Research Log - 2026-05-03 - Core SBAS Claim Routing Skip FAA

Scope

This log records the ten-cycle core SBAS solidification pass requested on 2026-05-03.

User constraints:

  • Documentation quality must be institutional grade.
  • Overlapping knowledge is forbidden.
  • Claims must be validated/authenticated against original or authoritative sources.
  • The pass should prioritize core SBAS knowledge.
  • Long reference-website expansion should be skipped.
  • FAA-specific extraction should be skipped.

Source posture

No new long reference-website expansion was performed in this pass. The work used existing source anchors and source-family routing already present in the vault, especially:

Existing FAA-related notes were not deleted because they are part of the historical source-routing graph, but this cycle did not deepen FAA TSO, procedure-design, NFDC, WAAS, or other FAA-specific extraction.

Core routing added

Created SBAS Core Claim Routing as the institutional routing note for core concept claims.

The note separates the following claim families:

Claim familyOwner noteBoundary
Definition and beginner orientationWhat is SBASHigh-level explanation only
ArchitectureSBAS Architecture / SBAS Architecture FlowSystem chain only; no detailed standards values
Signal/message flowSBAS Signal and Message FlowFlow explanation only; no message-number or bit-field claims
Correction versus integritySBAS Corrections and Integrity SeparationAccuracy support is not operational safety approval
Ground/airborne responsibilitySBAS Ground Segment and Airborne Receiver ResponsibilitiesService, receiver, procedure, aircraft, and operator layers remain separate
Integrity/protection/alertingSBAS Integrity, Protection Levels, Alert LimitsRelationships only; no unsupported numerical thresholds
Operational validationSBAS Operational Validation DashboardEscalation path only; not original evidence

Core notes created

Existing core notes hardened

Non-overlap rules established

  • Core concept notes explain relationships; they do not own detailed standards text.
  • Standards source notes own evidence provenance and source-family boundaries.
  • Service-provider notes own provider-specific identity and bounded service/development signals.
  • The operational validation dashboard owns the escalation ladder from service-provider evidence to regulator, ANSP, AIP, procedure, aircraft, and operator evidence.
  • Numerical alerting, protection-level, message, and operational values remain blocked until direct primary-source extraction supports them.

Deferred work

  • Direct Annex 10 extraction remains the highest-value core standards task.
  • Direct DO-229 extraction remains required before receiver/message/protection-level details can be published as verified requirements.
  • Direct Doc 9849 extraction remains required before state-implementation guidance can be treated as fully verified.
  • Non-FAA operational validation can proceed for EGNOS, GAGAN, MSAS, KASS, BDSBAS, SouthPAN, and SDCM where official regulator/AIP/service-performance sources are available.

See also