Issues

• [soundness] hy-check(A5): HYB-E3013 escape check does not fire when the file omits the foreign package's import

  limitlessprojects/Go-Hybrid#4493 · Filter by author dankezo opened on Nov 15, 2026
  1

• [wildcard] Checked allocation: a heap budget for the checked subset

  💎 Bountywildcard
  limitlessprojects/Go-Hybrid#4492 · Filter by author dankezo opened on Nov 15, 2026
  2

• [wildcard] Flip GUARANTEES Row 15: ABI-Verified Foreign Memory Membranes (Certified Cgo Soundness via Clang AST Bounds & Stack Pin Certificates)

  limitlessprojects/Go-Hybrid#4491 · Filter by author gorky117-cell opened on Nov 15, 2026
  1

• [soundness] hy-check(loans): .insert() and .remove() on const set[T] bypass HYB-E3006 and reach concurrent map race

  limitlessprojects/Go-Hybrid#4489 · Filter by author dev-shiki opened on Nov 15, 2026
  1

• [wildcard] Publication-authority regions: checked parallel intent plans with aggregate obligations

  💎 Bountywildcard
  limitlessprojects/Go-Hybrid#4488 · Filter by author ilhamraduanbis-source opened on Nov 15, 2026
  3

• [soundness] hy-check(buildable): hy package call arity bypass and non-callable capability types (HYB-E1002, Row 13)

  limitlessprojects/Go-Hybrid#4485 · Filter by author gorky117-cell opened on Nov 15, 2026
  1

• [soundness] hy-check(buildable): rust/flate2 crate functions bypass call arity validation and struct type is accepted as call target (HYB-E1002, Row 13)

  limitlessprojects/Go-Hybrid#4483 · Filter by author gorky117-cell opened on Nov 15, 2026
  1

• [soundness] hy-check(shape,channel_liveness): multi_value_shapes/tys hijack user-defined pipe/new_pipe and shadowed hy.pipe as OwnHandle capabilities, smuggling closures/mutexes across task boundaries (HYB-E3001/E3005/E3104)

  limitlessprojects/Go-Hybrid#4481 · Filter by author ocakciomursel-pixel opened on Nov 14, 2026
  1

• [buildable] hy-check(foreign): foreign_method_surface omits curated json.marshaler, json.unmarshaler, and net/http cookie_jar/dir/protocols/error surfaces (HYB-E1002, Row 13)

  limitlessprojects/Go-Hybrid#4478 · Filter by author jpereyra243-byte opened on Nov 14, 2026
  2

• hyb generate: recursive walk enters testdata, _-prefixed dirs and nested modules, so a fixture there aborts the whole run

  limitlessprojects/Go-Hybrid#4475 · Filter by author stmr opened on Nov 14, 2026
  2

• README front-door example fails hyb check, its build commands can't run, and the quoted corpus counts are stale (make census passes anyway)

  limitlessprojects/Go-Hybrid#4473 · Filter by author stmr opened on Nov 14, 2026
  1

• [tooling] hyb build success banner prints the compile-time pin, not the go that built

  limitlessprojects/Go-Hybrid#4471 · Filter by author stmr opened on Nov 14, 2026
  1

• [tooling] hyb build of any rust/* program fails on Go 1.26.11 / 1.27.4: libhyrt.a embeds LLVM bitcode that cgo now rejects

  limitlessprojects/Go-Hybrid#4470 · Filter by author stmr opened on Nov 14, 2026
  3

• [wildcard] Total Tier-0: delete fail-open — every accepted program must carry a machine-checkable certificate or be rejected

  limitlessprojects/Go-Hybrid#4465 · Filter by author IMRAN104 opened on Nov 14, 2026
  3

• hy-emit: hy.pipe[T] / hy.send_cap / hy.recv_cap have no emit path — every accepted capability program fails go build (package hy is not in std), Row 13

  limitlessprojects/Go-Hybrid#4464 · Filter by author jorge123255 opened on Nov 14, 2026
  1

• hy-check(channel_liveness): capability identity leaks between function bodies — a move tx in one fn rejects another fn's own tx (declaration order decides)

  limitlessprojects/Go-Hybrid#4462 · Filter by author jorge123255 opened on Nov 14, 2026
  1

• hy-diag(registry): emitted codes HYB-E4004/HYB-E4005 are unregistered, hyb explain answers "unknown diagnostic code", and nothing joins source to registry

  limitlessprojects/Go-Hybrid#4460 · Filter by author jorge123255 opened on Nov 14, 2026
  1

• hy-emit(recv): a value received from a channel keeps snake_case member access, so accepted programs do not build (Row 13, the recv provenance path missing from #4356)

  limitlessprojects/Go-Hybrid#4458 · Filter by author jorge123255 opened on Nov 14, 2026
  1

• hy-check(sendability): atomic-typed value passed by value at a spawn/send is accepted and silently loses every write (class 2 is only true behind &)

  limitlessprojects/Go-Hybrid#4457 · Filter by author jorge123255 opened on Nov 14, 2026
  1

• tools: census guard never checks the GUARANTEES verdict breakdown (doc already drifted 67/32/2 vs 92/45/2)

  limitlessprojects/Go-Hybrid#4454 · Filter by author jorge123255 opened on Nov 14, 2026
  1

• [soundness] complex64/complex128/shifted float const overflow (HYB-E6002) and negated rune conversions (HYB-E6006) escape hyb check

  limitlessprojects/Go-Hybrid#4446 · Filter by author tremendare opened on Nov 13, 2026
  1

• [soundness] hy-check(builtins): A5 foreign Go closure escape omits builtin append backing-storage mutation (HYB-E3013 data race)

  limitlessprojects/Go-Hybrid#4444 · Filter by author tremendare opened on Nov 13, 2026
  1

• [soundness] hy-check: bound method values and indirect closure callees drop receiver/captured provenance across O5.2, O5.4, and A3

  limitlessprojects/Go-Hybrid#4442 · Filter by author tremendare opened on Nov 13, 2026
  1

• [bug] hyb(build): --package skips Go identifier/path-traversal validation and clobbers hand-written .go files in --out-dir

  limitlessprojects/Go-Hybrid#4439 · Filter by author Khanhtnq opened on Nov 13, 2026
  1

• [soundness] hy-check(channel_liveness): return, ? try, break, and continue early exits bypass HYB-E4004/HYB-E4005 and per-iteration hy.pipe loops false-positive

  limitlessprojects/Go-Hybrid#4437 · Filter by author Khanhtnq opened on Nov 13, 2026
  1