---
name: lean-research-types
description: REDIRECT — the typed research protocols (M/T/L/S/D/X/E) previously hosted here have been folded into `lean-research` Part 9. This stub preserves the slug for Ctrl-F discoverability and incoming cross-references (per the zero-deletions Chesterton protocol).
tier: "warm"
---

# 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`](../lean-research/SKILL.md) Part 9.1 + 9.2 |
| Parts 2–8 protocol headlines | [`lean-research`](../lean-research/SKILL.md) Part 9.2 (one row per type) |
| Per-type output templates | [`references/research-output-templates.md`](../../references/research-output-templates.md) |
| Part 10 Queue Management | [`references/research-queue.md`](../../references/research-queue.md) |
| Part 3.3 Theorem-search loop | [`references/theorem-search.md`](../../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).