Issues

• [soundness] P0: append into bounded const reslices bypasses T22 (HYB-E3006 data race) and overlapping O8 slot loans / indexed field stores bypass HYB-E3102 (lost write on store-back)

  limitlessprojects/Go-Hybrid#560 · Filter by author sonson0910 opened on Oct 18, 2026
  1

• [soundness] P0: callee-returned file-level const composites and intra-callee multi-value return sharing bypass T22, O5.1, O5.2, and A3

  limitlessprojects/Go-Hybrid#553 · Filter by author sonson0910 opened on Oct 18, 2026

• [soundness] P0: clear() builtin and in-place package mutators (sort.ints / sort.slice) bypass T22 const immutability (HYB-E3006) and A3 map-slot loan invalidation (HYB-E3102)

  limitlessprojects/Go-Hybrid#548 · Filter by author sonson0910 opened on Oct 18, 2026

• [soundness] P0: shadowing loop binder defeats the O8 last-use flush — store-back deferred past task worker(move m), data race

  limitlessprojects/Go-Hybrid#547 · Filter by author zuluagh opened on Oct 18, 2026
  1

• [soundness] P0: O8 slot-loan store-back emitted after a sibling-branch move — accepted program races on the moved map

  limitlessprojects/Go-Hybrid#546 · Filter by author zuluagh opened on Oct 18, 2026

• [wildcard] Kill unchecked managed(..., "mutex"|"atomic") string permits and flip GUARANTEES Rows 8, 10, and 11 via Linear Synchronization Capsules

  limitlessprojects/Go-Hybrid#544 · Filter by author carelessdept opened on Oct 18, 2026
  1

• [soundness] const identifier alias bypasses HYB-E6002: const big = 300; var n int8 = big passes hyb check, emitted Go fails go build

  limitlessprojects/Go-Hybrid#538 · Filter by author ApelKristian opened on Oct 18, 2026
  2

• [wildcard] Heap-freedom as a checked claim: noheap functions certified by Go's own escape analysis on the emitted Go

  limitlessprojects/Go-Hybrid#537 · Filter by author lurkwizard opened on Oct 18, 2026

• [soundness] Shadowed package imports, write-only/duplicate bindings, hy-emit scope-hint bleed across shadow/closure boundaries, and eager multi-guarded match ? evaluation

  limitlessprojects/Go-Hybrid#533 · Filter by author o2splatform-cmyk opened on Oct 18, 2026
  1

• [soundness] Slot-loan paren/field/closure/match-guard escapes, cyclic/shadowed const init, boolean/shadowed array lengths, and channel direction/recv bypasses (0 diagnostics)

  limitlessprojects/Go-Hybrid#532 · Filter by author o2splatform-cmyk opened on Oct 18, 2026
  1

• [soundness] constant overflow and float truncation in channel send statements and select send cases silently accepted: ch <- 300 passes check, emitted Go fails to build

  limitlessprojects/Go-Hybrid#529 · Filter by author dezzy-music opened on Oct 17, 2026

• [soundness] constant overflow in return statements silently accepted

  limitlessprojects/Go-Hybrid#527 · Filter by author rickymulya opened on Oct 17, 2026

• [soundness] constant overflow in function, method, and builtin call arguments silently accepted

  limitlessprojects/Go-Hybrid#525 · Filter by author rickymulya opened on Oct 17, 2026

• [soundness] floating-point constant zero divisors and float modulo bypass HYB-E6001: x / 0.0 and const c = 1.0 / 0.0 pass check, emitted Go fails to build

  limitlessprojects/Go-Hybrid#523 · Filter by author dezzy-music opened on Oct 17, 2026

• hy-check: local closure / IIFE calls and file-level consts bypass callee param-store tracking; const-param mutation misses match arms, branch rebinds, IIFEs and helper stores

  limitlessprojects/Go-Hybrid#521 · Filter by author exantiv opened on Oct 17, 2026

• [soundness] constant overflow in composite literals silently accepted: user{age: 300} and []int8{300} pass check, emitted Go fails to build

  limitlessprojects/Go-Hybrid#519 · Filter by author rickymulya opened on Oct 17, 2026

• [soundness] Go legacy octal literals in typed constant initializers falsely rejected as overflow: var n int8 = 0177 rejects HYB-E6002, emitted Go builds

  limitlessprojects/Go-Hybrid#517 · Filter by author dezzy-music opened on Oct 17, 2026
  1

• [soundness] constant overflow in struct field assignments silently accepted: u.age = 300 passes check, emitted Go fails to build

  limitlessprojects/Go-Hybrid#514 · Filter by author rickymulya opened on Oct 17, 2026

• [soundness] constant-arithmetic zero divisor still accepted: x / (1 - 1) passes check, emitted Go fails to build

  limitlessprojects/Go-Hybrid#508 · Filter by author ApelKristian opened on Oct 17, 2026
  1

• [soundness] Calls & closures inside Assign target places, parenthesized callees, A3 closure/method/inline-FnLit callees, and shadowed builtins bypass HYB-E3003 / E3006 / E3102 / E2005 (0 diagnostics)

  soundness
  limitlessprojects/Go-Hybrid#500 · Filter by author o2splatform-cmyk opened on Oct 17, 2026
  2

• [soundness] Malformed \x/\u/\U escapes are silently accepted (0 diagnostics) with corrupted string values: "\u{41}" lexes to "41}"

  limitlessprojects/Go-Hybrid#498 · Filter by author trikiman opened on Oct 17, 2026

• [tooling] Decode checker JSON as UTF-8 independently of the host locale

  limitlessprojects/Go-Hybrid#492 · Filter by author MxianD opened on Oct 17, 2026
  3

• [wildcard] Monotone task regions: shared evolving facts with schedule-independent observations

  limitlessprojects/Go-Hybrid#482 · Filter by author Arnavquartz opened on Oct 17, 2026

• [Tooling] Successful Kaggle fetch can promote a cached passing summary over fresh failing output

  limitlessprojects/Go-Hybrid#478 · Filter by author nicumatis82-alt opened on Oct 17, 2026
  2

• Corpus harness can execute a different checker than the validated local --bin file

  limitlessprojects/Go-Hybrid#477 · Filter by author MinhThanghus opened on Oct 17, 2026
  2