Iterator-Collection RC Ownership Contract
6 sections
100%
Overview
Establish a correct, complete, and tested ownership contract between iterators and their source collections in the Ori compiler's AOT pipeline. Currently, the contract has two critical bugs: (1) iterator elem_dec_fn is hardcoded NULL, so element cleanup fails when ori_iter_drop does the final buffer RC dec; (2) the for-yield lowering doesn't properly scope the source collection's lifetime, causing the AIMS pipeline to emit a spurious extra RcDec (double-free). This plan fixes both bugs and audits the full for-do/for-yield parity to prevent similar issues.
In Progress
1 sections
Completed
5 sections
Section 1 Complete
Root Cause Analysis & Design
19/19 tasks
19/19 tasks
Section 3 Complete
Fix For-Yield RC Scoping
32/32 tasks
32/32 tasks
Section 4 Complete
For-Do / For-Yield Parity Audit
22/22 tasks
22/22 tasks
Section 5 Complete
Comprehensive Test Matrix
18/18 tasks
18/18 tasks
Section 6 Complete
Verification & Merge Gate
35/35 tasks
35/35 tasks