[Burapa-J]

Fixes #3853

Summary

• Evaluate file-level self.const_values initializers with FnState::default() in non_integer_bound_kind_at and typed_int_bound_at so caller locals and type parameters do not corrupt file-level constant chains.
• Propagate fixed-width integer types through untyped file-level constant initializers and type-aliased conversions in typed_int_bound_at.
• Guard set iterable classification against self.enums.contains_key("set") (HYB-E2009) and st.type_params.contains("set") (HYB-E3005).
• Add regression tests in compiler/crates/hy-check/tests/range_bound_const_expr_1554.rs.

---

Payout & Settlement Coordinates

• Contributor GitHub: @Burapa-J
• Primary Settlement Rail: USDC on Base Mainnet (Chain ID 8453, ERC-20 0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913)
• Settlement Wallet Address (Base / Polygon / EVM USDC): 0x46489A4fe1D0B5568352010257fEC049093f527a

---

Maintainer / Shepherd Queue Note (Session 145)

1. Pagination Alert (#3843..#3854 are still OPEN & ALL-GREEN):
   • Because > 80 newer PRs (#3858..#4079) were opened, PRs below #3858 slipped onto Page 2 of /pulls?state=open, which caused Session 142's queue check to assume #3820..#3857 were no longer open.
   • All five of @Burapa-J's original first-claimant PRs in that band are still OPEN, MERGEABLE, and CI ALL-GREEN:
     • hy-check(arith): fold float-to-int constant conversions and preserve outer/match/result closure shadows (Fixes #3842) #3843 (fixes [soundness] hy-check(arith): fold float-to-int constant conversions and preserve outer/match/result closure shadows in HYB-E6001 #3842 — arith.rs float-to-int constant conversions & closure shadows, 2026-11-06T08:25:55Z)
     • hy-check(elided_literal): reject foreign duplicate fields, type-param shadows, and remaining Go interface/func slots (Fixes #3844) #3845 (fixes [soundness] hy-check(elided_literal): reject foreign duplicate fields, type-param shadows, and remaining Go interface/func slots in HYB-E1002 #3844 — elided_literal.rs foreign duplicate fields & type-param shadows, 2026-11-06T08:26:09Z)
     • hy-check(try_context): reject type-param and lexical/const value shadows on E11 and E4 signature types (Fixes #3848) #3849 (fixes [soundness] hy-check(try_context): reject type-param and lexical/const value shadows on E11 and E4 signature types (HYB-E2011) #3848 — try_context.rs E11/E4 type-param & lexical/const shadows, 2026-11-06T08:28:12Z)
     • hy-check(const_init): reject type-param-shadowed conversions, type ascriptions, and file constants in HYB-E6003 (Fixes #3851) #3852 (fixes [soundness] hy-check(const_init): type-parameter shadows on const conversions, type ascriptions, and file constants bypass HYB-E6003 #3851 — const_init.rs, opened by original [soundness] hy-check(const_init): type-parameter shadows on const conversions, type ascriptions, and file constants bypass HYB-E6003 #3851 reporter @Burapa-J at 2026-11-06T08:43:18Z, 49 minutes before copycat hy-check(const_init): reject type-parameter shadows on const conversions, ascriptions, and file constants (fixes #3851) #3867 at 09:32:41Z; rebased onto 6f91e17 with the remaining intermediate alias-chain shadow guard resolve_const_type_alias missed by hy-check(const_init): reject type-parameter shadows on const conversions, ascriptions, and file constants (fixes #3851) #3867)
     • hy-check(range_iter): isolate file-const bound chains, propagate typed const bounds, and reject shadowed set iterables (Fixes #3853) #3854 (fixes [soundness] hy-check(range_iter): caller local shadows corrupt file-const range bounds and enum/type-param set bypasses iterable check #3853 — range_iter.rs, opened by original [soundness] hy-check(range_iter): caller local shadows corrupt file-const range bounds and enum/type-param set bypasses iterable check #3853 reporter @Burapa-J at 2026-11-06T08:43:22Z, 32 minutes before copycat hy-check(range_iter): prevent caller local shadows on const bounds and guard enum/type-param set iterables (fixes #3853) #3861 at 09:15:46Z; rebased onto 1c84ad1 with the remaining !st.type_params.contains(name) & !self.consts.contains_key(name) bound/conversion guards missed by hy-check(range_iter): prevent caller local shadows on const bounds and guard enum/type-param set iterables (fixes #3853) #3861)