C.2.2:2 - Problem
FPF needs a reliability coordinate that is:
- Auditable. A reader can trace the supported conclusion to its formal or empirical basis and see the effect of actual reuse limitations.
- Composable. Support can be combined under its warranted meanings and dependencies without illegal scale arithmetic; where no aggregate is justified, the separate contributions remain usable.
- Orthogonal. R is not conflated with F (expression) or G (scope).
- Relation-aware. Any loss declared by an actual scope-translation, kind, plane, notation, source-local, model-use, or evidence-reuse relation is explicit and affects R only.
- Minimal. The solution does not introduce new core types or new face-kinds.