coverage-white-space-search

Purpose

Map known methods against a problem space and generate candidates from uncovered intersections.

Input contract

required: [reference_items, coverage_dimensions]
optional: [performance_records, eligibility_rules]
constraints: [reference items and dimension values must be identifiable]

Execution protocol

Do not perform called SOP operations inline; each loaded SOP owns its contract and thresholds.

1. You MUST load skill inventory-reference-items to inventory references.
2. You MUST load skill map-coverage-space to map coverage.
3. You MUST load skill detect-coverage-gap to detect uncovered regions.
4. You MUST load skill synthesize-idea to synthesize candidates. If a candidate gap is ready to become a testable explanation, consider formulate-hypotheses. If the gap itself still requires evidence validation, consider validate-research-gap. Deviation: acquisition is runtime-selected; do not infer coverage from missing records.

Output contract

produces: [reference_inventory, coverage_map, white_space_gaps, candidate_ideas]
delta_fields: [findings, evidence_updates, hypothesis_updates, decisions, open_questions]

Thresholds and quality gates

• B: every reported gap is an explicit uncovered intersection over the declared dimensions; duplicate or ineligible regions are excluded.

Failure and counterexamples

Do not label a region white space when it is merely unsearched, incomparable, or outside the declared universe.

Provenance map

• systematic-enumeration, benchmark-sweep, coverage-analysis, white-space-identification, benchmark-inventory, coverage-gap-detection, white-space-detection: resolved/concept by exact lookup.
• Status: all except benchmark-inventory resolved; benchmark-inventory concept (only package-prefixed variant found).

Preserved source criteria ledger

• Preserve inventory -> coverage crossing -> gap detection -> candidate synthesis.

Context checkpoint / Delta notes

Append inventory additions, occupied cells, gap definitions, exclusions, and generated candidates.