FPF Reference

Change Log (normative migration record)

Preface node heading:change-log-normative-migration-record:60650

Content

  • A.2.6 introduced. Defines U.ContextSlice, U.Scope, U.ClaimScope (G), U.WorkScope; sets algebra and guard patterns.
  • Deprecated labels. “applicability / envelope / generality / capability envelope / validity” as characteristic names.
  • Edits required. C.2.2 (G = Claim scope), A.2.2 (Work scope for capabilities), Part B (CL→R note), Part E (Lexicon updates), ESG/Method–Work guard templates (ScopeCoverage + Γ_time).
  • No change. C.2.3 (F) unchanged; its examples updated only for wording consistency.