Issues

• Resolve explicit own-project lean targets for public structure fields

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

• Large skeleton reports: packet duplication, serialization costs and local opt-out

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

• Generated roots: unrelated projects should share import integration without exclusive author claims

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

• 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

• 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
  1

• 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
  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

• 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