M4 — Shortlist (selector output)
Governs (kit surface):
ShortlistIdbound toCG‑FrameContext- a selected set of candidates plus rationale and SCR-addressable audit references required by G.5 (
SCRIdrequired;DRRIdoptional; citePathId/PathSliceIdwhen applicable). Add assurance records only when an actual named assurance claim is current. - 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.