M4 — Shortlist (selector/assurer output)

Preface node heading:m4-shortlist-selector-assurer-output:76986

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):

  • ShortlistId bound to CG‑FrameContext
  • a selected set of candidates plus rationale and assurance records (SCRId required; DRRId optional; cite PathId/PathSliceId when 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 in G.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-08 — upstream FPF commit 093d30e8 (github.com/ailev/FPF)