starknet_os_runner: add hints to casm from contract class

[AvivYossef-starkware]

No description provided.

[reviewable-StarkWare]

This change is 

[github-actions]

Artifacts upload workflows:

• Started at 2026-01-08T13:24:24Z
• Started at 2026-01-08T14:53:09Z
• Started at 2026-01-08T14:55:30Z
• Started at 2026-01-08T15:17:01Z
• Started at 2026-01-11T08:01:07Z
• Started at 2026-01-11T09:02:09Z
• Started at 2026-01-11T09:02:09Z

[AvivYossef-starkware]

• starknet_os_runner: add hints to casm from contract class #11528 👈 (View in Graphite)
• starknet_os_runner: contract class hints to casm hints #11527
• main

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

[Yoni-Starkware]

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

---

crates/starknet_os_runner/src/classes_provider_test.rs line 49 at r1 (raw file):

        round_tripped_casm.entry_points_by_type, original_casm.entry_points_by_type,
        "Entry points by type should match exactly"
    );

Do the opposite - erase irrelevant fields and do a single comparision

Code quote:

    // Verify bytecode matches exactly.
    assert_eq!(
        round_tripped_casm.bytecode, original_casm.bytecode,
        "Bytecode should match exactly"
    );

    // Verify bytecode_segment_lengths matches.
    assert_eq!(
        round_tripped_casm.bytecode_segment_lengths, original_casm.bytecode_segment_lengths,
        "Bytecode segment lengths should match"
    );

    // Verify hints match (as verified in existing test_hints_round_trip).
    assert_eq!(round_tripped_casm.hints, original_casm.hints, "Hints should match exactly");

    // Verify entry_points_by_type matches.
    assert_eq!(
        round_tripped_casm.entry_points_by_type, original_casm.entry_points_by_type,
        "Entry points by type should match exactly"
    );

[AvivYossef-starkware]

@AvivYossef-starkware made 1 comment.
Reviewable status: 4 of 6 files reviewed, 1 unresolved discussion (waiting on @avi-starkware, @noaov1, and @Yoni-Starkware).

---

crates/starknet_os_runner/src/classes_provider_test.rs line 49 at r1 (raw file):

Previously, Yoni-Starkware (Yoni) wrote…

Do the opposite - erase irrelevant fields and do a single comparision

Done.

[avi-starkware]

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

[avi-starkware]

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

---

crates/starknet_os_runner/src/classes_provider.rs line 27 at r2 (raw file):

/// Note: Some fields are not preserved in `CompiledClassV1` and are set to default values:
/// - `compiler_version`: Set to empty string
/// - `hints`: Set to empty (OS doesn't use them from this struct for Cairo 1 contracts)

Outdated comment

Hints are now set to
program_hints_to_casm_hints(&class.program.shared_program_data.hints_collection)?

Code quote:

/// - `hints`: Set to empty (OS doesn't use them from this struct for Cairo 1 contracts)

---

crates/starknet_os_runner/src/errors.rs line 54 at r2 (raw file):

    StateError(#[from] StateError),
    #[error(transparent)]
    ContractClassConversionError(#[from] ProgramError),

Consider naming this HintsConversionError or CasmHintsExtractionError

Code quote:

    ContractClassConversionError(#[from] ProgramError),

[Yoni-Starkware]

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

[AvivYossef-starkware]

@AvivYossef-starkware made 2 comments.
Reviewable status: 1 of 6 files reviewed, 2 unresolved discussions (waiting on @avi-starkware, @noaov1, and @Yoni-Starkware).

---

crates/starknet_os_runner/src/classes_provider.rs line 27 at r2 (raw file):

Previously, avi-starkware (Avi Cohen) wrote…

Outdated comment

Hints are now set to
program_hints_to_casm_hints(&class.program.shared_program_data.hints_collection)?

Thanks

---

crates/starknet_os_runner/src/errors.rs line 54 at r2 (raw file):

Previously, avi-starkware (Avi Cohen) wrote…

Consider naming this HintsConversionError or CasmHintsExtractionError

Done.

[avi-starkware]

@avi-starkware reviewed 5 files and all commit messages, made 1 comment, and resolved 2 discussions.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @noaov1).