Chelis-Lang

Issues somebody may already be working on are listed last. List everything by date

• C build refuses an ascribed cast to a dtype binder inside a generic host-lane def that eval accepts

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:backend bug

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  Chelis-Lang/chelis#3393 · Opened Oct 9, 2026

  Maintainers usually reply within 1 day

• eval: a computed dropout rate in a nullary def over a reshape-built operand is a "staged host value" with no tensor representation

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:eval bug launch:p2 scope:core

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  Chelis-Lang/chelis#3392 · Opened Oct 9, 2026

  Maintainers usually reply within 1 day

• grad rejects a comparison whose operand extents come from to_tensor(range(n)) ("comparison output shape must match its operands")

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  bug launch:p2 scope:core

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  Chelis-Lang/chelis#3391 · Opened Oct 9, 2026

  Maintainers usually reply within 1 day

• grad refuses concat of parts with a symbolic extent ("cannot be represented by the static tensor DAG"); the literal-width twin differentiates

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  bug launch:p2 scope:core

  Difficulty 4/5 3-5 days Newbie friendliness 22/100

  Chelis-Lang/chelis#3390 · Opened Oct 9, 2026

  Maintainers usually reply within 1 day

• C build rejects a generic call that returns a free-dimension ADT when its tensor argument has runtime extents (check and eval accept)

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:backend bug launch:p2 scope:core

  Difficulty 4/5 3-5 days Newbie friendliness 22/100

  Chelis-Lang/chelis#3388 · Opened Oct 9, 2026

  Maintainers usually reply within 1 day

• conformance registry: hydronnx no longer links chelis crates (links_chelis_crates should be false)

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:ecosystem bug

  Difficulty 2/5 Under an hour Newbie friendliness 35/100

  Chelis-Lang/chelis#3387 · Opened Oct 9, 2026

  Maintainers usually reply within 1 day

• Beacon: interval transformer for pow ([05-OP-79])

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:prove enhancement

  Difficulty 4/5 3-5 days Newbie friendliness 32/100

  Chelis-Lang/chelis#3386 · Opened Oct 9, 2026

  Maintainers usually reply within 1 day

• Correctly rounded pow kernels for HIP and Metal ([05-OP-79]); lift the device fence

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:backend enhancement

  Difficulty 5/5 Over a week Newbie friendliness 10/100

  Chelis-Lang/chelis#3385 · Opened Oct 9, 2026

  Maintainers usually reply within 1 day

• The ..r body discipline rejects fail and layer_norm as "shape-rewriting" although neither changes shape

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  launch:p3 scope:core spec-gap type-system

  Difficulty 4/5 3-5 days Newbie friendliness 22/100

  Chelis-Lang/chelis#3383 · Opened Oct 9, 2026

  Maintainers usually reply within 1 day

• grad rejects an i64 floor_div that only computes a reshape extent as "non-differentiable (piecewise constant)"

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  bug launch:p2 scope:core

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  Chelis-Lang/chelis#3382 · Opened Oct 9, 2026

  Maintainers usually reply within 1 day

• grad of a group-RMS normalisation over runtime extents hits the chelis#1482 extent-source refusal ("0 extent source(s) ... (op const)")

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  bug launch:p2 scope:core

  Difficulty 5/5 Over a week Newbie friendliness 8/100

  Chelis-Lang/chelis#3381 · Opened Oct 9, 2026

  Maintainers usually reply within 1 day

• conv with runtime i64 strides is rejected by IR lowering ("checked conv requires literal per-axis metadata"), including under grad

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  bug launch:p2 scope:core

  Difficulty 4/5 3-5 days Newbie friendliness 22/100

  Chelis-Lang/chelis#3380 · Opened Oct 9, 2026

  Maintainers usually reply within 1 day

• Dimension-generic conv and layer_norm fail IR lowering ("requires a concrete extent") although the call site fixes every extent

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  bug launch:p2 scope:core

  Difficulty 4/5 3-5 days Newbie friendliness 25/100

  Chelis-Lang/chelis#3379 · Opened Oct 9, 2026

  Maintainers usually reply within 1 day

• grad through diagonal/trace/cumsum/einsum rejects runtime extents

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  bug scope:core

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  Chelis-Lang/chelis#3378 · Opened Oct 9, 2026

  Maintainers usually reply within 1 day

• Integer cumsum/einsum/trace inside a differentiated body is rejected

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  bug scope:core

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  Chelis-Lang/chelis#3377 · Opened Oct 9, 2026

  Maintainers usually reply within 1 day

• grad through add-mode scatter is rejected ("no numeric IR lowering") although its atom defines an adjoint

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  bug scope:core

  Difficulty 4/5 3-5 days Newbie friendliness 22/100

  Chelis-Lang/chelis#3376 · Opened Oct 9, 2026

  Maintainers usually reply within 1 day

• grad through sort is rejected ("no numeric IR lowering") although its atom defines an adjoint

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  bug scope:core

  Difficulty 4/5 3-5 days Newbie friendliness 25/100

  Chelis-Lang/chelis#3375 · Opened Oct 9, 2026

  Maintainers usually reply within 1 day

• grad through clamp is rejected ("no numeric IR lowering") although its atom defines an adjoint

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  bug scope:core

  Difficulty 4/5 3-5 days Newbie friendliness 42/100

  Chelis-Lang/chelis#3374 · Opened Oct 9, 2026

  Maintainers usually reply within 1 day

• C lane gather/scatter still compute offsets through a per-element runtime call

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:backend area:perf

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  Chelis-Lang/chelis#3371 · Opened Oct 9, 2026

  Maintainers usually reply within 1 day

• C lane materialises the rank-3 expand*multiply product for matmul: 1.4 GB intermediates for a 231 MFLOP conv-sized matmul

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:backend area:perf

  Difficulty 5/5 Over a week Newbie friendliness 22/100

  Chelis-Lang/chelis#3370 · Opened Oct 9, 2026

  Maintainers usually reply within 1 day

• grad of fold/scan over a runtime-length List is rejected; [05-OP-55] adjoint needs a runtime-trip-count recurrence

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  bug

  Difficulty 5/5 Over a week Newbie friendliness 18/100

  Chelis-Lang/chelis#3366 · Opened Oct 9, 2026

  Maintainers usually reply within 1 day

• grad: fold over to_list(t) with symbolic-length t, or with an unresolved callback, lowers to a rank-0 placeholder ([05-OP-55])

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  bug

  Difficulty 4/5 3-5 days Newbie friendliness 22/100

  Chelis-Lang/chelis#3365 · Opened Oct 9, 2026

  Maintainers usually reply within 1 day

• No sanctioned rank-0 scalar broadcast inside a ..r body: clamp's rank-zero bound is the only admitted route

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  design-discussion launch:p3 scope:core spec-gap type-system

  Difficulty 5/5 Over a week Newbie friendliness 12/100

  Chelis-Lang/chelis#3360 · Opened Oct 9, 2026

  Maintainers usually reply within 1 day

• multi_head_attention is specified in spec/05 section 4.7 but unbound

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  bug design-discussion launch:p2 scope:core

  Difficulty 5/5 Over a week Newbie friendliness 20/100

  Chelis-Lang/chelis#3346 · Opened Oct 8, 2026

  Maintainers usually reply within 1 day

• Rounding-mode guard is entry-point discipline: kernels and float_unop are callable without FpEnvGuard

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:eval area:prove launch:p3 scope:core soundness

  Difficulty 4/5 3-5 days Newbie friendliness 64/100

  Chelis-Lang/chelis#3319 · Opened Oct 7, 2026

  Maintainers usually reply within 1 day

• Exactly specified C library and compiler-runtime functions (fma, rint, floor, fmod, ldexp, ...) are unchecked in both lanes

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:backend launch:p3 scope:core soundness

  Difficulty 4/5 3-5 days Newbie friendliness 61/100

  Chelis-Lang/chelis#3318 · Opened Oct 7, 2026

  Maintainers usually reply within 1 day

• `chelis prove` evaluates correctly rounded kernels without a rounding-mode guard

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:prove bug

  Difficulty 2/5 1-3 hours Newbie friendliness 82/100

  Chelis-Lang/chelis#3317 · Opened Oct 7, 2026

  Maintainers usually reply within 1 day

• reef install --bootstrap default list names shell tags pinned to Chelis 0.6.1

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:ecosystem bug cli

  Difficulty 3/5 Half a day Newbie friendliness 72/100

  Chelis-Lang/chelis#3315 · Opened Oct 7, 2026

  Maintainers usually reply within 1 day

• reef remote discovery needs a GitHub token for public releases, and its error names `<provider>`

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:ecosystem bug cli

  Difficulty 2/5 1-3 hours Newbie friendliness 88/100

  Chelis-Lang/chelis#3313 · Opened Oct 7, 2026

  Maintainers usually reply within 1 day

• reef bootstrap rejects an exact chelis-std requirement matching the bundled runtime

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:ecosystem bug cli

  Difficulty 2/5 1-3 hours Newbie friendliness 84/100

  Chelis-Lang/chelis#3307 · Opened Oct 6, 2026

  Maintainers usually reply within 1 day

• Tier B test `f3_int_width_field_param_const_lowers_consistently_at_tier_b` never reaches the narrow-width field sort (`FieldType::scalar_sort`)

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:prove

  Difficulty 4/5 3-5 days Newbie friendliness 66/100

  Chelis-Lang/chelis#3304 · Opened Oct 6, 2026

  Maintainers usually reply within 1 day

• Decide whether --fast should compile the full production source closure on every run

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:ci design-discussion

  Difficulty 4/5 3-5 days Newbie friendliness 45/100

  Chelis-Lang/chelis#3303 · Opened Oct 6, 2026

  Maintainers usually reply within 1 day

• In a reef package, an opaque type whose name contains `__` is keyed to the wrong module: its own constructor is rejected, and the message names `Prob` in `Demo.Util.My`

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  bug scope:core type-system usability

  Difficulty 4/5 3-5 days Newbie friendliness 64/100

  Chelis-Lang/chelis#3301 · Opened Oct 6, 2026

  Maintainers usually reply within 1 day

• In a reef package, the type-mismatch accessor suggestion names a linker-derived helper (`pkg__demo__app___demo___main___shape_value`)

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  bug scope:core usability

  Difficulty 3/5 1-2 days Newbie friendliness 75/100

  Chelis-Lang/chelis#3300 · Opened Oct 6, 2026

  Maintainers usually reply within 1 day

• `chelis eval` calls a nullary `def` named without parentheses, while the checker types the name as a function value

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:eval bug scope:core

  Difficulty 3/5 1-2 days Newbie friendliness 75/100

  Chelis-Lang/chelis#3299 · Opened Oct 6, 2026

  Maintainers usually reply within 1 day

• C build of a `match` that projects a callback parameter fails with internal ownership errors instead of the typed #879 rejection

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:backend bug scope:core

  Difficulty 4/5 3-5 days Newbie friendliness 63/100

  Chelis-Lang/chelis#3297 · Opened Oct 6, 2026

  Maintainers usually reply within 1 day

• Std: add an exact rational (fraction) type with correctly rounded float conversion

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  enhancement scope:unreleased type-system

  Difficulty 5/5 Over a week Newbie friendliness 25/100

  Chelis-Lang/chelis#3276 · Opened Oct 6, 2026

  Maintainers usually reply within 1 day

• conform init: stamped CI and bump workflows call chelisup without bootstrapping it and use a token that cannot read private chelis releases

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:ecosystem bug launch:p3 scope:core

  Difficulty 4/5 3-5 days Newbie friendliness 58/100

  Chelis-Lang/chelis#3255 · Opened Oct 5, 2026

  Maintainers usually reply within 1 day

• Diagnostic Kind Mutation Oracle failures do not block merges to main

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:ci bug

  Difficulty 4/5 3-5 days Newbie friendliness 38/100

  Chelis-Lang/chelis#3248 · 1 comment · Opened Oct 5, 2026

  Maintainers usually reply within 1 day

• Backend Sanitizers runs backend-c --lib only, and integration tests ignore its sanitizer flags

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:ci bug

  Difficulty 4/5 3-5 days Newbie friendliness 48/100

  Chelis-Lang/chelis#3247 · 1 comment · Opened Oct 5, 2026

  Maintainers usually reply within 1 day

• The hip-local-gpu manual gate feature is inert: enabling it adds no GPU tests

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:ci bug

  Difficulty 4/5 3-5 days Newbie friendliness 52/100

  Chelis-Lang/chelis#3245 · 1 comment · Opened Oct 5, 2026

  Maintainers usually reply within 1 day

• The CLI no-proof-runner branch (beacon_feature_absent) runs in no CI lane

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:ci bug

  Difficulty 3/5 1-2 days Newbie friendliness 68/100

  Chelis-Lang/chelis#3244 · 1 comment · Opened Oct 5, 2026

  Maintainers usually reply within 1 day

• Hull evaluation comparison accepts any finite result within an absolute 0.01

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:ci bug

  Difficulty 5/5 Over a week Newbie friendliness 35/100

  Chelis-Lang/chelis#3243 · 1 comment · Opened Oct 5, 2026

  Maintainers usually reply within 1 day

• Hull check comparison counts missing compiler type evidence as agreement

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:ci bug

  Difficulty 3/5 1-2 days Newbie friendliness 68/100

  Chelis-Lang/chelis#3242 · 1 comment · Opened Oct 5, 2026

  Maintainers usually reply within 1 day

• reef conform sync/init/bump follow symlinked directories and delete or write outside the shell root

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:ecosystem bug

  Difficulty 4/5 3-5 days Newbie friendliness 55/100

  Chelis-Lang/chelis#3240 · 1 comment · Opened Oct 5, 2026

  Maintainers usually reply within 1 day

• Concurrent Python compile_and_load jobs race on fixed artifact file names

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:bindings bug soundness

  Difficulty 4/5 3-5 days Newbie friendliness 45/100

  Chelis-Lang/chelis#3238 · 1 comment · Opened Oct 5, 2026

  Maintainers usually reply within 1 day

• Reef registry index writers race: most are unlocked and share a fixed index.json.tmp

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:ecosystem bug

  Difficulty 4/5 3-5 days Newbie friendliness 48/100

  Chelis-Lang/chelis#3237 · 1 comment · Opened Oct 5, 2026

  Maintainers usually reply within 1 day

• Dependency-declared binary artifacts install into ~/.chelis/bin and can replace the chelis shims

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:ecosystem bug

  Difficulty 4/5 3-5 days Newbie friendliness 52/100

  Chelis-Lang/chelis#3235 · 1 comment · Opened Oct 5, 2026

  Maintainers usually reply within 1 day

• HIP and Metal matmul recognition ignores expand axes and the declared output shape

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:backend bug soundness

  Difficulty 4/5 3-5 days Newbie friendliness 38/100

  Chelis-Lang/chelis#3232 · 1 comment · Opened Oct 5, 2026

  Maintainers usually reply within 1 day

• WireDag shape validation revisits shared inputs exponentially

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area:bindings bug

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  Chelis-Lang/chelis#3231 · 1 comment · Opened Oct 5, 2026

  Maintainers usually reply within 1 day