Issues

• hy-check(builtins): len, cap, delete, min, max, real, imag, and complex accept nil and non-numeric literals (HYB-E2005)

  limitlessprojects/Go-Hybrid#2848 · Filter by author carelessdept opened on Nov 1, 2026
  2

• Soundness: function/method calls and return statements permit mismatched typed numeric operands

  limitlessprojects/Go-Hybrid#2847 · Filter by author jdjioe5-cpu opened on Nov 1, 2026
  1

• hy-check: calls through closure locals / fn-typed params skip argument type checks — f := fn(x int); f("a") accepted (HYB-E1002, Row 13)

  limitlessprojects/Go-Hybrid#2845 · Filter by author nyxlabs29-cyber opened on Nov 1, 2026
  1

• hy-check: option[T].or(...) argument, *[N]T pointer-to-array ops, and user .pop() method on slice aliases drop channel direction (bypasses HYB-E3008 / HYB-E3009 / HYB-E3012)

  limitlessprojects/Go-Hybrid#2840 · Filter by author aswadi opened on Nov 1, 2026

• [buildable] method expression calls (pt.get(1), pt.get(), pt.add(q, "a"), g := pt.add; g(q)) are never checked: receiver, arity and argument types pass hyb check, fail go build

  limitlessprojects/Go-Hybrid#2834 · Filter by author nyxlabs29-cyber opened on Nov 1, 2026
  2

• Soundness: modulo/bitwise operators (%, &, |, ^) and compound assignments permit mismatched typed numeric operands

  limitlessprojects/Go-Hybrid#2832 · Filter by author jdjioe5-cpu opened on Nov 1, 2026
  2

• hy-check accepts binary arithmetic, bitwise, and compound assignments with mismatched typed numeric operands violating Row 13 BUILDABLE

  limitlessprojects/Go-Hybrid#2827 · Filter by author jdjioe5-cpu opened on Nov 1, 2026
  2

• hy-check accepts copy() with mismatched slice element types and non-byte slice from string violating Row 13 BUILDABLE

  limitlessprojects/Go-Hybrid#2825 · Filter by author jdjioe5-cpu opened on Nov 1, 2026
  2

• [soundness] option[T] operand kind is Unknown: op + 1, takes_int(op), var s string = op.unwrap(), option[int] as option[string] pass hyb check, go build fails (HYB-E1002 fail-open)

  limitlessprojects/Go-Hybrid#2823 · Filter by author 00Desa00 opened on Nov 1, 2026
  2

• hy-check accepts channel send with incompatible typed numeric/scalar operands violating Row 13 BUILDABLE

  limitlessprojects/Go-Hybrid#2817 · Filter by author jdjioe5-cpu opened on Nov 1, 2026
  1

• hy-check accepts invalid slice-to-string and string-to-slice conversions (non-byte/rune elements) violating Row 13 BUILDABLE

  limitlessprojects/Go-Hybrid#2811 · Filter by author jdjioe5-cpu opened on Nov 1, 2026
  2

• [wildcard] Allocation-freedom as a checked effect: an alloc summary (none/bounded/unbounded) plus opt-in noalloc admission, certified by two Go oracles (-gcflags=-m escapes + allocs/op == 0)

  limitlessprojects/Go-Hybrid#2810 · Filter by author Dimany4 opened on Nov 1, 2026

• tools/shepherd.py: cmd_probe crashes at line 522 with NameError / TypeError on free variable 'r'

  limitlessprojects/Go-Hybrid#2809 · Filter by author carelessdept opened on Nov 1, 2026
  1

• [P0] hy-check(recv): expression TypeExpr array lengths, composite field/option/slice projections, and match/if bindings bypass HYB-E2008/HYB-E3005

  limitlessprojects/Go-Hybrid#2780 · Filter by author ket4min-susan opened on Nov 1, 2026
  2

• hy-emit: N5 zero-map allocation fails go build or panics on new/addr-of arrays, const/hex partial arrays, and elided field literals

  limitlessprojects/Go-Hybrid#2806 · Filter by author ket4min-susan opened on Nov 1, 2026

• Soundness: hy-check accepts map indexing and delete with mismatched concrete numeric key types (Row 13 BUILDABLE violation)

  limitlessprojects/Go-Hybrid#2804 · Filter by author jdjioe5-cpu opened on Nov 1, 2026

• [P0] hy-check(addressable): closure-bound map parameters/locals/binders, *[N]T pointer-to-array hops, and nested/composite &m[k].f loans bypass HYB-E2010

  limitlessprojects/Go-Hybrid#2797 · Filter by author ket4min-susan opened on Nov 1, 2026
  2

• hy-check: arrays of different lengths ([3]int vs [4]int) compared or assigned pass check; go build fails

  limitlessprojects/Go-Hybrid#2771 · Filter by author nyxlabs29-cyber opened on Nov 1, 2026
  3

• hy-check(elided_literal): type-elided composite literals in non-struct/non-slice slots, type-expr array lengths, and invalid elided struct fields bypass HYB-E1002

  limitlessprojects/Go-Hybrid#2755 · Filter by author ket4min-susan opened on Nov 1, 2026
  1

• hy-check: slice and map literals permit mismatched concrete numeric types (Row 13 BUILDABLE)

  limitlessprojects/Go-Hybrid#2788 · Filter by author jdjioe5-cpu opened on Nov 1, 2026
  2

• [Soundness] hy-check: index and slice bound expressions accept untyped nil operands on non-nilable targets (Row 13 BUILDABLE violation)

  limitlessprojects/Go-Hybrid#2753 · Filter by author jdjioe5-cpu opened on Nov 1, 2026
  2

• [P0] hy-check(range_iter): composite option/send-only-channel iterables, option/composite/complex range bounds, and unary/shift/const-binary typed bounds bypass HYB-E2009

  limitlessprojects/Go-Hybrid#2784 · Filter by author ket4min-susan opened on Nov 1, 2026
  1

• [soundness] hy-check allows bare return and under-arity returns in unnamed error-tail functions (Row 13 BUILDABLE violation)

  limitlessprojects/Go-Hybrid#2749 · Filter by author jdjioe5-cpu opened on Nov 1, 2026
  3

• [soundness] Builtin append accepts untyped nil as first argument and in non-nilable element positions (Row 13 BUILDABLE violation)

  limitlessprojects/Go-Hybrid#2745 · Filter by author jdjioe5-cpu opened on Nov 1, 2026
  2

• [P0] hy-emit: emit_return corrupts multi-value/named/closure returns and call_results misses method/assoc/closure ? arity

  limitlessprojects/Go-Hybrid#2740 · Filter by author ket4min-susan opened on Nov 1, 2026