M4 — Shortlist (selector/assurer output)
Preface node
heading:m4-shortlist-selector-assurer-output:79397
What this page is
This is generated FPF reference text from the specification preface or supporting sections. It helps interpret FPF; it is not FPF Reference product documentation.
Methodology
Use it to understand how the specification wants to be read, then return to a route, pattern, or work packet for active work. Cite generated IDs only when the wording changes the task decision.
Content
Governs (kit surface):
ShortlistIdbound toCG‑FrameContext- a selected set of candidates plus rationale and assurance records (
SCRIdrequired;DRRIdoptional; citePathId/PathSliceIdwhen applicable) - optional front metadata or archive metadata needed for reproducibility when used: ε‑front parameters and/or archive snapshot hooks, with governing-definition assignment through
G.5/C.18/C.19(no local semantics inG.1)
Governing pattern: selection/dispatch semantics are governed by G.5.
M4 MUST preserve set‑return semantics (as governed by G.Core) and MUST NOT hard‑code a forced singleton outcome.
Last Updated: 2026-06-17 — upstream FPF commit 646b0b9b (github.com/ailev/FPF)