Issues

• Add autoform search --skeleton: attach signatures from a skeleton report

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

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

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

• skeleton: lean_libraries ignores a package-level srcDir

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

• Project CI refuses every computable recursive definition as "unsafe or partial"

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

• Detect duplicate Lean source definitions without selecting private shadows

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

• Deploy Pages only from the exact successful verify workflow

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

• Harden the kernel audit against imported project code

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

• Redesign exact-generation claim fencing for multi-target claims

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

• Rebuild Mathlib provenance on the bound artifact gate

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

• Add blueprint search and reuse: a description contract, autoform search, and search-before-add rules

  facebookresearch/autoform-bot#143 · Filter by author zibo-yang opened on Oct 5, 2026
  2

  

• Support safe atomic project creation on Windows

  tracking
  facebookresearch/autoform-bot#134 · Filter by author Deicyde opened on Oct 5, 2026

• Fail closed when roadmap traversal cannot read a directory

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

• Show live-overlay suppression errors on every dashboard page

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

• Retry claim-list snapshots across concurrent ref churn

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

• Wait for Lean diagnostic completion instead of a quiet-gap heuristic

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

• Bind rendered publications to one immutable blueprint snapshot

  bug
  facebookresearch/autoform-bot#123 · Filter by author Deicyde opened on Oct 5, 2026
  1

• Diagnose and conservatively repair stale local claim lockfiles

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

• Serialize Lake builds in the actual machine-local resource domain

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

• Canonicalize article claims atomically across path and article IDs

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

• Bind formalized Lean targets to built artifacts in CI

  bug
  facebookresearch/autoform-bot#119 · Filter by author Deicyde opened on Oct 5, 2026
  1

• Decide and design freshness-attested project-local REPL imports

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

• Extract backend-independent runtime hardening from superseded #102

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

• runtime: retain LSP ownership until process-group cleanup is verified

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

• Detect repository inventory drift in roadmap catalogs

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

• Graph.children is a linear scan called once per node in render, graph pages and audit

  facebookresearch/autoform-bot#97 · Filter by author zibo-yang opened on Oct 4, 2026