-
Notifications
You must be signed in to change notification settings - Fork 4
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
feat(domain): 使われない one-hot イベント印(event_*)が状態に残り、到達状態数が最大 (イベント数 + 1) 倍になる
enhancementNew feature or requestNew feature or requestStatus: Open.fix(domain): domain replay の domain_event 行が直前の command の出すイベントと照合されない
bugSomething isn't workingSomething isn't workingStatus: Open.fix(domain): domain replay が enum 型 input の command を、どの書き方でも command_rejected_by_model で拒否する
bugSomething isn't workingSomething isn't workingStatus: Open.fix(domain): domain expand の出力が fslc lint で exit 1 になる(legacy_string_metadata / non_canonical_id)
bugSomething isn't workingSomething isn't workingStatus: Open.feat(domain): fair / leadsTo / terminal を書けず、完了に至らない経路が domain check で verified になる
enhancementNew feature or requestNew feature or requestStatus: Open.feat(domain): aggregate の id 型を宣言しても状態が 1 インスタンスに展開され、Map<Id, _> にならない
enhancementNew feature or requestNew feature or requestStatus: Open.feat(domain): evolve に if / forall、decide の requires に forall を書けない(kernel の action では書ける)
enhancementNew feature or requestNew feature or requestStatus: Open.fix(domain): expand が membership(x in [A, B])を括弧なしで出力し、and と組むと出力テキストの意味が変わる
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoverybugSomething isn't workingSomething isn't workingStatus: Open.docs(readme): explain the validation suite as the defence against vacuous specs that pass verification
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoverydocumentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.feat(diagnostics): targeted suggestions for syntax borrowed from TLA+ / Alloy / Python
ai-discoveredIssues created from scoped follow-up discoveryIssues created from scoped follow-up discoveryenhancementNew feature or requestNew feature or requestStatus: Open.