Fix ABI record lookup for qualified paths

[1sgtpepper]

Motivation

ABI generation classified composites by terminal name, so a module struct could be mistaken for a same-named record. Resolve composites by their complete (program, path) identity, including direct interface record prototypes.

Fixes #29615.

Compatibility

Leo source syntax and the ABI schema are unchanged. The fix changes only the Record versus Struct classification for qualified composites, including program and interface ABI output. Concrete lookup covers the current program, imported Leo programs, Aleo stubs, and libraries. Interface ABI conversion classifies direct record prototypes only; it does not add parent-interface record prototypes to a child interface, and inherited interface member behavior is unchanged.

Test Plan

• Exact-location unit coverage for local, imported Leo, Aleo, and library composites, including wrong-program, sibling-module, missing-item, and module-qualified-Aleo rejection cases.
• End-to-end CLI fixture checking the corrected Record/Struct classification in both program and interface ABI output.
• cargo +nightly fmt --all -- --check
• git diff --check
• bash -n tests/tests/cli/test_abi_record_identity/COMMANDS
• CircleCI: code-quality, leo-executable, test-linux, test-macos, test-windows.

Related PRs

#29623 fixes the related dynamic-interface location bug independently; this PR targets master and does not depend on it.