Journey Tooling V2

7 sections

100%
Section 1 Runtime Function Effect Summaries Section 2 CFG-Aware RC Balance Checking Section 3 Cross-Function Ownership Tracking Section 4 IR Parser Hardening Section 5 ARC IR-Level Verification Section 6 Attribute Compliance Improvements Section 7 Integration and Re-scoring
Overview

Upgrade the code journey scoring pipeline from naive counting to compiler-grade verification by adopting proven patterns from Swift's ARC optimizer, Lean 4's IR Checker, Clang's RetainCountChecker, and Rust's modular pass design. The journey approach is the right approach — the tooling needs to catch up. All tools remain in Python for now (eventual Ori rewrite planned).

✓

Completed

7 sections
Section 1 Complete

Runtime Function Effect Summaries

0/32 tasks

32/32 tasks
Section 2 Complete

CFG-Aware RC Balance Checking

0/22 tasks

22/22 tasks
Section 3 Complete

Cross-Function Ownership Tracking

0/19 tasks

19/19 tasks
Section 4 Complete

IR Parser Hardening

0/22 tasks

22/22 tasks
Section 5 Complete

ARC IR-Level Verification

0/22 tasks

22/22 tasks
Section 6 Complete

Attribute Compliance Improvements

0/14 tasks

14/14 tasks
Section 7 Complete

Integration and Re-scoring

0/31 tasks

31/31 tasks