Skip to content

issues Search Results · language:Dune language:Python linked:pr language:JavaScript language:JavaScript language:Java

Filter by

5.9M results  (327 ms)

5.9M results

Problem IndicParlerProvider.synthesize ignores speed, and generation is fixed greedy. We want speed to actually affect the voice and to allow sampling for naturalness — without changing the verified-good ...
enhancement

Problem .gitattributes has tools/simulations/**/*.json text eol=lf but the ** glob does not expand recursively in Git for Windows, so scenario JSON files are checked out with CRLF on Windows. _file_sha256 ...

Summary When connecting the greenhouse MCP server to a Claude.ai custom connector, OAuth + connection succeed but loading the tool list crashes: tools.50.FrontendRemoteMcpToolDefinition.name: String ...

Context Post-merge quality audit of the #34 phases 2–3 transpiler parcels (#419, #422, #430). All eight follow-up issues closed and the refused queue is at zero, but a doctrine review of the authored ...
cross-cutting
enhancement
module-enhancement

retort scores python, go, typescript, rust, java, clojure, erlang, and elixir — but not C#, a gap for .NET stacks. This adds a csharp arm to every per-language scorer. dotnet is the only toolchain needed ...

Problem (audit GAP-15) The spec s primary defence against branch contamination — comparing the implementer s declared files_changed to the real diff — is unenforced adapter prose. The declared contract ...

Problem (audit GAP-4) One agent can post N review verdicts with invented reviewer ids — verdict count is checkable, provenance is not. keel must NOT take a hard dependency on ai-jury (fail-soft, optional; ...

Problem (audit GAP-6) Nothing records that run-gates ran against the merged head SHA. Gate outcomes carry no SHA, so a stale green run can accompany a newer head. Proposal Stamp head_sha into gate outcomes ...

Problem There is no single command to surface keel environment drift. Observed live: the global CLI silently downgraded (1.2.2 → 0.9.0) and five consumer projects adapters were stale (0.9.0/1.0.2/1.1.0) ...

Problem (audit GAP-9) evidence-verify accepts a closure comment on marker presence alone. A hand-written body carrying keel.closure-comment.v1 passes even if its content contradicts the ledger — the generalized ...
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! Restrict your search to the title by using the in:title qualifier.
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! Restrict your search to the title by using the in:title qualifier.