-
Notifications
You must be signed in to change notification settings - Fork 2
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.
test(wasm): native/Worker 封筒比較の未被覆経路(check requirement trace と verify 系4経路)
bugSomething isn't workingSomething isn't workingStatus: Open.fix(cli): check / db check / explain / html / ledger / analyze も同一 root 入力を複数回読む(#808 の残り6コマンド)
bugSomething isn't workingSomething isn't workingStatus: Open.ci(cache): Actions cache budget が main で恒常的に 85% 閾値を超える(削除による緩和は main-cache-absent を生む)
bugSomething isn't workingSomething isn't workingStatus: Open.#926 In ymm-oss/fsl;DESIGN-nested-option-support §3.2 の Map value 行が main の受理済み契約と矛盾している
bugSomething isn't workingSomething isn't workingStatus: Open.#925 In ymm-oss/fsl;- Status: Open.
- Status: Open.
- Status: Open.
docs(case-study): property-first 分散leaseモデルから実装回帰テストまでを示す
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.#887 In ymm-oss/fsl;design(language): 環境仮定を保証から分離し、runtime evidence に結び付ける
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoveryenhancementNew feature or requestNew feature or requestspikeTime-boxed investigation producing a go/no-go decision, not an implementation commitmentTime-boxed investigation producing a go/no-go decision, not an implementation commitmenttrack:EトラックE 実測された言語表現ギャップ（A の後）トラックE 実測された言語表現ギャップ（A の後）Status: Open.#886 In ymm-oss/fsl;feat(testgen): verifier の最短反例を実装回帰テスト用 reproducer artifact に昇格する
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.#885 In ymm-oss/fsl;内部表現が「公開契約で既に閉じている集合」を型に載せていない（演算子
String、KernelModelの外部構築）ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoveryenhancementNew feature or requestNew feature or requestStatus: Open.#859 In ymm-oss/fsl;