AOT Monomorphization Completeness

8 sections

52%

Section 1 Section 2 Section 3 Section 4 Section 5 Section 6 Section 7 Section 8

Overview

collect_mono_functions (compiler_repo/compiler/ori_llvm/src/monomorphize/mod.rs:71; line coords refreshed at execution time per routing.md §5) registers EVERY Apply / Invoke call site reachable from host-module callers — across module boundaries, builtin Apply targets in generic contexts, inherent methods on generic types, and methods on receivers whose type parameters are themselves complex generics. The four absorbed bugs are facets of one architectural completeness gap; the shared cure is a coordinated extension of the mono-collection pipeline plus the corresponding MonoInstance emission sites in the type checker.

○

In Progress

1 sections

Section 3 In Progress

Inherent-Method Mono on Generic Type (BUG-04-091)

Map (generic_self_type, method_name) → mono_instance for impl<T> T<...> { @method } local-module inherent methods + cross-module imported-method dispatch (per Decision 02 §03.4/§03.5 scope expansion). Codegen resolves inherent methods on generic types through the mono-instance pipeline for both local and imported receivers.

21/55 tasks

○

Planned

5 sections

Section 4 Not Started

Complex-Generic-Arg Method Mono (BUG-04-061)

Mono dispatch resolves methods on receivers whose type parameters are themselves heap-typed generics (Option<[int]> vs Option<int>). MonoInstance dedup predicate distinguishes by full receiver type, not by name + generic-arg arity alone.

0/19 tasks

Section 5 Not Started

Builtin Apply Mono in Generic Context (BUG-04-114)

Builtin Apply targets (__cast, __index, __iter_next, etc.) inside generic bodies register MonoInstance records and resolve through collect_mono_functions. Generic functions using `as` casts compile cleanly.

0/21 tasks

Section 6 Not Started

Test Matrix + Dual-Execution Parity

Integrated test matrix covering all four mono-completeness facets. Dual-execution parity verified across every new and modified test. Zero leaks under ORI_CHECK_LEAKS=1.

0/23 tasks

Section 7 Not Started

Close-out — Cluster Bug Retirement + TPR + Hygiene

Full-plan /tpr-review + /impl-hygiene-review consensus, plan_corpus check clean, four absorbed bug tracker entries retired to bug-tracker/plans/completed/, /commit-push, BUILD_NUMBER bumped.

0/27 tasks

Section 8 Not Started

Derived `Default` + Prelude `min`/`max` Builtin Mono Crash — LLVM Spec-Backend Suite Abort

0/14 tasks

✓

Completed

2 sections

Section 1 Complete

Root Cause Analysis — Shared Monomorphization Completeness Gap

Characterize what collect_mono_functions does today, what it misses, and why the four absorbed bugs are facets of one architectural gap. Read-only investigation — no code changes; no `.rs` edits land in this section.

26/26 tasks

Section 2 Complete

Import-Sigs Traversal — Cross-Module Imported Generic Top-Level Mono (BUG-04-119)

Extend collect_mono_functions to traverse import_sigs alongside function_sigs + impl_sigs; thread import_sigs through run_borrow_inference + arc_lowering test runner; promote the JIT imported-mono body-import carrier (Decision 01 Option B) onto the AOT path so cross-module imported top-level generic call sites register one MonoFunction per (generic_sig, instance_args) pair reachable from host-module callers.

104/104 tasks