Issues

• Render captions an article whose declaration word it has no label for as "Node", with no warning

  facebookresearch/autoform-bot#485 · Filter by author Deicyde opened on Oct 26, 2026

• Formalize: check each project's PR reviews and audit change requests before fixing them

  facebookresearch/autoform-bot#483 · Filter by author toskua opened on Oct 26, 2026
  1

• Follow-ups from #455: explorer typesetting's refs, rereads, focus rings and labels

  facebookresearch/autoform-bot#471 · Filter by author Deicyde opened on Oct 25, 2026

• Formalize: generated import roots serialize independent PR publication

  facebookresearch/autoform-bot#466 · Filter by author toskua opened on Oct 24, 2026
  1

• Skeleton: efficient report serialization and reusable review artifacts

  facebookresearch/autoform-bot#433 · Filter by author toskua opened on Oct 21, 2026
  1

• Formalize: safe worktree and evidence retention/garbage collection

  facebookresearch/autoform-bot#435 · Filter by author toskua opened on Oct 21, 2026
  1

• Formalize: long-lived work packages and durable session coordination

  facebookresearch/autoform-bot#434 · Filter by author toskua opened on Oct 21, 2026
  1

• Formalize tracker: scalable orchestration, caching, verification and recovery

  facebookresearch/autoform-bot#429 · Filter by author toskua opened on Oct 21, 2026

• Follow-ups from #215: dangling links to left-out pages, untested site scripts, check cost, titles

  facebookresearch/autoform-bot#415 · Filter by author Deicyde opened on Oct 20, 2026
  3

• Make the book and the dependency explorer one integrated UI

  facebookresearch/autoform-bot#412 · Filter by author Deicyde opened on Oct 19, 2026
  4

• Follow-ups from #90: the Atlas explorer's headings, ids, counts, edgeless links, TeX and 1600 px layout

  facebookresearch/autoform-bot#404 · Filter by author Deicyde opened on Oct 19, 2026
  1

• Make each statement card its own site search record, with its Lean names

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

• 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

• Let a project opt out of the generated verify workflow so autoform init stops restoring it

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

• Reuse Lean packages already on disk in Setup and Formalize instead of downloading them again

  enhancement
  facebookresearch/autoform-bot#275 · Filter by author zibo-yang opened on Oct 13, 2026
  1

• Finish moving fence and heading parsing into markdown.py

  enhancement
  facebookresearch/autoform-bot#201 · Filter by author zibo-yang opened on Oct 8, 2026
  2

• Report duplicate primary Lean-target ownership in autoform audit (duplicate-lean-target)

  enhancement
  facebookresearch/autoform-bot#193 · Filter by author zibo-yang opened on Oct 7, 2026
  2