blockifier: fix conversion from nested feltts counts to optional nested int list

[AvivYossef-starkware]

No description provided.

[reviewable-StarkWare]

This change is 

[github-actions]

Artifacts upload workflows:

• Started at 2026-01-08T13:50:26Z
• Started at 2026-01-08T14:44:33Z
• Started at 2026-01-08T14:44:33Z

[AvivYossef-starkware]

• blockifier: fix conversion from nested feltts counts to optional nested int list #11530 👈 (View in Graphite)
• main

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

[Yoni-Starkware]

@Yoni-Starkware reviewed 2 files and all commit messages, and made 2 comments.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @avi-starkware, @AvivYossef-starkware, and @noaov1).

---

crates/blockifier/src/execution/contract_class.rs line 213 at r1 (raw file):

        if counts.is_leaf() { None } else { Some(counts.into()) }
    }
}

Please add this case to your round-trip test

Code quote:

impl From<&NestedFeltCounts> for Option<NestedIntList> {
    fn from(counts: &NestedFeltCounts) -> Self {
        // If it's a single leaf, it means the original bytecode_segment_lengths was None
        if counts.is_leaf() { None } else { Some(counts.into()) }
    }
}

[AvivYossef-starkware]

@AvivYossef-starkware made 1 comment and resolved 1 discussion.
Reviewable status: 2 of 3 files reviewed, all discussions resolved (waiting on @avi-starkware and @noaov1).

---

crates/blockifier/src/execution/contract_class.rs line 213 at r1 (raw file):

Previously, Yoni-Starkware (Yoni) wrote…

Please add this case to your round-trip test

Done