All pull requests

Pull requests

• fix(hy-check): validate call arity and reject non-callable symbols on encoding/base64 (fixes #4246)

  #4247·SADIQ2M opened Nov 9, 2026·3 tasks done·

  ·
  1

• fix(hy-check): reject pointer-receiver calls and .pop() on nested range-copy fields/arrays (fixes #4244)

  #4245·Mekdou23 opened Nov 9, 2026·

  ·
  1

• fix(hy-check): reject slicing StructLit fields, channel receives, and move-wrapped arrays (fixes #4242)

  #4243·Mekdou23 opened Nov 9, 2026·

  ·
  1

• tools(triage): add chunked foreground --limit, --since-pr, and --resume scan mode

  #4240·vandurmedries opened Nov 9, 2026·

  ·

• hy-check(buildable): validate encoding/hex call arity aligned with M5 curated surface (fixes #4218)

  #4239·vandurmedries opened Nov 9, 2026·

  ·
  1

• hy-check(buildable): enforce hex/strconv member call arity and reject non-callable package symbols (fixes #4218, #4135)

  #4238·wminno opened Nov 9, 2026Contributor·

  ·
  1

• feat(w4176b): successor-closed .hcert over the emitted Go + -race oracle (#4176)

  #4237·kyleslight opened Nov 9, 2026·

  ·

• restore(examples): restore degraded 03, 07, 08 and 10 examples from s158 tree

  #4236·seenorht opened Nov 9, 2026Contributor·

  ·

• hy-check(buildable): reject package-level name collisions with sibling .go and .hy files (fixes #4222)

  #4235·dextermos-dev opened Nov 9, 2026Contributor·

  ·

• hy-check(buildable): validate associated function member and argument resolution (fixes #4223)

  #4234·dextermos-dev opened Nov 9, 2026Contributor·

  ·

• test(corpus): pin move-sent struct with a slice field at a channel send site

  #4233·matrixneoaiagent opened Nov 9, 2026Contributor·

  ·
  2

• test(corpus): pin move-sent struct with value array vs shared-slice alias at channel send site

  #4232·vandurmedries opened Nov 9, 2026·

  ·
  1

• hy-check(buildable): validate associated function calls on instances and argument types (fixes #4223)

  #4231·vandurmedries opened Nov 9, 2026·

  ·
  1

  1

• fix(check): enforce member and argument resolution on associated function calls (fixes #4223)

  #4230·cryptowebbuild opened Nov 9, 2026·

  ·
  1

• hy-check(foreign): expand M5 curated allowlist to include log, compress/gzip, and archive/tar

  #4229·dextermos-dev opened Nov 9, 2026Contributor·

  ·

• test(corpus): pin move-sent struct at a select send clause (SPEC C5)

  #4228·CrowAleksito opened Nov 9, 2026·

  ·
  2

• fix: [wildcard] Statically verifiable nursery cancellation and channel lifecycle invariants via structured effect types (#4200)

  #4227·Madatest opened Nov 9, 2026·

  ·
  1

• feat(w4176): exhaustive schedule enumerator + replayable .hcert certificate spike (#4176)

  #4226·vandurmedries opened Nov 9, 2026·

  ·
  1

  1

• fix(hy-check): track composite closure holder capture cells across rebinds and scopes (fixes #3413)

  #4225·gorky117-cell opened Nov 9, 2026Contributor·

  ·
  1

• fix(hy-check): enforce A5 closure escape across iterate, channel recv, multi-return, and subslice (fixes #4060)

  #4224·gorky117-cell opened Nov 9, 2026Contributor·

  ·
  1

• fix: statically verifiable nursery cancellation and SPSC channel lifecycle invariants (#4200)

  #4221·Sora1916 opened Nov 9, 2026·

  ·
  1

  2

• hy-check(buildable): validate call arity and reject non-callable symbols on encoding/hex (fixes #4218)

  #4219·SuperPiIot opened Nov 9, 2026·

  ·
  1

  1

• fix(hy-check): foreign package regexp call arity bypass (fixes #4216)

  #4217·bradwue313 opened Nov 8, 2026Contributor·

  ·
  1

  1

• hy-check(buildable): validate call arity and reject non-callable symbols on archive/tar (fixes #4214)

  #4215·dextermos-dev opened Nov 8, 2026Contributor·

  ·
  2

• hy-check(buildable): validate call arity and reject non-callable symbols on compress/gzip (fixes #4212)

  #4213·dextermos-dev opened Nov 8, 2026Contributor·

  ·
  2