Typed services guard and fallback paths

This diagram summarizes how checker-backed paths are entered, guarded, and degraded safely when full services are unavailable.

Notes

• The current helper returns null instead of throwing when services are missing.
• immutable-data and readonly-array are the main rules that benefit from this path today.
• This model should remain aligned with developer/typed-paths inventory updates.

Related docs

• Typed service path inventory
• Typed rule semantic analysis flow
• Type-aware linting readiness guide