Issues

[soundness] hy-check(channel_liveness): inverted direction operations (send on recv_cap, receive on send_cap, rx.close, tx.drain) accepted on linear SPSC channels (#4200 regression)

limitlessprojects/Go-Hybrid#4363 · opened

on Nov 11, 2026

1

hy-check: check_try_operand misses HYB-E2011 on generic fns, associated fns, user struct methods, and fn-typed bindings

limitlessprojects/Go-Hybrid#4358 · opened

on Nov 11, 2026

1

hy-emit: foreign struct literal keyed fields and chained/struct-field foreign receivers emit unnormalized snake_case in Go

limitlessprojects/Go-Hybrid#4356 · opened

on Nov 11, 2026

1

[soundness] hy-check(loans): fmt.append / strconv.append_* into a bounded reslice of a `const` bypass T22 deep immutability (HYB-E3006, data race)

limitlessprojects/Go-Hybrid#4351 · opened

on Nov 10, 2026

1

[soundness] hy-check(buildable): fmt variadic members accept invalid `...` spread arguments (non-`[]any` slices, non-final spread, mixed leading arguments) (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4348 · opened

on Nov 10, 2026

1

[soundness] hy-check(channel_liveness): use-after-close, double-close, use-after-drain, and double-drain bypass linear SPSC channel typestate lifecycle invariants (#4200 regression)

limitlessprojects/Go-Hybrid#4346 · opened

on Nov 10, 2026

1

[tooling] Claims-link guard skips missing evidence with percent-encoded suffixes (tested fix)

limitlessprojects/Go-Hybrid#4334 · opened

on Nov 10, 2026

2

[soundness] hy-check(channel_liveness): StructLit, SliceLit, MapLit, Field, Slice, and Interp expressions bypass linear SPSC capability move tracking and lifecycle invariants (#4200 regression)

limitlessprojects/Go-Hybrid#4330 · opened

on Nov 10, 2026

1

[soundness] hy-syntax(parser): parse_binary folds line-leading `-b` and `&b` across newlines into binary expressions

limitlessprojects/Go-Hybrid#4327 · opened

on Nov 10, 2026

1

[wildcard] Run checked Hybrid programs before native compilation

limitlessprojects/Go-Hybrid#4324 · opened

on Nov 10, 2026

1

[soundness] hy-check(channel_liveness): path-insensitive Stmt::If and Stmt::Select bypass HYB-E4004/HYB-E4005 termination invariants

limitlessprojects/Go-Hybrid#4322 · opened

on Nov 10, 2026

1

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

limitlessprojects/Go-Hybrid#4317 · opened

on Nov 10, 2026

1

[soundness] hy-check(buildable): type-inferred const declarations and package-level typed consts bypass scalar width, float-int, and array-length checks (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4315 · opened

on Nov 10, 2026

1

fix(hy-check): shadowed local variables falsely rejected as moved capabilities in channel liveness checker

limitlessprojects/Go-Hybrid#4313 · opened

on Nov 10, 2026

1

[tooling] main's compiler job red on examples e2e since 00bfd96a: s159 accident-repair restored examples/ from session 1, clobbering four post-S1 evolutions (03/07/08/10)

limitlessprojects/Go-Hybrid#4310 · opened

on Nov 10, 2026

1

[soundness] hy-check(buildable): variadic spread (...) accepted on non-variadic encoding/hex and time duration constructor calls (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4308 · opened

on Nov 9, 2026

1

[buildable] hy-check(foreign): foreign_method_surface and package_result omit curated compress/gzip and archive/tar handle surfaces (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4306 · opened

on Nov 9, 2026

1

[buildable] hy-check(foreign): foreign_method_surface and package_result omit curated log.Logger method surface and constructors (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4304 · opened

on Nov 9, 2026

1

[wildcard] The managed hatch asserts an invariant nobody writes: make every escape name a checked synchronization contract, or delete it

limitlessprojects/Go-Hybrid#4297 · opened

on Nov 9, 2026

2

[soundness] hy-check(channel_liveness): loop backedge replay omission allows multiple concurrent task moves of SPSC linear capabilities (HYB-E3001)

limitlessprojects/Go-Hybrid#4289 · opened

on Nov 9, 2026

2

[soundness] hy-check(channel_liveness): nested scope pop discards moved_caps and assignment bypasses pipe registration, accepting concurrent double-moves on linear SPSC channels (#4200 regression)

limitlessprojects/Go-Hybrid#4280 · opened

on Nov 9, 2026

3

[wildcard] Can raw sync.Pool support certified ownership handoff without capsule APIs?

limitlessprojects/Go-Hybrid#4274 · opened

on Nov 9, 2026

2

[wildcard] Erase the Unsound managed("...", "...") Escape Hatch: Compile-Time Synthesized Dynamic Leases (DynRef[T]/DynMut[T]) with Zero-Alloc Crash-Free Witnesses

limitlessprojects/Go-Hybrid#4269 · opened

on Nov 9, 2026

2

[wildcard] Direct Go SSA IR lowering via hy-ssa: eliminating source code string emission, frontend AST loss, and parsing overhead

limitlessprojects/Go-Hybrid#4266 · opened

on Nov 9, 2026

3

[soundness] hy-check(buildable): fmt scan-family functions (scanf, sscanf, fscanf, sscan, sscanln) accept statically-known non-string format and input operands (HYB-E1002, Row 13)

limitlessprojects/Go-Hybrid#4265 · opened

on Nov 9, 2026

2

Navigation Menu

Repository navigation

Issues

[soundness] hy-check(channel_liveness): inverted direction operations (send on recv_cap, receive on send_cap, rx.close, tx.drain) accepted on linear SPSC channels (#4200 regression)

hy-check: check_try_operand misses HYB-E2011 on generic fns, associated fns, user struct methods, and fn-typed bindings

hy-emit: foreign struct literal keyed fields and chained/struct-field foreign receivers emit unnormalized snake_case in Go

[soundness] hy-check(loans): fmt.append / strconv.append_* into a bounded reslice of a `const` bypass T22 deep immutability (HYB-E3006, data race)

[soundness] hy-check(buildable): fmt variadic members accept invalid `...` spread arguments (non-`[]any` slices, non-final spread, mixed leading arguments) (HYB-E1002, Row 13)

[soundness] hy-check(channel_liveness): use-after-close, double-close, use-after-drain, and double-drain bypass linear SPSC channel typestate lifecycle invariants (#4200 regression)

[tooling] Claims-link guard skips missing evidence with percent-encoded suffixes (tested fix)

[soundness] hy-check(channel_liveness): StructLit, SliceLit, MapLit, Field, Slice, and Interp expressions bypass linear SPSC capability move tracking and lifecycle invariants (#4200 regression)

[soundness] hy-syntax(parser): parse_binary folds line-leading `-b` and `&b` across newlines into binary expressions

[wildcard] Run checked Hybrid programs before native compilation

[soundness] hy-check(channel_liveness): path-insensitive Stmt::If and Stmt::Select bypass HYB-E4004/HYB-E4005 termination invariants

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

[soundness] hy-check(buildable): type-inferred const declarations and package-level typed consts bypass scalar width, float-int, and array-length checks (HYB-E1002, Row 13)

fix(hy-check): shadowed local variables falsely rejected as moved capabilities in channel liveness checker

[tooling] main's compiler job red on examples e2e since 00bfd96a: s159 accident-repair restored examples/ from session 1, clobbering four post-S1 evolutions (03/07/08/10)

[soundness] hy-check(buildable): variadic spread (...) accepted on non-variadic encoding/hex and time duration constructor calls (HYB-E1002, Row 13)

[buildable] hy-check(foreign): foreign_method_surface and package_result omit curated compress/gzip and archive/tar handle surfaces (HYB-E1002, Row 13)

[buildable] hy-check(foreign): foreign_method_surface and package_result omit curated log.Logger method surface and constructors (HYB-E1002, Row 13)

[wildcard] The managed hatch asserts an invariant nobody writes: make every escape name a checked synchronization contract, or delete it

[soundness] hy-check(channel_liveness): loop backedge replay omission allows multiple concurrent task moves of SPSC linear capabilities (HYB-E3001)

[soundness] hy-check(channel_liveness): nested scope pop discards moved_caps and assignment bypasses pipe registration, accepting concurrent double-moves on linear SPSC channels (#4200 regression)

[wildcard] Can raw sync.Pool support certified ownership handoff without capsule APIs?

[wildcard] Erase the Unsound managed("...", "...") Escape Hatch: Compile-Time Synthesized Dynamic Leases (DynRef[T]/DynMut[T]) with Zero-Alloc Crash-Free Witnesses

[wildcard] Direct Go SSA IR lowering via hy-ssa: eliminating source code string emission, frontend AST loss, and parsing overhead

[soundness] hy-check(buildable): fmt scan-family functions (scanf, sscanf, fscanf, sscan, sscanln) accept statically-known non-string format and input operands (HYB-E1002, Row 13)