-
Notifications
You must be signed in to change notification settings - Fork 3
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
fix(cli): unreferenced_requirement の hint が typed annotation と init を名指ししていない
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoverybugSomething isn't workingSomething isn't workingStatus: Open.fix(kernel): fslc kernel が JSON 封筒を返さず panic する（error_envelope_ai_unknown_tool.fsl）
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoverybugSomething isn't workingSomething isn't workingStatus: Open.fix(causal): civil_days が不可能な暦日を受理し、評価不能であるべき evidence が投票する
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoverybugSomething isn't workingSomething isn't workingStatus: Open.test(parity): #94 acceptance test pins only the frozen Python reference, not the native CLI
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoverybugSomething isn't workingSomething isn't workingStatus: Open.fix(html)!: fslc html discards the verification status and exits 0 over a violated spec
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoverybugSomething isn't workingSomething isn't workingStatus: Open.design(verify): define inline implements semantics for --property, --exclude-properties, and --from-state
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoverybugSomething isn't workingSomething isn't workingStatus: Open.test(site): strip_js_comments の状態遷移ごとの境界 control が不足している（必須 context が依存する手書きパーサ）
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoveryStatus: Open.fix(diagnostics): no_user_invariants が「implicit type bounds しか検査していない」と偽って報告する（同一 envelope に leads_to / reachables が入っている）
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoverybugSomething isn't workingSomething isn't workingStatus: Open.fix(verify)!: inline implementsのrefinement_failedをtop-level成功・exit 0で返す
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoverybugSomething isn't workingSomething isn't workingStatus: Open.fix(traceability): forbidden直前の@requirementを未参照と誤診断する
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoverybugSomething isn't workingSomething isn't workingStatus: Open.fix(examples): 旗艦 e2e chain の README が凍結 Python (.venv/bin/python -m fslc) を権威として教え、逐語 assert がそれを固定している
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoverybugSomething isn't workingSomething isn't workingStatus: Open.fix(examples): --deadlock ignore を教える実行例が examples 配下の12ファイル・36箇所に残っている（#979 の e2e 以外の全数）
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoverybugSomething isn't workingSomething isn't workingStatus: Open.