Full overview

Applicability diagnostics at a glance

This is the public reading view: understandable first, technically expandable below. S1–S7 are explicitly shown as a separate pattern library, not as part of the P1–P3 verdict chain. Loss of Applicability has two current triggers, LoA-T and LoA-K.

P9 · Functional Incompleteness Argument (FIA). It identifies three kinds of information that must be recoverable and cannot substitute for one another in a complete, auditable applicability diagnosis: requirements, transition warrants, and token satisfaction. P1 → P2 → P3 is one concrete realisation of this Applicability-Diagnostic Function. P9 remains the separate necessity and pattern anchor, not a fourth verdict layer.