Issues

• [Tooling] Invalid UTF-8 makes conflict-marker scans silently discard ASCII evidence

  limitlessprojects/Go-Hybrid#2124 · Filter by author j0s3lu1555 opened on Oct 28, 2026

• [soundness] hy-check: ty_of_expr and multi_value_tys in shape.rs omit Expr::Receive and alias resolution on Expr::Index, bypassing HYB-E6002, HYB-E2009, and HYB-E2002

  limitlessprojects/Go-Hybrid#2119 · Filter by author mrglebx opened on Oct 28, 2026

• queue_sweeper: HTTP 422 operations counted as successful closures/comments

  limitlessprojects/Go-Hybrid#2107 · Filter by author maxleebr117-cmd opened on Oct 28, 2026

• [soundness] hy-check: check_array_len omits check_expr_builtin_args, allowing invalid builtin calls in array lengths ([len(1)]int, [cap(hi)]int) to bypass HYB-E2005

  limitlessprojects/Go-Hybrid#2102 · Filter by author jpereyra243-byte opened on Oct 28, 2026

• [soundness] hy-emit: for cond()? omits loan_frames loop sentinel and drops branch_inherit store-back on 0-trip exit

  limitlessprojects/Go-Hybrid#2100 · Filter by author jpereyra243-byte opened on Oct 28, 2026

• [Soundness] hy-check: type-elided struct literals {…} bypass check_struct_literal (U14/U15/field-type checks) and scalar composite checks (HYB-E1002 / Row 13 BUILDABLE)

  limitlessprojects/Go-Hybrid#2098 · Filter by author abrahamjbarnes opened on Oct 28, 2026

• [Soundness] hy-emit: foreign struct literal fields emit in snake_case and composite const bindings omit receiver/member shape registration (Row 13 BUILDABLE)

  limitlessprojects/Go-Hybrid#2096 · Filter by author abrahamjbarnes opened on Oct 28, 2026

• [tooling] Corpus census accepts malformed or duplicate verdict headers

  limitlessprojects/Go-Hybrid#2070 · Filter by author jeovanilopez-source opened on Oct 27, 2026

• [soundness] hy-check: moving an active O8 map-slot loan (task w(move s) / ch <- move s) bypasses HYB-E3104 and races with store-back (data race)

  limitlessprojects/Go-Hybrid#2066 · Filter by author tomaslizak opened on Oct 27, 2026
  2

• [soundness] hy-emit: O8 slot loan with parenthesized base (&(m)[k]) returns empty place_root and emits store-back after task spawn (data race)

  limitlessprojects/Go-Hybrid#2064 · Filter by author tomaslizak opened on Oct 27, 2026
  2

• [Soundness / Critical] loans.rs: scan_block_const_writes skips call may_share when check_writes=false and misses block-scoped post-closure const rebinds, bypassing HYB-E3006 with go run -race data races

  limitlessprojects/Go-Hybrid#2059 · Filter by author Agwstin opened on Oct 27, 2026

• [tooling] shepherd-board: the board check is red on most PRs (read-only fork token + scan exceeds the shared 5k/hr installation quota and the 20-min timeout)

  limitlessprojects/Go-Hybrid#2057 · Filter by author ryder777777 opened on Oct 27, 2026
  2

• [Soundness / Critical] loans.rs: collect_borrowed_roots only checks result 0 on multi-return calls and expr_has_borrow_shape omits Expr::Try, bypassing HYB-E3003/E3004/E3006 with go run -race data races

  limitlessprojects/Go-Hybrid#2052 · Filter by author Agwstin opened on Oct 27, 2026

• [wildcard] Zero-Trampoline Go Assembly Emission: Direct ABIInternal Stack-Switching Stubs (hy-asm) to Beat the 5 ns Budget (Row 20)

  limitlessprojects/Go-Hybrid#2049 · Filter by author hardik4love-lang opened on Oct 27, 2026
  1

• [Soundness] buildable.rs: check_signature_bindings omits type_params/receiver type args and fn_decl accepts unbuildable fn main result signatures (Row 13 BUILDABLE / HYB-E1002)

  limitlessprojects/Go-Hybrid#2048 · Filter by author Agwstin opened on Oct 27, 2026
  1

• [Soundness] check_type_name_in_value_position omits any, error, struct_type_params, and qualified types (pkg.TypeName), emitting unbuildable Go "<type> (type) is not an expression" (HYB-E1002 / Row 13 BUILDABLE violation)

  limitlessprojects/Go-Hybrid#2041 · Filter by author moonstory85 opened on Oct 27, 2026

• [Soundness] check_array_lit_items, check_slice_lit_items, and check_map_lit_entries unconditionally continue on LitKind::Nil, permitting nil in non-nilable composite literals (HYB-E1002 / Row 13 BUILDABLE violation)

  limitlessprojects/Go-Hybrid#2036 · Filter by author moonstory85 opened on Oct 27, 2026
  1

• [wildcard] The O18 tripwire has already fired: 94.5% of GoBench spawn sites are unprovable (30/34 kernels have none provable)

  limitlessprojects/Go-Hybrid#2015 · Filter by author milkingndb-oss opened on Oct 27, 2026
  1

• [wildcard] recover() is same-goroutine by spec: the exit-channel defer lowering cannot preserve panic semantics

  limitlessprojects/Go-Hybrid#2009 · Filter by author milkingndb-oss opened on Oct 27, 2026
  1

• [buildable] hy-check: check_addr_of_operand and call_result_kinds accept unaddressable composite-literal and rvalue-call projections under & (HYB-E1002)

  limitlessprojects/Go-Hybrid#2004 · Filter by author huangji6693-max opened on Oct 27, 2026

• hy-check: any-field composites drop non-owned/may-share edges (HYB-E3004/HYB-E3003) and closure aliases drop A3 slot-loan windows (HYB-E3102)

  limitlessprojects/Go-Hybrid#1997 · Filter by author myhubstat opened on Oct 27, 2026

• [Soundness] hy-emit: parenthesized zero-result ?, select header ?, &(x) address-of, and elided struct map keys fail emission or go build (Row 13 BUILDABLE)

  limitlessprojects/Go-Hybrid#1993 · Filter by author SovereignSektorz opened on Oct 27, 2026
  1

• [Soundness] hy-emit: parenthesized Expr::Field callees ((pkg.fn)(), (m.lock)(), (xs.pop)(), (T.assoc)(), (flate2.fn)()) bypass package, M4, prelude, assoc-fn, and unbound-crate gates

  limitlessprojects/Go-Hybrid#1991 · Filter by author SovereignSektorz opened on Oct 27, 2026
  1

• [Soundness] hy-emit: emit_call fails to unwrap Expr::Paren on (new)(T) N5 map allocation, SPEC conversions, set len/delete, ([]T)(x), and pointer auto-addressing

  limitlessprojects/Go-Hybrid#1989 · Filter by author SovereignSektorz opened on Oct 27, 2026
  1

• [Soundness] check_composite_nils in sendability.rs bypasses Rule N1 (HYB-E4001) on map keys, parenthesized array literals, generic structs, move operands, and some() wrappers

  limitlessprojects/Go-Hybrid#1987 · Filter by author SovereignSektorz opened on Oct 27, 2026
  2