Issues

• Twelve unmerged branches pushed from local checkouts: open a PR or delete each

  facebookresearch/autoform-bot#789 · Filter by author Deicyde opened on Nov 13, 2026

• Agent feedback from a Formalize run: autoform claim list --worker-id <worker> reports `has an invalid lease schema…

  facebookresearch/autoform-bot#777 · Filter by author Deicyde opened on Nov 11, 2026

• Lean code blocks: Pygments wraps every token in a span, half the bytes of a page of Lean

  facebookresearch/autoform-bot#772 · Filter by author Deicyde opened on Nov 11, 2026

• Import impact: the default scope leaves out a root module that reaches MODULE only through a dependency

  facebookresearch/autoform-bot#754 · Filter by author Deicyde opened on Nov 10, 2026
  1

• Book typography: serif type for statements and exposition

  facebookresearch/autoform-bot#747 · Filter by author Deicyde opened on Nov 9, 2026
  1

• Inline citations of pinned library declarations in article prose

  facebookresearch/autoform-bot#720 · Filter by author Deicyde opened on Nov 8, 2026
  1

• Formalize at scale: three asks left from #429

  facebookresearch/autoform-bot#705 · Filter by author Deicyde opened on Nov 7, 2026
  3

• Impact and the library catalog: rare-layout limits held after the #427, #449 and #311 reviews

  facebookresearch/autoform-bot#678 · Filter by author Deicyde opened on Nov 6, 2026
  2

• Render's README and Markdown-suffix rules differ from MkDocs, so some links and inventory URLs miss

  facebookresearch/autoform-bot#670 · Filter by author Deicyde opened on Nov 6, 2026
  1

• Claims: limits held after the #446 review (signals, Windows, .LOCK keys, tests)

  facebookresearch/autoform-bot#667 · Filter by author Deicyde opened on Nov 6, 2026
  3

• Blueprint parsing and search: remaining limits from the #171 review

  facebookresearch/autoform-bot#657 · Filter by author Deicyde opened on Nov 5, 2026
  3

• Library index: check whether complete can be wrong (collectAxioms, duplicate names)

  facebookresearch/autoform-bot#651 · Filter by author Deicyde opened on Nov 5, 2026
  2

• Library search: remaining follow-ups from the #204 reviews

  facebookresearch/autoform-bot#650 · Filter by author Deicyde opened on Nov 5, 2026
  1

• Book and map: one address, and no flash of the static page before the map

  facebookresearch/autoform-bot#636 · Filter by author Deicyde opened on Nov 4, 2026
  2

• Typeset every article formula in CI to catch broken TeX

  enhancement
  facebookresearch/autoform-bot#633 · Filter by author Deicyde opened on Nov 4, 2026
  2

• Require a review at the merged commit, and test merges together

  enhancement
  facebookresearch/autoform-bot#632 · Filter by author Deicyde opened on Nov 4, 2026
  1

• Read literature-links annotations as an article's Lean link

  facebookresearch/autoform-bot#601 · Filter by author Deicyde opened on Nov 2, 2026
  7

• Wiki prose: typeset mathematics, separate Lean notes, and link source-number references

  facebookresearch/autoform-bot#598 · Filter by author Deicyde opened on Nov 2, 2026
  2

• Make blueprint sources, coverage, and document roles first-class wiki views

  facebookresearch/autoform-bot#593 · Filter by author Deicyde opened on Nov 2, 2026
  2

• Let an article draw an informal dependency without changing derived status

  enhancement
  facebookresearch/autoform-bot#387 · Filter by author Deicyde opened on Oct 19, 2026
  2