Issues

• perf: four per-item scans in bolt that scan (U013) found

  Emerging-Patterns/bolt#228 · Filter by author ngngardner opened on Sep 30, 2026
  1

• pick (C003) / eager: a first-match search that binds its recursion above the pick never stops early

  Feature

  Emerging-Patterns/bolt#199 · Filter by author ngngardner opened on Sep 24, 2026
  2

• index (U007) and concat (U004): see a List.get / append that the loop reaches through a helper or a continuation

  Feature

  Emerging-Patterns/bolt#198 · Filter by author ngngardner opened on Sep 24, 2026

• eager (U003): count a pick branch that reaches Base walks through a helper of the file (the lexer flushed every char)

  Feature

  Emerging-Patterns/bolt#197 · Filter by author ngngardner opened on Sep 24, 2026

• trace: report a tagged law its row's Law cell does not name

  Emerging-Patterns/bolt#194 · Filter by author ngngardner opened on Sep 24, 2026

• Bump shake: cite SHAKE rows, delete the shared cli.* walker lemmas, adapt to per-command Matched

  Emerging-Patterns/bolt#193 · Filter by author ngngardner opened on Sep 24, 2026

• feat(trace): list pending requirements behind an opt-in flag

  Emerging-Patterns/bolt#142 · Filter by author ngngardner opened on Sep 23, 2026

• rule candidate: spanmat — always materialize a (src,n) span before a read

  enhancementsuspicious
  Emerging-Patterns/bolt#104 · Filter by author noah-emp opened on Sep 23, 2026

• rule candidate: dupcall — identical pure call twice in one arm

  enhancementpedantic
  Emerging-Patterns/bolt#100 · Filter by author noah-emp opened on Sep 23, 2026

• rule candidate: tolist — String.to_list only to walk characters

  enhancementsuspicious
  Emerging-Patterns/bolt#97 · Filter by author noah-emp opened on Sep 23, 2026

• Traceability rule: every requirement a project marks proved has a tagged quantified law

  Emerging-Patterns/bolt#44 · Filter by author ngngardner opened on Sep 22, 2026