blockifier: add CallInfo::get_visited_contract_addresses

[yoavGrs]

Mirrors the Python state-selector walk that drives the OS contracts-trie
input set. Yields the call's own storage_address, its code_address when set
(delegate-style calls), and the contents of
storage_access_tracker.accessed_contract_addresses. No new field is added —
the data is derived from existing CallEntryPoint and StorageAccessTracker
fields. Inner calls are not traversed by this method — use CallInfo::iter
to walk the tree.

Co-Authored-By: Claude Opus 4.7 (1M context) noreply@anthropic.com

[reviewable-StarkWare]

This change is 

[yoavGrs]

• starknet_os_flow_tests: drive commitment keys from compute_accessed_keys #14106
• apollo_storage,apollo_batcher,apollo_reverts: write accessed keys instead of tx execution infos #14105
• blockifier: take CommitmentStateDiff in AccessedKeys::new and predicted_alias_storage_entries #14156
• apollo_batcher: record ProofFacts block_number per tx #14104
• blockifier: add compute_accessed_keys and AccessedKeys #14103
• blockifier: add predicted_alias_storage_entries #14102
• blockifier: add CallInfo::get_visited_contract_addresses #14101 👈 (View in Graphite)
• apollo_integration_tests: add shared proof-flow infrastructure (#13760) #14100
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

[cursor]

PR Summary

Low Risk
Low risk: adds a new accessor method derived from existing execution tracking data without changing execution behavior or state updates.

Overview
Adds CallInfo::get_visited_contract_addresses, an iterator that reports the contract addresses whose contracts-trie leaves are needed to replay a call (including the call’s storage_address, optional code_address for delegate-style calls, and addresses recorded by get_class_hash_at).

This is a read-only helper that does not traverse inner calls (callers should use CallInfo::iter to walk the call tree when needed).

^{Reviewed by Cursor Bugbot for commit 74e1e2a. Bugbot is set up for automated code reviews on this repo. Configure here.}

[ArielElp]

@ArielElp reviewed 1 file and made 1 comment.
Reviewable status: all files reviewed (commit messages unreviewed), all discussions resolved (waiting on yoavGrs).

[dorimedini-starkware]

@dorimedini-starkware reviewed 1 file and all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on yoavGrs).

[github-actions]

Artifacts upload workflows:

• Started at 2026-05-20T12:31:53Z

[graphite-app]

Merge activity

• May 20, 12:32 PM UTC: Graphite rebased this pull request, because this pull request is set to merge when ready.

[dorimedini-starkware]

Reviewable status: complete! all files reviewed, all discussions resolved (waiting on yoavGrs).