Issues

• fix(lsp): names spelled like index keywords (status, count, age, …) get no declaration, so definition/references/rename miss them

  bug
  ymm-oss/fsl#1362 · Filter by author rizumita opened on Oct 17, 2026

• feat(typestate): action 本体に条件式が1つあるだけで spec 全体が error になる — 導出する enum に関わらない代入は無視する

  ai-discoveredenhancement
  ymm-oss/fsl#1352 · Filter by author rizumita opened on Oct 16, 2026

• fix(analyze): disconnected_requirement が init の @requirement を数えず、check --strict-tags と食い違う

  ai-discoveredbug
  ymm-oss/fsl#1351 · Filter by author rizumita opened on Oct 16, 2026

• fix(explain): kernel spec で verify ブロックの entity / number を使うと counterfactuals が黙って空になる

  ai-discoveredbug
  ymm-oss/fsl#1350 · Filter by author rizumita opened on Oct 16, 2026

• feat(diagnostics): forall の内側に書いた decreases に置き場所の hint を出す

  enhancement
  ymm-oss/fsl#1349 · Filter by author rizumita opened on Oct 16, 2026

• feat(explain): document 単位の @requirement 注釈が explain --readable に出ない

  enhancement
  ymm-oss/fsl#1348 · Filter by author rizumita opened on Oct 16, 2026

• design(requirements): 宣言の無い actor の by M が check を通る（business は semantics error）

  question
  ymm-oss/fsl#1347 · Filter by author rizumita opened on Oct 16, 2026

• docs/fix(forbidden): layers.md の「step の引数は enum の ordinal も受け付ける」は forbidden の最後の step で成り立たない

  bug
  ymm-oss/fsl#1346 · Filter by author rizumita opened on Oct 16, 2026

• fix(sweep): verification cache の cache.hit が初回と以降で変わり、envelope が実行順に依存する

  bug
  ymm-oss/fsl#1345 · Filter by author rizumita opened on Oct 16, 2026

• fix(html): -o なしの html 出力が elapsed_s を埋め込み、同じ入力で毎回 stdout が変わる

  bug
  ymm-oss/fsl#1344 · Filter by author rizumita opened on Oct 16, 2026

• fix(refine): chain の operand 数が奇数のときのエラーが kind io になる（usage であるべき）

  bug
  ymm-oss/fsl#1343 · Filter by author rizumita opened on Oct 16, 2026

• fix(db): db check --deadlock の値を検査していない

  bug
  ymm-oss/fsl#1342 · Filter by author rizumita opened on Oct 16, 2026

• fix(cli): explain・typestate・testgen が cli-contract.json に無い option を受け付ける

  bug
  ymm-oss/fsl#1341 · Filter by author rizumita opened on Oct 16, 2026

• feat(cli): native fslc で --opt=value 形式を受け付ける（argparse 由来の契約・凍結 Python との差）

  enhancement
  ymm-oss/fsl#1340 · Filter by author rizumita opened on Oct 16, 2026

• feat(html): governance の preservation の結果を表で出す（今は badge と生 JSON だけ）

  enhancement
  ymm-oss/fsl#1339 · Filter by author rizumita opened on Oct 16, 2026

• fix(ledger): governance 文書の ledger に合成アクション _governance_noop が死アクションとして 🔴 で出る

  bug
  ymm-oss/fsl#1338 · Filter by author rizumita opened on Oct 16, 2026

• fix(testgen): 失敗した inline implements・governance preservation でも exit 0 になり、kernel 経路と fallback 経路が分かれたまま

  bug
  ymm-oss/fsl#1337 · Filter by author rizumita opened on Oct 16, 2026

• fix(ledger): inline implements の seam が失敗しても、ledger の本文に判定も seam の結果も出ない（#1316 の implements 版）

  bug
  ymm-oss/fsl#1336 · Filter by author rizumita opened on Oct 16, 2026

• fix(compose): compose 側の def が展開されず unlowered predicate call で exit 2 になる

  bug
  ymm-oss/fsl#1335 · Filter by author rizumita opened on Oct 16, 2026

• fix(compose): sync でない compose の action が部品の状態（a.on）を読むと cannot type identifier で exit 2 になる

  bug
  ymm-oss/fsl#1334 · Filter by author rizumita opened on Oct 16, 2026

• fix(compose): 部品の leadsTo の helpful のアクション名に部品の接頭辞が付かず、compose が exit 2 になる

  bug
  ymm-oss/fsl#1333 · Filter by author rizumita opened on Oct 16, 2026

• feat(lang): action の requires に名前を付け、診断で名前を示す

  enhancement
  ymm-oss/fsl#1332 · Filter by author rizumita opened on Oct 16, 2026

• feat(lang): 範囲が同じ domain type を区別する（distinct type）

  enhancement
  ymm-oss/fsl#1331 · Filter by author rizumita opened on Oct 16, 2026

• feat(lang): 列挙リテラルへの所属判定 x in { A, B } を入れる

  enhancement
  ymm-oss/fsl#1330 · Filter by author rizumita opened on Oct 16, 2026

• feat(lang): 式の中のローカル束縛 let … in を入れる

  enhancement
  ymm-oss/fsl#1329 · Filter by author rizumita opened on Oct 16, 2026