shepherd-board

shepherd-board.yml

2500+ workflow runs

shepherd-board
currently running:
shepherd-board#10914:Scheduled
main
Nov 14, 2026In progress
fix(hy-emit): lower hy.pipe, hy.send_cap, and hy.recv_cap via channel capability prelude (fixes #4464)
failed:
shepherd-board#10913:Pull request#4468openedbyKhanhtnq
Khanhtnq:fix/hy-emit-pipe-capabilities-4464
Nov 14, 20264m 17s
hy-emit: add SPSC capability pipe prelude and emit lowering (#4464)
requires action with the application:
shepherd-board#10912:Pull request#4467openedbySuperPiIot
SuperPiIot:feat/emit-hy-pipe-capabilities-4464
Nov 14, 2026Action required
hy-emit(recv): propagate channel element type provenance through receives (#4458)
requires action with the application:
shepherd-board#10911:Pull request#4466openedbySuperPiIot
SuperPiIot:fix/emit-recv-provenance-4458
Nov 14, 2026Action required
[wildcard] Total Tier-0: delete fail-open — every accepted program must carry a machine-checkable certificate or be rejected
completed successfully:
shepherd-board#10910:Issue#4465openedbyIMRAN104
Nov 14, 202618m 18s
hy-emit: hy.pipe[T] / hy.send_cap / hy.recv_cap have no emit path — every accepted capability program fails go build (package hy is not in std), Row 13
failed:
shepherd-board#10909:Issue#4464openedbyjorge123255
Nov 14, 20263m 4s
check(channel_liveness): a function body owns its capability names (fixes #4462)
requires action with the application:
shepherd-board#10908:Pull request#4463openedbyjorge123255
jorge123255:fix-4462-capability-fn-scope
Nov 14, 2026Action required
hy-check(channel_liveness): capability identity leaks between function bodies — a move tx in one fn rejects another fn's own tx (declaration order decides)
failed:
shepherd-board#10907:Issue#4462openedbyjorge123255
Nov 14, 20262m 30s
diag: register HYB-E4004/E4005 and gate the source -> registry join (fixes #4460)
requires action with the application:
shepherd-board#10906:Pull request#4461openedbyjorge123255
jorge123255:registry-guard-emitted-codes
Nov 14, 2026Action required
hy-diag(registry): emitted codes HYB-E4004/HYB-E4005 are unregistered, hyb explain answers "unknown diagnostic code", and nothing joins source to registry
failed:
shepherd-board#10905:Issue#4460openedbyjorge123255
Nov 14, 20267m 27s
check: an atomic value crosses soundly only behind & (fixes #4457)
requires action with the application:
shepherd-board#10904:Pull request#4459openedbyjorge123255
jorge123255:fix-4457-atomic-class2-only-behind-ref
Nov 14, 2026Action required
hy-emit(recv): a value received from a channel keeps snake_case member access, so accepted programs do not build (Row 13, the recv provenance path missing from #4356)
cancelled:
shepherd-board#10903:Issue#4458openedbyjorge123255
Nov 14, 202614m 41s
hy-check(sendability): atomic-typed value passed by value at a spawn/send is accepted and silently loses every write (class 2 is only true behind &)
cancelled:
shepherd-board#10902:Issue#4457openedbyjorge123255
Nov 14, 202645s
fix(hy-check): track match, iterate, and scope events in callee return summaries
cancelled:
shepherd-board#10901:Pull request#4456openedbyKhanhtnq
Khanhtnq:fix/callee-return-match-iterate-scope-829
Nov 14, 202621m 27s
tools: census guard must cover the GUARANTEES breakdown, not only the README (fixes #4454)
requires action with the application:
shepherd-board#10900:Pull request#4455openedbyjorge123255
jorge123255:census-guard-guarantees-breakdown
Nov 14, 2026Action required
tools: census guard never checks the GUARANTEES verdict breakdown (doc already drifted 67/32/2 vs 92/45/2)
failed:
shepherd-board#10899:Issue#4454openedbyjorge123255
Nov 14, 20264m 54s
fix(runtime/go/jsonbinding): stop moved handle cleanup, keep handles alive across FFI, and check array get status (fixes #1314)
failed:
shepherd-board#10898:Pull request#4453openedbyKhanhtnq
Khanhtnq:fix/jsonbinding-keepalive-and-cleanup-1314
Nov 14, 20263m 31s
fix(hy-syntax): prevent parse_binary from folding binary operators across newlines (fixes #4327)
requires action with the application:
shepherd-board#10897:Pull request#4452openedbySuperPiIot
SuperPiIot:fix-issue-4327
Nov 14, 2026Action required
fix(hy-check): reject naked return while named result shadowed (fixes #4401)
requires action with the application:
shepherd-board#10896:Pull request#4451openedbySuperPiIot
SuperPiIot:fix-issue-4401
Nov 14, 2026Action required
hy-emit(rangebind): preserve outer bindings projected in same-name range hi bounds (fixes #3826)
requires action with the application:
shepherd-board#10895:Pull request#4450openedbySuperPiIot
SuperPiIot:fix-issue-3826
Nov 14, 2026Action required
fix: add receive‑operand checks for declarations and extended type handling
requires action with the application:
shepherd-board#10894:Pull request#4449synchronizebySuperPiIot
SuperPiIot:fix-issue-3880
Nov 14, 2026Action required
fix(hy-check): reject multi-value calls as index and slice base operands (fixes #1854)
requires action with the application:
shepherd-board#10893:Pull request#1871synchronizebygithub-actions[bot]Bot
Dimank92:fix/issue-1854-index-slice-base-single-value
Nov 13, 2026Action required
fix: add receive‑operand checks for declarations and extended type handling
requires action with the application:
shepherd-board#10892:Pull request#4449openedbySuperPiIot
SuperPiIot:fix-issue-3880
Nov 13, 2026Action required
fix(hy-check): reject field selectors on pointers to non-struct and multi-pointer types (#4403)
requires action with the application:
shepherd-board#10891:Pull request#4448openedbySuperPiIot
SuperPiIot:fix/ptr-non-struct-field-selector-4403
Nov 13, 2026Action required
hy-check: reject complex/shifted float const overflow and neg-rune conversions (fixes #4446)
requires action with the application:
shepherd-board#10890:Pull request#4447openedbytremendare
tremendare:fix/const-overflow-complex-and-neg-rune
Nov 13, 2026Action required

Navigation Menu

shepherd-board

2500+ workflow runs

shepherd-board

fix(hy-emit): lower hy.pipe, hy.send_cap, and hy.recv_cap via channel capability prelude (fixes #4464)

hy-emit: add SPSC capability pipe prelude and emit lowering (#4464)

hy-emit(recv): propagate channel element type provenance through receives (#4458)

[wildcard] Total Tier-0: delete fail-open — every accepted program must carry a machine-checkable certificate or be rejected

hy-emit: `hy.pipe[T]` / `hy.send_cap` / `hy.recv_cap` have no emit path — every accepted capability program fails `go build` (`package hy is not in std`), Row 13

check(channel_liveness): a function body owns its capability names (fixes #4462)

hy-check(channel_liveness): capability identity leaks between function bodies — a `move tx` in one fn rejects another fn's own `tx` (declaration order decides)

diag: register HYB-E4004/E4005 and gate the source -> registry join (fixes #4460)

hy-diag(registry): emitted codes HYB-E4004/HYB-E4005 are unregistered, `hyb explain` answers "unknown diagnostic code", and nothing joins source to registry

check: an atomic value crosses soundly only behind `&` (fixes #4457)

hy-emit(recv): a value received from a channel keeps snake_case member access, so accepted programs do not build (Row 13, the recv provenance path missing from #4356)

hy-check(sendability): atomic-typed value passed by value at a spawn/send is accepted and silently loses every write (class 2 is only true behind `&`)

fix(hy-check): track match, iterate, and scope events in callee return summaries

tools: census guard must cover the GUARANTEES breakdown, not only the README (fixes #4454)

tools: census guard never checks the GUARANTEES verdict breakdown (doc already drifted 67/32/2 vs 92/45/2)

fix(runtime/go/jsonbinding): stop moved handle cleanup, keep handles alive across FFI, and check array get status (fixes #1314)

fix(hy-syntax): prevent parse_binary from folding binary operators across newlines (fixes #4327)

fix(hy-check): reject naked return while named result shadowed (fixes #4401)

hy-emit(rangebind): preserve outer bindings projected in same-name range hi bounds (fixes #3826)

fix: add receive‑operand checks for declarations and extended type handling

fix(hy-check): reject multi-value calls as index and slice base operands (fixes #1854)

fix: add receive‑operand checks for declarations and extended type handling

fix(hy-check): reject field selectors on pointers to non-struct and multi-pointer types (#4403)

hy-check: reject complex/shifted float const overflow and neg-rune conversions (fixes #4446)

Workflow runs for shepherd-board

2500+ workflow runs