SK-38: Typed Research Protocols (REDIRECT)
This skill no longer hosts its own protocols. Its content has been consolidated as follows so the dispatch matrix lives next to the research methodology it specialises:
| Old section | New home |
|---|---|
| Part 1 Classification + Part 9 Dispatch Matrix | lean-research Part 9.1 + 9.2 |
| Parts 2–8 protocol headlines | lean-research Part 9.2 (one row per type) |
| Per-type output templates | references/research-output-templates.md |
| Part 10 Queue Management | references/research-queue.md |
| Part 3.3 Theorem-search loop | references/theorem-search.md (existing) |
Existing inbound links to "SK-38 / lean-research-types / typed
research protocols" should resolve here and then follow the table
above. Do not add new content to this file — author it in
lean-research Part 9 or the linked references instead.
See also: lean-research (full methodology), lean-proof-review
(Type T dispatch target), lean-enforcement (Type S dispatch target),
lean-specification (Type D dispatch target), epistemic-mapping
(Type E primary), research-council (multi-type fan-out).