MIRR Documentation

    GitHub →

    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