Skip to content

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

Filter by

4.5M results  (328 ms)

4.5M results

etiennedesrochers/chaotic_redream
Add Sidebar

Add side bar for navigation throught the app
enhancement
  • etiennedesrochers
  • Opened 
    3 hours ago
  • #2

xuezhiorange-png/blueberry-peak-forecast-agent
[TASK-009C] Expose harvest-state runs through API, CLI, and deterministic reports

目标 在已合并的 Task 9A 纯确定性状态模型和 Task 9B 持久化层之上，实现 单次 harvest-state 运行的应用服务、FastAPI API、CLI 与确定性报告交付。 Task 9C 只负责调用既有 Task 9A、使用既有 Task 9B 保存/读取结果，并以稳定的 HTTP、CLI 和机器可读报告形式交付。不得修改 Task 9A 业务算法，不得绕过 Task 9B ...
  • xuezhiorange-png
  • Opened 
    3 hours ago
  • #17

etiennedesrochers/chaotic_redream
Add Discord Login

Add Discord login to the app. We dont want to manage accounts.
enhancement
  • etiennedesrochers
  • Opened 
    3 hours ago
  • #1

getsentry/sentry-python
Gate url.full behind the PII flag in stdlib

Python
Span First
Spans
  • ericapisani
  • 1
  • Opened 
    3 hours ago
  • #6665

krixon/skills
land apply crashes when its tail sync-main cannot fast-forward

Finding Dimension: error-handling Suggested category: bug Severity: medium Confidence: high Where: land.apply (the final sync_main(repo_root) call) and worktree.cmd_sync_main Evidence: land apply --pr ...
bug
ready-for-agent
  • krixon-bot
  • 1
  • Opened 
    3 hours ago
  • #255

aallan/vera
verifier: assert(P) generates no Tier-1 obligation — unprovable asserts pass vera verify (contradicts spec 6.2.5)

Found by the #392 smt.py soundness audit. Parent: #392. The bug Spec §6.2.5 says a body assert(P) is compiler-verified (assert(@Int.0 @Int.1); -- compiler verifies this holds), and §6.2.5 s WP table ...
verification
  • aallan
  • 1
  • Opened 
    3 hours ago
  • #800

aallan/vera
smt.py: signed division/modulo translated as Z3 Euclidean — Tier 1 proves wrong quotient/remainder for negatives

Found by the #392 smt.py soundness audit. Parent: #392. The bug vera verify proves the wrong value for signed / and %. Vera s runtime truncates toward zero (i64.div_s / i64.rem_s); Z3 s div/mod are Euclidean ...
verification
  • aallan
  • Opened 
    3 hours ago
  • #799

fastfinge/eloquence_64
Secure screen Eloquence copy broken again with the latest relevant commit

@akj I m running the latest Eloquence build based on https://github.com/fastfinge/eloquence_64/actions/runs/28108844671 and now Eloquence can t run on the Secure or Log-on screens. So when I start my computer, ...
  • amirsol81
  • Opened 
    3 hours ago
  • #125

secure-ota-firmware-update/secure-ota-firmware-update
: docs: write ANTI_ROLLBACK.md explaining version enforcement design

week-3
  • Kanishksoni26
  • Opened 
    3 hours ago
  • #144

Sapientropic/AIppocampus
Continuity-domain preview still promotes mixed generic/weak cues to actionable on a real registry

Problem Follow-up to #2668 / #2680 from local dogfood on current main (ca25b426). The synthetic tests for low-information continuity-domain preview cues pass, but a real registry still promotes mixed ...
  • Aleks2580
  • 1
  • Opened 
    3 hours ago
  • #2717
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.