E.4.DPF.DA:4.5 - Local result status and receiving-use boundary
DPFPackageAdequacyStatus is a local admissible-use claim carried by the aggregate result episteme. It reports the package-adequacy evaluation result for the declared scope. A receiving process may use it for an F.10 status use, E.19 admission or refresh decision, assurance, publication, work authorization, or improvement Work only through that use’s own exact relation and decision rule.
| Status | Meaning |
|---|---|
admissibleForDeclaredDPFUse | All coordinates meet the declared floor for the stated DPF use, and the result names the next usable action, stop or repair, and reopen condition. |
repairBeforeDPFUse | One or more coordinates are below floor for the stated use. |
seedOnly | The package is useful as a seed or prompt output but not for reliance-bearing use. |
holdForPFADDecision | The package architecture, pattern set, dependency, or publication unit needs a framework architecture decision. |
holdForCoreAmendmentDecision | A package claim may belong in FPF Core and must not be hidden inside a DPF. |
refreshNeeded | The package was adequate before, but a source, relied-on framework edition, local use, telemetry, or dependency state has changed, or a relied-on Core claim has changed materially. |