Issues

• 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

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

  

• 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

• 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

• render: a link to the page's own directory raises ValueError

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

• render: graph and chapter pages still resolve every target page, keeping render quadratic

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

• project inspect: stabilize the v1 report surface and redact URL secrets

  bug
  facebookresearch/autoform-bot#81 · Filter by author Deicyde opened on Oct 3, 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