Skip to content

Triage Board (auto-updated daily — pin me) #940

Open
#2325
Open
Triage Board (auto-updated daily — pin me)#940
#2325

Description

@limitlessprojects
limitlessprojects
opened on Oct 19, 2026

Triage Board

Generated 2026-11-02 01:13 UTC by tools/triage_bot.py scan — review-first automation.
The bot never merges and never closes. Buckets: CONFLICTS x1, DUP x19, LAND-CANDIDATE x103, PARKED-DRAFT x3, PARKED-WILDCARD x26, RECON x14, STALE-BASE x636.

Pareto NOW (top 12)

PR title author age +lines files tests behind score action
#2974 fix(hy-check): reject implicit assignment of any to concrete types (fixes #2962) hardik4love-lang 0.4d +40 2 Y 10 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3044 fix(regexbinding): validate UTF-8 before deep crossing, enforce 0/1 status decoding, and u ket4min-susan 0.3d +62 3 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2978 fix(hy-check): reject an any value used as a concrete type (fixes #2962) Dimany4 0.4d +74 2 Y 8 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2970 fix(hy-emit): zero-fill the error tail on bare/short returns in function literals (fixes # Dimany4 0.4d +74 2 Y 10 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2985 fix(hy-check): a rune-literal binding takes Go's default type int32, not int (fixes #2984) 00Desa00 0.4d +78 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3069 fix(hy-check): bind a string for-in element as rune (fixes #3065) nyxlabs29-cyber 0.3d +94 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3045 fix(hy-check): classify none as option kind to reject invalid scalar returns and operands Dimank92 0.3d +96 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2982 fix(#2962): reject any-typed values used as concrete types (kinds_conflict) nyxlabs29-cyber 0.4d +98 2 Y 10 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3038 fix(hybench): clamp histogram percentiles to [minVal, maxVal], avoid int64 shift overflow, ket4min-susan 0.3d +107 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3048 fix(tools): enforce corpus/repo path bounds, strip link #anchors, and validate table marke ket4min-susan 0.3d +110 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3023 fix(hy-syntax): keep fn-type signatures in render, peel Paren in as_array_lit, see through Dimany4 0.3d +112 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3092 fix(hy-check): reject nil match pattern on non-nilable types and overflowing integer patte Oepjdihc2008 0.1d +115 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land

Land-candidates (rest)

PR title author age +lines files tests behind score action
#3043 fix(tools): ignore .managed() calls and validate report/baseline block schemas in managed_ ket4min-susan 0.3d +115 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2988 fix(hy-check): reject index/slice/cap/close/clear on set[T] (fixes #2981) Dimany4 0.4d +117 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3039 fix(hy-check): reject a type use whose name a local value shadows (fixes #3029) Dimany4 0.3d +126 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2923 fix(hy-check): complete loop backedge replay for calls, moves, returns, and iterate shares gttps 0.4d +128 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2661 fix(hy-emit): make N5 array zero-init addressable, hygienic, and complete across alias/eli gttps 0.9d +133 4 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3052 fix(tools): resolve triage_config.json by script path, validate --min-age/--max, and requi ket4min-susan 0.3d +140 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2593 fix(hy-check): reject non-integer variables as make size/capacity arguments (fixes #2540) Dimank92 1.2d +143 1 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3036 fix(tools): harden diff_paths/scope_ok, resolve --out path, and honor CARGO_TARGET_DIR in ket4min-susan 0.3d +144 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3076 fix(hy-check): reject void print and println in value positions Dimank92 0.3d +147 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3033 fix(jsonbinding): release temp handles on failed Set, reject invalid UTF-8, and pin out-po ket4min-susan 0.3d +153 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3025 fix(hy-diag): enforce severity coherence across aliases, tighten Registry::lookup, and ord ket4min-susan 0.3d +153 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3022 fix(hyrt): guard null empty slices, isize::MAX lengths, and JSON handle validation order ket4min-susan 0.3d +154 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2994 fix(hy-check): enforce HYB-E3003 on field move-sends and range/match peers after defer (fi aswadi 0.4d +154 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2995 fix(hy-check): reject operators and append/copy/min/max on set[T] (fixes #2989) Dimany4 0.4d +162 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3013 fix(hy-syntax): prevent malformed escapes from consuming quotes, support \uNNNN rune escap dextermos-dev 0.3d +163 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2120 fix(hy-check): propagate TypeExpr across Expr::Receive and aliased map/slice index (fixes mrglebx 4.6d +166 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3086 fix(hy-check): reject copy slice element scalar mismatches and string into non-byte slice Dimank92 0.2d +167 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2976 fix(hy-check): reject implicit assignment of any/recover to concrete types (fixes #2962) 3y3y3y-huaiji 0.4d +173 2 Y 10 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2977 fix(hy-check): allow typed constant expressions in short variable defines (fixes #2698) alexrayyandev 0.4d +175 3 Y 10 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3020 fix(hy-syntax): preserve TypeExpr::Fn signatures in render(), peel parens in as_array_lit( ket4min-susan 0.3d +178 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#1811 fix(hy-check): complex64/complex128 conversions and complex/real/imag builtins in const in 9xj89gzrtw-hue 6.8d +182 3 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3081 fix(hy-check): assign OpKind::Float to real() and imag() results to reject mismatched retu Dimank92 0.3d +188 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2973 fix(hy-emit): fold bitwise-not, nested int conversions, and constant len/min/max in constc ket4min-susan 0.4d +190 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2677 fix(check): validate variadic spread slice element types in append (fixes #2658, fixes #24 Dimank92 0.9d +195 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2958 fix(hy-check): reject .pop() on option/fn and enforce option method arity/existence (HYB-E 3y3y3y-huaiji 0.4d +197 2 Y 10 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3005 fix(hy-check): give curated package calls Go result kinds (#2997) nyxlabs29-cyber 0.3d +202 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3091 hy-check: validate task spawn callees, parallel array lengths, and compound assign values zaidrain06 0.1d +206 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3008 fix(hy-syntax): preserve closing quotes on bad escapes, support \uNNNN rune escapes & EOF ket4min-susan 0.3d +207 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3034 fix(hy-check): enforce HYB-E1002 on multi-value assignments, same-scope re-defines, and fo aswadi 0.3d +215 3 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2983 fix(hy-check): reject index, slice, cap, close, clear, and copy on set[T] (fixes #2981) 3y3y3y-huaiji 0.4d +218 2 Y 10 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3054 tools/differential_loop: validate verdict/diagnostic headers and harden build_and_run (Fix ket4min-susan 0.3d +223 3 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2987 fix(hy-check): reject .pop() on option/fn and enforce option method arity (fixes #2955) alexrayyandev 0.4d +227 2 Y 10 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2614 fix(hy-check): preserve closure capture move-freeze across multi-value rebinds and post-mo gttps 1.1d +228 1 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2581 fix(hy-check): validate channel send and select send operand types (fixes #2577, fixes #26 Dimank92 1.3d +229 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3087 fix(hy-check): check generic call arguments after inferring type parameters (fixes #3082) Dimany4 0.2d +231 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3093 hy-check: walk TypeExpr array lengths in composite/fn literals and locals (#3089) zaidrain06 0.1d +235 3 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3049 fix(hy-check): reject type expressions shadowed by in-scope local bindings (fixes #3029) Dimank92 0.3d +235 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2670 fix(hy-check): fold local consts, unary/cast len, and float conversions in zero-divisor ch gttps 0.9d +239 5 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3014 fix(hy-syntax): support non-ident named return types, multi-return fn types, and unbraced ket4min-susan 0.3d +241 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2991 fix(hy-check): collect nested assign-place calls/closures, move projection index uses, and ket4min-susan 0.4d +244 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3050 hy-check: reject type uses shadowed by a local value (fixes #3029) nyxlabs29-cyber 0.3d +245 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3071 fix(hy-check): reject non-existent struct fields and field selectors on non-struct types Dimank92 0.3d +248 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3056 fix(hy-check): reject non-type value expressions in argument to new (fixes #3055) Dimank92 0.3d +251 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2882 fix(hy-check): reject shadowed E11/E4/E6 try propagation contexts (HYB-E2011, fixes #2881) ket4min-susan 0.5d +253 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3002 fix(hy-check): track const mutation, out-params, and slot loans across forwarded multi-ret aswadi 0.3d +254 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3078 fix(hy-check): infer pointee kind in new(T) to reject mismatched pointer assignments and r Dimank92 0.3d +255 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3070 fix(hy-check): resolve new(T) result kind to Pointer(T) (fixes #3068) Dimank92 0.3d +261 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2960 fix(hy-check): guard method/generic-fn equality, generic-alias/foreign receivers, and trun ket4min-susan 0.4d +261 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3003 fix(hy-check): restore outer borrow/closure metadata across block shadows and collect some ket4min-susan 0.3d +265 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2947 hy-check: enforce T24 on O8 field loans, map-slot projections, and loan alias rebinds (fix ket4min-susan 0.4d +280 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2914 fix(hy-check): scope receiver methods out of file tables and resolve folded bracket/match ket4min-susan 0.5d +280 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2967 fix(hy-check): resolve generic zero-value structs, pointer-to-array index/slice, and fn-fi ket4min-susan 0.4d +282 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2979 fix(hy-check): reject incompatible map, chan, and pointer type conversions (fixes #2870) Dimank92 0.4d +286 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2959 hy-check: enforce foreign const-write args, pinned handle surfaces, and multi-return ariti ket4min-susan 0.4d +289 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3067 fix(hy-check): kind-check error returns, call arguments, and operands (fixes #3064) Dimank92 0.3d +294 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3062 fix(hy-check): reject non-complex operands in real/imag and non-float in complex (fixes #3 Dimank92 0.3d +294 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2925 fix(hy-check): resolve folded index callees, builtin/assoc forwarding, and error-tail retu ket4min-susan 0.4d +302 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2807 hy-emit: fix N5 array pointer/partial zero-init and elided field literals (#2806) ket4min-susan 0.6d +304 3 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3027 fix(hy-emit): fix multi-result fn types, type-alias binding kinds, and comparable/prelude ket4min-susan 0.3d +305 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2996 fix(hy-check): multi-return task spawns, generic spawn shapes, and ?-unwrapped channel dir dextermos-dev 0.4d +305 6 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2971 fix(hy-check): validate set[T] methods, arities, and result kinds (fixes #2968) Dimank92 0.4d +315 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2911 fix(hy-check): reject composite element width mismatches and mixed-width min/max (fixes #2 ket4min-susan 0.5d +316 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2999 fix(hy-emit): handle folded bracket calls, make/new type args, and some-less ordered match ket4min-susan 0.3d +321 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2907 hy-check: fold nested len/conversion zero divisors and preserve closure zd_defined scopes ket4min-susan 0.5d +323 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3012 fix(hy-emit): populate time.time, http/url, sync, and strings shape tables and 0-result ? ket4min-susan 0.3d +327 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2798 fix(hy-check): enforce HYB-E2010 on closure-bound maps, *[N]T hops, and nested/composite & ket4min-susan 0.7d +336 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2926 fix(hy-check): enforce T23 and binding arity on ?-unwrapped calls, void multi-binds, and c ket4min-susan 0.4d +337 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2961 fix(hy-check): check scalar types on struct field and index assignments (fixes #2859) Dimank92 0.4d +345 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3017 fix(hyb): support ./... in generate and validate build/explain/vendor-runtime CLI argument ket4min-susan 0.3d +346 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2963 fix(hy-check): type set[T] results, elements in for-in, indexed sets, and method arity/exi 3y3y3y-huaiji 0.4d +346 2 Y 10 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3006 fix(hy-check): reject invalid option[T] conversions to scalars (fixes #2992) Dimank92 0.3d +347 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2980 fix(hy-check): enforce sendability on multi-return and generic spawns and ?-unwrapped chan ket4min-susan 0.4d +348 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2867 fix(hy-check): reject channel sends whose value is not assignable to the element type (fix Yumihariii 0.5d +351 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2741 fix(hy-emit): preserve multi-value/named/closure returns and ? call arity (#2740) ket4min-susan 0.7d +351 3 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2756 hy-check(elided_literal): validate expected slot types, elided struct fields, and type-exp ket4min-susan 0.7d +357 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2940 fix(hy-check): compare exact element widths in copy, restrict string sources to []byte Yumihariii 0.4d +364 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2781 fix(hy-check): classify receive operands in expr TypeExprs, composite projections, and mat ket4min-susan 0.6d +364 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2905 fix(hy-check): reject named call arguments on non-rust callees and validate rust crate nam ket4min-susan 0.5d +371 3 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2785 fix(hy-check): classify composite range iterables and option/unary/shift/const range bound ket4min-susan 0.7d +375 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2855 fix(hy-check): fold float/local consts in E6002 and resolve aliased/const E6006 conversion ket4min-susan 0.6d +392 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3000 fix(hy-check): reject invalid operators and builtins on set[T] (fixes #2989) Dimank92 0.3d +397 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3058 fix(hy-check): reject any-typed values used as concrete types (fixes #2962) Yumihariii 0.3d +401 2 Y 2 7 Verify (merge gate -> repro -> corpus -> differential) then land
#2904 fix(hy-check): validate operand types and scalars for complex, real, and imag builtins (fi alexrayyandev 0.5d +405 2 Y 10 7 Verify (merge gate -> repro -> corpus -> differential) then land
#2954 fix(hy-check): validate arity, args, and results on fn-value calls (fixes #2901) Dimank92 0.4d +425 2 Y 2 7 Verify (merge gate -> repro -> corpus -> differential) then land
#3063 fix(hy-check): kind-check set[T] returns and call arguments (fixes #3057) Dimank92 0.3d +449 2 Y 2 7 Verify (merge gate -> repro -> corpus -> differential) then land
#3018 fix(hy-check): kind-check curated foreign package call results and arguments (fixes #2997) Dimank92 0.3d +539 2 Y 2 7 Verify (merge gate -> repro -> corpus -> differential) then land
#2289 fix(check): resolve named types in declarations (#1583) 9xj89gzrtw-hue 2.8d +589 13 Y 2 7 Verify (merge gate -> repro -> corpus -> differential) then land
#2897 fix(hy-check): reject composite types differing in element scalar width and mixed-width mi alexrayyandev 0.5d +629 2 Y 10 7 Verify (merge gate -> repro -> corpus -> differential) then land
#3084 fix(hy-check): kind-check complex assignments, returns, args, and binary ops (fixes #3083) Dimank92 0.2d +726 3 Y 2 7 Verify (merge gate -> repro -> corpus -> differential) then land
#2953 fix(hy-check, hy-emit): bind map keys in single-var iterate per LX13 (fixes #2945) Dimank92 0.4d +192 7 Y 10 6 Verify (merge gate -> repro -> corpus -> differential) then land
#3075 spike(w3060): exact-value arithmetic тАФ the silence-window census (wildcard #3060) Dimany4 0.3d +3601 228 Y 2 6 Verify (merge gate -> repro -> corpus -> differential) then land

Conflicts vs main

PR title author age +lines files tests behind score action
#2275 triage: cache unchanged PR scans and degrade cleanly on quota exhaustion Sanjeet-The-Insane 3.0d +685 4 - 641 -1 Rebase or close-with-thanks (conflicts vs main)

Stale base (behind main >= 15)

PR title author age +lines files tests behind score action
#3094 fix: [wildcard] Zero-Checker Emit: Offload Tier-0 Ownership, Freeze, and Loan (closes #174 rafagil11 0.0d +21 1 - 641 4 Ask author to update branch (behind main by 641)
#3079 [soundness] hy-check: complex64/complex128 and complex() result kinds are Unknown, letting airdropia 0.3d +28 1 - 1451 3 Ask author to update branch (behind main by 1451)
#2948 fix(hy-check): reject word-sized conversions of out-of-range constant expressions (fixes # alexrayyandev 0.4d +173 2 Y 18 7 Ask author to update branch (behind main by 18)
#2944 fix(hy-check): enforce move-subexpression sendability, foreign/atomic struct leaves, and m gttps 0.4d +389 2 Y 18 7 Ask author to update branch (behind main by 18)
#2942 hy-check, hy-emit: preserve foreign shapes on multi-return unpacks and curated types (fixe gttps 0.4d +362 4 Y 18 7 Ask author to update branch (behind main by 18)
#2938 fix(tools): validate checker summary verdict before status lookup (fixes #2930) dextermos-dev 0.4d +117 3 Y 21 7 Ask author to update branch (behind main by 21)
#2937 fix(hy-check): catch move-wrapped, nested-closure, and slice-field foreign closure escapes gttps 0.4d +336 2 Y 18 7 Ask author to update branch (behind main by 18)
#2935 fix(hy-check): reject copy() with mismatched element types and non-byte slice from string alexrayyandev 0.4d +311 2 Y 18 7 Ask author to update branch (behind main by 18)
#2934 fix(hy-check): type-check builtin len/cap/copy/min/max range bounds and preserve select/fo gttps 0.4d +313 3 Y 18 7 Ask author to update branch (behind main by 18)
#2932 fix(hy-check): type set[T] results and elements and reject unaddressable calls (fixes #292 dextermos-dev 0.4d +279 2 Y 21 7 Ask author to update branch (behind main by 21)
#2929 fix(hy-check): reject map indexing and delete with mismatched concrete numeric key types ( alexrayyandev 0.4d +445 2 Y 23 6 Ask author to update branch (behind main by 23)
#2927 fix(hy-check): check calls through fn values from an index, struct field or call result (# Dimany4 0.4d +379 2 Y 23 7 Ask author to update branch (behind main by 23)
#2918 fix(hy-check): check option match payload binding and option.or arg type (fixes #2915) dextermos-dev 0.4d +396 2 Y 23 5 Ask author to update branch (behind main by 23)
#2916 fix(hy-check): check arity, arguments, and result kinds on fn-value calls (fixes #2901) dextermos-dev 0.5d +557 2 Y 23 6 Ask author to update branch (behind main by 23)
#2912 hy-check: generic function call results are untyped — var s string = id(3), take_string(id airdropia 0.5d +7165 1 - 1451 0 Ask author to update branch (behind main by 1451)
#2910 fix(hy-check): check calls through fn values from index, field and call results (fixes #29 nyxlabs29-cyber 0.5d +265 2 Y 23 7 Ask author to update branch (behind main by 23)
#2908 fix(check): substitute type arguments into generic call result kinds (#2899) Dimany4 0.5d +279 2 Y 30 7 Ask author to update branch (behind main by 30)
#2903 fix(check): validate operand kinds and scalar types for complex, real, and imag jdjioe5-cpu 0.5d +3876 20 Y 484 3 Ask author to update branch (behind main by 484)
#2902 fix(hy-check): reject invalid operand types and mismatched scalars in complex, real, and i dextermos-dev 0.5d +260 2 Y 26 5 Ask author to update branch (behind main by 26)
#2900 fix(hy-check): substitute type arguments into generic call result kinds (HYB-E1002, fixes nyxlabs29-cyber 0.5d +245 2 Y 34 7 Ask author to update branch (behind main by 34)
#2898 fix(check): see the element width of a spread append operand bound to a call (#2884) Dimany4 0.5d +198 2 Y 34 7 Ask author to update branch (behind main by 34)
#2894 fix(check): validate ordered kinds and matching types for min and max (HYB-E2005/HYB-E1002 jdjioe5-cpu 0.5d +3566 19 Y 484 2 Ask author to update branch (behind main by 484)
#2891 fix(check): enforce integer types for make size arguments (HYB-E2005) jdjioe5-cpu 0.5d +3337 18 Y 484 2 Ask author to update branch (behind main by 484)
#2887 fix(hy-check): reject composite types differing in element width and mixed-width min/max ( dextermos-dev 0.5d +1071 4 Y 34 4 Ask author to update branch (behind main by 34)
#2886 fix(hy-check): reject variadic append with mismatched slice element kinds and scalars (fix jdjioe5-cpu 0.5d +3130 17 Y 484 2 Ask author to update branch (behind main by 484)
#2885 fix(check): compare the element scalar inside composite types (#2875) Dimany4 0.5d +298 2 Y 34 7 Ask author to update branch (behind main by 34)
#2883 fix(hy-check): reject binary comparisons with mismatched concrete scalar types (fixes #287 jdjioe5-cpu 0.5d +2932 16 Y 484 2 Ask author to update branch (behind main by 484)
#2879 fix(hy-check): reject pointer conversions between incompatible base types (fixes #2866) alexrayyandev 0.5d +400 2 Y 43 6 Ask author to update branch (behind main by 43)
#2878 fix(check): reject slice conversions with different element scalars (#2861) Dimany4 0.5d +252 2 Y 34 7 Ask author to update branch (behind main by 34)
#2876 fix(hy-check): reject map and channel conversions with mismatched key, value, or element t dextermos-dev 0.5d +569 3 Y 49 5 Ask author to update branch (behind main by 49)
#2874 fix(hy-check): reject mismatched typed integers read through index, map lookup, or field ( gorky117-cell 0.5d +359 2 Y 49 7 Ask author to update branch (behind main by 49)
#2873 fix(hy-check): reject map and channel conversions with incompatible key, value, or element jdjioe5-cpu 0.5d +2730 15 Y 484 2 Ask author to update branch (behind main by 484)
#2872 fix(hy-check): reject pointer conversions between incompatible base types (fixes #2866) dextermos-dev 0.5d +363 2 Y 49 6 Ask author to update branch (behind main by 49)
#2871 fix(check): const conversion matrix тАФ aliases, parens, folded operands, len (#2853) Dimany4 0.5d +239 3 Y 34 7 Ask author to update branch (behind main by 34)
#2869 fix(hy-check): reject pointer type conversions between incompatible base types jdjioe5-cpu 0.5d +2526 14 Y 484 2 Ask author to update branch (behind main by 484)
#2868 fix(hy-check): keep typed int width through index, map, field and string reads (fixes #285 nyxlabs29-cyber 0.5d +193 2 Y 34 7 Ask author to update branch (behind main by 34)
#2865 fix(hy-check): reject mismatched scalar reads through index, map, and struct field express dextermos-dev 0.5d +249 2 Y 34 7 Ask author to update branch (behind main by 34)
#2864 fix(check): compare numeric widths through field and index assignment targets (#2854) Dimany4 0.5d +256 2 Y 34 7 Ask author to update branch (behind main by 34)
#2863 fix(hy-check): track typed integers in index and field expressions (fixes #2858) alexrayyandev 0.5d +206 2 Y 49 7 Ask author to update branch (behind main by 49)
#2862 fix(hy-check): reject conversions between slice types with mismatched element scalars jdjioe5-cpu 0.5d +2361 13 Y 484 2 Ask author to update branch (behind main by 484)
#2860 fix(hy-check): reject mismatched scalar types in struct field and slice/array index assign jdjioe5-cpu 0.6d +2281 12 Y 484 2 Ask author to update branch (behind main by 484)
#2857 fix(check): check argument kinds through fn values (#2845) Dimany4 0.6d +423 2 Y 34 6 Ask author to update branch (behind main by 34)
#2856 fix(hy-check): reject single and parallel assignments with mismatched typed numeric operan jdjioe5-cpu 0.6d +2132 11 Y 484 2 Ask author to update branch (behind main by 484)
#2852 fix(hy-check): reject mismatched slice element types and non-byte string copying in built- dextermos-dev 0.6d +173 2 Y 54 7 Ask author to update branch (behind main by 54)
#2849 fix(hy-check): reject function/method calls and return statements with mismatched typed nu jdjioe5-cpu 0.6d +2040 10 Y 484 2 Ask author to update branch (behind main by 484)
#2846 fix(hy-check): check argument types on calls through closure locals and fn-typed params (H nyxlabs29-cyber 0.6d +274 2 Y 34 7 Ask author to update branch (behind main by 34)
#2843 fix(hy-check): retain array lengths in operand type compatibility Mudls 0.6d +394 5 Y 56 7 Ask author to update branch (behind main by 56)
#2842 fix(hy-check): reject array length mismatch in comparisons, assignments, declarations, and alexrayyandev 0.6d +159 3 Y 49 5 Ask author to update branch (behind main by 49)
#2828 fix(hy-check): reject binary arithmetic and compound assignments with mismatched typed num jdjioe5-cpu 0.6d +1881 9 Y 484 3 Ask author to update branch (behind main by 484)
#2826 fix(hy-check): reject copy() with mismatched element types and non-byte slice from string jdjioe5-cpu 0.6d +1668 8 Y 484 3 Ask author to update branch (behind main by 484)
#2820 fix(hy-check): reject channel send with mismatched typed numeric operands violating Row 13 jdjioe5-cpu 0.6d +1556 7 Y 484 3 Ask author to update branch (behind main by 484)
#2816 fix(hy-check): reject invalid string/slice conversions violating Row 13 BUILDABLE jdjioe5-cpu 0.6d +1373 6 Y 484 3 Ask author to update branch (behind main by 484)
#2808 hy-check(buildable): enforce generic fn call arity, type-arg comparability, and type-param carelessdept 0.6d +363 4 Y 34 7 Ask author to update branch (behind main by 34)
#2805 fix(hy-check): reject map indexing and delete with mismatched concrete numeric key types ( jdjioe5-cpu 0.6d +1246 5 Y 484 3 Ask author to update branch (behind main by 484)
#2802 fix(hy-emit): mangle user bindings colliding with Go target types and auto-imports (Fixes carelessdept 0.6d +346 6 Y 34 7 Ask author to update branch (behind main by 34)
#2801 fix(hy-check): reject append with mismatched concrete numeric types (fixes #2796) jdjioe5-cpu 0.6d +927 4 Y 484 3 Ask author to update branch (behind main by 484)
#2800 hy-check: reject slicing an unaddressable array value (HYB-E1002) Dimany4 0.6d +148 2 Y 74 5 Ask author to update branch (behind main by 74)
#2799 fix(hy-check): track closure captured-variable whole-binding rebinds and loop back-edge ba carelessdept 0.6d +379 5 Y 34 7 Ask author to update branch (behind main by 34)
#2792 fix(hy-check): reject slice, array, and map literals with mismatched concrete numeric type jdjioe5-cpu 0.7d +623 3 Y 484 3 Ask author to update branch (behind main by 484)
#2790 fix(hy-check): preserve shadow_links and shadowed peer sharing across scope_pop (fixes #79 carelessdept 0.7d +362 6 Y 34 7 Ask author to update branch (behind main by 34)
#2786 fix(hy-check): track transitive multi-return pairs, closure origins, and struct arrays (fi carelessdept 0.7d +272 5 Y 34 7 Ask author to update branch (behind main by 34)
#2783 fix(hy-check): reject struct literals with mismatched concrete numeric types (fixes #2782) jdjioe5-cpu 0.7d +352 2 Y 484 4 Ask author to update branch (behind main by 484)
#2773 fix(hybridge): guard fast-path stack checks against stackPreempt underflow ryder777777 0.6d +223 5 - 78 4 Ask author to update branch (behind main by 78)
#2772 fix(hy-check): reject untyped nil in index and slice-bound positions (fixes #2753) Dimany4 0.7d +110 2 Y 79 7 Ask author to update branch (behind main by 79)
#2769 fix(hy-check): reject untyped nil in append first-arg and non-nilable element position (fi Dimany4 0.7d +116 2 Y 83 7 Ask author to update branch (behind main by 83)
#2766 fix(hy-emit): preserve live named results on bare return in error functions (fixes #1450) ryder777777 0.7d +88 3 Y 90 7 Ask author to update branch (behind main by 90)
#2765 fix(hy-check): resolve array lengths across consts, projections, calls, and signatures (fi ryder777777 0.7d +196 2 Y 90 7 Ask author to update branch (behind main by 90)
#2764 fix(hy-emit): add time.time, http/url chain, and sync/atomic field shapes (#1588) ryder777777 0.7d +252 2 Y 90 7 Ask author to update branch (behind main by 90)
#2763 fix(hy-check): enforce HYB-E3011 on composite inner shapes, slice/array mismatch, and prim ryder777777 0.7d +152 2 Y 92 7 Ask author to update branch (behind main by 92)
#2762 fix(hy-syntax): parse named result items with non-identifier types (fixes #1448) ryder777777 0.7d +82 2 Y 92 7 Ask author to update branch (behind main by 92)
#2761 fix(hy-check): propagate channel element TypeExpr on select receive bindings (fixes #1454) ryder777777 0.7d +68 3 Y 92 7 Ask author to update branch (behind main by 92)
#2760 fix(hy-check): reject projected map-element borrows in argument and expression positions ( ryder777777 0.7d +49 2 Y 92 7 Ask author to update branch (behind main by 92)
#2759 fix(autoland): validate repro.hy and fix.patch up front and revert dirty tree in finally ( ryder777777 0.7d +15 5 Y 92 7 Ask author to update branch (behind main by 92)
#2758 fix(author_stage): fix gh_token CompletedProcess unpacking and guard diff_paths (#1123) ryder777777 0.7d +14 5 Y 92 7 Ask author to update branch (behind main by 92)
#2757 fix(tools): fail closed on differential_loop launch/corpus errors and pin JSON envelope te ryder777777 0.7d +24 5 Y 92 7 Ask author to update branch (behind main by 92)
#2754 fix(hy-check): reject untyped nil in index and slice bound expressions (closes #2753) jdjioe5-cpu 0.7d +157 2 Y 484 7 Ask author to update branch (behind main by 484)
#2750 fix(hy-check): reject bare return and under-arity returns in unnamed error-tail functions jdjioe5-cpu 0.7d +82 2 Y 484 7 Ask author to update branch (behind main by 484)
#2746 fix(hy-check): reject untyped nil as first argument to append and in non-nilable element p jdjioe5-cpu 0.7d +104 2 Y 484 7 Ask author to update branch (behind main by 484)
#2742 corpus: pin five alias-freeze surfaces not yet exercised pepedesigner 0.7d +208 13 Y 190 7 Ask author to update branch (behind main by 190)
#2739 fix(hy-check): reject mismatched slice and string elements in variadic append(a, b...) (cl jdjioe5-cpu 0.7d +165 2 Y 484 5 Ask author to update branch (behind main by 484)
#2737 fix(hy-check): reject mismatched slice element types and non-byte slice string copying in jdjioe5-cpu 0.7d +147 2 Y 484 5 Ask author to update branch (behind main by 484)
#2736 fix(tools): dispatch env.sh --check and enforce exact pin tokens (fixes #1127) ryder777777 0.7d +63 1 - 115 4 Ask author to update branch (behind main by 115)
#2734 fix(hy-check): reject uncomparable map key types (slices, maps, functions) (closes #2733) jdjioe5-cpu 0.7d +139 2 Y 484 5 Ask author to update branch (behind main by 484)
#2732 fix(hy-check): reject mixed concrete integer and float arithmetic and comparisons (closes jdjioe5-cpu 0.7d +164 2 Y 484 5 Ask author to update branch (behind main by 484)
#2730 fix(hy-check): reject slice and array conversions with mismatched element types (closes #2 jdjioe5-cpu 0.8d +175 2 Y 484 5 Ask author to update branch (behind main by 484)
#2723 fix(hy-check): reject mixed concrete integer types in binary ops and assignments (HYB-E100 nyxlabs29-cyber 0.8d +361 2 Y 56 7 Ask author to update branch (behind main by 56)
#2722 fix(hy-check): reject mixed integer and float equality comparisons (closes #2719) jdjioe5-cpu 0.8d +126 2 Y 484 5 Ask author to update branch (behind main by 484)
#2717 fix(hy-check): reject a constant shift count that reaches the width of a typed integer (fi Dimany4 0.8d +241 2 Y 166 7 Ask author to update branch (behind main by 166)
#2715 fix(hy-check): reject constant shift counts exceeding bit width on typed integers (closes jdjioe5-cpu 0.8d +249 2 Y 484 5 Ask author to update branch (behind main by 484)
#2711 fix(hy-check): reject blank identifier '_' in value and callee positions (closes #2710) jdjioe5-cpu 0.8d +167 2 Y 484 5 Ask author to update branch (behind main by 484)
#2708 fix(hy-check): enforce HYB-E2010, HYB-E2006, and HYB-E3104 on closure-bound and multi-valu yxtan5022-maker 0.8d +205 3 Y 166 6 Ask author to update branch (behind main by 166)
#2705 fix(hy-check): reject variadic spread on non-variadic functions and builtins (closes #2701 jdjioe5-cpu 0.8d +219 2 Y 484 7 Ask author to update branch (behind main by 484)
#2704 fix(hy-check): reject duplicate case constants in match statements (fixes #2696) Dimank92 0.8d +299 2 Y 18 7 Ask author to update branch (behind main by 18)
#2702 fix(hy-check): range-check word-sized conversions of constant expressions (fixes #2700) salvocanci 0.8d +152 2 Y 565 7 Ask author to update branch (behind main by 565)
#2699 fix(hy-check): typed conversion initializers are not default-int (fixes #2698) salvocanci 0.8d +121 3 Y 565 7 Ask author to update branch (behind main by 565)
#2697 fix(check): reject duplicate case patterns in match statements (fixes #2696) jdjioe5-cpu 0.8d +143 2 Y 484 5 Ask author to update branch (behind main by 484)
#2694 fix(check): reject non-integer size arguments in built-in make (fixes #2693) jdjioe5-cpu 0.8d +105 2 Y 484 5 Ask author to update branch (behind main by 484)
#2692 fix(hy-check): enforce target type checks in multi-value assignments (fixes #2495) Dimank92 0.9d +389 2 Y 18 7 Ask author to update branch (behind main by 18)
#2690 fix(hy-check): reject typed int into set[float64] methods and delete (fixes #2688) jdjioe5-cpu 0.9d +329 2 Y 484 5 Ask author to update branch (behind main by 484)
#2687 fix(hy-check): reject mismatched element types in builtin copy (fixes #2686) jdjioe5-cpu 0.9d +121 2 Y 484 5 Ask author to update branch (behind main by 484)
#2685 fix(hy-check): reject inferred non-integer range loop bounds with HYB-E2009 (fixes #2476) Dimank92 0.9d +277 3 Y 18 7 Ask author to update branch (behind main by 18)
#2684 fix(hy-check): reject typed int variable into float64 in slice literal (fixes #2683) jdjioe5-cpu 0.9d +146 2 Y 484 5 Ask author to update branch (behind main by 484)
#2682 fix(hy-check): reject typed int variable into float64 parameter in call (fixes #2681) jdjioe5-cpu 0.9d +176 2 Y 484 5 Ask author to update branch (behind main by 484)
#2680 fix(hy-check): reject typed int variable in map[float64] index and literal (fixes #2679) jdjioe5-cpu 0.9d +217 2 Y 484 5 Ask author to update branch (behind main by 484)
#2676 fix(hy-check): reject typed int variable into float64 in decl, assign, and struct literal jdjioe5-cpu 0.9d +222 2 Y 484 5 Ask author to update branch (behind main by 484)
#2675 hy-check: replay loop-carried parameter aliases copernicusjones 0.9d +18 1 - 260 1 Ask author to update branch (behind main by 260)
#2662 fix(hy-check): reject mismatched spread slices and typed int variable in append (fixes #26 jdjioe5-cpu 0.9d +225 2 Y 484 5 Ask author to update branch (behind main by 484)
#2657 fix(hy-check): reject mismatched slice element types in copy(dst, src) (fixes #2655) jdjioe5-cpu 0.9d +91 2 Y 484 5 Ask author to update branch (behind main by 484)
#2653 fix(hy-check): reject typed int variables returned from float functions (fixes #2652) jdjioe5-cpu 0.9d +151 2 Y 484 5 Ask author to update branch (behind main by 484)
#2651 fix(hy-check): reject mixed float and typed int variables in binary ops (fixes #2650) jdjioe5-cpu 0.9d +180 2 Y 484 5 Ask author to update branch (behind main by 484)
#2649 fix(hy-check): check sent operand types against channel element types (fixes #2648) jdjioe5-cpu 0.9d +179 2 Y 484 7 Ask author to update branch (behind main by 484)
#2646 fix(hy-check): permit untyped integer constants and any element types in array literals (f jdjioe5-cpu 0.9d +105 2 Y 484 5 Ask author to update branch (behind main by 484)
#2644 fix(hy-check): reject pointer conversions between incompatible base types (#2643) jdjioe5-cpu 0.9d +96 2 Y 484 5 Ask author to update branch (behind main by 484)
#2642 fix(hy-check): allow untyped integer constants for float64 keys in delete (#2641) jdjioe5-cpu 0.9d +114 2 Y 484 5 Ask author to update branch (behind main by 484)
#2640 fix(hy-check): reject typed int variables for float map keys and values (#2639) jdjioe5-cpu 1.0d +146 2 Y 484 4 Ask author to update branch (behind main by 484)
#2638 fix(hy-check): reject typed int values assigned to float64 targets (#2637) jdjioe5-cpu 1.0d +216 2 Y 484 4 Ask author to update branch (behind main by 484)
#2636 fix(hy-check): reject typed int arguments for float64 parameters (#2635) jdjioe5-cpu 1.0d +141 2 Y 484 5 Ask author to update branch (behind main by 484)
#2634 hy-check: capture the closure env at the literal, not at block exit (#2315) mak777uh 1.0d +120 4 Y 397 7 Ask author to update branch (behind main by 397)
#2633 hy-check: reject a method whose name collides with a struct field (#1119) mak777uh 1.0d +78 2 Y 397 7 Ask author to update branch (behind main by 397)
#2632 hy-check: reject append() with fewer than 2 arguments (#1673) mak777uh 1.0d +71 2 Y 397 7 Ask author to update branch (behind main by 397)
#2631 fix(hy-check): reject typed int variables in compound assignments for float targets (#2630 jdjioe5-cpu 1.0d +98 2 Y 484 5 Ask author to update branch (behind main by 484)
#2629 fix(hy-check): reject mismatched float64 and int typed variables in binary operations (#26 jdjioe5-cpu 1.0d +126 2 Y 484 5 Ask author to update branch (behind main by 484)
#2627 fix(hy-check): reject typed int operands in append and copy for float targets (#2626) jdjioe5-cpu 1.0d +123 2 Y 484 5 Ask author to update branch (behind main by 484)
#2622 fix(hy-check): reject typed int variables in select send arm for chan float64 (#2577) jdjioe5-cpu 1.0d +148 2 Y 484 6 Ask author to update branch (behind main by 484)
#2598 fix(hy-check): enforce numeric operand kinds in complex, real, and imag builtins (fixes #2 Dimank92 1.2d +256 2 Y 18 7 Ask author to update branch (behind main by 18)
#2592 fix(hy-check): reject variadic append with mismatched slice element types (fixes #2491) Dimank92 1.2d +180 2 Y 397 5 Ask author to update branch (behind main by 397)
#2591 fix(hy-check): reject parenthesized undefined field roots and resolve nested index callees Dimank92 1.2d +211 3 Y 18 7 Ask author to update branch (behind main by 18)
#2590 fix(hy-check): reject recursive struct value types (fixes #1566) Dimank92 1.3d +342 2 Y 18 7 Ask author to update branch (behind main by 18)
#2589 fix(hy-check): reject typed int variables in float var declarations and mismatched copy sl Dimank92 1.3d +166 1 Y 18 7 Ask author to update branch (behind main by 18)
#2587 fix(hy-check): reject typed int variables in return statements and channel sends for float Dimank92 1.3d +277 2 Y 397 5 Ask author to update branch (behind main by 397)
#2586 fix(hy-check): track closure escapes via variables/slices and respect managed blocks in HY Dimank92 1.3d +226 4 Y 190 5 Ask author to update branch (behind main by 190)
#2583 fix(hy-check): reject typed int variables in composite literals for float targets (fixes # Dimank92 1.3d +256 2 Y 397 5 Ask author to update branch (behind main by 397)
#2582 fix(hy-check): check channel-send operand kinds at both send sites (fixes #2577) Dimany4 1.3d +207 2 Y 223 7 Ask author to update branch (behind main by 223)
#2576 fix(hy-check): reject typed int variables in return statements and channel sends for float jdjioe5-cpu 1.4d +179 2 Y 484 4 Ask author to update branch (behind main by 484)
#2574 fix(hy-check): reject typed int variables in composite literals for float targets (fixes # jdjioe5-cpu 1.4d +199 2 Y 484 4 Ask author to update branch (behind main by 484)
#2572 fix(hy-check): reject typed int variables in assignment to float targets and map[float64] jdjioe5-cpu 1.4d +159 2 Y 484 5 Ask author to update branch (behind main by 484)
#2569 fix(tools): require separation after workflow mapping colons luucabg 1.4d +25 4 - 397 1 Ask author to update branch (behind main by 397)
#2564 Soundness: multi-value assignments from calls, map lookups, and channel receives bypass ta airdropia 1.4d +5174 1 - 1451 -1 Ask author to update branch (behind main by 1451)
#2563 hy-check: reject typed int variables in float var declarations and mismatched copy slice e jdjioe5-cpu 1.4d +127 2 Y 484 5 Ask author to update branch (behind main by 484)
#2561 feat(spikes): add W-2533 adversarial corpus fuzzer and operator coverage evidence (closes dextermos-dev 1.4d +404 4 - 54 3 Ask author to update branch (behind main by 54)
#2559 hy-check: reject typed int variables passed to float parameters and float slice append (HY jdjioe5-cpu 1.5d +119 2 Y 484 5 Ask author to update branch (behind main by 484)
#2555 hy-check: reject mismatched float and typed int variables in binary arithmetic and compoun jdjioe5-cpu 1.5d +132 2 Y 484 5 Ask author to update branch (behind main by 484)
#2554 fix(hy-check): join alias, may_share, and non-owned origin states across loop break exits dextermos-dev 1.5d +467 4 Y 54 4 Ask author to update branch (behind main by 54)
#2552 fix(hy-check): reject typed int variables assigned to float64 targets in assignment, struc jdjioe5-cpu 1.5d +94 2 Y 484 5 Ask author to update branch (behind main by 484)
#2550 fix(hy-check): reject non-constant int variables in float64 slice and map literals (closes jdjioe5-cpu 1.5d +61 2 Y 484 5 Ask author to update branch (behind main by 484)
#2547 fix(hy-check): enforce element kind compatibility in string, slice, and array conversions jdjioe5-cpu 1.5d +78 2 Y 484 5 Ask author to update branch (behind main by 484)
#2545 fix(hy-check): enforce numeric operand kinds in complex, real, and imag builtins (closes # jdjioe5-cpu 1.5d +138 2 Y 484 5 Ask author to update branch (behind main by 484)
#2543 fix(hy-check): enforce ordered types and matching operand types in min and max builtins (c jdjioe5-cpu 1.5d +110 2 Y 484 5 Ask author to update branch (behind main by 484)
#2541 fix(hy-check): reject non-integer variable sizes in make builtin jdjioe5-cpu 1.5d +149 3 Y 484 5 Ask author to update branch (behind main by 484)
#2539 fix(hy-check): enforce identical element types in copy builtin jdjioe5-cpu 1.5d +114 3 Y 484 5 Ask author to update branch (behind main by 484)
#2537 fix(hy-check): accept untyped integer constants as keys in delete on float maps jdjioe5-cpu 1.5d +183 3 Y 484 5 Ask author to update branch (behind main by 484)
#2535 fix(hy-check): reject match literal patterns conflicting with subject type jdjioe5-cpu 1.5d +183 2 Y 484 5 Ask author to update branch (behind main by 484)
#2532 fix(hy-check): reject type conversions between containers with mismatched element types (f jdjioe5-cpu 1.5d +117 2 Y 484 5 Ask author to update branch (behind main by 484)
#2530 fix(hy-check): type-check set[T] insert/contains/remove and delete(s, v) arguments (fixes theheiszt 1.5d +313 2 Y 78 7 Ask author to update branch (behind main by 78)
#2529 fix(hy-check): reject binary arithmetic and comparison on mismatched numeric types (fixes jdjioe5-cpu 1.5d +211 2 Y 484 5 Ask author to update branch (behind main by 484)
#2526 fix(hy-check): reject non-constant int in float parameters, returns, and struct fields (fi jdjioe5-cpu 1.5d +195 2 Y 484 5 Ask author to update branch (behind main by 484)
#2523 fix(hy-check): reject non-constant int in float composite literals (fixes #2522) jdjioe5-cpu 1.5d +167 2 Y 484 5 Ask author to update branch (behind main by 484)
#2521 fix(hy-check): reject mismatched send operands in channel send statements and select arms jdjioe5-cpu 1.5d +225 3 Y 484 7 Ask author to update branch (behind main by 484)
#2519 fix(workloads): enforce canonical LF newlines in shape.py generator taha-rafi 1.5d +1 1 - 78 4 Ask author to update branch (behind main by 78)
#2518 fix(check): enforce compound assign and map index float-int soundness (HYB-E1002) jdjioe5-cpu 1.6d +232 2 Y 484 5 Ask author to update branch (behind main by 484)
#2517 fix(hy-check): validate argument types for set[T] method calls and delete(s, v) (fixes #24 alexrayyandev 1.6d +219 2 Y 49 7 Ask author to update branch (behind main by 49)
#2515 fix(check): enforce slice copy and append element soundness (HYB-E1002) jdjioe5-cpu 1.6d +281 2 Y 484 5 Ask author to update branch (behind main by 484)
#2510 fix(tooling): align the triage scan's tests_included with the repository's test paths (67/ Dimany4 1.6d +214 3 - 223 3 Ask author to update branch (behind main by 223)
#2509 fix(check): reject non-constant integer expressions assigned or passed to float targets (H jdjioe5-cpu 1.6d +136 2 Y 484 5 Ask author to update branch (behind main by 484)
#2505 fix(check): reject binary arithmetic and comparison operands of mismatched numeric types ( jdjioe5-cpu 1.6d +106 2 Y 484 5 Ask author to update branch (behind main by 484)
#2498 fix(hy-check): bind generic type parameters per call site (erased return shapes fail open Dimany4 1.6d +489 5 Y 223 4 Ask author to update branch (behind main by 223)
#2496 fix(hy-check): check multi-value assignment target types (fixes #2495) jdjioe5-cpu 1.6d +183 2 Y 484 7 Ask author to update branch (behind main by 484)
#2493 fix(hy-check): reject variadic append with mismatched slice element types (HYB-E1002) jdjioe5-cpu 1.6d +77 2 Y 484 5 Ask author to update branch (behind main by 484)
#2489 fix(hy-check): enforce element type checks on set[T] methods and delete(s, v) (#2474) dextermos-dev 1.6d +258 2 Y 463 5 Ask author to update branch (behind main by 463)
#2484 fix(hy-check): reject conversions from interface (any) to concrete types (HYB-E1002) jdjioe5-cpu 1.6d +79 2 Y 484 5 Ask author to update branch (behind main by 484)
#2480 fix(hy-check): reject invalid conversions involving array types [N]T (HYB-E1002) jdjioe5-cpu 1.6d +109 2 Y 484 5 Ask author to update branch (behind main by 484)
#2472 fix(hy-check): reject equality comparisons between non-nilable types and nil (HYB-E1002) jdjioe5-cpu 1.7d +145 2 Y 484 5 Ask author to update branch (behind main by 484)
#2470 [soundness] Data-carrying enum equality == / != bypasses SPEC T16 & HYB-E2006, failing go airdropia 1.7d +2660 1 - 1451 0 Ask author to update branch (behind main by 1451)
#2467 fix(hy-check): reject uninitialized struct and array literal elements of types without zer jdjioe5-cpu 1.7d +171 2 Y 465 7 Ask author to update branch (behind main by 465)
#2465 fix(tooling): pass --pr to shepherd.py log and harden autoland repro gates (fixes #2424) dextermos-dev 1.7d +133 2 - 465 2 Ask author to update branch (behind main by 465)
#2464 fix(hy-check): close constant zero divisor folds across int convs, [0]T, concat, real/imag dextermos-dev 1.7d +866 3 Y 465 6 Ask author to update branch (behind main by 465)
#2463 fix(tools): handle DW_OP_plus_uconst blocks, indirect strings, and forward declarations in tungnguyen84 1.7d +89 2 - 452 4 Ask author to update branch (behind main by 452)
#2462 fix(tools): enforce verdict headers on unmarked/inline corpus refs and 3-digit filenames i tungnguyen84 1.7d +50 2 - 452 1 Ask author to update branch (behind main by 452)
#2461 fix(hy-check): reject option[T] equality == / != under SPEC §2.5 T20 (Fixes #2460) jdjioe5-cpu 1.7d +320 6 Y 484 6 Ask author to update branch (behind main by 484)
#2459 fix(hy-check): reject equality on data-carrying enums with HYB-E2006 (fixes #2444) dextermos-dev 1.7d +355 5 Y 484 5 Ask author to update branch (behind main by 484)
#2457 fix(hy-check): compare function types by full parameter and result signature (#1599) Dimank92 1.7d +186 3 Y 484 5 Ask author to update branch (behind main by 484)
#2456 fix(check): compare function types by parameter and result signature (#1599) Dimank92 1.7d +261 3 Y 484 5 Ask author to update branch (behind main by 484)
#2455 fix(hy-check): reject data-carrying enum equality == / != under SPEC T16 (Fixes #2444) jdjioe5-cpu 1.7d +190 5 Y 484 6 Ask author to update branch (behind main by 484)
#2453 fix(hy-check): track array length in kind model to reject mismatched assignments and inits Dimank92 1.7d +140 3 Y 484 7 Ask author to update branch (behind main by 484)
#2452 fix(hy-emit): brand the empty-pop panic as HY-PANIC/pop-empty Dimany4 1.7d +24 3 - 223 1 Ask author to update branch (behind main by 223)
#2451 feat(spikes): add borrow_ffi zero-copy FFI crossing executable spike and Tier-0 verifier tungnguyen84 1.7d +295 7 Y 452 7 Ask author to update branch (behind main by 452)
#2449 fix(hy-check): T16 — reject ==/!= on data-carrying enums (HYB-E2006, fixes #2444) nyxlabs29-cyber 1.7d +141 6 Y 34 6 Ask author to update branch (behind main by 34)
#2447 fix(hy-check): reject invalid scalar const conversions and cycle recursion (fixes #1587) Dimank92 1.7d +424 2 Y 484 4 Ask author to update branch (behind main by 484)
#2443 hy-emit: pop() on empty slice panics with HY-PANIC/pop-empty (fixes #2442) jipbapkitchen 1.8d +14 3 - 484 1 Ask author to update branch (behind main by 484)
#2441 fix(tools): accept documented numeric example selectors tod60828-jpg 1.8d +69 2 - 465 4 Ask author to update branch (behind main by 465)
#2438 fix(tools): handle return-typed closures, local declarations, and nested closure writes in tungnguyen84 1.8d +282 2 Y 452 7 Ask author to update branch (behind main by 452)
#2435 fix(arith): close the constant-zero-divisor folds (int conversions, string concat, empty a Dimany4 1.8d +488 3 Y 223 6 Ask author to update branch (behind main by 223)
#2434 fix(hy-check): resolve shadowed folded callees, field/http brackets, and match roots (fixe kevin9327 1.8d +349 3 Y 484 5 Ask author to update branch (behind main by 484)
#2433 fix(hy-check): catch constant zero divisors across float->int conversions, [0]T arrays, st kevin9327 1.8d +312 3 Y 484 7 Ask author to update branch (behind main by 484)
#2432 fix(resolve): HYB-E1001 misses folded brackets on shadowing heads, fields and qualified ma Dimany4 1.8d +186 2 Y 223 5 Ask author to update branch (behind main by 223)
#2431 fix(hy-check): reject non-constant string(int/rune) and invalid complex/real/imag const in kevin9327 1.8d +190 3 Y 484 7 Ask author to update branch (behind main by 484)
#2429 fix(hy-check): preserve addr-of roots across projections, option/append wrappers, and IIFE kevin9327 1.8d +259 4 Y 452 7 Ask author to update branch (behind main by 452)
#2428 fix(hy-check): replay consuming calls and move transfers across loop back-edges (fixes #24 kevin9327 1.8d +248 3 Y 484 7 Ask author to update branch (behind main by 484)
#2427 fix(hy-check): enforce HYB-E3013 across foreign receivers, bound closures, scoped shadows, kevin9327 1.8d +376 3 Y 484 5 Ask author to update branch (behind main by 484)
#2416 spikes(w1744): staged place-graph canonicalization + falsifier suite F1-F5 (refs #1744) kevin9327 1.8d +2464 6 Y 452 5 Ask author to update branch (behind main by 452)
#2415 fix(hyb,hy-emit): generate writes the option/set/pop preludes once per package (fixes #241 nyxlabs29-cyber 1.8d +351 3 Y 34 7 Ask author to update branch (behind main by 34)
#2412 moonshot: intake W-033 (zhangbailu168-wq) - ghost capability pragmas spike (closes #2406) Dimank92 1.9d +551 4 - 494 3 Ask author to update branch (behind main by 494)
#2410 [wildcard] Certified Commutative Merge Capsules (merge[M]): Wait-Free Parallel Accumulat airdropia 1.9d +32 1 - 1451 2 Ask author to update branch (behind main by 1451)
#2408 fix(tools): validate corpus fixture metadata in check_guarantees (fixes #2404) jpereyra243-byte 2.0d +95 2 - 514 4 Ask author to update branch (behind main by 514)
#2394 fix(hy-emit): lower defer f()? to exit-time error propagation, not a silent drop (fixes nyxlabs29-cyber 2.0d +501 4 Y 499 4 Ask author to update branch (behind main by 499)
#2393 fix(checker): time.after deadline channels accepted a send — emitted Go did not build lilyliiphone2026-collab 2.0d +169 18 Y 49 6 Ask author to update branch (behind main by 49)
#2392 fix(tools): check inline corpus citations beyond two digits ashkno 2.0d +41 4 - 499 1 Ask author to update branch (behind main by 499)
#2391 fix(hy-emit): lower Try-wrapped defer operands (fixes #2384) gamethao92 2.0d +27 2 - 641 1 Ask author to update branch (behind main by 641)
#2381 fix(tools): fail closed when claims table has no rows (fixes #2379) jpereyra243-byte 2.1d +28 2 - 499 1 Ask author to update branch (behind main by 499)
#2380 Fail claims evidence check when no rows are parsed leejeongeun999-hub 2.1d +11 2 - 505 1 Ask author to update branch (behind main by 505)
#2378 fix(hy-check): reject == nil / != nil on non-nilable operand types (fixes #1567) huhuli083-creator 2.1d +57 2 Y 505 5 Ask author to update branch (behind main by 505)
#2376 fix(hy-check): resolve each hop in struct field chains and assignment places (fixes #2375) hardik4love-lang 2.2d +97 2 Y 514 7 Ask author to update branch (behind main by 514)
#2374 fix(hy-check): reject bare package identifier in value position (#2358) Dimank92 2.3d +260 2 Y 514 7 Ask author to update branch (behind main by 514)
#2373 fix(hy-check): reject multiple defaults in select statement (#2356) Dimank92 2.3d +132 2 Y 514 7 Ask author to update branch (behind main by 514)
#2372 fix(tools): resolve the file part of an evidence link so a markdown fragment is not read a Dimany4 2.3d +53 2 - 223 3 Ask author to update branch (behind main by 223)
#2371 Fix claims-link guard for missing corpus and invalid verdicts LeoLam233 2.3d +50 4 - 514 2 Ask author to update branch (behind main by 514)
#2370 fix(tools): fail closed on a missing corpus root and undeclared ACCEPT verdicts in the cla Dimany4 2.3d +64 2 - 223 2 Ask author to update branch (behind main by 223)
#2368 spikes(w2220): executable claims + demotion gate (W-2220 M1+M2) gamethao92 2.3d +1479 11 - 514 3 Ask author to update branch (behind main by 514)
#2365 fix(guarantees): require fixtures to be corpus harness inputs Sarbajit-Sengupta 2.3d +27 2 - 514 3 Ask author to update branch (behind main by 514)
#2364 fix(triage): create only missing palette labels Sarbajit-Sengupta 2.3d +67 3 - 514 2 Ask author to update branch (behind main by 514)
#2363 fix(guarantees): resolve Markdown section links as file paths Sarbajit-Sengupta 2.3d +22 2 - 514 3 Ask author to update branch (behind main by 514)
#2362 fix(evidence): reject empty tables and unregistered verdict metadata Sarbajit-Sengupta 2.3d +47 2 - 514 1 Ask author to update branch (behind main by 514)
#2361 fix(triage): approve every waiting workflow on a PR head Sarbajit-Sengupta 2.3d +63 3 - 514 2 Ask author to update branch (behind main by 514)
#2360 Fix Spike 4 latency overhead subtraction units lvantiff 2.3d +87 3 - 514 4 Ask author to update branch (behind main by 514)
#2359 hy-check: reject bare package identifiers in value position (fixes #2358) gamethao92 2.3d +141 2 Y 514 7 Ask author to update branch (behind main by 514)
#2357 hy-check: reject select statements with multiple default arms (fixes #2356) gamethao92 2.4d +85 2 Y 514 6 Ask author to update branch (behind main by 514)
#2355 fix(fuzz): make saved reproductions match checked source bytes Sarbajit-Sengupta 2.4d +48 3 - 565 4 Ask author to update branch (behind main by 565)
#2354 fix(sweeper): refresh protection labels before queued closures Sarbajit-Sengupta 2.4d +98 3 - 565 2 Ask author to update branch (behind main by 565)
#2353 fix(runner): preserve reviewed summaries on publication failure Sarbajit-Sengupta 2.4d +82 2 - 565 3 Ask author to update branch (behind main by 565)
#2351 fix(hy-check): snapshot lexical closure capture environment before post-closure shadowing dextermos-dev 2.5d +102 2 Y 590 7 Ask author to update branch (behind main by 590)
#2350 fix(hy-check): track defer assignments to named results across return sharing, const immut dextermos-dev 2.5d +263 5 Y 484 4 Ask author to update branch (behind main by 484)
#2349 fix(hy-check): record multi-value closure borrow aliases and extend named results in slot dextermos-dev 2.5d +55 3 Y 590 7 Ask author to update branch (behind main by 590)
#2348 fix(hy-check): reject non-place and indexed OwnHandle field moves with HYB-E3004 (fixes #1 dextermos-dev 2.5d +73 3 Y 590 7 Ask author to update branch (behind main by 590)
#2347 fix(hy-check): preserve closure zd_defined shadow guard across nested closures and unary/f dextermos-dev 2.5d +121 2 Y 590 7 Ask author to update branch (behind main by 590)
#2346 fix(tools): preserve end-of-options operand semantics in test registration guard (fixes #2 dextermos-dev 2.5d +32 2 - 590 3 Ask author to update branch (behind main by 590)
#2341 fix: resolve #610 — [wildcard] Make FFI claims proof-carrying: verify boundary contracts a shintny 2.5d +358 3 - 598 4 Ask author to update branch (behind main by 598)
#2340 hy-emit: peel parens on new((T)) type operand so N5 map allocation applies (#1615) huhuli083-creator 2.5d +14 3 Y 606 5 Ask author to update branch (behind main by 606)
#2338 check: resolve named types in declarations (fixes #1583) dextermos-dev 2.6d +498 5 Y 484 4 Ask author to update branch (behind main by 484)
#2336 check: reject non-variable assignment targets (fixes #1574) dextermos-dev 2.6d +328 3 Y 606 5 Ask author to update branch (behind main by 606)
#2335 fix(hy-emit): propagate channel element BindingKind, pointer_vars, and var_ty across recei dextermos-dev 2.6d +199 3 Y 606 5 Ask author to update branch (behind main by 606)
#2334 fix(tools): enforce VALID_MODULE_NAME, top-level-dir boundary, and direct invocation guard dextermos-dev 2.6d +85 2 - 606 3 Ask author to update branch (behind main by 606)
#2333 fix(hy-check): reject functions that can fall off the end without a return (fixes #1481) dextermos-dev 2.6d +307 4 Y 606 7 Ask author to update branch (behind main by 606)
#2332 fix(hy-emit): mangle identifier 'default' colliding with Go keyword (fixes #1167) dextermos-dev 2.6d +288 4 Y 606 5 Ask author to update branch (behind main by 606)
#2327 fix(tools): preserve end-of-options separator in test registration guard (fixes #2322) jpereyra243-byte 2.7d +22 2 - 565 3 Ask author to update branch (behind main by 565)
#2326 fix(hy-check): propagate loop-carried non-owned origins across back-edge (#2313) Dimank92 2.7d +229 1 Y 533 7 Ask author to update branch (behind main by 533)
#2325 fix(Go-Hybrid): [Bounty] Triage Board (auto-updated daily — pin me) (fixes #940) NePreby 2.7d +28 1 - 641 3 Ask author to update branch (behind main by 641)
#2318 fix(Go-Hybrid): [Bounty] [Tooling] Invalid UTF-8 makes conflict-marker scans silently disc NePreby 2.7d +27 1 - 641 3 Ask author to update branch (behind main by 641)
#2316 fix(hy-check): preserve closure lexical capture across post-closure block shadowing and mo arian262785-cell 2.7d +127 6 Y 243 7 Ask author to update branch (behind main by 243)
#2311 fix(Go-Hybrid): [Bounty] [tooling] the triage board never promotes land-candidates to tria NePreby 2.7d +43 1 - 641 4 Ask author to update branch (behind main by 641)
#2298 fix(hy-check,hy-emit): enforce (T, error) tail return assignability and emit exact multi-v magomedta 2.8d +314 4 Y 78 7 Ask author to update branch (behind main by 78)
#2297 moonshot: intake W-032 (magomedta) - certified heap-freedom task pipeline spike (closes #9 Dimank92 2.8d +426 6 - 641 3 Ask author to update branch (behind main by 641)
#2286 fix(hy-check): reject variant match patterns on non-option, non-enum subjects (HYB-E5002) 9xj89gzrtw-hue 2.8d +460 13 Y 435 4 Ask author to update branch (behind main by 435)
#2285 fix(hy-emit): nest redefining match-arm bodies so the injected pattern binding stays legal 9xj89gzrtw-hue 2.8d +340 10 Y 435 5 Ask author to update branch (behind main by 435)
#2284 fix(check): reject map key types that are not comparable (#1565) 9xj89gzrtw-hue 2.8d +317 6 Y 435 5 Ask author to update branch (behind main by 435)
#2283 fix(check): reject stores into declarations that are not variables (#1574) 9xj89gzrtw-hue 2.8d +380 7 Y 435 5 Ask author to update branch (behind main by 435)
#2280 feat: introduce structured task scopes and affine cancellation tokens SuperPiIot 2.9d +267 3 - 641 4 Ask author to update branch (behind main by 641)
#2279 fix(hy-check): validate type-elided struct literals in composite contexts (#2098) Dimank92 2.9d +370 2 Y 641 5 Ask author to update branch (behind main by 641)
#2277 fix(hy-check): classify slice conversions ([]byte/[]rune/slice-to-slice) as fresh allocati jpereyra243-byte 3.0d +123 3 Y 565 4 Ask author to update branch (behind main by 565)
#2276 moonshot: intake W-031 (Dimany4) - rule-mutation score spike (closes #2198) Dimank92 3.0d +319 4 - 641 4 Ask author to update branch (behind main by 641)
#2273 fix(hy-check): reword HYB-E3004 fix-it to advise deep copy instead of shallow rebinding (f jpereyra243-byte 3.0d +37 2 Y 565 7 Ask author to update branch (behind main by 565)
#2270 fix(tools): reject negative limits before API access in queue_sweeper (fixes #2269) jpereyra243-byte 3.1d +83 2 - 565 2 Ask author to update branch (behind main by 565)
#2268 fix(hy-check): enforce T22 const-write checks on indirect callees, struct-field fn ptrs, a SovereignSektorz 3.2d +173 2 Y 641 5 Ask author to update branch (behind main by 641)
#2262 hy-check: reject & on projections of composite literals and unresolved call kinds (#2004) gamethao92 3.3d +149 2 Y 517 7 Ask author to update branch (behind main by 517)
#2260 moonshot: intake W-030 (slabhousextracts-blip) - verdict-differential fuzzing spike (close Dimank92 3.3d +400 4 - 641 3 Ask author to update branch (behind main by 641)
#2259 moonshot: intake W-029 (dextermos-dev) - zero-alloc heap freedom spike (closes #2189) Dimank92 3.3d +426 4 - 641 3 Ask author to update branch (behind main by 641)
#2257 moonshot: intake W-028 (slabhousextracts-blip) - generation traps spike (closes #2183) Dimank92 3.3d +325 4 - 641 4 Ask author to update branch (behind main by 641)
#2254 moonshot: intake W-027 (slabhousextracts-blip) - linear close-rights spike (closes #2184) Dimank92 3.3d +1054 4 - 641 3 Ask author to update branch (behind main by 641)
#2252 moonshot: intake W-025 (2011722761) - untrusted proof producer spike (closes #2176) Dimank92 3.4d +275 4 - 641 4 Ask author to update branch (behind main by 641)
#2251 moonshot: intake W-024 (umpireboulianne-design) - heap-freedom oracle spike (closes #1172) Dimank92 3.4d +152 4 - 641 4 Ask author to update branch (behind main by 641)
#2250 fix(hy-check): enforce single-value positions on void and multi-value try expressions (#19 Dimank92 3.4d +151 2 Y 641 4 Ask author to update branch (behind main by 641)
#2233 fix(tools): abort queue sweep on invalid protection config kagtgi 3.5d +112 5 - 641 2 Ask author to update branch (behind main by 641)
#2232 fix(tooling): promote land-candidates to triage:pareto and protect bot:land-candidate (clo Rohank143 3.5d +84 7 - 641 1 Ask author to update branch (behind main by 641)
#2231 fix(check): canonicalize integer and rune index constants in lit_index_key (#2226) Dimank92 3.5d +39 2 Y 641 7 Ask author to update branch (behind main by 641)
#2227 fix(workflows): guard shepherd-preflight against missing root go.mod (closes #2168) Rohank143 3.5d +34 2 - 641 1 Ask author to update branch (behind main by 641)
#2225 fix(tooling): promote land-candidates to triage:pareto and protect bot:land-candidate (#22 Dimank92 3.5d +89 7 - 641 2 Ask author to update branch (behind main by 641)
#2224 fix(hy-check): track non-ident destination arguments in const-alias and param-stores (#218 Dimank92 3.5d +125 2 Y 641 7 Ask author to update branch (behind main by 641)
#2223 fix(hy-emit): eagerly allocate set[T] storage to guarantee alias sharing (fixes #2216) jpereyra243-byte 3.5d +68 2 - 565 3 Ask author to update branch (behind main by 565)
#2222 fix(hy-emit): eagerly allocate set[T] map field to share storage across copies (fixes #221 Dimank92 3.5d +69 3 Y 641 5 Ask author to update branch (behind main by 641)
#2217 fix(hy-emit): infer foreign shape on field and accessor bindings (fixes #2207) Dimank92 3.6d +83 3 - 641 1 Ask author to update branch (behind main by 641)
#2215 checker: preserve shadow-severed sharing edges across scope_pop (#797, #811) coast9x72 3.6d +560 4 Y 641 6 Ask author to update branch (behind main by 641)
#2214 fix(hy-emit): dedup call parens for MethodZero accessors in call position (fixes #2209) Dimank92 3.6d +70 2 - 641 1 Ask author to update branch (behind main by 641)
#2213 fix(hy-check): reject type annotation in store target position (fixes #2199) Dimank92 3.6d +126 2 Y 641 7 Ask author to update branch (behind main by 641)
#2212 fix(hy-check): reject unknown method names on foreign values (fixes #2200) Dimank92 3.6d +546 4 Y 641 4 Ask author to update branch (behind main by 641)
#2211 fix(hy-check): reject re-binding a live slice-element loan base (#970) coast9x72 3.6d +761 6 Y 641 6 Ask author to update branch (behind main by 641)
#2210 fix(hy-check): reject unknown field names on foreign handle values (fixes #2203) Dimank92 3.6d +303 3 Y 533 4 Ask author to update branch (behind main by 533)
#2208 research(w018): cross-check schedule witnesses and guarded Go kernels BP202302 3.6d +1559 18 - 641 1 Ask author to update branch (behind main by 641)
#2201 hy-check: reject type annotations in store targets with HYB-E1002 comandanto 3.7d +198 2 Y 641 5 Ask author to update branch (behind main by 641)
#2194 fix(tools): enforce the EXPECTED-DIAGNOSTIC pin in the differential loop (fixes #2161) Dimany4 3.7d +160 4 - 223 4 Ask author to update branch (behind main by 223)
#2193 fix(tools/runner): refuse a declared expected result unchanged since before the run (fixes Dimany4 3.7d +89 4 - 223 3 Ask author to update branch (behind main by 223)
#2192 fix(hy-emit): drive inclusive ranges from an internal index so a body write cannot defeat Dimany4 3.7d +92 5 - 223 4 Ask author to update branch (behind main by 223)
#2190 hy-emit: resolve foreign shape typing on direct call and try-unwrapped receivers comandanto 3.8d +166 3 Y 641 5 Ask author to update branch (behind main by 641)
#2188 fix(workflows): guard shepherd-preflight against missing root go.mod (closes #2168) chiragjangiir 3.8d +38 2 - 641 2 Ask author to update branch (behind main by 641)
#2187 fix(runner): stop timed-out descendants and validate deadlines before spawning KimJiUng 3.8d +106 4 - 641 4 Ask author to update branch (behind main by 641)
#2186 fix(workflows): guard preflight go build/vet against missing root go.mod (closes #2168) dextermos-dev 3.9d +33 2 - 641 1 Ask author to update branch (behind main by 641)
#2185 Support documented unary integer complement giftedbee66 3.9d +758 16 Y 641 4 Ask author to update branch (behind main by 641)
#2181 fix(hy-check): resolve non-ident destination roots in T22 and O5.2 call-store tracking (#2 SovereignSektorz 3.9d +127 2 Y 641 7 Ask author to update branch (behind main by 641)
#2179 [zc] fix(checker): B4 misses negative shift counts through file-level const references lilyliiphone2026-collab 3.9d +358 24 Y 641 5 Ask author to update branch (behind main by 641)
#2178 [zc] fix(checker): time.after deadline channels accepted a send - emitted Go did not build lilyliiphone2026-collab 3.9d +171 18 Y 641 4 Ask author to update branch (behind main by 641)
#2177 [wb] fix(hy-check): enforce O8 slot-loan uniqueness and A3 alias tracking in closure bodie lilyliiphone2026-collab 3.9d +125 10 Y 641 5 Ask author to update branch (behind main by 641)
#2175 fix(hy-check): resolve non-ident handle roots in A2 borrow and view loans (#2174) SovereignSektorz 4.0d +97 2 Y 641 7 Ask author to update branch (behind main by 641)
#2173 fix(hy-check): enforce non-owned origin and non-ident roots on CallMode::Consume (#2172) SovereignSektorz 4.0d +141 2 Y 641 5 Ask author to update branch (behind main by 641)
#2171 fix(hy-check): enforce OwnHandle field-move roots and index uses (#2170) SovereignSektorz 4.0d +204 6 Y 641 5 Ask author to update branch (behind main by 641)
#2169 shepherd-preflight: skip root go build/vet when no root go.mod exists comandanto 4.0d +14 1 - 641 2 Ask author to update branch (behind main by 641)
#2163 fix: [wildcard] Compile fixed-rate task networks away: certified periodic Go (closes #378 rafagil11 4.0d +143 2 - 641 4 Ask author to update branch (behind main by 641)
#2162 tools: enforce EXPECTED-DIAGNOSTIC pins in differential harness comandanto 4.1d +143 4 - 641 2 Ask author to update branch (behind main by 641)
#2160 hy-emit: desugar O8 slot loans and hoistable try in if init to block sequence comandanto 4.2d +227 2 Y 641 7 Ask author to update branch (behind main by 641)
#2159 fix(hy-emit): lower if-init O8 slot loans via emit_block_body (fixes #2156) timojeda19-cpu 4.2d +129 2 - 641 1 Ask author to update branch (behind main by 641)
#2158 fix(hy-emit): normalize foreign struct literal fields and register composite const shapes timojeda19-cpu 4.2d +173 5 - 641 1 Ask author to update branch (behind main by 641)
#2157 fix(hy-emit): push loop sentinel and flush branch_inherit in for cond()? loops (fixes #210 timojeda19-cpu 4.2d +58 2 - 641 1 Ask author to update branch (behind main by 641)
#2155 fix(hy-emit): update inclusive range stop flag in for-loop post statement (fixes #2153) jpereyra243-byte 4.2d +40 2 Y 565 7 Ask author to update branch (behind main by 565)
#2154 hy-emit: sample inclusive range stop condition in post statement to respect loop variable comandanto 4.3d +103 3 Y 641 6 Ask author to update branch (behind main by 641)
#2152 fix(check): reject builtin, generic and qualified types as values BP202302 4.3d +371 6 Y 641 5 Ask author to update branch (behind main by 641)
#2151 fix(hy-check): reject invalid literal operands in real, imag, complex, and min/max (fixes RAMGOX 4.4d +113 2 Y 641 6 Ask author to update branch (behind main by 641)
#2150 fix(hy-check): reject non-numeric and overflowing constant conversions to complex types (f RAMGOX 4.4d +72 2 Y 641 7 Ask author to update branch (behind main by 641)
#2148 Reject nil map keys throughout expression checking BP202302 4.4d +178 5 Y 641 5 Ask author to update branch (behind main by 641)
#2139 fix(hy-check): track multi-return and try-unwrapped auto-addr loans (fixes #2052) jpereyra243-byte 4.4d +215 1 - 565 3 Ask author to update branch (behind main by 565)
#2138 fix(hy-check): track call may_share and post-closure const rebinds in scan_block_const_wri jpereyra243-byte 4.5d +228 1 - 565 2 Ask author to update branch (behind main by 565)
#2137 hy-emit: resolve foreign MethodZero accessors and nested struct shapes on place targets comandanto 4.5d +133 2 Y 641 5 Ask author to update branch (behind main by 641)
#2136 fix(check): preserve channel direction on struct field fn calls (closes #1358) dextermos-dev 4.5d +145 3 Y 641 6 Ask author to update branch (behind main by 641)
#2135 fix(check, emit): validate signature type params and fn main result signatures (closes #20 dextermos-dev 4.5d +258 3 Y 641 7 Ask author to update branch (behind main by 641)
#2134 fix(hy-emit): infer comparable constraint in select headers, places, and array lengths (fi jpereyra243-byte 4.5d +89 2 Y 565 5 Ask author to update branch (behind main by 565)
#2133 hy-emit: infer comparable constraint in select arms, assign targets, and array lengths comandanto 4.5d +127 2 Y 641 5 Ask author to update branch (behind main by 641)
#2130 fix(hy-check): reject typed int variables in float64 composite literals (fixes #1980) jpereyra243-byte 4.5d +38 2 Y 565 5 Ask author to update branch (behind main by 565)
#2129 fix(tools): retain conflict markers around invalid UTF-8 j0s3lu1555 4.5d +47 4 - 641 2 Ask author to update branch (behind main by 641)
#2125 fix(tools): decode conflict marker candidates with errors='replace' (fixes #2124) comandanto 4.5d +43 2 - 641 3 Ask author to update branch (behind main by 641)
#2122 fix(tooling): make shepherd-board resilient to fork read-only tokens (fixes #2057) Rohank143 4.6d +59 2 - 641 1 Ask author to update branch (behind main by 641)
#2121 fix(hy-check): infer types for receive, slice, and aliased map expressions (fixes #2119) comandanto 4.6d +199 2 Y 641 5 Ask author to update branch (behind main by 641)
#2118 Fix #186: [wildcard] Erase the .hy / .go Split: Whole-Package Tier-0 Checking vi OGUT1999 4.6d +6 1 - 641 3 Ask author to update branch (behind main by 641)
#2117 Fix #186: [wildcard] Erase the .hy / .go Split: Whole-Package Tier-0 Checking vi OGUT1999 4.6d +8 1 - 641 4 Ask author to update branch (behind main by 641)
#2116 fix(hy-check): accept equivalent integer spellings in range bounds BP202302 4.7d +87 5 Y 641 5 Ask author to update branch (behind main by 641)
#2115 fix(tools): queue_sweeper counts only real closures as closed; report comment failures sep lilyliiphone2026-collab 4.7d +110 3 Y 641 5 Ask author to update branch (behind main by 641)
#2114 fix(tools): handle HTTP 422 accurately and decouple comment failures in queue_sweeper (fix dextermos-dev 4.7d +100 2 - 641 2 Ask author to update branch (behind main by 641)
#2113 fix(tooling): validate verdict headers in check_corpus_census via corpus_harness (closes # dextermos-dev 4.7d +60 2 - 641 1 Ask author to update branch (behind main by 641)
#2112 fix(hy-check): validate builtin args in array length expressions (HYB-E2005) lilyliiphone2026-collab 4.7d +86 2 Y 641 6 Ask author to update branch (behind main by 641)
#2111 fix(check): reject move of active map-slot loan with HYB-E3104 (closes #2066) dextermos-dev 4.7d +190 4 Y 641 5 Ask author to update branch (behind main by 641)
#2110 fix(check): validate type-elided struct literals in composite contexts (closes #2098) dextermos-dev 4.8d +233 2 Y 641 5 Ask author to update branch (behind main by 641)
#2109 fix(tools): count HTTP 422 PATCH as closure failure and track comment failures in queue_sw jpereyra243-byte 4.8d +73 2 - 565 1 Ask author to update branch (behind main by 565)
#2108 fix(tools): handle HTTP 422 and decouple comment failures in queue_sweeper (fixes #2107) huynhnhatquandongnai-source 4.8d +81 2 - 641 1 Ask author to update branch (behind main by 641)
#2106 fix(emit): push loan sentinel and flush branch_inherit on for cond()? (closes #2100) dextermos-dev 4.8d +39 2 Y 641 4 Ask author to update branch (behind main by 641)
#2105 fix(emit): peel leading parens in place_root for slot loan store-back (closes #2064) dextermos-dev 4.8d +28 2 Y 641 4 Ask author to update branch (behind main by 641)
#2104 fix(check): validate builtin arguments in array length expressions (closes #2102) dextermos-dev 4.9d +27 2 Y 641 7 Ask author to update branch (behind main by 641)
#2103 fix(hy-check): validate builtin call args in check_array_len (fixes #2102) jpereyra243-byte 4.9d +3 2 Y 565 6 Ask author to update branch (behind main by 565)
#2099 fix(hy-check): validate type-elided struct literals in composite literals (fixes #2098) abrahamjbarnes 5.0d +239 1 - 641 1 Ask author to update branch (behind main by 641)
#2097 fix(hy-emit): normalize foreign struct literal fields and register composite const binding abrahamjbarnes 5.0d +292 5 - 641 2 Ask author to update branch (behind main by 641)
#2092 fix(check): reject nil in non-nilable composite literals and type names in value positions huynhnhatquandongnai-source 5.0d +260 3 Y 641 5 Ask author to update branch (behind main by 641)
#2090 fix(check): enforce numeric type matching in binary arithmetic, comparison, and compound a huynhnhatquandongnai-source 5.0d +141 2 Y 641 5 Ask author to update branch (behind main by 641)
#2089 fix(tooling): make shepherd-board resilient to fork read-only tokens and quota exhaustion abrahamjbarnes 5.0d +283 3 - 641 2 Ask author to update branch (behind main by 641)
#2088 corpus: pin the #399/#301/#1032/#372 soundness repros as REJECT fixtures Ljunqiang 5.0d +211 12 Y 641 5 Ask author to update branch (behind main by 641)
#2087 fix(check): atomic values are copy-locked 鈥?reject every by-value copy (#1399) Ljunqiang 5.0d +423 14 Y 641 4 Ask author to update branch (behind main by 641)
#2086 fix(emit): flush slot loans between operand eval and return, and on ? exits (#1398) Ljunqiang 5.0d +225 11 Y 641 4 Ask author to update branch (behind main by 641)
#2083 feat(w1929): add linear CloseRight capability verifier and tests (Fixes #1929) harmweber787-png 5.1d +179 3 Y 223 7 Ask author to update branch (behind main by 223)
#2082 feat(w1963): add proof-producing sendability verifier and falsifier tests (Fixes #1963) harmweber787-png 5.1d +187 3 Y 223 7 Ask author to update branch (behind main by 223)
#2080 feat(w2015): add O18 GoBench spawn census and O4.0 closure/method-value prover (Fixes #201 harmweber787-png 5.1d +196 3 Y 223 7 Ask author to update branch (behind main by 223)
#2078 feat(w1754): canonical CalleeRef IR + zero-transpile hy-vet parity (#1754) harmweber787-png 5.1d +222 3 Y 223 7 Ask author to update branch (behind main by 223)
#2077 feat(w025): emit-driven verification via explicit desugared MIR (hy-mir) (#695) harmweber787-png 5.1d +201 3 Y 223 7 Ask author to update branch (behind main by 223)
#2076 feat(w015): lexical split-join slice capabilities via 3-index capacity clipping (#294) harmweber787-png 5.1d +245 3 Y 223 7 Ask author to update branch (behind main by 223)
#2075 feat(w020): serializable shared-state regions via admitted MVSI transactions (#417) harmweber787-png 5.1d +228 3 Y 223 7 Ask author to update branch (behind main by 223)
#2074 feat(w011): whole-package Tier-0 checking via native Go AST & export-data analysis (#186) harmweber787-png 5.1d +297 3 Y 223 7 Ask author to update branch (behind main by 223)
#2073 feat(w003): linear capability surface (own/share/view) + 1-bit runtime header guard (#193) harmweber787-png 5.1d +312 3 Y 223 7 Ask author to update branch (behind main by 223)
#2072 fix(hy-check): reject moving an active O8 map-slot loan (closes #2066) dextermos-dev 5.1d +350 3 Y 641 5 Ask author to update branch (behind main by 641)
#2071 fix(tools): derive corpus census verdicts from harness metadata (#2070) papkie 5.2d +77 2 - 641 2 Ask author to update branch (behind main by 641)
#2069 feat(spikes): structured task scopes & affine containment (#1669) wanghaitao-git 5.3d +3197 24 Y 641 3 Ask author to update branch (behind main by 641)
#2068 checker: enforce generic type constraints on interface implementations (fixes #1201) zidirahim617-del 5.3d +749 15 Y 677 4 Ask author to update branch (behind main by 677)
#2063 fix(tooling): fail acceptance for examples without runtime oracles BP202302 5.3d +38 2 - 641 3 Ask author to update branch (behind main by 641)
#2058 fix(check): track multi-return and ?-unwrapped auto-addr loans (closes #2052) dextermos-dev 5.4d +215 1 - 641 3 Ask author to update branch (behind main by 641)
#2056 fix(tools): do not fail the board check when the token is read-only ryder777777 5.4d +22 1 - 397 4 Ask author to update branch (behind main by 397)
#2055 hy-check: preserve post-block move and non-owned origin in closure_scoped_envs (#867) huhuli083-creator 5.5d +10 2 Y 505 5 Ask author to update branch (behind main by 505)
#2051 fix(checker): require one type argument for set and option (#1878) milkingndb-oss 5.5d +79 2 Y 641 5 Ask author to update branch (behind main by 641)
#2047 fix(check): reject type names in value positions for builtins, generics, and packages (clo dextermos-dev 5.6d +182 1 - 641 1 Ask author to update branch (behind main by 641)
#2046 fix(check): reject nil in non-nilable composite literals (closes #2036) dextermos-dev 5.6d +142 1 - 641 1 Ask author to update branch (behind main by 641)
#2045 fix(hy-check): reject same-scope local redeclarations and short-define type mutations (fix huhuli083-creator 5.6d +147 2 Y 641 5 Ask author to update branch (behind main by 641)
#2044 fix(hy-check): preserve shadow_links on self-shadowed match arm and multi-value local bind huhuli083-creator 5.6d +203 2 Y 641 5 Ask author to update branch (behind main by 641)
#2042 fix(hy-check): reject built-in, generic, and qualified type names in value position (fixes comandanto 5.7d +310 3 Y 641 5 Ask author to update branch (behind main by 641)
#2040 fix(checker): reject nil map keys for non-nilable key types (#2036) milkingndb-oss 5.7d +108 2 Y 641 5 Ask author to update branch (behind main by 641)
#2039 fix(hy-check): reject nil in composite literals with non-nilable types (fixes #2036) comandanto 5.7d +94 1 - 641 1 Ask author to update branch (behind main by 641)
#2038 docs: describe shipped go.mod integration in issue chooser CryptoLeaks 5.7d +2 1 - 641 4 Ask author to update branch (behind main by 641)
#2037 fix(checker): check arity and argument types for closure calls (#1877) milkingndb-oss 5.7d +109 2 Y 641 7 Ask author to update branch (behind main by 641)
#2035 fix(checker): reject conversions between distinct named structs (#1879) milkingndb-oss 5.7d +63 2 Y 641 7 Ask author to update branch (behind main by 641)
#2034 fix(syntax): reject a fractional part after a prefixed integer literal (#1168) milkingndb-oss 5.7d +53 2 Y 641 7 Ask author to update branch (behind main by 641)
#2033 fix(checker): composite literal items are single-value slots (#1849) milkingndb-oss 5.7d +84 2 Y 641 5 Ask author to update branch (behind main by 641)
#2032 fix(checker): struct literal field values are single-value slots (#1853) milkingndb-oss 5.7d +69 2 Y 641 5 Ask author to update branch (behind main by 641)
#2031 fix(checker): index and slice bases are single-value contexts (#1854) milkingndb-oss 5.7d +76 2 Y 641 7 Ask author to update branch (behind main by 641)
#2030 fix(checker): positional return values are single-value slots (#1852) milkingndb-oss 5.7d +84 2 Y 641 5 Ask author to update branch (behind main by 641)
#2029 fix(checker): for-in range is a single-value context (#1863) milkingndb-oss 5.7d +62 2 Y 641 7 Ask author to update branch (behind main by 641)
#2028 fix(checker): conditions are single-value contexts (#1862) milkingndb-oss 5.7d +74 2 Y 641 7 Ask author to update branch (behind main by 641)
#2027 fix(checker): require a single-value channel receive operand (#1860) milkingndb-oss 5.7d +65 2 Y 641 7 Ask author to update branch (behind main by 641)
#2026 fix(checker): require the two-argument append shape (#1673) milkingndb-oss 5.7d +77 2 Y 641 7 Ask author to update branch (behind main by 641)
#2025 fix(checker): reject a method that reuses its struct field name (#1119) milkingndb-oss 5.7d +102 2 Y 641 7 Ask author to update branch (behind main by 641)
#2024 fix(checker): substitute receiver type arguments in generic method calls (#1959) milkingndb-oss 5.8d +86 2 Y 641 7 Ask author to update branch (behind main by 641)
#2023 fix(checker): compare type-constructor elements invariantly (#1985) milkingndb-oss 5.8d +253 2 Y 641 5 Ask author to update branch (behind main by 641)
#2022 fix(checker): every parallel RHS is its own single-value slot (#1922) milkingndb-oss 5.8d +206 2 Y 641 5 Ask author to update branch (behind main by 641)
#2021 fix(checker): check arity and argument types of instantiated generic calls (#1961) milkingndb-oss 5.8d +111 2 Y 641 5 Ask author to update branch (behind main by 641)
#2020 fix(checker): classify ? by the call value shape minus its error result (#1960) milkingndb-oss 5.8d +234 2 Y 641 5 Ask author to update branch (behind main by 641)
#2019 fix(emit): peel parentheses on pointer-param callee and argument (#1989) milkingndb-oss 5.8d +40 2 Y 641 7 Ask author to update branch (behind main by 641)
#2018 fix(emit): parenthesized try/addr-of, select headers, elided map keys (#1993) milkingndb-oss 5.8d +85 3 Y 641 5 Ask author to update branch (behind main by 641)
#2017 fix(emit): peel parentheses on the call callee before lowering (#1991) milkingndb-oss 5.8d +84 3 Y 641 7 Ask author to update branch (behind main by 641)
#2016 fix(checker): close five N1 escapes in check_composite_nils (#1987) milkingndb-oss 5.8d +143 2 Y 641 5 Ask author to update branch (behind main by 641)
#2014 research(wildcard): O18 tripwire on GoBench — 94.5% of real spawn sites are unprovable milkingndb-oss 5.8d +1015 11 - 641 3 Ask author to update branch (behind main by 641)
#2013 fix: resolve #1858 - [soundness] Builtin operand omissions in builtins.rs: non-or fangjian-bit 5.8d +133 1 - 641 4 Ask author to update branch (behind main by 641)
#2012 fix: resolve #1848 - [Soundness] check_map_lit_entries in buildable.rs and sendab fangjian-bit 5.8d +286 1 - 641 4 Ask author to update branch (behind main by 641)
#2011 fix: resolve #1849 - [Soundness] check_slice_lit_items and check_map_lit_entries fangjian-bit 5.8d +277 1 - 641 4 Ask author to update branch (behind main by 641)
#2010 fix: resolve #1942 - [wildcard] Fuel-metered compute capsules with a closed call fangjian-bit 5.8d +450 1 - 641 3 Ask author to update branch (behind main by 641)
#2008 research(wildcard): defer is not a channel — recover semantics falsify #1394 lowering milkingndb-oss 5.8d +60 1 - 641 4 Ask author to update branch (behind main by 641)
#2007 fix(hyb): validate build/vendor-runtime CLI flags and enforce --deny-managed (fixes #1319) huangji6693-max 5.8d +285 3 Y 641 5 Ask author to update branch (behind main by 641)
#2006 fix(hy-emit): parenthesize multi-result TypeExpr::Fn and isolate Expr::FnLit return contex huangji6693-max 5.8d +105 4 Y 641 6 Ask author to update branch (behind main by 641)
#2005 fix(hy-check): reject unaddressable composite-literal and call projections under & (fixes huangji6693-max 5.8d +230 3 Y 641 7 Ask author to update branch (behind main by 641)
#2003 fix(hy-check): reject map index expressions as non-addressable in is_addressable_expr (fix weaieverything 5.8d +160 1 - 641 3 Ask author to update branch (behind main by 641)
#1999 feat: add auto { ... } automatic fork-join scheduling (issue #1962) wanghaitao-git 5.8d +1412 42 Y 641 4 Ask author to update branch (behind main by 641)
#1998 hy-check: propagate any-field share edges and closure alias A3 loan windows (fixes #1997) myhubstat 5.9d +235 2 Y 641 7 Ask author to update branch (behind main by 641)
#1996 fix(docs): wrap Docker quickstart build-and-run chain in sh -c to execute /work/out in fangjian-bit 5.9d +3 1 - 641 4 Ask author to update branch (behind main by 641)
#1995 fix: implement checker-planned capacity-clipped reslices (#1927) BP202302 5.9d +4249 37 Y 641 3 Ask author to update branch (behind main by 641)
#1994 fix(hy-emit): handle parenthesized zero-result ?, select header ?, &(x), and elided map ke SovereignSektorz 5.9d +39 3 - 641 1 Ask author to update branch (behind main by 641)
#1992 fix(hy-emit): unwrap Expr::Paren on Expr::Field callees across emit_call and hoist_tries_c SovereignSektorz 5.9d +36 3 - 641 1 Ask author to update branch (behind main by 641)
#1990 fix(hy-emit): unwrap Expr::Paren across emit_call N5 new, conversions, set builtins, and p SovereignSektorz 5.9d +53 2 - 641 1 Ask author to update branch (behind main by 641)
#1988 fix(hy-check): enforce Rule N1 (HYB-E4001) in check_composite_nils across map keys, paren SovereignSektorz 5.9d +96 2 - 641 2 Ask author to update branch (behind main by 641)
#1986 fix(hy-check): enforce bidirectional type invariance inside composite constructors and cop SovereignSektorz 5.9d +49 1 - 641 1 Ask author to update branch (behind main by 641)
#1984 fix(hy-check): reject .pop() on structs and pointers lacking pop method (fixes #1979) comandanto 5.9d +35 1 - 641 3 Ask author to update branch (behind main by 641)
#1983 fix(hy-check): reject typed int variables in float64 slice and map literals (fixes #1980) comandanto 5.9d +41 1 - 641 1 Ask author to update branch (behind main by 641)
#1982 spike(wildcard): MMU-Sealed Zero-Copy PageArena[T] benchmark & SIGSEGV trap proof (#1978) SovereignSektorz 5.9d +211 3 - 641 4 Ask author to update branch (behind main by 641)
#1981 fix(hy-check): reject invalid pointer-to-scalar and container conversions (fixes #1976) comandanto 6.0d +32 1 - 641 1 Ask author to update branch (behind main by 641)
#1975 fix(check): enforce single-value contexts in unary and composite literals and reject nil m huynhnhatquandongnai-source 6.0d +173 3 Y 641 5 Ask author to update branch (behind main by 641)
#1974 fix(checker): B4 misses negative shift counts through file-level const references lilyliiphone2026-collab 6.0d +339 24 Y 49 6 Ask author to update branch (behind main by 49)
#1973 fix(hy-check): reject equality and compound assignment between mismatched float and int va comandanto 6.0d +66 1 - 641 1 Ask author to update branch (behind main by 641)
#1972 fix(hy-check): reject binary operations between mismatched int and float variables (fixes comandanto 6.0d +64 1 - 641 1 Ask author to update branch (behind main by 641)
#1971 fix: Serial by default: safe execution first (resolves #1962) pedromineo 6.0d +1 1 - 641 3 Ask author to update branch (behind main by 641)
#1967 Add support for cancellation-aware regions sezginkipel 6.0d +95 5 Y 641 7 Ask author to update branch (behind main by 641)
#1966 fix(hy-check): enforce single-value rules for try expressions in unary and index positions comandanto 6.0d +118 1 - 641 1 Ask author to update branch (behind main by 641)
#1965 fix(hy-check): validate arity and argument types for generic function calls (fixes #1961) comandanto 6.1d +89 1 - 641 1 Ask author to update branch (behind main by 641)
#1964 fix(hy-check): substitute type arguments for methods on generic structs (fixes #1959) comandanto 6.1d +52 1 - 641 3 Ask author to update branch (behind main by 641)
#1957 spike(wildcard): zero-heap @[noheap] STEXT call-graph certificates (#1433) ryder777777 6.1d +1298 7 Y 115 6 Ask author to update branch (behind main by 115)
#1952 fix(tools): enforce document marker boundaries in workflow checker (fixes #1949) comandanto 6.1d +26 2 - 641 3 Ask author to update branch (behind main by 641)
#1951 feat: represent ownership capability directly as a type property (#279) sezginkipel 6.1d +31 5 Y 641 7 Ask author to update branch (behind main by 641)
#1950 fix(hy-check): reject unused expression statements and deferred value-only builtins/conver huhuli083-creator 6.1d +317 2 Y 641 5 Ask author to update branch (behind main by 641)
#1948 fix(hy-check): close ForKind::Iterate 2-var handle escape, set[T] arity, and send-only cha huhuli083-creator 6.1d +296 2 Y 641 5 Ask author to update branch (behind main by 641)
#1947 fix(hy-diag): use managed reference examples for E8001 so examples demonstrate warning wit huhuli083-creator 6.1d +112 3 Y 641 7 Ask author to update branch (behind main by 641)
#1946 fix(tools): fail closed on invalid tier0_rule and unreadable corpus paths in corpus_harnes huhuli083-creator 6.1d +144 6 Y 641 7 Ask author to update branch (behind main by 641)
#1945 fix(runner): terminate process tree and spawned descendants on job timeout (fixes #1944) comandanto 6.1d +60 2 - 641 3 Ask author to update branch (behind main by 641)
#1943 fix(hy-check): enforce arity for indexed and returned functions gl-ungus 6.1d +98 2 Y 641 5 Ask author to update branch (behind main by 641)
#1941 fix(hy-emit): auto-address pointer params on method callees and index args (fixes #977) huhuli083-creator 6.1d +409 6 Y 641 4 Ask author to update branch (behind main by 641)
#1940 fix(hy-check): reject type mismatches on type parameter assignment targets (fixes #1003) huhuli083-creator 6.1d +284 3 Y 641 5 Ask author to update branch (behind main by 641)
#1939 fix(hy-check): preserve return shapes and TypeExprs across fn-value calls and projections huhuli083-creator 6.2d +205 3 Y 641 5 Ask author to update branch (behind main by 641)
#1938 fix(tools): paginate shepherd PR count and fail closed on empty triage open-issues cache ( huhuli083-creator 6.2d +209 5 Y 641 4 Ask author to update branch (behind main by 641)
#1936 research(wildcard): allocator measurement plan for #1396 milkingndb-oss 6.2d +45 1 - 641 4 Ask author to update branch (behind main by 641)
#1934 research(wildcard): staged place-graph lowering for #1744 milkingndb-oss 6.2d +65 1 - 641 4 Ask author to update branch (behind main by 641)
#1932 research(wildcard): source emission validation for #1731 milkingndb-oss 6.2d +52 1 - 641 4 Ask author to update branch (behind main by 641)
#1930 research(wildcard): demand-paged deep stacks for #1488 milkingndb-oss 6.2d +52 1 - 641 4 Ask author to update branch (behind main by 641)
#1926 research(wildcard): a go/types witness behind the shape oracle for #1487 milkingndb-oss 6.2d +67 1 - 641 4 Ask author to update branch (behind main by 641)
#1925 fix(hy-check): reject indirect send-only channels, compound non-int consts, and typed boun hardik4love-lang 6.3d +173 2 Y 514 7 Ask author to update branch (behind main by 514)
#1924 fix(hy-check): check result arity for try-unwrapped calls, 1-value builtins, and aliased r hardik4love-lang 6.3d +218 2 Y 514 6 Ask author to update branch (behind main by 514)
#1923 fix(hy-check): reject void calls in parallel bindings and assignments (fixes #1922) Dimank92 6.3d +197 4 Y 641 5 Ask author to update branch (behind main by 641)
#1921 fix(hyb): accept line comments after package keyword livastic-vm2-primary-20260911 6.3d +149 2 Y 641 7 Ask author to update branch (behind main by 641)
#1920 fix(hy-emit): hoist nested ? in httptest args, support parenthesized forms, and guard agai Dimank92 6.3d +107 2 Y 641 5 Ask author to update branch (behind main by 641)
#1919 checker: reject package-level user declarations that shadow Go builtins (fixes #1035) zidirahim617-del 6.3d +725 13 Y 677 3 Ask author to update branch (behind main by 677)
#1918 hy-check: reject newlines and blank tickets in managed block metadata (fixes #1917) myhubstat 6.3d +166 2 Y 641 7 Ask author to update branch (behind main by 641)
#1916 fix(hy-check): propagate fixed-width int type through nested unary/shift const exprs (fixe phubinhbusiness-art 6.3d +9 2 Y 641 5 Ask author to update branch (behind main by 641)
#1914 feat(emit): W-004 CPS-scoped phantom witness emitter & join-wall verifier (#174) harmweber787-png 6.4d +345 3 Y 223 7 Ask author to update branch (behind main by 223)
#1911 fix(hy-check): scope match arm guard and if-init bindings in T23 multi-value checks (fixes arseniyaleksandrov47-debug 6.4d +201 2 Y 641 5 Ask author to update branch (behind main by 641)
#1908 fix(hy-check): prevent name == pop from hijacking method resolution on non-slices (fixes # Dimank92 6.4d +32 2 Y 641 4 Ask author to update branch (behind main by 641)
#1906 fix(hyb): retain .go-suffixed directory operands in generate livastic-vm2-primary-20260911 6.4d +167 2 Y 641 7 Ask author to update branch (behind main by 641)
#1904 fix(hy-check): validate spread operand types in append (fixes #1825) Dimank92 6.4d +64 2 Y 641 4 Ask author to update branch (behind main by 641)
#1901 fix(hy-check): reject constant conversions to array types (fixes #1828) Dimank92 6.4d +33 2 Y 641 6 Ask author to update branch (behind main by 641)
#1900 fix(hyb): ignore dot and underscore Go files in package inference livastic-vm2-primary-20260911 6.4d +92 2 Y 641 7 Ask author to update branch (behind main by 641)
#1899 fix(hy-check): check element type compatibility in array type conversions (fixes #1827) Dimank92 6.4d +96 2 Y 641 4 Ask author to update branch (behind main by 641)
#1898 fix(hy-check): reject invalid pointer and array type conversions (fixes #1813) Dimank92 6.4d +123 2 Y 641 5 Ask author to update branch (behind main by 641)
#1897 hy-check: fold truncated int conversions, -0.0, and const string len in map keys (fixes #1 myhubstat 6.4d +211 2 Y 641 7 Ask author to update branch (behind main by 641)
#1895 check_test_registration.py: reject non-identifier test filenames skipped by unittest disco asureii 6.4d +22 2 - 641 3 Ask author to update branch (behind main by 641)
#1894 fix(tools): harden option parsing, path normalization, and OSError exit code in check_test salvocanci 6.4d +58 2 - 641 3 Ask author to update branch (behind main by 641)
#1893 feat(spikes): add W-002 type-carried ownership capability spike (closes #279) harmweber787-png 6.4d +259 3 Y 223 7 Ask author to update branch (behind main by 223)
#1892 fix(hy-check): reject directional channel types in make (fixes #1804) Dimank92 6.4d +115 2 Y 641 5 Ask author to update branch (behind main by 641)
#1891 [Soundness] check_unary_operand in buildable.rs omits check_single_value_position: !two_bo airdropia 6.5d +4857 1 - 1451 -1 Ask author to update branch (behind main by 1451)
#1889 [wildcard #1711] Close-right confinement: send-on-closed guarantee without affine endpoint milkingndb-oss 6.5d +253 1 - 641 4 Ask author to update branch (behind main by 641)
#1888 docs(wildcard): cap-clipped reslices analysis for #1685 milkingndb-oss 6.5d +170 1 - 641 4 Ask author to update branch (behind main by 641)
#1887 fix(tooling): reject background commands from test registration guard (fixes #1882) Dimank92 6.5d +69 2 - 641 1 Ask author to update branch (behind main by 641)
#1886 fix(hy-check): validate arity and parameter types for inline closure calls (#1877) dextermos-dev 6.5d +197 2 Y 641 7 Ask author to update branch (behind main by 641)
#1885 fix(tooling): reject background test invocations in registration guard milkingndb-oss 6.5d +75 2 - 641 3 Ask author to update branch (behind main by 641)
#1884 fix(hy-check): validate arity and arg types for inline closure calls and task spawns (fixe Dimank92 6.5d +104 2 Y 641 7 Ask author to update branch (behind main by 641)
#1883 fix(hy-check): enforce type argument arity for prelude types set and option (fixes #1878) Dimank92 6.5d +105 2 Y 641 5 Ask author to update branch (behind main by 641)
#1880 fix(hy-check): check element type compatibility in slice type conversions (fixes #1838) Dimank92 6.5d +187 2 Y 641 5 Ask author to update branch (behind main by 641)
#1876 fix(hy-check): reject copy(dst, str) when dst is not a byte slice (fixes #1839) Dimank92 6.5d +121 2 Y 641 5 Ask author to update branch (behind main by 641)
#1875 fix(hybench): prevent aggregate latency sum from overflowing Ravs0 6.5d +54 2 - 641 4 Ask author to update branch (behind main by 641)
#1873 fix(hy-check): reject multi-value and void calls in return values (fixes #1852) Dimank92 6.5d +31 2 Y 641 4 Ask author to update branch (behind main by 641)
#1870 fix(hy-check): reject multi-value calls in struct literal fields (fixes #1853) livastic-vm1-primary 6.5d +35 2 Y 641 7 Ask author to update branch (behind main by 641)
#1868 fix(hy-check): reject multi-value and void calls in boolean conditions (fixes #1862) Dimank92 6.5d +36 2 Y 641 6 Ask author to update branch (behind main by 641)
#1867 fix(hy-check): reject named call arguments on non-rust callees (fixes #1851) comandanto 6.5d +204 4 Y 641 4 Ask author to update branch (behind main by 641)
#1866 fix(hy-check): reject multi-value call as index or slice base (fixes #1854) comandanto 6.5d +81 2 Y 641 5 Ask author to update branch (behind main by 641)
#1865 fix(hy-check): reject multi-value and void calls in for-range expressions (fixes #1863) Dimank92 6.5d +47 2 Y 641 6 Ask author to update branch (behind main by 641)
#1864 fix(hy-check): reject nil map keys for non-nilable key types (fixes #1848) Dimank92 6.5d +86 3 Y 641 5 Ask author to update branch (behind main by 641)
#1861 fix(hy-check): validate operands for min, max, len, and cap (fixes #1858) gorky117-cell 6.5d +113 2 Y 641 4 Ask author to update branch (behind main by 641)
#1859 fix(hy-check): reject multi-value and void calls in composite literals (fixes #1849) Dimank92 6.5d +57 2 Y 641 4 Ask author to update branch (behind main by 641)
#1857 fix(hy-check): reject multi-value and void calls in unary operations (fixes #1850) Dimank92 6.5d +33 2 Y 641 4 Ask author to update branch (behind main by 641)
#1856 feat(spikes): add structured task scopes & affine JoinHandle spike (closes #1669) harmweber787-png 6.6d +215 3 Y 223 7 Ask author to update branch (behind main by 223)
#1847 fix(hy-check): validate slice conversions, copy string dst element, and recursive containe huynhnhatquandongnai-source 6.6d +159 2 Y 641 4 Ask author to update branch (behind main by 641)
#1846 fix(docs): run /work/out inside container in README Docker (CI) quickstart (#1831) harmweber787-png 6.6d +35 2 - 223 4 Ask author to update branch (behind main by 223)
#1845 fix(gate): track string interpolation frames in managed_gate lexical scanner (#1844) harmweber787-png 6.6d +100 2 - 223 4 Ask author to update branch (behind main by 223)
#1843 fix(hy-check): check element types in named slice, map and chan conversions (fixes #1840) comandanto 6.6d +64 2 Y 641 7 Ask author to update branch (behind main by 641)
#1842 fix(hy-check): reject copy(dst, string) into non-byte integer slices (fixes #1839) comandanto 6.6d +160 2 Y 641 5 Ask author to update branch (behind main by 641)
#1841 fix(hy-check): require identical element types in slice conversions (fixes #1838) comandanto 6.6d +80 2 Y 641 7 Ask author to update branch (behind main by 641)
#1837 fix(hy-check): validate array conversions and append spread compatibility (fixes #1828, #1 huynhnhatquandongnai-source 6.7d +153 3 Y 641 4 Ask author to update branch (behind main by 641)
#1836 fix(hy-check): enforce T23 arity on ?-unwrapped calls, 1-value builtins/conversions, and a kevin9327 6.7d +308 2 Y 452 7 Ask author to update branch (behind main by 452)
#1834 fix(hy-check): reject constant-to-array conversions with HYB-E6006 (fixes #1828) dextermos-dev 6.7d +40 3 Y 641 6 Ask author to update branch (behind main by 641)
#1833 fix(hy-check): enforce element compatibility in array type conversions (fixes #1827) dextermos-dev 6.7d +80 3 Y 641 6 Ask author to update branch (behind main by 641)
#1832 fix(hy-check): validate element type compatibility on variadic append spread (fixes #1825) dextermos-dev 6.7d +91 2 Y 641 4 Ask author to update branch (behind main by 641)
#1830 fix(hy-check): enforce HYB-E2009 on indirect send-only channels, compound non-int consts, kevin9327 6.7d +298 2 Y 452 7 Ask author to update branch (behind main by 452)
#1826 fix(hy-check): reject unbuildable pop calls on structs, pointers, and interfaces without p dextermos-dev 6.7d +66 2 Y 641 5 Ask author to update branch (behind main by 641)
#1824 fix(hy-check/recv): enforce HYB-E2008 on option[chan T], parallel if-init, and *[N]T index kevin9327 6.7d +657 2 Y 452 6 Ask author to update branch (behind main by 452)
#1821 fix(hy-check): enforce HYB-E2010 across closure maps, RHS subexpr borrows, and pointer-arr kevin9327 6.8d +335 2 Y 452 5 Ask author to update branch (behind main by 452)
#1818 fix(hy-check): reject invalid pointer and array type conversions (fixes #1813) gorky117-cell 6.8d +41 1 Y 641 7 Ask author to update branch (behind main by 641)
#1817 fix(hy-check): reject nil and complex array lengths in check_array_len (fixes #1810) dextermos-dev 6.8d +51 2 Y 641 4 Ask author to update branch (behind main by 641)
#1816 check(buildable): reject invalid pointer and array type conversions (fixes #1813) dextermos-dev 6.8d +83 2 Y 641 4 Ask author to update branch (behind main by 641)
#1815 fix(hy-check): track move-field index uses, closure last_use, and iterate calls in walk.rs kevin9327 6.8d +447 2 Y 452 6 Ask author to update branch (behind main by 452)
#1809 fix(hy-emit): allocate N5 zero maps on named results and ? error-return zero values (Fixes myhubstat 6.8d +32 3 Y 641 7 Ask author to update branch (behind main by 641)
#1807 fix(hy-check): enforce void-value and multi-value arg arity across all positions (#1805) kevin9327 6.8d +251 2 Y 452 5 Ask author to update branch (behind main by 452)
#1806 fix(hy-check): preserve generic struct type arguments for soundness passes (#775) Dimank92 6.8d +127 3 Y 641 4 Ask author to update branch (behind main by 641)
#1802 fix(hy-check): reject void and multi-value calls in composite literals and unary ops timojeda19-cpu 6.9d +184 3 Y 641 5 Ask author to update branch (behind main by 641)
#1801 fix(hy-check): reject void and multi-value calls in field and method selection bases timojeda19-cpu 6.9d +172 3 Y 641 7 Ask author to update branch (behind main by 641)
#1800 fix(hy-check): reject void match subjects and conflicting pattern literal types timojeda19-cpu 6.9d +176 3 Y 641 5 Ask author to update branch (behind main by 641)
#1799 fix(hy-check): reject void and multi-value calls in range bounds and string interpolation timojeda19-cpu 6.9d +168 3 Y 641 7 Ask author to update branch (behind main by 641)
#1798 fix(tooling): cache merge-base compare lookups in tools/triage_bot.py timojeda19-cpu 6.9d +147 2 - 641 1 Ask author to update branch (behind main by 641)
#1797 feat(hy-syntax,hy-emit): support &^ and &^= bitclear (AND NOT) operators timojeda19-cpu 6.9d +91 13 Y 641 5 Ask author to update branch (behind main by 641)
#1796 fix(hy-check): reject invalid literal operands in real, imag, complex, min, and max timojeda19-cpu 6.9d +127 2 Y 641 5 Ask author to update branch (behind main by 641)
#1795 fix(hy-check): reject non-integer and nil shift counts with HYB-E6005 timojeda19-cpu 6.9d +61 2 Y 641 7 Ask author to update branch (behind main by 641)
#1794 fix(hy-check): reject non-numeric and overflow constants in complex64/complex128 conversio timojeda19-cpu 6.9d +123 3 Y 641 7 Ask author to update branch (behind main by 641)
#1793 fix(hy-check): track receiver mutations in helper and closure method calls for A3 (#1792) kevin9327 6.9d +284 2 Y 452 7 Ask author to update branch (behind main by 452)
#1791 hy-check: enforce O7/A2, O8/A3, and A7 loan windows across moves, multi-assigns, loops, an swappysh 6.9d +196 4 Y 641 5 Ask author to update branch (behind main by 641)
#1790 hy-check: resolve local-closure interprocedural summaries across transitive calls, shadows swappysh 6.9d +2799 3 - 641 0 Ask author to update branch (behind main by 641)
#1789 hy-check: close conditional/closure rebind laundering, outermost closure scope blindness, swappysh 6.9d +749 5 - 641 0 Ask author to update branch (behind main by 641)
#1788 hy-check: preserve the option[T] wrapper through index, deref, receive, select, range, and swappysh 6.9d +588 9 Y 641 4 Ask author to update branch (behind main by 641)
#1787 hy-check: keep provenance across move-wrapped expressions in match, for-in, return, copy, swappysh 6.9d +406 5 Y 641 4 Ask author to update branch (behind main by 641)
#1786 hy-check: track multi-unpack aliases, composite for-iterate sharing, and closure alias/sel swappysh 6.9d +54 6 Y 641 7 Ask author to update branch (behind main by 641)
#1785 fix(hy-check): classify serde_json.new_array, push_string, and in-place mutating foreign c kevin9327 6.9d +320 2 Y 452 5 Ask author to update branch (behind main by 452)
#1783 fix(check): reserve Go primitive type names and injected emitter names (#728) Dimank92 6.9d +239 2 Y 181 7 Ask author to update branch (behind main by 181)
#1782 fix(hy-check): preserve TypeShape for type-alias literals, fn-field/index calls, and [none kevin9327 6.9d +170 2 Y 452 5 Ask author to update branch (behind main by 452)
#1779 fix(hy-check): propagate is_move in own_uses for Stmt::Send and SelectArmKind::Send (fixes kevin9327 6.9d +274 2 Y 452 5 Ask author to update branch (behind main by 452)
#1774 Fixes #1112: typed int values no longer satisfy float64 targets (untyped-constant clause a Ljunqiang 7.0d +720 10 Y 499 4 Ask author to update branch (behind main by 499)
#1773 fix(hy-check): reject invalid builtin arity/operands and complex conversion targets (fixes huynhnhatquandongnai-source 7.0d +179 4 Y 641 5 Ask author to update branch (behind main by 641)
#1772 fix(hy-check): enforce HYB-E3003 on post-defer O13 consumes, select/expr moves, and shadow kevin9327 7.0d +700 2 Y 452 4 Ask author to update branch (behind main by 452)
#1764 fix(hy-emit): auto-address pointer params and mangle value/paren refs on assoc fns (Fixes myhubstat 7.1d +41 3 Y 641 5 Ask author to update branch (behind main by 641)
#1762 fix(hy-emit): lower typed let declarations (let x T = e) as typed Go vars (Fixes #1761) myhubstat 7.1d +44 3 Y 641 7 Ask author to update branch (behind main by 641)
#1760 fix(hy-check): validate const type ascriptions, local const chains, and shadowed builtins huhuli083-creator 7.1d +473 3 Y 641 4 Ask author to update branch (behind main by 641)
#1759 fix(hy-check): enforce foreign handle modes, stdlib mutators, and unproven call checks huhuli083-creator 7.1d +399 3 Y 641 5 Ask author to update branch (behind main by 641)
#1757 fix(tools): fail conflict-marker gate when candidate files cannot be read huhuli083-creator 7.1d +70 4 Y 641 7 Ask author to update branch (behind main by 641)
#1756 feat(spike): executable Zero-Trampoline SSA Register-ABI & Linear Place-Capability verifie xaductrung-rgb 7.1d +367 5 Y 641 7 Ask author to update branch (behind main by 641)
#1753 hy-check: resolve folded generic callee in spawn_callee_verdict and spawn_param_shapes (fi myhubstat 7.1d +46 3 Y 641 7 Ask author to update branch (behind main by 641)
#1751 spike(wildcard): in-source pragma anchors and type-wrapper affine types on native Go AST ( dextermos-dev 7.2d +241 3 Y 641 7 Ask author to update branch (behind main by 641)
#1750 hy-check: track closure whole-binding rebinds of captured outer vars and loop back-edge ba swappysh 7.2d +497 4 Y 641 4 Ask author to update branch (behind main by 641)
#1749 hy-check: track transitive multi-return pairs, closure capture origins, and struct-embedde swappysh 7.2d +260 4 Y 641 6 Ask author to update branch (behind main by 641)
#1748 hy-emit: do not inherit a later generic constraint onto an earlier unconstrained param (fi swappysh 7.2d +38 2 - 641 3 Ask author to update branch (behind main by 641)
#1747 fix(hy-check): audit and freeze non-ident move inside managed (fixes #1742) comandanto 7.2d +136 2 Y 641 5 Ask author to update branch (behind main by 641)
#1741 fix(hy-check): reject invalid non-bool constant conversions to bool (fixes #1682) hardik4love-lang 7.3d +51 2 Y 514 7 Ask author to update branch (behind main by 514)
#1740 hy-check: reject int->float64 value-provenance surfaces (#1112) wminno 7.3d +389 3 Y 465 5 Ask author to update branch (behind main by 465)
#1738 fix(hy-check): methods and init are not bare package-level names (fixes #1737) comandanto 7.3d +73 2 Y 641 7 Ask author to update branch (behind main by 641)
#1735 fix(hy-check): use lexical closure FnState for HYB-E2010 addressability checks PawDawg76 7.4d +4 2 - 641 3 Ask author to update branch (behind main by 641)
#1733 fix(hy-check): validate operands for new, real, imag, and complex (fixes #1732) gorky117-cell 7.4d +103 2 Y 666 4 Ask author to update branch (behind main by 666)
#1729 fix(tools): preserve UTF-8 review reasons in managed_gate audit (fixes #1728) Booshdag-io 7.4d +78 2 - 641 4 Ask author to update branch (behind main by 641)
#1723 checker: enforce error type slot constraints in return signatures (fixes #982) zidirahim617-del 7.5d +655 12 Y 677 3 Ask author to update branch (behind main by 677)
#1720 fix(hy-check): enforce T24 index projection, closure slot-loan rebind & nested borrow_bind ubelai 7.5d +333 5 Y 641 4 Ask author to update branch (behind main by 641)
#1719 fix(hy-check): enforce A7 use-after-consume (HYB-E3003) and A2 borrow-view loan extension ubelai 7.5d +303 4 Y 641 5 Ask author to update branch (behind main by 641)
#1718 fix(hy-check): enforce O8 slot-loan uniqueness and closure-local alias A3 inside closures ubelai 7.5d +359 3 Y 641 5 Ask author to update branch (behind main by 641)
#1717 fix(hy-emit): hoist exclusive range upper bound into outer temp (#730) ubelai 7.5d +309 7 Y 641 5 Ask author to update branch (behind main by 641)
#1716 fix(autoland): confine --slug to the land-queue (dot-segment/absolute/charset guard) [reba sparkyqin 7.5d +63 2 - 641 2 Ask author to update branch (behind main by 641)
#1715 spike(wildcard): effect-polymorphic fn summaries via Tarjan SCC fixpoint (#1714) ryder777777 7.5d +159 3 Y 115 7 Ask author to update branch (behind main by 115)
#1710 fix(hy-check): validate complex64 and complex128 type conversion targets (fixes #1707) gorky117-cell 7.5d +53 2 Y 666 6 Ask author to update branch (behind main by 666)
#1706 fix(runtime/go): use Cross1S for init FnAbiWord probe, avoid Pinner escape, and validate I huhuli083-creator 7.5d +219 5 - 641 4 Ask author to update branch (behind main by 641)
#1705 fix(hybridge): use native pageSize for Linux deep stack guard pages and retain mmap backin huhuli083-creator 7.5d +89 4 - 641 4 Ask author to update branch (behind main by 641)
#1704 fix(hy-check): enforce HYB-E3006 on indirect and aliased fn calls (#1363) huhuli083-creator 7.5d +139 3 Y 641 5 Ask author to update branch (behind main by 641)
#1697 fix(hy-check): validate composite literal operands for close, clear, copy, and delete (fix gorky117-cell 7.5d +56 2 Y 666 4 Ask author to update branch (behind main by 666)
#1695 fix(tools): cross-platform bash resolution, buffer IO, and LF gitattributes in test_run_ex gorky117-cell 7.6d +35 2 - 666 4 Ask author to update branch (behind main by 666)
#1693 fix(hy-check): preserve container/param/const provenance on whole-value assignment to acti huhuli083-creator 7.6d +714 3 Y 499 4 Ask author to update branch (behind main by 499)
#1692 refactor(hy-emit): organize serde_json/view and sync emitter helpers in shapes.rs huhuli083-creator 7.6d +226 5 Y 641 5 Ask author to update branch (behind main by 641)
#1691 feat(hyb): add compile-time rustc version assertion in build.rs matching rust-toolchain.to huhuli083-creator 7.6d +135 3 Y 641 7 Ask author to update branch (behind main by 641)
#1690 fix(hy-check): preserve slot-loan sharing and provenance across whole-value updates (#1689 bonnhatnguyen 7.6d +517 2 Y 641 4 Ask author to update branch (behind main by 641)
#1687 fix(hy-check): reject constant conversions to bool and named bool types huhuli083-creator 7.6d +126 5 Y 641 7 Ask author to update branch (behind main by 641)
#1686 fix(hy-check): validate delete key assignability, copy string source, and clear operand ty huhuli083-creator 7.6d +160 6 Y 641 5 Ask author to update branch (behind main by 641)
#1684 fix(hy-check): track in-place append backing-array element sharing (fixes #1683) bonnhatnguyen 7.6d +480 3 Y 565 6 Ask author to update branch (behind main by 565)
#1680 fix(hy-check): reject append() with fewer than 2 arguments (fixes #1673) lilyliiphone2026-collab 7.7d +37 3 Y 641 6 Ask author to update branch (behind main by 641)
#1679 hy-syntax/emit: parse and emit the three-index (full) slice (fixes #1678) swappysh 7.7d +87 4 Y 641 7 Ask author to update branch (behind main by 641)
#1677 hy-syntax/check/emit: pointer dereference *p and *p = v (fixes #1676) swappysh 7.7d +171 20 Y 641 4 Ask author to update branch (behind main by 641)
#1674 hy-syntax/emit/check: support the &^ AND NOT operator (fixes #1672) swappysh 7.7d +76 11 Y 641 4 Ask author to update branch (behind main by 641)
#1671 hy-check: resolve set[T]/option[T] and their prelude methods (fixes #1670) swappysh 7.7d +183 2 Y 641 5 Ask author to update branch (behind main by 641)
#1668 hy-emit: lower literal match arms to a tagless switch (fixes #1667) swappysh 7.7d +133 3 Y 641 7 Ask author to update branch (behind main by 641)
#1666 fix(check, emit): support buildable enum emission and unit variant sendability (#1649) dextermos-dev 7.7d +136 6 - 641 1 Ask author to update branch (behind main by 641)
#1664 hy-check: track set[T] copies as sharing aliases and guard const set methods (fixes #884) swappysh 7.7d +153 3 Y 641 5 Ask author to update branch (behind main by 641)
#1663 fix(install): replace launcher symlinks without overwriting their targets PABixn 7.7d +86 5 Y 641 5 Ask author to update branch (behind main by 641)
#1662 hy-check: keep channel directions of multi-return fn-field calls (fixes #1358) swappysh 7.7d +78 3 Y 641 4 Ask author to update branch (behind main by 641)
#1661 hy-check: reject an unknown dotted root with HYB-E1001 (fixes #1131) swappysh 7.7d +78 4 Y 641 5 Ask author to update branch (behind main by 641)
#1660 spike(ffi-cert): artifact-derived boundary contracts for #610 — 21/21 signatures, 6/6 fals masterdobra-hash 7.7d +3170 16 - 641 2 Ask author to update branch (behind main by 641)
#1659 hy-emit: lower none in declared option value positions (fixes #1297) swappysh 7.7d +130 5 - 641 1 Ask author to update branch (behind main by 641)
#1658 spike(w012): the stock checker as an in-process WASI module — 127/127 parity, no latency w masterdobra-hash 7.8d +3962 13 Y 641 5 Ask author to update branch (behind main by 641)
#1657 fix(hy-emit): lower none in value positions to the declared option[T] zero value (fixes masterdobra-hash 7.8d +207 4 Y 641 4 Ask author to update branch (behind main by 641)
#1656 hy-check: trailing _ satisfies option exhaustiveness after a guarded arm (fixes #1654) swappysh 7.8d +68 2 - 641 4 Ask author to update branch (behind main by 641)
#1655 hy-emit: lower 3-result fns and bindingless some: arms (fixes #1653) swappysh 7.8d +48 4 - 641 3 Ask author to update branch (behind main by 641)
#1652 hy-check: check foreign package call arity (fixes #1650) swappysh 7.8d +372 4 Y 641 7 Ask author to update branch (behind main by 641)
#937 fix(hy-check): validate make sizes, new type operands, and void builtins (fixes #936) magomedta 13.2d +449 2 Y 78 6 Ask author to update branch (behind main by 78)
#935 fix(hy-check): reject undefined field access/assignment and void composite/channel operand magomedta 13.2d +390 2 Y 606 5 Ask author to update branch (behind main by 606)
#930 fix(hy-check,hy-syntax): reject multi-value binding arity mismatches on receive, map/seq i magomedta 13.2d +319 3 Y 725 5 Ask author to update branch (behind main by 725)
#923 fix(hy-check): reject mismatched operand types in binary arithmetic and comparisons rickymulya 13.3d +368 2 Y 641 7 Ask author to update branch (behind main by 641)
#921 fix(hy-check): enforce HYB-E3104/E3103/E3003/E3004 on auto-addressed calls, range/match/co ubelai 13.3d +396 5 Y 641 4 Ask author to update branch (behind main by 641)
#906 fix(hy-check): reject assignment arity mismatches, single-value bindings, and parallel typ magomedta 13.4d +324 2 Y 725 5 Ask author to update branch (behind main by 725)
#904 fix(hy-check): reject local decl type mismatches, multi-assign mismatches, and arity misma rickymulya 13.4d +213 2 Y 641 5 Ask author to update branch (behind main by 641)
#902 fix(hy-check): enforce SPEC G3 constraints on generic function operands (fixes #729) airdropia 13.4d +807 4 Y 768 4 Ask author to update branch (behind main by 768)
#886 fix(hy-check): track LX14 continue/break loop across nested for loops in check_loop_backed huynhnhatquandongnai-source 13.5d +146 1 - 801 4 Ask author to update branch (behind main by 801)
#879 fix(hy-check): reject address-of on array index projections and copy aliases of map-slot l huynhnhatquandongnai-source 13.6d +26 1 - 801 2 Ask author to update branch (behind main by 801)
#878 fix(hy-emit): flush O8 map-slot loans on alias moves/calls and snapshot mutated index keys huynhnhatquandongnai-source 13.6d +102 1 - 801 2 Ask author to update branch (behind main by 801)
#873 fix(hy-check): snapshot and restore outer binding states across conditional block rebinds huynhnhatquandongnai-source 13.6d +46 1 - 801 4 Ask author to update branch (behind main by 801)
#835 fix(hy-emit): flush O8 slot loans before alias moves, header uses, else-if conds, and 0-tr aazminu 13.7d +296 2 Y 641 5 Ask author to update branch (behind main by 641)
#828 fix(hy-check): enforce HYB-E2009 on nil/bool/const range bounds, mismatched bound types, a sonson0910 13.7d +925 2 Y 722 4 Ask author to update branch (behind main by 722)
#826 fix(hy-emit): reject a user declaration that collides with the injected prelude (fixes #77 Leimiu-G 13.7d +151 2 - 756 1 Ask author to update branch (behind main by 756)
#825 fix(hy-check): reject user declarations colliding with prelude names (fixes #777) hardik4love-lang 13.7d +686 2 Y 397 6 Ask author to update branch (behind main by 397)
#824 fix(hy-check): enforce HYB-E6006 on parenthesized/aliased conversion targets, bool(const), sonson0910 13.7d +896 3 Y 641 4 Ask author to update branch (behind main by 641)
#820 test(coverage): pin loan store-back ordering and store-chain depth independence isHeSatoshi 13.7d +330 2 Y 801 7 Ask author to update branch (behind main by 801)
#819 checker(buildable): reject top-level names the emitted prelude declares or captures (#777) isHeSatoshi 13.7d +782 13 Y 750 4 Ask author to update branch (behind main by 750)
#818 fix(hy-check): resolve const identifiers, float expressions, and local consts in HYB-E6002 sonson0910 13.7d +817 2 Y 641 6 Ask author to update branch (behind main by 641)
#816 fix(hy-check): resolve generic, associated, and index-callee calls in loan and const check huynhnhatquandongnai-source 13.7d +522 2 Y 801 4 Ask author to update branch (behind main by 801)
#815 fix(hy-emit): preserve binding hints and struct/foreign receivers across parallel, rebound sonson0910 13.8d +342 3 Y 641 5 Ask author to update branch (behind main by 641)
#810 fix(hy-check): validate arity, spread, and operand kinds for min, max, complex, real, imag rickymulya 13.8d +221 2 Y 641 5 Ask author to update branch (behind main by 641)
#809 fix(hy-emit): fold nested/const-ident/alias X4 conversions and peel parenthesized callees sonson0910 13.8d +400 5 Y 641 4 Ask author to update branch (behind main by 641)
#803 fix(hy-check): evaluate parallel assign/define RHS against pre-statement snapshot (#795) huynhnhatquandongnai-source 13.8d +795 2 Y 801 4 Ask author to update branch (behind main by 801)
#791 emitter(try): a bare-error call under ? lowers to a one-name assignment (#726) isHeSatoshi 13.8d +298 11 Y 750 4 Ask author to update branch (behind main by 750)
#781 fix(hy-check): reject interprocedural, self-shadowed, and spare-cap composite append on co aazminu 13.9d +380 2 Y 641 5 Ask author to update branch (behind main by 641)
#776 fix(hy-check): enforce T22/O4 on pointer-receiver methods, closure calls/tasks, and parent jeimner4652-lang 13.9d +303 4 Y 764 5 Ask author to update branch (behind main by 764)
#767 fix(hy-check): enforce pointer-receiver and parenthesized-callee checks (#747, #748) aazminu 13.9d +263 3 Y 641 5 Ask author to update branch (behind main by 641)
#766 fix(hy-check): reject single-type-arg generic calls, generic struct fn fields, and indirec sonson0910 13.9d +839 2 Y 641 4 Ask author to update branch (behind main by 641)
#764 fix(hy-check): reject closure map params/locals, generic map-element projections, and move sonson0910 14.0d +427 2 Y 666 4 Ask author to update branch (behind main by 666)
#762 fix(hy-check): preserve A3 loan windows and T24 across return-forwarded map-slot loans aazminu 14.0d +376 5 Y 641 5 Ask author to update branch (behind main by 641)
#760 spike: W-010 session-type endpoint generation (#184) tuyentn23-dot 14.0d +1158 9 Y 801 6 Ask author to update branch (behind main by 801)
#759 fix(hy-check): reject named const zero divisors, folded float zero divisors, and array-len sonson0910 14.0d +943 2 Y 722 4 Ask author to update branch (behind main by 722)
#751 fix(emit/check): scope closure return/E3 state and allocate/check N5/N3 named return param sonson0910 14.0d +375 8 Y 666 5 Ask author to update branch (behind main by 666)
#745 fix(emit/check/syntax): substitute generic struct N5 maps, infer transitive comparable, an sonson0910 14.0d +964 7 Y 666 4 Ask author to update branch (behind main by 666)
#743 fix(check): reject identifiers colliding with Go primitive types and compiler helpers (#72 Anekenonso 14.0d +631 4 Y 397 4 Ask author to update branch (behind main by 397)
#738 Fix/exclusive range bounds 730 1932819331hy-debug 14.1d +231 6 Y 596 5 Ask author to update branch (behind main by 596)
#735 fix(hy-syntax,hy-emit): keep fn-type result parsing on same line and support unnamed/paren aazminu 14.1d +398 7 Y 641 5 Ask author to update branch (behind main by 641)
#731 fix(hy-syntax): reject empty type param lists '[]' and pin generic struct emission (#722 m dezzy-music 14.2d +29 2 - 666 4 Ask author to update branch (behind main by 666)
#608 fix(hy-emit): register a struct binding's type through redundant parens (fixes #607) Leimiu-G 14.7d +60 2 - 756 3 Ask author to update branch (behind main by 756)
#604 fix(hy-emit,hy-check): fix O8 slot-loan rebind/branch races and A3/T24 soundness gaps (#60 sonson0910 14.7d +1060 7 Y 666 4 Ask author to update branch (behind main by 666)
#591 fix(hy-check): close constant-folding, type-alias, and slice/index/make bound soundness ga Khanhtnq 14.7d +1021 11 Y 641 4 Ask author to update branch (behind main by 641)
#584 fix(hy-check): enforce T24 and O2 LOAN-ESCAPE across projections, branches, shadows, paral yodakkak 14.8d +344 7 Y 725 5 Ask author to update branch (behind main by 725)

Duplicate clusters (verify both takes, land strongest, credit both)

  • #3080, #3084
  • #3073, #3081
  • #474, #2410, #3079
  • #1798, #2510, #3059
  • #1938, #2089, #2122, #3032, #3046
  • #2118, #3028
  • #1885, #1887, #1894, #1895, #2296, #2304, #2327, #2334, #2346, #3015
  • #3006, #3009
  • #1945, #2353, #2952
  • #2938, #2939
  • #1739, #1891, #1964, #1965, #1966, #1972, #1973, #1981, #1983, #1984, #1986, #2003, #2039, #2046, #2047, #2099, #2564, #2912
  • #2783, #2792, #2801, #2805, #2816, #2820, #2826, #2828, #2849, #2856, #2860, #2862, #2869, #2873, #2883, #2886, #2891, #2894, #2903
  • #2872, #2876, #2887
  • #1662, #1806, #2136, #2277, #2844
  • #1749, #2786
  • #921, #1720, #1789, #1790, #2350, #2718
  • #764, #1735, #2708
  • #2640, #2680
  • #2638, #2676
  • #2058, #2138, #2139, #2675
  • #2581, #2622
  • #2576, #2587
  • #1867, #2586
  • #2574, #2583
  • #584, #2580
  • #2129, #2569
  • #2362, #2370, #2380, #2381, #2462
  • #2448, #2449, #2455, #2459, #2461
  • #608, #826, #1655, #1659, #1748, #1990, #1992, #1994, #2097, #2154, #2157, #2158, #2159, #2214, #2217, #2391, #2443, #2452
  • #2063, #2294, #2441
  • #2363, #2365, #2372, #2408
  • #1974, #2178, #2179, #2393
  • #2371, #2392
  • #1832, #1904, #1908, #2376
  • #2357, #2373
  • #1657, #2006, #2332
  • #2311, #2318, #2325
  • #2288, #2289
  • #791, #2086, #2285
  • #2108, #2109, #2270
  • #1807, #1857, #1859, #1865, #1868, #1869, #1871, #1872, #1873, #2250
  • #2225, #2232
  • #2186, #2188, #2227
  • #2222, #2223
  • #2210, #2212
  • #531, #2187, #2193
  • #1796, #2151
  • #1710, #1834, #1901, #2150
  • #1952, #2125, #2141
  • #2103, #2112, #2115
  • #2071, #2113
  • #835, #2105, #2106
  • #1723, #1919, #2068
  • #505, #1971
  • #766, #1924
  • #1833, #1837, #1847, #1880, #1899
  • #1816, #1874, #1881, #1898
  • #810, #1680, #1697, #1733, #1861
  • #1795, #1817
  • #1674, #1797
  • #379, #1677
  • #1666, #1675
  • #384, #572

New arrivals (<= 3d)

PR title author age +lines files tests behind score action
#3094 fix: [wildcard] Zero-Checker Emit: Offload Tier-0 Ownership, Freeze, and Loan (closes #174 rafagil11 0.0d +21 1 - 641 4 Ask author to update branch (behind main by 641)
#3093 hy-check: walk TypeExpr array lengths in composite/fn literals and locals (#3089) zaidrain06 0.1d +235 3 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3092 fix(hy-check): reject nil match pattern on non-nilable types and overflowing integer patte Oepjdihc2008 0.1d +115 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3091 hy-check: validate task spawn callees, parallel array lengths, and compound assign values zaidrain06 0.1d +206 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3087 fix(hy-check): check generic call arguments after inferring type parameters (fixes #3082) Dimany4 0.2d +231 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3086 fix(hy-check): reject copy slice element scalar mismatches and string into non-byte slice Dimank92 0.2d +167 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3084 fix(hy-check): kind-check complex assignments, returns, args, and binary ops (fixes #3083) Dimank92 0.2d +726 3 Y 2 7 Verify (merge gate -> repro -> corpus -> differential) then land
#3081 fix(hy-check): assign OpKind::Float to real() and imag() results to reject mismatched retu Dimank92 0.3d +188 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3080 fix(hy-check): resolve complex64/complex128 and complex() result kinds to Complex (fixes # Dimank92 0.3d +266 2 Y 2 7 DUP of #3084 — verify both takes, land strongest, credit both
#3079 [soundness] hy-check: complex64/complex128 and complex() result kinds are Unknown, letting airdropia 0.3d +28 1 - 1451 3 Ask author to update branch (behind main by 1451)
#3078 fix(hy-check): infer pointee kind in new(T) to reject mismatched pointer assignments and r Dimank92 0.3d +255 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3076 fix(hy-check): reject void print and println in value positions Dimank92 0.3d +147 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3075 spike(w3060): exact-value arithmetic тАФ the silence-window census (wildcard #3060) Dimany4 0.3d +3601 228 Y 2 6 Verify (merge gate -> repro -> corpus -> differential) then land
#3073 fix(hy-check): resolve real() and imag() result kinds to Float (fixes #3072) Dimank92 0.3d +181 2 Y 2 7 DUP of #3081 — verify both takes, land strongest, credit both
#3071 fix(hy-check): reject non-existent struct fields and field selectors on non-struct types Dimank92 0.3d +248 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3070 fix(hy-check): resolve new(T) result kind to Pointer(T) (fixes #3068) Dimank92 0.3d +261 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3069 fix(hy-check): bind a string for-in element as rune (fixes #3065) nyxlabs29-cyber 0.3d +94 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3067 fix(hy-check): kind-check error returns, call arguments, and operands (fixes #3064) Dimank92 0.3d +294 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3063 fix(hy-check): kind-check set[T] returns and call arguments (fixes #3057) Dimank92 0.3d +449 2 Y 2 7 Verify (merge gate -> repro -> corpus -> differential) then land
#3062 fix(hy-check): reject non-complex operands in real/imag and non-float in complex (fixes #3 Dimank92 0.3d +294 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3059 fix(triage): harden duplicate clustering against test renaming and order Pareto ties by ea gttps 0.3d +261 3 - 2 5 Recon: read diff, check for subsumption/real content
#3058 fix(hy-check): reject any-typed values used as concrete types (fixes #2962) Yumihariii 0.3d +401 2 Y 2 7 Verify (merge gate -> repro -> corpus -> differential) then land
#3056 fix(hy-check): reject non-type value expressions in argument to new (fixes #3055) Dimank92 0.3d +251 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3054 tools/differential_loop: validate verdict/diagnostic headers and harden build_and_run (Fix ket4min-susan 0.3d +223 3 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3052 fix(tools): resolve triage_config.json by script path, validate --min-age/--max, and requi ket4min-susan 0.3d +140 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3050 hy-check: reject type uses shadowed by a local value (fixes #3029) nyxlabs29-cyber 0.3d +245 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3049 fix(hy-check): reject type expressions shadowed by in-scope local bindings (fixes #3029) Dimank92 0.3d +235 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3048 fix(tools): enforce corpus/repo path bounds, strip link #anchors, and validate table marke ket4min-susan 0.3d +110 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3046 fix(tools/shepherd): filter closed dup members, reset unlabel age, and support multi-issue hardik4love-lang 0.3d +78 2 - 10 4 DUP of #2089 — verify both takes, land strongest, credit both
#3045 fix(hy-check): classify none as option kind to reject invalid scalar returns and operands Dimank92 0.3d +96 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3044 fix(regexbinding): validate UTF-8 before deep crossing, enforce 0/1 status decoding, and u ket4min-susan 0.3d +62 3 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3043 fix(tools): ignore .managed() calls and validate report/baseline block schemas in managed_ ket4min-susan 0.3d +115 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3039 fix(hy-check): reject a type use whose name a local value shadows (fixes #3029) Dimany4 0.3d +126 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3038 fix(hybench): clamp histogram percentiles to [minVal, maxVal], avoid int64 shift overflow, ket4min-susan 0.3d +107 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3036 fix(tools): harden diff_paths/scope_ok, resolve --out path, and honor CARGO_TARGET_DIR in ket4min-susan 0.3d +144 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3034 fix(hy-check): enforce HYB-E1002 on multi-value assignments, same-scope re-defines, and fo aswadi 0.3d +215 3 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3033 fix(jsonbinding): release temp handles on failed Set, reject invalid UTF-8, and pin out-po ket4min-susan 0.3d +153 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3032 fix(tools): filter closed dup members, honor unlabeled events, and parse all issue links i ket4min-susan 0.3d +134 3 Y 2 7 DUP of #2089 — verify both takes, land strongest, credit both
#3028 fix(hy-diag): enforce severity-code coherence, resolve lookup aliases strictly, and order Dimany4 0.3d +139 1 - 2 5 Recon: read diff, check for subsumption/real content
#3027 fix(hy-emit): fix multi-result fn types, type-alias binding kinds, and comparable/prelude ket4min-susan 0.3d +305 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3025 fix(hy-diag): enforce severity coherence across aliases, tighten Registry::lookup, and ord ket4min-susan 0.3d +153 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3023 fix(hy-syntax): keep fn-type signatures in render, peel Paren in as_array_lit, see through Dimany4 0.3d +112 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3022 fix(hyrt): guard null empty slices, isize::MAX lengths, and JSON handle validation order ket4min-susan 0.3d +154 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3020 fix(hy-syntax): preserve TypeExpr::Fn signatures in render(), peel parens in as_array_lit( ket4min-susan 0.3d +178 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3018 fix(hy-check): kind-check curated foreign package call results and arguments (fixes #2997) Dimank92 0.3d +539 2 Y 2 7 Verify (merge gate -> repro -> corpus -> differential) then land
#3017 fix(hyb): support ./... in generate and validate build/explain/vendor-runtime CLI argument ket4min-susan 0.3d +346 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3015 fix(tools): parse option values and misuse exits correctly in the registration guard (#133 gamethao92 0.3d +276 2 - 2 5 Recon: read diff, check for subsumption/real content
#3014 fix(hy-syntax): support non-ident named return types, multi-return fn types, and unbraced ket4min-susan 0.3d +241 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3013 fix(hy-syntax): prevent malformed escapes from consuming quotes, support \uNNNN rune escap dextermos-dev 0.3d +163 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3012 fix(hy-emit): populate time.time, http/url, sync, and strings shape tables and 0-result ? ket4min-susan 0.3d +327 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3009 fix(hy-check): reject conversion of option[T] to scalar and string types (fixes #2992) hardik4love-lang 0.3d +94 2 Y 10 7 DUP of #3006 — verify both takes, land strongest, credit both
#3008 fix(hy-syntax): preserve closing quotes on bad escapes, support \uNNNN rune escapes & EOF ket4min-susan 0.3d +207 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3006 fix(hy-check): reject invalid option[T] conversions to scalars (fixes #2992) Dimank92 0.3d +347 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3005 fix(hy-check): give curated package calls Go result kinds (#2997) nyxlabs29-cyber 0.3d +202 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3003 fix(hy-check): restore outer borrow/closure metadata across block shadows and collect some ket4min-susan 0.3d +265 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3002 fix(hy-check): track const mutation, out-params, and slot loans across forwarded multi-ret aswadi 0.3d +254 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#3000 fix(hy-check): reject invalid operators and builtins on set[T] (fixes #2989) Dimank92 0.3d +397 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2999 fix(hy-emit): handle folded bracket calls, make/new type args, and some-less ordered match ket4min-susan 0.3d +321 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2996 fix(hy-check): multi-return task spawns, generic spawn shapes, and ?-unwrapped channel dir dextermos-dev 0.4d +305 6 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2995 fix(hy-check): reject operators and append/copy/min/max on set[T] (fixes #2989) Dimany4 0.4d +162 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2994 fix(hy-check): enforce HYB-E3003 on field move-sends and range/match peers after defer (fi aswadi 0.4d +154 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2991 fix(hy-check): collect nested assign-place calls/closures, move projection index uses, and ket4min-susan 0.4d +244 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2988 fix(hy-check): reject index/slice/cap/close/clear on set[T] (fixes #2981) Dimany4 0.4d +117 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2987 fix(hy-check): reject .pop() on option/fn and enforce option method arity (fixes #2955) alexrayyandev 0.4d +227 2 Y 10 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2986 fix(hy-emit): fold bitwise-not, nested integer conversions, and builtin calls in constconv dextermos-dev 0.4d +151 3 - 2 5 Recon: read diff, check for subsumption/real content
#2985 fix(hy-check): a rune-literal binding takes Go's default type int32, not int (fixes #2984) 00Desa00 0.4d +78 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2983 fix(hy-check): reject index, slice, cap, close, clear, and copy on set[T] (fixes #2981) 3y3y3y-huaiji 0.4d +218 2 Y 10 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2982 fix(#2962): reject any-typed values used as concrete types (kinds_conflict) nyxlabs29-cyber 0.4d +98 2 Y 10 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2980 fix(hy-check): enforce sendability on multi-return and generic spawns and ?-unwrapped chan ket4min-susan 0.4d +348 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2979 fix(hy-check): reject incompatible map, chan, and pointer type conversions (fixes #2870) Dimank92 0.4d +286 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2978 fix(hy-check): reject an any value used as a concrete type (fixes #2962) Dimany4 0.4d +74 2 Y 8 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2977 fix(hy-check): allow typed constant expressions in short variable defines (fixes #2698) alexrayyandev 0.4d +175 3 Y 10 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2976 fix(hy-check): reject implicit assignment of any/recover to concrete types (fixes #2962) 3y3y3y-huaiji 0.4d +173 2 Y 10 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2974 fix(hy-check): reject implicit assignment of any to concrete types (fixes #2962) hardik4love-lang 0.4d +40 2 Y 10 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2973 fix(hy-emit): fold bitwise-not, nested int conversions, and constant len/min/max in constc ket4min-susan 0.4d +190 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2971 fix(hy-check): validate set[T] methods, arities, and result kinds (fixes #2968) Dimank92 0.4d +315 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2970 fix(hy-emit): zero-fill the error tail on bare/short returns in function literals (fixes # Dimany4 0.4d +74 2 Y 10 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2967 fix(hy-check): resolve generic zero-value structs, pointer-to-array index/slice, and fn-fi ket4min-susan 0.4d +282 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2964 fix(hy-check): enforce T24 HYB-E3104 on O8 field loans, map projections, and loan rebinds dextermos-dev 0.4d +214 2 - 10 5 Recon: read diff, check for subsumption/real content
#2963 fix(hy-check): type set[T] results, elements in for-in, indexed sets, and method arity/exi 3y3y3y-huaiji 0.4d +346 2 Y 10 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2961 fix(hy-check): check scalar types on struct field and index assignments (fixes #2859) Dimank92 0.4d +345 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2960 fix(hy-check): guard method/generic-fn equality, generic-alias/foreign receivers, and trun ket4min-susan 0.4d +261 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2959 hy-check: enforce foreign const-write args, pinned handle surfaces, and multi-return ariti ket4min-susan 0.4d +289 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2958 fix(hy-check): reject .pop() on option/fn and enforce option method arity/existence (HYB-E 3y3y3y-huaiji 0.4d +197 2 Y 10 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2954 fix(hy-check): validate arity, args, and results on fn-value calls (fixes #2901) Dimank92 0.4d +425 2 Y 2 7 Verify (merge gate -> repro -> corpus -> differential) then land
#2953 fix(hy-check, hy-emit): bind map keys in single-var iterate per LX13 (fixes #2945) Dimank92 0.4d +192 7 Y 10 6 Verify (merge gate -> repro -> corpus -> differential) then land
#2952 fix(tools/runner): redact by key segment, validate timeout/cmd/sha, keep steps fail-soft ( Dimany4 0.4d +200 2 - 10 5 Recon: read diff, check for subsumption/real content
#2948 fix(hy-check): reject word-sized conversions of out-of-range constant expressions (fixes # alexrayyandev 0.4d +173 2 Y 18 7 Ask author to update branch (behind main by 18)
#2947 hy-check: enforce T24 on O8 field loans, map-slot projections, and loan alias rebinds (fix ket4min-susan 0.4d +280 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2944 fix(hy-check): enforce move-subexpression sendability, foreign/atomic struct leaves, and m gttps 0.4d +389 2 Y 18 7 Ask author to update branch (behind main by 18)
#2942 hy-check, hy-emit: preserve foreign shapes on multi-return unpacks and curated types (fixe gttps 0.4d +362 4 Y 18 7 Ask author to update branch (behind main by 18)
#2940 fix(hy-check): compare exact element widths in copy, restrict string sources to []byte Yumihariii 0.4d +364 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2939 fix(tools): validate checker verdict schema in corpus_harness.py (fixes #2930) Dimank92 0.4d +116 3 Y 2 7 DUP of #2938 — verify both takes, land strongest, credit both
#2938 fix(tools): validate checker summary verdict before status lookup (fixes #2930) dextermos-dev 0.4d +117 3 Y 21 7 Ask author to update branch (behind main by 21)
#2937 fix(hy-check): catch move-wrapped, nested-closure, and slice-field foreign closure escapes gttps 0.4d +336 2 Y 18 7 Ask author to update branch (behind main by 18)
#2935 fix(hy-check): reject copy() with mismatched element types and non-byte slice from string alexrayyandev 0.4d +311 2 Y 18 7 Ask author to update branch (behind main by 18)
#2934 fix(hy-check): type-check builtin len/cap/copy/min/max range bounds and preserve select/fo gttps 0.4d +313 3 Y 18 7 Ask author to update branch (behind main by 18)
#2932 fix(hy-check): type set[T] results and elements and reject unaddressable calls (fixes #292 dextermos-dev 0.4d +279 2 Y 21 7 Ask author to update branch (behind main by 21)
#2929 fix(hy-check): reject map indexing and delete with mismatched concrete numeric key types ( alexrayyandev 0.4d +445 2 Y 23 6 Ask author to update branch (behind main by 23)
#2927 fix(hy-check): check calls through fn values from an index, struct field or call result (# Dimany4 0.4d +379 2 Y 23 7 Ask author to update branch (behind main by 23)
#2926 fix(hy-check): enforce T23 and binding arity on ?-unwrapped calls, void multi-binds, and c ket4min-susan 0.4d +337 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2925 fix(hy-check): resolve folded index callees, builtin/assoc forwarding, and error-tail retu ket4min-susan 0.4d +302 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2923 fix(hy-check): complete loop backedge replay for calls, moves, returns, and iterate shares gttps 0.4d +128 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2918 fix(hy-check): check option match payload binding and option.or arg type (fixes #2915) dextermos-dev 0.4d +396 2 Y 23 5 Ask author to update branch (behind main by 23)
#2916 fix(hy-check): check arity, arguments, and result kinds on fn-value calls (fixes #2901) dextermos-dev 0.5d +557 2 Y 23 6 Ask author to update branch (behind main by 23)
#2914 fix(hy-check): scope receiver methods out of file tables and resolve folded bracket/match ket4min-susan 0.5d +280 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2912 hy-check: generic function call results are untyped — var s string = id(3), take_string(id airdropia 0.5d +7165 1 - 1451 0 Ask author to update branch (behind main by 1451)
#2911 fix(hy-check): reject composite element width mismatches and mixed-width min/max (fixes #2 ket4min-susan 0.5d +316 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2910 fix(hy-check): check calls through fn values from index, field and call results (fixes #29 nyxlabs29-cyber 0.5d +265 2 Y 23 7 Ask author to update branch (behind main by 23)
#2908 fix(check): substitute type arguments into generic call result kinds (#2899) Dimany4 0.5d +279 2 Y 30 7 Ask author to update branch (behind main by 30)
#2907 hy-check: fold nested len/conversion zero divisors and preserve closure zd_defined scopes ket4min-susan 0.5d +323 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2905 fix(hy-check): reject named call arguments on non-rust callees and validate rust crate nam ket4min-susan 0.5d +371 3 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2904 fix(hy-check): validate operand types and scalars for complex, real, and imag builtins (fi alexrayyandev 0.5d +405 2 Y 10 7 Verify (merge gate -> repro -> corpus -> differential) then land
#2903 fix(check): validate operand kinds and scalar types for complex, real, and imag jdjioe5-cpu 0.5d +3876 20 Y 484 3 Ask author to update branch (behind main by 484)
#2902 fix(hy-check): reject invalid operand types and mismatched scalars in complex, real, and i dextermos-dev 0.5d +260 2 Y 26 5 Ask author to update branch (behind main by 26)
#2900 fix(hy-check): substitute type arguments into generic call result kinds (HYB-E1002, fixes nyxlabs29-cyber 0.5d +245 2 Y 34 7 Ask author to update branch (behind main by 34)
#2898 fix(check): see the element width of a spread append operand bound to a call (#2884) Dimany4 0.5d +198 2 Y 34 7 Ask author to update branch (behind main by 34)
#2897 fix(hy-check): reject composite types differing in element scalar width and mixed-width mi alexrayyandev 0.5d +629 2 Y 10 7 Verify (merge gate -> repro -> corpus -> differential) then land
#2894 fix(check): validate ordered kinds and matching types for min and max (HYB-E2005/HYB-E1002 jdjioe5-cpu 0.5d +3566 19 Y 484 2 Ask author to update branch (behind main by 484)
#2891 fix(check): enforce integer types for make size arguments (HYB-E2005) jdjioe5-cpu 0.5d +3337 18 Y 484 2 Ask author to update branch (behind main by 484)
#2887 fix(hy-check): reject composite types differing in element width and mixed-width min/max ( dextermos-dev 0.5d +1071 4 Y 34 4 Ask author to update branch (behind main by 34)
#2886 fix(hy-check): reject variadic append with mismatched slice element kinds and scalars (fix jdjioe5-cpu 0.5d +3130 17 Y 484 2 Ask author to update branch (behind main by 484)
#2885 fix(check): compare the element scalar inside composite types (#2875) Dimany4 0.5d +298 2 Y 34 7 Ask author to update branch (behind main by 34)
#2883 fix(hy-check): reject binary comparisons with mismatched concrete scalar types (fixes #287 jdjioe5-cpu 0.5d +2932 16 Y 484 2 Ask author to update branch (behind main by 484)
#2882 fix(hy-check): reject shadowed E11/E4/E6 try propagation contexts (HYB-E2011, fixes #2881) ket4min-susan 0.5d +253 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2879 fix(hy-check): reject pointer conversions between incompatible base types (fixes #2866) alexrayyandev 0.5d +400 2 Y 43 6 Ask author to update branch (behind main by 43)
#2878 fix(check): reject slice conversions with different element scalars (#2861) Dimany4 0.5d +252 2 Y 34 7 Ask author to update branch (behind main by 34)
#2876 fix(hy-check): reject map and channel conversions with mismatched key, value, or element t dextermos-dev 0.5d +569 3 Y 49 5 Ask author to update branch (behind main by 49)
#2874 fix(hy-check): reject mismatched typed integers read through index, map lookup, or field ( gorky117-cell 0.5d +359 2 Y 49 7 Ask author to update branch (behind main by 49)
#2873 fix(hy-check): reject map and channel conversions with incompatible key, value, or element jdjioe5-cpu 0.5d +2730 15 Y 484 2 Ask author to update branch (behind main by 484)
#2872 fix(hy-check): reject pointer conversions between incompatible base types (fixes #2866) dextermos-dev 0.5d +363 2 Y 49 6 Ask author to update branch (behind main by 49)
#2871 fix(check): const conversion matrix тАФ aliases, parens, folded operands, len (#2853) Dimany4 0.5d +239 3 Y 34 7 Ask author to update branch (behind main by 34)
#2869 fix(hy-check): reject pointer type conversions between incompatible base types jdjioe5-cpu 0.5d +2526 14 Y 484 2 Ask author to update branch (behind main by 484)
#2868 fix(hy-check): keep typed int width through index, map, field and string reads (fixes #285 nyxlabs29-cyber 0.5d +193 2 Y 34 7 Ask author to update branch (behind main by 34)
#2867 fix(hy-check): reject channel sends whose value is not assignable to the element type (fix Yumihariii 0.5d +351 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2865 fix(hy-check): reject mismatched scalar reads through index, map, and struct field express dextermos-dev 0.5d +249 2 Y 34 7 Ask author to update branch (behind main by 34)
#2864 fix(check): compare numeric widths through field and index assignment targets (#2854) Dimany4 0.5d +256 2 Y 34 7 Ask author to update branch (behind main by 34)
#2863 fix(hy-check): track typed integers in index and field expressions (fixes #2858) alexrayyandev 0.5d +206 2 Y 49 7 Ask author to update branch (behind main by 49)
#2862 fix(hy-check): reject conversions between slice types with mismatched element scalars jdjioe5-cpu 0.5d +2361 13 Y 484 2 Ask author to update branch (behind main by 484)
#2860 fix(hy-check): reject mismatched scalar types in struct field and slice/array index assign jdjioe5-cpu 0.6d +2281 12 Y 484 2 Ask author to update branch (behind main by 484)
#2857 fix(check): check argument kinds through fn values (#2845) Dimany4 0.6d +423 2 Y 34 6 Ask author to update branch (behind main by 34)
#2856 fix(hy-check): reject single and parallel assignments with mismatched typed numeric operan jdjioe5-cpu 0.6d +2132 11 Y 484 2 Ask author to update branch (behind main by 484)
#2855 fix(hy-check): fold float/local consts in E6002 and resolve aliased/const E6006 conversion ket4min-susan 0.6d +392 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2852 fix(hy-check): reject mismatched slice element types and non-byte string copying in built- dextermos-dev 0.6d +173 2 Y 54 7 Ask author to update branch (behind main by 54)
#2851 fix(hy-check): honor package-level declarations shadowing predeclared callees and types ocakciomursel-pixel 0.6d +297 5 - 2 5 Recon: read diff, check for subsumption/real content
#2849 fix(hy-check): reject function/method calls and return statements with mismatched typed nu jdjioe5-cpu 0.6d +2040 10 Y 484 2 Ask author to update branch (behind main by 484)
#2846 fix(hy-check): check argument types on calls through closure locals and fn-typed params (H nyxlabs29-cyber 0.6d +274 2 Y 34 7 Ask author to update branch (behind main by 34)
#2844 fix(hy-check): classify all forwarded results on multi-value calls at boundaries (fixes #1 ocakciomursel-pixel 0.6d +411 2 - 2 4 Recon: read diff, check for subsumption/real content
#2843 fix(hy-check): retain array lengths in operand type compatibility Mudls 0.6d +394 5 Y 56 7 Ask author to update branch (behind main by 56)
#2842 fix(hy-check): reject array length mismatch in comparisons, assignments, declarations, and alexrayyandev 0.6d +159 3 Y 49 5 Ask author to update branch (behind main by 49)
#2828 fix(hy-check): reject binary arithmetic and compound assignments with mismatched typed num jdjioe5-cpu 0.6d +1881 9 Y 484 3 Ask author to update branch (behind main by 484)
#2826 fix(hy-check): reject copy() with mismatched element types and non-byte slice from string jdjioe5-cpu 0.6d +1668 8 Y 484 3 Ask author to update branch (behind main by 484)
#2820 fix(hy-check): reject channel send with mismatched typed numeric operands violating Row 13 jdjioe5-cpu 0.6d +1556 7 Y 484 3 Ask author to update branch (behind main by 484)
#2816 fix(hy-check): reject invalid string/slice conversions violating Row 13 BUILDABLE jdjioe5-cpu 0.6d +1373 6 Y 484 3 Ask author to update branch (behind main by 484)
#2815 W-2475: falsify H1 on the real pipeline (3/4 admitted programs diverge) theheiszt 0.6d +381 7 - 2 5 Recon: read diff, check for subsumption/real content
#2808 hy-check(buildable): enforce generic fn call arity, type-arg comparability, and type-param carelessdept 0.6d +363 4 Y 34 7 Ask author to update branch (behind main by 34)
#2807 hy-emit: fix N5 array pointer/partial zero-init and elided field literals (#2806) ket4min-susan 0.6d +304 3 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2805 fix(hy-check): reject map indexing and delete with mismatched concrete numeric key types ( jdjioe5-cpu 0.6d +1246 5 Y 484 3 Ask author to update branch (behind main by 484)
#2802 fix(hy-emit): mangle user bindings colliding with Go target types and auto-imports (Fixes carelessdept 0.6d +346 6 Y 34 7 Ask author to update branch (behind main by 34)
#2801 fix(hy-check): reject append with mismatched concrete numeric types (fixes #2796) jdjioe5-cpu 0.6d +927 4 Y 484 3 Ask author to update branch (behind main by 484)
#2800 hy-check: reject slicing an unaddressable array value (HYB-E1002) Dimany4 0.6d +148 2 Y 74 5 Ask author to update branch (behind main by 74)
#2799 fix(hy-check): track closure captured-variable whole-binding rebinds and loop back-edge ba carelessdept 0.6d +379 5 Y 34 7 Ask author to update branch (behind main by 34)
#2798 fix(hy-check): enforce HYB-E2010 on closure-bound maps, *[N]T hops, and nested/composite & ket4min-susan 0.7d +336 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2792 fix(hy-check): reject slice, array, and map literals with mismatched concrete numeric type jdjioe5-cpu 0.7d +623 3 Y 484 3 Ask author to update branch (behind main by 484)
#2790 fix(hy-check): preserve shadow_links and shadowed peer sharing across scope_pop (fixes #79 carelessdept 0.7d +362 6 Y 34 7 Ask author to update branch (behind main by 34)
#2786 fix(hy-check): track transitive multi-return pairs, closure origins, and struct arrays (fi carelessdept 0.7d +272 5 Y 34 7 Ask author to update branch (behind main by 34)
#2785 fix(hy-check): classify composite range iterables and option/unary/shift/const range bound ket4min-susan 0.7d +375 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2783 fix(hy-check): reject struct literals with mismatched concrete numeric types (fixes #2782) jdjioe5-cpu 0.7d +352 2 Y 484 4 Ask author to update branch (behind main by 484)
#2781 fix(hy-check): classify receive operands in expr TypeExprs, composite projections, and mat ket4min-susan 0.6d +364 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2773 fix(hybridge): guard fast-path stack checks against stackPreempt underflow ryder777777 0.6d +223 5 - 78 4 Ask author to update branch (behind main by 78)
#2772 fix(hy-check): reject untyped nil in index and slice-bound positions (fixes #2753) Dimany4 0.7d +110 2 Y 79 7 Ask author to update branch (behind main by 79)
#2769 fix(hy-check): reject untyped nil in append first-arg and non-nilable element position (fi Dimany4 0.7d +116 2 Y 83 7 Ask author to update branch (behind main by 83)
#2766 fix(hy-emit): preserve live named results on bare return in error functions (fixes #1450) ryder777777 0.7d +88 3 Y 90 7 Ask author to update branch (behind main by 90)
#2765 fix(hy-check): resolve array lengths across consts, projections, calls, and signatures (fi ryder777777 0.7d +196 2 Y 90 7 Ask author to update branch (behind main by 90)
#2764 fix(hy-emit): add time.time, http/url chain, and sync/atomic field shapes (#1588) ryder777777 0.7d +252 2 Y 90 7 Ask author to update branch (behind main by 90)
#2763 fix(hy-check): enforce HYB-E3011 on composite inner shapes, slice/array mismatch, and prim ryder777777 0.7d +152 2 Y 92 7 Ask author to update branch (behind main by 92)
#2762 fix(hy-syntax): parse named result items with non-identifier types (fixes #1448) ryder777777 0.7d +82 2 Y 92 7 Ask author to update branch (behind main by 92)
#2761 fix(hy-check): propagate channel element TypeExpr on select receive bindings (fixes #1454) ryder777777 0.7d +68 3 Y 92 7 Ask author to update branch (behind main by 92)
#2760 fix(hy-check): reject projected map-element borrows in argument and expression positions ( ryder777777 0.7d +49 2 Y 92 7 Ask author to update branch (behind main by 92)
#2759 fix(autoland): validate repro.hy and fix.patch up front and revert dirty tree in finally ( ryder777777 0.7d +15 5 Y 92 7 Ask author to update branch (behind main by 92)
#2758 fix(author_stage): fix gh_token CompletedProcess unpacking and guard diff_paths (#1123) ryder777777 0.7d +14 5 Y 92 7 Ask author to update branch (behind main by 92)
#2757 fix(tools): fail closed on differential_loop launch/corpus errors and pin JSON envelope te ryder777777 0.7d +24 5 Y 92 7 Ask author to update branch (behind main by 92)
#2756 hy-check(elided_literal): validate expected slot types, elided struct fields, and type-exp ket4min-susan 0.7d +357 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2754 fix(hy-check): reject untyped nil in index and slice bound expressions (closes #2753) jdjioe5-cpu 0.7d +157 2 Y 484 7 Ask author to update branch (behind main by 484)
#2750 fix(hy-check): reject bare return and under-arity returns in unnamed error-tail functions jdjioe5-cpu 0.7d +82 2 Y 484 7 Ask author to update branch (behind main by 484)
#2746 fix(hy-check): reject untyped nil as first argument to append and in non-nilable element p jdjioe5-cpu 0.7d +104 2 Y 484 7 Ask author to update branch (behind main by 484)
#2742 corpus: pin five alias-freeze surfaces not yet exercised pepedesigner 0.7d +208 13 Y 190 7 Ask author to update branch (behind main by 190)
#2741 fix(hy-emit): preserve multi-value/named/closure returns and ? call arity (#2740) ket4min-susan 0.7d +351 3 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2739 fix(hy-check): reject mismatched slice and string elements in variadic append(a, b...) (cl jdjioe5-cpu 0.7d +165 2 Y 484 5 Ask author to update branch (behind main by 484)
#2737 fix(hy-check): reject mismatched slice element types and non-byte slice string copying in jdjioe5-cpu 0.7d +147 2 Y 484 5 Ask author to update branch (behind main by 484)
#2736 fix(tools): dispatch env.sh --check and enforce exact pin tokens (fixes #1127) ryder777777 0.7d +63 1 - 115 4 Ask author to update branch (behind main by 115)
#2734 fix(hy-check): reject uncomparable map key types (slices, maps, functions) (closes #2733) jdjioe5-cpu 0.7d +139 2 Y 484 5 Ask author to update branch (behind main by 484)
#2732 fix(hy-check): reject mixed concrete integer and float arithmetic and comparisons (closes jdjioe5-cpu 0.7d +164 2 Y 484 5 Ask author to update branch (behind main by 484)
#2730 fix(hy-check): reject slice and array conversions with mismatched element types (closes #2 jdjioe5-cpu 0.8d +175 2 Y 484 5 Ask author to update branch (behind main by 484)
#2723 fix(hy-check): reject mixed concrete integer types in binary ops and assignments (HYB-E100 nyxlabs29-cyber 0.8d +361 2 Y 56 7 Ask author to update branch (behind main by 56)
#2722 fix(hy-check): reject mixed integer and float equality comparisons (closes #2719) jdjioe5-cpu 0.8d +126 2 Y 484 5 Ask author to update branch (behind main by 484)
#2718 fix(hy-check): enforce BorrowHandle escape/loan windows and nested continue-loop back-edge ket4min-susan 0.8d +332 5 Y 2 7 DUP of #1790 — verify both takes, land strongest, credit both
#2717 fix(hy-check): reject a constant shift count that reaches the width of a typed integer (fi Dimany4 0.8d +241 2 Y 166 7 Ask author to update branch (behind main by 166)
#2715 fix(hy-check): reject constant shift counts exceeding bit width on typed integers (closes jdjioe5-cpu 0.8d +249 2 Y 484 5 Ask author to update branch (behind main by 484)
#2711 fix(hy-check): reject blank identifier '_' in value and callee positions (closes #2710) jdjioe5-cpu 0.8d +167 2 Y 484 5 Ask author to update branch (behind main by 484)
#2708 fix(hy-check): enforce HYB-E2010, HYB-E2006, and HYB-E3104 on closure-bound and multi-valu yxtan5022-maker 0.8d +205 3 Y 166 6 Ask author to update branch (behind main by 166)
#2705 fix(hy-check): reject variadic spread on non-variadic functions and builtins (closes #2701 jdjioe5-cpu 0.8d +219 2 Y 484 7 Ask author to update branch (behind main by 484)
#2704 fix(hy-check): reject duplicate case constants in match statements (fixes #2696) Dimank92 0.8d +299 2 Y 18 7 Ask author to update branch (behind main by 18)
#2702 fix(hy-check): range-check word-sized conversions of constant expressions (fixes #2700) salvocanci 0.8d +152 2 Y 565 7 Ask author to update branch (behind main by 565)
#2699 fix(hy-check): typed conversion initializers are not default-int (fixes #2698) salvocanci 0.8d +121 3 Y 565 7 Ask author to update branch (behind main by 565)
#2697 fix(check): reject duplicate case patterns in match statements (fixes #2696) jdjioe5-cpu 0.8d +143 2 Y 484 5 Ask author to update branch (behind main by 484)
#2694 fix(check): reject non-integer size arguments in built-in make (fixes #2693) jdjioe5-cpu 0.8d +105 2 Y 484 5 Ask author to update branch (behind main by 484)
#2692 fix(hy-check): enforce target type checks in multi-value assignments (fixes #2495) Dimank92 0.9d +389 2 Y 18 7 Ask author to update branch (behind main by 18)
#2690 fix(hy-check): reject typed int into set[float64] methods and delete (fixes #2688) jdjioe5-cpu 0.9d +329 2 Y 484 5 Ask author to update branch (behind main by 484)
#2687 fix(hy-check): reject mismatched element types in builtin copy (fixes #2686) jdjioe5-cpu 0.9d +121 2 Y 484 5 Ask author to update branch (behind main by 484)
#2685 fix(hy-check): reject inferred non-integer range loop bounds with HYB-E2009 (fixes #2476) Dimank92 0.9d +277 3 Y 18 7 Ask author to update branch (behind main by 18)
#2684 fix(hy-check): reject typed int variable into float64 in slice literal (fixes #2683) jdjioe5-cpu 0.9d +146 2 Y 484 5 Ask author to update branch (behind main by 484)
#2682 fix(hy-check): reject typed int variable into float64 parameter in call (fixes #2681) jdjioe5-cpu 0.9d +176 2 Y 484 5 Ask author to update branch (behind main by 484)
#2680 fix(hy-check): reject typed int variable in map[float64] index and literal (fixes #2679) jdjioe5-cpu 0.9d +217 2 Y 484 5 Ask author to update branch (behind main by 484)
#2677 fix(check): validate variadic spread slice element types in append (fixes #2658, fixes #24 Dimank92 0.9d +195 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2676 fix(hy-check): reject typed int variable into float64 in decl, assign, and struct literal jdjioe5-cpu 0.9d +222 2 Y 484 5 Ask author to update branch (behind main by 484)
#2675 hy-check: replay loop-carried parameter aliases copernicusjones 0.9d +18 1 - 260 1 Ask author to update branch (behind main by 260)
#2670 fix(hy-check): fold local consts, unary/cast len, and float conversions in zero-divisor ch gttps 0.9d +239 5 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2662 fix(hy-check): reject mismatched spread slices and typed int variable in append (fixes #26 jdjioe5-cpu 0.9d +225 2 Y 484 5 Ask author to update branch (behind main by 484)
#2661 fix(hy-emit): make N5 array zero-init addressable, hygienic, and complete across alias/eli gttps 0.9d +133 4 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2657 fix(hy-check): reject mismatched slice element types in copy(dst, src) (fixes #2655) jdjioe5-cpu 0.9d +91 2 Y 484 5 Ask author to update branch (behind main by 484)
#2653 fix(hy-check): reject typed int variables returned from float functions (fixes #2652) jdjioe5-cpu 0.9d +151 2 Y 484 5 Ask author to update branch (behind main by 484)
#2651 fix(hy-check): reject mixed float and typed int variables in binary ops (fixes #2650) jdjioe5-cpu 0.9d +180 2 Y 484 5 Ask author to update branch (behind main by 484)
#2649 fix(hy-check): check sent operand types against channel element types (fixes #2648) jdjioe5-cpu 0.9d +179 2 Y 484 7 Ask author to update branch (behind main by 484)
#2646 fix(hy-check): permit untyped integer constants and any element types in array literals (f jdjioe5-cpu 0.9d +105 2 Y 484 5 Ask author to update branch (behind main by 484)
#2644 fix(hy-check): reject pointer conversions between incompatible base types (#2643) jdjioe5-cpu 0.9d +96 2 Y 484 5 Ask author to update branch (behind main by 484)
#2642 fix(hy-check): allow untyped integer constants for float64 keys in delete (#2641) jdjioe5-cpu 0.9d +114 2 Y 484 5 Ask author to update branch (behind main by 484)
#2640 fix(hy-check): reject typed int variables for float map keys and values (#2639) jdjioe5-cpu 1.0d +146 2 Y 484 4 Ask author to update branch (behind main by 484)
#2638 fix(hy-check): reject typed int values assigned to float64 targets (#2637) jdjioe5-cpu 1.0d +216 2 Y 484 4 Ask author to update branch (behind main by 484)
#2636 fix(hy-check): reject typed int arguments for float64 parameters (#2635) jdjioe5-cpu 1.0d +141 2 Y 484 5 Ask author to update branch (behind main by 484)
#2634 hy-check: capture the closure env at the literal, not at block exit (#2315) mak777uh 1.0d +120 4 Y 397 7 Ask author to update branch (behind main by 397)
#2633 hy-check: reject a method whose name collides with a struct field (#1119) mak777uh 1.0d +78 2 Y 397 7 Ask author to update branch (behind main by 397)
#2632 hy-check: reject append() with fewer than 2 arguments (#1673) mak777uh 1.0d +71 2 Y 397 7 Ask author to update branch (behind main by 397)
#2631 fix(hy-check): reject typed int variables in compound assignments for float targets (#2630 jdjioe5-cpu 1.0d +98 2 Y 484 5 Ask author to update branch (behind main by 484)
#2629 fix(hy-check): reject mismatched float64 and int typed variables in binary operations (#26 jdjioe5-cpu 1.0d +126 2 Y 484 5 Ask author to update branch (behind main by 484)
#2627 fix(hy-check): reject typed int operands in append and copy for float targets (#2626) jdjioe5-cpu 1.0d +123 2 Y 484 5 Ask author to update branch (behind main by 484)
#2622 fix(hy-check): reject typed int variables in select send arm for chan float64 (#2577) jdjioe5-cpu 1.0d +148 2 Y 484 6 Ask author to update branch (behind main by 484)
#2614 fix(hy-check): preserve closure capture move-freeze across multi-value rebinds and post-mo gttps 1.1d +228 1 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2598 fix(hy-check): enforce numeric operand kinds in complex, real, and imag builtins (fixes #2 Dimank92 1.2d +256 2 Y 18 7 Ask author to update branch (behind main by 18)
#2593 fix(hy-check): reject non-integer variables as make size/capacity arguments (fixes #2540) Dimank92 1.2d +143 1 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2592 fix(hy-check): reject variadic append with mismatched slice element types (fixes #2491) Dimank92 1.2d +180 2 Y 397 5 Ask author to update branch (behind main by 397)
#2591 fix(hy-check): reject parenthesized undefined field roots and resolve nested index callees Dimank92 1.2d +211 3 Y 18 7 Ask author to update branch (behind main by 18)
#2590 fix(hy-check): reject recursive struct value types (fixes #1566) Dimank92 1.3d +342 2 Y 18 7 Ask author to update branch (behind main by 18)
#2589 fix(hy-check): reject typed int variables in float var declarations and mismatched copy sl Dimank92 1.3d +166 1 Y 18 7 Ask author to update branch (behind main by 18)
#2587 fix(hy-check): reject typed int variables in return statements and channel sends for float Dimank92 1.3d +277 2 Y 397 5 Ask author to update branch (behind main by 397)
#2586 fix(hy-check): track closure escapes via variables/slices and respect managed blocks in HY Dimank92 1.3d +226 4 Y 190 5 Ask author to update branch (behind main by 190)
#2583 fix(hy-check): reject typed int variables in composite literals for float targets (fixes # Dimank92 1.3d +256 2 Y 397 5 Ask author to update branch (behind main by 397)
#2582 fix(hy-check): check channel-send operand kinds at both send sites (fixes #2577) Dimany4 1.3d +207 2 Y 223 7 Ask author to update branch (behind main by 223)
#2581 fix(hy-check): validate channel send and select send operand types (fixes #2577, fixes #26 Dimank92 1.3d +229 2 Y 2 8 Verify (merge gate -> repro -> corpus -> differential) then land
#2580 fix(hy-check): preserve alias, may_share, origin, and moved states across loop break exits mrglebx 1.3d +236 6 Y 2 7 DUP of #584 — verify both takes, land strongest, credit both
#2576 fix(hy-check): reject typed int variables in return statements and channel sends for float jdjioe5-cpu 1.4d +179 2 Y 484 4 Ask author to update branch (behind main by 484)
#2574 fix(hy-check): reject typed int variables in composite literals for float targets (fixes # jdjioe5-cpu 1.4d +199 2 Y 484 4 Ask author to update branch (behind main by 484)
#2572 fix(hy-check): reject typed int variables in assignment to float targets and map[float64] jdjioe5-cpu 1.4d +159 2 Y 484 5 Ask author to update branch (behind main by 484)
#2569 fix(tools): require separation after workflow mapping colons luucabg 1.4d +25 4 - 397 1 Ask author to update branch (behind main by 397)
#2564 Soundness: multi-value assignments from calls, map lookups, and channel receives bypass ta airdropia 1.4d +5174 1 - 1451 -1 Ask author to update branch (behind main by 1451)
#2563 hy-check: reject typed int variables in float var declarations and mismatched copy slice e jdjioe5-cpu 1.4d +127 2 Y 484 5 Ask author to update branch (behind main by 484)
#2561 feat(spikes): add W-2533 adversarial corpus fuzzer and operator coverage evidence (closes dextermos-dev 1.4d +404 4 - 54 3 Ask author to update branch (behind main by 54)
#2559 hy-check: reject typed int variables passed to float parameters and float slice append (HY jdjioe5-cpu 1.5d +119 2 Y 484 5 Ask author to update branch (behind main by 484)
#2555 hy-check: reject mismatched float and typed int variables in binary arithmetic and compoun jdjioe5-cpu 1.5d +132 2 Y 484 5 Ask author to update branch (behind main by 484)
#2554 fix(hy-check): join alias, may_share, and non-owned origin states across loop break exits dextermos-dev 1.5d +467 4 Y 54 4 Ask author to update branch (behind main by 54)
#2552 fix(hy-check): reject typed int variables assigned to float64 targets in assignment, struc jdjioe5-cpu 1.5d +94 2 Y 484 5 Ask author to update branch (behind main by 484)
#2550 fix(hy-check): reject non-constant int variables in float64 slice and map literals (closes jdjioe5-cpu 1.5d +61 2 Y 484 5 Ask author to update branch (behind main by 484)
#2547 fix(hy-check): enforce element kind compatibility in string, slice, and array conversions jdjioe5-cpu 1.5d +78 2 Y 484 5 Ask author to update branch (behind main by 484)
#2545 fix(hy-check): enforce numeric operand kinds in complex, real, and imag builtins (closes # jdjioe5-cpu 1.5d +138 2 Y 484 5 Ask author to update branch (behind main by 484)
#2543 fix(hy-check): enforce ordered types and matching operand types in min and max builtins (c jdjioe5-cpu 1.5d +110 2 Y 484 5 Ask author to update branch (behind main by 484)
#2541 fix(hy-check): reject non-integer variable sizes in make builtin jdjioe5-cpu 1.5d +149 3 Y 484 5 Ask author to update branch (behind main by 484)
#2539 fix(hy-check): enforce identical element types in copy builtin jdjioe5-cpu 1.5d +114 3 Y 484 5 Ask author to update branch (behind main by 484)
#2537 fix(hy-check): accept untyped integer constants as keys in delete on float maps jdjioe5-cpu 1.5d +183 3 Y 484 5 Ask author to update branch (behind main by 484)
#2535 fix(hy-check): reject match literal patterns conflicting with subject type jdjioe5-cpu 1.5d +183 2 Y 484 5 Ask author to update branch (behind main by 484)
#2532 fix(hy-check): reject type conversions between containers with mismatched element types (f jdjioe5-cpu 1.5d +117 2 Y 484 5 Ask author to update branch (behind main by 484)
#2530 fix(hy-check): type-check set[T] insert/contains/remove and delete(s, v) arguments (fixes theheiszt 1.5d +313 2 Y 78 7 Ask author to update branch (behind main by 78)
#2529 fix(hy-check): reject binary arithmetic and comparison on mismatched numeric types (fixes jdjioe5-cpu 1.5d +211 2 Y 484 5 Ask author to update branch (behind main by 484)
#2526 fix(hy-check): reject non-constant int in float parameters, returns, and struct fields (fi jdjioe5-cpu 1.5d +195 2 Y 484 5 Ask author to update branch (behind main by 484)
#2523 fix(hy-check): reject non-constant int in float composite literals (fixes #2522) jdjioe5-cpu 1.5d +167 2 Y 484 5 Ask author to update branch (behind main by 484)
#2521 fix(hy-check): reject mismatched send operands in channel send statements and select arms jdjioe5-cpu 1.5d +225 3 Y 484 7 Ask author to update branch (behind main by 484)
#2519 fix(workloads): enforce canonical LF newlines in shape.py generator taha-rafi 1.5d +1 1 - 78 4 Ask author to update branch (behind main by 78)
#2518 fix(check): enforce compound assign and map index float-int soundness (HYB-E1002) jdjioe5-cpu 1.6d +232 2 Y 484 5 Ask author to update branch (behind main by 484)
#2517 fix(hy-check): validate argument types for set[T] method calls and delete(s, v) (fixes #24 alexrayyandev 1.6d +219 2 Y 49 7 Ask author to update branch (behind main by 49)
#2515 fix(check): enforce slice copy and append element soundness (HYB-E1002) jdjioe5-cpu 1.6d +281 2 Y 484 5 Ask author to update branch (behind main by 484)
#2510 fix(tooling): align the triage scan's tests_included with the repository's test paths (67/ Dimany4 1.6d +214 3 - 223 3 Ask author to update branch (behind main by 223)
#2509 fix(check): reject non-constant integer expressions assigned or passed to float targets (H jdjioe5-cpu 1.6d +136 2 Y 484 5 Ask author to update branch (behind main by 484)
#2505 fix(check): reject binary arithmetic and comparison operands of mismatched numeric types ( jdjioe5-cpu 1.6d +106 2 Y 484 5 Ask author to update branch (behind main by 484)
#2498 fix(hy-check): bind generic type parameters per call site (erased return shapes fail open Dimany4 1.6d +489 5 Y 223 4 Ask author to update branch (behind main by 223)
#2496 fix(hy-check): check multi-value assignment target types (fixes #2495) jdjioe5-cpu 1.6d +183 2 Y 484 7 Ask author to update branch (behind main by 484)
#2493 fix(hy-check): reject variadic append with mismatched slice element types (HYB-E1002) jdjioe5-cpu 1.6d +77 2 Y 484 5 Ask author to update branch (behind main by 484)
#2489 fix(hy-check): enforce element type checks on set[T] methods and delete(s, v) (#2474) dextermos-dev 1.6d +258 2 Y 463 5 Ask author to update branch (behind main by 463)
#2484 fix(hy-check): reject conversions from interface (any) to concrete types (HYB-E1002) jdjioe5-cpu 1.6d +79 2 Y 484 5 Ask author to update branch (behind main by 484)
#2480 fix(hy-check): reject invalid conversions involving array types [N]T (HYB-E1002) jdjioe5-cpu 1.6d +109 2 Y 484 5 Ask author to update branch (behind main by 484)
#2472 fix(hy-check): reject equality comparisons between non-nilable types and nil (HYB-E1002) jdjioe5-cpu 1.7d +145 2 Y 484 5 Ask author to update branch (behind main by 484)
#2470 [soundness] Data-carrying enum equality == / != bypasses SPEC T16 & HYB-E2006, failing go airdropia 1.7d +2660 1 - 1451 0 Ask author to update branch (behind main by 1451)
#2467 fix(hy-check): reject uninitialized struct and array literal elements of types without zer jdjioe5-cpu 1.7d +171 2 Y 465 7 Ask author to update branch (behind main by 465)
#2465 fix(tooling): pass --pr to shepherd.py log and harden autoland repro gates (fixes #2424) dextermos-dev 1.7d +133 2 - 465 2 Ask author to update branch (behind main by 465)
#2464 fix(hy-check): close constant zero divisor folds across int convs, [0]T, concat, real/imag dextermos-dev 1.7d +866 3 Y 465 6 Ask author to update branch (behind main by 465)
#2463 fix(tools): handle DW_OP_plus_uconst blocks, indirect strings, and forward declarations in tungnguyen84 1.7d +89 2 - 452 4 Ask author to update branch (behind main by 452)
#2462 fix(tools): enforce verdict headers on unmarked/inline corpus refs and 3-digit filenames i tungnguyen84 1.7d +50 2 - 452 1 Ask author to update branch (behind main by 452)
#2461 fix(hy-check): reject option[T] equality == / != under SPEC §2.5 T20 (Fixes #2460) jdjioe5-cpu 1.7d +320 6 Y 484 6 Ask author to update branch (behind main by 484)
#2459 fix(hy-check): reject equality on data-carrying enums with HYB-E2006 (fixes #2444) dextermos-dev 1.7d +355 5 Y 484 5 Ask author to update branch (behind main by 484)
#2457 fix(hy-check): compare function types by full parameter and result signature (#1599) Dimank92 1.7d +186 3 Y 484 5 Ask author to update branch (behind main by 484)
#2456 fix(check): compare function types by parameter and result signature (#1599) Dimank92 1.7d +261 3 Y 484 5 Ask author to update branch (behind main by 484)
#2455 fix(hy-check): reject data-carrying enum equality == / != under SPEC T16 (Fixes #2444) jdjioe5-cpu 1.7d +190 5 Y 484 6 Ask author to update branch (behind main by 484)
#2453 fix(hy-check): track array length in kind model to reject mismatched assignments and inits Dimank92 1.7d +140 3 Y 484 7 Ask author to update branch (behind main by 484)
#2452 fix(hy-emit): brand the empty-pop panic as HY-PANIC/pop-empty Dimany4 1.7d +24 3 - 223 1 Ask author to update branch (behind main by 223)
#2451 feat(spikes): add borrow_ffi zero-copy FFI crossing executable spike and Tier-0 verifier tungnguyen84 1.7d +295 7 Y 452 7 Ask author to update branch (behind main by 452)
#2449 fix(hy-check): T16 — reject ==/!= on data-carrying enums (HYB-E2006, fixes #2444) nyxlabs29-cyber 1.7d +141 6 Y 34 6 Ask author to update branch (behind main by 34)
#2448 fix(check): enforce HYB-E2006 on data-carrying enum equality comparisons (#2444) Dimank92 1.7d +255 6 Y 2 7 DUP of #2459 — verify both takes, land strongest, credit both
#2447 fix(hy-check): reject invalid scalar const conversions and cycle recursion (fixes #1587) Dimank92 1.7d +424 2 Y 484 4 Ask author to update branch (behind main by 484)
#2443 hy-emit: pop() on empty slice panics with HY-PANIC/pop-empty (fixes #2442) jipbapkitchen 1.8d +14 3 - 484 1 Ask author to update branch (behind main by 484)
#2441 fix(tools): accept documented numeric example selectors tod60828-jpg 1.8d +69 2 - 465 4 Ask author to update branch (behind main by 465)
#2438 fix(tools): handle return-typed closures, local declarations, and nested closure writes in tungnguyen84 1.8d +282 2 Y 452 7 Ask author to update branch (behind main by 452)
#2435 fix(arith): close the constant-zero-divisor folds (int conversions, string concat, empty a Dimany4 1.8d +488 3 Y 223 6 Ask author to update branch (behind main by 223)
#2434 fix(hy-check): resolve shadowed folded callees, field/http brackets, and match roots (fixe kevin9327 1.8d +349 3 Y 484 5 Ask author to update branch (behind main by 484)
#2433 fix(hy-check): catch constant zero divisors across float->int conversions, [0]T arrays, st kevin9327 1.8d +312 3 Y 484 7 Ask author to update branch (behind main by 484)
#2432 fix(resolve): HYB-E1001 misses folded brackets on shadowing heads, fields and qualified ma Dimany4 1.8d +186 2 Y 223 5 Ask author to update branch (behind main by 223)
#2431 fix(hy-check): reject non-constant string(int/rune) and invalid complex/real/imag const in kevin9327 1.8d +190 3 Y 484 7 Ask author to update branch (behind main by 484)
#2429 fix(hy-check): preserve addr-of roots across projections, option/append wrappers, and IIFE kevin9327 1.8d +259 4 Y 452 7 Ask author to update branch (behind main by 452)
#2428 fix(hy-check): replay consuming calls and move transfers across loop back-edges (fixes #24 kevin9327 1.8d +248 3 Y 484 7 Ask author to update branch (behind main by 484)
#2427 fix(hy-check): enforce HYB-E3013 across foreign receivers, bound closures, scoped shadows, kevin9327 1.8d +376 3 Y 484 5 Ask author to update branch (behind main by 484)
#2416 spikes(w1744): staged place-graph canonicalization + falsifier suite F1-F5 (refs #1744) kevin9327 1.8d +2464 6 Y 452 5 Ask author to update branch (behind main by 452)
#2415 fix(hyb,hy-emit): generate writes the option/set/pop preludes once per package (fixes #241 nyxlabs29-cyber 1.8d +351 3 Y 34 7 Ask author to update branch (behind main by 34)
#2413 feat(spikes): add Inline Ghost-Capability Directives spike & syntactic census (#2406) theheiszt 1.9d +2878 6 - 2 3 Recon: read diff, check for subsumption/real content
#2412 moonshot: intake W-033 (zhangbailu168-wq) - ghost capability pragmas spike (closes #2406) Dimank92 1.9d +551 4 - 494 3 Ask author to update branch (behind main by 494)
#2411 feat(spikes): add W-Panic-Freedom-Oracle research spike & BCE census harness (#2398) theheiszt 1.9d +2419 7 - 2 3 Recon: read diff, check for subsumption/real content
#2410 [wildcard] Certified Commutative Merge Capsules (merge[M]): Wait-Free Parallel Accumulat airdropia 1.9d +32 1 - 1451 2 Ask author to update branch (behind main by 1451)
#2408 fix(tools): validate corpus fixture metadata in check_guarantees (fixes #2404) jpereyra243-byte 2.0d +95 2 - 514 4 Ask author to update branch (behind main by 514)
#2402 spike(w025): untrusted proof producer kernel & CFG falsifier suite (#2176) theheiszt 2.0d +553 5 - 2 4 Recon: read diff, check for subsumption/real content
#2394 fix(hy-emit): lower defer f()? to exit-time error propagation, not a silent drop (fixes nyxlabs29-cyber 2.0d +501 4 Y 499 4 Ask author to update branch (behind main by 499)
#2393 fix(checker): time.after deadline channels accepted a send — emitted Go did not build lilyliiphone2026-collab 2.0d +169 18 Y 49 6 Ask author to update branch (behind main by 49)
#2392 fix(tools): check inline corpus citations beyond two digits ashkno 2.0d +41 4 - 499 1 Ask author to update branch (behind main by 499)
#2391 fix(hy-emit): lower Try-wrapped defer operands (fixes #2384) gamethao92 2.0d +27 2 - 641 1 Ask author to update branch (behind main by 641)
#2381 fix(tools): fail closed when claims table has no rows (fixes #2379) jpereyra243-byte 2.1d +28 2 - 499 1 Ask author to update branch (behind main by 499)
#2380 Fail claims evidence check when no rows are parsed leejeongeun999-hub 2.1d +11 2 - 505 1 Ask author to update branch (behind main by 505)
#2378 fix(hy-check): reject == nil / != nil on non-nilable operand types (fixes #1567) huhuli083-creator 2.1d +57 2 Y 505 5 Ask author to update branch (behind main by 505)
#2376 fix(hy-check): resolve each hop in struct field chains and assignment places (fixes #2375) hardik4love-lang 2.2d +97 2 Y 514 7 Ask author to update branch (behind main by 514)
#2374 fix(hy-check): reject bare package identifier in value position (#2358) Dimank92 2.3d +260 2 Y 514 7 Ask author to update branch (behind main by 514)
#2373 fix(hy-check): reject multiple defaults in select statement (#2356) Dimank92 2.3d +132 2 Y 514 7 Ask author to update branch (behind main by 514)
#2372 fix(tools): resolve the file part of an evidence link so a markdown fragment is not read a Dimany4 2.3d +53 2 - 223 3 Ask author to update branch (behind main by 223)
#2371 Fix claims-link guard for missing corpus and invalid verdicts LeoLam233 2.3d +50 4 - 514 2 Ask author to update branch (behind main by 514)
#2370 fix(tools): fail closed on a missing corpus root and undeclared ACCEPT verdicts in the cla Dimany4 2.3d +64 2 - 223 2 Ask author to update branch (behind main by 223)
#2368 spikes(w2220): executable claims + demotion gate (W-2220 M1+M2) gamethao92 2.3d +1479 11 - 514 3 Ask author to update branch (behind main by 514)
#2365 fix(guarantees): require fixtures to be corpus harness inputs Sarbajit-Sengupta 2.3d +27 2 - 514 3 Ask author to update branch (behind main by 514)
#2364 fix(triage): create only missing palette labels Sarbajit-Sengupta 2.3d +67 3 - 514 2 Ask author to update branch (behind main by 514)
#2363 fix(guarantees): resolve Markdown section links as file paths Sarbajit-Sengupta 2.3d +22 2 - 514 3 Ask author to update branch (behind main by 514)
#2362 fix(evidence): reject empty tables and unregistered verdict metadata Sarbajit-Sengupta 2.3d +47 2 - 514 1 Ask author to update branch (behind main by 514)
#2361 fix(triage): approve every waiting workflow on a PR head Sarbajit-Sengupta 2.3d +63 3 - 514 2 Ask author to update branch (behind main by 514)
#2360 Fix Spike 4 latency overhead subtraction units lvantiff 2.3d +87 3 - 514 4 Ask author to update branch (behind main by 514)
#2359 hy-check: reject bare package identifiers in value position (fixes #2358) gamethao92 2.3d +141 2 Y 514 7 Ask author to update branch (behind main by 514)
#2357 hy-check: reject select statements with multiple default arms (fixes #2356) gamethao92 2.4d +85 2 Y 514 6 Ask author to update branch (behind main by 514)
#2355 fix(fuzz): make saved reproductions match checked source bytes Sarbajit-Sengupta 2.4d +48 3 - 565 4 Ask author to update branch (behind main by 565)
#2354 fix(sweeper): refresh protection labels before queued closures Sarbajit-Sengupta 2.4d +98 3 - 565 2 Ask author to update branch (behind main by 565)
#2353 fix(runner): preserve reviewed summaries on publication failure Sarbajit-Sengupta 2.4d +82 2 - 565 3 Ask author to update branch (behind main by 565)
#2351 fix(hy-check): snapshot lexical closure capture environment before post-closure shadowing dextermos-dev 2.5d +102 2 Y 590 7 Ask author to update branch (behind main by 590)
#2350 fix(hy-check): track defer assignments to named results across return sharing, const immut dextermos-dev 2.5d +263 5 Y 484 4 Ask author to update branch (behind main by 484)
#2349 fix(hy-check): record multi-value closure borrow aliases and extend named results in slot dextermos-dev 2.5d +55 3 Y 590 7 Ask author to update branch (behind main by 590)
#2348 fix(hy-check): reject non-place and indexed OwnHandle field moves with HYB-E3004 (fixes #1 dextermos-dev 2.5d +73 3 Y 590 7 Ask author to update branch (behind main by 590)
#2347 fix(hy-check): preserve closure zd_defined shadow guard across nested closures and unary/f dextermos-dev 2.5d +121 2 Y 590 7 Ask author to update branch (behind main by 590)
#2346 fix(tools): preserve end-of-options operand semantics in test registration guard (fixes #2 dextermos-dev 2.5d +32 2 - 590 3 Ask author to update branch (behind main by 590)
#2341 fix: resolve #610 — [wildcard] Make FFI claims proof-carrying: verify boundary contracts a shintny 2.5d +358 3 - 598 4 Ask author to update branch (behind main by 598)
#2340 hy-emit: peel parens on new((T)) type operand so N5 map allocation applies (#1615) huhuli083-creator 2.5d +14 3 Y 606 5 Ask author to update branch (behind main by 606)
#2338 check: resolve named types in declarations (fixes #1583) dextermos-dev 2.6d +498 5 Y 484 4 Ask author to update branch (behind main by 484)
#2336 check: reject non-variable assignment targets (fixes #1574) dextermos-dev 2.6d +328 3 Y 606 5 Ask author to update branch (behind main by 606)
#2335 fix(hy-emit): propagate channel element BindingKind, pointer_vars, and var_ty across recei dextermos-dev 2.6d +199 3 Y 606 5 Ask author to update branch (behind main by 606)
#2334 fix(tools): enforce VALID_MODULE_NAME, top-level-dir boundary, and direct invocation guard dextermos-dev 2.6d +85 2 - 606 3 Ask author to update branch (behind main by 606)
#2333 fix(hy-check): reject functions that can fall off the end without a return (fixes #1481) dextermos-dev 2.6d +307 4 Y 606 7 Ask author to update branch (behind main by 606)
#2332 fix(hy-emit): mangle identifier 'default' colliding with Go keyword (fixes #1167) dextermos-dev 2.6d +288 4 Y 606 5 Ask author to update branch (behind main by 606)
#2327 fix(tools): preserve end-of-options separator in test registration guard (fixes #2322) jpereyra243-byte 2.7d +22 2 - 565 3 Ask author to update branch (behind main by 565)
#2326 fix(hy-check): propagate loop-carried non-owned origins across back-edge (#2313) Dimank92 2.7d +229 1 Y 533 7 Ask author to update branch (behind main by 533)
#2325 fix(Go-Hybrid): [Bounty] Triage Board (auto-updated daily — pin me) (fixes #940) NePreby 2.7d +28 1 - 641 3 Ask author to update branch (behind main by 641)
#2318 fix(Go-Hybrid): [Bounty] [Tooling] Invalid UTF-8 makes conflict-marker scans silently disc NePreby 2.7d +27 1 - 641 3 Ask author to update branch (behind main by 641)
#2316 fix(hy-check): preserve closure lexical capture across post-closure block shadowing and mo arian262785-cell 2.7d +127 6 Y 243 7 Ask author to update branch (behind main by 243)
#2311 fix(Go-Hybrid): [Bounty] [tooling] the triage board never promotes land-candidates to tria NePreby 2.7d +43 1 - 641 4 Ask author to update branch (behind main by 641)
#2304 fix(tools): reject unittest -k name filters in test registration guard (fixes #1570) ocakciomursel-pixel 2.8d +49 3 Y 2 7 DUP of #3015 — verify both takes, land strongest, credit both
#2298 fix(hy-check,hy-emit): enforce (T, error) tail return assignability and emit exact multi-v magomedta 2.8d +314 4 Y 78 7 Ask author to update branch (behind main by 78)
#2297 moonshot: intake W-032 (magomedta) - certified heap-freedom task pipeline spike (closes #9 Dimank92 2.8d +426 6 - 641 3 Ask author to update branch (behind main by 641)
#2296 fix(tools): skip help-only unittest discovery in test-registration guard (fixes #1377) Yumihariii 2.8d +68 2 - 2 4 DUP of #3015 — verify both takes, land strongest, credit both
#2294 fix(tools): fail explicitly-requested unsupported acceptance examples (#1595) Yumihariii 2.8d +27 2 - 2 4 DUP of #2441 — verify both takes, land strongest, credit both
#2289 fix(check): resolve named types in declarations (#1583) 9xj89gzrtw-hue 2.8d +589 13 Y 2 7 Verify (merge gate -> repro -> corpus -> differential) then land
#2288 fix(check): reject a method receiver type that is not declared (#1575) 9xj89gzrtw-hue 2.8d +291 11 Y 2 7 DUP of #2289 — verify both takes, land strongest, credit both
#2286 fix(hy-check): reject variant match patterns on non-option, non-enum subjects (HYB-E5002) 9xj89gzrtw-hue 2.8d +460 13 Y 435 4 Ask author to update branch (behind main by 435)
#2285 fix(hy-emit): nest redefining match-arm bodies so the injected pattern binding stays legal 9xj89gzrtw-hue 2.8d +340 10 Y 435 5 Ask author to update branch (behind main by 435)
#2284 fix(check): reject map key types that are not comparable (#1565) 9xj89gzrtw-hue 2.8d +317 6 Y 435 5 Ask author to update branch (behind main by 435)
#2283 fix(check): reject stores into declarations that are not variables (#1574) 9xj89gzrtw-hue 2.8d +380 7 Y 435 5 Ask author to update branch (behind main by 435)
#2280 feat: introduce structured task scopes and affine cancellation tokens SuperPiIot 2.9d +267 3 - 641 4 Ask author to update branch (behind main by 641)
#2279 fix(hy-check): validate type-elided struct literals in composite contexts (#2098) Dimank92 2.9d +370 2 Y 641 5 Ask author to update branch (behind main by 641)
#2277 fix(hy-check): classify slice conversions ([]byte/[]rune/slice-to-slice) as fresh allocati jpereyra243-byte 3.0d +123 3 Y 565 4 Ask author to update branch (behind main by 565)
#2276 moonshot: intake W-031 (Dimany4) - rule-mutation score spike (closes #2198) Dimank92 3.0d +319 4 - 641 4 Ask author to update branch (behind main by 641)
#2275 triage: cache unchanged PR scans and degrade cleanly on quota exhaustion Sanjeet-The-Insane 3.0d +685 4 - 641 -1 Rebase or close-with-thanks (conflicts vs main)
#2273 fix(hy-check): reword HYB-E3004 fix-it to advise deep copy instead of shallow rebinding (f jpereyra243-byte 3.0d +37 2 Y 565 7 Ask author to update branch (behind main by 565)

Wildcard holds (M1 — do NOT merge before 2026-11-01 verdicts)

  • #336, #370, #379, #381, #384, #405, #412, #446, #452, #464, #474, #480, #488, #505, #507, #516, #545, #556, #566, #569, #572, #577, #635, #637, #704, #709 (26 PRs)

Recon queue (everything else)

PR title author age +lines files tests behind score action
#3059 fix(triage): harden duplicate clustering against test renaming and order Pareto ties by ea gttps 0.3d +261 3 - 2 5 Recon: read diff, check for subsumption/real content
#3028 fix(hy-diag): enforce severity-code coherence, resolve lookup aliases strictly, and order Dimany4 0.3d +139 1 - 2 5 Recon: read diff, check for subsumption/real content
#3015 fix(tools): parse option values and misuse exits correctly in the registration guard (#133 gamethao92 0.3d +276 2 - 2 5 Recon: read diff, check for subsumption/real content
#2986 fix(hy-emit): fold bitwise-not, nested integer conversions, and builtin calls in constconv dextermos-dev 0.4d +151 3 - 2 5 Recon: read diff, check for subsumption/real content
#2964 fix(hy-check): enforce T24 HYB-E3104 on O8 field loans, map projections, and loan rebinds dextermos-dev 0.4d +214 2 - 10 5 Recon: read diff, check for subsumption/real content
#2952 fix(tools/runner): redact by key segment, validate timeout/cmd/sha, keep steps fail-soft ( Dimany4 0.4d +200 2 - 10 5 Recon: read diff, check for subsumption/real content
#2851 fix(hy-check): honor package-level declarations shadowing predeclared callees and types ocakciomursel-pixel 0.6d +297 5 - 2 5 Recon: read diff, check for subsumption/real content
#2844 fix(hy-check): classify all forwarded results on multi-value calls at boundaries (fixes #1 ocakciomursel-pixel 0.6d +411 2 - 2 4 Recon: read diff, check for subsumption/real content
#2815 W-2475: falsify H1 on the real pipeline (3/4 admitted programs diverge) theheiszt 0.6d +381 7 - 2 5 Recon: read diff, check for subsumption/real content
#2413 feat(spikes): add Inline Ghost-Capability Directives spike & syntactic census (#2406) theheiszt 1.9d +2878 6 - 2 3 Recon: read diff, check for subsumption/real content
#2411 feat(spikes): add W-Panic-Freedom-Oracle research spike & BCE census harness (#2398) theheiszt 1.9d +2419 7 - 2 3 Recon: read diff, check for subsumption/real content
#2402 spike(w025): untrusted proof producer kernel & CFG falsifier suite (#2176) theheiszt 2.0d +553 5 - 2 4 Recon: read diff, check for subsumption/real content
#2141 fix(tools): scan conflict markers despite unrelated invalid UTF-8 gamethao92 4.4d +79 2 - 2 5 Recon: read diff, check for subsumption/real content
#1675 fix(hy-emit,hy-check): emit enum declarations and resolve enum variants at check-sites (fi ocakciomursel-pixel 7.7d +769 9 - 2 4 Recon: read diff, check for subsumption/real content

Activity

  1. limitlessprojects
    added 2 commits that reference this issue on Oct 19, 2026

    STATUS: session-23 — triage bot built+validated (191 PRs classified, …

    c4f6b46

    Merge pr-941: triage bot (scan/approve/labels/board) + daily board + …

    90b667b
  2. sonson0910
    added a commit that references this issue on Oct 19, 2026

    triage-bot: encode the PR verification protocol as review-first autom…

    b8d2393
  3. lecapable4
    added a commit that references this issue on Oct 19, 2026

    fix: resolve limitlessprojects#940 - Triage Board (auto-updated daily…

    3d65e90

  4. limitlessprojects commented on Oct 20, 2026

    @limitlessprojects
    limitlessprojects
    on Oct 20, 2026
    OwnerAuthor

    Verified-gap landing queue (round 3) — behavioral matrix ran every cleanup-queue PR's .hy fixtures against main's checker + issue states cross-checked. These are no longer bot priors; the evidence is hand-verified this session:

    priority PRs gap evidence
    1 #784 + #856 (two takes — land strongest, credit both) typed-constant expression overflow accepted typed-const-expression-overflow-reject.hy → main verdict accept (want REJECT); issue area otherwise landed (#671) so the reject-side is the remaining hole
    2 #910 constant index past fixed array length accepted array-const-index-past-length-reject.hy → main accept (want REJECT)
    3 #942 &m[k] outside binding position accepted map-slot-borrow-callarg-reject.hy → main accept (want REJECT/HYB-E3104)
    4 #794 + #796 (two takes on open #778) type name used in value position main rejects the fixture only incidentally (HYB-E1002 unused-var) — the real rule is absent
    5 #926 + #960 (two takes, open #925) return f() result-arity mismatch #960 already Pareto-queued; #926 is the older take (+345/-0) — verify both, land strongest

    Cleanup closes this session (all evidence-backed): #620 (content landed verbatim via extraction 8518b93+0d0f68d, fixtures + VERDICTS C9/C10 section on main) · #834 (premise invalidated — same ruling as #804/#793, Go 1.26.9 accepts directional make) · #911 (dup of landed #899, issue #898 closed by that take) · #891 (landed via pr-678 integration, struct_base_name normalization on main). #837: policy pointer posted (BOUNTY.md qualification linkage requested), stays open.

    Note on the matrix's limits: #791/#794 initially read "subsumed" at verdict level — hand-running showed the reject passes for the wrong rule (#794) or only checks the accept side of an emitter fix (#791). Both stay open. Verdict-level agreement on .hy fixtures is evidence, never verdict — same rule as the bot.

  5. limitlessprojects
    added a commit that references this issue on Oct 20, 2026

    Merge pr-965 (limitlessprojects): Shepherd automation layer W0-W7

    63f5298
  6. magomedta
    added a commit that references this issue on Oct 20, 2026

    Shepherd: automation layer W0-W7 on top of the triage bot

    3b0f366
  7. Dimany4
    added 4 commits that reference this issue on Oct 20, 2026

    Rebase onto main d965dab (files unchanged on main — content preserved)

    94d0751

    Rebase onto main d965dab (files unchanged on main — content preserved)

    4a8b592

    Rebase onto main d965dab (files unchanged on main — content preserved)

    c45a6f8

    Rebase onto main d965dab (loans.rs unchanged on main — content preser…

    ef43656

  8. limitlessprojects commented on Oct 20, 2026

    @limitlessprojects
    limitlessprojects
    on Oct 20, 2026
    OwnerAuthor

    Round 4 — 8 verified landings (full protocol each)

    PR landing fix rule
    #993 349ff9e #880 generic-receiver method-arity fold (check_method_arity → struct_base_name)
    #964 5aa2b28 #963 string index mutation + map index key types
    #995 3c51088 #994 slice type conversion arity + operand types
    #969 c203eca #968 conversion operand types (struct/bool/string→num) + void args
    #989 158352a #988 const slice bounds past fixed-size array length
    #909 c9edb09 #908 slice literal items + map literal keys/values types
    #919 0271750 #918 address-of on non-addressable expressions
    #928 08e1863 #927 copy/clear/panic/recover operand + return kinds

    Every landing: worktree merge gate MERGE-CLEAN · main repro with go-build cross-check on the emitted file · merged-tree repro-fixed + over-reach controls · battery green (workspace, corpus 120/120, census 7/7 = 38/2/80, differential FULL 40+80, git diff HEAD empty) · credit-merge with Original-author: · push-and-assert LAND-CONFIRMED · PR closed only after merged=true.

    Issues auto-closed: #880 #963 #994 #968 #988 #908 #918 #927.

    Round-5 queue (Pareto rest): #984 (bounty-track (T,error)-tail rule) · #801 · #930 · #985 · #935 · #904 · #906 · #815 · #774 · #991 · #800 · #923.

  9. limitlessprojects commented on Oct 20, 2026

    @limitlessprojects
    limitlessprojects
    on Oct 20, 2026
    OwnerAuthor

    Wildcard-track run (2026-10-20) — summary

  10. limitlessprojects
    added a commit that references this issue on Oct 23, 2026

    triage_bot: retry rate-limit 403s with backoff

    cc1f475
  11. ryder777777
    added 3 commits that reference this issue on Oct 30, 2026

    fix(board): post the triage view to board_repo, not the read target

    a1fc7ad

    fix(board): post the triage view to board_repo, not the read target

    87c052b

    fix(tools): do not fail the board check when the token is read-only

    82469a4
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions