MIRR Documentation Index

Canonical index for all project documentation. Updated each campaign.


Status Legend

StatusMeaning
ActiveCurrent, maintained documentation
FrozenHistorical, will not be updated
DeprecatedSuperseded by newer docs; kept for reference
StubPlaceholder awaiting content

Core Documentation

DocumentStatusDescription
ArchitectureActiveCanonical source of truth for the codebase tree
RoadmapActiveProject phases, architecture, research foundation
Presidential Arsenal RoadmapActiveMega-campaign execution plans and strategies
TutorialActiveLearn MIRR from scratch
Type SystemActiveType checker reference (E601–E625)
Error CodesActiveError codes introduced per phase
Logic SimplificationActivePhase 3 simplifier architecture and rules
BenchmarksActiveCriterion benchmark tiers and usage
GlossaryActiveProject terminology and acronyms (~55 terms)
ContributingActiveCoding standards, campaign workflow, error allocation
Testing GuideActiveTesting architecture and test suite organization
Web RulesActiveWeb development and aesthetic UI guidelines
File TreeFrozenHistorical snapshot of the Phase 7 repository tree
Consumer ContractsActiveInterface boundaries and API guarantees for end users
FPGA Targets GuideActiveFPGA toolchain, synthesis, and target configuration
MAPE-K GuideActiveAutonomic feedback loop simulator and LTL monitoring
S-Expression GuideActiveHomoiconic S-expression IR, round-trip invariant
ECS Migration GuideActiveGuide for migrating the compiler to the ECS architecture

Architecture References

DocumentStatusDescription
R-SPU ISA v2 SpecificationActiveR-SPU instruction set architecture v2 specification
Migration GuideActiveBreaking changes per version
Phase 2 Temporal Guard CompilerFrozenOriginal Phase 2 design notes

Self-Hosting

DocumentStatusDescription
Self-Hosting MilestoneFrozenMIRR-in-MIRR progress tracker
Self-Hosting Core SpecFrozenCore language spec for self-hosting
Self-Hosting IR ContractFrozenIR contract for bootstrap pipeline

Legacy

DocumentStatusDescription
MIRR SpecDeprecatedPhase 1 minimal core only. See Tutorial and Type System.

Papers

DocumentStatusDescription
paper/dac2027-mirr.texFrozenDAC 2027 submission (tag: dac2027-submission)
paper/living-doc/ActiveLiving documentation (no page limit, updated every campaign)

Proposal Archive

All proposals live in proposals/ and follow the campaign workflow.

#CampaignDateStatus
001SEM-0012026-03-08Executed
002TYPE-0012026-03-08Executed
003TYPE-0022026-03-08Executed
004TYPE-0032026-03-08Executed
005TYPE-0042026-03-08Executed
006ROCQ-0012026-03-08Executed
007TYPE-005 + RSPU-0012026-03-08Executed
008DOC-0012026-03-08Executed
009SITE-0012026-03-09Executed
010SITE-0022026-03-09Executed
011SPAN-001 + LSP-0012026-03-09Executed
012ERR-001 + VSCODE-0012026-03-09Executed
013FPGA-0012026-03-09Executed
014FPGA-0022026-03-09Executed
015ERR-0022026-03-09Executed
016SAFE-0012026-03-09Executed
017DEBT-0012026-03-09Executed
018DEBT-0022026-03-09Executed
019DOC-0012026-03-09Executed
020DOC-0022026-03-09Executed
021SYNTH-0012026-03-09Executed
022PAPER-0012026-03-09Executed
023PHASE7-FOUNDATION2026-03-10Executed
024MEGA-1a2026-03-10Executed
025MEGA-1b2026-03-11Executed
026MEGA-22026-03-11Executed
027MEGA-32026-03-11Executed
028AUDIT-0012026-03-11Executed
029STD-0012026-03-12Executed
030LRA-0012026-03-11Executed
031LRA-0022026-03-11Executed
032STD-001-LRA2026-03-12Executed
033LRA-PHASE12026-03-12Executed
034LRA-PHASE22026-03-12Executed
035LRA-PHASE3-PHASE42026-03-12Executed
036CIGREEN-0012026-03-12Executed
037HARDEN-0012026-03-12Executed
038PAPER-0012026-03-12Executed
039CIRUST-0012026-03-12Executed
040PAGES-0012026-03-12Executed
041ULTRA-FORMAL-0012026-03-12Executed
042PAPER-0012026-03-13Executed
043TITAN-CONVERGENCE2026-03-13Executed
044OUROBOROS-DESIGN2026-03-13Executed
045MEGA-CONVERGENCE2026-03-14Executed
046POLISH-AND-SHIP2026-03-14Executed
047POLISH-22026-03-14Executed
048LRA-PHASE52026-03-15Executed
049LRA-PHASE62026-03-15Executed
050LRA-PHASE72026-03-15Executed
051LRA-PHASE82026-03-15Executed
052LRA-PHASE92026-03-15Executed
053MEGA4-TOTALITY-ENGINE2026-03-15Executed
054MEGA5-SYMBOLIC-EVAL2026-03-15Executed
055MEGA-VERIFY2026-03-15Executed
056MEGA6-MAPE-K-SILICON2026-03-16Executed
057MEGA7-RUST-LEVEL-ERRORS2026-03-17Proposed
058MEGA10-BOUNDED-DATA2026-03-17Proposed
059MEGA11-14-UNIFIED2026-03-17Proposed
060MEGA12-BOUNDED-HLS2026-03-19Proposed
061MEGA12-DATAFLOW-OPT2026-03-19Proposed
062MEGA13-SELF-HOST2026-03-19Proposed
063WASM-BUILDER-AUDIT2026-03-20Executed
064MAJOR-REPO-HARDENING2026-03-20Proposed

See Also

  • Home — Project landing page
  • Roadmap — Full project roadmap