Issues

• Release path for code-only changes: reuse the live Brain release instead of rebuilding it

  Deicyde/WikiLean#182 · Filter by author Deicyde opened on Nov 12, 2026

• Locate pipeline: challenge stage passed 82 of the 121 link relations changed in community review (clause coverage, broadMatch direction, notation)

  Deicyde/WikiLean#175 · Filter by author Deicyde opened on Nov 9, 2026

• Articles: locate passages split single sentences, so a fragment gets a status and links for a claim it does not state

  Deicyde/WikiLean#172 · Filter by author Deicyde opened on Nov 9, 2026

• Articles overlay: a community tag at a new pair always reads "statement only", even for a proved theorem or a definition

  Deicyde/WikiLean#169 · Filter by author Deicyde opened on Nov 9, 2026

• Brain: all of TauCeti, served from D1 (tracking)

  Deicyde/WikiLean#152 · Filter by author Deicyde opened on Nov 8, 2026
  1

• Operator: create the wikilean-brain D1 database and probe it (synthetic data)

  Deicyde/WikiLean#150 · Filter by author Deicyde opened on Nov 8, 2026
  2

• Operator: revoke the leaked GitHub sign-in tokens (scripts/revoke_github_tokens.py, #129)

  Deicyde/WikiLean#130 · Filter by author Deicyde opened on Nov 5, 2026
  3