feat(aot): retain incremental debug facts and scoped obligations

[yabanana]

What

Optimized pad_input currently loses its recovered function signature and fixed stack facts when one local uses a DWARF location list. Keep independently recovered facts in an incremental dossier and identify the remaining qualification obligation by function, DIE, range and stage. The strict API used by existing consumers is unchanged.

The dossier reads lexical/inline scopes, inherited source types and PC-bounded location lists from a matching C DWARF 4 companion. Register/value descriptions remain candidates; source signatures are not promoted to optimized machine ABIs, and scoped locations are not widened into whole-function lifetimes. Missing metadata or changed input remains an explicit obligation/rejection.

Incremental review: yabanana/AnyPS5@767f45c...feature/aot-optimized-facts

Tested

Latest integration checkpoint (12 October): aligned with main 2f4cc8983, including the new component technical-debt layout. The final combined stack with the separate C++ follow-up #4718 passed 588 compiler/relinker/runtime checks and 26 native integrations on Apple Silicon. Rebuilt cube AOT/reference still match all eight RGB frames after 600 flips each; controller and typed module-bundle acceptance pass. These are local results; hosted CI is running on the updated head. Full Linux/Windows builds still require maintainer dispatch.

Integration checkpoint, 12 October: merged main fe66af13e through the dependency stack and requalified affected provider identities after reviewing their implementations. The final combined stack passed 526 compiler/relinker/runtime cases, 26 native integration cases, the rebuilt graphics pair (600 flips each, teardown, eight exact RGB frames), controller O2 and SHA/memcmp O0/O2 checks on Apple Silicon. Hosted checks refer to the new head and remain separate from these local results. Full Linux/Windows builds require maintainer dispatch.

Validation: Apple ARM64, 13 debug-recovery tests including partial-fact retention, changed input, nonplain layouts, optimized values and inherited return types. The dependent consumer batch executes pad_input O2 and independent SHA-256/memcmp components without per-instruction annotation lists. Full final-stack validation and reproduction are reported in the consumer PR. DWARF semantics: https://dwarfstd.org/doc/DWARF4.pdf sections 2.6.2, 2.17 and 3.3.8.

Checklist

• Based on current main e7c70a2; existing native ARM64 dependencies retained
• No other open PR implements this incremental dossier
• One topic; follow-up work is separate
• No code comments, investigation files or third-party binaries added
• Conventions, diff and test registration checks pass
• Depends on: feat(aot): run controller input and independent provider-transfer consumers #4397, feat(aot): qualify provider contracts and recover bounded debug facts #4396, feat(aot): derive guard sites from qualified image recipes #4156, feat(aot): run source-built graphics on native Apple ARM64 #3891, feat(aot): discuss native ARM64 compiler architecture and integration #1835
• Unblocks: none
• AI-assisted: yes

[yabanana]

Superseded by #5021, which now contains the consolidated native ARM64 AOT implementation and verified consumers. #1835 remains the architecture discussion. Closing this stacked PR to keep one implementation review; its branch and review history are retained. This is not a merge into main.