Issues

• [soundness] hy-emit: bare return in named-result error functions emits zero-filled return, silently clobbering assigned results and swallowing errors

  limitlessprojects/Go-Hybrid#1450 · Filter by author ryder777777 opened on Oct 24, 2026

• hy-syntax: parse_results rejects named result items with non-identifier types ([]T, [N]T, *T, chan, fn)

  limitlessprojects/Go-Hybrid#1448 · Filter by author ryder777777 opened on Oct 24, 2026

• [soundness] walk_addr_of_loan_projections omits Expr::Index (&n.arr[0]), check_stmt_emit_guard_inner omits check_slot_loan_rebind inside closures, and check_one_closure drops borrow_bindings (HYB-E3104 / T24 / O8 / O2)

  limitlessprojects/Go-Hybrid#1445 · Filter by author ubelai opened on Oct 24, 2026

• [wildcard] Machine-code STEXT call-graph certificates for @[noheap] Hybrid functions (Row 17)

  limitlessprojects/Go-Hybrid#1433 · Filter by author ryder777777 opened on Oct 24, 2026
  3

• [wildcard] Kill O8 Non-Lexical Map-Slot Loans: Eliminate Time-Traveling Store-Backs and the 25-Issue Slot-Loan Bug Factory via Write-Through Exclusive Loans

  limitlessprojects/Go-Hybrid#1427 · Filter by author hamzy-hams opened on Oct 24, 2026
  1

• [soundness] check_closure_slot_loans bypasses A7 use-after-consume (HYB-E3003) and A2 borrow-view / loop-iterator loan checks (HYB-E3101) for closure-local boundary handles

  limitlessprojects/Go-Hybrid#1412 · Filter by author ubelai opened on Oct 24, 2026

• [tooling] Preserve differential corpus reporting after build/program output decoding errors

  limitlessprojects/Go-Hybrid#1406 · Filter by author ALLENLT opened on Oct 24, 2026

• [soundness] check_closure_slot_loans omits O8 slot-loan uniqueness (emit_o8_alias_if_live) and closure-local alias A3 tracking

  limitlessprojects/Go-Hybrid#1403 · Filter by author ubelai opened on Oct 24, 2026

• [soundness] hy-check: scalar sync/atomic types accepted by value across task/chan boundaries and non-atomic assignments cause data races and go vet copylocks failures

  limitlessprojects/Go-Hybrid#1399 · Filter by author ryder777777 opened on Oct 24, 2026

• [soundness] hybridge: g.stackguard0 == stackPreempt (0xfffffffffffffade) unsigned-underflow bypasses fast-path stack guard on amd64, arm64, and win64

  limitlessprojects/Go-Hybrid#1397 · Filter by author ryder777777 opened on Oct 24, 2026

• [soundness] hy-emit: O8 slot loans flush before return-operand evaluation and drop store-backs on ? early returns

  limitlessprojects/Go-Hybrid#1398 · Filter by author ryder777777 opened on Oct 24, 2026

• [Wildcard Track Proposal] Lock-Free Slab Memory Allocator for High-Throughput Packet Buffering

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

• [wildcard] CPS Exit-Channel Linearization: Compile defer and recover as Affine Boundary Tokens, Deleting closures.rs Defer Heuristics and Proving Panic-Unwind Safety

  limitlessprojects/Go-Hybrid#1394 · Filter by author aerynsolace opened on Oct 24, 2026

• [soundness] deferred closure inside nested block and branch/shadow rebinds after defer bypass HYB-E3003 use-after-move across task spawn

  limitlessprojects/Go-Hybrid#1393 · Filter by author aerynsolace opened on Oct 24, 2026

• [soundness] package-level declarations shadowing predeclared callees/types erase composite return shapes and bypass HYB-E3001 / HYB-E3006

  limitlessprojects/Go-Hybrid#1386 · Filter by author ryder777777 opened on Oct 23, 2026

• [soundness] ranging over pointer-to-array (*[N]T / &arr) types elements as Unknown and drops may_share provenance across move spawns

  limitlessprojects/Go-Hybrid#1387 · Filter by author ryder777777 opened on Oct 23, 2026

• [tooling] Test-registration guard certifies help-only discovery commands that execute no tests (patch + regressions)

  limitlessprojects/Go-Hybrid#1377 · Filter by author ajde0606 opened on Oct 23, 2026

• [soundness] HYB-E3006 bypassed when const composite/struct is mutated via indexed, returned, channel-received, or field/aliased function call

  limitlessprojects/Go-Hybrid#1363 · Filter by author martiindev710 opened on Oct 23, 2026

• [soundness] hy-check: multi-return call through fn-typed struct field drops channel direction and lets close(rx) on <-chan T pass hyb check

  limitlessprojects/Go-Hybrid#1358 · Filter by author martiindev710 opened on Oct 23, 2026

• [INVARIANT 4 BUILDABLE] hy-check/recv: send-only channels through slice/append/nested-receive and Result/enum match guards bypass HYB-E2008 / HYB-E3005

  limitlessprojects/Go-Hybrid#1347 · Filter by author dancerdan15 opened on Oct 23, 2026
  3

• [INVARIANT 4 BUILDABLE] hy-emit/rangebind: indexed callees (fns[i](x), r.fns[i](x)) drop for-in range binders and match-guard prebindings, failing go build with undefined variable

  limitlessprojects/Go-Hybrid#1345 · Filter by author dancerdan15 opened on Oct 23, 2026
  1

• [INVARIANT 4 BUILDABLE] hy-check/addressable: string-index assignment/loan (s[0] = v, &s[0]), parenthesized map sub-projections (&(m[k].f)), and call-rvalue projections (&fn().f) bypass HYB-E2010

  limitlessprojects/Go-Hybrid#1343 · Filter by author dancerdan15 opened on Oct 23, 2026
  4

• tools/runner/runner.py: redact() false-positives on *_PATH variables while leaking token values, commands loop breaks fail-soft contract on non-dict steps, and bool/non-finite timeouts go unvalidated

  limitlessprojects/Go-Hybrid#1339 · Filter by author dancerdan15 opened on Oct 23, 2026
  1

• runtime/go/{jsonbinding,regexbinding}: init() violates Row-4 SMALL guard-class contract (Cross1 vs Cross1S), pinString heap-escapes runtime.Pinner, and IsMatch accepts non-boolean C-ABI status words

  limitlessprojects/Go-Hybrid#1335 · Filter by author dancerdan15 opened on Oct 23, 2026
  1

• tools/check_test_registration.py: option-value consumption bug in registered_discoveries, unhandled OSError exit-code violation, and unnormalized direct script paths

  limitlessprojects/Go-Hybrid#1333 · Filter by author dancerdan15 opened on Oct 23, 2026
  1