Research Documentation

This section contains research-oriented documentation for Manifesto components, intended for academic researchers, computational linguists, and formal methods practitioners.

Available Research Documents

No active research documents at this time. Previous Intent IR research has been moved out of the core monorepo.

Document Types

Research documentation is organized into three categories:

Document Type	Purpose	Audience
Theory	Theoretical foundations and linguistic basis	Linguists, NLP researchers
Comparison	Analysis against related formalisms	Semantic representation researchers
Formal	Mathematical definitions and proofs	Type theorists, verification engineers

Normative Hierarchy

Research documents are INFORMATIVE and supplement the normative specifications:

SPEC (Normative - highest authority)
  ↓
FDR (Normative - design rationale)
  ↓
Research (Informative - academic depth)
  ↓
README (Informative - quick reference)

When research documents and SPEC documents conflict, SPEC takes precedence.