F.15:13.2 - Service availability across service and observation schemes
The slice contains one service-management status value/use and one uptime-observation claim under different effective schemes, plus exact cells only for the naming use that addresses them.
F.15 result:
- SCR-F15-S14 requires F.10 for the status family/value, target, scope, window, source condition, and intended use, or the exact defining or testing rule for the current status claim.
- A named cross-local comparison must pass SCR-F15-S12 and S13; the row or shared
availabilitylabel does not create the Bridge. - Observation evidence and A.10 reliance are not the status value, comparison result, assurance claim, or F.15 result.
- Use B.3 only when an actual named assurance claim is current. If a direct rule requires that claim for this use, recover it first; materiality or slice membership alone establishes no assurance claim.