Issues

• [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

• [Soundness] kinds_conflict in buildable.rs applies directional (Float, Int) exemption inside invariant type constructors ([]T, [N]T, chan T, map[K]V, *T) and copy(dst, src) (Row 13 BUILDABLE violation)

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

• checker: check_slice_lit_items and check_map_lit_entries permit int variables in float64 composite literals

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

• checker: check_slice_pop_operands omits structs and pointers, allowing undefined s.pop() calls

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

• [wildcard] MMU-Sealed Zero-Copy Page Arenas: O(1) mprotect page-sealing kills the 10k-node clone wall (W-005) and 758ns handle table (W-014)

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

• checker: is_addressable_expr incorrectly treats map index expressions as addressable

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

• checker: conversion_kinds_conflict omits Pointer operands, permitting invalid pointer-to-scalar conversions

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

• checker: equality_kinds_conflict and check_assign_operands permit float vs int equality and compound arithmetic

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

• checker: check_binary_operands permits arithmetic and comparison between mismatched numeric types (int and float)

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

• [wildcard] Make hy-check a proof producer: independently replay source-level sendability derivations

  limitlessprojects/Go-Hybrid#1963 · Filter by author aiautomationagentesting opened on Oct 26, 2026

• Serial by default: safe execution first

  💎 Bountywildcard
  limitlessprojects/Go-Hybrid#1962 · Filter by author radov23-source opened on Oct 26, 2026
  1

• [Soundness] check_user_fn_arity and check_user_fn_arg_types in buildable.rs early-return on non-empty type_params: id[int](<1, 2, 3>) and id[int]("str") pass hyb check (Row 13 BUILDABLE violation)

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

• [Soundness] non_single_value_count in buildable.rs omits Expr::Try: void and multi-value try expressions f()? in single-value positions pass hyb check (Row 13 BUILDABLE violation)

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

• [Soundness] check_method_arg_types and call_result_kinds in buildable.rs omit type argument substitution for methods on generic structs: c.put("str") and s := c.take() pass hyb check (Row 13 BUILDABLE violation)

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

• [tooling] Workflow gate reports clean for malformed document-marker prefixes

  limitlessprojects/Go-Hybrid#1949 · Filter by author aiautomationagentesting opened on Oct 26, 2026

• [tooling] Job runner timeout returns while a spawned child continues writing

  limitlessprojects/Go-Hybrid#1944 · Filter by author linkinsider-work opened on Oct 26, 2026

• [wildcard] Fuel-metered compute capsules with a closed call graph and a non-renewable budget

  limitlessprojects/Go-Hybrid#1942 · Filter by author aiautomationagentesting opened on Oct 26, 2026
  1

• [wildcard] Measure first, then bound the arena: the packet-ingress premise is not in this repo

  limitlessprojects/Go-Hybrid#1937 · Filter by author milkingndb-oss opened on Oct 26, 2026

• [wildcard] Place-graph lowering in three provable stages (the 350-LoC estimate is 5× short)

  limitlessprojects/Go-Hybrid#1935 · Filter by author milkingndb-oss opened on Oct 26, 2026

• [wildcard] Attack the emitter's output contract: structured emission + go/parser self-validation

  limitlessprojects/Go-Hybrid#1933 · Filter by author milkingndb-oss opened on Oct 26, 2026