All pull requests

Pull requests

• tools: verify GitHub Actions artifact digest before publishing (#4241)

  #4441·fransarriogisbert-gif opened Nov 13, 2026·

  ·
  1

• fix(hyb): validate --package Go identifier and guard package output overwrite (fixes #4439)

  bot:land-candidate
  #4440·Khanhtnq opened Nov 13, 2026Contributor·

  ·
  1

• fix(hy-check): enforce channel pipe liveness across early exits and loop scopes (fixes #4437)

  bot:land-candidate
  #4438·Khanhtnq opened Nov 13, 2026Contributor·

  ·
  1

• fix(hy-emit): record concurrency-proof witnesses for select send arms (fixes #4435)

  bot:land-candidate
  #4436·Khanhtnq opened Nov 13, 2026Contributor·

  ·
  1

• fix(hy-emit): lower intra-package pub fn references to exported Go names (fixes #4433)

  bot:land-candidate
  #4434·Khanhtnq opened Nov 13, 2026Contributor·

  ·
  1

• fix(tools): validate complete evidence paths containing parentheses

  bot:land-candidate
  #4432·z2vn7g8nhp-beep opened Nov 13, 2026·

  ·

• fix(hy-check): track move projection subexpression uses and reject unrooted field moves (fixes #4006)

  #4431·gorky117-cell opened Nov 13, 2026Contributor·

  ·
  1

• fix(hy-check): track closure slot loans across moves and enforce borrow escape (fixes #4020)

  bot:land-candidate
  #4430·gorky117-cell opened Nov 13, 2026Contributor·

  ·
  1

• feat(diag): diagnostic warrant registry and harness for compiler diagnostics (#4408)

  bot:land-candidate
  #4429·dextermos-dev opened Nov 13, 2026Contributor·

  ·
  1

• fix(installer): restore previous installation when promoted payload verification fails (fixes #4423)

  #4428·dextermos-dev opened Nov 13, 2026Contributor·

  ·
  1

• fix(hy-check): handle shadowed loop-carried moves and LX14 jumps. Fixes #739.

  bot:land-candidate
  #4427·Khanhtnq opened Nov 13, 2026Contributor·

  ·

• fix(hy-emit): lift indexed and field callee call expressions in rangebind (fixes #1345)

  bot:land-candidate
  #4426·Khanhtnq opened Nov 13, 2026Contributor·

  ·
  1

• fix(hy-check): bind match pattern variables before evaluating arm guards (fixes #883)

  #4425·Khanhtnq opened Nov 13, 2026Contributor·

  ·
  1

• fix(installer): roll back when promoted payload verification fails

  #4424·xmejl opened Nov 13, 2026·

  ·
  1

  1

• hy-check(closures): guard deferred uses against inner-block shadowing and consuming calls (fixes #4412)

  bot:land-candidate
  #4422·dextermos-dev opened Nov 13, 2026Contributor·

  ·
  1

• hy-check: track function and closure parameter capabilities in channel_liveness (fixes #4416)

  #4421·dextermos-dev opened Nov 13, 2026Contributor·

  ·
  1

• hy-emit: guard fn_shapes, assoc_fns and ptr_returning_fns against shadowed local bindings (fixes #4414)

  #4420·dextermos-dev opened Nov 13, 2026Contributor·

  ·
  1

• fix(generator): ignore sibling directories ending in .go during package inference (fixes #4418)

  #4419·cuckcoder opened Nov 13, 2026·

  ·
  1

• fix(hy-check): track function parameter capabilities and enforce linearity and lifecycle in channel_liveness (fixes #4416)

  #4417·seenorht opened Nov 12, 2026Contributor·

  ·
  1

• fix(hy-emit): honor local shadowing across call auto-addressing, assoc fns, and pointer returns (fixes #4414)

  bot:land-candidate
  #4415·ocakciomursel-pixel opened Nov 12, 2026Contributor·

  ·
  1

• fix(hy-check): track inner-block shadows and consuming calls after defer in closures.rs

  bot:land-candidate
  #4413·piyushison opened Nov 12, 2026·

  ·
  1

• fix(hy-check): honor shadowed generic type parameters across boundary checks (fixes #4410)

  bot:land-candidate
  #4411·ocakciomursel-pixel opened Nov 12, 2026Contributor·

  ·
  1

• fix(hy-check): resolve associated function calls (Type.fn) in loans.rs

  bot:land-candidate
  #4409·piyushison opened Nov 12, 2026·

  ·
  1

• fix(hy-check): propagate O8 slot loans across pointer-carrying composites and container stores (fixes #4405)

  bot:land-candidate
  #4406·ocakciomursel-pixel opened Nov 12, 2026Contributor·

  ·
  1

• fix(hy-check): reject field selectors through pointers to non-struct types (fixes #4403)

  bot:land-candidate
  #4404·1QDeath opened Nov 12, 2026·

  ·
  1