M3 — VariantPool (candidate inventory + emitter trace)
Governs (kit surface):
VariantPoolIdbound toCG‑FrameContext- per‑candidate minimal traceability fields (emitter identity,
EmitterPolicyRef(policy‑id/ref; defined by the governing pattern), method/generator refs when declared, edition pins, provenance anchors) - optional, per‑candidate assurance preview pointers (e.g.,
PathSliceId?and/orSCRId?when early assurance is recorded) and optional QD/Open‑Ended scaffolding stubs (only when introduced by explicitGPatternExtensionblocks)
Guardrails (via G.Core):
- tri‑state eligibility handling, penalties routing, crossing visibility, and set‑return constraints are not defined here; they are enforced via
G.Coreconformance.
Governing pattern for method payload: method‑specific emitter semantics remain in their governing definitions, cited through Extensions (e.g., the relevant C.17, C.18, and C.19 definitions).
M3 MUST remain method‑agnostic in its core definition: it is an inventory surface, not an algorithm spec.