research-exhaustiveness

Reasonably exhaustive research is determined by applying the 7-point stop criteria from GPS Step 1 to a question's search log and assertions. This Skill delegates that evaluation to an agent that declares the question exhaustive or records what is still missing.

GPS Step 1 requires reasonably exhaustive research before drawing conclusions. It means searching a wide enough range of quality sources that the answer is unlikely to be overturned by new evidence, assessed here through a structured 7-point criteria gate.

No. Direct writes of exhaustive_declaration with declared: true are denied; the declaration is routed to the research-exhaustiveness agent, which owns the preconditions and the write. The skill only relays the agent's outcome.

The agent declines and names the blocker, such as a plan item still in progress or an unclassified assertion. The skill relays that outcome and recommends the owning skill, like research-plan or record-extraction, rather than clearing the blocker itself.

Do not use it to pick the next research question (use question-selection), to plan more searches for an open question (use research-plan), or to write the proof conclusion (use proof-conclusion). It only evaluates exhaustiveness for one question per invocation.