# Invar Proposals Index

> **Last Updated:** 2026-03-14
> **Current Direction:** [DX-91: Simplification](./DX-91-simplification.md) — Python-only, guard-first architecture

This directory contains design proposals for Invar development.

## Naming Convention

- `DX-XX-name.md` — Developer Experience improvements
- `LX-XX-name.md` — Language eXtension (historically TypeScript/multi-language; now deferred)
- Completed/archived proposals in `completed/` subdirectory

---

## Strategic Direction: DX-91 Simplification

**[DX-91: Invar Simplification](./DX-91-simplification.md)** defines the current architectural direction:

| Aspect | Pre-DX-91 | Post-DX-91 |
|--------|-----------|------------|
| **Scope** | Python + TypeScript + Multi-agent | Python-only |
| **Workflow** | USBV four-phase with ceremony | Guard-enforced, minimal ceremony |
| **Agent Support** | Claude Code-specific (skills, hooks) | Agent-agnostic (MCP + contracts) |
| **Instruction Surface** | ~200 lines in CLAUDE.md + skills + hooks | ~50 lines in CLAUDE.md + INVAR.md |
| **Core Value** | guard, sig, map, refs, Core/Shell, @pre/@post | Same core, less baggage |

### Related DX-91 Documents

| Document | Purpose |
|----------|---------|
| [DX-91-simplification.md](./DX-91-simplification.md) | Main proposal — what to keep/remove |
| [DX-91-invar-md-draft.md](./DX-91-invar-md-draft.md) | Draft INVAR.md structure |
| [DX-91-claude-md-draft.md](./DX-91-claude-md-draft.md) | Draft CLAUDE.md content |
| [DX-91-migration-semantics.md](./DX-91-migration-semantics.md) | v1 → v2 migration behavior |
| [DX-91-generated-file-contracts.md](./DX-91-generated-file-contracts.md) | Contract for init-generated files |
| [DX-91-freeze-spec-baseline.md](./DX-91-freeze-spec-baseline.md) | Pre-implementation spec freeze |

---

## Open Proposals (14)

> **Counting Basis:** Table rows below. Excludes index.md, completed/ directory, and DX-91-* supporting documents listed under "Related DX-91 Documents".

### Active Implementation (6)

| ID | Name | Status | Description |
|----|------|--------|-------------|
| DX-91 | [invar-simplification](DX-91-simplification.md) | **Active** | Python-only, guard-first architecture with minimal agent instruction surface |
| DX-93 | [mcp-entry-point-policy](DX-93-mcp-entry-point-policy.md) | Draft | MCP-specific entry point thickness calibration (35 vs 15 lines) |
| DX-87 | [remove-multi-agent-init](DX-87-remove-multi-agent-init.md) | Draft | Remove multi-agent init support (single-agent only) |
| DX-84 | [security-review-backlog](DX-84-security-review-backlog.md) | **Active** | Security review backlog for Python Guard |
| DX-80 | [guard-cli-mcp-alignment](DX-80-guard-cli-mcp-alignment.md) | Draft | Align Guard CLI default behavior with MCP |
| DX-61 | [implementation-design](DX-61-implementation-design.md) | Draft | Implementation design patterns |

**Status Rollup:** Active: 2 | Draft: 4 | **Total: 6**

### Deferred / Future (8)

| ID | Name | Status | Description |
|----|------|--------|-------------|
| DX-94 | [mcp-full-guard-support-model](DX-94-mcp-full-guard-support-model.md) | Deferred | Full-scan model for MCP timeout-safe `invar_guard(changed=false)` |
| DX-83 | [multi-agent-subagent-support](DX-83-multi-agent-subagent-support.md) | Deferred | Subagent support (superseded by DX-91 simplification) |
| DX-68 | [agent-behavior-optimization](DX-68-agent-behavior-optimization.md) | Deferred | Agent reading reliability improvements |
| DX-62 | [proactive-reference-reading](DX-62-proactive-reference-reading.md) | Partial | Task Router (Layer 1) done, Layers 2-4 pending |
| DX-61 | [functional-pattern-guidance](DX-61-functional-pattern-guidance.md) | Deferred | Teach agents functional patterns |
| DX-60 | [structured-rules-ssot](DX-60-structured-rules-ssot.md) | Deferred | Optimize rule token usage |
| DX-38 | [contract-quality-rules](DX-38-contract-quality-rules.md) | Partial | Tier 1-2 done, Tier 3-4 deferred |
| DX-29 | [pure-content-detection](DX-29-pure-content-detection.md) | Deferred | Pure content detection marker |
| DX-25 | [functional-patterns](DX-25-functional-patterns.md) | Deferred | Functional patterns enhancement |

**Status Rollup:** Deferred: 7 | Partial: 2 | **Total: 8**

### Legacy / Pre-DX-91 (10)

> These proposals describe features removed or superseded by DX-91.
> They remain in the index for historical reference but do not describe current behavior.

| ID | Name | Status | Notes |
|----|------|--------|-------|
| DX-85 | [opencode-support](DX-85-opencode-support.md) | Superseded | Native OpenCode init — see DX-91 for simplified approach |
| DX-79 | [invar-usage-feedback](DX-79-invar-usage-feedback.md) | Removed | Feedback collection removed per DX-91 |
| LX-13 | [typescript-runtime-optimization](LX-13-typescript-runtime-optimization.md) | **Removed** | TypeScript support removed per DX-91 |
| LX-09 | [legacy-onboarding](LX-09-legacy-onboarding.md) | **Removed** | Onboarding system removed per DX-91 |
| LX-08 | [extension-skills-future](LX-08-extension-skills-future.md) | **Removed** | Skills system removed per DX-91 |
| LX-17 | [haskell-elm-feasibility](LX-17-haskell-elm-feasibility.md) | Deferred | Multi-language exploration on hold |
| LX-17 | [implementation-matrix](LX-17-implementation-matrix.md) | Deferred | Implementation matrix |
| LX-17 | [summary](LX-17-summary.md) | Deferred | Go & Rust feasibility summary |
| LX-16 | [typescript-guard-remaining-gap](LX-16-typescript-guard-remaining-gap.md) | **Removed** | TypeScript Guard removed per DX-91 |
| LX-11 | [cursor-support](LX-11-cursor-support.md) | Deferred | IDE expansion on hold |
| LX-01 | [multi-language-feasibility](LX-01-multi-language-feasibility.md) | Deferred | Multi-language exploration on hold |

**Status Rollup:** Superseded: 1 | Removed: 5 | Deferred: 4 | **Total: 10**

---

## Archived Proposals (completed/)

> All completed proposals have been moved to `completed/` directory.

See `completed/` directory for detailed implementation notes. Key archived milestones:

- **v1.15.0**: Multi-agent init support (DX-81) — _superseded by DX-91_
- **v1.12.0**: MCP protocol sync (DX-78)
- **v1.11.0**: TypeScript Guard parity (LX-15) — _removed per DX-91_
- **v1.9.0**: Extension skills architecture (LX-07) — _removed per DX-91_
- **v1.7.0**: Pi agent support (LX-04) — _simplified per DX-91_

---

## Statistics

> **Counting Basis:** Table row counts for status categories; filesystem count for Archived.
> Excludes `index.md` and DX-91-* supporting documents (listed under "Related DX-91 Documents") from row counts.
> Filesystem total: 32 root proposals (including 6 DX-91 supporting docs) + 76 completed = 108 total markdown files.

| Category | Count |
|----------|-------|
| **Active** | 2 |
| **Draft** | 4 |
| **Partial** | 2 |
| **Deferred** | 7 |
| **Legacy/Removed** | 10 |
| **Archived** | 76 |
| **Total** | 101 |

**Reconciliation:**
- **Open Proposals:** 14 (Active Implementation: 6 + Deferred/Future: 8)
- **Legacy/Pre-DX-91:** 10
- **Archived (completed/):** 76
- **Grand Total:** 101 = 14 + 10 + 76 (excludes 6 DX-91 supporting docs counted under "Related DX-91 Documents" section)

---

## Priority Recommendations

### High Priority (Actionable Now)

1. **[DX-91](./DX-91-simplification.md)** — Strategic simplification and product reset
2. **[DX-84](./DX-84-security-review-backlog.md)** — Security review for production readiness
3. **[DX-87](./DX-87-remove-multi-agent-init.md)** — Remove multi-agent init capability
4. **[DX-93](./DX-93-mcp-entry-point-policy.md)** — MCP entry point thickness calibration

### Medium Priority (Strategic)

1. **[DX-80](./DX-80-guard-cli-mcp-alignment.md)** — CLI/MCP alignment bug fix
2. **[DX-62](./DX-62-proactive-reference-reading.md)** — Continue Layers 2-4
3. **[DX-61](./DX-61-functional-pattern-guidance.md)** — Pattern guidance for agents

### Low Priority / Deferred

- DX-94, DX-68, DX-60, DX-38, DX-29, DX-25, LX-17 series, LX-11, LX-01

---

## Historical Reference

See `completed/` directory for detailed implementation notes and execution history of archived proposals.

**Pre-DX-91 Concepts (for historical context):**

- **USBV Workflow**: Four-phase protocol (Understand → Specify → Build → Validate) — _ceremony removed per DX-91, core intent preserved as "contracts before code"_
- **Skills System**: `.claude/skills/` with 8 skills — _removed per DX-91_
- **Hooks**: PreToolUse, PostToolUse, Stop, UserPromptSubmit — _removed per DX-91_
- **TypeScript Support**: Full TS/JS guard and verification — _removed per DX-91_

---

## Cross-Reference: Active Navigation

| Document | Relevance Post-DX-91 |
|----------|----------------------|
| `CLAUDE.md` (project root) | **Active** — DX-91 managed block (~50 lines) |
| `INVAR.md` (project root) | **Active** — Agent semantic spec |
| [DX-91-simplification.md](./DX-91-simplification.md) | **Active** — Authoritative direction |
| `README.md` | **Active** — Updated for DX-91 Python-only workflow |
| `docs/guides/cursor.md` | **Active** — Updated for DX-91 MCP-only workflow |
| `docs/guides/continue.md` | **Active** — Updated for DX-91 MCP-only workflow |
| `docs/guides/cline.md` | **Active** — Updated for DX-91 MCP-only workflow |
| `docs/guides/pi.md` | **Archive** — Historical Pi integration (pre-DX-91) |
| `docs/guides/aider.md` | **Archive** — Historical Aider integration (pre-DX-91) |
| `docs/guides/multi-agent.md` | **Archive** — Historical multi-agent docs (pre-DX-91) |
| `.invar/context.md` | **Active** — User-managed project context |
| `.invar/project-additions.md` | **Active** — User-managed project additions |
| `docs/reference/workflow/usbv.md` | **Archive** — Historical USBV documentation |
| `docs/AGENTS.md` | **Archive** — Pre-DX-91 agent roles (skills/hooks era) |
| `docs/reference/index.md` | **Archive** — Contains USBV references (historical) |

---

## Index Coverage Notes

**Sibling-Search Coverage:**

To find all proposals in this directory, use sibling search patterns:

```bash
# Root proposals (excludes index.md, includes only DX-*/LX-* patterns)
ls docs/proposals/*.md | grep -v index.md | sort

# Completed proposals
ls docs/proposals/completed/*.md | sort

# Count by status (matches table rollups)
grep -E "^\|" docs/proposals/index.md | grep -E "\|\s+(Active|Draft|Partial|Deferred|Superseded|Removed)" | wc -l
```

**Statistics Reconciliation:**

| Source | Count | Method |
|--------|-------|--------|
| Open Proposals (tables) | 14 | Row counts from Active (6) + Deferred (8) |
| Legacy/Pre-DX-91 (table) | 10 | Row count from Legacy table |
| Archived (completed/) | 76 | Filesystem: `ls completed/*.md \| wc -l` |
| **Grand Total** | **101** | 14 + 10 + 76 (excludes 6 DX-91 supporting docs) |
