Issues

[soundness] hy-check(recv): substitute generic call return types, bind enum match guards, and resolve file consts in recv_chan_type_expr (HYB-E2008)

limitlessprojects/Go-Hybrid#4064 · opened

on Nov 7, 2026

1

[soundness] hy-check: A5 escaping closures bypass HYB-E3013 via for-in element bindings, channel receives, multi-return destructuring, and sub-slice/try projections; channel alias composite literals bypass HYB-E2005

limitlessprojects/Go-Hybrid#4060 · opened

on Nov 7, 2026

1

[wildcard] Statically-Verified Deadlock Freedom via Finite Dependency-Rank Forests for Cyclic Channel Topologies (Flipping GUARANTEES Row 16 to Tier-0)

limitlessprojects/Go-Hybrid#4058 · opened

on Nov 7, 2026

2

[buildable] hy-check(foreign): foreign_method_surface omits curated net.conn, net.listener, net.tcp_conn, and net.tcp_listener method surfaces (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4046 · opened

on Nov 7, 2026

3

[buildable] hy-check(foreign): `foreign_method_surface` omits curated `http.serve_mux`, `http.header`, and `http.transport` method surfaces (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4044 · opened

on Nov 7, 2026

4

[buildable] hy-check(foreign): `foreign_method_surface` omits curated `url.values` method surface (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4043 · opened

on Nov 7, 2026

4

[buildable] hy-check(foreign): `foreign_method_surface` omits curated `time.duration` method surface (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4042 · opened

on Nov 7, 2026

2

[buildable] hy-check(foreign): foreign_method_surface omits curated time.duration method surface (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4041 · opened

on Nov 7, 2026

2

[soundness] hy-check(addr_loan): run second-pass loop-carried slot-loan checks on top-level for loops and reject &pa[0]["k"] pointer-to-array map borrows (HYB-E3104)

limitlessprojects/Go-Hybrid#4039 · opened

on Nov 7, 2026

2

hy-check(sendability): check_composite_nils misses non-nilable map keys (map[int]int{nil: 1}), elided nested struct/slice literals, and some(nil) (HYB-E2001, Row 13)

limitlessprojects/Go-Hybrid#4036 · opened

on Nov 7, 2026

2

hy-check(loans): field_borrow_kind ignores generic struct instantiations (box[int], set[int]) in struct fields and borrow slots (HYB-E3009 / HYB-E3004)

limitlessprojects/Go-Hybrid#4034 · opened

on Nov 7, 2026

2

hy-emit: missing comparable constraint inference for generic struct fields, type aliases, and composite equality (Row 13 BUILDABLE)

limitlessprojects/Go-Hybrid#4032 · opened

on Nov 7, 2026

3

hy-check(resolve): function and closure parameter/result names are seeded into scope before checking signature array lengths ([n + 1]int) (HYB-E1001, Row 13)

limitlessprojects/Go-Hybrid#4030 · opened

on Nov 7, 2026

3

hy-emit(rangebind): outer binding projected in same-name inner range bound (for a in 0..a[0] / 0..it.n) is blanked to _, failing go build

limitlessprojects/Go-Hybrid#4028 · opened

on Nov 7, 2026

3

hy-check(addr_loan): struct-field slot loans (&a.bal) and if-init slot loans (if n := &m[k]; ...) bypass HYB-E3104

limitlessprojects/Go-Hybrid#4026 · opened

on Nov 7, 2026

3

hy-emit(stmt): statement-level try and multi-value error returns emit uncompilable Go for user methods, generic fns, and stdlib error-only calls

limitlessprojects/Go-Hybrid#4024 · opened

on Nov 7, 2026

2

hy-emit(shapes): missing SHAPES and METHOD_RESULTS entries for curated bytes.buffer, strings.builder, and sync.waitgroup

limitlessprojects/Go-Hybrid#4022 · opened

on Nov 7, 2026

2

[soundness] hy-check: closures.rs misses A3 map-slot loan invalidation (HYB-E3102) and loan-escape (HYB-E3104) across move, alias, match arm, and iterate bindings (Rows 4 & 5)

limitlessprojects/Go-Hybrid#4020 · opened

on Nov 7, 2026

2

[buildable] hy-check(buildable): variadic spread (...) accepted in type conversions T(x...) (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4018 · opened

on Nov 7, 2026

1

[soundness] hy-check: zero-field structs omitted from Checker::structs and user-declared set/option structs bypass unknown/duplicate field literal checks, generic type-arg arity, and prelude-set range checks (HYB-E1002 / HYB-E2009, Row 13 BUILDABLE)

limitlessprojects/Go-Hybrid#4016 · opened

on Nov 7, 2026

2

[buildable] hy-check(tuple): single-value built-ins and type conversions accepted in multi-variable bindings (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4014 · opened

on Nov 7, 2026

2

[buildable] hy-check(buildable): variadic spread (...) accepted on non-variadic built-ins panic, print, make, new (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4013 · opened

on Nov 7, 2026

2

[buildable] hy-check(range_iter): bare const len in untyped hi hoists hyHi defaulting to int causing mismatched types with non-int lo (HYB-E2009, Row 13)

limitlessprojects/Go-Hybrid#4010 · opened

on Nov 7, 2026

1

[buildable] hy-check(addressable): address-of assignment target (&x = ...) accepted with 0 diagnostics (HYB-E2010, Row 13)

limitlessprojects/Go-Hybrid#4009 · opened

on Nov 7, 2026

2

soundness(hy-check): move projection chains drop index/slice subexpression uses and allow unrooted own-handle field moves (HYB-E3003 / HYB-E3004 / HYB-E3102 / HYB-E3104)

limitlessprojects/Go-Hybrid#4006 · opened

on Nov 7, 2026

2

Navigation Menu

Repository navigation

Issues

[soundness] hy-check(recv): substitute generic call return types, bind enum match guards, and resolve file consts in recv_chan_type_expr (HYB-E2008)

[soundness] hy-check: A5 escaping closures bypass HYB-E3013 via for-in element bindings, channel receives, multi-return destructuring, and sub-slice/try projections; channel alias composite literals bypass HYB-E2005

[wildcard] Statically-Verified Deadlock Freedom via Finite Dependency-Rank Forests for Cyclic Channel Topologies (Flipping GUARANTEES Row 16 to Tier-0)

[buildable] hy-check(foreign): foreign_method_surface omits curated net.conn, net.listener, net.tcp_conn, and net.tcp_listener method surfaces (HYB-E1002, Row 13)

[buildable] hy-check(foreign): `foreign_method_surface` omits curated `http.serve_mux`, `http.header`, and `http.transport` method surfaces (HYB-E1002, Row 13)

[buildable] hy-check(foreign): `foreign_method_surface` omits curated `url.values` method surface (HYB-E1002, Row 13)

[buildable] hy-check(foreign): `foreign_method_surface` omits curated `time.duration` method surface (HYB-E1002, Row 13)

[buildable] hy-check(foreign): foreign_method_surface omits curated time.duration method surface (HYB-E1002, Row 13)

[soundness] hy-check(addr_loan): run second-pass loop-carried slot-loan checks on top-level for loops and reject &pa[0]["k"] pointer-to-array map borrows (HYB-E3104)

hy-check(sendability): check_composite_nils misses non-nilable map keys (map[int]int{nil: 1}), elided nested struct/slice literals, and some(nil) (HYB-E2001, Row 13)

hy-check(loans): field_borrow_kind ignores generic struct instantiations (box[int], set[int]) in struct fields and borrow slots (HYB-E3009 / HYB-E3004)

hy-emit: missing comparable constraint inference for generic struct fields, type aliases, and composite equality (Row 13 BUILDABLE)

hy-check(resolve): function and closure parameter/result names are seeded into scope before checking signature array lengths ([n + 1]int) (HYB-E1001, Row 13)

hy-emit(rangebind): outer binding projected in same-name inner range bound (for a in 0..a[0] / 0..it.n) is blanked to _, failing go build

hy-check(addr_loan): struct-field slot loans (&a.bal) and if-init slot loans (if n := &m[k]; ...) bypass HYB-E3104

hy-emit(stmt): statement-level try and multi-value error returns emit uncompilable Go for user methods, generic fns, and stdlib error-only calls

hy-emit(shapes): missing SHAPES and METHOD_RESULTS entries for curated bytes.buffer, strings.builder, and sync.waitgroup

[soundness] hy-check: closures.rs misses A3 map-slot loan invalidation (HYB-E3102) and loan-escape (HYB-E3104) across move, alias, match arm, and iterate bindings (Rows 4 & 5)

[buildable] hy-check(buildable): variadic spread (...) accepted in type conversions T(x...) (HYB-E1002, Row 13)

[soundness] hy-check: zero-field structs omitted from Checker::structs and user-declared set/option structs bypass unknown/duplicate field literal checks, generic type-arg arity, and prelude-set range checks (HYB-E1002 / HYB-E2009, Row 13 BUILDABLE)

[buildable] hy-check(tuple): single-value built-ins and type conversions accepted in multi-variable bindings (HYB-E1002, Row 13)

[buildable] hy-check(buildable): variadic spread (...) accepted on non-variadic built-ins panic, print, make, new (HYB-E1002, Row 13)

[buildable] hy-check(range_iter): bare const len in untyped hi hoists hyHi defaulting to int causing mismatched types with non-int lo (HYB-E2009, Row 13)

[buildable] hy-check(addressable): address-of assignment target (&x = ...) accepted with 0 diagnostics (HYB-E2010, Row 13)

soundness(hy-check): move projection chains drop index/slice subexpression uses and allow unrooted own-handle field moves (HYB-E3003 / HYB-E3004 / HYB-E3102 / HYB-E3104)