Cortex Plans
Scoped research and implementation plans that remain current.
Cortex Plans
| Plan | Kind | Status |
|---|---|---|
| Lean mechanization | Research plan | Proposed |
| Rewrite materialization and recovery | Research plan | Proposed |
Template
Use the implementation-plan template as the baseline when the plan is implementation-facing. Research plans should keep the same frontmatter discipline and clear scope, but may replace delivery slices with theorem obligations, evidence targets, and open proof debt.
Related
- ../Epics/ - long-running active initiatives.
- ../../Publications/ - papers supported by these plans.