All pull requests

Pull requests

• feat(wildcard): executable feasibility spike for W-024 Linear Must-Consume Obligations & Escape-Certified Stack Regions

  #4038·cyczzhao-lab opened Nov 7, 2026Contributor·

  ·

• hy-check(sendability): check non-nilable map keys, elided struct/slice literals, and some(nil) in check_composite_nils (fixes #4036)

  #4037·cyczzhao-lab opened Nov 7, 2026Contributor·

  ·
  1

• hy-check(loans): recurse into generic struct and set[T] fields in field_borrow_kind (fixes #4034)

  #4035·cyczzhao-lab opened Nov 7, 2026Contributor·

  ·
  1

• hy-emit: propagate comparable constraints across generic structs, type aliases, and composite equality (fixes #4032)

  #4033·cyczzhao-lab opened Nov 7, 2026Contributor·

  ·
  1

• hy-check(resolve): exclude parameter and result names from signature array-length scope (fixes #4030)

  #4031·cyczzhao-lab opened Nov 7, 2026Contributor·

  ·
  1

• hy-emit(rangebind): preserve outer bindings projected in same-name range hi (fixes #4028)

  #4029·cyczzhao-lab opened Nov 7, 2026Contributor·

  ·
  1

• hy-check(addr_loan): mark struct-field slot loans and check if-init cond (fixes #4026)

  #4027·cyczzhao-lab opened Nov 7, 2026Contributor·

  ·
  1

• hy-emit(stmt): resolve method/generic/assoc/stdlib call_results, discard statement-try temp, and guard full-arity error returns (fixes #4024)

  #4025·cyczzhao-lab opened Nov 7, 2026Contributor·

  ·
  1

• hy-emit(shapes): add SHAPES and METHOD_RESULTS for bytes.buffer, strings.builder, and sync.waitgroup (fixes #4022)

  #4023·cyczzhao-lab opened Nov 7, 2026Contributor·

  ·
  1

• fix(hy-check): enforce A3 slot-loan and E3104 loan-escape across closure move, alias, match, and iterate bindings (fixes #4020)

  #4021·pa-khan opened Nov 7, 2026·

  ·
  1

• fix(hy-check): reject variadic spread on type conversions T(x...) (HYB-E1002) (fixes #4018)

  #4019·bradwue313 opened Nov 7, 2026Contributor·

  ·
  1

• fix(hy-check): validate zero-field struct literals, user set/option arity, and shadowed set ranges (fixes #4016)

  #4017·pa-khan opened Nov 7, 2026·

  ·
  1

• fix(hy-check): model 1-result builtins and type conversions in static_result_count (HYB-E1002) (fixes #4014)

  #4015·bradwue313 opened Nov 7, 2026Contributor·

  ·
  1

• fix(hy-check): reject variadic spread on non-variadic built-ins panic, print, make, new (HYB-E1002) (fixes #4013)

  #4012·bradwue313 opened Nov 7, 2026Contributor·

  ·
  1

• fix(hy-check): reject mismatched untyped bare const len hi when exclusive range hoists hyHi (HYB-E2009) (fixes #4010)

  #4011·bradwue313 opened Nov 7, 2026Contributor·

  ·
  1

• fix(hy-check): reject address-of assignment targets in check_assign_target_addressable (HYB-E2010) (fixes #4009)

  #4008·bradwue313 opened Nov 7, 2026Contributor·

  ·
  1

• fix(hy-check): check move projection index/slice subexpr uses and reject unrooted own-handle field moves (fixes #4006)

  #4007·pa-khan opened Nov 7, 2026·

  ·
  1

• fix(hy-check): check shadowed package qualifier in TypeExpr::Named (HYB-E1002) (fixes #4004)

  #4005·bradwue313 opened Nov 7, 2026Contributor·

  ·
  1

• fix(hy-check): remove non-Go primitive type names from is_conversion_type_name in const_init (HYB-E6003) (fixes #4002)

  #4003·bradwue313 opened Nov 7, 2026Contributor·

  ·
  1

• fix(hy-check): model complex64 and complex128 as Primitive shapes across boundary checks (HYB-E3005) (fixes #4000)

  #4001·bradwue313 opened Nov 7, 2026Contributor·

  ·
  1

• fix(hy-check): model curated foreign method surfaces for os filesystem/signal, bufio.read_writer, fmt, sync.locker, sort.interface, and time calendar types (HYB-E1002) (fixes #3998)

  #3999·pa-khan opened Nov 7, 2026·

  ·
  1

• tests(install): add mv to required_tools shims and resolve tempdir path

  #3997·dextermos-dev opened Nov 7, 2026Contributor·

  ·

• hy-check(shape): recursively unify compound generic struct type arguments against shapes (fixes #3948)

  #3996·dextermos-dev opened Nov 7, 2026Contributor·

  ·
  1

• hy-check(buildable): validate argument types and callable kinds on closures and task spawns (fixes #3940)

  #3995·dextermos-dev opened Nov 7, 2026Contributor·

  ·
  1

• feat(spikes): add Direct Go SSA Lowering with Stack Allocation Proofs spike (closes #3888)

  #3992·akashmanjunath2505 opened Nov 7, 2026Contributor·

  ·