-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
[bug] Formal Model Checkのローカルrunnerが複数登録モデルでSOURCE_IDENTITYになる
bugSomething isn't workingSomething isn't workingP2重要だが急がない重要だが急がないS3-MAJOR誤動作だが回避策あり、または限定条件でのみ発現誤動作だが回避策あり、または限定条件でのみ発現Status: Open.#2139 In amadeus-dlc/amadeus;enhancement: no-silent-drop の偽陽性率を実測し既知ケースを exemptions へ台帳化する
enhancementNew feature or requestNew feature or requestP3いつかやる・低優先いつかやる・低優先shift-leftバグ未然防止(シフトレフト)施策 — ゲート・検証基盤の強化バグ未然防止(シフトレフト)施策 — ゲート・検証基盤の強化Status: Open.#2135 In amadeus-dlc/amadeus;enhancement: no-silent-drop baseline の 217件を walk to zero する
enhancementNew feature or requestNew feature or requestP3いつかやる・低優先いつかやる・低優先shift-leftバグ未然防止(シフトレフト)施策 — ゲート・検証基盤の強化バグ未然防止(シフトレフト)施策 — ゲート・検証基盤の強化Status: Open.#2134 In amadeus-dlc/amadeus;enhancement: no-silent-drop の NSD002/NSD003 を名指しカタログから型ベース検出へ汎用化する
enhancementNew feature or requestNew feature or requestP2重要だが急がない重要だが急がないshift-leftバグ未然防止(シフトレフト)施策 — ゲート・検証基盤の強化バグ未然防止(シフトレフト)施策 — ゲート・検証基盤の強化Status: Open.#2133 In amadeus-dlc/amadeus;- Status: Open.#2132 In amadeus-dlc/amadeus;
- Status: Open.#2131 In amadeus-dlc/amadeus;
- Status: Open.#2130 In amadeus-dlc/amadeus;
[bug] 要件分析時のFormal Model Check勧告をAIが人間判断なしで破棄できる
bugSomething isn't workingSomething isn't workingin-progressintent 起動中intent 起動中P1早めに対応（緊急寄り）早めに対応（緊急寄り）S3-MAJOR誤動作だが回避策あり、または限定条件でのみ発現誤動作だが回避策あり、または限定条件でのみ発現Status: Open.#2129 In amadeus-dlc/amadeus;- Status: Open.#2128 In amadeus-dlc/amadeus;
bug(election-cli): tally / notify が state 未検査で timeline へ append する — 不可能順序の監査面と late 票レーン迂回を生む
bugSomething isn't workingSomething isn't workingin-progressintent 起動中intent 起動中P2重要だが急がない重要だが急がないS3-MAJOR誤動作だが回避策あり、または限定条件でのみ発現誤動作だが回避策あり、または限定条件でのみ発現Status: Open.#2125 In amadeus-dlc/amadeus;bug(tests): unchecked-cast-guard が unknown 非経由の多段 as 連鎖を2サイトとして過剰カウントする
bugSomething isn't workingSomething isn't workingP3いつかやる・低優先いつかやる・低優先S4-MINOR軽微・エッジケース・表示層軽微・エッジケース・表示層Status: Open.#2112 In amadeus-dlc/amadeus;- Status: Open.#2102 In amadeus-dlc/amadeus;