Issues

• hy-check: len/cap/copy results, file-level typed consts and named-fn/method-value locals escape the #2712 width check

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

• hy-check: typed widths from channel for-in bindings and select receive arms escape the #2712 width check

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

• hy-check: typed widths from for-in bindings (slice/array/map), method calls, fn-literal calls and channel receives escape the #2712 width check (HYB-E1002)

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

• hy-check (elided_literal.rs): reject type-elided struct literals {...} in interface and non-slice nested element slots (HYB-E1002)

  limitlessprojects/Go-Hybrid#3100 · Filter by author gttps opened on Nov 2, 2026
  2

• hy-check: const_init falsely rejects complex64/complex128 type ascriptions and chained local constants with HYB-E6003

  limitlessprojects/Go-Hybrid#3098 · Filter by author gttps opened on Nov 2, 2026
  3

• hy-check: O8 slot loans on composite-literal/receive rvalue projections and closure map/string sub-stores bypass HYB-E2010

  limitlessprojects/Go-Hybrid#3096 · Filter by author gttps opened on Nov 2, 2026
  2

• [tooling] AND-list followed by a successful line hides test failure from registration guard

  limitlessprojects/Go-Hybrid#3095 · Filter by author jhrch7 opened on Nov 2, 2026
  4

• [soundness] hy-check: 'nil' match arm patterns on non-nilable types and out-of-range integer patterns pass check and fail go build (Row 13 BUILDABLE)

  limitlessprojects/Go-Hybrid#3090 · Filter by author Oepjdihc2008 opened on Nov 1, 2026
  3

• [soundness] hy-check: walk TypeExpr array lengths in composite/fn literals and locals for HYB-E3008 / HYB-E6001 (Row 13 BUILDABLE)

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

• [soundness] hy-check: task spawn callee validation, parallel array-length mismatch, and compound assignment single-value check (Row 13 BUILDABLE)

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

• [soundness] hy-check: 'copy' builtin allows slice element scalar mismatches and copying string into non-byte integer slices (Row 13 BUILDABLE)

  limitlessprojects/Go-Hybrid#3085 · Filter by author Dimank92 opened on Nov 1, 2026
  3

• [soundness] hy-check: typed int/float values pass check as complex targets and operands, letting mismatched assignments, returns, args, and binary ops fail go build (Row 13 BUILDABLE)

  limitlessprojects/Go-Hybrid#3083 · Filter by author Dimank92 opened on Nov 1, 2026
  3

• [buildable] hy-check: generic function call arguments are never kind-checked: eq(1, "a"), push([]int{1}, "a"), id[int]("x") pass check, fail go build

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

• [soundness] hy-check: complex64/complex128 and complex() result kinds are Unknown, letting mismatched returns, assignments, and operands pass check (Row 13 BUILDABLE)

  limitlessprojects/Go-Hybrid#3077 · Filter by author Dimank92 opened on Nov 1, 2026
  3

• [soundness] hy-check: print() and println() void return values used in value positions pass check and fail go build (Row 13 BUILDABLE)

  limitlessprojects/Go-Hybrid#3074 · Filter by author Dimank92 opened on Nov 1, 2026
  3

• [soundness] hy-check: real() and imag() result kinds are Unknown, letting mismatched returns, assignments, and operands pass check (Row 13 BUILDABLE)

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

• [soundness] hy-check: new(T) result kind is Pointer(Unknown), letting mismatched pointer returns and assignments pass check (Row 13 BUILDABLE)

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

• [soundness] hy-check: non-existent struct fields and field selectors on non-struct types (int, bool, string, chan, slice, map) pass check and fail go build (Row 13 BUILDABLE)

  limitlessprojects/Go-Hybrid#3066 · Filter by author Dimank92 opened on Nov 1, 2026
  3

• [buildable] for-in over a string binds the element as untyped int, not rune: byte/int uses pass hyb check, fail go build

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

• [soundness] hy-check: 'error' has no OpKind, letting invalid returns, scalar assignments, operands (err + 1), and invalid call arguments pass check (Row 13 BUILDABLE)

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

• [soundness] hy-check: non-complex arguments to real()/imag() and non-float arguments to complex() pass check and fail go build (Row 13 BUILDABLE)

  limitlessprojects/Go-Hybrid#3061 · Filter by author Dimank92 opened on Nov 1, 2026
  3

• [wildcard] Flip X1: exact-value arithmetic — silent integer wraparound becomes a named, checked effect, adjudicated by a BigInt reference oracle

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

• [soundness] hy-check: 'set[T]' has no OpKind, letting invalid returns, mismatched set returns, and scalar call arguments pass check (Row 13 BUILDABLE)

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

• [soundness] hy-check: non-literal value expressions (variables, calls, binary ops, field/index access) passed to new() pass check and fail go build (Row 13 BUILDABLE)

  limitlessprojects/Go-Hybrid#3055 · Filter by author Dimank92 opened on Nov 1, 2026
  3

• tools/differential_loop: validate EXPECTED-VERDICT/DIAGNOSTIC headers and harden build_and_run UTF-8/OSError handling

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