issues Search Results · language:Dune language:JavaScript language:Python language:HTML language:JavaScript language:Java
Filter by
61.6M results
背景
BMC は有界（--depth K）であり、結果には checked_to_depth 等の探索境界情報がある。Monitor（testgen/replay）は log-driven で全列挙はしない（PERF1 の指数爆発は
[1.2.0] のキャッシュ・invariant 再利用で大幅緩和済：深さ8 が 30分超→5.4秒）。
つまり完全性は常に有界だが、その有界性が結果 JSON から ...
rizumita
1. Overview
Fetching vector fields in search query responses adds significant latency overhead. Most agentic and RAG systems don t
require vectors in the query response; they only need docIds and metadata. ...
untriaged
shatejas
背景
診断 JSON には既に violation_kind 列挙（type_bound / invariant / trans / ensures / partial_op / deadlock /
leadsTo、bmc.py:1774）と、kind: tautology_over_frozen （bmc.py:2424）がある。partial_op には
_partial_op_hint()（bmc.py:256）が復元 ...
背景
urgent を 常時 enabled になり得るアクション（応答そのもの等）に付けると時間が凍結し、deadline = 0 ですら verified になる（空虚化）。このトラップは DOGFOOD-8 ②b（SLA
対応）で実際に踏まれ、reference.md / LANGUAGE.md に「deadline-urgency パターン」として回避策が文書化されている。
しかし静的検出器は存在しない。トラップはユーザ経験・相互検証でしか露見せず、fslc ...
Community Support: LinkedIn Group · Slack #project-nest
Active project leaders: Arkadii Yakovets -- GitHub · LinkedIn · Slack; Kate Golovanova -- GitHub · LinkedIn · Slack
Contributing · Code of Conduct ...
bug
Mr-Rahul-Paul
myumoonWhat to build
Add per-channel flat-field correction to the zarrmony-phenix conversion pipeline. Deferred past v1 — phenix-v1 ships
without it.
Open questions to resolve in this issue
- Source of flat-field ...
enhancement
needs-triage
ferrinm
Description: Upon proceeding with the Stripe payment on the Enatega Food Delivery website, users encounter two issues.
Firstly, there is an absence of a user confirmation message after entering payment ...
waleedahmedhere
What to build
Placeholder fix issue for the napari 1 field per well bug. Activated only if the verification in #4 confirms the bug
still reproduces on current main. Otherwise close this as not-needed. ...
bug
needs-triage
Summary
The tsa-find skill documents health action=scale returning {lines, size_bytes, is_large, recommendation}, but the actual
AnalyzeScaleTool output uses completely different field names.
Current ...
bug
aimasteracc
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 IssuesProTip! Restrict your search to the title by using the in:title qualifier.
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 IssuesProTip! Restrict your search to the title by using the in:title qualifier.