AIMS Burden Tracking — Perceus + Registry
20 sections
77%
Section 0 Phase A0 — Design Validation Gate (RL-31 Burden-Aware Walkthrough) Section 1 Burden Registry — Data Structures + Registration API Section 2 Burden Composition — Generic Monomorphization + DropInfo Lift Section 3 Phase 5 — Trivial Burden Emission (ori_arc::lower::burden_lower) Section 03A Emission-Fidelity Repair — Burden Emission Faithful to Proven RL-1 / RL-2 / Per-Edge RC-Balance Section 4 Recursive Types + Closures + Drop AUGMENT + Value Empty-Burden Section 04A Minimal Lattice Adaptation — Burden-Op Pipeline Wiring + DP-2/DP-3 Burden-Op Section 04B Prototype Gate (BLOCKS §05+) — Seven Concrete Criteria Section 5 Phase 6 Lattice Rewrite + RL-31 Burden-Aware Path Section 6 Phase 7 Mechanical Lowering — BurdenInc → RcInc, BurdenDec → RcDec Section 7 Value-Shape Coverage Migration — Apply-Aliases / Closures / Sum-Payload / Jumpargs Section 07A Burden-Lowering RC-Ledger Self-Sufficiency (predicate-stack-retirement precondition) Section 07B Broad-Shape Burden-Lowering RC-Ledger Self-Sufficiency (iterator/collection-element/matrix/SSO) Section 8 Rule-File Sync — arc.md / aims-rules.md / canon.md §7.1 / missions.md §AIMS Section 9 Post-Convergence Partial Retirement + PIN-1..6 Predicate Retirement (proven-equivalence-licensed) Section 10 Verification — VF-1 Burden-Balance Check + VF-7 Rewrite-Soundness + Proven-Rule Conformance + Live AIMS-Bug Sweep + Closures + /sync-aims-spec Section 11 AIMS Snapshot Baseline Rebake — Burden-Pass Output Drift Verification (proven-antecedent-gated) Section 12 Green-Gate Red Partition + Orthogonal Routing (proven-coverage-classified) Section 13 Burden Verification Suite — aims-proofing methodology adopted burden-specific (AST-probe conformance + burden SMT shapes + dual-discharge + proven_by binding + burden-aware oracle) Section 14 llvm-verification-tooling Teardown + AIMS-Foundation Absorption + test-all Fold
Overview
Replace AIMS realization-time predicate stack (PIN-1..6 + class_payload_of + ssa_alias_classes-driven emission) with two-layer architecture: (1) Phase 5 ARC lowering emits structurally-maximal burden ops (BurdenInc/BurdenDec) from per-type BurdenSpec data registered in a new BurdenRegistry; (2) Phase 6 existing lattice optimizes the burden baseline (consumption mode shifts from emission-decision to elimination-decision; algorithm unchanged). Phase 7 becomes mechanical lowering. This is Perceus (Reinking et al., PLDI 2021) integrated into Ori's data-driven registry pattern; Roc adopted Perceus directly (roc#825, roc#5258). Source: compiler_repo/docs/ori_lang/proposals/approved/aims-burden-tracking-proposal.md (Approved 2026-05-08).
Planned
6 sections
Section 9 Not Started
Post-Convergence Partial Retirement + PIN-1..6 Predicate Retirement (proven-equivalence-licensed)
3/41 tasks
3/41 tasks
Section 10 Not Started
Verification — VF-1 Burden-Balance Check + VF-7 Rewrite-Soundness + Proven-Rule Conformance + Live AIMS-Bug Sweep + Closures + /sync-aims-spec
0/49 tasks
0/49 tasks
Section 11 Not Started
AIMS Snapshot Baseline Rebake — Burden-Pass Output Drift Verification (proven-antecedent-gated)
|
0/0 tasks
Section 12 Not Started
Green-Gate Red Partition + Orthogonal Routing (proven-coverage-classified)
0/21 tasks
0/21 tasks
Section 13 Not Started
Burden Verification Suite — aims-proofing methodology adopted burden-specific (AST-probe conformance + burden SMT shapes + dual-discharge + proven_by binding + burden-aware oracle)
0/36 tasks
0/36 tasks
Section 14 Not Started
llvm-verification-tooling Teardown + AIMS-Foundation Absorption + test-all Fold
0/23 tasks
0/23 tasks
Completed
13 sections
Section 0 Complete
Phase A0 — Design Validation Gate (RL-31 Burden-Aware Walkthrough)
86/86 tasks
86/86 tasks
Section 1 Complete
Burden Registry — Data Structures + Registration API
45/45 tasks
45/45 tasks
Section 2 Complete
Burden Composition — Generic Monomorphization + DropInfo Lift
52/52 tasks
52/52 tasks
Section 3 Complete
Phase 5 — Trivial Burden Emission (ori_arc::lower::burden_lower)
55/55 tasks
55/55 tasks
Section 03A Complete
Emission-Fidelity Repair — Burden Emission Faithful to Proven RL-1 / RL-2 / Per-Edge RC-Balance
22/22 tasks
22/22 tasks
Section 4 Complete
Recursive Types + Closures + Drop AUGMENT + Value Empty-Burden
85/85 tasks
85/85 tasks
Section 04A Complete
Minimal Lattice Adaptation — Burden-Op Pipeline Wiring + DP-2/DP-3 Burden-Op
55/55 tasks
55/55 tasks
Section 04B Complete
Prototype Gate (BLOCKS §05+) — Seven Concrete Criteria
55/55 tasks
55/55 tasks
Section 5 Complete
Phase 6 Lattice Rewrite + RL-31 Burden-Aware Path
49/49 tasks
49/49 tasks
Section 6 Complete
Phase 7 Mechanical Lowering — BurdenInc → RcInc, BurdenDec → RcDec
22/22 tasks
22/22 tasks
Section 7 Complete
Value-Shape Coverage Migration — Apply-Aliases / Closures / Sum-Payload / Jumpargs
36/36 tasks
36/36 tasks
Section 07A Complete
Burden-Lowering RC-Ledger Self-Sufficiency (predicate-stack-retirement precondition)
19/19 tasks
19/19 tasks
Section 8 Complete
Rule-File Sync — arc.md / aims-rules.md / canon.md §7.1 / missions.md §AIMS
33/33 tasks
33/33 tasks