All pull requests

Pull requests

• fix(hy-check,hy-emit): preserve make/new shapes, validate closure builtins, and check forward file-level consts (#640)

  #641·Khanhtnq opened Oct 18, 2026Contributor·

  ·
  1

• fix(hy-check): enforce channel direction coercion at value-flow sites (fixes #623)

  #639·Anekenonso opened Oct 18, 2026Contributor·

  ·
  1

• fix(hy-check): enforce channel direction compatibility at value-flow coercion sites (HYB-E3012, #623)

  #638·aazminu opened Oct 18, 2026·

  ·
  1

• feat(spikes): Wildcard #636 certified heap-freedom (#[no_heap]) spike (preregistered, #636)

  #637·webhumansaz-stack opened Oct 18, 2026·

  ·

• feat(spikes): Wildcard #634 serializable task regions STM spike (preregistered, #634)

  #635·webhumansaz-stack opened Oct 18, 2026·

  ·

• fix(hy-emit): parse legacy octal literals in base 8 and fold constant conversion expressions (fixes #632)

  #633·sonson0910 opened Oct 18, 2026Contributor·

  ·
  1

• fix(hy-emit): fill an elided literal's head through parentheses (fixes #630)

  #631·Leimiu-G opened Oct 18, 2026Contributor·

  ·
  1

• fix(hy-check): enforce LX13 HYB-E2009 on 3+ loop vars, non-integer range bounds, and send-only chan aliases (fixes #628)

  #629·sonson0910 opened Oct 18, 2026Contributor·

  ·
  1

• fix(hy-check): enforce T23 HYB-E2002 across compound assigns, move wrappers, and single-value contexts (fixes #626)

  #627·sonson0910 opened Oct 18, 2026Contributor·

  ·
  1

• fix(hy-check): resolve explicit generic calls, fn-map index calls, and file-level closure/fn scopes (fixes #624)

  #625·sonson0910 opened Oct 18, 2026Contributor·

  ·
  1

• fix(hy-syntax): close escape overflow panics and malformed literal gaps (fixes #621)

  #622·sonson0910 opened Oct 18, 2026Contributor·

  ·
  1

• fix(hy-check): close the call-arity and return-statement accept-side bypasses (#577 C9/C10)

  #620·isHeSatoshi opened Oct 18, 2026Contributor·

  ·

• fix(hy-emit): resolve and emit a parenthesized receiver in its own type (fixes #618)

  #619·Leimiu-G opened Oct 18, 2026Contributor·

  ·
  1

• fix(install): keep relative installations runnable after changing directories

  #617·bazingagdy-star opened Oct 18, 2026·

  ·

• [wildcard] (#605)

  #616·airdropia opened Oct 18, 2026Contributor·

  ·
  1

• fix(hy-check,hy-emit): enforce slice .pop() soundness, const-write, and lowering guards (#614)

  #615·sonson0910 opened Oct 18, 2026Contributor·

  ·
  1

• fix(hy-check): preserve and propagate local-closure interprocedural summaries across scopes, rebinds, moves, factories, and nested calls (fixes #612)

  #613·aazminu opened Oct 18, 2026·

  ·
  1

• fix(hy-syntax): a line-leading ( starts a statement, not an argument list (fixes #609)

  #611·Leimiu-G opened Oct 18, 2026Contributor·

  ·
  1

• fix(hy-emit): keep a binding's type through redundant parentheses (fixes #607)

  #608·Leimiu-G opened Oct 18, 2026Contributor·

  ·
  1

• fix(hy-check,hy-emit): close 5 P0 soundness and buildability gaps (Closes #575)

  #606·unclegareth-create opened Oct 18, 2026·

  ·
  1

• fix(hy-emit,hy-check): fix O8 slot-loan rebind/branch races and A3/T24 soundness gaps (#603)

  #604·sonson0910 opened Oct 18, 2026Contributor·

  ·
  1

• fix(tooling): scope test-registration guard to discovery start directory and package traversal (fixes #574)

  #602·Anekenonso opened Oct 18, 2026Contributor·

  ·
  1

• fix(tooling): reject malformed and contradictory checker JSON in differential harness (fixes #582)

  #601·Anekenonso opened Oct 18, 2026Contributor·

  ·
  1

• fix(tools): test-registration guard parses explicit Python command execution (fixes #596)

  #600·hardik4love-lang opened Oct 18, 2026·

  ·
  1

  2

• fix(hy-check): enforce loop-backedge moves across continue and fresh-copy locals

  #599·c-viper-work opened Oct 18, 2026·

  ·
  1