-
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
refactor(tools): testgen path canonicalizationをdelivery入力へ移す
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoveryenhancementNew feature or requestNew feature or requestStatus: Open.refactor(tools): requirements document Localeを中立presentation ownerへ移す
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoveryenhancementNew feature or requestNew feature or requestStatus: Open.refactor(verifier): BMCとinductionの共通liveness・trace helperを中立ownerへ移す
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoveryenhancementNew feature or requestNew feature or requestStatus: Open.refactor(core): checked-model型検証をPublic Kernel projectionから分離する
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoveryenhancementNew feature or requestNew feature or requestStatus: Open.refactor(tools): Domain naming transformの重複実装を統合する
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoveryenhancementNew feature or requestNew feature or requestStatus: Open.refactor(db): DbSystemをKernel ASTへ直接loweringする
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoveryenhancementNew feature or requestNew feature or requestStatus: Open.Support standalone refinement mappings as a mutate oracle
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoveryenhancementNew feature or requestNew feature or requestStatus: Open.feat(document): specialized dialect adapters (domain / dbsystem / ai_component)
enhancementNew feature or requestNew feature or requestStatus: Open.feat(document): business / design cross-layer view (--view business/design)
enhancementNew feature or requestNew feature or requestStatus: Open.design(core): public_kernel.rsとparser.rsの分割可否を個別評価する
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoveryenhancementNew feature or requestNew feature or requestStatus: Open.design(runtime): touch-driven module extractionの最初のsliceを選定する
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoveryenhancementNew feature or requestNew feature or requestStatus: Open.design(core): dialect/domain loweringの局所分割sliceを選定する
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoveryenhancementNew feature or requestNew feature or requestStatus: Open.