-
Notifications
You must be signed in to change notification settings - Fork 1
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
design(syntax,fmt,migrate): literate Markdown へ書き戻すための fence 範囲を抽出器の契約に加える
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoveryenhancementNew feature or requestNew feature or requestneeds-evidenceWaiting for concrete evidence before implementationWaiting for concrete evidence before implementationphase:deferred次フェーズでは保留。トラック A-E の外次フェーズでは保留。トラック A-E の外Status: Open.feat(lsp): literate Markdown (.md) を索引・診断の対象にする
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoveryenhancementNew feature or requestNew feature or requestphase:deferred次フェーズでは保留。トラック A-E の外次フェーズでは保留。トラック A-E の外Status: Open.design(cli): ソース読み込みを単一オーナーに集約し、literate Markdown を全コマンドで受ける
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoveryenhancementNew feature or requestNew feature or requestphase:deferred次フェーズでは保留。トラック A-E の外次フェーズでは保留。トラック A-E の外Status: Open.fix(cli): literate Markdown の受理範囲がコマンド間で不整合で、非対応コマンドが入力種別の誤りを仕様の構文エラーとして報告する
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoverybugSomething isn't workingSomething isn't workingtrack:AトラックA 健全性残債の完済（最優先・期限 2026-08-28）トラックA 健全性残債の完済（最優先・期限 2026-08-28）Status: Open.test(domain): 型付きモデル lowering と kernel ソース描画の乖離を検出するゲートが無い
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoveryenhancementNew feature or requestNew feature or requesttrack:AトラックA 健全性残債の完済（最優先・期限 2026-08-28）トラックA 健全性残債の完済（最優先・期限 2026-08-28）Status: Open.fix(db,domain): nested kernel 射影が二重実装で、db check だけ replayable evidence を落とす
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoverybugSomething isn't workingSomething isn't workingtrack:AトラックA 健全性残債の完済（最優先・期限 2026-08-28）トラックA 健全性残債の完済（最優先・期限 2026-08-28）Status: Open.design(domain): one-hot なイベントフラグが saga の履歴を表現できず、await ガードが構造的に恒偽になる（#640(b) の根）
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoverybugSomething isn't workingSomething isn't workingneeds-evidenceWaiting for concrete evidence before implementationWaiting for concrete evidence before implementationtrack:AトラックA 健全性残債の完済（最優先・期限 2026-08-28）トラックA 健全性残債の完済（最優先・期限 2026-08-28）Status: Open.fix(verifier): symbolic Seq encoding treats out-of-range head() as defined, disagreeing with concrete engines
bugSomething isn't workingSomething isn't workingtrack:AトラックA 健全性残債の完済（最優先・期限 2026-08-28）トラックA 健全性残債の完済（最優先・期限 2026-08-28）Status: Open.docs(domain,document,replay,code-audit): 実地適用スタディ第 2 弾のドキュメント/UX ギャップ 6 件
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoverydocumentationImprovements or additions to documentationImprovements or additions to documentationtrack:DトラックD ドキュメント/DX ギャップトラックD ドキュメント/DX ギャップStatus: Open.design(testgen): kernel 層 testgen は寛容化バグを検出できず、抽象層の正例シナリオは精緻化実装に不健全 — 層選択の規範と mapping 翻訳の検討
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoveryenhancementNew feature or requestNew feature or requesttrack:CトラックC 実装接続の構造的盲点（A の後）トラックC 実装接続の構造的盲点（A の後）Status: Open.feat(replay): from-log の state-map が発火 action 名を参照できず、結果を再掲しない現実的イベントログが原理的に照合不能
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoveryenhancementNew feature or requestNew feature or requesttrack:CトラックC 実装接続の構造的盲点（A の後）トラックC 実装接続の構造的盲点（A の後）Status: Open.