AOT Mono Stdlib Completeness

9 sections

65%
Section 1 Root-cause classification of the residual mono surface Section 2 AOT emitter arms for builtin methods (ROOT A) Section 3 Traceable trait-method AOT emitters (ROOT A) Section 4 Derived trait-method emitter completion across receiver shapes (ROOT A) Section 5 Transitive mono-collection for nested generic body calls (ROOT B) Section 6 Typeck var-mapping residual sub-root Section 7 Prelude collection-builtin AOT mono-emission (len/contains in generic/iterator bodies) Section 8 broad-transitive-generic-body-mono-collection Section 9 Whole-corpus verification + aot-mono link-back
○

In Progress

2 sections
Section 8 In Progress

broad-transitive-generic-body-mono-collection

0/3 tasks
Section 9 In Progress

Whole-corpus verification + aot-mono link-back

0/3 tasks
✓

Completed

7 sections
Section 1 Complete

Root-cause classification of the residual mono surface

6/7 tasks
Section 2 Complete

AOT emitter arms for builtin methods (ROOT A)

6/10 tasks
Section 3 Complete

Traceable trait-method AOT emitters (ROOT A)

4/7 tasks
Section 4 Complete

Derived trait-method emitter completion across receiver shapes (ROOT A)

5/6 tasks
Section 5 Complete

Transitive mono-collection for nested generic body calls (ROOT B)

3/3 tasks
Section 6 Complete

Typeck var-mapping residual sub-root

3/5 tasks
Section 7 Complete

Prelude collection-builtin AOT mono-emission (len/contains in generic/iterator bodies)

5/5 tasks