Issues

• Synchronize detached-descendant cleanup test before reading its PID file

  buggood first issue
  facebookresearch/autoform-bot#65 · Filter by author Deicyde opened on Oct 2, 2026

• skeleton: follow Lake configuration precedence when both lakefiles exist

  bug
  facebookresearch/autoform-bot#63 · Filter by author Deicyde opened on Oct 2, 2026

• Make skeleton input and managed-output snapshots descriptor-bound

  bug
  facebookresearch/autoform-bot#64 · Filter by author Deicyde opened on Oct 2, 2026

• Refuse case-folding collisions when scaffolding blueprint paths

  bug
  facebookresearch/autoform-bot#62 · Filter by author Deicyde opened on Oct 2, 2026

• Pin #15's graph-scale guarantees in tests and share one containment walk

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

• Dependency-page publication is quadratic in the number of containers

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

• runtime: build_runtime_graph labels stale node data with the current files' source_revision

  bug
  facebookresearch/autoform-bot#59 · Filter by author Deicyde opened on Oct 2, 2026

• graph: a symlinked roadmap README can hang load_graph and autoform check

  bug
  facebookresearch/autoform-bot#58 · Filter by author Deicyde opened on Oct 2, 2026

• Integrate skeleton evidence into human review and authenticated trust records

  tracking
  facebookresearch/autoform-bot#49 · Filter by author Deicyde opened on Sep 30, 2026
  1

• render: Lean source links point at the wrong repository in GitHub Codespaces (GITHUB_REPOSITORY trusted outside Actions)

  buggood first issue
  facebookresearch/autoform-bot#47 · Filter by author zibo-yang opened on Sep 28, 2026
  1

• Migrate the Lean LSP backend to Lean Beam

  upstream-blocked
  facebookresearch/autoform-bot#41 · Filter by author Deicyde opened on Sep 25, 2026
  4

• Make homepage “Formalized” progress explicit about scope and proof completion

  bug
  facebookresearch/autoform-bot#27 · Filter by author Deicyde opened on Sep 19, 2026
  1

• Post-#8 workspace sustainability and asynchronous collaboration

  tracking
  facebookresearch/autoform-bot#25 · Filter by author Deicyde opened on Sep 19, 2026
  1

• Render and preview one aggregate workspace wiki

  blockedroadmap
  facebookresearch/autoform-bot#24 · Filter by author Deicyde opened on Sep 19, 2026

• Report semantic PR conflicts and bind reviews to exact candidates

  blockedroadmap
  facebookresearch/autoform-bot#23 · Filter by author Deicyde opened on Sep 19, 2026

• Make Autoform work sessions snapshot-bound, fork-safe, and PR-durable

  blockedroadmap
  facebookresearch/autoform-bot#22 · Filter by author Deicyde opened on Sep 19, 2026

• Add exact-tree workspace verification and affected-project CI

  blockedroadmap
  facebookresearch/autoform-bot#21 · Filter by author Deicyde opened on Sep 19, 2026

• Support workspace-global article identity and cross-project dependencies

  blockedroadmap
  facebookresearch/autoform-bot#20 · Filter by author Deicyde opened on Sep 19, 2026

• Support sharded, multi-source coverage contracts

  blockedroadmap
  facebookresearch/autoform-bot#19 · Filter by author Deicyde opened on Sep 19, 2026

• Add workspace project lifecycle and repository reconciliation

  blockedroadmap
  facebookresearch/autoform-bot#18 · Filter by author Deicyde opened on Sep 19, 2026

• Pin Autoform per repository and add safe protocol upgrades

  blockedroadmap
  facebookresearch/autoform-bot#17 · Filter by author Deicyde opened on Sep 19, 2026