Issues

[buildable] associated functions skip member and argument resolution: b.new(2) and box.new('s') both pass hyb check (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4223 · opened

on Nov 9, 2026

2

[buildable] a .hy file that collides with a sibling .go/.hy top-level declaration passes hyb check and breaks the package build after hyb generate (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4222 · opened

on Nov 9, 2026

1

[soundness] hy-check(buildable): encoding/hex package functions bypass call arity validation and package error is accepted as call target (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4218 · opened

on Nov 9, 2026

2

[soundness] hy-check(buildable): regexp package functions bypass call arity validation (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4216 · opened

on Nov 8, 2026

1

[soundness] hy-check(buildable): archive/tar package functions bypass call arity validation and package constants/errors are accepted as call targets (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4214 · opened

on Nov 8, 2026

1

[soundness] hy-check(buildable): compress/gzip package functions bypass call arity validation and package compression constants are accepted as call targets (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4212 · opened

on Nov 8, 2026

1

[soundness] hy-check(buildable): log package functions bypass call arity validation and package flag constants are accepted as call targets (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4210 · opened

on Nov 8, 2026

1

[wildcard] Proof-carrying Hybrid: a tiny trusted kernel for every accepted program

limitlessprojects/Go-Hybrid#4207 · opened

on Nov 8, 2026

2

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

limitlessprojects/Go-Hybrid#4205 · opened

on Nov 8, 2026

1

[wildcard] Statically verifiable nursery cancellation and channel lifecycle invariants via structured effect types

limitlessprojects/Go-Hybrid#4200 · opened

on Nov 8, 2026

4

[buildable] hy-check(foreign): foreign_method_surface omits curated http.response_writer and http.round_tripper method surfaces (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4197 · opened

on Nov 8, 2026

2

hyb check passes fmt printf with statically-known non-string format operand (x := 42)

limitlessprojects/Go-Hybrid#4195 · opened

on Nov 8, 2026

1

[wildcard] Versioned task regions: checked live upgrades across a state-and-mailbox cut

limitlessprojects/Go-Hybrid#4193 · opened

on Nov 8, 2026

1

[soundness] hy-check(go_keyword_names): reject default/none on Decl::Enum, associated functions, and Decl::Import (HYB-E1002)

limitlessprojects/Go-Hybrid#4190 · opened

on Nov 8, 2026

1

[soundness] hy-check(buildable): rust crate functions (sha3, regex, serde_json) bypass call arity validation and unpinned/non-callable symbols are accepted as call targets (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4188 · opened

on Nov 8, 2026

1

hy-check(buildable): foreign package bytes call arity bypass and non-callable member rejection (Row 13 BUILDABLE, HYB-E1002)

limitlessprojects/Go-Hybrid#4186 · opened

on Nov 8, 2026

1

hy-check(buildable): foreign package strings call arity bypass and non-callable member rejection (Row 13 BUILDABLE, HYB-E1002)

limitlessprojects/Go-Hybrid#4184 · opened

on Nov 8, 2026

1

hy-check(buildable): foreign package time call arity bypass and non-callable member rejection (Row 13 BUILDABLE, HYB-E1002)

limitlessprojects/Go-Hybrid#4182 · opened

on Nov 8, 2026

1

[soundness] hy-check(buildable): net/http/httptest package functions bypass call arity validation and package symbols are accepted as call targets (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4179 · opened

on Nov 8, 2026

1

[soundness] hy-check(buildable): bufio package functions bypass call arity validation and package symbols are accepted as call targets (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4177 · opened

on Nov 8, 2026

1

[wildcard] Replace the static sendability proof with exhaustive schedule enumeration + a replayable certificate (bounded subset)

limitlessprojects/Go-Hybrid#4176 · opened

on Nov 8, 2026

4

[soundness] hy-check(buildable): encoding/hex package functions bypass call arity validation and package symbols are accepted as call targets (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4173 · opened

on Nov 8, 2026

1

[soundness] hy-check(buildable): errors package functions bypass call arity validation and package error variable is accepted as call target (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4171 · opened

on Nov 8, 2026

1

[soundness] hy-check(buildable): sync/atomic package functions bypass call arity validation and package types are accepted as call targets (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4169 · opened

on Nov 8, 2026

1

[soundness] hy-check(buildable): curated sync package types accepted as call targets and sync.new_cond bypasses arity validation (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4167 · opened

on Nov 8, 2026

1

Navigation Menu

Repository navigation

Issues

[buildable] associated functions skip member and argument resolution: b.new(2) and box.new('s') both pass hyb check (HYB-E1002, Row 13)

[buildable] a .hy file that collides with a sibling .go/.hy top-level declaration passes hyb check and breaks the package build after hyb generate (HYB-E1002, Row 13)

[soundness] hy-check(buildable): encoding/hex package functions bypass call arity validation and package error is accepted as call target (HYB-E1002, Row 13)

[soundness] hy-check(buildable): regexp package functions bypass call arity validation (HYB-E1002, Row 13)

[soundness] hy-check(buildable): archive/tar package functions bypass call arity validation and package constants/errors are accepted as call targets (HYB-E1002, Row 13)

[soundness] hy-check(buildable): compress/gzip package functions bypass call arity validation and package compression constants are accepted as call targets (HYB-E1002, Row 13)

[soundness] hy-check(buildable): log package functions bypass call arity validation and package flag constants are accepted as call targets (HYB-E1002, Row 13)

[wildcard] Proof-carrying Hybrid: a tiny trusted kernel for every accepted program

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

[wildcard] Statically verifiable nursery cancellation and channel lifecycle invariants via structured effect types

[buildable] hy-check(foreign): foreign_method_surface omits curated http.response_writer and http.round_tripper method surfaces (HYB-E1002, Row 13)

hyb check passes fmt printf with statically-known non-string format operand (x := 42)

[wildcard] Versioned task regions: checked live upgrades across a state-and-mailbox cut

[soundness] hy-check(go_keyword_names): reject default/none on Decl::Enum, associated functions, and Decl::Import (HYB-E1002)

[soundness] hy-check(buildable): rust crate functions (sha3, regex, serde_json) bypass call arity validation and unpinned/non-callable symbols are accepted as call targets (HYB-E1002, Row 13)

hy-check(buildable): foreign package bytes call arity bypass and non-callable member rejection (Row 13 BUILDABLE, HYB-E1002)

hy-check(buildable): foreign package strings call arity bypass and non-callable member rejection (Row 13 BUILDABLE, HYB-E1002)

hy-check(buildable): foreign package time call arity bypass and non-callable member rejection (Row 13 BUILDABLE, HYB-E1002)

[soundness] hy-check(buildable): net/http/httptest package functions bypass call arity validation and package symbols are accepted as call targets (HYB-E1002, Row 13)

[soundness] hy-check(buildable): bufio package functions bypass call arity validation and package symbols are accepted as call targets (HYB-E1002, Row 13)

[wildcard] Replace the static sendability proof with exhaustive schedule enumeration + a replayable certificate (bounded subset)

[soundness] hy-check(buildable): encoding/hex package functions bypass call arity validation and package symbols are accepted as call targets (HYB-E1002, Row 13)

[soundness] hy-check(buildable): errors package functions bypass call arity validation and package error variable is accepted as call target (HYB-E1002, Row 13)

[soundness] hy-check(buildable): sync/atomic package functions bypass call arity validation and package types are accepted as call targets (HYB-E1002, Row 13)

[soundness] hy-check(buildable): curated sync package types accepted as call targets and sync.new_cond bypasses arity validation (HYB-E1002, Row 13)